Recognition: 2 theorem links
· Lean TheoremOrbital Stability of Closely-Spaced Four-planet Systems
Pith reviewed 2026-05-16 13:27 UTC · model grok-4.3
The pith
Four-planet systems show lifetimes that increase exponentially with spacing yet lack the rare ultra-stable configurations found in three-planet systems.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Integrations of four-planet systems with Earth masses and equal mutual Hill radius spacings demonstrate that survival times grow exponentially with separation, occupy an intermediate regime between three- and five-planet systems but resemble the latter, and exhibit no spacings that produce survival times orders of magnitude longer than neighbors. First- and second-order mean-motion resonances reduce lifetimes, as do third-order resonances between neighboring planets. Local maxima in lifetime versus spacing occur at modestly smaller separations when planets begin at conjunction, owing to asymmetric perturbations that spread semimajor axes as longitudes diverge.
What carries the argument
N-body integrations that advance four planets until a close approach below 0.01 AU or ejection occurs, with stability measured against initial mutual Hill radius spacing and proximity to mean-motion resonances.
If this is right
- System lifetimes increase exponentially as initial spacing in mutual Hill radii grows.
- Four-planet lifetimes lie between three- and five-planet lifetimes and track the five-planet pattern more closely.
- No initial spacings produce survival times orders of magnitude longer than nearby spacings.
- Proximity to first-, second-, and third-order mean-motion resonances shortens system lifetimes.
- The spacing that maximizes lifetime shifts to smaller values when planets start near conjunction rather than widely separated longitudes.
Where Pith is reading between the lines
- The absence of outlier-stable configurations in four-planet runs suggests that crossing from three to four planets removes the special phase-protection effects that occasionally appear in three-body cases.
- Third-order resonances may need explicit inclusion in analytic stability maps for closely packed systems, since they measurably shorten lifetimes even when first- and second-order resonances are absent.
- The longitude-dependent shift in lifetime peaks implies that formation scenarios producing aligned conjunctions could favor slightly tighter stable packings than random-longitude formation.
- Extending the same spacing survey to systems with modest initial eccentricities would test whether the exponential lifetime trend survives when orbits are no longer perfectly circular.
Load-bearing premise
The assumption that results from initially circular coplanar Earth-mass orbits generalize to systems that may begin with eccentricities, inclinations, different masses, or additional forces such as tides.
What would settle it
Observing a four-planet system at a spacing where survival exceeds the fitted exponential trend by several orders of magnitude, or a system that remains stable while sitting near a third-order resonance that the simulations flag as destabilizing, would contradict the reported trends.
Figures
read the original abstract
We investigate the orbital dynamics of four-planet systems consisting of Earth-mass planets on initially-circular, coplanar orbits around a star of one solar mass. In our simulations, the innermost planet's semimajor axis is set at 1 AU, with subsequent semimajor axes spaced equally in terms of planets' mutual Hill radii. Several sets of initial planetary longitudes are investigated, with integrations continuing for up to $10^{10}$ orbits of the innermost planet, stopping if a pair of planets pass within 0.01 AU of each other or if a planet is ejected from the system. We find that the simulated lifetimes of four-planet systems follow the general trend of increasing exponentially with planetary spacing, as seen by previous studies of closely-spaced planets. Four-planet system lifetimes are intermediate between those of three- and five-planet systems and more similar to the latter. Moreover, as with five-planet systems, but in marked contrast to the three-planet case, no initial semimajor axes spacings are found to yield systems that survive several orders of magnitude longer than other similar spacings. First- and second-order mean-motion resonances (MMRs) between planets correlate with reductions in system lifetimes. Additionally, we find that third-order MMRs between planets on neighboring orbits also have a substantial, though smaller, destabilizing effect on systems very near resonance that otherwise would be very long-lived. Local extrema of system lifetimes as a function of planetary spacing occur at slightly smaller initial orbital separation for systems with planets initially at conjunction relative to those in which the planets begin on widely-separated longitudes. This shift is produced by the asymmetric mutual planetary perturbations as the planets separate in longitude from the initial aligned configuration that cause orbits to spread out in semimajor axis.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript reports N-body simulations of four Earth-mass planets on initially circular, coplanar orbits around a solar-mass star, with semimajor axes spaced equally in mutual Hill radii and the innermost planet at 1 AU. Integrations extend to 10^10 innermost orbits or until a close encounter (0.01 AU) or ejection occurs. Across multiple initial longitude sets, the results show system lifetimes increasing exponentially with spacing, lying intermediate between (and closer to) those of five-planet than three-planet systems, with no outlier long-lived spacings, and with reduced lifetimes near first-, second-, and third-order mean-motion resonances.
Significance. If the numerical results hold, the work supplies a controlled extension of prior three- and five-planet stability surveys, quantifying the four-planet case with long integration times and direct resonance correlations. The exponential trend, absence of anomalously stable spacings, and third-order MMR effects provide concrete benchmarks for dynamical packing limits and for interpreting compact exoplanet systems.
major comments (2)
- [§2] §2 (Methods): the integrator, timestep, and exact stopping-condition implementation are not specified, yet these choices directly affect the reliability of lifetimes reaching 10^10 orbits and the reported median values.
- [§3] §3 (Results): the number of initial-longitude realizations per spacing and the precise definition of 'median lifetime' (e.g., whether it includes censored runs) are not stated, weakening the statistical support for the exponential fit and the claim that no spacings yield outliers several orders of magnitude longer-lived.
minor comments (3)
- [Abstract] Abstract and §4: the number and specific values of the 'several sets of initial planetary longitudes' should be stated explicitly so readers can assess coverage of the longitude phase space.
- [Figure 1] Figure 1 or equivalent: a direct overlay of the four-planet lifetime curve with the three- and five-planet curves from prior work would make the 'intermediate but closer to five-planet' statement immediately visible.
- [§4.2] §4.2: the statement that third-order MMRs have a 'substantial, though smaller' destabilizing effect would benefit from a quantitative measure (e.g., median lifetime ratio inside vs. outside resonance) rather than qualitative description.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the positive recommendation of minor revision. We address each major comment below and will revise the manuscript to incorporate the requested clarifications.
read point-by-point responses
-
Referee: [§2] §2 (Methods): the integrator, timestep, and exact stopping-condition implementation are not specified, yet these choices directly affect the reliability of lifetimes reaching 10^10 orbits and the reported median values.
Authors: We agree that these details are necessary for reproducibility and for evaluating the robustness of the long integration times. In the revised manuscript we will explicitly state that all integrations were performed with the REBOUND package using the WHFast integrator at a fixed timestep of 0.05 yr (approximately 1/20 of the innermost orbital period), with close-encounter detection handled by switching to IAS15 when planets approach within 0.1 AU. The stopping conditions are implemented exactly as described: integration halts upon any pair reaching a separation of 0.01 AU or upon a planet reaching a heliocentric distance of 100 AU (ejection). These choices are standard for the reported dynamical regime and permit reliable tracking of lifetimes up to 10^10 orbits. revision: yes
-
Referee: [§3] §3 (Results): the number of initial-longitude realizations per spacing and the precise definition of 'median lifetime' (e.g., whether it includes censored runs) are not stated, weakening the statistical support for the exponential fit and the claim that no spacings yield outliers several orders of magnitude longer-lived.
Authors: We will add the missing information to §3. Ten independent realizations with randomized initial longitudes were performed for each spacing. The median lifetime is computed from the distribution of integration durations across these realizations, treating any run that reaches the maximum time of 10^10 orbits as right-censored at that value (standard Kaplan–Meier or survival-analysis treatment). With this definition, the exponential trend remains robust and no spacing produces an outlier lifetime more than a factor of a few above the fitted relation, consistent with the five-planet rather than three-planet behavior. revision: yes
Circularity Check
No significant circularity; results from direct N-body integration
full rationale
The manuscript's claims rest on forward N-body integrations of four Earth-mass planets on initially circular coplanar orbits, with lifetimes measured directly from the simulation outcomes under Newtonian gravity and explicit stopping conditions (close encounters or ejection). No parameters are fitted to the data, no predictions are constructed by re-using fitted inputs, and no self-citations supply load-bearing uniqueness theorems or ansatzes that reduce the central results to prior work by the same authors. Comparisons to three- and five-planet systems are external references, not internal redefinitions. The derivation chain is therefore self-contained as numerical experiment rather than tautological mapping of inputs to outputs.
Axiom & Free-Parameter Ledger
free parameters (2)
- mutual Hill radius spacing
- initial planetary longitudes
axioms (2)
- standard math Newtonian point-mass gravity governs the motion
- domain assumption No tidal forces, collisions, or general-relativistic effects
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We investigate the orbital dynamics of four-planet systems... spaced equally in terms of planets' mutual Hill radii... integrations continuing for up to 10^10 orbits... stopping if a pair of planets pass within 0.01 AU
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
log t_c = b'(β-2√3)+c' ... exponential trend in system lifetimes with semimajor axes spacing
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
-
[1]
Or- bital stability of compact three-planet systems - II: post-instability im- pact behaviour. MNRAS 506, 6181–6194. doi:10.1093/mnras/stab1465, arXiv:2104.13658. Breunig, M.M., Kriegel, H.P., Ng, R.T., Sander, J.,
-
[2]
Lof: identifying density-based local outliers. SIGMOD Rec. 29, 93–104. URL:https: //doi.org/10.1145/335191.335388, doi:10.1145/335191.335388. Chambers, J.E., Wetherill, G.W., Boss, A.P.,
-
[3]
The Stability of Multi- Planet Systems. Icarus 119, 261–268. doi:10.1006/icar.1996.0019. doi: https://doi.org/10.1006/icar.1996.0019. Cleveland, W.S.,
-
[4]
Journal of the American Statistical Association 74, 829–836
Robust locally weighted regression and smoothing scatterplots. Journal of the American Statistical Association 74, 829–836. URL:http://www.jstor.org/stable/2286407. Espresate, J., Lissauer, J.J.,
-
[5]
Resonant Satellite Torques on Low Optical Depth Particulate Disks. II. Numerical Simulations. Icarus 152, 29–47. doi:10.1006/icar.2000.6585. Gavino, S., Lissauer, J., 2025 (Under Review). Orbital stability of compact three-planet systems. Astronomy & Astrophysics . Gratia, P., Lissauer, J.J.,
-
[6]
Eccentricities and the stability of closely-spaced five-planet systems. Icarus 358, 114038. URL:https:// www.sciencedirect.com/science/article/pii/S0019103520303948, doi:https://doi.org/10.1016/j.icarus.2020.114038. 30 Hussain, N., Tamayo, D.,
-
[7]
Monthly Notices of the Royal Astronomical Society 491, 5258–5267
Fundamental limits from chaos on instability time predictions in compact planetary systems. Monthly Notices of the Royal Astronomical Society 491, 5258–5267. URL:https://doi.org/10. 1093/mnras/stz3402, doi:10.1093/mnras/stz3402. Lissauer, J.J., Gavino, S.,
-
[8]
Orbital stability of compact three-planet systems, i: Dependence of system lifetimes on initial orbital separations and longitudes. Icarus 364, 114470. doi:10.1016/j.icarus.2021.114470. Lissauer, J.J., Rowe, J.F., Jontof-Hutter, D., Fabrycky, D.C., Ford, E.B., Ragozzine, D., Steffen, J.H., Nizam, K.M.,
-
[9]
Obertas, A., Van Laerhoven, C., Tamayo, D.,
doi:10.3847/PSJ/ad0e6e,arXiv:2311.00238. Obertas, A., Van Laerhoven, C., Tamayo, D.,
-
[10]
The stability of tightly-packed, evenly-spaced systems of Earth-mass planets orbiting a Sun-like star. Icarus 293, 52–58. doi:10.1016/j.icarus.2017.04.010, arXiv:1703.08426. Petit, A.C., Pichierri, G., Davies, M.B., Johansen, A.,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.icarus.2017.04.010 2017
-
[11]
doi:10.3847/1538-3881/aaa966, arXiv:1801.06131. Rein, H., Liu, S.F.,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.3847/1538-3881/aaa966
-
[12]
2011, 128, 1, doi: 10.1051/0004-6361/201118085
REBOUND: an open-source multi-purpose N-body code for collisional dynamics. A&A 537, A128. doi:10.1051/0004-6361/ 201118085,arXiv:1110.4876. Rein, H., Tamayo, D.,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1051/0004-6361/
-
[13]
WHFAST: a fast and unbiased implemen- tation of a symplectic Wisdom-Holman integrator for long-term gravita- tional simulations. MNRAS 452, 376–388. doi:10.1093/mnras/stv1257, arXiv:1506.01084. Rice, D.R., Rasio, F.A., Steffen, J.H.,
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1093/mnras/stv1257
-
[14]
Monthly Notices of the Royal Astronomical Society 481, 2205–2212
Survival of non-coplanar, closely packed planetary systems after a close encounter. Monthly Notices of the Royal Astronomical Society 481, 2205–2212. URL:https://doi.org/10. 1093/mnras/sty2418, doi:10.1093/mnras/sty2418. 31 Smith, A.W., Lissauer, J.J.,
-
[15]
Orbital stability of systems of closely- spaced planets. Icarus 201, 381–394. doi:10.1016/j.icarus.2008.12
-
[16]
doi:https://doi.org/10.1016/j.icarus.2008.12.027. Smith, A.W., Lissauer, J.J.,
-
[17]
Symplectic maps for the N-body problem. AJ 102, 1528–1538. doi:10.1086/115978. Appendix A. Third-order Resonances The top panel in Figure 2 shows that almost all four-planet systems with SL09 initial longitudes andβ≈9survive for>10 10 years, with the single exception at 0.01 resolution within the range8.91≤β≤9.21located at 9.08, very close to the 19/16 MM...
-
[18]
To estimate the uncertainty of this extrema detection method, we per- formed a cross-correlation test comparing the locations of the extrema cal- culated from two sets of systems with SL09 longitudes. One of these sets 34 is our standard set of runs spanning3.465≤β≤8.200at a resolution of 0.001; the comparison set of systems spans3.4645≤β≤8.1995at the sam...
work page 1979
-
[19]
Appendix B.4.2. Extrema Distancing There may be a cluster of local extrema that are close together with some being stronger than the other local extrema. For such small local regions, we desire only one maximum or one minimum if the other criterion for peaks are met. Therefore, the strongest extremum in the local region is selected and the others are disc...
work page 2000
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.