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

Konstantin Slutsky

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

T0 review · 0 major / 3 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that two free ergodic measure-preserving flows with abstractly isomorphic L¹ full groups are conjugate up to a non-zero scalar time change, making the L¹ full group a complete invariant of the flow up to rescaling and time

desk verdict A clean, correct proof of the flow analogue of Belinskaya's theorem; the new commensuration criterion is real, the dependence on the author's earlier memoir is the only soft spot, and it should be sent to a serious referee. read the letter →

arxiv 2607.14444 v1 pith:BFZNCSBD submitted 2026-07-16 math.DS

Konstantin Slutsky This is my paper · ORCID

classification math.DS MSC 37A1037A0537A1537A20

keywords L1fullgroupsBelinskaya'stheoremmeasure-preservingflowscommensuratedsetsKatznelsoncriterionorbitequivalenceergodictheory

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Belinskaya's theorem for integer actions says that the integrable full group of an ergodic measure-preserving transformation remembers the transformation up to flip conjugacy. This paper establishes the continuous-time analogue: for free ergodic measure-preserving flows, the L¹ full group — the transformations in the full group that move points a finitely integrable distance along their orbits — remembers the whole flow up to a constant rescaling of time. The proof shows that if two such flows share their orbits and the time maps of one belong to the other's L¹ full group, then their positive half-orbits are commensurate on almost every orbit after possibly reversing time; a flow version of Katznelson's criterion then upgrades commensuration to conjugacy. The new ingredient is a one-dimensional commensuration criterion: any measurable subset of the real line whose average symmetric difference with its unit translates is finite must be commensurate with exactly one of the empty set, the whole line, and the two half-lines. If the paper is correct, the L¹ full group is a complete algebraic invariant for free ergodic flows up to constant time rescaling.

What carries the argument

The carrying machinery is the commensuration criterion of Section 2. For a measurable A ⊂ R, the lemma bounds the average displacement of A by sums over unit intervals: if I = ∫_0^1 λ(A △ (A+t)) dt is finite, then the sequence a_k = λ(A ∩ [k,k+1)) has finite total variation and its limits at ±∞ lie in {0,1}; hence A is commensurate with exactly one of ∅, R, (−∞,0], and [0,∞). The proof applies this fiberwise to A_x = {r ∈ R : x ≤ T_r x}, the set of times where the second flow's trajectory along the shared orbit is ahead of the first flow's. The L¹ norm formula — the norm of a full-group element equals the orbit-measure of the symmetric difference of the two half-orbit orderings — converts gl

What would settle it

Compute, for any measurable A ⊂ R, the integral I = ∫_0^1 λ(A △ (A+t)) dt and check whether A is commensurate with exactly one of ∅, R, (−∞,0], [0,∞). If an A with I < ∞ is commensurate with both half-lines or with neither, Corollary 2.2 fails and with it the proof of Theorem 3.1. Equivalently, at the flow level: exhibit two free ergodic flows sharing orbits with one contained in the other's L¹ full group whose half-orbits have infinite symmetric difference on a positive-measure set — that would directly contradict the paper's conclusion.

Watch

Extended reading notes

Core claim

The central claim is that the L¹ full group is a complete invariant of a free ergodic measure-preserving flow up to rescaling the time parameter by a non-zero constant. Concretely, two free ergodic flows on possibly different probability spaces with abstractly isomorphic L¹ full groups are conjugate after one flow's time has been multiplied by some α ∈ R\{0}; negative α amounts to time reversal. The argument combines a one-sided orbit-wise version — shared orbits plus containment of one flow in the other's L¹ full group forces commensurate positive half-orbits — with Katznelson's flow criterion, which says commensurability of right half-orbits yields conjugacy. Behind it all lies a new measu

Load-bearing premise

The argument's load-bearing premise is the imported flow version of Katznelson's conjugacy criterion — that commensurate right half-orbits force the flows to be conjugate — together with the reconstruction of orbit equivalence from an abstract isomorphism of L¹ full groups; if either imported result fails, the chain from L¹ containment to conjugacy breaks.

