{"id":"dfe66217-89c3-4ded-9631-e08b4f228fc1","arxiv_id":"2504.17851","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Genuine field redefinitions and effective (mean field) redefinitions of a quantum field theory generate the same family of effective actions, related by implicit changes of variables that exist to all orders in perturbation theory.","lead":"This paper shows that effective actions built from different field variables in the same quantum field theory are related by changing the argument of the effective action, and conversely. The result lets theorists compare or transform effective actions without knowing the explicit quantum field redefinition.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Non-perturbative identity (1.5) rests on unproven global existence of the characteristic flows (5.4)/(6.16); Section IX concedes this, so the correspondence is only established perturbatively.","rationale":"The reader's weakest_assumption identifies the same load-bearing gap: the non-perturbative existence and uniqueness of the initial value problems. This is the only place where the central claim (1.5) goes beyond a formal perturbative identity, and the paper itself flags the danger in Section IX. The proposed zero-dimensional test is a concrete, exactly solvable check of whether the characteristic flow (5.4) can develop a shock or loss of invertibility, which is the precise mechanism that would invalidate (1.5) non-perturbatively. Section VII's amplitude-independence result is independent of this gap because it follows from the exact flow (5.10) alone, so the conditional verdict is not weakened further by this concern. No verdict change is needed.","tokens_in":20036,"tokens_out":15996,"duration_ms":155181,"concrete_test":"Take the zero-dimensional (single-variable) integral Z(J)=∫dχ exp(−S(χ)+Jχ) with S = m^2/2 χ^2 + λ/4 χ^4, and a one-parameter family of genuine transformations \\hat{φ}_ζ(χ) = χ + ζ χ^2 for ζ ∈ [0,1]. Compute the exact effective actions Γ(χ) and Γ_ζ(φ) by Legendre transformation, and compute the exact Ψ_ζ(φ) from (5.15). Solve the IVP (5.4) exactly or numerically for φ_ζ(χ) with initial condition φ_0(χ)=χ, and check whether a unique solution exists on the full interval [0,1], whether the map φ_ζ remains invertible, and whether Γ_ζ(φ)=Γ(χ_ζ(φ)) holds for all ζ. Repeat for large λ (strong coupling) and for non-monotone transformations. If the flow breaks down or the map ceases to be invertible before ζ=1, (1.5) fails non-perturbatively; if it holds, the simplest non-trivial setting supports the correspondence.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central identity (1.5) is claimed to hold non-perturbatively provided unique solutions to the initial value problems exist (Section V). The relevant flows are (5.4) with Ψ defined in (5.9) and expressed via Γ_ζ in (5.15), and (6.16) for S_ζ. Unique solvability is proven only after expanding in ℏ, where each order reduces to a linear IVP (5.19). Non-perturbatively, (5.10) is a nonlinear functional differential equation for Γ_ζ; the argument that Γ_ζ from (5.3) equals Γ[χ_ζ[φ]] invokes uniqueness of its solution. The characteristic flow (5.4) can in principle develop a shock at finite ζ, making φ_ζ[χ] non-invertible or singular, after which the inverse χ_ζ[φ] in (5.6) ceases to be single-valued and (1.5) breaks down. Section IX explicitly concedes: 'There is some danger in assuming the correspondence holds non-perturbatively.' No global existence condition (e.g., a Lipschitz or boundedness condition on Ψ or its functional derivative) is established. Section VII's amplitude-independence theorem is not affected, since it uses only the exact flow (5.10), but it does not substantiate (1.5) itself. Hence the central equivalence is currently only a perturbative statement.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":20328,"tokens_out":7466,"duration_ms":69228,"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":[{"comment":"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.","section":"V, IX"},{"comment":"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.","section":"V, Eq. (5.19)"},{"comment":"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.","section":"V, Eqs. (5.4)–(5.11)"}],"minor_comments":[{"comment":"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)'.","section":"I"},{"comment":"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.","section":"V, VI"},{"comment":"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.","section":"V, Eq. (5.13)"},{"comment":"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.","section":"VII, Eqs. (7.24)–(7.25), Figs. 1–2"},{"comment":"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.","section":"V, VII"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is sound in its perturbative content and in the conditional amplitude-independence theorem, but the non-perturbative equivalence is not established beyond a uniqueness assumption. I would ask the editor to require a precise theorem statement with explicit hypotheses, or a clear demotion of the unconditional claims to the perturbative level. The corrupted equations in Section V also need correction."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Kevin's paper does something genuinely useful: it makes the relation between microscopic field redefinitions and macroscopic mean-field redefinitions precise. The genuinely new content is the all-orders construction of the dual transformation as the solution of an initial-value problem, including the converse direction. The one-loop check is explicit and consistent, and the perturbative argument is convincing: at each loop order the flow equation linearizes and unique solvability follows from the linear IVP. The amplitude-independence theorem in Section VII is a nice bonus: it does not need the full correspondence, only the flow equation (5.10), and the pole-free condition (7.3) is stated honestly as a weak-locality assumption.\n\nThe soft spots are real but proportionate. The non-perturbative statement (1.5) rests on unique solvability of nonlinear functional flows, and Section IX concedes exactly that. So the honest summary is: the correspondence is established to all orders in perturbation theory, and it is plausible but not proven beyond that. I do not see this as a fatal flaw—the paper says what it proves and what it assumes—but readers should not cite (1.5) as a theorem non-perturbatively. The amplitude-independence result is safer, because it avoids the inversion step, though it inherits (7.3). Also, the arXiv text has corrupted symbols in a few displayed equations (e.g., around (5.19) and (7.24)); the math is recoverable from context, but it should be fixed before publication.\n\nOn citation pattern: it engages the relevant literature—Cohen-Lu-Sutherland, equivalence theorem classics, essential RG—and the self-citations are to work where the same constructions appear. Nothing circular beyond what the method requires; the flows are engineered so that (1.5) holds by construction, which is a constructive proof, not an independent derivation. That is fine for what the paper claims.\n\nWho benefits: people working on field redefinitions, effective actions in different frames, and the essential renormalisation group. It deserves a serious referee: the perturbative part is solid, the non-perturbative caveat is explicit, and the amplitude-independence proof is worth scrutiny. I would engage with it, but I would not treat the non-perturbative identity as established.\n\nRecommendation: send to peer review; ask the author to clean the corrupted equations and to sharpen the discussion of global existence (even a conjecture with a plausible condition would help).","headline":"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.","tokens_in":20820,"tokens_out":2484,"would_cite":true,"duration_ms":20324,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Every field redefinition has a hidden twin in the effective action.","keywords":["effective action","field redefinitions","inessential couplings","equivalence theorem","composite operators","Legendre transform","initial value problems","scattering amplitudes"],"falsifier":"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.","tokens_in":19833,"feed_emoji":"⚛️","tokens_out":9551,"duration_ms":86272,"temperature":0.7,"pith_summary":"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.","feed_headline":"Every field redefinition has a hidden twin in the effective action","feed_subtitle":"Any change of variables is mirrored by an implicit change of the effective action's argument, and amplitudes agree.","key_machinery":"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.","core_discovery":"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).","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the argument that when (1.5) holds the on-shell amplitudes computed from the two effective actions agree, which motivates the correspondence.","marker":"[1]"},{"why":"Demonstrates the identity at one loop for known field redefinitions and for the reverse direction, the immediate precedent the paper extends to all orders.","marker":"[2]"},{"why":"One of the original equivalence theorem proofs that scattering amplitudes are invariant under field redefinitions, the result Section VII recovers without perturbation theory.","marker":"[3]"},{"why":"The companion classic proof of the equivalence theorem, establishing the all-loop invariance that the differential statement (7.2) generalises.","marker":"[4]"},{"why":"Identifies the infinitesimal identity (2.11) as the mechanism behind the equivalence theorem, used here to derive the flow equation for the effective action.","marker":"[8]"},{"why":"Supplies the cutoff-regulated kinetic term that makes the field transformations and effective actions well defined in the presence of a UV cutoff.","marker":"[13]"},{"why":"Defines inessential couplings as parameters whose variation produces redundant operators, the basis for treating zeta as pure convention.","marker":"[14]"}],"fun_headline_variants":["Effective actions: field redefinitions yield implicit twins","Scattering amplitudes blind to field-redefinition choices","Implicit duals: effective actions under variable changes","Field redefinitions: hidden effective-action twins","Amplitudes immune to inessential coupling choices"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Effective actions: field redefinitions yield implicit twins","Scattering amplitudes blind to field-redefinition choices","Implicit duals: effective actions under variable changes","Field redefinitions: hidden effective-action twins","Amplitudes immune to inessential coupling choices"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00096,"raw_usage":{"total_tokens":4093,"prompt_tokens":950,"completion_tokens":3143,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":566,"completion_tokens_details":{"reasoning_tokens":3070}},"tokens_in":566,"tokens_out":3143,"duration_ms":24403,"temperature":1.0,"reasoning_tokens":3070,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T10:30:16.216356+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Once again on the equivalence theorem","cited_arxiv_id":"hep-th/0001050","evidence_quote":"Identifies the infinitesimal identity (2.11) as the mechanism behind the equivalence theorem, used here to derive the flow equation for the effective action."},{"cited_title":"Renormalization and Effective Lagrangians,","cited_arxiv_id":null,"evidence_quote":"Supplies the cutoff-regulated kinetic term that makes the field transformations and effective actions well defined in the presence of a UV cutoff."},{"cited_title":"Some invariance properties of the renormalization group,","cited_arxiv_id":null,"evidence_quote":"Defines inessential couplings as parameters whose variation produces redundant operators, the basis for treating zeta as pure convention."}],"review_version":1}