arXiv:2111.07115v3

Weighted uniform Diophantine approximation of systems of linear forms

Dmitry Kleinbock, Anurag Rao

math.NTmath.DS11J1311J8311H0637A17

Abstract

Following the development of weighted asymptotic approximation properties of matrices, we introduce the analogous uniform approximation properties (that is, study the improvability of Dirichlet's Theorem). An added feature is the use of general norms, rather than the supremum norm, to quantify the approximation. In terms of homogeneous dynamics, the approximation properties of an m×nm \times n matrix are governed by a trajectory in SLm+n(R)/SLm+n(Z)\mathrm{SL}_{m+n}({\mathbb R})/\mathrm{SL}_{m+n}({\mathbb Z}) avoiding a compact subset of the space of lattices called the critical locus defined with respect to the corresponding norm. The trajectory is formed by the action of a one-parameter diagonal subgroup corresponding to the weights. We first state a very precise form of Dirichlet's theorem and prove it for some norms. Secondly we show, for these same norms, that the set of Dirichlet-improvable matrices has full Hausdorff dimension. Though the techniques used vary greatly depending on the chosen norm, we expect these results to hold in general.

AI-generated audit

Audit summary

Audited against arXiv v3

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 weighted Dirichlet-improvability criteria, inclusions for weighted badly approximable and singular matrices, norm-dependent results, and thickness theorem are correct.

Theorems 1.1, 1.2, and 1.4–1.7Correct

Weighted norm-dependent Dirichlet results

Pages 3–6 · Theorems 1.1–1.7 · arXiv:2111.07115v3

The critical-locus criterion converts weighted improvement into eventual avoidance under the weighted diagonal flow. Divergence or unboundedness of the auxiliary one-parameter orbit gives the inclusions, and the critical-locus descriptions for the specified norms verify the criterion. The hyperplane-absolute-winning input gives the stated thickness conclusion.

Full paper, version 3
Propositions 2.1 and 4.1Correct

Dynamical correspondence and critical-locus criterion

Sections 2 and 4 · Propositions 2.1 and 4.1 · arXiv:2111.07115v3

Rescaling the two coordinate blocks by the weighted diagonal flow transforms the two approximation inequalities into membership in a norm ball of critical radius. The compactness and unboundedness alternatives are applied in the correct time direction for every weight.

02Proofs4 reported findingsCorrect

The weighted Dani correspondence, critical-locus argument, and winning-set application are correct. Three notation defects have local, verified corrections and do not change any result.

Sections 2–5Correct and complete

The weighted flow proves all substantive inclusions

Sections 2–5 · arXiv:2111.07115v3

The proof tracks each row and column weight through the diagonal action, so the approximation thresholds and compactness criteria agree. Critical lattices for the listed norms contain a vector contracted in one time direction, establishing the required unbounded auxiliary orbit; the winning theorem then applies to the same locus.

Proof of Proposition 2.1Typo

The approximation function has an undefined subscript

Page 6 · proof of Proposition 2.1 · arXiv:2111.07115v3

The displayed block contains ψn/m(t)\psi_{n/m}(t), although only ψ1(t)=1/t\psi_1(t)=1/t is defined and the preceding calculation produces that function. Replace ψn/m\psi_{n/m} by ψ1\psi_1. The correction is unique and restores the displayed weighted ball exactly.

Proof of Proposition 2.1Minor formal correction

A supposedly uniform constant is written with a free index

Page 6 · definition of c1c_1 in the proof of Proposition 2.1 · arXiv:2111.07115v3

The displayed c1=(r/rν)1/αi+1/γc_1=(r/r_\nu)^{1/\alpha_i+1/\gamma} retains a free row index ii. Replace it by a single constant no larger than all these finitely many values, for example c1=mini(r/rν)1/αi+1/γc_1=\min_i(r/r_\nu)^{1/\alpha_i+1/\gamma}. This strengthens every required coordinate inequality uniformly and changes no argument or conclusion.

Remark 5.1Typo

The column-index range overlaps the row block

Page 10 · Remark 5.1 · arXiv:2111.07115v3

The expanding eigenvectors are indexed as Ei,jE^{i,j} with imi\leq m and jnj\geq n. Replace the second condition by m<jm+nm<j\leq m+n. The matrices have m+nm+n columns split after column mm, and the root calculation in the same remark uses precisely the cross-block entries.

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:2111.07115v3
Authors listed
Dmitry Kleinbock, Anurag Rao
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.