arXiv:2207.07944v2
Abstract
Let be a -tuple of positive real numbers such that and . A -dimensional vector is said to be -singular if for every there exists such that for all the system of inequalities have an integer solution . We prove that the Hausdorff dimension of the set of -singular vectors in is bounded below by . Our result partially extends the previous result of Liao et al. [Hausdorff dimension of weighted singular vectors in , J. Eur. Math. Soc. 22 (2020), 833-875].
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
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.
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 . The excluded rational hyperplanes have lower dimension and do not alter the bound.
Full paper, version 2 ↗The last exponent in must be
Page 2 · definition of before the Dani correspondence · arXiv:2207.07944v2
The introduction prints . Its determinant is not for variable . Every later definition and proof uses , which is forced by . Replacing by is the unique correction.
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.
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.
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.