Pith. sign in

REVIEW 2 major objections 3 minor 1 cited by

Mean dimension theory for infinite dimensional Bedford-McMullen sponges

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

Pith's one-line read This paper proves exact, closed-form formulas for both the metric mean dimension and the mean Hausdorff dimension of every Bedford-McMullen sponge system with any number $r\ge 3$ of coordinate directions.

desk verdict New and likely correct formulas, but the lower bound for mean Hausdorff dimension rests on a false counting lemma (Lemma 3.12) and needs repair. read the letter →

arxiv 2412.02278 v2 pith:3VX77ANU submitted 2024-12-03 math.DS

classification math.DS MSC 28A8037C4528D2037B4037A35
keywords metricmeandimensionHausdorffweightedtopologicalentropyBedford-McMullenspongeinfinite-dimensionalfractalsubshiftself-affineset
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 proves that the two central quantitative invariants of mean dimension theory—metric mean dimension and mean Hausdorff dimension—can be computed exactly for Bedford-McMullen sponges with any number $r\ge 3$ of digit coordinates, not just the planar carpet case $r=2$. A sponge is built from a subshift $\Omega$ of digit sequences in $\{0,\dots,m_1-1\}\times\cdots\times\{0,\dots,m_r-1\}$ by coding each coordinate stream as a base-$m_i$ expansion, producing a shift-invariant set in $([0,1]^r)^{\mathbb{N}}$. The metric mean dimension is shown to be a weighted sum of the ordinary topological entropies of $\Omega$ and of its projections onto the first $i$ coordinates, while the mean Hausdorff dimension is shown to equal a weighted topological entropy divided by $\log m_1$. The result reduces two seemingly complicated infinite-dimensional invariants to data read directly from the subshift and its projections.

What carries the argument

The argument is carried by approximate cubes $Q_{N,M}(x_1,\ldots,x_r)$: for each level $M$, these are the sets of sponge points whose first $L_i(M)=\lfloor M\log m_1/\log m_i\rfloor$ digits in coordinate $i$ agree with those of a centre point. Each such cube has diameter on the order of $m_1^{-M}$, and the numbers of such cubes are controlled by $|\Omega|_N^{L_r(M)}\prod_{i=1}^{r-1}|\pi_i(\Omega)|_N^{L_i(M)-L_{i+1}(M)}$, which yields the metric mean dimension formula. For the mean Hausdorff dimension, the load-bearing object is the weighted topological entropy $h^a_{\mathrm{top}}$ defined by nested covers with weight vector $a_i=\log m_{r-i}/\log m_{r-i+1}$; its value is computed through the fibre counts $Z_N$ of Lemma 3.3, and the upper and lower bounds are matched by a product measure on $(\Omega|_N)^{\mathbb{N}}$ whose conditional probabilities make the masses of approximate cubes explicit.

What would settle it

Test the cube-counting lemma directly: take $r=3$ with bases $m_1=2,m_2=4,m_3=8$ and $\Omega$ the full shift, and for small $N,M$ enumerate all distinct approximate cubes $Q_{N,M}(x)$. Lemma 3.12 asserts that among any $2rN+1$ distinct cubes two are at distance at least $m_1^{-M}$; finding a counterexample would break the lower-bound proof of the mean Hausdorff formula. A second test is numerical: for a family of subshifts $\Omega$, compute the covering numbers of $(X_\Omega,d_N,\varepsilon)$ directly and compare the limiting ratios with the two closed formulas in Theorem 1.1.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that both invariants of an infinite-dimensional sponge system are already determined by entropy data of the coding subshift. For a sponge system $(X_\Omega,\sigma,d)$ with bases $2\le m_1\le\cdots\le m_r$, Theorem 1.1 gives $\operatorname{mdim}_M(X_\Omega,\sigma,d)=h_{\mathrm{top}}(\Omega,\sigma)/\log m_r+\sum_{i=1}^{r-1}(1/\log m_i-1/\log m_{i+1})h_{\mathrm{top}}(\pi_i(\Omega),\sigma)$ and $\operatorname{mdim}_H(X_\Omega,\sigma,d)=h^a_{\mathrm{top}}(\{(\pi_i(\Omega),\sigma)\}_{i=1}^r,\{\tau_i\}_{i=1}^{r-1})/\log m_1$, where the weights are $a_i=\log m_{r-i}/\log m_{r-i+1}$, $\pi_i$ drops the last $r-i$ coordinates, and $\tau_i$ are the corresponding factor maps. In particular, the paper establishes for arbitrary $r$ that metric mean dimension is a linear combination of standard entropies, while mean Hausdorff dimension is governed by the weighted topological entropy of the whole projection tower. It also gives a uniform fibre-growth condition under which the two invariants coincide.

