Pith. sign in

REVIEW 3 major objections 3 minor 19 references

The Hausdorff measure and uniform fibre conditions for Bara\'nski carpet

T0 review · 3 major / 3 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 Every Barański carpet splits cleanly: the Hausdorff measure at its Hausdorff dimension is either positive and finite or infinite, with the alternative controlled by a uniform-fibre condition, and the same conditions decide when its four…

desk verdict Strong paper proving a long-sought dichotomy for Barański carpets, with two repairable technical gaps (LIL in Lemma 4.2 and the unverified numerical example). read the letter →

arxiv 2411.17018 v1 pith:KO3NFADN submitted 2024-11-26 math.CA

Hua Qiu , Qi Wang This is my paper · ORCID
classification math.CA MSC 28A7828A80
keywords HausdorffmeasureBarańskicarpetuniformfibreconditiondimensionboxAssouadlowerAhlforsregularity
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 dichotomy for Barański carpets, the self-affine carpets built by cutting a unit square into rectangles and mapping the square onto chosen pieces with diagonal contractions. For every such carpet $K$, the Hausdorff measure at the Hausdorff dimension is either positive and finite or infinite; there is no intermediate case, and the alternative is decided by a uniform-fibre condition called u.f.H. The paper introduces four progressively stronger uniform-fibre conditions, u.f.H, u.f.B, u.f.A, u.f.L, and shows they characterize, respectively, positive finite Hausdorff measure, equality of Hausdorff and box dimension, equality with the Assouad dimension, and Ahlfors regularity along with equality of the lower dimension with the other dimensions. A striking consequence is that Hausdorff and box dimension can differ while the Hausdorff measure is still positive and finite, which is impossible in the earlier Lalley–Gatzouras class.

What carries the argument

The argument is carried by approximate squares: for a coding sequence $\varepsilon\in\Sigma^{\mathbb N}$ and scale $\delta>0$, the set $Q(\varepsilon,\delta)$ is a rectangle of width and height both comparable to $\delta$ that tracks the part of the carpet containing $\Pi(\varepsilon)$. The Hausdorff dimension is expressed as $\max\{G_1,G_2\}$, the suprema of two variational functions $g_1,g_2$ over Bernoulli weights, and the box dimension as $\max\{D_1,D_2\}$ from two pressure equations. The uniform-fibre conditions say that when one of these maxima dominates, the corresponding columns or rows of the generating pattern are uniform in a self-similar sense, i.e. scaled copies in a column have equal total height dimension. For the infinite-measure half, the key auxiliary object is the gauge $\varphi_c(t)=t^{\dim_H K}\exp(-c|\log t|/(\log|\log t|)^2)$; the proof shows $\mathcal H^{\varphi_c}(K)=+\infty$ under failure of u.f.H, which immediately forces $\mathcal H^{\dim_H K}(K)=+\infty$.

What would settle it

Verify the law of the iterated logarithm for the non-identically distributed increments $\log q(l)_{\varepsilon_l}$ in Lemma 4.2 by computing, for a Case-1 carpet, the partial sums $\sum_{l=1}^n(\log q(l)_{\varepsilon_l}-\sum_m q(l)_m\log q(l)_m)$ under $\prod_l q(l)$: if these exceed $O(\sqrt{n\log\log n})$ on a positive-measure set of codings, the proof that $\mathcal H^{\varphi_c}(K)=+\infty$ for every non-u.f.H carpet collapses, and Theorem 1.1(b) lacks support.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is a complete measure–dimension dichotomy for Barański carpets. Theorem 1.1 states that u.f.H holds exactly when $0<\mathcal{H}^{\dim_H K}(K)<+\infty$, and fails exactly when $\mathcal{H}^{\dim_H K}(K)=+\infty$, with u.f.B equivalent to $\dim_H K=\dim_B K$. Theorem 1.3 adds the uniform-fibre conditions of Assouad and lower type, giving the equivalences u.f.A iff $\dim_B K=\dim_A K$ iff $\dim_H K=\dim_A K$, and u.f.L iff $\dim_L K=\dim_H K$ iff $\dim_L K=\dim_A K$ iff $K$ is Ahlfors regular. The four conditions form a strict chain, and the paper classifies which combinations of strict or equal dimensions among lower, Hausdorff, box and Assouad can occur. Corollary 1.2 records that $\dim_H K=\dim_B K$ is sufficient but not necessary for positive finite Hausdorff measure, with Example 8.1 exhibiting the new phenomenon.