Editorial extensions

If this is right

The L¹ full group of a free ergodic flow determines the flow up to conjugacy followed by a constant rescaling of time, with time reversal allowed.
Two free ergodic flows with the same orbits where one's time maps belong to the other's L¹ full group are conjugate after a scalar time change — no equality of full groups is needed.
Any measurable subset of the real line with finite average symmetric difference against its unit translates is commensurate with exactly one of the empty set, the whole line, or one of the two half-lines; this criterion is now available for use in other settings.
For ergodic flows, abstract group isomorphism of L¹ full groups upgrades previously known flip Kakutani equivalence to the stronger conclusion of conjugacy up to scalar time change.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Inference: the core lemma is purely one-dimensional and can be stress-tested independently of flows by computing I for explicit sets A, giving an early check of the proof's pivotal step.
Inference: the one-sided form of the theorem suggests that containment, not equality, is the natural rigidity condition; analogous one-sided rigidity may hold for other group actions equipped with a displacement norm.
Inference: because the proof works orbit by orbit, a natural next step is a rigorous non-ergodic version in which the rescaling factor becomes a measurable invariant function rather than a constant; the paper's remark points to this possibility.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper delivers what it says: for free ergodic measure-preserving flows, isomorphism of the L¹ full groups implies conjugacy up to constant time rescaling, and the one-sided inclusion version holds as well. This answers two open questions from Le Maître–Slutsky's memoir, so it is a genuine completion of the L¹ full group program for flows, not a repackaging.

The real new mathematics is in Section 2. Lemma 2.1's decomposition into the S_k and C_k pieces is a nice continuous analogue of the discrete variation argument, and the bound sum |a_{k+1}-a_k| ≤ 2I is correct. Corollary 2.2 is exactly the right commutation criterion: a subset of R with finite average symmetric difference against its translates is commensurate with one of the four canonical sets. I checked the proof line by line and found no gaps. The reduction in Theorem 3.1 — normalizing the orbit measures, introducing A_x, deriving N(t)=∫λ(A_x△(A_x+t)), then using subadditivity and Steinhaus to get the integrability needed for Corollary 2.2 — is sound. The ergodicity step that chooses between [0,∞) and (−∞,0] is justified; the measurability of that dichotomy is not spelled out, but it is immediate from the definition via Tonelli, so this is a minor exposition issue, not a mathematical one.

The main caveat is that the final conjugacy step leans on the flow version of Katznelson's criterion from the author's own memoir [12, Thm. 10.9], and Theorem 3.3 also depends on the spatial reconstruction results [12, Prop. 4.21] and [12, Cor. 4.24]. Those are black boxes here. They come from an accepted memoir, so this is a verification limitation rather than a detected error, but an editor should make sure a referee has access to those statements and can confirm the quotations. There is no circularity: Corollary 2.2 is proved from scratch and the target results are genuinely open questions being resolved, not assumptions.

The AI-provenance disclosure is transparent and honest. Since the author says he verified every step and the proofs are in the text, it neither helps nor hurts the mathematics; it is a footnote for the reader's information.

Who is this for? Anyone working in orbit equivalence, full groups, or rigidity of measure-preserving flows. It is a short paper with a clear main theorem and a clever new lemma; it would make a good reading group talk. I would recommend accepting it after a referee checks the citations to [12] and the minor measurability point is cleaned up. Definitely deserves peer review, not a desk reject.

Referee Report

0 major / 3 minor

Summary. The paper proves a continuous-time analogue of Belinskaya's theorem: if two free ergodic measure-preserving R-flows have L1 full groups that are isomorphic as abstract groups, then the flows are conjugate up to multiplication of time by a nonzero constant (with time reversal allowed). The main new tool is a commensuration criterion (Corollary 2.2) for measurable subsets A of R with ∫_0^1 λ(A△(A+t)) dt < ∞, asserting that A is commensurate with exactly one of ∅, R, [0,∞), and (-∞,0]. The proof of Theorem 3.1 normalizes the orbit measures, considers the fibers A_x = {u : x ≤ T_u x}, uses the L1-norm formula to transfer the bound to the average translated symmetric difference, applies Corollary 2.2, and then invokes the flow version of Katznelson's criterion to obtain conjugacy. Theorem 3.3 derives the abstract group isomorphism conclusion from known reconstruction results.