Load-bearing premise

The paper defines mean dimension for invertible dynamics only, while the sponge system is a one-sided shift that cannot be run backwards; the theorem presupposes that the same definitions and estimates extend to this case without saying so.

Editorial extensions

If this is right

  • When $r=2$, formulas (1.2) and (1.3) reduce to the known carpet-system result, so the sponge formulas contain the earlier planar theory as the first case.
  • If $\Omega$ has uniformly growing word complexity in the sense of (3.3), then the mean Hausdorff dimension equals the metric mean dimension; this is the dynamical analogue of the uniform-fibres case where Hausdorff and Minkowski dimensions of sponges agree.
  • The variational form of the two formulas shows that the gap between mean Hausdorff dimension and metric mean dimension is exactly the gap between maximizing all projected entropies with a single measure and maximizing each projection separately.
  • Since $h_{\mathrm{top}}(\pi_i(\Omega),\sigma)\le h_{\mathrm{top}}(\Omega,\sigma)$ and the coefficients $1/\log m_i-1/\log m_{i+1}$ are nonnegative, the metric mean dimension lies between $h_{\mathrm{top}}(\Omega,\sigma)/\log m_r$ and $h_{\mathrm{top}}(\Omega,\sigma)/\log m_1$.

Reading between the lines

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

  • A testable extension the paper leaves implicit is that the same approximate-cube counts should compute metric mean dimension for graph-directed or sofic variants of sponges, provided the analogue of the fibre counts $Z_N$ is computable.
  • Passing to the natural extension of the one-sided shift would likely repair the homeomorphism gap without changing the formulas, because topological entropy and the projection entropies are invariant under this passage; the paper does not discuss this.
  • Equality of the two mean dimensions might hold under weaker fluctuation bounds on the fibre counts than the uniform growth condition (3.3); a numerical search over subshifts with slowly varying fibre sizes could probe how sharp that condition is.
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. This paper extends Tsukamoto's mean-dimension theory for Bedford-McMullen carpet systems to sponge systems of arbitrary dimension r≥3. For a subshift Ω and integer bases m_1≤...≤m_r, the author defines the associated subsystem X_Ω of the r-fold Hilbert cube and proves explicit formulas for the metric mean dimension and the mean Hausdorff dimension in terms of the topological entropies of the projections π_i(Ω) and of Alibabaei's weighted topological entropy. The proof proceeds by covering and separating estimates with approximate cubes, with upper and lower bounds established separately. A condition under which the two invariants coincide is also given.

Significance. If the main result is established, it is a substantial and natural extension of Tsukamoto's r=2 result: it gives closed-form, parameter-free formulas for both invariants for arbitrary r and connects the mean Hausdorff dimension of sponge systems to the weighted topological entropy and its variational principle. The metric mean dimension computation and the upper bound for the mean Hausdorff dimension are carefully executed, and the paper contains no fitted parameters or circular assumptions. However, the lower-bound proof for the mean Hausdorff dimension rests on Lemma 3.12, which is false as stated; the flaw is localized and repairable, so the contribution is likely correct after revision.

