arXiv:1910.02067v4

Khintchine-type theorems for values of subhomogeneous functions at integer points

Dmitry Kleinbock, Mishel Skenderi

math.NT11J2511J5411J8311H0611H6037A17

Abstract

This work has been motivated by recent papers that quantify the density of values of generic quadratic forms and other polynomials at integer points, in particular ones that use Rogers' second moment estimates. In this paper we establish such results in a very general framework. Given any subhomogeneous function (a notion to be defined) f:RnRf: \mathbb{R}^n \to \mathbb{R}, we derive a necessary and sufficient condition on the approximating function ψψ for guaranteeing that a generic element fgf\circ g in the GG-orbit of ff is ψψ-approximable; that is, fg(v)ψ(v)|f\circ g(\mathbf{v})| \le ψ(\|\mathbf{v}\|) for infinitely many vZn\mathbf{v} \in \mathbb{Z}^n. We also deduce a sufficient condition in the case of uniform approximation. Here, GG can be any closed subgroup of ASLn(R)\rm{ASL}_n(\mathbb{R}) satisfying certain axioms that allow for the use of Rogers-type estimates.

AI-generated audit

Audit summary

Audited against arXiv v4

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 Khintchine-type zero-full law for subhomogeneous functions on homogeneous spaces, the uniform approximation theorem, and the stated volume asymptotics are correct.

Theorems 1.3 and 3.4Correct

Subhomogeneous Khintchine law

Pages 3–5 and Section 3 · Theorems 1.3 and 3.4 · arXiv:1910.02067v4

Siegel's mean-value identity computes the expectation of the lattice-point count, while the Rogers-type second-moment bound controls its variance. Subhomogeneity and the norm comparison turn the approximation regions into nested measurable targets whose volumes give precisely the convergence and divergence criteria.

Full paper, version 4
Theorem 3.8 and Corollaries 4.1–4.3Correct

Uniform approximation and volume applications

Sections 3–4 · Theorem 3.8 and Corollaries 4.1–4.3 · arXiv:1910.02067v4

The uniform statement follows by applying the moment estimate on a geometric sequence of scales and interpolating with subhomogeneity. Direct integration in the relevant norm coordinates gives the powers and logarithmic factors stated for the product and inhomogeneous examples.

02Proofs3 reported findingsCorrect

The moment method, scale interpolation, and volume computations are correct. Equation (3.2) contains one unmatched parenthesis whose intended removal is unique.

Sections 2–3Correct and complete

First and second moments close the zero-full law

Sections 2–3 · Theorems 2.5–2.9 and 3.4 · arXiv:1910.02067v4

The relevant affine and linear homogeneous spaces satisfy the required Siegel and Rogers identities. Chebyshev's inequality makes failure probabilities summable along chosen scales, and monotonicity fills the intervals between them; convergence uses the first-moment bound directly.

Section 4Correct and complete

The approximation-region volumes have the stated order

Section 4 · Corollaries 4.1–4.3 · arXiv:1910.02067v4

Fubini reduction separates radial and product coordinates. The remaining one-dimensional integrals have the claimed threshold and logarithmic order, and the boundary truncations contribute only bounded lower-order terms.

Equation (3.2)Typo

An extra opening parenthesis appears in the argument of ψ\psi

Page 13 · equation (3.2) · arXiv:1910.02067v4

The expression is printed as ψ((ν(t))\psi((\nu(\mathbf{t})). Remove the extra opening parenthesis, obtaining ψ(ν(t))\psi(\nu(\mathbf{t})). The surrounding set definition and every later use have the balanced expression, so this is a harmless typesetting error.

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:1910.02067v4
Authors listed
Dmitry Kleinbock, Mishel Skenderi
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.