Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Multivariate Frequent Stability and Diam-Mean Equicontinuity

T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that multivariate frequent stability and diam-mean equicontinuity characterize finite-to-one extensions of the maximal equicontinuous factor in minimal systems.

desk verdict Real multivariate extension with a solid first theorem; the second theorem relies on a missing density-translation argument in Proposition 5.4. read the letter →

arxiv 2501.07038 v1 pith:EZON757D submitted 2025-01-13 math.DS

Lino Haupt This is my paper · ORCID
classification math.DS MSC 37B0537A2537A30
keywords multivariatefrequentstabilitydiam-meanequicontinuitymaximalequicontinuousfactorfinite-to-oneextensionsFølnersequencesBanachdensityminimaltopologicaldynamicsregionallyproximalrelation
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 introduces multivariate versions of two weak rigidity notions—frequent stability and diam-mean equicontinuity—and uses them to characterize exactly how many preimages the maximal equicontinuous factor (MEF) can have. The main results, proved for minimal systems with a $\sigma$-compact, locally compact, abelian acting group, state that frequent $(m+1)$-stability is equivalent to the MEF factor map being almost $m$-to-one, while diam-mean $(m+1)$-equicontinuity is equivalent to the factor map being almost surely $m$-to-one. This matters because many natural systems, such as constant-length substitution subshifts, are finite-to-one extensions of their MEF rather than one-to-one extensions, and previous multivariate work covered equicontinuity and mean equicontinuity but not these two rigidity properties. If correct, the paper turns a fiber-counting question into a checkable dynamical condition on iterates of small balls, and vice versa.

What carries the argument

The central object is the multivariate diameter $\mathrm{diam}_m$ built from the minimal-pairwise-distance function $D_m(x_1,\ldots,x_m)=\min_{i<j} d(x_i,x_j)$. It turns the statement 'all points of a small ball stay well separated' into a continuous, real-valued observable on the hyperspace $(\mathcal{K}(X),d_H)$ of compact subsets, so that the induced action on the hyperspace can be studied through Følner averaging, Banach densities, and the pointwise ergodic theorem for tempered Følner sequences. The second load-bearing mechanism is the regional proximal relation $Q_m$: by Theorem 2.9, in the abelian minimal setting an $m$-tuple lies in $Q_m$ exactly when all its entries are in one MEF fiber, so fiber cardinality becomes a proximality statement. The dichotomies in Section 3 then force a uniform positive lower bound on the $(m+1)$-diameter of fibers exactly when the relevant finiteness condition fails.

What would settle it

Take a minimal system and Følner sequence for which the MEF map is not almost surely $m:1$, and compute the lower density inside the shifted windows $a_nF_n$ of the return-time set $H=\{g:\pi^*\mathrm{diam}_{m+1}(\beta(g,y^*))>5\varepsilon\}$ used in Proposition 5.4; a concrete system with value $\le 2\varepsilon$ would disprove the proof's key estimate, while a case with the expected lower bound would support the argument as written.

Watch

Extended reading notes

Core claim

For a minimal topological dynamical system $(X,\alpha,G)$ with $\sigma$-compact locally compact abelian $G$, the paper claims that two multivariate rigidity properties are exactly the finite-to-one extension properties of the maximal equicontinuous factor (MEF). Frequent $(m+1)$-stability—small balls having, for a positive-density set of group elements, iterates whose $(m+1)$-diameter is small—is claimed equivalent to the factor map $\pi\colon X\to Y$ being almost $m:1$, meaning the set of points with at most $m$ preimages is residual. Diam-mean $(m+1)$-equicontinuity, where the average of that diameter over every Følner sequence is small, is claimed equivalent to $\pi$ being almost surely $m:1$, meaning the set of points with at most $m$ preimages has full Haar measure in the MEF. The paper proves both equivalences in full, Theorem 4.5 for frequent stability and Theorem 5.6 for diam-mean equicontinuity, with weak one-point versions implying the strong uniform versions.

