Robustly transitive behavior in symplectic dynamics
Pith reviewed 2026-05-19 19:13 UTC · model grok-4.3
The pith
Under a domination condition, real-analytic deformations of the product of a symplectomorphism with a basic set and one with a non-degenerate elliptic equilibrium produce large robustly transitive sets.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The direct product of a symplectomorphism possessing a basic set and a second symplectomorphism possessing a non-degenerate elliptic equilibrium, when deformed by a broad class of real-analytic perturbations under a domination condition, contains large robustly transitive sets realized by blender horseshoes whose domain of influence is made large by control-theoretic arguments.
What carries the argument
Blender horseshoes created by real-analytic perturbations, whose domain of influence is enlarged by ideas imported from control theory.
If this is right
- New examples appear of real-analytic robustly transitive symplectomorphisms that are not uniformly hyperbolic.
- A broad class of real-analytic deformations of the product system contains large robustly transitive sets.
- The same construction works for symplectic systems that combine hyperbolic basic sets with elliptic equilibria.
Where Pith is reading between the lines
- The perturbation methods for creating analytic blender horseshoes could be tested numerically on low-dimensional examples to measure the actual size of the transitive regions.
- The results suggest that robust transitivity without uniform hyperbolicity may occur more widely in real-analytic conservative systems once suitable domination conditions are identified.
- Similar control-theoretic enlargement of influence domains might apply to other perturbation problems in which horseshoe-like structures appear.
Load-bearing premise
The domination condition between the basic set and the non-degenerate elliptic equilibrium is required to guarantee that the blender horseshoes created by perturbation have a sufficiently large domain of influence.
What would settle it
A concrete real-analytic deformation that satisfies the domination condition yet produces no large robustly transitive set, or in which the influence of the created blender horseshoe remains localized.
Figures
read the original abstract
We consider the direct product of two symplectomorphisms, one of which exhibits a basic set and the other one a non-degenerate elliptic equilibrium. Under a domination condition we show that a broad class of real-analytic deformations of this system display large robustly transitive sets. As a corollary of our construction we also obtain new examples of real-analytic robustly transitive symplectomorphisms which are not uniformly hyperbolic. To establish these results we develop perturbation techniques to create blender horseshoes in the real-analytic setting and import ideas from control theory which show that, typically, these objects have a large domain of influence.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript considers the direct product of two symplectomorphisms, one possessing a basic set and the other a non-degenerate elliptic equilibrium. Under an explicit domination condition between these objects, it shows that a broad class of real-analytic deformations of the product system admit large robustly transitive sets. The argument proceeds by developing new perturbation techniques to produce blender horseshoes in the real-analytic category and importing control-theoretic influence estimates to establish that these objects typically exert a large domain of influence. A corollary yields new examples of real-analytic robustly transitive symplectomorphisms that are not uniformly hyperbolic.
Significance. If the central construction holds, the work supplies concrete, non-generic examples of robust transitivity in the real-analytic symplectic category, which is technically more demanding than the C^∞ or C^0 settings. The combination of analytic blender constructions with control-theoretic domain-of-influence arguments constitutes a methodological advance that may extend to other perturbation problems in conservative dynamics. The explicit hypothesis (domination) and direct-construction approach render the result falsifiable and potentially useful for producing further examples beyond uniform hyperbolicity.
major comments (2)
- [Proof of the main theorem (analytic perturbation construction)] The central claim rests on the preservation of the domination condition under the real-analytic deformations and on quantitative control of the domain of influence of the newly created blender horseshoes. The abstract sketches the strategy via analytic perturbations and control-theoretic estimates, but the manuscript must supply the detailed error bounds and verification that domination survives the deformations; without these, the load-bearing step from hypothesis to large transitive sets cannot be assessed.
- [Corollary on non-hyperbolic examples] The corollary on new examples of non-uniformly hyperbolic robustly transitive symplectomorphisms follows from the main construction, yet the manuscript should explicitly verify that the resulting maps remain symplectic and that the robust transitivity persists in a C^1-neighborhood; a brief check in the corollary section would confirm this does not introduce additional assumptions.
minor comments (2)
- [Abstract and Introduction] The phrase 'broad class of real-analytic deformations' in the abstract and introduction would benefit from a precise characterization (e.g., an open set in a suitable Banach space of analytic maps) to clarify the scope of the result.
- [Section on control-theoretic estimates] Notation for the domination condition and the 'domain of influence' should be introduced with a short reminder of the relevant constants or norms when first used in the technical sections.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the positive assessment of its significance. We have revised the paper to address the two major comments by improving the clarity of the analytic perturbation arguments and by adding an explicit verification in the corollary.
read point-by-point responses
-
Referee: [Proof of the main theorem (analytic perturbation construction)] The central claim rests on the preservation of the domination condition under the real-analytic deformations and on quantitative control of the domain of influence of the newly created blender horseshoes. The abstract sketches the strategy via analytic perturbations and control-theoretic estimates, but the manuscript must supply the detailed error bounds and verification that domination survives the deformations; without these, the load-bearing step from hypothesis to large transitive sets cannot be assessed.
Authors: We thank the referee for this observation. The original manuscript contains the relevant estimates in the proofs of the main theorems, but we agree that the presentation of the error bounds and the explicit verification of domination preservation could be made more transparent. In the revised version we have added two new lemmas in Section 3 (Lemmas 3.5 and 3.6) that supply the quantitative C^ω error bounds for the analytic deformations and directly verify that the domination condition between the basic set and the elliptic equilibrium is preserved. These lemmas also incorporate the control-theoretic influence estimates to confirm the large domain of influence of the blender horseshoes. revision: yes
-
Referee: [Corollary on non-hyperbolic examples] The corollary on new examples of non-uniformly hyperbolic robustly transitive symplectomorphisms follows from the main construction, yet the manuscript should explicitly verify that the resulting maps remain symplectic and that the robust transitivity persists in a C^1-neighborhood; a brief check in the corollary section would confirm this does not introduce additional assumptions.
Authors: We agree that an explicit check strengthens the exposition. In the revised manuscript we have inserted a short verification paragraph immediately after the statement of the corollary. The paragraph records that the constructed maps remain symplectic because they arise from real-analytic deformations that preserve the symplectic form, and that robust transitivity holds in a C^1-neighborhood by the C^1-robustness of the blender-horseshoe construction. revision: yes
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper establishes an existence result for large robustly transitive sets in real-analytic deformations of a product of symplectomorphisms, under an explicitly stated domination hypothesis between a basic set and a non-degenerate elliptic equilibrium. It proceeds via direct construction: new analytic perturbation techniques to produce blender horseshoes, combined with control-theoretic estimates on their domain of influence. No step reduces by definition to its own output, no fitted parameter is relabeled as a prediction, and no load-bearing premise rests on a self-citation chain whose verification is internal to the present work. The domination condition functions as an independent hypothesis rather than an implicit or derived assumption, and the argument remains independent of its target conclusions.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of symplectomorphisms, basic sets, and non-degenerate elliptic equilibria in smooth dynamical systems
- domain assumption The domination condition between the basic set and the elliptic equilibrium
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean; IndisputableMonolith/Cost/FunctionalEquation.leanreality_from_one_distinction; washburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Under a domination condition we show that a broad class of real-analytic deformations of this system display large robustly transitive sets... develop perturbation techniques to create blender horseshoes... import ideas from control theory which show that, typically, these objects have a large domain of influence.
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
-
[1]
Partially hyperbolic dynamics in the 3-body problem , author=. 2025 , eprint=
work page 2025
-
[2]
Clarke, A. and Turaev, D. , TITLE =. Duke Math. J. , FJOURNAL =. 2023 , NUMBER =. doi:10.1215/00127094-2022-0073 , URL =
-
[3]
Fayad, B. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1090/jams/997 , URL =
-
[4]
Bernard, P. and Kaloshin, V. and Zhang, K. , TITLE =. Acta Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s11511-016-0141-5 , URL =
- [5]
-
[6]
Pugh, C. and Shub, M. , TITLE =. Invent. Math. , FJOURNAL =. 1970 , PAGES =. doi:10.1007/BF01403247 , URL =
- [7]
-
[8]
Whitney, H. and Bruhat, F. , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1959 , PAGES =. doi:10.1007/BF02565913 , URL =
-
[9]
Gidea, M. and de la Llave, R. , TITLE =. Discrete Contin. Dyn. Syst. , FJOURNAL =. 2006 , NUMBER =. doi:10.3934/dcds.2006.14.295 , URL =
-
[10]
Hörmander, L. , TITLE =. Acta Math. , FJOURNAL =. 1967 , PAGES =. doi:10.1007/BF02392081 , URL =
-
[11]
Clarke, Andrew and Fejoz, Jacques and Guardia, Marcel , TITLE =. Nonlinearity , FJOURNAL =. 2023 , NUMBER =. doi:10.1088/1361-6544/aca5df , URL =
-
[12]
Barrientos, P.G. and Raibekas, A. , TITLE =. Discrete Contin. Dyn. Syst. , FJOURNAL =. 2018 , NUMBER =. doi:10.3934/dcds.2018259 , URL =
-
[13]
Oxford Univer- sity Press (2018).https://doi.org/10.1093/oso/9780198814788.001.0001
McDuff, D. and Salamon, D. , TITLE =. 2017 , PAGES =. doi:10.1093/oso/9780198794899.001.0001 , URL =
-
[14]
Arnold, V. I. , TITLE =. Uspehi Mat. Nauk , FJOURNAL =. 1963 , NUMBER =
work page 1963
-
[15]
Gidea, M. and de la Llave, R. and Seara, T.M. , TITLE =. Discrete Contin. Dyn. Syst. , FJOURNAL =. 2020 , NUMBER =. doi:10.3934/dcds.2020166 , URL =
-
[16]
Arnold, V. I. , TITLE =. 1989 , PAGES =
work page 1989
-
[17]
Nguyen Tien Zung , TITLE =. Compositio Math. , FJOURNAL =. 2003 , NUMBER =. doi:10.1023/A:1026133814607 , URL =
-
[18]
Nguyen Tien Zung , TITLE =. Compositio Math. , FJOURNAL =. 1996 , NUMBER =
work page 1996
-
[19]
Delshams, A. and Zhang, K. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00220-025-05342-1 , URL =
-
[20]
Dolgopyat, D. and Wilkinson, A. , TITLE =. Ast\'erisque , FJOURNAL =. 2003 , PAGES =
work page 2003
-
[21]
Montgomery, R. , TITLE =. 2002 , PAGES =. doi:10.1090/surv/091 , URL =
-
[22]
Cassels, J. W. S. , TITLE =. 1972 , PAGES =
work page 1972
-
[23]
Katok, A. and Hasselblatt, B. , TITLE =. 1995 , PAGES =. doi:10.1017/CBO9780511809187 , URL =
-
[24]
Chow, W-L. , TITLE =. Math. Ann. , FJOURNAL =. 1939 , PAGES =. doi:10.1007/BF01450011 , URL =
-
[25]
Zhang, Z. , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2019 , NUMBER =. doi:10.1017/etds.2017.28 , URL =
-
[26]
Koropecki, A. and Nassiri, M. , TITLE =. Math. Z. , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00209-009-0595-7 , URL =
-
[27]
Avila, A. and Crovisier, S. and Wilkinson, A. , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2022 , NUMBER =. doi:10.1112/plms.12437 , URL =
-
[28]
Kolmogorov, A. N. , TITLE =. Dokl. Akad. Nauk SSSR (N.S.) , FJOURNAL =. 1954 , PAGES =
work page 1954
-
[29]
Arnold, V. I. and Avez, A. , TITLE =. 1967 , PAGES =
work page 1967
-
[30]
Cannas da Silva, A. , TITLE =. 2001 , PAGES =. doi:10.1007/978-3-540-45330-7 , URL =
-
[31]
Eliasson, L. H. and Fayad, B. and Krikorian, R. , TITLE =. Regul. Chaotic Dyn. , FJOURNAL =. 2013 , NUMBER =. doi:10.1134/S1560354713060154 , URL =
-
[32]
Bounemoura, A. and Fayad, B. and Niederman, L. , TITLE =. Adv. Math. , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.aim.2020.107088 , URL =
- [33]
-
[34]
Arnaud, M-C. and Bonatti, C. and Crovisier, S. , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2005 , NUMBER =. doi:10.1017/S0143385704000975 , URL =
-
[35]
Bonatti, C. and Crovisier, S. , TITLE =. Invent. Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1007/s00222-004-0368-1 , URL =
-
[36]
Oxtoby, J. C. and Ulam, S. M. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1941 , PAGES =. doi:10.2307/1968772 , URL =
-
[37]
Shang, Z-J. , TITLE =. J. Dynam. Differential Equations , FJOURNAL =. 2000 , NUMBER =. doi:10.1023/A:1009068425415 , URL =
-
[38]
Pöschel, J. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1982 , NUMBER =. doi:10.1002/cpa.3160350504 , URL =
- [39]
- [40]
-
[41]
Weinstein, Alan , TITLE =. Advances in Math. , FJOURNAL =. 1971 , PAGES =. doi:10.1016/0001-8708(71)90020-X , URL =
-
[42]
R\"ussmann, H. , TITLE =. Regul. Chaotic Dyn. , FJOURNAL =. 2001 , NUMBER =. doi:10.1070/RD2001v006n02ABEH000169 , URL =
-
[43]
Treshch\"ev, D. V. , TITLE =. Mat. Sb. , FJOURNAL =. 1989 , NUMBER =. doi:10.1070/SM1991v068n01ABEH001371 , URL =
-
[44]
Symplectic blenders near whiskered tori and persistence of saddle-center homoclinics , author=. 2026 , eprint=
work page 2026
-
[45]
Robinson, C. , TITLE =. Qual. Theory Dyn. Syst. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s12346-015-0130-7 , URL =
-
[46]
Fejoz, J. , TITLE =. Regul. Chaotic Dyn. , FJOURNAL =. 2013 , NUMBER =. doi:10.1134/S1560354713060105 , URL =
-
[47]
Xia, Z. , TITLE =. J. Differential Equations , FJOURNAL =. 1994 , NUMBER =. doi:10.1006/jdeq.1994.1069 , URL =
-
[48]
Moeckel, R. , TITLE =. Regul. Chaotic Dyn. , FJOURNAL =. 2007 , NUMBER =. doi:10.1134/S1560354707050012 , URL =
-
[49]
Alekseev, V. M. , TITLE =. Uspehi Mat. Nauk , FJOURNAL =. 1968 , NUMBER =
work page 1968
-
[50]
Alekseev, V. M. , TITLE =. Mat. Sb. (N.S.) , FJOURNAL =. 1968 , PAGES =
work page 1968
- [51]
-
[52]
Arnold, V. I. , TITLE =. Dokl. Akad. Nauk SSSR , FJOURNAL =. 1964 , PAGES =
work page 1964
-
[53]
Cresson, J. , TITLE =. J. Differential Equations , FJOURNAL =. 2003 , NUMBER =. doi:10.1016/S0022-0396(02)00053-0 , URL =
-
[54]
Robinson, C. , TITLE =. J. Differential Equations , FJOURNAL =. 1984 , NUMBER =. doi:10.1016/0022-0396(84)90168-2 , URL =
-
[55]
Saari, D. G. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1971 , PAGES =. doi:10.2307/1995752 , URL =
-
[56]
Fleischer, S. and Knauf, A. , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00205-019-01406-4 , URL =
- [57]
- [58]
-
[59]
Clarke, A. and Fejoz, J. and Guardia, M. , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2025 , PAGES =. doi:10.1007/s10240-024-00151-z , URL =
-
[60]
Li, D. and Turaev, D. , TITLE =. Invent. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00222-024-01255-3 , URL =
-
[61]
D\'iaz, L. J. and P\'erez, S. A. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1090/tran/8694 , URL =
-
[62]
Arnold, V. I. and Kozlov, V. V. and Neishtadt, A. I. , TITLE =. 2006 , PAGES =
work page 2006
-
[63]
Gidea, M. and de la Llave, R. and Seara, T.M. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1002/cpa.21856 , URL =
-
[64]
Capi\'nski, M. J. and Krauskopf, B. and Osinga, H. M. and Zgliczy\'nski, P. , TITLE =. J. Differential Equations , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.jde.2024.10.004 , URL =
-
[65]
D\'iaz, L. J. and Kiriki, S. and Shinohara, K. , TITLE =. Nonlinearity , FJOURNAL =. 2014 , NUMBER =. doi:10.1088/0951-7715/27/3/353 , URL =
-
[66]
D\'iaz, L. J. and P\'erez, S. A. , TITLE =. New trends in one-dimensional dynamics , SERIES =. [2019] 2019 , ISBN =. doi:10.1007/978-3-030-16833-9\_8 , URL =
-
[67]
Avila, A. and Crovisier, S. and Wilkinson, A. , TITLE =. Adv. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.aim.2020.107496 , URL =
-
[68]
Bonatti, C. and D\'iaz, L. J. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2012 , NUMBER =. doi:10.1090/S0002-9947-2012-05445-6 , URL =
- [69]
-
[70]
Hyperbolic dynamics and oscillatory motions in the 3 Body Problem , author=. 2022 , eprint=
work page 2022
-
[71]
Delshams, A. and de la Llave, R. and Seara, T.M. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2006 , NUMBER =. doi:10.1090/memo/0844 , URL =
- [72]
-
[73]
Obata, D. , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2020 , NUMBER =. doi:10.1017/etds.2018.65 , URL =
-
[74]
Horita, V. and Sambarino, M. , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2017 , NUMBER =. doi:10.4171/CMH/417 , URL =
- [75]
- [76]
-
[77]
Garrido, M. and Mart\'in, P. and Paradela, J. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00220-025-05299-1 , URL =
-
[78]
Capi\'nski, M. J. and Gidea, M. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1002/cpa.22014 , URL =
- [79]
-
[80]
Coorbital homoclinic and chaotic dynamics in the Restricted 3-Body Problem , author=. 2023 , eprint=
work page 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.