Pith. sign in

REVIEW 3 major objections 4 minor 41 references

Gauge invariance and generalised $\eta$ regularisation

T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper claims that generalised η regularisation solves the gauge-consistency conditions for one-loop integrals, yielding a family of gauge-invariant schemes parametrised by one arbitrary smooth function H, with dimensional…

desk verdict A useful solution-generating framework for gauge-invariant regulators, with a solid sufficiency core and an unproven necessity claim that should be tempered. read the letter →

arxiv 2412.12261 v1 pith:FBYF4527 submitted 2024-12-16 hep-th gr-qchep-phmath-phmath.MP

Antonio Padilla , Robert G. C. Smith This is my paper · ORCID
classification hep-thgr-qchep-phmath-phmath.MP
keywords etaregularisationgaugeinvarianceone-loopirreducibleloopintegralsschemeschiralanomalydimensionaldenominatorSchwingerpropertime
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper aims to show that gauge-invariant regularisation of one-loop integrals is not a collection of ad hoc prescriptions but a single solvable structure. Using a generalised form of η regularisation, in which each irreducible loop integral is multiplied by a smooth regulator function, the authors turn the requirement of gauge invariance into two integral consistency conditions and solve them. The resulting family is parametrised by an arbitrary smooth function H, and it contains dimensional regularisation, denominator regularisation, Schwinger proper time, and the earlier enhanced-regulator schemes as special cases. If the claim is right, choosing a regulator is equivalent to choosing one function, and one can generate new gauge-invariant schemes at will. The paper further argues that careful implementation of η regularisation in the chiral Schwinger model recovers the correct axial anomaly without the γ5 ambiguities of dimensional continuation.

What carries the argument

The load-bearing object is the generalised η regulator: a smooth function inserted into each irreducible loop integral, tending to one as the control parameter vanishes and decaying fast enough at large momentum. Around it the paper builds the canonical one-fold ILIs, whose spin-two and spin-four forms are related to the spin-zero form by the consistency equations (2.6) and (2.11), imposed by momentum-routing invariance. The solution mechanism is to express the combinations that appear in the consistency equations as derivatives of seed functions $\psi$ and $\varphi$; the most general seed choice yields the master formulas (3.52)–(3.54), in which the three regulator functions are built from one arbitrary smooth function $H$ of the logarithm variables. Each known scheme corresponds to a special choice of $H$: dimensional regularisation has power-law regulators, denominator regularisation has inverse-power regulators with consistency-fixed prefactors, and Schwinger proper time emerges from an integral representation of the seeds. The machinery does its work by turning gauge invariance into a finite set of regulator identities that can be solved before any particular amplitude is computed.

What would settle it

Find or construct a one-loop regularisation scheme whose full vacuum polarisation satisfies the Ward identity while the gauge-field and fermion contributions individually violate it. If such a scheme exists and is otherwise acceptable, the separate Ward identities of Eq. (3.4) are not required for gauge invariance, and the solutions of Section 3 need not be necessary conditions. Equivalently, evaluating the integrals (3.11)–(3.12) for a regulator that is known to preserve gauge invariance but does not satisfy them would directly falsify the claim.

Watch

Extended reading notes

Core claim

The central discovery is a solution-generating method for gauge-invariant regulators. Starting from the one-fold irreducible loop integrals, the paper derives two consistency conditions—Eqs. (2.6) and (2.11)—from momentum routing, and shows these coincide with the gauge-consistency conditions obtained from generalised Ward identities. By writing the regulator combinations as total derivatives of seed functions $\psi$ and $\varphi$, the authors solve the conditions in closed form. In the most general case the solution is given by Eqs. (3.52)–(3.54), with the three spin-zero, spin-two and spin-four regulator functions built from partial derivatives of a single arbitrary smooth function $H(\vartheta,\phi,\epsilon)$. Choosing particular $H$ reproduces dimensional regularisation, denominator regularisation, and Schwinger proper time; choosing the original scale-invariant form reproduces the enhanced-regulator conditions of the earlier η scheme. The paper also establishes that in chiral theories the regulator must be applied after decomposing the integrand into ILI integrands, with contractions performed inside the integral, so that η regularisation yields the standard axial anomaly in the chiral Schwinger model.

