arxiv: 2605.14077 · v1 · submitted 2026-05-13 · 🌌 astro-ph.HE · astro-ph.EP· astro-ph.SR

Recognition: 2 theorem links

· Lean Theorem

Planets in Pulsar Winds

T. Kaister , S. Andr\'es Joya M\'endez , P. Marmat , M. \v{C}emelji\'c , M. Velli , J. Varela , M. Falanga

Authors on Pith no claims yet

Pith reviewed 2026-05-15 02:12 UTC · model grok-4.3

classification 🌌 astro-ph.HE astro-ph.EPastro-ph.SR

keywords pulsar planetsradio emissionpulsar windmagnetospheric interactionrelativistic simulationsexoplanet detectionPSR J0636+5129

0 comments

The pith

A planet orbiting the pulsar PSR J0636+5129 could be detected through radio emission produced by its interaction with the pulsar wind.

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

The paper proposes detecting planets around pulsars not only by precise timing but also by radio waves generated when the planet moves through the pulsar's relativistic wind. Special relativistic simulations treat the planet as a perfectly conducting solid body immersed in a magnetic field carried by wind moving at 0.985 times the speed of light. This interaction creates an extended magnetic structure on the planet's nightside that radiates in radio frequencies. The authors conclude that the known planet PSR J0636+5129 b produces emission strong enough to be observable, providing a new search method for such systems.

Core claim

Planets modeled as perfectly conducting solid surfaces in an external magnetic field from the pulsar produce radio emission in the extended magnetic structure on the planet's nightside when placed in a pulsar wind of velocity v=0.985c. Simulations at Lorentz factor gamma=5.795 show that the planet around the known pulsar PSR J0636+5129 b generates detectable radio signals, outlining prospects for observing such objects through this magnetospheric interaction.

What carries the argument

Special relativistic numerical simulations of a perfectly conducting planet interacting with a pulsar wind, generating radio emission from the nightside magnetic structure.

Load-bearing premise

The planet can be treated as a perfectly conducting solid surface whose interaction with the pulsar's magnetic field produces observable radio emission specifically from the extended nightside structure.

What would settle it

Non-detection of radio emission from PSR J0636+5129 b at the frequencies and intensities predicted by the simulations would show the emission is not detectable under these conditions.

Figures

Figures reproduced from arXiv: 2605.14077 by J. Varela, M. Falanga, M. \v{C}emelji\'c, M. Velli, P. Marmat, S. Andr\'es Joya M\'endez, T. Kaister.

**Figure 1.** Figure 1: Schematic of the setup. Far from the pulsar, its magnetic field is assumed to be nearly homogeneous; at the planet’s location, it is perpendicular to the pulsar wind. Under these external boundary conditions, the wind pressure bends the field around the planet. To evolve the electromagnetic field over time, the relativistic MHD model solves the following conservation laws: ∂ ∂t   D m Et… view at source ↗

**Figure 2.** Figure 2: The resulting magnetic field and radio-emission with the pulsar wind velocity of v = 0.985 c in the case of PSR J0636+5129 b. In the left panel are shown the magnetic field lines (red) and electric currents (yellow) close to the planetary surface. The green lines represent the pulsar wind, directed from left to the right side. In the right panel, in the xy-plane is shown the emission due to the the dissipa… view at source ↗

**Figure 3.** Figure 3: Plots illustrating the regions of strongest magnetic emission for the pulsar PSR J0636+5129 b in the conductive case. Shown are powers above 100 W, with the grid in units of planetary radii. In the left panel, which shows the frontal view, the emitting region is aligned perpendicular to the magnetic field lines. The right panel displays the side view, where the region of strongest emission is positioned be… view at source ↗

**Figure 4.** Figure 4: The Poynting vector was used to track the direction of emission for PSR J0636+5129 b in Mollweide projection. We consider cells that had a local Poynting vector magnitude above Pradio,local > 5.0 × 10−18 × Pradio,tot. The left panel shows the conductive case, for which the emission is hourglass shaped and spread concentrated near the equator, while it is further spread near the pole. The right panel shows … view at source ↗

**Figure 5.** Figure 5: The frequency distribution for the conductive (left) and ferromagnetic (right) cases is shown in 1000 bin histograms. For both cases, we see a power law spectrum with a narrow peak and a high frequency cutoff. To isolate the frequency band, the 80-pecentile width was used. The conductive cases shows larger bandwidth but due to the used velocities being different it is unclear whether this is due to geometr… view at source ↗

**Figure 6.** Figure 6: The emission in watts for the terrestrial planets PSR B1257+ 12 b (left), c(middle), d(right). Note that the scale for PSR B1257+ 12 b is different [PITH_FULL_IMAGE:figures/full_fig_p006_6.png] view at source ↗

