Fold of a bifurcation solution from the figure-eight choreography in the three body problem

Hiroshi Fukuda; Hiroshi Ozaki

arxiv: 2601.19547 · v2 · submitted 2026-01-27 · 🧮 math-ph · math.MP

Fold of a bifurcation solution from the figure-eight choreography in the three body problem

Hiroshi Fukuda , Hiroshi Ozaki This is my paper

Pith reviewed 2026-05-16 11:06 UTC · model grok-4.3

classification 🧮 math-ph math.MP

keywords three-body problemfigure-eight choreographybifurcation solutionsLyapunov-Schmidt reductionaction functionalperiodic orbitsfolding

0 comments

The pith

Bifurcation solutions from the figure-eight choreography in the three-body problem fold when the third and fourth expansion coefficients meet a specific condition.

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

The paper examines bifurcation solutions that branch from the figure-eight choreography in the classical three-body problem. It demonstrates that these solutions sometimes fold back onto one side of the bifurcation point, producing a cusp in the action functional. The analysis reduces the problem via the Lyapunov-Schmidt method to a two-dimensional action with three-fold symmetry and expands that action to fourth order. The authors derive and verify the condition on the third and fourth coefficients that produces the fold. Numerical examples for Lennard-Jones-type and homogeneous potentials illustrate the behavior.

Core claim

In the figure-eight choreography of the classical three-body problem, both-side bifurcation solutions fold on one side of the bifurcation point with a cusp of action. Up to fourth order in the representation variable of the Lyapunov-Schmidt reduced action in two dimensions with three-fold symmetry, the fold occurs under a condition given by the third and fourth expansion coefficients.

What carries the argument

The Lyapunov-Schmidt reduced action functional in two dimensions with three-fold symmetry, expanded to fourth order in the representation variable.

If this is right

The fold produces one-sided branching accompanied by a cusp in the action.
The same folding occurs for both Lennard-Jones-type and homogeneous potentials in the provided examples.
Higher-order terms in the reduced action determine whether both-side bifurcations remain two-sided or fold to one side.
Local dynamics near the figure-eight solution are governed by the two-dimensional reduced model up to the orders considered.

Where Pith is reading between the lines

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

Similar coefficient conditions may govern folding in other symmetric periodic solutions of the n-body problem.
Computing the expansion coefficients for new potentials could predict the existence and location of folds without full numerical continuation.
Including fifth-order terms might reveal whether additional folds or more intricate bifurcation structures appear beyond the current analysis.

Load-bearing premise

The Lyapunov-Schmidt reduction to two dimensions with three-fold symmetry accurately captures the local behavior of the action functional near the figure-eight solution up to fourth order.

What would settle it

Direct numerical continuation of the bifurcation solutions for a chosen potential, combined with explicit computation of the third and fourth coefficients, would show whether the predicted fold condition holds.

read the original abstract

In the figure-eight choreography in the classical three-body problem, both-side bifurcation solutions sometimes fold on one side of the bifurcation point with cusp of action. Three numerical examples of a such fold for figure-eight choreography under the Lennard-Jones-type potential and one under the homogeneous potential are introduced. Up to the fourth order of representation variable of the Lyapunov-Schmidt reduced action in two dimensions with three-fold symmetry, the fold is analyzed. It is shown that the bifurcation solutions fold under a condition given by the third and fourth expansion coefficients.

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.

Desk Editor's Note private letter to a colleague

The paper extracts a concrete algebraic condition on the third and fourth coefficients of the Lyapunov-Schmidt reduced action that predicts folding of the bifurcation branches from the figure-eight choreography, illustrated with numerical examples under two potentials.

read the letter

The main result is a specific relation between the third and fourth coefficients in the two-dimensional reduced action (with three-fold symmetry) that determines when the bifurcating solutions fold back with a cusp. They compute the Taylor expansion of the reduced functional explicitly up to degree four and show that the algebraic curves in the parameter plane produce the observed folding for the given examples. This is new in the sense that the condition is stated directly in terms of those coefficients rather than left as a numerical observation. The work is useful because it turns the local analysis into a checkable criterion for this classic choreography under Lennard-Jones-type and homogeneous potentials. They supply four concrete numerical cases where the branches behave as the condition predicts, which gives the claim some grounding beyond pure formal manipulation. The Lyapunov-Schmidt setup itself follows standard lines for symmetric variational problems, so the reduction step is not the novel part. The soft spot is the truncation: the argument relies on the O(5) remainder not altering the local cusp geometry near the origin. No bound on that remainder or comparison with a fifth-order expansion is given, so the conclusion that the fold occurs precisely under the stated coefficient condition remains conditional on the higher terms being small enough in the relevant parameter range. The numerical examples are consistent with the prediction but cannot rule out that the truncation misses a qualitative change for some nearby potentials. This is incremental but careful work aimed at researchers who already work with choreographies and variational reductions in the three-body problem. A reader who needs an explicit folding criterion for these symmetric branches will find it directly usable, while someone looking for a general reorganization of bifurcation theory in celestial mechanics will not. The computation is explicit enough that a referee can verify the coefficient extraction and the algebraic condition without excessive effort. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript studies folding of bifurcation branches from the figure-eight choreography in the three-body problem. For Lennard-Jones-type and homogeneous potentials, numerical examples show that certain bifurcation solutions fold on one side of the bifurcation point, producing a cusp in the action functional. The authors perform a Lyapunov-Schmidt reduction to a two-dimensional reduced action with three-fold symmetry, compute its Taylor expansion through degree four, and derive an algebraic condition on the third- and fourth-order coefficients that produces the observed fold.

