arXiv:1505.06717v2
Abstract
Consider and . It was recently shown by the second-named author that for some diagonal subgroups and unipotent subgroups , -trajectories of almost all points on all -orbits on are equidistributed with respect to continuous compactly supported functions on . In this paper we strengthen this result in two directions: by exhibiting an error rate of equidistribution when is smooth and compactly supported, and by proving equidistribution with respect to certain unbounded functions, namely Siegel transforms of Riemann integrable functions on . For the first part we use a method based on effective double equidistribution of -translates of -orbits, which generalizes an earlier result of Kleinbock and Margulis. The second part is based on Schmidt's results on counting of lattice points. Number-theoretic consequences involving spiraling of lattice approximations, extending recent work of Athreya, Ghosh and Tseng, are derived using the equidistribution result.
AI-generated audit
Audit summary
Not a correctness certificate. A “Correct” result may include yellow typos or minor formal corrections that do not affect substantive soundness. It means this audit found no unresolved substantive error under the stated criteria; it does not replace expert scrutiny or formal verification.
Current report
Detailed mathematical audit
01Statements2 reported findingsCorrect
The pointwise equidistribution rate, effective double-equidistribution estimate, unbounded-observable theorem, and Diophantine applications are correct under their stated hypotheses.
The effective equidistribution statements are correct
Pages 3–5 and 8–13 · Theorems 1.1–1.2 · arXiv:1505.06717v2
Exponential correlation decay yields the stated second-moment bound, and the dyadic Borel-Cantelli argument gives the almost-everywhere rate with the displayed logarithmic loss. The double-average estimate has the correct dependence on both averaging parameters and Sobolev norms.
Full paper, version 2 ↗The unbounded-function and counting consequences are correct
Pages 6–8 and 13–20 · Theorems 1.3–1.4 · arXiv:1505.06717v2
Truncation by cusp height balances the smooth equidistribution error against the tail estimate, giving genericity for the stated class of unbounded functions. The Siegel-transform identification then converts this result into the announced lattice-point counting law.
02Proofs2 reported findingsCorrect
The correlation, truncation, and Siegel-transform arguments are correct and complete.
Second moments and interpolation give the stated pointwise rate
Pages 8–11 · proof of Theorem 1.1 · arXiv:1505.06717v2
The correlation integral is split at the mixing scale, Chebyshev is applied on a sufficiently sparse sequence, and monotonic interpolation covers all times. The exponents in the logarithmic exceptional-set sum are summable for every positive epsilon.
The cusp truncation and Diophantine specialization close
Pages 13–20 · unbounded functions and applications · arXiv:1505.06717v2
The height tail is uniformly integrable at the required exponent, smoothed truncations have controlled Sobolev norms, and the discarded tail is negligible almost everywhere. The final coordinate change identifies the counting region without a missing boundary contribution.
03Novelty0 reported findingsNo non-novelty findings
No non-novelty findings.