Pith. sign in

REVIEW 2 major objections 6 minor 1 cited by

Piecewise linear circle maps and conjugation to rigid rational rotations

T0 review · 2 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Piecewise linear circle maps are conjugate to rigid rational rotations exactly when every break point is periodic.

desk verdict The rational conjugacy criterion is right, but the explicit scaling constant in Theorem 2.6 is inverted — the paper's own numerics confirm the reciprocal. read the letter →

arxiv 2505.13689 v1 pith:7J6QY2DO submitted 2025-05-19 math.DS

Paul Glendinning , Siyuan Ma , James Montaldi This is my paper · ORCID
classification math.DS MSC 37E4539A23
keywords piecewiselinearcirclemapsrationalrotationnumberconjugacytorigidbreakpointsmode-lockingscalingofabsolutelycontinuousinvariantmeasure
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

This paper establishes a finite, checkable criterion for when a piecewise linear (PWL) orientation-preserving homeomorphism of the circle with rational rotation number $p/q$ is conjugate to the rigid rotation $x \mapsto x + p/q \pmod{1}$: every break point must be periodic. The theorem makes the rational-rotation case the natural analogue of known PWL results for irrational rotation numbers, where break-point orbit conditions and trivial cancellations of slopes control conjugacy. The paper then moves to one-parameter families of PWL maps. If a monotonic family contains a parameter at which the map is conjugate to a rigid rational rotation, then that rotation number is achieved only at that parameter, so there is no mode-locked interval there, and under a transversality condition the rotation number varies linearly with the parameter, with an explicit slope read off from the $q$-th iterate of the critical map. Two families—a two-branch family from the classical theory and a four-branch map derived from refraction in a periodic medium—show the phenomenon in concrete terms, including cases where the conjugacy is a codimension-one event.

What carries the argument

The central object is the collection of break-point orbits together with the $q$-th iterate $F^q$. A break point is a point at which the lift's derivative jumps, and the key mechanism is that when every break point is periodic, $F^q$ is affine on each interval between ordered periodic break points and fixes the endpoints, forcing $F^q \equiv \mathrm{id}$; this reduces conjugacy to a finite extension argument. For the family theorems, the mechanism is a two-region decomposition of the circle near the critical parameter: preimages of break points lie in $O(|\mu|)$-neighbourhoods of their critical positions, while the complementary laminar intervals have slope close to one, and counting the iterates spent in the two regions yields the linear scaling. The slope constant $R_1$ in Theorem 2.6 is $\frac{1}{q}\sum \kappa_i$, where the $\kappa_i$ are computed from the displacement of the $q$-th power on each of its piecewise-linear components at the critical parameter.

What would settle it

Take any PWL orientation-preserving lift $F$ with rational rotation number $p/q$ whose break points are all periodic, list the periodic break-point orbit points in order, and evaluate $F^q$ at points inside each interval between consecutive listed points; Theorem 2.2 predicts $F^q(x)=x+p$ everywhere, so one interval where $F^q$ is not the identity would refute the conjugacy criterion. Separately, for a one-parameter family satisfying the theorem's hypotheses, compute the rotation number numerically at parameters approaching $\mu_c$ from both sides and check whether $(\rho(F_\mu)-p/q)/(\mu-\mu_c)$ converges to the predicted $R_1$; failure to converge linearly is a direct refutation of Theorem 2.6.

Watch

Extended reading notes

Core claim

On its own terms, the paper's central claim is that for PWL orientation-preserving circle homeomorphisms with rational rotation number, rigidity is a property of the break points alone: the map is PWL-conjugate to the rigid rational rotation exactly when every break point lies on a periodic orbit. The proof shows that under this periodicity condition the $q$-th power $f^q$ fixes every periodic break point and is affine on each interval between successive such points, so it must be the identity; a conjugacy is then assembled by assigning one fundamental interval between successive break-point orbit points to the interval of length $1/q$ on the rigid rotation and extending by iteration. A companion theorem says that in this situation the break points group into orbits containing at least two break points, and the product of slope ratios around each such orbit is one, the trivial cancellations condition. The family results are consequences of $f^q$ being the identity at the critical parameter: monotonic families cross the rational rotation number at a single point, and near that point the rotation number is differentiable with linear leading term whose coefficient is an explicit sum over the piecewise-linear components of $F^q$. These results are illustrated in the two-branch and four-branch families, where the conjugacy condition reduces to one or two natural conditions.

Load-bearing premise