Load-bearing premise

The proof of the diam-mean characterization assumes, without stating or proving it, that a set of group elements with positive lower F-density still has positive lower density in every shifted Følner set $a_nF_n$, a shift-invariance that need not hold for arbitrary Følner sequences.

Editorial extensions

If this is right

  • For minimal $\mathbb{Z}$-actions, the univariate case $m=1$ returns the known characterizations: frequent stability is almost $1:1$ and diam-mean equicontinuity is almost surely $1:1$.
  • Weak one-point versions are enough: if a single point is weakly $(m+1)$-stable for a single Følner sequence, then every point is Banach $(m+1)$-stable for every Følner sequence; the same holds for diam-mean $(m+1)$-equicontinuity.
  • The dichotomy lemmas imply a clean gap: if almost $m:1$ fails, the $(m+1)$-diameter of every MEF fiber is bounded below by a positive constant, giving a quantitative obstruction to frequent stability.
  • The results hold for every $\sigma$-compact locally compact abelian acting group, not just $\mathbb{Z}$-actions, so the same finite-to-one characterization applies to actions of $\mathbb{R}^d$, tori, and $p$-adic groups.
  • Constant-length substitution subshifts, whose MEF fibers are finite but not necessarily single points, become test cases for the new notions instead of falling outside the one-to-one framework.

Reading between the lines

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

  • A consequence the author leaves implicit is that for systems whose MEF extension is finite-to-one but not one-to-one, such as constant-length substitution subshifts, the theorem predicts which multivariate diameter condition holds solely from the fiber bound, giving a direct laboratory for the distinction between the residual and full-measure versions of $m:1$.
  • The proof's reliance on $Q_2=Q^*$ suggests that the equivalence may fail for non-abelian acting groups, where higher-order regionally proximal tuples need not be determined by pairwise proximality; extending the result would require a different bridge between fibers and multivariate diameter.
  • The paper's Banach-density formulation invites a possible sharpening: since the pointwise ergodic theorem only requires tempered Følner sequences, the quantifier 'for every Følner sequence' in the definitions might be replaceable by 'for every tempered Følner sequence' without changing the class of systems.
  • A testable extension is to check whether the two dichotomies—residual versus positive lower bound in Lemma 3.12, and full measure versus positive measure in Lemma 3.8—form a strict hierarchy in $m$ for symbolic systems with known MEF fiber structure, such as constant-length substitutions or model sets.
Share X Bluesky LinkedIn Reddit HN

Formalized claims in Lean

  1. Claim #1: For a minimal topological dynamical system $(X,\alpha,G)$ with $\sigma$-compact locally compact abelian $G$, the paper claims that two multivariate rigidity properties are exactly the finite-to-one extension properties of the maximal equicontinuous factor (MEF). Frequent $(m+1)$-stability—small balls having, for a positive-density set of group elements, iterates whose $(m+1)$-diameter is small—is

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper introduces multivariate versions of frequent stability and diam-mean equicontinuity for minimal topological dynamical systems with a sigma-compact locally compact abelian acting group, using the multivariate distance D_m and the associated diameter diamm. The main results are Theorem 4.5, which asserts that frequent (m+1)-stability is equivalent to the factor map to the maximal equicontinuous factor being almost m:1, and Theorem 5.6, which asserts that diam-mean (m+1)-equicontinuity is equivalent to that factor map being almost surely m:1. The proofs combine hyperspace techniques, ergodic decomposition, and the structure of the MEF, and they generalize earlier univariate results of Xu-Hu and García-Ramos-Jäger-Ye.

Significance. If the results are correct, they provide a coherent multivariate hierarchy in which finite-to-one behavior of the MEF extension is characterized by weak rigidity properties of the system. The extension to general sigma-compact LCA acting groups and the use of Følner and Banach densities are substantial, and the paper is largely self-contained. Theorem 4.5 is supported by a coherent proof, and the main difficulty is localized in Proposition 5.4, where a density estimate needs a uniform-ergodicity argument. The statements are likely correct and repairable, so the result would be a useful contribution to the study of weak equicontinuity and MEF extensions.

