On a mean value formula for multiple sums over a lattice and its dual
Abstract
We prove a generalized version of Rogers' mean value formula in the space $X_n$ of unimodular lattices in $R^n$, which gives the mean value of a multiple sum over a lattice $L$ and its dual $L^*$. As an application, we prove that for $L$ random with respect to the SL$(n,R)$invariant probability measure, in the limit of large dimension $n$, the volumes determined by the lengths of the nonzero vectors $\pm x$ in L on the one hand, and the nonzero vectors $\pm x'$ in $L^*$ on the other hand, converge weakly to two independent Poisson processes on the positive real line, both with intensity 1/2.
 Publication:

arXiv eprints
 Pub Date:
 November 2022
 DOI:
 10.48550/arXiv.2211.05454
 arXiv:
 arXiv:2211.05454
 Bibcode:
 2022arXiv221105454S
 Keywords:

 Mathematics  Number Theory;
 Mathematics  Probability
 EPrint:
 34 pages