The High-Temperature Limit of the SM(EFT)

Guilherme Guedes; Mikael Chala

arxiv: 2503.20016 · v2 · submitted 2025-03-25 · ✦ hep-ph · hep-th

The High-Temperature Limit of the SM(EFT)

Mikael Chala , Guilherme Guedes This is my paper

Pith reviewed 2026-05-22 21:51 UTC · model grok-4.3

classification ✦ hep-ph hep-th

keywords high-temperature limitelectroweak theorySMEFTthree-dimensional effective LagrangianMatsubara modeselectroweak phase transitionone-loop calculationgauge independence

0 comments

The pith

The high-temperature limit of the electroweak theory is described by a derived one-loop three-dimensional effective Lagrangian to order g^6, including Matsubara modes.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper derives the one-loop effective three-dimensional Lagrangian for the high-temperature limit of the electroweak theory up to order O(g^6) in the coupling constants. It accounts for corrections from the Matsubara modes of both fermionic and bosonic fields. The work also extends the derivation to the Standard Model effective field theory. A sympathetic reader would care because this provides a framework for studying the electroweak phase transition with greater precision in the presence of new physics.

Core claim

We derive the one-loop effective 3-dimensional Lagrangian that describes the high-temperature limit of the electroweak theory, to order O(g^6) in coupling constants g, including corrections due to Matsubara modes of both fermionic and bosonic degrees of freedom. We clarify certain aspects of the gauge-independence of physical parameters. We also extend the calculation to the Standard Model effective field theory, paving the way, in particular, for a precise study of the electroweak phase transition within this framework.

What carries the argument

The one-loop effective 3-dimensional Lagrangian at order O(g^6) that incorporates Matsubara mode corrections from fermions and bosons.

If this is right

The derivation includes both fermionic and bosonic Matsubara modes.
Gauge independence of physical parameters is addressed.
The result extends directly to the SMEFT.
This enables precise studies of the electroweak phase transition in the SMEFT framework.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This approach could be used to compute thermal corrections in models with additional particles beyond the Standard Model.
Comparisons with lattice simulations of the phase transition would test the accuracy of the O(g^6) truncation.
Extending to higher orders or including higher-dimensional operators could refine predictions for the strength of the phase transition.

Load-bearing premise

The high-temperature limit of the electroweak theory and its SMEFT extension is accurately captured by a one-loop 3D effective Lagrangian at order O(g^6) once Matsubara modes are included and gauge independence of physical parameters is enforced.

What would settle it

A calculation of the electroweak phase transition parameters, such as the critical temperature or the latent heat, that deviates significantly from predictions obtained using this 3D Lagrangian would falsify the claim.

read the original abstract

We derive the one-loop effective 3-dimensional Lagrangian that describes the high-temperature limit of the electroweak theory, to order $\mathcal{O}(g^6)$ in coupling constants $g$, including corrections due to Matsubara modes of both fermionic and bosonic degrees of freedom. We clarify certain aspects of the gauge-independence of physical parameters. We also extend the calculation to the Standard Model effective field theory, paving the way, in particular, for a precise study of the electroweak phase transition within this framework.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Claims a new O(g^6) one-loop 3D effective Lagrangian for high-T SM and SMEFT with Matsubara modes included, but only the abstract is visible.

read the letter

The headline takeaway is that this paper claims to have worked out the one-loop 3D effective Lagrangian for the high-temperature limit of the SM and SMEFT to O(g^6), folding in Matsubara modes from both fermions and bosons, plus some notes on gauge independence. If the calculation is solid, it would give a more accurate starting point for studying the electroweak phase transition than what is currently available at lower orders. What looks new here is the combination of the higher order with the explicit inclusion of fermionic Matsubara modes and the direct extension to SMEFT operators. Earlier work has done dimensional reduction for the SM, but reaching g^6 with both types of modes and then moving to the effective field theory extension seems like a step forward on the technical side. The abstract does a decent job laying out the scope and the motivation for cosmology applications, and it mentions clarifying gauge independence, which is often a tricky point in these calculations. The main soft spot is that we only have the abstract available. There are no explicit expressions for the effective couplings, no mention of how they handled the integration over the modes, and no error estimates or comparisons to previous results. This means we can't yet assess whether the result reduces properly in limits or if gauge independence was properly enforced for physical quantities. This kind of paper is for a niche group of people working on high-temperature effective theories, dimensional reduction techniques, and their use in baryogenesis or gravitational wave predictions from phase transitions. Someone already familiar with the lower-order results would be the one to get the most out of it, to see how the new terms affect their numerics. I would recommend sending it to peer review. The claim is concrete and the application area is active, so referees with expertise in thermal field theory can evaluate the full derivation once it's submitted.

