Rotation domains for maps of bounded type

Michael Yampolsky; Nataliya Goncharuk

arxiv: 2605.20376 · v1 · pith:436LDFYPnew · submitted 2026-05-19 · 🧮 math.DS

Rotation domains for maps of bounded type

Nataliya Goncharuk , Michael Yampolsky This is my paper

Pith reviewed 2026-05-21 06:54 UTC · model grok-4.3

classification 🧮 math.DS

keywords renormalization operatorstable foliationKAM linearizationHerman ringscomplex dynamicsrotation domainsbounded type maps

0 comments

The pith

KAM-type linearization theorems follow directly from the stable foliation of a renormalization operator.

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

The paper introduces a method to obtain KAM-type linearization theorems almost immediately from the existence of the stable foliation for a renormalization operator. It demonstrates this with examples in complex dynamics, beginning with a version of Arnol'd's theorem and concluding with persistence of Herman rings for families of two-dimensional maps. A reader would care because the approach reduces the usual technical overhead in proving such results. The illustrations span one and several complex variables and focus on rotation domains.

Core claim

The authors claim that KAM-type linearization theorems can be derived directly and almost immediately from the existence of the stable foliation for a renormalization operator, and they illustrate the method with a version of Arnol'd's theorem plus a result on persistence of Herman rings in two-dimensional maps.

What carries the argument

The stable foliation for the renormalization operator, from which linearization results are obtained directly.

If this is right

A version of Arnol'd's classical theorem follows immediately.
Herman rings persist in families of two-dimensional maps.
The method applies across one- and several-complex-variable settings.
Rotation domains for maps of bounded type can be treated by the same direct route.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same foliation-based shortcut may apply to other renormalization operators whose stable manifolds are already known.
Proofs of linearizability for circle diffeomorphisms or holomorphic maps could shorten once the foliation is established.
The approach might extend to real-analytic or smooth categories if the corresponding foliations are constructed.

Load-bearing premise

The stable foliation for the renormalization operator exists.

What would settle it

An explicit renormalization operator possessing a stable foliation for which a claimed KAM linearization fails in one of the illustrated cases.

read the original abstract

We present a novel approach for deriving KAM-type linearization theorems directly -- and almost immediately -- from the existence of the stable foliation for a renormalization operator. We give a few illustrations in dynamics in one and several complex variables, starting with a version of the classical theorem of Arnol'd and ending with a result on persistence of Herman rings in families of two-dimensional maps.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper tries to pull KAM linearization out of stable foliations for renormalization operators as a near-corollary, which is a clean reframing if the details check out.

read the letter

The main point here is that Goncharuk and Yampolsky want to treat the existence of a stable foliation for a renormalization operator as the key input, from which linearization theorems for rotation domains follow directly. They sketch this for a version of Arnold's theorem and then for persistence of Herman rings in families of two-dimensional maps of bounded type. That organizing principle around renormalization foliations is the clearest new angle, and it could save some work if the foliation leaves already supply the conjugacy and the invariance takes care of the rotation number conditions without extra steps. The illustrations across one and several complex variables show the idea is meant to apply more broadly than the usual KAM proofs. The approach earns credit for staying inside the renormalization framework that the subfield already uses, rather than starting from scratch with estimates each time. The soft spot is exactly the one the stress-test flags: whether the implication really is immediate. In the Herman ring setting, the stable leaves need to project to invariant curves whose rotation numbers are preserved under the family, and the domain boundaries need to behave without separate transverse analysis or additional Diophantine checks. If the paper only assumes the foliation exists and then claims the rest drops out, that step still requires explicit verification that no auxiliary estimates on domains or rotation numbers are being smuggled in. The math looks formally set up in the usual way for this area, with no obvious circularity or invented entities. This is for readers who already work with renormalization in complex dynamics and know the classical statements. Someone outside that circle would get less from the illustrations. A serious referee should see it to check whether the foliation-to-linearization step holds without hidden work. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript proposes a novel method for obtaining KAM-type linearization theorems, including a version of Arnold's theorem and persistence of Herman rings, directly and almost immediately from the existence of a stable foliation for a renormalization operator acting on maps of bounded type in one and several complex variables.

Significance. If the derivation is as direct as claimed, the approach would provide a conceptual unification of linearization results by reducing them to foliation existence within renormalization theory, which is already established for certain classes of maps. This could simplify proofs and extend more readily to higher-dimensional settings, with the paper's strength lying in its explicit illustrations rather than new existence proofs for the foliations themselves.

