Pith. sign in

REVIEW 2 major objections 5 minor 32 references

Mean equicontinuity, almost automorphy and regularity

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read For minimal systems, diam-mean equicontinuity, Banach diam-mean equicontinuity, and regularity of the maximal equicontinuous factor are equivalent, completing the discrete-spectrum hierarchy.

desk verdict Fills two missing rungs in the mean-equicontinuity hierarchy, but the regularity theorem has a repairable proof gap. read the letter →

arxiv 1908.05207 v1 pith:QSKY6ASX submitted 2019-08-14 math.DS

classification math.DS MSC 54H20
keywords meanequicontinuitydiam-meanmaximalequicontinuousfactorregularityalmostautomorphicdiscretespectrumstrictlyergodictopologicalentropy
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 characterizes two rungs in the hierarchy of strictly ergodic topological dynamical systems with discrete spectrum. It proves that a minimal system is diam-mean equicontinuous exactly when its maximal equicontinuous factor map is regular, meaning the points with a single preimage carry full Haar measure; the same theorem shows diam-mean and Banach diam-mean equicontinuity coincide in the minimal case. It also characterizes almost automorphic mean equicontinuous systems through a new local property, frequent stability, and completes the ladder from equicontinuity down to mere discrete spectrum. A constructed example shows that outside minimality, almost diam-mean equicontinuity allows positive topological entropy, and a partial answer to Furstenberg's multiple recurrence question is given for mean equicontinuous systems.

What carries the argument

The central object is the maximal equicontinuous factor map $\pi_{\mathrm{eq}}\colon X\to X_{\mathrm{eq}}$, the universal equicontinuous quotient of the system; its regularity, meaning singleton fibers on a full Haar-measure set, is the property being characterized. The main mechanism is the equivalence between local 'diam-mean' smallness of ball diameters and the measurable triviality of the $\pi_{\mathrm{eq}}$ fibers, proved by passing through the Besicovitch pseudometric $\rho_b(x,y)=\limsup_{n\to\infty}\frac{1}{n}\sum_{i=1}^n d(T^ix,T^iy)$, which vanishes exactly on pairs with the same maximal-factor image in minimal mean equicontinuous systems. A second mechanism is frequent stability: a point is frequently stable if small balls around it have diameter larger than $\varepsilon$ only on a set of times of density less than $1$, and this property bridges mean equicontinuity with almost automorphy.

What would settle it

Compute, for a minimal system whose maximal equicontinuous factor is known to be non-regular, the upper Banach density of the set of times at which the diameter of a small ball exceeds a fixed $\varepsilon$. If this density can be made arbitrarily small by shrinking the ball, the claimed equivalence between regularity and Banach diam-mean equicontinuity fails; the theorem predicts a positive lower bound.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 4.12: for a minimal topological dynamical system $(X,T)$, the following are equivalent: (1) $(X,T)$ is diam-mean equicontinuous; (2) $(X,T)$ is Banach diam-mean equicontinuous; (3) the maximal equicontinuous factor map $\pi_{\mathrm{eq}}\colon X\to X_{\mathrm{eq}}$ is regular, i.e. the set $\{y\in X_{\mathrm{eq}} : |\pi_{\mathrm{eq}}^{-1}(y)|=1\}$ has full Haar measure $\nu_{\mathrm{eq}}$. Combined with known results, this yields the hierarchy: equicontinuity, nullness, tameness, diam-mean equicontinuity (regular maximal factor), mean equicontinuity plus frequent stability (almost one-to-one isomorphic maximal factor), mean equicontinuity (isomorphic maximal factor), and $\mu$-mean equicontinuity (discrete spectrum). The paper also proves that for minimal mean equicontinuous systems the maximal factor map is almost one-to-one if and only if the system is frequently stable, and it constructs a transitive almost diam-mean equicontinuous system with positive topological entropy, separating local from global and Banach from non-Banach versions of these properties.

Load-bearing premise

The argument relies on the unproved claim that for transitive (not necessarily minimal) systems, having a single diam-mean equicontinuity point already forces the set of such points to be residual; if that claim fails, the positive-entropy example only demonstrates a single point, not the advertised dense set.

Editorial extensions

