Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

A Priori Bounds for H\'enon-like Renormalization

T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Pith's one-line read This paper proves that for a $C^6$ Hénon-like map with nested regular returns of bounded combinatorics, the distortion of each return $F^{R_n}$ along every genuine horizontal arc is uniformly bounded, independently of depth.

desk verdict Important claimed proof of 2D a priori bounds, well structured but resting on an unproved Proposition 4.6 from a companion paper with a real circularity risk. read the letter →

arxiv 2411.13624 v1 pith:NDEO3FNL submitted 2024-11-20 math.DS

classification math.DS MSC 37E2037D1037D25
keywords aprioriboundsHénon-likemapsrenormalizationboundedcombinatorics1D-likereductionKoebedistortioncriticalvalueprecompactness
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 proves a two-dimensional analogue of the a priori bounds that underlie one-dimensional renormalization theory. For a $C^6$ Hénon-like map that has arbitrarily many nested regular renormalizations with bounded combinatorics, the distortion of the return map $F^{R_n}$ along any genuine horizontal arc in the $n$th renormalization domain is bounded by a constant that does not depend on $n$. The proof shows that the dynamics near the critical value reduces to a one-dimensional mapping scheme, so the classical Koebe distortion principle applies at every scale. If the result is correct, the sequence of one-dimensional profiles of deep renormalizations is precompact in the $C^1$ topology and each profile decomposes as $(\phi_n)^2 + a_n$, the uniform geometric control needed for renormalization convergence and universality.

What carries the argument

The mechanism is the 1D-like reduction. Around the critical value $v_0$, the vertical foliations carried by the straightening charts converge super-exponentially fast to the strong-stable foliation, while images of horizontal arcs lie super-exponentially close to the center manifold; because the two manifolds are quadratically tangent, projecting a center-manifold arc back to a horizontal leaf acts like a one-dimensional quadratic map near its critical point. The paper builds valuable charts $\Phi_0$ and $\Phi_{-1}$ in which the map has the normal form $\Phi_0 \circ F \circ \Phi_{-1}^{-1}(x,y) = (f_0(x) - \lambda y, x)$ with $f_0$ a quadratic map, and defines projection maps $P^n_0$ and $P^n_{-1}$ that commute with the return on horizontal curves. These projections weave the 2D orbit into a 1D scheme whose building blocks are $C^2$ diffeomorphisms with bounded norm and power maps $x \mapsto x^2 + a$; on that scheme the Denjoy lemma, the negative-Schwarzian cross-ratio estimates, and the Koebe distortion theorem deliver the uniform bound.

What would settle it

Compute $\mathrm{Dis}(F^{R_n}, \gamma_n)$ along horizontal leaves for a numerically produced infinitely renormalizable Hénon map with bounded combinatorics and check whether the ratio stays below the universal constant of Theorem 6.5 at every depth; any depth with unbounded ratio refutes the Main Theorem. A cheaper test targets the input: inspect a twice non-trivially renormalizable bounded-type return and check whether the boxes $B^{n+s}_{kR_n}$ are pairwise disjoint and ordered as in Definition 4.5, since an overlap or reversed order contradicts Proposition 4.6 and cuts off the 1D reduction.

Watch

Extended reading notes

Core claim

The central claim is the Main Theorem: for a $C^6$ Hénon-like map $F : B \to B$ with $N$ nested $(L, \varepsilon, \lambda)$-regular Hénon-like returns of bounded type, the quantity $\mathrm{Dis}(F^{R_n}, \gamma_n)$ is uniformly bounded for every genuine horizontal arc $\gamma_n \subset B_n$, with a bound depending only on the data in (3.2) and (4.3), not on $n$ or $N$. The proof locates a unique critical value $v_0$ in the intersection of all renormalization boxes, shows its strong-stable and center manifolds have a quadratic tangency, and then uses projections along nearly stable foliations to convert the two-dimensional return into a one-dimensional composition of diffeomorphisms and quadratic maps. From this, the paper derives that in the infinitely renormalizable case the 1D profiles $f_n := \Pi_{1D}(R^n(F))$ split as $f_n(x) = (\phi_n(x))^2 + a_n$ with uniformly controlled $C^2$ diffeomorphisms $\phi_n$, and hence the sequence $\{f_n\}$ is precompact in the $C^1$ topology.

