Pith. sign in

REVIEW 2 major objections 4 minor 38 references

Dichotomy laws for the Hausdorff measure of shrinking target sets in $\beta$-dynamical systems

T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read The paper claims a zero-full dichotomy for Hausdorff measures of shrinking target sets in $\beta$-dynamical systems: $H^f$ is either $0$ or $H^f([0,1]^d)$, according to convergence or divergence of a single explicit series.

desk verdict A well-motivated zero-full dichotomy for Hausdorff measures of shrinking targets in beta-dynamical systems, but the divergence proof of the main theorem has a genuine gap in the f ≺ d case. read the letter →

arxiv 2411.16045 v1 pith:7C3EHMN3 submitted 2024-11-25 math.DS math.NT

Yubin He This is my paper · ORCID
classification math.DSmath.NT MSC 11J8311K60
keywords shrinkingtargetsetsbeta-dynamicalsystemsHausdorffmeasurezero-fulldichotomyDiophantineapproximationfullcylindersmassdistributionprinciple
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

The paper aims to settle, for shrinking target sets in $\beta$-dynamical systems, the analogue of the classical zero-full law from Diophantine approximation: depending on whether a certain series converges or diverges, the Hausdorff $f$-measure of the set is either zero or equal to the full measure of the unit cube. Such sets are the dynamical versions of points whose orbits hit prescribed shrinking targets infinitely often, and they include both simultaneous and multiplicative variants. While Lebesgue measure and Hausdorff dimension for these sets were already known, their Hausdorff $f$-measure was open even in one dimension; a positive result gives the first complete measure-theoretic description at finer scales. The main theorem treats the simultaneous version when all $\beta_i$ are integers, and a companion theorem treats the multiplicative version for arbitrary $\beta>1$ under a restricted range of dimension functions.

What carries the argument

The carrying object is the layer-cost function $s_n(\Psi,f)$: for each time $n$ it computes the minimal $f$-cost of covering the rectangles in which the orbit hits its shrinking targets, with the minimum taken over candidate scales $\tau$ in $\{\beta_i^{-n},\beta_i^{-n}\psi_i(n)\}$. The divergence half runs through the exact-length structure of $\beta$-cylinders: when each $\beta_i$ is an integer, every level-$n$ cylinder has length exactly $\beta_i^{-n}$, so target sets contain inscribed balls and can be replaced, up to constants, by limsup sets of balls. A geometric box-splitting argument organizes those balls into separated hyperrectangles, and a carefully built probability measure on them satisfies the mass distribution bound $\mu(B(x,r))\ll f(r)/\omega_n^d$; this verifies a positive Hausdorff $f$-content condition on every ball, which in turn forces the full-measure conclusion. For the multiplicative theorem the analogous role is played by a covering lemma for hyperboloids, by the one-dimensional dichotomy for $W_1(\psi,h)$, and by a slicing lemma that lifts one-dimensional full measure to higher dimensions.

What would settle it

Test the reduction on $d=1$, $\beta=2$, $f(r)=\sqrt{r}$, $\psi(n)=2^{-n/2}$: here $s_n(\Psi,f)\prod_{i=1}^d \beta_i^n = 2^{n/4}$, which is unbounded, so no subseries of terms bounded by $1$ can be extracted. The theorem would still predict $H^{\sqrt{\cdot}}(W_1)=H^{\sqrt{\cdot}}([0,1])$, so a direct computation of this one-dimensional Hausdorff measure would show whether the divergence argument can be repaired or whether the full statement fails.

Watch

Extended reading notes

Core claim

