Jayadev S. Athreya,Gregory Margulis
Abstract:Using classical results of Rogers bounding the $L^2$-norm of Siegel transforms, we give bounds on the heights of approximate integral solutions of quadratic equations and error terms in the quantiative Oppenheim theorem of Eskin-Margulis-Mozes for almost every quadratic form. Further applications yield quantitative information on the distribution of values of random polynomials at integral points.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the values of indefinite quadratic forms at integer points, especially when these values are close to zero. Specifically, the paper focuses on:
1. **Small - value problem**: For almost every indefinite quadratic form \(Q\), find the size bounds of non - zero integer solutions \(x\in\mathbb{Z}^n\) that satisfy the inequality \(|Q(x)| < \epsilon\). Here \(n\geq3\) and \(Q\) is irrational (i.e., not a real multiple of a form with rational coefficients). The paper gives an upper bound estimate for the norm \(\|x\|\) of the solution.
2. **Counting problem**: For a given interval \((a, b)\), calculate the number of integer points \(x\in\mathbb{Z}^n\) that satisfy \(a < Q(x)<b\), and give a quantitative estimate of the error term. Specifically, the paper studies the asymptotic behavior of the number \(N(Q, a, b, T)\) of integer solutions of the quadratic form \(Q\) in the interval \((a, b)\) and its error term.
3. **Value distribution of random polynomials**: A further application is to study the distribution of values of random polynomials at integer points, which includes similar results for general homogeneous polynomials.
### Main conclusions
- **Theorem 1.1**: For any \(\delta> 0\), for almost every quadratic form \(Q\) with signature \((p, q)\), there exist constants \(c_Q\) and \(\epsilon_0>0\) such that for all \(\epsilon < \epsilon_0\), there exists a non - zero \(x\in\mathbb{Z}^n\) satisfying:
\[
\|x\|\leq c_Q\epsilon^{-(1/(n - 2)+\delta)}
\]
and
\[
|Q(x)| < \epsilon.
\]
- **Theorem 1.2**: For any \(\delta>0\), for almost every quadratic form \(Q\) with signature \((p, q)\), for any \(a < b\), we have:
\[
N(Q, a, b, T)=c_Q(b - a)T^{n-2}+o(T^{(n - 1)/2+\delta}),
\]
where \(c_Q\) is a constant defined by an integral.
### Methods and tools
The paper uses the classical Rogers [Ro56] estimate of the \(L^2\)-norm bound for Siegel transform, and the quantitative Oppenheim theorem of Eskin - Margulis - Mozes [EMM98]. Through these tools, the author is able to give precise estimates of quadratic forms at integer points and extend to more general polynomial cases.
### Applications
These results have important applications not only in number theory, but also provide a new perspective for understanding the value distribution of random polynomials at integer points.