Pith. sign in

REVIEW 3 major objections 4 minor 25 references

The problem of infinite Spin for parabolic and collision solutions in the planar $n$-body problem

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Infinite spin is ruled out for parabolic and partial-collision n-body orbits when the shape tends to an isolated central configuration.

desk verdict Theorem 1.13, the shadowing lemma used to reach the invariant manifold, is false as stated, and the main theorems rely on it directly; the paper needs major repair but is worth referee time. read the letter →

arxiv 2507.05801 v2 pith:HSUABUEK submitted 2025-07-08 math.DS

Zhe Wang , Guowei Yu This is my paper · ORCID
classification math.DS MSC 70F1070F1637D10
keywords infinitespinparabolicsolutionscollisioncentralconfigurationsplanarn-bodyproblemMcGeheecoordinatesLojasiewiczinequalityshadowingtheorem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper takes on the infinite spin problem in the planar n-body problem: a cluster's normalized shape may settle toward a central configuration while the cluster keeps rotating forever. The authors establish that this cannot happen for k-parabolic solutions, where a subsystem's mutual distances grow like $t^{2/3}$, nor for k-collision solutions near collision time, as long as the reduced normalized configuration converges to an isolated central configuration. This extends a recent no-infinite-spin theorem for total collisions to both complete and partially parabolic solutions, and generalizes it to partial collisions. The proof works by transforming the parabolic problem into a time-dependent perturbation of the total-collision system and then showing the perturbed orbit is exponentially shadowed by an orbit on an invariant manifold, where the known finite-arclength argument applies.

What carries the argument

The load-bearing construction is a modified McGehee coordinate system for parabolic motion, defined by $u=r^{-1/2}$, $v=\sqrt{r}\,\rho$, $w=r^{3/2}\,\omega$, and $d\tau=r^{-3/2}\,dt$. In these coordinates the equations of motion become a non-autonomous system whose time-dependent terms $u^2P(\tau)$ and $u^2Q(\tau)$ are bounded and decay rapidly, and the parabolic solution converges to an isolated equilibrium $p_0=(0,v_0,s_0,0)$. The supporting Theorem 1.13 is a shadowing result for smooth time-dependent systems: if a solution converges to an equilibrium of the autonomous part and the perturbation decays exponentially at every rate below the spectral gap, then that solution is exponentially close to a solution lying on the invariant submanifold $N$. This reduces the parabolic and partial-collision problems to the autonomous dynamics on $M$, where the Lojasiewicz-inequality argument already used in the total-collision case yields finite Fubini--Study arclength and hence convergence of the rotation angle.

What would settle it

Exhibit a degenerate central configuration of a planar n-body subsystem, compute the local center-manifold graph, and check whether the restricted potential $W$ satisfies $|\tilde\nabla W(x)|^2 \ge |W(x)-W(0)|^\alpha$ for some $1<\alpha<2$ near the origin; if a sequence $x\to 0$ satisfies $|\tilde\nabla W(x)|^2 < |W(x)-W(0)|^\alpha$, the finite-arclength lemma cannot be invoked and the degenerate-case proof collapses. Alternatively, a numerical integration producing a $k$-parabolic or $k$-collision solution that meets the isolated-CC hypothesis but whose rotation angle does not converge would directly refute the theorem.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.8: if $q(t)$ is a $k$-parabolic solution and the reduced, normalized relative configuration $[q^c_k(t)]$ in $S_k/SO(2)$ converges to an isolated central configuration, then the normalized relative configuration $q^c_k(t)$ converges to a particular central configuration in $\mathcal{C}_k$, so the rotation angle converges and there is no infinite spin. Theorem 1.14 makes the same assertion for $k$-collision solutions as $t\to T$, thereby extending the total-collision result to partial collisions. The mechanism is a rescaling $u=r^{-1/2}$, $v=\sqrt{r}\,\rho$, $w=r^{3/2}\,\omega$, $d\tau=r^{-3/2}\,dt$, in which the parabolic solution approaches an isolated equilibrium and the influence of outside masses appears only as small time-dependent terms. A new shadowing theorem then places the true orbit exponentially close to a solution contained in the invariant submanifold $M=\{u=0\}$, where the dynamics coincide with those of the total-collision problem; finite Fubini--Study arclength on that manifold forces the rotation to settle.