Load-bearing premise

The argument assumes that the gauge Ward identity must hold separately for the pure gauge-field contribution and the fermion contribution to the vacuum polarisation, not just for their sum; if that requirement is too strong, the consistency conditions (2.6) and (2.11) are not necessary for gauge invariance and the solution family may omit valid schemes.

Editorial extensions

If this is right

  • Dimensional regularisation, denominator regularisation, and Schwinger proper time are not independent constructions: each is a special choice of the same arbitrary function H in the master solution (3.52)–(3.54).
  • Any choice of H satisfying the stated fall-off and boundary conditions yields a one-loop gauge-invariant regulator, so new schemes can be generated without re-checking Ward identities case by case.
  • Denominator regularisation preserves gauge invariance only if its prefactors obey the consistency relations (3.38); minimal choices found in the literature are too restrictive and break gauge invariance.
  • In chiral theories, η regularisation must be implemented by decomposing the integrand into ILI integrands and keeping contractions inside the integral; doing this in the chiral Schwinger model reproduces vector-current conservation and the standard axial anomaly with no subtraction ambiguity.
  • The consistency conditions are regulator equations at one loop, so the formalism provides a direct route to searching for gauge-invariant regulators with additional properties, such as those suggested by string theory or supersymmetry.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An extension the paper leaves implicit: the same solution-generating technique could be applied to consistency conditions for supersymmetry-preserving regulators, since the master formulas are differential identities rather than dimension-specific constructions.
  • A testable extension: choose simple closed-form H functions not corresponding to any known scheme, implement the resulting regulators numerically in a one-loop amplitude, and verify that the Ward identity is satisfied to the expected order in the regulator parameter.
  • The fixed-dimension feature suggests η regularisation could serve as an arena for comparing γ5 prescriptions, since the chiral calculation sidesteps dimensional continuation entirely; one could compute higher-point chiral correlators and check that different algebraic orderings of γ5 give identical results only when contractions are kept inside the integral.
  • If the family is truly exhaustive, then any future gauge-invariant regulator—including a string-inspired one—should be expressible as some H; finding the H behind a candidate regulator would be a sharp test of the framework.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper develops a generalised version of eta regularisation, in which one-loop integrals are reduced to irreducible loop integrals (ILIs) whose integrands carry regulator functions η_{-2α}(k/μ, ε). It shows that momentum-routing invariance implies algebraic relations among ILIs of different spin, identifies these relations with Wu's gauge consistency conditions, and then solves the corresponding integral constraints by a seed-function method. This yields dimensional regularisation, denominator regularisation, Schwinger proper time, and a one-function family H of gauge-invariant regulators as special cases. In the final section, the framework is applied to the chiral Schwinger model in two dimensions, where careful eta regularisation reproduces the expected axial anomaly without analytic continuation of γ5.

Significance. If the claims hold, the paper offers a useful unifying perspective: many known gauge-invariant one-loop regulators are instances of a common ansatz, and the explicit solution-generating method can be used to construct new schemes. The algebraic derivations in Sections 2 and 3 are transparent and checkable, and the anomaly calculation in Section 4 is a concrete demonstration of the proper implementation in a chiral theory. The main caveat is that the paper establishes sufficiency, not necessity, of the conditions it solves; the strength of the "solving" claim depends on whether the converse is intended.

