{"id":"50c28b14-0a47-4784-98c5-eafb75cb1a5d","arxiv_id":"2607.06658","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Elastic positivity from a modified forward dispersion relation constrains the twelve dim-8 Wilson coefficients of the photon–dark-photon EFT to a spectrahedral cone, with hierarchies for non-forward mixed amplitudes and distinct loci for kinetic-mixing and dark-axion UV completions.","lead":"The paper derives analytic positivity bounds on all twelve CP-even dimension-8 Wilson coefficients of the photon–massless-dark-photon EFT, producing a spectrahedral geometry of allowed couplings. These constraints give model-independent hierarchies and two-sided bounds on mixed amplitudes and locate standard UV completions inside the allowed region.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The Reader correctly isolates the strongest claim (the analytic positivity geometry (11)–(19) and its non-forward consequences) and the weakest external assumption (Regge growth + gravity decoupling). That assumption is standard, explicitly acknowledged, and does not undermine the internal derivation. The concrete check proposed above is a pure algebraic verification that can be performed with existing amplitude packages and would settle any residual doubt about transcription or End-Matter definitions without requiring new physics input. Because no stronger internal concern surfaces, the Reader’s ACCEPT verdict with high confidence remains appropriate.","tokens_in":13983,"tokens_out":450,"duration_ms":4933,"concrete_test":"Independently recompute the forward-limit contribution of operators O5–O12 to the five independent γγ′→γγ′ helicity amplitudes listed after Eq. (2), insert them into the elastic positivity integral (10) for a generic C2⊗C4 state, and verify that the resulting matrix inequalities reproduce exactly the compact set (11)–(19) (including the Gram matrix GS and the quartic invariants H1–H3). Agreement confirms the analytic extraction; any mismatch would isolate an algebraic error in the End Matter definitions of Ck or Hk.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim—that the modified forward dispersion relation for the mixed photon–dark-photon EFT yields the independent elastic positivity constraints (11)–(19), the spectrahedron GS ⪰ 0, and the non-forward amplitude hierarchies (25)–(26)—rests on standard S-matrix assumptions (Regge boundedness of massless spin-1 amplitudes and gravity decoupling) that the paper itself flags after Eq. (7). These assumptions are the same ones used in the pure-photon literature the work extends; they do not introduce an internal inconsistency or a hidden free parameter. The analytic derivation of the linear/quadratic/nonlinear inequalities, the spectrahedral-lift interpretation via the S-procedure, and the explicit UV-completion loci are self-contained and free of circularity. No load-bearing technical gap that would overturn the stated geometry or the amplitude consequences is apparent.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper constructs the complete CP-even dimension-8 EFT of a photon and a massless dark photon (12 Wilson coefficients, 19 independent helicity amplitudes) and derives elastic positivity bounds from a modified forward-limit dispersion relation that enforces s–u symmetry. Analytic linear, quadratic and nonlinear inequalities (Eqs. 11–19) are obtained in tractable C2⊗C4 subspaces; they define a spectrahedral geometry (Gram matrix GS ⪰ 0 and a spectrahedral shadow of a quartic matrix polynomial). These bounds imply non-forward amplitude hierarchies and two-sided constraints, and the loci of kinetic-mixing and dark-axion-portal UV completions inside the geometry are mapped explicitly.","tokens_in":14162,"tokens_out":590,"duration_ms":6779,"significance":"The work supplies the first complete positivity analysis of the mixed photon–dark-photon EFT, a setting of direct experimental and astrophysical interest. The analytic spectrahedral constraints, the non-forward amplitude consequences, and the concrete UV-completion diagnostics constitute a genuine extension of the pure-photon literature and of the broader EFT-hedron programme. The End-Matter proofs of the optical-theorem identity and the spectrahedral lift, together with the explicit one-loop/tree-level UV calculations, make the results reproducible and immediately usable for model building.","major_comments":[],"minor_comments":[{"comment":"The phrase “currently provide the strongest model-independent theoretical constraints” (Introduction) is comparative; a short clause noting that the comparison is with existing pure-photon or restricted multi-U(1) bounds would make the claim self-contained.","section":null},{"comment":"Figure 1 caption: the four vertices are listed, but the two shaded branches of the determinant-zero surface are not labelled; a brief parenthetical would aid readability.","section":null},{"comment":"End Matter, kinetic-mixing conventions: the angle ϕ = sin^{-1} ε appears without an explicit range; stating 0 ≤ ϕ < π/2 would remove any ambiguity when comparing to the θ = 0 and θ = sin^{-1} ε loci discussed in the main text.","section":null},{"comment":"A few typographical inconsistencies remain (e.g., “s−ucrossing” missing spaces, “Delbrück-like” hyphenation). A final proof-reading pass would eliminate them.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is technically solid and fits the journal’s scope for precision EFT and positivity bounds. The only potential editorial concern is that the pure-photon literature is already dense; the clear novelty of the mixed sector and the geometric results should, however, make the paper of interest to the community."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This is the first full positivity analysis of the mixed photon–massless-dark-photon dim-8 EFT. They count 19 independent helicity amplitudes (versus 3 for pure photons), write the complete CP-even basis of 12 Wilson coefficients, and extract analytic linear, quadratic and nonlinear elastic bounds from a modified odd forward dispersion relation. The geometry is real: GS ⪰ 0 is an elliptope, the quartic conditions are spectrahedral shadows via the S-procedure, and the same inequalities immediately give non-forward amplitude hierarchies and two-sided bounds. Kinetic-mixing and dark-axion UV completions land on edges, vertices or the interior exactly as expected from rank of the Gram matrix. That map is useful.\n\nThe technical core is clean. Helicity counting, operator basis, optical-theorem argument and End-Matter proofs are spelled out; the C2⊗C4 subspaces they treat analytically already produce the strongest model-independent constraints available. Assumptions (Regge growth for massless spin-1, gravity decoupling) are the same ones used in pure-photon work and are flagged after Eq. (7); they do not create an internal inconsistency. Restriction to elastic positivity is a deliberate, stated choice, not a hidden gap.\n\nSoft spots are minor and proportional. Full dual-cone / SDP analysis of the 4⊗4 space is left for later; non-forward bounds are only the leading-order consequences of the forward inequalities. Neither undermines the stated results.\n\nAnyone working on light dark photons, EFT-hedron geometry or low-energy positivity will get value from this. It is solid enough for a serious referee and I would cite the spectrahedron and the UV loci. Send it out.","headline":"First complete positivity geometry for the photon–massless-dark-photon EFT: 19 amplitudes, 12 Wilson coefficients, analytic spectrahedral bounds that place standard UV portals cleanly.","tokens_in":14760,"tokens_out":438,"would_cite":true,"duration_ms":5612,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Elastic positivity carves a spectrahedral region in the twelve Wilson coefficients of the photon–dark-photon EFT and forces hierarchies among mixed-helicity amplitudes.","keywords":["positivity bounds","dark photon","effective field theory","Wilson coefficients","spectrahedron","helicity amplitudes","kinetic mixing","dark axion portal"],"falsifier":"An explicit ultraviolet completion whose one-loop or tree-level matching produces Wilson coefficients lying strictly outside the claimed spectrahedron (for example, violating GS ≽ 0 or any of the independent inequalities (11)–(19)) would falsify the positivity geometry.","tokens_in":14881,"feed_emoji":"📐","tokens_out":592,"duration_ms":6454,"temperature":0.7,"pith_summary":"This paper maps the allowed low-energy theory of ordinary photons mixed with a massless dark photon. Below the electron mass the leading interactions are twelve dimension-eight operators. Analyticity and unitarity, encoded in a modified forward dispersion relation, force linear and nonlinear inequalities on those twelve Wilson coefficients. The inequalities define a spectrahedral geometry whose faces and vertices are populated by concrete ultraviolet models such as kinetic mixing and dark-axion portals. The same bounds imply amplitude hierarchies and two-sided constraints that remain valid even away from the forward limit. The result therefore converts abstract consistency requirements into a concrete geometric diagnostic that can discriminate among dark-sector completions.","feed_headline":"Positivity carves a spectrahedron for photon–dark-photon EFTs","feed_subtitle":"Twelve Wilson coefficients must sit inside a convex geometry fixed by unitarity and analyticity","key_machinery":"The modified forward function M(s) = [M(s)+M(–s)]/s^{3} whose contour integral around the infrared origin is non-negative by the optical theorem and Regge boundedness; the resulting elastic positivity condition on factorized two-particle states produces the spectrahedral bounds.","core_discovery":"Elastic positivity applied to a modified, s–u-odd forward dispersion relation yields an independent set of linear and nonlinear inequalities on the twelve CP-even Wilson coefficients of the photon–massless-dark-photon EFT. These inequalities define a spectrahedral geometry (including an elliptope slice GS ≽ 0 and a spectrahedral shadow of a lifted quartic matrix polynomial) that is the strongest model-independent constraint presently available on this theory.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Positivity bounds carve a spectrahedron for photon–dark-photon EFTs","Elastic positivity defines spectrahedral geometry on twelve Wilson coefficients","Photon–dark-photon EFT coefficients confined to a spectrahedron by unitarity","Modified dispersion yields spectrahedron for mixed photon–dark-photon EFTs","Spectrahedral constraints emerge from positivity in photon–dark-photon theories"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The argument assumes that massless spin-1 amplitudes are Regge-bounded and that graviton exchange can be completely decoupled or left only as a parametrically tiny residual, so the contour integral closes without gravitational poles.","fun_headline_variants_meta":{"raw":{"variants":["Positivity bounds carve a spectrahedron for photon–dark-photon EFTs","Elastic positivity defines spectrahedral geometry on twelve Wilson coefficients","Photon–dark-photon EFT coefficients confined to a spectrahedron by unitarity","Modified dispersion yields spectrahedron for mixed photon–dark-photon EFTs","Spectrahedral constraints emerge from positivity in photon–dark-photon theories"]},"model":"grok-4.5","effort":"low","cost_usd":0.005906,"raw_usage":{"total_tokens":1443,"prompt_tokens":640,"num_sources_used":0,"completion_tokens":97,"cost_in_usd_ticks":59060000,"prompt_tokens_details":{"text_tokens":640,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":706,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":640,"tokens_out":97,"duration_ms":6412,"temperature":1.0,"reasoning_tokens":706,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T23:56:56.099816+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"An explicit ultraviolet completion whose one-loop or tree-level matching produces Wilson coefficients lying strictly outside the claimed spectrahedron (for example, violating GS ≽ 0 or any of the independent inequalities (11)–(19)) would falsify the positivity geometry.","supporting_citations":[],"review_version":1}