Pith. sign in

REVIEW 2 major objections 3 minor 19 references

Hausdorff measure of sets of inhomogeneous Dirichlet non-improvable affine forms with weights

T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper establishes that weighted inhomogeneous Dirichlet non-improvable affine forms obey a zero-full law for Hausdorff measure, with a single series deciding which case occurs.

desk verdict A genuine weighted extension of Kim–Kim with a solid convergence half, but the divergence half rests on an unproved quasi-independence lemma, so the main theorem is currently conditional. read the letter →

arxiv 2505.16473 v1 pith:2MTSR7XW submitted 2025-05-22 math.NT

Yubin He This is my paper · ORCID
classification math.NT MSC 11J2011K6037A17
keywords Dirichlet'stheoreminhomogeneousDiophantineapproximationzero-fulllawHausdorffmeasureweightedmasstransferenceprincipleaffineforms
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves a zero-full law for the Hausdorff $f$-measure of the set of inhomogeneous Dirichlet non-improvable affine forms with weights: for shifted affine maps $q\mapsto Aq+b$ for which Dirichlet's simultaneous approximation cannot be improved by a faster-decaying error function, the fractal-size measure is either zero or the measure of the whole unit cube. For any shift $b\in\mathbb{R}^m\setminus\mathbb{Z}^m$, any decreasing continuous approximating function $\psi$ with $\psi(t)/\psi(2t)\ge\lambda>1$, and any dimension function $f$ in a specified range, the dichotomy is decided by the convergence or divergence of a single explicit series over integer vectors. This answers the weighted Hausdorff-measure question posed in [11, §5.3] and extends the earlier unweighted zero-one law to general weights and arbitrary dimension functions. The proof converts non-improvability into asymptotic approximation via a Diophantine transference principle and then applies a mass transference principle from balls to rectangles.

What carries the argument

The proof is carried by three linked mechanisms. First, the Diophantine transference principle (Theorem 3.1) shows that for $b\notin\mathbb{Z}^m$ the non-improvable set is almost a limsup set of hyperplane neighborhoods: $A$ is non-improvable exactly when there are infinitely many $u\in\mathbb{Z}^m$ with $\|A_{*,j}\cdot u\|_{\mathbb{Z}}<c\,t(u)^{-\beta_j}$ for all $j$. Second, an auxiliary weight vector $\Phi=(\phi_1,\ldots,\phi_n)$ built from $\gamma_u(\beta,f)$ defines a larger limsup set $W_{n,m}(\Phi)$ whose Lebesgue measure is shown to be full; the key steps are a quasi-independence estimate for the sets $R'(u,\Phi(u))$ and a divergence argument using an almost-independence lemma that turns divergent measure sums into positive measure. Third, the mass transference principle from balls to rectangles upgrades full Lebesgue measure to full Hausdorff $f$-measure, using the estimate for the Hausdorff $f$-content of a hyperrectangle (Proposition 2.2) and the choice of $\varpi_u$ so that a contained hyperrectangle has $f$-content comparable to $\varpi_u^{mn}$.

What would settle it

Take $u_1,u_2\in\mathbb{Z}^m$ with $|u_1|,|u_2|\to\infty$, $u_1\ne\pm u_2$, and $u_1$ nearly parallel to $u_2$, and compute the ratio $L^{mn}(R'(u_1,\Phi(u_1))\cap R'(u_2,\Phi(u_2))) / \prod_{j=1}^n \phi_j(u_1)\phi_j(u_2)$. If the ratio is unbounded, Lemma 5.4 is false and the divergence argument cannot be completed; if it stays bounded for every such family, the missing quasi-independence estimate is confirmed.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.6. Let $\psi$ be decreasing and continuous with $\lim_{t\to\infty}\psi(t)=0$ and $\psi(t)/\psi(2t)\ge\lambda>1$ for $t\ge1$; let $f\prec mn$ be a dimension function with $(mn-a)\preceq f\preceq(mn-a+1)$ for some $1\le a\le n-1$. Then for every $b\in\mathbb{R}^m\setminus\mathbb{Z}^m$, $H^f(D^b_{\alpha,\beta}(\psi)^c)=0$ if $\sum_{u\in\mathbb{Z}^m\setminus\{0\}}\gamma_u(\beta,f)|u|^n<\infty$, and $H^f(D^b_{\alpha,\beta}(\psi)^c)=H^f([0,1]^{mn})$ if the same series diverges. Here $H^f$ is the Hausdorff $f$-measure, the fractal-size measure built from the dimension function $f$, and $\gamma_u(\beta,f)$ is an explicit minimum over $1\le j\le n$ of products involving $f$, $t(u)^{-\beta_j}/|u|$, and the ratios $t(u)^{\beta_j-\beta_\ell}$; $t(u)$ is the smallest $t$ with $|u_i|<\psi(t)^{-\alpha_i}$ for every $i$. The result is a genuine zero-full dichotomy: no intermediate Hausdorff $f$-measure values are possible, and the same series governs every inhomogeneous shift.

