pith. sign in

arxiv: 2403.01855 · v5 · submitted 2024-03-04 · 🧮 math.SG · math.DS

A Poincar\'e-Birkhoff Theorem for Asymptotically Unitary Hamiltonian Diffeomorphisms

Leonardo Masci This is my paper

Pith reviewed 2026-05-24 03:40 UTC · model grok-4.3

classification 🧮 math.SG math.DS
keywords Poincaré-Birkhoff theoremHamiltonian diffeomorphismsperiodic pointssymplectic vector spaceasymptotically lineartwist conditionunitary at infinity
0
0 comments X

The pith

An asymptotically linear Hamiltonian diffeomorphism with a twist condition has infinitely many periodic points.

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

This paper proves an extension of the classical Poincaré-Birkhoff theorem to asymptotically linear Hamiltonian diffeomorphisms on the standard symplectic vector space. It shows that if such a map is non-degenerate, unitary at infinity, approaches its linear map quickly enough at infinity, and satisfies a natural twist condition, then it possesses infinitely many periodic points. A sympathetic reader cares because the result supplies a criterion for periodic orbits in non-compact phase spaces where the map linearizes far from the origin. The classical annulus version is thereby carried over to unbounded symplectic settings under controlled asymptotic behavior.

Core claim

We prove that an asymptotically linear Hamiltonian diffeomorphism of the standard symplectic vector space, which is non-degenerate and unitary at infinity and approaches its linear map at infinity quickly enough, has infinitely many periodic points, provided that it satisfies a natural twist condition inspired by the classical Poincaré-Birkhoff theorem.

What carries the argument

The natural twist condition inspired by the classical Poincaré-Birkhoff theorem, which forces the existence of infinitely many periodic points once the asymptotic linearity, unitarity at infinity, and rapid convergence are in place.

If this is right

  • The diffeomorphism has periodic points of arbitrarily large period.
  • The conclusion applies to maps on the standard symplectic vector space that become close to a linear unitary transformation at large distances.
  • Non-degeneracy of the map ensures the periodic points are isolated in the appropriate sense.
  • The rapid approach to the linear part permits the use of asymptotic analysis to control the dynamics at infinity.

Where Pith is reading between the lines

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

  • The same twist condition might be formulated for other asymptotic regimes besides unitarity at infinity.
  • Analogous results could hold on cotangent bundles of non-compact manifolds if a comparable twist can be defined.
  • Unitarity at infinity appears essential for preserving the topological crossing properties that produce the infinite set of orbits.

Load-bearing premise

The diffeomorphism must approach its linear part at infinity sufficiently rapidly and obey the specific twist condition.

What would settle it

An explicit example of an asymptotically linear, non-degenerate, unitary-at-infinity Hamiltonian diffeomorphism satisfying the twist condition yet having only finitely many periodic points.

Figures

Figures reproduced from arXiv: 2403.01855 by Leonardo Masci.

