pith. sign in

arxiv: 2604.21392 · v1 · submitted 2026-04-23 · 🧮 math.DS

Unveiling universality, encloseness, and orthogonality in dynamics

J. Aaronson , A. I. Danilenko , J. Ku{\l}aga-Przymus , M. Lema\'nczyk This is my paper

Pith reviewed 2026-05-08 13:42 UTC · model grok-4.3

classification 🧮 math.DS
keywords Möbius orthogonalitySarnak conjectureuniversal topological modelsrelative discrete spectrumweakly mixing automorphismszero entropy systemsmeasure-theoretic eigenvalues
0
0 comments X

The pith

Orthogonality to bounded sequences like the Möbius function extends to all topological systems whose ergodic automorphisms are isomorphic to those in a given model.

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

The paper shows that strong orthogonality in one dynamical system transfers to every topological system in which the ergodic measures produce automorphisms that are measure-theoretically isomorphic to those in the original system. This transfer motivates the construction of universal topological models that realize entire classes of automorphisms at once. The authors prove that automorphisms with relative discrete spectrum over the identity, along with weakly mixing systems and several related classes, possess such universal models. They further establish that any zero-entropy system whose set of measure-theoretic eigenvalues is countable satisfies Sarnak's Möbius orthogonality conjecture along a subsequence of full logarithmic density. A reader would care because these results convert the task of verifying orthogonality for many systems into the simpler task of verifying it once for a single representative model.

Core claim

Whenever a strong form of orthogonality holds in a system (X,T), the orthogonality holds for all topological systems in which each ergodic measure yields an automorphism measure-theoretically isomorphic to one arising from an ergodic measure in (X,T). The classes of automorphisms with relative discrete spectrum over the identity factor and the weakly mixing automorphisms admit universal topological models. Zero-entropy systems (X,T) with countable sets of measure-theoretic eigenvalues satisfy Sarnak's conjecture along a subsequence of full logarithmic density.

What carries the argument

Universal topological model for a characteristic class of measure-preserving automorphisms, which ensures that orthogonality verified on the model applies to every topological realization whose ergodic components are isomorphic to those in the model.

If this is right

  • Orthogonality verified on a universal model applies to every topological system whose ergodic measures realize the same isomorphism class.
  • Zero-entropy systems with only countably many eigenvalues obey Sarnak's conjecture on a subsequence with full logarithmic density.
  • The same transfer principle applies to other bounded sequences beyond the Möbius function.
  • Existence of common ergodic extensions for measurable families of ergodic automorphisms becomes a key auxiliary question for extending the results.

Where Pith is reading between the lines

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

  • Proving orthogonality for one carefully chosen universal model may suffice for all systems in its class.
  • The countability condition on eigenvalues might be relaxed if additional structure on the spectrum is present.
  • The bridge between measure-theoretic isomorphism classes and topological realizations could apply to other sequence-based conjectures in dynamics.
  • One could seek universal models for further classes such as systems of zero entropy or positive entropy with specific spectral properties.

Load-bearing premise

Measure-theoretic isomorphism between ergodic automorphisms preserves the relevant orthogonality properties with respect to the sequences under consideration.

What would settle it

A zero-entropy topological system whose measure-theoretic eigenvalues form a countable set, yet which fails to be orthogonal to the Möbius function along every subsequence of full logarithmic density.

read the original abstract

Motivated by Sarnak's conjecture on M\"obius orthogonality, we investigate the general problem of orthogonality for a bounded sequence to topological models of characteristic classes of measure-preserving automorphisms. Our main observation is that whenever a strong form of such orthogonality holds in a system $(X,T)$ then the orthogonality holds for all topological systems in which each ergodic measure yields an automorphism that is measure-theoretically isomorphic to one arising from an ergodic measure in $(X,T)$. This leads us to study two purely dynamical problems: the existence of universal topological models for characteristic classes of measure-preserving automorphisms and the existence of a common ergodic extension for a measurable family of ergodic automorphisms. We show that the class of automorphisms with relative discrete spectrum over the identity factor--as well as several related classes including the weakly mixing case--admit universal models. We also highlight potential applications to the orthogonality phenomena. Moreover, we show that if the set of all measure-theoretic eigenvalues of a zero entropy system $(X,T)$ is countable, then $(X,T)$ satisfies Sarnak's conjecture along a subsequence of full logarithmic density.

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 paper develops a transfer principle for orthogonality in dynamical systems: if a strong form of orthogonality holds for a system (X,T), then it holds for all topological systems where ergodic measures correspond to measure-theoretically isomorphic automorphisms from (X,T). It proves that classes of automorphisms with relative discrete spectrum over the identity factor, as well as weakly mixing and related classes, admit universal topological models. It also shows that zero-entropy systems (X,T) with countable measure-theoretic eigenvalues satisfy Sarnak's conjecture along a subsequence of full logarithmic density.