The family-scaling result depends on the unproved step that, close to the critical parameter, every point is shifted by an amount comparable to the change in the parameter; the lemma cited there only keeps track of where preimages of the break points land, not of this uniform shift.

Editorial extensions

If this is right

  • Conjugacy to a rigid rational rotation can be verified by checking finitely many break-point orbits: if every break point is periodic, the PWL conjugacy exists, and if not, it does not.
  • For such maps the break-point orbits pair up, with at least two break points per orbit, and the product of the slope ratios around each orbit equals one; this is the rational analogue of the irrational trivial-cancellations condition.
  • The same criterion is equivalent to the existence of an absolutely continuous invariant probability measure supported on the whole circle, to a uniformly bounded number of break points in all iterates, and to uniformly bounded derivatives of all iterates.
  • In any monotonic PWL family, a conjugacy parameter for rotation number $p/q$ is isolated: $\rho(F_\mu)=p/q$ exactly at $\mu=\mu_c$, so no mode-locked interval is attached to that rotation number.
  • When the transversality condition holds, $\rho(F_\mu)-p/q = R_1(\mu-\mu_c) + O((\mu-\mu_c)^2)$, so the rotation number is differentiable at the critical parameter with an explicitly computable slope.

Reading between the lines

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

  • A direct test of the linear-scaling theorem would be to measure the widths of mode-locking wedges near the critical parameter in the two-branch example; the paper's concluding wedge calculation suggests those widths should open linearly with the parameter.
  • The paper verifies the predicted slope $R_1$ numerically only for the two-branch family; applying the same comparison to the four-branch refraction model at its period-five parameter would test whether the $\kappa_i$ computed from $F^5$ reproduce the fitted slope.
  • The codimension counting suggests that in generic multi-branch PWL families, conjugacy to a rigid rational rotation is rare, while symmetries in the four-branch model reduce it to a codimension-one event; perturbing the break-point positions in the two-branch family would be a concrete way to probe that transition.
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.

Referee Report

2 major / 6 minor

Summary. The paper studies piecewise linear (PWL) orientation-preserving circle homeomorphisms with rational rotation number. Its main structural result, Theorem 2.2, states that such a map is conjugate to the rigid rational rotation by a PWL conjugacy if and only if every break point is periodic; Theorem 2.3 then describes the orbit structure and jump cancellations implied by conjugacy. The paper also proves equivalent reformulations in terms of absolutely continuous invariant measures and bounded growth of iterates (Theorem 2.4), a no-mode-locking theorem for monotonic families (Theorem 2.5), and a linear-scaling theorem with an explicit slope (Theorem 2.6). Two examples are treated: Herman's two-component family and a four-component refraction model from geometric optics. The proofs of Theorems 2.2 and 2.3 are clean and self-contained, and the numerical experiments are reported with fitted slopes and standard deviations.

Significance. If corrected, the paper makes a useful contribution. Theorem 2.2 gives a remarkably simple finite criterion for conjugacy to a rational rotation, and the contrast between the resulting linear scaling/no-mode-locking behaviour and the generic mode-locking picture is conceptually valuable. The paper is genuinely self-contained and does not fit constants to data: the claimed constants are derived from the maps' slopes and break-point data. The two examples, especially the refraction example with symmetries that lower the codimension, illustrate the theory well. However, the explicit slope formula in Theorem 2.6 is currently incorrect, and this error propagates into the worked comparison in Section 9. The qualitative scaling statement appears salvageable, but the theorem as written is false.