major comments (3)
  1. [Proposition 5.4] The step after Eq. (7) is not justified. From D_F(H)>2ε for H={g : π*diam_{m+1}(β(g,y*))>5ε} one cannot conclude that lim inf_n m(a_nF_n∩H)/m(a_nF_n)>2ε for the arbitrary shifts a_n chosen later in the proof; F-density is not invariant under left translations of general Følner sets, and the proof supplies no uniform-in-base-point estimate. Moreover, Theorem 1.18 requires a tempered Følner sequence, and none is selected. This matters because Corollary 5.5 and the (iii)⇒(i) direction of Theorem 5.6 both rely on Proposition 5.4. The gap is repairable: since the MEF is uniquely ergodic and A={y : π*diam_{m+1}(y)>5ε} has ν(A)>2ε, one can choose a compact K⊂A and a continuous f with 1_K≤f≤1_A and apply the Uniform Ergodic Theorem 1.14 and Corollary 1.15 to obtain a uniform lower density bound for H valid along every translated Følner set a_nF_n.
  2. [Definitions 4.1 and 5.1] As printed, the 'Banach' and 'weakly' clauses are identical: both require BDF(T^{(m)}_{δ,ε}(x))<1 in Definition 4.1 and both require BDF(T^{(m)}_{δ,ε}(x))<ε in Definition 5.1. This cannot be the intended distinction, and it is load-bearing because Theorem 4.5(iii) and Theorem 5.6(iii) assert an existential weak version that must be weaker than the universal Banach version. The notation in Definition 1.10 also uses the same symbol for the upper and lower F-Banach densities, making Lemma 1.11 and all later density inequalities ambiguous. The authors should restore the intended upper/lower density symbols and make the proofs of (iii)⇒(i) consistent with the corrected definitions.
  3. [Corollary 5.5] Even setting aside the density-translation gap, Proposition 5.4 yields only a limsup bound along one chosen sequence of shifts. Such a bound directly controls the upper F-Banach density of the bad set, not the lower F-Banach density. If the Banach condition in Definition 5.1 is intended to use the lower F-Banach density, Corollary 5.5 does not follow as written; if it is intended to use the upper F-Banach density, the notation in Definitions 1.10 and 5.1 must be made unambiguous. The central proof of Theorem 5.6 can be reorganized to avoid relying on this corollary, but the statement itself needs correction.
minor comments (4)
  1. [Section 1.1] The symbols for upper and lower F-density and upper and lower F-Banach density are not visually distinguished in the typeset text, so Lemma 1.11 as displayed is not a meaningful inequality chain; please use consistently distinguished notations such as \overline{BD}_F and \underline{BD}_F.
  2. [Proposition 5.4] The text first states 'By the Lindenstrauss Ergodic Theorem 1.18, there is y*' and then says 'Pick any y*'; the second occurrence should be removed or reworded, since the later construction must use the y* supplied by the ergodic theorem.
  3. [Theorem 5.6, proof of (iii)⇒(i)] When applying the Lindenstrauss Ergodic Theorem to a tempered subsequence of FB*, the authors should explicitly say that the tempered subsequence is chosen so that the limsup bound from Proposition 5.4 is still realized along that subsequence; otherwise the contradiction M_e^*(Ω^c)>2ε is not directly tied to the density estimate.
  4. [Lemma 1.21] In the proof of the lower bound, the inductive construction gives D_m(a_1,...,a_m)≥ε rather than >ε, since the selected points avoid open ε-balls; the conclusion diamm(A)≥Em(A) still follows after taking the supremum over ε<Em(A), but the strict inequality should be corrected.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity found: the main equivalences are derived from external theorems and independent arguments, with one non-load-bearing self-citation and a separate non-circular proof gap in Proposition 5.4.

