Recognition: no theorem link
Matching higher-dimensional operators at finite temperature for general models
Pith reviewed 2026-05-15 02:55 UTC · model grok-4.3
The pith
Generic models with scalars, fermions and gauge fields now have automated matching of dimension-five and -six operators in their three-dimensional high-temperature effective theories.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that an automated matching framework for generic three-dimensional dimension-five and -six operators exists for arbitrary models containing scalars, fermions, and gauge fields, implemented as an extension of the DRalgo package. The framework supplies the operator basis, performs the matching while accounting for field redefinitions, and yields explicit results for the scalar-Yukawa model, hot QCD, and the Standard Model up to dimension six, including operators that mix the strong and electroweak sectors as well as parity-violating contributions.
What carries the argument
The automated matching algorithm in the extended DRalgo package, which performs the high-temperature dimensional reduction and matches the higher-dimensional operators while using field redefinitions to eliminate redundant operators and control gauge dependence.
If this is right
- Strong first-order phase transitions can now be studied with quantified convergence of the high-temperature expansion.
- Explicit matched operators are available for the full Standard Model, including mixed strong-electroweak and parity-violating terms.
- Hot QCD and scalar-Yukawa models gain systematic higher-dimensional corrections without manual derivation.
- General models containing scalars, fermions, and gauge fields can be treated uniformly rather than case by case.
Where Pith is reading between the lines
- The automation could be applied to beyond-Standard-Model scenarios to map out new regions where higher operators alter the strength of cosmological phase transitions.
- Matched coefficients could be fed directly into lattice simulations to test the reliability of the effective theory truncation.
- The same procedure might be extended to dimension-seven operators or to other effective field theory reductions beyond three dimensions.
Load-bearing premise
The high-temperature expansion remains valid and the chosen operator basis after field redefinitions captures all relevant contributions without missing gauge-dependent artifacts that affect physical observables.
What would settle it
A direct numerical comparison of a physical quantity such as the bubble nucleation rate or the latent heat in a specific model, computed once with only the super-renormalizable operators and once with the newly matched dimension-five and -six operators included, would show whether the higher operators produce a measurable shift.
read the original abstract
High-temperature dimensional reduction provides a systematic effective field theory framework for studying finite-temperature thermodynamics and cosmological phase transitions. While the matching of super-renormalizable operators in the resulting three-dimensional effective theories is well established, the matching of higher-dimensional operators has recently been reinvigorated. These operators become phenomenologically relevant in strong first-order phase transitions where they quantify the convergence of the high-temperature expansion. This work automates the matching of generic three-dimensional dimension-five and -six operators for arbitrary models containing scalars, fermions, and gauge fields, implemented as an extension of the Mathematica package DRalgo. We present the operator basis, the matching procedure, and explicit examples including a scalar-Yukawa model, hot QCD, and the full Standard Model up to dimension six, covering operators mixing the strong and electroweak sectors as well as parity-violating contributions. Redundant operators, gauge dependence, and the corresponding field redefinitions are discussed in detail. The code and example model files are publicly available at https://github.com/DR-algo/DRalgo.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents an extension of the DRalgo Mathematica package that automates the matching of generic three-dimensional dimension-five and -six operators for arbitrary models containing scalars, fermions, and gauge fields. It details the operator basis, the matching procedure including treatment of redundancies via field redefinitions, gauge dependence, and provides explicit worked examples for a scalar-Yukawa model, hot QCD, and the full Standard Model (including mixed strong-electroweak and parity-violating operators). The code and model files are made publicly available.
Significance. If the implementation is correct, this work supplies a practical and systematic tool for incorporating higher-dimensional operators into high-temperature effective field theories, which is essential for quantifying the convergence of the high-temperature expansion in strong first-order phase transitions. The automation for general models, explicit handling of field redefinitions, and public code release are notable strengths that enhance reproducibility and enable broader applications beyond the Standard Model.
minor comments (2)
- [§4.3] §4.3 (SM example): the discussion of parity-violating operators would benefit from an explicit table listing the matched coefficients alongside their field-redefinition contributions to facilitate direct comparison with prior manual calculations in the literature.
- [§4.2] The manuscript would be strengthened by adding a short subsection on numerical validation of the automated matching against known analytic results for at least one operator in the hot QCD example.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. No major comments were raised in the report.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The manuscript automates standard perturbative matching of dimension-5/6 operators in the high-temperature 3D EFT for generic scalar-fermion-gauge models by extending the existing DRalgo package. The operator basis is obtained through explicit field redefinitions that remove redundancies according to established EFT power-counting rules; matching coefficients are computed from one- and two-loop diagrams in the high-T expansion using conventional techniques. Worked examples (scalar-Yukawa, hot QCD, full SM) are supplied together with public code, allowing direct external verification. No result is obtained by fitting parameters to the target observables, by self-referential definitions, or by load-bearing self-citations whose validity is presupposed; prior DRalgo references supply context but are not required to close the derivation chain.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard perturbative matching rules in the high-temperature limit apply to the chosen operator basis
Reference graph
Works this paper leans on
-
[1]
LISA Cosmology Working Group Collaboration, P. Auclair et al. , Cosmology with the Laser Interferometer Space Antenna, Living Rev. Rel. 26 (2023) 5 [ 2204.05434]
-
[2]
P. H. Ginsparg, First Order and Second Order Phase Transitions in Gauge Theo ries at Finite Temperature, Nucl. Phys. B 170 (1980) 388. 29
work page 1980
-
[3]
T. Appelquist and R. D. Pisarski, High-Temperature Yang-Mills Theories and Three-Dimensional Quantum Chromodynamics, Phys. Rev. D 23 (1981) 2305
work page 1981
-
[4]
Nadkarni, Dimensional Reduction in Finite Temperature Quantum Chrom odynamics
S. Nadkarni, Dimensional Reduction in Finite Temperature Quantum Chrom odynamics. 2., Phys. Rev. D 38 (1988) 3287
work page 1988
-
[5]
N. P. Landsman, Limitations to Dimensional Reduction at High Temperature, Nucl. Phys. B 322 (1989) 498
work page 1989
-
[6]
Generic Rules for High Temperature Dimensional Reduction and Their Application to the Standard Model
K. Kajantie, M. Laine, K. Rummukainen, and M. E. Shaposhnikov, Generic rules for high tem- perature dimensional reduction and their application to th e standard model, Nucl. Phys. B 458 (1996) 90 [ hep-ph/9508379]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[7]
Free Energy of QCD at High Temperature
E. Braaten and A. Nieto, Free energy of QCD at high temperature, Phys. Rev. D 53 (1996) 3421 [hep-ph/9510408]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[8]
Effective Field Theory Approach to High-Temperature Thermodynamics
E. Braaten and A. Nieto, Effective field theory approach to high temperature thermody namics, Phys. Rev. D 51 (1995) 6990 [ hep-ph/9501375]
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[9]
A. D. Linde, Infrared Problem in Thermodynamics of the Yang-Mills Gas, Phys. Lett. B 96 (1980) 289
work page 1980
-
[10]
3D Physics and the Electroweak Phase Transition: Perturbation Theory
K. Farakos, K. Kajantie, K. Rummukainen, and M. E. Shaposhn ikov, 3-D physics and the elec- troweak phase transition: Perturbation theory, Nucl. Phys. B 425 (1994) 67 [ hep-ph/9404201]
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[11]
The Electroweak Phase Transition: A Non-Perturbative Analysis
K. Kajantie, M. Laine, K. Rummukainen, and M. E. Shaposhnikov , The Electroweak phase tran- sition: A Nonperturbative analysis, Nucl. Phys. B 466 (1996) 189 [ hep-lat/9510020]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[12]
A Non-Perturbative Analysis of the Finite T Phase Transition in SU(2)xU(1) Electroweak Theory
K. Kajantie, M. Laine, K. Rummukainen, and M. E. Shaposhnikov , A Nonperturbative analysis of the finite T phase transition in SU(2) x U(1) electroweak th eory, Nucl. Phys. B 493 (1997) 413 [ hep-lat/9612006]
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[13]
The Phase Diagram of Three-Dimensional SU(3) + Adjoint Higgs Theory
K. Kajantie, M. Laine, A. Rajantie, K. Rummukainen, and M. Tsy pin, The Phase diagram of three-dimensional SU(3) + adjoint Higgs theory, JHEP 11 (1998) 011 [ hep-lat/9811004]
work page internal anchor Pith review Pith/arXiv arXiv 1998
- [14]
-
[15]
K. Kainulainen, V. Keus, L. Niemi, K. Rummukainen, T. V. I. Tenka nen, and V. Vaskonen, On the validity of perturbative studies of the electroweak pha se transition in the Two Higgs Doublet model, JHEP 06 (2019) 075 [ 1904.01329]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[16]
Gould, Real scalar phase transitions: a nonperturbative analysis , JHEP 04 (2021) 057 [2101.05528]
O. Gould, Real scalar phase transitions: a nonperturbative analysis , JHEP 04 (2021) 057 [2101.05528]
- [17]
-
[18]
A. Ekstedt, P. Schicho, and T. V. I. Tenkanen, DRalgo: A package for effective field theory ap- proach for thermal phase transitions, Comput. Phys. Commun. 288 (2023) 108725 [ 2205.08815]
- [19]
-
[20]
Is There a Hot Electroweak Phase Transition at $m_H\gsim m_W$?
K. Kajantie, M. Laine, K. Rummukainen, and M. E. Shaposhnikov , Is there a hot electroweak phase transition at mH ≳mW ?, Phys. Rev. Lett. 77 (1996) 2887 [ hep-ph/9605288]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[21]
F. Bernardo, P. Klose, P. Schicho, and T. V. I. Tenkanen, Higher-dimensional operators at finite temperature affect gravitational-wave predictions, JHEP 08 (2025) 109 [ 2503.18904]
- [22]
- [23]
-
[24]
The High-Temperature Limit of the SM(EFT)
M. Chala and G. Guedes, The high-temperature limit of the SM(EFT), JHEP 07 (2025) 085 [2503.20016]
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[25]
F. Bernardo, M. Chala, L. Gil, and P. Schicho, Hard thermal contributions to phase transition observables at NNLO, [2602.06962]
-
[26]
J. Fuentes-Mart ´ ın, M. K¨ onig, J. Pag` es, A. E. Thomsen, and F. Wilsch, A proof of concept for matchete: an automated tool for matching effective theories , Eur. Phys. J. C 83 (2023) 662 [2212.04510]
-
[27]
A. Carmona, A. Lazopoulos, P. Olgoso, and J. Santiago, Matchmakereft: automated tree-level and one-loop matching, SciPost Phys. 12 (2022) 198 [ 2112.10787]
-
[28]
Matchotter: An Automated Tool for Dimensional Reduction at Finite Temperature
J. Fuentes-Mart ´ ın, J. L´ opez Miras, and A. Moreno-S´ anchez, Matchotter: An Automated Tool for Dimensional Reduction at Finite Temperature, [2604.21972]
work page internal anchor Pith review Pith/arXiv arXiv
-
[29]
H. A. Weldon, Covariant Calculations at Finite Temperature: The Relativ istic Plasma, Phys. Rev. D 26 (1982) 1394
work page 1982
-
[30]
Finite-temperature operator basis on $\mathbb{R}^3 \times S^1$ for SMEFT
J. Chakrabortty, B. S. Eduardo, S. Karmakar, and P. Schich o, Finite-temperature operator basis on R3 × S1 for SMEFT, [2605.02878]
work page internal anchor Pith review Pith/arXiv arXiv
-
[31]
J. Chakrabortty and S. Mohanty, One Loop Thermal Effective Action, Nucl. Phys. B 1020 (2025) 117165 [ 2411.14146]
- [32]
-
[33]
S. P. Martin, Effective potential at three loops, Phys. Rev. D 96 (2017) 096005 [ 1709.02397]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[34]
S. P. Martin and H. H. Patel, Two-loop effective potential for generalized gauge fixing, Phys. Rev. D 98 (2018) 076008 [ 1808.07615]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[35]
J. Aebischer, A. J. Buras, and J. Kumar, SMEFT ATLAS: The Landscape Beyond the Standard Model, [2507.05926]
- [36]
-
[37]
Two loop renormalization of the magnetic coupling and non-perturbative sector in hot QCD
P. Giovannangeli, Two loop renormalization of the magnetic coupling and non-p erturbative sector in hot QCD, Nucl. Phys. B 738 (2006) 23 [ hep-ph/0506318]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[38]
C. P. Korthals Altes, The unbearable smallness of magnetostatic QCD corrections , [1801.00019]. 31
work page internal anchor Pith review Pith/arXiv arXiv
-
[39]
Soft thermal contributions to 3-loop gauge coupling
M. Laine, P. Schicho, and Y. Schr¨ oder, Soft thermal contributions to 3-loop gauge coupling, JHEP 05 (2018) 037 [ 1803.08689]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[40]
Z(3)-symmetric effective theory for SU(3) Yang-Mills theory at high temperature
A. Vuorinen and L. G. Yaffe, Z(3)-symmetric effective theory for SU(3) Yang-Mills theor y at high temperature, Phys. Rev. D 74 (2006) 025011 [ hep-ph/0604100]
work page internal anchor Pith review Pith/arXiv arXiv 2006
- [41]
-
[42]
High Temperature Dimensional Reduction and Parity Violation
K. Kajantie, M. Laine, K. Rummukainen, and M. E. Shaposhnikov , High temperature dimensional reduction and parity violation, Phys. Lett. B 423 (1998) 137 [ hep-ph/9710538]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[43]
L. F. Abbott, The Background Field Method Beyond One Loop, Nucl. Phys. B 185 (1981) 189
work page 1981
-
[44]
Y. G. Kim, K. Y. Lee, and S. Shin, Singlet fermionic dark matter, JHEP 05 (2008) 100 [0803.2932]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[45]
S. Baek, P. Ko, and W.-I. Park, Search for the Higgs portal to a singlet fermionic dark matte r at the LHC, JHEP 02 (2012) 047 [ 1112.1847]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[46]
S. Baek, P. Ko, W.-I. Park, and E. Senaha, Vacuum structure and stability of a singlet fermion dark matter model with a singlet scalar messenger, JHEP 11 (2012) 116 [ 1209.4163]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[47]
S. Esch, M. Klasen, and C. E. Yaguna, Detection prospects of singlet fermionic dark matter, Phys. Rev. D 88 (2013) 075017 [ 1308.0951]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[48]
Beyond Effective Field Theory for Dark Matter Searches at the LHC
O. Buchmueller, M. J. Dolan, and C. McCabe, Beyond Effective Field Theory for Dark Matter Searches at the LHC, JHEP 01 (2014) 025 [ 1308.6799]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[49]
Warm and cold fermionic dark matter via freeze-in
M. Klasen and C. E. Yaguna, Warm and cold fermionic dark matter via freeze-in, JCAP 11 (2013) 039 [ 1309.2777]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[50]
S. Esch, M. Klasen, and C. E. Yaguna, A minimal model for two-component dark matter, JHEP 09 (2014) 108 [ 1406.0617]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[51]
Integrating in the Higgs Portal to Fermion Dark Matter
A. Freitas, S. Westhoff, and J. Zupan, Integrating in the Higgs Portal to Fermion Dark Matter, JHEP 09 (2015) 015 [ 1506.04149]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[52]
S. Baek, P. Ko, M. Park, W.-I. Park, and C. Yu, Beyond the Dark matter effective field theory and a simplified model approach at colliders, Phys. Lett. B 756 (2016) 289 [ 1506.06556]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[53]
Collider Constraints and Prospects of a Scalar Singlet Extension to Higgs Portal Dark Matter
G. Dupuis, Collider Constraints and Prospects of a Scalar Singlet Exte nsion to Higgs Portal Dark Matter, JHEP 07 (2016) 008 [ 1604.04552]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[54]
Towards the next generation of simplified Dark Matter models
A. Albert et al. , Towards the next generation of simplified Dark Matter models , Phys. Dark Univ. 16 (2017) 49 [ 1607.06680]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[55]
N. F. Bell, G. Busoni, and I. W. Sanderson, Self-consistent Dark Matter Simplified Models with an s-channel scalar mediator, JCAP 03 (2017) 015 [ 1612.03475]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[56]
Singlet Fermionic Dark Matter and the Electroweak Phase Transition
M. Fairbairn and R. Hogan, Singlet Fermionic Dark Matter and the Electroweak Phase Tra nsition, JHEP 09 (2013) 022 [ 1305.3452]. 32
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[57]
Strongly first order phase transition in the singlet fermionic dark matter model after LUX
T. Li and Y.-F. Zhou, Strongly first order phase transition in the singlet fermion ic dark matter model after LUX, JHEP 07 (2014) 006 [ 1402.3087]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[58]
A. Beniwal, M. Lewicki, M. White, and A. G. Williams, Gravitational waves and electroweak baryogenesis in a global study of the extended scalar single t model, JHEP 02 (2019) 183 [1810.02380]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[59]
O. Gould and C. Xie, Higher orders for cosmological phase transitions: a global study in a Yukawa model, JHEP 12 (2023) 049 [ 2310.02308]
- [60]
-
[61]
A New Dimensionally Reduced Effective Action for QCD at High Temperature
S. Chapman, A New dimensionally reduced effective action for QCD at high t emperature, Phys. Rev. D 50 (1994) 5308 [ hep-ph/9407313]
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[62]
The thermal heat kernel expansion and the one-loop effective action of QCD at finite temperature
E. Megias, E. Ruiz Arriola, and L. L. Salcedo, The Thermal heat kernel expansion and the one loop effective action of QCD at finite temperature, Phys. Rev. D 69 (2004) 116003 [ hep-ph/0312133]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[63]
I. G. Avramidi, Covariant techniques for computation of the heat kernel, Rev. Math. Phys. 11 (1999) 947 [ hep-th/9704166]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[64]
The Polyakov loop and the heat kernel expansion at finite temperature
E. Megias, E. Ruiz Arriola, and L. L. Salcedo, The Polyakov loop and the heat kernel expansion at finite temperature, Phys. Lett. B 563 (2003) 173 [ hep-th/0212237]
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[65]
D. V. Vassilevich, Heat kernel expansion: User’s manual, Phys. Rept. 388 (2003) 279 [hep-th/0306138]
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[66]
D. J. Gross, R. D. Pisarski, and L. G. Yaffe, QCD and Instantons at Finite Temperature, Rev. Mod. Phys. 53 (1981) 43
work page 1981
-
[67]
P. Navarrete and Y. Schr¨ oder, The g 6 pressure of hot Yang-Mills theory: canonical form of the integrand, JHEP 11 (2024) 037 [ 2408.15830]
-
[68]
Ghisoiu, Three-loop Debye mass and effective coupling in thermal QCD , PhD thesis, U
I. Ghisoiu, Three-loop Debye mass and effective coupling in thermal QCD , PhD thesis, U. Bielefeld (main), 2013
work page 2013
-
[69]
Three-loop matching coefficients for hot QCD: Reduction and gauge independence
J. Moller and Y. Schr¨ oder, Three-loop matching coefficients for hot QCD: Reduction and g auge independence, JHEP 08 (2012) 025 [ 1207.1309]
work page internal anchor Pith review Pith/arXiv arXiv 2012
- [70]
-
[71]
G. D. Moore, Fermion determinant and the sphaleron bound, Phys. Rev. D 53 (1996) 5906 [hep-ph/9508405]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[72]
A. I. Bochkarev, S. Y. Khlebnikov, and M. E. Shaposhnikov, Sphalerons and Baryogenesis: Elec- troweak CP Violation at High Temperatures, Nucl. Phys. B 329 (1990) 493
work page 1990
-
[73]
Electroweak phase diagram at finite lepton number density
A. Gynther, Electroweak phase diagram at finite lepton number density, Phys. Rev. D 68 (2003) 016001 [ hep-ph/0303019]. 33
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[74]
C. Bouchiat, J. Iliopoulos, and P. Meyer, An Anomaly Free Version of Weinberg’s Model, Phys. Lett. B 38 (1972) 519
work page 1972
-
[75]
D. J. Gross and R. Jackiw, Effect of anomalies on quasirenormalizable theories, Phys. Rev. D 6 (1972) 477
work page 1972
-
[76]
J. Fuentes-Mart ´ ın, A. Moreno-S´ anchez, and A. E. Thomse n, Symmetry Restoration in the SMEFT: Finite Counterterms for a Non-Anticommuting gamma5, JHEP 02 (2026) 150 [ 2507.19589]
-
[77]
G. ’t Hooft and M. J. G. Veltman, Regularization and Renormalization of Gauge Fields, Nucl. Phys. B 44 (1972) 189
work page 1972
-
[78]
P. Breitenlohner and D. Maison, Dimensionally Renormalized Green’s Functions for Theorie s with Massless Particles. 1., Commun. Math. Phys. 52 (1977) 39
work page 1977
-
[79]
M. D. Schwartz, Quantum Field Theory and the Standard Model . Cambridge University Press, 3, 2014
work page 2014
- [80]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.