Referee Report

1 major / 0 minor

Summary. The manuscript derives the one-loop effective 3-dimensional Lagrangian for the high-temperature limit of the electroweak theory to O(g^6), incorporating Matsubara mode corrections from both fermionic and bosonic degrees of freedom. It clarifies aspects of gauge independence for physical parameters and extends the framework to the SMEFT to enable precise studies of the electroweak phase transition.

Significance. If the derivation holds, the result would supply a higher-order effective theory for thermal electroweak physics that improves upon existing approximations by systematically including O(g^6) terms and Matsubara corrections. The SMEFT extension would be particularly useful for model-independent analyses of the electroweak phase transition and related cosmological observables.

major comments (1)

[Abstract] Abstract: the central claim of a complete one-loop derivation to O(g^6) with explicit Matsubara-mode integration and gauge-independence enforcement cannot be assessed, as the manuscript supplies only the abstract statement with no Lagrangian terms, matching conditions, error estimates, or explicit checks.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We address the single major comment below and agree that the abstract requires expansion to allow independent assessment of the claims.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim of a complete one-loop derivation to O(g^6) with explicit Matsubara-mode integration and gauge-independence enforcement cannot be assessed, as the manuscript supplies only the abstract statement with no Lagrangian terms, matching conditions, error estimates, or explicit checks.

Authors: The referee is correct that the abstract as written is too terse to permit evaluation of the central claims. The full manuscript contains the explicit one-loop 3D Lagrangian to O(g^6), the matching conditions obtained after integrating out the non-zero Matsubara modes, and the demonstration of gauge independence for physical quantities. To remedy the issue, we will revise the abstract to include a concise statement of the main results, the order of the calculation, and a brief indication of the error estimate. We will also add a short paragraph in the introduction that lists the leading terms of the effective Lagrangian and the key matching relations. revision: yes

Circularity Check

0 steps flagged

No circularity detectable; abstract provides no derivation chain

full rationale

Only the abstract is available, which states the authors derive the one-loop 3D effective Lagrangian to O(g^6) including Matsubara modes and extend to SMEFT. No equations, sections, self-citations, fitted parameters, or explicit steps are present to inspect. No load-bearing claim reduces to an input by construction, self-definition, or self-citation chain because no such chain is quoted or shown. This is the normal case of insufficient information to flag circularity; the derivation is treated as self-contained pending full text.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5573 in / 1294 out tokens · 34197 ms · 2026-05-22T21:51:30.758667+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We derive the one-loop effective 3-dimensional Lagrangian that describes the high-temperature limit of the electroweak theory, to order O(g^6)... including corrections due to Matsubara modes

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.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Matching higher-dimensional operators at finite temperature for general models
hep-ph 2026-05 conditional novelty 8.0

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
hep-th 2026-05 unverdicted novelty 8.0

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.
SIRENA -- Sum-Integral REductioN Algorithm
hep-ph 2026-05 unverdicted novelty 7.0

SIRENA automates IBP reduction of sum-integrals in finite-temperature QFT, reproduces known results to 3 loops, supplies new 3-loop fermionic reductions, and derives an analytic factorization formula for arbitrary 2-l...
Matchotter: An Automated Tool for Dimensional Reduction at Finite Temperature
hep-ph 2026-04 unverdicted novelty 6.0

Matchotter automates one-loop finite-temperature dimensional reduction and supersoft matching for generic Lagrangians using functional techniques.