REVIEW 4 major objections 6 minor 2 references
Linearizations of periodic point free distal homeomorphisms on the annulus
T0 review · 4 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read Periodic-point-free distal annulus homeomorphisms need not be conjugate to rigid rotations.
desk verdict A nice sufficient condition and an explicit construction, but the non-linearizability proof stops one sentence short of the actual argument. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
For the positive result, the central object is the transversal $\gamma$ of the decomposition $\mathcal P$. The paper forms the leaves $L_n=g^n(\gamma)$; distality makes them pairwise disjoint transversals, and the regions between consecutive leaves are decomposed continuously into arcs $C_{m,n}^\alpha$ along invariant circles. This yields coordinates on the annulus and a map $\Psi$ defined on $L_n$ by $x\mapsto e^{2\pi i n\theta}\psi(g^{-n}x)$, and continuity of the section is what makes $\Psi$ a homeomorphism conjugating $g$ to $R_\theta$. For the negative result, the central object is a periodic folding rotation $H$: a homeomorphism of the annulus that commutes with a rational rotation $R_{p/q}$, has controlled angular distortion (at most a factor $5q$ on angular differences along each circle), and contains a folding circle whose maximal folding angle, the largest angular gap between two preimages landing on the same folded point, exceeds $\pi/3$. Squeezing such $H$ into thin annuli near the boundary and iterating with $R_\alpha$ produces the non-linearizable examples.
What would settle it
Find a continuous arc in one of the constructed maps $g$ that meets every member of its invariant-circle decomposition exactly once; together with Theorem 1.3 this would give an explicit conjugacy to a rigid rotation and refute Theorem 1.4 for that $\alpha$. A numerical or geometric search for such an arc across the nested annuli $A_n$, or a proof that every candidate arc is cut by one of the folds, would settle the disputed implication.
Extended reading notes
Core claim
The paper's central claim is Theorems 1.3 and 1.4 together. Theorem 1.3 says that if the invariant-circle decomposition $\mathcal P$ admits a continuous section $\varphi:[0,1]\to\mathbb{A}$ meeting each circle exactly once, then $g$ is topologically conjugate to the rigid rotation $R_\theta$ whose angle is the common irrational rotation number of the circle restrictions. The conjugacy is built from the iterates $L_n=g^n(\varphi([0,1]))$ of the transversal. Theorem 1.4 says this hypothesis is not automatic: for every irrational $\alpha\in(0,1)$ there is a distal, boundary-preserving, periodic-point-free homeomorphism with rotation number $\alpha$ that is not linearizable. These examples are made by placing, inside nested annuli $A_n$ accumulating at the outer boundary, conjugates of a folding homeomorphism $H_n$ that commutes with a rational rotation $R_{p_n/q_n}$, where $p_n/q_n\to\alpha$, while the rest of the annulus is a pure rotation. Each block contains a folded circle whose maximal folding angle exceeds $\pi/3$, which the authors use to rule out any continuous transversal.
Load-bearing premise
The load-bearing premise is the one-sentence assertion at the end of Section 3.3 that a folding circle with maximal folding angle greater than one-third of a full turn inside every annulus $A_n$ prevents any continuous transversal of the decomposition; if that implication is false, the constructed maps could still be linearizable.
Editorial extensions
If this is right
- A continuous transversal for the invariant-circle decomposition is a sufficient condition for linearization, so any non-linearizable example must have a decomposition with no continuous section.
- Non-linearizability is compatible with every irrational rotation number in $(0,1)$; well-approximable and poorly approximable $\alpha$ behave the same at this level of regularity.
- The obstruction is local in the radial direction: outside a sequence of thin annuli the constructed map is a rigid rotation, so global conjugacy can be destroyed by folding only near the boundary.
- For any constructed example, exhibiting a continuous transversal would, by Theorem 1.3, give an explicit conjugacy to a rotation; excluding such transversals is therefore the decisive test of non-linearizability.
Reading between the lines
- The paper leaves smoothness open; a natural next step is to try smoothing the folding blocks, since the bound $5q|\alpha-p/q|$ suggests that Diophantine properties of $\alpha$ will control whether folds can survive a $C^1$ or $C^\infty$ perturbation.
- The threshold $\pi/3$ for the maximal folding angle comes from the specific geometry of the construction; the true minimal folding angle that destroys all continuous transversals could be smaller and is worth isolating.
- The Theorem 1.3 proof uses only elementary properties of the continuous section, so the same 'section implies linearization' mechanism is a plausible template for other spaces carrying continuous decompositions into invariant circles, such as closed annuli or tori.
- The construction suggests that, in the $C^0$ category, non-linearizable distal annulus homeomorphisms with a fixed irrational rotation number may be typical rather than exceptional, since folds can be inserted in arbitrarily thin annuli without changing the rotation elsewhere.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies distal, periodic-point-free homeomorphisms of the annulus. Building on the authors' previous structure theorem (Theorem 1.1), it proves Theorem 1.3: if the invariant-circle decomposition P admits a continuous section, then the map is topologically conjugate to a rigid rotation. It then claims Theorem 1.4: for every irrational α∈(0,1) there exists such a distal homeomorphism g with rotation number α that cannot be linearized, using a construction of annuli A_n accumulating at the outer boundary and homeomorphisms H_n that nearly commute with rational rotations. The non-linearizability is argued by asserting that the presence of a 'folding circle' with large maximal folding angle in each A_n prevents the existence of a continuous transversal for P.
Significance. The positive result Theorem 1.3 is a clean and plausible sufficient condition for linearizability, and it would be a useful complement to the structure theorem in [2]. If Theorem 1.4 were established, it would answer Question 1.2 negatively and provide the first examples of non-linearizable distal annulus homeomorphisms for every irrational rotation number. However, the proof of Theorem 1.4 in this manuscript has several load-bearing gaps, including an ill-defined quantity and an unsupported final step, so the significance of the paper as it stands is conditional. The paper does not provide machine-checked proofs or reproducible code; its contribution is purely theoretical.
major comments (4)
- [Section 3.1] The definition of MFA(γ) is vacuous for the curves to which it is applied. For an essential simple closed curve γ, the condition γ(t1)=γ(t3) with 0≤t1<t2<t3<1 cannot be satisfied, because such a curve is injective on [0,1). Thus MFA(γ) is the maximum over the empty set. In Claim 1 the inequality MFA(Γ)>π/3 is justified by comparing θ(π(w2)) and θ(π(w3)), but those are distinct points on the simple closed curve Γ, not a self-intersection. Consequently property (3) in Section 3.2, and the later use of folding circles, is not established.
- [Section 3.3, items (a) and (b)] The construction of g is not shown to be well-defined on A\C_2. The annuli A_n are closed and adjacent annuli share boundary circles, for example A_1∩A_2=C_{7/4} in the notation of the paper. Items (a) and (b) prescribe g on each A_n separately, without proving that the local definitions agree on the common boundaries C_{2-1/2^{n+1}}. The statement 'It follows from the construction that g is continuous on A \ C_2' is therefore unsupported; compatibility on all shared interfaces must be checked first.
- [Section 3.3, last paragraph] The assertion that a folding circle in each A_n with maximal folding angle greater than π/3 prevents a continuous transversal is stated in one sentence and is not a routine consequence. On each individual A_n, g is conjugate to R_α, so the restriction of P to A_n admits continuous local transversals. Any obstruction must come from the way local transversals fail to glue across the nested annuli and converge at C_2, and the paper contains no argument for this. This is a load-bearing gap in the proof of Theorem 1.4.
- [Section 2, Claim 6] Claim 6 asserts that x_{n_i}^α converges in C_α if and only if (n_i α) converges in S^1, citing Claim 3 and the normalization on C_{1.5}. For a general C_α this requires that the convergence of iterates under g|C_α is equivalent to convergence of n_i α, which is not proved here; if it follows from [2], the authors should state the precise result they are invoking. As written, this step in the construction of the conjugacy Ψ is too terse.
minor comments (6)
- [Theorem 1.4 statement] The phrase 'F or each irrational number' contains a typo and should read 'For each irrational number'.
- [Section 3.3, item (a)] The phrase 'squeezing along the radical direction' should be 'squeezing along the radial direction'.
- [Section 2, Claim 3 proof] The sentence 'There there are a, b, c, d ∈ Z ...' contains a duplicated 'There' and the notation (L_a,L_b), [L_a,L_b] is confusing; please clarify.
- [Section 3.3, final paragraph] The phrase 'there is no a transversal' should be 'there is no transversal'.
- [Figure 1] The text refers to FIGURE 1 in the proof of Section 3.2, but the figure is not visible in the manuscript text; if the figure is essential, it should have a caption and be clearly legible.
- [Section 2, beginning] The assumption that we may take C_{1.5}={|z|=1.5} and g|C_{1.5} as a rigid rotation is used without justification; a sentence explaining why this normalization is harmless would be helpful.
Circularity Check
No circularity: the construction is explicit and the cited prior theorem is not equivalent to the new results.
full rationale
The paper's positive theorem (Theorem 1.3) is proved from the existence of a transversal and the structure theorem 1.1; the conjugacy is built by an explicit formula and verified by Claims 1–7, none of which re-uses the conclusion. The construction theorem (Theorem 1.4) gives an explicit H_n with properties (1)–(3) and defines g blockwise; the continuity computation is a direct estimate. The only reliance on the authors' prior work is Theorem 1.1 from [2], which supplies the decomposition P. That theorem has stated assumptions (distal, periodic-point-free annulus homeomorphism) and does not contain the target conclusions; citing it is not a circular reduction. A separate, non-circular gap is present: the final sentence of §3.3 asserts that a folding circle with maximal folding angle greater than π/3 in each A_n excludes a continuous transversal, but no proof is given that this geometric property obstructs a global continuous section; this affects correctness, not circularity. The derivation chain does not reduce to its inputs by construction, and no fitted parameters are renamed as predictions. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Theorem 1.1 of [2]: every boundary-components-preserving distal homeomorphism of the annulus with no periodic points has a continuous decomposition into invariant circles with a common irrational rotation number.
- standard math Dirichlet's approximation theorem provides rationals p_n/q_n with |α - p_n/q_n| < 1/q_n^2.
- domain assumption Each invariant circle is minimal, so g restricted to it is conjugate to a rotation and orbits are dense.
- ad hoc to paper The map H_n constructed in Section 3.2 is a homeomorphism satisfying the three stated properties (commutation with the rational rotation, the angle-Lipschitz bound, and the folding-circle property).
- ad hoc to paper The maximal folding angle definition applies to the curves considered in Section 3.2.
Cite this review
Pith. "Pith review of Linearizations of periodic point free distal homeomorphisms on the annulus." pith.science (2026). https://pith.science/paper/LWA4CYQZ
@misc{pith2026241118360,
author = {Pith},
title = {Pith review of: Linearizations of periodic point free distal homeomorphisms on the annulus},
year = {2026},
howpublished = {\url{https://pith.science/paper/LWA4CYQZ}},
note = {Machine review of arXiv:2411.18360}
}
abstract
Let $\mathbb{A}$ be an annulus in the plane $\mathbb R^2$ and $g:\mathbb{A}\rightarrow \mathbb{A}$ be a boundary components preserving homeomorphism which is distal and has no periodic points. In \cite{SXY}, the authors show that there is a continuous decomposition $\mathcal P$ of $\mathbb{A}$ into $g$-invariant circles such that all the restrictions of $g$ on them share a common irrational rotation number (also called the rotation number of $g$) and all these circles are linearly ordered by the inclusion relation on the sets of bounded components of their complements in $\mathbb R^2$. In this note, we show that if the decomposition $\mathcal P$ above has a continuous section, then $g$ can be linearized, that is it is topologically conjugate to a rigid rotation on $\mathbb{A}$. For every irrational number $\alpha\in (0, 1)$, we show the existence of such a distal homeomorphism $g$ on $\mathbb{A}$ that it cannot be linearized and its rotation number is $\alpha$.
Reference graph
Works this paper leans on
-
[2]
E. Shi, H. Xu, and Z.Q. Yu, The structure of periodic point free distal homeomor- phisms on the annulus, arXiv:2406.10674. 8 E. Shi, H. Xu, and Z. Yu FIGURE 1. SCHOOL OF MATHEMATICS AND SCIENCES , S OOCHOW UNIVERSITY , S UZHOU , J IANGSU 215006, CHINA Email address: ehshi@suda.edu.cn DEPARTMENT OF MATHEMATICS , S HANGHAI NORMAL UNIVERSITY , S HANGHAI 2002...
-
[1]
B. Bramham, Z. Zhang, Recent results and open questions on pseudo-rotations. A vision for dynamics in the 21st century-the legacy of Anatole Katok, 67-93, Cam- bridge Univ. Press, Cambridge, 2024
work page 2024
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.