On its own terms, the central discovery is Theorem 1.2: for a $d$-tuple of integer $\beta_i>1$, a dimension function $f$ with $f\preceq d$ and with $f$ comparable to each intermediate power $r^k$, the Hausdorff $f$-measure of $W_d(\Psi,h)$ is zero when the series $\sum_{n=1}^\infty s_n(\Psi,f)\prod_{i=1}^d \beta_i^n$ converges, and is $H^f([0,1]^d)$ when the series diverges. The quantity $s_n(\Psi,f)$ is the minimal $f$-cost of covering the $n$th layer of approximating rectangles by balls of one radius $\tau$, optimized over the candidate radii $\beta_i^{-n}$ and $\beta_i^{-n}\psi_i(n)$. The complementary Theorem 1.4 gives the same zero-full dichotomy for the multiplicative set $W_d^\times(\psi,h)$, including the one-dimensional base case $W_1(\psi,h)$ for arbitrary $\beta>1$; in dimension $d\geq 2$ this applies when $(d-1)\prec f\preceq s$ for some $s\in(d-1,d)$. Theorem 1.3 works out the dichotomy explicitly for the known two-dimensional example $W_2^*(t)$, producing a complete Hausdorff-measure description that earlier dimension results did not give.

Load-bearing premise

The divergence half rests on the pigeonhole claim that, whenever the defining series diverges, there is still a divergent subseries whose terms lie between $n^{-2}$ and $1$; if terms larger than $1$ are unavoidable, that reduction may fail.

Editorial extensions

If this is right

  • If the theorem is right, one series computation decides the fine fractal size of $W_d(\Psi,h)$: convergence gives $H^f=0$ and divergence gives $H^f=H^f([0,1]^d)$, with no intermediate possibilities.
  • In the one-dimensional multiplicative case, the dichotomy holds for every $\beta>1$, giving a Hausdorff-measure zero-full law for $W_1(\psi,h)$ without an integrality assumption on $\beta$.
  • For the explicit example $W_2^*(t)$, Theorem 1.3 determines $H^f$ for dimension functions in the stated comparability classes, including cases such as $f(r)=r^s/\sqrt{|\log r|}$ at the critical dimension, where earlier results only identified the Hausdorff dimension.
  • Whenever the series diverges and $f\prec d$, the set $W_d(\Psi,h)$ lies in the class of $G_\delta$ sets with positive $f$-content in every ball; since that class is closed under countable intersections, all countable intersections of such full-measure sets remain full.

Reading between the lines

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

  • Beyond the paper: the divergence proof uses full cylinders, so the only formal obstruction to extending Theorem 1.2 to non-integer $\beta_i$ is the missing exact-length property; a testable question is whether a weighted full-cylinder argument recovers the same dichotomy.
  • Beyond the paper: the convergence half of Theorem 1.2 already holds without integrality, so the zero-full law is plausible in greater generality and may be governed by the same $s_n$ series whenever enough near-full cylinders exist.
  • Beyond the paper: the explicit reduction to a single series turns the zero-full statement into a computational criterion, so for concrete $\psi_i$ and $f$ one can classify a shrinking-target set by evaluating the series rather than by constructing covers by hand.
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 / 4 minor

Summary. The paper studies the Hausdorff f-measure of shrinking target sets associated with beta-transformations on [0,1]^d. Two types of target sets are considered: W_d(Ψ,h), where each coordinate of the orbit must simultaneously fall into a shrinking interval (Theorem 1.2, integer beta), and W_d^×(ψ,h), where the product of the coordinate errors is small (Theorem 1.4, general beta). The main claim is a zero-full dichotomy governed by the convergence or divergence of the series ∑ s_n(Ψ,f)∏_{i=1}^d β_i^n for W_d, and ∑ β_d^{dn} ψ(n)^{-d+1} f(β_d^{-n}ψ(n)) for W_d^×. Theorem 1.3 specializes Theorem 1.2 to the example W_2^*(t). The paper proves the convergence parts cleanly, gives a detailed Chung-Erdős argument for Theorem 1.4(1), and uses a mass-transference framework from the author's earlier work [12] for the divergence parts.

Significance. If correct, these dichotomy laws would give the first complete Hausdorff measure description for these beta-dynamical shrinking target sets, going beyond existing Lebesgue and Hausdorff dimension results. The statements are explicit and contain no fitted parameters, and the one-dimensional product-type dichotomy (Theorem 1.4(1)) appears to be proved rigorously, including for non-integer beta. The convergence part of Theorem 1.2 is also solid. However, the divergence proof of Theorem 1.2 contains a serious gap concerning the restriction to indices with s_n∏β_i^n ≤ 1 and an unstated assumption ψ_i(n) ≤ 1, so the central vector-valued dichotomy is not established as written. The claimed completeness is therefore premature, although the underlying results may be salvageable with a substantial revision.

