REVIEW 4 major objections 4 minor 2 cited by
A note on multivariate diam mean equicontinuity and frequent stability
T0 review · 4 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read Theorem 5.2 equates m-regularity of the maximal equicontinuous factor, weakly mean-sensitive m-tuples, and the diam-mean sensitivity threshold for minimal locally Bronstein systems.
desk verdict New and correct Auslander-Yorke dichotomies for amenable groups; the tuple characterization of m-regularity is not self-contained and the note needs cleanup. 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 proof has two workhorses. One is the set of diam-mean $m$-equicontinuity points $DE^m$ and the set of frequent $m$-stability points $FS^m$: for each sensitivity scale $\varepsilon$ the approximating sets are open, invariant, and $G_\delta$, and their complements are closed and invariant. Invariance plus a transitive point forces the whole space to lie on one side of the dichotomy (Propositions 3.2 and 3.4). The other workhorse is the local Bronstein condition, which lets the paper invoke an imported structural result from reference [26]: absence of essential weakly $(m+1)$-sensitive tuples forces the maximal equicontinuous factor map to be regular $m'$-to-one with $m'\le m$, and regular fibers contain essential weakly $m'$-sensitive tuples. Weakly mean-sensitive tuples are the local certificates that connect the two: an essential $m$-tuple has positive upper Banach density of visits to product neighbourhoods of any open set, which is exactly what turns tuple sensitivity into diam-mean $m$-sensitivity (Theorem 5.1).
What would settle it
Find a minimal abelian (or virtually nilpotent) system whose first diam-mean-sensitive order differs from the almost-everywhere fiber size of its maximal equicontinuous factor; for example, a Toeplitz subshift with known maximal-factor fiber statistics where an essential weakly 3-sensitive tuple appears although the fibers have size 2, or where the fibers have size 3 but the first sensitive order is 2. Either outcome would falsify Theorem 5.2. A more targeted check is to verify whether implication $(ii)\Rightarrow(i)$ holds when the imported result from reference [26] is replaced by a direct calculation of maximal-factor fibers.
Extended reading notes
Core claim
The central claim is Theorem 5.2. It says that for a minimal topological dynamical system satisfying the local Bronstein condition, the following are equivalent for each positive integer $m$: the map to the maximal equicontinuous factor is regular $m$-to-one; there exists an essential weakly mean-sensitive $m$-tuple and no essential weakly mean-sensitive $(m+1)$-tuple; every fiber of the maximal equicontinuous factor contains an essential weakly $m$-sensitive tuple and none of size $m+1$; the system is diam-mean $(m+1)$-equicontinuous but not diam-mean $m$-equicontinuous; and the system is not diam-mean $(m+1)$-sensitive but is diam-mean $m$-sensitive. Theorems 1.1 and 1.2 provide the underlying dichotomies for transitive and minimal systems, respectively, for both diam-mean equicontinuity/sensitivity and frequent stability/strong spreading. In the locally Bronstein setting, the equivalence pins down the integer $m$ at which mean sensitivity begins as the regular fiber cardinality of the maximal equicontinuous factor.
Load-bearing premise
The argument leans on an imported, as-yet-unpublished result from reference [26]: if a minimal system has no essential weakly mean-sensitive $(m+1)$-tuple, then the map to its maximal equicontinuous factor must be regular $m'$-to-one for some $m'\le m$, and each generic fiber must contain an essential weakly $m'$-sensitive tuple; should that theorem fail, the $(ii)\Rightarrow(i)$ direction of Theorem 5.2 collapses.
Editorial extensions
If this is right
- In every minimal locally Bronstein system, the smallest $m$ for which an essential weakly mean-sensitive $m$-tuple exists equals the smallest $m$ for which diam-mean $m$-sensitivity holds, and both equal the almost-everywhere fiber size of the maximal equicontinuous factor.
- Diam-mean $(m+1)$-equicontinuity without diam-mean $m$-equicontinuity is equivalent to diam-mean $m$-sensitivity without diam-mean $(m+1)$-sensitivity, so the two notions record the same threshold from opposite sides.
- For minimal actions of abelian groups—where the local Bronstein condition is automatic—the equivalence gives a purely dynamical criterion for $m$-regularity: count the first order at which sensitivity appears, without constructing the maximal equicontinuous factor.
- The dichotomy theorems imply that almost diam-mean $m$-equicontinuity and diam-mean $m$-sensitivity exhaust the possibilities for transitive systems, and for minimal systems the 'almost' disappears, making the alternative a genuine partition of the space.
- The frequent-stability dichotomy runs in parallel: minimal systems are either frequently $m$-stable or strongly $m$-spreading, with the same threshold structure under the local Bronstein condition.
Reading between the lines
- The same tuple machinery could be pushed further: the existence of weakly mean-sensitive tuples of size exactly $m$ might be decidable for subshifts of finite type by finite-block search, giving a numerical 'sensitivity spectrum' that predicts the maximal-equicontinuous-factor fiber size without constructing the factor.
- The local Bronstein assumption in Theorem 5.2 is likely not optimal; the dichotomy theorems need only minimality, so extending the imported result from reference [26] beyond locally Bronstein systems would immediately widen the equivalence to any minimal amenable action.
- Because Proposition 5.5 shows strong $m$-spreading is a collective, finite-family phenomenon, quantitative versions of the dichotomy—rates of divergence or densities of spreading times—may be accessible even when single tuples fail to certify spreading.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies multivariate diam-mean equicontinuity, diam-mean sensitivity, frequent stability, and strong spreading for topological dynamical systems acted on by countable discrete amenable groups. It establishes Auslander-Yorke type dichotomies: for transitive systems, either almost diam-mean m-equicontinuity or diam-mean m-sensitivity (Theorem 1.1), and either almost frequent m-stability or strong m-spreading (Theorem 1.2), with the minimal versions following as corollaries. It also proves a characterization of diam-mean m-sensitivity via essential weakly mean-sensitive m-tuples (Theorem 1.3 / Theorem 5.1) and states a local characterization of m-regular extensions of the maximal equicontinuous factor (Theorem 5.2) under a local Bronstein condition, together with a characterization of strong m-spreading via finite families of tuples (Proposition 5.5).
Significance. If all results hold, the paper would give clean multivariate analogues of classical dichotomies and a local tuple-based description of finite-to-one regularity, extending earlier work in [18] to virtually nilpotent groups and to amenable groups under a local Bronstein condition. The proofs of the dichotomies in Propositions 3.1--3.4 are self-contained and appear correct, and Theorem 5.1 provides a useful and largely elementary tuple characterization. However, the central structural result, Theorem 5.2, is not proven in this manuscript: its decisive implications are imported from an unpublished preprint by one of the authors, and the proof of Theorem 4.1 contains a genuine gap. The significance of the paper is therefore conditional on an external result that is not made available here.
major comments (4)
- [§5.1, Theorem 5.2] The equivalence in Theorem 5.2 is not self-contained. In direction (ii)⇒(i), the implication 'no essential weakly (m+1)-sensitive tuple implies π_eq is regular m′-to-one for some m′ ≤ m' is imported from [26, Corollary 5.3], and in direction (i)⇒(iii), the statement that in a regular m-to-one extension every fiber contains an essential weakly m-sensitive tuple is also imported from the same corollary. Neither the precise statement nor the proof of Corollary 5.3 is given in this note, and [26] is an unpublished preprint coauthored by one of the present authors. These steps are load-bearing for the main characterization, so Theorem 5.2 is incomplete as written. The authors should either reproduce the needed arguments or state the exact result they rely on and make it verifiable.
- [§4, Theorem 4.1] The proof of Theorem 4.1 establishes the desired bound only for tempered Følner sequences and then concludes 'As any Følner sequence has a tempered Følner subsequence [25], this completes the proof.' This is the wrong direction: passing to a subsequence can only decrease a limsup, so a bound on the limsup along a tempered subsequence does not imply the same bound for the original Følner sequence. In addition, the proof says it will show that any x is a diam-mean m-equicontinuous point, but the target is diam-mean (m+1)-equicontinuity. Thus the implication (i)⇒(iv) lacks a valid proof; a different argument, for instance selecting K with μ(∂K)=0 and using unique ergodicity along all Følner sequences, is needed.
- [§2.4, Definition 2.14 and §5.1] The definition of 'locally Bronstein' is garbled: the display in Definition 2.14 uses an m-tuple quantifier '∀i ∈ {1,...,m}' and variables x_i, y_j in what is supposed to be a condition on pairs (x,y), so the displayed formula is not meaningful as written. Moreover, Section 5.1 restates the local Bronstein condition differently, requiring minimal points (x,x′) with π_eq(x)=π_eq(x′) rather than almost periodic pairs satisfying xQy. Since Theorem 5.2 assumes this condition, the manuscript must state one consistent, precise definition and show that the two formulations are equivalent if both are used.
- [§5.1, Theorem 5.1] The proof of the converse direction in Theorem 5.1 contains several notational slips that make it hard to verify: after 'for any k ∈ F there exist x^k_1, ..., x^k_m ∈ U', the symbol k is used both as a group element and as an index, and later the finite-family construction refers to diameters shrinking like 1/l but initially uses 'Diam(A^1_i) ≤ 1'. These are local and presumably repairable, but they should be corrected so that the construction of the weakly mean-sensitive tuple is unambiguous.
minor comments (4)
- [Abstract and Introduction] The abstract contains typographical errors: 'action of a is a countable discrete infinite group' and 'vial weakly mean sensitive tuples' should be read as 'action of a countable discrete infinite group' and 'via weakly mean sensitive tuples'.
- [§3.2, Proposition 3.3] In the proof of invariance, two occurrences of 'x /∈ F Sm_ε' should read 'x /∈ DE^m_ε'; this is presumably a copy-and-paste error.
- [§4, Theorem 4.1, equation (4.1)] The display after (4.1) uses an equality where an inequality is needed, and the constant '2ε · μ_eq(K)' should be '(2ε/3) · μ_eq(K)' to match the preceding bound Diam_{m+1}(gB(x,η)) < 2ε/3.
- [§2.4, Definition 2.10] In the definition of the regionally proximal m-relation, the expression 'd(g_n(x'_{i,n}), g_n(y'_{j,n}))' should presumably be 'd(g_n(x'_{i,n}), g_n(x'_{j,n}))' since only the x' sequences are defined.
Circularity Check
Theorem 5.2 imports the decisive tuple-to-regularity implications from [26, Cor. 5.3], an unpublished preprint coauthored by present author Chunlin Liu.
-
self citation load bearing
[Section 5.1, Theorem 5.2 proof]
"The first statement has been proven in [26, Corollary 5.3]. ... (ii) ⇒ (i). By Corollary 5.3 in [26], as (X, G) has no essential weakly (m + 1)-sensitive tuple, we know that πeq is regular m′-to-one for some 0 < m′ ≤ m."
Reference [26] is Liu, Xu and Zhang, 'Independence and sensitivity for group actions', preprint (2025), coauthored by Chunlin Liu, one of the authors of the present note. The two decisive tuple-to-regularity implications—that regularity forces an essential weakly m-sensitive tuple in every fiber, and that the absence of an essential weakly (m+1)-sensitive tuple forces a regular m′-to-one MEF with m′ ≤ m—are not proved here; the proof of Theorem 5.2 imports them verbatim from [26]. The equivalence in Theorem 5.2 therefore rests on an unpublished same-author result rather than on a derivation contained in the note, so the central claim is load-bearing on a self-citation.
full rationale
The Auslander-Yorke dichotomies (Theorems 1.1, 1.2, Propositions 3.2 and 3.4) and the tuple-to-sensitivity direction (Theorem 5.1) are self-contained and do not depend on [26], so the paper is not globally circular. However, the advertised local characterisation of m-regularity in Theorem 5.2 is not self-contained: its (i)⇒(iii) first part and the whole (ii)⇒(i) direction are delegated to Corollary 5.3 of [26], an unpublished preprint sharing author Chunlin Liu. Since the present note provides no proof or independent verification of that corollary, the main equivalence is partly forced by a self-citation chain rather than by the paper's own arguments. This warrants score 6 rather than a higher score because the dichotomy theorems and the new (v)⇒(ii) direction are independent content. A separate proof gap in Theorem 4.1 (using a tempered Følner subsequence in the wrong direction to bound an arbitrary Følner limsup) is a correctness issue, not a circularity, and was not counted in the score.
Assumptions & free parameters
assumptions (5)
- domain assumption G is a countable discrete amenable group (for the main theorems; virtually nilpotent or local Bronstein for Theorem 5.2).
- standard math Existence and uniqueness of the maximal equicontinuous factor for any tds (Theorem 2.7, citing [13]).
- standard math Lindenstrauss pointwise ergodic theorem for tempered Følner sequences of amenable groups.
- ad hoc to paper Corollary 5.3 of [26] (Liu-Xu-Zhang, preprint): absence of essential weakly (m+1)-sensitive tuples forces a regular m'-to-one MEF with m'<=m, and in the regular m-to-one case every fiber contains an essential weakly m-sensitive tuple.
- domain assumption Virtually nilpotent acting groups make minimal systems incontractible, hence locally Bronstein (Lemma 2.15, via [17]).
Cite this review
Pith. "Pith review of A note on multivariate diam mean equicontinuity and frequent stability." pith.science (2026). https://pith.science/paper/5LDMGV4X
@misc{pith2026250623313,
author = {Pith},
title = {Pith review of: A note on multivariate diam mean equicontinuity and frequent stability},
year = {2026},
howpublished = {\url{https://pith.science/paper/5LDMGV4X}},
note = {Machine review of arXiv:2506.23313}
}
abstract
Let $(X,G)$ be a topological dynamical system, given by the action of a is a countable discrete infinite group on a compact metric space $X$. We prove that if $(X,G)$ is minimal, then it is either diam-mean $m$-equicontinuious or diam-mean $m$-sensitive. Similarly, $(X,G)$ is either frequently $m$-stable or strongly $m$-spreading. Further, when $G$ is abelian (or, more generally, virtually nilpotent), then the following statements are equivalent: $\bullet$ $(X,G)$ is a regular $m$-to-one extension of its maximal equicontinuous factor; $\bullet$ $(X,G)$ is diam-mean $(m+1)$-equicontinuious, and not diam mean $m$-equicontinuious; $\bullet$ $(X,G)$ is not diam-mean $(m+1)$-sensitive, but diam mean $m$-sensitive; $\bullet$ $(X,G)$ has an essential weakly mean sensitive $m$-tuple but no essential weakly mean sensitive $(m+1)$-tuple. This provides a {\em \enquote*{local}} characterisation of $m$-regularity and mean $m$-sensitivity vial weakly mean sensitive tuples. The same result holds when $G$ is amenable and $(X,G)$ satisfies the local Bronstein condition.
Figures
Forward citations
Cited by 2 Pith papers
-
Conditional Topomorphic Degree and Multivariate Mean Equicontinuity for Minimal Amenable Group Actions
For minimal actions of countably infinite discrete amenable groups, r-point mean equicontinuity (Weyl or along a Følner sequence) holds iff the conditional topomorphic degree is at most r−1; an exact degree formula an...
-
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
-
[26]
Independence and sensitivity for group actions
Liu, C., Xu, L., and Zhang, S. Independence and sensitivity for group actions. preprint (2025). (Cited on Section 5.1 and 5.1.)
work page 2025
-
[18]
Multivariate frequent stability and diam-mean equicontinuity, 2025
Haupt, L. Multivariate frequent stability and diam-mean equicontinuity, 2025. (Cited on Section 1, 1, 1, 2, 2.4, and 4.)
work page 2025
-
[23]
Equicontinuity and sensitivity in mean forms
Li, J., Ye, X., and Yu, T. Equicontinuity and sensitivity in mean forms. J. Dynam. Differential Equations 34 , 1 (2022), 133–154. (Cited on Section 1, 1, and 5.1.)
work page 2022
-
[25]
Pointwise theorems for amenable groups
Lindenstrauss, E. Pointwise theorems for amenable groups. Invent. Math. 146 , 2 (2001), 259–295. (Cited on Section 4.)
work page 2001
-
[1]
Minimal flows and their extensions , vol
Auslander, J. Minimal flows and their extensions , vol. 153 of North-Holland Mathematics Studies . North- Holland Publishing Co., Amsterdam, 1988. Notas de Matem´ atica [Mathematical Notes], 122. (Cited on Section 1 and 2.9.)
work page 1988
-
[2]
Minimal flows with a closed proximal cell
Auslander, J. Minimal flows with a closed proximal cell. Ergodic Theory and Dynamical Systems 21 , 3 (2001), 641–645. (Cited on Section 2.13.)
work page 2001
-
[3]
A group theoretic condition in topological dynamics
Auslander, J. A group theoretic condition in topological dynamics. Topology Proceedings 28 (01 2004). (Cited on Section 2.12 and 2.13.)
work page 2004
-
[4]
Interval maps, factors of maps, and chaos
Auslander, J., and Yorke, J. Interval maps, factors of maps, and chaos. Tohoku Math. J. (2) 32 , 2 (1980), 177–188. (Cited on Section 1.)
work page 1980
Show all 30 references
-
[5]
Aperiodic Order, vol
Baake, M., and Grimm, U. Aperiodic Order, vol. 1. Cambridge Univ. Press, 2013. (Cited on Section 1.)
2013
-
[6]
Characterization of model sets by dynamical systems
Baake, M., Lenz, D., and Moody, R. Characterization of model sets by dynamical systems. Ergodic Theory Dynam. Systems 27 , 2 (2007), 341–382. (Cited on Section 1.)
2007
-
[7]
A disjointness theorem involving topological entropy
Blanchard, F. A disjointness theorem involving topological entropy. Bull. Soc. Math. France 121 , 4 (1993), 465–478. (Cited on Section 1.)
1993
-
[8]
A variation on the variational principle and applications to entropy pairs
Blanchard, F., Glasner, E., and Host, B. A variation on the variational principle and applications to entropy pairs. Ergodic Theory Dynam. Systems 17 , 1 (1997), 29–43. (Cited on Section 1.)
1997
-
[9]
Blanchard, F., Host, B., Maass, A., Martinez, S., and Rudolph, D. J. Entropy pairs for a measure. Ergodic Theory Dynam. Systems 15 , 4 (1995), 621–632. (Cited on Section 1.)
1995
-
[10]
Multivariate mean equicontinuity for finite-to-one topomorphic extensions
Breitenb¨ucher, J., Haupt, L., and J ¨ager, T. Multivariate mean equicontinuity for finite-to-one topomorphic extensions. Preprint, arXiv:2409.08707. (Cited on Section 1.)
-
[11]
Survey of odometers and Toeplitz flows
Downarowicz, T. Survey of odometers and Toeplitz flows. Contemp. Math. 385 (2005), 7–38. (Cited on Section 1.)
2005
-
[12]
Isomorphic extensions and applications
Downarowicz, T., and Glasner, E. Isomorphic extensions and applications. Topological Methods in Nonlinear Analysis 48, 1 (2016), 321–338. (Cited on Section 1.)
2016
-
[13]
Ellis, R., and Gottschalk, W. H. Homomorphisms of transformation groups. Trans. Amer. Math. Soc. 94 (1960), 258–271. (Cited on Section 2.3 and 2.4.)
1960
-
[14]
Irregular model sets and tame dynamics
Fuhrmann, G., Glasner, E., J ¨ager, T., and Oertel, C. Irregular model sets and tame dynamics. Trans. Amer. Math. Soc. 374 , 5 (2021), 3703–3734. (Cited on Section 1.)
2021
-
[15]
Mean equicontinuity, almost automorphy and regularity
Garc´ıa-Ramos, F., J ¨ager, T., and Ye, X. Mean equicontinuity, almost automorphy and regularity. Israel J. Math. 243 , 1 (2021), 155–183. (Cited on Section 1.)
2021
-
[16]
Bernoulli disjointness
Glasner, E., Tsankov, T., Weiss, B., and Zucker, A. Bernoulli disjointness. Duke Math. J. 170 , 4 (2021), 615–651. (Cited on Section b.)
2021
-
[17]
Compressibility properties in topological dynamics
Glasner, S. Compressibility properties in topological dynamics. American Journal of Mathematics 97 , 1 (1975), 148–171. (Cited on Section b and 3.)
1975
-
[19]
Minimal systems with finitely many ergodic measures
Huang, W., Lian, Z., Shao, S., and Ye, X. Minimal systems with finitely many ergodic measures. J. Funct. Anal. 280, 12 (2021), Paper No. 109000, 42. (Cited on Section 1.)
2021
-
[20]
(Cited on Section 2.4.)
Huang, W., Lu, P., and Ye, X.Measure-theoretical sensitivity and equicontinuity.Israel Journal of Mathematics 183 (2011), 233–283. (Cited on Section 2.4.)
2011
-
[21]
Some constructions of strictly ergodic non-regular Toeplitz flows
Iwanik, A., and Lacroix, Y. Some constructions of strictly ergodic non-regular Toeplitz flows. Studia Math. 110, 2 (1994), 191–203. (Cited on Section 1.)
1994
-
[22]
Mean equicontinuity and mean sensitivity
Li, J., Tu, S., and Ye, X. Mean equicontinuity and mean sensitivity. Ergodic Theory Dynam. Systems 35 , 8 (2015), 2587–2612. (Cited on Section 1, 3.1, and 3.2.)
2015
-
[24]
On mean sensitive tuples
Li, J., and Yu, T. On mean sensitive tuples. J. Differential Equations 297 (2021), 175–200. (Cited on Section 1.)
2021
-
[27]
On mean sensitive tuples of discrete amenable group actions
Liu, X., and Yin, J. On mean sensitive tuples of discrete amenable group actions. Qual. Theory Dyn. Syst. 22 , 1 (2023), Paper No. 4, 36. (Cited on Section 1.)
2023
-
[28]
Generalized model sets and dynamical systems
Schlottmann, M. Generalized model sets and dynamical systems. In Directions in mathematical quasicrystals , vol. 13 of CRM Monogr. Ser. Amer. Math. Soc., Providence, RI, 2000, pp. 143–159. (Cited on Section 1.)
2000
-
[29]
Sensitivity and regionally proximal relation in minimal systems
Shao, S., Ye, X., and Zhang, R. Sensitivity and regionally proximal relation in minimal systems. Sci. China Ser. A 51 , 6 (2008), 987–994. (Cited on Section 1 and 1.) MULTIV ARIATE DIAM MEAN EQUICONTINUITY AND SENSITIVITY 15
2008
-
[30]
Toeplitz minimal flows which are not uniquely ergodic
Williams, S. Toeplitz minimal flows which are not uniquely ergodic. Z. Wahrsch. verw. Gebiete 67 , 1 (1984), 95–107. (Cited on Section 1.) (Lino Haupt) F aculty of Mathematics and Computer Science, Friedrich Schiller University Jena, Ger- many Email address : linojossfidel.hau...
1984
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.