pith. sign in

arxiv: 2604.12915 · v1 · submitted 2026-04-14 · 🧮 math.DS · math.SP

Multipliers and Disjointness from Mixing

Sohail Farhangi , Joel Moreira , Rigoberto Zelada This is my paper

Pith reviewed 2026-05-10 13:59 UTC · model grok-4.3

classification 🧮 math.DS math.SP
keywords U-generated systemsU-mixing systemsdisjointnesspartially rigid systemsultrafiltersergodic theorymixingjoinings
0
0 comments X

The pith

A system is U-mixing if and only if it is disjoint from all U-generated systems, for any set U of ultrafilters.

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

The paper introduces complementary notions of U-generated and U-mixing systems for an arbitrary set U of ultrafilters. It establishes an exact duality: a system satisfies the U-mixing property precisely when it shares no non-trivial joinings with any U-generated system. The same construction yields a stronger preservation result for joinings and shows that every partially rigid system arises as a finite extension of some U-generated system. These statements recover several classical theorems on mixing and rigidity as special cases obtained by choosing particular ultrafilter sets.

Core claim

We prove that a system is U-mixing if and only if it is disjoint from all U-generated systems. In fact, we show that if Y is a U-generated system and Z is disjoint from every U-mixing system, then any joining of Y and Z remains disjoint from all U-mixing systems. We also show that every partially rigid system is a finite extension of some U-generated system.

What carries the argument

The dual notions of U-generated systems and U-mixing systems, defined from a fixed set U of ultrafilters, which generalize Parreau's factor construction to produce systems with controlled joinings.

If this is right

  • Several classical results on mixing and disjointness follow directly by specializing the ultrafilter set U.
  • Partially rigid systems admit a uniform structural description as finite extensions of U-generated systems.
  • Disjointness from the class of U-mixing systems is preserved under joinings with U-generated systems.
  • The equivalence supplies a general characterization of various mixing properties through the language of disjointness.

Where Pith is reading between the lines

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

  • The same ultrafilter-based duality may supply analogous characterizations for other dynamical properties such as weak mixing or rigidity.
  • The joining preservation result suggests that the class of systems disjoint from all U-mixing systems is closed under certain operations with U-generated systems.
  • The framework offers a route to constructing explicit factors with prescribed disjointness relations in systems that are not fully mixing.

Load-bearing premise

The definitions of U-generated and U-mixing systems can be extended consistently from Parreau's construction to arbitrary ultrafilter sets without breaking the joining or extension properties.

What would settle it

A concrete counterexample would be either a U-mixing system that admits a non-trivial joining with some U-generated system, or a partially rigid system that cannot be expressed as a finite extension of any U-generated system.

read the original abstract

In 2005, Parreau proved that if a measure preserving system is not strongly mixing then it contains a non-trivial factor that is disjoint from every strongly mixing system. Taking this construction as the starting point, we develop the complementary notions of $\mathcal U$-generated and $\mathcal U$-mixing systems, for a set $\mathcal U$ of ultrafilters, and use them to recover several classical results in ergodic theory as special cases of a unified framework. We prove that a system is $\mathcal U$-mixing if and only if it is disjoint from all $\mathcal U$-generated systems. In fact, we show that if $\mathcal Y$ is a $\mathcal U$-generated system and $\mathcal Z$ is disjoint from every $\mathcal U$-mixing system, then any joining of $\mathcal Y$ and $\mathcal Z$ remains disjoint from all $\mathcal U$-mixing systems. We also show that every partially rigid system is a finite extension of some $\mathcal{U}$-generated system.

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 extends Parreau's 2005 construction of a non-trivial factor disjoint from every strongly mixing system by introducing, for an arbitrary set U of ultrafilters, the complementary notions of U-generated and U-mixing systems. It proves that a measure-preserving system is U-mixing if and only if it is disjoint from all U-generated systems; strengthens this to a joining-stability statement (if Y is U-generated and Z is disjoint from every U-mixing system, then any joining of Y and Z remains disjoint from all U-mixing systems); and shows that every partially rigid system is a finite extension of some U-generated system. The framework recovers several classical results in ergodic theory as special cases.

