arxiv: 2604.05972 · v1 · submitted 2026-04-07 · ✦ hep-th · cond-mat.stat-mech· hep-ph

Recognition: 2 theorem links

· Lean Theorem

Background Fields Meet the Heat Kernel: Gauge Invariance and RGEs without diagrams

Debanjan Balui , Joydeep Chakrabortty , Christoph Englert , Subhendra Mohanty , Tushar

Authors on Pith no claims yet

Pith reviewed 2026-05-10 19:22 UTC · model grok-4.3

classification ✦ hep-th cond-mat.stat-mechhep-ph

keywords heat kernelbackground field methodrenormalization group equationsbeta functionsgauge invarianceeffective potentialscalar QED

0 comments

The pith

Consistent handling of open and closed derivatives in the heat kernel expansion produces gauge-invariant beta functions directly from background field dynamics.

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

The paper develops a technique that merges the heat kernel expansion with the background field method to extract renormalization group quantities such as beta functions, anomalous dimensions, and the effective potential. These quantities emerge solely from the evolution of the background fields once open and closed derivatives are treated consistently in the expansion. The resulting expressions remain gauge invariant and independent of the gauge-fixing parameter whenever the background fields satisfy their equations of motion. The formalism is applied to scalar QED, Yukawa theory, and the bosonic sector of the Standard Model to recover known results without any diagrammatic input.

Core claim

By enforcing consistency between open and closed derivatives throughout the heat kernel expansion in the background field formalism, the effective action and its derivatives become gauge invariant by construction. For on-shell background configurations this invariance persists even after gauge-fixing, allowing the beta functions and anomalous dimensions to be read off directly from the background dynamics without supplementary perturbative calculations.

What carries the argument

The consistent treatment of open and closed derivatives inside the heat kernel expansion, which converts background-field equations of motion into gauge-invariant renormalization-group quantities.

If this is right

Beta functions extracted this way are automatically independent of the gauge-fixing parameter when backgrounds lie on shell.
Anomalous dimensions of background fields follow from the same heat-kernel coefficients without separate diagram evaluations.
The effective potential for constant background fields is obtained in closed form for the theories considered.
Full one-loop results for the bosonic Standard Model are reproduced exactly, confirming the method reproduces standard perturbative outcomes.

Where Pith is reading between the lines

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

The same derivative-consistency rule may allow direct extraction of running couplings in effective field theories where diagrammatic calculations become cumbersome.
Off-shell extensions would require additional counterterms to restore invariance, which the paper does not address.
The approach could be tested by applying it to a simple supersymmetric model and comparing the beta functions against known superspace results.

Load-bearing premise

A consistent treatment of open and closed derivatives in the HK expansions is sufficient to guarantee gauge invariance and gauge-parameter independence for on-shell backgrounds.

What would settle it

Computing the one-loop beta function of scalar QED with this method and obtaining a result different from the known coefficient (e/48 pi squared) would falsify the central claim.

read the original abstract

We introduce a new method that exploits the combination of the Heat Kernel (HK) and Background Field Method to compute gauge-invariant and gauge parameter-independent quantities such as the effective potential, anomalous dimensions, and renormalization group equations. In contrast to currently employed techniques, these results are obtained exclusively from the dynamics of the background fields, without relying on supplementary input from, e.g., traditional diagrammatic calculations. This is achieved by a consistent treatment of open and closed derivatives in the HK expansions. In this way, we compute the standard quantities such as $\beta$ functions and their gauge-parameter independence when background fields are on-shell. We demonstrate this formalism for instructive examples such as Scalar QED and Yukawa theory. Full results for the bosonic part of the Standard Model provide further validation of our approach.

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

This paper gives a diagram-free route to gauge-invariant beta functions by combining heat kernels with background fields and careful derivative handling.

read the letter

