Abundance of minimal measures via entropy and multifractal analysis
Pith reviewed 2026-06-30 08:42 UTC · model grok-4.3
The pith
Minimal measures with any prescribed entropy and potential integral are dense among invariant measures for expanding maps, countable Markov shifts, and non-uniform symbolic systems.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The conditional minimal-intermediate-entropy property holds for topologically expanding maps (including topologically Anosov systems), transitive countable Markov shifts, and symbolic systems with non-uniform structure: for any admissible entropy h and potential integral a, the ergodic minimal measures satisfying h_μ(f)=h and ∫φ dμ=a are dense in the set of all invariant measures satisfying the same two conditions. The argument proceeds by a constructive multi-horseshoe technique modified to accommodate non-compactness and non-uniformity.
What carries the argument
The conditional minimal-intermediate-entropy property, which encodes the density of minimal measures with prescribed entropy and potential integral inside the corresponding set of invariant measures.
If this is right
- Every admissible entropy-potential pair realized by some invariant measure in these systems is also realized by a minimal measure.
- The set of minimal measures is dense in the space of invariant measures when restricted to level sets of entropy and potential integral.
- Multifractal spectra computed from invariant measures can be recovered using only minimal measures in the three classes.
- Minimal sets exist with any entropy value that the system permits.
Where Pith is reading between the lines
- The same density may hold for other classes once a suitable horseshoe construction is found.
- One could ask whether the minimal measures also realize the same local dimensions or Lyapunov exponents as the general measures at the same (h,a) level.
- The result supplies a supply of minimal supports for constructing measures with prescribed multifractal properties.
Load-bearing premise
The multi-horseshoe construction can be modified to produce minimal measures while preserving density under non-compactness and non-uniformity.
What would settle it
An explicit topologically expanding map (or transitive countable Markov shift) together with concrete numbers h and a such that an invariant measure achieves them but no minimal measure does.
read the original abstract
This paper investigates the distribution and abundance of minimal measures (measures supported on minimal sets) in various dynamical systems, extending the well-known density results for general ergodic measures. We introduce the conditional minimal-intermediate-entropy property, which asserts that for any given entropy $h$ and potential integral $a$, the set of ergodic minimal measures satisfying $h_\mu(f)=h$ and $\int \varphi d\mu = a$ is dense in the set of invariant measures satisfying these conditions. We establish that the conditional minimal-intermediate-entropy property holds for three broad classes of systems: topologically expanding maps (including topologically Anosov systems), transitive countable Markov shifts, and symbolic systems with non-uniform structure. Our proofs rely on a constructive multi-horseshoe technique adapted to handle challenges of non-compactness and non-uniformity.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to establish the conditional minimal-intermediate-entropy property, asserting that for any entropy h and potential integral a, the ergodic minimal measures satisfying these values are dense among all invariant measures with the same h and a. This is shown for three classes: topologically expanding maps (including topologically Anosov), transitive countable Markov shifts, and symbolic systems with non-uniform structure, via a constructive multi-horseshoe technique adapted to non-compactness and non-uniformity.
Significance. If verified, the result would extend classical density theorems for ergodic measures to the subclass of minimal measures under entropy and potential constraints, providing new information on the abundance and distribution of minimal sets in these systems. The constructive multi-horseshoe approach, if it successfully handles the stated adaptations, would be a methodological strength.
major comments (1)
- [Proof for transitive countable Markov shifts] Proof for transitive countable Markov shifts: the adaptation of the multi-horseshoe construction to non-compact spaces must supply uniform tail estimates (e.g., control on return times or the potential outside large compact sets) to ensure that approximating minimal measures do not lose mass at infinity when targeting invariant measures with positive mass far out in the shift space. The abstract states that the technique is adapted, but without explicit verification of such estimates the density claim for this class remains load-bearing and unconfirmed.
minor comments (1)
- The abstract would be clearer if it briefly indicated the specific technical devices used to control mass escape in the countable Markov shift case.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for identifying this important point regarding the countable Markov shifts case. We address the comment below.
read point-by-point responses
-
Referee: Proof for transitive countable Markov shifts: the adaptation of the multi-horseshoe construction to non-compact spaces must supply uniform tail estimates (e.g., control on return times or the potential outside large compact sets) to ensure that approximating minimal measures do not lose mass at infinity when targeting invariant measures with positive mass far out in the shift space. The abstract states that the technique is adapted, but without explicit verification of such estimates the density claim for this class remains load-bearing and unconfirmed.
Authors: We agree that uniform tail estimates are essential in the non-compact setting to control mass at infinity. In the proof for transitive countable Markov shifts, the multi-horseshoe construction is carried out inside sufficiently large finite subshifts chosen so that the entropy and potential conditions force the approximating measures to concentrate on these sets; transitivity supplies the necessary control on return times and the potential outside compact sets. Nevertheless, we accept that these estimates would benefit from a more explicit and self-contained presentation. In the revised version we will insert a dedicated paragraph (or short subsection) that isolates and verifies the tail bounds, showing directly that the constructed minimal measures inherit the target mass distribution without escape to infinity. revision: yes
Circularity Check
No circularity: direct constructive adaptation of multi-horseshoe technique
full rationale
The paper presents the conditional minimal-intermediate-entropy property as established via an explicit constructive multi-horseshoe technique adapted for non-compactness and non-uniformity in the three classes of systems. No equations or steps reduce by definition to their own inputs, no fitted parameters are relabeled as predictions, and no load-bearing claims rest on self-citations. The derivation is self-contained as a direct construction extending known density results for ergodic measures, with the adaptation itself supplying the new content.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Topologically expanding maps, transitive countable Markov shifts, and symbolic systems with non-uniform structure admit the required multi-horseshoe constructions for density of minimal measures.
Reference graph
Works this paper leans on
-
[1]
Sigmund, K.: On dynamical systems with the specification property. Trans. Amer. Math. Soc. 190, 285–299 (1974)https://doi.org/10.2307/1996963
-
[2]
Gelfert, K., Kwietniak, D.: On density of ergodic measures and generic points. Ergodic Theory Dynam. Systems38(5), 1745–1767 (2018)https://doi.org/10.1017/etds.2016.97
-
[3]
Eizenberg, A., Kifer, Y., Weiss, B.: Large deviations forZ d-actions. Comm. Math. Phys. 164(3), 433–454 (1994)
1994
-
[4]
Pfister, C.-E., Sullivan, W.G.: Large deviations estimates for dynamical systems without the specification property. Applications to theβ-shifts. Nonlinearity18(1), 237–261 (2005) https://doi.org/10.1088/0951-7715/18/1/013
- [5]
-
[6]
Boshernitzan, M.: A unique ergodicity of minimal symbolic flows with linear block growth. J. Analyse Math.44, 77–96 (1984/85)https://doi.org/10.1007/BF02790191
-
[7]
Cyr, V., Kra, B.: Counting generic measures for a subshift of linear growth. J. Eur. Math. Soc. (JEMS)21(2), 355–380 (2019)https://doi.org/10.4171/JEMS/838
-
[8]
Grillenberger, C.: Constructions of strictly ergodic systems. I. Given entropy. Z. Wahrschein- lichkeitstheorie und Verw. Gebiete25, 323–334 (1972/73)https://doi.org/10.1007/ BF00537161
1972
-
[9]
Ergodic Theory Dynam
Li, J., Oprocha, P.: Properties of invariant measures in dynamical systems with the shadowing property. Ergodic Theory Dynam. Systems38(6), 2257–2294 (2018)https://doi.org/10. 1017/etds.2016.125
2018
-
[10]
Dong, Y., Tian, X.: Different statistical future of dynamical orbits over expanding or hyper- bolic systems (ii): Nonempty syndetic center (2018) arXiv:1803.06796 [math.DS]
work page internal anchor Pith review Pith/arXiv arXiv 2018
- [11]
- [12]
-
[13]
Climenhaga, V., Thompson, D.J., Yamamoto, K.: Large deviations for systems with non- uniform structure. Trans. Amer. Math. Soc.369(6), 4167–4192 (2017)https://doi.org/10. 1090/tran/6786
2017
-
[14]
Katok, A.: Lyapunov exponents, entropy and periodic orbits for diffeomorphisms. Inst. Hautes ´Etudes Sci. Publ. Math. (51), 137–173 (1980)
1980
-
[15]
North-Holland Mathematical Library, vol
Aoki, N., Hiraide, K.: Topological Theory of Dynamical Systems. North-Holland Mathematical Library, vol. 52, p. 416. North-Holland Publishing Co., Amsterdam (1994). Recent advances
1994
-
[16]
Gureviˇ c, B.M.: Shift entropy and Markov measures in the space of paths of a countable graph. Dokl. Akad. Nauk SSSR192, 963–965 (1970) 46
1970
-
[17]
Barreira, L., Saussol, B.: Variational principles and mixed multifractal spectra. Trans. Amer. Math. Soc.353(10), 3919–3944 (2001)https://doi.org/10.1090/S0002-9947-01-02844-6
-
[18]
Takens, F., Verbitskiy, E.: On the variational principle for the topological entropy of certain non-compact sets. Ergodic Theory Dynam. Systems23(1), 317–348 (2003)https://doi.org/ 10.1017/S0143385702000913
-
[19]
Pfister, C.-E., Sullivan, W.G.: On the topological entropy of saturated sets. Ergodic Theory Dynam. Systems27(3), 929–956 (2007)https://doi.org/10.1017/S0143385706000824
-
[20]
En- cyclopedia of Mathematics and its Applications, vol
Katok, A., Hasselblatt, B.: Introduction to the Modern Theory of Dynamical Systems. En- cyclopedia of Mathematics and its Applications, vol. 54, p. 802. Cambridge University Press, Cambridge (1995).https://doi.org/10.1017/CBO9780511809187. With a supplementary chapter by Katok and Leonardo Mendoza
-
[21]
In: The Structure of Attractors in Dynamical Systems (Proc
Walters, P.: On the pseudo-orbit tracing property and its relationship to stability. In: The Structure of Attractors in Dynamical Systems (Proc. Conf., North Dakota State Univ., Fargo, N.D., 1977). Lecture Notes in Math., vol. 668, pp. 231–244. Springer, Berlin-New York (1978)
1977
-
[22]
Iommi, G., Jordan, T.: Multifractal analysis of Birkhoff averages for countable Markov maps. Ergodic Theory Dynam. Systems35(8), 2559–2586 (2015)https://doi.org/10.1017/etds. 2015.44
-
[23]
Pollicott, M., Weiss, H.: Multifractal analysis of Lyapunov exponent for continued fraction and Manneville-Pomeau transformations and applications to Diophantine approximation. Comm. Math. Phys.207(1), 145–171 (1999)https://doi.org/10.1007/s002200050722
-
[24]
Iommi, G., Todd, M., Velozo, A.: Escape of entropy for countable Markov shifts. Adv. Math. 405, 108507–54 (2022)https://doi.org/10.1016/j.aim.2022.108507
-
[25]
Takahasi, H.: Entropy-approachability for transitive Markov shifts over infinite alphabet. Proc. Amer. Math. Soc.148(9), 3847–3857 (2020)https://doi.org/10.1090/proc/14637
-
[26]
Villani, C.: Optimal Transport. Grundlehren der mathematischen Wissenschaften [Fun- damental Principles of Mathematical Sciences], vol. 338, p. 973. Springer, Berlin (2009). https://doi.org/10.1007/978-3-540-71050-9. Old and new
-
[27]
Bowen, R.: Topological entropy for noncompact sets. Trans. Amer. Math. Soc.184, 125–136 (1973)https://doi.org/10.2307/1996403
-
[28]
In: Global Analysis (Proc
Bowen, R.: Topological entropy and axiom A. In: Global Analysis (Proc. Sympos. Pure Math., Vols. XIV, XV, XVI, Berkeley, Calif., 1968). Proc. Sympos. Pure Math., vol. XIV-XVI, pp. 23–41. Amer. Math. Soc., Providence, R.I. (1970)
1968
-
[29]
Graduate Texts in Mathematics, vol
Walters, P.: An Introduction to Ergodic Theory. Graduate Texts in Mathematics, vol. 79, p
-
[30]
Springer, New York-Berlin (1982)
1982
-
[31]
Cambridge Studies in Advanced Mathematics, vol
Viana, M., Oliveira, K.: Foundations of Ergodic Theory. Cambridge Studies in Advanced Mathematics, vol. 151, p. 530. Cambridge University Press, Cambridge (2016).https://doi. org/10.1017/CBO9781316422601
-
[32]
Lecture Notes in Mathematics, vol
Denker, M., Grillenberger, C., Sigmund, K.: Ergodic Theory on Compact Spaces. Lecture Notes in Mathematics, vol. Vol. 527, p. 360. Springer, Berlin-New York (1976) 47
1976
-
[33]
Kwietniak, D., L¸ acka, M., Oprocha, P.: A panorama of specification-like properties and their consequences. In: Dynamics and Numbers. Contemp. Math., vol. 669, pp. 155–186. Amer. Math. Soc., Providence, RI (2016).https://doi.org/10.1090/conm/669/13428
- [34]
-
[35]
Topology Appl.158(16), 2232–2239 (2011)https://doi.org/10.1016/j.topol
Moothathu, T.K.S.: Implications of pseudo-orbit tracing property for continuous maps on compacta. Topology Appl.158(16), 2232–2239 (2011)https://doi.org/10.1016/j.topol. 2011.07.016
-
[36]
Sun, W., Tian, X.: Dominated splitting and Pesin’s entropy formula. Discrete Contin. Dyn. Syst.32(4), 1421–1434 (2012)https://doi.org/10.3934/dcds.2012.32.1421
-
[37]
Kitchens, B.P.: Symbolic Dynamics. Universitext, p. 252. Springer, Berlin (1998).https: //doi.org/10.1007/978-3-642-58822-8. One-sided, two-sided and countable state Markov shifts
-
[38]
Bogachev, V.I.: Measure Theory. Vol. I, II, pp. 500–575. Springer, Berlin (2007).https: //doi.org/10.1007/978-3-540-34514-5
-
[39]
Handel, M., Kitchens, B.: Metrics and entropy for non-compact spaces. Israel J. Math.91(1- 3), 253–271 (1995)https://doi.org/10.1007/BF02761650. With an appendix by Daniel J. Rudolph
-
[40]
Gureviˇ c, B.M.: Topological entropy of a countable Markov chain. Dokl. Akad. Nauk SSSR 187, 715–718 (1969)
1969
-
[41]
Sarig, O.M.: Thermodynamic formalism for countable Markov shifts. Ergodic Theory Dynam. Systems19(6), 1565–1593 (1999)https://doi.org/10.1017/S0143385799146820
-
[42]
Nonlinearity33(10), 5355–5382 (2020)https://doi.org/10.1088/1361-6544/ab949a
P´ erez Pereira, F.: Dimension of Gibbs measures with infinite entropy. Nonlinearity33(10), 5355–5382 (2020)https://doi.org/10.1088/1361-6544/ab949a
-
[43]
Zhao, C., Chen, E.: On the topological pressure of the saturated set with non-uniform struc- ture. Topol. Methods Nonlinear Anal.51(1), 313–329 (2018)https://doi.org/10.12775/ tmna.2017.048
2018
-
[44]
Avila, A., Crovisier, S., Wilkinson, A.:C 1 density of stable ergodicity. Adv. Math.379, 107496–68 (2021)https://doi.org/10.1016/j.aim.2020.107496
-
[45]
Tian, X.: Different asymptotic behavior versus same dynamical complexity: recurrence & (ir)regularity. Adv. Math.288, 464–526 (2016)https://doi.org/10.1016/j.aim.2015.11. 006 48
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.