arXiv:1505.06717v2

Pointwise equidistribution with an error rate and with respect to unbounded functions

Dmitry Kleinbock, Ronggang Shi, Barak Weiss

math.DS

Abstract

Consider G=SLd(R)G=\mathrm{SL}_{d}(\mathbb R) and Γ=SLd(Z)Γ=\mathrm{SL}_{d}(\mathbb Z). It was recently shown by the second-named author that for some diagonal subgroups {gt}G\{g_t\}\subset G and unipotent subgroups UGU\subset G, gtg_t-trajectories of almost all points on all UU-orbits on G/ΓG/Γ are equidistributed with respect to continuous compactly supported functions φ\varphi on G/ΓG/Γ. In this paper we strengthen this result in two directions: by exhibiting an error rate of equidistribution when φ\varphi is smooth and compactly supported, and by proving equidistribution with respect to certain unbounded functions, namely Siegel transforms of Riemann integrable functions on Rd\mathbb{R}^d. For the first part we use a method based on effective double equidistribution of gtg_t-translates of UU-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

Audited against arXiv v2

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

Generated August 19, 2026
01Statements2 reported findingsCorrect

The pointwise equidistribution rate, effective double-equidistribution estimate, unbounded-observable theorem, and Diophantine applications are correct under their stated hypotheses.

Theorems 1.1 and 1.2Correct

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
Theorems 1.3 and 1.4Correct

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.

Proof of Theorem 1.1Correct 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.

Sections 4–5Correct and complete

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.

Detailed audit reportFull reasoning, manuscript locations, and references.
Open report PDF ↗

Author response

Challenge an audit finding

Local workflow preview

A listed author may submit formal evidence that an audit is inaccurate. The response would be considered in a fresh AI re-evaluation; it would not edit the audit automatically.

Paper
arXiv:1505.06717v2
Authors listed
Dmitry Kleinbock, Ronggang Shi, Barak Weiss
Audit date
August 19, 2026
  1. 01Establish identityMatch an authenticated scholarly identity to this paper.
  2. 02Submit evidenceIdentify the finding and give a formal mathematical response.
  3. 03Re-evaluateA separate agent checks the response and records a disposition.
Recommended production method

Authenticate with ORCID, then require an exact arXiv match

MathAudit should accept the identity only when ORCID OAuth authenticates the claimant's iD and this exact arXiv paper appears in arXiv's public authority feed for that iD. A matching name alone is not sufficient.

ORCID OAuth and arXiv authority-record lookup are not connected in this local prototype.

Email fallback for papers without a linked ORCID

A production fallback could send a one-time link only when the submitted address matches an independently maintained author-contact allowlist for this paper. MathAudit must return the same message for every address so the form cannot reveal which contacts are on that list.

This demonstration does not send, store, or compare the address.

Structured response preview

This form remains unavailable until production identity verification succeeds. Nothing entered here is submitted.

This panel never establishes authorship in the local prototype. A production result should be described narrowly as an authenticated ORCID match or control of a separately allowlisted author-contact mailbox.