pith. sign in

arxiv: 2512.12894 · v2 · pith:EBGV2TFYnew · submitted 2025-12-15 · 🧮 math.DS · math.OA

Ergodic Average Dominance for Unimodular Amenable Groups

Ujan Chakraborty , Runlian Xia , Joachim Zacharias This is my paper

Pith reviewed 2026-05-21 17:18 UTC · model grok-4.3

classification 🧮 math.DS math.OA
keywords ergodic averagesunimodular amenable groupsFølner sequencesMarkov operatorpointwise ergodic theoremmaximal ergodic theoreminteger actions
0
0 comments X

The pith

Ergodic averages for unimodular amenable groups along suitable Følner sequences are dominated by Cesàro means of a Markov operator from an integer action.

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

The paper shows that ergodic averages of any unimodular amenable group action along certain Følner sequences can be dominated by the Cesàro means of a Markov operator built from the action, which amounts to averages along an integer action. This inequality transfers the maximal and pointwise ergodic theorems known for integers directly to the group setting. The restrictions on the Følner sequences are mild, so every two-sided Følner sequence has a subsequence that satisfies them. The result therefore places commutative and noncommutative ergodic theorems on the same footing without needing separate arguments.

Core claim

The ergodic averages of the action of any unimodular amenable group along certain Følner sequences can be dominated by the Cesàro means of a suitably constructed Markov operator, that is, the ergodic averages of an integer action. Every two-sided Følner sequence admits a subsequence meeting the required mild conditions, so the maximal and pointwise ergodic theorems for these group actions follow immediately from the corresponding theorems for integer actions.

What carries the argument

A Markov operator constructed from the group action whose Cesàro means dominate the group ergodic averages along suitable Følner sequences, reducing the problem to the integer case.

If this is right

  • The maximal ergodic theorem for unimodular amenable groups follows directly from the known theorem for integer actions.
  • The pointwise ergodic theorem for these groups likewise follows from the integer case.
  • Commutative and noncommutative ergodic theorems receive a uniform treatment.

Where Pith is reading between the lines

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

  • The subsequence extraction step may allow the result to apply to averaging along other natural sequences in ergodic theory beyond the ones explicitly treated.
  • Similar dominance constructions could be sought for actions of groups that are amenable but not unimodular.

Load-bearing premise

A Markov operator can be constructed from the group action so that the dominance inequality holds for Følner sequences that include a subsequence of every two-sided Følner sequence.

What would settle it

An explicit unimodular amenable group, action, and two-sided Følner sequence for which no such Markov operator exists whose Cesàro means dominate the group ergodic averages.

read the original abstract

