Pith. sign in

REVIEW 3 major objections 3 minor 1 cited by

Non-Perturbative $S$-matrix Renormalization

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

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

Pith's one-line read The paper proposes an exact renormalization group flow for the generating functional of S-matrix elements, giving a non-perturbative equation that works directly with scattering amplitudes.

desk verdict Correct formal flow for the S-matrix functional, but the LSZ bridge misses wavefunction renormalization. read the letter →

arxiv 2509.00156 v3 pith:B4AWVFPA submitted 2025-08-29 hep-th

Laurent Freidel , José Padua-Argüelles , Susanne Schander , Marc Schiffer This is my paper
classification hep-th MSC 81T1781U20 PACS 11.10.Hi11.55.-m
keywords functionalrenormalizationgroupS-matrixgeneratingscatteringamplitudesWetterichequationPolchinskiLSZreductionnon-perturbativequantumfieldtheoryregulatorflow
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 proposes a functional renormalization group equation for a generating functional of S-matrix elements, rather than for the effective action or Schwinger functional. If the construction holds, it provides an exact, non-perturbative flow that works directly with physical scattering observables while avoiding the Hessian inversion that the standard effective-action flow requires. The equation is structurally parallel to Polchinski's equation, but its on-shell limit is the classical free equation Kφ = 0, so extracting amplitudes needs no quantum equations of motion. The authors present it as complementary to standard FRG approaches and as a direct route to non-perturbative quantum field theory computations.

What carries the argument

The engine is the S-matrix functional S[φ] = exp(−½∫φ K φ) Z[J = K φ], with K = −□ + m² the physical kinetic operator. Its functional derivatives, evaluated on-shell (K φ = 0) and contracted with free modes, reproduce LSZ-amputated correlators. Regulating K → K_k = K + R_k and differentiating in the scale k produces the flow; the polynomial structure and simple on-shell reduction both come from the factor K_k sitting inside the source and in the exponent.

What would settle it

Take Euclidean φ^4 theory, integrate Eq. (32) for the four-point function from a UV scale to k = 0, and compare the on-shell result with the standard perturbative or lattice scattering amplitude; a mismatch that survives regulator removal would show the flow does not renormalize the S-matrix.

Watch

Extended reading notes

Core claim

The central claim is Eq. (27): with S_k[φ] = exp(−½∫φ K_k φ) Z_k[J = K_k φ] and K_k = K + R_k, the flow is ∂_t S_k = ½ Tr[ ∂_t K_k^{-1} (S_k'' + S_k K_k) ]. After multiplying by the free-energy factor exp(F_k) with F_k = ½ Tr ln K_k, this becomes ∂_t S̃_k = ½ Tr[ ∂_t K_k^{-1} S̃_k'' ]. The authors claim this is an exact renormalization group equation equivalent to the Wetterich equation, but with two advantages: it is polynomial (no inverse Hessian), and its on-shell condition is simply the free wave equation K φ = 0. The functional's derivatives at φ = 0, contracted with free modes, are argued to be LSZ-amputated correlators, i.e. the S-matrix elements, so the flow renormalizes scattering o

Load-bearing premise

The construction assumes that evaluating derivatives of the Wick-rotated functional on the free shell K φ = 0 and rotating back gives exactly the physical S-matrix elements — that is, that LSZ holds with unit residue using only the physical kinetic operator.

Editorial extensions

If this is right

  • Renormalization can in principle be performed directly on scattering amplitudes, bypassing the step of solving quantum equations of motion required by effective-action FRG.
  • The polynomial form means truncated or numerical implementations avoid Hessian inversions, potentially making non-perturbative computations more feasible in large truncations.
  • The flow is exactly equivalent off-shell to the Wetterich equation, so information from the two formulations can be translated and combined to access different observables.
  • On-shell evaluation reduces to the classical free equation K φ = 0, which is expected to simplify computations in curved or dynamical spacetimes where quantum equations of motion are hard to solve.
  • The free-energy factor appearing in the renormalized flow connects the S-matrix renormalization program to vacuum-energy and cosmological-constant-type terms.

Reading between the lines

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

  • The paper does not prove the Wick rotation back to Lorentzian signature; if that analytic continuation fails for non-perturbative solutions, the flow would describe Euclidean amputated correlators rather than physical S-matrix elements.
  • A natural test is to apply Eq. (32) to φ^4 theory in D = 3 or D = 4 with a derivative expansion and compare the flowing on-shell four-point function with standard FRG or perturbative results; this would show whether the polynomial simplification survives truncation.
  • The boundary-functional version S_β, which the paper identifies as the truly on-shell object, is left without a flow equation; adapting the cutoff to a boundary or finite-volume scheme may yield one and connect to unitarity and cutting rules.
  • Because the S-matrix is invariant under local field redefinitions, this flow could place field-redefinition invariance at the center of the RG, potentially clarifying scheme dependence in asymptotic-safety computations.
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 / 3 minor