Significance. If the fourth-order truncation faithfully represents the local geometry, the result supplies an explicit, coefficient-based criterion for the appearance of folds and cusps near the figure-eight solution. This would be a concrete contribution to the local bifurcation theory of choreographic orbits under non-Newtonian potentials and could guide further numerical searches for periodic solutions.

major comments (2)

[Lyapunov-Schmidt reduction and fourth-order expansion] The central claim that the fold occurs precisely when the third- and fourth-order coefficients satisfy the stated algebraic relation rests on the assertion that the O(5) remainder does not change the local level-set geometry near the origin. No a-priori bound on the remainder, comparison with a higher-order truncation, or explicit estimate of the radius of validity is supplied; this is load-bearing for the qualitative conclusion.
[Numerical examples] The three numerical examples are presented without the concrete parameter values (e.g., the specific exponents or length scales in the Lennard-Jones potential, the homogeneity degree, or the discretization parameters used to compute the reduced coefficients). Without these data the examples cannot be reproduced or used to test the truncation error.

minor comments (2)

[Section 2] Notation for the reduced variables and the three-fold symmetry group action should be introduced once, early, and used consistently; several passages repeat definitions that could be consolidated.
[Abstract] The abstract states “one under the homogeneous potential” while the body appears to contain three Lennard-Jones examples and one homogeneous example; the wording should be aligned.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major point below and will revise the manuscript to improve rigor and reproducibility.

read point-by-point responses

Referee: [Lyapunov-Schmidt reduction and fourth-order expansion] The central claim that the fold occurs precisely when the third- and fourth-order coefficients satisfy the stated algebraic relation rests on the assertion that the O(5) remainder does not change the local level-set geometry near the origin. No a-priori bound on the remainder, comparison with a higher-order truncation, or explicit estimate of the radius of validity is supplied; this is load-bearing for the qualitative conclusion.

Authors: We agree that an explicit a-priori bound on the O(5) remainder would strengthen the presentation. The Lyapunov-Schmidt reduction produces a C^infty reduced action near the origin, so the remainder after degree 4 is o(r^4) as r approaches 0. Under the stated algebraic condition on the third- and fourth-order coefficients, the degree-4 homogeneous part determines a fold in the level sets; for sufficiently small r the higher-order terms cannot alter this local qualitative behavior. In the revision we will add a short paragraph making this domination argument explicit and stating that the result holds in a small neighborhood whose size depends on the C^5 norm of the remainder. We will also include a brief numerical check of the fifth-order truncation in one example to illustrate the radius of validity. revision: partial
Referee: [Numerical examples] The three numerical examples are presented without the concrete parameter values (e.g., the specific exponents or length scales in the Lennard-Jones potential, the homogeneity degree, or the discretization parameters used to compute the reduced coefficients). Without these data the examples cannot be reproduced or used to test the truncation error.

Authors: We apologize for the omission. The revised manuscript will supply the missing data: the precise exponents and length scales for each Lennard-Jones-type potential, the homogeneity degree for the homogeneous-potential example, and the discretization parameters (number of collocation points and step-size control) used to evaluate the reduced coefficients. These additions will make the examples fully reproducible and allow direct assessment of truncation error. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit algebraic derivation from computed Taylor coefficients of reduced action

full rationale

The paper computes the Lyapunov-Schmidt reduced action explicitly up to fourth order in the two-dimensional representation variable with three-fold symmetry, then derives the folding condition directly from the algebraic relations among the resulting third- and fourth-order coefficients. This is a forward computation of the expansion followed by inspection of the resulting algebraic curves; the output condition is not presupposed by the inputs, nor is any parameter fitted to data and then relabeled as a prediction. No self-citation is used to justify a uniqueness theorem or ansatz that would close the argument on itself. The derivation chain therefore remains self-contained and does not reduce to its own premises by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim depends on the applicability of Lyapunov-Schmidt reduction to the action functional of the three-body problem under the stated symmetry; no free parameters or invented entities are explicitly introduced in the abstract.

axioms (1)

domain assumption Lyapunov-Schmidt reduction applies to the action functional near the figure-eight choreography in two dimensions with three-fold symmetry.
Invoked to obtain the reduced action whose third and fourth coefficients determine the fold.

pith-pipeline@v0.9.0 · 5376 in / 1157 out tokens · 27641 ms · 2026-05-16T11:06:04.655241+00:00 · methodology

Fold of a bifurcation solution from the figure-eight choreography in the three body problem

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)