arXiv:1709.04082v2
Abstract
We give an integrability criterion on a real-valued non-increasing function guaranteeing that for almost all (or almost no) pairs , where is a real matrix and , the system , is solvable in , for all sufficiently large . The proof consists of a reduction to a shrinking target problem on the space of grids in . We also comment on the homogeneous counterpart to this problem, whose case was recently solved, but whose general case remains open.
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 zero-full law for inhomogeneous Dirichlet improvement with respect to a decreasing function is correct, including the direction of the series criterion.
Inhomogeneous Dirichlet zero-full law
Pages 3–5 · Theorem 1.6 · arXiv:1709.04082v2
The grid-space correspondence turns -Dirichlet improvability into eventual avoidance of shrinking cusp targets. The target measure is comparable to , so the dynamical shrinking-target theorem gives measure zero when the displayed series diverges and full measure when it converges, with the complement convention accounting for the direction.
Full paper, version 2 ↗The affine-grid formulation is equivalent to the Diophantine inequalities
Section 2 · Propositions 2.1–2.3 · arXiv:1709.04082v2
Writing an affine lattice point as gives both inequalities with the stated time substitution. Taking all sufficiently large times is equivalent to the original all-large- quantifier because the targets are monotone between consecutive integer scales.
02Proofs2 reported findingsCorrect
The affine-lattice correspondence, distance-like target estimates, tail asymptotics, and shrinking-target application are correct and complete.
Grid dynamics exactly encode the approximation condition
Sections 2–3 · arXiv:1709.04082v2
The diagonal action rescales the denominator and error coordinates reciprocally, and the chosen cusp function records the shortest affine-lattice vector. Both implications preserve the eventual quantifier and the dependence on .
The target measure yields the announced series
Section 4 · proof of Theorem 1.6 · arXiv:1709.04082v2
The level-set measure estimate is uniform in the cusp range and summation by parts converts it to the series . Exponential mixing supplies the required Borel–Cantelli property, so the convergence and divergence cases exhaust the stated alternatives.
03Novelty0 reported findingsNo non-novelty findings
No non-novelty findings.