Pith. sign in

REVIEW 3 major objections 5 minor 2 cited by

Equivalence of effective actions

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

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

Pith's one-line read Every field redefinition has a hidden twin in the effective action.

desk verdict A clean all-orders perturbative proof that genuine and effective field transformations are dual, with a non-perturbative amplitude-independence argument that holds under a stated locality condition; the fully non-perturbative correspondence is honestly flagged as unproven. read the letter →

arxiv 2504.17851 v3 pith:MJPKJKYF submitted 2025-04-24 hep-th cond-mat.stat-mechgr-qc

Kevin Falls This is my paper · ORCID
classification hep-thcond-mat.stat-mechgr-qc
keywords effectiveactionfieldredefinitionsinessentialcouplingsequivalencetheoremcompositeoperatorsLegendretransforminitialvalueproblemsscatteringamplitudes
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 claims that the two ways of changing variables in a quantum field theory—changing the quantum field before quantisation, or changing the argument of the effective action after quantisation—are the same operation carried out in two languages. More precisely, every genuine field redefinition admits a dual implicit redefinition of the mean field such that $\Gamma_{\hat\phi}[\phi]=\Gamma_{\hat\chi}[\chi[\phi]]$, and every implicit redefinition of the mean field corresponds to a genuine composite-field transformation. The dual transformation is defined as the solution of a flow equation whose 'time' is an inessential coupling, and unique solvability is proved order by order in perturbation theory. If the correspondence holds non-perturbatively, apparently unrelated effective actions for the same theory are different coordinates on the same physical equivalence class.

What carries the argument

The load-bearing object is a one-parameter family of field transformations $\hat\chi_\zeta[\hat\phi]$ interpolating between two choices of variables, with $\zeta$ playing the role of an inessential coupling. Along this family the effective action obeys the transport equation $\partial_\zeta \Gamma_\zeta = -\Psi_\zeta \cdot \delta\Gamma_\zeta/\delta\phi$, so proving the correspondence reduces to constructing the generator $\Psi_\zeta$ and showing the flow has a unique solution. Perturbatively, every order satisfies a linear initial value problem of the form (4.4), which has a closed-form integrating-factor solution.

What would settle it

Give a concrete local field redefinition for which the flow (5.4) develops a singularity, loses uniqueness, or fails to reach the target value within the required range of $\zeta$; then the identity $\Gamma_{\hat\phi}[\phi]=\Gamma_{\hat\chi}[\chi[\phi]]$ fails non-perturbatively even though every perturbative order exists. A complementary check is to find a local generator $\Psi_\zeta$ violating the pole-free condition (7.3) and show that scattering amplitudes then change with the inessential coupling.

Watch

Extended reading notes

Core claim

The central identity is $\Gamma_{\hat\phi}[\phi]=\Gamma_{\hat\chi}[\chi[\phi]]$: an effective action built from sources coupled to $\hat\phi[\hat\chi]$ equals the original effective action evaluated at a dual variable, and the correspondence runs in both directions. Given a genuine transformation between quantum fields, the paper defines the effective transformation as the solution of the initial value problem $\partial_\zeta \phi_\zeta = \Psi_\zeta[\phi_\zeta]$ with $\Psi$ given by the field-transformation generator, and shows that this implies the identity. Conversely, given an effective change of variables, the quantum transformation is recovered from the flow of the action in equation (6.16). At each order in $\hbar$ the flow equations become linear, so unique solutions exist to all orders in perturbation theory. Independently of perturbation theory, Section VII proves that scattering amplitudes do not depend on inessential couplings, provided the generator satisfies the pole-free locality condition (7.3).

Load-bearing premise

The argument requires that each non-linear initial value problem has a unique solution over the whole interval connecting the two choices of variables; the paper proves this only order by order in perturbation theory and warns in its own discussion that non-perturbative solutions may fail to exist.

Editorial extensions

If this is right

  • Two effective actions related by the identity describe the same physics: their on-shell scattering amplitudes coincide, so field redefinitions are a calculational freedom rather than a physical assumption.
  • One can compare effective actions computed in different field parametrisations by searching for the dual effective transformation directly, without constructing the composite operator at the quantum level.
  • The non-perturbative proof in Section VII means that, under the pole-free condition, amplitudes are independent of inessential couplings even when the effective action itself depends on them.
  • At every loop order the unknown correction to either transformation solves a linear equation, so the existence proof is constructive in principle and can be implemented order by order.

