{"id":"b97a6e56-15ee-4a2b-b529-fa6d6ef80634","arxiv_id":"1908.09845","paper_version":3,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Causality and analyticity of scattering amplitudes imply 27 independent bounds on the dimension-eight bosonic operators of the Standard Model Effective Field Theory.","lead":"This paper derives 27 inequalities that any sensible extension of the Standard Model must obey, restricting the allowed values of measurable coupling constants. The constraints connect LHC searches for anomalous gauge couplings to neutron electric dipole moment experiments and rule out large parts of parameter space that data still allow.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified.","rationale":"The manuscript was read in full and in good faith. The central claim is that IR causality and analyticity impose 27 bounds on the bosonic dimension-eight SMEFT coefficients, with positivity for CP-even combinations and cone constraints for CP-odd ones. The weakest step is indeed the choice of commuting color vectors in Eq. (24), since a failure there would mix dimension-six and dimension-eight contributions. On inspection, that condition appears sufficient: for O_{G^3}, every tree-level pole color factor contains f^{abc}u_1^b u_2^c or f^{abc}u_1^a u_1^b and vanishes; the causal speed correction has the same color structure. The SU(3) reduction from all cos^2 zeta to endpoints is valid for the cone condition because f(x)=4A(x)B(x)-C(x)^2 has negative leading coefficient at the endpoint bound, so its minimum on the interval occurs at an endpoint. The only unsupported step is the numerical reduction behind Eq. (54), but the same three Higgs inequalities are derived directly by causality in Eqs. (48)-(50), and the UV-completion examples in Sec. 5 provide independent corroboration. I therefore find no load-bearing flaw; the reader's ACCEPT verdict stands, with the same MODERATE confidence reflecting the absence of machine-checked algebra.","tokens_in":45678,"tokens_out":33663,"duration_ms":414365,"concrete_test":"Run an independent semidefinite/SOS analysis of the quartic form K_{ijkl} alpha_i beta_j alpha_k beta_l in Eq. (52) to confirm that positivity for all real and complex alpha_i, beta_i reduces exactly to Eq. (54); if additional constraints appear, the analyticity side of the Higgs bounds would need revision, although the causality side would remain.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The central claim rests on the Cartan-subalgebra choice in Eq. (24), which is the most load-bearing premise: it removes the dimension-six triple-gauge O_{W^3}/O_{G^3} exchange and the Yang-Mills t-channel pole, so the s^2 coefficient isolates dimension-eight coefficients. The color factors of all s-, t-, and u-channel triple-gauge exchanges contain f^{abc}u_1^b u_2^c or f^{abc}u_1^a u_1^b and therefore vanish under Eq. (24); the causal speed correction has the same color structure. The endpoint reduction used for the SU(3) cone bounds is legitimate because the quadratic f(x)=4A(x)B(x)-C(x)^2 has a negative leading coefficient once the endpoint cone bound is imposed, so its minimum lies at an endpoint. The one genuinely unshown step is Eq. (54), where the analyticity reduction of the Higgs quartic form is asserted via 'Numerical analysis shows'; however, the causality calculation in Eqs. (48)-(50) independently produces the same three bounds, and the UV completions in Sec. 5 corroborate them. This gap therefore does not undermine the 27 bounds.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper derives constraints on the Wilson coefficients of dimension-eight bosonic SMEFT operators using infrared consistency: analyticity and unitarity of two-to-two scattering amplitudes, together with causality of signal propagation in nonvacuum backgrounds. The authors construct a minimal basis of 64 quartic four-derivative operators, explain how dimension-six operators can be avoided by scattering states with commuting colors (the Cartan-subalgebra condition of Eq. (24)), and derive 27 independent inequalities. These include positivity of CP-even combinations and cone bounds of the form ~c^2 < 4c_+c_- for CP-odd couplings. The bounds are checked against several classes of UV completions and applied to anomalous quartic gauge couplings and the neutron electric dipole moment.","tokens_in":45831,"tokens_out":30035,"duration_ms":302163,"significance":"If the derived bounds hold, they provide a model-independent theoretical prior on a substantial portion of the SMEFT parameter space and can connect disparate experimental searches, such as LHC aQGC constraints and neutron EDM limits. Strengths of the paper include a self-contained derivation, the successful reproduction of known U(1) positivity results, a careful treatment of the operator basis with group-theoretic reductions, and explicit UV-completion checks that all satisfy the bounds. The Cartan-subalgebra choice is a legitimate method for isolating dimension-eight coefficients, and the paper makes falsifiable predictions about forbidden regions of Wilson-coefficient space. The remaining gaps are local and, in my view, fixable through the revisions described below.","major_comments":[{"comment":"The reduction of the SU(3) bounds to the two endpoint values cos^2ζ = 0 and cos^2ζ = 1 is not justified as written. The quantities A, B, and C in Eq. (37) are linear in cos^2ζ, so endpoint positivity suffices for the conditions A>0 and B>0, but the cone inequality C^2 < 4AB is quadratic in cos^2ζ. Linearity of the coefficients does not by itself imply that a quadratic inequality need only be checked at endpoints. The authors should supply the missing argument, for example by showing that g(x)=4A(x)B(x)-C(x)^2 is minimized on the interval x∈[0,1] at an endpoint, using the specific coefficient relations in Eq. (37). This point is load-bearing for the completeness of the two SU(3) cone bounds in Eq. (38).","section":"§4.1.1, Eq. (38)"},{"comment":"The analyticity/unitarity derivation of the three Higgs-quartic bounds is asserted through the statement 'Numerical analysis shows' without any details of the reduction of Eq. (53) to Eq. (54). Since the causality calculation in Eqs. (48)-(50) independently yields the same three conditions, this omission does not invalidate the final bounds, but the paper's claim that analyticity gives the same result is not fully demonstrated. Please provide an analytic derivation or a reproducible description of the numerical method, including how the positivity of the quartic form was verified.","section":"§4.3, Eq. (54)"},{"comment":"The claimed aQGC inequalities in Eq. (90) do not follow from the bounds listed in Eqs. (40), (42), and (4.2) together with the mapping in Eq. (89). For example, with all CP-odd coefficients set to zero, choose cW4_1 = cW4_3 = 0.5, cW4_4 = -10, and cW4_2 = 11, while setting all other operators to satisfy the stated bounds. This satisfies cW4_1+cW4_3 = 1 > 0 and cW4_2+cW4_4 = 1 > 0, but using Eq. (89) gives 2cT,0+2cT,1+cT,2 = (g2^4/16)(9(cW4_1+cW4_3)+cW4_4) < 0, contradicting the first inequality of Eq. (90). A similar issue affects the claimed positivity of cT,7, which involves the unbounded combination cB2W2_1+cB2W2_3+cB2W2_4. The mapping, the operator definitions, or the derivation must be corrected before the experimental conclusions in this section can be relied upon.","section":"§6.1, Eq. (90)"}],"minor_comments":[{"comment":"Typo: 'one van verify' should read 'one can verify'.","section":"§5.4"},{"comment":"The phrase 'delineate a the triangular cone' contains a stray article and should be corrected.","section":"§5.4, after Eq. (84)"},{"comment":"The notation VW in Eq. (28) is ambiguous because V and W are color vectors; writing V·W would improve clarity.","section":"§4.1, Eq. (28)"},{"comment":"Reference [152] is listed as 'Forthcoming'; if the EFThedron paper has appeared by publication time, it should be updated.","section":"References"},{"comment":"The caption states that all ci have been multiplied by 6!π^2; it would be helpful to state this normalization explicitly in the main text where Table 5 is first used.","section":"§5.1, Table 5 caption"}],"recommendation":"major_revision","confidential_remarks":"The central dispersion-relation and causality derivations appear sound, and the paper is a valuable contribution to the SMEFT positivity program. However, the SU(3) endpoint reduction in §4.1.1 needs a proof, the numerical claim in §4.3 needs support, and the aQGC translation in §6.1 contains at least one demonstrable non-implication that should be corrected before publication. These issues are local and fixable, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nIf you work on SMEFT fits or aQGC phenomenology, this is the paper to know: it gives the first complete set of analyticity/causality bounds for the 64 quartic, four-derivative bosonic dimension-eight operators, packed into 27 independent inequalities. The new content is real. Earlier work [65,66] had partial aQGC positivity constraints, often one-at-a-time; here you get a full-basis treatment with bounds that hold for arbitrary UV completions, including cone constraints that tie CP-odd couplings to CP-even ones (e.g., (~c)^2 < 4 c1 c2). The mapping to the standard aQGC operator list and the neutron EDM discussion are useful extras.\n\nThe derivations are mostly standard: forward-limit dispersion relations and the causality/subluminality argument, both giving the same inequalities, which is a nice cross-check. The UV completion checks in Sec. 5 (one-loop, Born-Infeld, tree-level completions) are a genuine sanity check, and they all satisfy the bounds. The Cartan-subalgebra trick in Eq. (24) is the load-bearing move: it removes the dimension-six triple-gauge and t-channel pole contamination so that the s^2 coefficient isolates dimension-eight. I checked the color arguments in the stress-test note; they hold. The claim that the SU(N) bounds reduce to N-1 U(1)-like bounds is well explained.\n\nSoft spots are minor and peripheral. The reduction of the Higgs quartic positivity condition to the three inequalities in Eq. (54) is asserted via \"numerical analysis\" rather than shown. That is a real gap in exposition, but the same bounds are obtained independently from the causality calculation, so the result is corroborated. The superposition bounds in Eq. (91) are stated without derivation; the paper labels them as a flavor of what's possible, not part of the central 27, so this is a minor omission. The lengthy algebra is not machine-checked, so a cautious referee might want to verify a few of the group theory reductions, but I didn't find a load-bearing error.\n\nThe paper deserves a serious referee. It is careful, self-contained, and the citation pattern is appropriate. The one-at-a-time bounds in the literature are genuinely improved upon here. I'd send it to review without hesitation; the two unproven steps should be fixed or explicitly flagged as requiring external verification.\n\nRecommendation: accept after minor revision.","headline":"A systematic, mostly solid set of IR-consistency bounds on 64 dimension-eight bosonic SMEFT operators; the central 27 inequalities hold up, with two minor unproven peripheral steps.","tokens_in":46421,"tokens_out":3368,"would_cite":true,"duration_ms":30504,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Causality and analyticity force the 64 quartic dimension-eight SMEFT couplings into 27 inequalities, banning much of the experimentally accessible parameter space.","keywords":["SMEFT","positivity bounds","analytic dispersion relations","causality","dimension-eight operators","Wilson coefficients","anomalous quartic gauge couplings","neutron electric dipole moment"],"falsifier":"Compute the dimension-eight Wilson coefficients of any explicit, unitary, causal UV completion of the SMEFT and check the 27 inequalities of Eqs. (95)-(96); a counterexample with, say, $(\\tilde{c}_{B^4_1})^2 \\ge 4c_{B^4_1}c_{B^4_2}$ or $c_{B^4_1}<0$ would falsify the claim. Alternatively, a future measurement that extracts the sign and magnitude of one of these operators, such as a QGC at the LHC or the neutron EDM, could land outside the allowed cone.","tokens_in":45438,"feed_emoji":"⚛️","tokens_out":6917,"duration_ms":68362,"temperature":0.7,"pith_summary":"This paper claims that not every set of Standard Model Effective Field Theory (SMEFT) couplings can arise from a healthy high-energy theory. Restricting to the 64 dimension-eight operators that are quartic in Higgs or gauge fields and contain four derivatives, it derives 27 independent inequalities that causality and the analytic structure of scattering amplitudes impose on their Wilson coefficients. The bounds come in two forms: various CP-even combinations must be positive, and each CP-odd combination is bounded in magnitude by the product of the corresponding CP-even coefficients. If true, this matters because LHC searches for anomalous quartic gauge couplings and neutron electric dipole moment experiments are already probing these operators, and the inequalities carve out part of the experimentally allowed parameter space as impossible for any conventional UV completion. The paper also checks that several explicit classes of completions satisfy the bounds, as they should.","feed_headline":"Causality sets 27 bounds on standard-model new-physics couplings","feed_subtitle":"CP-even couplings stay positive; CP-odd couplings are capped by them, shrinking the space experiments must scan.","key_machinery":"The load-bearing object is the forward scattering amplitude $A(s)$ at $t=0$. Analyticity lets one write the coefficient of $s^2$ as a contour integral that, after deforming around the branch cuts, equals a positive integral over the total cross section via the optical theorem; hence that coefficient is positive. Causality gives the same inequality by computing the correction to the speed of a small fluctuation in a constant background and demanding $v\\le 1$. To make the bounds isolate the dimension-eight operators, the authors scatter states whose gauge charges lie in the Cartan subalgebra, the commuting diagonal generators of the gauge group, so that the dimension-six triple-gauge operators and the Yang-Mills $t$-channel pole cancel, leaving the desired $s^2$ coefficient.","core_discovery":"The central claim is that the coefficient of $s^2$ in the forward two-to-two scattering amplitude for pure-boson states is forced to be positive by unitarity and analyticity, and the same positivity follows from demanding that small fluctuations in nontrivial bosonic backgrounds propagate at or below the speed of light. Applied to the 64-operator basis, this yields 27 bounds: for example, for hypercharge, $c_{B^4_1}>0$, $c_{B^4_2}>0$, and $(\\tilde{c}_{B^4_1})^2<4c_{B^4_1}c_{B^4_2}$; for SU(2), $c_{W^4_1}+c_{W^4_3}>0$ and $c_{W^4_2}+c_{W^4_4}>0$ with the analogous cone on the CP-odd combination; and for SU(3), four positivity conditions and two cone conditions on gluon combinations. The mixed operators follow the same pattern, while the three $(DH)^4$ coefficients obey $c_{H^4_2}>0$, $c_{H^4_1}+c_{H^4_2}>0$, and $c_{H^4_1}+c_{H^4_2}+c_{H^4_3}>0$. As the paper puts it, the CP-violating bounds take the form of a cone, $\\tilde{c}^2 + c_-^2 < c_+^2$ for $c_+>0$.","pith_inferences":["An immediate use not developed in the paper would be to impose the 27 inequalities as a hard prior in global SMEFT fits; because the constraints are independent, the allowed coefficient volume shrinks substantially, sharpening collider limits without assuming one operator at a time.","The Cartan-subalgebra choice is not the only possible scattering configuration: superposing different boson species, such as $B+W^3$, generates additional bounds, and a full exploration could close the gap between the 27 bounds here and the full positivity cone of the 64 operators.","If a future aQGC or EDM measurement lands outside one of the cones, the most natural interpretation, given the paper's argument, would be that the low-energy EFT is not the limit of a conventional local, unitary, causal UV completion—rather than merely evidence for new physics at a higher scale."],"forward_implications":["For the hypercharge, weak-isospin, and color sectors, the positivity bounds single out specific linear combinations of CP-even coefficients, and every CP-odd bound is a cone inequality of the form $(\\tilde{c})^2<4c_+c_-$.","The standard aQGC operator basis used in LHC searches is incomplete: it misses at least one independent operator, and several one-at-a-time positivity bounds from earlier analyses are violated by simple loop completions, whereas the complete-basis bounds derived here survive those checks.","A neutron EDM generated by the gluonic dimension-eight operators would, through the CP-odd/CP-even cone inequalities, force the corresponding CP-even gluon couplings to be large enough to be searched for in multijet or other collider observables, linking two seemingly unrelated measurements.","Every conventional UV completion examined—heavy scalars, fermions, or vectors at one loop, Born-Infeld actions, and tree-level exchanges of singlet, triplet, bifundamental, or symmetric-tensor states—automatically satisfies the 27 bounds, so a violation would point to a breakdown of causality, locality, unitarity, or Lorentz invariance in the UV theory."],"supporting_citations":[{"why":"Establishes the causality/analyticity positivity method that the paper adapts to the SMEFT.","marker":"[34]"},{"why":"Provides the minimal basis of $F^4$ operators used for the gauge-field quartics.","marker":"[86]"},{"why":"Supplies the basis of $(DH)^4$ and Higgs cross-quartic dimension-eight operators.","marker":"[87]"},{"why":"Gives the one-loop Wilson coefficients for heavy-field completions used to verify the bounds.","marker":"[109]"},{"why":"Previous positivity bounds on vector-boson scattering that the paper compares with and partially corrects.","marker":"[65]"},{"why":"Extended aQGC positivity bounds whose one-at-a-time limitations the paper demonstrates.","marker":"[66]"},{"why":"Introduces the conventional aQGC operator set and motivates the collider application.","marker":"[76]"},{"why":"Defines the dimension-six operator basis that must be eliminated to isolate dimension-eight bounds.","marker":"[22]"},{"why":"Establishes the neutron EDM contribution from gluonic CP-violating operators used in the phenomenological application.","marker":"[144]"}],"fun_headline_variants":["Causality yields 27 new bounds on SMEFT couplings","SMEFT: 27 couplings constrained by causality","Infrared consistency tightens SMEFT couplings","Causality caps CP-odd, fixes CP-even SMEFT couplings","27 bounds from causality shrink SMEFT parameter space"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The bounds depend on being able to choose scattering states with commuting gauge charges so that the dimension-six triple-gauge operators drop out of the $s^2$ forward amplitude; if that cancellation fails, the inequalities would constrain mixtures of dimension-six and dimension-eight couplings instead of the 64 coefficients.","fun_headline_variants_meta":{"raw":{"variants":["Causality yields 27 new bounds on SMEFT couplings","SMEFT: 27 couplings constrained by causality","Infrared consistency tightens SMEFT couplings","Causality caps CP-odd, fixes CP-even SMEFT couplings","27 bounds from causality shrink SMEFT parameter space"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000787,"raw_usage":{"total_tokens":3552,"prompt_tokens":1106,"completion_tokens":2446,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":722,"completion_tokens_details":{"reasoning_tokens":2368}},"tokens_in":722,"tokens_out":2446,"duration_ms":16301,"temperature":1.0,"reasoning_tokens":2368,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:01:20.171435+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the dimension-eight Wilson coefficients of any explicit, unitary, causal UV completion of the SMEFT and check the 27 inequalities of Eqs. (95)-(96); a counterexample with, say, $(\\tilde{c}_{B^4_1})^2 \\ge 4c_{B^4_1}c_{B^4_2}$ or $c_{B^4_1}<0$ would falsify the claim. Alternatively, a future measurement that extracts the sign and magnitude of one of these operators, such as a QGC at the LHC or the neutron EDM, could land outside the allowed cone.","supporting_citations":[],"review_version":1}