Load-bearing premise

The proof's load-bearing premise is that the Lojasiewicz-type inequality for the restricted potential $W$ still holds after pulling back to the local center manifold in the degenerate case, even though the center-manifold graph is only finitely differentiable and the constant $k=2/v(0)>0$ has the opposite sign from the collision case; if that inequality fails, the finite-arclength conclusion and with it Theorems 1.8 and 1.14 no longer follow.

Editorial extensions

If this is right

  • For any $k$-parabolic solution whose reduced shape limit is an isolated central configuration, the normalized shape has a definite limit rather than a limit circle traced out by continuing rotation.
  • The no-infinite-spin conclusion now covers partial collisions as well as total collisions, so a subcluster undergoing collision also settles into a definite rotation angle under the same isolated-CC hypothesis.
  • The proof of Proposition 1.6 shows that parabolicity alone forces the subsystem energy to decay like $O(t^{-5/3})$ and the shape to accumulate on the central-configuration set, without the extra global bound $R(t)=O(t)$.
  • The shadowing theorem is a general statement about time-dependent perturbations of autonomous systems with an invariant submanifold and an equilibrium, so it can be applied outside the n-body setting whenever the perturbation and spectral-gap conditions hold.
  • If Smale's finiteness conjecture holds, every normalized central configuration is isolated up to rotation, making the isolated-CC hypothesis the natural generic condition under which the theorems apply.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same reduction may work in the spatial three-dimensional n-body problem, where the quotient by $SO(3)$ replaces $\mathbb{CP}^{k-2}$; the shadowing theorem itself is dimension-agnostic.
  • If the Lojasiewicz-type inequality holds on the center manifold, the argument likely yields quantitative decay rates for the shape's approach to the central configuration, not merely convergence.
  • Because Theorem 1.13 only requires exponential decay of the perturbation, a plausible extension is to nearly parabolic clusters in hierarchical systems where the separation from other bodies grows faster than linearly, as long as the induced forcing still decays exponentially in the rescaled time.
  • The most fragile step, the degenerate-case Lojasiewicz inequality on the center manifold, is stated without derivation; testing it numerically on concrete degenerate central configurations would be a meaningful check of the proof route.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies infinite spin for parabolic and collision solutions in the planar n-body problem. The authors introduce a modified McGehee coordinate system in (2.8), derive a non-autonomous blown-up system (2.9), and prove Theorem 2.5 stating that, when the reduced normalized configuration converges to an isolated central configuration, the blown-up solution converges to an equilibrium. They then state a general time-dependent shadowing theorem (Theorem 1.13) and use it, via Proposition 3.1, to shadow the parabolic orbit by a solution on the invariant manifold {u=0}. The remaining argument follows Moeckel and Montgomery [16]: on the invariant manifold, a center-manifold reduction and a Lojasiewicz-type inequality yield finite arclength, whence no infinite spin (Theorem 1.8). The same scheme is applied to partial collision solutions (Theorem 1.14). The paper also proves Proposition 1.6, giving asymptotic decay of the subsystem energy and convergence of the normalized configuration to the set of central configurations.

Significance. If the main results were established, they would be a natural and significant extension of Moeckel and Montgomery's total-collision theorem [16] to complete and partial parabolic solutions and to partial collisions, under the same isolated-central-configuration hypothesis. The modified McGehee coordinates, the treatment of the time-dependent terms coming from the rest of the system, and the explicit estimates in Lemmas 2.1 and 6.1 are useful contributions. However, the central shadowing theorem on which the proofs rely is false as stated, and the Lojasiewicz transfer in the degenerate case is only asserted, not proved. The main theorems are therefore not established by the present manuscript; a corrected or replaced shadowing argument would be required.

