Pith. sign in

REVIEW 2 major objections 4 minor 28 references

Linearized renormalization

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read For super-renormalizable scalar theories, the first-order change of the renormalized effective action under parameter variations is written with finitely many graphs built from full propagators and vertices, with no regulator needed.

desk verdict Genuinely new linearized renormalization formalism with explicit regulator-free formulas for phi^3_4 and phi^4_3; the main caveat is an unproven regulator-equivalence assumption that a referee should probe. read the letter →

arxiv 2505.14152 v2 pith:LRIH4HDX submitted 2025-05-20 hep-th math-phmath.MP

L. L. Salcedo This is my paper · ORCID
classification hep-thmath-phmath.MP
keywords renormalizationtheoryactioncaseconditionsrenormalizedchangedimensions
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

Quantum field theories often produce infinite answers from short-distance fluctuations. Renormalization removes these infinities by adjusting parameters in the action. This paper studies a particular way to do that: start with a theory that is already finite, then ask how the finite answers change if you tweak the parameters by a tiny amount. The tool is Schwinger's action principle, which says the change of the effective action equals the expectation value of the change in the action.
Extended reading notes

Core claim

For the super-renormalizable theories phi^3_4 and phi^4_3, the first-order change of the renormalized effective action under changes of (m_R^2,Z,g) is given by explicit, regulator-free expressions built from a finite number of full-propagator/full-vertex graphs. In Eq. (3.108), dGamma_n/dm_R^2 = delta_{n,2} + H^m_{R,n}(p), dGamma_n/dZ = delta_{n,2} p^2 + H^Z_{R,n}(p), dGamma_n/dg = delta_{n,kappa} + H^g_{R,n}(p), with the H functions defined by UV-finite Gamma-graph integrals in Eqs. (3.109)-(3.111).

Load-bearing premise

The paper assumes throughout that perturbing an already renormalized, cutoff-free effective action Gamma by a regulated first-order action deltaS0(Lambda), the 'Gamma+deltaS0(Lambda)' approach, gives the same final Gamma+deltaGamma as the standard calculation in which the same regulator is applied to the unperturbed system, the 'Gamma(Lambda)+deltaS0(Lambda)' approach. This is stated explicitly in Sec. IV B ('A technical assumption has not yet been explicitly addressed...') and defended in Appendix D only by an explicit three-loop graph plus a soft-dependence argument; no general proof is given. If false, the super-renormalizable and renormalizable equations could miss regulator-sensitive terms.

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

2 major / 4 minor

Summary. The paper develops a linearized, infinitesimal version of renormalization based on Schwinger's action principle. Given an already renormalized effective action Γ satisfying a set of renormalization conditions, it derives equations for the first-order change δΓ under variations of the renormalized parameters (m_R^2, Z, g). For the super-renormalizable theories φ^3_4 and φ^4_3, the paper obtains explicit, regulator-free expressions (3.108)–(3.111) for δΓ_n/dm_R^2, δΓ_n/dZ, and δΓ_n/dg, each involving only a finite number of full-propagator/full-vertex graphs. It also introduces a projective renormalization scheme, discusses the renormalizable case (where the regulator cannot be removed from the non-perturbative expressions), and extends the formalism to composite operators and Schwinger-Dyson equations.

Significance. If the central assumption is valid, the paper provides novel non-perturbative, regulator-free first-order flow equations for super-renormalizable theories. This is a genuine conceptual advance and yields concrete, checkable expressions: the explicit finite integrals, the consistency conditions (3.113), and the symmetry identities (3.116) are valuable and could offer an alternative route to renormalized Schwinger-Dyson hierarchies. The projective renormalization scheme is cleanly defined and may be useful beyond this paper. However, the claimed generality rests on an unproven equivalence between the 'Γ+δS0(Λ)' and 'Γ(Λ)+δS0(Λ)' procedures, so the fully general regulator-free formulas are not yet established.