This paper gives a diagram-free way to compute gauge-invariant beta functions and effective potentials by merging the heat kernel with the background field method. The trick is handling open and closed derivatives consistently in the expansion so results stay gauge-parameter independent for on-shell backgrounds. They show this works for Scalar QED and Yukawa theory, then provide full results for the bosonic Standard Model that match the standard ones. That gives real evidence the method produces correct quantities without diagrammatic input. The new part is the derivative treatment that lets the background dynamics alone yield the usual renormalization group equations. It builds on existing heat kernel and background field ideas but combines them in a way that avoids supplementary calculations. Soft spots are limited. The examples are convincing for one-loop bosonic cases, but broader applicability to higher loops or full fermionic sectors isn't detailed here. No contradictions appear in the presented work. This is for QFT theorists focused on effective potentials or RGEs in gauge theories. Readers interested in alternative computation methods will find the explicit constructions useful. It deserves peer review as the central claim holds up against known results. I would recommend sending it to referees for a full evaluation.

Referee Report

0 major / 3 minor

Summary. The paper introduces a method combining the Heat Kernel expansion with the Background Field Method to compute gauge-invariant effective quantities such as the effective potential, anomalous dimensions, and renormalization group equations (including β-functions) exclusively from background field dynamics. This is accomplished by a consistent treatment of open and closed derivatives in the HK expansions, ensuring gauge-parameter independence for on-shell backgrounds. The formalism is demonstrated through explicit calculations for Scalar QED, Yukawa theory, and the bosonic Standard Model.

Significance. If the central claim holds, this provides a valuable diagram-independent approach to deriving RGEs and related quantities in gauge theories, which could reduce computational complexity in model building. The explicit results for the bosonic SM offer concrete validation, and the method's parameter-free nature from background dynamics is a notable strength. No ad-hoc entities or fitted parameters are introduced.

minor comments (3)

[Abstract] The abstract could more explicitly state that the results match known β-functions from literature to highlight the validation.
[§2] The notation for open and closed derivatives should be defined more clearly with an example equation to improve readability for readers unfamiliar with the distinction.
[§5] In the bosonic SM results, including a brief discussion of how the on-shell condition is applied would clarify the gauge independence claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The approach combining the heat kernel expansion with the background field method is correctly summarized as yielding gauge-invariant quantities such as effective potentials, anomalous dimensions, and RGEs directly from background field dynamics via consistent treatment of open and closed derivatives. We are pleased that the validation through Scalar QED, Yukawa theory, and the bosonic Standard Model, along with the parameter-free nature, has been noted as a strength.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from HK expansions

full rationale

The paper's chain starts from the background-field method combined with heat-kernel expansions, using explicit consistent treatment of open versus closed derivatives to extract effective potential, anomalous dimensions, and β-functions directly from background dynamics. This produces gauge-invariant, gauge-parameter-independent results for on-shell backgrounds in Scalar QED, Yukawa theory, and the bosonic SM without invoking fitted parameters, self-definitional loops, or load-bearing self-citations. All quantities are constructed explicitly from the HK coefficients and background equations of motion; no step reduces the output to the input by construction or renames a known result as a new derivation. The method is therefore independent of the traditional diagrammatic input it claims to replace.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The approach relies on the standard heat kernel expansion and background field formalism, with the novel element being the consistent open/closed derivative treatment; no new free parameters or invented entities are mentioned.

axioms (1)

domain assumption The heat kernel expansion can be consistently separated into open and closed derivative sectors.
Invoked to achieve gauge invariance without diagrams.

pith-pipeline@v0.9.0 · 5453 in / 1098 out tokens · 31909 ms · 2026-05-10T19:22:41.033209+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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

consistent treatment of open and closed derivatives in the HK expansions... on-shell criteria of the background fields... β functions and their gauge-parameter independence
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

one-loop effective Lagrangian... Seeley-DeWitt coefficients b_n

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.

Reference graph

Works this paper leans on

