Mean Value for Random Ideal Lattices

Nihar Gargava,Maryna Viazovska
2024-11-22
Abstract:We investigate the average number of lattice points within a ball for the $n$th cyclotomic number field, where the lattice is chosen at random from the set of unit determinant ideal lattices of the field. We show that this average is nearly identical to the average number of lattice points in a ball among all unit determinant random lattices of the same dimension. To establish this result, we apply the Hecke integration formula and subconvexity bounds on Dedekind zeta functions of cyclotomic fields. The symmetries arising from the roots of unity in an ideal lattice allow us to improve a lattice packing bound by Venkatesh, achieving an enhancement by a factor of 2.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the average number of ideal lattice points inside a sphere. Specifically, the author studied the average number of lattice points inside a sphere when randomly selecting a lattice from the set of unit - determinant ideal lattices in the n - th cyclotomic number field. The author showed that this average is almost the same as the average number of lattice points inside a sphere in all unit - determinant random lattices of the same dimension. ### Main Problem Description 1. **Research Background**: - The research object is the ideal lattices in the n - th cyclotomic number field. - The core of the problem is how to calculate the average number of lattice points inside a sphere in such ideal lattices. 2. **Specific Problems**: - The author hopes to prove that in the n - th cyclotomic number field, when randomly selecting a lattice from the set of unit - determinant ideal lattices, the average number of lattice points inside a sphere is very close to the average number of lattice points inside a sphere in all unit - determinant random lattices. - The formula is expressed as: \[ E(\#B\cap\Lambda)=1 + V+\varepsilon(V, K) \] where \(\varepsilon(V, K)\) is an error term and satisfies: \[ |\varepsilon(V, K)|\ll\sqrt{V}\Delta_K^{-\eta} \] Here \(\Delta_K\) is the discriminant of the cyclotomic number field \(K\), and \(\eta> 0\) is a constant. 3. **Motivation for Improvement**: - By using the symmetry of ideal lattices in the cyclotomic number field (caused by the roots of unity), the author was able to improve Venkatesh's lower bound for lattice packing by a factor of 2. ### Solutions and Methods To prove the above results, the author used the following methods and techniques: - **Hecke Integral Formula**: Used to average the Epstein zeta function on ideal lattices. - **Sub - convexity Bound of Dedekind Zeta Function**: Used to estimate the behavior of the Dedekind zeta function on the critical line. - **Estimation of Gamma Function**: Ensures the convergence when the integration path is moved. - **Mellin Transform**: Used to deal with the problem of counting lattice points inside a sphere. ### Conclusion Through these techniques, the author proved that in high - dimensional cyclotomic number fields, the average number of lattice points of ideal lattices is very close to the average number of lattice points of ordinary random lattices, and used this result to improve the lower bound of lattice packing. This is not only of great theoretical significance but also has potential application value in fields such as post - quantum cryptography. ### Summary The main contribution of this paper is to prove the similarity between the average number of lattice points of ideal lattices in the cyclotomic number field and the average number of lattice points of ordinary random lattices, and to improve the lower bound of lattice packing through this result. This achievement not only deepens our understanding of ideal lattices but also provides theoretical support for applications in related fields.