If this is right

  • Every rung of the hierarchy for strictly ergodic discrete-spectrum systems is now characterized: equicontinuity, nullness, tameness, diam-mean equicontinuity, mean equicontinuity with frequent stability, mean equicontinuity, and $\mu$-mean equicontinuity.
  • Every minimal tame system is Banach diam-mean equicontinuous, since its maximal equicontinuous factor is regular.
  • In minimal systems, diam-mean equicontinuity and Banach diam-mean equicontinuity coincide; the paper's example shows they differ locally for transitive systems.
  • There exists a transitive almost diam-mean equicontinuous system with positive topological entropy, showing this class is wider than the zero-entropy classes.
  • For a minimal mean equicontinuous system, almost every point with respect to the unique invariant measure is a minimal point for the product system $T\times T^2\times\cdots\times T^d$ for every $d$, giving a partial answer to Furstenberg's question.

Reading between the lines

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

  • If the unproved transitive equivalence fails (almost diam-mean equicontinuity iff one diam-mean equicontinuity point), the positive-entropy example would only certify a single equicontinuity point; a direct check of whether the residual-set assertion in Theorem 5.6 uses that equivalence would settle the matter.
  • The regularity characterization suggests a plausible route for non-minimal systems: the equivalence in Theorem 4.12 may hold for transitive systems when the maximal factor is uniquely ergodic, analogous to the known mean equicontinuity case.
  • The hierarchy places diam-mean equicontinuity strictly between tameness and mean equicontinuity; this predicts that any minimal system with a regular maximal factor but not tame would separate tameness from diam-mean equicontinuity, should such a system exist.
  • The Furstenberg-type result for mean equicontinuous systems may extend to all systems whose maximal equicontinuous factor is regular and whose unique invariant measure makes the system measurably distal, since the argument uses only the measurable isomorphism and pointwise multiple ergodic averages.
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

2 major / 5 minor

Summary. The paper studies minimal topological dynamical systems with discrete spectrum, classified according to the properties of the maximal equicontinuous factor map π_eq. The main results are: (1) a characterization of almost automorphic minimal mean equicontinuous systems via 'frequent stability' (Theorem 3.6); (2) the central Theorem 4.12, which shows that for minimal systems, diam-mean equicontinuity, Banach diam-mean equicontinuity, and regularity of π_eq are equivalent; (3) a construction of a transitive almost diam-mean equicontinuous system with positive topological entropy (Theorem 5.6 and Corollary 5.7); and (4) a positive answer to Furstenberg's multiple recurrence question for mean equicontinuous systems (Theorem 6.1). The proofs use standard tools: Baire category, unique ergodicity, the Birkhoff ergodic theorem, measurable selection, and the pointwise multiple ergodic theorem.

Significance. If correct, the results complete a natural hierarchy for strictly ergodic discrete-spectrum systems, placing diam-mean equicontinuity exactly at the level where π_eq is regular. This sharpens previous work of Li–Tu–Ye, Downarowicz–Glasner, and García-Ramos, and the positive-entropy transitive example is a notable new phenomenon. The Furstenberg question result for mean equicontinuous systems is also a valuable contribution. The paper is generally well structured and builds on established references. However, two load-bearing proof points need attention: an unproved characterization in Section 4.1 and a false measure assertion in Proposition 4.11. Both are repairable, so the central claims are likely sound.

major comments (2)
  1. [Section 4.1 (after Definition 4.6)] The statement 'A transitive t.d.s. is almost diam-mean equicontinuous if and only if there exists a diam-mean equicontinuity point' is asserted without proof. The 'if' direction is used in Theorem 5.6 to conclude that the constructed system is almost diam-mean equicontinuous from the fact that x is such a point. This is load-bearing for Corollary 5.7, and the equivalence is not obvious. Please provide a proof or a precise reference, in particular explaining why the existence of one such point implies the set of such points is residual.
  2. [Proposition 4.11] The proof states 'Assume that π_eq is not regular. Then ν_eq({y : diam(π^{-1}_eq(y)) > 0}) = 1.' This equality does not follow from non-regularity together with almost 1-1; it only follows that the displayed set has positive measure. The argument still works with 'positive measure' instead of 'measure 1' (using continuity from below to find ε>0 with ν_eq(A_ε)>0), so the proof is repairable, but as written this is a false step.
