Infinite Orbit depth and length of Melnikov functions
Pith reviewed 2026-05-24 17:30 UTC · model grok-4.3
The pith
A polynomial Hamiltonian system and loop can have infinite orbit depth.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We give a simple example of a Hamiltonian system F and its orbit γ having infinite orbit depth. If our conjecture is true, for this example there should exist deformations dF + εω with arbitrary high length first nonzero Melnikov function M_μ along γ. We construct deformations dF + εω = 0 whose first nonzero Melnikov function M_μ is of length three and explain the difficulties in constructing deformations having high length first nonzero Melnikov functions M_μ.
What carries the argument
Orbit depth k(F, γ), the geometric quantity that bounds the possible length of the iterated integral defining the first nonzero Melnikov function M_μ.
If this is right
- The length of any first nonzero Melnikov function along the given γ is unbounded.
- Explicit perturbations exist that realize a first nonzero Melnikov function of length three.
- The algebraic form of the example creates obstructions that block realizations of lengths greater than three.
- If the optimality conjecture holds, the example admits first nonzero Melnikov functions of every finite length.
Where Pith is reading between the lines
- The example supplies a test case for whether infinite depth alone suffices to produce high-length Melnikov functions or whether further conditions on the perturbation form are required.
- Analogous constructions could be attempted in other families of Hamiltonian systems to determine whether infinite orbit depth occurs only in special cases.
- The obstructions noted for lengths above three indicate that the dependence of Melnikov length on the choice of ω remains nontrivial even when orbit depth is infinite.
Load-bearing premise
The geometric definition of orbit depth from prior work correctly assigns infinity to the chosen polynomial F and loop γ.
What would settle it
An explicit calculation showing that the orbit depth for the given F and γ is finite, or a general proof that the length of any first nonzero Melnikov function remains bounded for all choices of perturbation ω.
read the original abstract
In this paper we study polynomial Hamiltonian systems $dF=0$ in the plane and their small perturbations: $dF+\epsilon\omega=0$. The first nonzero Melnikov function $M_{\mu}=M_{\mu}(F,\gamma,\omega)$ of the Poincar\'e map along a loop $\gamma$ of $dF=0$ is given by an iterated integral. In a previous work (see arXiv 1703.03837), we bounded the length of the iterated integral $M_\mu$ by a geometric number $k=k(F,\gamma)$ which we call orbit depth. We conjectured that the bound is optimal. Here, we give a simple example of a Hamiltonian system $F$ and its orbit $\gamma$ having infinite orbit depth. If our conjecture is true, for this example there should exist deformations $dF+\epsilon\omega$ with arbitrary high length first nonzero Melnikov function $M_\mu$ along $\gamma$. We construct deformations $dF+\epsilon\omega=0$ whose first nonzero Melnikov function $M_\mu$ is of length three and explain the difficulties in constructing deformations having high length first nonzero Melnikov functions $M_\mu$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper examines polynomial Hamiltonian systems dF=0 in the plane and small perturbations dF + εω = 0. Building on a prior definition of orbit depth k(F,γ) from arXiv:1703.03837, it constructs a specific polynomial F and loop γ claimed to have infinite orbit depth. Under the authors' optimality conjecture for the bound on the length of the first nonzero Melnikov function M_μ by k(F,γ), this would imply the existence of deformations with arbitrarily high-length M_μ. The manuscript explicitly constructs deformations achieving length-three M_μ along γ and discusses obstacles to constructing higher-length examples.
Significance. If the infinite-depth example is rigorously verified under the geometric definition and the optimality conjecture holds, the result would establish that Melnikov function lengths are unbounded for polynomial Hamiltonians, providing a concrete advance in understanding iterated-integral bounds for Poincaré maps. The explicit length-three constructions offer a verifiable illustration of the theory in action.
major comments (2)
- [example section / abstract] The central claim of infinite orbit depth for the constructed F and γ (stated in the abstract and developed in the example section) rests on applying the geometric nesting/return-map definition from arXiv:1703.03837. However, the manuscript provides no explicit inductive argument, computation of successive level-curve intersections, or verification steps showing that the depth process continues indefinitely rather than terminating after finitely many steps for the chosen algebraic level sets. This verification is load-bearing for the claim that k(F,γ)=∞ and thus for the implication of unbounded Melnikov lengths.
- [final section] The length-three deformations are constructed explicitly, but the discussion of difficulties for higher lengths (final section) does not include a precise obstruction (e.g., a vanishing condition on higher iterated integrals or a degree bound) that would explain why length >3 cannot be achieved while preserving the infinite-depth property; this leaves the gap between the infinite-depth claim and the achieved length-three result unbridged.
minor comments (2)
- [introduction] The notation for the Melnikov function M_μ(F,γ,ω) and the index μ should be defined at first use with a brief reminder of how μ indexes the first nonzero term.
- [introduction] The manuscript cites the prior definition but does not restate the precise geometric definition of k(F,γ) in a self-contained paragraph; adding a one-paragraph recap would improve readability without lengthening the paper.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on the manuscript. The two major points identify areas where additional detail would strengthen the presentation of the infinite-depth example and the discussion of Melnikov lengths. We respond point by point below.
read point-by-point responses
-
Referee: The central claim of infinite orbit depth for the constructed F and γ rests on applying the geometric nesting/return-map definition from arXiv:1703.03837. However, the manuscript provides no explicit inductive argument, computation of successive level-curve intersections, or verification steps showing that the depth process continues indefinitely rather than terminating after finitely many steps for the chosen algebraic level sets.
Authors: We agree that the verification of k(F,γ)=∞ would benefit from more explicit steps. The level sets in the example were selected precisely to allow continued nesting under the geometric definition, but the manuscript relies on the reader to verify this from the figures and the prior paper. In the revised version we will insert a short inductive argument together with the first few explicit return-map computations confirming that the process does not terminate. revision: yes
-
Referee: The length-three deformations are constructed explicitly, but the discussion of difficulties for higher lengths does not include a precise obstruction (e.g., a vanishing condition on higher iterated integrals or a degree bound) that would explain why length >3 cannot be achieved while preserving the infinite-depth property; this leaves the gap between the infinite-depth claim and the achieved length-three result unbridged.
Authors: The final section describes the concrete algebraic and combinatorial obstacles encountered when attempting length-four and higher constructions (rapid growth of the number of iterated-integral terms and the requirement that all lower-length integrals vanish). We do not possess a rigorous obstruction theorem that would forbid lengths greater than three while keeping infinite depth; the gap therefore remains open and is consistent with the optimality conjecture. We will revise the text to state this limitation more explicitly and to separate the achieved constructions from the conjectural unboundedness. revision: partial
Circularity Check
No significant circularity; example is independent application of prior definition
full rationale
The paper's central claim is the existence of a new polynomial Hamiltonian F and loop γ with infinite orbit depth k(F,γ). This rests on applying the geometric definition of k from the cited prior work (arXiv:1703.03837) to the newly constructed example. The construction itself is independent and does not reduce to the definition by construction, nor does any equation or claim within this paper redefine or fit k in terms of the Melnikov functions or vice versa. The self-citation is used only to recall the definition and is externally falsifiable by direct application of that definition to the given F and γ. No load-bearing self-citation chain, self-definitional step, or fitted input renamed as prediction appears. The constructions of deformations achieving length-three Melnikov functions are likewise independent of the depth claim.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Iterated integrals along loops of polynomial Hamiltonian systems are well-defined and their length is bounded by the geometric orbit depth k(F,γ).
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.