{"id":"78c34e40-e44f-478e-bdec-81494d9ce714","arxiv_id":"2412.12261","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"An extended η-regularisation formalism unifies dimensional, denominator, and Schwinger-proper-time regularisation as solutions of gauge consistency conditions, and reproduces the chiral anomaly when implemented with the trace kept inside the integral.","lead":"The paper develops a generalized η regularisation framework that tames divergent loop integrals in quantum field theory while preserving gauge symmetry. It shows that dimensional, denominator, and Schwinger proper time regularisation are all special cases of one unified construction, and it demonstrates the correct implementation on a chiral anomaly.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The consistency conditions (2.6)/(2.11) are proven only as sufficient conditions; their necessity for gauge invariance is assumed, so the H-family may be incomplete and the denominator f-factor claim may overreach.","rationale":"The reader's weakest_assumption correctly identifies the separate Ward identities (3.4) as a load-bearing but heuristic step. My stress-test sharpens this: the decisive question is whether the momentum-routing consistency conditions (2.6)/(2.11) are necessary for gauge invariance, which the paper asserts by combining (3.4) with an appeal to Wu's generalised Ward identities. I do not think the separate Ward identities are as fragile as the reader suggests, because 'any number of fermions' does justify separating the N_f-proportional part, but the equivalence to the ILI conditions is not demonstrated in the text. The denominator-regularisation claim is a direct consequence of this necessity assumption: if (3.11) is necessary, then (3.38) is necessary, so the reader's worry that the argument is only 'sufficient' is really a worry about the underlying necessity step. The proposed QED check would settle this directly. The paper has independent support: the generalised eta framework is explicit, the seed-function construction is a valid sufficiency proof, and the chiral Schwinger anomaly calculation is a concrete implementation. Those are real strengths, but they do not establish that the solved conditions are exactly the gauge-invariance conditions. Therefore the verdict CONDITIONAL remains appropriate; my concern does not move it to a different category.","tokens_in":17184,"tokens_out":19558,"duration_ms":175658,"concrete_test":"Compute the one-loop photon vacuum-polarisation tensor in QED using denominator regularisation with the minimal f-factors of Horowitz (Ref. [17]) for alpha = 0, i.e. f_(2,0) and f_(3,0) chosen only to cancel the UV pole, without imposing the relation (3.38). Then check p_mu Pi_mu nu = 0. If the Ward identity holds, the consistency conditions (2.6)/(2.11) are not necessary for gauge invariance, the H-family is a proper subset of gauge-invariant schemes, and the paper's criticism of minimal f-factors is refuted. If the Ward identity fails, the conditions are necessary in this case and the paper's concern is supported. A complementary run with f-factors satisfying (3.38) should give p_mu Pi_mu nu = 0, confirming the sufficiency direction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The constructive part of the paper is a sufficiency argument: any regulators satisfying (2.6) and (2.11) give momentum-routing-invariant ILIs and, by appeal to Wu's generalised Ward identities, gauge-invariant one-loop amplitudes. The load-bearing step is the converse direction needed for the stronger claims: that (2.6)-(2.11) are necessary for gauge invariance. This necessity rests on two unproven or heuristic inputs: (i) the Ward identities must hold separately for the gauge-field and fermion-loop contributions (Eq. 3.4), justified only by 'this suggests'; and (ii) the momentum-routing conditions of Section 2 are identified with Wu's gauge consistency conditions by citation rather than by derivation in this paper. If these conditions are merely sufficient, then the family (3.52)-(3.54) solves a set of constraints stronger than gauge invariance, may exclude valid gauge-invariant schemes, and the statement that non-minimal f-factors in denominator regularisation are 'necessary' (Section 3.1) is not established. A concrete failure mode would be a regulator that violates (3.11) yet satisfies p_mu Pi_mu nu = 0 in an explicit amplitude because of cancellations between ILIs of different spin. The anomaly calculation and the explicit seed-function constructions are real supporting evidence, but they do not settle the necessity question.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":17472,"tokens_out":21885,"duration_ms":185785,"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":[{"comment":"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.","section":"Section 3, Eqs. (3.11)–(3.14)"},{"comment":"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.","section":"Section 3.1, denominator regularisation, after Eq. (3.38)"},{"comment":"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.","section":"Section 3.1, general regulator, Eqs. (3.49)–(3.54)"}],"minor_comments":[{"comment":"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.","section":"Eq. (2.4)"},{"comment":"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).","section":"Eq. (3.26)"},{"comment":"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.","section":"Notation"},{"comment":"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\".","section":"Introduction and Section 3.1"}],"recommendation":"major_revision","confidential_remarks":"The paper is in scope for JHEP and the constructive part is solid. The main risk is the gap between sufficiency and necessity, especially in the denominator-regularisation \"necessary\" claim; I would like the authors to either prove the converse or reframe the claims. Rejection is not warranted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. The paper does something real: it shows that a broad class of one-loop regulators can be generated from seed functions satisfying simple differential constraints, and that dimensional regularisation, denominator regularisation, and Schwinger proper time all fall out as special cases of one general H-family. The algebra in Section 3 checks out; I traced the key steps and the examples work. The chiral Schwinger model calculation is a nice consistency check, especially the point that you must keep the trace inside the divergent integral and decompose before contracting—that's a practical lesson worth having.\n\nThe soft spots are real but not fatal. The consistency conditions (2.6) and (2.11) are derived from momentum routing, and the paper solves them. That's a sufficiency argument: any regulator satisfying those conditions is gauge-invariant (modulo the separate Ward identity assumption). What is not established is necessity—that every gauge-invariant regulator must satisfy them. The paper leans on Wu's generalised Ward identities by citation, and on the heuristic that Ward identities should hold separately for gauge and fermion loops (Eq. 3.4). That's plausible but not proven. If the conditions are merely sufficient, the H-family is a slice of gauge-invariant regulators, not the whole set, and the claim that non-minimal f-factors in denominator regularisation are necessary (Section 3.1) doesn't follow. The f-factor issue is a side claim, but it's stated too strongly.\n\nI agree with the reader's CONDITIONAL verdict. As a unifying construction, it's solid and useful; as a complete characterisation of gauge-invariant regularisation, it's incomplete. The authors should either prove necessity or soften the language.\n\nWho's it for? People working on regularisation schemes, implicit regularisation, or the chiral anomaly toolkit. It's worth a serious referee—the construction is novel enough and the algebra careful enough—but the referee should push on the necessity question.\n\nMy recommendation: send it to review, with a request that the authors clarify the scope of the claims.","headline":"A useful solution-generating framework for gauge-invariant regulators, with a solid sufficiency core and an unproven necessity claim that should be tempered.","tokens_in":17986,"tokens_out":2235,"would_cite":true,"duration_ms":20841,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["eta regularisation","gauge invariance","one-loop irreducible loop integrals","regularisation schemes","chiral anomaly","dimensional regularisation","denominator regularisation","Schwinger proper time"],"falsifier":"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.","tokens_in":16969,"feed_emoji":"⚛️","tokens_out":10282,"duration_ms":86527,"temperature":0.7,"pith_summary":"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.","feed_headline":"One smooth function generates gauge-invariant regulators","feed_subtitle":"Dimensional, denominator and Schwinger proper time are special cases; the chiral anomaly comes out right without γ5 ambiguity.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Introduces η regularisation and the enhanced-regulator conditions that the present work generalises and recovers as special cases.","marker":"[9]"},{"why":"Supplies the irreducible loop integral formalism and the gauge-consistency conditions from generalised Ward identities that Section 3 solves.","marker":"[11–13]"},{"why":"Establishes the consistency conditions for four-dimensional regularisations and the implicit regularisation view that motivates writing amplitudes in ILI form.","marker":"[14]"},{"why":"Defines dimensional regularisation, which the paper reproduces as a particular solution of its consistency equations.","marker":"[8]"},{"why":"Introduces denominator regularisation and its prefactors, which the paper shows must satisfy the consistency relations (3.38) for gauge invariance.","marker":"[16–19]"},{"why":"Shows that metric contractions cannot be pulled through divergent integrals, the key reason the chiral anomaly calculation keeps contractions inside the integral.","marker":"[33]"},{"why":"Describes the chiral Schwinger model and its one-loop gauge anomaly, the test case used in Section 4.","marker":"[21]"},{"why":"Provides the standard chiral anomaly result against which the η implementation is checked.","marker":"[6, 7]"}],"fun_headline_variants":["One smooth function yields all gauge-invariant regulators","Generalised eta scheme solves gauge consistency conditions","Eta regularisation generalised: covers dimensional and denominator","Chiral anomaly tamed by generalised eta regularisation","Gauge-invariant regulators from a single seed function"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["One smooth function yields all gauge-invariant regulators","Generalised eta scheme solves gauge consistency conditions","Eta regularisation generalised: covers dimensional and denominator","Chiral anomaly tamed by generalised eta regularisation","Gauge-invariant regulators from a single seed function"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000974,"raw_usage":{"total_tokens":4085,"prompt_tokens":837,"completion_tokens":3248,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":453,"completion_tokens_details":{"reasoning_tokens":3173}},"tokens_in":453,"tokens_out":3248,"duration_ms":20111,"temperature":1.0,"reasoning_tokens":3173,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T14:15:02.201790+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the consistency conditions for four-dimensional regularisations and the implicit regularisation view that motivates writing amplitudes in ILI form."},{"cited_title":"Dimensional regularization vs methods in fixed dimension with and without $\\gamma_5$","cited_arxiv_id":"1803.09764","evidence_quote":"Shows that metric contractions cannot be pulled through divergent integrals, the key reason the chiral anomaly calculation keeps contractions inside the integral."},{"cited_title":"Jackiw and R","cited_arxiv_id":null,"evidence_quote":"Describes the chiral Schwinger model and its one-loop gauge anomaly, the test case used in Section 4."}],"review_version":1}