pith. machine review for the scientific record. sign in

arxiv: 2605.09723 · v1 · submitted 2026-05-10 · 🌌 astro-ph.HE · nucl-th

Recognition: 2 theorem links

· Lean Theorem

Cooling of Isolated Neutron Stars with Hyperon-mixed Kaon-Condensation Matter

Authors on Pith no claims yet

Pith reviewed 2026-05-12 03:10 UTC · model grok-4.3

classification 🌌 astro-ph.HE nucl-th
keywords neutron star coolingkaon condensationhyperon matterproton superconductivitydirect Urca processisolated neutron starsstrange dense matter
0
0 comments X

The pith

Strong proton superconductivity at high densities allows kaon-induced Urca processes to dominate cooling in massive neutron stars.

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

The paper models the thermal evolution of isolated neutron stars whose interiors contain hyperons mixed with kaon condensation, using an equation of state that satisfies mass and radius constraints. Without superconductivity, direct Urca processes involving nucleons activate above roughly 1.3 solar masses and erase any cooling signature of the strange matter. When the proton 1S0 pairing gap remains large at the densities where hyperons and kaons appear, it shuts off both nucleon and hyperon Urca channels, leaving kaon-induced Urca processes as the main cooling route. This produces surface temperatures low enough to match several recently observed cold isolated neutron stars, turning the presence of strangeness into a possible observable feature rather than a hidden one.

Core claim

In the minimal relativistic mean-field model supplemented by chiral SU(3) dynamics for kaon condensation and a three-baryon force, the authors find that nucleonic direct Urca processes operate at stellar masses greater than or equal to 1.3 solar masses and produce rapid cooling that hides strangeness unless superfluidity intervenes. If the proton 1S0 superconductivity is strong enough at high densities to reach critical temperatures around 10^10 K, the nucleon and hyperon direct Urca processes are fully suppressed, allowing kaon-induced Urca processes to set the cooling rate of massive stars and reproduce the low temperatures of several observed cold isolated neutron stars, thereby providing

What carries the argument

The density-dependent proton 1S0 pairing gap that suppresses nucleon and hyperon direct Urca neutrino emission at the high densities where hyperons and kaons coexist, thereby elevating kaon-induced Urca processes to the dominant cooling channel.

If this is right

  • Kaon condensation becomes visible in cooling observations only when proton superconductivity is strong at high densities.
  • The model accounts for the low temperatures of several recently identified cold isolated neutron stars.
  • Strangeness in the core can leave an observable imprint on neutron-star cooling curves under the stated pairing conditions.
  • Without strong high-density proton superconductivity, any signature of hyperons and kaons is erased by rapid nucleon Urca cooling.

Where Pith is reading between the lines

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

  • Future temperature measurements of a range of neutron star masses could map the density threshold where kaon Urca takes over.
  • Similar suppression mechanisms might apply to other exotic phases if their associated pairing gaps extend to high density.
  • The scenario predicts a mass window above which cold surfaces appear, offering a testable distinction from purely nucleonic cooling models.

Load-bearing premise

The proton 1S0 superconductivity gap remains large enough at the high densities of hyperons and kaons to suppress all faster direct Urca processes involving nucleons and hyperons.

What would settle it

Detection of a neutron star above 1.5 solar masses whose observed temperature is inconsistent with kaon-Urca cooling, or direct evidence that the proton pairing gap closes below the densities of kaon condensation.

Figures

Figures reproduced from arXiv: 2605.09723 by Akira Dohi, Bhavnesh Bhat, Takumi Muto, Tsuneo Noda.