major comments (2)
  1. [§4.3, Eq. (4.8)] Equation (4.8) defines P = {n : n^{-2} ≤ s_n(Ψ,f) ∏β_i^n ≤ 1}, and the following proof asserts by pigeonhole that a divergent subseries indexed by P exists. This assertion is false: terms with s_n ∏β_i^n > 1 can occur for every n under the hypotheses of Theorem 1.2. For example, take d=2, β1=β2=2, f(r)=r^{1/2}, and ψ1(n)=ψ2(n)=2^{-n/2}. Then f≺1 and f≺2, so the hypotheses hold. Computing the minimum in the definition of s_n gives s_n = 2^{-3n/4}, attained at τ=2^{-3n/2}, hence s_n ∏β_i^n = 2^{-3n/4} · 2^{2n} = 2^{5n/4} > 1 for all n. The series diverges but P is empty, so the construction of ω_n, the balls B(y,ω_n), and the measure μ in (4.18) cannot start. The one-dimensional analogue d=1, β=2, f(r)=r^{1/2}, ψ(n)=2^{-n/2} has the same obstruction (terms equal 2^{n/4}); that case is covered by Theorem 1.4(1), but the proof of Theorem 1.2 does not cover it, and no alternative argument is supplied for d≥2. This is a load-bearing gap in the divergence half of Theorem 1.2.
  2. [§4.3, Lemma 4.3(3)] Lemma 4.3(3) asserts that ω_n ≥ β_ℓ^{-n} for k_j+1 ≤ ℓ ≤ d. Its proof uses the inequality ψ_i(n) ≤ 1 for all 1 ≤ i ≤ d, explicitly stated as 'where we have used ψ_i(n) ≤ 1 for all 1 ≤ i ≤ d.' The hypotheses of Theorem 1.2 only require ψ_i : N → R_+ and do not impose ψ_i(n) ≤ 1. If some ψ_i(n) > 1, the factor ∏_{i=1}^m ψ_i(n)^{-1} in the definition of ω_n is smaller than 1, and the lower bound ω_n ≥ β_{m+1}^{-n} n^{-2} > β_ℓ^{-n} need not follow from s_n ∏β_i^n ≥ n^{-2}. Thus the geometric property (3), which is used in the covering and mass distribution argument, is not established under the stated assumptions. The proof needs either an explicit truncation argument showing that one may assume ψ_i(n) ≤ 1 without loss of generality, or a modification of the construction.
minor comments (4)
  1. [§4.3, application of Theorem 4.1] Theorem 4.1 is stated for d-tuples of positive functions ψ_i : N → R_+, but the divergence proof defines Φ with ϕ_i(n) = 0 for n ∉ P. As written, the statement 'by Theorem 4.1 the set W_d(Φ,h) is of full Lebesgue measure' is not a valid application of the theorem unless it is extended to nonnegative target functions; this can likely be repaired by taking small positive values for n ∉ P.
  2. [§2.2, Lemma 2.12] In the proof of Lemma 2.12, the assertion that appending zeros to a non-full block yields a full cylinder of length β^{-n} is used without proof; a short justification using the definition of full cylinders and the properties of concatenation would improve the clarity.
  3. [§5, Theorem 1.3] Theorem 1.3 is derived from Theorem 1.2 in the cases f≺1 of item (1) and 1⪯f of item (2); the revision should explicitly state which parts of Theorem 1.3 depend on a corrected divergence proof of Theorem 1.2.
  4. [Throughout] There are several typographical errors, including 'generalisity' (§4.3), 'Lebegue' (§4), 'refered' (§1), 'dimenison' (§5), and 'auxilliary' (§6); the notation for Hausdorff measure is also occasionally inconsistent (Hf vs. H^f).

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the dichotomy is derived by covering and mass-distribution arguments; the self-cited G^f framework is independent, parameter-free support.

