Approximation of a square with an irrational arithmetic progression Let $\alpha \in \mathbb{R}\setminus \mathbb{Q}$ be irrational. Does the arithmetic progression $(n\alpha )_{n\in\mathbb{N}}$ becomes arbitrarily close to squares? 
More precisely, what can be said about the set of $\alpha$ such that for any $\varepsilon >0$ there are infinitely many $n,k\in \mathbb{N}$ such that 
$$|n\alpha- k^2|< \varepsilon \, . $$
Are there infinitely many such $\alpha$? Are they dense in $\mathbb{R}$? Are there any quantitative results about the size of this set? 
Remarks:


*

*If $\alpha = \frac{a}{b}$ is rational, then the above sequence contains the subsequence $\{(a^{2m})\}_{m\in\mathbb{N}}$, and so it coincides with infinitely many squares.

*I found many references for a similar problem, numbers $\alpha$ for which there are inifinitley many pairs of reals $k,n$ such that $$|\alpha - \frac{k}{n^2}|$$ is arbitrarily small, but I don't see how that connects directly to my question.

 A: This holds for all $\alpha \in \bf R$.  If $\alpha \in \bf Q$ it's easy,
so we may assume $\alpha$ irrational.  Divide by $\alpha$ to get
$$
|\alpha^{-1} k^2 - n| < \alpha^{-1} \epsilon.
$$
So, we want to show that $\alpha^{-1} k^2$ comes arbitrarily close to integers.
This is a special case of Weyl's
equidistribution 
theorem: if $P \in {\bf R}[x]$
is a nonconstant polynomial with an irrational leading term then
the sequence $P(1),P(2),P(3),\ldots$ is equidistributed $\bmod 1$.
A: The set of real numbers for which the property is not satisfied has Lebesgue measure zero :
Assume $\alpha>0$ and write $\alpha$ in the form $\alpha=1/\beta^{2}$, $\beta>0$. Then, the approximation problem becomes
$$
\left|\beta^{2}-\frac{n}{k^{2}}\right|<\frac{\epsilon}{k^{2}},\qquad\text{(with a different }\epsilon).
$$
By Khinchin's theorem,
for almost all real number $\beta$ (in the sense of Lebesgue measure) there exists an infinite number of rational approximations $p/q$ satisfying
$$
\left|\beta-\frac{p}{q}\right|<\frac{1}{q^{2}\log q}.
$$
Hence, for $q$ large,
$$
\left|\beta^{2}-\frac{p^{2}}{q^{2}}\right|<\frac{3\beta}{q^{2}\log q}<\frac{\epsilon}{q^{2}}.
$$
Since the above inequality is satisfied for almost all real numbers $\beta$, the original approximation property is also satisfied for almost all $\alpha=1/\beta^{2}$.