Load-bearing premise

The infinite-measure half of Theorem 1.1 rests on Lemma 4.2's application of the law of the iterated logarithm to the sums of logarithms of the slowly varying probabilities $q(n)_{\varepsilon_n}$; if those bounded but non-identically distributed increments do not satisfy the LIL uniformly with error $O(\sqrt{n\log\log n})$ for almost every coding sequence, the proof that $\mathcal H^{\varphi_c}(K)=+\infty$ collapses.

Editorial extensions

If this is right

  • The dichotomy (1.1) holds for every Barański carpet, closing the gap between the Bedford–McMullen and Lalley–Gatzouras cases and the general class.
  • A carpet can have $\dim_H K<\dim_B K$ while still having $0<\mathcal H^{\dim_H K}(K)<+\infty$, so box dimension no longer predicts the finiteness of Hausdorff measure in this class.
  • The strict chain u.f.L $\Rightarrow$ u.f.A $\Rightarrow$ u.f.B $\Rightarrow$ u.f.H organizes all eight possible comparisons of the four dimensions: four configurations are realized and the other four are ruled out by the equivalences.
  • u.f.L is equivalent to Ahlfors regularity, so within this class Ahlfors regularity is a fibre-uniformity condition rather than a separate geometric assumption.

Reading between the lines

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

  • Because u.f.H is equivalent to the checkable condition u.f.H' in terms of the parameters of the IFS, positive-and-finite Hausdorff measure should be decidable from the generating template; searching parameter space could reveal how common the finite-measure case is among non-uniform carpets.
  • The strictness of the chain suggests a robustness picture: starting from a carpet with all four dimensions equal, small perturbations of the contraction ratios should destroy u.f.H first, leaving infinite Hausdorff measure while lower/Assouad symmetries persist; this could be tested numerically on perturbations of Example 8.1.
  • If one wants the same dichotomy for higher-dimensional Barański sponges, the natural route suggested by this paper is to replace Bernoulli measures with pseudo-Bernoulli measures and build a sponge analogue of u.f.H'.
  • Since the paper states the theorems hold analogously for the full Lalley–Gatzouras class, the uniform-fibre framework likely provides a unified criterion for finiteness of Hausdorff measure across all box-like self-affine carpets.
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

3 major / 3 minor

Summary. The paper studies Barański carpets, a class of planar self-affine sets generated by diagonal contractions on a rectangular grid. The main result, Theorem 1.1, establishes a dichotomy for the Hausdorff measure in the critical dimension: either 0 < H^{dim_H K}(K) < +∞ or H^{dim_H K}(K) = +∞. The authors introduce four uniform-fibre conditions (u.f.H, u.f.B, u.f.A, u.f.L) and show that u.f.H characterizes the finite-positive-measure case, u.f.B characterizes dim_H K = dim_B K, u.f.A characterizes coincidence of Assouad and box/Hausdorff dimensions, and u.f.L characterizes Ahlfors regularity and the equality of lower dimension with the other dimensions. A corollary states that dim_H K = dim_B K is sufficient but not necessary for 0 < H^{dim_H K}(K) < +∞, and a classification of all possible comparisons among the four dimensions is given. The proofs combine variational formulas of Barański and Feng–Wang, Assouad/lower dimension formulas of Fraser, and a detailed analysis of approximate squares and slowly varying Bernoulli measures.

Significance. If the results are correct, this is a substantial contribution to the dimension theory of self-affine carpets: it extends Peres's dichotomy from Bedford–McMullen carpets to the broader Barański class and provides a complete set of uniform-fibre criteria relating Hausdorff, box, Assouad, and lower dimensions. The paper is well structured, the definitions of u.f.H' and the equivalence in Proposition 3.1 are useful, and the proofs are detailed and mostly self-contained. No circular reasoning is apparent, and the central dichotomy is sharp. However, the manuscript currently contains two load-bearing rigor gaps — the law-of-the-iterated-logarithm application in Lemma 4.2 and the unverified numerical inequalities in Example 8.1 — which need to be fixed before the results can be considered fully established.