Load-bearing premise

The load-bearing premise is the quasi-independence estimate in Lemma 5.4, which asserts that the intersection measure of $R'(u_1,\Phi(u_1))$ and $R'(u_2,\Phi(u_2))$ is at most a constant times the product of the two measures whenever $u_1\ne\pm u_2$; the paper states this bound without proof, and the passage labelled as its proof uses the lemma itself while proving a different statement. If the bound fails for large nearly parallel vectors, the divergence part of the theorem no longer follows.

Editorial extensions

If this is right

  • For every $b\notin\mathbb{Z}^m$, the Hausdorff $f$-measure of the non-improvable set is either $0$ or $H^f([0,1]^{mn})$, so no intermediate measure values occur.
  • The weighted Hausdorff-measure question stated in [11, §5.3] is answered in the affirmative under the decay condition $\psi(t)/\psi(2t)\ge\lambda>1$.
  • In the equal-weight case $\alpha_i=1/m$, $\beta_j=1/n$, and $f(r)=r^s$, the new series is equivalent to the series in [11, Theorem 1.4], recovering the earlier unweighted Hausdorff law.
  • Because the deciding series does not depend on the shift $b$, the same criterion applies uniformly to every inhomogeneous shift outside the integer lattice.
  • The result covers general dimension functions in the stated range, not just power functions, so it is a statement about Hausdorff measures as well as dimensions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial extension: the same transference-plus-mass-transference architecture is likely to yield zero-full laws for neighbouring weighted sets whenever a full-measure limsup cover can be constructed.
  • Editorial extension: the theorem leaves open whether the decay hypothesis $\psi(t)/\psi(2t)\ge\lambda>1$ is necessary; testing slowly decaying functions such as $\psi(t)=(\log t)^{-c}$ would reveal whether the almost-independence step is essential.
  • Editorial extension: for $b\in\mathbb{Z}^m$ the transference principle degenerates, so the present method does not apply and a different mechanism would be needed in the homogeneous case.
  • Editorial extension: because $\gamma_u(\beta,f)$ is explicit, the theorem can be turned into concrete Hausdorff-dimension thresholds for power-law $\psi$ and $f(r)=r^s$, producing practical weighted dimension formulas.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper establishes a zero-full law for the Hausdorff f-measure of the set D^b_{α,β}(ψ)^c of inhomogeneous Dirichlet non-improvable affine forms with weights, under a decay assumption on ψ and a dimension-function range (mn−a) ⪯ f ⪯ (mn−a+1). The proof combines the Diophantine transference principle of Cassels with a reduction to limsup sets of hyperplane neighbourhoods. The convergence half is a direct covering argument using the series criterion. The divergence half constructs a limsup set W_{n,m}(Φ) of full Lebesgue measure, applies Lamperti's lemma via a quasi-independence estimate, and then uses the mass transference principle from balls to rectangles to obtain full Hausdorff f-measure. The main technical tool, Lemma 5.4, is stated without proof and is used as a black box in the proof of Lemma 5.1.

Significance. If the proof is completed, the result would substantially generalize the unweighted theorem of Kim and Kim (Adv. Math., 2022) to weighted vectors and to Hausdorff measures, answering their open question. The convergence part appears sound and is a standard covering argument. The paper contains genuinely new intermediate constructions, especially the definition of the auxiliary functions Φ and the reduction of the divergence part to the full-measure statement for W_{n,m}(Φ). However, the divergence half is currently conditional on the unproved quasi-independence estimate in Lemma 5.4, which is exactly the step that permits the application of Lamperti's lemma. The result is therefore not yet established as stated.

