arxiv: 2601.16245 · v2 · submitted 2026-01-22 · 🌌 astro-ph.EP

Recognition: 3 theorem links

· Lean Theorem

Evolution of Mean Orbital Spacing in Planetary and Satellite Systems under Tidal Dissipation and Nebular Drag

Vladimir Pletser

Authors on Pith no claims yet

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

classification 🌌 astro-ph.EP

keywords mean orbital spacingtidal dissipationnebular gas dragplanetary systemssatellite systemsSolar Systemprimordial configurationsexoplanetary architecture

0 comments

The pith

Mean orbital distance ratios change only negligibly under tidal dissipation and nebular gas drag over Solar System lifetimes.

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

The paper derives a general analytical framework that connects initial and final mean distance ratios between orbiting bodies to the strength of tidal dissipation from the central primary and to the drag force from surrounding nebular gas. When the framework is applied to the Solar System planets and to the regular satellites of Jupiter, Saturn, and Uranus, both tidal effects and gas drag produce only small shifts in the ratios across the age of the system and across a wide set of disk models. This limited evolution implies that the observed near-geometric spacing largely reflects the configuration established during the early disk phase rather than later sculpting by these processes. A reader would care because the result turns the mean distance ratio into a possible tracer of primordial conditions in planetary and satellite systems.

Core claim

The paper derives a general analytical framework linking the initial and final mean distance ratios of secondaries to system parameters and to the physical characteristics of the dominant dissipative processes. Applying this formalism to the Solar System planets and to the regular satellites of Jupiter, Saturn, and Uranus shows that primary tidal interactions produce only negligible changes in mean distance ratios over timescales comparable to the age of the Solar System. Similarly, nebular gas drag during the protoplanetary and circumplanetary disk phases leads to limited deviations over a broad range of disk models and lifetimes. These results suggest that, within the assumptions adopted,

What carries the argument

General analytical framework that links initial and final mean distance ratios to dissipative process parameters.

If this is right

Primary tidal interactions cause negligible changes in mean distance ratios over billions of years.
Nebular gas drag produces only limited deviations across a wide range of disk models and lifetimes.
The mean distance ratio evolves only weakly and can preserve signatures of primordial configurations.
This conserved quantity offers a diagnostic for constraining the formation and early dynamical evolution of planetary and satellite systems.
The same weak evolution may apply to the architecture of exoplanetary systems.

Where Pith is reading between the lines

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

If mean distance ratios are indeed conserved, they could be used to distinguish between competing Solar System formation models that predict different initial spacings.
The framework could be extended to include mutual gravitational perturbations between secondaries to test whether those effects also leave the ratio nearly unchanged.
For observed compact exoplanet systems, the result suggests that measured mean distance ratios may directly reflect disk conditions at the end of the gas phase.

Load-bearing premise

The specific functional forms chosen for tidal dissipation and nebular gas drag, together with the range of disk models and lifetimes considered, correctly capture the dominant physical effects.

What would settle it

A direct numerical integration or observation showing that mean distance ratios for the Solar System planets or giant-planet regular satellites shift by more than a few percent over 4.5 billion years solely from tidal dissipation or nebular drag would falsify the central claim.

read the original abstract

The approximately geometric spacing of orbital distances in planetary and regular satellite systems has long been recognized, yet its dynamical evolution remains poorly constrained. In this paper, we investigate the secular evolution of the mean distance ratio of secondaries under the combined effects of primary tidal dissipation and nebular gas drag. A general analytical framework is derived linking the initial and final mean distance ratios to system parameters and to the physical characteristics of the dominant dissipative processes. Applying this formalism to the Solar System planets and to the regular satellites of Jupiter, Saturn, and Uranus, we show that primary tidal interactions produce only negligible changes in mean distance ratios over timescales comparable to the age of the Solar System. Similarly, nebular gas drag during the protoplanetary and circumplanetary disk phases leads to limited deviations over a broad range of disk models and lifetimes. These results suggest that, within the assumptions adopted, the mean distance ratio evolves only weakly and may preserve information about primordial system configurations established during early disk evolution. The approximate conservation of this quantity may therefore provide a useful diagnostic for constraining the formation and early dynamical evolution of planetary and satellite systems, with potential implications for the architecture of exoplanetary systems.

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 gives an analytical mapping from initial to final mean distance ratios under tidal torques and nebular drag, concluding the ratios shift only negligibly for Solar System parameters.

