Pith. sign in

REVIEW 3 major objections 4 minor 30 references

Unique ergodicity for zero-entropy dynamical systems with the approximate product property

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read This paper proves that, for topological dynamical systems with the approximate product property, zero topological entropy is equivalent to unique ergodicity.

desk verdict A clean and useful dichotomy for approximate-product systems, but the main theorem leans on Proposition 2.3, which is not proved here; worth refereeing if the dependency gets resolved. read the letter →

arxiv 1908.01149 v3 pith:IA5EAPMP submitted 2019-08-03 math.DS

Peng Sun This is my paper · ORCID
classification math.DS MSC 37B0537B4037C4037C5037E05
keywords approximateproductpropertyuniqueergodicitytopologicalentropyergodicmeasureminimalityspecificationgluingorbitintervalmap
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 that for any compact metric topological dynamical system with the approximate product property — a weak specification-like condition that allows orbits to approximate arbitrary sequences of orbit segments with small gaps and occasional mistakes — zero topological entropy is equivalent to unique ergodicity. The result resolves Parry's long-standing question within this class, and it completes a dichotomy: with the approximate product property, the sign of the topological entropy determines whether the space of invariant measures is a single point or a Poulsen simplex. A slightly stronger condition, the strict approximate product property, is shown to make minimality equivalent as well. The proofs manage the variable gaps in the definition, which the author identifies as the main technical obstacle.

What carries the argument

The object that carries the argument is the approximate product property (Definition 2.2): for every δ1,δ2,ε>0 there is M such that for every n>M, any sequence of orbit segments can be approximated by a single point's orbit, with gaps of size at most 1+δ1n and with the approximating orbit matching each segment except on a δ2-fraction of its ticks. The second pillar is Proposition 2.3, imported from the author's preceding preprint [27]: every invariant measure μ is weak-* approximated by some compact invariant set Λ whose invariant measures all lie in an η-neighbourhood of μ and whose topological entropy at every scale ε is smaller than any prescribed β. The proof of Theorem 1.2 uses these together: the sufficiency direction turns the mutual separation of four such Λ's into an explicit lower entropy bound via the tracing of binary sequences, while the necessity direction employs the same proposition to force either disjoint invariant sets or a zero-entropy intersection, in either case breaking unique ergodicity. The variable gaps of the approximate product property are handled by a careful alignment lemma (Lemma 3.1) that compares two tracings even when their segment boundaries do not coincide.

What would settle it

A direct check would be to search for a compact metric system with the approximate product property that is uniquely ergodic while having positive topological entropy, or one with zero entropy and two ergodic measures; either would disprove Theorem 1.2. Short of that, one could try to exhibit an invariant measure for a non-asymptotically-entropy-expansive APP system for which Proposition 2.3 fails, since the theorem's proof depends entirely on that proposition.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 1.2: for a topological dynamical system (X,f) with the approximate product property, (X,f) is uniquely ergodic if and only if h(f)=0. The sufficiency direction starts from two distinct ergodic measures, uses Proposition 2.3 to build four pairwise disjoint compact invariant sets whose invariant measures stay close to each original measure, and then codes binary sequences by tracing through pairs of these sets. Because the four sets are separated by a fixed distance γ, the tracing property produces 2^n points that are pairwise (1+δ)nm, γ-separated at every length, giving h(f) ≥ ln 2/((1+δ)m) > 0. The necessity direction shows that if h(f)>0, then either the scale-entropy compacta from Proposition 2.3 eventually separate and support distinct ergodic measures, or their intersection is a zero-entropy invariant set while the system also carries a positive-entropy ergodic measure; either way, multiple invariant measures exist. The paper further proves an analogous trichotomy under the strict approximate product property and, for systems with periodic points, that unique ergodicity plus a periodic point implies the approximate product property and zero entropy.

Load-bearing premise