Significance. The result is significant: it answers two open questions from Le Maître–Slutsky [12] and shows that the L1 full group is a complete invariant for free ergodic flows up to scalar time rescaling, directly paralleling Belinskaya's theorem for Z-actions. The commensuration criterion is a clean, parameter-free statement with independent interest. The proof is largely self-contained: Lemma 2.1 and Corollary 2.2 are proved from scratch, and the application to flows is transparent. The only non-self-contained ingredients are the flow version of Katznelson's criterion ([12, Thm. 10.9]) and spatial reconstruction results ([12, Prop. 4.21], [12, Cor. 4.24]); these are cited from an accepted memoir and are not re-proved here, which is a verification limitation rather than a detected error. No circularity or fitted parameters are present.

minor comments (3)

[§3, proof of Theorem 3.1] The R-invariance of the dichotomy 'A_x commensurate with [0,∞)' needs a measurability justification before ergodicity is applied. This follows by Tonelli's theorem since λ(A_x △ [0,∞)) = ∫ |1_{A_x}(u)-1_{[0,∞)}(u)| du is measurable in x, but the paper should state this explicitly.
[§3, proof of Theorem 3.1] In the R-invariance step, the equality of the measure of {r : T_r x ∈ B} with λ_x(B) is used implicitly; this is exactly where the normalization λ'_x = λ_x is needed. Please make this explicit when saying that s(y) differing from s(x) by finite λ_x-measure implies A_y is commensurate with a translate of A_x.
[§2, Lemma 2.1] In the proof of the variation bound, the step '2∑C_k + 2∑S_k = 2I' uses ∑(S_k + C_k) = I; this is correct but could be stated for readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central derivation is independent; cited prior results are external support.

full rationale

The paper's main new ingredient, Corollary 2.2, is proved from scratch in Section 2; its proof does not assume Theorem 3.1 or the L1-full-group rigidity being proved. Theorem 3.1 is then derived by building A_x, using the norm formula (3), obtaining ∫_0^1 λ(A_x △ (A_x+t)) dt < ∞ a.e., applying Corollary 2.2 to conclude each A_x is commensurate with a half-line, using ergodicity to make the orientation constant, and finally invoking [12, Thm. 10.9] (the flow Katznelson criterion) with its hypotheses verified. None of these steps defines its conclusion into its hypotheses: the conclusion (finite symmetric difference of half-orbits) is produced by the commensuration criterion rather than assumed, and the norm formula is a separate result with stated assumptions independent of the target. Theorem 3.3 similarly uses the spatial reconstruction propositions [12, Prop. 4.21] and [12, Cor. 4.24]; these are accepted prior-work results with proofs, not restatements of the theorem being established. Although several load-bearing ingredients are cited from the author's own memoir [12], those citations are legitimate external support under the reviewing rules: they are parameter-free results with assumptions that do not include the present target, and they are not used in place of a proof of the target. The apparent measurability point about the dichotomy 'A_x commensurate with [0,∞) or (−∞,0]' is resolved by Tonelli measurability of ∫|1_A(x,u)-1_{[0,∞)}(u)|du and does not introduce circularity. No fitted parameters, no equation equivalent to its input, and no renaming of a known result were found.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The genuinely new content (Lemma 2.1, Corollary 2.2, and the reduction inside Theorem 3.1) is proved from scratch. The headline theorems then rely on standard measure theory plus precise citations to the author's own prior memoir [12] (Props. 4.13/4.21/6.8, Cor. 4.24, Lem. 3.7, Thm. 10.9) and Fremlin's reconstruction theorem. There are no free parameters and no invented entities; the cited memoir is accepted for publication and is used as a legitimate peer-vetted source of axioms.

assumptions (7)

