arxiv: 2605.02304 · v1 · submitted 2026-05-04 · 🧮 math.DS

Recognition: 3 theorem links

· Lean Theorem

On higher order regionally proximal relations and topological characteristic factors for group actions

Axel \'Alvarez

Pith reviewed 2026-05-08 18:47 UTC · model grok-4.3

classification 🧮 math.DS

keywords regionally proximal relationstopological characteristic factorsgroup actionsrecurrence setsarithmetic progressionsminimal systemsabelian groupscubic configurations

0 comments

The pith

The maximal factor of order d-1 is the topological characteristic factor of order d for cubic configurations in arbitrary group actions, modulo almost one-to-one factors.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops tools for higher-order regionally proximal relations in group actions on dynamical systems. It introduces a new topology on subgroups of the universal minimal system as a higher-order version of the classical tau-topology to give an algebraic characterization of the relation RP^[d] when the group is abelian. Using recurrence sets, it extends earlier results from integer actions to general groups under suitable assumptions. The central result establishes that the maximal factor of order d-1 serves as the topological characteristic factor of order d for cubic configurations in any group action and for arithmetic progressions when the group is finitely generated and abelian. This identification yields coincidences between different higher-order relations and new statements about independence along arithmetic progressions.

Core claim

Modulo almost one-to-one factors, the maximal factor of order d-1 is the topological characteristic factor of order d for cubic configurations for arbitrary group actions, and for arithmetic progressions for finitely generated abelian group actions. As a consequence, RP^[d] and AP^[d] coincide on minimal points for finitely generated abelian group actions, and this yields results on independence along arithmetic progressions.

What carries the argument

A new topology on a subgroup of the universal minimal system that functions as a higher-order analogue of the tau-topology, used to algebraically characterize the regionally proximal relation RP^[d] and to relate it to topological characteristic factors.

If this is right

RP^[d] and AP^[d] coincide on minimal points for finitely generated abelian group actions.
Results on independence along arithmetic progressions follow for finitely generated abelian group actions.
Recurrence-set results known for Z-actions extend to more general group actions under suitable assumptions.
Algebraic characterizations of RP^[d] are obtained for abelian actions via the new topology.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If the almost one-to-one condition could be removed, the maximal factor of order d-1 would equal the topological characteristic factor of order d without qualification.
The recurrence-set techniques might apply to other families of configurations beyond cubic ones and arithmetic progressions.
The topological identifications could suggest parallel statements in the measure-theoretic setting for actions on probability spaces.

Load-bearing premise

The identification between the maximal factor of order d-1 and the topological characteristic factor of order d holds only after quotienting by almost one-to-one factors, and recurrence-set extensions require suitable assumptions on the group actions.

What would settle it

A concrete minimal system with a group action in which the topological characteristic factor of order d differs from the maximal factor of order d-1 by more than an almost one-to-one extension.

read the original abstract

We study several aspects of higher-order regionally proximal relations for group actions. First, we develop an algebraic approach to study higher-order regionally proximal relations. To this end, we introduce a new topology on a subgroup of the universal minimal system, which can be seen as a higher-order analogue of the classical $\tau$-topology. Using this topology, we obtain an algebraic characterization of the relation $\mathbf{RP}^{[d]}$ for abelian actions. Then, we study higher-order regionally proximal relations via recurrence sets, extending results of Huang, Shao, and Ye for $\mathbb{Z}$-actions to more general group actions under suitable assumptions. We then study topological characteristic factors and prove, modulo almost one-to-one factors, that the maximal factor of order $d-1$ is the topological characteristic factor of order d for cubic configurations for arbitrary group actions, and for arithmetic progressions for finitely generated abelian group actions. As a consequence, we show that $\mathbf{RP}^{[d]}$ and $\mathbf{AP}^{[d]}$ coincide on minimal points for finitely generated abelian group actions, and we apply this to obtain results on independence along arithmetic progressions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper extends higher-order regionally proximal relations and characteristic factors to general group actions via a new topology, but the results carry qualifications that narrow their scope.

read the letter