50 extracted references · 28 canonical work pages · 2 internal anchors

[1]

DeWitt,Quantum Theory of Gravity

B.S. DeWitt,Quantum Theory of Gravity. 2. The Manifestly Covariant Theory,Phys. Rev.162(1967) 1195

1967
[2]

Boulware,Gauge Dependence of the Effective Action,Phys

D.G. Boulware,Gauge Dependence of the Effective Action,Phys. Rev. D23(1981) 389

1981
[3]

Kluberg-Stern and J.B

H. Kluberg-Stern and J.B. Zuber,Renormalization of Nonabelian Gauge Theories in a Background Field Gauge. 1. Green Functions,Phys. Rev. D12(1975) 482

1975
[4]

Kluberg-Stern and J.B

H. Kluberg-Stern and J.B. Zuber,Renormalization of Nonabelian Gauge Theories in a Background Field Gauge. 2. Gauge Invariant Operators,Phys. Rev. D12(1975) 3159

1975
[5]

Hart,Theory and renormalization of the gauge invariant effective action,Phys

C.F. Hart,Theory and renormalization of the gauge invariant effective action,Phys. Rev. D28(1983) 1993

1983
[6]

Abbott,Introduction to the Background Field Method,Acta Phys

L.F. Abbott,Introduction to the Background Field Method,Acta Phys. Polon. B13(1982) 33. – 17 –

1982
[7]

Abbott,The Background Field Method Beyond One Loop,Nucl

L.F. Abbott,The Background Field Method Beyond One Loop,Nucl. Phys. B185(1981) 189

1981
[8]

Coleman and E.J

S.R. Coleman and E.J. Weinberg,Radiative Corrections as the Origin of Spontaneous Symmetry Breaking,Phys. Rev. D7(1973) 1888

1973
[9]

Denner, G

A. Denner, G. Weiglein and S. Dittmaier,Gauge invariance of Green functions: Background field method versus pinch technique,Phys. Lett. B333(1994) 420 [hep-ph/9406204]

work page arXiv 1994
[10]

Denner, G

A. Denner, G. Weiglein and S. Dittmaier,Application of the background field method to the electroweak standard model,Nucl. Phys. B440(1995) 95 [hep-ph/9410338]

work page arXiv 1995
[11]

Denner and S

A. Denner and S. Dittmaier,Electroweak Radiative Corrections for Collider Physics,Phys. Rept.864 (2020) 1 [1912.06823]

work page arXiv 2020
[12]

Nielsen,On the Gauge Dependence of Spontaneous Symmetry Breaking in Gauge Theories,Nucl

N.K. Nielsen,On the Gauge Dependence of Spontaneous Symmetry Breaking in Gauge Theories,Nucl. Phys. B101(1975) 173

1975
[13]

Andreassen, W

A. Andreassen, W. Frost and M.D. Schwartz,Consistent Use of the Standard Model Effective Potential, Phys. Rev. Lett.113(2014) 241801 [1408.0292]

work page arXiv 2014
[14]

Di Luzio and L

L. Di Luzio and L. Mihaila,On the gauge dependence of the Standard Model vacuum instability scale, JHEP06(2014) 079 [1404.7450]

work page arXiv 2014
[15]

Espinosa, G.F

J.R. Espinosa, G.F. Giudice, E. Morgante, A. Riotto, L. Senatore, A. Strumia et al.,The cosmological Higgstory of the vacuum instability,JHEP09(2015) 174 [1505.04825]

work page arXiv 2015
[16]

Balui, J

D. Balui, J. Chakrabortty, D. Dey and S. Mohanty,Gauge invariant effective potential,Phys. Rev. D 111(2025) 085032 [2502.17156]

work page arXiv 2025
[17]

Balui, T

D. Balui, T. Biswas, J. Chakrabortty, D. Dey, C. Englert and S. Mohanty,Gauge choices, infrared pitfalls, and thermal effects in effective potentials,Phys. Rev. D112(2025) 056022 [2507.22706]

