{"id":"adfabc1f-1081-4412-a768-f0b0f2146f27","arxiv_id":"2505.13689","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A piecewise linear circle homeomorphism with rational rotation number is conjugate to a rigid rational rotation exactly when every break point is periodic, and near such parameter values in families the rotation number scales linearly.","lead":"Mathematicians find a simple test for when a piecewise-linear circle map can be relabeled as a smooth uniform rotation with rational rate: every corner point must return to itself. The result explains why special parameter values have linear rotation-number scaling instead of generic mode-locked plateaus.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.6's explicit linear-scaling constant is algebraically inverted: the proof's Eq. (34) yields R1 = 1/(q Σ κ_i), but Theorem 2.6 and Eq. (12) state R1 = (1/q) Σ κ_i; Section 9's own numerics match the corrected reciprocal.","rationale":"The reader returned CONDITIONAL, citing the unjustified uniform linear bound (23) in the proof of Theorem 2.6. That concern is real but probably repairable: for a monotonic family satisfying Lemma 7.3, the telescoping difference F_µ^q − F_0^q is bounded below by C µ times a finite sum of positive minimum slopes, and above by a similar maximum-slope sum, so (23) can be derived directly. The more serious issue is the algebraic inversion of Σκ_i in the statement of Theorem 2.6. The proof's own estimate (34) forces the rotation-number excess to be µ/(q Σκ_i), not (µ/q) Σκ_i, yet both (12) and the proof's final line state the latter. This is not a boundary case or a missing technical hypothesis: the formula is contradicted by the authors' own Herman-family calculation, where the reported numerical slope 1.027 agrees with the corrected reciprocal formula and is off by about a factor of four from the printed one. The theorem's qualitative claim, linear scaling, remains plausible and is supported by the corrected constant, so rejection is not warranted. However, because a stated explicit formula in a main theorem is wrong and Section 9's explanatory calculation compounds the error, the paper should not be accepted without correction. The reader's CONDITIONAL verdict therefore stands, but with a different and more concrete reason than the one identified in the reader's weakest-assumption field.","tokens_in":19420,"tokens_out":19993,"duration_ms":187867,"concrete_test":"Recompute the slope predicted by Theorem 2.6 for Herman's example (41) with λ = √2, q = 2, using the actual interval coefficients A1 = 1 + λ^{-1} on [0, c] and A2 = 1 + λ on [c, 1]. The printed formula (12) predicts R1 = (1/q) Σκ_i ≈ 0.243, while the reciprocal formula R1 = 1/(q Σκ_i) predicts ≈ 1.030. If a direct numerical regression over a sufficiently small µ-window reproduces the paper's reported slope near 1.027, then the explicit constant in Theorem 2.6 must be corrected from Σκ_i/(q) to 1/(q Σκ_i).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing problem is in the proof of Theorem 2.6 and in the explicit formula (12). In Lemma 8.1 the passage times n_i scale as κ_i/µ, so the total number of iterates per unit advance is N ≈ (Σ κ_i)/µ. Equation (34) therefore gives ρ(F^q_µ) − p ≈ 1/N ≈ µ/Σ κ_i, and hence ρ(F_µ) − p/q ≈ µ/(q Σ κ_i). The proof's final line instead writes ρ(F_µ) − p/q − (µ/q) Σ κ_i = O(µ^2), and statement (12) records R1 = (1/q) Σ κ_i. The correct constant is R1 = 1/(q Σ κ_i). This is not cosmetic: for Herman's example (41) with q = 2 and λ = √2, the actual interval coefficients are A1 = 1 + λ^{-1} on [0, c] and A2 = 1 + λ on [c, 1], giving Σκ = c/(1 + λ^{-1}) + (1 − c)/(1 + λ) = 2λ/(1 + λ)^2 ≈ 0.485. The corrected slope, 1/(2Σκ) ≈ 1.030, matches the reported numerical fit 1.027 ± 0.002, whereas the printed formula predicts about 0.243 (or 0.5 if one uses the paper's erroneous A_i = 1). Thus the stated closed-form R1 is false. The qualitative linear-scaling claim may still be true with the corrected reciprocal, and the reader's flagged inequality (23) is probably repairable from Lemma 7.3 via monotonicity and compactness, but Theorem 2.6's explicit formula and Section 9's use of it need correction.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":19796,"tokens_out":9935,"duration_ms":98987,"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":[{"comment":"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.","section":"Section 8, Eq. (23)"},{"comment":"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.","section":"Section 8, Eq. (23)"}],"minor_comments":[{"comment":"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.","section":"Lemma 8.1"},{"comment":"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.","section":"Corollary 7.4"},{"comment":"Equation (18) contains an unmatched parenthesis and a garbled factor (µ − ν); the displayed formula should be cleaned up so the mean-value argument is readable.","section":"Lemma 7.3"},{"comment":"There is a typo 'rigid rotaion' in the proof of Lemma 3.1; this should be corrected in copyediting.","section":"Section 3"},{"comment":"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.","section":"References"},{"comment":"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.","section":"Figure 2"}],"recommendation":"major_revision","confidential_remarks":"The incorrect constant in Theorem 2.6 is a load-bearing error, but it is local and fixable: replace R1 = (1/q)Σκ_i with R1 = 1/(qΣκ_i), repair the derivation and the Section 9 comparison, and supply the missing proof of the uniform bound (23). The rest of the paper, especially Theorems 2.2 and 2.3, is convincing. I would be happy to see a revised version."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read this one for Theorem 2.2, not for the constant in Theorem 2.6. The criterion — a PWL orientation-preserving circle homeomorphism with rational rotation number p/q is PWL conjugate to the rigid rotation iff every break point is periodic — is new, clean, and the proof is short and convincing: periodicity forces f^q to be the identity on each affine interval, and the conjugacy is built explicitly. The jump-condition corollary (Theorem 2.3) and the no-mode-locking statement (Theorem 2.5) are useful. The paper earns a serious referee.\n\nThe soft spot is in Theorem 2.6. The passage-time estimate in Lemma 8.1 gives n_i ~ κ_i/µ, so the number of iterates per unit displacement is N ~ (Σκ_i)/µ, and hence ρ(Fµ) − p/q ~ µ/(q Σκ_i). The proof even ends that way. But equation (12) states R1 = (1/q)Σκ_i, which is the reciprocal of what the calculation gives. For Herman's example with λ=√2, the correct Σκ is c/(1+λ^{-1})+(1−c)/(1+λ) ≈ 0.485, so 1/(2Σκ) ≈ 1.030 — matching the reported fit 1.027±0.002 — while the printed formula predicts about 0.243. Section 9's own claim that A_i=1 is incorrect; the second-iterate derivatives are 1+λ^{-1} and 1+λ. So the explicit constant in Theorem 2.6 is false as stated, and the example's slope check confirms the reciprocal. This is not cosmetic.\n\nA second, smaller issue: the uniform bound (23), C3µ < Gµ(x)−x < C4µ, is attributed to Lemma 7.5, but that lemma only controls preimages of break points in O(µ) neighbourhoods. It doesn't by itself give a uniform linear displacement at every x. This is probably repairable, but it needs a real argument. The qualitative linear-scaling claim may survive with the corrected constant, but the theorem needs rewriting.\n\nThe self-citations are fine; the refraction example is used as illustration, not as a load-bearing derivation. The proofs are mostly self-contained. The paper is not circular.\n\nRecommendation: send to peer review, but flag the R1 error for the referee. This is a conditional accept after a genuine correction, not a desk reject. If you work on PWL circle maps, cite it for Theorem 2.2, not for the scaling constant until revised.","headline":"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.","tokens_in":20376,"tokens_out":7799,"would_cite":true,"duration_ms":67074,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37E45","39A23"],"pacs":[],"model":"deepseek-v4-flash","headline":"Piecewise linear circle maps are conjugate to rigid rational rotations exactly when every break point is periodic.","keywords":["piecewise linear circle maps","rational rotation number","conjugacy to rigid rotation","break points","mode-locking","linear scaling of rotation number","absolutely continuous invariant measure"],"falsifier":"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.","tokens_in":19185,"feed_emoji":"🔄","tokens_out":11355,"duration_ms":108112,"temperature":0.7,"pith_summary":"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.","feed_headline":"Periodic break points are the exact test for rigid rotation","feed_subtitle":"In piecewise linear circle maps, this finite check also forces linear rotation-number scaling nearby.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Provides the standard lift formalism and rotation-number facts used throughout the proofs.","marker":"[6]"},{"why":"Introduces the two-branch PWL family that serves as the paper's first worked example.","marker":"[11]"},{"why":"Establishes the irrational-rotation PWL compensation criteria that Theorem 2.2 extends to rational rotation numbers.","marker":"[14]"},{"why":"Supplies the piecewise-C1 conjugacy result for PWL maps with irrational rotation number that motivates the rational PWL conjugacy statement.","marker":"[2]"},{"why":"Gives the well-ordered property of periodic orbits used in Lemma 3.1 to place one point of each other break-point orbit in a fundamental arc.","marker":"[16]"},{"why":"Provides the mode-locking lemma and the invariant-measure transfer argument used in Theorem 2.5 and Corollary 5.1.","marker":"[17]"},{"why":"Defines the two-branch affine family with break points on the same orbit and an explicit rotation-number formula used to illustrate the family results.","marker":"[5]"},{"why":"Supplies the four-branch refraction model and its symmetries, used as the second example where conjugacy is codimension one.","marker":"[10]"},{"why":"Uses a similar separation into singular and laminar regions for invariant measures, cited as the strategy behind the scaling proof.","marker":"[18]"}],"fun_headline_variants":["Break points on periodic orbits force rigid conjugacy","Exact rigidity: periodic break points, no mode locking","PWL circle maps: periodic break points = rigid rotation","Rational rigidity test: break points all periodic","Periodic break points: the sole rigidity condition"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Break points on periodic orbits force rigid conjugacy","Exact rigidity: periodic break points, no mode locking","PWL circle maps: periodic break points = rigid rotation","Rational rigidity test: break points all periodic","Periodic break points: the sole rigidity condition"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000165,"raw_usage":{"total_tokens":1252,"prompt_tokens":952,"completion_tokens":300,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":568,"completion_tokens_details":{"reasoning_tokens":226}},"tokens_in":568,"tokens_out":300,"duration_ms":3787,"temperature":1.0,"reasoning_tokens":226,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:13:14.246692+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Devaney An Introduction to Chaotic Dynamical Systems","cited_arxiv_id":null,"evidence_quote":"Provides the standard lift formalism and rotation-number facts used throughout the proofs."},{"cited_title":"Herman (1979) Sur la conjugaison diff´ erentiable des diff´ eom orphismes du cercle ` a des rotations, IHES Publ","cited_arxiv_id":null,"evidence_quote":"Introduces the two-branch PWL family that serves as the paper's first worked example."},{"cited_title":"Adouani and H","cited_arxiv_id":null,"evidence_quote":"Supplies the piecewise-C1 conjugacy result for PWL maps with irrational rotation number that motivates the rational PWL conjugacy statement."},{"cited_title":"Mackay and C","cited_arxiv_id":null,"evidence_quote":"Gives the well-ordered property of periodic orbits used in Lemma 3.1 to place one point of each other break-point orbit in a fundamental arc."},{"cited_title":"de Melo and S","cited_arxiv_id":null,"evidence_quote":"Provides the mode-locking lemma and the invariant-measure transfer argument used in Theorem 2.5 and Corollary 5.1."},{"cited_title":"Coelho, A","cited_arxiv_id":null,"evidence_quote":"Defines the two-branch affine family with break points on the same orbit and an explicit rotation-number formula used to illustrate the family results."},{"cited_title":"Glendinning, S","cited_arxiv_id":null,"evidence_quote":"Supplies the four-branch refraction model and its symmetries, used as the second example where conjugacy is codimension one."}],"review_version":1}