major comments (2)
  1. [App. D and Sec. IV B] The load-bearing assumption that the 'Γ+δS0(Λ)' and 'Γ(Λ)+δS0(Λ)' procedures give the same final result is not proven. Appendix D verifies only the three-loop graph of Fig. 11, in which the inner loops are already renormalized and the perturbation does not induce a new subdivergence; the argument then relies on a 'soft dependence' of the O(ε) remainder. It does not treat the configuration of Fig. 7, where the composite vertex creates the new subdivergence (123) in addition to the overall divergence (12345). Since the regulator-free formulas (3.108)–(3.111) for the super-renormalizable theories are derived under this assumption, the central claim is not yet fully supported. A subtraction-induction proof, or at least an explicit check of all graphs with induced subdivergences, is needed before these equations can be regarded as derived rather than conjectured under a plausible hypothesis.
  2. [Sec. IV B, Eq. (4.56)] The claim that W^{-1} has only canonical divergences and that V collects the counterterm contributions is argued heuristically through the cut decomposition (4.58) and is tested only in the restricted one-operator model of App. C. This is load-bearing for the renormalizable-case statement that G_R = W^{-1}G is UV-finite. The paper explicitly concedes that the momentum integrals cannot be rearranged into manifestly convergent blocks in the renormalizable case, but the weaker claim that the matrix inversion removes all regulator-dependent terms also lacks a general proof. The present argument does not rule out non-canonical residual divergences in graphs such as Fig. 7 once subdivergences induced by the composite operator are present; a systematic all-orders argument is required.
minor comments (4)
  1. [App. D, Eq. (D11)] In the definition of \barγ_3(p^2;ε), the subtraction term is written as q^2/μ_RC^2 γ_3(μ_RC^2;ε); since the argument of γ_3 is p^2, this should presumably be p^2/μ_RC^2.
  2. [Sec. III A, Fig. 3] The text refers to individual graphs as 'Fig. 3d', 'Fig. 3e', and 'Fig. 3f', but the figure panels are not labeled; labeling the panels would make the detailed cancellation argument much easier to follow.
  3. [Sec. III A, Eq. (3.50)] The split B(q;p) = g D^2(q) + \hat B(q;p) with \hat B(q;p) = O_+(q^{-5}) is stated without the asymptotic analysis that is provided for A_n(q;p); a brief justification, or a pointer to the same Weinberg-theorem argument, would improve reproducibility.
  4. [Sec. IV B, around Eq. (4.68)] The notation R^β(Λ;μ_RC) is introduced for the vanishing remainder, but it is not explicitly defined in terms of the regulated integrals; a precise definition would help the reader verify the claimed factorization in (4.68)–(4.69).

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction in the derivation chain; the only self-citation is minor and not load-bearing, and the flagged technical assumption is a limitation rather than a circular premise.

full rationale

The central formulas (3.108)-(3.111) express derivatives of the renormalized effective action with respect to renormalized parameters in terms of UV-finite Γ-graph integrals. I walked the claimed derivation chain and found no step in which the target result is inserted into the assumptions. The starting identity δΓ[φ]=⟨δS⟩_φ (Eq. (2.18)) is proven in Appendix A from δW=⟨δS⟩, not assumed. The full-propagator/full-vertex expansion (Theorem, Eq. (2.19)) is also proven in Appendix A; the cited theorem from [16] is presented only as an 'Alternatively' statement and is not needed for the derivation. In Sec. III, the divergent parts of H^Z and H^g are identified by explicit asymptotic analysis using Weinberg's theorem, and the split ambiguities are removed by imposing the renormalization condition δm_R^2=δΓ_2(0); that condition is a coordinate choice, not a disguised version of the predicted derivatives. The projective renormalization scheme of Sec. IV A is a definition of a projector T, and the identity Γ−S_0=... is a diagrammatic change of variables, not a circular reduction. The paper explicitly flags the unproven technical assumption in Sec. IV B ('A technical assumption has not yet been explicitly addressed...') and defends it in Appendix D by one three-loop graph plus a soft-dependence argument; this is a missing proof or correctness limitation, not a circular argument. Reference [16] is a self-citation, but it is not load-bearing because the needed theorem is proven within the paper. Therefore no equation reduces to its own input or to a fitted parameter. Score 2 acknowledges the minor, non-load-bearing self-citation; no circular step is identified.

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

The central claim does not rest on empirical fits. It assumes the standard BPHZ and Weinberg renormalization framework, the existence of a finite unperturbed effective action, and a specific linearization assumption (Gamma+deltaS0(Lambda) equivalence) that is only partially justified.