The central theorem rests on Proposition 2.3, imported from the author's earlier unpublished work: every invariant measure can be weak-* approximated by a compact invariant set of arbitrarily small entropy at every scale, a statement the paper does not prove here. If that proposition fails without asymptotic entropy expansiveness, the proof of Theorem 1.2 collapses.

Editorial extensions

If this is right

  • For every system with the approximate product property, unique ergodicity is now characterized by zero topological entropy; asymptotic entropy expansiveness is not needed.
  • The structural dichotomy becomes: h(f)=0 if and only if the space of invariant measures is a singleton, and h(f)>0 if and only if it is a Poulsen simplex.
  • Under the strict approximate product property, minimality, unique ergodicity, and zero topological entropy are equivalent; the zero-entropy but non-minimal examples must fail the strict property.
  • If the system has a periodic point, the approximate product property plus zero entropy holds exactly when the periodic measure is the unique invariant measure.
  • For continuous interval maps, the approximate product property with zero entropy is equivalent to having a unique attracting fixed point.

Reading between the lines

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

  • The explicit entropy estimate h(f) ≥ ln 2/((1+δ)m) produced by the binary-coding argument gives a constructive way to certify positive entropy in non-uniquely-ergodic APP systems directly from the tracing constants, without searching for separated sets.
  • The proof's reliance on Proposition 2.3 suggests that the sharpest test of the theorem lies in verifying that proposition for APP systems that are not asymptotically entropy expansive; such a verification would also clarify how much of the mechanism survives if the proposition is weakened.
  • The distinction between the approximate product property and its strict version appears to be exactly what separates non-minimal zero-entropy behavior from minimality; one could explore whether a similar strict/weak distinction governs minimality for other specification-like properties.
  • For interval maps, the classification implies a practical criterion: if a continuous interval map has a unique attracting fixed point, it automatically satisfies the approximate product property; this could be used to generate new examples of APP systems in one dimension.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper proves Theorem 1.2: for a topological dynamical system with the approximate product property (APP), unique ergodicity is equivalent to zero topological entropy. The proof of sufficiency (§3.1) starts from two distinct ergodic measures, builds four pairwise disjoint compact invariant sets, and then uses the APP tracing property to construct exponentially many separated orbits, forcing positive entropy. The proof of necessity (§3.2) uses Proposition 2.3 to produce invariant sets with arbitrarily small scale entropy whose intersection carries a zero-entropy ergodic measure, while positive entropy supplies a positive-entropy measure. The paper also proves Theorem 1.3 (strict APP: minimality, unique ergodicity, and zero entropy are equivalent), Theorem 1.4 (if the system has a periodic point, APP plus zero entropy is equivalent to unique ergodicity), and Theorem 1.5 (continuous interval maps with APP and zero entropy are exactly those with a unique attracting fixed point). Several examples illustrate the boundary of the results, including a zero-entropy mixing non-minimal APP subshift and Herman's minimal positive-entropy diffeomorphisms.

Significance. If Theorem 1.2 is correct, it gives a clean structural dichotomy for APP systems: zero entropy corresponds to a single invariant measure, and positive entropy corresponds to a Poulsen simplex of invariant measures. This would be a substantial and attractive result, answering the Parry/Herman uniqueness-versus-entropy question within the APP class without asymptotic entropy expansiveness. Theorem 1.3 and the interval-map characterization Theorem 1.5 are also valuable and natural additions. The paper's strengths include an interesting four-measure separation construction in §3.1, a self-contained treatment of the strict APP case, and informative examples. However, the central theorem currently rests on Proposition 2.3, which is not proved in this manuscript, and the separation lemma in §3.1 has an indexing flaw as written. These issues affect the main proof and must be resolved before the result is fully established.