Reading between the lines

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

  • If the correspondence holds non-perturbatively, the physical content of an effective action is its equivalence class under reparametrisations, which would justify computing observables in whatever coordinates simplify the calculation.
  • One could test the correspondence numerically in a simple theory by integrating the non-linear flow (5.4) beyond one loop and checking whether the resulting dual transformation reproduces the correlation functions of the composite field, a check the paper does not perform.
  • The pole-free condition (7.3) draws a practical boundary: local field redefinitions are pure gauge for amplitudes, while sufficiently non-local ones may carry observable information, so testing which transformations satisfy it could settle when the equivalence theorem really applies.
  • The author expects the same correspondence to hold between effective actions computed in different gauges; if that expectation is borne out, gauge dependence in the effective action would become a coordinate choice rather than a physical ambiguity.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. This paper argues that effective actions obtained by coupling sources to different field variables in the same quantum field theory are related by an implicit reparameterization of the mean field. The central identity is (1.5), Γ_φ[φ] = Γ_χ[χ[φ]], with a dual statement in the opposite direction. The transformations are constructed as solutions of initial value problems in which the 'time' parameter is an inessential coupling. The paper shows that, expanding in ℏ, each order satisfies a linear initial value problem, so the correspondence holds perturbatively to all orders; the one-loop corrections are computed explicitly for a local field redefinition. The paper also proves, assuming the pole-free locality condition (7.3), that on-shell scattering amplitudes are independent of the inessential couplings without perturbation theory. The non-perturbative validity of (1.5) is explicitly conditioned on existence and uniqueness of the relevant nonlinear functional flows, and Section IX warns of 'some danger' in assuming it.

Significance. If the correspondence is valid, it provides a clean formal justification for changing variables at the level of the effective action and clarifies the relation between inessential couplings and field redefinitions. The explicit one-loop computation in Section III and the non-perturbative differential proof of the equivalence theorem in Section VII are concrete and valuable results. The paper also gives a useful perspective on the essential renormalisation group. The main limitation is that the non-perturbative statement is conditional on an unproven existence/uniqueness assumption, so the strongest unconditional results are perturbative; the paper is honest about this limitation, which increases its reliability.

major comments (3)
  1. [V, IX] The central identity (1.5) is presented as a non-perturbative result, but its proof in Section V requires existence and uniqueness of solutions to the nonlinear initial value problems (5.4) and (5.6) with Ψ defined in (5.9)/(5.15). The paper only establishes unique solvability order by order in ℏ (Section IV), and Section IX concedes: 'There is some danger in assuming the correspondence holds non-perturbatively.' Since the abstract and title state the equivalence without this caveat, the manuscript should either prove global existence/uniqueness under explicit hypotheses on Ψ and Γ, or clearly formulate (1.5) as a perturbative/conditional statement throughout. This is load-bearing because the non-perturbative claim is what goes beyond the one-loop checks.
  2. [V, Eq. (5.19)] The all-orders perturbative argument hinges on equation (5.19), but as printed the equation contains an unreadable corrupted string, and the source term Ξ_ℓ and the coefficient of φ^y_{ζ,ℓ} are not explicitly identified. Without a readable statement, the reader cannot verify the claim that each loop order reduces to a linear initial value problem of the form (4.4). Please rewrite (5.19) and define all symbols.
  3. [V, Eqs. (5.4)–(5.11)] The argument that Γ[χ_ζ[φ]] satisfies the flow (5.10) uses the same functional Ψ_ζ in both the χ-flow (5.6) and the Γ-flow (5.10). Since Ψ_ζ is defined in (5.9) through Γ_ζ itself, the initial value problems are coupled: the flow of χ_ζ depends on Γ_ζ and vice versa. The uniqueness hypothesis invoked after (5.11) should therefore be stated for the coupled system, and the perturbative linearization should be presented for that coupled system rather than for (5.4) alone.
minor comments (5)
  1. [I] Minor wording: 'visa-versa' should be 'vice versa', and 'transform the effective action in via (1.4)' should be 'transform the effective action via (1.4)'.
  2. [V, VI] The initial value is set to ζ = ζ_i in (5.1) and (6.3), but later the initial condition for Γ_ζ is written as Γ_{ζ=0}. Please state explicitly whether ζ_i = 0 and how the final value ζ_f is chosen.
  3. [V, Eq. (5.13)] The sentence 'In the rhs of (5.13), the operator acts on a factor of 1' is confusing; please clarify the convention by stating that the derivative acts on everything to its right.
  4. [VII, Eqs. (7.24)–(7.25), Figs. 1–2] The notation with semicolons in (7.24) and the diagrammatic explanation need more detail; in particular, define explicitly how the ψ-derivatives are distributed among the A-vertices.
  5. [V, VII] Several equations, including (5.19) and (7.24), contain corrupted placeholder strings in the provided text; these must be cleaned in the final version before publication.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the correspondence is proved by showing both sides satisfy the same flow equation, with the velocity field fixed by the path-integral identity; non-perturbative existence is a stated assumption, not an input-output circle.

