The analogue of Belinskaya's theorem for measure-preserving flows

Abstract

We prove the analogue of Belinskaya's theorem for measure-preserving flows: two free ergodic measure-preserving flows whose $\mathrm{L}^1$ full groups are isomorphic as abstract groups are conjugate up to a scalar time change. This answers a question posed by François Le Maître and the author. We show that whenever two free ergodic flows generate the same orbit equivalence relation and one is contained in the other's $\mathrm{L}^1$ full group, their positive half-orbits are commensurate after possibly reversing time. Katznelson's criterion then yields conjugacy after a scalar time change. The key new ingredient is a commensuration criterion asserting that a measurable subset of the real line whose symmetric differences with its translates have finite average measure over the unit interval is commensurate with exactly one of the empty set, the whole line, and the two half-lines. This criterion and its application were discovered autonomously by a two-agent AI system. The author independently verified the proofs and prepared the final text.

Disclosure

“mulated the task, configured and initiated the loop, independently verified every mathematical step, edited the final proofs, and assumes full responsibility for the manuscript. Proofreading and stylistic editing were performed with Codex (GPT-5.6-sol, OpenAI). 2. A commensuration criterion For measurable sets A, B ⊆ R, write A △ B = (A \ B) ∪ (B \ A) for their symmetric difference. The sets are commensurate if”

PDF page 3

Classification

Rewriting existing author-written text

Multiplier

4

Verified

2026-08-23T18:54:43.371144Z

Structural counts