major comments (3)
  1. [Section 3, Eqs. (3.11)–(3.14)] The paper derives (2.6) and (2.11) as necessary conditions for momentum-routing invariance, but the step from momentum routing to gauge invariance is made by citing Wu's generalised Ward identities (Refs. [11–14]) and by the heuristic separate-Ward-identity assumption in Eq. (3.4). As a result, the construction in Section 3 proves that any regulators satisfying (3.11)–(3.12) are gauge invariant; it does not prove that gauge-invariant regulators must satisfy them. The family (3.52)–(3.54) should therefore be described as a family of sufficient regulators unless a converse is proven.
  2. [Section 3.1, denominator regularisation, after Eq. (3.38)] The statement that non-minimal f-factors are "necessary if denominator regularisation is to preserve gauge invariance" is not supported by the calculation. What is shown is that Horowitz's minimal f-factors violate the sufficient consistency condition (3.38). Since necessity of (3.11)–(3.12) is not established, a regulator violating (3.38) could still satisfy p_mu Π_mu nu = 0 through cancellations between different ILI contributions. An explicit Ward-identity check on a one-loop two-point amplitude with minimal f-factors, or a weakened conclusion, is needed.
  3. [Section 3.1, general regulator, Eqs. (3.49)–(3.54)] The H-parametrisation is presented as "a very general gauge invariant regulator," but it is not shown to be the general solution of the consistency conditions. Equations (3.13) and (3.14) relate three regulator functions (η, θ, κ) through two equations, so the solution space contains at least one additional functional direction corresponding to homogeneous solutions of those equations. The text should either prove that every solution can be brought to the form (3.52)–(3.54) or explicitly state that the H-family is a broad family containing the known examples rather than the general solution.
minor comments (4)
  1. [Eq. (2.4)] The derivative operator in (2.4) is written as ∂s/∂kν1...∂kνr; the superscript should be r, not s, since the derivatives are with respect to the r indices ν1...νr.
  2. [Eq. (3.26)] The angular factor f(ε) is given as (2π)^ε Ω_{3−2ε}/Ω_3. For d=4−2ε the relevant solid-angle factor is Ω_{4−2ε} and the prefactor should be (2π)^{2ε}; the error cancels in the consistency conditions because f(ε) appears as an overall factor in the DR regulators, but the formula as written is inconsistent with Eq. (3.23).
  3. [Notation] The regulators in the denominator regularisation case, Eq. (3.34), and the Schwinger proper-time case, Eqs. (3.42)–(3.44), depend on M^2 through y0, while the regulator η was introduced in Section 2 as a function of k/μ only. The paper should state explicitly that regulators are allowed to depend on y0, or adjust the notation.
  4. [Introduction and Section 3.1] There is a duplicated word "have have" in the first paragraph of the Introduction, and the heading "T ao inspired regularisation schemes" in Section 3.1 contains a typo for "Tao inspired".

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the consistency conditions are derived from momentum routing and the recovered schemes are matched against external benchmarks rather than assumed.

full rationale

The paper's derivation chain is largely self-contained. In Section 2 the consistency conditions (2.6) and (2.11) are derived directly from momentum-routing invariance of the regularised ILIs, not from the gauge-invariance conclusion; the subsequent identification of these conditions with Wu's gauge consistency conditions is an external citation, not a self-citation. The constructive part of Section 3 solves those conditions by introducing seed functions (3.13) and (3.14) and then builds families of regulators, with dimensional regularisation, denominator regularisation, and Schwinger proper time recovered by matching their known ILI forms rather than by assuming the H-family answer. The chiral Schwinger anomaly calculation is an independent check of the formalism and is not fitted to the target result. The only self-citation is to the authors' earlier paper [9] for the baseline eta-regularisation formalism and for the equivalence of the constraints (3.20)-(3.22) to the earlier 'enhanced regulator' conditions; this is a comparison remark, not a load-bearing step. The main caveats, namely the heuristic 'this suggests' justification of the separate Ward identities in (3.4) and the reliance on Wu's derivation for the necessity of the consistency conditions, are assumptions or completeness questions about the strength of the claims, not circular reductions of the derivation to its inputs.

Assumptions & free parameters 2 free parameters · 4 assumptions · 0 invented entities

The central construction relies on the physical assumption that gauge invariance can be tested through the separate Ward identities (3.4), and on the mathematical assumption that momentum routing invariance is required of the regulator (2.4). The solution space is parametrized by arbitrary functions H (or seed functions ψ, φ), which is a feature of the construction rather than a fit. No new physical entities are introduced.