Load-bearing premise

The proof stands on the imported fact that every twice non-trivially renormalizable Hénon-like return of bounded type arranges its periodic boxes in the disjoint, ordered one-dimensional pattern of Definition 4.5, since without that ordering the projections cannot be woven into a one-dimensional scheme and the Koebe distortion argument does not start.

Editorial extensions

If this is right

  • An infinitely renormalizable Hénon-like map satisfying the theorem has one-dimensional profiles $\{f_n\}$ that form a precompact family in the $C^1$ topology, so every sequence of renormalizations has $C^1$-convergent subsequences.
  • Each profile admits the decomposition $f_n(x) = (\phi_n(x))^2 + a_n$ with $\phi_n$ a $C^2$ diffeomorphism and $a_n$ a real constant, meaning deep renormalizations are uniformly quadratic in shape.
  • The uniform bound depends only on finite geometric data and the regularity parameters, not on the depth $n$, so control at one finite scale propagates to all deeper scales.
  • The companion sequel [Y] uses these bounds to prove renormalization convergence, finite-time checkability of the regularity hypotheses, and regular unicriticality of the dynamics, opening a route to computer-assisted parameter searches in the Hénon family.

Reading between the lines

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

  • Editorial inference: the uniformity in $n$ suggests that the renormalization operator acts on a compact set of Hénon-like maps once the a priori bound is in place; renormalization convergence would then follow if one can show that this operator has no nontrivial periodic orbits on that compact set.
  • Editorial inference: the $C^6$ hypothesis is tied to Lemma 6.1's quadratic-coercion estimate, which uses three degrees of smoothness beyond $C^2$; a sharper version of that estimate would likely lower the regularity threshold.
  • Editorial inference: the imported 1D-like structure of depth 2 is a combinatorial property that could be checked directly in the Hénon family for bounded-type combinatorics with return-time ratios at least 3, and a numerical violation would pinpoint exactly where the Koebe step breaks.
  • Editorial inference: the projection mechanism will not transplant to area-preserving Hénon renormalization, where no distinguished critical value with a strong-stable foliation exists to play the role of $v_0$.
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.

Referee Report

3 major / 5 minor

Summary. The paper proves a priori bounds for renormalizable Hénon-like maps: under C^6 regularity, nested regular Hénon-like returns, and bounded-type combinatorics, the distortion of the return map F^{R_n} along each genuine horizontal arc γ_n in the n-th renormalization domain is uniformly bounded independently of n. The strategy is to use quantitative Pesin theory from companion papers to construct a critical value with a strong-stable/center tangency, then to project the planar dynamics onto a one-dimensional quadratic-like scheme, where Denjoy and Koebe distortion estimates apply. The authors state as a consequence that the sequence of one-dimensional profiles of infinitely renormalizable maps is precompact in the C^1 topology.

Significance. If correct, the result is a significant step toward a non-perturbative two-dimensional renormalization theory for Hénon-like maps, and it provides a concrete path to renormalization convergence and finite-time checkability in the sequel. The manuscript is carefully structured and internally consistent in its main body, and it makes the dependence on finite geometric data explicit in the uniform constant (Remark 1.2, (3.2), (4.3)). A serious caveat is that the proof is not self-contained: the load-bearing structural statement Proposition 4.6 is quoted verbatim from the companion preprint [Y, Proposition 6.5], and the quantitative Pesin tools in Appendix A are imported from [CLPY1]/[CLPY2]. Because [Y] is announced as a sequel that uses the main theorem of this paper, the independence of Proposition 4.6 from the a priori bounds is not documented, and the central claim is therefore conditional on an external result whose status is not established in the manuscript.