major comments (3)
  1. [§5, Theorem 1.13 (Eq. (5.4))] Theorem 1.13 is false as stated. Counterexample: take f(x,y)=(-x^3,-y), g=0, N={x=0}. Then A=Df(0)=diag(0,-1), β=1, and x(t)=((2(t+1))^{-1/2},0) satisfies x(t)→0 and e^{αt}|g|=0 for every α<1. But every solution in N has the form (0,C e^{-t}), so its distance to x(t) in the x-coordinate is ~(2t)^{-1/2}, which is not exponentially small. Consequently no exponential shadow in N exists. The defect in the proof is at the step after (5.4): the fixed point z of Λ only shows that y=x*+z solves the equation y'=Ay+h(y); the derivation of (5.4) used the representation (5.2), which is necessary for solutions in N but not sufficient. In the counterexample z=0 is a fixed point even though y=x* is not in N. Since Proposition 3.1 invokes Theorem 1.13 with N=M={u=0}, the exponential shadowing onto M is not established, and Theorems 1.8 and 1.14 are not proven by the present argument.
  2. [§3, Lemma 3.3 and Lemma 3.4] The degenerate-CC half of the proof is not actually carried out. Lemma 3.3 asserts the Lojasiewicz-type inequality |∇˜W(x)|^2 ≥ |W(x)-W(0)|^α, and the text says the proof is 'completely the same' as Lemmas 4.3 and 4.4 of [16]. But W(x)=V_k(x,φ(x)) is built from the center-manifold graph φ, which is only C^k, whereas the Lojasiewicz inequality in [10] is for analytic functions; no argument shows that the restricted potential inherits the needed inequality. In addition, the constant k=2/v(0)>0 has the opposite sign from the corresponding constant in [16], and Lemma 3.4 claims the same proof goes through after replacing W by -W, but the reduction from the equation x'=k∇W(x)+γ(x) with k>0 to the gradient-flow argument in [16] is only asserted. Since Lemma 3.4 is what yields finite arclength in the degenerate case, Theorem 1.8 is incomplete for degenerate isolated central configurations.
  3. [§4, Theorem 1.14] The proof of Theorem 1.14 is a sketch at the crucial point: after obtaining a result 'similar to Proposition 3.1' via Theorem 1.13, the text says the theorem follows by 'an argument similar to those given in Section 3'. The collision case has v0<0 and the equation r'=rv, so the local center manifold and the sign of the gradient constant in the restriction to M differ from the parabolic case. The degenerate-CC Lojasiewicz step needs to be written out for this setting. Together with the failure of Theorem 1.13, this means Theorem 1.14 is not established as a theorem with a complete proof.
minor comments (4)
  1. [§2, Eq. (2.1)] In the displayed computation of d/dt(∂L/∂ω), the last term is written as '˙µω'; this appears to be a typo for '˙µB(s)' (with the appropriate transposes), since the preceding expression is r^2A(s)ω+μB(s). As printed the term is dimensionally inconsistent.
  2. [§2, Definition 1.2] The symbol k is used both for a subset of {1,...,n} and for its cardinality, e.g. 'k = {1,...,k}'. This is a common abuse of notation, but it should be flagged explicitly to avoid confusion in the asymptotic estimates.
  3. [§3, proof of Proposition 3.1] The sentence 'Since -v0/2 is an eigenvalue, when β ≤ 1/2 v0' is tautological: because -v0/2 is an eigenvalue, the spectral gap β automatically satisfies β ≤ v0/2. The wording should be cleaned up.
  4. [§5, extension of x(t)] The extension x*(t)=x(0) for t<0 makes x* only piecewise differentiable at t=0; the variation-of-constants formula (5.3) is valid in the integral sense, but the lack of differentiability at 0 and the resulting distributional term φ(t) should be discussed more carefully.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central claims are conditional theorems proved from external, independently published results, not restatements of their inputs.

full rationale

I walked the derivation chain. Theorem 1.8 assumes convergence of the reduced normalized configuration to an isolated central configuration and concludes convergence of the lifted normalized configuration with no infinite spin; the conclusion is not contained in the hypothesis, since the lift could in principle rotate around the circle of central configurations. The proof proceeds through the coordinate change (2.8), equilibrium convergence Theorem 2.5, and Proposition 3.1, whose only external dependency is Theorem 1.13, proved in Section 5 following Bressan's center-manifold argument. The paper fits no parameters and defines no quantity in terms of the target conclusion. The degenerate case relies on Lemmas 3.2-3.4, whose proofs are explicitly imported from Moeckel-Montgomery [16] and Lojasiewicz [10]; these are independent published results, not self-citations, and the paper states the needed modification explicitly: 'the only difference is here k > 0, while it is negative in [16], but the same proof goes through as well'. Reference [25] (X. Yu) is used as historical context for the total-collision case, not as a load-bearing premise. The skeptical concern that Theorem 1.13 may be false as stated, because the contraction argument never enforces membership in N, is a correctness objection rather than a circularity: even if valid, it would not make the claimed theorem an equivalent restatement of its assumptions. No self-definitional, fitted-input, self-citation, imported-uniqueness, ansatz-smuggling, or renaming pattern is present.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted: the constants in Definition 1.2 are existential bounds in the definition of k-parabolic, and nothing in the proof is tuned to force the conclusion. The central claim rests on published background results (center manifold theorem, Lojasiewicz inequality, Marchal-Saari, Sundman) plus the stated isolated-CC hypothesis. The only ingredient not proved inside the paper is the transfer of Lemmas 3.2-3.4 from [16] to the parabolic setting. No new physical entities are introduced; the modified McGehee coordinates (2.8) and the partition-of-unity regularization (Remark 2.4) are mathematical devices, not entities.