The main takeaway is that this work takes results on higher-order regionally proximal relations and topological characteristic factors that were known for Z-actions and pushes them to actions of arbitrary groups, with an algebraic route for the abelian case. It introduces a new topology on a subgroup of the universal minimal system as a higher-order analogue of the tau-topology, then uses it to characterize RP^[d] algebraically for abelian actions. The recurrence-set approach extends Huang-Shao-Ye results under suitable assumptions, and the paper proves that the maximal factor of order d-1 is the topological characteristic factor of order d for cubic configurations in general groups and for arithmetic progressions in finitely generated abelian groups, all modulo almost one-to-one factors. This yields the coincidence of RP^[d] and AP^[d] on minimal points for the abelian case and some independence results along APs. Those pieces organize existing ideas and give a coherent picture for broader settings. The algebraic characterization and the coincidence result look like the genuinely new parts. The recurrence extension and the characteristic-factor statement are useful but rest on the new topology behaving as claimed and on the stated qualifications. The assumptions for recurrence are not spelled out in the abstract, so it is unclear how restrictive they are in practice. The almost one-to-one caveat means the characteristic-factor claim does not hold without qualification, which limits direct applicability. The algebraic work is restricted to abelian actions, so the arbitrary-group results still route through recurrence. Without the full proofs it is hard to judge whether the new topology avoids circularity or delivers the claimed characterization cleanly. This is written for people already working in topological dynamics with group actions beyond Z. A reader focused on higher-order relations or characteristic factors would pick up the extensions and the coincidence result without much trouble. The paper engages the prior literature directly and does not appear to invent entities or hide fitting. It deserves a serious referee to check the details of the topology and the assumptions.

Referee Report

2 major / 3 minor

Summary. The paper introduces a new topology on a subgroup of the universal minimal system as a higher-order analogue of the classical τ-topology. This is used to give an algebraic characterization of the higher-order regionally proximal relation RP^[d] for abelian group actions. The authors extend recurrence-set techniques from Huang-Shao-Ye to general group actions under suitable assumptions, and prove that, modulo almost one-to-one factors, the maximal factor of order d-1 is the topological characteristic factor of order d for cubic configurations (arbitrary groups) and for arithmetic progressions (finitely generated abelian groups). As a consequence they show that RP^[d] and AP^[d] coincide on minimal points for finitely generated abelian actions and derive results on independence along arithmetic progressions.

Significance. If the algebraic characterization via the new topology and the characteristic-factor statements hold, the work meaningfully extends the theory of higher-order proximal relations and characteristic factors from ℤ-actions to broader classes of group actions. The introduction of the higher-order τ-topology analogue is a potentially reusable technical device, and the qualified results on cubic configurations and arithmetic progressions supply concrete tools for studying multiple recurrence and independence in topological dynamics.

major comments (2)

The algebraic characterization of RP^[d] is stated to rely on the new topology behaving as a higher-order τ-topology analogue; the manuscript should explicitly verify that the topology is Hausdorff (or at least T1) and that the closure operations used in the characterization commute with the group action in the required way, as this is load-bearing for the claim that the characterization is algebraic.
In the recurrence-sets extension, the 'suitable assumptions' on the group actions are invoked to obtain the higher-order regionally proximal relations; these assumptions need to be stated as a single, clearly numbered hypothesis so that the reader can check whether the subsequent characteristic-factor results inherit them or remain unconditional.

minor comments (3)

Notation for the new topology and for the subgroups of the universal minimal system should be introduced with a dedicated definition environment rather than inline.
The phrase 'modulo almost one-to-one factors' appears in the abstract and in the characteristic-factor theorem; a short paragraph clarifying what 'almost one-to-one' means in this context (e.g., a factor map that is one-to-one on a dense Gδ set) would improve readability.
Several references to Huang-Shao-Ye are used; adding a brief sentence recalling the precise statement being extended would help readers who are not specialists in the ℤ-case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, the positive evaluation of the significance of the work, and the constructive suggestions for improvement. We address each major comment below and will incorporate the requested clarifications in the revised manuscript.

read point-by-point responses

Referee: The algebraic characterization of RP^[d] is stated to rely on the new topology behaving as a higher-order τ-topology analogue; the manuscript should explicitly verify that the topology is Hausdorff (or at least T1) and that the closure operations used in the characterization commute with the group action in the required way, as this is load-bearing for the claim that the characterization is algebraic.

