pith. sign in

arxiv: 2510.16749 · v2 · submitted 2025-10-19 · 🧮 math.DS

Quantitative orbit equivalence for mathbb{Z}-odometers

Petr Naryshkin , Spyridon Petrakos This is my paper

Pith reviewed 2026-05-18 06:52 UTC · model grok-4.3

classification 🧮 math.DS
keywords orbit equivalenceodometersZ-actionsmeasurable dynamicsergodic theoryquantitative equivalenceinverse limits
0
0 comments X

The pith

Any two Z-odometers admit a sub-L^1 orbit equivalence.

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

The paper proves that any two Z-odometers are sub-L^1-orbit equivalent. Z-odometers arise as inverse limits of finite cyclic groups equipped with product topology and Haar measure. This strengthens earlier results on orbit equivalence for these systems and settles the quantitative version for the whole class. A sympathetic reader would care because the result shows that the orbit structures of all such systems can be matched by a measurable map with controlled, integrable distortion.

Core claim

We prove that any two Z-odometers are sub-L^1-orbit equivalent, greatly strengthening previous results and giving a definitive picture of quantitative orbit equivalence for these systems.

What carries the argument

Sub-L^1-orbit equivalence realized by a measurable bijection whose cocycle satisfies the stated sub-L^1 integrability condition.

If this is right

  • Every pair of Z-odometers lies in the same quantitative orbit equivalence class under the sub-L^1 condition.
  • Prior qualitative orbit equivalence statements for Z-odometers are upgraded with explicit integrability control.
  • The classification of quantitative orbit equivalence is now complete inside the entire family of Z-odometers.

Where Pith is reading between the lines

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

  • The same approach may extend to odometers built over other groups or to broader classes of inverse-limit systems.
  • It would be natural to determine whether the sub-L^1 bound can be sharpened to L^1 or a stricter integrability class.
  • The result opens the door to applying similar quantitative controls in neighboring classification problems in measurable dynamics.

Load-bearing premise

The systems under consideration are exactly the Z-odometers defined as inverse limits of finite cyclic groups with product topology and Haar measure, together with the sub-L^1 condition on the cocycle.

What would settle it

Two concrete Z-odometers for which no measurable bijection exists whose cocycle meets the sub-L^1 integrability condition would disprove the claim.

Figures

Figures reproduced from arXiv: 2510.16749 by Petr Naryshkin, Spyridon Petrakos.

