Reciprocal Transformations and Their Discrete Maharam Extensions

Chris Johnson

REVIEW 2 major objections 4 minor 19 references

Reciprocal Transformations and Their Discrete Maharam Extensions

T0 review · 2 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read The discrete Maharam extension of a reciprocal transformation is ergodic if and only if the transformation is ergodic of Krieger type $III_{1/\rho}$.

desk verdict Theorem 12 is not proved: the 'if' direction has a level-matching gap, and the same argument would over-prove, contradicting the paper's own Example 7. read the letter →

arxiv 2501.00408 v2 pith:6NHOB625 submitted 2024-12-31 math.DS

Chris Johnson This is my paper · ORCID

classification math.DS MSC 37A4037E0537E35

keywords ergodictheorynon-singulartransformationsintervalexchangetranslationsurfacesMaharamextensionKriegertypereciprocaltransformationconservativity

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

The paper introduces two linked constructions: a reciprocal transformation, a non-singular map obtained by composing a measure-preserving map $T$ with a scaling involution $\Phi$, and the discrete Maharam extension, an infinite measure-preserving lift of that map. Its main theorem states that the lift is ergodic if and only if the reciprocal transformation is ergodic and has Krieger type $III_{1/\rho}$, where $\rho$ is the scaling ratio of $\Phi$. Supporting results characterize conservativity and ergodicity of the base through the first-return map to the smaller exchanged set, and a counterexample shows that ergodicity of the base alone is not enough. The upshot is a finite-to-infinite bridge: for this class of systems, ergodicity of an infinite measure-preserving extension is equivalent to a finite non-singular system carrying the right ratio set.

What carries the argument

The central object is the discrete Maharam extension, defined for a reciprocal transformation $F = \Phi T$ by $eF(x,n) = (F(x), n+1)$ for $x \in T^{-1}(S)$ and $eF(x,n) = (F(x), n-1)$ for $x \in T^{-1}(\Phi(S))$, with measure $e\mu(E) = \sum_{n \in \mathbb{Z}} \rho^{-n} \mu(\pi(E_n))$. The mechanism is a level-cancellation identity: $\Phi$ multiplies the measures of subsets of $S$ by $\rho$ and subsets of $\Phi(S)$ by $\rho^{-1}$, while the vertical measure of level $n$ is $\rho^{-n}$, so moving a set up one level exactly compensates for its measure growing by $\rho$, and moving down compensates for shrinking by $\rho^{-1}$; thus $eF$ preserves $e\mu$ term by term up to reordering. The ergodicity argument then exploits the level-shift relation: if $dF^j_*\mu/d\mu = \rho^q$ on a set $V^q_j$, then $eF^j$ maps the level $k-q$ over $V^q_j$ into the level $k$ over the image, so the levels a set can visit are governed by the Radon-Nikodym ratios realized by $F$.

What would settle it

To settle the central claim, test the 'if' direction on any ergodic reciprocal transformation with Krieger type $III_{1/\rho}$: check whether every positive-$e\mu$ set $U$ whose projection eventually enters $\pi(E_k)$ also intersects $E_k$ under some iterate of $eF$. A positive-measure $U$ that avoids $E_k$ while its projection enters $\pi(E_k)$ would refute Theorem 12; Example 7 cannot provide this test because its $F$ is not type $III_{1/\rho}$, so a genuinely type $III_{1/\rho}$ example, which the paper does not supply, is the decisive case.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central result is Theorem 12: if $F = \Phi T$ is a reciprocal transformation with scaling ratio $\rho > 1$, then the discrete Maharam extension $eF$ on $X \times \mathbb{Z}$ with measure $e\mu$ is ergodic if and only if $F$ is ergodic with respect to $\mu$ and has Krieger type $III_{1/\rho}$, meaning its ratio set is $\{0\} \cup \{\rho^{-n} : n \in \mathbb{Z}\}$. The forward direction argues that an invariant set $E \subseteq X$ pulls back to an $eF$-invariant set, forcing ergodicity of $F$, and then uses ergodicity of $eF$ to show every power of $\rho$ appears as a Radon-Nikodym derivative, identifying the type. The reverse direction attempts to show every set of positive $e\mu$-measure is eventually entered from almost every starting point, decomposing the target across levels and using the level shift induced by the Radon-Nikodym derivative. The paper also proves structural facts around the construction, including that almost every point enters the smaller set $S$, that invariant sets of $F$ carry $S$ and $\Phi(S)$ in the same proportions as the whole space, and that ergodicity of $F$ follows from ergodicity of the first-return map to $S$.

