Metric theory of Weyl sums

We prove that there exist positive constants C and c such that for any integer d ⩾ 2 the set of 𝐱∈ [0,1)^d satisfying cN^1/2⩽| ∑ _n=1^N exp( 2 π i( x_1n+… +x_d n^d) ) | ⩽ C N^1/2 for infinitely many natural numbers N is of full Lebesque measure. This substantially improves the previous results where similar sets have been measured in terms of the Hausdorff dimension. We also obtain similar bounds for exponential sums with monomials xn^d when d 4 . Finally, we obtain lower bounds for the Hausdorff dimension of large values of general exponential polynomials.