major comments (2)
  1. [§3.4.2, Lemma 3.12] Lemma 3.12 is false as stated, and the lower bound (3.12) therefore relies on an invalid pigeonhole argument. For the full shift Ω and any M large enough that L_q(M)≥1 for all q, choose for each q and each time coordinate t=1,...,N the partial sum ∑_{k=1}^{L_q(M)} x_{kq,t} m_q^{-k} to be either 0 or m_q^{-L_q(M)} (put all leading digits 0, or put x_{L_q,q,t}=1 and all earlier leading digits 0). This gives 2^{rN} distinct leading tuples, hence 2^{rN} distinct approximate cubes. For any two of these cubes and every q, the coordinate-wise partial sums differ by at most m_q^{-L_q(M)} in ℓ∞-norm, so inequality (3.9), which requires a difference of at least 2m_q^{-L_q(M)}, fails for every pair. Since 2rN+1≤2^{rN} for r≥3 and N≥1, the assumption of the lemma can be satisfied while its conclusion fails. The lemma is used to conclude |C_j|≤2rN in the proof of (3.12). The repair is to replace the threshold 2rN+1 by 2^{rN}+1; then |C_j|≤2^{rN}, and the existing smallness condition (3.10) still gives the desired factor (2^r m_1^s ε^{δ/2})^N<1/2, yielding ∑ D(E_j)^{log_{m1} Z_N-Nδ}>1. As written, the lower-bound proof is incomplete.
  2. [§2.2 and §1.2] Section 2.2 defines a TDS as a pair with T a homeomorphism, but the sponge system (X_Ω,σ) is a one-sided shift, which is not invertible. As written, mdimM(X_Ω,σ,d) and mdimH(X_Ω,σ,d) in Theorem 1.1 are therefore not covered by the definitions. The proofs only use forward Bowen metrics, and the numerical quantities are unaffected by this issue, but the paper should explicitly extend the definitions to non-invertible continuous maps using forward metrics, or state that one passes to the natural extension and that the invariants coincide.
minor comments (3)
  1. [§3.1, Lemma 3.1] In the proof of Lemma 3.1, 'the first equality holds' should read 'the first inequality holds'; the second displayed assertion is also an inequality, not an equality.
  2. [§3.3, Lemma 3.6] In the display of Lemma 3.6, the index j in u_j(⌊c_i t/L_i⌋) is undefined; it should be u_i.
  3. [Abstract] In the abstract, 'whose metric mean dimension and mean Hausdorff dimension does not coincide' should be 'do not coincide'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the sponge mean-dimension formulas are derived from covering and combinatorial estimates, not assumed or fitted.

full rationale

The derivation chain is self-contained with respect to the stated conclusions. The metric mean dimension formula (1.2) is obtained by combining the covering and separation estimates in Lemma 3.2 with the standard reduction between Bowen metrics and finite projections in Lemma 3.1; none of these estimates assumes the formula being proved. The mean Hausdorff dimension formula (1.3) is proved separately from above and below using the weighted entropy quantity Z_N, the probability measures constructed from Z_N, Lemma 3.9, Lemma 3.11, and the external geometric measure lemma of Tsukamoto; the lower bound uses only the combinatorial control in Lemma 3.12, not the target equality. Weighted topological entropy itself is defined via open covers, and Lemma 3.3 derives the Z_N formula from that definition rather than assuming it. The paper cites external results — Alibabaei's variational principle, Tsukamoto's geometric measure lemma, and the Kenyon-Peres combinatorial lemma — as independent inputs, and these are not restatements of the present theorem. The only self-citation, [11] by the author with Rong Yuan, appears in the introduction as background on Z^d-actions and plays no load-bearing role. The special-case Lemma 3.4 explicitly works under an added uniform-word-complexity assumption and uses Theorem 1.1 to conclude equality of the two dimensions, which is a legitimate conditional application rather than circularity. The substantive concern raised by the skeptical reviewer concerns the validity of Lemma 3.12's pigeonhole claim; even if valid, that concern is about correctness of a proof step, not about circularity, because the claim is not equivalent to the theorem's input and the theorem is not assumed in proving it. Overall, no fitted parameter is renamed as a prediction, no uniqueness theorem is imported from the authors' prior work, and no central claim reduces to a self-citation chain. Hence the circularity score is 0.

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

The central proof uses no fitted parameters and postulates no new objects. It relies on standard entropy theory, on Alibabaei's variational principle for weighted topological entropy, and on several lemmas from Tsukamoto and Kenyon-Peres. The main unstated assumption is the treatment of one-sided non-invertible shifts within mean dimension theory.

assumptions (5)
  • domain assumption The mean dimension definitions are extended from homeomorphisms to the non-invertible one-sided shift without comment.
    Section 2.2 defines a TDS with T a homeomorphism, but the sponge system uses a one-sided shift. The proofs only use forward Bowen metrics, so the extension is plausible but unstated.
  • standard math Standard topological entropy variational principle and entropy limits for subshifts.
    Used to pass from combinatorial block counts to topological entropy in the metric mean dimension formula; cited to Walters [28].
  • standard math Alibabaei's variational principle for weighted topological entropy, equation (2.3).
    Used to relate mean Hausdorff dimension to measure-theoretic entropy; cited to Alibabaei [1, Theorem 1.2].
  • standard math External lemmas by Kenyon-Peres, Tsukamoto, and probability lemmas 3.5, 3.6, 3.7, 3.8.
    These are cited and used without proof in the mean Hausdorff dimension argument.
  • domain assumption The alphabet sizes satisfy 2 <= m_1 <= ... <= m_r and Omega is a closed shift-invariant subshift with at least two points.
    Section 1.2 fixes this setup; the formulas and the approximate cube estimates depend on it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Mean dimension theory for infinite dimensional Bedford-McMullen sponges." pith.science (2026). https://pith.science/paper/3VX77ANU