full rationale

The central identity (1.5) is not assumed as input. The family of effective actions Γ_ζ is defined independently by the path integral (5.3), and the paper derives the transport equation (5.10) by differentiating that definition with respect to the inessential coupling ζ. The proposed dual combination Γ_χ[χ_ζ[φ]] is then shown to obey the same transport equation, using only the flow equation (5.6) that defines χ_ζ. With the same initial condition, uniqueness of the flow—proved order by order in ħ because each order reduces to a linear initial value problem of the form (5.19)—forces equality. This is a method-of-characteristics proof rather than a circular reduction. The velocity field Ψ_ζ in (5.9) is self-referential in that it is an expectation value evaluated with the same Γ_ζ, but that self-referentiality is precisely what makes (5.10) a closed functional flow equation; it does not presuppose the conclusion (1.5). The one-loop example provides an explicit consistency check, and Section VII proves amplitude independence from (5.10) alone, independently of (1.5). The only genuine gap is non-perturbative global existence and uniqueness of the nonlinear IVPs, which the paper explicitly concedes in Section IX ('There is some danger in assuming the correspondence holds non-perturbatively'). That is a well-posedness limitation, not circularity. Self-citations such as [9] and [18] appear in applications and discussion and are not load-bearing for the proof of the main identity.

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

No free parameters are fitted to data; the inessential coupling ζ is a bookkeeping device, not a fitted constant. The axioms are standard QFT setup plus two load-bearing assumptions: unique solvability of the flows and the locality condition for the equivalence theorem. No new physical entities are introduced.

assumptions (5)
  • domain assumption Path integral definitions of generating functionals (2.1), (2.2) with a UV cutoff regularized kinetic term (2.12)-(2.14) are valid.
    The whole framework of effective actions and Legendre transforms is assumed, with a regulator to make the integrals finite.
  • domain assumption The Hessian of the effective action is invertible (existence of a propagator), as assumed after Eq. (2.8).
    Invertibility is needed to derive (2.9) and to define the operator in (5.13).
  • domain assumption Unique solutions to the non-linear initial value problems (5.4) and (6.16) exist on the required interval of the inessential coupling ζ.
    The correspondence (1.5) is proven only up to this assumption; the paper proves uniqueness at each order in perturbation theory but not non-perturbatively, a point conceded in Section IX.
  • domain assumption The pole-free locality condition (7.3) on Ψ_ζ holds for the field transformations considered.
    This condition is necessary for the proof of amplitude independence in Section VII and fails for non-local transformations such as (7.4).
  • standard math The one-loop functional trace and log computations, e.g., (3.11) and (3.25), follow the standard regularization prescription.
    The manipulations use standard functional differentiation and the regulator c_Λ.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Equivalence of effective actions." pith.science (2026). https://pith.science/paper/MJPKJKYF

@misc{pith2026250417851,
  author       = {Pith},
  title        = {Pith review of: Equivalence of effective actions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MJPKJKYF}},
  note         = {Machine review of arXiv:2504.17851}
}
read the original abstract

For the same quantum field theory distinct effective actions can be obtained by coupling sources to different choices of field variables. This is the same as considering effective actions for theories related by a change of variables and thus differ only by the values of so called inessential couplings. The effective actions will appear quite different since they generate correlation functions of different operators. Here we show that the effective actions are related by an implicit change of variables of the mean field, i.e. the argument of the effective action. Conversely, one can go the other way: by making a change of variables of the mean variable we obtain a new effective action which generates correlation functions of an implicitly defined composite field. The existence of the implicit transformations in both cases rests on the existence of solutions to initial value problems where the ``time'' parameter is an inessential coupling. Non-perturbatively the solutions may only exist for some non-zero amount of this time. However, at each order in perturbation theory one obtains linear equations which implies that unique solutions exist. We then show that scattering amplitudes are independent of inessential couplings without use of perturbation theory. For gauge theories we expect our correspondence to extend to effective actions which differ by a choice of gauge.