Load-bearing premise

The load-bearing premise is that in the theorem's 'if' direction, a positive-measure set whose projection eventually enters the target set must contain points at the vertical level that aligns with the target after the required number of iterations; the paper gives no argument that such level alignment is automatic, and without it the proof would imply any ergodic reciprocal transformation has an ergodic extension, which the paper's own Example 7 contradicts.

Editorial extensions

If this is right

The discrete Maharam extension of a reciprocal transformation is ergodic exactly when the base transformation is ergodic and has Krieger type $III_{1/\rho}$, with no separate conservativity or recurrence assumption on the lift.
If some iterate $F^n$ is measure-preserving, or if the first-return set $S_1$ has measure zero, then the extension is not ergodic; in the $S_1 = 0$ case $F^2$ is measure-preserving.
Ergodicity of the first-return map to the smaller set $S$ is a sufficient condition for ergodicity of the reciprocal transformation itself, giving a practical route to constructing ergodic affine interval exchanges.
For affine interval exchanges that are affinely self-similar to their first-return maps, the paper expects the Krieger type to be $III_{1/\rho}$, which would make the associated infinite extension ergodic and yield ergodic vertical flows on infinite-area translation surfaces.

Reading between the lines

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

An implicit consequence, not stated by the author: if Theorem 12 is correct, ergodicity of an infinite measure-preserving system reduces to computing the ratio set of a finite non-singular system, which may be more tractable in interval-exchange and translation-surface settings.
The author notes that no example of an affinely self-similar reciprocal transformation is currently known; if none exist, the advertised translation-surface application would need a different supply of type $III_{1/\rho}$ examples.
A natural extension suggested by the construction: for any non-singular map whose Radon-Nikodym cocycle takes values in the subgroup $\rho^{\mathbb{Z}}$, a discrete Maharam-type lift should be ergodic exactly at Krieger type $III_{1/\rho}$; the paper develops only the reciprocal-transformation case.
The theorem implies a sharp dichotomy for reciprocal transformations once ergodicity is known: either the base is type $III_{1/\rho}$ and the infinite lift is ergodic, or the lift is not ergodic, as in Example 7.

Share X Bluesky LinkedIn Reddit HN

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

First thing to know: this is a likeable paper with a real hole in the center. The reciprocal transformation construction and the discrete Maharam extension are clean and worth having in the literature, but Theorem 12, the claimed iff for ergodicity of eF, is not proved as stated.

What works: the definitions are natural. F = ΦT with Φ a scaling involution is a simple way to build non-singular maps whose Radon-Nikodym derivatives are controlled. The discrete Maharam extension is a sensible discretization of Maharam's construction, and the measure it defines is infinite but σ-finite. Lemma 1, Proposition 5, Lemma 8, and Proposition 9 are all fine as far as I checked. The examples, especially the interval-exchange family, are helpful and point toward real applications. The references are standard and there is no self-citation.

The bad spot is the 'if' direction of Theorem 12. Let E_k be a positive level of a target set, and U the points whose eF-orbit never hits E_k. The proof finds a positive-measure V_j^q in π(U) of points that first hit π(E_k) at time j with derivative ρ^q. It then says U ∩ π^{-1}(V_j^q) has positive measure, so a positive-measure piece of U enters E_k. The problem is the level. A point (x,n) with x ∈ V_j^q lands at level n+q, so it enters E_k only when n = k−q. The proof never shows U occupies that particular level. Positivity of U only gives some level with positive measure. Without that, the argument uses only ergodicity and would prove every ergodic reciprocal transformation has an ergodic discrete Maharam extension—which Example 7 contradicts. So the gap is load-bearing, not a missing epsilon. The theorem may be true and repairable, but the supplied proof does not contain the needed hitting-with-prescribed-level argument.

The converse direction is terse but plausible. The smaller results could support a shorter paper on their own.

Recommendation: send it to a referee. The gap is serious and should be caught, but the constructions and examples are genuinely useful, and if the author can prove the level-alignment statement or amend the theorem, the paper would be a solid contribution. This is not a desk reject.

Referee Report

2 major / 4 minor