Figure 1
Figure 1. Figure 1: Inverse system defining an odometer. (kn)n is the inverse limit of the systems in [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Compatibility condition for ψn. (2) ψn(0) = 0 and ψn(kn−1kn − 1) = kn−1kn − 1. (3) The ω-norms of the generating cocycles for ψn, ψ −1 n , and mod(kn) ◦ ψ −1 n are at most Xn m=1  2 km ω(km−1km) +  1 km−2km−1 + km−2km−1 km  ω(1) . Proof. We construct maps ψn inductively, starting with ψ1 = id. Assume ψn is defined and let x ∈ [knkn+1]. Let x = akn+1 + b, let kn+1 = ckn−1kn + d, and let b = ekn−1kn + f … view at source ↗
Figure 3
Figure 3. Figure 3: Definition of ψn+1. To check property (3), we first note that the cocycle for ψn+1 can be calculated explicitly in the following three cases (that is, when x and x + 1 have the same color in the top half of [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Almost commutative diagram defining φo and φe. The cocycle for φe (resp. φo) is a.e. the pointwise limit of the cocycles for φ2n ◦ π2n (resp. φ2n+1 ◦ π2n+1), where πn is the projection onto the corresponding finite factor. Hence, by Borel-Cantelli and property (iii) of Lemma 3.4, its ω-norm is at most X∞ m=1  2 km ω(km−1km) + 1 km−2km−1 ω(1) + km−2km−1 km ω(1) < ω(1) + δ, which finishes the proof. □ We h… view at source ↗
read the original abstract

We prove that any two $\mathbb{Z}$-odometers are sub-$L^1$-orbit equivalent, greatly strengthening previous results and giving a definitive picture of quantitative orbit equivalence for these systems.

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 manuscript proves that any two Z-odometers (inverse limits of finite cyclic groups equipped with Haar measure) are sub-L^1-orbit equivalent. The central result is obtained by constructing a measurable bijection whose associated cocycle satisfies the paper's sub-L^1 integrability condition, thereby strengthening earlier orbit-equivalence statements for equicontinuous systems.

Significance. If the proof is correct, the result supplies a definitive characterization of quantitative orbit equivalence within the class of Z-odometers. This supplies a clean, parameter-free statement for an important family of equicontinuous transformations and may serve as a model for similar quantitative statements in other inverse-limit systems.

minor comments (2)
  1. [Theorem 1.1] The definition of the sub-L^1 cocycle condition (presumably in §2) should be restated explicitly in the statement of the main theorem so that the quantitative bound is visible without cross-reference.
  2. [§3] Notation for the inverse-limit stages and the associated period sequences is introduced gradually; a single consolidated table or diagram in §3 would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the result's significance, and recommendation to accept the manuscript. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

This paper presents a pure existence proof in ergodic theory that any two Z-odometers are sub-L^1-orbit equivalent. The derivation proceeds via direct constructions on the inverse-limit structure of the systems under Haar measure, using measurable bijections and cocycle integrability estimates that are built from the given dynamical data rather than fitted parameters or self-referential normalizations. No steps reduce by construction to inputs via data fitting, self-definition, or load-bearing self-citations; the result is self-contained against external benchmarks in orbit equivalence theory for equicontinuous systems.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard background from topological dynamics and ergodic theory rather than new postulates.

axioms (1)
  • standard math Standard axioms of ZFC set theory together with the definition of Haar measure on compact groups.
    Invoked implicitly when treating Z-odometers as measure-preserving transformations on Cantor sets.

pith-pipeline@v0.9.0 · 5539 in / 1036 out tokens · 32904 ms · 2026-05-18T06:52:23.704484+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

24 extracted references · 24 canonical work pages

  1. [1]

    T. Austin. Integrable measure equivalence for groups of polynomial growth.Groups Geom. Dyn.10(1) (2016), 117–154

    work page 2016

  2. [2]

    T. Austin. Behaviour of entropy under bounded and integrable orbit equivalence.Geom. Funct. Anal.26 (2016), 1483–1525

    work page 2016

  3. [3]

    Bader, A

    U. Bader, A. Furman, and R. Sauer. Integrable measure equivalence and rigidity of hyperbolic lattices. Invent. Math194(2013), 313–379

    work page 2013

  4. [4]

    R. M. Belinskaya. Partitions of Lebesgue space in trajectories defined by ergodic automorphisms.Funct. Anal. Appl.2(1968), 190–199

    work page 1968

  5. [5]

    Carderi, M

    A. Carderi, M. Joseph, F. Le Maˆ ıtre, and R. Tessera. Belinskaya’s theorem is optimal.Fund. Math.263 (2023), 51–90

    work page 2023

  6. [6]

    C. Correia. Rank-one systems, flexible classes and Shannon orbit equivalence.Ergodic Theory Dynam. Systems45(5) (2025), 2132–2182

    work page 2025

  7. [7]

    C. Correia. On the absence of quantitatively critical measure equivalence couplings.Proc. Amer. Math. Soc. 153(2025), 3883–3896

    work page 2025

  8. [8]

    C. Correia. Odomutants and flexibility results for quantitative orbit equivalence.Preprint.arXiv:2504.02021

    work page arXiv

  9. [9]

    Dalabie, J

    T. Dalabie, J. Koivisto, F. Le Maˆ ıtre, and R. Tessera. Quantitative measure equivalence between amenable groups.Ann. H. Lebesgue5(2022), 1417–1487

    work page 2022

  10. [10]

    H. Dye. On groups of measure preserving transformations. I.Amer. J. Math.81(1) (1959), 119–159

    work page 1959

  11. [11]

    H. Dye. On groups of measure preserving transformations. II.Amer. J. Math.85(4) (1963), 551–576

    work page 1963

  12. [12]

    A. Furman. Gromov’s measure equivalence and rigidity of higher rank lattices.Ann. of Math. (2)150(3) (1999), 1059–1081

    work page 1999

  13. [13]

    A. Furman. Orbit equivalence rigidity.Ann. of Math. (2)150(3) (1999), 1083–1108

    work page 1999

  14. [14]

    A. Furman. A Survey of measured group theory. In: Geometry, Rigidity, and Group Actions.Chicago Lectures in Mathematics57, The University of Chicago Press, 2011

    work page 2011

  15. [15]

    Gaboriau

    D. Gaboriau. Orbit equivalence and measured group theory.Proceedings of the International Congress of Mathematicians (ICM 2010)V ol. III(2011), 1501–1527

    work page 2010

  16. [16]

    Keane and M

    M. Keane and M. Smorodinsky. Bernoulli schemes of the same entropy are finitarily isomorphic.Ann. of Math. (2)109(2) (1979), 397–406

    work page 1979

  17. [17]

    Kerr and H

    D. Kerr and H. Li. Entropy, Shannon orbit equivalence, and sparse connectivity.Math. Ann.380(2021), 1497–1562

    work page 2021

  18. [18]

    Kerr and H

    D. Kerr and H. Li. Entropy, virtual Abelianness, and Shannon orbit equivalence.Ergodic Theory Dynam. Systems44(12) (2024), 3481–3500

    work page 2024

  19. [19]

    Bowen and Y

    L. Bowen and Y. F. Lin. Entropy for actions of free groups under bounded orbit-equivalence.Israel J. Math 263(2024), 809–842

    work page 2024

  20. [20]

    Monod and Y

    N. Monod and Y. Shalom. Orbit equivalence rigidity and bounded cohomology.Ann. of Math. (2)164(3) (2006), 825–878

    work page 2006

  21. [21]

    D. S. Ornstein and B. Weiss. Ergodic theory of amenable group actions. I: The Rohlin lemma.Bull. Amer. Math. Soc. (N.S.)2(1) (1980), 161–164

    work page 1980

  22. [22]

    S. Popa. Deformation and rigidity for group actions and von Neumann algebras.Proceedings of the Interna- tional Congress of Mathematicians (ICM 2006)V ol. I(2007), 445–477

    work page 2006

  23. [23]

    R. J. Zimmer. Amenable ergodic group actions and an application to Poisson boundaries of random walks.J. Funct. Anal.27(3) (1978), 350–372

    work page 1978

  24. [24]

    R. J. Zimmer. Strong rigidity for ergodic actions of semisimple Lie groups.Ann. of Math. (2)112(3) (1980), 511–529. Petr Naryshkin, Institute for Advanced Study, 1 Einstein Dr, Princeton, NJ 08540, US Email address:penaryshkin@ias.edu Spyridon Petrakos, Department of Mathematical Sciences, Chalmers University of Technology and University of Gothenburg, SE...

    work page 1980