Summary. The paper proposes a new functional renormalization group flow for a generating functional of S-matrix elements. In Euclidean signature the authors define S_k[φ] = exp(-1/2 ∫ φ K_k φ) Z_k[K_k φ], where K_k = K + R_k and K is the physical kinetic operator -□ + m². They derive a flow equation for T_k = -log S_k and then for S_k itself, obtaining Eq. (27): ∂_t S_k = (1/2) Tr[∂_t K_k^{-1}(S_k'' + S_k K_k)], and Eq. (32) for the free-energy-rescaled functional \tilde S_k = e^{F_k} S_k. The claimed advantages are that the flow is polynomial, does not require a Hessian inversion, and that the on-shell condition reduces to the classical free equation Kφ = 0. The derivation is explicit and the free-field check S_k = e^{-F_k} solves the flow equations. However, the paper's bridge from S_k to physical S-matrix elements relies on an LSZ-type identification that omits wavefunction renormalization, and the Euclidean-to-Lorentzian continuation is left unresolved.

Significance. If correct, Eq. (27) would be a genuinely new and potentially useful FRG formulation: it works directly with an S-matrix-like functional, is polynomial in the flowing functional, and avoids the Hessian inversion of the Wetterich equation. The paper is self-contained and the algebra from Eq. (26) to Eq. (27) and from Eq. (31) to Eq. (32) is consistent; the free-theory solution is a useful cross-check. The main significance depends on whether the object flowing in Eq. (27) really generates physical S-matrix elements. As written, that identification has two load-bearing gaps: external-leg wavefunction renormalization factors are not included, and the Euclidean functional is never analytically continued back to Lorentzian signature. These gaps do not invalidate the flow equation as an interesting mathematical object, but they currently prevent the paper from fully supporting its advertised claim of non-perturbative S-matrix renormalization.

major comments (3)
  1. [Section II, Eqs. (8)-(9)] The on-shell substitution S^{(n)}[0] ↔ K^n Z^{(n)}[0] is not the LSZ prescription unless K amputates with unit residue. For K = -□ + m², the full propagator near the pole behaves as G(p) ~ Z/(p²-m²), so K^n Z^{(n)} on shell equals (∏ Z_i) Γ_amp, whereas the physical S-matrix element is (∏ Z_i^{-1/2}) ∏(p_i²-m_i²) G^{(n)} = (∏ Z_i^{1/2}) Γ_amp. The paper never imposes a unit-residue condition on K, nor does it show that the k-flow preserves such a normalization. Thus S^{(n)}[0] in Eq. (9) is an amputated correlator multiplied by wavefunction renormalization factors, not the S-matrix element. This is load-bearing for the central claim that Eq. (27) renormalizes scattering observables directly; the authors need to include the Z_i factors, define K so that the residue is unity by construction, or prove that the flow preserves canonical normalization.
  2. [Section III, Eq. (24)] The displayed Polchinski-type equation has ∂_t W_k[J] = -1/2 Tr[∂_t R_k (W_k'' - W_k'^{⊗2})]. For the Schwinger functional defined by Z_k[J] = ∫ Dϕ e^{-I_k[ϕ] + Jϕ}, the regulator insertion gives ∂_t W_k = -1/2 Tr[∂_t R_k (W_k'' + W_k'^{⊗2})], with a plus sign. The paper's own Table I uses the plus sign. As printed, Eq. (24) cannot be used to reach Eq. (25) without a sign change in the T'^{⊗2} term; the derivation and the final Eq. (26) correspond to the plus-sign version. This appears to be a sign typo, but it must be corrected because Eq. (24) is a central ingredient of the derivation.
  3. [Section III Eq. (12) and Section IV] The flow is derived in Euclidean signature, while the S-matrix is a Lorentzian object. The paper explicitly cautions that Wick rotation back to Lorentzian signature is still required, but the central claim that Eq. (27) generates S-matrix elements depends on this continuation being well-defined for the full non-perturbative functional. This is not a matter of a single Feynman diagram; the flow is nonlinear and the functional analytic continuation is non-trivial. The paper should either provide a justification for the Euclidean-to-Lorentzian continuation in the relevant class of theories, or explicitly scope the abstract and title to a Euclidean S-matrix-type generating functional. As it stands, the advertised connection to physical scattering is an assumption, not a result.
