pith. sign in

arxiv: 2601.06915 · v2 · submitted 2026-01-11 · 🧮 math.DS · math.CO· math.NT

Infinite sumsets in U^k(Φ)-uniform sets

Trist\'an Radi\'c This is my paper

Pith reviewed 2026-05-16 15:29 UTC · model grok-4.3

classification 🧮 math.DS math.COmath.NT
keywords U^k uniformitysumsetsnilsystemsHost-Kra seminormsThue-Morse sequenceRudin-Shapiro sequenceinfinite patternsadditive combinatorics
0
0 comments X

The pith

The degree k of a U^k(Φ)-uniform set determines which infinite sumset patterns it must contain, while nilsystems create higher-order parity barriers to others.

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

This paper connects the uniformity degree k, measured by Host-Kra seminorms, to the additive structure of subsets of the integers. Sets that are U^k(Φ)-uniform are shown to support a wide range of infinite sumsets whose complexity grows with k. In contrast, nilsystems exhibit obstructions based on higher-order parity that prevent certain sumset configurations. Examples drawn from the Thue-Morse and Rudin-Shapiro sequences demonstrate these uniform sets in practice. The work extends prior results on sumset patterns by incorporating these dynamical and uniformity tools.

Core claim

Extending recent developments, the paper establishes that the degree k of U^k(Φ)-uniform subsets of the integers controls the existence of various infinite sumset patterns, as captured by local uniformity seminorms, while nilsystems provide corresponding higher order parity obstructions to the appearance of sumsets.

What carries the argument

Local uniformity seminorms of Host and Kra that define U^k(Φ)-uniformity and link it to nilsystem obstructions for sumsets.

If this is right

  • For larger k, U^k(Φ)-uniform sets contain increasingly complex infinite sumset patterns.
  • Nilsystems impose higher-order parity obstructions that limit sumset formation.
  • Automatic sequences like Thue-Morse and Rudin-Shapiro yield examples of U^k(Φ)-uniform sets with specific sumset behaviors.
  • The uniformity seminorms fully characterize the combinatorial sumset properties under the given framework.

Where Pith is reading between the lines

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

  • This framework may apply to other sequences generated by substitutions or automata.
  • Similar uniformity conditions could be studied in higher-dimensional settings or different groups.
  • Connections to ergodic theory might yield new recurrence results for uniform sets.

Load-bearing premise

That the local uniformity seminorms and nilsystem obstructions together account for all relevant combinatorial sumset behavior in these sets.

What would settle it

Constructing a U^k(Φ)-uniform set that contains an infinite sumset pattern forbidden by the nilsystem parity obstruction for that degree k.

read the original abstract

Extending recent developments of Kra, Moreira, Richter and Roberson, we study infinite sumset patterns in $U^k(\Phi)$-uniform subsets of the integers, defined via the local uniformity seminorms introduced by Host and Kra. We relate the degree $k$ of a $U^k(\Phi)$-uniform set to the existence of a rich variety of sumset patterns. As a counterpart, we stablish higher order parity obstruction to sumsets arising from nilsystems. We also provide examples of $U^k(\Phi)$-uniform sets for applications, including sets arising from the Thue-Morse and Rudin-Shapiro sequences.

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

0 major / 3 minor

Summary. The manuscript extends results of Kra, Moreira, Richter and Roberson by investigating infinite sumset patterns in U^k(Φ)-uniform subsets of the integers, defined via the local uniformity seminorms of Host and Kra. It relates the degree k of such uniformity to the existence of a rich variety of infinite sumset configurations, establishes higher-order parity obstructions to sumsets arising from nilsystems, and supplies explicit examples of U^k(Φ)-uniform sets coming from the Thue-Morse and Rudin-Shapiro sequences.

Significance. If the central claims hold, the work would furnish a precise combinatorial dictionary between Host-Kra uniformity degrees and additive configurations, complementing existing nilsystem obstructions with concrete sequence-theoretic examples. This strengthens the interface between ergodic theory and additive combinatorics and supplies testable instances for automatic sequences.

