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.
Title resolution pending
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
citation-role summary
background 3
citation-polarity summary
years
2026 4roles
background 3polarities
background 3representative 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.
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-loop fermionic sum-integrals.
Matchotter automates one-loop finite-temperature dimensional reduction and supersoft matching for generic Lagrangians using functional techniques.
citing papers explorer
-
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.
-
SIRENA -- Sum-Integral REductioN Algorithm
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-loop fermionic sum-integrals.
-
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.