Summary. The paper introduces two related constructions in nonsingular ergodic theory: reciprocal transformations F = ΦT, obtained by composing a measure-preserving transformation T with a scaling involution Φ of ratio ρ > 1, and their discrete Maharam extensions eF on X × Z, which are infinite measure-preserving transformations. The paper proves basic properties of reciprocal transformations (conservativity, first-return dynamics, ergodicity criteria) and gives several interval-exchange examples. Its main result, Theorem 12, asserts that eF is ergodic with respect to its natural infinite measure if and only if F is ergodic and has Krieger type III_{1/ρ}. The paper concludes with conjectures and planned work on type classification and self-similar examples.

Significance. If Theorem 12 is correct, it supplies a precise and elegant criterion linking the ergodicity of a finite nonsingular system to the ergodicity of its infinite measure-preserving discrete Maharam extension, in terms of the ratio set. The constructions are natural, the examples are instructive and well matched to potential applications in interval exchange transformations and translation surfaces. The paper is self-contained and the preliminary results in Sections 3 and 4 (through Proposition 11) are sound and useful. However, the proof of the main theorem contains a serious gap in the 'if' direction, and the 'only if' direction is sketched too quickly. As a result the paper's central claim is not established by the arguments supplied.

major comments (2)

[Section 4, Theorem 12 ('if' direction)] The proof of the 'if' direction has a load-bearing gap. Let E have positive eµ-measure, choose k with eµ(E_k) > 0, and let U be the set of points whose forward eF-orbit never hits E_k. The proof decomposes π(U) into sets V_j^q on which the first hitting time to π(E_k) is j and the Radon–Nikodym derivative dF^j_*µ/dµ equals ρ^q. It then asserts that U ∩ π^{-1}(V_j^q) has positive measure and that these points enter E_k. The first assertion only tells us that some level of U projects to V_j^q; the second assertion holds only for points at level k−q, because a point (x,n) with x ∈ V_j^q is mapped by eF^j to level n+q and hence lands in E_k exactly when n = k−q. The proof never establishes that U occupies level k−q over a positive-measure subset of V_j^q. This is not a minor omission: the same argument, using only ergodicity of F and without any use of the type III_{1/ρ} hypothesis, would imply that every ergodic reciprocal transformation has an ergodic discrete Maharam extension, which is contradicted by Example 7/Proposition 11 (where F is ergodic but type II, and eF is not ergodic). A substantially different argument, presumably exploiting the ratio set or a hitting-with-prescribed-exponent mechanism, is needed to prove this direction.
[Section 4, Theorem 12 ('only if' direction)] The 'only if' direction is also incomplete as written. The sentence 'for each integer q and each x ∈ E × {0} there exists an m so that eF^m(x,0) ∈ E × {q}' is too strong; ergodicity of eF gives this only for almost every x, and the hitting time m depends on x. To conclude that ρ^q belongs to the ratio set r(F), one needs to produce, for every ε > 0, a positive-measure subset E' ⊆ E and a single integer n such that F^n(E') ⊆ E' and |dF^n_*µ/dµ − ρ^q| < ε on E'. The argument as written does not supply such a subset. This direction is likely repairable via a standard measurable selection/decomposition argument (partitioning E according to hitting time and derivative), but the current text does not contain that argument.

minor comments (4)

[Section 3, Lemma 1] The proof that every measurable subset of U is expanded by a factor of ρ under each application of F relies on the fact that T(U) ⊆ S (otherwise F(x) would land in S for some x ∈ U). This fact is not stated or proved; it should be made explicit to make the argument rigorous.
[Section 3, Proposition 11] The step concluding 'if µ(S1) = 0 then S = S2 up to a null set' is terse. It follows from conservativity and the fact that subsets of S can never decrease in measure without hitting S1, but a sentence of justification would improve readability.
[Section 4, Lemma 8] There is a typo in the proof: 'decomposted' should be 'decomposed'.
[Throughout] The paper is explicitly preliminary and states open questions and conjectures; that is fine, but the reader should be clearly warned in the introduction that the proof of Theorem 12 is the main technical contribution and is presented in full.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the paper's constructions and Theorem 12 are self-contained; the main weakness is a proof gap in the 'if' direction, not a circular derivation.

full rationale