read the original abstract

Planets around pulsars were the first discovered exoplanets, found thanks to the extremely precise pulsar timing. Here we suggest that they could also be found through the radio emission generated by the pulsar-planet magnetospheric interaction. We present the results of special relativistic numerical simulations of planets in a pulsar wind of velocity $v=0.985~c$, corresponding to a Lorentz factor $\gamma=5.795$. Planets, modeled as a perfectly conducting solid surface in an external magnetic field originating from the pulsar, produce radio emission in the extended magnetic structure on the planet's nightside. We find that the planet around a known pulsar, PSR J0636+5129 b, could be detected via its radio emission. We outline the observational prospects for such objects.

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 simulations explore radio emission from a conducting planet in a relativistic pulsar wind and flag one known system as potentially detectable, but stop short of any flux or sensitivity numbers.

read the letter

The core of this paper is a set of special-relativistic simulations showing that a planet treated as a perfect conductor in a pulsar wind at v=0.985c produces radio emission from an extended nightside magnetic structure. They single out PSR J0636+5129 b as a case where this signal might be observable. That is the main takeaway for a colleague: a new modeling route for pulsar-planet interactions that moves beyond timing data alone. What is actually new is the direct numerical treatment of the magnetospheric interaction in the relativistic regime for radio output. Earlier pulsar-planet papers have stayed with timing residuals, so this is a fresh angle on how the wind might light up the planet. The setup itself is straightforward and the nightside structure emerges cleanly from the conducting boundary condition, which is a reasonable first step. The soft spots sit in the jump from simulation to observation. The abstract gives no radiated power, no frequency range, no Earth flux, and no comparison against telescope sensitivity or the background from the pulsar wind itself. Without those numbers the detectability statement for PSR J0636+5129 b rests on an unquantified assumption that the nightside emission clears the noise floor. The fixed Lorentz factor and ideal conductivity are also untested anchors; small changes there could alter the signal strength. The paper is aimed at people who already follow pulsar planets or relativistic plasma simulations. A reader looking for concrete predictions will find the work suggestive but incomplete. I would send it to peer review. The numerical approach is worth a referee's time to check resolution, boundary conditions, and whether the emission can be turned into a usable flux estimate, even if the current detection claim needs tightening.

Referee Report

3 major / 2 minor

Summary. The paper presents special-relativistic numerical simulations of a planet modeled as a perfectly conducting solid surface embedded in a pulsar wind with velocity v=0.985c (corresponding to Lorentz factor γ=5.795). The interaction with the pulsar's external magnetic field produces radio emission in an extended nightside magnetic structure. The authors conclude that this emission from the known planet PSR J0636+5129 b could be detectable and outline observational prospects for such systems.

Significance. If the simulated nightside emission can be shown to produce a quantifiable, observable radio signal above pulsar-wind background, the work would introduce a new radio-detection channel for pulsar planets that complements timing methods and provides a direct probe of relativistic magnetospheric interactions.

major comments (3)

[Abstract] Abstract: the claim that PSR J0636+5129 b 'could be detected via its radio emission' is unsupported by any reported radiated power, frequency spectrum, Earth flux, or comparison against the radiometer equation and known pulsar-wind radio background; without these quantities the detectability statement cannot be evaluated.
[Simulation setup (inferred from abstract)] The simulation results rest on an untested ideal-conductivity boundary condition and a single fixed γ=5.795; no resolution study, convergence test, or sensitivity analysis to these choices is described, leaving the robustness of the nightside magnetic structure unclear.
[Results and discussion (inferred from abstract)] The weakest assumption—that nightside emission remains observable without dominant interference from the pulsar wind itself—is stated but not quantified; no estimate of contamination level or required telescope sensitivity is provided to support the central detection claim.

minor comments (2)

[Abstract] The abstract introduces the velocity and Lorentz factor but does not state the magnetic-field strength or planet radius used in the runs; these parameters should be listed explicitly for reproducibility.
[Abstract] Notation for the nightside 'extended magnetic structure' is introduced without a figure reference or brief physical description in the abstract; a short clarifying sentence would improve readability.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their thorough review and insightful comments on our manuscript. We address each of the major comments below and have made revisions to strengthen the quantitative aspects of our claims regarding detectability and simulation robustness.

read point-by-point responses

Referee: [Abstract] Abstract: the claim that PSR J0636+5129 b 'could be detected via its radio emission' is unsupported by any reported radiated power, frequency spectrum, Earth flux, or comparison against the radiometer equation and known pulsar-wind radio background; without these quantities the detectability statement cannot be evaluated.