major comments (2)

[§2] §2, general construction: the assertion that the stable leaves furnish an explicit conjugacy to a rigid rotation (with Diophantine properties following automatically from foliation invariance) is load-bearing for the central claim, yet the argument appears to invoke an auxiliary estimate on the transverse dynamics and domain boundaries that is not derived solely from the foliation; this needs to be made fully explicit to confirm the 'almost immediate' implication.
[§5] §5, Herman ring persistence: the projection of stable leaves to invariant curves is claimed to preserve rotation numbers under the family without separate analysis of the map's action transverse to the foliation or boundary behavior; if this step relies on estimates beyond foliation invariance, it undermines the directness of the derivation from the stable foliation alone.

minor comments (2)

[§1] Notation for the renormalization operator and its stable foliation should be introduced with a clear diagram or schematic in §1 to aid readability for readers unfamiliar with the specific bounded-type setting.
A brief comparison table or paragraph contrasting the new approach with classical KAM proofs (e.g., via direct estimates) would clarify the novelty without altering the main argument.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. We respond point by point to the major comments below, clarifying the derivations and indicating the changes made in the revised version.

read point-by-point responses

Referee: [§2] §2, general construction: the assertion that the stable leaves furnish an explicit conjugacy to a rigid rotation (with Diophantine properties following automatically from foliation invariance) is load-bearing for the central claim, yet the argument appears to invoke an auxiliary estimate on the transverse dynamics and domain boundaries that is not derived solely from the foliation; this needs to be made fully explicit to confirm the 'almost immediate' implication.

Authors: The conjugacy is constructed directly by integrating along the stable leaves of the foliation to the unique invariant section on which the renormalized map acts as a rigid rotation. Diophantine properties are automatic because the foliation is invariant under the renormalization operator, which preserves the rotation number of the base map. The transverse contraction and domain boundary control follow from the definition of the stable foliation via the stable manifold theorem for the renormalization operator on the space of bounded-type maps; no external estimates are introduced. We agree the steps can be stated more explicitly and have inserted a new paragraph at the end of §2 that derives the boundary estimates step by step from foliation invariance alone. revision: yes
Referee: [§5] §5, Herman ring persistence: the projection of stable leaves to invariant curves is claimed to preserve rotation numbers under the family without separate analysis of the map's action transverse to the foliation or boundary behavior; if this step relies on estimates beyond foliation invariance, it undermines the directness of the derivation from the stable foliation alone.

Authors: The projection to the invariant curves is performed along the stable leaves, which are invariant under the family by construction of the foliation for the renormalization operator. Rotation numbers are therefore preserved automatically, as each leaf is mapped to a leaf with the same rotation number. The bounded-type hypothesis ensures that the leaves remain inside the relevant domains, so boundary behavior is controlled by the foliation itself rather than by additional transverse analysis. We have added a short clarifying subsection in the revised §5 that spells out this invariance argument without invoking further estimates. revision: yes

Circularity Check

0 steps flagged

Derivation chain is self-contained; linearization follows from independent foliation assumption without reduction to fitted inputs or self-citations.

full rationale