minor comments (5)
  1. [Definition 4.2] In the definition of ε-stable in the mean, the expression 'sup_{n∈N} {1/N ∑_{i=1}^N ...}' mixes n and N; it should read 'sup_{N∈N} {1/N ∑_{i=1}^N ...}'.
  2. [Proposition 4.9] The step 'By uniform ergodicity' for the indicator 1_{G_ε} is correct but deserves a justification, since 1_{G_ε} is not continuous. One can approximate 1_{G_ε} from below by continuous functions and use uniform convergence of their ergodic averages; please add this argument.
  3. [Theorem 3.6 proof] In the claim, 'x_n ∈ π^{-1}_eq(Bη(y_n))' appears to be a typo for 'x_n ∈ π^{-1}_eq(y_n)'.
  4. [Section 4.1 (after Definition 4.6)] The companion assertion that a minimal almost diam-mean equicontinuous system is always diam-mean equicontinuous is also stated without proof; it should be justified or referenced.
  5. [Section 6 (Theorem 6.1)] The assertion that the multiple ergodic limit is positive by Furstenberg's theorem should be stated more precisely, with a reference to the specific result (e.g., positive multiple recurrence for distal systems).

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: Theorem 4.12 is a substantive equivalence between independently defined properties; the only self-citations are non-load-bearing, while two proof gaps are correctness issues rather than circular reductions.

full rationale

The central result Theorem 4.12 is not circular. Diam-mean equicontinuity (Definition 4.1), Banach diam-mean equicontinuity (Definition 4.6), and regularity of the maximal equicontinuous factor (Definition 4.8) are independently defined; none is defined in terms of the target condition. Proposition 4.9 derives Banach diam-mean equicontinuity from regularity by a compactness/covering argument, and Proposition 4.11 derives regularity from diam-mean equicontinuity through Theorem 3.6 and Birkhoff's theorem; both are substantive implications, not definitional transcriptions. Theorem 3.6 likewise proves that frequent stability (a separate metric condition on diameters of iterated balls) is equivalent to almost 1-1-ness of π_eq, rather than renaming it. No parameters are fitted and no data subset is selected, so there is no fitted-input-called-prediction pattern. Self-citations to [14] (where diam-mean equicontinuity was introduced and a dichotomy was proved), [11] (tameness implies regularity), and [23] (multiple ergodic averages) are attributions of prior tools and are not load-bearing for the main equivalence; removing them would not change the derivation of Theorem 4.12. The fragile assertion after Definition 4.6 that a transitive system is almost diam-mean equicontinuous iff it has one diam-mean equicontinuity point, and the use of uniform ergodicity for 1_{G_ε} in Proposition 4.9 without verifying ν_eq(∂G_ε)=0, are genuine proof gaps and correctness risks, but they are not circular: they do not make the claimed conclusion equal to its assumptions by construction.

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

No fitted parameters or invented physical entities appear. The proofs rest on standard background theorems and on the working definition of a topological dynamical system. The most notable unproved background fact is the transitive characterization in Section 4.1, which is asserted rather than demonstrated.

assumptions (8)
  • domain assumption The system (X,T) is a compact metric space with a continuous surjective map, and factor maps are continuous surjections.
    This is the framework stated in Section 2.2; all results are confined to this class.
  • standard math Baire category theorem applies to X and X_eq.
    Used in Lemma 3.5 and in the use of residual sets throughout the paper.
  • standard math A minimal equicontinuous factor has a unique invariant measure with full support.
    Used in Theorem 3.6(i)->(ii) and Proposition 4.9; follows from minimality and unique ergodicity.
  • standard math For minimal mean equicontinuous systems, π_eq is a measure-theoretic isomorphism and ρ_b(x,y)=0 iff π_eq(x)=π_eq(y).
    Imported from [28,14] and used throughout Section 3 and Proposition 4.11.
  • standard math The Jankov-von Neumann measurable selection theorem provides a section φ of π_eq.
    Used in the proof of Theorem 3.6(iii)->(i) to select preimages of points in the equicontinuous factor.
  • standard math The Birkhoff ergodic theorem applies to the uniquely ergodic equicontinuous factor.
    Used in Proposition 4.11 to obtain a point y in A_ε with the correct ergodic average.
  • standard math The pointwise multiple ergodic theorem for measurable distal systems holds as stated in [23].
    Used in Theorem 6.1 to get full-measure convergence of multiple ergodic averages with positive limit.
  • domain assumption A transitive t.d.s. is almost diam-mean equicontinuous if and only if it has a diam-mean equicontinuity point; the same is asserted for the Banach variant.
    Stated without proof after Definition 4.6 and used to upgrade the single constructed point in Theorem 5.6 to a residual property in Corollary 5.7.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Mean equicontinuity, almost automorphy and regularity." pith.science (2026). https://pith.science/paper/QSKY6ASX