major comments (2)
  1. [Section 8, Eq. (23)] The displayed formula for R1 is algebraically inverted. Lemma 8.1 gives n_i = κ_i/µ + O(1), so the total number of iterates for a passage through distance one is N = D + Σ n_i ~ (Σ κ_i)/µ. Equation (34) therefore gives ρ(F^q_µ) − p ~ 1/N ~ µ/Σ κ_i, and hence ρ(F_µ) − p/q ~ µ/(q Σ κ_i). The proof's final line instead states ρ(F_µ) − p/q − (µ/q) Σ κ_i = O(µ^2), and Eq. (12) records R1 = (1/q) Σ κ_i. The correct constant is R1 = 1/(q Σ κ_i). This is not a cosmetic typo: in Herman's example (41) with q = 2 and λ = √2, the actual interval coefficients are A1 = 1 + λ^{−1} and A2 = 1 + λ, giving Σ κ = 2λ/(1+λ)^2 ≈ 0.485. The corrected slope 1/(2 Σ κ) ≈ 1.030 matches the numerical fit 1.027 ± 0.002 reported in Section 9, whereas the printed formula gives about 0.243. The paragraph below Figure 3 also states that A_i = 1 and Σ κ = 1 and calls the slope unity; that is internally inconsistent with Eq. (12) and with the actual derivatives of the second iterate. The theorem statement, the proof, and the Section 9 comparison all need to be corrected consistently.
  2. [Section 8, Eq. (23)] The uniform two-sided bound C3 µ < G_µ(x) − x < C4 µ is asserted 'by the proof of Lemma 7.5', but Lemma 7.5 as stated and proved only controls the location of the preimage set B(µ): it shows that the break points of f^q_µ lie in O(µ)-neighbourhoods of their positions at µ = 0. That statement does not by itself give a pointwise lower bound on the displacement G_µ(x) − x at every x. This bound is load-bearing for Lemma 8.2 and for the lower bound in Eq. (34). The gap appears repairable, for instance by iterating Lemma 7.3 q times and using uniform slope bounds on a compact parameter neighbourhood, but the argument is not supplied in the manuscript. As written, the proof of Theorem 2.6 has an underexplained step at exactly the point where the linear lower bound is needed.
minor comments (6)
  1. [Lemma 8.1] Equation (28) is not consistent with the defining equation (31). The correct condition for n_i is (G_{µ,i} − M_i)(1 + S_i + ... + S_i^{n_i−1}) = m_{i+1} − M_i; the displayed version adds G_{µ,i} and an S_i factor in a way that does not match the subsequent derivation. Since the proof uses (31), this appears to be a statement typo, but it should be fixed.
  2. [Corollary 7.4] The transversality condition in Eq. (19) repeats the same term s_{k−1}(µ_c) b'_k(µ_c) twice; by analogy with (14) it should involve both s_{k−1} and s_k.
  3. [Lemma 7.3] Equation (18) contains an unmatched parenthesis and a garbled factor (µ − ν); the displayed formula should be cleaned up so the mean-value argument is readable.
  4. [Section 3] There is a typo 'rigid rotaion' in the proof of Lemma 3.1; this should be corrected in copyediting.
  5. [References] Reference [10] is listed as 'in preparation' and [15] as a submitted PhD dissertation; the manuscript should either cite a stable preprint/DOI or state clearly which results in Section 10 depend on unpublished work.
  6. [Figure 2] The caption's parenthetical 'the point which is not a break point is in L4' is incomplete and would be clearer if expanded to say which orbit point is meant and why L4 is included.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the derivation is self-contained and uses self-citations only as provenance for examples.

full rationale

The paper's central claim, Theorem 2.2, proves that periodicity of all break points implies f^q is the identity and then constructs an explicit PWL conjugacy; the converse is immediate from conjugacy. This is a direct derivation, not a restatement of its inputs. The subsequent structural results (Theorems 2.3, 2.4) follow from already-established theorems and direct calculations. For the family results, Theorem 2.5 uses monotonicity plus the identity F^q=Id at the critical parameter, and Theorem 2.6 derives the linear scaling and the constant R1 from quantitative estimates on passage times (Lemmas 7.5, 8.1, 8.2) rather than from fitting R1 to rotation-number data. The cited works [10,15] are used only to identify the refraction example, and Theorem 10.1 is proved by explicit calculation within the paper; these citations are not load-bearing. The reader-identified gap around inequality (23) and the apparent algebraic mismatch between Eq. (34) and the stated reciprocal form of R1 are correctness or proof-completeness concerns, not circularity: in neither case is the conclusion assumed as an input or is a fitted quantity renamed as a prediction. The manuscript is therefore not circular in any structural sense.

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

No free parameters are fitted and no new entities are introduced. The proofs rest on standard rotation-number and periodic-orbit facts plus the definitional structure of PWL circle maps; the transversality condition (19) is an explicit hypothesis of Theorem 2.6 and is not verified in the examples.

assumptions (4)
  • standard math The rotation number exists for orientation-preserving circle homeomorphisms and is independent of the starting point (standard Poincare theory).
    Used throughout the paper, beginning with equation (3) and Definition 2.1.
  • standard math All periodic orbits of an orientation-preserving circle homeomorphism with rotation number p/q in lowest terms have period q.
    Used in the proof of Theorem 2.2 to infer that all break points have the same period q once they are periodic.
  • standard math For a monotonic family of lifts, the rotation number varies continuously and monotonically with the parameter.
    Used in Definition 2.1 and in the proof of Theorem 2.5, citing standard results.
  • domain assumption Families in Theorem 2.6 are C^2 in the parameter and satisfy the local monotonicity and transversality condition (19).
    Condition (19), introduced in Corollary 7.4, is a hypothesis of Theorem 2.6 and is not explicitly verified for the worked examples.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Piecewise linear circle maps and conjugation to rigid rational rotations." pith.science (2026). https://pith.science/paper/7J6QY2DO