minor comments (3)
  1. [Section II, footnote 4] The footnote correctly warns that LSZ may fail for long-range interactions, but the main text continues to use Eq. (9) as an exact identification. It would be helpful to state explicitly whether the proposed flow is intended to apply only when LSZ applies, or whether the functional identity is meant to define a generalized S-matrix functional beyond LSZ.
  2. [Section III, Eqs. (25)-(26)] The rewriting of (∂_t ΔI_k)[K_k^{-1} T_k'] as -1/2 Tr[∂_t K_k^{-1} T_k'^{⊗2}] uses a cyclic trace identity that is only briefly indicated. Adding one line displaying this identity would improve reproducibility.
  3. [General] The free-field cross-check S_k = e^{-F_k} is stated verbally but not shown. A short derivation that this constant satisfies Eq. (27) and that \tilde S_k = 1 satisfies Eq. (32) would make the consistency check explicit.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the S-matrix flow equation is derived directly from the regulator flow, with only one tangential self-citation.

full rationale

The derivation in Section III is self-contained and non-circular. The authors define S_k[\varphi] = exp(-1/2 ∫ \varphi K_k \varphi) Z_k[K_k \varphi] (Eq. 14), differentiate log S_k, and use the standard regulator flow for the Schwinger functional (Eq. 24, cited to Polchinski and Wetterich references) to obtain Eqs. (25)-(27). Eq. (32) follows by subtracting the free energy F_k (Eqs. 30-31). No parameter is fitted and no external observable is predicted from itself. The LSZ identification (Eqs. 8-9) is explicitly presented as the well-known LSZ prescription, and the paper flags its own limitations: footnote 4 warns that LSZ may break down for long-range interactions, and Section III cautions that after Wick rotation one still needs to rotate back to Lorentzian signature before relating to physical S-matrix elements. The skeptic's wavefunction-renormalization concern is a validity/correctness caveat about whether on-shell projected correlators equal the physical S-matrix; it is not circularity in the derivation of the flow. The only self-citation is [38] in a tangential comment about cosmological constant renormalization in the Discussion; it is not load-bearing for any equation. Thus the central claim is derived from stated definitions and standard FRG ingredients, not from its own conclusion.

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

No numbers are fitted to data; the physical mass m in K is a theory input, and the regulator R_k is a scheme choice that cancels in the exact flow. The construction removes the Hessian inversion of the Wetterich equation at the price of relying on invertibility of K_k and on the LSZ bridge. The domain assumptions above are the actual price of entry, and they match the paper's own flagged limitations. No new particles, forces, dimensions, or conserved quantities are introduced; the S-matrix functional is taken from prior literature [19,20], and the boundary functional S_beta (Eq. (10)) is mentioned but not used in the central derivation.

assumptions (5)
  • domain assumption Functional derivatives of S at K phi = 0 (or at phi = 0) yield S-matrix elements with the stated normalization (Eqs. (5)-(9)).
    Central interpretive bridge; cited to [19-21]. Footnote 4 flags LSZ can fail for long-range interactions; wavefunction (residue) renormalization factors are not discussed.
  • domain assumption The Euclidean path integral with regulator (13), Wick-rotated back, computes the physical Lorentzian S-matrix.
    Standard FRG assumption; the paper itself cautions (Section III) that the Euclidean S-matrix functional is not physical until continued back, and provides no continuation proof.
  • domain assumption The regulated kinetic operator K_k = K + R_k is invertible (massive scalar, no zero modes).
    K_k^{-1} appears throughout (Eqs. (21), (25)-(27)); the construction excludes massless and gauge theories, though the abstract frames the approach generically.
  • standard math The Polchinski-type flow for W_k, Eq. (24), holds as stated.
    Standard FRG result cited to [7,31,32]; the entire S-flow derivation builds on it.
  • domain assumption The boundary term in the action (Eq. (4)) makes the on-shell variation compatible with Dirichlet boundary conditions so the T to infinity limit defines the S-matrix functional.
    Needed for the S-matrix interpretation; stated but not proved in the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Non-Perturbative $S$-matrix Renormalization." pith.science (2026). https://pith.science/paper/B4AWVFPA

@misc{pith2026250900156,
  author       = {Pith},
  title        = {Pith review of: Non-Perturbative $S$-matrix Renormalization},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/B4AWVFPA}},
  note         = {Machine review of arXiv:2509.00156}
}
abstract