major comments (3)
  1. [§2, Proposition 2.3] Proposition 2.3 is the engine for both directions of Theorem 1.2. It asserts that for every invariant measure μ and every η, ε, β > 0 there is a compact invariant set Λ whose invariant measures are all η-close to μ and for which h(Λ, f, ε) < β. The paper gives no proof of this proposition, only the reference 'cf. [27]' to arXiv:1906.09862. Because [27] is an unpublished preprint and because the proposition is applied precisely in the APP class without asymptotic entropy expansiveness, this is a load-bearing external dependency. In §3.1 the disjoint invariant sets Λ_i are obtained from Proposition 2.3, and in §3.2 the sets Λ_k with h(Λ_k, f, 1/k) < 1/k are obtained from it. The revision should either prove Proposition 2.3 in the present paper or state the exact theorem/lemma from a published or otherwise available source and verify that its hypotheses match the applications here. A 'cf.' citation is not sufficient for a step of this weight.
  2. [§3.1, Lemma 3.1 and Eq. (7)] There is an indexing mismatch in the separation lemma. If ξ and ξ' first differ at the index n, the first differing entries of the traced sequences C_ξ and C_{ξ'} are at positions 2n−1 and 2n, not at position n. For example, taking ξ(1)=ξ'(1)=1 and ξ(2)≠ξ'(2) gives x_2(ξ)=x_2(ξ')=y_2, so the proof's comparison of x_n(ξ) and x_n(ξ') may compare identical points and the estimate (6) need not apply. The argument can likely be repaired by comparing blocks indexed 2n−1 and 2n and using a separated length of order (1+δ)(2N)m, which would still yield positive entropy, but as written Lemma 3.1 does not establish the stated lower bound for h(f).
  3. [§3.2, case (1)] In the case Γ_k ∩ Λ_{k+1} = ∅, the text asserts that Γ_k and Λ_{k+1} support two distinct ergodic measures. This is only justified if Γ_k is nonempty, which need not hold for an arbitrary k. The proof should choose the least k with Γ_k ∩ Λ_{k+1} = ∅; then Γ_k is nonempty by induction and the conclusion follows. This is a small gap, but it occurs in the proof of the necessity direction and should be repaired explicitly.
minor comments (4)
  1. [Abstract and title page] There are typographical errors, e.g. 'approxima te product' in the abstract and 'diffeomorphisms' in the introduction; these should be corrected in the final version.
  2. [§1, Theorem 1.1 citation] Theorem 1.1 is cited from [27, Theorem 1.1], but [27] is listed as an arXiv preprint; if the companion paper has been published or accepted by now, the reference should be updated.
  3. [§3.1 after Eq. (7)] The choice of m > M(δ, δ, γ) from Definition 2.2 is made once for all sequences C_ξ. Since the approximate product property requires the tracing length to be larger than M, this is fine, but the text should say explicitly that the same m is used for all ξ, as the subsequent entropy computation depends on it.
  4. [§4, Example 4.3] The expression for the uniform convergence of the maximal average density of 1's in X_1 is clear, but the notation '1/n max{|{m ≤ k < m+n : w_k = 1}| : m ∈ N}' would be easier to read with the set-builder written as 'm ∈ N, 0 ≤ m' since N is defined as nonnegative integers earlier; this is a minor notational point.

Circularity Check

1 steps flagged · score 2.0 of 10

Theorem 1.2 is not defined in terms of its conclusion, but both of its directions rely on Proposition 2.3, which is imported as 'cf. [27]' from the author's own preprint without proof in this paper; that makes the self-citation load-bearing.

  1. self citation load bearing [Section 2, Proposition 2.3; applied in Sections 3.1 and 3.2]
    "Our proof of Theorem 1.2 is based on the following fact related to entropy denseness, which is implicitly proved in [27]. Proposition 2.3 (cf. [27]). Let (X, f) be a system with the approximate product property. Then for every µ ∈ M (X, f ), every η, ε, β > 0, there is a compact invariant subset Λ = Λ( µ, η, ε, β ) such that D(µ, ν ) < η for every invariant measure ν supported on Λ and h(Λ , f, ε ) < β , where h(Λ , f, ε ) is the topological entropy of (Λ , f |Λ ) calculated at the scale ε."

    Proposition 2.3 is not proved in this paper; it is imported from [27], the author's own arXiv preprint, and introduced with 'cf. [27]'. Both directions of Theorem 1.2 depend on it: Section 3.1 uses it to produce four disjoint invariant sets close to μ1, μ2 and their mixtures, whose separation yields exponentially many separated orbit segments and hence h(f)>0; Section 3.2 uses it to produce invariant sets Λ_k with h(Λ_k, f, 1/k)<1/k, whose intersection supplies an extra zero-entropy ergodic measure when h(f)>0. Thus the central equivalence is supported by a self-citation whose proof is not exhibited in the manuscript. This is load-bearing, though it is not definitional circularity: the proposition is a distinct statement about invariant subsets, not a restatement of Theorem 1.2.

full rationale

The paper does not fit parameters and re-label them as predictions, nor does it define zero entropy or unique ergodicity in terms of each other. The sufficiency and necessity arguments in Section 3 are genuine constructions once Proposition 2.3 is granted: the mixtures μ3, μ4 are used only to separate invariant sets, and the positive-entropy estimate comes from counting separated sets, not from the definition of the approximate product property. The only circularity-adjacent feature is the chain of self-citations to [27]: Proposition 2.3 is the keystone for both directions of Theorem 1.2, and Proposition 2.5 and Theorem 1.1 are additional self-citations used in Theorem 1.3 and the introduction. Because the proof of Proposition 2.3 is not reproduced and the cited source is the author's own preprint, the self-citation is load-bearing. This is not a case where the theorem reduces to its own statement by definition, and if [27] is independently correct, Theorem 1.2 is not circular in the forbidden sense; the issue is an unexhibited external dependency. The minor gap in Section 3.2 about possible emptiness of Γ_k is a correctness concern, not a circularity concern. Score 2 reflects a load-bearing self-citation with an otherwise independent central derivation.

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

The central claim rests on standard ergodic theory plus a nontrivial proposition from the author's prior work. No free parameters are introduced because this is pure mathematics, and no new entities are postulated.

assumptions (4)
  • domain assumption Proposition 2.3 (cf. [27]): For every system with the approximate product property and every invariant measure mu, there is a compact invariant set Lambda such that all invariant measures supported on Lambda are close to mu and the entropy of Lambda at every scale is arbitrarily small.
    This is the main analytical tool for both directions of Theorem 1.2; it is stated without proof and deferred to the author's earlier arXiv preprint 1906.09862.
  • standard math Variational principle: topological entropy is the supremum of metric entropies over invariant measures.
    Used in Section 3.2 to move from h(f)>0 to existence of positive-entropy ergodic measures and to show h(Gamma,f)=0 yields zero-entropy measures.
  • standard math Krylov-Bogolyubov existence of invariant measures on nonempty compact invariant sets.
    Used to produce ergodic measures on Lambda_i, Gamma_k, and Gamma in Section 3.
  • standard math Continuous interval maps have fixed points and the Darboux property; a unique fixed point implies it is attracting under the stated assumptions.
    Used in Section 5 for the interval map classification, Proposition 5.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Unique ergodicity for zero-entropy dynamical systems with the approximate product property." pith.science (2026). https://pith.science/paper/IA5EAPMP

@misc{pith2026190801149,
  author       = {Pith},
  title        = {Pith review of: Unique ergodicity for zero-entropy dynamical systems with the approximate product property},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IA5EAPMP}},
  note         = {Machine review of arXiv:1908.01149}
}
read the original abstract