Authors: We agree that an explicit verification strengthens the algebraic characterization. In the revised manuscript we will add a new proposition (placed immediately after the definition of the higher-order topology) that proves the topology is compact Hausdorff and that the relevant closure operations commute with the continuous action of the group on the universal minimal system. This will make the load-bearing properties fully transparent and support the subsequent algebraic description of RP^[d] for abelian actions. revision: yes
Referee: In the recurrence-sets extension, the 'suitable assumptions' on the group actions are invoked to obtain the higher-order regionally proximal relations; these assumptions need to be stated as a single, clearly numbered hypothesis so that the reader can check whether the subsequent characteristic-factor results inherit them or remain unconditional.

Authors: We accept this recommendation for improved readability. In the revised version we will gather all the standing assumptions on the group actions into a single, clearly numbered hypothesis (e.g., Hypothesis 4.1) at the start of the recurrence-sets section. Each subsequent theorem will then explicitly state whether it holds under this hypothesis or unconditionally, thereby clarifying the logical dependencies for the reader. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via new constructions

full rationale

The paper develops an independent algebraic approach by introducing a new higher-order τ-topology analogue on the universal minimal system, yielding an algebraic characterization of RP^[d] for abelian actions. It extends Huang-Shao-Ye recurrence results to general groups under explicit suitable assumptions and proves the characteristic factor theorem with the qualification 'modulo almost one-to-one factors.' No load-bearing step reduces by definition, fitted parameter, or self-citation chain to its own inputs; the central claims rest on the new topology and qualified extensions rather than renaming or smuggling prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Relies on standard background in topological dynamics; introduces one new entity (the higher-order topology) without independent evidence outside the paper.

axioms (2)

standard math Existence and properties of the universal minimal system for continuous group actions
Invoked implicitly as the ambient space for the new topology.
domain assumption Standard definitions and properties of regionally proximal relations RP^[d]
Used as starting point for algebraic characterization.

invented entities (1)

New topology on a subgroup of the universal minimal system no independent evidence
purpose: To obtain algebraic characterization of RP^[d] for abelian actions
Described as higher-order analogue of the classical tau-topology; no external falsifiable prediction given.

pith-pipeline@v0.9.0 · 5495 in / 1446 out tokens · 77240 ms · 2026-05-08T18:47:00.535462+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Foundation.LogicAsFunctionalEquation / Cost.FunctionalEquation washburn_uniqueness_aczel (J-cost uniqueness) unclear
we develop an algebraic approach to study higher-order regionally proximal relations. To this end, we introduce a new topology on a subgroup of the universal minimal system, which can be seen as a higher-order analogue of the classical τ-topology.
Foundation.Breath1024 (8-tick) and Foundation.AlexanderDuality (D=3) alexander_duality_circle_linking; period8 = 8 unclear
modulo almost one-to-one factors, that the maximal factor of order d−1 is the topological characteristic factor of order d for cubic configurations for arbitrary group actions, and for arithmetic progressions for finitely generated abelian group actions.
Cost.Jcost Jcost_unit0 / Jcost_pos_of_ne_one unclear
The sequence c_f(t) = ∫ f(x)·f(tx)·…·f(t^d x) dμ(x) is the sum of a null-sequence and a d-step nilsequence.

Reference graph

Works this paper leans on

70 extracted references · 6 canonical work pages · 3 internal anchors

[1]

Cube structures of the universal minimal system, nilsystems and applications

A.ÁlvarezandS.Donoso.Cubestructuresoftheuniversalminimalsystem, nilsystemsandapplications.Preprint, arXiv:2502.17667, 2025. 3, 4, 5, 41

work page internal anchor Pith review Pith/arXiv arXiv 2025
[2]

Auslander.Minimal flows and their extensions, volume 153 ofNorth-Holland Mathematics Studies

J. Auslander.Minimal flows and their extensions, volume 153 ofNorth-Holland Mathematics Studies. North- Holland Publishing Co., Amsterdam, 1988. Notas de Matemática, 122. [Mathematical Notes]. 7, 11, 13

1988
[3]

Auslander, D

J. Auslander, D. B. Ellis, and R. Ellis. The regionally proximal relation.Trans. Amer. Math. Soc., 347(6):2139– 2146, 1995. 3

1995
[4]

Auslander and E

J. Auslander and E. Glasner. The distal order of a minimal flow.Israel J. Math., 127:61–80, 2002. 4, 24, 25, 26 43

2002
[5]

Auslander, G

J. Auslander, G. Greschonig, and A. Nagar. Reflections on equicontinuity.Proc. Amer. Math. Soc., 142(9):3129– 3137, 2014. 2