major comments (3)
  1. [Section 4, display (4.7)] The law of the iterated logarithm is applied to four sums of independent random variables whose distributions vary with the summation index because q(l) = q + δ/log(l) u depends on l. The cited reference [6, Section 7.3.3] states the LIL for i.i.d. variables, so it does not directly justify the O(√(n log log n)) almost-sure bound used in (4.9), (4.10), (4.12), and ultimately in the divergence (4.19). This bound is load-bearing for Lemma 4.2 and hence for Theorem 1.1(b). The gap is likely repairable: for independent bounded variables with variances converging to a positive limit, Kolmogorov's LIL gives the same order of growth, but the authors must supply a correct reference or a short proof of the non-identically-distributed version they need.
  2. [Section 8, Example 8.1] The example depends on the strict inequalities G1 > G2 and D2 > D1, which are asserted on the basis of numerical approximations computed with Wolfram Mathematica: G1 ≈ 1.368858891, G2 ≈ 1.368381784, D1 ≈ 1.368858891, D2 ≈ 1.369071220. No rigorous error bounds or interval-arithmetic verification are provided. Since Corollary 1.2 and the strictness of the implication u.f.B ⇒ u.f.H in Proposition 1.5 rely on this example, the numerical claim must be backed by a verifiable certificate — for instance, rational interval bounds or an exact algebraic argument — before the example can be accepted as a proof.
  3. [Section 6, Lemma 6.2] Lemma 6.2 is stated without proof: the text says it follows from the estimation 'dim_H K ≤ max_{q∈S} g(q)' in [1, pp. 232–235] via a local dimension technique, but the statement for an arbitrary closed subset P ⊆ S is not literally in Barański's paper. The lemma is used to control H^{dim_H K}(K_1^c) in the proof of the positive-finite-measure direction of Theorem 1.1(a). Please provide a proof sketch or a precise reference for the subset version, since a gap here would affect the argument.
minor comments (3)
  1. [Throughout] There are several typos and formatting slips: 'Hasudorff' for 'Hausdorff' in Section 2, 'rand' for 'rank' in the paragraph before (4.20), 'dim L A' for 'dim_L K' in Section 7, and a missing closing brace in the definition of J in Section 2.
  2. [Corollary 1.4] The proof says that cases (a), (b), (e), and (h) 'have already been addressed by Fraser, as referenced in [10, Question 4.5]'. Since Question 4.5 is stated as an open question, please cite the specific examples, sections, or figures in Fraser's paper that establish those cases.
  3. [Section 3, Lemma 3.12] In the proof of Lemma 3.12, the notation B_k is used for a set of words, but the symbol B_k is not otherwise defined consistently with the width notation B_ε; this may confuse readers. Please rename one of the two objects.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the uniform fibre conditions are new definitions, and the main equivalences are proved from prior dimension formulas without assuming the target dichotomy.

full rationale

Step through the derivation: u.f.H is defined in Section 2 through the shape of maximizing q-vectors for Barański's dimension formula g(q); it is not defined in terms of H^t(K). Theorem 1.1 is then proved in Sections 4-6 without quoting the dichotomy: Section 4 proves ¬u.f.H ⇒ H^{φ_c}(K)=∞ by constructing product measures and comparing log μ(Q(ε,n)) with log φ_c(L_{ε|n}); Section 6 proves u.f.H ⇒ 0<H^{dim_H K}(K)<∞ via uniform-fibre measure estimates and covering arguments. The most delicate step, Lemma 4.2, applies the law of the iterated logarithm to sums of independent but non-identically distributed variables with slowly varying marginals q(n); the cited reference [6, Section 7.3.3] states the i.i.d. LIL, so the application needs a non-i.i.d. LIL (e.g. Kolmogorov's version with bounded variances). This is a genuine technical gap or robustness risk, but not a circular one: it concerns the size of a probabilistic error term, and the target conclusion H^{φ_c}=∞ is not assumed in the derivation. No step in the paper is fitted from the quantity it predicts; the uniform-fibre conditions are verifiable from the IFS parameters (Remark 1.6), and Examples 8.1-8.2 apply the theorems only after computing those parameters. External prior results (Barański, Feng-Wang, Fraser, Peres, Rogers-Taylor) are cited for dimension formulas and density theorems; none is a self-citation of the present authors. Hence no circularity is present.

Assumptions & free parameters 1 free parameters · 5 assumptions · 0 invented entities

The main theorems rely on standard theorems in fractal geometry and probability; the only hand-chosen constants appear in the numerical example, and the example's inequalities are asserted without rigorous proof.

free parameters (1)
  • Example 8.1 IFS constants = a=0.0765, b=0.2298, c=0.499, d=0.2904, with translations (0.05,0.025), (0.05,0.35), (0.2,0.025), (0.2,0.675)…
    Chosen so that the carpet has uniform vertical but not horizontal fibres, and so that numerical maximization gives G1>G2 and D2>D1; no rigorous error bounds are provided.