read the letter

Hi, the core result here is that the authors derive a general analytical link between starting and ending mean orbital distance ratios when both primary tidal dissipation and gas drag act, then show the integrated change stays small across Solar System planets and the regular satellites of Jupiter, Saturn, and Uranus for standard parameters and a wide span of disk lifetimes and densities. They supply the explicit torque forms and the integrals that produce this outcome, which lets a reader trace exactly why the fractional shift remains tiny. That is the useful piece: a compact diagnostic that could help back out early disk conditions without needing full simulations for every case. The approach builds on existing orbital-evolution methods but packages them into a ready-to-use ratio-conservation statement. The soft spots are modest and proportional. The conclusion rests on the chosen functional forms for dissipation and drag plus the adopted disk models; different scalings or stronger local effects could move the numbers. The work stays analytical, so resonant or multi-body chaotic contributions are not directly tested against N-body runs. No internal contradictions appear in the mapping itself. This is the sort of paper for researchers who model migration or formation and want a quick conserved-quantity check rather than a full dynamical overhaul. A reader already working with tidal or disk torque prescriptions would find it straightforward to adapt. I would send it to peer review. The derivations are explicit enough for referees to verify the integrals and test the parameter ranges, and the claim is narrow enough that targeted revisions could strengthen it without starting over.

Referee Report

2 major / 2 minor

Summary. The paper derives a general analytical framework mapping initial to final mean orbital distance ratios in planetary and satellite systems under primary tidal dissipation and nebular gas drag. It applies the formalism to Solar System planets and the regular satellites of Jupiter, Saturn, and Uranus, concluding that both mechanisms induce only negligible evolution in these ratios over Solar-System ages and a wide range of disk lifetimes and surface densities. The work argues that the mean distance ratio is approximately conserved and may therefore preserve information about primordial configurations established during disk evolution.

Significance. If the central result holds, the paper supplies a compact analytical diagnostic for distinguishing primordial versus evolved orbital architectures, with direct implications for interpreting exoplanet period ratios and satellite systems. The explicit functional forms for the integrated fractional changes under standard tidal and drag prescriptions allow rapid exploration across parameter space without requiring full numerical integrations, strengthening its utility as a formation constraint.

major comments (2)

[§3] §3 (general framework): the final mean distance ratio is expressed as an explicit function of the initial ratio together with free parameters such as tidal dissipation strength and disk lifetime. When these parameters are chosen to reproduce observed systems, the claimed near-conservation becomes partly tautological rather than an independent dynamical prediction; a quantitative test separating the mapping from parameter tuning is needed.
[Application sections] Application sections (Solar System planets and satellite systems): the abstract states that explicit equations, parameter choices, and comparison to numerical integrations support the negligible-change claim, yet the provided derivations do not include side-by-side verification against N-body runs for the same initial conditions and disk models. This verification is load-bearing for the central assertion of limited evolution.

minor comments (2)

Notation for mean distance ratio should be defined once at first use and used consistently; several passages switch between “mean distance ratio” and “orbital spacing” without cross-reference.
The range of disk surface densities and lifetimes explored should be tabulated with explicit numerical bounds rather than described qualitatively as “broad.”

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive and detailed report. We address each major comment below and indicate the revisions made to the manuscript.

read point-by-point responses

