pith. sign in

arxiv: 2605.20909 · v1 · pith:YRSV6ABFnew · submitted 2026-05-20 · 🧮 math.DS

The Hamiltonian Normal Form

Mauricio Garay , Duco van Straten This is my paper

Pith reviewed 2026-05-21 02:32 UTC · model grok-4.3

classification 🧮 math.DS
keywords Hamiltonian normal formresonance lociBirkhoff normal forminvariant toriHamiltonian systemsnormal formsresonant dynamicsdynamical systems
0
0 comments X

The pith

The Hamiltonian normal form with poles along resonance loci replaces the Birkhoff normal form and is expected to yield better approximations in both theory and numerical work.

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

This paper extracts and presents the Hamiltonian normal form in its simplest form. The form incorporates poles along the resonance loci instead of relying on the classical Birkhoff normal form for Hamiltonian systems. The construction played a central role in establishing the Herman invariant tori conjecture. A sympathetic reader cares because normal forms are the main tool for analyzing perturbations and long-term behavior near resonances, so an improved version could sharpen both proofs of stability and practical computations of orbits.

Core claim

The Hamiltonian normal form is defined as a normal form for Hamiltonian systems that admits poles along the resonance loci. Presented here in its simplest version extracted from earlier work, it replaces the Birkhoff normal form and is expected to furnish better approximations both in theoretical arguments and in numerical computations.

What carries the argument

The Hamiltonian normal form itself, a normal-form construction for Hamiltonians that places poles at resonance loci to accommodate resonant dynamics without the restrictions of the Birkhoff procedure.

If this is right

  • The form supports proofs of results such as the Herman invariant tori conjecture by handling resonances directly.
  • Numerical algorithms based on this normal form produce more accurate long-term approximations near resonances.
  • The simplified presentation makes the technique accessible for further applications to perturbed Hamiltonian systems.

Where Pith is reading between the lines

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

  • The same pole structure might be adapted to study resonances in volume-preserving or symplectic maps beyond the Hamiltonian setting.
  • Explicit recursive formulas for the coefficients of this normal form could be derived to automate its computation in moderate dimensions.
  • Applications in celestial mechanics would benefit from the improved treatment of mean-motion resonances.

Load-bearing premise

The poles along resonance loci can be introduced into the normal form and controlled rigorously so that they do not produce uncontrolled divergences or errors that would invalidate subsequent approximations or proofs.

What would settle it

An explicit low-dimensional resonant Hamiltonian for which the Hamiltonian normal form either diverges or produces visibly larger errors in computed invariants than the corresponding Birkhoff normal form.

read the original abstract

An important step in the proof of the Herman invariant tori conjecture was the introduction of a normal form with poles along the resonance loci, replacing the Birkhoff normal form, which we call the Hamiltonian normal form. This paper is extracted from previous versions (arXiv:1206.1245, arXiv:1909.06053) and aims to present this Hamiltonian normal form in its simplest form. It is expected that, not only theoretically but also in numerical computations, it will provide better approximations than the standard Birkhoff normal form.

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

2 major / 1 minor

Summary. The manuscript extracts and presents the Hamiltonian normal form featuring poles along resonance loci as a replacement for the Birkhoff normal form. Drawn from the authors' prior preprints (arXiv:1206.1245 and arXiv:1909.06053), it aims to describe the construction in simplest terms and states an expectation of superior theoretical and numerical approximations compared to the standard Birkhoff form.

Significance. If the poles remain controlled and the form indeed yields better approximations without introducing divergences, the result could strengthen tools for analyzing near-resonant Hamiltonian dynamics and support advances toward results such as the Herman invariant tori conjecture.

major comments (2)
  1. Abstract: the expectation that the Hamiltonian normal form 'will provide better approximations than the standard Birkhoff normal form' both theoretically and numerically is asserted without any accompanying derivations, remainder estimates, or numerical comparisons appearing in the manuscript.
  2. Abstract: the central construction is referenced to earlier works rather than re-derived or validated here, leaving open whether the poles along resonance loci can be rigorously controlled without uncontrolled growth in the homological equation.