The paper presents a direct derivation of KAM-type linearization theorems (including Arnol'd and Herman ring persistence) from the existence of a stable foliation for the renormalization operator on maps of bounded type. No equations or steps in the provided description reduce the target results to fitted parameters, self-definitions, or load-bearing self-citations by construction; the foliation existence is treated as an external premise from which conjugacies and domain persistence follow immediately via invariance properties. This satisfies the criteria for a non-circular finding, as the central implication does not embed the conclusion in the inputs or rename known results.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only abstract available; no explicit free parameters, axioms, or invented entities are stated. The central claim rests on the existence of a stable foliation, which may be drawn from prior literature or established separately.

pith-pipeline@v0.9.0 · 5573 in / 1047 out tokens · 34180 ms · 2026-05-21T06:54:34.134352+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We present a novel approach for deriving KAM-type linearization theorems directly – and almost immediately – from the existence of the stable foliation for a renormalization operator.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 2.6 … the hyperbolic set ΛK of the operator Rn has a stable foliation by analytic submanifolds Wα ≡ Ws_loc(Rα) of codimension one.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

Arnol'd, Small denominators

V.I. Arnol'd, Small denominators. I . M apping the circle onto itself , Izv. A kad. N auk S S S R Ser. M at. 25 (1961), 21--86

work page 1961
[2]

Bers and H

L. Bers and H. L. Royden, Holomorphic families of injections, Acta M ath. 157, 259--286

work page
[3]

de Melo and S

W. de Melo and S. van Strien, One-dimensional dynamics, Springer, 1993

work page 1993
[4]

Gaidashev, R

D. Gaidashev, R. Radu, and M. Yampolsky, Renormalization and S iegel disks for complex H \'e non maps , J. E ur. M ath. S oc. 23 (2021), 1053–1073

work page 2021
[5]

Gaidashev and M

D. Gaidashev and M. Yampolsky, Renormalization of almost commuting pairs, Invent. math. 221 (2020), 203–236

work page 2020
[6]

Goncharuk and M

N. Goncharuk and M. Yampolsky, Analytic linearization of conformal maps of the annulus, Advances in Mathematics 409 (2022)

work page 2022
[7]

Khanin and Y

K. Khanin and Y. Sinai, A new proof of M . H erman's theorem. , Commun.Math. Phys. 112 (1987), 89–101

work page 1987
[8]

Risler, Lin\' e arisation des perturbations holomorphes des rotations et applications , M\' e m

E. Risler, Lin\' e arisation des perturbations holomorphes des rotations et applications , M\' e m. Soc. Math. Fr. (N.S.) (1999), no. 77

work page 1999
[9]

Yampolsky, K A M -renormalization and H erman rings for 2 D maps , C

M. Yampolsky, K A M -renormalization and H erman rings for 2 D maps , C . R . M ath. R ep. A cad. S ci. C anada 43 (2021), no. 2, 78--86

work page 2021
[10]

Yoccoz, Analytic linearization of circle diffeomorphisms, Dynamical systems and small divisors ( C etraro, 1998), Lecture Notes in Math., vol

J.-C. Yoccoz, Analytic linearization of circle diffeomorphisms, Dynamical systems and small divisors ( C etraro, 1998), Lecture Notes in Math., vol. 1784, Springer, Berlin, 2002, pp. 125--173

work page 1998

[1] [1]

Arnol'd, Small denominators

V.I. Arnol'd, Small denominators. I . M apping the circle onto itself , Izv. A kad. N auk S S S R Ser. M at. 25 (1961), 21--86

work page 1961

[2] [2]

Bers and H

L. Bers and H. L. Royden, Holomorphic families of injections, Acta M ath. 157, 259--286

work page

[3] [3]

de Melo and S

W. de Melo and S. van Strien, One-dimensional dynamics, Springer, 1993

work page 1993

[4] [4]

Gaidashev, R

D. Gaidashev, R. Radu, and M. Yampolsky, Renormalization and S iegel disks for complex H \'e non maps , J. E ur. M ath. S oc. 23 (2021), 1053–1073

work page 2021

[5] [5]

Gaidashev and M

D. Gaidashev and M. Yampolsky, Renormalization of almost commuting pairs, Invent. math. 221 (2020), 203–236

work page 2020

[6] [6]

Goncharuk and M

N. Goncharuk and M. Yampolsky, Analytic linearization of conformal maps of the annulus, Advances in Mathematics 409 (2022)

work page 2022

[7] [7]

Khanin and Y

K. Khanin and Y. Sinai, A new proof of M . H erman's theorem. , Commun.Math. Phys. 112 (1987), 89–101

work page 1987

[8] [8]

Risler, Lin\' e arisation des perturbations holomorphes des rotations et applications , M\' e m

E. Risler, Lin\' e arisation des perturbations holomorphes des rotations et applications , M\' e m. Soc. Math. Fr. (N.S.) (1999), no. 77

work page 1999

[9] [9]

Yampolsky, K A M -renormalization and H erman rings for 2 D maps , C

M. Yampolsky, K A M -renormalization and H erman rings for 2 D maps , C . R . M ath. R ep. A cad. S ci. C anada 43 (2021), no. 2, 78--86

work page 2021

[10] [10]

Yoccoz, Analytic linearization of circle diffeomorphisms, Dynamical systems and small divisors ( C etraro, 1998), Lecture Notes in Math., vol

J.-C. Yoccoz, Analytic linearization of circle diffeomorphisms, Dynamical systems and small divisors ( C etraro, 1998), Lecture Notes in Math., vol. 1784, Springer, Berlin, 2002, pp. 125--173

work page 1998