REVIEW 3 major objections 5 minor 38 references
Mean dimension and rate-distortion function revisited
T0 review · 3 major / 5 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read The paper proves that for every invariant measure on the Hilbert cube shift, the lower and upper mean Rényi information dimensions coincide with the corresponding information dimension rates, answering an open question from earlier work, an
desk verdict A real answer to an open question, wrapped in a broader unification that has one load-bearing gap: the non-ergodic extension of Wang's proposition is asserted, not proved. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the mean Rényi information dimension, MRID(X,T,d,μ)=liminf_{ε→0} (inf_{diam(α)≤ε} h_μ(T,α))/log(1/ε), compared with the information dimension rate defined through coordinate quantizer partitions α_m. The proof of Theorem 1.1 bridges the two through L^2 rate-distortion functions: known results identify the information dimension rate with the L^2 rate-distortion dimension, and a new inequality (Lemma 3.1) shows rdim_{L^p} ≤ MRID, while a covering argument yields the reverse bound. For Theorem 1.2, an empirical-measure ε-entropy serves as the bridge: the proof establishes an inequality chain from that entropy to the rate-distortion entropies and then to Kolmogorov–Sin
What would settle it
Compute the L∞ rate-distortion entropy lim_{ε→0} R_{μ,L∞}(ε) for a non-ergodic measure, say μ = (1/2)δ_{0^∞} + (1/2)L^Z on [0,1]^Z, and compare it with h_μ(σ). If they differ, Theorem 1.2(2) fails for non-ergodic measures. For Theorem 1.1, compute MRID for the same μ via optimal ε-partitions and compare with d(μ); a mismatch would disprove the claimed equality.
Extended reading notes
Core claim
The main result is Theorem 1.1: for every σ-invariant Borel probability measure μ on [0,1]^Z with the metric d_Z(x,y)=Σ_{n∈Z}|x_n−y_n|/2^{|n|}, the lower and upper mean Rényi information dimensions MRID and MRID equal the lower and upper information dimension rates d(μ) and d̄(μ). This was known for ergodic measures; the paper removes the ergodicity assumption. Theorem 1.2 introduces L^p, L^∞, Bowen, and r rate-distortion entropies and shows that for ergodic measures all equal h_μ(T), while under the g-almost product property this equality holds for every invariant measure. Theorem 1.3 states that if a system has the marker property and finite mean dimension, the double variational principle
Load-bearing premise
The proof of part (2) of Theorem 1.2 assumes, without adaptation, that an inequality previously proved for ergodic measures also holds for all invariant measures; if that extension is false, the claim that the new rate-distortion entropies equal Kolmogorov–Sinai entropy for non-ergodic measures loses its support.
Editorial extensions
If this is right
- For every invariant measure on the Hilbert cube shift, partition-based and quantizer-based notions of information dimension agree, so non-ergodic measures no longer require special treatment.
- The four new rate-distortion entropies give information-theoretic characterizations of Kolmogorov–Sinai entropy, meaning rate-distortion theory and classical entropy coincide in these settings.
- Under the marker property with finite mean dimension, the supremum in the double variational principle can always be restricted to ergodic measures, sharpening the previously known variational formulation.
- The equality extends to a wide menu of measure-theoretic ε-entropies, indicating that the choice of which ε-entropy one uses does not change the metric mean dimension for these systems.
- Systems with vanishing Kolmogorov–Sinai entropy, such as translations of compact groups, automatically have zero rate-distortion entropies of all four new types.
Reading between the lines
- The equality in Theorem 1.1 likely extends to shifts over arbitrary compact metric alphabets, since the proof only uses rate-distortion comparisons and the shift structure; this could be checked directly for product measures on X^Z.
- The same proof technique may yield a shorter route to the known ergodic case and clarify when the lower and upper versions coincide or differ.
- If the cited inequality for non-ergodic measures used in Theorem 1.2(2) is not reproved in that generality, the non-ergodic part of that theorem rests on an unverified extension; a counterexample would leave only the ergodic statement intact.
- The marker-property result suggests that the maximality of ergodic measures for metric mean dimension is a general phenomenon under finite mean dimension, rather than an exceptional one.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper revisits the connection between mean dimension and rate-distortion theory. Theorem 1.1 proves that for every invariant measure on the Hilbert cube shift ([0,1]^Z, σ, d_Z), the lower/upper mean Rényi information dimension equals the lower/upper information dimension rate, answering a question of Gutman and Śpiewak. Theorem 1.2 introduces L_p, L∞, Bowen, and r rate-distortion entropies and proves their coincidence with Kolmogorov–Sinai entropy, for all ergodic measures and, under the g-almost product property, for all invariant measures. Theorem 1.3 establishes, for systems with the marker property and finite mean dimension, a double variational principle in which the supremum is taken over ergodic measures, for a family E of measure-theoretic ε-entropies and for L_p rate-distortion functions. The final section discusses applications to lower Brin–Katok entropy and to exchanging limsup and supremum.
Significance. If correct, the paper resolves a known open problem and gives a systematic comparison of rate-distortion entropies with classical entropy, together with an ergodic version of the double variational principle. The proof of Theorem 1.1 is mostly self-contained modulo standard external results and is clearly presented, as is the combinatorial comparison between Bowen and mean metrics in Theorem 1.2. However, the non-ergodic part of Theorem 1.2(2) relies on an unproved extension of a result of T. Wang, and Theorem 1.3 depends heavily on Lemma 2.3(3) imported from the author's previous work, so the incremental contribution is partly based on black-boxed ingredients.
major comments (3)
- [§3.2, Step 1 (just after Eq. (3.8))] The proof of Theorem 1.2(2) for non-ergodic measures hinges on applying [W21, Proposition 4.2] to every invariant measure. Footnote 4 states that the proposition is proved for ergodic measures but 'the proof applies to invariant measures,' without giving the adaptation. This is load-bearing: inequality (3.7) is the only lower bound relating Pfister–Sullivan ε-entropy to the L_p rate-distortion entropy, and Lemma 3.4(2) supplies the matching upper bound only under the g-almost product property. If the asserted extension fails, the equalities in Theorem 1.2(2) are unsupported for non-ergodic μ. Please provide a full proof of the extension or explicitly restrict the statement to ergodic measures.
- [§2.3, Lemma 2.3(3)] Lemma 2.3(3), quoted from the author's own [YCZ25], is used as a black box at decisive points: Lemma 3.7(1), Theorem 1.3 Step 1, and Theorem 1.3 Step 2. It contains exactly the candidate-independence and variational-principle statements that the paper claims to revisit. Because of this dependence, the manuscript should either reproduce a proof, give precise theorem numbers and hypotheses from [YCZ25], or state clearly that Theorem 1.3 is a corollary of [YCZ25, Theorems 1.1–1.3] plus the ergodic-restriction argument. As written, the novelty boundary between this paper and [YCZ25] is difficult to assess.
- [§3.3, Step 1 of Theorem 1.3] The proof of Step 1 is written for h_μ(T,ε) ∈ E, but the theorem claims the inequality for h_μ(T,ε) ∈ E ∪ {R_{μ,L_p}}. The inclusion of R_{μ,L_p} is not justified in Step 1; it appears only in Step 2 via a brief '≤' remark. The missing argument is the elementary inequality R_{μ,L_1}(ε) ≤ R_{μ,L_p}(ε) for p ≥ 1, which would give sup_E rdim_{L1}(d) ≤ sup_E rdim_{Lp}(d). Please add this explicitly or adjust the theorem statement accordingly.
minor comments (5)
- [§1, Introduction] Typo: 'four types pf rate-distortion entropies' should be 'four types of rate-distortion entropies'.
- [§3.2] The same symbol d_n is used for the Bowen metric and the mean metric. Using \bar d_n consistently for the mean metric would remove ambiguity in the proof of (3.8).
- [§3.2, Step 2] The displayed equality lim_{r→0} h_{μ,r}(T) = sup_{r>0} sup_{ε>0} R_{μ,r}(ε) = lim_{ε→0} lim_{r→0} R_{μ,r}(ε) involves an interchange of limits that should be justified by the monotonicity of R_{μ,r}(ε) in ε and r, since it is not immediate.
- [§2.3, Lemma 2.3(3)] The reference to [YCZ25] should name the specific theorems (e.g., Theorems 1.1–1.3) in the bibliography entry, since Lemma 2.3(3) packages several substantial statements whose exact hypotheses matter for the present paper.
- [§3.4, Theorem 3.9] Typo: 'there exists exists ε_0' should be 'there exists ε_0'.
Circularity Check
No significant circularity; central derivations are independent, with a minor self-citation and a non-circular proof gap in an external-citation extension.
full rationale
I walked the three proofs. Theorem 1.1 is not circular: after (3.1) identifies d(μ) and d̄(μ) with the L2 rate-distortion dimensions via Geiger–Koch and [GS20, Prop. C-B.1], Lemma 3.1 gives d ≤ MRID and the partition argument (3.6) gives MRID ≤ d; both inequalities are proven from the definitions rather than assumed. Theorem 1.2 is a chain of inequalities among independently defined rate-distortion entropies and Kolmogorov–Sinai entropy; no parameter is fitted and no quantity is defined as the target. The only questionable point is Section 3.2, Step 1, footnote 4 after (3.8): 'Although the statement is given for ergodic measures, the proof applies to invariant measures.' This extends [W21, Prop. 4.2] to all invariant measures without showing the adaptation; that is an omitted-proof/correctness risk, not a circular step, and Theorem 1.1 is unaffected. Theorem 1.3 uses Lemma 2.3(3), cited to the author's [YCZ25]; this is a published parameter-free theorem whose assumptions do not include Theorem 1.3, and Theorem 1.3 adds the min-over-metrics/marker-property conclusion and the R_{μ,Lp} candidate. The central claims do not reduce to their inputs by construction, so the score is low.
Assumptions & free parameters
assumptions (5)
- standard math Ergodic decomposition and the local entropy integral formula h_μ(T,U)=∫h_m(T,U)dτ(m)
- domain assumption [YCZ25, Theorems 1.1-1.3]: for ergodic μ, limsup h_μ(T,ε)/log(1/ε) is independent of h∈E and satisfies the metric mean dimension variational principle
- ad hoc to paper [W21, Proposition 4.2] holds for all invariant measures (asserted extension of an ergodic-measure result)
- standard math For every invariant μ, lim_{ε→0} inf_{diam α≤ε} h_μ(T,α) = h_μ(T)
- domain assumption Marker property implies existence of d∈D'(X) with mdim_M(T,X,d)=mdim(T,X) ([LT19])
Cite this review
Pith. "Pith review of Mean dimension and rate-distortion function revisited." pith.science (2026). https://pith.science/paper/CDVSX7AK
@misc{pith2026251008051,
author = {Pith},
title = {Pith review of: Mean dimension and rate-distortion function revisited},
year = {2026},
howpublished = {\url{https://pith.science/paper/CDVSX7AK}},
note = {Machine review of arXiv:2510.08051}
}
abstract
Around the mean dimensions and rate-distortion functions, using some tools from local entropy theory this paper establishes the following main results: $(1)$ We prove that for non-ergodic measures associated with almost sure processes, the mean R\'enyi information dimension coincides with the information dimension rate. This answers a question posed by Gutman and \'Spiewak (in Around the variational principle for metric mean dimension, \emph{Studia Math.} \textbf{261}(2021) 345-360). $(2)$ We introduce four types of rate-distortion entropies and establish their relation with Kolmogorov-Sinai entropy. $(3)$ We show that for systems with the marker property, if the mean dimension is finite, then the supremum in Lindenstrauss-Tsukamoto's double variational principle can be taken over the set of ergodic measures. Additionally, the double variational principle holds for various other measure-theoretic $\epsilon$-entropies.
Reference graph
Works this paper leans on
-
[1]
Adler, A
R. Adler, A. Konheim and M. McAndrew, Topological entropy, Trans. Amer. Math. Soc. 114 (1965), 309-319
1965
-
[2]
Brin and A
M. Brin and A. Katok, On local entropy , Geometric dynamics (Rio de Janeiro), Lecture Notes in Mathematics, Springer, Berlin 1007 (1983), 30-38
1983
-
[3]
Carvalho, G
M. Carvalho, G. Pessil and P. Varandas, A convex analysis approach to the metric mean dimension: limits of scaled pressures and variational principles , Adv. Math. 436 (2024), Paper No. 109407, 54 pp
2024
-
[4]
T. M. Cover and J. A. Thomas, Elements of information theory, second edition, Wiley, New York, 2006
2006
-
[5]
Denker, C
M. Denker, C. Grillenberger and K. Sigmund, Ergodic theory on compact spaces , Springer-Verlag, Berlin-New York, 1976
1976
-
[6]
Geiger and T
B. Geiger and T. Koch, On the information dimension rate of stochastic processes, IEEE International Symposium on Information Theory (ISIT). IEEE, 2017: 888-892
2017
-
[7]
Geiger and T
B. Geiger and T. Koch, On the information dimension of stochastic processes, IEEE Trans. Inform. Theory 65 (2019), 6496-6518
2019
-
[8]
Gray, Entropy and information theory, Springer, New York, Second edition, 2011
R. Gray, Entropy and information theory, Springer, New York, Second edition, 2011
2011
Show all 38 references
-
[9]
Gromov, Topological invariants of dynamical systems and spaces of holomorphic maps: I, Math
M. Gromov, Topological invariants of dynamical systems and spaces of holomorphic maps: I, Math. Phys, Anal. Geom. 4 (1999), 323-415
1999
-
[10]
Gutman, Mean dimension and Jaworski-type theorems, Proc
Y. Gutman, Mean dimension and Jaworski-type theorems, Proc. Lond. Math. Soc. 111 (2015), 831-850
2015
-
[11]
Gutman, Embedding topological dynamical systems with periodic points in cubical shifts, Ergodic Theory Dynam
Y. Gutman, Embedding topological dynamical systems with periodic points in cubical shifts, Ergodic Theory Dynam. Syst. 37 (2017), 512-538
2017
-
[12]
Gutman, E
Y. Gutman, E. Lindenstrauss and M. Tsukamoto, Mean dimension of Z ^ k actions, Geom. Funct. Anal. 26 (2016), 778-817
2016
-
[13]
Gutman and A
Y. Gutman and A. \'Spiewak, Metric mean dimension and analog compression, IEEE Trans. Inform. Theory 66 (2020), 6977-6998
2020
-
[14]
Gutman and A
Y. Gutman and A. \'Spiewak, Around the variational principle for metric mean dimension, Studia Math. 261 (2021), 345-360
2021
-
[15]
Gutman and M
Y. Gutman and M. Tsukamoto, Embedding minimal dynamical systems into Hilbert cubes, Invent. Math. 221 (2020), 113-166
2020
-
[16]
Huang, X
W. Huang, X. Ye and G. Zhang, Local entropy theory for a countable discrete amenable group action, J. Funct. Anal. 261 (2011), 1028-1082
2011
-
[17]
Katok, Lyapunov exponents, entropy and periodic orbits for diffeomorphisms, Publ
A. Katok, Lyapunov exponents, entropy and periodic orbits for diffeomorphisms, Publ. Math. Inst. Hautes \'Etudes Sci. 51 (1980), 137-173
1980
-
[18]
Kolmogorov, A new metric invariant of transient dynamical systems and automorphisms of Lebesgue spaces, Dokl
A. Kolmogorov, A new metric invariant of transient dynamical systems and automorphisms of Lebesgue spaces, Dokl. Akad. Sci. SSSR 119 (1958), 861-864
1958
-
[19]
Lacerda and S
G. Lacerda and S. Romana, Typical conservative homeomorphisms have total metric mean dimension, IEEE Trans. Inform. Theory 70 (2024), 7664-7672
2024
-
[20]
Lindenstrauss, Mean dimension, small entropy factors and an embedding theorem, Publ
E. Lindenstrauss, Mean dimension, small entropy factors and an embedding theorem, Publ. Math. Inst. Hautes \'Etudes Sci. 89 (1999), 227-262
1999
-
[21]
Lindenstrauss and M
E. Lindenstrauss and M. Tsukamoto, From rate distortion theory to metric mean dimension: variational principle, IEEE Trans. Inform. Theory 64 (2018), 3590-3609
2018
-
[22]
Lindenstrauss and M
E. Lindenstrauss and M. Tsukamoto, Double variational principle for mean dimension, Geom. Funct. Anal. 29 (2019), 1048-1109
2019
-
[23]
Lindenstrauss and B
E. Lindenstrauss and B. Weiss, Mean topological dimension, Israel J. Math. 115 (2000), 1-24
2000
-
[24]
Pfister and W
C. Pfister and W. Sullivan, Large deviations estimates for dynamical systems without the specification property. Applications to the -shifts, Nonlinearity 18 (2005), 237-261
2005
-
[25]
Pfister and W
C. Pfister and W. Sullivan, On the topological entropy of saturated sets, Ergodic Theory Dynam. Syst. 27 (2007), 929-956
2007
-
[26]
Pontrjagin and L
L. Pontrjagin and L. Schnirelmann, Sur une propriété métrique de la dimension (in French), Ann. of Math. 33 (1932), 156-162
1932
-
[27]
Y. Ren, L. He, J. L\" u and G. Zheng, Topological r-entropy and measure-theoretic r-entropy of a continuous map, Sci. China Math. 54 (2011), 1197-1205
2011
-
[28]
Shapira, Measure theoretical entropy of covers , Israel J
U. Shapira, Measure theoretical entropy of covers , Israel J. Math. 158 (2007), 225-247
2007
-
[29]
Shi, On variational principles for metric mean dimension, IEEE Trans
R. Shi, On variational principles for metric mean dimension, IEEE Trans. Inform. Theory 68 (2022), 4282-4288
2022
-
[30]
Shi, Finite mean dimension and marker property, Trans
R. Shi, Finite mean dimension and marker property, Trans. Amer. Math. Soc. 376 (2023), 6123-6139
2023
-
[31]
Sinai, On the concept of entropy for a dynamical system, Dokl
Y. Sinai, On the concept of entropy for a dynamical system, Dokl. Akad. Nauk SSSR 124 (1959), 768-771
1959
-
[32]
Tsukamoto, M
M. Tsukamoto, M. Tsutaya and M. Yoshinaga, G -index, topological dynamics and the marker property, Israel J. Math. 252 (2022), 737-764
2022
-
[33]
Velozo and R
A. Velozo and R. Velozo,Rate distortion theory, metric mean dimension and measure theoretic entropy, arXiv:1707.05762
-
[34]
Walters, An introduction to ergodic theory, Springer-Verlag, New York, 1982
P. Walters, An introduction to ergodic theory, Springer-Verlag, New York, 1982
1982
-
[35]
Wang, Variational relations for metric mean dimension and rate distortion dimension, Discrete Contin
T. Wang, Variational relations for metric mean dimension and rate distortion dimension, Discrete Contin. Dyn. Syst. 27 (2021), 4593-4608
2021
-
[36]
R. Yang, E. Chen and X. Zhou, Some notes on variational principle for metric mean dimension , IEEE Trans. Inform. Theory 69 (2023), 2796-2800
2023
-
[37]
R. Yang, E. Chen and X. Zhou, Measure-theoretic metric mean dimension, Studia Math. 40 (2025), 1-25
2025
-
[38]
Yang and X
R. Yang and X. Zhou, Metric mean dimension and the variational principle for actions of amenable groups, preprint
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.