{"id":"919b26c2-d5e7-4ce3-907b-f0d3844a656c","arxiv_id":"2412.01963","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Adiabatic subtraction terms for a massive Proca field are built from its two transverse and one longitudinal physical modes, and in the massless limit the Proca renormalized stress tensor minus a minimally coupled scalar's equals the Maxwell stress tensor.","lead":"This paper constructs a version of adiabatic regularization for spin-1 quantum fields in an expanding universe without introducing ghost fields. It claims that in the massless limit, the renormalized energy of a Proca field minus that of a minimally coupled scalar gives the known Maxwell stress tensor, making vector-field vacuum energies computable in cosmology.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (58) rests on an unproved assumption that the exact-mode finite parts vanish or cancel; a state-dependent remainder can break the claimed massless-limit identity.","rationale":"The reader's verdict is CONDITIONAL, and my independent reading identifies the same load-bearing gap: Eq. (58) is asserted after an unproved 'no finite contribution' assumption, and the paper provides no argument that the finite parts of the exact modes cancel or vanish. This is not an internal inconsistency; the explicit subtraction integrands and the BPHZ comparison are real content, and the algebraic identity may well hold for a suitably chosen adiabatic vacuum. But the claim is not established for generic states, and the state-dependence of the Maxwell side (the E/a⁴ term) makes the assumption nontrivial. The proposed de Sitter check is concrete and would settle whether the finite parts are truly absent for the adiabatic vacuum. Since this concern is addressable and no contradiction with known results is apparent, the fair verdict remains CONDITIONAL; my stress-test does not change the reader's assessment.","tokens_in":14288,"tokens_out":9342,"duration_ms":89342,"concrete_test":"Evaluate Eq. (58) in de Sitter spacetime (a(t)=e^{Ht}) using exact massive Proca and ξ=0 scalar mode functions chosen as the adiabatic vacuum (WKB initial conditions). Compute the exact-mode VEVs from Eqs. (46)-(49), subtract the adiabatic subtractions (50)-(53) and (B.1)-(B.2), and take m→0. If the assumption 'no finite contribution from ⟨Tμν⟩modes' is correct, the result must equal the known Maxwell renormalized stress tensor from Eq. (55) with (α,β)=(-62,-18) and E=0; any state-dependent remainder (e.g., a dependence on the initial time or on the WKB matching order) demonstrates that Eq. (58) fails as stated. This can be done analytically in de Sitter or numerically for other FLRW backgrounds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central result Eq. (58) is derived in Sec. 3.3 only after the explicit condition 'If we further assume that there is no finite contribution from ⟨Tμν⟩modes'. The renormalized stress tensor is defined in Eq. (57) as the exact mode VEV minus adiabatic subtractions. For any Hadamard state, the exact-mode part carries a finite, state-dependent remainder; it does not generically vanish, nor does the paper prove that it cancels between the Proca and the ξ=0 scalar expressions in the m→0 limit. Without such a proof, Eq. (58) is not a free-standing consequence of the subtraction integrands, but an additional state choice. This is load-bearing because the RHS of Eq. (58), ⟨Tμν⟩Maxwell_ren, itself contains a state-dependent integration constant E/a⁴ (Eq. (55)), which is set to zero for adiabatic vacua; the equality requires both that the Proca finite part vanishes and that the same state choice enforces E=0. The paper also delegates the proof of the mode normalization to Ref. [45]; if that proof hides an extra finite term, Eq. (58) can fail even before the state assumption is examined. These gaps are addressable, so the result is not disproved, but the claim as stated is conditional.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper presents an adiabatic regularization construction for a massive Proca field in flat FLRW spacetimes. After reviewing the scalar adiabatic method and drawing an analogy with BPHZ, the authors introduce WKB-type mode expansions for the transverse and longitudinal Proca polarizations, write out the formal VEV integrands of the stress-energy tensor, and give explicit fourth-order adiabatic subtraction integrands in Eqs. (50)-(53). The central result, Eq. (58), states that in the massless limit the difference between the renormalized Proca and renormalized ξ=0 scalar stress-energy tensors is exactly the renormalized Maxwell stress-energy tensor; Eq. (59) states that the transverse polarizations renormalize like two conformally coupled scalars. The paper also discusses the trace anomaly and checks the coefficients α=-62 and β=-18.","tokens_in":14528,"tokens_out":7109,"duration_ms":69286,"significance":"If the central identity (58) can be established as a theorem, the paper would fill a real gap in the adiabatic program: the massless spin-1 limit changes the number of degrees of freedom, and earlier treatments required gauge-breaking terms and ghosts. The explicit subtraction integrands in Eqs. (50)-(53), together with the consistency check against the known Maxwell trace anomaly, are concrete and useful, and the BPHZ comparison is pedagogically helpful. However, the derivation of Eq. (58) currently rests on an unproved assumption about the finite part of the exact-mode VEV; this must be resolved before the central claim can be accepted in its stated generality.","major_comments":[{"comment":"The identity (58) is stated after the sentence \"If we further assume that there is no finite contribution from ⟨Tμν⟩modes.\" This assumption is load-bearing because Eq. (57) defines the renormalized VEV as the exact-mode VEV minus state-independent adiabatic subtractions; any finite part of the exact-mode VEV survives in ⟨Tμν⟩ren. The paper gives no argument that this finite part vanishes for the Proca modes or cancels against the corresponding finite part of the ξ=0 scalar in the m→0 limit. Without such an argument, Eq. (58) is a conditional statement rather than a derived identity, and the same caveat applies to Eq. (59).","section":"Sec. 3.3, Eq. (58)"},{"comment":"The right-hand side of Eq. (58) is the Maxwell renormalized stress tensor with the integration constant E set to zero for adiabatic vacua. The proof therefore also requires that the state choice which eliminates or cancels the finite parts of the Proca and scalar mode VEVs is the same state choice that enforces E=0 in Eq. (55). This connection is not established, leaving the state dependence of the claimed equality uncontrolled.","section":"Sec. 3.3, Eq. (55)"},{"comment":"The normalization of the Proca modes and the derivation of the effective frequencies σ_h and σ_l are delegated to Ref. [45]. Since Eq. (57) involves the exact mode functions, any finite term hidden in the normalization or in the construction of the adiabatic vacuum propagates directly into Eq. (58). For a self-contained derivation, the authors should reproduce the normalization argument or at least state precisely the conditions that ensure the exact mode functions have no finite contribution to ⟨Tμν⟩modes.","section":"Sec. 3.1, Eqs. (36)-(40)"}],"minor_comments":[{"comment":"The lower integration limit appears as \"˙φ\" in the displayed formula; it should presumably be 0, and the term \"33m4¨a2¨a\" appears garbled and should be written with the intended powers of derivatives of a(t).","section":"Eq. (28)"},{"comment":"The sentence \"In 45 was proved that...\" should read \"In Ref. [45] it was proved that...\".","section":"Sec. 3.1"},{"comment":"The author name is usually spelled \"W. Zimmermann\".","section":"Reference 12"},{"comment":"The trace contraction should be written with raised indices, g^{μν}⟨T_{μν}⟩ren, to avoid ambiguity in the index placement.","section":"Eq. (54)"}],"recommendation":"major_revision","confidential_remarks":"The main technical gap is the unproved finite-mode-part assumption preceding Eq. (58). I recommend asking the authors to either prove the needed cancellation for the adiabatic-vacuum class they use, or explicitly reformulate Eq. (58) as a conditional result. The paper is a proceedings contribution and leans heavily on Ref. [45]; for this venue that delegation may be acceptable only if the normalization argument is summarized in enough detail for the reader to verify that no finite remainder is hidden."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, this is an expanded proceedings version of the authors' earlier PRD paper (Ref. 45). The central identity, Eq. (58), and the transverse-mode relation (59) are already there. What is genuinely new here is the explicit fourth-order adiabatic subtraction integrands for the Proca transverse and longitudinal modes in cosmic time, Eqs. (50)-(53), plus a clean pedagogical comparison with BPHZ subtraction. For anyone doing backreaction calculations with vector fields in FLRW, having those integrands written out is a real convenience.\n\nSecond, the paper's main claim is not a free-standing derivation. Eq. (58) is introduced with the sentence 'If we further assume that there is no finite contribution from <T_mu_nu>_modes'. That is a state assumption. The exact mode functions of a generic Hadamard state carry a finite, state-dependent remainder, and the paper does not prove that this remainder cancels between the Proca and the xi=0 scalar expressions in the m->0 limit. The integration constant E in Eq. (55) is set to zero for adiabatic vacua, but the paper doesn't show that the same state choice makes the Proca finite parts vanish. The authors should either prove the cancellation or state the restriction on states explicitly. The proof of mode normalization is also delegated to Ref. 45.\n\nThat said, the paper is not circular. The subtraction integrands are checked against the known Maxwell trace anomaly coefficients alpha=-62, beta=-18, an external benchmark, and the results are consistent with effective-action and de Sitter calculations. So the conditional verdict is fair: the gaps are addressable, and there is no apparent contradiction.\n\nThis is a proceedings contribution, so the expectations are lower than for a research article, but the explicit subtraction terms and the honest discussion of the massless-limit issue make it useful. I would send it to a referee--someone who knows the adiabatic regularization literature--mainly to push on the status of Eq. (58) and to ask for either a proof or a clearly delimited state dependence. The pedagogical BPHZ comparison is fine.\n\nBottom line: cite the PRD paper if you need the main result; keep this one on the shelf for the cosmic-time subtraction integrands and the clarity of the comparison. It is a decent proceedings write-up, not a breakthrough.","headline":"A useful proceedings write-up of the authors' own adiabatic subtraction scheme for Proca fields; the main massless-limit relation is conditional on an unproved state assumption, but the explicit cosmic-time subtraction integrands are worth having.","tokens_in":15045,"tokens_out":2594,"would_cite":false,"duration_ms":216142,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C47","81T20","83F05"],"pacs":["04.62.+v"],"model":"deepseek-v4-flash","headline":"Adiabatic renormalization of a massive Proca field gives the Maxwell stress-energy tensor in the massless limit.","keywords":["adiabatic regularization","Proca field","Maxwell field","stress-energy tensor","FLRW spacetime","massless limit","WKB approximation","trace anomaly"],"falsifier":"Take a specific FLRW background, e.g. de Sitter space with the natural vacuum state or a power-law scale factor, and compute both sides of Eq. (58) from the exact mode functions. If the left-hand side differs from the known Maxwell stress-energy tensor by a nonzero, state-dependent finite term, the central claim is false.","tokens_in":14047,"feed_emoji":"⚛️","tokens_out":8306,"duration_ms":72186,"temperature":0.7,"pith_summary":"This paper establishes a working version of adiabatic renormalization for a massive spin-1 (Proca) field in a flat Friedmann-Lemaitre-Robertson-Walker spacetime, and shows how to take the massless limit even though that limit changes the number of physical degrees of freedom. Its central result is that, after subtracting adiabatic terms through fourth order, the renormalized Proca stress-energy tensor minus the renormalized stress-energy tensor of a minimally coupled scalar field tends, as the mass goes to zero, exactly to the renormalized Maxwell stress-energy tensor. A consequence is that the well-known Maxwell trace anomaly emerges from a purely canonical Proca quantization, with no gauge-breaking terms or ghost fields. The paper also shows that the two transverse Proca polarizations renormalize like two conformal scalar fields.","feed_headline":"Proca renormalization recovers Maxwell stress-energy in massless limit","feed_subtitle":"Adiabatic regularization handles spin-1 even though the massless limit changes the number of field degrees of freedom.","key_machinery":"The load-bearing object is the WKB-type ansatz for the Proca mode functions, $h_k(t)\\sim\\Omega_k^{-1/2}e^{-i\\int^t\\Omega_k}$ for the two transverse polarizations and $l_k(t)\\sim\\Lambda_k^{-1/2}e^{-i\\int^t\\Lambda_k}$ for the longitudinal one, with the effective potentials $\\sigma_h$ and $\\sigma_l$ given in Eq. (37). Plugging this ansatz into the mode equations produces an adiabatic expansion of the frequency (odd orders vanish), and expanding the stress-energy integrands to fourth adiabatic order yields the subtraction terms (50)--(53). The central identity (58) then follows from the exact cancellation of the divergent parts between the Proca and minimally-coupled-scalar subtractions in the massless limit, in direct analogy with the BPHZ subtraction of Feynman integrands.","core_discovery":"The paper claims that the ultraviolet divergences of the Proca stress-energy tensor in FLRW are identical, in the massless limit, to those of a minimally coupled scalar field, and that this coincidence is the key to the massless limit. Concretely, Eq. (58) states that $\\lim_{m\\to 0}(\\langle T_{\\mu\\nu}\\rangle^{\\rm Proca}_{\\rm ren} - \\langle T_{\\mu\\nu}\\rangle^{\\xi=0 \\, \\rm scalar}_{\\rm ren}) = \\langle T_{\\mu\\nu}\\rangle^{\\rm Maxwell}_{\\rm ren}$, where the renormalized quantities are defined by subtracting the adiabatic expansion of the integrand up to fourth order. On the way, Eq. (59) states that the transverse polarizations satisfy $\\lim_{m\\to 0}\\langle T_{\\mu\\nu}\\rangle^{\\rm Proca,\\Omega}_{\\rm ren} = 2\\langle T_{\\mu\\nu}\\rangle^{\\xi=1/6 \\, \\rm scalar}_{\\rm ren}$, so that in the quantum theory the two transverse modes do not by themselves reproduce electromagnetism and the longitudinal mode does not behave as a minimal scalar. The construction is done by canonical quantization of the three physical polarizations, avoiding the auxiliary fields that earlier adiabatic treatments of spin-1 required.","pith_inferences":["If the finite-mode assumption fails for a generic state, Eq. (58) would acquire a state-dependent correction; the clean Maxwell result may be special to adiabatic vacua rather than a universal limit.","One could turn the relation around and use known Proca and scalar subtraction formulas as a computational shortcut for the Maxwell stress-energy tensor in FLRW, without quantizing the gauge field separately.","The BPHZ analogy suggests a concrete dictionary: adiabatic order corresponds to superficial degree of divergence, so the subtraction order for higher-spin or higher-derivative theories could be read off from power counting of their mode equations.","Because the anomaly coefficient $\\beta$ is convention-dependent, the identity (58) should be read as holding within the adiabatic subtraction scheme; a different renormalization convention would shift both sides and may alter the statement."],"forward_implications":["If Eq. (58) is correct, the standard Maxwell trace anomaly is recovered as the $m\\to0$ limit of a Proca calculation, without adding gauge-breaking terms or ghost fields.","The transverse polarizations of the Proca field are renormalized exactly as two conformal scalar fields, so any observable computed from the transverse sector inherits the conformal-scalar anomaly structure.","The adiabatic subtraction algorithm for Proca can be applied directly in momentum space, with no prior regularization, in the same manner as BPHZ renormalization of loop integrals.","In conformally flat backgrounds the full renormalized Maxwell $\\langle T_{\\mu\\nu}\\rangle$ can be reconstructed from its trace anomaly with vanishing integration constant for an adiabatic vacuum, linking the subtraction prescription to the anomaly coefficients $\\alpha=-62$, $\\beta=-18$.","The method gives a template for treating other fields whose massless limit changes the number of degrees of freedom, such as massive spin-2."],"supporting_citations":[{"why":"Establishes the normalization of the Proca mode basis and shows the main massless-limit result agrees with the effective-action approach; the present paper expands and complements it.","marker":"[45]"},{"why":"The earlier adiabatic treatment of the Proca field that concluded an extra gauge-breaking term and ghost field were needed; this paper's construction removes that necessity.","marker":"[41]"},{"why":"Supplies the Proca inner product used to normalize the transverse and longitudinal modes in the canonical quantization.","marker":"[50]"},{"why":"Textbook source for adiabatic regularization, the WKB mode ansatz, and the trace-anomaly results (including $\\beta=-18$ for Maxwell) that the paper compares against.","marker":"[9]"},{"why":"Introduced the take-the-massless-limit-at-the-end strategy for adiabatic renormalization of scalar fields, which the Proca construction has to adapt.","marker":"[14]"},{"why":"Provided the self-consistent adiabatic method for spin-1/2 fields, showing how WKB-type expansions can be replaced when a direct WKB ansatz fails; the spin-1 construction follows the same subtraction philosophy.","marker":"[29]"}],"fun_headline_variants":["Massless Proca renormalization recovers Maxwell tensor","Direct adiabatic renormalization for Proca, no auxiliary fields","Proca massless limit ties to scalar renormalization","Massless Proca adiabatic renormalization matches scalar"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The result depends on assuming that the state's own finite contribution to the stress-energy tensor vanishes after the adiabatic subtraction (or cancels exactly between the Proca and scalar fields); for a generic quantum state this finite part is nonzero, so the claimed equality can fail.","fun_headline_variants_meta":{"raw":{"variants":["Massless Proca renormalization recovers Maxwell tensor","Direct adiabatic renormalization for Proca, no auxiliary fields","Proca massless limit ties to scalar renormalization","Massless Proca adiabatic renormalization matches scalar"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000555,"raw_usage":{"total_tokens":2662,"prompt_tokens":981,"completion_tokens":1681,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":597,"completion_tokens_details":{"reasoning_tokens":1612}},"tokens_in":597,"tokens_out":1681,"duration_ms":13041,"temperature":1.0,"reasoning_tokens":1612,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T23:59:07.667754+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a specific FLRW background, e.g. de Sitter space with the natural vacuum state or a power-law scale factor, and compute both sides of Eq. (58) from the exact mode functions. If the left-hand side differs from the known Maxwell stress-energy tensor by a nonzero, state-dependent finite term, the central claim is false.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the normalization of the Proca mode basis and shows the main massless-limit result agrees with the effective-action approach; the present paper expands and complements it."},{"cited_title":"Chimento and A","cited_arxiv_id":null,"evidence_quote":"The earlier adiabatic treatment of the Proca field that concluded an extra gauge-breaking term and ghost field were needed; this paper's construction removes that necessity."},{"cited_title":"Parker and Y","cited_arxiv_id":null,"evidence_quote":"Supplies the Proca inner product used to normalize the transverse and longitudinal modes in the canonical quantization."},{"cited_title":"Parker and D","cited_arxiv_id":null,"evidence_quote":"Textbook source for adiabatic regularization, the WKB mode ansatz, and the trace-anomaly results (including $\\beta=-18$ for Maxwell) that the paper compares against."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduced the take-the-massless-limit-at-the-end strategy for adiabatic renormalization of scalar fields, which the Proca construction has to adapt."},{"cited_title":"Landete, J","cited_arxiv_id":null,"evidence_quote":"Provided the self-consistent adiabatic method for spin-1/2 fields, showing how WKB-type expansions can be replaced when a direct WKB ansatz fails; the spin-1 construction follows the same subtraction philosophy."}],"review_version":1}