minor comments (1)
  1. The manuscript would benefit from explicit pointers to the precise sections or theorems in the cited preprints that contain the detailed proofs and any existing comparisons.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for their detailed comments, which help us improve the clarity and self-containment of the manuscript. We respond to each major comment as follows.

read point-by-point responses

  1. Referee: Abstract: the expectation that the Hamiltonian normal form 'will provide better approximations than the standard Birkhoff normal form' both theoretically and numerically is asserted without any accompanying derivations, remainder estimates, or numerical comparisons appearing in the manuscript.

    Authors: We concur that this manuscript does not contain new derivations, estimates, or comparisons, as it is an extraction presenting the normal form in its simplest terms from our earlier preprints. The stated expectation is informed by the theoretical framework developed in arXiv:1206.1245 and arXiv:1909.06053. To better reflect this, we will revise the abstract to indicate that the superior approximation is anticipated based on prior analyses. We will also insert a short paragraph in the introduction summarizing the key advantages and referencing the relevant estimates from those works. This is a partial revision. revision: partial

  2. Referee: Abstract: the central construction is referenced to earlier works rather than re-derived or validated here, leaving open whether the poles along resonance loci can be rigorously controlled without uncontrolled growth in the homological equation.

    Authors: The purpose of this paper is to extract and present the Hamiltonian normal form in its simplest form, with the detailed construction and rigorous control of the poles provided in the cited prior works. Nevertheless, to mitigate concerns about validation within this document, we will add a concise description of the construction process, including how the homological equation is solved with poles at resonance loci to avoid uncontrolled growth. This addition will be included in the main body of the revised manuscript. revision: yes

Circularity Check

1 steps flagged

Expository extraction relies on self-citations for core normal form construction and superiority claim

specific steps
  1. self citation load bearing [Abstract]
    "This paper is extracted from previous versions (arXiv:1206.1245, arXiv:1909.06053) and aims to present this Hamiltonian normal form in its simplest form. It is expected that, not only theoretically but also in numerical computations, it will provide better approximations than the standard Birkhoff normal form."

    The construction of the normal form (with poles along resonance loci) and the claim of theoretical/numerical superiority are not derived or validated within this manuscript; both are deferred to the authors' overlapping prior papers, so the load-bearing premise reduces to self-citation without independent re-derivation or external benchmarks shown here.

full rationale

The manuscript is presented as an extraction from the authors' own prior arXiv preprints rather than a self-contained derivation. The Hamiltonian normal form with poles is introduced by reference to those works, and the expectation of improved approximations over Birkhoff form is asserted without fresh remainder estimates, numerical tests, or independent validation appearing in the text. This makes the central claims load-bearing on self-citations whose content is not re-derived or externally benchmarked here, though the paper does not claim to prove new theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; the normal form construction is referenced but not detailed enough to audit.

pith-pipeline@v0.9.0 · 5601 in / 1109 out tokens · 33740 ms · 2026-05-21T02:32:18.578656+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

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

  1. [1]

    The Herman conjecture

    M. Garay,The Herman conjecture, ArXiv: 1206.1245, 2012

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  2. [2]

    ,The Herman conjecture, Oberwolfach reports, European Mathematical Society, 2012

    work page 2012

  3. [3]

    Garay and D

    M. Garay and D. van Straten,The Herman invariant tori conjecture, ArXiv:1909.06053v2, 2022

    work page arXiv 1909

  4. [4]

    1, 207–236

    ,A category of Banach space functors, Journal of Lie Theory34(2024), no. 1, 207–236

    work page 2024

  5. [5]

    Moser,Convergent series expansions for quasi-periodic motions, Mathematische Annalen169 (1967), 136–176

    J. Moser,Convergent series expansions for quasi-periodic motions, Mathematische Annalen169 (1967), 136–176

    work page 1967

  6. [6]

    Poincaré,Les méthodes nouvelles de la mécanique céleste, Gauthier-Villars, 1892-1899, 3 vol

    H. Poincaré,Les méthodes nouvelles de la mécanique céleste, Gauthier-Villars, 1892-1899, 3 vol

    work page