Recognition: 2 theorem links
· Lean TheoremFermion Thermal Field Theory for a Rotating Plasma (with Applications to Neutron Stars)
Pith reviewed 2026-05-16 20:56 UTC · model grok-4.3
The pith
Rotation makes the neutrino production rate from direct URCA processes grow without bound as angular velocity approaches the inverse plasma size.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In a generic thermal equilibrium state that includes nonzero average angular momentum, the neutrino production rate due to direct URCA processes diverges as the angular velocity approaches the inverse linear size of the plasma, so rotation can significantly increase this rate.
What carries the argument
Path-integral formulation of thermal Green's functions for arbitrary-point correlators in fermion-scalar theories, computed from a generic equilibrium density matrix that encodes temperature, chemical potentials, and average angular momentum.
If this is right
- Fermi surface and Fermi momentum for degenerate fermions acquire explicit dependence on angular velocity.
- Average energy, number density, and angular momentum of fermions follow directly from the modified thermal distribution.
- Neutrino emission rates in rotating neutron stars such as pulsars are enhanced by the rotation-induced divergence.
- The same formalism supplies thermal Green's functions for any number of external points in both real-time and imaginary-time pictures.
Where Pith is reading between the lines
- Cooling timescales for rapidly rotating compact stars could be shortened relative to non-rotating models.
- Analogous rate enhancements may occur in other rotating fermionic environments such as heavy-ion collisions.
- Observational comparison of neutrino fluxes from fast versus slow pulsars could test the predicted angular-velocity dependence.
Load-bearing premise
A rotating plasma remains in thermal equilibrium when its density matrix carries an arbitrary average angular momentum, independent of how that state is prepared or maintained against dissipation.
What would settle it
An explicit computation or measurement showing that the direct URCA neutrino rate stays finite or decreases when angular velocity equals the inverse linear size of the plasma would falsify the divergence.
Figures
read the original abstract
This paper provides a systematic and complete study of thermal field theory with fermion fields of any kind for generic equilibrium density matrices, which feature arbitrary values not only of temperature and chemical potentials, but also average angular momentum. This extends a previous study that focused on scalar fields, to all fermion-scalar theories. Both Dirac and Majorana fermions and both Dirac and Majorana masses are covered. A general technique to compute ensemble averages is provided. Path-integral methods are developed to study thermal Green's functions (with an arbitrary number of points) in generic interacting fermion-scalar theories, which cover both the real-time and imaginary-time formalism. These general results are applied to physical situations typical of neutron stars, which are often quickly rotating: the Fermi surface and Fermi momentum, the average energy, number density and angular momentum for degenerate fermions and particle production (such as neutrino production from rotating neutron stars, e.g. pulsars). In particular, it is shown that the neutrino production rate due to the direct URCA (DU) processes grows indefinitely as the angular velocity approaches the inverse linear size of the plasma and, therefore, rotation can significantly increase this rate.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a path-integral formulation of thermal field theory for fermions (Dirac and Majorana) in generic equilibrium states that include arbitrary average angular momentum, extending prior scalar results. It derives general techniques for ensemble averages and thermal Green's functions (real- and imaginary-time) in interacting fermion-scalar theories, then applies them to degenerate fermions in rotating neutron-star matter, obtaining explicit expressions for the Fermi surface, energy, number density, and angular momentum, together with the result that the direct URCA neutrino production rate grows without bound as angular velocity approaches the inverse linear size of the plasma.
Significance. If the central derivation is sound, the work supplies a systematic framework for thermal field theory in rotating fermionic systems that is directly relevant to neutron-star phenomenology. The reported indefinite growth of the URCA rate with rotation would imply that spin can substantially enhance neutrino emission, affecting cooling timescales and pulsar models. The provision of machine-checkable path-integral rules and explicit ensemble-average formulas for fermions constitutes a technical contribution that could be reused in other rotating-plasma contexts.
major comments (1)
- [Application to neutron stars] Application to neutron stars (final section): The headline claim that the direct URCA rate grows indefinitely as ω → 1/R is obtained from the thermal propagators constructed with the density matrix ρ ∝ exp(−β(H − Ω J − μ N)). This growth is load-bearing for the physical conclusion, yet the manuscript does not demonstrate that the ensemble remains normalizable or that the Dirac operator spectrum stays bounded from below once the peripheral speed ωR approaches c. At that point the rotating-frame metric develops an ergoregion, and the path-integral measure may require additional regularization; without an explicit check that the real-time Green's functions remain well-defined in this limit, the divergence result rests on an unverified extrapolation of the formalism.
minor comments (2)
- The notation distinguishing the angular velocity parameter Ω from the symbol ω used in the limit statement should be unified or explicitly cross-referenced to avoid reader confusion.
- A brief remark on the range of validity of the non-interacting or mean-field approximation employed for the URCA rate calculation would help readers assess the robustness of the growth result.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting an important point about the regime of validity in the neutron-star application. We address the major comment below and will make a partial revision to clarify the scope of our results.
read point-by-point responses
-
Referee: Application to neutron stars (final section): The headline claim that the direct URCA rate grows indefinitely as ω → 1/R is obtained from the thermal propagators constructed with the density matrix ρ ∝ exp(−β(H − Ω J − μ N)). This growth is load-bearing for the physical conclusion, yet the manuscript does not demonstrate that the ensemble remains normalizable or that the Dirac operator spectrum stays bounded from below once the peripheral speed ωR approaches c. At that point the rotating-frame metric develops an ergoregion, and the path-integral measure may require additional regularization; without an explicit check that the real-time Green's functions remain well-defined in this limit, the divergence result rests on an unverified extrapolation of the formalism.
Authors: We agree that the formalism requires a well-defined regime of applicability. The density matrix and path-integral construction are formal and remain well-defined for ΩR < 1 (in units where c=1), where the peripheral velocity is subluminal, the ensemble is normalizable, and the spectrum of the Dirac operator in the rotating frame stays bounded from below. The ergoregion appears precisely at the critical value ΩR = 1. Our explicit expressions for the Fermi surface, densities, and the URCA rate are derived within this range, and the reported growth is obtained as Ω approaches 1/R from below. This mathematical divergence indicates a strong physical enhancement of neutrino emission due to rotation before any breakdown of the rotating-frame description. We will add an explicit statement in the final section clarifying that all results hold for ΩR < 1 and that the indefinite growth signals substantial enhancement within the physically allowed regime, without extrapolating the formalism to or beyond the critical speed. This revision addresses the concern by making the domain of validity explicit. revision: partial
Circularity Check
No circularity: rate divergence follows directly from extended path-integral formalism
full rationale
The paper constructs thermal Green's functions for fermions via path integrals on the density matrix ρ ∝ exp(−β(H − Ω J − μ N)) and computes the direct URCA neutrino rate from the resulting propagators. The claimed indefinite growth as Ω approaches 1/R is a direct output of this construction rather than a fitted parameter renamed as prediction, a self-definition, or a load-bearing self-citation chain. No step reduces the central result to its inputs by construction; the derivation remains independent of the specific application to neutron stars.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Existence of a generic equilibrium density matrix with arbitrary average angular momentum for fermionic systems
- standard math Validity of path-integral methods for thermal Green's functions in interacting fermion-scalar theories
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the neutrino production rate due to the direct URCA (DU) processes grows indefinitely as the angular velocity approaches the inverse linear size of the plasma
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
ρ = e^{−β(H − Ω·J − μ_a Q_a)} / Z
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
-
[1]
M. L. Bellac, “Thermal Field The- ory ,” Cambridge University Press, 2011 doi:10.1017/CBO9780511721700
-
[2]
Quantum field theory: A modern perspective,
V. P. Nair, “Quantum field theory: A modern perspective,” Springer New York, NY, 2005
work page 2005
-
[3]
Real and Imaginary Time Field Theory at Finite Tempera- ture and Density ,
N. P. Landsman and C. G. van Weert, “Real and Imaginary Time Field Theory at Finite Tempera- ture and Density ,” Phys. Rept.145(1987), 141 doi:10.1016/0370-1573(87)90121-9
-
[4]
Field theory at finite tempera- ture and phase transitions,
M. Quiros, “Field theory at finite tempera- ture and phase transitions,” Helv. Phys. Acta67 (1994), 451-583
work page 1994
-
[5]
The essence of higher- order concurrent separation logic
M. Laine and A. Vuorinen, “Basics of Ther- mal Field Theory ,” Lect. Notes Phys.925(2016), pp.1-281 Springer, 2016, doi:10.1007/978-3- 319-31933-9 [arXiv:1701.01554]
-
[6]
Introduction to Ther- mal Field Theory: From First Prin- ciples to Applications,
A. Salvio, “Introduction to Ther- mal Field Theory: From First Prin- ciples to Applications,” Universe11 (2025), 16 doi:10.3390/universe11010016 [arXiv:2411.02498]
-
[7]
L. D. Landau and E. M. Lifshitz, “Statistical Physics” (Pergamon, London, 1969)
work page 1969
-
[8]
Scalar Thermal Field Theory for a Rotating Plasma
A. Salvio, “Scalar Thermal Field Theory for a Rotating Plasma,” [arXiv:2503.09677]. 27
work page internal anchor Pith review Pith/arXiv arXiv
-
[9]
Derivation of nonlinear gen- eralized equations of quantum relativistic hydro- dynamics,
D. N. Zubarev, A. V. Prozorkevich and S. A. Smolyanskii, “Derivation of nonlinear gen- eralized equations of quantum relativistic hydro- dynamics,” Theor. Math. Phys.40(1979) no.3, 821-831 doi:10.1007/BF01032069
-
[10]
Van Weert, Maximum entropy principle and relativistic hydrodynamics, Ch
G. Van Weert, Maximum entropy principle and relativistic hydrodynamics, Ch. Annals Phys., Volume 140, Issue 1, (1982), 133-162
work page 1982
-
[11]
Covariant statistical mechanics and the stress-energy tensor
F. Becattini, “Covariant statistical me- chanics and the stress-energy tensor,” Phys. Rev. Lett.108(2012), 244502 doi:10.1103/PhysRevLett.108.244502 [arXiv:1201.5278]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.108.244502 2012
-
[12]
Quantum field theory at finite temperature in a rotating sys- tem,
A. Vilenkin, “Quantum field theory at finite temperature in a rotating sys- tem,” Phys. Rev. D21(1980), 2260-2269 doi:10.1103/PhysRevD.21.2260
-
[13]
General equilibrium second-order hydrodynamic coefficients for free quantum fields
M. Buzzegoli, E. Grossi and F. Becat- tini, “General equilibrium second-order hydro- dynamic coefficients for free quantum fields,” JHEP10(2017), 091 [erratum: JHEP07 (2018), 119] doi:10.1007/JHEP10(2017)091 [arXiv:1704.02808]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep10(2017)091 2017
-
[14]
Unruh effect universality: emergent conical geometry from density operator,
G. Y. Prokhorov, O. V. Teryaev and V. I. Za- kharov, “Unruh effect universality: emergent conical geometry from density operator,” JHEP 03(2020), 137 doi:10.1007/JHEP03(2020)137 [arXiv:1911.04545]
-
[15]
F. Becattini, M. Buzzegoli and A. Palermo, “Exact equilibrium distributions in statis- tical quantum field theory with rotation and acceleration: scalar field,” JHEP02 (2021), 101 doi:10.1007/JHEP02(2021)101 [arXiv:2007.08249]
-
[16]
Finite- Temperature Perturbation Theory of Rotating Scalar Fields,
R. Kuboniwa and K. Mameda, “Finite- Temperature Perturbation Theory of Rotating Scalar Fields,” [arXiv:2504.04712]
-
[17]
Spontaneous breaking of global U(1) symmetry in an interacting Bose gas under rigid rotation,
E. Siri and N. Sadooghi, “Spontaneous breaking of global U(1) symmetry in an interacting Bose gas under rigid rotation,” [arXiv:2508.17055]
-
[18]
Rotating fermions inside a cylindrical boundary
V. E. Ambrus and E. Winstanley , “Rotat- ing fermions inside a cylindrical bound- ary ,” Phys. Rev. D93(2016) no.10, 104014 doi:10.1103/PhysRevD.93.104014 [arXiv:1512.05239]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.93.104014 2016
-
[19]
Interacting fermions in rotation: chiral symmetry restoration, moment of inertia and thermodynamics
M. N. Chernodub and S. Gongyo, “Interacting fermions in rotation: chi- ral symmetry restoration, moment of in- ertia and thermodynamics,” JHEP01 (2017), 136 doi:10.1007/JHEP01(2017)136 [arXiv:1611.02598]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep01(2017)136 2017
-
[20]
Parity Violating Currents in Ther- mal Radiation,
A. Vilenkin, “Parity Violating Currents in Ther- mal Radiation,” Phys. Lett. B80(1978), 150-152 doi:10.1016/0370-2693(78)90330-1
-
[21]
A. Vilenkin, “Macroscopic parity violat- ing effects: neutrino fluxes from rotating black holes and in rotating thermal radia- tion,” Phys. Rev. D20(1979), 1807-1812 doi:10.1103/PhysRevD.20.1807
-
[22]
Thermodynamic Equilibrium of Massless Fermions with Vorticity , Chirality and Electromagnetic Field,
M. Buzzegoli, “Thermodynamic Equilibrium of Massless Fermions with Vorticity , Chirality and Electromagnetic Field,” Lect. Notes Phys.987 (2021), 59-93 doi:10.1007/978-3-030-71427- 7 3 [arXiv:2011.09974]
-
[23]
A. Palermo, M. Buzzegoli and F. Becat- tini, “Exact equilibrium distributions in sta- tistical quantum field theory with rotation and acceleration: Dirac field,” JHEP10 (2021), 077 doi:10.1007/JHEP10(2021)077 [arXiv:2106.08340]
-
[24]
A. Palermo and F. Becattini, “Exact spin polarization of massive and massless par- ticles in relativistic fluids at global equi- librium,” Eur. Phys. J. Plus138(2023) no.6, 547 doi:10.1140/epjp/s13360-023-04169- w [arXiv:2304.02276]
-
[25]
Dilep- ton Production in a Rotating Thermal Medium Part I: The Rigid Rotation Approximation,
J. D. Casta ˜no-Yepes and E. Mu ˜noz, “Dilep- ton Production in a Rotating Thermal Medium Part I: The Rigid Rotation Approximation,” [arXiv:2509.18219]
-
[26]
Chiral symmetry breaking in accelerating and rotating frames,
Z. B. Zhu, H. L. Chen and X. G. Huang, “Chiral symmetry breaking in accelerating and rotating frames,” [arXiv:2511.03230]
-
[27]
Energy Emission from a Neutron Star,
F. Pacini, “Energy Emission from a Neutron Star,” Nature216(1967) no.5115, 567-568 doi:10.1038/216567a0
-
[28]
J. D. Bjorken and S. D. Drell, “Relativistic Quantum Fields,” (McGraw-Hill, N. Y., 1965). 28
work page 1965
-
[29]
A normal Form for a Ma- trix under the Unitary Congruence Group
D. C. Youla, (1961), “A normal Form for a Ma- trix under the Unitary Congruence Group”. Can. J. Math. 13: 694-704
work page 1961
-
[30]
Scalar Thermal Field The- ory for a Rotating Plasma; Dataset,
A. Salvio, “Scalar Thermal Field The- ory for a Rotating Plasma; Dataset,” (2025) https://doi.org/10.5281/zenodo.15012826
-
[31]
A Salvio, “Fermion Thermal Field The- ory for a Rotating Plasma (with Applica- tions to Neutron Stars); Dataset,” (2025) https://doi.org/10.5281/zenodo.17976344
-
[32]
J. R. Oppenheimer and G. M. Volkoff, “On massive neutron cores,” Phys. Rev.55(1939), 374-381 doi:10.1103/PhysRev.55.374
-
[33]
S. Weinberg, “Lectures on Astrophysics,” Cam- bridge University Press (2019)
work page 2019
-
[34]
Axion contribu- tion to the mass-radius relation of neutron stars,
M. Naydenov and A. Salvio, “Axion contribu- tion to the mass-radius relation of neutron stars,” [arXiv:2506.16932]
-
[36]
R. L. Kobes and G. W. Semenoff, “Discon- tinuities of Green Functions in Field Theory at Finite Temperature and Density . 2,” Nucl. Phys. B272(1986), 329-364 doi:10.1016/0550- 3213(86)90006-4
-
[37]
Direct URCA process in neutron stars,
J. M. Lattimer, C. J. Pethick, M. Prakash and P. Haensel, “Direct URCA process in neutron stars,” Phys. Rev. Lett.66(1991), 2701-2704 doi:10.1103/PhysRevLett.66.2701
-
[38]
Impact of Rotation-Driven Particle Repopulation on the Thermal Evolution of Pulsars
R. Negreiros, S. Schramm and F. We- ber, “Impact of Rotation-Driven Particle Re- population on the Thermal Evolution of Pulsars,” Phys. Lett. B718(2013), 1176- 1180 doi:10.1016/j.physletb.2012.12.046 [arXiv:1103.3870]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physletb.2012.12.046 2013
-
[39]
The Standard Model Theory of Neutron Beta Decay ,
M. Gorchtein and C. Y. Seng, “The Standard Model Theory of Neutron Beta Decay ,” Universe9 (2023) no.9, 422 doi:10.3390/universe9090422 [arXiv:2307.01145]
-
[40]
Asymmetric nuclear mat- ter: The Role of the isovector scalar chan- nel,
B. Liu, V. Greco, V. Baran, M. Colonna and M. Di Toro, “Asymmetric nuclear mat- ter: The Role of the isovector scalar chan- nel,” Phys. Rev. C65(2002), 045201 doi:10.1103/PhysRevC.65.045201 [arXiv:nucl- th/0112034]
-
[41]
Electron Capture and Its Reverse Process in Hot and Dense Astronuclear Matter,
W. j. Fu, G. h. Wang and Y. x. Liu, “Electron Capture and Its Reverse Process in Hot and Dense Astronuclear Matter,” Astrophys. J.678(2008), 1517-1529 doi:10.1086/528361
-
[42]
A Treatise on the Theory of Bessel Functions,
G. N. Watson, “A Treatise on the Theory of Bessel Functions,” Cambridge University Press (1944)
work page 1944
-
[43]
Inte- grals of Products of Bessel Functions,
A. D. Jackson and Leonard C. Maximon, “Inte- grals of Products of Bessel Functions,” SIAM Jour- nal on Mathematical Analysis 3(3), 1972 DOI: 10.1137/0503043 29
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.