Recognition: 2 theorem links
· Lean TheoremRelativistic Barnett effect and Curie law in a rigidly rotating free Fermi gas
Pith reviewed 2026-05-10 18:40 UTC · model grok-4.3
The pith
A rigidly rotating relativistic Fermi gas has a moment of inertia that scales as 1/T at high temperatures, following the Curie law.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In a rigidly rotating free Fermi gas the pressure and all thermodynamic quantities are separated into spin-up and spin-down contributions that differ only in their fugacities. The spin-rotation coupling lowers the Fermi energy of the spin-down fermions relative to the spin-up fermions, producing a net polarization consistent with the Barnett effect. The magnetic susceptibility arising from this Barnett magnetization is proportional to the moment of inertia I of the gas. Under the assumption that the numbers of each spin species remain fixed while temperature changes, I is shown to exhibit a 1/T dependence in the high-temperature limit, exactly as in the Curie law of ordinary paramagnetism.
What carries the argument
The effective chemical potential that combines orbital angular-momentum rotation and spin-rotation coupling, together with the spin-chemicorotational ratio η ≡ Ω⁰/2μ⁰ that sets the strength of the induced polarization.
Load-bearing premise
The numbers of spin-up and spin-down fermions are taken to be independent of temperature while temperature is varied, together with the specific regularization scheme used to sum over angular-momentum quantum numbers.
What would settle it
An explicit high-temperature calculation or measurement of the moment of inertia of a rotating Fermi gas that fails to approach 1/T scaling would falsify the central result.
Figures
read the original abstract
By combining methods from thermal field theory and statistical mechanics, we reexamine the spin polarization caused by the relativistic Barnett effect in a rigidly rotating Fermi gas. We determine the pressure of this medium and show that it depends on an effective chemical potential, which includes contributions from orbital angular momentum-rotation and spin-rotation coupling. We introduce a specific regularization scheme to sum over the angular momentum quantum numbers. As a result, the thermal pressure and all thermodynamic quantities are separated into two parts that differ only in the spin fugacities of spin-up and spin-down fermions. We calculate the Fermi energy for both components and show that the Fermi energy of the spin-down fermions is lower than that of the spin-up ones. This difference arises from the spin-rotation coupling and leads to a spin polarization consistent with the Barnett effect. In particular, we introduce the spin-chemicorotational ratio $\eta\equiv \Omega^{(0)}/2\mu^{(0)}$, which adjusts the spin polarization of the Fermi gas. Here, $\Omega^{(0)}$ and $\mu^{(0)}$ represent the angular velocity and chemical potential at zero temperature, respectively. The factor $1/2$ accounts for the fermion's spin. We explore the temperature dependence of $\mu$ and $\Omega$, while assuming that the number of spin-up and spin-down fermions remains temperature independent. Our findings indicate that the spin-down component of the rotating Fermi gas dilutes at lower temperatures compared to the spin-up component. Additionally, we calculate the magnetic susceptibility arising from the Barnett magnetization and demonstrate that it is proportional to the moment of inertia $I$ of the rotating Fermi gas. Finally, we prove that $I$ exhibits a $1/T$ behavior in the high-temperature limit, similar to the Curie law of paramagnetism.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript reexamines the relativistic Barnett effect in a rigidly rotating free Fermi gas. It combines thermal field theory with statistical mechanics to express the pressure in terms of an effective chemical potential incorporating orbital and spin-rotation couplings, introduces a regularization scheme for the sum over angular-momentum quantum numbers that separates the spin-up and spin-down sectors, defines the zero-temperature ratio η ≡ Ω⁰/2μ⁰, and holds N↑ and N↓ fixed while allowing μ(T) and Ω(T) to adjust. Under these choices the authors derive a spin polarization consistent with the Barnett effect and prove that the moment of inertia I (linked to the Barnett magnetization susceptibility) scales as 1/T in the high-temperature limit, analogous to Curie's law.
Significance. If the central high-T result is robust, the work supplies a concrete relativistic realization of Curie-like paramagnetism arising from the Barnett effect in a Fermi gas, with potential relevance to rotating nuclear matter and neutron-star physics. The explicit separation of spin sectors and the parameter-free character of the high-T limit (once η is fixed at T=0) would be genuine strengths.
major comments (3)
- [Section introducing the regularization scheme] The regularization procedure used to sum over angular-momentum quantum numbers (introduced to achieve the clean separation into spin-up and spin-down pressures) is presented without an independent derivation or comparison to standard regularization methods. Because this scheme is load-bearing for both the claimed spin polarization and the subsequent high-T expansion of I, its validity must be demonstrated explicitly rather than asserted.
- [Sections deriving μ(T), Ω(T) and the high-T limit of I] The central 1/T claim for I rests on holding N↑ and N↓ strictly temperature-independent while T varies, which forces μ(T) and Ω(T) to readjust. This is an additional constraint beyond the usual grand-canonical ensemble (where only total N is fixed). The thermodynamic consistency of this choice and its effect on the high-T susceptibility expansion are not shown; altering the constraint changes the scaling, so the assumption requires explicit justification and error analysis.
- [High-temperature limit derivation] The high-temperature expansion that yields I ∝ 1/T is stated as a proof, yet the manuscript provides neither the explicit series expansion nor bounds on the neglected terms. Without these, the claim cannot be verified from the given text, especially given the dependence on the chosen regularization and fixed-N↑/N↓ conditions.
minor comments (2)
- [Introduction and definitions] Notation for the effective chemical potential and the spin-chemicorotational ratio η should be introduced with a single, self-contained definition early in the text rather than piecemeal.
- [Zero-temperature limit] The zero-temperature reference values Ω⁰ and μ⁰ used to define η are stated but their numerical or analytic evaluation is not shown; a brief appendix or inline calculation would improve reproducibility.
Simulated Author's Rebuttal
We thank the referee for the careful and constructive report. The comments identify key areas where additional derivation, justification, and explicit expansions will strengthen the manuscript. We address each major comment below and commit to the indicated revisions.
read point-by-point responses
-
Referee: [Section introducing the regularization scheme] The regularization procedure used to sum over angular-momentum quantum numbers (introduced to achieve the clean separation into spin-up and spin-down pressures) is presented without an independent derivation or comparison to standard regularization methods. Because this scheme is load-bearing for both the claimed spin polarization and the subsequent high-T expansion of I, its validity must be demonstrated explicitly rather than asserted.
Authors: We agree that an explicit derivation is needed. In the revised manuscript we will add an appendix that derives the regularization directly from the thermal field theory treatment of the rotating Fermi gas in cylindrical coordinates. The derivation starts from the mode sum over angular-momentum quantum numbers and shows how the scheme emerges naturally once the orbital and spin-rotation couplings are incorporated into the effective chemical potential. We will also compare the results to standard cutoff and zeta-function regularizations, demonstrating that all three approaches yield identical expressions for the pressure, number densities, and spin polarization once the same physical cutoff scale is imposed. This establishes that the separation into spin-up and spin-down sectors is not an artifact of the chosen scheme. revision: yes
-
Referee: [Sections deriving μ(T), Ω(T) and the high-T limit of I] The central 1/T claim for I rests on holding N↑ and N↓ strictly temperature-independent while T varies, which forces μ(T) and Ω(T) to readjust. This is an additional constraint beyond the usual grand-canonical ensemble (where only total N is fixed). The thermodynamic consistency of this choice and its effect on the high-T susceptibility expansion are not shown; altering the constraint changes the scaling, so the assumption requires explicit justification and error analysis.
Authors: The fixed-N↑/N↓ constraint is physically motivated by the absence of spin-flip interactions in the free Fermi gas; total particle number and total angular momentum are separately conserved in the rotating frame, which naturally keeps the two spin populations fixed while allowing μ and Ω to adjust with temperature. In the revision we will add a new subsection that derives this ensemble from the underlying conservation laws and verifies thermodynamic consistency by showing that the differential relations dE = T dS − p dV + μ dN + Ω dL remain satisfied. We will also perform the requested error analysis by recomputing the high-T expansion of I both with the fixed-N↑/N↓ constraint and in the standard grand-canonical ensemble (fixed total N only). The comparison shows that the leading 1/T term is unchanged while sub-leading corrections differ by O(1/T²), thereby confirming the robustness of the Curie-like scaling under the physically relevant constraint. revision: yes
-
Referee: [High-temperature limit derivation] The high-temperature expansion that yields I ∝ 1/T is stated as a proof, yet the manuscript provides neither the explicit series expansion nor bounds on the neglected terms. Without these, the claim cannot be verified from the given text, especially given the dependence on the chosen regularization and fixed-N↑/N↓ conditions.
Authors: We accept that the expansion must be written out explicitly. The revised manuscript will contain the full high-T asymptotic series for the moment of inertia I, obtained by expanding the Fermi-Dirac integrals that appear after the regularization is applied and after μ(T) and Ω(T) are determined from the fixed-N↑/N↓ conditions. The leading term is shown to be proportional to 1/T with a coefficient that depends only on η (the zero-temperature spin-chemicorotational ratio). We also supply explicit bounds on the remainder: the neglected terms are O(1/T²) uniformly in the high-T regime, with the constant prefactor controlled by the same regularization scale used for the angular-momentum sum. This makes the 1/T scaling verifiable and quantifies the corrections arising from the regularization and the ensemble choice. revision: yes
Circularity Check
No significant circularity; derivation applies standard methods to explicit modeling choices
full rationale
The paper applies thermal field theory and statistical mechanics to a rigidly rotating Fermi gas, introducing an explicit regularization for the angular-momentum sum and imposing fixed N↑, N↓ as modeling assumptions. From these, it derives the separation into spin sectors, the definition of η from zero-temperature values, the T-dependence of μ and Ω, and the high-T expansion yielding I ∼ 1/T. These steps constitute a direct calculation rather than a reduction of the claimed result to its inputs by definition or by a self-referential fit. No load-bearing self-citation, ansatz smuggling, or renaming of known results is present; the 1/T behavior is a computed consequence under the stated constraints, not forced tautologically.
Axiom & Free-Parameter Ledger
free parameters (1)
- eta
axioms (2)
- domain assumption The Fermi gas rotates rigidly with constant angular velocity.
- standard math Thermal field theory methods apply to the rotating system.
invented entities (1)
-
effective chemical potential including orbital angular momentum-rotation and spin-rotation coupling
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We introduce a specific regularization scheme to sum over the angular momentum quantum numbers... the pressure... separate into two parts... z± ≡ exp(β(μ±Ω/2))... prove that I exhibits a 1/T behavior in the high-temperature limit, similar to the Curie law
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat recovery and orbit embedding unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
assuming that the number of spin-up and spin-down fermions remains temperature independent
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]
Additionally, the ultrarelativistic gas becomes less dense at lower temperatures than the nonrelativistic Fermi gas
Our findings indicate that in both NR and UR lim- its, the spin-down component of the rotating Fermi gas becomes weakly degenerate at lower temperatures than its spin-up component. Additionally, the ultrarelativistic gas becomes less dense at lower temperatures than the nonrelativistic Fermi gas. In Fig. 4, the numerical results forza,± are used and theTd...
-
[2]
W.Busza, K.RajagopalandW.vanderSchee,Heavy-ion collisions: The big picture, and the big questions, Ann. Rev. Nucl. Part. Sci.68, 339 (2018), arXiv:1802.04801 [hep-ph]
work page Pith review arXiv 2018
- [3]
-
[4]
G. Aarts, J. Aichelin, C. Allton, A. Athenodorou, D. Bachtis, C. Bonanno, N. Brambilla, E. Bratkovskaya, M. Bruno and M. Caselle,et al. Phase transitions in par- ticle physics - Results and perspectives from lattice Quan- tum Chromo-Dynamics, arXiv:2301.04382 [hep-lat]
-
[5]
Arslandoket al., Hot QCD White Paper, (2023), arXiv:2303.17254 [nucl-ex]
M. Arslandok, S. A. Bass, A. A. Baty, I. Bautista, C. Beattie, F. Becattini, R. Bellwied, Y. Berdnikov, A. Berdnikov and J. Bielcik,et al. Hot QCD white paper, arXiv:2303.17254 [nucl-ex]
-
[6]
Achenbachet al., The present and future of QCD, Nucl
P. Achenbach, D. Adhikari, A. Afanasev, F. Afzal, C. A. Aidala, A. Al-bataineh, D. K. Almaalol, M. Amaryan, D. Androic and W. R. Armstrong,et al. The present and future of QCD, Nucl. Phys. A1047, 122874 (2024), arXiv:2303.02579 [hep-ph]
-
[7]
F. Becattini, J. Liao and M. Lisa,Strongly interact- ing matter under rotation: An introduction, Lect. Notes Phys.987, 1 (2021), arXiv:2102.00933 [nucl-th]
- [8]
-
[9]
X. G. Huang,Electromagnetic fields and anomalous transports in heavy-ion collisions — A pedagogical review, Rept. Prog. Phys.79, 076302 (2016), arXiv:1509.04073 [nucl-th]
work page Pith review arXiv 2016
-
[10]
D. E. Kharzeev, L. D. McLerran and H. J. Warringa, The effects of topological charge change in heavy ion col- lisions: ’Event by event P and CP violation’, Nucl. Phys. A803, 277 (2008), arXiv:0711.0950 [hep-ph]
work page Pith review arXiv 2008
-
[11]
Estimate of the magnetic field strength in heavy-ion collisions
V. Skokov, A. Y. Illarionov and V. Toneev,Estimate of the magnetic field strength in heavy ion collisions, Int. J. Mod. Phys. A24, 5925 (2009), arXiv:0907.1396 [nucl.th]
work page Pith review arXiv 2009
-
[12]
F. Becattini, I. Karpenko, M. Lisa, I. Upsal and S. Voloshin,Global hyperon polarization at local ther- modynamic equilibrium with vorticity, magnetic field and feed-down, Phys. Rev. C95, 054902 (2017), arXiv:1610.02506 [nucl-th]
work page Pith review arXiv 2017
-
[13]
K. Fukushima, D. E. Kharzeev and H. J. Warringa,The chiral magnetic effect, Phys. Rev. D78, 074033 (2008), arXiv:0808.3382 [hep-ph]
work page Pith review arXiv 2008
- [14]
-
[15]
S. Fayazbakhsh and N. Sadooghi,Color neutral 2SC phase of cold and dense quark matter in the presence of constant magnetic fields, Phys.Rev.D82, 045010(2010), arXiv:1005.5022 [hep-ph]
-
[16]
S. Fayazbakhsh and N. Sadooghi,Phase diagram of hot magnetized two-flavor color superconducting quark mat- ter, Phys. Rev. D83, 025026 (2011), arXiv:1009.6125 [hep-ph]
- [17]
- [18]
- [19]
-
[20]
D’Elia,Lattice QCD simulations in external back- ground fields, Lect
M. D’Elia,Lattice QCD simulations in external back- ground fields, Lect. Notes Phys.871, 181 (2013), arXiv:1209.0374 [hep-lat]
-
[21]
F. Bruckmann, G. Endrodi and T. G. Kovacs,Inverse magnetic catalysis and the Polyakov loop, JHEP04, 112 (2013), arXiv:1303.3972 [hep-lat]
-
[22]
S. Fayazbakhsh and N. Sadooghi,Anomalous magnetic moment of hot quarks, inverse magnetic catalysis, and reentrance of the chiral symmetry broken phase, Phys. Rev. D90, 105030 (2014), arXiv:1408.5457 [hep-ph]
- [23]
- [24]
-
[25]
G. Cao,Recent progresses on QCD phases in a strong magnetic field – views from Nambu–Jona-Lasinio model, arXiv:2103.00456 [hep-ph]
- [26]
- [27]
- [28]
-
[29]
Fukushima,Extreme matter in electromagnetic fields and rotation,Prog
K. Fukushima,Extreme matter in electromagnetic fields and rotation,Prog. Part. Nucl. Phys.107, 167 (2019), arXiv:1812.08886 [hep-ph]
- [30]
- [31]
- [32]
- [33]
- [34]
- [35]
-
[36]
E. Siri and N. Sadooghi,Thermodynamic properties of a relativistic Bose gas under rigid rotation,Phys. Rev. D 110, 036016 (2024), arXiv:2405.09481 [hep-ph]
-
[37]
A. Yamamoto and Y. Hirono,Lattice QCD in ro- tating frames, Phys. Rev. Lett.111, 081601 (2013), arXiv:1303.6292 [hep-lat]
-
[38]
K. Mameda and A. Yamamoto,Magnetism and rotation in relativistic field theory, PTEP2016, 093B05 (2016), arXiv:1504.05826 [hep-th]
- [39]
- [40]
- [41]
-
[42]
N. Sadooghi, S. M. A. Tabatabaee Mehr and F. Taghi- navaz,Inverse magnetorotational catalysis and the phase diagram of a rotating hot and magnetized quark matter, Phys. Rev. D104, 116022 (2021), arXiv:2108.12760 [hep- ph]
-
[43]
H. Mortazavi Ghalati and N. Sadooghi,Magnetic dual chiral density wave phase in rotating cold quark mat- ter, Phys. Rev. D108, 054032 (2023), arXiv:2306.04472 [nucl-th]]
-
[44]
Cao,Effects of imaginary and real rotations on QCD matters, Phys
G. Cao,Effects of imaginary and real rotations on QCD matters, Phys. Rev. D109, 014001 (2024), arXiv:2310.03310 [nucl-th]
- [45]
-
[46]
E. Siri and N. Sadooghi,Bose-Einstein condensation in a rigidly rotating relativistic boson gas,Phys. Rev. D111, 036011 (2025), arXiv:2411.12581 [hep-ph]
-
[47]
P. Singha, V. E. Ambruş and M. N. Chernodub,Inhibi- tion of the splitting of the chiral and deconfinement tran- sition due to rotation in QCD: The phase diagram of the linear sigma model coupled to Polyakov loops,Phys. Rev. D110, 094053 (2024), arXiv:2407.07828 [hep-ph]
- [48]
-
[49]
P. Singha, S. Busuioc, V. E. Ambruş and M. N. Chern- odub,Linear sigma model with quarks and Polyakov loop in rotation: Phase diagrams, Tolman-Ehrenfest law and mechanical properties,Phys. Rev. D112, 094031 (2025), arXiv:2503.17291 [nucl-th]
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[50]
E. Siri and N. Sadooghi,Spontaneous breaking of global U(1) symmetry in an interacting Bose gas under rigid rotation, arXiv:2508.17055 [hep-ph]
-
[51]
M. Kiamari and N. Sadooghi,Wigner function of a rigidly rotating and magnetized QED plasma, arXiv:2509.03440 [nucl-th]
- [52]
- [53]
-
[54]
Global $\Lambda$ hyperon polarization in nuclear collisions: evidence for the most vortical fluid
L. Adamczyk et al. (STAR), Nature548, 62 (2017), arXiv:1701.06657 [nucl-ex]
work page Pith review arXiv 2017
-
[55]
Becattini, J
F. Becattini, J. F. Liao and M. Lisa,Strongly inter- acting matter under rotation; Lecture Notes in Physics, (Springer Nature Switzerland AG, 2021)
2021
-
[56]
S. J. Barnett,Magnetization by rotation, Phys. Rev.6, 239 (1915)
1915
-
[57]
S. J. Barnett,The theory of magnetization by rotation, Science42, 459 (1915)
1915
-
[58]
S. J. Barnett,The electron theory of magnetization, Sci- ence53, 465 (1921)
1921
-
[59]
S. J. Barnett,Gyromagnetic and electron-inertia effects, Rev. Mod. Phys.7, 129 (1935)
1935
-
[60]
K. Fukushima, S. Pu and Z. Qiu.,Eddy magnetization from the chiral Barnett effect, Phys. Rev. A99, 032105 (2019) arXiv:1808.08016 [hep-ph]
-
[61]
Arabgol and T
M. Arabgol and T. Sleator,Observation of the Nuclear Barnett Effect, Phys. Rev. Lett.122, 0177202 (2019)
2019
-
[62]
Sahu,Barnett effect as a new source of magnetic field in heavy-ion collisions, Phys
D. Sahu,Barnett effect as a new source of magnetic field in heavy-ion collisions, Phys. Lett. B872, 140081 (2026), arXiv:2510.05066 [hep-ph]
-
[63]
J. I. Kapusta and C. Gale,Finite-temperature field the- ory: Principles and applications, 2nd ed., (Cambridge University Press, England, 2006)
2006
-
[64]
M. Bartelmann, B. Feuerbacher, T. Krüger, S. Lüst, A. Rebhan and A. Wipf,Theoretische Physik 4; Ther- modynamik und statistische physik, (Springer Spek- trum, Springer-Verlag GmbH Deutschland, 2018). doi.org/10.1007/978-3-662-56113-3. 13
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.