I walked the derivation chain of the reciprocal transformation definition (Section 3.1), the first-return and ergodicity results (Sections 3.2-3.3), and the discrete Maharam extension (Section 4). The measure e_mu(E)=sum rho^{-n} mu(pi(E_n)) and the map eF(x,n)=(F(x), n+1 or n-1) are explicit, new definitions. Proposition 9 proves e_mu-invariance by direct substitution: the image measure at each level is exactly the reordered sum of the original measure, so the preservation property is computed, not assumed. Lemma 8 proves bijectivity by checking the two preimage pieces. There is no parameter fitting and no load-bearing self-citation; the references to Maharam, Krieger, Aaronson, and others are external standard sources, and the author explicitly notes that Maharam's ergodic results do not automatically transfer to this discrete restriction. In Theorem 12, the 'only if' direction uses eF-ergodicity to force returns with derivative exponent rho^q; this is a genuine implication built on the defining level shift, not an assumption of the conclusion. The 'if' direction does contain a real proof gap: from e_mu(U)>0 and mu(V_j^q)>0 it does not follow that U cap pi^{-1}(V_j^q) contains points at the specific level k-q, so the proof does not establish that a positive-measure subset of U enters E_k. This missing hitting-with-prescribed-exponent argument is a correctness issue, not a circular reduction; the same argument would not reduce the conclusion to the hypothesis by any quoted equation. Section 5 openly states that no example of the desired self-similar transformation is known, which is a limitation, not a circular step. No equation in the paper makes a claimed result equal to its own input, and no uniqueness or existence theorem is imported from the author's prior work. Therefore the circularity score is 0.

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

The reciprocal transformation and discrete Maharam extension are mathematical definitions, not postulated physical entities requiring independent evidence. No numerical parameters are fitted to data or chosen ad hoc to make proofs work. The scaling ratio rho is an ingredient of the construction, not a fitted constant.

assumptions (4)

standard math Standard measure theory and ergodic theory background, including Poincare recurrence, Hopf decomposition, and Krieger type classification.
Used throughout Sections 2 and 3; cited to [Pet89], [Wal82], [Aar97], and [DS23].
standard math All transformations are measurable bijections up to null sets.
Stated in Section 2.1 and used in all lemmas.
standard math The measure mu is non-atomic and probability, so conservativity is prerequisite for ergodicity.
Stated in Section 2.2, citing Aaronson Proposition 1.2.1.
standard math The ratio set and Krieger type classification of non-singular transformations is assumed.
Introduced in Section 4 and used in Theorem 12.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Reciprocal Transformations and Their Discrete Maharam Extensions." pith.science (2026). https://pith.science/paper/6NHOB625

@misc{pith2026250100408,
  author       = {Pith},
  title        = {Pith review of: Reciprocal Transformations and Their Discrete Maharam Extensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6NHOB625}},
  note         = {Machine review of arXiv:2501.00408}
}

read the original abstract

We introduce two abstract constructions for building new measurable dynamical systems from existing ones and study their ergodic properties. The first of these constructions, a "reciprocal transformation," produces a type of non-singular transformation where the measures of subsets are distorted in a simple way. We then introduce the "discrete Maharam extension" which associates an infinite measure-preserving transformation to each reciprocal transformations. We give some preliminary results about the ergodic theory of each of these constructions, mention ongoing work, as well as conjectures and questions for future research.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 17 canonical work pages

[1]

50, American Mathematical Society, Providence, RI, 1997

Jon Aaronson, An introduction to infinite ergodic theory, Mathematical Surveys and Monographs, vol. 50, American Mathematical Society, Providence, RI, 1997. 1450400

work page 1997
[2]

J. R. Choksi, J. M. Hawkins, and V. S. Prasad, Abelian cocycles for nonsingular ergodic transformations and the genericity of type III _1 transformations , Monatsh. Math. 103 (1987), no. 3, 187--205. 894170

work page 1987
[3]

Danilenko, Infinite rank one actions and nonsingular C hacon transformations , Illinois J

Alexandre I. Danilenko, Infinite rank one actions and nonsingular C hacon transformations , Illinois J. Math. 48 (2004), no. 3, 769--786. 2114251

work page 2004
[4]

A. H. Dooley, J. Hawkins, and D. Ralston, Families of type III _0 ergodic transformations in distinct orbit equivalent classes , Monatsh. Math. 164 (2011), no. 4, 369--381. 2861592

work page 2011
[5]

Danilenko and Cesar E

Alexandre I. Danilenko and Cesar E. Silva, Ergodic theory: nonsingular transformations, Ergodic theory, Encycl. Complex. Syst. Sci., Springer, New York, [2023] 2023, pp. 233--292. 4647080

work page 2023
[6]

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

work page 1959
[7]

Joanna Furno, Orbit equivalence of p -adic transformations and their iterates , Monatsh. Math. 175 (2014), no. 2, 249--276. 3260869

work page 2014
[8]

3, Keio University, Department of Mathematics, Yokohama, 1981