Figure 1
Figure 1. Figure 1: FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. The gravitational mass in the unit of the solar [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Density dependence of particle fraction with different Σ [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Same as Fig. 3 but for effective masses of each baryon and [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. Σ [PITH_FULL_IMAGE:figures/full_fig_p010_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6. Cooling curves of 2 [PITH_FULL_IMAGE:figures/full_fig_p011_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: FIG. 7. The same as Fig. 5, but proton SF model dependence on cooling curves with Σ [PITH_FULL_IMAGE:figures/full_fig_p012_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: FIG. 8. The same as 7, but for Σ [PITH_FULL_IMAGE:figures/full_fig_p012_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: FIG. 9. Luminosity evolution of fast neutrino cooling processes (and MU process) in case of [PITH_FULL_IMAGE:figures/full_fig_p013_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: FIG. 10. Same as Figure 9, but for [PITH_FULL_IMAGE:figures/full_fig_p014_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: FIG. 11. Same as Figure 9, but for [PITH_FULL_IMAGE:figures/full_fig_p015_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: FIG. 12. Two-time snapshot of density distribution of neutrino emissivity with [PITH_FULL_IMAGE:figures/full_fig_p016_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: FIG. 13. Same as Fig. 12, but for Σ [PITH_FULL_IMAGE:figures/full_fig_p017_13.png] view at source ↗
read the original abstract

We investigate the thermal evolution of isolated neutron stars containing hyperon--mixed kaon--condensed matter, focusing on the role of proton superconductivity. The equation of state utilized for cooling calculation is based upon the minimal relativistic mean--field framework supplemented by chiral SU(3) dynamics for kaon condensation with an additional component on the three-baryon force, which ensures stiffness at high densities enough to meet astrophysical constraints on neutron-star masses and radii. We show that the nucleonic direct Urca processes operate at relatively low stellar masses ($M \gtrsim 1.3\,M_\odot$), erasing any observable signature of strangeness in the absence of superfluidity. However, if the proton $^1{\rm S}_0$ superconductivity works, because of suppression of fast neutrino cooling processes, the cooling scenario could become relevant with the strangeness, depending on the density regions of the pairing gap. In particular, if the proton superconductivity is so strong in high-density regions ($T_{c,p}\sim10^{10}~{\rm K}$), the nucleon and hyperon direct Urca processes shut down, which makes the kaon-induced Urca processes dominant in massive neutron stars. This scenario is in good agreement with several cold isolated neutron stars identified recently. Hence, we suggest that strong proton superconductivity can render kaon condensation observationally visible through cold neutron-star observations, providing a potential signature of strangeness in dense matter.

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.

Referee Report

2 major / 2 minor

Summary. The paper investigates the thermal evolution of isolated neutron stars with hyperon-mixed kaon-condensed matter. Using a minimal RMF EOS supplemented by chiral SU(3) kaon dynamics and three-baryon repulsion to satisfy mass-radius constraints, it shows that nucleonic direct Urca operates for M ≳ 1.3 M_⊙ and erases strangeness signatures without superfluidity. With strong proton ^1S_0 superconductivity (T_{c,p} ∼ 10^{10} K at high density), nucleon and hyperon DU are suppressed, allowing kaon-induced Urca to dominate in massive stars and match observations of several cold isolated neutron stars.

Significance. If the result holds, the work identifies a potential observational signature of strangeness (kaon condensation) in dense matter via the cooling of massive neutron stars, provided proton superconductivity is sufficiently strong at the relevant densities. The EOS construction is a strength, as it incorporates three-baryon forces to remain consistent with astrophysical mass and radius bounds while enabling the kaon phase.

major comments (2)
  1. [Discussion of proton superconductivity and cooling calculations] The central claim that kaon-induced Urca becomes dominant (and matches cold NS data) requires the proton ^1S_0 gap to remain large enough at densities ≳2–3ρ_0 to fully quench nucleon and hyperon direct Urca. This gap density dependence is introduced as an external phenomenological input rather than derived from the RMF + chiral SU(3) Lagrangian used for the EOS; no consistent microscopic pairing calculation is shown. This assumption is load-bearing for the suppression mechanism and the resulting cooling scenario.
  2. [Comparison with observations] The stated agreement with 'several cold isolated neutron stars identified recently' is presented without specifying the stars, the quantitative fitting procedure, error bars on the cooling curves, or whether parameter adjustments were made post-hoc to achieve the match. This weakens the robustness of the observational support for the kaon-Urca dominance scenario.
minor comments (2)
  1. [Abstract] The abstract refers to 'depending on the density regions of the pairing gap' but does not quote the explicit functional form or parameter values adopted for T_{c,p}(ρ) in the numerical cooling runs.
  2. [EOS construction] Clarify the specific parameter choices for the three-baryon force that enforce stiffness at high density; tabulate the resulting maximum mass and radius for the EOS variants used.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive review of our manuscript. We address each major comment point by point below, providing clarifications and indicating revisions made to strengthen the presentation.

read point-by-point responses
  1. Referee: [Discussion of proton superconductivity and cooling calculations] The central claim that kaon-induced Urca becomes dominant (and matches cold NS data) requires the proton ^1S_0 gap to remain large enough at densities ≳2–3ρ_0 to fully quench nucleon and hyperon direct Urca. This gap density dependence is introduced as an external phenomenological input rather than derived from the RMF + chiral SU(3) Lagrangian used for the EOS; no consistent microscopic pairing calculation is shown. This assumption is load-bearing for the suppression mechanism and the resulting cooling scenario.

    Authors: We acknowledge that the proton ^1S_0 gap is treated as a phenomenological input, consistent with standard practice in neutron-star cooling studies where a fully microscopic pairing calculation within the same RMF + chiral SU(3) framework (including hyperons and kaon condensation) would require substantial additional formalism and is beyond the present scope. Our adopted high-density gap value (T_{c,p} ∼ 10^{10} K) draws from prior literature on strong proton superconductivity. In the revised manuscript we have added an expanded discussion of gap uncertainties at high density, cited supporting microscopic calculations from the literature, and included new cooling curves for a range of gap strengths to demonstrate that kaon-Urca dominance holds whenever the gap remains sufficiently large to suppress nucleon/hyperon DU. This makes the dependence on the assumption explicit and testable. revision: partial

  2. Referee: [Comparison with observations] The stated agreement with 'several cold isolated neutron stars identified recently' is presented without specifying the stars, the quantitative fitting procedure, error bars on the cooling curves, or whether parameter adjustments were made post-hoc to achieve the match. This weakens the robustness of the observational support for the kaon-Urca dominance scenario.

    Authors: We thank the referee for highlighting this omission. The revised manuscript now explicitly names the cold isolated neutron stars under consideration (drawing from recent X-ray observations of sources with low effective temperatures), presents cooling curves with shaded uncertainty bands arising from EOS parameter variations, and states that no post-hoc tuning of the gap or other parameters was performed to fit the data—the EOS parameters remain fixed by the mass-radius constraints already imposed. The comparison is therefore shown to be consistent within the reported observational and theoretical uncertainties. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained under stated assumptions

full rationale

The paper constructs its EOS independently via minimal RMF supplemented by chiral SU(3) kaon dynamics plus three-baryon repulsion to satisfy mass-radius constraints. Cooling curves are then computed for different proton ^1S_0 gap assumptions treated as external inputs. The central statement is conditional ('if the proton superconductivity is so strong in high-density regions (T_{c,p}∼10^{10} K)'), showing that kaon-induced Urca can dominate and match some cold NS observations. This is an exploration of scenarios, not a fitted prediction or self-defined result. No quoted step reduces the outcome to the inputs by construction, and no self-citation chain or ansatz smuggling bears the load of the claim. The work remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

2 free parameters · 2 axioms · 2 invented entities

The model rests on standard nuclear-physics frameworks plus specific choices for superconductivity and EOS parameters tuned to mass-radius constraints and cooling observations.

free parameters (2)
  • proton superconductivity critical temperature T_{c,p} = ~10^{10} K
    Set to ~10^10 K at high densities to suppress Urca processes and produce agreement with cold-star data.
  • RMF and three-baryon force parameters
    Adjusted to ensure stiffness at high densities meeting astrophysical mass and radius constraints.
axioms (2)
  • domain assumption Minimal relativistic mean-field framework supplemented by chiral SU(3) dynamics for kaon condensation
    Basis for the equation of state used in cooling calculations.
  • domain assumption Proton ^1S_0 pairing gap exists and its density dependence allows strong suppression at high densities
    Invoked to shut down standard Urca processes.
invented entities (2)
  • Hyperon-mixed kaon-condensed matter no independent evidence
    purpose: Exotic phase of dense matter enabling new Urca processes
    Postulated composition of neutron-star cores at high density.
  • Kaon-induced Urca processes no independent evidence
    purpose: Dominant neutrino cooling channel under strong proton superconductivity
    Derived from the condensed phase when other channels are suppressed.

pith-pipeline@v0.9.0 · 5574 in / 1573 out tokens · 61598 ms · 2026-05-12T03:10:01.796967+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

95 extracted references · 95 canonical work pages

  1. [1]

    kaon-baryon sigma terms

    Kaon dynamics in chiral symmetry and baryon-meson interaction in the minimal RMF The Y+K phase is composed of kaon condensates and hyperon-mixed baryonic matter together with leptons, being kept in beta equilibrium, charge neutrality, and baryon number conservation. In the following, we simply take into account protons, neutrons, Λ, Σ −, and Ξ − hy- peron...

  2. [2]

    (4), there is no extra term with nonlinear self-interacting meson potentials

    Three-baryon forces In Eq. (4), there is no extra term with nonlinear self-interacting meson potentials. Instead, many-body baryon interactions, which should be relevant to the stiff- ness of the EoS in high densities, are introduced by the phenomenological three-baryon forces in the present framework. The energy contribution from the three-baryon repul- ...

  3. [3]

    TheU TNA(r;n B) depends upon not only density but also 4 isospin⃗ τ1 ·⃗ τ2 with Pauli matrices⃗ τi

    Three-nucleon attractive force To simulate the attractive contribution from the TNA to the binding energy forn B ≲n 0 , we adopt the density- dependent effective two-body potential by Nishizaki, Takatsuka and Hiura [45], UTNA(r;n B) =V anB exp(−ηanB) exp −(r/λa)2 (⃗ τ1·⃗ τ2)2 , (8) where the range parameterλ a is fixed to be 2.0 fm. TheU TNA(r;n B) depend...

  4. [4]

    Energy density expression for the (Y+K) phase The total energy densityEis given by E=E K +E B,M +E(UTBR) +E(TNA) +E leptons .(9) From (2) and (4) one obtains EK = 1 2(µKfsinθ) 2 +f 2m2 K(1−cosθ),(10) EB,M = X b 2 (2π)3 Z |p|≤pF (b) d3|p|(|p|2 +M ∗2 b )1/2 + 1 2 m2 σσ2 +m 2 σ∗ σ∗2 + 1 2 m2 ωω2 0 +m 2 ρR2 0 +m 2 ϕϕ2 0 ,(11) where baryons (b) are occupied ov...

  5. [5]

    Ground-state conditions The ground state energy for the Y+K phase is ob- tained under the charge neutrality, baryon number, and β-equilibrium conditions. The charge neutrality condi- tion is written as nQ =n p −n Σ− −n Ξ− −n K− −n e −n µ = 0,(16) wheren Q denotes the total negative charge density,n K− is the number density of KC and is given from kaon par...

  6. [6]

    Determination of parameters Meson-nucleon coupling constants from saturation properties in symmetric nuclear matter The empirical nuclear saturation densityn 0 is set to 0.16 fm −3. Then the meson-nucleon coupling constants, gσN ,g ωN ,g ρN, the meson mean-fields atn 0,⟨σ⟩ 0,⟨ω 0⟩0, and the parametersγ a,η a in TNA are determined from the saturation prope...

  7. [7]

    strangeness-conserving

    Meson-hyperon coupling constants For the description of hyperon-mixed matter, we set the values of the meson-hyperon coupling constants to obtain the hyperon-nucleon and hyperon-hyperon inter- actions in the MRMF. The vector meson couplings for hyperons (Y) are ob- tained from the vector-nucleon couplingsg ωN ,g ρN,g ϕN through the SU(6) symmetry relation...

  8. [8]

    D. G. Yakovlev and C. J. Pethick, Ann. Rev. Astron. As- trophy.42, 169 (2004), arXiv:astro-ph/0402143 [astro- ph]

  9. [9]

    D. Page, U. Geppert, and F. Weber, Nucl. Phys. A777, 497 (2006), arXiv:astro-ph/0508056 [astro-ph]

  10. [10]

    G. F. Burgio, H. J. Schulze, I. Vida˜ na, and J. B. Wei, Prog. Part. Nuc. Phys.120, 103879 (2021), arXiv:2105.03747 [nucl-th]

  11. [11]

    D. Page, J. M. Lattimer, M. Prakash, and A. W. Steiner, Astrophys. J. Suppl.155, 623 (2004), arXiv:astro- ph/0403657 [astro-ph]

  12. [12]

    M. E. Gusakov, A. D. Kaminker, D. G. Yakovlev, and O. Y. Gnedin, Astron. Astrophys.423, 1063 (2004), arXiv:astro-ph/0404002 [astro-ph]

  13. [13]

    D. Page, M. Prakash, J. M. Lattimer, and A. W. Steiner, Phys. Rev. Lett.106, 081101 (2011), arXiv:1011.6142 [astro-ph.HE]

  14. [14]

    P. S. Shternin, D. G. Yakovlev, C. O. Heinke, W. C. G. Ho, and D. J. Patnaude, Mon. Not. Roy. Astron. Soc. 412, L108 (2011), arXiv:1012.0045 [astro-ph.SR]

  15. [15]

    Marino, C

    A. Marino, C. Dehman, K. Kovlakas, N. Rea, J. A. Pons, and D. Vigan` o, Nature Astronomy8, 1020 (2024), arXiv:2404.05371 [astro-ph.HE]

  16. [16]

    D. B. Kaplan and A. E. Nelson, Physics Letters B175, 57 (1986)

  17. [17]

    T. Muto, R. Tamagaki, and T. Tatsumi, Prog. Theor. Phys.Supplement112, 159 (1993)

  18. [18]

    C. H. Lee, Phys. Rep.275, 255 (1996)

  19. [19]

    N. K. Glendenning, ed.,Compact stars : nuclear physics (2000)

  20. [20]

    Tolos and L

    L. Tolos and L. Fabbietti, Progress in Particle and Nuclear Physics112, 103770 (2020), arXiv:2002.09223 [nucl-ex]

  21. [21]

    Akaishi and T

    Y. Akaishi and T. Yamazaki, Phys. Rev. C65, 044005 (2002)

  22. [22]

    Yamazaki, A

    T. Yamazaki, A. Dot´ e, and Y. Akaishi, Phys. Lett. B 587, 167–174 (2004)

  23. [23]

    Ichikawa et al., Prog

    Y. Ichikawa et al., Prog. Theor. Exp. Phys.2015, 21D01 (2015)

  24. [24]

    Y.Sada et al., Prog. Theor. Exp. Phys.2016, 051D01 (2016)

  25. [25]

    Ajimura et al

    S. Ajimura et al. (PARC E15 collaboration), Phys. Lett.B 789, 620 (2019), arXiv:1805.12275 [nucl-ex]

  26. [26]

    Yamaga et al., Phys

    T. Yamaga et al., Phys. Rev. C102, 044002 (2020)

  27. [27]

    Fujii, T

    H. Fujii, T. Muto, T. Tatsumi, and R. Tamagaki, Phys. Rev. C50, 3140 (1994)

  28. [28]

    V. R. Pandharipande, C. J. Pethick, and V. Thorsson, Phys. Rev. Lett.75, 4567 (1995), arXiv:nucl-th/9507023 [nucl-th]

  29. [29]

    N. K. Glendenning and J. Schaffner-Bielich, Phys. Rev. C60, 025803 (1999), arXiv:astro-ph/9810290 [astro-ph]

  30. [30]

    S. Pal, D. Bandyopadhyay, and W. Greiner, Nucl. Phys. A674, 553 (2000), arXiv:astro-ph/0001039 [astro-ph]

  31. [31]

    D. P. Menezes, P. K. Panda, and C. Providˆ encia, Phys. Rev. C72, 035802 (2005), arXiv:astro-ph/0506196 [astro-ph]

  32. [32]

    P. K. Panda, D. P. Menezes, and C. Providˆ encia, Phys. Rev. C89, 045803 (2014), arXiv:1311.2739 [nucl-th]

  33. [33]

    V. B. Thapa and M. Sinha, Phys. Rev. D102, 123007 (2020), arXiv:2011.06440 [astro-ph.HE]

  34. [34]

    Baruah Thapa, M

    V. Baruah Thapa, M. Sinha, J. Jie Li, and A. Se- drakian, arXiv e-prints , arXiv:2102.08787 (2021), arXiv:2102.08787 [astro-ph.HE]

  35. [35]

    F. Ma, W. Guo, and C. Wu, Phys. Rev. C105, 015807 (2022), arXiv:2202.03001 [nucl-th]

  36. [36]

    T. Muto, T. Maruyama, and T. Tatsumi, Phys. Lett. B 820, 136587 (2021), arXiv:2106.03449 [nucl-th]

  37. [37]

    T. Muto, T. Maruyama, and T. Tatsumi, Prog. Theor. Exp. Phys.2022, 093D03 (2022), arXiv:2207.00242 [nucl-th]

  38. [38]

    Muto, Phys

    T. Muto, Phys. Rev. C111, 045802 (2025), arXiv:2411.09967 [nucl-th]

  39. [39]

    W. G. Lynch, M. B. Tsang, Y. Zhang, P. Danielewicz, M. Famiano, Z. Li, and A. W. Steiner, Prog. Part. Nuc. Phys.62, 427 (2009), arXiv:0901.0412 [nucl-ex]

  40. [40]
  41. [41]

    Tsuruta, J

    S. Tsuruta, J. Sadino, A. Kobelski, M. A. Teter, A. C. Liebmann, T. Takatsuka, K. Nomoto, and H. Umeda, Astrophys. J.691, 621 (2009)

  42. [42]

    Negreiros, L

    R. Negreiros, L. Tolos, M. Centelles, A. Ramos, and V. Dexheimer, Astrophys. J.863, 104 (2018), arXiv:1804.00334 [astro-ph.HE]

  43. [43]

    A. R. Raduta, A. Sedrakian, and F. Weber, Mon. Not. Roy. Astron. Soc.475, 4347 (2018), arXiv:1712.00584 [astro-ph.HE]

  44. [44]

    A. R. Raduta, J. J. Li, A. Sedrakian, and F. We- ber, Mon. Not. Roy. Astron. Soc.487, 2639 (2019), arXiv:1903.01295 [nucl-th]

  45. [45]

    Fortin, A

    M. Fortin, A. R. Raduta, S. Avancini, and C. Providˆ encia, Phys. Rev. D103, 083004 (2021), arXiv:2102.07565 [nucl-th]

  46. [46]

    G. E. Brown, K. Kubodera, D. Page, and P. Pizzochero, Phys. Rev. D37, 2042 (1988)

  47. [47]

    J. A. Pons, J. A. Miralles, M. Prakash, and J. M. Lattimer, Astrophys. J.553, 382 (2001), arXiv:astro- ph/0008389 [astro-ph]

  48. [48]

    Y. Lim, C. H. Hyun, and C.-H. Lee, Journal of Korean Physical Society74, 547 (2019)

  49. [49]

    Y. Wang, R. Kumar, J. Grefa, K. Maslov, C. Ratti, R. Negreiros, and V. Dexheimer, arXiv e-prints , arXiv:2603.22164 (2026), arXiv:2603.22164 [nucl-th]

  50. [50]

    Tamagaki, Prog

    R. Tamagaki, Prog. Theor. Phys.119, 965–989 (2008)

  51. [51]

    Takatsuka, S

    T. Takatsuka, S. Nishizaki, and R. Tamagaki, AIP Con- ference Proceedings1011, 209 (2008)

  52. [52]

    Nishizaki, T

    S. Nishizaki, T. Takatsuka, and J. Hiura, Prog. Theor. Phys.92, 93 (1994)

  53. [53]

    Garg and G

    U. Garg and G. Col` o, Prog. Part. Nuc. Phys.101, 55–95 (2018)

  54. [54]

    Li and X

    B.-A. Li and X. Han, Phys. Lett. B727, 276–281 (2013)

  55. [55]

    J. M. Lattimer and M. Prakash, Phys. Rep.621, 127–164 (2016)

  56. [56]

    Oertel, M

    M. Oertel, M. Hempel, T. Kl¨ ahn, and S. Typel, Rev. Mod. Phys.89, 015007 (2017)

  57. [57]

    Schaffner, C

    J. Schaffner, C. Dover, A. Gal, C. Greiner, D. Millener, and H. St¨ ocker, Ann.Phys.235, 35 (1994)

  58. [58]

    A. Gal, E. Hungerford, and D. Millener, Rev. Mod. Phys. 88, 035004 (2016)

  59. [59]

    Boguta, Phys

    J. Boguta, Phys. Lett. B106, 255 (1981)

  60. [60]

    J. M. Lattimer, C. J. Pethick, M. Prakash, and P. Haensel, Phys. Rev. Lett.66, 2701 (1991)

  61. [61]

    Fujii, T

    H. Fujii, T. Muto, T. Tatsumi, and R. Tamagaki, Nucl. 19 Phys. A571, 758 (1994)

  62. [62]

    Y. Lim, C. H. Hyun, and C.-H. Lee, Int. J. Mod. Phys. E 26, 1750015-328 (2017)

  63. [63]

    A. Dohi, K. Nakazato, M.-a. Hashimoto, M. Yasuhide, and T. Noda, Prog. Theor. Exp. Phys.2019, 113E01 (2019), arXiv:1910.01431 [astro-ph.HE]

  64. [64]

    L. L. Lopes, Phys. Rev. C110, 015805 (2024), arXiv:2406.10755 [nucl-th]

  65. [65]

    Prakash, M

    M. Prakash, M. Prakash, J. M. Lattimer, and C. J. Pethick, Astrophys. J. Lett.390, L77 (1992)

  66. [66]

    Tatsumi, Prog

    T. Tatsumi, Prog. Theor. Phys.80, 22 (1988)

  67. [67]

    Brown, K

    G. Brown, K. Kubodera, D. Page, and P. Pizzochero, Phys. Rev. D37, 2042 (1988)

  68. [68]

    Thorsson, M

    V. Thorsson, M. Prakash, T. Tatsumi, and C. J. Pethick, Phys. Rev. D52, 3739 (1995), arXiv:nucl-th/9502004 [nucl-th]

  69. [69]

    D. G. Yakovlev, A. D. Kaminker, O. Y. Gnedin, and P. Haensel, Phys. Rep.354, 1 (2001), arXiv:astro- ph/0012122 [astro-ph]

  70. [70]

    Tamagaki, Prog

    R. Tamagaki, Prog. Theor. Phys.44, 905 (1970)

  71. [71]

    D. Page, J. M. Lattimer, M. Prakash, and A. W. Steiner,”Novel Superfluids”, Eds. K. H. Bennemann and J. B. Ketterson, Oxford University Press (2013), arXiv:1302.6626 [astro-ph.HE]

  72. [72]

    Tsuruta, Phys

    S. Tsuruta, Phys. Rep.292, 1 (1998)

  73. [73]

    Takatsuka, Prog

    T. Takatsuka, Prog. Theor. Phys.48, 1517 (1972)

  74. [74]

    Page, NSCool: Neutron star cooling code, Astro- physics Source Code Library, record ascl:1609.009 (2016), ascl:1609.009

    D. Page, NSCool: Neutron star cooling code, Astro- physics Source Code Library, record ascl:1609.009 (2016), ascl:1609.009

  75. [75]

    A. Y. Potekhin, G. Chabrier, and D. G. Yakovlev, Astron. Astrophys.323, 415 (1997), arXiv:astro-ph/9706148 [astro-ph]

  76. [76]

    A. Dohi, H. Liu, T. Noda, and M.-A. Hashimoto, Int. J. Mod. Phys. E31, 2250006 (2022), https://doi.org/10.1142/S0218301322500069

  77. [77]

    M. F. Bietenholz, Astrophys. J.645, 1180 (2006), arXiv:astro-ph/0603197 [astro-ph]

  78. [78]

    Ritter, Q

    A. Ritter, Q. A. Parker, F. Lykou, A. A. Zijlstra, M. A. Guerrero, and P. Le Dˆ u, Astrophys. J. Lett.918, L33 (2021), arXiv:2105.12384 [astro-ph.HE]

  79. [79]

    J. G. Fischer, H. Halm, R. Neuh¨ auser, and D. L. Neuh¨ auser, Astronomische Nachrichten346, e70024 (2025), arXiv:2509.04127 [astro-ph.SR]

  80. [80]

    Alsing, H

    J. Alsing, H. O. Silva, and E. Berti, Mon. Not. Roy. As- tron. Soc.478, 1377 (2018), arXiv:1709.07889 [astro- ph.HE]

Showing first 80 references.