@misc{pith2026190805207,
  author       = {Pith},
  title        = {Pith review of: Mean equicontinuity, almost automorphy and regularity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QSKY6ASX}},
  note         = {Machine review of arXiv:1908.05207}
}
read the original abstract

The aim of this article is to obtain a better understanding and classification of strictly ergodic topological dynamical systems with discrete spectrum. To that end, we first determine when an isomorphic maximal equicontinuous factor map of a minimal topological dynamical system has trivial (one point) fibres. In other words, we characterize when minimal mean equicontinuous systems are almost automorphic. Furthermore, we investigate another natural subclass of mean equicontinuous systems, so-called diam-mean equicontinuous systems, and show that a minimal system is diam-mean equicontinuous if and only if the maximal equicontinuous factor is regular (the points with trivial fibres have full Haar measure). Combined with previous results in the field, this provides a natural characterization for every step of a natural hierarchy for strictly ergodic topological models of ergodic systems with discrete spectrum. We also construct an example of a transitive almost diam-mean equicontinuous system with positive topological entropy, and we give a partial answer to a question of Furstenberg related to multiple recurrence.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 29 canonical work pages

  1. [1]

    Auslander, Minimal flows and their extensions , North-Holland Publishing Co., Amsterdam, 1988

    J. Auslander, Minimal flows and their extensions , North-Holland Publishing Co., Amsterdam, 1988

  2. [2]

    Auslander, Mean-L-stable systems, Illinois J

    J. Auslander, Mean-L-stable systems, Illinois J. Math., 3 (1959): 566–579

  3. [3]

    Baake, D

    M. Baake, D. Lenz, and R.V . Moody. Characterization of model sets by dynamical systems . Ergodic Theory Dynam. Systems 27(2) (2007): 341–382

  4. [4]

    Auslander and J.A

    J. Auslander and J.A. Y orke, Interval maps, factors of maps, and chaos , Tohoku Mathematical Journal, 32(2) (1980): 177–579

  5. [5]

    Downarowicz, Survey of odometers and Toeplitz flows , Contemporary Mathematics 385 (2005): 7-38

    T. Downarowicz, Survey of odometers and Toeplitz flows , Contemporary Mathematics 385 (2005): 7-38

  6. [6]

    Downarowicz and E

    T. Downarowicz and E. Glasner, Isomorphic extension and applications , Topological Methods in Nonlinear Analysis 48.1 (2016): 321-338

  7. [7]

    Downarowicz and S

    T. Downarowicz and S. Kasjan, Odometers and Toeplitz systems revisited in the context of Sarnak’s conjecture, Studia Mathematica 229 (2015), 45-72

  8. [8]

    Ellis and W.H

    R. Ellis and W.H. Gottschalk, Homomorphisms of transformation groups, Transactions of the American Math- ematical Society 94 (1960): 258-271