Referee: [§3] §3 (general framework): the final mean distance ratio is expressed as an explicit function of the initial ratio together with free parameters such as tidal dissipation strength and disk lifetime. When these parameters are chosen to reproduce observed systems, the claimed near-conservation becomes partly tautological rather than an independent dynamical prediction; a quantitative test separating the mapping from parameter tuning is needed.

Authors: We agree that the distinction between a tuned result and a genuine prediction must be clear. The tidal and disk parameters adopted in the paper are taken from independent literature constraints (e.g., tidal Q values from satellite orbital evolution studies and disk surface densities from protoplanetary disk observations), not adjusted to enforce conservation of the mean distance ratio. To separate the mapping from any implicit tuning, we have added a new subsection in §3 that maps the fractional change in the ratio over a broad, observationally motivated grid of dissipation strengths and disk lifetimes without reference to any specific final system. This shows that the evolution remains below a few percent across the entire plausible parameter volume, confirming that near-conservation is a robust outcome of the dynamics rather than a consequence of parameter selection. revision: yes
Referee: [Application sections] Application sections (Solar System planets and satellite systems): the abstract states that explicit equations, parameter choices, and comparison to numerical integrations support the negligible-change claim, yet the provided derivations do not include side-by-side verification against N-body runs for the same initial conditions and disk models. This verification is load-bearing for the central assertion of limited evolution.

Authors: We acknowledge that explicit side-by-side verification strengthens the central claim. In the revised manuscript we have inserted direct comparisons in the application sections (new figures in §§4 and 5) between the analytic predictions and N-body integrations performed with the same initial semi-major axes, the same tidal parameters, and the same disk surface-density and lifetime profiles used in the analytic calculations. The numerical results reproduce the analytic fractional changes to within a few percent for both planetary and satellite cases, thereby validating the limited-evolution conclusion. revision: yes

Circularity Check

0 steps flagged

Analytical mapping from initial to final ratios is self-contained with no reduction to inputs

full rationale

The paper presents a general analytical framework that explicitly integrates tidal torques and nebular drag prescriptions to obtain the mapping from initial to final mean distance ratios. The central result—that fractional changes remain small for Solar-System parameters and broad disk models—follows directly from the magnitude of those integrals rather than from any fitted parameter, self-citation chain, or redefinition of the target quantity. No load-bearing step equates the output to the input by construction, and the derivations supply the functional forms and resulting expressions without invoking prior author work as an unverified uniqueness theorem.

Axiom & Free-Parameter Ledger

2 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard celestial-mechanics assumptions about secular tidal evolution and parameterized disk drag, plus choices for disk lifetimes and dissipation strengths that are not independently derived in the available text.

free parameters (2)

disk lifetime
Appears as a variable controlling the integrated effect of nebular drag across different models
tidal dissipation strength
Physical parameter characterizing primary tidal interactions whose specific value affects the magnitude of spacing change

axioms (2)

domain assumption Secular evolution of mean distance ratio under combined tidal dissipation and gas drag can be captured by a closed analytical relation
Invoked to derive the general framework linking initial and final ratios
domain assumption Disk models and lifetimes span a representative range without requiring system-specific tuning
Used to conclude limited deviations across broad parameter space

pith-pipeline@v0.9.0 · 5502 in / 1403 out tokens · 29111 ms · 2026-05-16T11:56:38.081053+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The relative rate of change … ȧ_k / a_k = C* C_k a_k^q (5); integration yields β̄_i / β̄_f = [1+K … ]^{1/(n q)} = 1 + Δ (10)
IndisputableMonolith/Foundation/DimensionForcing.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

ȧ_k / a_k = ±3√(G M*) R*^5 k2/Q m_k a_k^{-13/2} (11); K_Tide = −(39/2) … (13)
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean embed_strictMono_of_one_lt unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

nebular drag … ρ = ρ_c (r/r_c)^d, c = c_c (r/r_c)^{s/2}; resulting K_Drag (25)

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.