We show that for every topological dynamical system with the approximate product property, zero topological entropy is equivalent to unique ergodicity. Equivalence of minimality is also proved under a slightly stronger condition. Moreover, we show that unique ergodicity implies the approximate product property if the system has periodic points.

Figures

Figures reproduced from arXiv: 1908.01149 by the authors.

Figure 1
Figure 1. Relations between specification-like properties Readers are referred to the book [7] and the survey [14] for an overview of the definitions and results of specification-like properties. More discussions on the glu￾ing orbit property, the tempered gluing orbit property and the approximate product property, as well as various examples, can be found in [4, 23, 27]. The relations between various specification-like prope… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [27]

    Ergodic measures of intermediate entropies for dynamical systems with the approximate product property

    Sun, P.: Ergodic measures of intermediate entropies fo r dynamical systems with approximate product property. arXiv:1906.09862, 2019

    work page Pith review arXiv 1906

  2. [1]

    A., Rodr ´ ıguez, J

    Alsed` a, LL., Del R ´ ıo, M. A., Rodr ´ ıguez, J. A.: Transitivity and dense periodicity for graph maps. Journal of Difference Equations and Applications , 9(6), 577-598 (2003)

    work page 2003

  3. [2]

    B´ eguin, F., Crovisier, S., Le Roux, F.: Construction of curious minimal uniquely ergodic homeomorphisms on manifolds: the Denjoy-Rees technique. Ann. Sci. ´Ecole Norm. Sup. , 40(4), 251–308 (2007)

    work page 2007

  4. [3]

    Blokh A.M.: Decomposition of dynamical systems on an int erval. Russ. Math. Surv. , 38, 133–134 (1983)

    work page 1983

  5. [4]

    J., Varandas, P.: Topological feat ures of flows with the reparametrized gluing orbit property

    Bomfim, T., Torres, M. J., Varandas, P.: Topological feat ures of flows with the reparametrized gluing orbit property. Journal of Differential Equations , 262(8), 4292–4313 (2017)

    work page 2017

  6. [5]

    Bowen, R.: Periodic points and measures for Axiom A diffeo morphisms. Trans. Amer. Math. Soc., 154, 377–397 (1971)

    work page 1971

  7. [6]

    Buzzi, J.: Specification on the interval. Trans. Amer. Math. Soc. , 349(7), 2737–2754 (1997)

    work page 1997

  8. [7]

    Lecture Notes in Mathematics , Vol

    Denker, M., Grillenberger, C., Sigmund, K.: Ergodic the ory on compact spaces. Lecture Notes in Mathematics , Vol. 527, Springer-Verlag, Berlin, 1976

    work page 1976

Show all 30 references
  1. [8]

    Nonlinearity, 30, 3349–3361 (2017)

    Guan, L., Sun, P., W u, W.: Measures of intermediate entro pies and homogeneous dynamics. Nonlinearity, 30, 3349–3361 (2017)

    2017

  2. [9]

    Hahn, F., Katznelson, Y.: On the entropy of uniquely ergo dic transformations. Trans. Amer. Math. Soc. , 126, 335–360 (1967)

    1967

  3. [10]

    Ergodic Theory and Dynamical Systems , 1, 65–76 (1981)

    Herman, M.: Construction d’un diff´ eomorphisme minima l d’entropie topologique non nulle. Ergodic Theory and Dynamical Systems , 1, 65–76 (1981)

    1981

  4. [11]

    Katok, A.: Lyapunov exponents, entropy and periodic or bits for diffeomorphisms. Publ. Math. I.H.E.S., 51, 137–173 (1980)

    1980

  5. [12]

    Proceedings of the American Mathematical Society , 146(8), 3425- 3438 (2018)

    Konieczny, J., Kupsa, M., Kwietniak, D.: Arcwise conne ctedness of the set of ergodic mea- sures of hereditary shifts. Proceedings of the American Mathematical Society , 146(8), 3425- 3438 (2018)

    2018

  6. [13]

    Discrete and Continuous Dynamical Systems - A , 33(6), 2451-2467 (2013)

    Kwietniak, D.: Topological entropy and distributiona l chaos in hereditary shifts with appli- cations to spacing shifts and beta shifts. Discrete and Continuous Dynamical Systems - A , 33(6), 2451-2467 (2013)

    2013

  7. [14]

    Contemporary Mathematics, 669, 155–186 (2016) UNIQUE ERGODICITY AND THE APPROXIMATE PRODUCT PROPERTY 15

    Kwietniak, D., Lacka, M., Oprocha, P.: A panorama of spe cification-like properties and their consequences. Contemporary Mathematics, 669, 155–186 (2016) UNIQUE ERGODICITY AND THE APPROXIMATE PRODUCT PROPERTY 15

    2016

  8. [15]

    Lindenstrauss, J., Olsen, G., Sternfeld, Y.: The Pouls en simplex. Ann. Inst. Fourier (Greno- ble), 28(1), 91–114 (1978)

    1978

  9. [16]

    Ergodic Theory and Dynamical Systems , 8(3), 421–424 (1988)

    Misiurewicz, M., Sm ´ ıtal, J.: Smooth chaotic maps with zero topological entropy. Ergodic Theory and Dynamical Systems , 8(3), 421–424 (1988)

    1988

  10. [17]

    -E., Sullivan, W

    Pfister, C. -E., Sullivan, W. G.: Large deviations estim ates for dynamical systems without the specification property. Application to the β -shifts. Nonlinearity, 18, 237–261 (2005)

    2005

  11. [18]

    R.: Lectures on Choquet’s theorem

    Phelps, R. R.: Lectures on Choquet’s theorem. second ed ., Lecture Notes in Mathematics , Vol. 1757, Springer-Verlag, Berlin, 2001

    2001

  12. [19]

    Quas, A., Soo, T.: Ergodic universality of some topolog ical dynamical systems, Transactions of the American Mathematical Society , 368(6), 4137–4170 (2016)

    2016

  13. [20]

    Ergodic Theory and Dynamical Systems , 30, 923–930 (2010)

    Sun, P.: Zero-entropy invariant measures for skew prod uct diffeomorphisms. Ergodic Theory and Dynamical Systems , 30, 923–930 (2010)

    2010

  14. [21]

    Discrete and Continuous Dynamical Systems - A , 27(3), 1219–1231 (2010)

    Sun, P.: Measures of intermediate entropies for skew pr oduct diffeomorphisms. Discrete and Continuous Dynamical Systems - A , 27(3), 1219–1231 (2010)

    2010

  15. [22]

    Dynamical Systems , 27(2), 197–204 (2012)

    Sun, P.: Density of metric entropies for linear toral au tomorphisms. Dynamical Systems , 27(2), 197–204 (2012)

    2012

  16. [23]

    Discrete and Continuous Dynamical Systems - A , 39(7), 4041-4056 (2019)

    Sun, P.: Minimality and gluing orbit property. Discrete and Continuous Dynamical Systems - A , 39(7), 4041-4056 (2019)

    2019

  17. [24]

    Acta Mathematica Scientia, 40B(3), 855-862 (2020)

    Sun, P.: On the entropy of flows with reparametrized glui ng orbit property. Acta Mathematica Scientia, 40B(3), 855-862 (2020)

    2020

  18. [25]

    Sun, P.: Denseness of intermediate pressures for syste ms with the Climenhaga-Thompson structure, Journal of Mathematical Analysis and Applications , 487(2), 124027 (2020)

    2020

  19. [26]

    Advances in Math- ematics, to appear

    Sun, P.: Zero-entropy dynamical systems with the gluin g orbit property. Advances in Math- ematics, to appear

  20. [28]

    arXiv:2006.06358, 2020

    Sun, P.: Equilibrium states of intermediate entropies . arXiv:2006.06358, 2020

    2006 arXiv

  21. [29]

    Proceedings of the American Mathematical Society , 140(6), 1973-1985 (2012)

    Ures, R.: Intrinsic ergodicity of partially hyperboli c diffeomorphisms with a hyperbolic linear part. Proceedings of the American Mathematical Society , 140(6), 1973-1985 (2012)

    2012

  22. [30]

    W alters, P.: An Introduction to Ergodic Theory, Spring er-Verlag, New York, 1982 E-mail address : sunpeng@cufe.edu.cn

    1982

Pith tools

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