free parameters (2)
  • Arbitrary seed functions F(ϑ,φ,ǫ), G(ϑ,φ,ǫ) / H(ϑ,φ,ǫ)
    The general gauge-invariant regulator family (Eqs. 3.52 to 3.54) is determined by a single arbitrary smooth function H, subject to boundary conditions and good-regulator requirements. This functional freedom is the advertised feature of the solution, not a fit to data.
  • Functions f(n,p)(ǫ) in denominator regularisation = Constrained by Eq. (3.38), not numerically fixed
    The consistency conditions (3.38) fix relations among the f-factors; the paper argues the minimal Horowitz choice violates these and must be modified, but the actual values are not computed in the paper.
assumptions (4)
  • domain assumption The Ward identities should hold separately for gauge and fermion loop contributions (Eq. 3.4).
    The paper justifies this by requiring gauge invariance for any gauge group and any number of fermions, but it is an assumption that makes the derived consistency conditions necessary in a strong form.
  • domain assumption Momentum routing invariance of regulated ILIs (Eq. 2.4).
    Section 2 assumes that the regulated integrals are invariant under arbitrary shifts q, yielding the consistency conditions. If a regulator is not momentum-routing invariant, these conditions need not apply, but the scheme might still be gauge invariant after summing diagrams.
  • domain assumption Existence of smooth regulator functions satisfying the good-regulator conditions of Section 2.
    The construction relies on the existence of η, θ, κ with specified decay and smoothness; this is standard for regularisation but is assumed rather than proven for the general H family.
  • standard math Standard QFT setup, including ILI decomposition, Feynman parametrisation, and Wick rotation.
    These are standard tools, used to put loop integrals in canonical form.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Gauge invariance and generalised $\eta$ regularisation." pith.science (2026). https://pith.science/paper/FBYF4527

@misc{pith2026241212261,
  author       = {Pith},
  title        = {Pith review of: Gauge invariance and generalised $\eta$ regularisation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FBYF4527}},
  note         = {Machine review of arXiv:2412.12261}
}
abstract

We generalise the $\eta$ regularisation scheme in order to develop a framework for systematically studying regularisation of loops in quantum field theory. This allows us to "solve" a set of gauge consistency conditions for families of gauge invariant regularisation schemes. We recover several known examples such as dimensional and denominator regularisations, as well as some more general solutions. We also study anomalies in chiral theories in order to carefully describe how our formalism should be properly implemented.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 27 canonical work pages

  1. [1]

    R. A. Bertlmann, Anomalies in quantum field theory . 1996

    work page 1996

  2. [2]

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

    work page 2014

  3. [3]

    Weinberg, The Quantum theory of fields

    S. Weinberg, The Quantum theory of fields. Vol. 1: Foundations . Cambridge University Press, 6, 2005, 10.1017/CBO9781139644167

    doi:10.1017/cbo9781139644167 2005

  4. [4]

    Fujikawa and H

    K. Fujikawa and H. Suzuki, Path integrals and quantum anomalies . 2004, 10.1093/acprof:oso/9780198529132.001.0001

    arXiv 2004

  5. [5]

    Bilal, Lectures on anomalies , 2008

    A. Bilal, Lectures on anomalies , 2008

    work page 2008

  6. [6]

    S. L. Adler, Axial vector vertex in spinor electrodynamics , Phys. Rev. 177 (1969) 2426–2438

    1969

  7. [7]

    J. S. Bell and R. Jackiw, A PCAC puzzle: π0 →γγ in the σ model, Nuovo Cim. A 60 (1969) 47–61

    work page 1969

  8. [8]

    ’t Hooft and M

    G. ’t Hooft and M. J. G. Veltman, Regularization and Renormalization of Gauge Fields , Nucl. Phys. B 44 (1972) 189–213

    1972