full rationale

The main dichotomy (Theorem 1.2) is not defined into existence. The quantity s_n(Ψ,f)∏β_i^n is introduced as the natural f-volume of an optimal cover of the n-th level rectangles (Section 3), and the two directions are proven separately: convergence by the covering inequality H^f(W_d) ≤ limsup Σ s_n∏β_i^n, divergence by constructing, for n in the divergent index set P, balls B(y,ω_n) and a measure μ with μ(B(x,r)) ≪ f(r)/ω_n^d, so that the mass distribution principle and the G^f criterion give H^f(W_d)=H^f([0,1]^d). The use of the author's prior G^f framework (Theorem 2.3, from [12]) is a genuine self-citation, but it is a parameter-free general criterion whose hypotheses (content lower bounds) are verified by the estimates (4.15)–(4.21); it does not contain Theorem 1.2's dichotomy. The same holds for [12, Remark 9] invoked in Theorem 1.3(2): it supplies the special-case lower bound H^1(W*_2)=∞, not the general f-measure dichotomy. No fitted parameters are renamed as predictions, and no uniqueness theorem is imported to forbid alternatives. The skeptic's concern about Eq. (4.8) (the pigeonhole restriction to s_n∏β_i^n≤1 may fail to cover cases where all terms are large) is a proof-gap/correctness issue, not a circularity: even if valid, it would not make the theorem an input by construction.

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

No numerical parameters are fitted; the paper proves theorems rather than fitting a model. The stated axioms are the background results the proofs rely on, two of which are not explicit hypotheses and are problematic for the divergence argument.

assumptions (4)
  • standard math Renyi's counting lemma: #Sigma_n^beta is comparable to beta^n, and full cylinders have maximal length and concatenate well.
    Used throughout Sections 2, 4, 6; cited to [32], [30], [11].
  • domain assumption The class G^f and its properties from [12] are available and applicable.
    Divergence proofs verify membership in G^f and use Theorem 2.3 from the author's previous preprint; this is an unverified black box for the reader.
  • ad hoc to paper There is a divergent subseries of s_n prod beta_i^n indexed by P with n^{-2} <= s_n prod beta_i^n <= 1.
    Asserted in Section 4.3, Eq. (4.8) without proof; natural parameter choices give terms larger than 1 infinitely often.
  • ad hoc to paper The target functions satisfy psi_i(n) <= 1 for all i and n.
    Lemma 4.3(3) relies on psi_i(n) <= 1, but the theorems only assume positive functions psi_i:N -> R_+.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Dichotomy laws for the Hausdorff measure of shrinking target sets in $\beta$-dynamical systems." pith.science (2026). https://pith.science/paper/7C3EHMN3

@misc{pith2026241116045,
  author       = {Pith},
  title        = {Pith review of: Dichotomy laws for the Hausdorff measure of shrinking target sets in $\beta$-dynamical systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7C3EHMN3}},
  note         = {Machine review of arXiv:2411.16045}
}
abstract

In this paper, we investigate the Hausdorff measure of shrinking target sets in $\beta$-dynamical systems. These sets are dynamically defined in analogy to the classical theory of weighted and multiplicative approximation. While the Lebesgue measure and Hausdorff dimension theories for these sets are well-understood, the Hausdorff measure theory in even one-dimensional settings remains unknown. We show that the Hausdorff measure of these sets is either zero or full depending upon the convergence or divergence of a certain series, thus providing a rather complete measure theoretic description of these sets.

Figures

Figures reproduced from arXiv: 2411.16045 by the authors.

