{"id":"3bc728de-44d8-435b-b685-1d47517de118","arxiv_id":"2501.00077","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"The paper corrects its earlier Landau-gauge result: quenched QED with the modified Gauge Technique vertex allows on-shell renormalization only in the Yennie gauge (ξ=3), where consistent spectral-function solutions exist.","lead":"This erratum corrects a published paper on the fermion propagator's Schwinger-Dyson equation in Minkowski space, showing that on-shell renormalization is only consistent in the Yennie gauge, not the Landau gauge as previously claimed. It provides corrected numerical solutions for the spectral functions and uses the Landau-Khalatnikov-Fradkin transform to obtain the Euclidean Landau-gauge propagator from the Yennie-gauge solution.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Yennie-only conclusion rests on Eq. (6), but the derivation from Eq. (4) is not shown: an unhandled (λ2−λ1) pole term would produce a δ(s−m²) source, and the no-go proof assumes finite f_j(1) without justification.","rationale":"The reader correctly notes that the Gauge Technique vertex ansatz is not gauge covariant, but the paper explicitly restricts its claim to that truncation, so model-dependence alone is not an internal inconsistency. The more pressing issue is that the decisive algebraic step — the derivation of Eq. (6) from Eq. (4) — is asserted rather than shown. The presence of the (λ2−λ1) pole term in Eq. (4a) is concrete: if λ1=λ2 is not proven, a delta-function contribution is missing from Eq. (6), and the simple threshold balance in Eq. (10) is incomplete. The finite-threshold assumption is also load-bearing, since the authors themselves only say r_j are 'expected to be regular,' and the on-shell condition is weaker than regularity. These gaps do not prove the conclusion false; they mean the central claim is not yet independently verifiable from the text. The numerical checks in Figs. 1, 3, and 4 support the consistency of the Yennie-gauge solution actually constructed, but they do not test the exclusion of other gauges. The reader's CONDITIONAL verdict is therefore appropriate, and the specific derivation gap identified here strengthens the need for the requested independent derivation.","tokens_in":11031,"tokens_out":15225,"duration_ms":159516,"concrete_test":"Independently re-derive Eq. (6) from Eq. (4): substitute the spectral representations of Eqs. (2) and (5), take the imaginary part p²→s+iε, and explicitly track the (λ2−λ1) m²/(p²−m²) pole together with the μ²→m² limit. If a δ(s−m²) term survives unless λ1=λ2, verify whether λ1=λ2 is actually enforced by the on-shell conditions; if not, Eq. (10) must be re-evaluated. Additionally, insert the threshold ansatz f_j(y)=A_j(y−1)^{−β} with 0<β<1 into Eq. (9) at ξ=0 and solve the leading-order balance in ε=y−1; a finite solution for (A_1,A_2,β) would refute the Landau-gauge no-go statement for singular spectral functions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that on-shell renormalization is possible only for ξ=3 is derived entirely from Eq. (6), via the threshold consistency conditions Eq. (10). But the paper does not display the passage from Eq. (4) to Eq. (6), and that step is not innocuous. Eq. (4a) contains the term (λ2−λ1)(α/4π) m²/(p²−m²) together with a divergent μ²→m² limit carrying the same coefficient. Taking the imaginary part in p²=s would produce a δ(s−m²) contribution on the right-hand side unless λ1=λ2 is imposed; the paper neither states nor proves λ1=λ2, and Eq. (6) contains no such delta term. If λ2−λ1 is not forced to vanish (or is fixed in a gauge-dependent way), the equations for r_j(s) acquire an extra threshold source, changing Eq. (10) and potentially permitting gauges other than Yennie. Separately, the argument that a≠b has no solution assumes f1(1) and f2(1) are finite. The on-shell renormalization condition only requires P_j(p²) to be less singular than the free pole, which still allows integrable threshold singularities r_j(s)∼(s−m²)^{−β} with 0<β<1; for such solutions f1(1) and f2(1) diverge and Eq. (10) need not hold. Thus, as written, the text establishes the Yennie-only conclusion only within an unproven class of regular, λ-balanced solutions.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This erratum revises the authors' earlier paper, Phys. Rev. D 96, 036021 (2017), on exact solutions to the fermion propagator Schwinger-Dyson equation in Minkowski space within quenched QED. Using a spectral representation and a modified Gauge Technique vertex Ansatz, the authors now claim that on-shell renormalization of the fermion propagator is consistent only in the Yennie gauge, ξ = 3, and that the earlier Landau-gauge result was wrong. They derive updated integral equations for the spectral functions, give a no-go argument for all other gauges, construct an explicit series solution in the Yennie gauge, and numerically solve the equations for α = 1 and r0 = 1. They also use the Landau-Khalatnikov-Fradkin transformation to obtain the Euclidean-space Landau-gauge propagator from the Yennie-gauge spectral functions. The numerical solution is checked against the original SDEs in Euclidean space and against a subtraction condition.","tokens_in":11395,"tokens_out":15455,"duration_ms":149080,"significance":"If the proof gaps identified below are repaired, the paper would provide a useful controlled example of a Minkowski-space fermion propagator with the correct analytic structure in a specific QED truncation, and it would correct a published error. The authors are candid that the vertex Ansatz violates gauge covariance, so the result is a property of the truncation rather than a statement about full QED, and they do not overclaim otherwise. The manuscript has concrete strengths: the spectral integral equations and series solutions are explicit, the numerical solution is checked in Fig. 3 against the Euclidean-space SDEs and in Fig. 4 against the subtraction condition, and the mapping to the Landau gauge uses the exact LKFT relation. These checks make the final result plausible, but the central derivation and the no-go argument contain gaps that must be addressed before the Yennie-only claim is fully established.","major_comments":[{"comment":"The transition from Eq. (4) to Eq. (6) is asserted by the sentence \"both methods lead to the following integral equations\" but is not actually derived. This is load-bearing because Eq. (4a) contains the term (λ2−λ1)(α/4π) m²/(p²−m²) on the left and the same coefficient multiplying the divergent constant lim_{μ²→m²} m²/(μ²−m²) on the right. Taking the imaginary part in p²=s therefore produces a δ(s−m²) source unless λ1=λ2 is established. The manuscript neither states λ1=λ2 nor proves it from the on-shell renormalization conditions. If λ1≠λ2 is possible, Eq. (6) is missing a threshold source and Eq. (10) changes, so the Yennie-only conclusion is founded on an unproven cancellation. The authors should either show that the renormalization conditions force λ1=λ2, or include the corresponding δ term in the spectral equations and redo the analysis.","section":"§I, Eqs. (4)-(6)"},{"comment":"The no-go argument for ξ ≠ 3 evaluates Eq. (9) at y = 1 and therefore assumes that f1(1) and f2(1) are finite. But the on-shell condition used in Eq. (1) only requires Pj(p²) to be less singular than the free-particle pole, which permits spectral functions rj(s) ∼ (s−m²)^{−β} with 0 < β < 1. For such solutions, f1(y) and f2(y) diverge as y → 1, and Eq. (10) is not the correct limiting statement. A more careful asymptotic analysis might still force a = b after cancellation of the leading singular terms, but the manuscript does not supply that analysis. As written, the exclusion of all non-Yennie gauges is established only for solutions with regular threshold behavior, an assumption that is neither stated nor justified.","section":"§II.A, Eq. (10)"}],"minor_comments":[{"comment":"The initial conditions in Eq. (34) are written at y = 0, but in Eq. (8) the variable is y = s/m² and the boundary conditions in Eq. (17) are at y = 1. If y has been silently shifted to s/m² − 1, then Eq. (33) should contain y(y+1) rather than (y−1)y. Please clarify the variable convention and correct the initial point.","section":"§II.C, Eq. (34)"},{"comment":"Equation (24) ends with the term (4−a²)g2, while Eq. (26) contains the constant 4−2a²; these are inconsistent unless a = 0. The roots in Eq. (27) correspond to the version with 4−a², which is also consistent with the numerical fit γ1 ≈ 0.7253 for α = 1. Additionally, Eq. (28) uses b² in the recurrence denominator, but the fourth-order ODE from which it is derived contains only a; since b = a in the Yennie gauge, the recurrence should be written consistently with the ODE.","section":"§II.B.2, Eqs. (24), (26), (28)"},{"comment":"The sentence \"both methods lead to the following integral equations\" is too compressed for an erratum that is correcting the central equations of a published paper. A derivation, or at least a clear statement of which spectral integrals and which parts of q1 and q2 are used in each of the two methods, would allow a reader to verify the claimed correction.","section":"§I, paragraph after Eq. (5)"},{"comment":"The statement \"We should have known from Ref. [11] that only in the Yennie gauge was on-shell renormalization consistent\" is not self-contained; the reader is not told how the Eides-Shelyuto one-loop vertex calculation implies this for the present Gauge Technique truncation. A brief explanation of the connection would be helpful.","section":"§I, paragraph on Ref. [11]"},{"comment":"There are small typesetting errors: \"scaler\" should be \"scalar\" in the Fig. 2 caption, and the text of §III contains the duplicated phrase \"using the the numerical spectral functions\".","section":"Fig. 2 caption and §III"}],"recommendation":"major_revision","confidential_remarks":"The two main gaps are fixable: derive Eq. (6) with an explicit treatment of the λ1−λ2 pole/δ cancellation, and extend the no-go argument to integrably singular threshold behavior or justify why such behavior is excluded. The numerical checks in Figs. 3 and 4 suggest the final answer may well be correct, so I would not reject the erratum on the present evidence; however, the proof as written does not yet rigorously support the central claim. The notation inconsistencies in Eqs. (26), (28), and (34) should also be cleaned up before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this erratum fixes a genuine mistake in the 2017 paper and gives a usable Yennie-gauge solution that is checked against the original equations. The Yennie-only claim is probably right, but the paper's own derivation doesn't completely prove it.\n\nThe new content is real: corrected equations (6), the series solution in the Yennie gauge with the power-law exponent γ1, the demonstration that the Landau gauge has no finite-initial-condition solution in this ansatz, and the LKFT conversion to the Landau gauge. The numerical solution at α=1 is tested against the Euclidean-space SDEs (Fig. 3) and the subtraction condition (Fig. 4); those checks look genuine. The paper is also honest about the model's limitations—the vertex ansatz is known to violate gauge covariance—and it credits Ref. [11] for already suggesting that only the Yennie gauge admits on-shell renormalization. As an erratum, this is a responsible correction.\n\nSoft spots. The transition from Eq. (4) to Eq. (6) is asserted, not shown. Eq. (4a) carries a (λ2−λ1) pole term alongside a divergent μ²→m² limit with the same coefficient. Taking the imaginary part would produce a δ(s−m²) source in the equations for r_j unless λ1=λ2, and the paper never states or proves λ1=λ2. If that cancellation is not forced, Eq. (10) changes and other gauges might survive. Also, the no-go argument assumes f1(1) and f2(1) are finite. The on-shell condition only requires P_j to be less singular than the free pole, which allows integrable threshold singularities r_j(s)∼(s−m²)^{−β} with 0<β<1; for those, f_j(1) diverge and Eq. (10) need not hold. Within the class of regular solutions the argument holds, but the text says 'there is no consistent solution' more broadly than it has proven. Both issues are fixable with a few clarifying paragraphs.\n\nMinor: no code or data are released, only a Padé fit, and the numerical errors are shown without quantified uncertainties. That is understandable for an erratum but limits independent verification.\n\nThe paper is for DSE/Minkowski-space people and for anyone who cited the 2017 result. It deserves a serious referee; the gaps I named are real but not fatal. I'd send it to review with a request to fill them.","headline":"Corrects a real error and provides a checked Yennie-gauge solution, but the proof that only Yennie works has a gap at the threshold.","tokens_in":11941,"tokens_out":4423,"would_cite":true,"duration_ms":38444,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81V10","81T15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Within the modified Gauge Technique vertex for quenched QED, the fermion propagator Schwinger-Dyson equation can be renormalized on-shell only in the Yennie gauge, and the corrected spectral solution fixes an earlier Landau-gauge error.","keywords":["Schwinger-Dyson equation","fermion propagator","spectral representation","Yennie gauge","Landau-Khalatnikov-Fradkin transformation","quenched QED","Gauge Technique","on-shell renormalization"],"falsifier":"Repeat the same on-shell renormalized calculation with a fermion-photon vertex that respects gauge covariance, for example one satisfying the Ward identity together with the Landau-Khalatnikov-Fradkin constraint, in the Landau gauge; if finite spectral solutions emerge at nonzero coupling, the Yennie-gauge uniqueness is an artifact of the simplified vertex.","tokens_in":10811,"feed_emoji":"⚛️","tokens_out":9539,"duration_ms":83936,"temperature":0.7,"pith_summary":"This erratum corrects a prior claim by showing that in quenched QED, when the fermion-photon vertex is modeled with a loop-renormalizable version of the Gauge Technique, on-shell renormalization of the fermion propagator succeeds only in the Yennie gauge, where the gauge parameter is $\\xi = 3$. The corrected analysis replaces the earlier Landau-gauge solution with unique spectral functions whose asymptotic falloff is a power law with an exponent set by the coupling. Working in Minkowski space and then converting to Euclidean space with the Landau-Khalatnikov-Fradkin transformation, the authors obtain a fermion propagator with the correct analytic structure and a full numerical solution. The result matters because it provides a concrete reference example of what a consistent fermion propagator looks like in this truncation.","feed_headline":"Gauge Technique QED: only Yennie gauge allows on-shell renormalization","feed_subtitle":"Corrected fermion spectral solutions show only Yennie gauge works; LKFT recovers the Landau-gauge propagator.","key_machinery":"The central machinery is the modified Gauge Technique vertex ansatz for the fermion-photon interaction, a purely longitudinal vertex model made loop-renormalizable in four dimensions, which turns the Schwinger-Dyson equation into separable integral equations for the spectral functions $r_1(s)$ and $r_2(s)$. The on-shell renormalization conditions, including the adjustable residue $r_0$ of the free-particle pole, convert these integral equations into differential equations whose consistency at $s \\to m^2$ demands $a = b$, fixing the Yennie gauge. The solution is built from a Taylor series near threshold and an asymptotic series in $z = m^2/s$, with the asymptotic exponent fixed by an indicial equation at the singular point $z=0$; numerically, the equations are integrated in a transformed variable and parameterized by Pad\\'e approximants.","core_discovery":"The paper establishes that on-shell renormalization of the fermion propagator is consistent with the Schwinger-Dyson equation, under the modified Gauge Technique vertex in quenched QED, only for $\\xi = 3$. This follows from the spectral-function equations (6): taking the limit $s \\to m^2$ requires the two constants $a$ and $b$ to be equal, and since $a \\propto \\alpha$ while $b \\propto \\alpha\\xi$, equality forces the Yennie gauge. In the Landau gauge, $\\xi = 0$, no finite initial conditions for the spectral functions exist for nonvanishing coupling, correcting the earlier Landau-gauge result. The corrected solution is unique, with spectral functions $r_1(s)$ and $r_2(s)$ whose large-$s$ behavior is $s^{-\\gamma_1}$, where $\\gamma_1 = (3 - \\sqrt{1+4a})/2$ and $a = 3\\alpha/(4\\pi(1-\\alpha/\\pi))$. The Landau-gauge Euclidean propagator is then obtained by applying the Landau-Khalatnikov-Fradkin transformation to the Yennie-gauge spectral functions rather than by direct solution in the Landau gauge.","pith_inferences":["The same $a = b$ consistency argument suggests that any purely longitudinal vertex model will single out one gauge parameter for on-shell renormalization; whether that gauge remains the Yennie gauge depends on the loop correction in the vertex modification.","A testable extension is to run the same on-shell spectral equations with a vertex ansatz that respects gauge covariance; if finite Landau-gauge solutions reappear, the Yennie-gauge uniqueness is a truncation artifact rather than a property of full QED.","The fitted asymptotic exponent $\\gamma_1$ could be compared with independent estimates of the fermion anomalous dimension in quenched QED, giving a quantitative check of whether the modified Gauge Technique preserves the correct short-distance behavior.","The subtraction at $p^2 = 0$ used for the Dirac scalar component is a transferable recipe for other Schwinger-Dyson truncations where spectral integrals fail to converge."],"forward_implications":["The earlier Landau-gauge on-shell renormalization result is incorrect and is superseded by the Yennie-gauge solution.","Within this vertex truncation, no other covariant gauge admits finite spectral functions satisfying the on-shell conditions when $\\alpha \\neq 0$, because the consistency condition $a = b$ singles out $\\xi = 3$.","The Yennie-gauge spectral functions give a full Minkowski-space fermion propagator, and applying the Landau-Khalatnikov-Fradkin transformation yields the Euclidean Landau-gauge propagator.","The series solution near threshold plus the asymptotic series in $z = m^2/s$ covers the whole complex momentum plane and supplies a parameterized Pad\\'e form accurate to a few percent at $\\alpha = 1$."],"supporting_citations":[{"why":"Introduces the Gauge Technique vertex approximation that this paper modifies for loop renormalizability.","marker":"[1]"},{"why":"One of the original Gauge Technique constructions whose loop-renormalizable modification is used in the truncation.","marker":"[4]"},{"why":"Documents the known violation of gauge covariance that the paper invokes to explain why only one gauge can work.","marker":"[5]"},{"why":"Supplies the gauge-covariance constraints and background for the fermion Schwinger-Dyson equation in QED.","marker":"[7]"},{"why":"Gives the Landau-Khalatnikov-Fradkin spectral representation, Eq. (61), used to map Yennie-gauge spectral functions to the Landau-gauge Euclidean propagator.","marker":"[9]"},{"why":"The earlier paper whose Landau-gauge on-shell result is corrected and superseded.","marker":"[10]"},{"why":"Prior hint from one-loop Yennie-gauge vertex studies that only Yennie gauge is consistent, cited as the clue the authors should have followed.","marker":"[11]"},{"why":"Supplies the integral representation (15.3.1) used to regularize singularities in the Landau-Khalatnikov-Fradkin spectral integrals.","marker":"[12]"}],"fun_headline_variants":["On-shell fermion renormalization forces Yennie gauge in quenched QED","Landau gauge impossible for on-shell SDE; use LKFT from Yennie","Only ξ=3 allows on-shell renormalization in fermion SDE","Corrected: fermion SDE on-shell renormalization only in Yennie gauge","Quenched QED: on-shell renormalization fixes gauge to ξ=3"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The result depends on the particular simplified model of the fermion-photon interaction used to close the Schwinger-Dyson equations; because that model is known to violate gauge covariance, the Yennie-gauge-only conclusion could be an artifact of the model rather than a fact about QED.","fun_headline_variants_meta":{"raw":{"variants":["On-shell fermion renormalization forces Yennie gauge in quenched QED","Landau gauge impossible for on-shell SDE; use LKFT from Yennie","Only ξ=3 allows on-shell renormalization in fermion SDE","Corrected: fermion SDE on-shell renormalization only in Yennie gauge","Quenched QED: on-shell renormalization fixes gauge to ξ=3"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000385,"raw_usage":{"total_tokens":2034,"prompt_tokens":943,"completion_tokens":1091,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":559,"completion_tokens_details":{"reasoning_tokens":981}},"tokens_in":559,"tokens_out":1091,"duration_ms":9599,"temperature":1.0,"reasoning_tokens":981,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T23:10:39.919908+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Repeat the same on-shell renormalized calculation with a fermion-photon vertex that respects gauge covariance, for example one satisfying the Ward identity together with the Landau-Khalatnikov-Fradkin constraint, in the Landau gauge; if finite spectral solutions emerge at nonzero coupling, the Yennie-gauge uniqueness is an artifact of the simplified vertex.","supporting_citations":[{"cited_title":"(15) with initial conditions Eq","cited_arxiv_id":null,"evidence_quote":"Introduces the Gauge Technique vertex approximation that this paper modifies for loop renormalizability."},{"cited_title":"Salam, Renormalizable Electrodynamics of Vector Mesons, Phys","cited_arxiv_id":null,"evidence_quote":"One of the original Gauge Technique constructions whose loop-renormalizable modification is used in the truncation."},{"cited_title":"Salam and R","cited_arxiv_id":null,"evidence_quote":"Documents the known violation of gauge covariance that the paper invokes to explain why only one gauge can work."},{"cited_title":"Delbourgo, B","cited_arxiv_id":null,"evidence_quote":"Supplies the gauge-covariance constraints and background for the fermion Schwinger-Dyson equation in QED."},{"cited_title":"Gauge covariance of the fermion Schwinger-Dyson equation in QED","cited_arxiv_id":"1610.06001","evidence_quote":"Gives the Landau-Khalatnikov-Fradkin spectral representation, Eq. (61), used to map Yennie-gauge spectral functions to the Landau-gauge Euclidean propagator."},{"cited_title":"How gauge covariance of the fermion and boson propagators in QED constrain the effective fermion-boson vertex","cited_arxiv_id":"1610.10049","evidence_quote":"The earlier paper whose Landau-gauge on-shell result is corrected and superseded."},{"cited_title":"Exact Solutions to the Fermion Propagator Schwinger-Dyson Equation in Minkowski space with on-shell Renormalization for Quenched QED","cited_arxiv_id":"1705.04523","evidence_quote":"Supplies the integral representation (15.3.1) used to regularize singularities in the Landau-Khalatnikov-Fradkin spectral integrals."}],"review_version":1}