Toshihiro Hamachi and Motosige Osikawa, Ergodic groups of automorphisms and K rieger's theorems , Seminar on Mathematical Sciences, vol. 3, Keio University, Department of Mathematics, Yokohama, 1981. 617740

work page 1981

Show all 19 references

[9]

I , II , Z

Wolfgang Krieger, On non-singular transformations of a measure space. I , II , Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 11 (1969), 83--97; ibid. 11 (1969), 98--119. 240279

1969
[10]

C onf., O hio S tate U niv., C olumbus, O hio, 1970), Lecture Notes in Math., Vol

, On the A raki- W oods asymptotic ratio set and non-singular transformations of a measure space , Contributions to E rgodic T heory and P robability ( P roc. C onf., O hio S tate U niv., C olumbus, O hio, 1970), Lecture Notes in Math., Vol. 160, Springer, Berlin-New York, 197...

1970
[11]

Maharam, Incompressible transformations, Fund

D. Maharam, Incompressible transformations, Fund. Math. 56 (1964), 35--50. 169988

1964
[12]

F. J. Murray and J. von Neumann, On rings of operators. IV , Ann. of Math. (2) 44 (1943), 716--808. 9096

1943
[13]

Ornstein, On invariant measures, Bull

Donald S. Ornstein, On invariant measures, Bull. Amer. Math. Soc. 66 (1960), 297--300. 146350

1960
[14]

2, Cambridge University Press, Cambridge, 1989, Corrected reprint of the 1983 original

Karl Petersen, Ergodic theory, Cambridge Studies in Advanced Mathematics, vol. 2, Cambridge University Press, Cambridge, 1989, Corrected reprint of the 1983 original. 1073173

1989
[15]

Marcelo Viana, Ergodic theory of interval exchange maps, Rev. Mat. Complut. 19 (2006), no. 1, 7--100. 2219821

2006
[16]

Ya B Vorobets, Planar structures and billiards in rational polygons: the veech alternative, Russian Mathematical Surveys 51 (1996), no. 5, 779

1996
[17]

79, Springer-Verlag, New York-Berlin, 1982

Peter Walters, An introduction to ergodic theory, Graduate Texts in Mathematics, vol. 79, Springer-Verlag, New York-Berlin, 1982. 648108

1982
[18]

Alex Wright, Translation surfaces and their orbit closures: an introduction for a broad audience, EMS Surv. Math. Sci. 2 (2015), no. 1, 63--108. 3354955

2015
[19]

Anton Zorich, Flat surfaces, arXiv preprint math/0609392 (2006)

2006 arXiv

Pith tools

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

[1] [1]

50, American Mathematical Society, Providence, RI, 1997

Jon Aaronson, An introduction to infinite ergodic theory, Mathematical Surveys and Monographs, vol. 50, American Mathematical Society, Providence, RI, 1997. 1450400

work page 1997

[2] [2]

J. R. Choksi, J. M. Hawkins, and V. S. Prasad, Abelian cocycles for nonsingular ergodic transformations and the genericity of type III _1 transformations , Monatsh. Math. 103 (1987), no. 3, 187--205. 894170

work page 1987

[3] [3]

Danilenko, Infinite rank one actions and nonsingular C hacon transformations , Illinois J

Alexandre I. Danilenko, Infinite rank one actions and nonsingular C hacon transformations , Illinois J. Math. 48 (2004), no. 3, 769--786. 2114251

work page 2004

[4] [4]

A. H. Dooley, J. Hawkins, and D. Ralston, Families of type III _0 ergodic transformations in distinct orbit equivalent classes , Monatsh. Math. 164 (2011), no. 4, 369--381. 2861592

work page 2011

[5] [5]

Danilenko and Cesar E

Alexandre I. Danilenko and Cesar E. Silva, Ergodic theory: nonsingular transformations, Ergodic theory, Encycl. Complex. Syst. Sci., Springer, New York, [2023] 2023, pp. 233--292. 4647080

work page 2023

[6] [6]

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

work page 1959

[7] [7]

Joanna Furno, Orbit equivalence of p -adic transformations and their iterates , Monatsh. Math. 175 (2014), no. 2, 249--276. 3260869

work page 2014

[8] [8]

3, Keio University, Department of Mathematics, Yokohama, 1981

Toshihiro Hamachi and Motosige Osikawa, Ergodic groups of automorphisms and K rieger's theorems , Seminar on Mathematical Sciences, vol. 3, Keio University, Department of Mathematics, Yokohama, 1981. 617740

work page 1981