In this paper we show that the ergodic averages of the action of any unimodular amenable group along certain F{\o}lner sequences can be dominated by the Ces\`aro means of a suitably constructed Markov operator, that is, the ergodic averages of an integer action. Moreover, the restriction on these F{\o}lner sequences are mild enough so that every two-sided F{\o}lner sequence has a subsequence satisfying these conditions. As a consequence of this inequality, we obtain the maximal and pointwise (individual) ergodic theorems for actions of unimodular amenable groups directly from the corresponding ergodic theorems for integer actions. This allows us to deal with the commutative and noncommutative ergodic theorems on an equal footing.

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 / 2 minor

Summary. The paper claims that the ergodic averages of the action of any unimodular amenable group along certain Følner sequences can be dominated by the Cesàro means of a suitably constructed Markov operator, that is, the ergodic averages of an integer action. Moreover, the restriction on these Følner sequences are mild enough so that every two-sided Følner sequence has a subsequence satisfying these conditions. As a consequence of this inequality, the maximal and pointwise ergodic theorems for actions of unimodular amenable groups follow directly from the corresponding theorems for integer actions, unifying the commutative and noncommutative cases.

Significance. If the dominance inequality holds, the result offers a clean reduction of ergodic theorems for unimodular amenable groups to the well-understood integer case. The explicit construction of the Markov operator and the mild subsequence condition on Følner sequences are strengths that could streamline proofs and extend applicability across both commutative and noncommutative settings in ergodic theory.

minor comments (2)
  1. [Abstract] The abstract states that the subsequence condition is 'mild enough' for every two-sided Følner sequence; a short explicit statement of the precise subsequence extraction property (e.g., preservation of the Følner density or the required averaging limit) would improve readability in the introduction.
  2. [Section 2] Notation for left and right Følner sequences and the associated averaging operators should be introduced once with a uniform symbol (e.g., consistent use of |F_n|^{-1} sum) and then used without redefinition in later sections.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, for recognizing the significance of the dominance inequality and the mild subsequence condition on Følner sequences, and for recommending minor revision. We are pleased that the reduction to the integer case is viewed as a unifying contribution for commutative and noncommutative ergodic theorems.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper constructs a Markov operator from any unimodular amenable group action such that its Cesàro means dominate the ergodic averages along suitable Følner subsequences, with the subsequence condition mild enough to apply to every two-sided Følner sequence. This dominance transfers the maximal inequality and pointwise convergence directly from the integer case. The derivation relies on standard properties of amenable groups and Følner sequences rather than reducing the target quantity to a fitted parameter or self-referential definition. The abstract provides a clear logical outline with no evident internal inconsistency or load-bearing self-citation that collapses the central claim.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard background facts about amenable groups and Følner sequences; no free parameters or new postulated entities are introduced in the abstract.

axioms (2)
  • domain assumption Existence and basic properties of Følner sequences for amenable groups
    Invoked to guarantee subsequences satisfying the mild conditions for dominance.
  • domain assumption Unimodularity of the group
    Used to ensure the Markov operator construction works symmetrically.

pith-pipeline@v0.9.0 · 5658 in / 1289 out tokens · 66839 ms · 2026-05-21T17:18:58.722381+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

12 extracted references · 12 canonical work pages

  1. [1]

    On ergodic theorems for free group actions on noncommutative spaces

    [Ana06] Claire Anantharaman-Delaroche. “On ergodic theorems for free group actions on noncommutative spaces”. In:Probab. Theory Related Fields135.4 (2006), pp. 520– 546.doi: 10.1007/s00440-005-0456-1. [Ana+10] Claire Anantharaman-Delaroche et al.Th´ eor` emes ergodiques pour les actions de groupes. Vol

    work page doi:10.1007/s00440-005-0456-1 2006

  2. [2]

    L’Enseignement Math´ ematique, Geneva, 2010, p

    Monographies de L’Enseignement Math´ ematique. L’Enseignement Math´ ematique, Geneva, 2010, p

    work page 2010

  3. [3]

    Proof of the Ergodic Theorem

    [Bir31] George D. Birkhoff. “Proof of the Ergodic Theorem”. In:Proceedings of the Na- tional Academy of Sciences17.12 (1931), pp. 656–660.doi: 10.1073/pnas.17.2.656. [Boc33] Salomon Bochner. “Integration von Funktionen, deren Werte die Elemente eines Vektorraumes sind”. In:Fund. Math.20 (1933), pp. 262–276.doi: 10.4064/fm-20- 1-262-176. [Bol98] Ludwig Bol...

    work page doi:10.1073/pnas.17.2.656 1931

  4. [4]

    Convergence of spherical averages for actions of free groups

    [Buf02] Alexander I. Bufetov. “Convergence of spherical averages for actions of free groups”. In:Ann. of Math. (2)155.3 (2002), pp. 929–944.doi: 10.2307/3062137. [CW22] L´ eonard Cadilhac and Simeng Wang.Noncommutative maximal ergodic inequali- ties for amenable groups

    work page doi:10.2307/3062137 2002

  5. [5]

    On individual ergodic theorems for semifi- nite von Neumann algebras

    arXiv: 2206.12228[math.OA]. [CL21] Vladimir Chilin and Semyon Litvinov. “On individual ergodic theorems for semifi- nite von Neumann algebras”. In:Journal of Mathematical Analysis and Applica- tions495.1 (2021), p. 124710.doi: https://doi.org/10.1016/j.jmaa.2020.124710. [EG67] William R. Emerson and Frederick P. Greenleaf. “Covering properties and Følner ...

    work page doi:10.1016/j.jmaa.2020.124710 2021

  6. [6]

    Gaussian estimates for Markov chains and random walks on groups

    Colloq. Internat. CNRS. CNRS, Paris, 1979, pp. 175–184. [HS93] Waldemar Hebisch and Laurent Saloff-Coste. “Gaussian estimates for Markov chains and random walks on groups”. In:Ann. Probab.21.2 (1993), pp. 673–709. [HLW21] Guixiang Hong, Ben Liao, and Simeng Wang. “Noncommutative maximal ergodic inequalities associated with doubling conditions”. In:Duke Ma...

    work page doi:10.1215/00127094-2020-0034 1979

  7. [7]

    Springer-Verlag, Berlin, 1985, pp

    Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1985, pp. vi+152.doi: 10.1007/BFb0101453. [Jaj91] Ryszard Jajte.Strong limit theorems in noncommutativeL 2-spaces. Vol

    work page doi:10.1007/bfb0101453 1985

  8. [8]

    Doob’s inequality for non-commutative martingales

    Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1991, pp. x+113.doi: 10.1007/BFb0098424. [Jun02] Marius Junge. “Doob’s inequality for non-commutative martingales”. In:J. Reine Angew. Math.549 (2002), pp. 149–190.doi: 10.1515/crll.2002.061. [JX07] Marius Junge and Quanhua Xu. “Noncommutative maximal ergodic theorems”. In:J. Amer. Math. Soc.20.2 (200...

    work page doi:10.1007/bfb0098424 1991

  9. [9]

    Ergodic theorems for convex sets and operator algebras

    1007/978-3-319-49847-8. [Lan76] E. Christopher Lance. “Ergodic theorems for convex sets and operator algebras”. In:Invent. Math.37.3 (1976), pp. 201–214.doi: 10.1007/BF01390319. [Lin01] Elon Lindenstrauss. “Pointwise theorems for amenable groups”. In:Invent. Math. 146.2 (2001), pp. 259–295.doi: 10.1007/s002220100162. [MN36] Francis J. Murray and John von ...

    work page doi:10.1007/bf01390319 1976

  10. [10]

    Pointwise ergodic theorems for actions of groups

    REFERENCES 25 [Nev06] Amos Nevo. “Pointwise ergodic theorems for actions of groups”. In:Handbook of dynamical systems. Vol. 1B. Elsevier B. V., Amsterdam, 2006, pp. 871–982.doi: 10.1016/S1874-575X(06)80038-X. [OW87] Donald S. Ornstein and Benjamin Weiss. “Entropy and isomorphism theorems for actions of amenable groups”. In:J. Analyse Math.48 (1987), pp. 1...

    work page doi:10.1016/s1874-575x(06)80038-x 2006

  11. [11]

    Non-commutative vector valuedL p-spaces and completely p-summing maps

    Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1988, pp. xx+452.doi: 10.1090/ surv/029. [Pis98] Gilles Pisier. “Non-commutative vector valuedL p-spaces and completely p-summing maps”. In:Ast´ erisque247 (1998), pp. vi+131. [PX03] Gilles Pisier and Quanhua Xu. “Non-commutativeL p-spaces”. In:Handbook of the geometry of ...

    work page 1988

  12. [12]

    Ergodic theorems for semifinite von Neumann algebras. I

    North-Holland, Amsterdam, 2003, pp. 1459– 1517.doi: 10.1016/S1874-5849(03)80041-4. [Yea77] F. J. Yeadon. “Ergodic theorems for semifinite von Neumann algebras. I”. In:J. London Math. Soc. (2)16.2 (1977), pp. 326–332.doi: 10.1112/jlms/s2-16.2.326. (Ujan Chakraborty)School of mathematics and Statistics, University of Glasgow, University A venue, Glasgow G12...

    work page doi:10.1016/s1874-5849(03)80041-4 2003