Authors: We agree that additional quantitative details are needed to support the detectability claim. In the revised version, we will add calculations of the radiated power from the simulated magnetic structures, an estimated frequency range based on the light-crossing time of the planet, and a comparison of the expected flux at Earth to the radiometer equation for radio telescopes, accounting for the pulsar wind background. This will provide a clearer basis for the statement. revision: yes
Referee: [Simulation setup (inferred from abstract)] The simulation results rest on an untested ideal-conductivity boundary condition and a single fixed γ=5.795; no resolution study, convergence test, or sensitivity analysis to these choices is described, leaving the robustness of the nightside magnetic structure unclear.

Authors: The choice of ideal conductivity is motivated by the expected high conductivity of planetary material, and γ=5.795 is taken from the typical pulsar wind speed. However, we acknowledge the absence of explicit convergence tests in the current manuscript. We will include a short section discussing the sensitivity to these parameters and note that the nightside structure is a robust feature in our simulations. A full resolution study will be flagged as future work. revision: partial
Referee: [Results and discussion (inferred from abstract)] The weakest assumption—that nightside emission remains observable without dominant interference from the pulsar wind itself—is stated but not quantified; no estimate of contamination level or required telescope sensitivity is provided to support the central detection claim.

Authors: We will expand the discussion to quantify the potential contamination by estimating the ratio of planet-induced emission to the background pulsar wind radio emission. We will also provide an order-of-magnitude estimate for the required telescope sensitivity to detect the signal from PSR J0636+5129 b, based on the simulated emission levels. revision: yes

Circularity Check

0 steps flagged

No circularity: detection claim follows from direct simulation without reduction to inputs

full rationale

The paper presents results of special-relativistic numerical simulations of a perfectly conducting planet in a pulsar wind (v=0.985c, γ=5.795), producing radio emission in the nightside magnetic structure. The claim that PSR J0636+5129 b could be detected follows directly from this model output. No parameters are fitted to the target system or detection threshold, no self-citations justify a uniqueness theorem or ansatz, and the derivation does not rename or redefine any input quantity as a prediction. The chain is self-contained within the stated simulation framework and boundary conditions.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The claim rests on standard assumptions from relativistic plasma physics and MHD for conducting bodies in magnetized flows, with the wind speed chosen as a representative value.

free parameters (1)

pulsar wind velocity = 0.985 c
Set to v=0.985c (gamma=5.795) as input for the simulation corresponding to typical pulsar wind conditions.

axioms (2)

domain assumption Planet modeled as perfectly conducting solid surface in external magnetic field
Core modeling choice for the magnetospheric interaction invoked in the simulation setup.
domain assumption Radio emission originates in the extended magnetic structure on the planet's nightside
Assumed emission mechanism that enables the detection prediction.

pith-pipeline@v0.9.0 · 5461 in / 1273 out tokens · 46023 ms · 2026-05-15T02:12:27.528390+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/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

special relativistic numerical simulations of planets in a pulsar wind of velocity v=0.985c, corresponding to a Lorentz factor γ=5.795. Planets, modeled as a perfectly conducting solid surface... produce radio emission in the extended magnetic structure on the planet's nightside
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Pradio ≈ β_B P_B ... Φ = γ² A_c / π * Pradio / (d² Δf)

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

20 extracted references · 20 canonical work pages

[1]

A., Bogovalov, S

Aharonian, F. A., Bogovalov, S. V ., & Khangulyan, D. 2012, Nature, 482, 507, doi: 10.1038/nature10793

work page doi:10.1038/nature10793 2012
[2]

2006, http://dx.doi.org/10.1051/eas:2006008, 464, doi: 10.1051/eas:2006008

Audit, E., & Gonz´alez, M. 2006, http://dx.doi.org/10.1051/eas:2006008, 464, doi: 10.1051/eas:2006008

work page doi:10.1051/eas:2006008 2006
[3]

Behrens, E. A. e. a. 2020, The Astrophysical Journal Letters, 893, L8, doi: 10.3847/2041-8213/ab8121

work page doi:10.3847/2041-8213/ab8121 2020
[4]

2002, Journal of Computational Physics, 175, 645, doi: 10.1006/jcph.2001.6961 Del Zanna, G., Dere, K

Dedner, A., Kemm, F., Kr¨oner, D., et al. 2002, Journal of Computational Physics, 175, 645, doi: 10.1006/jcph.2001.6961

work page doi:10.1006/jcph.2001.6961 2002
[5]

1979, Nature, 282, 383, doi: 10.1038/282383a0

Demianski, M., & Proszynski, M. 1979, Nature, 282, 383, doi: 10.1038/282383a0

work page doi:10.1038/282383a0 1979
[6]

A., et al

