REVIEW 4 minor 47 references
Conditional Topomorphic Degree and Multivariate Mean Equicontinuity for Minimal Amenable Group Actions
T0 review · 0 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read For minimal amenable group actions, multivariate mean r-equicontinuity is equivalent to the conditional topomorphic degree being at most r−1.
desk verdict A strong paper that likely resolves the BHJ conjecture for all countable amenable groups, with the main risk being reliance on two imported lemmas from the author's prior work. 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 engine is a family of mixed compact-phase joinings Λ_t on X^N. For ergodic measures μ_1,...,μ_N, one takes their measure-theoretic maximal compact factors Z_i=K_i/H_i, forms the joint phase group L = closure of the diagonal image of G in the product of the K_i, and integrates orbit measures λ_t over L to get ergodic phase measures on the product of compact factors; lifting these through the disintegrations of the μ_i over the Z_i yields Λ_t. The key properties are that almost every Λ_t is ergodic (Proposition 3.3), that rectangle masses vary continuously in the phase parameter (Lemma 3.4), and that a positive-mass target rectangle can be realized by points chosen in arbitrary prescribed
What would settle it
Construct (or exhibit) the Haupt–Jäger degree-2 extension of an irrational circle rotation—the canonical two-to-one topomorphic extension that is not almost automorphic—and test it for Weyl mean 2-equicontinuity and for maximal pattern entropy. The theorem predicts that this system has tdeg = 2, is not Weyl mean 2-equicontinuous, and satisfies h*_top ≥ log 2; a computation showing it is Weyl mean 2-equicontinuous, or showing h*_top < log 2, would refute the main equivalence and the entropy bound directly. As a more surgical check, one can test the imported Lemma 2.6 on a skew-product example o
Extended reading notes
Core claim
The central claim is that the multivariate mean equicontinuity hierarchy of a minimal action is fully controlled by a single integer-valued invariant, the conditional topomorphic degree tdeg_G(X): the supremum, over invariant measures, of the essential supremum over base points of the number of support points of the conditional measure on fibers of the maximal equicontinuous factor. The paper proves that tdeg_G(X) ≤ r−1 is necessary and sufficient for both F-mean and Weyl mean r-equicontinuity, resolving the Breitenbücher–Haupt–Jäger conjecture for Z-systems and extending it to all countably infinite discrete amenable groups. Along the way it obtains the exact formula tdeg_G(X) = Σ_{μ∈M^e_G(
Load-bearing premise
The proof of the hard direction (mean r-equicontinuity implies degree ≤ r−1) rests on the claim that almost every lifted mixed phase joining is ergodic, which in turn imports, without re-derivation, two structural facts from the author's earlier work: that the invariant σ-algebra of a product measure is contained in the product of the maximal compact σ-algebras of the factors, and that the residual multiplicity equals exp(h*_μ(G)); if either imported result fails, the equival
Editorial extensions
If this is right
- The Breitenbücher–Haupt–Jäger conjecture holds in full: for minimal Z-systems, mean (m+1)-equicontinuity without mean m-equicontinuity is exactly the class of m-to-one topomorphic extensions of the maximal equicontinuous factor; the same dichotomy now holds for all countably infinite discrete amenable groups.
- The degree formula tdeg_G(X) = Σ ι_μ exp(h*_μ(G)) separates compact (phase) multiplicity from residual (entropy) multiplicity, making both contributions individually observable.
- Every minimal amenable action with finite conditional topomorphic degree d carries essential IT N-tuples for each 2 ≤ N ≤ d, so maximal topological sequence entropy is at least log d, a stronger lower bound than the earlier exp-sum formula.
- All finite multiplicity profiles are realizable: any multiset of positive-integer pairs (ι,b) is the profile of some zero-entropy minimal almost one-to-one extension of an irrational circle rotation, so there are no hidden compatibility conditions among compact and residual multiplicities.
- In the uniquely ergodic finite-degree case, a degree d with residual entropy log b is realizable if and only if b divides d (Corollary 6.4).
Reading between the lines
- The local realization theorem (Theorem 3.5) is stated more generally than needed and may transfer to other multivariate sensitivity notions—diam-mean equicontinuity, frequent stability, or uniform mean equicontinuity—since it only uses compact-phase transport and ergodicity of joinings.
- The equivalence between a single Følner sequence and the Weyl (all-sequence) version suggests that mean r-equicontinuity is rigid enough that one sequence suffices; this raises the question whether the same coincidence holds for sofic group actions, where Følner sequences are replaced by sofic approximation sequences.
- The exact degree decomposition suggests a possible variational principle for maximal pattern entropy: one might conjecture that h*_top(X,G) equals log of the sum Σ ι_μ exp(h*_μ(G)) under mild extra hypotheses such as the local Bronstein condition, matching the known one-sided bound here.
- Because Theorem 1.5 realizes every profile in zero entropy, it indicates that the conditional topomorphic degree, rather than entropy, is the effective constraint governing finite-to-one almost automorphic structure over rotations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies minimal actions of a countably infinite discrete amenable group G on a compact metric space X. It introduces the conditional topomorphic degree tdeg_G(X) (Eq. (1)) as the supremum, over invariant measures, of the essential supremum of conditional fiber support cardinalities over the maximal equicontinuous factor. The central result (Theorem 1.1) is a three-way equivalence, for every r≥2, between Weyl mean r-equicontinuity, F-mean r-equicontinuity for some Følner sequence, and tdeg_G(X)≤r−1. This resolves the Breitenbücher–Haupt–Jäger conjecture for minimal Z-systems and extends it to all countably infinite discrete amenable groups. The proof of the hard direction (ii)⇒(iii) proceeds through mixed compact-phase joinings: Lemma 3.1, Proposition 3.3, Lemma 3.4, the local realization Theorem 3.5, and Corollary 3.6. Theorem 1.2 gives the exact degree decomposition tdeg_G(X)=Σ_{μ∈M^e_G(X)} ι_μ exp(h*_μ(G)); Theorem 1.3 derives essential IT N-tuples and the lower bound h*_top(X,G)≥log d; Theorem 1.5 realizes every finite multiplicity profile by a zero-entropy minimal almost one-to-one extension of an irrational circle rotation.
Significance. If correct, this is a substantial contribution to the structure theory of minimal amenable group actions. It resolves a previously open conjecture, introduces a clean numerical invariant separating compact and residual multiplicities, and sharpens known sequence-entropy lower bounds. The main line of proof is detailed and mostly self-contained; the two significant external imports (Lemma 2.6 and Proposition 2.11 from [41]) are explicitly disclosed and are used in a form matching their statements. The paper does not provide machine-checked artifacts, but the central chain of implications is checkable by hand and the arguments are well organized.
minor comments (4)
- [§2.4.2, Lemma 2.6; §3.2, Proposition 3.3] The proof of Proposition 3.3, and hence the hard implication (ii)⇒(iii) of Theorem 1.1, depends entirely on the inclusion I_μ⊆K_{μ_1}⊗⋯⊗K_{μ_N} (mod μ) stated as Lemma 2.6. This lemma is imported from the author's earlier paper [41, Lemma 3.5] with a corroborating reference to Host–Kra, but it is not proved in the present text. I do not regard this as circular or as an internal inconsistency, since the citation is explicit and the source is published. However, because this is the single most load-bearing external input, the authors should add either a proof of Lemma 2.6 in the present notation or a precise restatement of [41, Lemma 3.5] listing all hypotheses, and a sentence explaining why those hypotheses hold for arbitrary countably infinite discrete amenable G and arbitrary ergodic μ_1,…,μ_N.
- [§6.1, Lemma 6.2(ii)] The assertion that \hat κ_{ι,b}: \hat X_{ι,b}→Z_ι \represents the measure-theoretic maximal compact factor] is dispatched in one sentence. Since Theorem 1.5 relies on this identification, the proof should be expanded: one should explain how the finite cyclic coordinate C_ι interacts with the totally strictly ergodic block B_b, why no additional measure-theoretic eigenvalues appear, and how strict ergodicity of S_b^ι yields the stated maximal compact factor. This is likely standard, but as written it is under-derived.
- [§3.3, Theorem 3.5] In the paragraph following Eq. (23), the positivity of ∫_{\widetilde W_1×⋯×\widetilde W_N} Λ_t(U_1×⋯×U_N) dm_P(t) is justified by continuity of each J_q at the identity and Tonelli's theorem. For completeness, the authors should explicitly state that the set of ℓ∈L for which all J_q(ℓ_q)>0 has positive Haar measure; this uses the denseness of α(G) in L and continuity, and it is the step that makes the displayed integral strictly positive.
- [Abstract and §6.1] There is a small typesetting issue: the notation for the finite multiset P appears as \{P=\{\{(ι_1,b_1),\ldots\}} \}] with extra braces in both the abstract and Theorem 1.5. It should simply read \{P=\{(ι_1,b_1),\ldots,(ι_ℓ,b_ℓ)\}]. The symbol \widertilde W] is also rendered inconsistently as \fW] in a few places.
Circularity Check
No significant circularity: tdeg is defined independently and the main implications are proved from stated ingredients; the imported lemmas are disclosed external results, not renamings or fits of the target.
full rationale
The central quantity tdeg_G(X) is defined in Eq. (1) as a supremum of conditional support cardinalities over invariant measures, not in terms of mean equicontinuity or the theorem being proved. The main equivalence Theorem 1.1 is obtained by three separate implications: Theorem 4.1 derives Weyl mean equicontinuity from tdeg ≤ m using only disintegration and uniformization; (i)⇒(ii) is the definitional inequality D_r,F ≤ D^W_r; and Theorem 4.4 derives tdeg ≤ r−1 from F-mean r-equicontinuity via the localization machinery. The hard direction relies on Lemma 2.6 and Proposition 2.11, both explicitly imported from the author's earlier work [41] (with Host–Kra [25] also cited for Lemma 2.6). These are parameter-free structural results that do not state the target theorem, so they function as external evidence rather than circular assumptions. The proofs are not fully self-contained in the sense of reproving those lemmas, but dependence on prior published results—including one's own—is a correctness-risk concern, not an equivalence-by-construction. The brevity of Lemma 6.2(ii) is likewise an under-derivation in the realization section, not a circular step. No fitted parameter is relabeled as a prediction, and no uniqueness theorem is invoked to forbid alternatives.
Assumptions & free parameters
assumptions (9)
- standard math Mean ergodic theorem for amenable group actions (Lemma 2.1)
- standard math Compact homogeneous representation of minimal equicontinuous systems (Lemma 2.4)
- standard math Mackey's theorem: maximal compact factor modeled by K_μ/H_μ (Theorem 2.5)
- domain assumption I_μ ⊆ K_{μ_1} ⊗ ··· ⊗ K_{μ_N} mod μ (Lemma 2.6)
- domain assumption h*_μ(G) = log b_μ (Prop 2.11, §2.5)
- domain assumption Essential IT_N-tuple ⟹ h*_top ≥ log N (Lemma 5.4)
- domain assumption Haupt–Jäger blocks: totally strictly ergodic finite-multiplicity extensions of one irrational rotation with no extra eigenvalues (Theorem 6.1)
- domain assumption Relative Furstenberg–Weiss theorem of Downarowicz–Lacroix (Theorem 6.3)
- standard math Lusin–Novikov and Arsenin–Kunugui uniformization (Prop 2.17)
Cite this review
Pith. "Pith review of Conditional Topomorphic Degree and Multivariate Mean Equicontinuity for Minimal Amenable Group Actions." pith.science (2026). https://pith.science/paper/LW54QUAW
@misc{pith2026260727400,
author = {Pith},
title = {Pith review of: Conditional Topomorphic Degree and Multivariate Mean Equicontinuity for Minimal Amenable Group Actions},
year = {2026},
howpublished = {\url{https://pith.science/paper/LW54QUAW}},
note = {Machine review of arXiv:2607.27400}
}
abstract
Let $G$ be a countably infinite discrete amenable group acting minimally on a compact metric space $X$, and let $\pi:X\to X_{\mathrm{eq}}$ be the maximal equicontinuous factor map. Let $d\in\mathbb N\cup\{\infty\}$ be the conditional topomorphic degree; when $d<\infty$, it is the least integer such that $\pi$ is an at most $d$-to-one topomorphic extension. We prove that, for every $r\ge2$, the following are equivalent: the system is Weyl mean $r$-equicontinuous; it is mean $r$-equicontinuous along some F{\o}lner sequence; and $d\le r-1$. For minimal $\mathbb Z$-systems, this resolves a conjecture of Breitenb\"ucher, Haupt, and J\"ager. We establish the formula $d=\sum_{\mu\in\mathcal M_G^e(X)}\iota_\mu\exp(h_\mu^*(G))$, where $\iota_\mu$ is the degree from the measure-theoretic maximal compact factor associated with $\mu$ onto $X_{\mathrm{eq}}$, and $h_\mu^*(G)$ is maximal measure-theoretic sequence entropy. Consequently, every finite $N$ with $2\le N\le d$ yields an essential IT $N$-tuple, and $h_{\mathrm{top}}^*(X,G)\ge\log d$. This strengthens the known sequence-entropy lower bound by also detecting the compact multiplicities $\iota_\mu$. Finally, every finite multiset of positive-integer pairs $\{(\iota_1,b_1),\ldots,(\iota_\ell,b_\ell)\}$ is realized by a zero-entropy minimal almost one-to-one extension $(X,T)$ of an irrational circle rotation with exactly $\ell$ ergodic invariant measures $\mu_1,\ldots,\mu_\ell$ satisfying $\iota_{\mu_i}=\iota_i$ and $\exp(h_{\mu_i}^*(\mathbb Z))=b_i$ for $1\le i\le\ell$. The resulting conditional topomorphic degree is $\sum_{i=1}^{\ell}\iota_i b_i$.
Reference graph
Works this paper leans on
-
[41]
Chunlin Liu, Xiangtong Wang, and Leiye Xu,Sequence entropy and IT-tuples for minimal group actions, Advances in Mathematics467(2025), 110183
2025
-
[1]
Joseph Auslander,Mean-l-stable systems, Illinois Journal of Mathematics3(1959), 566–579
1959
-
[2]
153, North-Holland, Amsterdam, 1988
,Minimal flows and their extensions, North-Holland Mathematics Studies, vol. 153, North-Holland, Amsterdam, 1988
1988
-
[3]
Michael Baake and Uwe Grimm,Aperiodic order. vol. 1: A mathematical invitation, Encyclopedia of Math- ematics and its Applications, vol. 149, Cambridge University Press, Cambridge, 2013
2013
-
[4]
1B, Elsevier, Amsterdam, 2006, pp
Vitaly Bergelson,Combinatorial and diophantine applications of ergodic theory, Handbook of Dynamical Systems (Boris Hasselblatt and Anatole Katok, eds.), vol. 1B, Elsevier, Amsterdam, 2006, pp. 745–869
2006
-
[5]
1, 63–80
Jonas Breitenb¨ ucher, Lino Haupt, and Tobias J¨ ager,Multivariate mean equicontinuity for finite-to-one topo- morphic extensions, Fundamenta Mathematicae273(2026), no. 1, 63–80
2026
-
[6]
5, 2305– 2315
Mar ´ ıa Isabel Cortez, Jean-Marc Gambaudo, and Alejandro Maass,Rotation topological factors of minimal Zd-actions on the Cantor set, Transactions of the American Mathematical Society359(2007), no. 5, 2305– 2315
2007
-
[7]
385, American Mathematical Society, Providence, RI, 2005, pp
Tomasz Downarowicz,Survey of odometers and Toeplitz flows, Algebraic and Topological Dynamics (Sergiy Kolyada, Yuri Manin, and Tom Ward, eds.), Contemporary Mathematics, vol. 385, American Mathematical Society, Providence, RI, 2005, pp. 7–37
2005
Show all 47 references
-
[8]
1, 321–338
Tomasz Downarowicz and Eli Glasner,Isomorphic extensions and applications, Topological Methods in Nonlinear Analysis48(2016), no. 1, 321–338
2016
-
[9]
2, 149–170
Tomasz Downarowicz and Yves Lacroix,Almost 1–1 extensions of Furstenberg–Weiss type and applications to Toeplitz flows, Studia Mathematica130(1998), no. 2, 149–170
1998
-
[10]
5, 3703–3734
Gabriel Fuhrmann, Eli Glasner, Tobias J¨ ager, and Christian Oertel,Irregular model sets and tame dynamics, Transactions of the American Mathematical Society374(2021), no. 5, 3703–3734
2021
-
[11]
Gabriel Fuhrmann, Maik Gr¨ oger, and Daniel Lenz,The structure of mean equicontinuous group actions, Israel Journal of Mathematics247(2022), 75–123
2022
-
[12]
Gabriel Fuhrmann and Dominik Kwietniak,On tameness of almost automorphic dynamical systems for general groups, Bull. Lond. Math. Soc.52(2020), no. 1, 24–42
2020
-
[13]
4, 1211–1237
Felipe Garc ´ ıa-Ramos,Weak forms of topological and measure-theoretical equicontinuity: relationships with discrete spectrum and sequence entropy, Ergodic Theory and Dynamical Systems37(2017), no. 4, 1211–1237
2017
-
[14]
1, 155–183
Felipe Garc ´ ıa-Ramos, Tobias J¨ ager, and Xiangdong Ye,Mean equicontinuity, almost automorphy and regu- larity, Israel Journal of Mathematics243(2021), no. 1, 155–183
2021
-
[15]
7, 075024
Felipe Garc ´ ıa-Ramos and Irma Le´ on-Torres,Coincidence rank and multivariate equicontinuity, Nonlinearity 38(2025), no. 7, 075024
2025
-
[16]
2, 729–746
Felipe Garc ´ ıa-Ramos and Brian Marcus,Mean sensitive, mean equicontinuous and almost periodic functions for dynamical systems, Discrete and Continuous Dynamical Systems39(2019), no. 2, 729–746
2019
-
[17]
6, 1531–1540
Felipe Garc ´ ıa-Ramos and V ´ ıctor Mu˜ noz-L´ opez,Measure-theoretic sequence entropy pairs and mean sensitiv- ity, Ergodic Theory and Dynamical Systems44(2024), no. 6, 1531–1540
2024
-
[18]
101, American Math- ematical Society, Providence, RI, 2003
Eli Glasner,Ergodic theory via joinings, Mathematical Surveys and Monographs, vol. 101, American Math- ematical Society, Providence, RI, 2003
2003
-
[19]
1, 213–244
Eli Glasner,The structure of tame minimal dynamical systems for general groups, Inventiones Mathematicae 211(2018), no. 1, 213–244
2018
-
[20]
T. N. T. Goodman,Topological sequence entropy, Proceedings of the London Mathematical Society29 (1974), 331–350
1974
-
[21]
4, 1224–1245
Lino Haupt and Tobias J¨ ager,Construction of smooth isomorphic and finite-to-one extensions of irrational rotations which are not almost automorphic, Ergodic Theory and Dynamical Systems45(2025), no. 4, 1224–1245
2025
-
[22]
Lino Haupt, Tobias J¨ ager, and Chunlin Liu,A note on multivariate diam mean equicontinuity and frequent stability, 2025, arXiv:2506.23313
2025 arXiv
-
[23]
Lino Joss Fidel Haupt,Multivariate frequent stability and diam-mean equicontinuity, Journal of Dynamics and Differential Equations (2025), Published online
2025
-
[24]
Till Hauser and Chunlin Liu,The maximal mean equicontinuous factor via regional mean sensitivity, 2026, arXiv:2601.11814
2026
-
[25]
236, American Mathematical Society, Providence, RI, 2018
Bernard Host and Bryna Kra,Nilpotent structures in ergodic theory, Mathematical Surveys and Monographs, vol. 236, American Mathematical Society, Providence, RI, 2018
2018
-
[26]
Systems26(2006), no
Wen Huang,Tame systems and scrambled pairs under an abelian group action, Ergodic Theory Dynam. Systems26(2006), no. 5, 1549–1567. 30 C. LIU
2006
-
[27]
2, 494–533
Wen Huang, Jian Li, Jean-Paul Thouvenot, Leiye Xu, and Xiangdong Ye,Bounded complexity, mean equicon- tinuity and discrete spectrum, Ergodic Theory and Dynamical Systems41(2021), no. 2, 494–533
2021
-
[28]
5, 1505–1523
Wen Huang, Simin Li, Song Shao, and Xiangdong Ye,Null systems and sequence entropy pairs, Ergodic Theory and Dynamical Systems23(2003), no. 5, 1505–1523
2003
-
[29]
4, 1005–1028
Wen Huang, Alejandro Maass, and Xiangdong Ye,Sequence entropy pairs and complexity pairs for a measure, Annales de l’Institut Fourier54(2004), no. 4, 1005–1028
2004
-
[30]
6, 1689–1716
Wen Huang and Xiangdong Ye,Combinatorial lemmas and applications to dynamics, Advances in Mathe- matics220(2009), no. 6, 1689–1716
2009
-
[31]
3, 441–450
Paul Hulse,Sequence entropy and subsequence generators, Journal of the London Mathematical Society26 (1982), no. 3, 441–450
1982
-
[32]
2, 191–203
Anzelm Iwanik and Yves Lacroix,Some constructions of strictly ergodic non-regular Toeplitz flows, Studia Mathematica110(1994), no. 2, 191–203
1994
-
[33]
Kechris,Classical descriptive set theory, Graduate Texts in Mathematics, vol
Alexander S. Kechris,Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer, New York, 1995
1995
-
[34]
4, 869–926
David Kerr and Hanfeng Li,Independence in topological andC ∗-dynamics, Mathematische Annalen338 (2007), no. 4, 869–926
2007
-
[35]
A. G. Kushnirenko,Metric invariants of entropy type, Russian Mathematical Surveys22(1967), no. 5, 53–61
1967
-
[36]
8, 2587–2612
Jian Li, Siming Tu, and Xiangdong Ye,Mean equicontinuity and mean sensitivity, Ergodic Theory and Dynamical Systems35(2015), no. 8, 2587–2612
2015
-
[37]
1, 184–203
Jie Li, Chunlin Liu, Siming Tu, and Tao Yu,Sequence entropy tuples and mean sensitive tuples, Ergodic Theory and Dynamical Systems44(2024), no. 1, 184–203
2024
-
[38]
1, 359–393
Jie Li, Xiangdong Ye, and Tao Yu,Mean equicontinuity, complexity and applications, Discrete and Contin- uous Dynamical Systems41(2021), no. 1, 359–393
2021
-
[39]
,Equicontinuity and sensitivity in mean forms, Journal of Dynamics and Differential Equations34 (2022), 133–154
2022
-
[40]
Jie Li and Tao Yu,On mean sensitive tuples, Journal of Differential Equations297(2021), 175–200
2021
-
[42]
Chunlin Liu, Leiye Xu, and Shuhao Zhang,Independence and mean sensitivity in minimal systems under group actions, 2025, arXiv:2501.15622
2025 arXiv
-
[43]
,Independence, sequence entropy and mean sensitivity for invariant measures, 2025, arXiv:2501.08069
2025 arXiv
-
[44]
12, 125268
Chunlin Liu and Kesong Yan,Sequence entropy for amenable group actions, Physica Scripta98(2023), no. 12, 125268
2023
-
[45]
Xiusheng Liu and Jiandong Yin,On mean sensitive tuples of discrete amenable group actions, Qualitative Theory of Dynamical Systems22(2023), no. 1, 4
2023
-
[46]
Mackey,Ergodic transformation groups with a pure point spectrum, Illinois Journal of Mathematics 8(1964), 593–600
George W. Mackey,Ergodic transformation groups with a pure point spectrum, Illinois Journal of Mathematics 8(1964), 593–600
1964
-
[47]
Zimmer,Extensions of ergodic group actions, Illinois Journal of Mathematics20(1976), no
Robert J. Zimmer,Extensions of ergodic group actions, Illinois Journal of Mathematics20(1976), no. 3, 373–409. (C. Liu)School of Mathematical Sciences, Dalian University of Technology, Dalian 116024, P.R. China; and Institute of Mathematics, Polish Academy of Sciences, ul. ´Sn...
1976
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.