assumptions (5)
  • standard math Law of iterated logarithm for sums of bounded independent random variables with slowly varying distributions applies to the variables in (4.7).
    Invoked in Lemma 4.2 to bound deviations of log q_{ε_l}^{(l)} and related sums; cited to [6, Section 7.3.3].
  • standard math Rogers-Taylor density theorem as stated in Proposition 4.1.
    Used to conclude infinite Hausdorff measure from divergent density ratios; cited to [19] and stated without proof.
  • standard math Approximate-square covering estimates of Fraser (Lemma 3.10).
    Every ball can be covered by a bounded number of approximate squares and each approximate square is within a constant factor of δ; cited to [10, Lemma 7.1].
  • domain assumption Dimension formulas for Barański carpets (Proposition 2.1 from [1]), box dimension formula (Proposition 5.1 from [9]), and Assouad/lower dimension formulas (Proposition 2.2 from [10]).
    The definitions of u.f.H, u.f.B, u.f.A, u.f.L and the proofs rely on these prior formulas as black boxes.
  • ad hoc to paper In Example 8.1, the strict inequalities G1>G2 and D2>D1 hold for the given decimals.
    Stated as numerical results from Mathematica; no rigorous verification or interval bounds are supplied, and these inequalities are used to prove Corollary 1.2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Hausdorff measure and uniform fibre conditions for Bara\'nski carpet." pith.science (2026). https://pith.science/paper/KO3NFADN