major comments (3)
  1. [Section 4.3, Proposition 4.6] Proposition 4.6 is the single most load-bearing input of the paper, but it is not proved here; it is quoted as [Y, Proposition 6.5]. It is used in Lemmas 4.7, 6.2, 6.10, 6.13, 6.14, 6.17, and 6.19 to obtain the disjointness of the periodic boxes and the ordering of critical-value projections that are necessary to start the one-dimensional reduction. The text states in the introduction and abstract that [Y] is a sequel whose main results use the a priori bounds of this paper. The manuscript does not rule out that [Y, Proposition 6.5] itself depends on those a priori bounds, which would make the Main Theorem circular. Please either prove Proposition 4.6 in this manuscript or give a precise statement together with a documented argument that it is independent of the present theorem; without such an argument the Koebe distortion step cannot be initialized.
  2. [Section 4.3 and Section 6, opening] There is an index inconsistency in the formulation and use of the depth-2 structure. Definition 4.5 defines '1D-like structure of depth s' for the return (F^{R_n}, Ψ_n), using the boxes of period R_{n+s}; Proposition 4.6 is then stated as 'for m = n-s with s = O(1), the Hénon-like return (F^{R_m}, Ψ_m) has 1D-like structure of depth s', which mixes the two index conventions. In addition, Section 6 assumes that F^{R_N}|B_N^0 is twice non-trivially topologically renormalizable even when N is finite, although the Main Theorem allows N ∈ N ∪ {∞} and a finite N has no deeper renormalization to supply the required depth-2 structure. Please rewrite Proposition 4.6 with explicit indices and state explicitly how the last two renormalization levels are handled in the finite-N case.
  3. [Section 6.2, Corollary 6.6 and Main Theorem] The text says that Corollary 6.6 'immediately implies the Main Theorem', but Theorem 6.5 and Corollary 6.6 are stated and proved only for the central horizontal leaf I^n_0, while the Main Theorem asserts the distortion bound for every genuine horizontal arc γ_n contained in B_n. No lemma in the text explains why an arbitrary genuine horizontal arc can be reduced to I^n_0 with only uniformly bounded factors (for example via the uniform C^r bounds of the straightening charts and uniform transversality of the vertical foliation). Please provide this reduction explicitly, or state and prove the general-arc version of Theorem 6.5.
minor comments (5)
  1. [Section 1.3] The notations ¯η and η are useful but potentially confusing; a short table or an explicit collection of the allowed constants C, D in each case would improve readability.
  2. [Section 5, proof of Theorem 5.1] The line 'Y_i ∩ Y_0 = ∅ for i ∈ N' should be quantified as 'for every i ≥ 1', since i = 0 is trivially an intersection with itself.
  3. [Section 6, after (4.4)] After (4.4), the notation B^n_0 is redefined as the adjusted box V^n_{[v0,v_{Rn}]}(λ^{¯ε Rn}), while the original renormalization domain in (1.2) is also denoted B_n. The two notions are used interchangeably in the proof; please distinguish them notationally.
  4. [Proposition 4.6] The expression 's = O(1)' is informal and should be replaced by an explicit finite bound; in the actual proof only s ∈ {1,2} is used, and the statement should say so.
  5. [Section 6 and Main Theorem] The Main Theorem assumes C^6 smoothness, while Theorem 6.5 is stated with ∥DF∥_{C^5} and uses C^{r+4} with r ≥ 2; the consistency is presumably r = 2, but this should be stated explicitly where the regularity parameter r is set.

Circularity Check

1 steps flagged · score 4.0 of 10