Significance. If these results are correct, they provide a powerful tool for extending orthogonality properties, such as Möbius orthogonality, across broad classes of dynamical systems using universal models. This is significant for the study of Sarnak's conjecture, as it reduces the problem to finding suitable models for characteristic classes. The conditional result offers a new avenue for verifying the conjecture in specific cases where eigenvalues are countable. The paper builds on standard ergodic theory but applies it innovatively to topological models and orthogonality.

minor comments (3)
  1. The title mentions 'encloseness' but the abstract does not define or use this term; it should be introduced early in the paper to clarify its relation to universality and orthogonality.
  2. The statement 'we also highlight potential applications to the orthogonality phenomena' is too vague; specify at least one potential application in the abstract or introduction.
  3. Ensure that the definition of 'strong form of such orthogonality' is precisely stated with reference to the sequences involved, such as the Möbius function.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the clear summary of our transfer principle for orthogonality, the results on universal topological models for automorphisms with relative discrete spectrum (and related classes), and the conditional result on Sarnak's conjecture for zero-entropy systems with countable eigenvalues. We appreciate the recognition of the significance of these contributions for extending orthogonality properties across dynamical systems. The recommendation for minor revision is noted, and we will prepare a revised version accordingly.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes existence of universal topological models for automorphisms with relative discrete spectrum (and related classes) via standard ergodic theory constructions, then transfers orthogonality properties under measure-theoretic isomorphism of ergodic components. These steps rely on external definitions and prior results in the field rather than self-definitional reductions or fitted inputs renamed as predictions. The conditional Sarnak result follows directly from the universal models plus the countability assumption on eigenvalues, without any load-bearing self-citation chains or ansatz smuggling. The derivation chain is self-contained against external benchmarks in dynamical systems.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on established concepts in ergodic theory without introducing new free parameters or entities.

axioms (1)
  • standard math Standard axioms of measure theory and ergodic theory
    The paper operates within the classical framework of measure-preserving automorphisms, topological models, and measure-theoretic isomorphism.

pith-pipeline@v0.9.0 · 5523 in / 1311 out tokens · 26076 ms · 2026-05-08T13:42:34.320574+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