standard math Standard measure theory: Fubini/Tonelli, Lebesgue measure, Steinhaus theorem on difference sets.
Used throughout: Tonelli in Lemma 2.1 and in establishing measurability/finiteness of N; Steinhaus in proving N is bounded on compact sets in §3.
domain assumption Katznelson's criterion for flows ([12, Thm. 10.9]): equal orbits + equal orbit measures + a.e. finite half-orbit symmetric difference imply conjugacy.
Terminal step of the proof of Theorem 3.1; quoted from [12] and not re-proved in the paper.
domain assumption L¹ norm formula ∥T∥₁ = M(R≤ △ r_T(R≤)) ([12, Prop. 6.8]), equivalently ∥T∥₁ = ∫ₓ λₓ(s(x) △ Ts(x)) dµ(x).
This identity (Eqs. (2)–(3)) converts the hypothesis F′ ≤ [F]_1 into the orbit-wise symmetric-difference integrals that Section 2's criterion acts on; quoted from [12].
domain assumption Time maps of a flow contained in another flow's full group preserve the latter's orbit measures, and the two orbit measure fields are proportional with a measurable R-invariant factor ([12, Prop. 4.13] and the discussion preceding [12, Thm. 10.9]).
Underpins the scalar-rescaling normalization in Theorem 3.1 that matches orbit measures before applying Katznelson's criterion.
domain assumption Spatial reconstruction: an abstract isomorphism of L¹ full groups of ergodic flows is realized by a conjugacy of actions, so the flows become L¹ orbit equivalent ([12, Prop. 4.21], [12, Cor. 4.24], via Fremlin [9, 384D] and [12, Lem. 3.7]).
The sole bridge from Theorem 3.1 to the headline Theorem 3.3; entirely quoted from [12] and Fremlin's treatise.
domain assumption Mackey–Ramsay realization: every measurable measure-preserving R-action on a standard probability space is essentially a Borel action ([13], [15]).
Background justifying the Borel order/action setup at the start of Section 3.
standard math Ergodicity of the flow: measurable R-invariant functions and events are constant/trivial almost everywhere.
Used twice in the proof of Theorem 3.1: to make the orbit-measure proportionality constant c(x) = c, and to force the half-line orientation choice to be constant across orbits.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The analogue of Belinskaya's theorem for measure-preserving flows." pith.science (2026). https://pith.science/paper/BFZNCSBD

