REVIEW 7 minor 1 cited by
Mean equicontinuous factor maps
T0 review · 0 major / 7 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The paper proposes a relative notion of mean equicontinuity for factor maps and proves it splits every such map into a topo-isomorphic and an equicontinuous part.
desk verdict A genuine relative theory of mean equicontinuity with sound main results; the minimal-case decomposition leans on a cited theorem that a referee should check. 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 paper's central object is the Weyl pseudometric $D$, defined on an action of a countable amenable group by $D(x,x')=\sup_F \limsup_n |F_n|^{-1} \sum_{g\in F_n} d(g.x,g.x')$, with the supremum over all Følner sequences $F=(F_n)$. Pairs with $D(x,x')=0$ are Banach proximal; sequences with $D(x_n,x'_n)\to 0$ are asymptotically Banach proximal. The key mechanism is Definition 1.1, which asks precisely that, on the fibre relation $R(\pi)$ of a factor map, convergence of such sequences matches their limits: a convergent fibre-pair sequence is asymptotically Banach proximal if and only if its limit is Banach proximal. The earlier candidate conditions are rejected in the paper by examples: the modulus condition (M) is too weak, while continuity of $D$ on $R(\pi)$ is too strong. The chosen condition implies $\mathrm{BP}(\pi)=\mathrm{RP}(\pi)$, which is exactly the identity needed to feed the classical characterization of equicontinuity by regional proximal pairs and to define the quotient $X/\mathrm{BP}(\pi)$ used in the decomposition theorems.
What would settle it
Take any candidate factor map $\pi$ and compute the Weyl pseudometric $D$ on the fibre relation $R(\pi)$ using a Følner sequence of the acting group. If there is a convergent sequence $(x_n,x'_n)\in R(\pi)$ with $D(x_n,x'_n)\ge c>0$ while $D(\lim x_n,\lim x'_n)=0$, then $\pi$ is not mean equicontinuous, directly by Definition 1.1; the paper's Example 6.2 is exactly such a sequence for a map that satisfies only the weaker property (M). Conversely, a proof that no such sequence exists for a given $\pi$ verifies mean equicontinuity in practice.
Extended reading notes
Core claim
The central discovery is that a single sequential condition on the Weyl pseudometric gives the correct relative version of mean equicontinuity. For an action of a countable amenable group on a compact metric space, pairs with Weyl distance $D(x,x')=0$ are Banach proximal; a factor map $\pi:X\to Y$ is declared mean equicontinuous when, for every convergent sequence in the fibre relation $R(\pi)$, asymptotic Banach proximality of the sequence is equivalent to Banach proximality of its limit. On this definition the paper proves that $\mathrm{RP}(\pi)=\mathrm{BP}(\pi)$ (Theorem 5.2), that equicontinuity is equivalent to mean equicontinuity plus distality (Theorem 9.1), and that topo-isomorphy is equivalent to mean equicontinuity plus proximality (Theorem 9.2). It also proves that Banach proximality and topo-isomorphy coincide for every factor map (Theorem 8.1). For minimal actions (Theorem 10.1) and for weakly mean equicontinuous actions (Theorem 10.3), any mean equicontinuous factor map factors as $\pi=\psi\circ\varphi$, with $\varphi:X\to X/\mathrm{BP}(\pi)$ topo-isomorphic and $\psi$ equicontinuous; Theorem 10.5 shows the two middle spaces are conjugate when such a decomposition exists.
Load-bearing premise
The minimal-action decomposition rests on a previously published characterization—not reproved here—that for minimal flows a quotient map is equicontinuous exactly when every limit of pairs that the group action brings arbitrarily close still lies within a single fibre of the quotient.
Editorial extensions
If this is right
- If the central claim is right, every mean equicontinuous factor map between minimal actions, and every one between weakly mean equicontinuous actions, is the composition of a topo-isomorphic map and an equicontinuous map; in particular the intermediate quotient $X/\mathrm{BP}(\pi)$ is a canonical invariant of the map.
- Equicontinuity, distality, proximality and topo-isomorphy fit together in the relative setting exactly as they do for actions: mean equicontinuity is neutral, and distality versus proximality selects the equicontinuous versus topo-isomorphic component.
- Because equicontinuous and topo-isomorphic factor maps each preserve topological entropy, mean equicontinuous factor maps between minimal or weakly mean equicontinuous actions preserve topological entropy (Corollary 1.2).
- For weakly mean equicontinuous actions, the class of mean equicontinuous factor maps is exactly the class of compositions of a topo-isomorphic map followed by an equicontinuous map (Corollary 11.2); the reverse order need not preserve mean equicontinuity (Example 11.3).
- Uniqueness up to conjugacy means the decomposition is not an arbitrary choice: the middle space $X/\mathrm{BP}(\pi)$ is determined by the map itself, and any other decomposition is conjugate through a canonical map.
Reading between the lines
- The definition suggests that 'mean equicontinuity' is best read as a regularity property of the fibred Weyl geometry, not of the base system; under that reading, one could test whether the minimal decomposition survives for non-minimal actions by studying whether $\mathrm{RP}(\pi)\subseteq R(\varphi)$ holds without the minimality hypothesis the cited characterization requires.
- The equivalence of topo-isomorphy and Banach proximality for all factor maps (Theorem 8.1) gives a purely dynamical, measure-free characterization of a relation usually defined through invariant measures; this may make topo-isomorphy testable on subshifts by sampling Weyl distances along cylinder pairs.
- Example 11.3 indicates that the composition of the two building blocks is order-sensitive; a natural conjecture is that the correct categorical structure of mean equicontinuous extensions is a kind of semidirect product, where equicontinuous maps act on topo-isomorphic ones, rather than a symmetric composition class.
- The decomposition theorems reduce the classification of mean equicontinuous factor maps to two cleaner classification problems: classify equicontinuous extensions and classify topo-isomorphic (Banach proximal) extensions; if the paper is right, every mean equicontinuous map is uniquely a pair of such objects.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a relative notion of mean equicontinuity for factor maps between actions of countable amenable groups. Definition 1.1 requires that, for convergent sequences in the fiber relation R(pi), the sequence is asymptotically Banach proximal if and only if its limit is Banach proximal. The paper shows that this definition is strictly stronger than the natural metric condition (M) and is equivalent to (M) together with equality of the relative regional proximal and Banach proximal relations (Proposition 5.1, Theorem 5.2). It then proves that equicontinuous factor maps are exactly the mean equicontinuous distal ones (Theorem 9.1), topo-isomorphic factor maps are exactly the mean equicontinuous proximal ones (Theorem 9.2), and topo-isomorphy coincides with Banach proximality for all factor maps (Theorem 8.1). The main structural results are the decompositions of mean equicontinuous factor maps between minimal actions (Theorem 10.1) and between weakly mean equicontinuous actions (Theorem 10.3) into a topo-isomorphic map followed by an equicontinuous map, with uniqueness up to conjugacy (Theorem 10.5). Section 11 studies composition properties and provides a counterexample showing that the order of composition matters.
Significance. If the results hold, the paper gives a coherent relative generalization of mean equicontinuity that recovers the absolute notion for one-point factors and yields clean structural theorems. The core equivalences (Theorems 8.1, 9.1, 9.2) are proved from the definitions with explicit technical tools (Lemmas 7.2 and 7.3), and the weakly mean equicontinuous decomposition (Theorem 10.3) is proved internally. The paper also contains instructive examples (Examples 6.1, 6.2, 11.3) showing why natural alternative definitions are too weak or too strong. The main external input is the standard regional-proximal criterion [2, Corollary 7.9] used in Theorem 10.1, which is a cited theorem from the established literature rather than a circular or fitted assumption.
minor comments (7)
- [10.1, proof of Theorem 10.1] Please state explicitly the precise version of [2, Corollary 7.9] used to conclude that psi is equicontinuous, and verify that its hypotheses (minimality of X/BP(pi) and Y, the factorization pi = psi after phi, and the identification R(phi) = BP(pi)) are satisfied.
- [8, proof of Theorem 8.1] The step 'By considering a subsequence and by a standard Krylov-Bogolyubov argument we can assume w.l.o.g. that x and x' are F-generic' is terse; please spell out how the subsequence is selected so that the inequality D^F_f + epsilon >= D_f remains valid.
- [8, proof of Theorem 8.4] The passage from nu_n to nu to the uniform bound '2 sum 2^{-m} ||f_m - h_m after pi||_{L1(nu_n)} <= 3 epsilon' uses a dominated-convergence or finite-tail argument; a short justification would help the reader.
- [10.3, proof of Theorem 10.3] The proof uses implicitly that the quotient X/BP(pi) is weakly mean equicontinuous because X is; please state this explicitly.
- [9.1, proof of Theorem 9.1] The proof contains two bullets labelled '(ii) => (iii)'; the second should be labelled '(iii) => (i)'.
- [Throughout] There are several typos: 'mean equicontinity' in the abstract, 'A extensively studied' in Section 1, 'it's maximal' in Section 4 and the introduction, and 'desintegration' in the proof of Theorem 8.1; these should be corrected.
- [11, Example 11.3] The claim that D is constantly 1 on R(pi) is made with the phrase 'straightforward to observe'; since this example is a key counterexample, please add a few more details of the computation.
Circularity Check
No significant circularity: the derivation from Definition 1.1 is self-contained; the one load-bearing external citation is not self-referential.
full rationale
The paper's central claim is a proposed relativization, Definition 1.1, and the structural theorems are derived from it rather than presupposed. Theorem 5.2, giving BP(pi)=RP(pi) for mean equicontinuous pi, is proved from Proposition 5.1, which in turn proves the equivalence of the defining condition with (M) plus equality of the relative Banach-proximal and regional-proximal relations; no theorem is assumed to define its own output. The characterizations in Theorems 9.1 and 9.2 use Theorem 8.1 (Banach proximality iff topo-isomorphy), which is proved in the paper from Lemmas 7.1-7.3 and standard external textbook facts; there is no fitted parameter renamed as a prediction. The decomposition Theorem 10.1 uses the cited criterion [2, Corollary 7.9] from Auslander's book; that is an independent, externally published structural theorem, not a self-citation, and its use is explicitly flagged in the proof rather than hidden. The only self-citation is [13], which appears in background reference lists for amenable-group settings and weak mean equicontinuity and is never used as a premise in any proof; it is therefore non-load-bearing and does not make the derivation circular. Honest open problems at the ends of Sections 10 and 11 explicitly delimit the unproved general case, further indicating that the claims are not forced by definition. Accordingly the derivation chain is self-contained against external benchmarks, and the circularity score is 1.0.
Assumptions & free parameters
assumptions (9)
- standard math Countable amenable group G admits a Følner sequence (F_n) with |F_n Δ g F_n| / |F_n| → 0 for all g ∈ G.
- domain assumption For continuous metrics, the Weyl pseudometric D is invariant and metric-independent up to equivalence, and D(x,x')=0 iff the pair is Banach proximal.
- domain assumption A factor map is equicontinuous iff its regional proximal relation equals the diagonal.
- domain assumption [2, Corollary 7.9]: for a proximal extension of minimal flows, the induced factor map is equicontinuous iff RP(pi) is contained in R(phi).
- domain assumption For any ergodic invariant measure on an action there exists a point and a Følner sequence for which the point is generic.
- standard math Invariant measures disintegrate over a factor and admit ergodic decompositions; the relative product measure ∫ μ_y × μ_y dν(y) is G-invariant on R(pi).
- domain assumption In a pointwise uniquely ergodic action, every point is generic for the unique invariant measure on its orbit closure along every Følner sequence.
- standard math Topo-isomorphic maps induce isometric isomorphisms π*: L1(π*μ) → L1(μ), so C(Y) is dense in L1 under pullback.
- domain assumption Weak mean equicontinuity passes to factor systems.
Cite this review
Pith. "Pith review of Mean equicontinuous factor maps." pith.science (2026). https://pith.science/paper/6O5CDFG7
@misc{pith2026241115549,
author = {Pith},
title = {Pith review of: Mean equicontinuous factor maps},
year = {2026},
howpublished = {\url{https://pith.science/paper/6O5CDFG7}},
note = {Machine review of arXiv:2411.15549}
}
read the original abstract
Mean equicontinity is a well studied notion for actions. We propose a definition of mean equicontinuous factor maps that generalizes mean equicontinuity to the relative context. For this we work in the context of countable amenable groups. We show that a factor map is equicontinuous, if and only if it is mean equicontinuous and distal. Furthermore, we show that a factor map is topo-isomorphic, if and only if it is mean equicontinuous and proximal. We present that the notions of topo-isomorphy and Banach proximality coincide for all factor maps. In the second part of the paper we turn our attention to decomposition and composition properties. It is well known that a mean equicontinuous action is a topo-isomorphic extension of an equicontinuous action. In the context of minimal and the context of weakly mean equicontinuous actions, respectively, we show that any mean equicontinuous factor map can be decomposed into an equicontinuous factor map after a topo-isomorphic factor map. Furthermore, for factor maps between weakly mean equicontinuous actions we show that a factor map is mean equicontinuous, if and only if it is the composition of an equicontinuous factor map after a topo-isomorphic factor map. We will see that this decomposition is always unique up to conjugacy.
Forward citations
Cited by 1 Pith paper
-
Mean Diameter, Regularity and Diam-Mean Equicontinuity
For amenable lcσ group actions on compact metric spaces, diam-mean equicontinuity holds iff the maximal equicontinuous factor map is regular.
Reference graph
Works this paper leans on
-
[13]
Gabriel Fuhrmann, Maik Gr¨ oger and Till Hauser,On the continuity of Følner averages, Preprint, arXiv:2303.17191 (2023) (English)
work page Pith review arXiv 2023
-
[1]
Joseph Auslander, Mean-L-stable systems , Illinois Journal of Mathe- matics 3 (1959), 566–579 (English)
work page 1959
-
[2]
153, Amsterdam etc.: North-Holl and, 1988 (English)
Joseph Auslander, Minimal flows and their extensions , North-Holland Mathematics Studies, vol. 153, Amsterdam etc.: North-Holl and, 1988 (English)
work page 1988
-
[3]
Yorke, Interval maps, factors of maps, and chaos , Tˆ ohoku Mathematical Journal
Joseph Auslander and James A. Yorke, Interval maps, factors of maps, and chaos , Tˆ ohoku Mathematical Journal. Second Series 32 (1980), 177–188 (English)
work page 1980
-
[4]
Fangzhou Cai, Dominik Kwietniak, Jian Li, and Habibeh Po urmand, On the properties of the mean orbital pseudo-metric , Journal of Differ- ential Equations 318 (2022), 1–19 (English)
work page 2022
-
[5]
Tomasz Downarowicz, The Choquet simplex of invariant measures for minimal flows , Israel Journal of Mathematics 74 (1991), no. 2-3, 241– 256 (English)
work page 1991
-
[6]
Tomasz Downarowicz, Survey of odometers and Toeplitz flows , Alge- braic and topological dynamics. Proceedings of the confere nce, Bonn, Germany, May 1–July 31, 2004, Providence, RI: American Math emat- ical Society (AMS), 2005, pp. 7–37 (English). 23
work page 2004
-
[7]
18, Cambridge: Cambridge University Press, 2011 (English)
Tomasz Downarowicz, Entropy in dynamical systems , New Mathemati- cal Monographs, vol. 18, Cambridge: Cambridge University Press, 2011 (English)
work page 2011
Show all 34 references
-
[8]
1, 321–338 (English)
Tomasz Downarowicz and Eli Glasner, Isomorphic extensions and ap- plications, Topological Methods in Nonlinear Analysis 48 (2016), no. 1, 321–338 (English)
2016
-
[9]
2, 117–132 (English)
Tomasz Downarowicz and Benjamin Weiss, When all points are generic for ergodic measures, Bulletin of the Polish Academy of Sciences, Math- ematics 68 (2020), no. 2, 117–132 (English)
2020
-
[10]
Robert Ellis, The Furstenberg structure theorem , Pacific Journal of Mathematics 76 (1978), 345–349 (English)
1978
-
[11]
Volume 1A, Amsterdam: North-Holland , 2002, pp
Renato Feres and Anatole Katok, Ergodic theory and dynamics of G-spaces (with special emphasis on rigidity phenomena) , Handbook of dynamical systems. Volume 1A, Amsterdam: North-Holland , 2002, pp. 665–763 (English)
2002
-
[12]
Sergei Fomin, On dynamical systems with a purely point spectrum , Dokl. Akad. Nauk SSSR, vol. 77, 1951, pp. 22–32 (Russian)
1951
-
[14]
1, 75–123 (English)
Gabriel Fuhrmann, Maik Gr¨ oger and Daniel Lenz, The structure of mean equicontinuous group actions , Israel Journal of Mathematics 247 (2022), no. 1, 75–123 (English)
2022
-
[15]
Hillel Furstenberg, The structure of distal flows , American Journal of Mathematics 85 (1963), 477–515 (English)
1963
-
[16]
4, 1211–1237 (English)
Felipe Garc´ ıa-Ramos, Weak forms of topological and measure- theoretical equicontinuity: relationships with discrete spectrum and sequence entropy, Ergodic Theory and Dynamical Systems 37 (2017), no. 4, 1211–1237 (English)
2017
-
[17]
1, 155–183 (English)
Felipe Garc´ ıa-Ramos, Tobias J¨ ager and Xiangdong Ye,Mean equiconti- nuity, almost automorphy and regularity, Israel Journal of Mathematics 243 (2021), no. 1, 155–183 (English)
2021
-
[18]
2, 729–746 (En- glish)
Felipe Garc´ ıa-Ramos and Brian Marcus,Mean sensitive, mean equicon- tinuous and almost periodic functions for dynamical system s, Discrete and Continuous Dynamical Systems 39 (2019), no. 2, 729–746 (En- glish). 24
2019
-
[19]
Eli Glasner, Ergodic theory via joinings , Math. Surv. Monogr., vol. 101, Providence, RI: American Mathematical Society (AMS),2003 (En- glish)
2003
-
[20]
2, 494–533 (En- glish)
Wen Huang, Jian Li, Jean-Paul Thouvenot, Leiye Xu, and X iangdong Ye, Bounded complexity, mean equicontinuity and discrete spec trum, Ergodic Theory and Dynamical Systems 41 (2021), no. 2, 494–533 (En- glish)
2021
-
[21]
Second Series 98 (2018), no
Martha /suppress Lacka and Marta Straszak,Quasi-uniform convergence in dy- namical systems generated by an amenable group action , Journal of the London Mathematical Society. Second Series 98 (2018), no. 3, 687–707 (English)
2018
-
[22]
2, 333–352 (English)
Jian Li, Chaos and entropy for interval maps , Journal of Dynamics and Differential Equations 23 (2011), no. 2, 333–352 (English)
2011
-
[23]
1, 36–51 (English)
Jian Li and Siming Tu, On proximality with Banach density one , Jour- nal of Mathematical Analysis and Applications 416 (2014), no. 1, 36–51 (English)
2014
-
[24]
8, 2587–2612 (English)
Jian Li, Siming Tu and Xiangdong Ye, Mean equicontinuity and mean sensitivity, Ergodic Theory and Dynamical Systems 35 (2015), no. 8, 2587–2612 (English)
2015
-
[25]
9, 4727–4744 (English)
Jie Li, How chaotic is an almost mean equicontinuous system? , Dis- crete and Continuous Dynamical Systems 38 (2018), no. 9, 4727–4744 (English)
2018
-
[26]
1, 359–393 (English)
Jie Li, Xiangdong Ye and Tao Yu, Mean equicontinuity, complexity and applications, Discrete and Continuous Dynamical Systems 41 (2021), no. 1, 359–393 (English)
2021
-
[27]
Oxtoby, Ergodic sets , Bulletin of the American Mathematical Society 58 (1952), 116–136 (English)
John C. Oxtoby, Ergodic sets , Bulletin of the American Mathematical Society 58 (1952), 116–136 (English)
1952
-
[28]
1, 101–116 (English)
Jiahao Qiu and Jianjie Zhao, A note on mean equicontinuity , Jour- nal of Dynamics and Differential Equations 32 (2020), no. 1, 101–116 (English)
2020
-
[29]
Second Series 26 (1982), 451–464 (English)
Bruno Scarpellini, Stability properties of flows with pure point spec- trum, Journal of the London Mathematical Society. Second Series 26 (1982), 451–464 (English)
1982
-
[30]
Texts Math., vol
Peter Walters, An introduction to ergodic theory , paperback ed., Grad. Texts Math., vol. 79, New York, NY: Springer, 2000 (English) . 25
2000
-
[31]
3, 2415–2428 (English)
Leiye Xu and Liqi Zheng, Weak mean equicontinuity for a countable discrete amenable group action , Journal of Dynamics and Differential Equations 36 (2024), no. 3, 2415–2428 (English)
2024
-
[32]
7, 3004–3031 (English)
Kesong Yan, Conditional entropy and fiber entropy for amenable group actions, Journal of Differential Equations 259 (2015), no. 7, 3004–3031 (English)
2015
-
[33]
Zhongxuan Yang and Xiaojun Huang, A note on weak mean equicon- tinuity and strong mean sensitivity , Preprint, arXiv:2401.09741 (2024) (English)
2024 arXiv
-
[34]
4, 2741–2773 (English)
Liqi Zheng and Zuohuan Zheng, A new metric for statistical properties of long time behaviors , Journal of Differential Equations 269 (2020), no. 4, 2741–2773 (English). 26
2020
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.