@misc{pith2026241202278,
  author       = {Pith},
  title        = {Pith review of: Mean dimension theory for infinite dimensional Bedford-McMullen sponges},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3VX77ANU}},
  note         = {Machine review of arXiv:2412.02278}
}
abstract

Tsukamoto (2022) introduced the notion of Bedford-McMullen carpet system, a subsystem of $([0,1]^{\mathbb{N}}\times[0,1]^{\mathbb{N}},shift)$ whose metric mean dimension and mean Hausdorff dimension does not coincide in general. The aim of this paper is to develop the mean dimension theory for Bedford-McMullen sponge system, which is a subsystem of $(([0,1]^r)^{\mathbb{N}},shift)$ with arbitrary $3\leq r\in\mathbb{N}$. In particular, we compute the metric mean dimension and mean Hausdorff dimension of such topological dynamical systems explicitly, extending the results by Tsukamoto. The metric mean dimension is a weighted combination of the standard topological entropy, whereas the mean Hausdorff dimension is expressed in terms of weighted topological entropy. We also exhibit a special situation for which the metric mean dimension and the mean Hausdorff dimension of a sponge system coincide.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Mean Assouad dimension and spectrum, with applications to infinite dimensional fractals

    math.DS 2026-01 conditional novelty 6.0 of 10

    Mean Assouad dimension and spectrum are defined as bi-Lipschitz invariants of dynamical systems; explicit formulas are derived for infinite-dimensional Bedford-McMullen carpets.

Reference graph

Works this paper leans on

30 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [1]

    Weighted topological pressure revisited

    Nima Alibabaei. Weighted topological pressure revisit ed. Ergodic Theory and Dynamical Systems . First view, DOI: https://doi.org/10.1017/etds.2024.35. arXiv:2307.16772

  2. [2]

    Improved dimension theory of sofic self-affine fractals

    Nima Alibabaei. Improved dimension theory of sofic self- affine fractals. Preprint, available at https://arxiv.org/abs/2408.06637, 2024

  3. [3]

    Hausdorff dimension of the limit set s of some planar geometric constructions

    Krzysztof Barański. Hausdorff dimension of the limit set s of some planar geometric constructions. Adv. Math., 210(1):215–245, 2007

  4. [4]

    Crinkly curves, Markov partitions and box dimensions in self-si milar sets

    Tim Bedford. Crinkly curves, Markov partitions and box dimensions in self-si milar sets . PhD thesis,

  5. [5]

    Topological entropy for noncompact sets

    Rufus Bowen. Topological entropy for noncompact sets. Trans. Amer. Math. Soc., 184:125–136, 1973

  6. [6]

    The Hausdorff and dynamical dimensions of self-affine sponges: a dimension gap result

    Tushar Das and David Simmons. The Hausdorff and dynamical dimensions of self-affine sponges: a dimension gap result. Invent. Math. , 210(1):85–134, 2017

  7. [7]

    Falconer

    Kenneth J. Falconer. Dimensions and measures of quasi se lf-similar sets. Proc. Amer. Math. Soc. , 106(2):543–554, 1989

  8. [8]

    Variational principle for wei ghted topological pressure

    De-Jun Feng and Wen Huang. Variational principle for wei ghted topological pressure. J. Math. Pures Appl. (9) , 106(3):411–452, 2016