assumptions (4)
  • standard math Existing perturbative renormalization theory: BPHZ forest formula, Weinberg power-counting theorem, and renormalized correlation functions as formal power series.
    Used throughout Secs. III and IV, for example Eq. (3.25) and the subtraction operation R in Sec. IV A.
  • domain assumption The unperturbed effective action is already renormalized and UV-finite before the perturbation is added.
    Stated at the start of Sec. III as the viewpoint; for phi^4_3 it is supported by rigorous constructions, while for phi^3_4 and phi^3_6 it is meant only in a perturbative or formal sense.
  • ad hoc to paper The 'Gamma+deltaS0(Lambda)' equivalence: an already-renormalized Gamma plus a regulated first-order perturbation gives the same final result as a fully regulated calculation.
    Introduced at the end of Sec. IV B and defended only by an explicit three-loop computation in Appendix D; no general proof is given.
  • standard math Asymptotic large-momentum behavior of full propagators and vertices, as stated in Eqs. (3.25), (3.27), and (3.35).
    Derived from Weinberg's theorem and used to extract divergent components in Sec. III.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Linearized renormalization." pith.science (2026). https://pith.science/paper/LRIH4HDX

@misc{pith2026250514152,
  author       = {Pith},
  title        = {Pith review of: Linearized renormalization},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LRIH4HDX}},
  note         = {Machine review of arXiv:2505.14152}
}
abstract

Using an infinitesimal approach, this work addresses the renormalization problem to deal with the ultraviolet divergences arising in quantum field theory. Under the assumption that the action has already been renormalized to yield an ultraviolet-finite effective action that satisfies a certain set of renormalization conditions, we analyze how the action must be adjusted to reproduce a first-order change in these renormalization conditions. The analysis then provides the change that is induced on the correlation functions of the theory. This program is successfully carried out in the case of super-renormalizable theories, namely, a scalar field with cubic interaction in four space-time dimensions and with quartic interaction in three space-time dimensions. Relying on existing results in the theory of perturbative renormalization, we derive explicit renormalized expressions for these theories, each of which involves only a finite number of graphs constructed with full propagators and full $n$-point vertices. The renormalizable case is analyzed as well; the derived expressions are ultraviolet finite as the regulator is removed but cannot be written without a regulator. In this sense, the renormalization is not fully explicit in the renormalizable case. Nevertheless, a perturbative solution of the equations starting from the free theory provides the renormalized Feynman graphs, similar to the BPHZ program. For compatibility with the preservation of the renormalization conditions, a projective renormalization scheme, as opposed to a minimal one, is also introduced. The ideas developed are extended to the study of the renormalization of composite operators and the Schwinger-Dyson equations.

Figures

Figures reproduced from arXiv: 2505.14152 by the authors.

