arXiv:1910.02067v4
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) , we derive a necessary and sufficient condition on the approximating function for guaranteeing that a generic element in the -orbit of is -approximable; that is, for infinitely many . We also deduce a sufficient condition in the case of uniform approximation. Here, can be any closed subgroup of satisfying certain axioms that allow for the use of Rogers-type estimates.
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 Khintchine-type zero-full law for subhomogeneous functions on homogeneous spaces, the uniform approximation theorem, and the stated volume asymptotics are correct.
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 ↗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.
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.
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.
An extra opening parenthesis appears in the argument of
Page 13 · equation (3.2) · arXiv:1910.02067v4
The expression is printed as . Remove the extra opening parenthesis, obtaining . 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.