pith. sign in

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

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

Axel \'Alvarez This is my paper

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

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.

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)
  1. 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.
  2. 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)
  1. 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.
  2. 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.
  3. 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

  1. 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

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

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

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

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

    work page 1988

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

    work page 1995

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

    work page 2002

  5. [5]

    Auslander, G

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

    work page 2014

  6. [6]

    Auslander and M

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

    work page 1997

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

    work page 1984

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

    work page 2005

  9. [9]

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

    work page 1997

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

    work page 1998

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

    work page 2019

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

    work page 2022

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

    work page 2023

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

    work page 1993

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

    work page 2013

  16. [16]

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

    work page 2014

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

    work page 2016

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

    work page 2024

  19. [19]

    Ellis.Lectures on topological dynamics

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

    work page 1969

  20. [20]

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

    work page 1974

  21. [21]

    Ellis, S

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

    work page 1975

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

    work page 1971

  23. [23]

    Frantzikinakis

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

    work page 2015

  24. [24]

    Furstenberg

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

    work page 1963

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

    work page 1985

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

    work page 1996

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

    work page 1994

  28. [28]

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

    work page 2000

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

    work page 2003

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

    work page 2018

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

    work page 2025

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

    work page 2020

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

    work page 2006

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

    work page 1995

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

    work page 2024

  36. [36]

    A structure theorem for polynomial return-time sets in minimal systems

    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. [37]

    Green and T

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

    work page 2010

  38. [38]

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

    work page 2009

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

    work page 2020

  40. [40]

    Host and B

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

    work page

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

    work page 2018

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

    work page 2010

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

    work page 2007

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

    work page 2012

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

    work page 2016

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

    work page 2025

  47. [47]

    Huang and X

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

    work page 2006

  48. [48]

    Kerr and H

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

    work page 2007

  49. [49]

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

    work page 2020

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

    work page 2005

  51. [51]

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

    work page 2010

  52. [52]

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

    work page 2015

  53. [53]

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

    work page arXiv 2025

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

    work page 2024

  55. [55]

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

    work page 1978

  56. [56]

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

    work page

  57. [57]

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

    work page 2023

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

    work page 2025

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

    work page 2025

  60. [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. [61]

    Qiu and J

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

    work page

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

    work page 2012

  65. [65]

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

    work page 1965

  66. [66]

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

    work page 1968

  67. [67]

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

    work page 1970

  68. [68]

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

    work page 1977

  69. [69]

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

    work page 2023

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

    work page 2025