{"id":"e8b80936-9f59-4339-966b-8c9c6e4f51ad","arxiv_id":"2411.13286","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For surface diffeomorphisms with regular orbits, explicit inequalities on contraction and domination yield C^r charts that quasi-linearize the dynamics and produce stable and center manifolds with uniformly bounded geometry.","lead":"This paper builds quantitative coordinate systems around arbitrary orbits of two-dimensional maps that have regular contraction and domination behavior, without needing an invariant measure. It provides the technical foundation for the authors' renormalization theory of Hénon-like maps, where a single atypical orbit controls the dynamics.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 6.1's globalization step is unverified: the paper does not show that (6.1) implies the graph-transform hypotheses (4.1)-(4.2) for the rescaled sequence, nor that the claimed C^r bounds survive the full skew-product extension.","rationale":"The reader's weakest-assumption concern focuses on the restrictiveness of the regularity hypotheses; my concern is complementary and more internal: even granting those hypotheses, the proof of Theorem 6.1 rests on an unverified reduction to a bi-infinite sequence of almost-linear maps satisfying the spectral and norm hypotheses of Propositions 4.1 and 4.2. The paper labels key estimates as 'straightforward computations' exactly at this junction, and the displayed chain-rule estimate appears to suppress factors that depend on the derivative order s. This is load-bearing because the stable and center manifold theorems are direct corollaries of Theorem 6.1. The concern is not an accusation of error; the computation may well be correct, but it is precisely the point where an expert check is needed before the conditional verdict can be upgraded. I therefore keep the reader's CONDITIONAL verdict and recommend the specific calculation as the decisive test.","tokens_in":27049,"tokens_out":29560,"duration_ms":307344,"concrete_test":"Re-derive the claim ∥∂^i ˇF_m∥ ≤ ∥∂^iF∥ for the full map, not only the x-component, using Faà di Bruno and the exact normalization Z_m in (6.4); verify it for s = r+1 and for mixed derivatives ∂_x^a ∂_y^b with a+b = s. Independently, compute α_m, β_m from the proof and test the inequalities β_m/α_m^r < 1 and β_m α_m^{r-1} < 1 for both m > 0 and m < 0; if either fails for some (r, ε, λ, ρ) allowed by (6.1), then Theorem 6.1's conclusion does not follow.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main reduction of Theorem 6.1 is the sentence in Section 6.1: 'Thus, the conditions given in (6.1), together with Propositions 4.1 and 4.2 imply...' This sentence is the point where Q-linearization is actually proved. To apply Propositions 4.1 and 4.2 to the sequence {F̃_m}, including the continued tail F̃_m = diag(λ/ρ, λ) for m outside [-M,N], one must verify two things. First, the spectral inequalities of those propositions must hold for every m: after the normalization Z_m, the diagonal entries are the α_m, β_m displayed in Theorem 6.1(ii), and one needs β_m/α_m^r < 1 and β_m α_m^{r-1} < 1 uniformly in sign; the text does not show these follow from (6.1). Second, the local maps ˇF_m must admit global C^{r-1} extensions with uniform norm. The proof asserts ∥∂^i ˇF_m∥ ≤ ∥∂^iF∥ for 2 ≤ s ≤ r+1, but the displayed computation treats only the x-component and suppresses powers of σ_m, hatσ_m, and ∥DF^{-1}∥ that behave differently for s ≥ 3; mixed derivatives and the y-component are not checked. If either verification fails, the invariant graphs g*_m and direction fields ξ*_m that define the charts Ψ_m are not guaranteed, and the central Q-linearization claim has no proof.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a quantitative version of Pesin theory for C^{r+1} surface diffeomorphisms, without assuming a pre-existing invariant measure. For an orbit with prescribed growth and domination constants (L,ε,λ,ρ) along a vertical direction (conditions (5.1)–(5.4)), it constructs, under the parameter restrictions (6.1), C^r charts Φ_m on explicitly sized neighborhoods U_m such that the induced maps F_m are globally defined skew products with controlled derivatives (Theorem 6.1). From this Q-linearization it derives a canonical strong stable manifold with uniform geometry (Theorem 6.13), a canonical jet for center manifolds (Theorem 6.16), and a homogeneity statement for uniquely ergodic partially hyperbolic sets (Section 7).","tokens_in":27378,"tokens_out":21015,"duration_ms":201993,"significance":"Quantitative, measure-free regular neighborhood estimates of this kind are valuable for the renormalization theory of dissipative Hénon-like maps, and the authors are explicit about the companion papers that depend on them. The main construction is natural: projective derivatives build invariant cones, and graph-transform/C^r-section arguments yield invariant graphs and direction fields. The hypotheses are explicit, the constants are tracked, and the results are stated as precise quantitative assertions. I found no circularity: the sequel papers are cited for motivation, not used as inputs. If the gaps in §6.1 are filled, this will be an important reference. As it stands, however, the central proof contains a load-bearing skipped verification.","major_comments":[{"comment":"The sentence 'Thus, the conditions given in (6.1), together with Propositions 4.1 and 4.2 imply...' is the only bridge between the rescaled sequence {F̃_m} and the invariant graphs/direction fields that define the charts Ψ_m. The proof never verifies that {F̃_m} satisfies the hypotheses of Propositions 4.1 and 4.2. In particular, for the diagonal entries α_m, β_m in Theorem 6.1(ii), the domination inequalities β_m/α_m^r < 1 and β_m α_m^{r-1} < 1 are not derived from (6.1); they are only asserted by the word 'Thus.' The same issue applies to the artificially continued tail F̃_m = diag(λ/ρ, λ) for m outside [-M,N], whose corresponding inequalities require separate verification. Since Propositions 4.1 and 4.2 are what produce the sequences {g*_m} and {ξ*_m} used to build Ψ_m, this gap is load-bearing for the Q-linearization claim.","section":"Section 6.1, after Eq. (6.7)"},{"comment":"The claim that ∥∂^i ˇF_m∥ ≤ ∥∂^i F∥ for 2 ≤ s ≤ r+1 is not fully established. The displayed computation bounds only the x-component ˇf_m. The y-component ˇg_m has a different scaling factor, and the estimate for its derivatives must also control powers of κ, σ_m, ^stigma_m, and ρ^{2ε|m|}; the text does not show that these powers yield the claimed bound. Mixed partial derivatives are not discussed. This uniform C^{r-1} bound is needed to apply Propositions 4.1 and 4.2, so this gap affects the same load-bearing step as the previous comment.","section":"Section 6.1, paragraph after Eq. (6.6)"},{"comment":"The conclusion that W^ss(p_0) is C^{r+1}-smooth does not follow from the displayed identity W^ss(p_0) = ⋃_{n≥0} F^{-n}(W^v_loc(p_n)). The charts Φ_m constructed in Theorem 6.1 are only C^r, so W^v_loc(p_n) is a priori C^r; preimages under the C^{r+1} map F do not upgrade the regularity. Either an additional argument (for instance from the graph transform in Section 4.1) must be supplied, or the statement should be weakened to C^r.","section":"Theorem 6.13, final sentence"}],"minor_comments":[{"comment":"The phrase 'conditions in Appendix 4.1' should read 'conditions in Section 4.1'; there is no Appendix 4.1.","section":"Section 6.1, after Eq. (6.7)"},{"comment":"The displayed definition of the rate is self-referential and notationally inconsistent: it reads 'where r := 1 − ε(1−ε)^{-1}(7+11r+2ε+66rε)', using the same symbol r on both sides and conflicting with the smoothness r in the theorem. It should be a new symbol, e.g. \\varrho, and the formula should be rechecked against the last display of the proof.","section":"Theorem 6.16, statement"},{"comment":"Inequalities such as |∂^{r-1}_x e_m(x,y)| < K|y| use the ambiguous notation |∂^{r-1}_x e_m(x,y)|; the norm on the left-hand side should be made explicit, for example ∥∂^{r-1}_x e_m(·,y)∥_{C^0} < K|y|.","section":"Theorem 6.1(iv) and Lemma 4.4"},{"comment":"The proof of the second projective derivative bound treats the case cos(t−α) > k and the limits at t = α ± π/2, but does not explicitly control the intermediate region where |cos(t−α)| is small; a uniform estimate would make the argument complete.","section":"Proposition 2.2"}],"recommendation":"major_revision","confidential_remarks":"This manuscript is the technical backbone for a renormalization program, and several statements (especially Theorem 6.1) are used in the companion papers. The missing verification of the graph-transform hypotheses in §6.1 should be supplied before acceptance; I would not rely on the current version for downstream work. The self-referential formula in Theorem 6.16 and the C^{r+1} claim in Theorem 6.13 also need attention."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is the technical engine for the renormalization program, and it is mostly as advertised, but the proof of Theorem 6.1 compresses the one step that makes the whole machine run. The Q-linearization theorem with explicit constants and the uniform stable/center manifold geometry are genuinely new; they go beyond CP and HL. The regularity definitions and the equivalence propositions (5.2–5.4) are clean, and the citations to [CLPY1, CLPY2, Y] are properly used as motivation, not as crutches.\n\nWhere I worry: Section 6.1's sentence 'Thus, the conditions given in (6.1), together with Propositions 4.1 and 4.2 imply...' is doing a lot of work. To apply those propositions to the sequence F̃_m you need the spectral domination inequalities uniformly in m, and you need the local maps to admit global C^{r−1} extensions with controlled norm. The paper asserts both rather than shows them. The derivative bound displayed right before that sentence treats only the x-component and suppresses powers of σ_m, hatσ_m, and ||DF^{-1}|| that behave differently for s ≥ 3; the y-component and mixed derivatives are not checked. If my reading is right, this is not a cosmetic gap: the invariant graphs g*_m and direction fields ξ*_m are obtained from those propositions, and without them the charts Φ_m are not constructed. An expert referee needs to see the missing computation spelled out.\n\nOther soft spots are minor: several estimates in Sections 3 and 6 are flagged 'straightforward' (e.g., Proposition 2.2, Lemma 6.12), and the center manifold theorem's smallness condition ε < 1/(11r+2) is restrictive but that's an hypothesis, not a flaw.\n\nOverall: the architecture is coherent, the statements are precise, and nothing looks invented. The paper deserves a serious referee, but I would not accept it as-is. Recommend: send to a top dynamics journal, require the authors to expand the globalization step in Theorem 6.1, and put the 'straightforward computations' in an appendix. If the gap closes, this is a foundational reference for quantitative Pesin theory.","headline":"The paper is the quantitative machine the renormalization program needed, but the pivotal globalization step in Theorem 6.1 is asserted rather than proved, so it needs referee work before I would trust it as a foundation.","tokens_in":27884,"tokens_out":2482,"would_cite":true,"duration_ms":26612,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37D10","37D25","37C05","37E30"],"pacs":[],"model":"deepseek-v4-flash","headline":"A surface diffeomorphism orbit satisfying explicit regularity inequalities admits $C^r$ quasi-linearizing charts whose sizes and norms are controlled by the regularity parameters, yielding stable and center manifolds with uniformly…","keywords":["surface diffeomorphisms","quantitative regularity","quasi-linearization","invariant manifolds","stable manifolds","center manifolds","non-uniform hyperbolicity","regular orbits"],"falsifier":"Fix a $C^{r+1}$ surface diffeomorphism and an orbit for which (5.1)--(5.4) and (6.1) hold. If the $C^r$-norm of the arc-length parametrization of the local strong-stable manifold from Theorem 6.13 can be made arbitrarily large while the regularity parameters $(L,\\varepsilon,\\lambda,\\rho)$ stay bounded, the uniform-geometry claim is false; conversely, if some orbit satisfying the inequalities admits no chart with the properties (i)--(iv) of Theorem 6.1, the quasi-linearization statement fails. A numerical check on a model map with a critical tangency orbit would settle which.","tokens_in":26863,"feed_emoji":"📐","tokens_out":13396,"duration_ms":118548,"temperature":0.7,"pith_summary":"The paper's goal is to make the geometry of invariant manifolds for two-dimensional diffeomorphisms quantitative at the level of a single orbit. It defines explicit regularity inequalities (5.1)--(5.4) measuring, along a fixed tangent direction $E^v_p$, how fast the derivative contracts (base $\\lambda$) and how strongly that contraction dominates all other directions (base $\\rho$), with a uniform error factor $L$ and marginal exponent $\\varepsilon$. The main theorem (6.1) shows that if these inequalities hold along an orbit and the parameters satisfy the smallness conditions (6.1), then the local dynamics can be put into a nearly linear skew-product form by $C^r$ charts on slowly exponentially shrinking neighborhoods, with all sizes and norms determined by the regularity parameters. From this quasi-linearization the authors obtain canonical $C^r$ strong-stable manifolds and center manifolds with uniformly bounded geometry, without invoking any invariant measure or ergodic-theoretic averaging. This matters because the orbits that shape dissipative surface systems with tangencies are atypical and escape classical measurable theory.","feed_headline":"Orbit regularity alone yields stable manifolds with uniform geometry","feed_subtitle":"One orbit's explicit bounds control chart sizes and smooth norms, giving invariant manifolds without a measure.","key_machinery":"The central object is a regular orbit: a finite or infinite orbit along a fixed tangent direction $E^v_p$ for which inequalities (5.1)--(5.4) bound the contraction rate (base $\\lambda$) and the domination ratio (base $\\rho$) with a uniform irregularity factor $L$ and marginal exponent $\\varepsilon$. The load-bearing mechanism is the quasi-linearization of Theorem 6.1: under the parameter condition (6.1) there exist $C^r$ charts $\\Phi_m$ on slowly exponentially shrinking boxes $U_m$ (the regular neighborhoods) such that each $\\Phi_{m+1}\\circ F|_{U_m}\\circ\\Phi_m^{-1}$ extends to a global diffeomorphism $F_m(x,y)=(f_m(x), e_m(x,y))$ with $|\\partial_x^s e_m(\\cdot,y)|\\le \\|DF\\|_{C^r}|y|$, a skew-product form that makes derivatives of iterates tractable. These charts are built by combining the graph-transform machinery for almost linear maps (the $C^r$-section theorem) with projective-space estimates that turn the regularity inequalities into invariant cones and controlled distortion. The upshot is that all geometric constants in the stable and center manifold theorems are explicit functions of the regularity parameters.","core_discovery":"The central discovery is that quantitative regularity of an orbit, as encoded in inequalities (5.1)--(5.4), is sufficient to quasi-linearize the dynamics in a neighborhood of that orbit, and the quality of the linearization is explicitly controlled by the regularity constants. In precise terms, Theorem 6.1 produces $C^r$ charts $\\Phi_m$ on boxes $U_m$ of radius $l_m=\\check{\\lambda}(C K_m)^{-1}$, with $K_m=L^3\\rho^{-2\\varepsilon}\\lambda^{1-\\varepsilon}\\|DF^{-1}\\|(1+\\omega)^5\\rho^{4\\varepsilon|m|}\\lambda^{2\\varepsilon|m|}$, such that each $\\Phi_{m+1}\\circ F|_{U_m}\\circ\\Phi_m^{-1}$ extends to a global diffeomorphism $F_m(x,y)=(f_m(x),e_m(x,y))$ with $|\\partial_x^s e_m(\\cdot,y)|\\le \\|DF\\|_{C^r}|y|$. The corollaries are the canonical strong-stable manifold theorem (6.13) and the center-manifold jet theorem (6.16), both with uniform $C^r$-bounds depending only on the regularity parameters and the ambient $C^r$-norm of $F$.","pith_inferences":["Although the paper restricts to surfaces, the projective attractor/repeller arguments and the graph-transform mechanism do not use dimension two in an essential way; a natural testable extension is the same quasi-linearization statement for $C^{r+1}$ diffeomorphisms in higher dimensions with a dominated splitting.","The explicit dependence of the regular radii and chart norms on the regularity parameters suggests an algorithm: given a numerically computed finite orbit, check inequalities (5.1)--(5.4) and (6.1), then compute the regular neighborhoods and the stable manifold's curvature bounds directly, turning the theorem into a certified numerical tool.","A promising application not developed here is to uniquely ergodic partially hyperbolic sets with one zero Lyapunov exponent: Section 7's homogeneity reduction means the full regularity inequalities collapse to simple derivative bounds, so the stable and center manifold theorems should hold uniformly for all points of the set, not just a measure-one subset.","The sharpness of the parameter conditions (6.1) could be tested by constructing linear cocycles with $\\lambda,\\rho,\\varepsilon$ at the boundary of the inequalities; if the claimed uniform $C^r$ bounds fail there, the conditions are not artifacts of the proof method."],"forward_implications":["An infinite-time forward regular orbit has a unique $C^r$ strong-stable manifold tangent to the contracting direction, and the $C^r$ norm of its arc-length parametrization is bounded purely in terms of the regularity parameters (Theorem 6.13); the same holds for a local stable foliation.","When $\\rho=\\lambda$ and $\\varepsilon< (11r+2)^{-1}$, an infinite-time backward regular orbit has a $C^r$ center manifold inside its regular neighborhood, and any curve that stays backward-controlled has a high-order tangency with it, so the center manifold has a unique $C^r$ jet (Theorem 6.16).","The construction works for finite-time regular orbits as well, with regular neighborhoods and chart norms growing only like $K_m \\sim \\rho^{-4\\varepsilon|m|}\\lambda^{-2\\varepsilon|m|}$, which is why the estimates deserve the name 'quantitative.'","Since no invariant measure is used, the results apply to a single atypical orbit, which is exactly the situation needed for renormalization analyses of dissipative diffeomorphisms with tangencies.","The Q-linearized maps have the explicit form $(f_m(x), e_m(x,y))$ with $|\\partial_x^s e_m(\\cdot,y)| \\le \\|DF\\|_{C^r}|y|$, so higher derivatives of iterates can be controlled by composing these skew products, yielding strong $C^r$ estimates."],"supporting_citations":[{"why":"Supplies the classical invariant-manifold results for nonzero Lyapunov exponents that the quantitative, measure-free treatment here extends.","marker":"[Pe1]"},{"why":"Provides the prior strongly dissipative surface diffeomorphism framework that motivates working without an invariant measure.","marker":"[CP]"},{"why":"Gives an earlier stable-manifold result under very weak hyperbolicity conditions and serves as a comparison point for the new regularity definitions.","marker":"[HL]"},{"why":"Supplies the $C^r$-section theorem and graph-transform methods used to construct the invariant horizontal graphs and vertical direction fields.","marker":"[Sh]"},{"why":"Provides the composition norm bound used in Appendix B to control $C^r$-norms of iterates.","marker":"[PuSh]"}],"fun_headline_variants":["Orbit regularity alone yields uniform stable manifolds","Explicit orbit bounds give invariant manifolds without measure","No measure needed: regularity controls manifold geometry","One orbit's inequalities determine smooth stable manifolds","Quantitative regularity builds stable manifolds with uniform bounds"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the orbit satisfying the four regularity inequalities (5.1)--(5.4) for all forward and backward iterates with one fixed direction and uniform constants $L$, $\\varepsilon$, $\\lambda$, $\\rho$, together with the parameter smallness conditions (6.1) — inequalities that are strong and may fail for generic orbits, so the whole construction collapses if they hold only approximately or for a short time.","fun_headline_variants_meta":{"raw":{"variants":["Orbit regularity alone yields uniform stable manifolds","Explicit orbit bounds give invariant manifolds without measure","No measure needed: regularity controls manifold geometry","One orbit's inequalities determine smooth stable manifolds","Quantitative regularity builds stable manifolds with uniform bounds"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000143,"raw_usage":{"total_tokens":1165,"prompt_tokens":932,"completion_tokens":233,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":548,"completion_tokens_details":{"reasoning_tokens":161}},"tokens_in":548,"tokens_out":233,"duration_ms":3240,"temperature":1.0,"reasoning_tokens":161,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T16:36:50.999123+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Fix a $C^{r+1}$ surface diffeomorphism and an orbit for which (5.1)--(5.4) and (6.1) hold. If the $C^r$-norm of the arc-length parametrization of the local strong-stable manifold from Theorem 6.13 can be made arbitrarily large while the regularity parameters $(L,\\varepsilon,\\lambda,\\rho)$ stay bounded, the uniform-geometry claim is false; conversely, if some orbit satisfying the inequalities admits no chart with the properties (i)--(iv) of Theorem 6.1, the quasi-linearization statement fails. A numerical check on a model map with a critical tangency orbit would settle which.","supporting_citations":[],"review_version":1}