Figures

Figures reproduced from arXiv: 2504.17851 by the authors.

Figure 1
Figure 1. FIG. 1: The momentum space diagrammatic representation of each contribution to the lhs of (7.23), which [PITH_FULL_IMAGE:figures/full_fig_p022_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2: The non-zero contributions to the lhs of (7.23) is expressed diagrammatically and sum to give [PITH_FULL_IMAGE:figures/full_fig_p022_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Relational path integral, effective actions and quantum frame covariance in gravity

    hep-th 2026-07 conditional novelty 7.0 of 10

    The gravitational path integral is reformulated with dynamical reference frames, producing gauge-invariant correlators, frame-dependent vacua, and effective actions, with sharpness of events becoming frame-relative.

  2. Scaling solutions for gauge invariant flow equations in dilaton quantum gravity

    hep-th 2025-12 conditional novelty 6.0 of 10

    Scaling solutions of a gauge-invariant functional flow equation support the dilaton quantum gravity fixed point, with Planck mass ~ φ² at large field and a stable negative kinetial in the infrared.

Reference graph

Works this paper leans on

29 extracted references · 11 canonical work pages · cited by 2 Pith papers

  1. [1]

    On-Shell Covariance of Quantum Field Theory Am- plitudes,

    T. Cohen, N. Craig, X. Lu and D. Sutherland, “On-Shell Covariance of Quantum Field Theory Am- plitudes,” Phys. Rev. Lett. 130 (2023) no.4, 041603 [arXiv:2202.06965 [hep-th]]

    arXiv 2023

  2. [2]

    On amplitudes and field redefinitions,

    T. Cohen, X. Lu and D. Sutherland, “On amplitudes and field redefinitions,” JHEP 06 (2024), 149 [arXiv:2312.06748 [hep-th]]

    arXiv 2024

  3. [3]

    Change of variables in quantum field theories,

    J. S. R. Chisholm, “Change of variables in quantum field theories,” Nucl. Phys. 26 (1961) no.3, 469-479 doi:10.1016/0029-5582(61)90106-7 27

    doi:10.1016/0029-5582(61)90106-7 1961

  4. [4]

    Kamefuchi, L

    S. Kamefuchi, L. O’Raifeartaigh and A. Salam, Nucl. Phys. 28 (1961), 529-549 doi:10.1016/0029- 5582(61)90056-6

    doi:10.1016/0029- 1961

  5. [5]

    On the equivalence theorem in quantum field theory,

    G. V. Efimov and M. L. Rutenberg, “On the equivalence theorem in quantum field theory,” Theor. Math. Phys. 16 (1973) no.2, 763-770 doi:10.1007/BF01037128

    work page doi:10.1007/bf01037128 1973

  6. [6]

    The Equivalence theorem and gauge invariance in renormalizable theories,

    R. E. Kallosh and I. V. Tyutin, “The Equivalence theorem and gauge invariance in renormalizable theories,” Yad. Fiz. 17 (1973), 190-209

    work page 1973

  7. [7]

    Reduced effective Lagrangians,

    C. Arzt, “Reduced effective Lagrangians,” Phys. Lett. B 342 (1995), 189-195 doi:10.1016/0370- 2693(94)01419-D [arXiv:hep-ph/9304230 [hep-ph]]

    arXiv 1995

  8. [8]

    Once again on the equivalence theorem

    I. V. Tyutin, “Once again on the equivalence theorem,” Phys. Atom. Nucl. 65 (2002), 194-202 [arXiv:hep-th/0001050 [hep-th]]

    work page Pith review arXiv 2002

Show all 29 references
  1. [9]

    Frame (In)equivalence in Quantum Field Theory and Cosmology,

    K. Falls and M. Herrero-Valea, “Frame (In)equivalence in Quantum Field Theory and Cosmology,” Eur. Phys. J. C 79 (2019) no.7, 595 [arXiv:1812.08187 [hep-th]]

    2019 arXiv

  2. [10]

    Gauge invariant effective actions for dressed fields,

    K. Falls, “Gauge invariant effective actions for dressed fields,” [arXiv:2503.05869 [hep-th]]

    arXiv

  3. [11]

    Field transformations in functional integral, effective action and functional flow equa- tions,

    C. Wetterich, “Field transformations in functional integral, effective action and functional flow equa- tions,” Nucl. Phys. B 1008 (2024), 116707 [arXiv:2402.04679 [hep-th]]

    2024 arXiv

  4. [12]

    Field redefinitions and infinite field anomalous dimensions,

    A. V. Manohar, J. Pag` es and J. Roosmale Nepveu, “Field redefinitions and infinite field anomalous dimensions,” JHEP 05 (2024), 018 [arXiv:2402.08715 [hep-ph]]

    2024 arXiv

  5. [13]

    Renormalization and Effective Lagrangians,

    J. Polchinski, “Renormalization and Effective Lagrangians,” Nucl. Phys. B 231 (1984), 269-295

    1984

  6. [14]

    Some invariance properties of the renormalization group,

    F. J. Wegner, “Some invariance properties of the renormalization group,” J. Phys. C 7 (1974) no.12, 2098

    1974

  7. [15]

    Ultraviolet divergences in quantum theories of gravitation,

    S. Weinberg, “Ultraviolet divergences in quantum theories of gravitation,” in General Relativity: An Einstein Centenary Survey, 1980

    1980

  8. [16]

    Aspects of the functional renormalisation group,

    J. M. Pawlowski, “Aspects of the functional renormalisation group,” Annals Phys. 322 (2007), 2831- 2915 [arXiv:hep-th/0512261 [hep-th]]

    2007 arXiv

  9. [17]

    Field Redefinitions Can Be Nonlocal,

    T. Cohen, M. Forslund and A. Helset, “Field Redefinitions Can Be Nonlocal,” [arXiv:2412.12247 [hep- th]]

  10. [18]

    Essential renormalisation group,

    A. Baldazzi, R. B. A. Zinati and K. Falls, “Essential renormalisation group,” SciPost Phys. 13 (2022) no.4, 085 [arXiv:2105.11482 [hep-th]]

    2022 arXiv

  11. [19]

    Physics-informed renormalisation group flows,

    F. Ihssen and J. M. Pawlowski, “Physics-informed renormalisation group flows,” [arXiv:2409.13679 [hep-th]]

    arXiv

  12. [20]

    Physics-informed gauge theories,

    F. Ihssen and J. M. Pawlowski, “Physics-informed gauge theories,” [arXiv:2503.22638 [hep-th]]

    arXiv

  13. [21]

    Tunneling with physics-informed RG flows in the anhar- monic oscillator,

    A. Bonanno, F. Ihssen and J. M. Pawlowski, “Tunneling with physics-informed RG flows in the anhar- monic oscillator,” [arXiv:2504.03437 [hep-th]]

  14. [22]

    Scaling laws for Ising models near T(c),

    L. P. Kadanoff, “Scaling laws for Ising models near T(c),” Physics Physique Fizika 2 (1966), 263-272

    1966

  15. [23]

    The Renormalization group and the epsilon expansion,

    K. G. Wilson and J. B. Kogut, “The Renormalization group and the epsilon expansion,” Phys. Rept. 12 (1974), 75-199

    1974

  16. [24]

    Generalized Renormalization Transformations,

    G. Jona-Lasinio “Generalized Renormalization Transformations,” in Proc. Nobel Symp. 24: Collective Properties of Physical Systems, Stockholm, Nobel Foundation; New York, Academic Press, Edited by Svartholm, Nils, ISBN: 0-12-460350-5

  17. [25]

    Invariance of critical exponents for renormalization groups generated by a flow vector

    M. S. Green “Invariance of critical exponents for renormalization groups generated by a flow vector”, Physical Review B, 1977, 15

    1977

  18. [26]

    Renormalization flow of bound states,

    H. Gies and C. Wetterich, “Renormalization flow of bound states,” Phys. Rev. D 65 (2002), 065001 [arXiv:hep-th/0107221 [hep-th]]

    2002 arXiv

  19. [27]

    Exact flow equation for composite operators,

    S. Floerchinger and C. Wetterich, “Exact flow equation for composite operators,” Phys. Lett. B 680 (2009), 371-376 [arXiv:0905.0915 [hep-th]]

    2009 arXiv

  20. [28]

    Functional flows for complex effective actions,

    F. Ihssen and J. M. Pawlowski, “Functional flows for complex effective actions,” SciPost Phys. 15 (2023) no.2, 074 [arXiv:2207.10057 [hep-th]]

    2023 arXiv

  21. [29]

    Flowing fields and optimal RG-flows,

    F. Ihssen and J. M. Pawlowski, “Flowing fields and optimal RG-flows,” [arXiv:2305.00816 [hep-th]]

    arXiv

Pith tools

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