The Main Theorem's 1D reduction is initialized by Proposition 4.6, imported from the same-author sequel [Y] without proof of independence from the a priori bounds; this is a load-bearing self-citation, though not a by-construction fit.

  1. self citation load bearing [Section 4.3, Proposition 4.6 and the following paragraph (Eq. (4.4)); used again in Section 6, opening assumption]
    "Proposition 4.6. [Y, Proposition 6.5] Let n0 ≤ n ≤ N . Suppose that F Rn|Bn 0 is twice non-trivially topological renormalizable with combinatorics of b-bounded type. Then for m = n − s with s = O(1), the Hénon-like return (F Rm, Ψm) has 1D-like structure of depth s. In particular, ˆBn,0 0 is Rn-periodic. ... By Proposition 4.6, we may henceforth assume without loss of generality that for all n0 ≤ n ≤ N such that F Rn|Bn 0 is twice non-trivially renormalizable, we have Bn 0 := ˆBn,0 0 := V n [v0,vRn ](λ¯εRn)."

    The Main Theorem's proof needs the 1D-like structure of depth 2: pairwise disjoint periodic boxes and the ordering of the critical-value projections. That structure is not proved here; it is imported verbatim as [Y, Proposition 6.5]. The same statement is then used to set up the Denjoy/Koebe argument in Lemmas 4.7, 6.2, 6.10, 6.13, 6.14, 6.17, and 6.19, and it is re-assumed at the start of Section 6. The reference [Y] is announced as the sequel whose main results use the a priori bounds proved in this paper. The manuscript therefore does not establish that [Y, Proposition 6.5] is independent of the Main Theorem.

full rationale

No fitting or by-construction reduction of the main distortion estimate to its inputs occurs. The proof is a genuine 2D-to-1D reduction using regular Hénon-like returns, valuable charts, quantitative Pesin linearizations, and a Koebe/Denjoy argument; the Main Theorem is not equivalent to any fitted parameter. The quantitative Pesin results imported from [CLPY1]/[CLPY2] are prior-work theorems and there is no textual indication that they depend on the a priori bounds of this paper, so I do not count them as circular. The one load-bearing circularity risk is Proposition 4.6, imported from [Y, Proposition 6.5]. It is a nontrivial structural assertion about disjointness and ordering of renormalization boxes at depth 2, it is not proved in this manuscript, and it is essential: without it, Lemmas 4.7, 6.2, 6.10, 6.13, 6.14, 6.17, and 6.19 cannot be initialized and the Koebe distortion argument cannot start. Because [Y] is described as the sequel whose main results use the a priori bounds, the independence of [Y, Proposition 6.5] from the Main Theorem is not demonstrated. This is a same-author load-bearing citation rather than an externally verified theorem, so the appropriate score is 4: the central claim still has substantial independent content, but a key premise rests on an unproved cross-paper dependency.

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

No fitted parameters appear in this pure mathematics paper. The constants L, epsilon, lambda, b, and the finite data in (3.2) and (4.3) are hypotheses or bounds, not tuned to achieve the conclusion. The paper defines the critical value v0, valuable charts, and projections, but these are explicit mathematical constructions, not new postulated entities requiring independent empirical evidence. The main unstated inputs are the companion theorems listed as axioms.

assumptions (6)
  • domain assumption Nested (L, epsilon, lambda)-regular Hénon-like returns exist (Definition 2.1).
    Central hypothesis of the Main Theorem; includes forward/backward regularity and angle bounds for every point of B_n.
  • domain assumption Combinatorics is of b-bounded type with b >= 3 and r_n = R_{n+1}/R_n >= 3 after passing to every other return.
    Needed for the bounded-type estimates and for the Denjoy disjointness configuration; stated in Section 6.
  • domain assumption The return F^{R_n}|B_n^0 is twice non-trivially topologically renormalizable, so Proposition 4.6 supplies 1D-like structure of depth 2.
    Assumed at the end of Section 6 before the proof of Theorem 6.5; for infinite renormalization this follows from the standing assumption.
  • ad hoc to paper Proposition 4.6 ([Y, Proposition 6.5]) is true and independent of the present main theorem.
    The 1D-like structure is imported from the companion preprint [Y]; without it the 1D reduction collapses.
  • domain assumption Quantitative Pesin theorems from [CLPY1, CLPY2] are true, including regular charts, graph transforms, and stable/center manifolds.
    Used repeatedly, in particular in Propositions 3.2, 3.4, Theorem 3.5, and Lemmas 6.1 and 6.12.
  • standard math Classical Koebe distortion and Denjoy lemmas for one-dimensional maps.
    Appendix B states them, and they are applied in Sections 5 and 6.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Priori Bounds for H\'enon-like Renormalization." pith.science (2026). https://pith.science/paper/NDEO3FNL