work page arXiv 2025
[18]

Elizalde, L

E. Elizalde, L. Vanzo and S. Zerbini,Zeta function regularization, the multiplicative anomaly and the Wodzicki residue,Commun. Math. Phys.194(1998) 613 [hep-th/9701060]

work page arXiv 1998
[19]

Elizalde, A

E. Elizalde, A. Filippi, L. Vanzo and S. Zerbini,Is the multiplicative anomaly dependent on the regularization?,hep-th/9804071

work page arXiv
[20]

Bytsenko, G

A.A. Bytsenko, G. Cognola, E. Elizalde, V. Moretti and S. Zerbini,Analytic aspects of quantum fields (2003)

2003
[21]

Quiros,Field theory at finite temperature and phase transitions,Helv

M. Quiros,Field theory at finite temperature and phase transitions,Helv. Phys. Acta67(1994) 451

1994
[22]

Finite temperature field theory and phase transitions

M. Quiros,Finite temperature field theory and phase transitions, inICTP Summer School in High-Energy Physics and Cosmology, pp. 187–259, 1, 1999 [hep-ph/9901312]

work page internal anchor Pith review arXiv 1999
[23]

Masina and M

I. Masina and M. Quiros,An introduction to effective potential methods in field theory,2501.12713

work page arXiv
[24]

Chakrabortty and S

J. Chakrabortty and S. Mohanty,One Loop Thermal Effective Action,Nucl. Phys. B1020(2025) 117165 [2411.14146]

work page arXiv 2025
[25]

Dolan and R

L. Dolan and R. Jackiw,Gauge Invariant Signal for Gauge Symmetry Breaking,Phys. Rev. D9(1974) 2904

1974
[26]

Kang,Gauge Invariance of the Scalar-Vector Mass Ratio in the Coleman-Weinberg Model,Phys

J.S. Kang,Gauge Invariance of the Scalar-Vector Mass Ratio in the Coleman-Weinberg Model,Phys. Rev. D10(1974) 3455

1974
[27]

Andreassen, W

A. Andreassen, W. Frost and M.D. Schwartz,Consistent Use of Effective Potentials,Phys. Rev. D91 (2015) 016009 [1408.0287]

work page arXiv 2015
[28]

Heat kernel expansion: user's manual

D.V. Vassilevich,Heat kernel expansion: User’s manual,Phys. Rept.388(2003) 279 [hep-th/0306138]

work page Pith review arXiv 2003
[29]

Seeley,Complex powers of an elliptic operator,Proc

R.T. Seeley,Complex powers of an elliptic operator,Proc. Symp. Pure Math.10(1967) 288

1967
[30]

DeWitt,Dynamical theory of groups and fields,Conf

B.S. DeWitt,Dynamical theory of groups and fields,Conf. Proc. C630701(1964) 585. – 18 –

1964
[31]

Bel’kov, A.V

A.A. Bel’kov, A.V. Lanyov and A. Schaale,Calculation of heat kernel coefficients and usage of computer algebra,Comput. Phys. Commun.95(1996) 123 [hep-ph/9506237]

work page arXiv 1996
[32]

Kirsten,Spectral functions in mathematics and physics(2001)

K. Kirsten,Spectral functions in mathematics and physics(2001)

2001
[33]

Avramidi,Heat kernel approach in quantum field theory,Nucl

I.G. Avramidi,Heat kernel approach in quantum field theory,Nucl. Phys. B Proc. Suppl.104(2002) 3 [math-ph/0107018]

work page arXiv 2002
[34]

Avramidi,Heat Kernel Method and its Applications, Springer International Publishing (2015)

I. Avramidi,Heat Kernel Method and its Applications, Springer International Publishing (2015)

2015
[35]

Avramidi,The Covariant Technique for Calculation of One Loop Effective Action,Nucl

