English

On the image in the torus of sparse points on dilating analytic curves

Number Theory 2021-06-22 v3

Abstract

It is known that the image in R2/Z2\mathbb{R}^{2}/\mathbb{Z}^{2} of a circle of radius ρ\rho in the plane becomes equidistributed as ρ\rho\to\infty. We consider the following sparse version of this phenomenon. Starting from a sequence of radii {ρn}n=1\left\{ \rho_{n}\right\} _{n=1}^{\infty} which diverges to \infty and an angle ωR/Z,\omega\in\mathbb{R}/\mathbb{Z}, we consider the projection to R2/Z2\mathbb{R}^{2}/\mathbb{Z}^{2} of the nn'th roots of unity rotated by angle ω\omega and dilated by a factor of ρn\rho_{n}. We prove that if ρn\rho_{n} is bounded polynomially in nn, then the image of these sparse collections becomes equidistributed, and moreover, if ρn\rho_{n} grows arbitrarily fast, then we show that equidistribution holds for almost all ω\omega. Interestingly, we found that for any angle there is a sequence of radii growing to \infty faster then any polynomial for which equidistribution fails dramatically. In greater generality, we prove this type of results for dilations of varying analytic curves in Rd\mathbb{R}^{d}. A novel component of the proof is the use of the theory of o-minimal structures to control exponential sums.

Keywords

Cite

@article{arxiv.2003.04112,
  title  = {On the image in the torus of sparse points on dilating analytic curves},
  author = {Michael Bersudsky},
  journal= {arXiv preprint arXiv:2003.04112},
  year   = {2021}
}

Comments

The paper has been revised by rephrasing parts of the paper, updating the introduction, adding more detailed explanations, correcting several (minor) mistakes and adding an appendix concerning the required notions from the theory of o-minimal structures