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 →
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 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.
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
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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.
- [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)
- [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 ...}'.
- [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.
- [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)'.
- [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.
- [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
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
assumptions (8)
- domain assumption The system (X,T) is a compact metric space with a continuous surjective map, and factor maps are continuous surjections.
- standard math Baire category theorem applies to X and X_eq.
- standard math A minimal equicontinuous factor has a unique invariant measure with full support.
- standard math For minimal mean equicontinuous systems, π_eq is a measure-theoretic isomorphism and ρ_b(x,y)=0 iff π_eq(x)=π_eq(y).
- standard math The Jankov-von Neumann measurable selection theorem provides a section φ of π_eq.
- standard math The Birkhoff ergodic theorem applies to the uniquely ergodic equicontinuous factor.
- standard math The pointwise multiple ergodic theorem for measurable distal systems holds as stated in [23].
- 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.
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.
Reference graph
Works this paper leans on
-
[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
work page 1988
-
[2]
Auslander, Mean-L-stable systems, Illinois J
J. Auslander, Mean-L-stable systems, Illinois J. Math., 3 (1959): 566–579
work page 1959
- [3]
-
[4]
J. Auslander and J.A. Y orke, Interval maps, factors of maps, and chaos , Tohoku Mathematical Journal, 32(2) (1980): 177–579
work page 1980
-
[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
work page 2005
-
[6]
T. Downarowicz and E. Glasner, Isomorphic extension and applications , Topological Methods in Nonlinear Analysis 48.1 (2016): 321-338
work page 2016
-
[7]
T. Downarowicz and S. Kasjan, Odometers and Toeplitz systems revisited in the context of Sarnak’s conjecture, Studia Mathematica 229 (2015), 45-72
work page 2015
-
[8]
R. Ellis and W.H. Gottschalk, Homomorphisms of transformation groups, Transactions of the American Math- ematical Society 94 (1960): 258-271
work page 1960
Show all 32 references
-
[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)
1951
-
[10]
Furstenberg, Poincare recurrence and number theory, Bull
H. Furstenberg, Poincare recurrence and number theory, Bull. Amer. Math. Soc. 5.3 (1981): 211-234
1981
-
[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
2018 arXiv
-
[12]
Fuhrmann, M
G. Fuhrmann, M. Gr¨ oger, and D. Lenz, The structure of mean equicontinuous group actions , arXiv preprint arXiv:1812.10219 (2018)
2018 arXiv
-
[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)
2019 arXiv
-
[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
2017
-
[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
2019
-
[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
2019
-
[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
2007
-
[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
2018
-
[19]
T. N. T. Goodman, Topological sequence entropy, Proceedings of the London Mathematical Society 3.2 (1974): 331-350
1974
-
[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
1942
-
[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
2018 arXiv
-
[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
2003
-
[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
-
[24]
Kerr and H
D. Kerr and H. Li, Dynamical entropy in Banach spaces , Inventiones mathematicae 162.3 (2005): 649-686
2005
-
[25]
Kerr and H
D. Kerr and H. Li, Independence in topological and C*-dynamics , Mathematische Annalen, 338.4 (2007): 869–926
2007
-
[26]
A. G. Kushnirenko, On metric invariants of entropy type , Russian Mathematical Surveyss 22.5 (1967): 53-61
1967
-
[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
1972
-
[28]
J. Li, S. Tu and X. Ye, Mean equicontinuity and mean sensitivity, Ergodic Theory and Dynamical Systems 35.8 (2015): 2587-2612
2015
-
[29]
Qiu and J
J. Qiu and J. Zhao. A note on mean equicontinuity. Journal of Dynamics and Differential Equations (to appear)
-
[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
1982
-
[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
1932
-
[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...
2008
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.