Fix $\epsilon>0$. For a finite set of arbitrary-degree polynomials with integer constant term, $p\_1(x), ..., p\_m(x)\in \mathbb{R}[x]$ is it possible to find an $n\in \mathbb{N}$ such that $$\max\_{i=1,...,m}||p\_i(n)||<\epsilon$$ where $||\cdot||$ denotes the distance to the nearest integer?


In the description of the book [Small Fractional Parts of Polynomials](https://bookstore.ams.org/cbms-32) a problem of this type is listed as an open question for degree greater than 4, but the book is from 1977. Research has continued since then on small fractional parts of polynomials. Has progress improved on this problem, or is it still open?


Updates: Discussion in the comments indicates that this can be proved by Weyl's equidistribution criterion. While this proves the result for $\mathbb{Q}$-linearly independent collections $\{p\_1(n),...,p\_k(n), 1, n, n^2,...\}$ it does not prove it when the collection is linearly dependent, since equidistribution no longer holds in that case. How can we generalize to when the polynomials may be $\mathbb{Q}$-linearly dependent?



Simultaneous small fractional parts of polynomials
The claim is true as stated, and can be arrived at using Weyl's criterion which was pointed out in the comments. As I post this answer, there is no consensus on the rate of convergence of the $N$.


We proceed by induction on $k$, the number of polynomials. For $k=1$, either $p\_1$ has only rational coefficients or it has at least one irrational. If it has an irrational one, Weyl's criterion shows that $p\_1(n)$ is an equidistributed sequence, and thus has infinitely many $N$ for which $||p\_1(N)||<\epsilon$. If $p\_1$ has only rational coefficients, we can simply choose $N$ to be the product of every coefficient's denominator to get $||p\_1(N)||=0$.


Now suppose the theorem holds for some fixed $k$. Consider a polynomial list $p\_0, p\_1, ..., p\_k$ of length $k+1$. If $\{p\_0(x),p\_1(x),...,p\_k(x), 1, x, x^2,...\}$ is $\mathbb{Q}$-linearly independent, then Weyl's criterion on the $k+1$ torus applies and equidistribution gives the existence of infinitely many $N$ for which $||p\_i(N)||<\epsilon$ for all $i=0,...,k$.


If, on the other hand, the aforementioned collection is instead $\mathbb{Q}$-linearly dependent, Weyl's criterion does not apply. However, $$p\_0(x)=q\_1p\_1(x)+\cdots +q\_kp\_k(x)+r\_0+r\_1x+\cdots +r\_sx^s$$ for $q\_i,r\_j\in \mathbb{Q}$. If we let $q$ be the product of all denominators of the $r\_j$, we have that at any natural number $n$, $$||p\_0(qn)||=||q\_1p\_1(qn)+\cdots +q\_kp\_k(qn)||.$$


Apply the inductive hypothesis to $q\_1p\_1(qx),...,q\_kp\_k(qx)$. Choose $M$ so that $||q\_ip\_i(qM)||<\epsilon/2k$ for all $i=1,...,k$. At this small scale, the $||\cdot||$ function is subadditive in $k$ arguments, so $$||p\_0(qM)||\leq ||q\_1p\_1(qM)||+\cdots +||q\_kp\_k(qM)||<k(\epsilon/2k)<\epsilon.$$


Therefore, at $N=qM$, $||p\_i(N)||<\epsilon$ for all $i=0,...,k$. We are finished by induction.


