Abstract:Cut and project sets are obtained by taking an irrational slice of a lattice and projecting it to a lower dimensional subspace, and are fully characterised by the shape of the slice (window) and the choice of the lattice. In this context we seek to quantify fluctuations from the asymptotics for point counts. We obtain uniform upper bounds on the discrepancy depending on the diophantine properties of the lattice as well as universal lower bounds on the average of the discrepancy. In an appendix, Michael Björklund and Tobias Hartnick obtain lower bounds on the $L^2$-norm of the discrepancy also depending on the diophantine class; these lower bounds match our uniform upper bounds and both are therefore sharp. Using the sufficient criteria of Burago--Kleiner and Aliste-Prieto--Coronel--Gambaudo we find an explicit full-measure class of cut and project sets that are biLipschitz equivalent to lattices; the lower bounds on the variance indicate that this is the largest class of cut and project sets for which those sufficient criteria can apply.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to quantify the fluctuations in point counting in cut and project sets, specifically the deviation from the asymptotic mean. Cut and project sets are discrete point sets obtained by selecting an irrational slice from a high - dimensional lattice and projecting it onto a lower - dimensional subspace. Although these point sets are non - periodic, they still exhibit repetitive structures and long - range order. ### Main research questions: 1. **Quantifying fluctuations**: The authors hope to quantify the deviation (i.e., inconsistency or difference) between the point counting in cut and project sets and the asymptotic mean, and find a uniform upper bound depending on the Diophantine properties of the lattice. 2. **Optimal bounds**: By comparing with the results in the appendix, prove that the obtained upper bound is optimal, and the optimal bound of the number of lattice points in the slice in the cut and project set can be found. 3. **Bi - Lipschitz equivalence**: Using the sufficient conditions of Burago - Kleiner and Aliste - Prieto - Coronel - Gambaudo, determine which cut and project sets can be transformed into lattices by bi - Lipschitz mappings, and find the largest class that satisfies these conditions. ### Specific content: - **Upper bound estimation of inconsistency**: The author establishes a direct connection between the Diophantine properties and the inconsistency of cut and project sets, and obtains an upper bound estimation of the inconsistency by reducing the problem to lattice point counting. - **Lower bound estimation of inconsistency**: The appendix part is completed by Michael Björklund and Tobias Hartnick. They obtain a lower bound estimation of the $L^2$ norm of the inconsistency, and these lower bounds match the upper bounds, thus proving the optimality of the upper bounds. - **New categories of bi - Lipschitz equivalence**: Based on the above estimations of inconsistency, the author finds new categories of cut and project sets that can be transformed into lattices by bi - Lipschitz mappings. ### Key formulas: - Point counting formula: \[ \#(\Lambda\cap B▽(0, t))=\text{vol}(B▽(0, 1))\cdot\text{vol}(\Omega⊳)\cdot\frac{\text{covol}(\Gamma)}{t^{d▽}}+\Delta(\Lambda; B▽(0, t)) \] where $\Delta(\Lambda; B▽(0, t)) = o(t^{d▽})$ is the inconsistency term. - Upper bound estimation of inconsistency: \[ \left|\#(\Lambda\cap t\Omega▽)-\text{vol}(\Omega▽)\cdot\text{vol}(\Omega⊳)\cdot\frac{\text{covol}(\Gamma)}{t^{d▽}}\right|\leq C_{\Lambda,\delta}\cdot t^{d▽}\cdot\psi(t)^{-s(1 - \delta)} \] - Lower bound estimation of inconsistency (appendix): \[ \int_{E/\Gamma}|\Delta(\Lambda(\Gamma + z,\Omega⊳); B▽(0, t))|dz\geq C f(t)t^{d - 1/2} \] Through the research of these problems, the authors not only provide a profound understanding of the inconsistency of cut and project sets, but also provide a theoretical basis for identifying new categories of cut and project sets.

Sharp density discrepancy for cut and project sets: An approach via lattice point counting

Bounds on the density of smooth lattice coverings

Sharp $\ell^p$ inequalities for discrete singular integrals on the lattice $\mathbb{Z}^d$

Computable error bounds for quasi-Monte Carlo using points with non-negative local discrepancy

Sparse distribution of lattice points in annular regions

Optimal and typical $$L^2$$ discrepancy of 2-dimensional lattices

On sharp isoperimetric inequalities on the hypercube

A Szemerédi type theorem for sets of positive density in approximate lattices

Bounded distance equivalence of cut-and-project sets and equidecomposability

Central limit theorems for lattice point counting on tessellated domains

Towards Strong Reverse Minkowski-type Inequalities for Lattices

Constructing Optimal $L_{\infty}$ Star Discrepancy Sets

Coherent systems over approximate lattices in amenable groups

On the $L_p$ discrepancy of two-dimensional folded Hammersley point sets

Constructing bounded remainder sets and cut-and-project sets which are bounded distance to lattices, II

On sets with missing differences in compact abelian groups

Counting rational points close to $p$-adic integers and applications in Diophantine approximation

On the density of visible lattice points along polynomials

On a discrete approach to lower bounds in discrepancy theory

Convexity, Fourier transforms, and lattice point discrepancy

Simultaneous visibility in the integer lattice