@misc{pith2026250513689,
  author       = {Pith},
  title        = {Pith review of: Piecewise linear circle maps and conjugation to rigid rational rotations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7J6QY2DO}},
  note         = {Machine review of arXiv:2505.13689}
}
abstract

Criteria for piecewise linear circle homeomorphisms to be conjugate to a rigid rotation, $x\to x+\omega~({\rm mod}~1)$, with rational rotation number $\omega$ are given. The consequences of the existence of such maps in families of maps is considered and the results are illustrated using two examples: Herman's classic family of piecewise linear maps with two linear components, and a map derived from geometric optics which has four components. These results show how results for piecewise smooth circle homeomorphisms with irrational rotation numbers have natural correspondences with the case of rational rotation numbers for piecewise linear maps. In natural families of maps the existence of a parameter value at which the map is conjugate to a rigid rotation implies linear scaling of the rotation number in a neighbourhood of the critical parameter value and no mode-locked intervals, in contrast to the behaviour of generic families of circle maps.

Figures

Figures reproduced from arXiv: 2505.13689 by the authors.

Figure 1
Figure 1. Plot of the rotation number ρ (vertical axis) of (42) against the parameter −β. The rotation number is calculated using 100000 iterates of the map at 100 equidistant values of the parameter with α = 2 and 1.122 ≤ β < 1.131. Part of the mode locked region with rotation number 5 6 is visible on the left of the figure. The parameter −β is used in the plot so that the rotation number increases with parameter as is the c… view at source ↗
Figure 2
Figure 2. Sketch of a lift fα,β and the iterate f 5 α,β shifted by 4 using (42) with α = 2 and β = (√ 5 − 1) − µ, µ = 0.02 (cf. Figure 4a). As discussed in section 10, fα,β has four break points and if µ = 0 these lie on the same orbit of period five which is indicated by the circles on the diagonal. The intervals Li are centred on these (the point which is not a break point is in L4, and contain all the break points of F 5 α… view at source ↗
Figure 3
Figure 3. Rotation number of (41) as a function of the parameter [PITH_FULL_IMAGE:figures/full_fig_p020_3.png] view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Rotation number (vertical axis) of (42) against the para [PITH_FULL_IMAGE:figures/full_fig_p022_4.png]
Figure 5
Figure 5. Figure 5: (a) Schematic view of a mode locked region in two parameter [PITH_FULL_IMAGE:figures/full_fig_p023_5.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Scaling of the rotation number for perturbations of rational rotations

    math.DS 2025-06 conditional novelty 6.0 of 10

    The rotation number of a circle-map family through a rational rigid rotation is differentiable at that point under a transversality condition, with derivative equal to an explicit integral over the resonant Fourier terms.

Reference graph

Works this paper leans on

23 extracted references · 18 canonical work pages · cited by 1 Pith paper

  1. [1]

    Adouani (2016) Conjugation between circle maps with severa l break points, Ergod

    A. Adouani (2016) Conjugation between circle maps with severa l break points, Ergod. Thy. Dynam. Syst. , 36, 2351-2383

    work page 2016

  2. [2]

    Adouani and H

    A. Adouani and H. Marzougui (2012) On piecewise smoothness o f conjugacy of class P circle homeomorphisms to diffeomorphisms and rotations, Dyn. Syst. , 27, 169–186

    work page 2012

  3. [3]

    Kh. A. Akhadkulov (2006) Some circle homeomorphisms with break -type singularities, Russ. Math. Surveys , 61, 981–983

    work page 2006

  4. [4]

    Carretero-Gonz´ alez, D.K

    R. Carretero-Gonz´ alez, D.K. Arrowsmith and F. Vivaldi (1997) Mode-locking in coupled map lattices, Physica D , 103, 381-403

    1997

  5. [5]

    Coelho, A

    Z. Coelho, A. Lopes and L. F. da Rocha (1995) Continuous Invar iant Measures for a Class of Affine Interval Exchange Maps, Proc. AMS, 123, 3533-3542

    work page 1995

  6. [6]

    Devaney An Introduction to Chaotic Dynamical Systems

    R. Devaney An Introduction to Chaotic Dynamical Systems. Addison-Wesley, Redwood City, 1989. 24

    work page 1989

  7. [7]

    Dzhalilov and I

    A. Dzhalilov and I. Liousse (2006) Circle homeomorphisms with two b reak points, Nonlinearity, 19, 1951-1968

    work page 2006

  8. [8]

    Dzhalilov, D

    A. Dzhalilov, D. Mayer, S. Djalilov and A. Aliyev (2018) An Extention of Herman’s Theorem for Nonlinear Circle Maps with Two Breaks, Russian Journal of Nonlinear Dynamics, 14, 553–577

    work page 2018

Show all 23 references
  1. [9]

    Dzhalilov, D

    A.A. Dzhalilov, D. Mayer and U.A. Safarov (2012) Piecewise-Smoot h Circle Homeo- morphisms with Several Break Points, Izv. Math. , 76, 94-112

    2012

  2. [10]

    Glendinning, S

    P. Glendinning, S. Ma and J. Montaldi (2025) in preparation

    2025

  3. [11]

    Herman (1979) Sur la conjugaison diff´ erentiable des diff´ eom orphismes du cercle ` a des rotations, IHES Publ

    M. Herman (1979) Sur la conjugaison diff´ erentiable des diff´ eom orphismes du cercle ` a des rotations, IHES Publ. Math. , 49, 5–233

    1979

  4. [12]

    Khanin and D

    K.M. Khanin and D. Khmelev (2003) Renormalizations and rigidity th eory for circle homeomorphisms with singularities of the break type, Comm. Math. Phys. , 235, 69–124

    2003

  5. [13]

    Khmelev (2005) Rational rotation numbers for homeomorp hisms with several break-type singularities, Ergod

    D.V. Khmelev (2005) Rational rotation numbers for homeomorp hisms with several break-type singularities, Ergod. Thy. Dynam. Syst. , 25, 553–592

    2005

  6. [14]

    Liousse (2005) Nombre de rotation, mesures invariantes et ratio set des hom´ eomorphismes affines par morceaux du cercle, Ann

    I. Liousse (2005) Nombre de rotation, mesures invariantes et ratio set des hom´ eomorphismes affines par morceaux du cercle, Ann. Inst. Fourier , 55, 431-482

    2005

  7. [15]

    Ma (2025) Dynamics of chessboard-style flows and piecewise linear cir cle homeomor- phisms, PhD Dissertation, University of Manchester, submitted

    S. Ma (2025) Dynamics of chessboard-style flows and piecewise linear cir cle homeomor- phisms, PhD Dissertation, University of Manchester, submitted

    2025

  8. [16]

    Mackay and C

    R.S. Mackay and C. Tresser (1984) Badly ordered orbits of circ le maps, M ath. Proc. Camb. Phil. Soc., 96, 447-451

    1984

  9. [17]

    de Melo and S

    W. de Melo and S. van Strien One-Dimensional Dynamics , Springer, Berlin Heidelberg 1993

    1993

  10. [18]

    Quas (1992) Invariant measures for families of circle maps, Math

    A. Quas (1992) Invariant measures for families of circle maps, Math. Proc. Camb. Phil. Soc., 111, 585-597

    1992

  11. [19]

    Rhodes and C.L

    F. Rhodes and C.L. Thompson (1991) Topologies and rotation nu mbers for families of monotone functions on the circle, J. Lond. Math. Soc. , 43, 156–170

    1991

  12. [20]

    Scilab, www.scilab.org

  13. [21]

    Simpson (2023) The Necessity of the Sausage-String Str ucture for Mode-Locking Regions of Piecewise-Linear Maps, arXiv:2312.03887

    D.J.W. Simpson (2023) The Necessity of the Sausage-String Str ucture for Mode-Locking Regions of Piecewise-Linear Maps, arXiv:2312.03887

    2023 arXiv

  14. [22]

    Simpson and J.D

    D.J.W. Simpson and J.D. Meiss (2009) Shrinking Point Bifurcations o f Resonance Tongues for Piecewise-Smooth, Continuous Maps, Nonlinearity, 22, 1123-1144

    2009

  15. [23]

    Yoccoz (1983) C 1-conjugaison des diff´ eomorphismes du cercle, in Geometric Dy- namics, ed

    J.C. Yoccoz (1983) C 1-conjugaison des diff´ eomorphismes du cercle, in Geometric Dy- namics, ed. J. Palis, LNM 1007, Springer, Berlin. 25

    1983

Pith tools

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