Show all 32 references
  1. [9]

    Fomin, On dynamical systems with a purely point spectrum , Dokl

    S. Fomin, On dynamical systems with a purely point spectrum , Dokl. Akad. Nauk SSSR, 77 (1951):29-32 (in Russian)

  2. [10]

    Furstenberg, Poincare recurrence and number theory, Bull

    H. Furstenberg, Poincare recurrence and number theory, Bull. Amer. Math. Soc. 5.3 (1981): 211-234

  3. [11]

    Fuhrmann, E

    G. Fuhrmann, E. Glasner, T. J¨ ager, and C. Oertel, Irregular model sets and tame dynamics , arXiv preprint:1811.06283 (2018). MEAN EQUICONTINUITY , ALMOST AUTOMORPHY AND REGULARITY 15

  4. [12]

    Fuhrmann, M

    G. Fuhrmann, M. Gr¨ oger, and D. Lenz, The structure of mean equicontinuous group actions , arXiv preprint arXiv:1812.10219 (2018)

  5. [13]

    Fuhrmann, and D

    G. Fuhrmann, and D. Kwietniak. On tameness of almost aut omorphic dynamical systems for general groups, arXiv preprint:1902.10780 (2019)

  6. [14]

    F. Garc´ ıa-Ramos, W eak forms of topological and measure theoretical equicont inuity: relationships with dis- crete spectrum and sequence entropy , Ergodic Theory and Dynamical Systems 37.4 (2017): 1211-1237

  7. [15]

    Garc´ ıa-Ramos and B

    F. Garc´ ıa-Ramos and B. Marcus, Mean sensitive, mean equicontinuous and almost periodic fu nctions for dy- namical systems, Discrete and Continuous Dynamical Systems - A, 39.2 (2019): 729-746

  8. [16]

    Garc´ ıa-Ramos, J

    F. Garc´ ıa-Ramos, J. Li, and R. Zhang, When is a dynamical system mean sensitive?, Ergodic Theory and Dynamical Systems 39.6 (2019): 1608-1636

  9. [17]

    Glasner, ”The structure of tame minimal dynamical systems , Ergodic Theory and Dynamical Systems, 27.6 (2007):1819-1837

    E. Glasner, ”The structure of tame minimal dynamical systems , Ergodic Theory and Dynamical Systems, 27.6 (2007):1819-1837

  10. [18]

    Glasner, The structure of tame minimal dynamical systems for general groups, Inventiones mathematicae 211.1 (2018): 213-244

    E. Glasner, The structure of tame minimal dynamical systems for general groups, Inventiones mathematicae 211.1 (2018): 213-244

  11. [19]

    T. N. T. Goodman, Topological sequence entropy, Proceedings of the London Mathematical Society 3.2 (1974): 331-350

  12. [20]

    Halmos, and J

    P . Halmos, and J. V on Neumann Operator methods in classical mechanics II , Annals of Mathematics (2) 43 (1942): 332-350

  13. [21]

    Huang, J

    W. Huang, J. Li, J.P . Thouvenot, L. Xu, and X. Ye, Bounded complexity, mean equicontinuity and discrete spectrum. arXiv preprint:1806.02980 (2018). Ergod. Th. & Dynam. Sys ., to appear

  14. [22]

    Huang, S

    W. Huang, S. Li, S. Shao and X. Ye, Null systems and sequence entropy pairs , Ergod. Th. & Dynam. Sys., 23 (2003): 1505–1523

  15. [23]

    Huang, S

    W. Huang, S. Shao and X. Ye, Pointwise convergence of multiple ergodic averages and strictly ergodic models. arXiv:1406.5930, J. d’Anal. Math., to appear

  16. [24]

    Kerr and H

    D. Kerr and H. Li, Dynamical entropy in Banach spaces , Inventiones mathematicae 162.3 (2005): 649-686

  17. [25]

    Kerr and H

    D. Kerr and H. Li, Independence in topological and C*-dynamics , Mathematische Annalen, 338.4 (2007): 869–926

  18. [26]

    A. G. Kushnirenko, On metric invariants of entropy type , Russian Mathematical Surveyss 22.5 (1967): 53-61

  19. [27]

    Lehrer, Topological mixing and uniquely ergodic systems , Israel Journal of Mathematics 57.2 (1972): 239- 255

    E. Lehrer, Topological mixing and uniquely ergodic systems , Israel Journal of Mathematics 57.2 (1972): 239- 255

  20. [28]

    J. Li, S. Tu and X. Ye, Mean equicontinuity and mean sensitivity, Ergodic Theory and Dynamical Systems 35.8 (2015): 2587-2612

  21. [29]

    Qiu and J

    J. Qiu and J. Zhao. A note on mean equicontinuity. Journal of Dynamics and Differential Equations (to appear)

  22. [30]

    Scarpellini, Stability properties of flows with pure point spectrum , Journal of the London Mathematical Society, 2.3 (1982): 451–464

    B. Scarpellini, Stability properties of flows with pure point spectrum , Journal of the London Mathematical Society, 2.3 (1982): 451–464

  23. [31]

    V on Neumann Zur Operatorenmethode in der klassischen Mechanik , Annals of Mathematics (2) 33 (1932): 587–642

    J. V on Neumann Zur Operatorenmethode in der klassischen Mechanik , Annals of Mathematics (2) 33 (1932): 587–642

  24. [32]

    Ye and R

    X. Ye and R. Zhang, On sensitivity sets in topological dynamics , Nonlinearity, 21 (2008): 1601–1620. (F. Garc´ ıa-Ramos) CONACYT & P HYSICS INSTITUTE OF THE UNIVERSIDAD AUTONOMA DE SAN LUIS POTOS , AV. M ANUEL NAVA #6, Z ONA UNIVERSITARIA , C.P. 78290, S AN LUIS POTOS , S.L.P...

Pith tools

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