2014
[6]

Auslander and M

J. Auslander and M. Guerin. Regional proximality and the prolongation.Forum Math., 9(6):761–774, 1997. 3

1997
[7]

Auslander, D

J. Auslander, D. McMahon, J. van der Woude, and T. S. Wu. Weak disjointness and the equicontinuous structure relation.Ergodic Theory Dynam. Systems, 4(3):323–351, 1984. 2

1984
[8]

Bergelson, B

V. Bergelson, B. Host, and B. Kra. Multiple recurrence and nilsequences.Invent. Math., 160(2):261–303, 2005. With an appendix by Imre Ruzsa. 4, 27, 30

2005
[9]

V.Bergelson, R.McCutcheon, andQ.Zhang.ARoththeoremforamenablegroups.Amer. J. Math., 119(6):1173– 1211, 1997. 28

1997
[10]

Bourbaki.General topology

N. Bourbaki.General topology. Chapters 5–10. Elements of Mathematics (Berlin). Springer-Verlag, Berlin, 1998. Translated from the French, Reprint of the 1989 English translation. 21

1998
[11]

Cai and S

F. Cai and S. Shao. Topological characteristic factors along cubes of minimal systems.Discrete Contin. Dyn. Syst., 39(9):5301–5317, 2019. 4

2019
[12]

Cai and S

F. Cai and S. Shao. Topological characteristic factors and independence along arithmetic progressions.Israel J. Math., 249(1):259–308, 2022. 6, 43

2022
[13]

Candela and B

P. Candela and B. Szegedy. Nilspace factors for general uniformity seminorms, cubic exchangeability and limits. Mem. Amer. Math. Soc., 287(1425):v+101, 2023. 9

2023
[14]

de Vries.Elements of topological dynamics, volume 257 ofMathematics and its Applications

J. de Vries.Elements of topological dynamics, volume 257 ofMathematics and its Applications. Kluwer Academic Publishers Group, Dordrecht, 1993. 11, 13

1993
[15]

P. Dong, S. Donoso, A. Maass, S. Shao, and X. Ye. Infinite-step nilsystems, independence and complexity.Ergodic Theory Dynam. Systems, 33(1):118–143, 2013. 6

2013
[16]

S. Donoso. Enveloping semigroups of systems of orderd.Discrete Contin. Dyn. Syst., 34(7):2729–2740, 2014. 3

2014
[17]

Donoso, F

S. Donoso, F. Durand, A. Maass, and S. Petite. On automorphism groups of low complexity subshifts.Ergodic Theory Dynam. Systems, 36(1):64–95, 2016. 7

2016
[18]

Donoso, A

S. Donoso, A. Ferré Moragues, A. Koutsogiannis, and W. Sun. Decomposition of multicorrelation sequences and joint ergodicity.Ergodic Theory Dynam. Systems, 44(2):432–480, 2024. 4

2024
[19]

Ellis.Lectures on topological dynamics

R. Ellis.Lectures on topological dynamics. W. A. Benjamin, Inc., New York, 1969. 3

1969
[20]

R. Ellis. The Veech structure theorem.Trans. Am. Math. Soc., 186:203–218, 1974. 3

1974
[21]

Ellis, S

R. Ellis, S. Glasner, and L. Shapiro. Proximal-isometric (PJ) flows.Advances in Math., 17(3):213–260, 1975. 3, 12

1975
[22]

Ellis and H

R. Ellis and H. Keynes. A characterization of the equicontinuous structure relation.Trans. Amer. Math. Soc., 161:171–183, 1971. 3

1971
[23]

Frantzikinakis

N. Frantzikinakis. Multiple correlation sequences and nilsequences.Invent. Math., 202(2):875–892, 2015. 4

2015
[24]

Furstenberg

H. Furstenberg. The structure of distal flows.Amer. J. Math., 85:477–515, 1963. 3, 12

1963
[25]

Furstenberg and Y

H. Furstenberg and Y. Katznelson. An ergodic Szemerédi theorem for IP-systems and combinatorial theory.J. d’Analyse Math., 45:117–168, 1985. 32

1985
[26]

Furstenberg and B

H. Furstenberg and B. Weiss. A mean ergodic theorem for(1/N)PN n=1 f(T nx)g(T n2 x). 5:193–227, 1996. 4