Significance. If the constructions and proofs are consistent, the work supplies a unified, parameter-free framework that recovers multiple classical disjointness and mixing theorems as instances of a single ultrafilter-based construction. The joining-stability and finite-extension results are load-bearing for the claim of a coherent generalization beyond Parreau's original factor, and the recovery of classical results provides concrete evidence of the framework's reach.

minor comments (3)
  1. [Abstract] The abstract states that several classical results are recovered but does not name them; an explicit list (with references) in the introduction or a dedicated subsection would make the unification claim easier to verify.
  2. [Definitions section] The definitions of U-generated and U-mixing systems (presumably in §2 or §3) should include a short comparison table or paragraph contrasting them with Parreau's original factor construction to clarify what is new versus what is preserved.
  3. [Throughout] Notation for ultrafilter sets (U vs. script U) and for the associated systems should be checked for consistency throughout; minor inconsistencies in font or subscript usage appear in the abstract and early sections.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript, accurate summary of its contributions, and recommendation for minor revision. We are pleased that the unified ultrafilter-based framework and its recovery of classical ergodic theory results are recognized as significant.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper takes Parreau's 2005 external result as its explicit starting point and introduces new definitions of U-generated and U-mixing systems for arbitrary ultrafilter sets. The central equivalence (U-mixing iff disjoint from all U-generated systems) is presented as a theorem proved from those definitions and the generalized construction, not as a definitional identity. The joining-stability and finite-extension claims are likewise derived as additional properties within the same framework. No step reduces by construction to a fitted input, self-citation chain, or ansatz smuggled from prior work by the same authors. The framework is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The paper works entirely within the standard setting of measure-preserving dynamical systems and ergodic theory. No numerical free parameters are fitted. The main additions are definitional.

axioms (1)
  • standard math Standard axioms and definitions of measure theory, probability spaces, and measure-preserving transformations.
    The entire development presupposes the usual setup of ergodic theory as background.
invented entities (2)
  • U-generated system no independent evidence
    purpose: Generalizes the non-trivial factor from Parreau's theorem to an arbitrary ultrafilter set U.
    Newly defined in the paper; no external falsifiable prediction is given.
  • U-mixing system no independent evidence
    purpose: Complementary class to U-generated systems for the disjointness characterization.
    Newly defined in the paper; no external falsifiable prediction is given.

pith-pipeline@v0.9.0 · 5472 in / 1448 out tokens · 53554 ms · 2026-05-10T13:59:35.655766+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