major comments (2)
  1. [Section 5.1, Lemma 5.4 and the paragraph headed 'Proof of Lemma 5.4'] Lemma 5.4 is a load-bearing quasi-independence estimate: it is used in the proof of Lemma 5.1 to convert the divergent measure sum from Lemma 5.10 into positive measure via Lemma 5.3, and then into full Lebesgue measure via Theorem 5.2. However, the paragraph labeled 'Proof of Lemma 5.4' actually proves Lemma 5.1 while invoking Lemma 5.4 as a black box. No proof or precise reference is given for Lemma 5.4 itself. Please supply a complete proof of Lemma 5.4, or a precise citation to a source where both the lower bound and the intersection bound are proved.
  2. [Section 5.1, Lemma 5.4 (lower bound and collinear case)] Lemma 5.4 asserts two estimates: the lower bound (φ(|u1|)/|u1|)^n ∏_j φ_j(u1) ≤ L(R'(u1,Φ(u1))) and the intersection bound L(R'(u1,Φ(u1)) ∩ R'(u2,Φ(u2))) ≪ ∏_j φ_j(u1)φ_j(u2) for all u1 ≠ ±u2. The lower bound is needed in Lemma 5.10 to replace the measure by the product ∏ φ_j(u) up to constants; no counting argument for the admissible v with gcd(u,v_j)=1 is supplied. The intersection bound is asserted uniformly even for collinear pairs such as u2 = k u1 with k ≥ 2, which the lemma explicitly permits; for parallel slabs the intersection can behave like the smaller width rather than the product of widths, and the gcd condition in R' is the only apparent mechanism that could rescue the product estimate. The paper gives no argument that this gcd condition suffices. This point must be addressed before the divergence half of Theorem 1.6 can be considered proved.
minor comments (3)
  1. [Section 2, Proposition 2.2 and Section 5.2, Lemma 5.11] Lemma 5.11 relies crucially on Proposition 2.2, which is cited to the author's preprint [7]. Since [7] is not a peer-reviewed publication, please clarify its status or include a proof of Proposition 2.2 in an appendix so that the dependence of Theorem 1.6 on this estimate is fully transparent.
  2. [Section 5.1, Lemma 5.8] The statement 'there are ≍ 2^ℓ integers u ∈ [2^ℓ, 2^{ℓ+1}]' is ambiguous: it should be clarified whether the claim is that every integer u in that dyadic range has the stated property, or that a positive proportion does. The proof seems to show the latter for a set Λ of positive density, and the wording should be adjusted accordingly.
  3. [Throughout] There are minor typographical issues, including 'hyperrectanlges' (in Section 2, before Proposition 2.2) and inconsistent use of 'limsup' vs. 'lim sup'. These do not affect the mathematics.

Circularity Check

1 steps flagged · score 4.0 of 10

The zero-full law is a genuine series criterion, not a fit, but the divergence proof rests on Lemma 5.4, whose displayed proof invokes Lemma 5.4 itself as a black box; the derivation is locally circular and conditional.

  1. other [Section 5.1, 'Proof of Lemma 5.4' paragraph (after Lemma 5.10)]
    "Now we come to the main result of this subsection. Proof of Lemma 5.4. In view of Lemma 5.2, it suffices to prove that the lim sup set has positive measure. … By Lemmas 5.4 and 5.10, for any u1 ∈ Γ(|u1|) and u2 ∈ Γ(|u2|) with |u1|, |u2| ∈ Λ, we have Lmn(R′(u1, Φ(u1)) ∩ R′(u2, Φ(u2))) ≪ ∏m j=1 φj(u1)φj(u2) ≍ Lmn(R′(u1, Φ(u1)))Lmn(R′(u2, Φ(u2))), which together with Lemma 5.3 concludes the lemma."

    The paragraph labeled 'Proof of Lemma 5.4' uses the quasi-independence inequality of Lemma 5.4 as a premise: it cites 'Lemmas 5.4 and 5.10' to obtain exactly the intersection bound that Lemma 5.4 is supposed to establish. Thus the alleged proof of Lemma 5.4 reduces to assuming Lemma 5.4, leaving the lemma unproved. This estimate is load-bearing: Lemma 5.3 converts it into positive measure, Lemma 5.1 upgrades this to full Lebesgue measure, and the divergence half of Theorem 1.6 depends on that chain. The main theorem's series criterion is not a fitted or renamed input, so the circularity is local to this lemma rather than a total equivalence of the theorem with its assumptions.

full rationale

The central claim of the paper, Theorem 1.6, is a substantive zero-full law: the quantities t(u) and γu(β,f) are defined directly from ψ, α, β, f, and the convergence/divergence of the series is a genuine criterion, not a fitted parameter renamed as a prediction. The convergence half is a covering argument using those definitions, and the divergence half applies the mass transference principle and Lamperti's lemma. No step makes the theorem's conclusion equal to its input by construction. The citation of the author's prior Proposition 2.2 ([7, (2.3)]) is load-bearing but is an independent estimate for Hausdorff f-content of hyperrectangles, not a disguised form of the target result, so it does not by itself constitute circularity. The one clear circular feature is the 'Proof of Lemma 5.4': it invokes Lemma 5.4 to prove Lemma 5.4, and the same lemma is then used as a black box in the proof of Lemma 5.1. This makes the divergence proof conditional on an unproved, circularly supported quasi-independence estimate. Because this is a local circularity in a load-bearing auxiliary lemma rather than a reduction of the central prediction to its own assumptions, a moderate score of 4 is appropriate.

Assumptions & free parameters 0 free parameters · 10 assumptions · 0 invented entities

The theorem rests on standard results (Dirichlet theorem, transference principles, mass transference, zero-one law, Lamperti's lemma) plus explicit decay and dimension-function assumptions. One additional, unproved quasi-independence estimate (Lemma 5.4) is load-bearing for the divergence part; it is not derivable from the standard results within this text.

assumptions (10)
  • domain assumption Decay assumption (1.4): there exists lambda > 1 with psi(t)/psi(2t) >= lambda for all t >= 1
    Used to bound tau(b,u) uniformly and to compare t(u) and t(q) for nearby q,u; without it, the transference reformulation in Corollary 3.2 may fail.
  • domain assumption f is a dimension function with f < mn and (mn-a) <= f <= (mn-a+1) for some 1 <= a <= n-1
    Needed to apply Proposition 2.2 and to ensure f(r) >> r^{mn} for the content estimate in Lemma 5.11.
  • domain assumption beta_1 >= beta_2 >= ... >= beta_n
    Wlog ordering used throughout the covering and content arguments; columns can be permuted.
  • domain assumption b in R^m \ Z^m
    The transference principle yields a nontrivial relation only for inhomogeneous shifts; the homogeneous case b in Z^m is out of scope.
  • standard math Diophantine transference principle (Cassels Theorem XVII)
    Used in Corollary 3.2 to translate Dirichlet non-improvability into asymptotic approximability by hyperplane neighborhoods.
  • standard math Mass transference principle from balls to arbitrary shapes (Koivusalo-Rams, Zhong)
    Used in Section 5.2 to lift the full Lebesgue measure of W_{n,m}(Phi) to full Hausdorff f-measure of a shrunk subset.
  • standard math Lamperti's lemma
    Used to establish positive measure of a limsup set via quasi-independence and divergence of the measure sum.
  • standard math Zero-one law (L. Li)
    Used to convert positive Lebesgue measure of W_{n,m}(Phi) into full measure.
  • standard math Proposition 2.2 from the author's [7]
    Hausdorff f-content of a hyperrectangle; cited without proof and used in Lemma 5.11.
  • ad hoc to paper Lemma 5.4 quasi-independence bound
    Unproved bound on the measure of intersections of R'(u,Phi(u)) for u1 != +/- u2; this is the load-bearing gap in the divergence argument.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hausdorff measure of sets of inhomogeneous Dirichlet non-improvable affine forms with weights." pith.science (2026). https://pith.science/paper/2MTSR7XW

@misc{pith2026250516473,
  author       = {Pith},
  title        = {Pith review of: Hausdorff measure of sets of inhomogeneous Dirichlet non-improvable affine forms with weights},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2MTSR7XW}},
  note         = {Machine review of arXiv:2505.16473}
}
read the original abstract