assumptions (5)
  • standard math Center manifold theorem (Bressan [2]), used in the proof of Theorem 1.13 and in Section 3 for the degenerate case.
    Imported published theorem. Theorem 1.13 follows Bressan's contraction-mapping proof; Section 3 invokes the center manifold theorem from [2, page 330] to reduce to the gradient-like system.
  • standard math Lojasiewicz inequality for analytic functions [10], used through Lemma 3.3.
    Classical inequality; the delicate part is its application to the restricted potential W on a C^k center manifold, which Lemma 3.3 asserts without proof, delegating to [16, Lemma 4.4].
  • standard math Marchal-Saari final evolution results [12], specifically Corollary 4 used in Proposition 1.6(b).
    Published theorem stating that the normalized relative configuration of a parabolic subsystem approaches the set of central configurations; Proposition 1.6 combines it with Lemma 6.1's new error estimate.
  • standard math Sundman's collision estimates [23] (I_k ~ |T-t|^{4/3}, K_k ~ |T-t|^{-2/3}), used in Lemma 4.2.
    Standard published estimates near collision; used to prove |µ(t)| = O(r^{5/2}) for partial collision solutions in Lemma 4.2.
  • domain assumption The reduced normalized configuration [q^c_k(t)] converges to an isolated central configuration.
    Explicit hypothesis of Theorems 1.8 and 1.14. The paper motivates it via Smale's finiteness conjecture but does not prove it; the theorems are conditional on this assumption, exactly as in [16] and [8].

how reviews work

0 comments
Cite this review

Pith. "Pith review of The problem of infinite Spin for parabolic and collision solutions in the planar $n$-body problem." pith.science (2026). https://pith.science/paper/HSUABUEK

@misc{pith2026250705801,
  author       = {Pith},
  title        = {Pith review of: The problem of infinite Spin for parabolic and collision solutions in the planar $n$-body problem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HSUABUEK}},
  note         = {Machine review of arXiv:2507.05801}
}
abstract

In the planar $n$-body problem, the problem of infinite spin occurs for both parabolic and collision solutions. Recently Moeckel and Montgomery \cite{MM25} showed that there is no infinite spin for total collision solutions, when the reduced and normalized configuration converges to an isolated central configuration. Following their approach, we show it can not happen for both complete and partially parabolic solutions, under similar conditions. Our approach also allows us to generalize Moeckel and Montgomery's result to partial collision solutions under similar conditions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [16]

    Moeckel and R

    R. Moeckel and R. Montgomery. No infinite spin for planar total collision. J. Amer. Math. Soc. , 38(1):225–241, 2025

    work page 2025

  2. [10]

    L ojasiewicz

    S. L ojasiewicz. Sur les trajectoires du gradient d’une fonction analytique. In Geometry seminars, 1982–1983 (Bologna, 1982/1983), pages 115–117. Univ. Stud. Bologna, Bologna, 1984

    work page 1982

  3. [1]

    Albouy and V

    A. Albouy and V. Kaloshin. Finiteness of central configurations of five bodies in the plane. Ann. of Math. (2) , 176(1):535–588, 2012

    work page 2012

  4. [2]

    A. Bressan. Tutorial on the center manifold theorem. In Hyperbolic systems of balance laws , volume 1911 of Lecture Notes in Math. , pages 327–344. Springer, Berlin, 2007

    work page 1911

  5. [3]

    Chang and K.-C

    K.-M. Chang and K.-C. Chen. Toward finiteness of central configurations for the planar six-body problem by symbolic computations. (I) Determine diagrams and orders. J. Symbolic Comput. , 123:Paper No. 102277, 38, 2024

    work page 2024

  6. [4]

    J. Chazy. Sur certaines trajectoires du probl` eme des n corps. Bull. Astron. , 35:321–389, 1918

    work page 1918

  7. [5]

    J. Chazy. Sur l’allure du mouvement dans le probl` eme des trois corps quand le temps cro ˆ ıt ind´ efiniment.Ann. Sci. ´Ecole Norm. Sup. (3) , 39:29–130, 1922

    work page 1922

  8. [6]

    M. S. ElBialy. Collision singularities in celestial mechanics. SIAM J. Math. Anal. , 21(6):1563–1593, 1990

    work page 1990

