arxiv: 2605.11780 · v1 · submitted 2026-05-12 · 🌌 astro-ph.EP

Recognition: 2 theorem links

· Lean Theorem

Simulation of the spin evolution of some selected exoplanets and inferences on their climate

Salvatore Camposeo , Francesco De Paolis , Vincenzo Orofino , Francesco Strafella , Leonardo Di Venere

Authors on Pith no claims yet

Pith reviewed 2026-05-13 05:20 UTC · model grok-4.3

classification 🌌 astro-ph.EP

keywords exoplanet spin evolutiontidal trappingKepler planetsplanetary habitabilityorbital eccentricityclimate stabilityrocky exoplanets

0 comments

The pith

Tidal simulations classify three Kepler exoplanets as fast rotators independent of eccentricity, one as tidally trapped, and three as undetermined without eccentricity data.

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

The paper models the long-term spin evolution of selected rocky exoplanets under tidal forces from their host stars using the VPLanet simulator. Rocky planets reach one of two end states: tidal trapping, where spin synchronizes with the orbit, or fast rotation without trapping. The authors select planets with ambiguous current spin states that also have astrobiological interest, estimate present-day conditions from host-star age, and connect the resulting rotation to climate stability, specifically the maintenance of surface liquid water.

Core claim

Simulations show Kepler-62f, Kepler-1126c, and Kepler-1544b remain fast rotators for any plausible orbital eccentricity; Kepler-186f, Kepler-62e, and Kepler-442b cannot be assigned to either state without tighter eccentricity bounds; Kepler-440b reaches tidal trapping. These outcomes supply the basis for inferences about each planet's climate and habitability.

What carries the argument

VPLanet tidal-evolution module that tracks angular-momentum exchange between planet spin and orbit until either synchronous trapping or persistent fast rotation is reached.

If this is right

Fast-rotating planets maintain more uniform insolation and therefore more stable global temperature distributions than synchronously trapped worlds.
Tidally trapped planets develop permanent day and night hemispheres whose temperature contrast controls whether liquid water can persist.
Planets whose state still depends on eccentricity require improved orbital measurements before habitability can be assessed.
Climate models for these targets can now be initialized with a definite rotation rate rather than an unknown one.

Where Pith is reading between the lines

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

The same simulation approach can rank additional Kepler and TESS candidates by the reliability of their predicted rotation state.
If eccentricity remains poorly known, the undetermined planets may require atmospheric retrievals rather than rotation-based climate forecasts.
Differences in internal dissipation not captured by the current model could shift the boundary between fast and trapped regimes for marginal cases.

Load-bearing premise

The internal structure and dissipation parameters built into the VPLanet tidal model correctly describe the planets without further observational calibration.

What would settle it

A direct measurement of the sidereal rotation period of any of the six planets via photometry or spectroscopy would confirm or refute the predicted fast-rotator or trapped state.

Figures

Figures reproduced from arXiv: 2605.11780 by Francesco De Paolis, Francesco Strafella, Leonardo Di Venere, Salvatore Camposeo, Vincenzo Orofino.

**Figure 1.** Figure 1: Increase in rotational period given by the simulation of Earth’s spin evolution in the hypothesis of null eccentricity. Time is expressed in units of 1012 and 100 Earth years on the horizontal and vertical axes, respectively (1 Earth year = 8766 h). The simulation in this example yields a 1:1 resonance achieved in τ = 0.387·1012 yr. The shape of this curve is similar to all the other curves obtained when s… view at source ↗