Figure 1
Figure 1. FIG. 1: Graphs contributing to [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2: For the theory [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 3
Figure 3. H g 2 (p) = H g(d) 2 (p) +H g(f) 2 (p). (3.46) H g(f) 2 (p) is already UV-finite, while H g(d) 2 (p) contains the UV￾divergent graph Fig. 3d, and the same graph as a subgraph in Fig. 3e and Fig. 3f. When is contracted to a point, the three graphs of H g(d) 2 (p) turn into the three graphs of H m 2 (p). Algebraically, let K(q) := Z d 4 k (2π) 4 FkFk+qB(k;q) B(k;q) := D(k)D(k +q)Γ3(k,q) (3.47) so that q = 1 2 δgFqK(q)… view at source ↗
Figures from the paper (8 more)
Figure 4
Figure 4. Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p012_4.png]
Figure 5
Figure 5. Figure 5: displays the contributions to δΓ [φ] induced by δS with two- and four-point vertices by applying Schwinger’s principle.11 The various vertex functions δΓn(p) are then ob￾tained by extracting the n p-legs in all possible ways. The Γ - graphs corresponding to the contrib…
Figure 6
Figure 6. Figure 6: FIG. 6 [PITH_FULL_IMAGE:figures/full_fig_p013_6.png]
Figure 6
Figure 6. Figure 6: The graph Fig. 6c = is linearly divergent, and the divergence can be canceled by a mass-counterterm in Fig. 6a = . When such a counterterm acts in Fig. 6b = it cancels the divergence in Fig. 6d = . Likewise the graph Fig. 6e = diverges logarithmically to be canceled by…
Figure 7
Figure 7. Figure 7: FIG. 7: An [PITH_FULL_IMAGE:figures/full_fig_p023_7.png]
Figure 8
Figure 8. Figure 8: FIG. 8: An [PITH_FULL_IMAGE:figures/full_fig_p023_8.png]
Figure 10
Figure 10. Figure 10: FIG. 10: Graph representation of SDE in (6.7). The dots represent [PITH_FULL_IMAGE:figures/full_fig_p030_10.png]
Figure 11
Figure 11. Figure 11: FIG. 11: An [PITH_FULL_IMAGE:figures/full_fig_p035_11.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 9 canonical work pages

  1. [16]

    M. J. de la Plata and L. L. Salcedo,Feynman diagrams with the effective action ,J. Phys. A31(1998), 4021-4035 doi:10.1088/0305-4470/31/17/012 [arXiv:hep-th/9609103 [hep-th]]

    work page Pith review arXiv 1998

  2. [1]

    Zee,Quantum field theory in a nutshell,Princeton University Press, 2003

    A. Zee,Quantum field theory in a nutshell,Princeton University Press, 2003. ISBN 9780691140346

    work page 2003

  3. [2]

    Weinberg,The Quantum theory of fields,(3 V ols.) Cambridge University Press, 2005, doi:10.1017/CBO9781139644167, doi:10.1017/CBO9781139644174

    S. Weinberg,The Quantum theory of fields,(3 V ols.) Cambridge University Press, 2005, doi:10.1017/CBO9781139644167, doi:10.1017/CBO9781139644174

    doi:10.1017/cbo9781139644167 2005

  4. [3]

    Alimena, J

    J. Alimena, J. Beacham, M. Borsato, Y . Cheng, X. Cid Vidal, G. Cottin, A. De Roeck, N. Desai, D. Curtin and J. A. Evans,et al. Searching for long-lived particles beyond the Standard Model at the Large Hadron Collider,J. Phys. G47(2020) no.9, 090501 doi:10.1088/1361-6471/ab4574 [arXiv:1903.04497 [hep-ex]]

    arXiv 2020

  5. [4]

    Engel, M

    J. Engel, M. J. Ramsey-Musolf and U. van Kolck,Electric Dipole Moments of Nucleons, Nuclei, and Atoms: The Standard Model and Beyond,Prog. Part. Nucl. Phys.71(2013), 21-74 doi:10.1016/j.ppnp.2013.03.003 [arXiv:1303.2371 [nucl-th]]

    arXiv 2013

  6. [5]

    K. G. Wilson,The Renormalization Group: Critical Phenom- ena and the Kondo Problem,Rev. Mod. Phys.47(1975), 773 doi:10.1103/RevModPhys.47.773

    doi:10.1103/revmodphys.47.773 1975

  7. [6]

    L. D. Landau, A. A. Abrikosov and I. M. Khalatnikov,The Re- moval of Infinities in Quantum Electrodynamics,Dokl. Akad. Nauk SSSR95(1954), 497 doi:10.1016/b978-0-08-010586- 4.50083-3

    work page doi:10.1016/b978-0-08-010586- 1954

  8. [7]

    Glimm and A

    J. Glimm and A. Jaffe,Quantum Physics: A Functional Integral Point of View,Springer, 1987, ISBN 978-0-387-96477-5, 978- 1-4612-4728-9 doi:10.1007/978-1-4612-4728-9

    doi:10.1007/978-1-4612-4728-9 1987

Show all 28 references
  1. [8]

    N. N. Bogoliubov and O. S. Parasiuk,On the Multiplication of the causal function in the quantum theory of fields,Acta Math. 97(1957), 227-266 doi:10.1007/BF02392399

    1957 doi

  2. [9]

    Hepp,Proof of the Bogolyubov-Parasiuk theorem on renormalization,Commun

    K. Hepp,Proof of the Bogolyubov-Parasiuk theorem on renormalization,Commun. Math. Phys.2(1966), 301-326 doi:10.1007/BF01773358

    1966 doi

  3. [10]

    Epstein and V

    H. Epstein and V . Glaser,The Role of locality in perturbation theory,Ann. Inst. H. Poincare A Phys. Theor.19(1973), 211- 295 CERN-TH-1400

    1973

  4. [11]

    Rejzner,Perturbative Algebraic Quantum Field Theory

    K. Rejzner,Perturbative Algebraic Quantum Field Theory. An introduction for Mathematicians,Mathematical Physics Stud- ies. Springer, Berlin (2016) doi:10.1007/978-3-319-25901-7

    2016 doi

  5. [12]

    J. C. Collins,Renormalization: An Introduction to Renor- malization, The Renormalization Group, and the Oper- ator Product Expansion,Cambridge Univ. Press, 1984. doi:10.1017/CBO9780511622656

    1984 doi

  6. [13]

    Zimmermann,Convergence of Bogolyubov’s method of renormalization in momentum space,Commun

    W. Zimmermann,Convergence of Bogolyubov’s method of renormalization in momentum space,Commun. Math. Phys.15 (1969), 208-234 doi:10.1007/BF01645676

    1969 doi

  7. [14]

    ’t Hooft and M

    G. ’t Hooft and M. J. G. Veltman,Regularization and Renor- malization of Gauge Fields,Nucl. Phys. B44(1972), 189-213 doi:10.1016/0550-3213(72)90279-9

    1972 doi

  8. [15]

    Zinn-Justin,Quantum field theory and critical phe- nomena,Int

    J. Zinn-Justin,Quantum field theory and critical phe- nomena,Int. Ser. Monogr. Phys.113(2002), 1-1054 doi:10.1093/oso/9780198834625.001.0001

    2002

  9. [17]

    A. V . Ivanov,Explicit Cutoff Regularization in Coordi- nate Representation,J. Phys. A55(2022) no.49, 495401 doi:10.1088/1751-8121/aca8dc [arXiv:2209.01783 [hep-th]]

    2022 arXiv

  10. [18]

    A. V . Ivanov,Effective actions, cutoff regularization, quasi- locality, and gluing of partition functions,J. Phys. A 58(2025) no.13, 135401 doi:10.1088/1751-8121/adc3de [arXiv:2411.13857 [math-ph]]

    2025 arXiv

  11. [19]

    Weinberg,High-energy behavior in quantum field theory, Phys

    S. Weinberg,High-energy behavior in quantum field theory, Phys. Rev.118(1960), 838-849 doi:10.1103/PhysRev.118.838

    1960 doi

  12. [20]

    Guerra, L

    F. Guerra, L. Rosen and B. Simon,The P(φ) 2 in two- dimensions: Euclidean quantum field theory as classical statistical mechanics,Ann. Math.101(1975), 111-189. doi:10.2307/1970988

    1975 doi

  13. [21]

    Romatschke,What ifφ 4 theory in 4 dimensions is non- trivial in the continuum?,Phys

    P. Romatschke,What ifφ 4 theory in 4 dimensions is non- trivial in the continuum?,Phys. Lett. B847(2023), 138270 doi:10.1016/j.physletb.2023.138270 [arXiv:2305.05678 [hep- th]]

    2023

  14. [22]

    Pehlevan and G

    C. Pehlevan and G. Guralnik,Complex Langevin Equations and Schwinger-Dyson Equations,Nucl. Phys. B811(2009), 519- 536 doi:10.1016/j.nuclphysb.2008.11.034 [arXiv:0710.3756 [hep-th]]

    2009 arXiv

  15. [23]

    N. N. Bogolyubov and D. V . Shirkov,Introduction to the theory of quantized fields,Intersci. Monogr. Phys. Astron.3(1959), 1-720

    1959

  16. [24]

    Itzykson and J

    C. Itzykson and J. B. Zuber,Quantum Field Theory,McGraw- Hill, 1980, ISBN 978-0-486-44568-7

    1980

  17. [25]

    C. G. Callan, Jr.,Broken scale invariance in scalar field theory,Phys. Rev. D2(1970), 1541-1547 doi:10.1103/PhysRevD.2.1541

    1970 doi

  18. [26]

    Symanzik,Small distance behavior in field theory and power counting,Commun

    K. Symanzik,Small distance behavior in field theory and power counting,Commun. Math. Phys.18(1970), 227-246 doi:10.1007/BF01649434

    1970 doi

  19. [27]

    Pascual and R

    P. Pascual and R. Tarrach,QCD: Renormalization for the prac- titioner,Lect. Notes Phys.194(1984), 1-277 doi:10.1007/3- 540-12908-1

    1984 doi

  20. [28]

    Binosi, J

    D. Binosi, J. Papavassiliou and A. Pilaftsis,Displacement operator formalism for renormalization and gauge de- pendence to all orders,Phys. Rev. D71(2005), 085007 doi:10.1103/PhysRevD.71.085007 [arXiv:hep-ph/0501259 [hep-ph]]

    2005 arXiv

Pith tools

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