69 extracted references · 69 canonical work pages

  1. [1]

    Aaronson, M

    J. Aaronson, M. Nadkarni,L 8-Eigenvalues andL 2-Spectra of Non- Singular Transformations, Proc. London Math. Soc. s3-55 (1987), 538- 570

    work page 1987

  2. [2]

    El Abdalaoui, M

    H. El Abdalaoui, M. Lemańczyk, T. de la Rue,Automorphisms with quasi-discrete spectrum, multiplicative functions and average orthogo- nality along short intervals, International Math. Res. Notices14(2017), 4350-4368

    work page 2017

  3. [3]

    El Abdalaoui, J

    H. El Abdalaoui, J. Kułaga-Przymus, M. Lemańczyk, T. de la Rue, Möbius disjointness for models of an ergodic system and beyond, Israel J. Math.228(2018), 707-751

    work page 2018

  4. [4]

    Auslander, C.C

    L. Auslander, C.C. Moore,Unitary representations of solvable Lie groups, Memoirs of Amer. Math. Soc. 62 (1966)

    work page 1966

  5. [5]

    Austin, M

    T. Austin, M. Lemańczyk,Relatively finite measure-preserving exten- sions and lifting multipliers by Rokhlin cocycles, J. Fixed Point Theory Appl. 6 (2009), 115–131

    work page 2009

  6. [6]

    Babel, M.E

    S. Babel, M.E. Can, D. Kwietniak, P. Oprocha,Spectrum of invariant measures via generic points, arXiv:2510.19711

    work page arXiv

  7. [7]

    Babel, M

    S. Babel, M. L¸ acka,On the closedness of ergodic measures in a charac- teristic class, arxiv:2510.26564

    work page arXiv

  8. [8]

    P. Berk, M. Górska, T. de la Rue,Joining properties of automorphisms disjoint with all ergodic systems, Ergodic Theory Dynam. Systems 45 (2025), 1988–2002

    work page 2025

  9. [9]

    Bourgain, P

    J. Bourgain, P. Sarnak, T. Ziegler,Disjointness of Moebius from horo- cycle flows, in: From Fourier Analysis and Number Theory to Radon Transforms and Geometry, Dev. Math. 28, Springer, New York, 2013, 67–83

    work page 2013

  10. [10]

    Conze, T

    J.-P. Conze, T. Downarowicz, J. Serafin,Correlation of sequences and of measures, generic points for joinings and ergodicity of certain cocycles, Trans. Amer. Math. Soc. 369 (2017), 3421–3441

    work page 2017

  11. [11]

    A. I. Danilenko,Endomorphisms of measured equivalence relations, co- cycles with values in non-locally compact groups and applications, Er- godic Theory & Dynam. Systems,19(1999), 571–590

    work page 1999

  12. [12]

    A. I. Danilenko, M. Lemańczyk,A class of multipliers forWK, Proba- bility in mathematics, Israel J. Math. 148 (2005), 137–168. 113

    work page 2005

  13. [13]

    Downarowicz, J

    T. Downarowicz, J. Serafin,Almost full entropy subshifts uncorrelated to the Möbius function, Int. Math. Res. Not. IMRN 2019, no. 11, 3459–3472

    work page 2019

  14. [14]

    Downarowicz, B

    T. Downarowicz, B. Weiss,Pure strictly uniform models of non- ergodic measure automorphisms, Discrete Contin. Dyn. Syst. 42 (2022), 863–884

    work page 2022

  15. [15]

    Green, T

    B. Green, T. Tao, T. Ziegler, An inverse theorem for the Gowers U s‘1rN s- norm, Ann. of Math. (2) 176 (2012), 1231–1372

    work page 2012

  16. [16]

    Edeko,On the isomorphism problem for non-minimal transforma- tions with discrete spectrum, Discrete Continuous Dynam

    N. Edeko,On the isomorphism problem for non-minimal transforma- tions with discrete spectrum, Discrete Continuous Dynam. Systems 39 (2019), 6001–6021

    work page 2019

  17. [17]

    Einsiedler, T

    M. Einsiedler, T. Ward,Ergodic theory with a view towards number the- ory, Grad. Texts in Math., 259 Springer-Verlag London, Ltd., London, 2011

    work page 2011

  18. [18]

    de Faveri,Möbius disjointness forC 1`ϵ skew products, Int

    A. de Faveri,Möbius disjointness forC 1`ϵ skew products, Int. Math. Res. Not. IMRN 2022, no. 4, 2513–2531

    work page 2022

  19. [19]

    Ferenczi, J

    S. Ferenczi, J. Kułaga-Przymus, M. Lemańczyk,Sarnak’s Conjecture – what’s new, in: Ergodic Theory and Dynamical Systems in their Inter- actions with Arithmetics and Combinatorics, CIRM Jean-Morlet Chair, Fall2016, Editors: S.Ferenczi, J.Kułaga-Przymus, M.Lemańczyk, Lec- ture Notes in Mathematics2213, Springer International Publishing, pp. 418

    work page

  20. [20]

    Foreman, D

    M. Foreman, D. J. Rudolph, B. Weiss,The conjugacy problem in ergodic theory, Ann. Math., 173 (2011) 1529–1586

    work page 2011

  21. [21]

    Frantzikinakis,Ergodicity of the Liouville system implies the Chowla conjecture, Discrete Analysis 2017, paper no 8, pp

    N. Frantzikinakis,Ergodicity of the Liouville system implies the Chowla conjecture, Discrete Analysis 2017, paper no 8, pp. 23

    work page 2017

  22. [22]

    Frantzikinakis, B

    N. Frantzikinakis, B. Host,The logarithmic Sarnak conjecture for er- godic weights, Annals Math. (2)187(2018), 869–931

    work page 2018

  23. [23]

    Frantzikinakis, M

    N. Frantzikinakis, M. Lemańczyk, T. de la Rue,Furstenberg systems of pretentious and MRT multiplicative functions, Ergodic Theory Dynam. Systems 45 (2025), 2765–2844

    work page 2025

  24. [24]

    Fr¸ aczek, J

    K. Fr¸ aczek, J. Kułaga, M. Lemańczyk,On the self-similarity problem for Gaussian-Kronecker flows, Proc. Amer. Math. Soc.141(2013), 4275- 4291

    work page 2013

  25. [25]

    Fr¸ aczek, M

    K. Fr¸ aczek, M. Lemańczyk,A note on quasi-similarity of Koopman operators, Journal London Math. Soc. (2)82(2010), 361-375. 114

    work page 2010

  26. [26]

    Furstenberg,Ergodic behaviour of diagonal measures and a theo- rem of Szemeredy on arithmetic progressions, J

    H. Furstenberg,Ergodic behaviour of diagonal measures and a theo- rem of Szemeredy on arithmetic progressions, J. Anal. Math. 31 (1977), 204–256

    work page 1977

  27. [27]

    Furstenberg,Recurrence in Ergodic Theory and Combinatorial Num- ber Theory, Princeton: Univ Press, 1981

    H. Furstenberg,Recurrence in Ergodic Theory and Combinatorial Num- ber Theory, Princeton: Univ Press, 1981

    work page 1981

  28. [28]

    Glasner,Ergodic Theory via Joinings, American Mathematical Soci- ety, Providence, 2003

    E. Glasner,Ergodic Theory via Joinings, American Mathematical Soci- ety, Providence, 2003

    work page 2003

  29. [29]

    Gomilko, M

    A. Gomilko, M. Lemańczyk, T. de la Rue,On Furstenberg systems of aperiodic multiplicative functions of Matomäki, Radziwiłł and Tao, J. Modern Dynamics17(2021), 529–555. doi: 10.3934/jmd.2021018

    work page doi:10.3934/jmd.2021018 2021

  30. [30]

    Gomilko, M

    A. Gomilko, M. Lemańczyk and T. de la Rue,Möbius orthogonality in density for zero entropy dynamical systems, Pure Appl. Funct. Anal.5 (2020), no. 6, 1357–1376

    work page 2020

  31. [31]

    Górska, M

    M. Górska, M. Lemańczyk, T. de la Rue,On orthogonality to uniquely ergodic systems, to appear in J. d’Analyse Math., arXiv:2404.07907

    work page arXiv

  32. [32]

    B. Host, B. Kra,Nilpotent structures in ergodic theory, Mathematical Surveys and Monographs, 236. American Mathematical Society, Provi- dence, RI, 2018

    work page 2018

  33. [33]

    B. Host, F. Méla, F. Parreau,Non singular transformations and spectral analysis of measures, Bulletin de la Société Mathématique de France 119 (1991), 33-90

    work page 1991

  34. [34]

    Huang, M

    W. Huang, M. Tan, L. Xu,Almost countable spectrum and logarithmic Sarnak conjecture, arXiv 2511.04419

    work page arXiv

  35. [35]

    Huang, Z

    W. Huang, Z. Wang, X. Ye,Measure complexity and Möbius disjoint- ness, Advances Math. 347 (2019), 827–858

    work page 2019

  36. [36]

    Huang, Z

    W. Huang, Z. Wang, G. Zhang,Möbius disjointness for topological mod- els of ergodic systems with discrete spectrum, J. Modern Dyn. 14 (2019), 277–290

    work page 2019

  37. [37]

    del Junco, M

    A. del Junco, M. Lemańczyk, M. K. Mentzen,Semisimplicity, joinings and group extensions, Studia Math. 112 (1995), 141–164

    work page 1995

  38. [38]

    del Junco, D.J

    A. del Junco, D.J. Rudolph,A rank-one, rigid, simple, prime map, Ergodic Theory Dynam. Systems 7 (1987), 229–247

    work page 1987

  39. [39]

    del Junco, D.J

    A. del Junco, D.J. Rudolph,On ergodic actions whose self-joinings are graphs, Ergodic Theory Dynam. Systems 7 (1987), 537-551. 115

    work page 1987

  40. [40]

    Kallman, R.D

    R.R. Kallman, R.D. Mauldin,A cross section theorem and an applica- tion toC ˚-algebras, Proc. Amer. Math. Soc.69(1978), 57–61

    work page 1978

  41. [41]

    Kanigowski, J

    A. Kanigowski, J. Kułaga-Przymus, M. Lemańczyk, T. de la Rue,On arithmetic functions orthogonal to deterministic sequences, Advances Math.428(2023), https://doi.org/10.1016/j.aim.2023.109138

    work page doi:10.1016/j.aim.2023.109138 2023

  42. [42]

    Kanigowski, M

    A. Kanigowski, M. Lemańczyk, M. Radziwiłł,Rigidity in dynamics and Möbius disjointness, Fundamenta Math.255(2021), 309-336

    work page 2021

  43. [43]

    Kanigowski, M

    A. Kanigowski, M. Lemańczyk, F. Richter, J. Teräväinen,On the local Fourier uniformity problem for small sets, International Math. Research Notices IMRN 2024, no 15, 11488-11512

    work page 2024

  44. [44]

    Kechris,Classical Descriptive Set Theory, Springer, 1995

    A.S. Kechris,Classical Descriptive Set Theory, Springer, 1995

    work page 1995

  45. [45]

    Kułaga-Przymus, M

    J. Kułaga-Przymus, M. Lemańczyk,The Möbius function and continu- ous extensions of rotations, Monatsh. Math. 178 (2015), 553–582

    work page 2015

  46. [46]

    Kwiatkowski,Isomorphism of regular Morse dynamical systems, Stu- dia Math.77(1982), 59-89

    J. Kwiatkowski,Isomorphism of regular Morse dynamical systems, Stu- dia Math.77(1982), 59-89

    work page 1982

  47. [47]

    Lemańczyk, M.K

    M. Lemańczyk, M.K. Mentzen,Compact subgroups in the centralizers of natural factors of an ergodic group extension of a rotation determine all factors, Ergodic Theory Dynam. Systems10(1990), 763-776

    work page 1990

  48. [48]

    Lemańczyk, F

    M. Lemańczyk, F. Parreau,Rokhlin extensions and lifting disjointness, Ergodic Theory Dynam. Systems 23 (2003), 1525-1550

    work page 2003

  49. [49]

    Lemańczyk, F

    M. Lemańczyk, F. Parreau,Lifting mixing properties by Rokhlin cocycles Ergodic Theory Dynam. Systems 32 (2012), 763–784

    work page 2012

  50. [50]

    Lemańczyk, F

    M. Lemańczyk, F. Parreau, J.–P. Thouvenot,Gaussian automor- phisms whose ergodic self–joinings are Gaussian, Fundamenta Math. 164 (2000), 253-293

    work page 2000

  51. [51]

    Lemańczyk, J.–P

    M. Lemańczyk, J.–P. Thouvenot, B. Weiss,Relative discrete spectrum and joinings, Monatsh. Math.137(2002), 57-75

    work page 2002

  52. [52]

    J. Liu, P. Sarnak,The Möbius function and distal flows, Duke Math. J. 164 (2015), 1353–1399

    work page 2015

  53. [53]

    G.Mackey,Point realizations of transformation groups, IllinoisJ.Math., 6 (1962), 327-335

    work page 1962

  54. [54]

    Madore,Rank-one group actions with simple mixingZ-subactions, New York J

    B. Madore,Rank-one group actions with simple mixingZ-subactions, New York J. Math.10(2004) 175–194

    work page 2004

  55. [55]

    Matomäki, M

    K. Matomäki, M. Radziwiłł,Multiplicative functions in short intervals, Annals of Mathematics 183 (2016), 1015–1056. 116

    work page 2016

  56. [56]

    Matomäki, M

    K. Matomäki, M. Radziwiłł, T. Tao,An averaged form of Chowla’s conjecture, Algebra Number Theory9(2015), 2167–2196

    work page 2015

  57. [57]

    Nadkarni,Spectral Theory of Dynamical Systems, Birhauser Ad- vanced Texts 1998

    M.G. Nadkarni,Spectral Theory of Dynamical Systems, Birhauser Ad- vanced Texts 1998

    work page 1998

  58. [58]

    Rudolph,An example of a measure preserving map with minimal self-joinings, and applications, J

    D.J. Rudolph,An example of a measure preserving map with minimal self-joinings, and applications, J. Analyse Math. 35 (1979), 97–122

    work page 1979

  59. [59]

    de la Rue,Notes on Austin’s multiple ergodic theorem, http://hal.archives-ouvertes.fr/hal-00400975

    T. de la Rue,Notes on Austin’s multiple ergodic theorem, http://hal.archives-ouvertes.fr/hal-00400975

    work page

  60. [60]

    Sarnak,Three lectures on the Möbius function, randomness and dy- namics, https://publications.ias.edu/sites/default/files/ MobiusFunc- tionsLectures(2).pdf

    P. Sarnak,Three lectures on the Möbius function, randomness and dy- namics, https://publications.ias.edu/sites/default/files/ MobiusFunc- tionsLectures(2).pdf

    work page

  61. [61]

    Sutherland,A Borel parametrization of Polish groups, Publ

    C. Sutherland,A Borel parametrization of Polish groups, Publ. RIMS., 21 (1985) 1067–1086

    work page 1985

  62. [62]

    Schmidt,Cocycles of Ergodic Transformation Groups, Mac Millian, Delhi, 1977

    K. Schmidt,Cocycles of Ergodic Transformation Groups, Mac Millian, Delhi, 1977

    work page 1977

  63. [63]

    Serafin,Non-existence of a universal zero-entropy system, Israel J

    J. Serafin,Non-existence of a universal zero-entropy system, Israel J. Math. 194 (2013), 349–358

    work page 2013

  64. [64]

    Tao,The logarithmically averaged Chowla and Elliott conjectures for two-point correlations, Forum Math

    T. Tao,The logarithmically averaged Chowla and Elliott conjectures for two-point correlations, Forum Math. Pi 4 (2016), e6, 36 pp

    work page 2016

  65. [65]

    T. Tao,Equivalence of the logarithmically averaged Chowla and Sarnak conjectures, Number Theory – Diophantine Problems, Uniform Distri- bution and Applications: Festschrift in Honour of Robert F. Tichy’s 60th Birthday (C. Elsholtz and P. Grabner, eds.), Springer Interna- tional Publishing, Cham, 2017, pp. 391–421

    work page 2017

  66. [66]

    W. A. Veech,A criterion for a process to be prime, Monatsh. Math. 94 (1982), no. 4, 335–341

    work page 1982

  67. [67]

    A. M. Vershik,Polymorphisms, Markov processes, and quasi-similarity, Discrete and Continuous Dynam. Systems 13 (2005), 1305-1324

    work page 2005

  68. [68]

    Wang,Möbius disjointness for analytic skew products, Inventiones Mathematicae 209 (2017), 175–196

    Z. Wang,Möbius disjointness for analytic skew products, Inventiones Mathematicae 209 (2017), 175–196

    work page 2017

  69. [69]

    Zimmer,Extensions of ergodic group actions, Illinois J

    R. Zimmer,Extensions of ergodic group actions, Illinois J. Math. 20 (1976), 373–409. 117 School of Math. Sciences, Tel Aviv University, 69978 Tel Aviv, Israel Faculty of Mathematics and Computer Science Nicolaus Copernicus University, Chopin street 12/18, 87-100 Toruń, Poland and B. Verkin Institute for Low Temperature Physics and Engineering of the Natio...

    work page 1976