Thermal Positivity
Pith reviewed 2026-06-28 05:16 UTC · model grok-4.3
The pith
Lorentz invariance and unitarity require strictly positive low-temperature interaction corrections to pressure in massless boson theories.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We argue that Lorentz invariance and unitarity impose sharp constraints on thermodynamic quantities. By relating thermal vacuum diagrams to forward scattering amplitudes, we derive an infinite family of sign conditions on finite-temperature observables in perturbative theories of relativistic massless bosons. In particular, we prove that all low-temperature corrections from interactions to the pressure, or equivalently the negative free energy density, of the form T^{2D-4+4k} with k>0 in D spacetime dimensions, are strictly positive. These positivity conditions are inherited by analogous terms in the entropy density and specific heat.
What carries the argument
Relating thermal vacuum diagrams to forward scattering amplitudes to derive sign conditions from unitarity.
If this is right
- The same positivity applies to corresponding low-temperature corrections in the entropy density and specific heat.
- The result holds for any effective field theory free of long-range forces that descends from a weakly coupled ultraviolet completion.
- Higher-loop and higher-multiplicity thermal diagrams are parametrically subleading and do not affect the leading sign conditions.
Where Pith is reading between the lines
- The positivity conditions may restrict the possible thermal equations of state in early-universe models built from weakly coupled relativistic bosons.
- Similar diagram-to-amplitude relations could be applied to derive sign conditions on other thermodynamic derivatives such as the speed of sound.
- The approach suggests a route to bounding thermal corrections in theories with multiple massless species without performing full finite-temperature calculations.
Load-bearing premise
The effective field theory has no long-range forces and descends from a weakly coupled ultraviolet completion so that higher-loop and higher-multiplicity diagrams remain parametrically subleading.
What would settle it
An explicit calculation of the T^{2D-4+4} correction to pressure in a weakly coupled scalar theory that yields a negative value would falsify the positivity claim.
read the original abstract
We argue that Lorentz invariance and unitarity impose sharp constraints on thermodynamic quantities. By relating thermal vacuum diagrams to forward scattering amplitudes, we derive an infinite family of sign conditions on finite-temperature observables in perturbative theories of relativistic massless bosons. In particular, we prove that all low-temperature corrections from interactions to the pressure, or equivalently the negative free energy density, of the form T^{2D-4+4k} with k>0 in D spacetime dimensions, are strictly positive. These positivity conditions are inherited by analogous terms in the entropy density and specific heat. Our results apply to any effective field theory that is free of long-range forces and descends from a weakly coupled ultraviolet completion, in which case higher-loop and higher-multiplicity thermal diagrams are parametrically subleading.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that Lorentz invariance and unitarity impose positivity constraints on finite-temperature observables in perturbative theories of relativistic massless bosons. By mapping thermal vacuum diagrams to zero-temperature forward scattering amplitudes, it asserts a proof that all interaction corrections to the pressure (or negative free energy density) of the form T^{2D-4+4k} (k>0) in D spacetime dimensions are strictly positive; these conditions are inherited by the entropy density and specific heat. The results are stated to apply to any EFT without long-range forces that descends from a weakly coupled UV completion, where higher-loop and higher-multiplicity diagrams are parametrically subleading.
Significance. If the central derivation is sound, the result would establish an infinite family of sign conditions on thermal corrections that follow directly from standard QFT axioms, providing a general constraint on low-temperature thermodynamics in massless boson theories. The diagram-to-amplitude mapping, if rigorously shown, would be a useful technical link between thermal observables and unitarity bounds.
major comments (1)
- Abstract: the central claim is an asserted proof via diagram-amplitude relations, but the provided text contains no explicit derivation steps, intermediate equations, or numerical checks. This prevents evaluation of whether the mapping from thermal vacuum diagrams to forward amplitudes actually fixes the stated signs under the listed assumptions.
Simulated Author's Rebuttal
We thank the referee for their report. The single major comment correctly identifies that the current manuscript version presents the central mapping and sign proof at a high level without sufficient intermediate equations. We will revise to make the derivation fully explicit.
read point-by-point responses
-
Referee: Abstract: the central claim is an asserted proof via diagram-amplitude relations, but the provided text contains no explicit derivation steps, intermediate equations, or numerical checks. This prevents evaluation of whether the mapping from thermal vacuum diagrams to forward amplitudes actually fixes the stated signs under the listed assumptions.
Authors: We agree that the present text does not display the intermediate steps needed for independent verification. The derivation proceeds by expressing the thermal pressure correction as a sum over vacuum diagrams, applying the finite-temperature cutting rules to relate each diagram to the imaginary part of a forward 2 o2 scattering amplitude (or higher-point generalizations), and invoking the optical theorem together with the positivity of the spectral density from unitarity. The power T^{2D-4+4k} arises from the phase-space scaling of the on-shell cut, and the sign is fixed by the positive imaginary part. We will add a new section (or appendix) containing the explicit diagram-to-amplitude correspondence, the relevant cutting equations, and the counting of the temperature powers, together with a brief check on a simple scalar theory. revision: yes
Circularity Check
No significant circularity; derivation self-contained
full rationale
The paper maps thermal vacuum diagrams to zero-temperature forward scattering amplitudes and inherits sign constraints directly from unitarity (optical theorem) and Lorentz invariance. This mapping is a standard technique and does not reduce any claimed positivity result to a fitted parameter, self-definition, or load-bearing self-citation. The assumptions (weakly coupled UV completion, no long-range forces) are stated externally and ensure higher-order diagrams are subleading without circular reference to the target thermal corrections. No equations or steps in the provided abstract or description exhibit the enumerated circularity patterns.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Lorentz invariance and unitarity hold for the theory
- domain assumption The theory is perturbative, free of long-range forces, and descends from a weakly coupled UV completion
Forward citations
Cited by 1 Pith paper
-
Bounds on nonlinear electrodynamics via resummed relative entropy
Non-negativity of resummed relative entropy in background EM fields imposes sign constraints on EFT operators and signals physical instabilities such as the Schwinger effect.
Reference graph
Works this paper leans on
-
[1]
T. N. Pham and T. N. Truong, Phys. Rev. D31, 3027 (1985)
1985
- [2]
-
[3]
A. Nicolis, R. Rattazzi, and E. Trincherini, JHEP 05, 095 (2010), [Erratum: JHEP 11, 128 (2011)], arXiv:0912.4258 [hep-th]
Pith/arXiv arXiv 2010
-
[4]
N. Arkani-Hamed, T.-C. Huang, and Y.-t. Huang, JHEP05, 259 (2021), arXiv:2012.15849 [hep-th]
arXiv 2021
-
[5]
S. Caron-Huot and V. Van Duong, JHEP05, 280 (2021), arXiv:2011.02957 [hep-th]
arXiv 2021
-
[6]
B. Bellazzini, J. Elias Miró, R. Rattazzi, M. Riem- bau, and F. Riva, Phys. Rev. D104, 036006 (2021), 6 arXiv:2011.00037 [hep-th]
arXiv 2021
-
[7]
S. Caron-Huot, D. Mazac, L. Rastelli, and D. Simmons- Duffin, JHEP07, 110 (2021), arXiv:2102.08951 [hep- th]
arXiv 2021
-
[8]
X. O. Camanho, J. D. Edelstein, J. Maldacena, and A. Zhiboedov, JHEP02, 020 (2016), arXiv:1407.5597 [hep-th]
Pith/arXiv arXiv 2016
-
[9]
G. Papallo and H. S. Reall, JHEP11, 109 (2015), arXiv:1508.05303 [gr-qc]
Pith/arXiv arXiv 2015
-
[10]
K. Hinterbichler, A. Joyce, and R. A. Rosen, JHEP03, 051 (2018), arXiv:1708.05716 [hep-th]
Pith/arXiv arXiv 2018
-
[11]
C. de Rham, A. J. Tolley, and J. Zhang, Phys. Rev. Lett.128, 131102 (2022), arXiv:2112.05054 [gr-qc]
arXiv 2022
-
[12]
V. Periwal, Mod. Phys. Lett. A10, 1543 (1995), arXiv:hep-th/9411019
Pith/arXiv arXiv 1995
-
[13]
T. Appelquist, A. G. Cohen, and M. Schmaltz, Phys. Rev. D60, 045003 (1999), arXiv:hep-th/9901109
Pith/arXiv arXiv 1999
-
[14]
T. Appelquist, A. G. Cohen, M. Schmaltz, and R. Shrock, Phys. Lett. B459, 235 (1999), arXiv:hep- th/9904172
arXiv 1999
-
[15]
A. B. Zamolodchikov, JETP Lett.43, 730 (1986)
1986
-
[16]
J. L. Cardy, Phys. Lett. B215, 749 (1988)
1988
-
[17]
Z. Komargodski and A. Schwimmer, JHEP12, 099 (2011), arXiv:1107.3987 [hep-th]
Pith/arXiv arXiv 2011
- [18]
-
[19]
I. R. Klebanov, S. S. Pufu, and B. R. Safdi, JHEP10, 038 (2011), arXiv:1105.4598 [hep-th]
Pith/arXiv arXiv 2011
-
[20]
C. Cheung, J. Liu, and G. N. Remmen, JHEP10, 004 (2018), arXiv:1801.08546 [hep-th]
Pith/arXiv arXiv 2018
- [21]
-
[22]
N. Arkani-Hamed, L. Motl, A. Nicolis, and C. Vafa, JHEP06, 060 (2007), arXiv:hep-th/0601001
Pith/arXiv arXiv 2007
-
[23]
L. Fernández-Sarmiento, R. Penco, and R. A. Rosen, (2025), arXiv:2508.14978 [hep-th]
Pith/arXiv arXiv 2025
-
[24]
Beth and G
E. Beth and G. Uhlenbeck, Physica4, 915 (1937)
1937
-
[25]
Huang,Statistical Mechanics(Wiley, 1963)
K. Huang,Statistical Mechanics(Wiley, 1963)
1963
-
[26]
Dashen, S.-K
R. Dashen, S.-K. Ma, and H. J. Bernstein, Phys. Rev. 187, 345 (1969)
1969
-
[27]
Schubring, JHEP03, 030 (2026), arXiv:2408.00729 [hep-th]
D. Schubring, JHEP03, 030 (2026), arXiv:2408.00729 [hep-th]
Pith/arXiv arXiv 2026
-
[28]
P. Baratella, J. Elias Miro, and E. Gendy, JHEP12, 001 (2024), arXiv:2408.06729 [hep-th]
arXiv 2024
-
[29]
P. Baratella and J. E. Miro, JHEP03, 229 (2026), arXiv:2512.16466 [hep-th]
arXiv 2026
- [30]
-
[31]
Froissart, Phys
M. Froissart, Phys. Rev.123, 1053 (1961)
1961
-
[32]
Martin, Phys
A. Martin, Phys. Rev.129, 1432 (1963)
1963
-
[33]
N. Arkani-Hamed, C. Cheung, C. Figueiredo, and G. N. Remmen, Phys. Rev. Lett.132, 091601 (2024), arXiv:2312.07652 [hep-th]
arXiv 2024
-
[34]
C. Cheung and G. N. Remmen, Phys. Rev. D112, 016017 (2025), arXiv:2505.05553 [hep-th]
arXiv 2025
-
[35]
H. Elvang, A. Herderschee, and R. Morales, (2026), arXiv:2601.11705 [hep-th]
Pith/arXiv arXiv 2026
- [36]
-
[37]
Sciotti, (2026), arXiv:2605.21582 [hep-th]
C.Cheung, J.Jeong, P.Ko, A.Pomarol, G.N.Remmen, and F. Sciotti, (2026), arXiv:2605.21582 [hep-th]
Pith/arXiv arXiv 2026
-
[38]
J. I. Kapusta and C. Gale,Finite-temperature field theory: Principles and applications, Cambridge Mono- graphs on Mathematical Physics (Cambridge University Press, 2011)
2011
-
[39]
C. P. Hofmann, J. Stat. Mech.1609, 093102 (2016), arXiv:1602.08036 [cond-mat.str-el]
Pith/arXiv arXiv 2016
-
[40]
Gerber and H
P. Gerber and H. Leutwyler, Nucl. Phys. B321, 387 (1989)
1989
-
[41]
C. P. Hofmann, Phys. Rev. B81, 014416 (2010), arXiv:0909.5239 [cond-mat.str-el]
Pith/arXiv arXiv 2010
-
[42]
A. Rebhan and G. Turk, Int. J. Mod. Phys. A32, 1750053 (2017), arXiv:1701.07375 [hep-ph]
Pith/arXiv arXiv 2017
-
[43]
M.H.Partovi,Phys.Rev.D50,1118(1994),arXiv:hep- th/9308089
arXiv 1994
-
[44]
Ravndal, in2nd International Conference on Strong and Electroweak Matter(1997) pp
F. Ravndal, in2nd International Conference on Strong and Electroweak Matter(1997) pp. 429–433, arXiv:hep- ph/9709220
arXiv 1997
-
[45]
X.-w. Kong and F. Ravndal, Nucl. Phys. B526, 627 (1998), arXiv:hep-ph/9803216
Pith/arXiv arXiv 1998
-
[46]
B. Bellazzini, C. Cheung, and G. N. Remmen, Phys. Rev. D93, 064076 (2016), arXiv:1509.00851 [hep-th]
Pith/arXiv arXiv 2016
-
[47]
C. Cheung and G. N. Remmen, Phys. Rev. Lett.118, 051601 (2017), arXiv:1608.02942 [hep-th]
Pith/arXiv arXiv 2017
- [48]
-
[49]
N. Arkani-Hamed, Y.-t. Huang, J.-Y. Liu, and G. N. Remmen, JHEP03, 083 (2022), arXiv:2109.13937 [hep- th]
arXiv 2022
-
[50]
S. Caron-Huot, Y.-Z. Li, J. Parra-Martinez, and D. Simmons-Duffin, JHEP05, 122 (2023), arXiv:2201.06602 [hep-th]
arXiv 2023
-
[51]
S. Caron-Huot, Y.-Z. Li, J. Parra-Martinez, and D. Simmons-Duffin, Phys. Rev. D108, 026007 (2023), arXiv:2205.01495 [hep-th]
arXiv 2023
-
[52]
L.Hui, I.Kourkoulou, A.Nicolis, A.Podo, andS.Zhou, JHEP04, 145 (2024), arXiv:2312.08440 [hep-th]
arXiv 2024
-
[53]
P. Creminelli, M. Delladio, O. Janssen, A. Longo, and L. Senatore, JHEP06, 201 (2024), arXiv:2312.08441 [hep-th]
arXiv 2024
-
[54]
T. Grall and S. Melville, Phys. Rev. D105, L121301 (2022), arXiv:2102.05683 [hep-th]
arXiv 2022
-
[55]
M.Freytsis, S.Kumar, G.N.Remmen, andN.L.Rodd, JHEP09, 041 (2023), arXiv:2210.10791 [hep-th]
arXiv 2023
-
[56]
P. Creminelli, O. Janssen, and L. Senatore, JHEP09, 201 (2022), arXiv:2207.14224 [hep-th]
arXiv 2022
-
[57]
P. Creminelli, O. Janssen, B. Salehian, and L. Senatore, JHEP08, 066 (2024), arXiv:2405.09614 [hep-th]
arXiv 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.