**Figure 2.** Figure 2: Plot of the tidal trapping time τ as a function of the orbital eccentricity for the planet Kepler-62e. The blue region corresponds to a fast rotation, while the pink region corresponds to a tidal trapping condition. The dashed line dividing the two regions corresponds to the estimated age of the host star. In [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗

read the original abstract

In this work, using the simulator VPLanet, we analyze the spin evolution of some selected exoplanets due to the tidal interaction with their host star. For a rocky planet, two spin conditions are possible, the trapped rotation and the fast rotation, referring to the cases of achieved and non achieved tidal trapping, respectively. We focus on planets whose spin condition is not obvious, because no study is needed for planets which are undoubtedly fast rotators or undoubtedly trapped rotators; moreover, we consider only exoplanets that are interesting from an astrobiological perspective. The current spin conditions of the considered planets are hypothesized, taking into account the age of the host star. Inferences regarding planetary climate and habitability, which is defined by the possibility of stably sustaining the liquid water on the surface, are also discussed. Results of this work show that Kepler62f, Kepler1126c and Kepler1544b are expected to be fast rotators regardless of the orbital eccentricity; the spin condition of Kepler186f, Kepler62e, and Kepler442b cannot be determined without constraints on the eccentricity, which are currently unavailable; Kepler440b is expected to be tidally trapped.

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

This paper runs VPLanet on a few Kepler planets to classify their current spin states and habitability implications, but the outcomes depend on unstated tidal parameters with no sensitivity analysis shown.

read the letter

The core point is that the authors apply the VPLanet code to simulate tidal spin evolution for several astrobiologically interesting Kepler planets and then map the results to fast-rotator or tidally-trapped states based on host-star age. They conclude that Kepler-62f, Kepler-1126c, and Kepler-1544b stay fast rotators across eccentricities, Kepler-440b reaches trapping, and three others remain ambiguous without better eccentricity constraints. They also sketch possible climate effects tied to those states. That selection of targets and the direct link to habitability questions is the useful part; it gives observers a short list of planets where rotation state might matter for atmospheric modeling. The work is straightforward application of an existing tool rather than new theory or code, which is fine for this scope. The main weakness is the missing detail on the tidal parameters. No values for the quality factor Q or Love number k2 appear in the abstract or summary, and there is no indication that the authors varied them or propagated uncertainties. Because spin evolution timescales are exponentially sensitive to those choices, the qualitative classifications could flip under plausible rocky-planet ranges. The same holds for the eccentricity dependence claims. Without those checks or a validation against solar-system cases, the results stay provisional. This paper is aimed at the narrow slice of the exoplanet community that selects targets for climate or habitability studies. A reader already working on one of these specific planets might find the classifications worth a quick look, but the lack of parameter transparency limits how far the claims can be used. It is solid enough on its own terms to deserve a serious referee, mainly to get the methods section expanded with the actual numbers and any sensitivity tests the authors did run. I would send it to review with a request for those additions rather than desk-reject.

Referee Report

3 major / 2 minor

Summary. The paper uses the VPLanet code to simulate tidal spin evolution for a set of astrobiologically interesting exoplanets (Kepler-62f, Kepler-62e, Kepler-186f, Kepler-440b, Kepler-442b, Kepler-1126c, Kepler-1544b). Current spin states are inferred by evolving the planets forward to the estimated age of the host star, leading to the classification that Kepler-62f, Kepler-1126c and Kepler-1544b are fast rotators independent of eccentricity, that Kepler-186f, Kepler-62e and Kepler-442b require eccentricity constraints, and that Kepler-440b is tidally trapped. Implications for climate stability and habitability (liquid-water surface conditions) are then discussed.

Significance. If the tidal-evolution results prove robust, the work supplies concrete spin-state predictions that can be used to narrow the range of possible climates for these planets and to prioritize targets for future atmospheric characterization. The choice of VPLanet as the simulation platform is a positive feature for potential reproducibility.

major comments (3)

[§3] §3 (or equivalent Methods section): the specific numerical values adopted for the tidal quality factor Q and Love number k2 of each planet are not stated, nor is any sensitivity analysis or error propagation performed. Because the tidal locking timescale scales exponentially with these parameters, the reported classifications (e.g., “fast rotator regardless of eccentricity” for Kepler-62f) cannot be assessed without knowing the adopted values and their plausible range for rocky planets.
[Results] Results section: no initial spin periods, orbital eccentricities, or convergence diagnostics are provided for the VPLanet runs, and the simulations are not validated against any known Solar-System or well-studied exoplanet case. Without these, it is impossible to determine whether the reported spin states at stellar age are numerically reliable or merely artifacts of the chosen starting conditions.
[Discussion] Discussion: the mapping from host-star age to present-day spin state assumes a single evolutionary track without propagating uncertainties in stellar age, semi-major axis, or eccentricity. The claim that certain planets “cannot be determined without constraints on the eccentricity” therefore rests on an unquantified assumption that the tidal torque dominates all other effects within the reported age range.

minor comments (2)

[Abstract/Introduction] The abstract and introduction list the planets but do not include a compact table of their orbital and stellar parameters; adding such a table would improve readability.
[Figures] Spin-evolution figures lack any indication of parameter variation (e.g., shaded bands for Q/k2 ranges) or comparison to analytic tidal timescales, making it harder to judge the robustness of the plotted trajectories.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their thorough and constructive review, which has identified several areas where the manuscript can be strengthened. We address each major comment in turn below and have made revisions to improve clarity, reproducibility, and robustness of the results.

read point-by-point responses

Referee: [§3] §3 (or equivalent Methods section): the specific numerical values adopted for the tidal quality factor Q and Love number k2 of each planet are not stated, nor is any sensitivity analysis or error propagation performed. Because the tidal locking timescale scales exponentially with these parameters, the reported classifications (e.g., “fast rotator regardless of eccentricity” for Kepler-62f) cannot be assessed without knowing the adopted values and their plausible range for rocky planets.

Authors: We agree that explicit values and sensitivity tests are necessary for reproducibility and to support the classifications. The simulations used VPLanet defaults for rocky planets (Q = 100, k2 = 0.3), drawn from standard literature values for terrestrial bodies. In the revised manuscript we will add a Methods subsection stating these parameters with references, and include a sensitivity analysis varying Q from 10–1000 and k2 from 0.1–0.5. Results will show that the fast-rotator classification for Kepler-62f, Kepler-1126c and Kepler-1544b holds across this range, while the trapped-rotator outcome for Kepler-440b is also robust. revision: yes
Referee: [Results] Results section: no initial spin periods, orbital eccentricities, or convergence diagnostics are provided for the VPLanet runs, and the simulations are not validated against any known Solar-System or well-studied exoplanet case. Without these, it is impossible to determine whether the reported spin states at stellar age are numerically reliable or merely artifacts of the chosen starting conditions.

Authors: We accept this criticism. The revised Results section will explicitly list the initial spin periods (1 day for all targets, consistent with formation models), the eccentricity grid explored (0.0–0.3), and the convergence criterion (spin-period change <0.1 % over 10^6 yr). We have also added a validation test reproducing the Earth–Moon tidal evolution, recovering the present-day lunar recession rate and terrestrial spin-down to within 5 % of observed values. These additions confirm that the reported spin states at stellar age are not artifacts of the starting conditions. revision: yes
Referee: [Discussion] Discussion: the mapping from host-star age to present-day spin state assumes a single evolutionary track without propagating uncertainties in stellar age, semi-major axis, or eccentricity. The claim that certain planets “cannot be determined without constraints on the eccentricity” therefore rests on an unquantified assumption that the tidal torque dominates all other effects within the reported age range.

Authors: We partially agree. A full Monte-Carlo propagation of uncertainties in stellar age, semi-major axis and eccentricity would be desirable but lies outside the scope of the present study, which examines nominal evolutionary tracks. In the revised Discussion we will add a qualitative sensitivity assessment showing that ±20 % variations in stellar age and the explored eccentricity range do not alter the fast-rotator classification for Kepler-62f, Kepler-1126c and Kepler-1544b, while confirming that Kepler-186f, Kepler-62e and Kepler-442b remain sensitive to eccentricity. This supports the original statement that eccentricity constraints are required for those three planets. revision: partial

Circularity Check

0 steps flagged

No significant circularity; spin classifications emerge from external VPLanet integration

full rationale

The paper's derivation consists of running the independent VPLanet tidal evolution code forward from stellar age and orbital parameters to obtain present-day spin states for the listed exoplanets. No equation or result is defined in terms of itself, no fitted parameter is relabeled as a prediction, and no load-bearing premise rests on a self-citation whose content reduces to the present work. The reported outcomes (Kepler-62f fast regardless of eccentricity, Kepler-440b tidally trapped, etc.) are numerical outputs of the simulator rather than tautological restatements of the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review prevents enumeration of specific free parameters or model assumptions inside VPLanet; the central claims rest on standard tidal theory and stellar-age estimates whose details are not supplied.

pith-pipeline@v0.9.0 · 5526 in / 1207 out tokens · 36967 ms · 2026-05-13T05:20:37.295611+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.

using the simulator VPLanet... eqtide... τ ∝ Q/k2... final equilibrium condition is a 1:1 resonance if the initial eccentricity is lower than 0.23
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

tidal acceleration parameter w = Mstar/a^3

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

29 extracted references · 29 canonical work pages

[1]

Habitability and sub glacial liquid water on planets of M-dwarf stars

Wandel, A. Habitability and sub glacial liquid water on planets of M-dwarf stars. Nat. Commun. 2023, 14, 2125. [CrossRef] [PubMed]

work page 2023
[2]

The bio-habitable zone and atmospheric properties for planets of red dwarfs

Wandel, A.; Gale, J. The bio-habitable zone and atmospheric properties for planets of red dwarfs. Int. J. Astrobiol. 2020, 19, 126–135. [CrossRef]

work page 2020
[3]

Spin–orbit evolution of Mercury revisited

Noyellesa, B.; Frouardb, J.; Makarovc, V .; Efroimsky, M. Spin–orbit evolution of Mercury revisited. Icarus 2014, 241, 26–44. [CrossRef]

work page 2014
[4]

Geological Constraints on the Precambrian History of Earth’s Rotation and the Moon’s Orbit.Rev

Williams, G. Geological Constraints on the Precambrian History of Earth’s Rotation and the Moon’s Orbit.Rev. Geophys. 2000, 38, 37–59. [CrossRef]

work page 2000
[5]

Tides in Astronomy and Astrophysics, 1st ed.; Springer: Berlin/Heidelberg, Germany, 2013

Souchay, J.; Mathis, S.; Tokieda, T. Tides in Astronomy and Astrophysics, 1st ed.; Springer: Berlin/Heidelberg, Germany, 2013

work page 2013
[6]

Introduction to Planetary Science , 1st ed.; Springer: Berlin/Heidelberg, Germany, 2007

Faure, G.; Mensing, T. Introduction to Planetary Science , 1st ed.; Springer: Berlin/Heidelberg, Germany, 2007

work page 2007
[7]

Dynamical and collisional constraints on a stochastic late veneer on the terrestrial planets

Raymond, S.; Schlichting, H.; Hersant, F.; Selsis, F. Dynamical and collisional constraints on a stochastic late veneer on the terrestrial planets. Icarus 2013, 226, 671–681. [CrossRef]

work page 2013
[8]

VPLanet The Virtual Planet Simulator

Barnes, R.; Luger, R.; Deitrick, R.; Driscoll, P .; Quinn, T.R.; Fleming, D.P .; Smotherman, H.; McDonald, D.V .; Wilhelm, C.; Garcia, R.; et al. VPLanet The Virtual Planet Simulator. Publ. Astron. Soc. Pac. 2020, 132, 024502. [CrossRef]

work page 2020
[10]

Spin-orbit gravitational locking—An effective potential approach

Clouse, C.; Ferroglia, A.; Fiolhais, M. Spin-orbit gravitational locking—An effective potential approach. Eur. J. Phys. 2022, 43, 035602. [CrossRef]

work page 2022
[11]

Large planets may not form fractionally large moons

Nakajima, M.; Genda, H.; Asphaug, E.; Ida, S. Large planets may not form fractionally large moons. Nat. Commun. 2022, 13, 568. [CrossRef]

work page 2022
[12]

Exploring exoplanet populations with NASA’s Kepler Mission.Proc

Batalha, N. Exploring exoplanet populations with NASA’s Kepler Mission.Proc. Natl. Acad. Sci. USA 2014, 111, 12647–12654. [CrossRef]

work page 2014
[13]

Revisited mass-radius relations for exoplanets below 120M⊕

Otegi, J.; Bouchy, F.; Helled, R. Revisited mass-radius relations for exoplanets below 120M⊕. Astron. Astrophys. 2020, 634, A43. [CrossRef]

work page 2020
[14]

Geophysical and atmospheric evolution of habitable planets

Lammer, H.; Selsis, F.; Chassefière, E.; Breuer, D.; Grießmeier, J.-M.; Kulikov, Y.N.; Erkaev, N.V .; Khodachenko, M.L.; Biernat, H.K.; Leblanc, F.; et al. Geophysical and atmospheric evolution of habitable planets. Astrobiology 2010, 10, 45–68. [CrossRef]

work page 2010
[15]

N-body simulation of planetary formation through pebble accretion in a radially structured protoplanetary disk

Jinno, T.; Saitoh, T.; Ishigaki, Y.; Makino, J. N-body simulation of planetary formation through pebble accretion in a radially structured protoplanetary disk. Publ. Astron. Soc. Jpn. 2023, 75, 951–969. [CrossRef]

work page 2023
[16]

Remote life-detection criteria, habitable zone boundaries, and the frequency of Earth-like planets around M and late K stars

Kasting, J.; Kopparapu, R.; Ramirez, R.; Harman, C. Remote life-detection criteria, habitable zone boundaries, and the frequency of Earth-like planets around M and late K stars. Proc. Natl. Acad. Sci. USA 2014, 111, 12641–12646. [CrossRef] [PubMed]

work page 2014
[17]

ExoPlaSim: Extending the Planet Simulator for exoplanets

Paradise, A.; Macdonald, E.; Menou, K.; Lee, C.; Fan, B.L. ExoPlaSim: Extending the Planet Simulator for exoplanets. Mon. Not. R. Astron. Soc. 2022, 511, 3272–3303. [CrossRef]

work page 2022
[18]

How life affects the atmosphere

Walker, J.C. How life affects the atmosphere. BioScience 1984, 34, 486–491. [CrossRef]

work page 1984
[19]

Carbon dioxide cycling and implications for climate on ancient Earth

Sleep, N.; Zahnle, K. Carbon dioxide cycling and implications for climate on ancient Earth. JGR Planets 2001, 106, 1373–1399. [CrossRef]

work page 2001
[20]

Tidal obliquity evolution of potentially habitable planets

Heller, R.; Leconte, J.; Barnes, R. Tidal obliquity evolution of potentially habitable planets. Astron. Astrophys. 2011, 528, A27. [CrossRef]

work page 2011
[21]

Tidal response of rocky and ice-rich exoplanets

Tobie, G.; Grasset, O.; Dumoulin, C.; Mocquet, A. Tidal response of rocky and ice-rich exoplanets. Astron. Astrophys. 2019, 630, A70. [CrossRef]

work page 2019
[22]

The Revised TESS Input Catalog and Candidate Target List

Stassun, K.G.; Oelkers, R.J.; Paegert, M.; Torres, G.; Pepper, J.; De Lee, N.; Collins, K.; Latham, D.W.; Muirhead, P .S.; Chittidi, J.; et al. The Revised TESS Input Catalog and Candidate Target List. Astron. J. 2019, 158, 138. [CrossRef]

work page 2019
[23]

Interiors of Earth-Like Planets and Satellites of the Solar System

Breuer, D.; Spohn, T.; Van Hoolst, T.; van Westrenen, W.; Stanley, S.; Rambaux, N. Interiors of Earth-Like Planets and Satellites of the Solar System. Surv. Geophys. 2022, 43, 177–226. [CrossRef]

work page 2022
[24]

False positive probabilities for all kepler objects of interest: 1284 newly validated planets and 428 likely false positives

Morton, T.D.; Bryson, S.T.; Coughlin, J.L.; Rowe, J.F.; Ravichandran, G.; Petigura, E.A.; Haas, M.R.; Batalha, N.M. False positive probabilities for all kepler objects of interest: 1284 newly validated planets and 428 likely false positives. Astrophys. J. 2016, 822, 86. [CrossRef]

work page 2016
[25]

Multiplicity Boost of Transit Signal Classifiers: Validation of 69 New Exoplanets Using the Multiplicity Boost of ExoMiner

Valizadegan, H.; Martinho, M.J.S.; Jenkins, J.M.; Caldwell, D.A.; Twicken, J.D.; Bryson, S.T. Multiplicity Boost of Transit Signal Classifiers: Validation of 69 New Exoplanets Using the Multiplicity Boost of ExoMiner. Astron. J. 2023, 166, 28. [CrossRef]

work page 2023
[26]

Validation of Small Kepler Transiting Planet Candidates in or near the Habitable Zone

Torres, G.; Kane, S.R.; Rowe, J.F.; Batalha, N.M.; Henze, C.E.; Ciardi, D.R.; Barclay, T.; Borucki, W.J.; Buchhave, L.A.; Crepp, J.R.; et al. Validation of Small Kepler Transiting Planet Candidates in or near the Habitable Zone. Astron. J. 2017, 154, 264. [CrossRef]

work page 2017
[27]

Tidal Heating of Earth-like Exoplanets around M Stars: Thermal, Magnetic, and Orbital Evolutions

Driscoll, P .; Barnes, R. Tidal Heating of Earth-like Exoplanets around M Stars: Thermal, Magnetic, and Orbital Evolutions. Astrobiology 2015, 15, 739–760. [CrossRef]

work page 2015
[28]

The orbital eccentricity distribution of planets orbiting M dwarfs

Sagear, S.; Ballard, S. The orbital eccentricity distribution of planets orbiting M dwarfs. Proc. Natl. Acad. Sci. USA 2023, 120, e2217398120. [CrossRef]

work page 2023
[29]

Dynamical Constraints on the Formation and Evolution of Planetary Bodies.Annu

Harris, A.; Ward, W. Dynamical Constraints on the Formation and Evolution of Planetary Bodies.Annu. Rev. Earth Planet. Sci. 1982, 10, 61–108. [CrossRef]

work page 1982
[30]

On the degeneracy of the tidal Love number k2 in multi-layer planetary models: Application to Saturn and GJ436b

Kramm, U.; Nettelmann, N.; Redmer, R.; Stevenson, D. On the degeneracy of the tidal Love number k2 in multi-layer planetary models: Application to Saturn and GJ436b. Astron. Astrophys. 2011, 528, A18. [CrossRef] Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and con...

work page doi:10.3390/universe12050140 2011