Show all 41 references
  1. [9]

    Padilla and R

    A. Padilla and R. G. C. Smith, Smoothed asymptotics: from number theory to QFT , 2401.10981

    arXiv

  2. [10]

    Tao, Compactness and contradiction

    T. Tao, Compactness and contradiction . American Mathematical Soc., 2013

    2013

  3. [11]

    Wu, Symmetry principle preserving and infinity free regulariza tion and renormalization of quantum field theories and the mass gap , Int

    Y.-L. Wu, Symmetry principle preserving and infinity free regulariza tion and renormalization of quantum field theories and the mass gap , Int. J. Mod. Phys. A 18 (2003) 5363–5420 , [hep-th/0209021]

    2003 arXiv

  4. [12]

    Wu, Symmetry preserving loop regularization and renormalizat ion of QFTs , Mod

    Y.-L. Wu, Symmetry preserving loop regularization and renormalizat ion of QFTs , Mod. Phys. Lett. A 19 (2004) 2191–2204 , [ hep-th/0311082]

    2004 arXiv

  5. [13]

    Wu, Quantum Structure of Field Theory and Standard Model Based o n Infinity-free Loop Regularization/Renormalization, Int

    Y.-L. Wu, Quantum Structure of Field Theory and Standard Model Based o n Infinity-free Loop Regularization/Renormalization, Int. J. Mod. Phys. A 29 (2014) 1430007 , [ 1312.1403]

    2014 arXiv

  6. [14]

    O. A. Battistel, A. L. Mota and M. C. Nemes, Consistency conditions for 4-D regularizations , Mod. Phys. Lett. A 13 (1998) 1597–1610

    1998

  7. [15]

    Ma and Y.-L

    Y.-L. Ma and Y.-L. Wu, Anomaly and anomaly-free treatment of QFTs based on symmetry-preserving loop regularization , Int. J. Mod. Phys. A 21 (2006) 6383–6456 , [hep-ph/0509083]

    2006 arXiv

  8. [16]

    W. A. Horowitz and J. F. D. Plessis, Finite system size correction to NLO scattering in φ4 theory, Phys. Rev. D 105 (2022) L091901 , [ 2203.01259]

    2022 arXiv

  9. [17]

    W. A. Horowitz, Denominator Regularization in Quantum Field Theory , 2209.02820

    arXiv

  10. [18]

    Bansal, N

    A. Bansal, N. Mahajan and D. Mishra, More on Denominator Regularization in Quantum Field Theory, 2211.12284

    arXiv

  11. [19]

    W. A. Horowitz, Jets in e+A SIDIS and Denominator Regularization , J. Phys. Conf. Ser. 2586 (2023) 012019

    2023

  12. [20]

    Kallosh, A

    R. Kallosh, A. D. Linde, D. A. Linde and L. Susskind, Gravity and global symmetries , Phys. Rev. D 52 (1995) 912–935 , [ hep-th/9502069]

    1995 arXiv

  13. [21]

    Jackiw and R

    R. Jackiw and R. Rajaraman, Vector Meson Mass Generation Through Chiral Anomalies , Phys. Rev. Lett. 54 (1985) 1219

    1985

  14. [22]

    Breitenlohner and D

    P. Breitenlohner and D. Maison, Dimensional Renormalization and the Action Principle , Commun. Math. Phys. 52 (1977) 11–38 . – 19 –

    1977

  15. [23]

    Jegerlehner, Facts of life with gamma(5) , Eur

    F. Jegerlehner, Facts of life with gamma(5) , Eur. Phys. J. C 18 (2001) 673–679 , [hep-th/0005255]

    2001 arXiv

  16. [24]

    Tsai, Gauge Invariant Treatment of γ5 in the Scheme of ’t Hooft and Veltman , Phys

    E.-C. Tsai, Gauge Invariant Treatment of γ5 in the Scheme of ’t Hooft and Veltman , Phys. Rev. D 83 (2011) 025020 , [ 0905.1550]

    2011 arXiv

  17. [25]

    Tsai, Maintaining Gauge Symmetry in Renormalizing Chiral Gauge T heories, Phys

    E.-C. Tsai, Maintaining Gauge Symmetry in Renormalizing Chiral Gauge T heories, Phys. Rev. D 83 (2011) 065011 , [ 1012.3501]

    2011 arXiv

  18. [26]

    Ferrari, Managing γ5 in Dimensional Regularization and ABJ Anomaly , 1403.4212

    R. Ferrari, Managing γ5 in Dimensional Regularization and ABJ Anomaly , 1403.4212

    arXiv

  19. [27]

    Ferrari, Managing γ5 in Dimensional Regularization II: the Trace with more γ5′s, Int

    R. Ferrari, Managing γ5 in Dimensional Regularization II: the Trace with more γ5′s, Int. J. Theor. Phys. 56 (2017) 691–705 , [ 1503.07410]

    2017 arXiv

  20. [28]

    Ferrari, γ5 in Dimensional Regularization: a Novel Approach , 1605.06929

    R. Ferrari, γ5 in Dimensional Regularization: a Novel Approach , 1605.06929

    arXiv

  21. [29]

    Gnendiger et al., Tod, or not to d: recent developments and comparisons of regularization schemes, Eur

    C. Gnendiger et al., Tod, or not to d: recent developments and comparisons of regularization schemes, Eur. Phys. J. C 77 (2017) 471 , [ 1705.01827]

    2017 arXiv

  22. [30]

    Gnendiger and A

    C. Gnendiger and A. Signer, γ5 in the four-dimensional helicity scheme , Phys. Rev. D 97 (2018) 096006 , [ 1710.09231]

    2018 arXiv

  23. [31]

    Cynolter and E

    G. Cynolter and E. Lendvai, Note on triangle anomaly with improved momentum cutoff , Mod. Phys. Lett. A 26 (2011) 1537–1545 , [ 1012.4648]

    2011 arXiv

  24. [32]

    A. C. D. Viglioni, A. L. Cherchiglia, A. R. Vieira, B. Hiller and M. Sampa io, γ5 algebra ambiguities in Feynman amplitudes: Momentum routing invar iance and anomalies in D = 4 and D = 2, Phys. Rev. D 94 (2016) 065023 , [ 1606.01772]

    2016 arXiv

  25. [33]

    A. M. Bruque, A. L. Cherchiglia and M. P´ erez-Victoria, Dimensional regularization vs methods in fixed dimension with and without γ5, JHEP 08 (2018) 109 , [ 1803.09764]

    2018 arXiv

  26. [34]

    J. J. Atick, G. W. Moore and A. Sen, CATOPTRIC TADPOLES, Nucl. Phys. B 307 (1988) 221–273

    1988

  27. [35]

    Mandelstam, The n loop string amplitude: Explicit formulas, finiteness a nd absence of ambiguities, Phys

    S. Mandelstam, The n loop string amplitude: Explicit formulas, finiteness a nd absence of ambiguities, Phys. Lett. B 277 (1992) 82–88

    1992

  28. [36]

    Berkovits, Multiloop amplitudes and vanishing theorems using the pure spinor formalism for the superstring , JHEP 09 (2004) 047 , [ hep-th/0406055]

    N. Berkovits, Multiloop amplitudes and vanishing theorems using the pure spinor formalism for the superstring , JHEP 09 (2004) 047 , [ hep-th/0406055]

    2004 arXiv

  29. [37]

    Sen, Ultraviolet and Infrared Divergences in Superstring Theor y, 1512.00026

    A. Sen, Ultraviolet and Infrared Divergences in Superstring Theor y, 1512.00026

    arXiv

  30. [38]

    Tourkine, Tropical Amplitudes, Annales Henri Poincare 18 (2017) 2199–2249 , [ 1309.3551]

    P. Tourkine, Tropical Amplitudes, Annales Henri Poincare 18 (2017) 2199–2249 , [ 1309.3551]

    2017 arXiv

  31. [39]

    Abel and K

    S. Abel and K. R. Dienes, Calculating the Higgs mass in string theory , Phys. Rev. D 104 (2021) 126032 , [ 2106.04622]

    2021 arXiv

  32. [40]

    S. Abel, K. R. Dienes and L. A. Nutricati, Running of gauge couplings in string theory , Phys. Rev. D 107 (2023) 126019 , [ 2303.08534]

    2023 arXiv

  33. [41]

    S. Abel, K. R. Dienes and L. A. Nutricati, A New Non-Renormalization Theorem from UV/IR Mixing, 2407.11160. – 20 –

    arXiv

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.