English

Rotation on the digital plane

Number Theory 2021-09-07 v1 Dynamical Systems

Abstract

Let AφA_{\varphi} denote the matrix of rotation with angle φ\varphi of the Euclidean plane, FLOOR the function, which rounds a real point to the nearest lattice point down on the left and ROUND the function for rounding off a vector to the nearest node of the lattice. We prove under the natural assumption φkπ2\varphi\not= k\frac{\pi}{2} that the functions FLOORAφFLOOR \circ A_{\varphi} and ROUNDAφROUND \circ A_{\varphi} are neither surjective nor injective. More precisely we prove lower and upper estimates for the size of the sets of lattice points, which are the image of two lattice points as well as of lattice points, which have no preimages. It turns out that the density of that sets are positive except when sinφ±cosφ+r,rQ\sin \varphi \not= \pm \cos \varphi + r, r\in \mathbb{Q}.

Keywords

Cite

@article{arxiv.2109.01828,
  title  = {Rotation on the digital plane},
  author = {Carolin Hannusch and Attila Pethő},
  journal= {arXiv preprint arXiv:2109.01828},
  year   = {2021}
}
R2 v1 2026-06-24T05:40:46.636Z