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 non-zero vectors $\pm x$ in L on the one hand, and the non-zero 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 e-prints
- Pub Date:
- November 2022
- DOI:
- 10.48550/arXiv.2211.05454
- arXiv:
- arXiv:2211.05454
- Bibcode:
- 2022arXiv221105454S
- Keywords:
-
- Mathematics - Number Theory;
- Mathematics - Probability
- E-Print:
- 34 pages