Recognition: 2 theorem links
· Lean TheoremNon-Parametric Equation of State Reveals Non-Conformal Behavior Beyond Neutron Star Densities
Pith reviewed 2026-05-12 01:06 UTC · model grok-4.3
The pith
Non-parametric equation of state construction reveals early stiffening followed by softening in massive neutron stars.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By constructing a non-parametric statistical equation of state that continuously connects the nuclear crust to the asymptotic-freedom regime, the authors show that the global thermodynamic constraints required by two-solar-mass neutron stars with relatively small low-mass radii produce a clear peak in squared sound speed inside massive stars. To remain consistent with perturbative QCD energy-density bounds, this early stiffening must be followed by an extended range of softening, so that the squared sound speed approaches one-third only at approximately thirty times nuclear saturation density. The trace anomaly, defined as one-third minus pressure over energy density, turns positive beyond 2
What carries the argument
non-parametric statistical construction of the equation of state that enforces global thermodynamic constraints from neutron-star observations and perturbative QCD bounds across the full density range
If this is right
- Massive neutron stars develop cores containing a hadron-quark mixed phase.
- The non-perturbative quark matter in those cores is soft, producing non-conformal behavior.
- Squared sound speed reaches a maximum inside the star and then decreases before approaching one-third at roughly thirty times nuclear saturation density.
- Trace anomaly becomes positive at densities above those found in neutron stars and approaches the perturbative QCD limit from above.
- This scenario differs fundamentally from stiff quark-star models.
Where Pith is reading between the lines
- Future gravitational-wave signals from neutron-star mergers could test the predicted location and depth of the softening region.
- The same non-parametric method could be applied to hybrid stars or strange-matter candidates to map possible phase boundaries.
- A positive trace anomaly at moderate densities might produce observable signatures in neutron-star cooling curves or oscillation modes.
- Confirmation would tighten the distinction between mixed-phase quark matter and purely hadronic or purely strange-matter equations of state.
Load-bearing premise
The requirement that the equation of state must stiffen early to support two-solar-mass neutron stars with small radii at lower masses while remaining below perturbative QCD energy-density limits at high density.
What would settle it
A precise radius measurement for a neutron star above two solar masses that is too large to be produced by any model containing the required high-density softening interval.
Figures
read the original abstract
We propose a non-parametric approach to construct the statistical equation of state (EOS) continuously from the nuclear crust to the asymptotic-freedom regime. Driven by the observationally required stiffening to support two-solar-mass neutron stars (NSs) with relatively small radii for low-mass NSs, this global thermodynamic constraint suggests a clear peak of squared sound speed ($c_s^2$) in massive NSs. To prevent overshooting perturbative QCD (pQCD) energy-density bounds, this early stiffening must be actively compensated by an extended density range of softening, with $c_s^2$ not approaching $1/3$ until $\sim\!30\,n_{\rm sat}$. Consistently, the trace anomaly $\Delta \equiv 1/3 - p/\epsilon$ becomes positive beyond NS densities and approaches the pQCD limit from above. This natural emergence of $\Delta > 0$ organically aligns with some anticipated microphysics, likely arising from the pressure dilution in a quark-hadron mixed phase, non-conformal pQCD corrections to quark-gluon interactions, or the symmetry-breaking effects of finite strange quark mass. By measuring the degree of this non-monotonic behavior in the posterior, we find evidence for a hadron-quark phase transition in the cores of the most massive neutron stars. This indicates that the non-perturbative quark matter is intrinsically soft, fundamentally distinguishing it from the stiff scenarios associated with the quark-star picture.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a non-parametric statistical construction of the neutron star equation of state spanning nuclear crust densities to the perturbative QCD regime. Observational requirements for supporting 2 M_⊙ neutron stars with relatively small radii for lower-mass stars drive an early stiffening (peak in c_s²), which must be compensated by extended softening at higher densities to respect pQCD energy-density bounds; this produces a positive trace anomaly Δ beyond neutron-star densities that approaches the pQCD limit from above. The authors measure the degree of this non-monotonic behavior in the posterior and interpret it as evidence for a hadron-quark phase transition in the cores of the most massive neutron stars, implying intrinsically soft non-perturbative quark matter.
Significance. If the statistical robustness of the non-monotonicity measurement and its attribution to a phase transition can be established, the work would provide a data-driven, largely model-independent indication of high-density QCD behavior in neutron stars, distinguishing it from stiff quark-star scenarios. The non-parametric framework and explicit incorporation of both astrophysical and pQCD constraints are strengths that could be extended to future multimessenger data.
major comments (3)
- [Abstract / results] Abstract and results section: The central claim that 'by measuring the degree of this non-monotonic behavior in the posterior, we find evidence for a hadron-quark phase transition' is not supported by a quantitative model comparison (e.g., Bayes factor or posterior odds) among the three mechanisms listed in the abstract (pressure dilution in a mixed phase, non-conformal pQCD corrections, or finite strange-quark-mass effects). The global stiffening-plus-pQCD-bound constraint forces softening by construction, so the specific attribution to a first-order transition requires an explicit test that is not described.
- [Methods] Methods section on posterior sampling: The non-parametric construction is driven by the 'observationally required stiffening' and pQCD bounds imposed as global constraints. It is unclear how the prior and data weighting are chosen such that the compensation between early stiffening and later softening does not reduce to a prior-driven feature; a sensitivity analysis to these choices (or to the precise pQCD matching density) is needed to establish that the non-monotonicity is data-driven rather than constraint-driven.
- [Results] Results on trace anomaly and sound-speed posterior: The statement that Δ > 0 'organically aligns with some anticipated microphysics' is presented without a direct comparison to existing parametric EOS models that include or exclude a mixed phase. If the non-parametric posterior is to be used as evidence, the manuscript should show that the observed degree of non-monotonicity is statistically inconsistent with the alternatives listed in the abstract.
minor comments (2)
- [Abstract] The abstract uses 'likely arising from' for the three microphysical mechanisms but then asserts 'evidence for a hadron-quark phase transition' without clarifying the logical step; a brief sentence distinguishing 'consistent with' from 'evidence for' would improve clarity.
- [Introduction / methods] Notation for the trace anomaly Δ ≡ 1/3 − p/ε should be defined at first use and kept consistent with standard QCD literature (where the sign convention for Δ is sometimes reversed).
Simulated Author's Rebuttal
We thank the referee for their constructive and detailed comments, which identify key areas where additional statistical tests and comparisons can strengthen the interpretation of our non-parametric EOS results. We respond to each major comment below and outline the revisions we will make.
read point-by-point responses
-
Referee: [Abstract / results] The central claim that 'by measuring the degree of this non-monotonic behavior in the posterior, we find evidence for a hadron-quark phase transition' is not supported by a quantitative model comparison (e.g., Bayes factor or posterior odds) among the three mechanisms listed in the abstract. The global stiffening-plus-pQCD-bound constraint forces softening by construction, so the specific attribution to a first-order transition requires an explicit test that is not described.
Authors: We agree that a direct quantitative model comparison would provide stronger support for attributing the observed non-monotonicity specifically to a hadron-quark phase transition. Our non-parametric construction measures the posterior probability of non-monotonic c_s² and positive Δ without assuming a particular microphysical model, but the claim in the abstract would benefit from explicit qualification. In the revised manuscript we will soften the language in the abstract and results to state that the non-monotonic behavior is consistent with a hadron-quark phase transition (via pressure dilution in a mixed phase) while also being compatible with the other listed mechanisms. We will add a new subsection that performs a limited model comparison by contrasting the posterior against representative parametric EOS families that do or do not include a first-order transition. revision: partial
-
Referee: [Methods] Methods section on posterior sampling: The non-parametric construction is driven by the 'observationally required stiffening' and pQCD bounds imposed as global constraints. It is unclear how the prior and data weighting are chosen such that the compensation between early stiffening and later softening does not reduce to a prior-driven feature; a sensitivity analysis to these choices (or to the precise pQCD matching density) is needed to establish that the non-monotonicity is data-driven rather than constraint-driven.
Authors: We will add a dedicated sensitivity analysis subsection to the methods. This will systematically vary (i) the hyperparameters of the non-parametric prior (Gaussian-process length scale and variance), (ii) the relative likelihood weights assigned to the astrophysical datasets, and (iii) the pQCD matching density within the range 5–10 n_sat. For each variation we will recompute the posterior and report the fraction of samples exhibiting a c_s² peak followed by extended softening. The analysis will demonstrate that the non-monotonic feature remains robust and is primarily driven by the requirement to simultaneously satisfy the 2 M_⊙ mass constraint, the radius measurements for lower-mass stars, and the pQCD energy-density bound. revision: yes
-
Referee: [Results] Results on trace anomaly and sound-speed posterior: The statement that Δ > 0 'organically aligns with some anticipated microphysics' is presented without a direct comparison to existing parametric EOS models that include or exclude a mixed phase. If the non-parametric posterior is to be used as evidence, the manuscript should show that the observed degree of non-monotonicity is statistically inconsistent with the alternatives listed in the abstract.
Authors: We will expand the results section with a new figure and accompanying text that directly overlays the 68 % and 90 % credible intervals of our non-parametric posterior for c_s²(ε) and Δ(ε) against a curated set of parametric EOS models (both with and without explicit mixed-phase softening). We will also compute a simple overlap metric and report the fraction of our posterior samples that lie outside the 90 % band of the no-transition parametric models. This comparison will quantify the degree to which the observed non-monotonicity is statistically inconsistent with models lacking a softening mechanism. revision: yes
Circularity Check
No significant circularity detected in the derivation chain.
full rationale
The non-parametric EOS is constructed under external observational constraints (stiffening needed for 2 M_sun NSs with small radii) and pQCD energy-density bounds, which together require an early peak in c_s^2 followed by extended softening so that c_s^2 approaches 1/3 only at ~30 n_sat. This produces Delta > 0 beyond NS densities as a direct consequence of the imposed global thermodynamic requirements. The subsequent attribution of the non-monotonicity to a hadron-quark phase transition is presented as an interpretive alignment with anticipated microphysics rather than a mathematical reduction of the posterior to the input constraints by definition or by renaming a fitted quantity. No self-definitional equations, fitted parameters relabeled as predictions, load-bearing self-citations, or smuggled ansatzes are exhibited in the abstract or described method. The central result remains an output of the statistical posterior under stated external bounds and is therefore self-contained.
Axiom & Free-Parameter Ledger
free parameters (1)
- onset and extent of softening region
axioms (2)
- domain assumption Perturbative QCD provides strict upper bounds on energy density at asymptotically high densities
- domain assumption Mass-radius observations require sufficient stiffening to support 2 M_sun stars while keeping low-mass radii small
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearWe introduce an action-optimized intermediate segment: candidate c_s²(n) paths are assigned an action based on their mismatch from a linear interpolation between the endpoint states... L(n) = [ΔP(n) − c_s,tar Δε(n)]² w(n).
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclearthe trace anomaly Δ ≡ 1/3 − p/ε becomes positive beyond NS densities and approaches the pQCD limit from above... non-monotonic sound-speed profile
Reference graph
Works this paper leans on
-
[1]
GP representation Following the non-parametric strategy introduced in many works [13, 15, 22, 24, 68], we model the EOS through the auxiliary variable ϕ(n)≡ −ln 1 c2s(n) −1 ! =logit[c 2 s(n)],(A1) which maps the causal rangec 2 s ∈(0,1) ontoϕ∈(−∞,+∞), making it a natural target for GP modeling. The inverse rela- tion recovers thec 2 s via the sigmoid func...
-
[2]
Three-domain composite construction The full EOS consists of three structurally independent but sequentially continuous segments: theHadronicsegment, the pQCDsegment, and the action-optimized segment. a. Hadronic Segment Below∼0.3n sat, the EOS is imported from the BPS crust table[37]. From 0.3n sat onwards, we construct a single GP realization covering t...
-
[3]
How constraints shape the structure ofc 2 s The inclusion of high-density pQCD limits imposes strin- gent restrictions on the EOS. While it is mathematically straightforward to construct arbitrary continuous paths inP–n space that connect the pressure betweenhadronicandpQCD segment, these paths can lead to vastly different accumulated energy densitiesϵ. T...
-
[4]
B. P. Abbottet al.(LIGO Scientific, Virgo), Phys. Rev. Lett. 121, 161101 (2018), arXiv:1805.11581 [gr-qc]
work page Pith review arXiv 2018
-
[5]
B. P. Abbottet al.(LIGO Scientific, Virgo), Phys. Rev. X9, 031040 (2019), arXiv:1811.12907 [astro-ph.HE]
work page internal anchor Pith review arXiv 2019
-
[6]
S. Vinciguerraet al., Astrophys. J.961, 62 (2024), arXiv:2308.09469 [astro-ph.HE]
-
[7]
T. Salmiet al., Astrophys. J.974, 294 (2024), arXiv:2406.14466 [astro-ph.HE]
- [8]
-
[9]
D. Choudhuryet al., Astrophys. J. Lett.971, L20 (2024), arXiv:2407.06789 [astro-ph.HE]
-
[10]
L. Mauviardet al., Astrophys. J.995, 60 (2025), arXiv:2506.14883 [astro-ph.HE]
- [11]
-
[12]
A. Bauswein, A. Nikolaidis, G. Lioutas, H. Kochankovski, P. Char, C. Mondal, M. Oertel, L. Tolos, N. Chamel, and S. Goriely, Phys. Rev. Res.8, 013253 (2026), arXiv:2507.10372 [astro-ph.HE]
- [13]
-
[14]
L. Lindblom and N. M. Indik, Phys. Rev. D89, 064003 (2014), [Erratum: Phys.Rev.D 93, 129903 (2016)], arXiv:1310.0803 [astro-ph.HE]
- [15]
-
[16]
P. Landry and R. Essick, Phys. Rev. D99, 084049 (2019), arXiv:1811.12529 [gr-qc]
-
[17]
Y . Fujimoto, K. Fukushima, and K. Murase, Phys. Rev. D101, 054016 (2020), arXiv:1903.03400 [nucl-th]
- [18]
- [19]
-
[20]
C. Drischler, K. Hebeler, and A. Schwenk, Phys. Rev. Lett.122, 042501 (2019), arXiv:1710.08220 [nucl-th]
-
[21]
C. Drischler, R. J. Furnstahl, J. A. Melendez, and D. R. Phillips, Phys. Rev. Lett.125, 202702 (2020), arXiv:2004.07232 [nucl- th]
- [22]
-
[23]
O. Komoltsev and A. Kurkela, Phys. Rev. Lett.128, 202701 (2022), arXiv:2111.05350 [nucl-th]
- [24]
-
[25]
M.-Z. Han, Y .-J. Huang, S.-P. Tang, and Y .-Z. Fan, Sci. Bull. 68, 913 (2023), arXiv:2207.13613 [astro-ph.HE]
- [26]
-
[27]
S.-P. Tang, Y .-J. Huang, and Y .-Z. Fan, Phys. Rev. D112, 083009 (2025), arXiv:2507.10025 [astro-ph.HE]
-
[28]
R. Somasundaram, I. Tews, and J. Margueron, Phys. Rev. C 107, L052801 (2023), arXiv:2204.14039 [nucl-th]
- [29]
-
[30]
L. Brandes, W. Weise, and N. Kaiser, Phys. Rev. D108, 094014 (2023), arXiv:2306.06218 [nucl-th]
-
[31]
O. Komoltsev, R. Somasundaram, T. Gorda, A. Kurkela, J. Margueron, and I. Tews, Phys. Rev. D109, 094030 (2024), arXiv:2312.14127 [nucl-th]
-
[32]
S. Altiparmak, C. Ecker, and L. Rezzolla, Astrophys. J. Lett. 939, L34 (2022), arXiv:2203.14974 [astro-ph.HE]
- [33]
-
[34]
Constrained Gaussian-process bridge prior for neutron-star equation-of-state inference
T. Gorda, O. Komoltsev, A. Kurkela, and E. Sunde, Astrophys. J.1002, 40 (2026), arXiv:2512.18044 [astro-ph.HE]
work page internal anchor Pith review arXiv 2026
- [35]
-
[36]
N. K. Glendenning, Phys. Rev. D46, 1274 (1992)
work page 1992
- [37]
-
[38]
L. McLerran and S. Reddy, Phys. Rev. Lett.122, 122701 (2019), arXiv:1811.12503 [nucl-th]
- [39]
-
[40]
G. Baym, C. Pethick, and P. Sutherland, Astrophys. J.170, 299 (1971)
work page 1971
-
[41]
M. I. Freidlin and A. D. Wentzell,Random Perturbations of Dynamical Systems, 3rd ed., Grundlehren der mathematischen Wissenschaften, V ol. 260 (Springer, Berlin, Heidelberg, 2012)
work page 2012
- [42]
-
[43]
C. E. Rasmussen and C. K. I. Williams,Gaussian Processes for Machine Learning(MIT Press, Cambridge, MA, 2006)
work page 2006
-
[44]
C. Jidling, N. Wahlström, A. Wills, and T. B. Schön, Ad- vances in Neural Information Processing Systems (NeurIPS)30 (2017), arXiv:1703.00787 [stat.ML]
-
[45]
Y . Fujimoto, K. Fukushima, L. D. McLerran, and M. Prasza- lowicz, Phys. Rev. Lett.129, 252702 (2022), arXiv:2207.06753 [nucl-th]
-
[47]
A. Kurkela, P. Romatschke, and A. Vuorinen, Phys. Rev. D81, 105021 (2010), arXiv:0912.1856 [hep-ph]
- [48]
-
[49]
C. Constantinou, M. Guerrini, T. Zhao, S. Han, and M. Prakash, Phys. Rev. D112, 094014 (2025), arXiv:2506.20418 [nucl-th]
- [50]
-
[51]
D.-S. Shao, S.-P. Tang, X. Sheng, J.-L. Jiang, Y .-Z. Wang, Z.- P. Jin, Y .-Z. Fan, and D.-M. Wei, Phys. Rev. D101, 063029 (2020), arXiv:1912.08122 [astro-ph.HE]
- [52]
-
[53]
K. Iida and E. Itou, PTEP2022, 111B01 (2022), arXiv:2207.01253 [hep-ph]
- [54]
- [55]
- [56]
- [57]
-
[58]
B. A. Freedman and L. D. McLerran, Phys. Rev. D16, 1169 (1977)
work page 1977
- [59]
-
[60]
J. O. Andersen and M. P. Nødtvedt, arXiv preprint (2026), arXiv:2605.05816 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2026
- [61]
- [62]
-
[63]
S. Blacker, A. Bauswein, and S. Typel, Phys. Rev. D108, 063032 (2023), arXiv:2304.01971 [astro-ph.HE]
- [64]
-
[65]
Y . Fujimoto, K. Fukushima, K. Hotokezaka, and K. Kyutoku, Phys. Rev. Lett.130, 091404 (2023), arXiv:2205.03882 [astro- ph.HE]
- [66]
- [67]
-
[68]
S. Hensh, Y .-J. Huang, T. Kojo, L. Baiotti, K. Takami, S. Na- gataki, and H. Sotani, Astrophys. J. Lett.991, L12 (2025), arXiv:2407.09446 [astro-ph.HE]
- [69]
- [70]
-
[71]
A. Tarantola,Inverse Problem Theory and Methods for Model Parameter Estimation(Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2005)
work page 2005
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.