1996
[27]

E. Glasner. Topological ergodic decompositions and applications to products of powers of a minimal transfor- mation.Journal d’Analyse Mathématique, 64(1):241–262, 1994. 3, 4

1994
[28]

E. Glasner. Quasifactors of minimal systems.Topol. Methods Nonlinear Anal., 16(2):351–370, 2000. 3

2000
[29]

Glasner.Ergodic theory via joinings, volume 101 ofMathematical Surveys and Monographs

E. Glasner.Ergodic theory via joinings, volume 101 ofMathematical Surveys and Monographs. American Math- ematical Society, Providence, RI, 2003. 34

2003
[30]

Glasner, Y

E. Glasner, Y. Gutman, and X. Ye. Higher order regionally proximal equivalence relations for general minimal group actions.Adv. Math., 333:1004–1041, 2018. 2, 9, 10, 14, 23 44

2018
[31]

Glasner, W

E. Glasner, W. Huang, S. Shao, B. Weiss, and X. Ye. Topological characteristic factors and nilsystems.J. Eur. Math. Soc. (JEMS), 27(1):279–331, 2025. 5, 33, 36

2025
[32]

Glasner, W

E. Glasner, W. Huang, S. Shao, and X. Ye. Regionally proximal relation of orderdalong arithmetic progressions and nilsystems.Sci. China Math., 63(9):1757–1776, 2020. 5, 6, 41, 42

2020
[33]

Glasner and M

E. Glasner and M. Megrelishvili. Hereditarily non-sensitive dynamical systems and linear representations.Colloq. Math., 104(2):223–283, 2006. 11

2006
[34]

Glasner and B

E. Glasner and B. Weiss. Quasi-factors of zero-entropy systems.J. Amer. Math. Soc., 8(3):665–686, 1995. 6

1995
[35]

Glasscock

D. Glasscock. Simultaneous approximation in nilsystems and the multiplicative thickness of return-time sets. Adv. Math., 457:Paper No. 109936, 72, 2024. 5

2024
[36]

Glasscock, A

D. Glasscock, A. Koutsogiannis, A. N. Le, J. Moreira, F. K. Richter, and D. Robertson. A structure theorem for polynomial return-time sets in minimal systems. Preprint, arXiv:2511.02080 [math.DS] (2025), 2025. 5

work page internal anchor Pith review arXiv 2025
[37]

Green and T

B. Green and T. Tao. Linear equations in primes.Ann. of Math. (2), 171(3):1753–1850, 2010. 8

2010
[38]

J. T. Griesmer.Ergodic averages, correlation sequences, and sumsets. The Ohio State University, 2009. 9

2009
[39]

Gutman, F

Y. Gutman, F. Manners, and P. P. Varjú. The structure theory of nilspaces. III: Inverse limit representations and topological dynamics.Adv. Math., 365:53, 2020. 11

2020
[40]

Host and B

B. Host and B. Kra. Nonconventional ergodic averages and nilmanifolds.Ann. of Math. (2), 161(1):397–488,
[41]

Host and B

B. Host and B. Kra.Nilpotent structures in ergodic theory, volume 236 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2018. 2, 8

2018
[42]

B. Host, B. Kra, and A. Maass. Nilsequences and a structure theorem for topological dynamical systems.Adv. Math., 224(1):103–129, 2010. 2, 3, 8, 9

2010
[43]

Host and A

B. Host and A. Maass. Nilsystémes d’ordre deux et parallélépipèdes.Bull. Soc. Math. Fr., 135(3):367–405, 2007. 3, 32

2007
[44]

Huang, H

W. Huang, H. Li, and X. Ye. Family independence for topological and measurable dynamics.Trans. Amer. Math. Soc., 364(10):5209–5242, 2012. 6

2012
[45]

Huang, S

W. Huang, S. Shao, and X. Ye. Nil Bohr-sets and almost automorphy of higher order.Mem. Amer. Math. Soc., 241(1143):v+83, 2016. 4, 30, 32, 41

2016
[46]

Huang, S

W. Huang, S. Shao, and X. Ye. Topological dynamical systems induced by polynomials and combinatorial consequences.Adv. Math., 479:Paper No. 110440, 70, 2025. 5

2025
[47]

Huang and X

W. Huang and X. Ye. A local variational relation and applications.Isr. J. Math., 151:237–279, 2006. 6

