Generic Rules for High Temperature Dimensional Reduction and Their Application to the Standard Model
read the original 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.
This paper has not been read by Pith yet.
Forward citations
Cited by 10 Pith papers
-
Matching higher-dimensional operators at finite temperature for general models
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.
-
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...
-
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.
-
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.
-
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 di...
-
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.