We propose a renormalization group flow equation for a functional that generates $S$-matrix elements and which captures similarities to the well-known Wetterich and Polchinski equations. While the latter ones respectively involve the effective action and Schwinger functional, which are genuine off-shell objects, the presented flow equation has the advantage of working more directly with observables, i.e. scattering amplitudes. Compared to the Wetterich equation, our flow equation also greatly simplifies the notion of going on-shell, in the sense of satisfying the quantum equations of motion. In addition, unlike the Wetterich equation, it is polynomial and does not require a Hessian inversion. The approach is a promising direction for non-perturbative quantum field theories, allowing one to work more directly with scattering amplitudes.

Figures

Figures reproduced from arXiv: 2509.00156 by the authors.

Figure 1
Figure 1. FIG. 1. Relations between the (Euclidean) partition function [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

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

  1. A perturbative approach to the Wetterich equation for Bosonic and Fermionic interacting fields

    math-ph 2026-05 unverdicted novelty 5.0 of 10

    Derives beta functions for couplings in interacting bosonic and fermionic fields on curved spacetimes via local potential approximation and proves local existence and uniqueness of the resulting flow equations.

Reference graph

Works this paper leans on

40 extracted references · 14 canonical work pages · cited by 1 Pith paper

  1. [1]

    Kamefuchi, L

    S. Kamefuchi, L. O’Raifeartaigh, and A. Salam, Nuclear Physics 28, 529 (1961)

    work page 1961

  2. [2]

    Chisholm, Nuclear Physics 26, 469 (1961)

    J. Chisholm, Nuclear Physics 26, 469 (1961). 7

    work page 1961

  3. [3]

    Arzt, Phys

    C. Arzt, Phys. Lett. B 342, 189 (1995), arXiv:hep- ph/9304230

    work page arXiv 1995

  4. [4]

    Banks and E

    T. Banks and E. J. Martinec, Nucl. Phys. B 294, 733 (1987)

    work page 1987

  5. [5]

    Hughes, J

    J. Hughes, J. Liu, and J. Polchinski, Nucl. Phys. B 316, 15 (1989)

    work page 1989

  6. [6]

    Qw7l7G8wlc52MXjXHRE0b3G1u/c=

    or the Wetterich equation [7–9], are based on the Schwinger functional or effective action, respectively. They have been successfully employed, for example, in statistical physics, particle physics, and quantum gravity, see [10] for a complete review. Let us now focus on the Wetterich equation, which is based on computing the 1PI effective action includin...

    arXiv 2025

  7. [7]

    Polchinski, Nucl

    J. Polchinski, Nucl. Phys. B 231 (1984), 10.1016/0550- 321(84)90287-6

    doi:10.1016/0550- 1984

  8. [8]

    Wetterich, Phys

    C. Wetterich, Phys. Lett. B 301, 90 (1993), arXiv:1710.05815 [hep-th]

    arXiv 1993

Show all 40 references
  1. [9]

    T. R. Morris, Int. J. Mod. Phys. A 9, 2411 (1994), arXiv:hep-ph/9308265

    1994 arXiv

  2. [10]

    Ellwanger, Z

    U. Ellwanger, Z. Phys. C 62, 503 (1994), arXiv:hep- ph/9308260

    1994

  3. [11]

    Dupuis, L

    N. Dupuis, L. Canet, A. Eichhorn, W. Metzner, J. M. Pawlowski, M. Tissier, and N. Wschebor, Phys. Rept. 910, 1 (2021), arXiv:2006.04853 [cond-mat.stat-mech]

    2021 arXiv

  4. [12]

    W.-j. Fu, C. Huang, J. M. Pawlowski, and Y.-y. Tan, SciPost Phys. 14, 069 (2023), arXiv:2209.13120 [hep-ph]

    2023 arXiv

  5. [13]

    W.-j. Fu, C. Huang, J. M. Pawlowski, and Y.-y. Tan, SciPost Phys. 17, 148 (2024), arXiv:2401.07638 [hep-ph]

    2024 arXiv

  6. [14]

    Ihssen, J

    F. Ihssen, J. M. Pawlowski, F. R. Sattler, and N. Wink, (2024), arXiv:2408.08413 [hep-ph]

    2024 arXiv

  7. [15]

    W.-j. Fu, C. Huang, J. M. Pawlowski, Y.-y. Tan, and L.-j. Zhou, (2025), arXiv:2502.14388 [hep-ph]

    2025 arXiv

  8. [16]

    Draper, B

    T. Draper, B. Knorr, C. Ripken, and F. Saueressig, Phys. Rev. Lett. 125, 181301 (2020), arXiv:2007.00733 [hep- th]

    2020 arXiv

  9. [17]

    Draper, B

    T. Draper, B. Knorr, C. Ripken, and F. Saueressig, JHEP 11, 136 (2020), arXiv:2007.04396 [hep-th]

    2020 arXiv

  10. [18]

    Pastor-Guti´ errez, J

    ´A. Pastor-Guti´ errez, J. M. Pawlowski, M. Reichert, and G. Ruisi, Phys. Rev. D 111, 106005 (2025), arXiv:2412.13800 [hep-ph]

    2025 arXiv

  11. [19]

    Fehre, D

    J. Fehre, D. F. Litim, J. M. Pawlowski, and M. Reichert, Phys. Rev. Lett. 130, 081501 (2023)

    2023

  12. [20]

    I. Y. Aref’eva, A. A. Slavnov, and L. D. Faddeev, Teo- reticheskaya i Matematicheskaya Fizika 21, 311 (1974)

    1974

  13. [21]

    Jevicki and C.-k

    A. Jevicki and C.-k. Lee, Phys. Rev. D 37, 1485 (1988)

    1988

  14. [22]

    V. P. Nair, Quantum Field Theory. A Modern Perspec- tive (Springer New York, NY, 2004)

    2004

  15. [23]

    Lippstreu, (2025), arXiv:2505.04702 [hep-th]

    L. Lippstreu, (2025), arXiv:2505.04702 [hep-th]

    2025 arXiv

  16. [24]

    D. Jain, S. Kundu, S. Minwalla, O. Parrikar, S. G. Prabhu, and P. Shrivastava, (2023), arXiv:2311.03443 [hep-th]

    2023 arXiv

  17. [25]

    S. Kim, P. Kraus, R. Monten, and R. M. Myers, JHEP 10, 036 (2023), arXiv:2307.12368 [hep-th]

    2023 arXiv

  18. [26]

    Floerchinger, JHEP 05, 021 (2012), arXiv:1112.4374 [hep-th]

    S. Floerchinger, JHEP 05, 021 (2012), arXiv:1112.4374 [hep-th]

    2012 arXiv

  19. [27]

    Manrique, S

    E. Manrique, S. Rechenberger, and F. Saueressig, Phys. Rev. Lett. 106, 251302 (2011), arXiv:1102.5012 [hep-th]

    2011 arXiv

  20. [28]

    Fehre, D

    J. Fehre, D. F. Litim, J. M. Pawlowski, and M. Reichert, Phys. Rev. Lett. 130, 081501 (2023), arXiv:2111.13232 [hep-th]

    2023 arXiv

  21. [29]

    D’Angelo, N

    E. D’Angelo, N. Drago, N. Pinamonti, and K. Re- jzner, Annales Henri Poincare 25, 2295 (2024), arXiv:2202.07580 [math-ph]

    2024 arXiv

  22. [30]

    D’Angelo, Phys

    E. D’Angelo, Phys. Rev. D 109, 066012 (2024), arXiv:2310.20603 [hep-th]

    2024 arXiv

  23. [31]

    Saueressig and J

    F. Saueressig and J. Wang, Phys. Rev. D 111, 106007 (2025), arXiv:2501.03752 [hep-th]

    2025 arXiv

  24. [32]

    J. M. Pawlowski, Annals Phys. 322, 2831 (2007), arXiv:hep-th/0512261

    2007 arXiv

  25. [33]

    Gies, Lect

    H. Gies, Lect. Notes Phys. 852, 287 (2012), arXiv:hep- ph/0611146

    2012

  26. [34]

    Ihssen and J

    F. Ihssen and J. M. Pawlowski, SciPost Phys. 15, 074 (2023), arXiv:2207.10057 [hep-th]

    2023 arXiv

  27. [35]

    F. J. Wegner, J. Phys. C 7, 2098 (1974)

  28. [36]

    Pawlowski and S

    J. Pawlowski and S. Ray, to appear

  29. [37]

    R. E. Cutkosky, J. Math. Phys. 1, 429 (1960)

    1960

  30. [38]

    Becker and M

    M. Becker and M. Reuter, Phys. Rev. D 102, 125001 (2020), arXiv:2008.09430 [gr-qc]

    2020 arXiv

  31. [39]

    Freidel, J

    L. Freidel, J. Kowalski-Glikman, R. G. Leigh, and D. Minic, Phys. Rev. D 107, 126016 (2023), arXiv:2212.00901 [hep-th]

    2023 arXiv

  32. [40]

    Ferrero and R

    R. Ferrero and R. Percacci, JHEP 09, 074 (2024), arXiv:2404.12357 [hep-th]

    2024 arXiv

Pith tools

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