full rationale

The derivation chain of Theorems 4.5 and 5.6 is not circular. The forward directions use only the unique ergodicity of the maximal equicontinuous factor via Theorem 1.14 and Corollary 1.15, Lemma 3.5, and elementary preimage estimates; the reverse directions invoke Proposition 4.3 and Proposition 5.4, which are proved by generalising the independent argument of Xu and Hu [26] with the help of Auslander's Theorem 2.9 and Lemma 3.12. None of these inputs states or assumes the target equivalence, and no fitted parameter is renamed as a prediction. The only self-citation is to the companion paper [5] for the multivariate distance D_m and the polygon inequality (Lemma 1.19); D_m is explicitly defined in the present paper, and Lemma 1.19 is not used in the proofs of the main theorems, so this citation is not load-bearing. The proof of Proposition 5.4 does contain a genuine gap: after obtaining D_F(H) > 2ε in (7), the text asserts 'Now, (7) implies that lim inf_n m(a_nF_n ∩ H)/m(a_nF_n) > 2ε' with no justification of shift-invariance of lower F-density, and it also shifts the base point from y* to β(a_n,y*) when passing from π∗diamm+1(β(g,y*)) to diamm+1(α(h,B)). This is a missing uniform-ergodicity/shift-invariance argument and is a correctness risk for Theorem 5.6(iii)⇒(i), but it is not circular: it does not assume the conclusion, does not reduce to a fitted input, and does not rely on a self-citation. Accordingly the circularity score is low and reflects only the minor non-load-bearing self-citation, not a circular derivation.

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

The theorems derive new equivalence statements using standard notions; no parameters are fitted to data. All nontrivial input comes from prior literature, mainly Auslander's theorem, the multivariate distance from the companion paper, and the univariate results of Xu-Hu and García-Ramos-Jäger-Ye. The only ad hoc input I identified is the unproved density-translation premise in Proposition 5.4.

assumptions (5)
  • standard math Standard ZFC topology and measure theory, including Arzelà-Ascoli, Baire category, Haar measure, Følner sequence existence, ergodic decomposition, and the Lindenstrauss pointwise ergodic theorem.
    Invoked throughout the preliminaries and proofs, for example in Theorems 1.2, 1.4, 1.6, 1.13, and 1.18.
  • domain assumption Existence and uniqueness of the maximal equicontinuous factor, and its representation as a compact abelian group rotation.
    Used in Section 2 and in both main theorems; the whole paper characterizes extensions of the MEF.
  • domain assumption Auslander's theorem that for abelian actions, the m-regionally proximal relation Q_m is exactly the set of tuples lying in one MEF fiber, so Q_2=Q* and Q_m is determined by pairwise relations.
    Used in Propositions 4.3 and 5.4 to conclude that a tuple from one fiber is regionally proximal and can be jointly approximated by iterates of a small ball.
  • domain assumption Minimality of the system and unique ergodicity of the maximal equicontinuous factor.
    Main theorems 4.5 and 5.6 assume minimality; Corollary 2.2 and the Uniform Ergodic Theorem are used to estimate return-time densities.
  • ad hoc to paper The density-translation premise in Proposition 5.4: a return-time set with positive F-density must have positive lower density along the arbitrary translated Følner sets a_nF_n.
    This premise is used to infer lim inf m(a_nF_n∩H)/m(a_nF_n)>2ε from (7). It is not stated or proved, and it is not true for arbitrary Følner sequences without an additional argument.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Multivariate Frequent Stability and Diam-Mean Equicontinuity." pith.science (2026). https://pith.science/paper/EZON757D

@misc{pith2026250107038,
  author       = {Pith},
  title        = {Pith review of: Multivariate Frequent Stability and Diam-Mean Equicontinuity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EZON757D}},
  note         = {Machine review of arXiv:2501.07038}
}
abstract

