The authors automate matching of generic 3D dimension-five and -six operators for arbitrary models, implemented in an extension of DRalgo with public code and examples for scalar-Yukawa, hot QCD, and the full Standard Model.
Generic Rules for High Temperature Dimensional Reduction and Their Application to the Standard Model
11 Pith papers cite this work. Polarity classification is still indexing.
11
Pith papers citing it
abstract
We formulate the rules for dimensional reduction of a generic finite temperature gauge theory to a simpler three-dimensional effective bosonic theory in terms of a matching of Green's functions in the full and the effective theory, and present a computation of a generic set of 1- and 2-loop graphs needed for the application of these rules. As a concrete application we determine the explicit mapping of the physical parameters of the standard electroweak theory to a three-dimensional SU(2)xU(1) gauge-Higgs theory. We argue that this three-dimensional theory has a universal character and appears as an effective theory for many extensions of the Standard Model.
citation-role summary
background 4
citation-polarity summary
roles
background 4polarities
background 4representative citing papers
The paper delivers the first complete non-redundant dimension-six operator basis for SMEFT at finite temperature using the Hilbert series on R^3 x S^1.
LeWRON is a new agentic framework that automates construction, auditing, and exploration of finite-temperature effective potentials and gravitational-wave predictions for electroweak phase transitions starting from an input Lagrangian.
The Pfaffian phase in BFSS becomes an O(9) pseudoscalar operator in a bosonic matrix integral, requiring 10-loop order in the high-T expansion before the sign problem is detectable in the 't Hooft regime.
Applies high-T dimensional reduction for the first time to a classically scale-invariant model, computes NLO nucleation rate via determinants, and predicts LISA-detectable GW from supercooled PT in SU(2)cSM.
Temperature-dependent DM couplings mediated by a scalar field's VEV that drops after a first-order phase transition allow sufficient early-universe annihilations for the observed relic density while evading current direct detection bounds.
Matchotter automates one-loop finite-temperature dimensional reduction and supersoft matching for generic Lagrangians using functional techniques.
Precision study of dark sector phase transitions finds PTA-favored parameters near EFT breakdown with disfavored GW signals after higher-order corrections.
Computes dimension-six operators in finite-temperature massive scalar QED via heat kernel methods and evaluates their combined effect with the Polyakov loop on first-order phase transition thermodynamics.
Real scalar singlet extension of SM permits strong first-order EWPT for singlet masses up to ~1 TeV; HL-LHC tests large fraction of space while FCC offers discovery reach.
Updated LISA detection prospects for gravitational waves from phase transitions are derived from state-of-the-art sound-wave simulations, with a new web tool PTPlot provided for parameter scans.
citing papers explorer
-
Finite-temperature operator basis on $\mathbb{R}^3 \times S^1$ for SMEFT
The paper delivers the first complete non-redundant dimension-six operator basis for SMEFT at finite temperature using the Hilbert series on R^3 x S^1.
-
LeWRON: Agentic Analysis of Electroweak Phase Transitions
LeWRON is a new agentic framework that automates construction, auditing, and exploration of finite-temperature effective potentials and gravitational-wave predictions for electroweak phase transitions starting from an input Lagrangian.
-
An effective field theory approach to the sign problem in BFSS
The Pfaffian phase in BFSS becomes an O(9) pseudoscalar operator in a bosonic matrix integral, requiring 10-loop order in the high-T expansion before the sign problem is detectable in the 't Hooft regime.
-
Theoretical consistency and phenomenology of supercooled cosmological phase transitions
Applies high-T dimensional reduction for the first time to a classically scale-invariant model, computes NLO nucleation rate via determinants, and predicts LISA-detectable GW from supercooled PT in SU(2)cSM.
-
Reviving WIMP dark matter with temperature-dependent couplings
Temperature-dependent DM couplings mediated by a scalar field's VEV that drops after a first-order phase transition allow sufficient early-universe annihilations for the observed relic density while evading current direct detection bounds.
-
Matchotter: An Automated Tool for Dimensional Reduction at Finite Temperature
Matchotter automates one-loop finite-temperature dimensional reduction and supersoft matching for generic Lagrangians using functional techniques.
-
A critical look at low-scale cosmological phase transitions in the PTA era
Precision study of dark sector phase transitions finds PTA-favored parameters near EFT breakdown with disfavored GW signals after higher-order corrections.
-
Higher-dimensional operators and Polyakov loop in hot Scalar QED from the heat kernel
Computes dimension-six operators in finite-temperature massive scalar QED via heat kernel methods and evaluates their combined effect with the Polyakov loop on first-order phase transition thermodynamics.
-
Constraining the real scalar singlet extension of the SM
Real scalar singlet extension of SM permits strong first-order EWPT for singlet masses up to ~1 TeV; HL-LHC tests large fraction of space while FCC offers discovery reach.
-
Detecting gravitational waves from cosmological phase transitions with LISA: an update
Updated LISA detection prospects for gravitational waves from phase transitions are derived from state-of-the-art sound-wave simulations, with a new web tool PTPlot provided for parameter scans.