Show all 25 references
  1. [7]

    D. L. Ferrario and S. Terracini. On the existence of collisionless equivariant minimizers for the classical n-body problem. Invent. Math. , 155(2):305–362, 2004

    2004

  2. [8]

    Gierzkiewicz, R

    A. Gierzkiewicz, R. G. Schaefer, and P. Zgliczy´ nski. No Infinite Spin for Partial Collisions Converging to Isolated Central Configurations on the Plane. Comm. Math. Phys. , 406(7):Paper No. 158, 2025

    2025

  3. [9]

    Hampton and R

    M. Hampton and R. Moeckel. Finiteness of relative equilibria of the four-body problem. Invent. Math. , 163(2):289–312, 2006

    2006

  4. [11]

    Maderna and A

    E. Maderna and A. Venturelli. Globally minimizing parabolic motions in the Newtonian N -body problem. Arch. Ration. Mech. Anal. , 194(1):283–313, 2009

    2009

  5. [12]

    Marchal and D

    C. Marchal and D. G. Saari. On the final evolution of the n-body problem. J. Differential Equations, 20(1):150– 186, 1976. INFINITE SPIN 17

    1976

  6. [13]

    R. McGehee. Triple collision in the collinear three-body problem. Invent. Math. , 27:191–227, 1974

    1974

  7. [14]

    M. g. Moczurad and P. Zgliczy´ nski. Central configurations in planar n-body problem with equal masses for n = 5, 6, 7. Celestial Mech. Dynam. Astronom. , 131(10):Paper No. 46, 28, 2019

    2019

  8. [15]

    R. Moeckel. Chaotic dynamics near triple collision. Arch. Rational Mech. Anal. , 107(1):37–69, 1989

    1989

  9. [17]

    Polimeni and S

    D. Polimeni and S. Terracini. On the existence of minimal expansive solutions to the N -body problem. Invent. Math., 238(2):585–635, 2024

    2024

  10. [18]

    H. Pollard. The behavior of gravitational systems. J. Math. Mech. , 17:601–611, 1967/68

    1967

  11. [19]

    D. G. Saari. Expanding gravitational systems. Trans. Amer. Math. Soc. , 156:219–240, 1971

    1971

  12. [20]

    D. G. Saari. The manifold structure for collision and for hyperbolic-parabolic orbits in the n-body problem. J. Differential Equations, 55(3):300–329, 1984

    1984

  13. [21]

    D. G. Saari and N. D. Hulkower. On the manifolds of total collapse orbits and of completely parabolic orbits for the n-body problem. J. Differential Equations , 41(1):27–43, 1981

    1981

  14. [22]

    S. Smale. Mathematical problems for the next century. Math. Intelligencer , 20(2):7–15, 1998

    1998

  15. [23]

    H. J. Sperling. On the real singularities of the N -body problem. J. Reine Angew. Math. , 245:15–40, 1970

    1970

  16. [24]

    A. Wintner. The Analytical Foundations of Celestial Mechanics , volume vol. 5 of Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 1941

    1941

  17. [25]

    X. Yu. On the problem of infinite spin in total collisions of the planar N -body problem. Mem. Amer. Math. Soc., 304(1532):v+82, 2024. Chern Institute of Mathematics and LPMC, Nankai University, Tianjin, China Email address : zhewang@mail.nankai.edu.cn Chern Institute of Mathe...

    2024

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.