In this paper, we introduce and investigate multivariate versions of frequent stability and diam-mean equicontinuity. Given a natural number $m > 1$, we call those notions "frequent $m$-stability" and "diam-mean $m$-equicontinuity". We use these dynamical rigidity properties to characterise systems whose factor map to the maximal equicontinuous factor (MEF) is finite-to-one for a residual set, called "almost finite-to-one extensions", or a set of full measure, called "almost surely finite-to-one extensions". In the case of a $\sigma$-compact, locally compact, abelian acting group it is shown that frequently $(m+1)$-stable systems are equivalently characterised as almost $m$-to-one extensions of their MEF. Similarly, it is shown that a system is diam-mean $(m+1)$-equicontinuous if and only if it is an almost surely $m$-to-one extension of its MEF.

Figures

Figures reproduced from arXiv: 2501.07038 by the authors.

Figure 1
Figure 1. Commutative Diagram of MEF While the factor map π plays a fundamental role in Definition 2.3, it is common practice to notationally suppress it and call (Y, β, G) a MEF. This is justified because any other factor map π ′ : (X, α, G) → (Y, β, G) also satisfies [PITH_FULL_IMAGE:figures/full_fig_p014_1.png] view at source ↗

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

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

  1. [1]

    Aliprantis and Kim C

    Charalambos D. Aliprantis and Kim C. Border. Infinite dimensional analysis : a hitchhiker’s guide. Springer, 2006

    work page 2006

  2. [2]

    Minimal Flows and Their Extensions

    Joseph Auslander. Minimal Flows and Their Extensions . ISSN. Elsevier Science, 1988

    work page 1988

  3. [3]

    A group theoretic condition in topological dyn amics

    Joseph Auslander. A group theoretic condition in topological dyn amics. In Proceedings of the 18th Summer Conference on Topology and its Applications , volume 28, pages 327–334, 2004

    work page 2004

  4. [4]

    Joseph Auslander and James A. Yorke. Interval maps, factor s of maps, and chaos. Tohoku Mathematical Journal , 32(2):177 – 188, 1980

    work page 1980

  5. [5]

    Multivar iate mean equicontinuity for finite-to-one topomorphic extensions, 2024

    Jonas Breitenb¨ ucher, Lino Haupt, and Tobias J¨ ager. Multivar iate mean equicontinuity for finite-to-one topomorphic extensions, 2024

    work page 2024

  6. [6]

    Frederik M. Dekking. The spectrum of dynamical systems arising from substitutions of con- stant length. Zeitschrift f¨ ur Wahrscheinlichkeitstheorie und Verwandte Gebiete, 41(3):221–239, 1978

    work page 1978

  7. [7]

    Some notes on induced func- tions and group actions on hyperspaces

    Victor Donju´ an, Natalia Jonard-P´ erez, and Ananda L´ opez-Poo. Some notes on induced func- tions and group actions on hyperspaces. Topology and its Applications , 311:107954, 2022. Special Issue for the Conference on Geometric Topology and Relat ed Topics Dedicated to the 65th birthday of Sergey A. Antonyan

    work page 2022

  8. [8]

    Isomorphic extensions and applications

    Tomasz Downarowicz and Eli Glasner. Isomorphic extensions and applications. Topological Methods Nonlinear Analysis , 48(1):321–338, 2016

    work page 2016