Fiore, W., Levin, L., McLaughlin, M. A., et al. 2023, ApJ, 956, 40, doi: 10.3847/1538-4357/aceef7

work page doi:10.3847/1538-4357/aceef7 2023
[7]

Kilic, M. e. a. 2007, The Astrophysical Journal, 660, 1451–1461, doi: 10.1086/514327

work page doi:10.1086/514327 2007
[8]

2003, The Astrophysical Journal, 591, L147–L150, doi: 10.1086/377093

Konacki, M., & Wolszczan, A. 2003, The Astrophysical Journal, 591, L147–L150, doi: 10.1086/377093

work page doi:10.1086/377093 2003
[9]

2007, ApJS, 170, 228, doi: 10.1086/513316

Mignone, A., Bodo, G., Massaglia, S., et al. 2007, The Astrophysical Journal Supplement Series, 170, 228–242, doi: 10.1086/513316

work page doi:10.1086/513316 2007
[10]

2023, The Astrophysical Journal Letters, 959, L13, doi: 10.3847/2041-8213/ad0f1f

Mishra, R., ˇCemelji´c, M., Varela, J., & Falanga, M. 2023, The Astrophysical Journal Letters, 959, L13, doi: 10.3847/2041-8213/ad0f1f

work page doi:10.3847/2041-8213/ad0f1f 2023
[11]

2011a, A&A, 532, A21, doi: 10.1051/0004-6361/201116530 —

Mottez, F., & Heyvaerts, J. 2011a, A&A, 532, A21, doi: 10.1051/0004-6361/201116530 —. 2011b, A&A, 532, A22, doi: 10.1051/0004-6361/201117079

work page doi:10.1051/0004-6361/201116530
[12]

2014, A&A, 569, A86, doi: 10.1051/0004-6361/201424104 NASA Exoplanet Archive

Mottez, F., & Zarka, P. 2014, A&A, 569, A86, doi: 10.1051/0004-6361/201424104 NASA Exoplanet Archive. 2025, Planetary Systems Table, https://exoplanetarchive.ipac.caltech.edu/cgi-bin/TblView/nph- tblView?app=ExoTbls&config=PS&constraint=default flag⟩0& constraint=disc method∼like∼’%25pul%25’, doi: 10.26133/NEA12

work page doi:10.1051/0004-6361/201424104 2014
[13]

1980, Journal of Geophysical Research: Space Physics, 85, 1171, doi: https://doi.org/10.1029/JA085iA03p01171 Nit ¸u, I

Neubauer, F. 1980, Journal of Geophysical Research: Space Physics, 85, 1171, doi: https://doi.org/10.1029/JA085iA03p01171 Nit ¸u, I. C. e. a. 2022, Monthly Notices of the Royal Astronomical Society, 512, 2446–2459, doi: 10.1093/mnras/stac593 P´etri, J. 2016, Journal of Plasma Physics, 82, doi: 10.1017/s0022377816000763

work page doi:10.1029/ja085ia03p01171 1980
[14]

B., & Lightman, A

Rybicki, G. B., & Lightman, A. P. 1985, Radiative Processes in Astrophysics (New York, NY: Wiley), doi: 10.1002/9783527618170

work page doi:10.1002/9783527618170 1985
[15]

S., & Liu, S

Singh, M., Slathia, G., Saini, N. S., & Liu, S. 2025, A Self-Consistent Model of Kinetic Alfven Solitons in Pulsar Wind Plasma: Linking Soliton Characteristics to Pulsar Observables. https://arxiv.org/abs/2510.25972

work page arXiv 2025
[16]

D., & Rodin, A

Starovoit, E. D., & Rodin, A. E. 2017, Astronomy Reports, 61, 948, doi: 10.1134/S1063772917110063

work page doi:10.1134/s1063772917110063 2017
[17]

S., Zarka, P., et al

Varela, J., Brun, A. S., Zarka, P., et al. 2022, Space Weather, 20, doi: 10.1029/2022sw003164

work page doi:10.1029/2022sw003164 2022
[18]

W., et al

Vleeschower, L., Corongiu, A., Stappers, B. W., et al. 2024, Discoveries and Timing of Pulsars in M62. https://arxiv.org/abs/2403.12137

work page arXiv 2024
[19]

Wolszczan, A., & Frail, D. A. 1992, Nature, 355, 145, doi: 10.1038/355145a0

work page doi:10.1038/355145a0 1992
[20]

2007, Planetary and Space Science, 55, 598, doi: 10.1016/j.pss.2006.05.045

Zarka, P. 2007, Planetary and Space Science, 55, 598, doi: 10.1016/j.pss.2006.05.045

work page doi:10.1016/j.pss.2006.05.045 2007