Under a reasonable decay assumption on the approximating function, we establish a zero-full law for the Hausdorff measure of sets of inhomogeneous Dirichlet non-improvable affine forms with weights, thereby answering a question posed by Kim and Kim (\S 5.3, Adv. Math., 2022).

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Beresnevich and S

    V. Beresnevich and S. Velani. Classical metric Diophantine approximation revisited: the Khintchine–Groshev theorem. Int. Math. Res. Not. IMRN (2010), 69–86

    work page 2010

  2. [2]

    P. Bos, M. Hussain and D. Simmons. The generalised Hausdorff measure of sets of Dirichlet non-improvable numbers. Proc. Amer. Math. Soc. 151 (2023), 1823–1838

    work page 2023

  3. [3]

    J. W. S. Cassels. An introduction to Diophantine approximation , Cambridge Tracts in Mathe- matics and Mathematical Physics, No. 45, Cambridge Univ. Press, New York, 1957

    work page 1957

  4. [4]

    Dickinson and S

    D. Dickinson and S. Velani. Hausdorff measure and linear forms. J. Reine Angew. Math. 490 (1997), 1–36

    work page 1997

  5. [5]

    P. Erd¨ os. Some remarks about additive and multiplicative functions. Bull. Amer. Math. Soc. 52 (1946), 527–537

    work page 1946

  6. [6]

    Y. He. A unified approach to mass transference principle and large intersection property. Adv. Math. 471 (2025), Paper No. 110267, 51 pp

    work page 2025

  7. [7]

    Y. He. Hausdorff measure and Fourier dimensions of limsup sets arising in weighted and mul- tiplicative Diophantine approximation. Preprint (2025), arXiv:2504.09411

    work page Pith review arXiv 2025

  8. [8]

    Hussain, D

    M. Hussain, D. Kleinbock, N. Wadleigh and B. Wang. Hausdorff measure of sets of Dirichlet non-improvable numbers. Mathematika 64 (2018), 502–518

    work page 2018