Show all 26 references
  1. [9]

    Einsiedler and Thomas Ward

    Manfred L. Einsiedler and Thomas Ward. Ergodic theory with a view towards number theory , volume 259 of Graduate Texts in Mathematics . Springer-Verlag London, Ltd., London, 2011

    2011

  2. [10]

    Einsiedler and Thomas Ward

    Manfred L. Einsiedler and Thomas Ward. Functional analysis, spectral theory, and appli- cations. Graduate texts in mathematics. Springer, Cham, 2017. Literatu rverzeichnis: Seite 593-597

    2017

  3. [11]

    Sergei V. Fomin. On dynamical systems with a purely point spect rum. Doklady Akademii Nauk SSSR , 77:29–32, 1951

    1951

  4. [12]

    Irregular model sets and tame dynamics

    Gabriel Fuhrmann, Eli Glasner, Tobias J¨ ager, and Christian Oe rtel. Irregular model sets and tame dynamics. Transactions of the American Mathematical Society , 374(5):3703–3734, 2021

    2021

  5. [13]

    The struct ure of mean equicontinuous group actions, March 2022

    Gabriel Fuhrmann, Maik Gr¨ oger, and Daniel Lenz. The struct ure of mean equicontinuous group actions, March 2022

    2022

  6. [14]

    Mean equicontinuity, almost automor- phy and regularity

    Felipe Garc ´ ıa-Ramos, Tobias J¨ ager, and Xiangdong Ye. Mean equicontinuity, almost automor- phy and regularity. Israel Journal of Mathematics , 243(1):155–183, 2021

    2021

  7. [15]

    Coincidence rank and multivariate equicontinuity, 2024

    Felipe Garc ´ ıa-Ramos and Irma Le´ on-Torres. Coincidence rank and multivariate equicontinuity, 2024

    2024

  8. [16]

    A Halmos–von Neumann theor em for actions of general groups

    Patrick Hermle and Henrik Kreidler. A Halmos–von Neumann theor em for actions of general groups. Applied Categorical Structures , 31(5), September 2023

    2023

  9. [17]

    Measure-theoretical s ensitivity and equicontinuity

    Wen Huang, Ping Lu, and Xiangdong Ye. Measure-theoretical s ensitivity and equicontinuity. Israel Journal of Mathematics , 183(1):233–283, June 2011

    2011

  10. [18]

    Strictly ergodic symbolic dynamical systems

    Shizuo Kakutani. Strictly ergodic symbolic dynamical systems. I n L. M. Le Cam, J. Neyman, and E. L. Scott, editors, Proceedings of the Sixth Berkeley Symposium on Mathematica l Sta- tistics and Probability: Probability Theory , pages 319–326, Berkeley, CA, 1972. University of...

    1972

  11. [19]

    John L. Kelley. General Topology. Graduate Texts in Mathematics. Springer New York, 1975

    1975

  12. [20]

    Mean equicontinuity and mean sensitivity

    Jian Li, Siming Tu, and Xiangdong Ye. Mean equicontinuity and mean sensitivity. Ergodic Theory and Dynamical Systems , 35(8):2587–2612, 2015

    2015

  13. [21]

    Pointwise theorems for amenable groups

    Elon Lindenstrauss. Pointwise theorems for amenable groups. Inventiones Mathematicae , 146(2):259–295, 2001

    2001

  14. [22]

    Topologies on spaces of subsets

    Ernest Michael. Topologies on spaces of subsets. Transactions of the American Mathematical Society, 71:152–182, 1951. MULTIV ARIATE FREQUENT STABILITY AND DIAM-MEAN EQUICONTIN UITY 27

    1951

  15. [23]

    Jean P. Pier. Amenable Locally Compact Groups . Wiley, 1984

    1984

  16. [24]

    Sensitivity and re gionally proximal relation in minimal systems

    Song Shao, Xiangdong Ye, and Ruifeng Zhang. Sensitivity and re gionally proximal relation in minimal systems. Science in China Series A: Mathematics , 51(6):987–994, June 2008

    2008

  17. [25]

    869 of Actualit´ es Scientifiques et Industrielles [Current Scientific and Industrial Topics]

    Andr´ e Weil.L’int´ egration dans les groupes topologiques et ses applications, volume No. 869 of Actualit´ es Scientifiques et Industrielles [Current Scientific and Industrial Topics] . Hermann & Cie, Paris, 1940

    1940

  18. [26]

    Minimal frequently stable is almost auto morphic, 2024

    Leiye Xu and Zongrui Hu. Minimal frequently stable is almost auto morphic, 2024

    2024

Pith tools

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