2006
[48]

Kerr and H

D. Kerr and H. Li. Independence in topological andC∗-dynamics.Math. Ann., 338(4):869–926, 2007. 6

2007
[49]

A. N. Le. Nilsequences and multiple correlations along subsequences.Ergodic Theory Dynam. Systems, 40(6):1634–1654, 2020. 4

2020
[50]

A. Leibman. Pointwise convergence of ergodic averages for polynomial sequences of translations on a nilmanifold. Ergodic Theory Dynam. Systems, 25(1):201–213, 2005. 8

2005
[51]

A. Leibman. Multiple polynomial correlation sequences and nilsequences.Ergodic Theory Dynam. Systems, 30(3):841–854, 2010. 4

2010
[52]

A. Leibman. Nilsequences, null-sequences, and multiple correlation sequences.Ergodic Theory Dynam. Systems, 35(1):176–191, 2015. 4, 8, 27, 28

2015
[53]

J. Leng. Structured extensions and multi-correlation sequences. Preprint, arXiv:2504.07038 [math.DS] (2025),

work page arXiv 2025
[54]

Lian and J

Z. Lian and J. Qiu. Pro-nilfactors of the space of arithmetic progressions in topological dynamical systems.J. Dynam. Differential Equations, 36(3):2627–2644, 2024. 41 45

2024
[55]

D. C. McMahon. Relativized weak disjointness and relatively invariant measures.Trans. Amer. Math. Soc., 236:225–237, 1978. 2

1978
[56]

J. Qiu. Independence and almost automorphy of higher order.Ergodic Theory Dynam. Systems, 43(4):1363–1381,
[57]

J. Qiu. Polynomial orbits in totally minimal systems.Adv. Math., 432:Paper No. 109260, 34, 2023. 5

2023
[58]

J. Qiu, H. Xu, X. Ye, and J. Yu. Saturation of product systems and applications.Proc. Steklov Inst. Math., 330(1):342–358, 2025. 5

2025
[59]

Qiu and X

J. Qiu and X. Ye. Veech’s theorem of higher order.J. Differential Equations, 449:Paper No. 113707, 16, 2025. 3

2025
[60]

Qiu and J

J. Qiu and J. Yu. Saturated theorem along cubes for a measure and applications. Preprint, arXiv:2311.14198 [math.DS] (2023), 2023. 5, 6

work page arXiv 2023
[61]

Qiu and J

J. Qiu and J. Zhao. Top-nilpotent enveloping semigroups and pro-nilsystems.J. Anal. Math., 148(2):595–636,
[62]

T. Radić. Infinite sumsets inUk(Φ)-uniform sets. Preprint, arXiv:2601.06915, 2026. 3

work page internal anchor Pith review Pith/arXiv arXiv 2026
[63]

Shao and H

S. Shao and H. Xu. Structure theorems of commuting transformations and minimalR-flows. Preprint, arXiv:2505.14205, 2025. 5

work page arXiv 2025
[64]

Shao and X

S. Shao and X. Ye. Regionally proximal relation of orderdis an equivalence one for minimal systems and a combinatorial consequence.Adv. Math., 231(3-4):1786–1817, 2012. 2, 3, 10

2012
[65]

W. A. Veech. Almost automorphic functions on groups.Amer. J. Math., 87:719–751, 1965. 2

1965
[66]

W. A. Veech. The equicontinuous structure relation for minimal Abelian transformation groups.Amer. J. Math., 90:723–732, 1968. 2

1968
[67]

W. A. Veech. Point-distal flows.Amer. J. Math., 92:205–242, 1970. 3, 38

1970
[68]

W. A. Veech. Topological dynamics.Bull. Amer. Math. Soc., 83(5):775–830, 1977. 3, 4, 24

1977
[69]

Q. Wu, H. Xu, and X. Ye. On structure theorems and non-saturated examples.Commun. Math. Stat., pages 1–37, 2023. 5, 40

2023
[70]

Ye and J

X. Ye and J. Yu. A refined saturation theorem for polynomials and applications.Proc. Amer. Math. Soc., 153(3):1077–1092, 2025. 5, 38 (Axel Álvarez)Departamento de Ingeniería Matemática, Universidad de Chile, Beauchef 851, San- tiago, Chile Email address:aalvarez@dim.uchile.cl 46

2025