arXiv:2211.04523v4
Abstract
Let denote the distance from to the set of integers . The Littlewood Conjecture states that for all pairs the product attains values arbitrarily close to as tends to infinity. Badziahin showed that if a factor is added to the product, the same statement becomes false. In this paper, we generalise Badziahin's result to vectors , replacing the function by for any , and thereby obtaining a new proof in the case . Our approach is based on a new version of the well-known Dani Correspondence between Diophantine approximation and dynamics on the space of lattices, especially adapted to the study of products of rational approximations. We believe that this correspondence is of independent interest.
Dependence graphs
Proof lineage
Submanifold-genericity of $\mathbb{R}^d$-actions and uniform multiplicative Diophantine approximation
Statement-restricted proof-dependence graph for the submanifold genericity theorems, the multiplicative Dani correspondence, the full-measure half of the Khintchine-type theorem, and Proposition 1.7. It includes the uncited cusp-volume input required on p. 28, its independent Schmidt 1957 proof repair, and two source-use failures: BEG20 is applied after dropping its strong-spectral-gap hypothesis, and BG23 is cited with the wrong theorem number.
Open dependence graph →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 full-dimension construction of simultaneously and dually multiplicatively badly approximable vectors, including all coordinate projections and reciprocal-sum consequences, is correct.
The multiplicative bad-approximation sets have full Hausdorff dimension
Pages 2–4 and 12–39 · Theorems 1.1–1.2 · arXiv:2211.04523v4
The Cantor construction removes the simultaneous and dual resonances for every nonempty coordinate projection. The average counting bounds leave enough descendants at each level, and the logarithmic gauge is exactly the one accumulated by the multiplicative height decomposition.
Full paper, version 4 ↗The reciprocal fractional-part bounds follow with the announced growth
Pages 5–6 and 39–44 · Corollary 1.4 · arXiv:2211.04523v4
Membership in the simultaneous and dual bad sets supplies the lower function required by the cited reciprocal-sum estimate. Substituting the logarithmic gauge gives the two displayed upper bounds with the correct dimension-dependent power.
02Proofs2 reported findingsCorrect
The multiplicative Dani correspondence, average lattice counting, and Cantor-removal argument are correct and complete.
The multiplicative correspondence is proved in both directions
Pages 16–22 · multiplicative Dani correspondence · arXiv:2211.04523v4
Products of approximation errors are balanced by a diagonal parameter whose total time records the multiplicative height. The constructed compactness condition is equivalent to the simultaneous or dual lower bound, with boundary and zero-coordinate cases handled by the plus convention.
The removal counts yield a full-dimensional limit set
Pages 22–44 · dangerous intervals, counting, and completion · arXiv:2211.04523v4
Dangerous intervals are grouped by time and direction, lattice-point counting controls their average multiplicity, and the surviving branching number satisfies the stated dimension lemma. The construction is diagonalized over the finite family of projections at each stage, covering the full intersection.
03Novelty0 reported findingsNo non-novelty findings
No non-novelty findings.