minor comments (3)
  1. [Abstract] Abstract: 'stablish' is a typographical error and should read 'establish'.
  2. [Introduction] The definition of the auxiliary function Φ and the precise statement of the local uniformity seminorm U^k(Φ) should be recalled or referenced in the introduction before the main theorems are stated, to aid readers who may not have the Host-Kra framework at immediate recall.
  3. [Section 3] Section 3 (or wherever the nilsystem constructions appear): the parity-obstruction argument would benefit from an explicit statement of the measure-preserving system and the precise form of the higher-order parity condition that blocks the sumset.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of its contributions, and recommendation for minor revision. We appreciate the recognition of the connections to the work of Kra, Moreira, Richter and Roberson, as well as the role of nilsystem obstructions and explicit examples from automatic sequences.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation rests on external definitions: U^k(Φ)-uniformity is introduced via the Host-Kra local uniformity seminorms, sumset patterns are asserted to follow from that uniformity as an extension of Kra-Moreira-Richter-Roberson results, and nilsystem parity obstructions are presented as complementary examples realized by standard sequences (Thue-Morse, Rudin-Shapiro). No equation or claim reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the central claims remain independent of the paper's own inputs and are grounded in prior independent literature.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the Host-Kra uniformity seminorms and on standard facts about nilsystems; no free parameters or new invented entities are indicated in the abstract.

axioms (2)
  • domain assumption Host-Kra local uniformity seminorms are well-defined and capture the relevant uniformity for sumset questions
    Invoked throughout the abstract as the definition of U^k(Φ)-uniform sets.
  • domain assumption Nilsystems impose higher-order parity obstructions on sumsets
    Stated as the counterpart result without further justification in the abstract.

pith-pipeline@v0.9.0 · 5399 in / 1326 out tokens · 57141 ms · 2026-05-16T15:29:38.027052+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

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

    math.DS 2026-05 unverdicted novelty 7.0

    Algebraic characterization of RP^[d] via new topology and proof that order d-1 maximal factors are topological characteristic factors for higher-order configurations in group actions.

Reference graph

Works this paper leans on