@misc{pith2026260714444,
  author       = {Pith},
  title        = {Pith review of: The analogue of Belinskaya's theorem for measure-preserving flows},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BFZNCSBD}},
  note         = {Machine review of arXiv:2607.14444}
}

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\c{c}ois Le Ma\^itre 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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 3 linked inside Pith

[12]

Le Maître and K

F. Le Maître and K. Slutsky,L 1 full groups of flows, arXiv:2108.09009v3, 16 April 2025, accepted for publication in Mem. Eur. Math. Soc

arXiv 2025
[1]

R. M. Belinskaya,Partitions of Lebesgue space in trajectories defined by ergodic automorphisms, Funktsional. Anal. i Prilozhen.2(1968), no. 3, 4–16; English transl., Funct. Anal. Appl.2(1968), no. 3, 190–199

1968
[2]

Bezuglyi and K

S. Bezuglyi and K. Medynets,Full groups, flip conjugacy, and orbit equivalence of Cantor minimal systems, Colloq. Math.110(2008), no. 2, 409–429

2008
[3]

Carderi and F

A. Carderi and F. Le Maître,More Polish full groups, Topology Appl.202(2016), 80–105

2016
[4]

Carderi and F

A. Carderi and F. Le Maître,Orbit full groups for locally compact groups, Trans. Amer. Math. Soc.370 (2018), no. 4, 2321–2349

2018
[5]

Carderi, M

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

2023
[6]

Cornulier,Group actions with commensurated subsets, wallings and cubings, preprint, arXiv:1302.5982v2, 13 August 2016

Y. Cornulier,Group actions with commensurated subsets, wallings and cubings, preprint, arXiv:1302.5982v2, 13 August 2016

arXiv 2016
[7]

Derimay,On the commensurating full group, preprint, arXiv:2504.03535v1, 4 April 2025

A. Derimay,On the commensurating full group, preprint, arXiv:2504.03535v1, 4 April 2025

arXiv 2025

Show all 20 references

[8]

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

1959
[9]

D. H. Fremlin,Measure theory. Vol. 3: Measure algebras, Torres Fremlin, Colchester, 2004; corrected second printing of the 2002 original

2004
[10]

Giordano, I

T. Giordano, I. F. Putnam, and C. F. Skau,Full groups of Cantor minimal systems, Israel J. Math.111 (1999), 285–320

1999
[11]

Le Maître,On a measurable analogue of small topological full groups, Adv

F. Le Maître,On a measurable analogue of small topological full groups, Adv. Math.332(2018), 235–286

2018
[13]

G. W. Mackey,Point realizations of transformation groups, Illinois J. Math.6(1962), no. 2, 327–335

1962
[14]

D. S. Ornstein, D. J. Rudolph, and B. Weiss,Equivalence of measure preserving transformations, Mem. Amer. Math. Soc.37(1982), no. 262, xii+116

1982
[15]

Ramsay,Measurable group actions are essentially Borel actions, Israel J

A. Ramsay,Measurable group actions are essentially Borel actions, Israel J. Math.51(1985), no. 4, 339–346

1985
[16]

Robertson and T

G. Robertson and T. Steger,Negative definite kernels and a dynamical characterization of property(T )for countable groups, Ergodic Theory Dynam. Systems18(1998), no. 1, 247–253

1998
[17]

D. J. Rudolph,Restricted orbit equivalence, Mem. Amer. Math. Soc.54(1985), no. 323, vi+150

1985
[18]

Steinhaus,Sur les distances des points dans les ensembles de mesure positive, Fund

H. Steinhaus,Sur les distances des points dans les ensembles de mesure positive, Fund. Math.1(1920), 93–104

1920
[19]

Stromberg,An elementary proof of Steinhaus’s theorem, Proc

K. Stromberg,An elementary proof of Steinhaus’s theorem, Proc. Amer. Math. Soc.36(1972), no. 1, 308

1972
[20]

Tao,An introduction to measure theory, Grad

T. Tao,An introduction to measure theory, Grad. Stud. Math., vol. 126, Amer. Math. Soc., Providence, RI, 2011. Department of Mathematics, Iowa State University, Ames, IA 50011, USA

2011

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.

[1] [12]

Le Maître and K

F. Le Maître and K. Slutsky,L 1 full groups of flows, arXiv:2108.09009v3, 16 April 2025, accepted for publication in Mem. Eur. Math. Soc

arXiv 2025

[2] [1]

R. M. Belinskaya,Partitions of Lebesgue space in trajectories defined by ergodic automorphisms, Funktsional. Anal. i Prilozhen.2(1968), no. 3, 4–16; English transl., Funct. Anal. Appl.2(1968), no. 3, 190–199

1968

[3] [2]

Bezuglyi and K

S. Bezuglyi and K. Medynets,Full groups, flip conjugacy, and orbit equivalence of Cantor minimal systems, Colloq. Math.110(2008), no. 2, 409–429

2008

[4] [3]

Carderi and F

A. Carderi and F. Le Maître,More Polish full groups, Topology Appl.202(2016), 80–105

2016

[5] [4]

Carderi and F

A. Carderi and F. Le Maître,Orbit full groups for locally compact groups, Trans. Amer. Math. Soc.370 (2018), no. 4, 2321–2349

2018

[6] [5]

Carderi, M

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

2023

[7] [6]

Cornulier,Group actions with commensurated subsets, wallings and cubings, preprint, arXiv:1302.5982v2, 13 August 2016

Y. Cornulier,Group actions with commensurated subsets, wallings and cubings, preprint, arXiv:1302.5982v2, 13 August 2016

arXiv 2016

[8] [7]

Derimay,On the commensurating full group, preprint, arXiv:2504.03535v1, 4 April 2025

A. Derimay,On the commensurating full group, preprint, arXiv:2504.03535v1, 4 April 2025

arXiv 2025