arXiv:2207.07944v2

On a lower bound of Hausdorff dimension of weighted singular vectors

Taehyeong Kim, Jaemin Park

math.NTmath.DS11J1311K5537A17

Abstract

Let w=(w1,,wd)w=(w_1,\dots,w_d) be a dd-tuple of positive real numbers such that iwi=1\sum_{i}w_i =1 and w1wdw_1\geq \cdots \geq w_d. A dd-dimensional vector x=(x1,,xd)Rdx=(x_1,\dots,x_d)\in\mathbb{R}^d is said to be ww-singular if for every ε>0ε>0 there exists T0>1T_0>1 such that for all T>T0T>T_0 the system of inequalities max1idqxipi1wi<εTand0<q<T \max_{1\leq i\leq d}|qx_i - p_i|^{\frac{1}{w_i}} < \fracε{T} \quad\text{and}\quad 0<q<T have an integer solution (p,q)=(p1,,pd,q)Zd×Z(\mathbf{p},q)=(p_1,\dots,p_d,q)\in \mathbb{Z}^d \times \mathbb{Z}. We prove that the Hausdorff dimension of the set of ww-singular vectors in Rd\mathbb{R}^d is bounded below by d11+w1d-\frac{1}{1+w_1}. Our result partially extends the previous result of Liao et al. [Hausdorff dimension of weighted singular vectors in R2\mathbb{R}^2, J. Eur. Math. Soc. 22 (2020), 833-875].

AI-generated audit

Audit summary

Audited against arXiv v2

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
01Statements3 reported findingsCorrect

The weighted singular-vector lower bound and the associated divergent-trajectory dimension estimates are correct. The introductory diagonal matrix has one harmless exponent typo.

Theorem 1.1Correct

The weighted singular-vector dimension bound is correct

Pages 2–3 and 6–27 · Theorem 1.1 · arXiv:2207.07944v2

The self-affine construction stays inside the totally irrational weighted singular set, its lattice counts give the required branching, and the contraction ratios yield dimension at least d1/(1+w1)d-1/(1+w_1). The excluded rational hyperplanes have lower dimension and do not alter the bound.

Full paper, version 2
Dynamical definition before Theorem 1.2Typo

The last exponent in ata_t must be t-t

Page 2 · definition of ata_t before the Dani correspondence · arXiv:2207.07944v2

The introduction prints at=diag(ew1t,,ewdt,e1)SLd+1(R)a_t=\operatorname{diag}(e^{w_1t},\ldots,e^{w_dt},e^{-1})\in\operatorname{SL}_{d+1}(\mathbb R). Its determinant is not 11 for variable tt. Every later definition and proof uses ete^{-t}, which is forced by iwi=1\sum_iw_i=1. Replacing e1e^{-1} by ete^{-t} is the unique correction.

Theorems 1.2–1.3Correct

The divergent-orbit estimates follow from the local construction

Pages 3–5 and 27–28 · Theorems 1.2–1.3 · arXiv:2207.07944v2

The local unstable chart identifies the constructed singular vectors with divergent forward trajectories. Thickening by the stable and central directions adds their full local dimensions, giving the displayed homogeneous-space lower bound.

02Proofs2 reported findingsCorrect

The lattice-counting, separation, self-affine dimension, and homogeneous-dynamics arguments are correct and complete.

Sections 2–4Correct and complete

The self-affine construction satisfies the dimension hypotheses

Pages 6–27 · Sections 2–4 · arXiv:2207.07944v2

Successor sets are nonempty with the stated cardinality, distinct children are separated at their contraction scale, and every infinite branch has the required weighted singularity. The mass-distribution estimate therefore yields the claimed lower dimension.

Final dynamical argumentCorrect and complete

The local product thickening is valid

Pages 27–28 · proofs of Theorems 1.2–1.3 · arXiv:2207.07944v2

The corrected one-parameter subgroup normalizes the relevant horospherical groups, and divergence is preserved under multiplication by the contracted directions. The local product map is bi-Lipschitz on a neighborhood, so dimensions add as used.

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:2207.07944v2
Authors listed
Taehyeong Kim, Jaemin Park
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.