67 extracted references · 67 canonical work pages

  1. [1]

    Ackelsberg, F

    E. Ackelsberg, F. K. Richter, and O. Shalom. On the maximal spectral type of nilsystems.Proc. Am. Math. Soc., Ser. B, 11:469–480,

    work page

  2. [2]

    T. M. Adams. Mixing sets for non-mixing transformations. Preprint, arXiv:1604.01090 [math.DS] (2016), 2016. 33

    work page arXiv 2016

  3. [3]

    Avila and G

    A. Avila and G. Forni. Weak mixing for interval exchange transformations and translation flows.Ann. Math. (2), 165(2):637–664,

    work page

  4. [4]

    Barthmann, S

    M. Barthmann, S. Farhangi, and Y. Kuznetsova. On the Jacobs-de Leeuw-Glicksberg decomposition. Preprint, arXiv:2509.24003 [math.FA] (2025), 2025. 15, 16

    work page arXiv 2025

  5. [5]

    ErgodicRamseytheory–anupdate

    V.Bergelson. ErgodicRamseytheory–anupdate. InErgodictheoryofZ 𝑑 actions.ProceedingsoftheWarwicksymposium,Warwick, UK, 1993-94, pages 1–61. New York: Cambridge University Press, 1996. 11, 15, 17

    work page 1993

  6. [6]

    Bergelson

    V. Bergelson. Minimal idempotents and ergodic Ramsey theory. InTopics in dynamics and ergodic theory. Survey papers and mini- courses presented at the international conference and US-Ukrainian workshop on dynamical systems and ergodic theory, Katsiveli, Ukraine, August 21–30, 2000, pages 8–39. Cambridge: Cambridge University Press, 2003. 16 33

    work page 2000

  7. [7]

    Bergelson, A

    V. Bergelson, A. Del Junco, M. Lemańczyk, and J. Rosenblatt. Rigidity and non-recurrence along sequences.Ergodic Theory Dyn. Syst., 34(5):1464–1502, 2014. 21

    work page 2014

  8. [8]

    Bergelson and T

    V. Bergelson and T. Downarowicz. Large sets of integers and hierarchy of mixing properties of measure preserving systems.Colloq. Math., 110(1):117–150, 2008. 12

    work page 2008

  9. [9]

    Polynomial actions of unitary operators and idempotent ultrafilters

    V. Bergelson, S. Kasjan, and M. Lemańczyk. Polynomial actions of unitary operators and idempotent ultrafilters. Preprint, arXiv:1401.7869 [math.DS] (2014), 2014. 2, 17, 18

    work page Pith review arXiv 2014

  10. [10]

    Idempotentultrafilters,multipleweakmixingandSzemerédi’stheoremforgeneralizedpolynomials

    V.BergelsonandR.McCutcheon. Idempotentultrafilters,multipleweakmixingandSzemerédi’stheoremforgeneralizedpolynomials. J. Anal. Math., 111:77–130, 2010. 16

    work page 2010

  11. [11]

    Bergelson and J

    V. Bergelson and J. Rosenblatt. Mixing actions of groups.Illinois J. Math., 32(1):65–80, 1988. 16, 19

    work page 1988

  12. [12]

    Bergelson and R

    V. Bergelson and R. Zelada. Iterated differences sets, Diophantine approximations and applications.J. Comb. Theory, Ser. A, 184:51,

    work page

  13. [13]

    Bergelson and R

    V. Bergelson and R. Zelada. Strongly mixing PET for commutingZ-actions.In preparation, 2023. 4, 12, 29

    work page 2023

  14. [14]

    Bergelson and R

    V. Bergelson and R. Zelada. Strongly mixing systems are almost strongly mixing of all orders.Ergodic Theory Dynam. Systems, 44(6):1489–1530, 2024. 3, 9, 10, 11, 12, 18, 19

    work page 2024

  15. [15]

    P. Berk, M. Górska, and T. de la Rue. Joining properties of automorphisms disjoint with all ergodic systems.Ergodic Theory Dyn. Syst., 45(7):1998–2022, 2025. 2, 7

    work page 1998

  16. [16]

    R. C. Bradley. Basic properties of strong mixing conditions. A survey and some open questions.Probab. Surv., 2:107–144, 2005. 23

    work page 2005

  17. [17]

    Bruin, O

    H. Bruin, O. Karpel, P. Oprocha, and S. Radinger. Rigidity and Toeplitz systems.Forum Math., 38(3):863–892, 2026. 24

    work page 2026

  18. [18]

    R. V. Chacon. Weakly mixing transformations which are not strongly mixing.Proc. Am. Math. Soc., 22:559–562, 1969. 21

    work page 1969

  19. [19]

    A. I. Danilenko. Actions of finite rank: weak rational ergodicity and partial rigidity.Ergodic Theory Dyn. Syst., 36(7):2138–2171,

    work page

  20. [20]

    F. M. Dekking and M. Keane. Mixing properties of substitutions.Z. Wahrscheinlichkeitstheor. Verw. Geb., 42:23–33, 1978. 24

    work page 1978

  21. [21]

    Del Junco and M

    A. Del Junco and M. Lemańczyk. Generic spectral properties of measure-preserving maps and applications.Proc. Am. Math. Soc., 115(3):725–736, 1992. 24

    work page 1992

  22. [22]

    Donoso, A

    S. Donoso, A. Maass, and T. Radić. On partial rigidity ofS-adic subshifts.Ergodic Theory Dyn. Syst., 45(9):2724–2764, 2025. 24

    work page 2025

  23. [23]

    Thespectrumofcompletelypositiveentropyactionsofcountableamenablegroups.J.Funct.Anal., 196(1):1–18, 2002

    A.H.DooleyandV.Y.Golodets. Thespectrumofcompletelypositiveentropyactionsofcountableamenablegroups.J.Funct.Anal., 196(1):1–18, 2002. 2

    work page 2002

  24. [24]

    Eisner, B

    T. Eisner, B. Farkas, M. Haase, and R. Nagel.Operator theoretic aspects of ergodic theory, volume 272 ofGrad. Texts Math.Cham: Springer, 2015. 15

    work page 2015

  25. [25]

    E. H. El Abdalaoui. On the spectrum of𝛼-rigid maps.J. Dyn. Control Syst., 15(4):453–470, 2009. 19, 25

    work page 2009

  26. [26]

    E. H. El Abdalaoui, A. Nogueira, and T. de la Rue. Weak mixing of maps with bounded cutting parameter.New York J. Math., 11:81–87, 2005. 32

    work page 2005

  27. [27]

    Rigiditytimesforweaklymixingdynamicalsystemwhicharenotrigiditytimesforanyirrationalrotation

    B.FayadandA.Kanigowski. Rigiditytimesforweaklymixingdynamicalsystemwhicharenotrigiditytimesforanyirrationalrotation. Ergodic Theory and Dynamical Systems, 35(8):2529–2534, 2015. 24

    work page 2015

  28. [28]

    Frączek and M

    K. Frączek and M. Lemańczyk. On disjointness properties of some smooth flows.Fundam. Math., 185(2):117–142, 2005. 24

    work page 2005

  29. [29]

    N. A. Friedman. Partial mixing, partial rigidity, and factors. Measure and measurable dynamics, Proc. Conf., Rochester/NY 1987, Contemp. Math. 94, 141-145 (1989)., 1989. 24

    work page 1987

  30. [30]

    N. A. Friedman and D. S. Ornstein. On mixing and partial mixing.Ill. J. Math., 16:61–68, 1972. 25

    work page 1972

  31. [31]

    Disjointnessinergodictheory,minimalsets,andaprobleminDiophantineapproximation.Math.Syst.Theory,1:1–49,

    H.Furstenberg. Disjointnessinergodictheory,minimalsets,andaprobleminDiophantineapproximation.Math.Syst.Theory,1:1–49,

    work page

  32. [32]

    Furstenberg.Recurrence in ergodic theory and combinatorial number theory

    H. Furstenberg.Recurrence in ergodic theory and combinatorial number theory. Princeton University Press, 1981. 3, 6, 18, 19

    work page 1981

  33. [33]

    AnergodicSzemeréditheoremforIP-systemsandcombinatorialtheory.J.AnalyseMath.,45:117– 168, 1985

    H.FurstenbergandY.Katznelson. AnergodicSzemeréditheoremforIP-systemsandcombinatorialtheory.J.AnalyseMath.,45:117– 168, 1985. 17

    work page 1985

  34. [34]

    Furstenberg and B

    H. Furstenberg and B. Weiss. The finite multipliers of infinite ergodic transformations. Struc. Attract. dyn. Syst., Proc., North Dakota State Univ. 1977, Lect. Notes Math. 668, 127-132 (1978)., 1978. 17

    work page 1977

  35. [35]

    E. Glasner. On the class of multipliers forW⊥.Ergodic Theory Dyn. Syst., 14(1):129–140, 1994. 2, 8

    work page 1994

  36. [36]

    E.Glasner.Ergodictheoryviajoinings,volume101ofMath.Surv.Monogr.Providence,RI:AmericanMathematicalSociety(AMS),

    work page

  37. [37]

    Glasner and B

    S. Glasner and B. Weiss. Processes disjoint from weak mixing.Trans. Am. Math. Soc., 316(2):689–703, 1989. 2

    work page 1989

  38. [38]

    Følner,Banachandtranslationdensityareequalandothernewresultsaboutdensityinleft amenable semigroups.Semigroup Forum, 111(1):121–143, 2025

    D.Glasscock,N.Hindman,andD.Strauss. Følner,Banachandtranslationdensityareequalandothernewresultsaboutdensityinleft amenable semigroups.Semigroup Forum, 111(1):121–143, 2025. 16

    work page 2025

  39. [39]

    Górska, M

    M. Górska, M. Lemańczyk, and T. de la Rue. On orthogonality to uniquely ergodic systems. Preprint, arXiv:2404.07907 [math.DS] (2024), 2024. 2, 7 34

    work page arXiv 2024

  40. [40]

    Hindman and D

    N. Hindman and D. Strauss.Algebra in the Stone-Čech Compactification: Theory and Applications. De Gruyter Textbook. Walter de Gruyter, second revised and extended edition, 2012. 10, 11, 17

    work page 2012

  41. [41]

    Janvresse, A

    É. Janvresse, A. A. Prikhod’ko, T. de la Rue, and V. V. Ryzhikov. Weak limits of powers of Chacon’s automorphism.Ergodic Theory Dyn. Syst., 35(1):128–141, 2015. 21

    work page 2015

  42. [42]

    Kanigowski, J

    A. Kanigowski, J. Kułaga-Przymus, M. Lemańczyk, and T. de la Rue. On arithmetic functions orthogonal to deterministic sequences. Adv. Math., 428:68, 2023. Id/No 109138. 2

    work page 2023

  43. [43]

    A. Katok. Interval exchange transformations and some special flows are not mixing.Isr. J. Math., 35:301–310, 1980. 24, 32

    work page 1980

  44. [44]

    A. B. Katok and A. M. Stëpin. Approximations in ergodic theory.Usp. Mat. Nauk, 22(5(137)):81–106, 1967. 32

    work page 1967

  45. [45]

    J. King. Lightly mixing is closed under countable products.Isr. J. Math., 62(2-3):341–346, 1988. 33

    work page 1988

  46. [46]

    B. O. Koopman and J. von Neumann. Dynamical systems of continuous spectra.Proceedings of the National Academy of Sciences, 18(3):255–263, 1932. 15

    work page 1932

  47. [47]

    Krengel.Ergodic theorems, volume 6 ofDe Gruyter Studies in Mathematics

    U. Krengel.Ergodic theorems, volume 6 ofDe Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin, 1985. With a supplement by Antoine Brunel. 15

    work page 1985

  48. [48]

    Kuang and X

    R. Kuang and X. Ye. Mixing via families for measure preserving transformations.Colloq. Math., 110(1):151–165, 2008. 12, 18

    work page 2008

  49. [49]

    J. Kułaga. A note on the isomorphism of Cartesian products of ergodic flows.J. Dyn. Control Syst., 18(2):247–267, 2012. 24

    work page 2012

  50. [50]

    Spectraltheoryofdynamicalsystems

    M.Lemańczyk. Spectraltheoryofdynamicalsystems. InR.A.Meyers,editor,EncyclopediaofComplexityandSystemScience,pages 8554–8575. Springer-Verlag, 2009. 2, 5, 20, 32

    work page 2009

  51. [51]

    Lemańczyk and F

    M. Lemańczyk and F. Parreau. Rokhlin extensions and lifting disjointness.Ergodic Theory Dyn. Syst., 23(5):1525–1550, 2003. 2

    work page 2003

  52. [52]

    Lemańczyk, F

    M. Lemańczyk, F. Parreau, and J.-P. Thouvenot. Gaussian automorphisms whose ergodic self-joinings are Gaussian.Fundam. Math., 164(3):253–293, 2000. 1

    work page 2000

  53. [53]

    Lemańczyk

    M. Lemańczyk. Non-mixing of interval exchange transformations and special flows, 2008. Unpublished lecture notes. 5, 27

    work page 2008

  54. [54]

    Lemańczyk

    M. Lemańczyk. On parreau’s theorem on non-mixing transformations, 2008. Unpublished lecture notes. 5, 26, 27

    work page 2008

  55. [55]

    F. Parreau. Facteurs disjoints des transformations melangeantes. Preprint, arXiv:2307.01562 [math.DS] (2023), 2023. 2, 4, 5, 10, 20, 27

    work page arXiv 2023

  56. [56]

    Queffelec

    M. Queffelec. Une nouvelle propriété des suites de Rudin-Shapiro. (A new property of Rudin-Shapiro sequences).Ann. Inst. Fourier, 37(2):115–138, 1987. 21

    work page 1987

  57. [57]

    V. V. Ryzhikov. The absence of mixing in special flows over rearrangements of segments.Math. Notes, 55(6):648–650, 1994. 24

    work page 1994

  58. [58]

    Pairwise𝜀-independenceofthesets𝑇 𝑖 𝐴foramixingtransformation𝑇.Funct.Anal.Appl.,43(2):155–157,2009

    V.V.Ryzhikov. Pairwise𝜀-independenceofthesets𝑇 𝑖 𝐴foramixingtransformation𝑇.Funct.Anal.Appl.,43(2):155–157,2009. 24

    work page 2009

  59. [59]

    V. V. Ryzhikov. Mixing sets for rigid transformations.Math. Notes, 110(4):565–570, 2021. 21

    work page 2021

  60. [60]

    Schmidt and P

    K. Schmidt and P. Walters. Mildly mixing actions of locally compact groups.Proc. Lond. Math. Soc. (3), 45:506–518, 1982. 21

    work page 1982

  61. [61]

    A. M. Stëpin. Spectral properties of generic dynamical systems.Math. USSR, Izv., 29:159–192, 1987. 23, 24

    work page 1987

  62. [62]

    Facteurdeparreaudanslessystèmesdynamiquesmesurésenthéorieergodique

    A.L.Tehungue. Facteurdeparreaudanslessystèmesdynamiquesmesurésenthéorieergodique. Master’sthesis,UniversitédeRouen Normandie, 2024. HAL Id: dumas-04650267. 5

    work page 2024

  63. [63]

    Thouvenot

    J.-P. Thouvenot. Some properties and applications of joinings in ergodic theory. InErgodic theory and its connections with harmonic analysis.Proceedingsofthe1993Alexandriaconference,Alexandria,Egypt,May24-28,1993,pages207–235.Cambridge:Cambridge University Press, 1995. 8

    work page 1993

  64. [64]

    W. A. Veech. The metric theory of interval exchange transformations. I: Generic spectral properties.Am. J. Math., 106:1331–1359,

    work page

  65. [65]

    P. Walters. Some invariant𝜎-algebras for measure-preserving transformations.Trans. Amer. Math. Soc., 163:357–368, 1972. 2, 17

    work page 1972

  66. [66]

    R. Zelada. Mixing and rigidity along asymptotically linearly independent sequences.Ergodic Theory Dyn. Syst., 43(10):3506–3537,

    work page

  67. [67]

    R. Zelada. Coexistence of mixing and rigid behaviors in ergodic theory.arXiv preprint arXiv:2504.17555, 2025. 24 35

    work page arXiv 2025