Figure 1
Figure 1. Case 1: sn(Ψ, f)β n 2 ≥ β −n 1 ψ1(n). This gives the desired set Fk ⊂ Bk (see [PITH_FULL_IMAGE:figures/full_fig_p015_1.png] view at source ↗
Figure 2
Figure 2. Case 2: sn(Ψ, f)β n 2 < β−n 1 ψ1(n). This gives the desired Fk ⊂ Bk (see [PITH_FULL_IMAGE:figures/full_fig_p016_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 34 canonical work pages

  1. [12]

    Y. He. A unified approach to mass transference principle and large intersection property. Preprint (2024), arXiv:2402.00513v1

    work page Pith review arXiv 2024

  2. [1]

    Allen and B

    D. Allen and B. B´ ar´ any. On the Hausdorff measure of shrinking target sets on self-conformal sets. Mathematika 67 (2021), 807–839

    work page 2021

  3. [2]

    Baker and H

    S. Baker and H. Koivusalo. Quantitative recurrence and the shrinking target problem for over- lapping iterated function systems. Adv. Math. 442 (2024), Paper No. 109538, 65 pp

    work page 2024

  4. [3]

    B´ ar´ any and M

    B. B´ ar´ any and M. Rams. Shrinking targets on Bedford-McMullen carpets.Proc. Lond. Math. Soc. (3) 117 (2018), 951–995

    work page 2018

  5. [4]

    Beresnevich, D

    V. Beresnevich, D. Dickinson and S. Velani. Measure theoretic laws for lim sup sets. Mem. Amer. Math. Soc. 179 (2006), x+91 pp

    work page 2006

  6. [5]

    Beresnevich, F

    V. Beresnevich, F. Ram ´ ırez and S. Velani. Metric Diophantine Approximation: aspects of recent work. In Dynamics and Analytic Number Theory , 1–95, Cambridge University Press, Cambridge, 2016

    work page 2016

  7. [6]

    Beresnevich and S

    V. Beresnevich and S. Velani. A mass transference principle and the Duffin-Schaeffer conjecture for Hausdorff measures. Ann. of Math. (2) 164 (2006), 971–992

    work page 2006

  8. [7]

    Beresnevich and S

    V. Beresnevich and S. Velani. Schmidt’s theorem, Hausdorff measures, and slicing. Int. Math. Res. Not. (2006), Art. ID 48794, 24pp

    work page 2006

Show all 38 references
  1. [8]

    Bishop and Y

    C. Bishop and Y. Peres. Fractals in probability and analysis. Cambridge University Press, Cam- bridge, 2017

    2017

  2. [9]

    Bovey and M

    J. Bovey and M. Dodson. The fractional dimension of sets whose simultaneous rational approx- imations have errors with a small product. Bull. Lond. Math. Soc. 10(2) (1978), 213–218

    1978

  3. [10]

    Y. Bugeaud. Intersective sets and Diophantine approximation. Michigan Math. J. 52 (2004), 667–682. 36 YUBIN HE

    2004

  4. [11]

    Fan and B

    A. Fan and B. Wang. On the lengths of basic intervals in beta expansions. Nonlinearity 25 (2012), 1329–1343

    2012

  5. [13]

    Y. He. Shrinking parallelepiped targets for β-dynamical systems. Ergodic Theory Dynam. Sys- tems (2024) Published online. DOI:doi.org/10.1017/etds.2024.90

    2024 doi

  6. [14]

    He and L

    Y. He and L. Liao. Quantitative recurrence properties for piecewise expanding maps on [0 , 1]d. Ann. Sc. norm. super. Pisa (2024), Published online. DOI:10.2422/20362145.202309008

    2024

  7. [15]

    Hill and S

    R. Hill and S. Velani. The ergodic theory of shrinking targets. Invent. Math. 119 (1995), 175– 198

    1995

  8. [16]

    Hill and S

    R. Hill and S. Velani. Metric Diophantine approximation in Julia sets of expanding rational maps. Inst. Hautes Etudes Sci. Publ. Math. 85 (1997), 193–216

    1997

  9. [17]

    Hill and S

    R. Hill and S. Velani. The shrinking target problem for matrix transformations of tori.J. London Math. Soc. (2) 60 (1999), 381–398

    1999

  10. [18]

    Hill and S

    R. Hill and S. Velani. A zero-infinity law for well-approximable points in Julia sets. Ergodic Theory Dynam. Systems 22 (2002), no. 6, 1773–1782

    2002

  11. [19]

    Hussain, B

    M. Hussain, B. Li, D. Simmons and B. Wang. Dynamical Borel-Cantelli lemma for recurrence theory. Ergodic Theory Dynam. Systems 42 (2022), 1994–2008

    2022

  12. [20]

    Hussain and D

    M. Hussain and D. Simmons. The Hausdorff measure version of Gallagher’s theorem–closing the gap and beyond. J. Number Theory 186 (2018), 211–225

    2018

  13. [21]

    Jarn ´ ık

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

    1931

  14. [22]

    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

  15. [23]

    Kleinbock and B

    D. Kleinbock and B. Wang. Measure theoretic laws for limsup sets defined by rectangles. Adv. Math. 428 (2023), Paper No. 109154, 32 pp

    2023

  16. [24]

    Kleinbock and J

    D. Kleinbock and J. Zheng. Dynamical Borel-Cantelli lemma for recurrence under Lipschitz twists. Nonlinearity 36 (2023), 1434–1460

    2023

  17. [25]

    Koivusalo, L

    H. Koivusalo, L. Liao and M. Rams. Path-dependent shrinking targets in generic affine iterated function systems. Preprint (2022), arXiv:2210.05362

    2022 arXiv

  18. [26]

    Levesley, C

    J. Levesley, C. Salp and S. Velani. On a problem of K. Mahler: Diophantine approximation and Cantor sets. Math. Ann. 338 (2007), 97–118

    2007

  19. [27]

    B. Li, L. Liao, S. Velani, B. Wang and E. Zorin. Diophantine approximation and the Mass Trans- ference Principle: incorporating the unbounded setup. Preprint (2024), arXiv:2410.18578v1

    2024 arXiv

  20. [28]

    B. Li, L. Liao, S. Velani and E. Zorin. The shrinking target problem for matrix transformations of tori: revisiting the standard problem. Adv. Math. 421 (2023), Paper No. 108994, 74

    2023

  21. [29]

    B. Li, B. Wang, J. Wu and J. Xu. The shrinking target problem in the dynamical system of continued fractions. Proc. Lond. Math. Soc. (3) 108 (2014), 159–186

    2014

  22. [30]

    Y. Li. Some results on beta-expansions and generalized Thue–Morse sequences. PhD thesis, Sorbonne Universit´ e; South China University of Technology, 2021

    2021

  23. [31]

    W. Philipp. Some metrical theorems in number theory. Pacific J. Math. 20 (1967), 109–127

    1967

  24. [32]

    A. R´ enyi. Representations for real numbers and their ergodic properties. Acta Math. Hungar. 8 (1957), 477–493

    1957

  25. [33]

    Shen and B

    L. Shen and B. Wang. Shrinking target problems for beta-dynamical system. Sci. China Math. 56 (2013), 91–104

    2013

  26. [34]

    Tan and B

    B. Tan and B. Wang. Quantitative recurrence properties for beta-dynamical system. Adv. Math. 228 (2011), 2071–2097

    2011

  27. [35]

    Wang and J

    B. Wang and J. Wu. Mass transference principle from rectangles to rectangles in Diophantine approximation. Math. Ann. 381 (2021), 243–317. DICHOTOMY LA WS FOR THE HAUSDORFF MEASURES OF SHRINKING TARGET SETS 37

    2021

  28. [36]

    Wang and G

    B. Wang and G. Zhang. A dynamical dimension transference principle for dynamical Diophan- tine approximation. Math. Z. 298 (2021), 161–191

    2021

  29. [37]

    W. Wang. Modified shrinking target problem in beta dynamical systems. J. Math. Anal. Appl. 468 (2018), 423–435

    2018

  30. [38]

    Yuan and S

    N. Yuan and S. Wang. Modified shrinking target problem for Matrix Transformations of Tori. Fractals 32 (2024), 2450076. Department of Mathematics, Shantou University, Shantou, Guangdong, 515063, China Email address : ybhe@stu.edu.cn

    2024

Pith tools

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