63 extracted references · 63 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    Ackelsberg

    E. Ackelsberg. Counterexamples to generalizations of the ErdősB+B+tproblem.arXiv preprint arXiv:2404.17383, 2024

    work page arXiv 2024

  2. [2]

    Ackelsberg

    E. Ackelsberg. Infinite polynomial patterns in large subsets of the rational numbers.arXiv preprint arXiv:2506.19667, 2025

    work page arXiv 2025

  3. [3]

    Ackelsberg and A

    E. Ackelsberg and A. Jamneshan. Equidistribution in 2-nilpotent polish groups and triple restricted sumsets.arXiv preprint arXiv:2504.07865, 2025

    work page arXiv 2025

  4. [4]

    Akhmedli

    S. Akhmedli. Flexibility of measurable and topological nilfactors in dynamical systems. Preprint, 2026

    work page 2026

  5. [5]

    Cube structures of the universal minimal system, nilsystems and applications

    A. Álvarez and S. Donoso. Cube structures of the universal minimal system, nilsystems and applications.arXiv preprint arXiv:2502.17667, 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  6. [6]

    R. Alweiss. New obstacles to multiple recurrence.arXiv preprint arXiv:2511.21680, 2025

    work page arXiv 2025

  7. [7]

    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. [Math- ematical Notes]

    work page 1988

  8. [8]

    Bergelson, H

    V. Bergelson, H. Furstenberg, and B. Weiss. Piecewise-Bohr sets of integers and combinatorial number theory. InTopics in Discrete Mathematics: Dedicated to Jarik Nešetřil on the Occasion of his 60th Birthday, pages 13–37. Springer, 2006

    work page 2006

  9. [9]

    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

    work page 2005

  10. [10]

    Bergelson and A

    V. Bergelson and A. Leibman.IP ∗ r-recurrence and nilsystems.Advances in Mathematics, 339:642–656, 2018

    work page 2018

  11. [11]

    Bergelson and A

    V. Bergelson and A. F. Moragues. Juxtaposing combinatorial and ergodic properties of large sets of integers.Israel Journal of Mathematics, 251(1):173–238, 2022. INFINITE SUMSETS INU k(Φ)-UNIFORM SETS 35

    work page 2022

  12. [12]

    Bergelson, J

    V. Bergelson, J. Moreira, and F. K. Richter. Multiple ergodic averages along functions from a Hardy field: Convergence, recurrence and combinatorial applications.Advances in Mathemat- ics, 443:109597, 2024

    work page 2024

  13. [13]

    Boshernitzan

    M. Boshernitzan. Uniform distribution and Hardy fields.J. d’Analyse Math., 62:225–240, 1994

    work page 1994

  14. [14]

    Charamaras, I

    D. Charamaras, I. Kousek, A. Mountakis, and T. Radić. Infinite unrestricted sumsets in subsets of abelian groups with large density.arXiv preprint arXiv:2504.08649, 2025

    work page arXiv 2025

  15. [15]

    Charamaras and A

    D. Charamaras and A. Mountakis. Finding product sets in some classes of amenable groups. InForum of Mathematics, Sigma, volume 13, page e10. Cambridge University Press, 2025

    work page 2025

  16. [16]

    Donoso, A

    S. Donoso, A. Koutsogiannis, B. Kuca, W. Sun, and K. Tsinas. Seminorm estimates and joint ergodicity for pairwise independent Hardy sequences.arXiv preprint arXiv:2410.15130, 2024

    work page arXiv 2024

  17. [17]

    Donoso, A

    S. Donoso, A. Koutsogiannis, B. Kuca, W. Sun, and K. Tsinas. Resolving the joint ergodicity problem for Hardy sequences.arXiv preprint arXiv:2506.20459, 2025

    work page arXiv 2025

  18. [18]

    Donoso, A

    S. Donoso, A. Koutsogiannis, and W. Sun. Joint ergodicity for functions of polynomial growth. Israel Journal of Mathematics, pages 1–49, 2025

    work page 2025

  19. [19]

    Durand, A

    F. Durand, A. Frank, and A. Maass. Eigenvalues of minimal Cantor systems.J. Eur. Math. Soc. (JEMS), 21:727–775, 2019

    work page 2019

  20. [20]

    Frantzikinakis

    N. Frantzikinakis. Multiple recurrence and convergence for Hardy sequences of polynomial growth.J. Anal. Math., 112:79–135, 2010

    work page 2010

  21. [21]

    Frantzikinakis

    N. Frantzikinakis. A multidimensional Szemerédi theorem for Hardy sequences of different growth.Trans. Amer. Math. Soc., 367(8):5653–5692, 2015

    work page 2015

  22. [22]

    Frantzikinakis and B

    N. Frantzikinakis and B. Host. Multiple ergodic theorems for arithmetic sets.Transactions of the American Mathematical Society, 369(10):7085–7105, 2017

    work page 2017

  23. [23]

    Frantzikinakis and B

    N. Frantzikinakis and B. Host. The logarithmic Sarnak conjecture for ergodic weights.Annals of Mathematics, 187(3):869–931, 2018

    work page 2018

  24. [24]

    Frantzikinakis and B

    N. Frantzikinakis and B. Kuca. Joint ergodicity for commuting transformations and applica- tions to polynomial sequences.Inventiones mathematicae, 239(2):621–706, 2025

    work page 2025

  25. [25]

    Frantzikinakis and M

    N. Frantzikinakis and M. Wierdl. A Hardy field extension of Szemerédi’s theorem.Adv. Math., 222(1):1–43, 2009

    work page 2009

  26. [26]

    Furstenberg

    H. Furstenberg. Ergodic behavior of diagonal measures and a theorem of Szemerédi on arith- metic progressions.J. d’Analyse Math., 31:204–256, 1977

    work page 1977

  27. [27]

    Furstenberg.Recurrence in ergodic theory and combinatorial number theory

    H. Furstenberg.Recurrence in ergodic theory and combinatorial number theory. Princeton Uni- versity Press, Princeton, N.J., 1981. M. B. Porter Lectures

    work page 1981

  28. [28]

    Furstenberg and B

    H. Furstenberg and B. Weiss. Topological dynamics and combinatorial number theory.J. Anal- yse Math., 34:61–85, 1978

    work page 1978

  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 Mathematical Society, Providence, RI, 2003

    work page 2003

  30. [30]

    Glasner, W

    E. Glasner, W. Huang, S. Shao, B. Weiss, and X. Ye. Topological characteristic factors and nilsystems.Journal of the European Mathematical Society (EMS Publishing), 27(1), 2025

    work page 2025

  31. [31]

    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

    work page 2020

  32. [32]

    Glasner, W

    E. Glasner, W. Huang, S. Shao, and X. Ye. Regionally proximal relation of order d along arithmetic progressions and nilsystems.Science China Mathematics, 63(9):1757–1776, 2020

    work page 2020

  33. [33]

    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.arXiv preprint arXiv:2511.02080, 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  34. [34]

    W. T. Gowers. A new proof of Szemerédi’s theorem.Geometric & Functional Analysis GAFA, 11(3):465–588, 2001

    work page 2001

  35. [35]

    W. T. Gowers and J. Wolf. The true complexity of a system of linear equations.Proceedings of the London Mathematical Society, 100(1):155–176, 2010. 36 TRISTÁN RADIĆ

    work page 2010

  36. [36]

    Green and T

    B. Green and T. Tao. The primes contain arbitrarily long arithmetic progressions.Ann. of Math. (2), 167(2):481–547, 2008

    work page 2008

  37. [37]

    Green, T

    B. Green, T. Tao, and T. Ziegler. An inverse theorem for the GowersUs+1[N]-norm.Ann. of Math. (2), 176(2):1231–1372, 2012

    work page 2012

  38. [38]

    Gutman and Z

    Y. Gutman and Z. Lian. Maximal pronilfactors and a topological Wiener—Wintner theorem. Israel Journal of Mathematics, 251(2):495–526, 2022

    work page 2022

  39. [39]

    G.H.Hardy.Propertiesoflogarithmico-exponentialfunctions.Proceedings of the London Math- ematical Society, 2(1):54–90, 1912

    work page 1912

  40. [40]

    Hernández

    F. Hernández. Infinite linear patterns in sets of positive density.arXiv preprint arXiv:2505.15458, 2025

    work page arXiv 2025

  41. [41]

    Hernández, I

    F. Hernández, I. Kousek, and T. Radić. On density analogs of Hindman’s finite sums theorem. arXiv preprint arXiv:2510.18788, 2025

    work page arXiv 2025

  42. [42]

    B. Host. A short proof of a conjecture of Erdős proved by Moreira, Richter and Robertson. Discrete Analysis, page 19, 2019

    work page 2019

  43. [43]

    Host and B

    B. Host and B. Kra. Convergence of polynomial ergodic averages.Israel J. Math., 149:1–19,

    work page

  44. [44]

    Probability in mathematics

    work page

  45. [45]

    Host and B

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

    work page 2005

  46. [46]

    Host and B

    B. Host and B. Kra. Uniformity seminorms onℓ∞ and applications.J. Anal. Math., 108:219– 276, 2009

    work page 2009

  47. [47]

    Host and B

    B. Host and B. Kra. Nil–Bohr sets of integers.Ergodic Theory and Dynamical Systems, 31(1):113–142, 2011

    work page 2011

  48. [48]

    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

    work page 2018

  49. [49]

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

    work page 2010

  50. [50]

    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

    work page 2016

  51. [51]

    I. Kousek. Asymmetric infinite sumsets in large sets of integers.arXiv preprint arXiv:2502.03112, 2025

    work page arXiv 2025

  52. [52]

    Kousek and T

    I. Kousek and T. Radić. Infinite unrestricted sumsets of the formB+Bin sets with large density.Bulletin of the London Mathematical Society, 57(1):48–68, 2025

    work page 2025

  53. [53]

    B. Kra, J. Moreira, F. Richter, and D. Robertson. A proof of Erdős’sB+B+tconjecture. Communications of the American Mathematical Society, 4(10):480–494, 2024

    work page 2024

  54. [54]

    B. Kra, J. Moreira, F. Richter, and D. Robertson. Problems on infinite sumset configurations in the integers and beyond.Bulletin of the American Mathematical Society, 62(4):537–574, 2025

    work page 2025

  55. [55]

    B. Kra, J. Moreira, F. K. Richter, and D. Robertson. Infinite sumsets in sets with positive density.J. Amer. Math. Soc., 37(3):637–682, 2024

    work page 2024

  56. [56]

    B. Kra, J. Moreira, F. K. Richter, and D. Robertson. The density finite sums theorem.Inven- tiones mathematicae, pages 1–31, 2025

    work page 2025

  57. [57]

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

    work page 2005

  58. [58]

    A. Leibman. Orbit of the diagonal in the power of a nilmanifold.Transactions of the American Mathematical Society, 362(3):1619–1658, 2010

    work page 2010

  59. [59]

    Moreira, F

    J. Moreira, F. Richter, and D. Robertson. A proof of a sumset conjecture of Erdős.Ann. of Math. (2), 189(2):605–652, 2019

    work page 2019

  60. [60]

    J. Qiu. Polynomial orbits in totally minimal systems.Advances in Mathematics, 432:109260, 2023. INFINITE SUMSETS INU k(Φ)-UNIFORM SETS 37

    work page 2023

  61. [61]

    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

    work page 2012

  62. [62]

    K. Tsinas. Joint ergodicity of Hardy field sequences.Transactions of the American Mathemat- ical Society, 376(05):3191–3263, 2023

    work page 2023

  63. [63]

    T. Ziegler. A non-conventional ergodic theorem for a nilsystem.Ergodic Theory and Dynamical Systems, 25(4):1357–1370, 2005. Department of mathematics, Northwestern University, 2033 Sheridan Rd, Ev anston, IL, United States of America Email address:tristan.radic@u.northwestern.edu

    work page 2005