I.G. Avramidi,The Covariant Technique for Calculation of One Loop Effective Action,Nucl. Phys. B 355(1991) 712

1991
[36]

Avramidi,The Heat kernel approach for calculating the effective action in quantum field theory and quantum gravity,hep-th/9509077

I.G. Avramidi,The Heat kernel approach for calculating the effective action in quantum field theory and quantum gravity,hep-th/9509077

work page internal anchor Pith review arXiv
[37]

Banerjee, J

U. Banerjee, J. Chakrabortty, S.U. Rahaman and K. Ramkumar,One-loop effective action up to dimension eight: integrating out heavy scalar(s),Eur. Phys. J. Plus139(2024) 159 [2306.09103]

work page arXiv 2024
[38]

Banerjee, J

U. Banerjee, J. Chakrabortty, S.U. Rahaman and K. Ramkumar,One-loop effective action up to any mass-dimension for non-degenerate scalars and fermions including light–heavy mixing,Eur. Phys. J. Plus139(2024) 169 [2311.12757]

work page arXiv 2024
[39]

Chakrabortty, S

J. Chakrabortty, S.U. Rahaman and K. Ramkumar,One-loop effective action up to dimension eight: Integrating out heavy fermion(s),Nucl. Phys. B1000(2024) 116488 [2308.03849]

work page arXiv 2024
[40]

Banerjee, J

U. Banerjee, J. Chakrabortty and K. Ramkumar,Renormalization of scalar and fermion interacting field theory for arbitrary loop: Heat–Kernel approach,Eur. Phys. J. Plus139(2024) 714 [2404.02734]

work page arXiv 2024
[41]

M. Bohm, A. Denner and H. Joos,Gauge theories of the strong and electroweak interaction(2001), 10.1007/978-3-322-80160-9

work page doi:10.1007/978-3-322-80160-9 2001
[42]

Abbott, M.T

L.F. Abbott, M.T. Grisaru and R.K. Schaefer,The Background Field Method and the S Matrix,Nucl. Phys. B229(1983) 372

1983
[43]

Henning, X

B. Henning, X. Lu and H. Murayama,How to use the Standard Model effective field theory,JHEP01 (2016) 023 [1412.1837]

work page arXiv 2016
[44]

Drozd, J

A. Drozd, J. Ellis, J. Quevillon and T. You,The Universal One-Loop Effective Action,JHEP03(2016) 180 [1512.03003]

work page arXiv 2016
[45]

Henning, X

B. Henning, X. Lu and H. Murayama,One-loop Matching and Running with Covariant Derivative Expansion,JHEP01(2018) 123 [1604.01019]

work page arXiv 2018
[46]

Dittmaier, S

S. Dittmaier, S. Schuhmacher and M. Stahlhofen,Integrating out heavy fields in the path integral using the background-field method: general formalism,Eur. Phys. J. C81(2021) 826 [2102.12020]

work page arXiv 2021
[47]

Schwartz,Quantum Field Theory and the Standard Model, Cambridge University Press (3, 2014)

M.D. Schwartz,Quantum Field Theory and the Standard Model, Cambridge University Press (3, 2014)

2014
[48]

Sarkar,Mixing of Operators in Wilson Expansions,Nucl

S. Sarkar,Mixing of Operators in Wilson Expansions,Nucl. Phys. B82(1974) 447

1974
[49]

Sarkar and H

S. Sarkar and H. Strubbe,Anomalous Dimensions in Background Field Gauges,Nucl. Phys. B90 (1975) 45

1975
[50]

Denner,Techniques for calculation of electroweak radiative corrections at the one loop level and results for W physics at LEP-200,Fortsch

A. Denner,Techniques for calculation of electroweak radiative corrections at the one loop level and results for W physics at LEP-200,Fortsch. Phys.41(1993) 307 [0709.1075]. – 19 –

work page arXiv 1993