Pith. sign in

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 →

arxiv 2411.15549 v1 pith:6O5CDFG7 submitted 2024-11-23 math.DS

classification math.DS MSC 37B0537A1537A30
keywords meanequicontinuityfactormapscountableamenablegroupsBanachproximalitytopo-isomorphicextensionsequicontinuousregionalproximalrelationdecompositiontheorems
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

Mean equicontinuity has been studied as a property of a whole action; this paper asks what the right notion is for a factor map—a continuous equivariant surjection between two actions of a countable amenable group. The proposed definition, given in Definition 1.1, requires that along pairs in the same fibre, a convergent sequence is asymptotically Banach proximal exactly when its limit is Banach proximal. With that definition in hand, the paper proves two clean characterizations: a factor map is equicontinuous precisely when it is mean equicontinuous and distal, and it is topo-isomorphic precisely when it is mean equicontinuous and proximal. For minimal actions and for weakly mean equicontinuous actions, every mean equicontinuous factor map decomposes as a topo-isomorphic factor map followed by an equicontinuous one, and the decomposition is unique up to conjugacy. A direct consequence is that such maps preserve topological entropy.

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.

Watch

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

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

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 7 minor

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)
  1. [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.
  2. [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.
  3. [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.
  4. [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.
  5. [9.1, proof of Theorem 9.1] The proof contains two bullets labelled '(ii) => (iii)'; the second should be labelled '(iii) => (i)'.
  6. [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.
  7. [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

0 steps flagged · score 1.0 of 10

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 0 free parameters · 9 assumptions · 0 invented entities

No free parameters. The paper relies on standard amenable-group ergodic theory and on several cited structural results, the most load-bearing being [2, Corollary 7.9] for the minimal decomposition. The relative product measure and generic-point machinery from [14, 19, 30] are also assumed. No new entities are postulated.

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.
    Foundation for all Besicovitch and Weyl averages; introduced in Section 2.1.
  • 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.
    Underpins the definition of mean equicontinuity and Proposition 3.1; cited to [21, Lemma 7 and Corollary 8] in Sections 1 and 2.3.
  • domain assumption A factor map is equicontinuous iff its regional proximal relation equals the diagonal.
    Used in Theorem 9.1 and Proposition 5.1; cited from [2, Chapter 7].
  • 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).
    Load-bearing premise of Theorem 10.1; not proved in the paper.
  • 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.
    Used in Theorem 8.1 (ii) implies (i) through the relative product measure argument; stated as Remark 2.1, cited to [14, Theorem 2.4].
  • 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).
    Core tool in Theorem 8.1 (ii) implies (i); references [19] and standard ergodic theory.
  • 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.
    Used in Theorem 8.4 and Theorem 11.1 to apply Lemma 7.3.
  • standard math Topo-isomorphic maps induce isometric isomorphisms π*: L1(π*μ) → L1(μ), so C(Y) is dense in L1 under pullback.
    Basis of Lemma 7.1 and Lemma 7.2; cited from [30, Chapter 2].
  • domain assumption Weak mean equicontinuity passes to factor systems.
    Ensures intermediate quotients in Section 10 are weakly mean equicontinuous; stated in Section 2.1.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Mean Diameter, Regularity and Diam-Mean Equicontinuity

    math.DS 2025-10 accept novelty 7.0 of 10

    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

34 extracted references · 34 canonical work pages · cited by 1 Pith paper

  1. [13]

    Gabriel Fuhrmann, Maik Gr¨ oger and Till Hauser,On the continuity of Følner averages, Preprint, arXiv:2303.17191 (2023) (English)

  2. [1]

    Joseph Auslander, Mean-L-stable systems , Illinois Journal of Mathe- matics 3 (1959), 566–579 (English)

  3. [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)

  4. [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)

  5. [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)

  6. [5]

    2-3, 241– 256 (English)

    Tomasz Downarowicz, The Choquet simplex of invariant measures for minimal flows , Israel Journal of Mathematics 74 (1991), no. 2-3, 241– 256 (English)

  7. [6]

    Proceedings of the confere nce, Bonn, Germany, May 1–July 31, 2004, Providence, RI: American Math emat- ical Society (AMS), 2005, pp

    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

  8. [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)

Show all 34 references
  1. [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)

  2. [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)

  3. [10]

    Robert Ellis, The Furstenberg structure theorem , Pacific Journal of Mathematics 76 (1978), 345–349 (English)

  4. [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)

  5. [12]

    Sergei Fomin, On dynamical systems with a purely point spectrum , Dokl. Akad. Nauk SSSR, vol. 77, 1951, pp. 22–32 (Russian)

  6. [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)

  7. [15]

    Hillel Furstenberg, The structure of distal flows , American Journal of Mathematics 85 (1963), 477–515 (English)

  8. [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)

  9. [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)

  10. [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

  11. [19]

    Eli Glasner, Ergodic theory via joinings , Math. Surv. Monogr., vol. 101, Providence, RI: American Mathematical Society (AMS),2003 (En- glish)

  12. [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)

  13. [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)

  14. [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)

  15. [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)

  16. [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)

  17. [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)

  18. [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)

  19. [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)

  20. [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)

  21. [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)

  22. [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

  23. [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)

  24. [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)

  25. [33]

    Zhongxuan Yang and Xiaojun Huang, A note on weak mean equicon- tinuity and strong mean sensitivity , Preprint, arXiv:2401.09741 (2024) (English)

  26. [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

Pith tools

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