Show all 30 references
  1. [9]

    Jonathan M. Fraser. Assouad type dimensions and homogen eity of fractals. Trans. Amer. Math. Soc., 366(12):6687–6733, 2014

  2. [10]

    Topological invariants of dynamical sys tems and spaces of holomorphic maps

    Misha Gromov. Topological invariants of dynamical sys tems and spaces of holomorphic maps. I. Math. Phys. Anal. Geom. , 2(4):323–415, 1999

  3. [11]

    A variational principle for wei ghted topological pressure under Zd- actions

    Qiang Huo and Rong Yuan. A variational principle for wei ghted topological pressure under Zd- actions. Ergodic Theory Dynam. Systems , 43(10):3311–3340, 2023

  4. [12]

    The rate-distortion d imension of sets and measures

    Tsutomu Kawabata and Amir Dembo. The rate-distortion d imension of sets and measures. IEEE Trans. Inform. Theory , 40(5):1564–1572, 1994

  5. [13]

    Kenyon and Yuval Peres

    Richard W. Kenyon and Yuval Peres. Hausdorff dimensions of sofic affine-invariant sets. Israel J. Math., 94:157–178, 1996

  6. [14]

    Kenyon and Yuval Peres

    Richard W. Kenyon and Yuval Peres. Measures of full dime nsion on affine-invariant sets. Ergodic Theory Dynam. Systems , 16(2):307–323, 1996

  7. [15]

    Lalley and Dimitrios Gatzouras

    Steven P. Lalley and Dimitrios Gatzouras. Hausdorff and box dimensions of certain self-affine fractals. Indiana Univ. Math. J. , 41(2):533–568, 1992

  8. [16]

    A relativised v ariational principle for continuous transfor- mations

    François Ledrappier and Peter Walters. A relativised v ariational principle for continuous transfor- mations. J. London Math. Soc. (2) , 16(3):568–576, 1977

  9. [17]

    Mean dimension, small entropy fac tors and an embedding theorem

    Elon Lindenstrauss. Mean dimension, small entropy fac tors and an embedding theorem. Inst. Hautes Études Sci. Publ. Math. , (89):227–262, 1999

  10. [18]

    From rate dis tortion theory to metric mean dimension: variational principle

    Elon Lindenstrauss and Masaki Tsukamoto. From rate dis tortion theory to metric mean dimension: variational principle. IEEE Trans. Inform. Theory , 64(5):3590–3609, 2018. 26

  11. [19]

    Double varia tional principle for mean dimension

    Elon Lindenstrauss and Masaki Tsukamoto. Double varia tional principle for mean dimension. Geom. Funct. Anal., 29(4):1048–1109, 2019

  12. [20]

    Mean topologic al dimension

    Elon Lindenstrauss and Benjamin Weiss. Mean topologic al dimension. Israel J. Math. , 115:1–24, 2000

  13. [21]

    John M. Mackay. Assouad dimension of self-affine carpets . Conform. Geom. Dyn. , 15:177–187, 2011

  14. [22]

    The Hausdorff dimension of general Sierp iński carpets

    Curt McMullen. The Hausdorff dimension of general Sierp iński carpets. Nagoya Math. J. , 96:1–9, 1984

  15. [23]

    Robinson

    James C. Robinson. Dimensions, embeddings, and attractors , volume 186 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2011

  16. [24]

    Weighted entr opy of a flow on non-compact sets

    Jinghua Shen, Leiye Xu, and Xiaomin Zhou. Weighted entr opy of a flow on non-compact sets. J. Dynam. Differential Equations , 32(1):181–203, 2020

  17. [25]

    Mean Hausdorff dimension of some infin ite dimensional fractals

    Masaki Tsukamoto. Mean Hausdorff dimension of some infin ite dimensional fractals. Preprint, avail- able at https://arxiv.org/abs/2209.00512, 2022

  18. [26]

    New approach to weighted topologica l entropy and pressure

    Masaki Tsukamoto. New approach to weighted topologica l entropy and pressure. Ergodic Theory Dynam. Systems , 43(3):1004–1034, 2023

  19. [27]

    Rate distortion theor y, metric mean dimension and measure theoretic entropy

    Anibal Velozo and Renato Velozo. Rate distortion theor y, metric mean dimension and measure theoretic entropy. Preprint, available at https://arxiv. org/abs/1707.05762, 2017

  20. [28]

    An introduction to ergodic theory , volume 79 of Graduate Texts in Mathematics

    Peter Walters. An introduction to ergodic theory , volume 79 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1982

  21. [29]

    Variational principles of relative weigh ted topological pressures

    Zhengyu Yin. Variational principles of relative weigh ted topological pressures. Preprint, available at https://arxiv.org/abs/2401.03679, 2024. 27

  22. [1984]

    University of Warwick

Pith tools

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