Abstract

Let x\langle x\rangle denote the distance from xRx\in\mathbb{R} to the set of integers Z\mathbb{Z}. The Littlewood Conjecture states that for all pairs (α,β)R2(α,β)\in\mathbb{R}^{2} the product qqαqβq\langle qα\rangle\langle qβ\rangle attains values arbitrarily close to 00 as qNq\in\mathbb{N} tends to infinity. Badziahin showed that if a factor logqloglogq\log q\cdot \log\log q is added to the product, the same statement becomes false. In this paper, we generalise Badziahin's result to vectors αRd\boldsymbolα\in\mathbb{R}^{d}, replacing the function logqloglogq\log q\cdot \log\log q by (logq)d1loglogq(\log q)^{d-1}\cdot\log\log q for any d2d\geq 2, and thereby obtaining a new proof in the case d=2d=2. 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

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 full-dimension construction of simultaneously and dually multiplicatively badly approximable vectors, including all coordinate projections and reciprocal-sum consequences, is correct.

Theorems 1.1 and 1.2Correct

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
Corollary 1.4Correct

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.

Section 4Correct 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.

Sections 5–9Correct and complete

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.

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:2211.04523v4
Authors listed
Reynold Fregoli, Dmitry Kleinbock
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.