Show all 19 references
  1. [9]

    Jarn ´ ık

    V. Jarn ´ ık. Uber die simultanen diophantischen approximationen.Math. Z. 33 (1931), 505–543

    1931

  2. [10]

    Khintchine

    A. Khintchine. Einige S¨ atze ¨ uber Kettenbr¨ uche, mit Anwendungen auf die Theorie der Dio- phantischen Approximationen. Math. Ann. 92 (1924), 115–125

    1924

  3. [11]

    Kim and W

    T. Kim and W. Kim. Hausdorff measure of sets of Dirichlet non-improvable affine forms. Adv. Math. 403 (2022), Paper No. 108353, 39 pp

    2022

  4. [12]

    Kleinbock, A

    D. Kleinbock, A. Str¨ ombergsson and S. Yu. A measure estimate in geometry of numbers and improvements to Dirichlet’s theorem. Proc. Lond. Math. Soc. (3) 125 (2022), 778–824

    2022

  5. [13]

    Kleinbock and N

    D. Kleinbock and N. Wadleigh. A zero-one law for improvements to Dirichlet’s Theorem. Proc. Amer. Math. Soc. 146 (2018), 1833–1844

    2018

  6. [14]

    Koivusalo and M

    H. Koivusalo and M. Rams. Mass transference principle: from balls to arbitrary shapes. Int. Math. Res. Not. IMRN (2021), 6315–6330

    2021

  7. [15]

    Lamperti

    J. Lamperti. Wiener’s test and Markov chains. J. Math. Anal. Appl. 6 (1963), 58–66. INHOMOGENEOUS DIRICHLET NON-IMPROV ABLE 19

    1963

  8. [16]

    B. Li, L. Liao, S. Velani, B. Wang and E. Zorin. Diophantine approximation and the Mass Transference Principle: incorporating the unbounded setup. Adv. Math. 470 (2025) 110248, 61 pp

    2025

  9. [17]

    L. Li. Zero-one laws in simultaneous and multiplicative Diophantine approximation. Mathe- matika 59 (2013), 321–332

    2013

  10. [18]

    Wang and J

    B. Wang and J. Wu. Mass transference principle from rectangles to rectangles in Diophantine approximation. Math. Ann. 381 (2021), 243–317

    2021

  11. [19]

    W. Zhong. Mass transference principle: from balls to arbitrary shapes: measure theory. J. Math. Anal. Appl. 495 (2021), Paper No. 124691, 23 pp. Department of Mathematics, Shantou University, Shantou, Guangdong, 515063, China Email address : ybhe@stu.edu.cn

    2021

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.