@misc{pith2026241117018,
  author       = {Pith},
  title        = {Pith review of: The Hausdorff measure and uniform fibre conditions for Bara\'nski carpet},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KO3NFADN}},
  note         = {Machine review of arXiv:2411.17018}
}
abstract

For a self-affine carpet $K$ of Bara\'{n}ski, we establish a dichotomy: $ \text{either }\quad 0<\mathcal{H}^{\dim_{\text{H}} K}(K)<+\infty \quad\text{ or } \quad\mathcal{H}^{\dim_{\text{H}} K}(K)=+\infty. $ We introduce four types of uniform fibre condition for $K$: Hausdorff ($\textbf{u.f.H}$), Box ($\textbf{u.f.B}$), Assouad ($\textbf{u.f.A}$), and Lower ($\textbf{u.f.L}$), which are progressively stronger, with $ \textbf{u.f.L} \Longrightarrow \textbf{u.f.A} \Longrightarrow \textbf{u.f.B} \Longrightarrow \textbf{u.f.H}, $ and each implication is strict. The condition $\textbf{u.f.H}$ serves as a criterion for the dichotomy. The remaining three conditions provide an equivalent characterization for the coincidence of any two distinct dimensions. The condition $\textbf{u.f.L}$ is also equivalent to the Ahlfors regularity of $K$. As a corollary, $\dim_{\text{H}} K=\dim_{\text{B}} K$ is sufficient but not necessary for $0<\mathcal{H}^{\dim_{\text{H}} K}(K)<+\infty$.

Figures

Figures reproduced from arXiv: 2411.17018 by the authors.

Figure 1
Figure 1. Generating templates for a Bara´nski carpet (left), a Bedford￾McMullen carpet (middle) and a Lalley-Gatzouras carpet (right). Note that if a Bara´nski carpet K degenerates to a self-similar set (for example, ail = bjl for all l), since it always satisfies the OSC, it is Ahlfors regular with dimH K = dimB K and 0 < HdimH K(K) < +∞, where we use dimH K and dimB K to represent the Hausdorff and box dimensions of K, res… view at source ↗
Figure 2
Figure 2. Generating templatex for Bara´nski carpets in Examples 8.1 (left) and 8.2 (right). Using Proposition 3.9, Lemmas 5.2 and 5.3, we obtain that G2 = max q∈int(S2) g2(q) ≤ max q∈S f2(q) = D2. Combining this with (8.2), we have G2 = D2. Then by Lemma 5.4, K has uniform horizontal fibres. So u.f.H′ holds. □ Example 8.2. Let K be a Bara´nski carpet whose IFS consisting of eight mappings as shown in the right of [PITH_FULL… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 13 canonical work pages

  1. [1]

    Bara´ nski,Hausdorff dimension of the limit sets of some planar geometric constructions, Adv

    K. Bara´ nski,Hausdorff dimension of the limit sets of some planar geometric constructions, Adv. Math. 210 (2007), 215-245

    2007

  2. [2]

    B´ ar´ any, A

    B. B´ ar´ any, A. K¨ aenm¨ aki, H. Yu,Finer geometry of planar self-affine sets , arXiv:2107.00983

    work page arXiv

  3. [3]

    B´ ar´ any, K

    B. B´ ar´ any, K. Simon, B. Solomyak,Self-similar and self-affine sets and measures , Math. Surveys Monogr. 276 American Mathematical Society, Providence, RI, 2023

    work page 2023

  4. [4]

    Barral, D.-J

    J. Barral, D.-J. Feng, Non-uniqueness of ergodic measures with full Hausdorff dimensions on a Gatzouras- Lalley carpet, Nonlinearity 24 (2011), no.9, 2563–2567. 40 HUA QIU AND QI W ANG

    work page 2011

  5. [5]

    Bedford, Crinkly curves, Markov partitions and box dimension in self-similar sets, Ph.D

    T. Bedford, Crinkly curves, Markov partitions and box dimension in self-similar sets, Ph.D. Thesis, Uni- versity of Warwick, 1984

    1984

  6. [6]

    C. J. Bishop, Y. Peres, Fractals in probability and analysis, Cambridge Stud. Adv. Math., 162 Cambridge University Press, Cambridge, 2017

    work page 2017

  7. [7]

    T. Das, D. Simmons, The Hausdorff and dynamical dimensions of self-affine sponges: a dimension gap result, Invent. math. 210 (2017), 85–134

    2017

  8. [8]

    K. J. Falconer, Fractal geometry. Mathematical foundations and applications , John Wiley & Sons, Ltd. Chichester, 1990

    work page 1990

Show all 19 references
  1. [9]

    D.-J. Feng, Y. Wang, A class of self-affine sets and self-affine measures, J. Fourier Anal. Appl. 11 (2005), no. 1, 107–124

    2005

  2. [10]

    Fraser, Assouad type dimensions and homogeneity of fractals, Trans

    J.M. Fraser, Assouad type dimensions and homogeneity of fractals, Trans. Amer. Math. Soc. 366 (2014), no.12, 6687–6733

    2014

  3. [11]

    Fraser, Assouad dimension and fractal geometry, Cambridge University Press, Cambridge, 2021

    J.M. Fraser, Assouad dimension and fractal geometry, Cambridge University Press, Cambridge, 2021

    2021

  4. [12]

    Kolossv´ ary,The Lq spectrum of self-affine measures on sponges, J

    I. Kolossv´ ary,The Lq spectrum of self-affine measures on sponges, J. London Math. Soc. 108 (2023), 666-701

    2023

  5. [13]

    Lalley, D

    S.P. Lalley, D. Gatzouras, Hausdorff and Box Dimensions of Certain Self–Affine Fractals, Indiana Univ. Math. J. 41 (2) (1992), 533–568

    1992

  6. [14]

    Larman, A new theory of dimension, Proc

    D.G. Larman, A new theory of dimension, Proc. London Math. Soc. (3) 17 (1967), 178– 192

    1967

  7. [15]

    Mackay, Assouad dimension of self-affine carpets, Conform

    J.M. Mackay, Assouad dimension of self-affine carpets, Conform. Geom. Dyn. 15 (2011), 177–187

    2011

  8. [16]

    Mattila, Geometry of sets and measures in Euclidean spaces, Fractals and rectifiability , Cambridge Stud

    P. Mattila, Geometry of sets and measures in Euclidean spaces, Fractals and rectifiability , Cambridge Stud. Adv. Math. 44 Cambridge University Press, Cambridge, 1995

    1995

  9. [17]

    McMullen, The Hausdorff dimension of general Sierpinski carpets, Nagoya Math

    C. McMullen, The Hausdorff dimension of general Sierpinski carpets, Nagoya Math. J. 96 (1984), 1–9

    1984

  10. [18]

    Peres, The self-affine carpets of McMullen and Bedford have infinite Hausdorff measure, Math

    Y. Peres, The self-affine carpets of McMullen and Bedford have infinite Hausdorff measure, Math. Proc. Cambridge Philos. Soc. 116 (1994), no.3, 513–526

    1994

  11. [19]

    C. A. Rogers, S. J. Taylor, Functions continuous and singular with respect to a Hausdorff measure, Math- ematika 8 (1961), 1–31. School of Mathematics, Nanjing University, Nanjing, 210093, P. R. China. Email address : huaqiu@nju.edu.cn School of Mathematics, Nanjing University...

    1961

Pith tools

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