Figure 1
Figure 1. Figure 1: Special action windows. For clarity, set 𝑎± = 𝑝𝑗+𝑚 [PITH_FULL_IMAGE:figures/full_fig_p016_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Construction of the step function 𝜒. The smoothing is done in such a way that the light gray area contributes e.g. 1 4 to the total area and the dark gray area contributes 1 to the total area. where 𝐶1 = ∥𝜕𝑠A∥𝐿∞ . We are led to impose the point-wise constraint 𝜒 ′ (𝑟) ≤ 𝐶0 𝐶1𝑟 Observe that ∫ R 𝜒 ′ = 1, while 𝑟 −1 has diverging integral. Therefore given any fixed 𝑅0 > 0, let 𝑅1 > 𝑅0 be such that ∫ 𝑅1 𝑅0 𝐶0 … view at source ↗
Figure 3
Figure 3. Figure 3: The black lines are Π/Z 𝑞 . Notice that the “boundary box” is included, since 𝑟𝑖𝑗 = 𝛿𝑖𝑗 when 𝑖, 𝑗 ≤ 𝑞. The gray area represents their 𝑒-thickening. The white area represents 𝐶 𝑏 𝑒 , which by construction has measure ≥ 1 − 𝑏. As long as this is positive, the prime iterates which stay uniformly away from resonances are equidistributed mod 1. combined with [27, Theorem 6.3] to conclude that the sequence 𝑃𝑎® … view at source ↗
read the original abstract

We prove that an asymptotically linear Hamiltonian diffeomorphism of the standard symplectic vector space, which is non-degenerate and unitary at infinity and approaches its linear map at infinity quickly enough, has infinitely many periodic points, provided that it satisfies a natural twist condition inspired by the classical Poincar\'e-Birkhoff theorem.

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.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that an asymptotically linear Hamiltonian diffeomorphism of the standard symplectic vector space, non-degenerate and unitary at infinity, that approaches its linear part sufficiently rapidly and satisfies a natural twist condition, possesses infinitely many periodic points. The argument relies on variational methods in symplectic geometry to produce the periodic points from the stated hypotheses.

Significance. If the central claim holds, the result extends the classical Poincaré-Birkhoff theorem to an asymptotic setting on symplectic vector spaces, furnishing an existence theorem for infinitely many periodic orbits under explicit decay and twist hypotheses. The use of standard symplectic techniques without ad-hoc parameters or fitted quantities is a positive feature of the approach.

minor comments (3)
  1. [Theorem statement] The precise decay rate required for the approach to the linear map at infinity should be stated explicitly in the main theorem statement (rather than only in the abstract) to make the hypotheses fully self-contained.
  2. [Introduction / §2] Clarify the precise formulation of the twist condition in the asymptotic setting, including how it reduces to the classical case when the diffeomorphism is compactly supported.
  3. Notation for the linear map at infinity and the unitary condition could be standardized across sections to avoid minor ambiguity in the variational setup.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the accurate summary of the main result, and the recommendation for minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper presents a direct existence proof of infinitely many periodic points for asymptotically linear Hamiltonian diffeomorphisms satisfying non-degeneracy, unitarity at infinity, rapid decay, and a twist condition. The argument relies on standard symplectic variational techniques (e.g., action functionals and critical point theory) under explicitly stated hypotheses; no parameter fitting, self-definitional loops, or load-bearing self-citations reduce the central claim to its inputs by construction. The twist condition and decay rate are independent assumptions required for the theorem, not derived from the conclusion. This is a normal non-circular mathematical proof.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard background from symplectic geometry and dynamical systems; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract statement.

axioms (2)
  • standard math Hamiltonian vector fields generate symplectic flows on the standard symplectic vector space
    Used to define the class of maps under consideration.
  • standard math Non-degeneracy and unitarity at infinity are well-defined for linear maps on R^{2n}
    Required to state the hypotheses of the theorem.

pith-pipeline@v0.9.0 · 5565 in / 1248 out tokens · 28374 ms · 2026-05-24T03:40:07.210929+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

43 extracted references · 43 canonical work pages · 1 internal anchor

  1. [1]

    Abbondandolo

    A. Abbondandolo. Morse theory for Hamiltonian systems . Vol. 425. Chapman & Hall/CRC Research Notes in Mathematics. Chapman & Hall/CRC, Boca Raton, FL, 2001, pp. xii+189

    work page 2001

  2. [2]

    Abbondandolo and J

    A. Abbondandolo and J. Kang. Symplectic homology of convex domains and Clarke’s duality. Duke Math. J. 171.(3) (2022), pp. 739–830.doi: 10 . 1215 / 00127094-2021-0025

    work page 2022

  3. [3]

    Foundations of mechanics

    R.AbrahamandJ.E.Marsden. Foundations of mechanics. 2nd ed., rev., enl., and reset. With the assistance of T udor Ratiu and Richard Cushman. English. 1978

    work page 1978

  4. [4]

    Amann and E

    H. Amann and E. Zehnder. Nontrivial solutions for a class of nonresonance problems and applications to nonlinear differential equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)7.(4) (1980), pp. 539–603

    work page 1980

  5. [5]

    Amann and E

    H. Amann and E. Zehnder. Periodic solutions of asymptotically linear Hamil- tonian systems. Manuscripta Math.32.(1-2) (1980), pp. 149–189.doi: 10.1007/ BF01298187

    work page 1980

  6. [6]

    V. I. Arnol’d.Mathematical methods of classical mechanics . Vol. 60. Graduate Texts in Mathematics. Springer-Verlag, New York, 1989, pp. xvi+516

    work page 1989

  7. [7]

    Audin and M

    M. Audin and M. Damian. Morse theory and Floer homology . Universitext. Translated from the 2010 French original by Reinie Erné. Springer, London; EDP Sciences, Les Ulis, 2014, pp. xiv+596.doi: 10.1007/978-1-4471-5496- 9

    work page doi:10.1007/978-1-4471-5496- 2010

  8. [8]

    P.Biran,L.Polterovich,andD. Salamon. PropagationinHamiltoniandynamics and relative symplectic homology.Duke Mathematical Journal119.(1) (July 2003). doi: 10.1215/s0012-7094-03-11913-4

    work page doi:10.1215/s0012-7094-03-11913-4 2003

  9. [9]

    G. D. Birkhoff. Proof of Poincaré’s geometric theorem. Trans. Am. Math. Soc.14 (1913), pp. 14–22.doi: 10.2307/1988766

    work page doi:10.2307/1988766 1913

  10. [10]

    C. C. Conley and E. Zehnder. The Birkhoff-Lewis fixed point theorem and a conjecture of V. I. Arnold. Invent. Math.73.(1) (1983), pp. 33–49.doi: 10.1007/ BF01393824

    work page 1983

  11. [11]

    Conley and E

    C. Conley and E. Zehnder.Morse-type index theory for flows and periodic solu- tions for Hamiltonian equations.Comm. Pure Appl. Math.37.(2) (1984), pp. 207–

    work page 1984

  12. [12]

    doi: 10.1002/cpa.3160370204

    work page doi:10.1002/cpa.3160370204

  13. [13]

    I. Ekeland. Convexity methods in Hamiltonian mechanics . Vol. 19. Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Springer-Verlag, Berlin, 1990, pp. x+247.doi: 10.1007/978-3-642-74331-3. REFERENCES 47

    work page doi:10.1007/978-3-642-74331-3 1990

  14. [14]

    Floer and H

    A. Floer and H. Hofer.Symplectic homology. I: Open sets inC𝑛. English.Math. Z.215.(1) (1994), pp. 37–88.doi: 10.1007/BF02571699

    work page doi:10.1007/bf02571699 1994

  15. [15]

    A. Floer. Morse theory for fixed points of symplectic diffeomorphisms. English. Bull. Am. Math. Soc., New Ser.16 (1987), pp. 279–281.doi: 10.1090/S0273- 0979-1987-15517-0

    work page doi:10.1090/s0273- 1987

  16. [16]

    MorsetheoryforLagrangianintersections .English

    A.Floer. MorsetheoryforLagrangianintersections .English. J.Differ.Geom. 28.(3) (1988), pp. 513–547.doi: 10.4310/jdg/1214442477

    work page doi:10.4310/jdg/1214442477 1988

  17. [17]

    A. Floer. Symplectic fixed points and holomorphic spheres. English. Commun. Math. Phys.120.(4) (1989), pp. 575–611.doi: 10.1007/BF01260388

    work page doi:10.1007/bf01260388 1989

  18. [18]

    Floer, H

    A. Floer, H. Hofer, and D. Salamon.Transversality in elliptic Morse theory for the symplectic action. English. Duke Math. J.80.(1) (1995), pp. 251–292.doi: 10.1215/S0012-7094-95-08010-7

    work page doi:10.1215/s0012-7094-95-08010-7 1995

  19. [19]

    Recurrenceandfixedpointsofsurfacehomeomorphisms .English

    J.Franks. Recurrenceandfixedpointsofsurfacehomeomorphisms .English. Ergodic Theory Dyn. Syst.8 (1988), pp. 99–107.doi: 10.1017/S0143385700009366

    work page doi:10.1017/s0143385700009366 1988

  20. [20]

    I. M. Gel’fand and V. B. Lidskij.Über die Struktur der Stabilitätsgebiete linearer kanonischerDifferentialgleichungssystememitperiodischenKoeffizienten .Russian. Usp. Mat. Nauk10.(1(63)) (1955), pp. 3–40

    work page 1955

  21. [21]

    V. L. Ginzburg.Coisotropic intersections. Duke Math. J.140.(1) (2007), pp. 111–

    work page 2007

  22. [22]

    doi: 10.1215/S0012-7094-07-14014-6

    work page doi:10.1215/s0012-7094-07-14014-6

  23. [23]

    TheConleyconjecture .Ann.ofMath.(2) 172.(2)(2010),pp.1127–

    V.L.Ginzburg. TheConleyconjecture .Ann.ofMath.(2) 172.(2)(2010),pp.1127–

    work page 2010

  24. [24]

    doi: 10.4007/annals.2010.172.1129

    work page doi:10.4007/annals.2010.172.1129 2010

  25. [25]

    V. L. Ginzburg and B. Z. Gürel.Local Floer homology and the action gap. J. SymplecticGeom. 8.(3)(2010),pp.323–357. doi: 10.4310/JSG.2010.v8.n3.a4

    work page doi:10.4310/jsg.2010.v8.n3.a4 2010

  26. [26]

    PeriodicorbitsofHamiltoniansystemslinearandhyperbolicatinfinity

    B.Z.Gürel. PeriodicorbitsofHamiltoniansystemslinearandhyperbolicatinfinity . Pacific J. Math.271.(1) (2014), pp. 159–182.doi: 10.2140/pjm.2014.271.159

    work page doi:10.2140/pjm.2014.271.159 2014

  27. [27]

    J. Gutt. The Conley-Zehnder index for a path of symplectic matrices(2012). arXiv: 1201.3728 [math.DG]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  28. [28]

    D. Hein, U. Hryniewicz, and L. Macarini.Transversality for local Morse ho- mology with symmetries and applications. English. Math. Z. 293.(3-4) (2019), pp. 1513–1599.doi: 10.1007/s00209-019-02295-9

    work page doi:10.1007/s00209-019-02295-9 2019

  29. [29]

    Hofer and E

    H. Hofer and E. Zehnder. Symplectic invariants and Hamiltonian dynamics . Modern Birkhäuser Classics. Reprint of the 1994 edition. Birkhäuser Verlag, Basel, 2011, pp. xiv+341.doi: 10.1007/978-3-0348-0104-1

    work page doi:10.1007/978-3-0348-0104-1 1994

  30. [30]

    Kuipers and H

    L. Kuipers and H. Niederreiter. Uniform distribution of sequences . Pure and Applied Mathematics. Wiley-Interscience [John Wiley & Sons], New York- London-Sydney, 1974, pp. xiv+390

    work page 1974

  31. [31]

    AbundanceofperiodicorbitsinasymptoticallylinearHamiltonian systems

    L.Masci.“AbundanceofperiodicorbitsinasymptoticallylinearHamiltonian systems”. PhD thesis. RWTH Aachen, 2025

    work page 2025

  32. [32]

    McDuff and D

    D. McDuff and D. Salamon. 𝐽-holomorphic curves and symplectic topology . Second. Vol. 52. American Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2012, pp. xiv+726

    work page 2012

  33. [33]

    Oxford Univer- sity Press (2018).https://doi.org/10.1093/oso/9780198814788.001.0001

    D.McDuffandD.Salamon. Introduction to symplectic topology.ThirdEdition. Oxford Graduate Texts in Mathematics. Oxford University Press, Oxford, 2017, pp. xi+623.doi: 10.1093/oso/9780198794899.001.0001

    work page doi:10.1093/oso/9780198794899.001.0001 2017

  34. [34]

    AgeneralizedPoincaré-Birkhofftheorem .English

    A.MorenoandO.vanKoert. AgeneralizedPoincaré-Birkhofftheorem .English. J. Fixed Point Theory Appl.24.(2) (2022). Id/No 32, p. 44.doi: 10.1007/s11784- 022-00957-6

    work page doi:10.1007/s11784- 2022

  35. [35]

    Poincaré

    H. Poincaré. Sur un théorème de géométrie. Rend. Circ. Mat. Palermo33 (1912), pp. 375–407.doi: 10.1007/BF03015314

    work page doi:10.1007/bf03015314 1912

  36. [36]

    P. H. Rabinowitz.Periodic solutions of Hamiltonian systems. English.Commun. Pure Appl. Math.31 (1978), pp. 156–184.doi: 10.1002/cpa.3160310203. 48 REFERENCES

    work page doi:10.1002/cpa.3160310203 1978

  37. [37]

    LecturesonFloerhomology .English

    D.Salamon. LecturesonFloerhomology .English. Symplecticgeometryandtopol- ogy. Lecture notes from the graduate summer school program, Park City, UT, USA, June 29–July 19, 1997. Providence, RI: American Mathematical Society, 1999, pp. 145–229

    work page 1997

  38. [38]

    Salamon and E

    D. Salamon and E. Zehnder.Morse theory for periodic solutions of Hamiltonian systemsandtheMaslovindex .Comm.PureAppl.Math. 45.(10)(1992),pp.1303–

    work page 1992

  39. [39]

    doi: 10.1002/cpa.3160451004

    work page doi:10.1002/cpa.3160451004

  40. [40]

    Shelukhin

    E. Shelukhin. On the Hofer-Zehnder conjecture.Ann. of Math. (2)195.(3) (2022), pp. 775–839.doi: 10.4007/annals.2022.195.3.1

    work page doi:10.4007/annals.2022.195.3.1 2022

  41. [41]

    I. M. Vinogradov. The method of trigonometrical sums in the theory of numbers . Translated from the Russian, revised and annotated by K. F. Roth and Anne Davenport,Reprintofthe1954translation.DoverPublications,Inc.,Mineola, NY, 2004, pp. x+180

    work page 2004

  42. [42]

    V. A. Yakubovich and V. M. Starzhinskij.Linear differential equations with peri- odic coefficients. Vol. 1, 2. Translated from Russian by D. Louvish. English. New York - Toronto: John Wiley&Sons; Jerusalem - London: Israel Program for Scientific Translations, a Halsted Press Book. XII, 839 p. £ 20.60 (1975). 1975

    work page 1975

  43. [43]

    ThebeginningsofsymplectictopologyinBochumintheearlyeighties

    E.Zehnder. ThebeginningsofsymplectictopologyinBochumintheearlyeighties . English. Jahresber. Dtsch. Math.-Ver.121.(2) (2019), pp. 71–90.doi: 10.1365/ s13291-019-00201-0. Lehrstuhl für Geometrie und Analysis, RWTH Aachen Current address: Pontdriesch 10-12, 52062 Aachen Email address: masci@mathga.rwth-aachen.de

    work page 2019