{"id":"6678c979-49ff-4226-bad0-b0d447ef98f0","arxiv_id":"2509.02845","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The velocity-gauge vector potential A_2 = c∫(Phi_c - Phi^(v))dt is shown to satisfy the wave equation by four independent analytic proofs.","lead":"This short physics note defends the authors' earlier formula for the electromagnetic vector potential in an arbitrary gauge against a critique. It gives four separate derivations that all arrive at the same expression, including the critic's own method.","discovery_kind":"replication","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (10)'s time integral is fixed only by the finite-turn-on assumption; the disputed uniformly moving charge has no such t0, so the divergent lower-limit constant is the unresolved gauge term.","rationale":"The reader's weakest_assumption correctly identifies the integration-constant/no-incoming-boundary condition as the fragile point. I agree, and I sharpen it: the specific physical case in dispute—a charge moving uniformly forever—violates the finite-turn-on condition under which the four proofs are constructed, so eq. (10) is not even well-defined as written without a regularization prescription. This is more specific than a generic concern about an additive constant: the integral actually diverges logarithmically at the lower limit in the disputed case. The four methods are internally consistent for sources switched on at t0, and Methods 1, 2, and 4 are mutually supporting, so I would not reject the paper. But the reply overstates closure: it does not show that Onoochin's calculation uses the same t0 regularization, nor does it address the divergent-lower-limit issue in the uniformly moving charge. Thus the reader's CONDITIONAL verdict stands, with the condition being that the regularization/boundary condition for the infinite-motion case must be supplied and matched to Onoochin's computation. I mark agreement as partial because the reader gestured at 'the kind of difference Onoochin might have found' but did not explicitly tie it to the absence of a finite t0 in the disputed case. The proposed concrete test—comparing eq. (25) with an independent transverse-projection calculation in the infinite-motion limit—would settle whether the residual difference is only a gauge artifact or a genuine discrepancy.","tokens_in":5550,"tokens_out":20085,"duration_ms":239083,"concrete_test":"Take the exact uniformly moving point-charge setup of Onoochin. Compute the Coulomb-gauge vector potential independently by the standard transverse projection in Fourier space: Ã_C(k,t) = (4π/c)[δ_ij − k_i k_j/k²] J̃_j(k,t)/(−k²) with retarded time integration, then Fourier-transform back. Compare this to A_C = Ac + c∇∫_{t0}^{t}[Φ_c − Φ^(C)]dτ with t0→−∞, regularizing by a symmetric cutoff Λ and subtracting the r-independent divergent part before taking Λ→∞. If the two expressions differ by a time-independent gradient (or fail to converge to the same function), eq. (25)/(10) does not uniquely resolve Onoochin's numerical discrepancy.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is the unqualified time integral in eq. (10). In the body the authors fix the integration constant by declaring sources \"turned on at t0\", so ∫_{t0}^{t}[Φ_c−Φ^(v)]dτ is well-defined and vanishes before t0. But the disputed example in Onoochin's comment is a point charge moving at constant speed for all time; for such a source there is no finite t0 at which the density is zero. For t→−∞, Φ_c and Φ^(v) both decay as ~1/|t| but with different speed-dependent coefficients, so their difference is ~const/|t| and the integral over all past diverges logarithmically. Eq. (10) is therefore not a well-defined expression in the case that triggered the dispute. The four proofs—especially Method 1's eq. (14), where ∫∂²Φ/∂t² dt is reduced to ∂Φ/∂t with no boundary term, and Method 2's eq. (17), where the retarded solution is selected by a no-incoming condition—all rely on the finite-turn-on regularization. A different regularization (or a different harmonic time-independent gradient carried by the lower limit) changes A2 by a pure gauge term. That is exactly the class of difference Onoochin reported. Footnote [6] restricts eq. (30) to \"exclusively inhomogeneous solutions,\" an implicit admission that the general claim is boundary-condition-dependent; but the reply still concludes the dispute is closed without verifying that Onoochin's infinite-motion calculation uses the same regularization.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This manuscript is a reply to Onoochin's comment, which disputed the Coulomb-gauge vector potential derived by Yang and Nevels. The reply asserts that the velocity-gauge vector-potential component A^(v)_2(r,t) = c∇∫[Φ_c(r,t) − Φ^(v)(r,t)]dt, Eq. (10), is a mathematically correct solution of Eq. (8) for localized charge-current distributions turned on at t0. Four methods are presented: direct substitution into the d'Alembert equation (Method 1), solution via a retarded Green's function (Method 2), a Green's-function composition argument (Method 3), and a gauge transformation from the Lorenz gauge (Method 4). The reply concludes that all well-defined potentials satisfying Eq. (30) are gauge invariant and that the dispute with Onoochin is settled.","tokens_in":5943,"tokens_out":6280,"duration_ms":63516,"significance":"If the finite-turn-on restriction is accepted, Methods 1, 2, and 4 provide a largely self-contained verification of Eq. (10), and the explicit construction of velocity-gauge potentials from the Lorenz gauge via Eq. (27)–(29) is a useful and pedagogically clear result. The manuscript's strength is that the main formula is checked by direct substitution, not merely asserted. However, the paper's broader conclusion—that the specific discrepancy with Onoochin's infinite-motion calculation is resolved—is not established, because Eq. (10) is an indefinite time integral whose value depends on boundary conditions, and the disputed example has no turn-on time. In addition, Method 3 relies on an unpublished preprint for its decisive identity, so the 'four methods' claim is overstated as it stands.","major_comments":[{"comment":"The central formula Eq. (10) is an indefinite time integral, made unambiguous only by the opening assumption that sources are 'turned on at t0'. For the specific case that triggered Onoochin's comment—a point charge moving at constant speed for all time—there is no finite t0 at which the charge density vanishes. As t→−∞, Φ_c(r,t) and Φ^(v)(r,t) both decay as ~1/|t| but with different speed-dependent coefficients, so their difference is ~const/|t| and the integral diverges logarithmically. Eq. (10) is therefore not defined in the disputed case unless a different lower-limit regularization is imposed. Methods 1 and 2 implicitly select the finite-turn-on/no-incoming regularization: Eq. (14) drops the integration constant when replacing ∫∂²Φ/∂t² dt by ∂Φ/∂t, and Eq. (17) selects the retarded solution. A different regularization changes A^(v)_2 by a time-independent gradient, i.e. by a pure g","section":"Eq. (10) and Methods 1–2; final paragraph"},{"comment":"The decisive simplification in Method 3, Eq. (23), is not proved in this manuscript. The text introduces Eqs. (21)–(22) with 'they can be derived', and the step 'Then from eq. (18), we do the following (see Ref. [4])' invokes the authors' own unpublished arXiv preprint for the central identity. The composition of the c-speed and v-speed retarded Green's functions in Eq. (19), and its reduction to the difference G(r,t|c|r',t') − G(r,t|v|r',t'), is nontrivial. Since the paper promises four analytic proofs, Method 3 as written is not a self-contained proof unless the identity is supplied or a published source is cited. This is a load-bearing gap in the 'four methods' claim.","section":"Method 3, Eqs. (18)–(24)"},{"comment":"Eq. (30) is stated without proof in this reply, yet it is used to assert that any potentials differing 'in substance' from the authors' potentials would risk violating gauge invariance. This is a stronger claim than the correctness of Eq. (10) and goes beyond what Methods 1–4 establish. If Eq. (30) is intended as a general theorem, it requires a proof or a precise statement of its domain, including boundary conditions and integration constants; otherwise it should be removed or explicitly labelled as a conjecture.","section":"Final paragraph, Eq. (30)"}],"minor_comments":[{"comment":"As printed, ∂/∂t' G(r,t|c|v|r',t') = −∂/∂t G(r,t|c|v|r',t); the right-hand side appears to be missing the prime on the time argument and should read −∂/∂t G(r,t|c|v|r',t') (or equivalent). Please check.","section":"Eq. (22)"},{"comment":"The citation to an unpublished arXiv preprint for a central identity in Method 3 is not ideal. If a published version exists, it should be cited; otherwise the proof should be included in the reply.","section":"Ref. [4]"},{"comment":"The exchange of the d'Alembertian with the integral and gradient, and the suppression of the integration constant, should be stated explicitly. As written, it is justified only by the t0 turn-on condition, which is exactly the point at issue in the dispute.","section":"Eq. (14)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is essentially a reply/comment rather than a standalone research article, and its length and scope are appropriate for that format. The main mathematical content for finite-turn-on sources is sound, but the reply does not fully address the boundary-condition issue that is central to the original comment. The reliance on an unpublished preprint in Method 3 should be removed or bolstered. I would recommend major revision rather than rejection because the gaps are fixable within the manuscript's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick read: this reply proves its central expression for sources switched on at a finite time, but it never engages with the fact that Onoochin's counterexample is a uniformly moving charge with no finite switch-on. So it does not close the dispute.\n\nWhat the paper does well: Methods 1, 2, and 4 are genuine, self-contained checks. Method 1 is direct substitution into eq. (8); Method 2 reduces the wave equation to a standard retarded integral; Method 4 is a textbook gauge transformation starting from the Lorenz-gauge potentials. Those three are analytically sound for localized sources turned on at t0, which is the assumption stated on page 1. Onoochin's own method is indeed among the four, and the appendix derives the Coulomb-gauge version strictly. That is honest work and it verifies eq. (10) under a well-defined class of sources.\n\nSoft spots: the paper overclaims by dropping the 'turned on at t0' assumption in the general relation (30) and in the conclusion. The stress-test note is right: for a charge moving at constant speed for all time, Φ_c and Φ^(v) both decay like 1/|t| at the lower limit, their difference leaves a logarithmically divergent integral, and eq. (10) is undefined until you pick a regularization. The authors' four methods all presuppose a finite lower limit; Method 1's step where ∫∂²Φ/∂t²dt becomes ∂Φ/∂t is exactly where the boundary term is dropped. A different choice of lower-limit constant changes A2 by a pure gauge term. That is precisely the class of difference Onoochin reported, and the reply does not check whether Onoochin's regularization is the same. Footnote [6] restricts eq. (30) to 'exclusively inhomogeneous solutions', an implicit admission that the claim is boundary-condition-dependent, but the body does not follow through. Method 3 also leans on an identity (eqs. 21–23) cited to the authors' own unpublished preprint, with no proof in this reply. That is not fatal for Methods 1/2/4, but it is a load-bearing step in a reply meant to be conclusive.\n\nBottom line: for finitely switched-on, localized sources, the paper is correct and the four derivations are a useful pedagogical resource. For the actual dispute with Onoochin, it is not conclusive; it sidesteps the infinite-motion case. A serious referee could push the authors to either restrict the theorem to sources with a finite switch-on or supply a consistent regularization for eternal sources. That is worth doing.\n\nRecommendation: send it to peer review, but flag that the divergence issue must be addressed before publication. Not a desk reject.","headline":"A mathematically sound defense of eq. (10) for finitely switched-on sources, but it sidesteps the infinite-motion case that triggered the dispute.","tokens_in":6383,"tokens_out":3072,"would_cite":false,"duration_ms":33847,"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 proves, by four independent methods, that the disputed vector-potential formula is an exact solution of the wave equation for arbitrary localized sources.","keywords":["velocity gauge","Coulomb gauge","vector potential","gauge invariance","retarded potentials","Green's function","d'Alembert operator","electromagnetic potentials"],"falsifier":"Numerically evaluate both sides of the disputed wave equation (∇² − c^{-2}∂²_t)A^(v)_2 = c(−1/v²+1/c²)∂_t∇Φ^(v) for a finite, localized source with a definite turn-on, keeping all boundary terms when the time integral is differentiated; a nonzero residual would identify the omitted term. A sharper version: compute the Coulomb-gauge potential from eq (25) and from the commenter's preferred retarded-integral formula for the moving point charge, and test whether their difference is exactly a pure gradient.","tokens_in":5448,"feed_emoji":"⚡","tokens_out":5803,"duration_ms":60547,"temperature":0.7,"pith_summary":"This short note responds to a comment claiming that the authors' earlier formula for the vector potential in the velocity and Coulomb gauges rests on mathematically illegal operations. The authors establish the disputed formula A^(v)_2 = c∇∫(Φ_c − Φ^v)dt by four independent analytic routes: substitution into the wave equation, direct solution after differentiating, a Green's-function composition, and a gauge transformation. The commenter's own method for the Coulomb gauge is among the four. If the proof stands, the velocity-gauge vector potential for any localized charge-current source is fully determined by the two scalar potentials Φ_c and Φ^v, and every potential in the original paper satisfies a master identity that guarantees E and B are gauge-invariant.","feed_headline":"Four independent proofs defend disputed vector potential","feed_subtitle":"If the result stands, velocity- and Coulomb-gauge vector potentials follow from two scalar potentials, with gauge-invariant fields.","key_machinery":"The load-bearing object is the time-integrated difference of scalar potentials, A^(v)_2 = c∇∫(Φ_c − Φ^v)dt. This single expression is what the four methods are all checking. It encodes the two speeds appearing in the velocity gauge: Φ^v propagates at speed v and Φ_c at speed c, and their difference, integrated and then gradient-differentiated, supplies the part of A that conversion between gauges requires. The paper's key maneuvers are the Green's function identities in Method 3 (composition of the v-speed and c-speed propagators, plus derivative identities eqs (21)-(22)) and the gauge function χ = c∫(Φ_c − Φ^v)dt in Method 4. These maneuvers let the authors move from a solution expressed as","core_discovery":"The central claim is that A^(v)_2(r,t) = c∇∫[Φ_c(r,t) − Φ^(v)(r,t)]dt is an exact solution of (∇² − c^{-2}∂²_t)A^(v)_2 = c(−1/v²+1/c²)∂_t∇Φ^(v) for arbitrary localized time-dependent sources, with no need for regularizations or additional homogeneous solutions. The paper proves this four times. Method 1 applies the wave operator directly to the formula and uses the wave equations for Φ^v and Φ_c. Method 2 differentiates eq (8), rearranges, and solves with a c-retarded Green's function. Method 3 builds a composite two-speed Green's function and reduces it to the same expression. Method 4 obtains the formula as a gauge transformation of the Lorenz-gauge potentials. Since all four routes coinci","pith_inferences":["The same four-proof strategy should apply to any pair of gauges linked by a gauge function of the form c∫(Φ_a − Φ_b)dt; eq (30) may be read as a completeness relation for inhomogeneous potential solutions.","Because the proof relies on an antiderivative with zero integration constant and vanishing boundary terms, exploring whether homogeneous terms selected by a finite source turn-on account for the commenter's differing result would settle the dispute.","The composite two-speed Green's function in Method 3 suggests an explicit closed form for a 'two-speed propagator'; testing it against direct numerical convolution for a finite source would give an independent check."],"forward_implications":["For any localized sources, the velocity-gauge vector potential can be written as A_c + c∇∫(Φ_c − Φ^v)dt, reducing the velocity-gauge problem to already-known c-retarded potentials.","Setting v→∞ gives the Coulomb-gauge formula, so the Coulomb-gauge vector potential is fixed once Φ^C and Φ_c are known.","Any potentials satisfying eq (30) produce the same E and B, so all potentials presented in the original paper are gauge-invariant.","The commenter's Coulomb-gauge result, if computed correctly within the same integration conventions, must agree with this formula up to a gradient.","Because the four methods mutually support eq (10), an objection to it must identify a specific illegal step rather than a disagreement between methods."],"supporting_citations":[{"why":"Supplies the disputed Coulomb-gauge vector potential that motivated the reply and sets the claim to be refuted.","marker":"[1]"},{"why":"Original paper containing eq (10), the disputed velocity-gauge formula whose validity is being defended.","marker":"[2]"},{"why":"Provides the Green's-function composition identities (eqs. (3.33)-(3.34)) used in Method 3.","marker":"[3]"},{"why":"Supplies the derivative identities for the composite Green's function used to reduce Method 3's double convolution.","marker":"[4]"},{"why":"Provides the gauge-transformation technique used in Method 4 to derive A^(v)_2 from Lorenz-gauge potentials.","marker":"[5]"},{"why":"Footnote restricting the potentials to exclusively inhomogeneous solutions, which rules out homogeneous additions in the master identity eq (30).","marker":"[6]"}],"fun_headline_variants":["Four proofs settle Coulomb-gauge vector potential dispute","Exact vector potential solution defended by four methods","Reply to Onoochin: four independent derivations confirm result","Vector potential formula proven four ways, gauge fields invariant","Disputed vector potential: four proofs, no regularization needed"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The proofs rely on treating the time integral as an antiderivative with zero integration constant and on dropping boundary terms when the wave operator is moved inside the integral; if those boundary terms are nonzero, eq (10) picks up an extra homogeneous solution.","fun_headline_variants_meta":{"raw":{"variants":["Four proofs settle Coulomb-gauge vector potential dispute","Exact vector potential solution defended by four methods","Reply to Onoochin: four independent derivations confirm result","Vector potential formula proven four ways, gauge fields invariant","Disputed vector potential: four proofs, no regularization needed"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000142,"raw_usage":{"total_tokens":970,"prompt_tokens":676,"completion_tokens":294,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":420,"completion_tokens_details":{"reasoning_tokens":216}},"tokens_in":420,"tokens_out":294,"duration_ms":4119,"temperature":1.0,"reasoning_tokens":216,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T11:22:32.107636+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically evaluate both sides of the disputed wave equation (∇² − c^{-2}∂²_t)A^(v)_2 = c(−1/v²+1/c²)∂_t∇Φ^(v) for a finite, localized source with a definite turn-on, keeping all boundary terms when the time integral is differentiated; a nonzero residual would identify the omitted term. A sharper version: compute the Coulomb-gauge potential from eq (25) and from the commenter's preferred retarded-integral formula for the moving point charge, and test whether their difference is exactly a pure gradient.","supporting_citations":[{"cited_title":"Direct, analytic solution for the electromagnetic vector potential in any gauge","cited_arxiv_id":"2507.02104","evidence_quote":"Original paper containing eq (10), the disputed velocity-gauge formula whose validity is being defended."},{"cited_title":"The physics of gauge transformations,","cited_arxiv_id":null,"evidence_quote":"Provides the Green's-function composition identities (eqs. (3.33)-(3.34)) used in Method 3."},{"cited_title":"Velocity, temporal and generalized Kirchhoff gauges","cited_arxiv_id":"2508.20248","evidence_quote":"Supplies the derivative identities for the composite Green's function used to reduce Method 3's double convolution."},{"cited_title":"From Lorenz to Coulomb and other explicit gauge transformations,","cited_arxiv_id":null,"evidence_quote":"Provides the gauge-transformation technique used in Method 4 to derive A^(v)_2 from Lorenz-gauge potentials."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Footnote restricting the potentials to exclusively inhomogeneous solutions, which rules out homogeneous additions in the master identity eq (30)."}],"review_version":1}