@misc{pith2026241113624,
  author       = {Pith},
  title        = {Pith review of: A Priori Bounds for H\'enon-like Renormalization},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NDEO3FNL}},
  note         = {Machine review of arXiv:2411.13624}
}
abstract

We formulate and prove $\textit{a priori}$ bounds for the renormalization of H\'enon-like maps (under certain regularity assumptions). This provides a certain uniform control on the small-scale geometry of the dynamics, and ensures pre-compactness of the renormalization sequence. In a sequel to this paper, a priori bounds are used in the proof of the main results, including renormalization convergence, finite-time checkability of the required regularity conditions and regular unicriticality of the dynamics.

Figures

Figures reproduced from arXiv: 2411.13624 by the authors.

Figure 1
Figure 1. H´enon-like mapping. We say that F is H´enon-like renormalizable if there is a subdomain B 1 ⋐ B that is R-periodic: F i (B 1 ) ∩ B1 = ∅, when 1 ≤ i < R and F R (B 1 ) ⋐ B 1 , and the return map F R|B1 is again H´enon-like after a smooth change-of-coordinates Φ : B 1 → B1 , referred to as a straightening chart, that preserve the genuine horizontal foliation. In this case, the pair (F R, Φ) is referred to as a H´enon… view at source ↗
Figure 2
Figure 2. H´enon-like renormalization. such that for 1 ≤ n ≤ N, the set B n is an Rn-periodic Jordan domain. If there exists b ≥ 2 such that rn−1 := Rn/Rn−1 ≤ b for all 1 ≤ n ≤ N, then we say that the combinatorics of renormalization for F is of (b-)bounded type. Suppose for 1 ≤ n ≤ N, there exists a straightening chart Ψn : B n → Bn such that (F Rn , Ψn ) is a H´enon-like return. Then the sequence {(F Rn , Ψ n : B n → B n )}… view at source ↗
Figure 3
Figure 3. The critical value v0 of an infinitely regularly H´enon-like renormalizable map F. By replacing F with F n0 , we can assume that n0 = 0. Then by applying the projections P m for 0 ≤ m < n, we can confine the orbit of I n under F to the fixed one-dimensional curve I 0 . This reduces the 2D dynamics of F on B = B 0 to the 1D mapping scheme on I 0 that gives the transitions from one projected iterated image of I n to a… view at source ↗
Figures from the paper (7 more)
Figure 4
Figure 4. Figure 4: Geometry near the critical value v0 and the critical point v−1 (if N = ∞). For n ≥ n0, we have v0 ∈ Bˆn 0 ⊂ B0 and v−1 ∈ Bˆn Rn−1 ⊂ B−1. There exist charts Φ0 : B0 → B0 and Φ−1 : B−1 → B−1 such that Φ0 ◦ F ◦ Φ−1 is H´enon-like (see (3.7)). The charts Ψn converges to Φ0…
Figure 5
Figure 5. Figure 5: Projections P n 0 : Bˆn 0 → In 0 and P n −1 : Bˆn Rn−1 → In Rn−1 near the critical value v0 and critical point v−1 respectively. On any horizontal curve Γ0 ⊂ Bˆn 0 , the iterate F Rn−1 commutes with these projections. 4.2. Passing near the critical value. Let K0 ≥ 1 be…
Figure 6
Figure 6. Figure 6: The 1D-like structure of depth 1 of (F Rn , Ψn ) for n ≥ n0 (for rn := Rn+1/Rn = 3). The Rn+1-periodic domains Bˆn,1 0 , Bˆn,1 Rn and Bˆn,1 2Rn containing v0, vRn and v2Rn respectively are vertically proper and pairwise disjoint in Bˆn 0 . Moreover, F Rn (Bˆn,1 kRn ) ⋐…
Figure 7
Figure 7. Figure 7: The pairwise disjointedness of the collection of images {J n i } Rn−1 i=0 of I n 0 under Hˆ i relies on the 1D combinatorial structures of the renormalizations of the 2D map F established in Section 4.3. See [PITH_FULL_IMAGE:figures/full_fig_p024_7.png]
Figure 7
Figure 7. Figure 7: Visualization of the map H n0 i for 0 ≤ i < Rn0+1 acting on the horizontal curve I n0+1 0 ⊂ In0 0 (for rn0 := Rn0+1/Rn0 = 3). The orbit of I n0+1 0 makes returns to B n0 0 ∋ v0 under F kRn for 0 ≤ k < rn0 . At these moments, the projection map P n0 0 is applied to I n0…
Figure 8
Figure 8. Figure 8: Arcs J n i := Hˆ i(I n 0 ) with 0 ≤ i < Rn that are contained in I m 0 for some m < n. For 0 ≤ k < rm+1, we have J n kRm+1 ⊂ Im+1 0 . For 2 ≤ l < rm, we have J n kRm+1+lRm = P m 0 ◦ F Rm(J n kRm+1 ). Lemma 6.10. For s ∈ {1, 2}; n0 ≤ n ≤ N − s and 1 < k < Rn+s/Rn, we ha…
Figure 9
Figure 9. Figure 9: Illustration of the relations between Γ0 = Γ1[+l], Γ1 = Γ0[−l], Γ0{−l} = Γ2 = Γ1{+l} (above); and Γ3 and Γ4 = Γ3{∼ l} (below). Let n0 < n ≤ N, and consider the collection of arcs {J n i } Rn−1 i=0 . By Lemma 6.9 and Lemma 6.10, for 2Rn0 ≤ i < Rn, there exist unique num…

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. Generalized hyperbolicity for diffeomorphisms of Banach spaces

    math.DS 2025-10 conditional novelty 7.0 of 10

    A generalized, possibly discontinuous version of hyperbolicity is shown to imply Lipschitz shadowing, periodic-point density, and C^1-robustness for diffeomorphisms of Banach spaces.

Reference graph

Works this paper leans on

44 extracted references · 42 canonical work pages · cited by 1 Pith paper

  1. [1]

    On the dynamics of the renormalization operator

    Avila, A., de Melo, W., Martens, M. On the dynamics of the renormalization operator . Global analysis of dynamical systems, Inst. Phys., Bristol, 449-460 (2001)

  2. [2]

    Benedicks, L

    M. Benedicks, L. Carleson. On dynamics of the H\'enon map , Ann. Math. 133:73-169 (1991)

  3. [3]

    Newhouse Laminations

    M. Benedicks, M. Martens, L. Palmisano. Newhouse Laminations , (2018), arXiv:1811.00617

  4. [4]

    Berger, Strong regularity

    P. Berger, Strong regularity. Abundance of non-uniformly hyperbolic H\'enon-like endomorphisms. Asterisk 410, 53 - 177

  5. [5]

    J. P. Boro\'nski, S. S timac. The pruning front conjecture, folding patterns and classification of H\'enon maps in the presence of strange attractors , (2023), arXiv:2302.12568

  6. [6]

    Renormalization of Unicritical Diffeomorphisms of the Disk

    S. Crovisier, M. Lyubich, E. Pujals, J. Yang. Renormalization of Unicritical Diffeomorphisms of the Disk , (2024), arXiv:2401.13559

  7. [7]

    Crovisier, M

    S. Crovisier, M. Lyubich, E. Pujals, J. Yang. Quantitative Pesin Theory in Dimension Two , (2024), Preprint available at https://user.math.uzh.ch/yang/

  8. [8]

    Mildly dissipative diffeomorphisms of the disk with zero entropy

    S. Crovisier, E. Pujals, C. Tresser. Mildly dissipative diffeomorphisms of the disk with zero entropy , (2020), arXiv:2005.14278

Show all 44 references
  1. [9]

    Collet, J

    P. Collet, J. -P. Eckmann, H. Koch. Period doubling bifurcations for families of maps on ^n . J. Stat. Phys. (1980)

  2. [10]

    Coullet, C

    P. Coullet, C. Tresser. It\'erations d'endomorphismes et groupe de renormalisation . J. Phys. Colloque C 539, C5-25 (1978)

  3. [11]

    De Carvalho, M

    A. De Carvalho, M. Lyubich, M. Martens, Renormalization in the H\'enon Family, I: Universality but Non-Rigidity , J. Stat. Phys. (2006) 121 5/6, 611-669

  4. [12]

    de Faria

    E. de Faria. Asymptotic rigidity of scaling ratios for critical circle mappings . Ergod. Th. & Dynam. Sys. 19(4), 995--1035 (1999)

  5. [13]

    de Faria, W

    E. de Faria, W. de Melo, A. Pinto. Global Hyperbolicity of Renormalization for C^r Unimodal Mappings . Ann. of Math., 164 (2006), 731-824

  6. [14]

    de Melo, S

    W. de Melo, S. J. Van Strien, One-Dimensional Dynamics , Springer-Verlag, New York, Heidelberg, Berlin, (1993)

  7. [15]

    Dudko, M

    D. Dudko, M. Lyubich. Uniform a priori bounds for neutral renormalization . (2022) Preprint: arXiv:2210.09280

  8. [16]

    Dudko, M

    D. Dudko, M. Lyubich. MLC at Feigenbaum points . (2023) Preprint: arXiv:2309.02107

  9. [17]

    M. J. Feigenbaum. Quantitative universality for a class of nonlinear transformations , J. Statist. Phys. 19 (1978), 25–52

  10. [18]

    Gaidashev, T

    D. Gaidashev, T. Johnson, M. Martens, Rigidity for infinitely renormalizable area-preserving maps , Duke Math. J. 165(1) (2016)

  11. [19]

    Gambaudo, C

    J.-M. Gambaudo, C. Tresser. (1991). How Horseshoes are Created , In: Tirapegui, E., Zeller, W. (eds) Instabilities and Nonequilibrium Structures III. Mathematics and Its Applications, vol 64. Springer

  12. [20]

    Gambaudo, S

    J.-M. Gambaudo, S. van Strien, C. Tresser. H\'enon-like maps with strange attractors: There exist C^ Kupka-Smale diffeomorphisms on S^2 with neither sinks nor sources , Nonlinearity 2:287-304 (1989)

  13. [21]

    Goncharuk, M

    N. Goncharuk, M. Yampolsky. Analytic linearization of conformal maps of the annulus . Advances in Mathematics, Volume 409, Part A, 2022

  14. [22]

    Guckenheimer

    J. Guckenheimer. Sensitive dependence to initial conditions for one-dimensional maps . Comm. Math. Phys., v. 70 (1979), 133--160

  15. [23]

    Inou and M

    H. Inou and M. Shishikura. The renormalization for parabolic fixed points and their perturbations . Manuscript 2008

  16. [24]

    P. E. Hazard, H\'enon-like maps with arbitrary stationary combinatorics , Ergodic Theory Dynam. Systems 31 (2011), no. 5, 1391-1443

  17. [25]

    M. H\'enon. A two dimensional mapping with a strange attractor , Comm. Math. Phys. 50 (1976), 69-77

  18. [26]

    Herman, Sur la conjugaison diff\'erentiable des diff\'eomorphismes du cercle \`a des rotations

    M. Herman, Sur la conjugaison diff\'erentiable des diff\'eomorphismes du cercle \`a des rotations . IHES Publ. Math. 49, 5--233 (1979)

  19. [27]

    M. Herman. Conjugaison quasi symm\'etrique des diff\'eomorphisms du cercle \`a des rotations et applications aux disques singuliers de Siegel . Manuscript (1986)

  20. [28]

    Kahn and M

    J. Kahn and M. Lyubich. A priori bounds for some infinitely renormalizable quadratics: II. Decorations . Ann. Scient. Ec. Norm. Sup., v. 41 (2008), 57--84

  21. [29]

    M. Lyubich. Feigenbaum-Coullet-Tresser universality and Milnor's hairiness conjecture , Ann. of Math. 149 (1999), 319-420

  22. [30]

    M. Lyubich. The quadratic family as a qualitatively solvable model of chaos , Notices Amer. Math. Soc., 47(9):1042–1052, 2000

  23. [31]

    M. Lyubich. Dynamics of quadratic polynomials, I-II . Acta Math., v. 178 (1997), 185--297

  24. [32]

    Lyubich, M

    M. Lyubich, M. Yampolsky, Dynamics of quadratic polynomials: complex bounds for real maps . Annals of the Fourier Institute (1997), Volume: 47, Issue: 4, page 1219-1255

  25. [33]

    McMullen, Self-similarity of Siegel disks and Hausdorff dimension of Julia sets , Acta Math

    C. McMullen, Self-similarity of Siegel disks and Hausdorff dimension of Julia sets , Acta Math. 180 (1998), 247-292

  26. [34]

    Milnor, W

    J. Milnor, W. Thurston. On iterated maps of the interval . In Dynamical systems (College Park, MD, 1986–87), volume 1342 of Lecture Notes in Math., pages 465–563. Springer, Berlin, 1988

  27. [35]

    Palis and J.C

    J. Palis and J.C. Yoccoz. Non-uniformly hyperbolic horseshoes arising from bifurcations of Poincar\'e heteroclinic cycles. Publ. Math. Inst. Hautes Etudes Sci., (110):1-217, 2009

  28. [36]

    C. Pugh, M. Shub. Ergodic Attractors . Transactions of the American Mathematical Society, Vol. 312, No. 1 (Mar., 1989), pp. 1-54

  29. [37]

    Sullivan, Bounds, quadratic differentials, and renormalization conjectures , AMS Centennial Publications II, Mathematics into Twenty-first Century, 417-466, 1992

    D. Sullivan, Bounds, quadratic differentials, and renormalization conjectures , AMS Centennial Publications II, Mathematics into Twenty-first Century, 417-466, 1992

  30. [38]

    G. Swiatek. On critical circle homeomorphisms . Bol. Soc. Bras. Mat., v. 29 (1998), 329--351

  31. [39]

    Wang,and L-S

    Q. Wang,and L-S. Young, Toward a theory of rank one attractors. Ann. of Math. (2) 167 (2008), no.2, 349–480

  32. [40]

    Complex bounds for renormalization of critical circle maps

    Yampolsky, M. Complex bounds for renormalization of critical circle maps . Erg. Th. & Dyn. Systems 19, 227--257 (1999)

  33. [41]

    J. Yang. On Regular H\'enon-like Renormalization , (2024), Preprint available at https://user.math.uzh.ch/yang/

  34. [42]

    Yoccoz, Th\'eor\`eme de Siegel, nombres de Bruno et polyn\^omes quadratiques

    J.-C. Yoccoz, Th\'eor\`eme de Siegel, nombres de Bruno et polyn\^omes quadratiques . Ast\'erisque 231, 3--88 (1995)

  35. [43]

    McMullen

    C. McMullen. Renormalization and 3-Manifolds Which Fiber over the Circle (AM-142). Princeton University Press, 1996

  36. [44]

    *0eʔ @ ƍ W#! K`ر L6] @ @ @8 ͸A ! Q@bz& @ @ @v ̚5˞7|s P

    D. Sullivan, Bounds, quadratic differentials, and renormalization conjectures , AMS Centennial Publications II, Mathematics into Twenty-first Century, 417-466, 1992. proj.pdf0000664000000000000000000037425014717356420011247 0ustar rootroot 3 0 obj << /Filter /FlateDecode /Leng...

Pith tools

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