{"id":"a96587ab-6497-4153-bb21-74452ded9b98","arxiv_id":"2607.26184","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"First complete tree-level HEFT matching of the type-II seesaw and a Hilbert-series-checked, flavor-complete basis of lepton-number-violating HEFT operators through O(p^4).","lead":"Physicists matched the type-II seesaw model—a neutrino-mass mechanism with a new scalar triplet—to the Higgs effective field theory, computing all low-energy coefficients through fourth order in the chiral expansion and building a complete catalog of lepton-number-violating operators. The work gives a common dictionary for collider, lepton-flavor, and neutrinoless double-beta-decay searches within a nonlinear-Higgs framework.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; central claims are sound under the paper's explicit primary-HEFT power-counting, with remaining gaps being verification (no released code, unshown dim-5/6 bEFT check) rather than demonstrated error.","rationale":"The paper's strongest claims are well supported by its methodology: the matching is organized in the primary-HEFT scheme with an explicit power-counting parameter t, the LNV basis is constructed with a clear spurion formalism, and the authors provide external checks against the Hilbert-series counts of Ref. [26], the broken-phase EFT of Ref. [24] (at least for the lowest dimensions), and the LEFT basis. The reader's identified weakest assumption—the O(t^-1) scaling of all heavy masses—is real but is an explicitly stated scope condition rather than a hidden premise; every EFT matching calculation makes an analogous assumption about the heavy spectrum. The more fragile point, in my view, is the completeness of the LNV basis: it depends on unpublished component-level reductions and on a quoted Hilbert-series computation that is not reproduced in the text. However, the paper also provides a spurion-refined Hilbert series of its own and reports agreement with the direct massive-particle counting, which is a substantive independent check. The remaining issues are verification gaps (no ancillary code, unshown dim-5/6 comparison, unresolved T-spurion vs \\hat S-spurion relation in LNV sectors) rather than demonstrated flaws. Accepting the paper with moderate confidence is therefore appropriate; I would not change the verdict.","tokens_in":36680,"tokens_out":20499,"duration_ms":202535,"concrete_test":"Independently recompute the \\hat S,\\hat S^dagger-refined Hilbert series for the B-L-violating operator classes of Table X (at minimum L2V2, L4, L3\\bar L, L2Q\\bar Q, and L\\bar Q^3) with a computer-algebra implementation of the Hilbert series using the same spurion grading, and compare the spurion-refined counts and total operator numbers with Tables VI and X. If any class count disagrees, the completeness or nonredundancy claim fails; agreement would settle the main verification gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim—complete tree-level matching of the type-II seesaw onto HEFT through O(p^4) and a complete, nonredundant LNV operator basis—is conditional on the explicit power-counting assignment of Eq. (17), in which all four heavy scalar masses scale as O(t^-1) while sin(alpha), v_H, and xi are O(t^0). This is a stated scope condition, not a hidden assumption: if any physical heavy state is actually light (e.g., m_eta close to v_EW), the matching lies outside the claimed regime, but the paper is transparent about this. The LNV basis completeness rests on agreement with the Hilbert-series counts of Ref. [26] and on the component-level linear-independence reduction described in Sec. IV.C. The paper explicitly flags in Sec. IV.C that the precise correspondence between the T-spurion and (\\hat S,\\hat S^dagger) countings in B-L-violating sectors remains to be clarified; however, the validation uses the direct massive-particle counting of Ref. [26] rather than the T-spurion refinement, so this caveat does not undercut the completeness claim. The bEFT comparison is shown for dim-3 and dim-4 operators, while dim-5 and dim-6 agreement is only asserted in footnote 5. These are reproducibility gaps, not demonstrated errors. I found no internal inconsistency, circular reasoning, or unsupported algebraic identity in the portions of the calculation that are displayed.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper performs the tree-level matching of the type-II seesaw model onto HEFT through O(p^4) in the chiral expansion, using the authors' nonlinear field representation and primary-HEFT power counting. The heavy scalar masses, the doublet–triplet mixing angle, and the triplet VEV are retained without additional expansions. The paper also constructs a complete, nonredundant basis of lepton-number-violating HEFT operators through O(p^4), based on a new complex dressed spurion that encodes B−L charge and custodial orientation, and validates the basis with Hilbert-series counting and component-level independence checks. Matching results are presented for both lepton-number-conserving and LNV sectors, compared with the real-triplet extension and with a broken-phase EFT, and used for qualitative phenomenological discussions of Higgs, VBS, top, 0νββ, µ→3e, and same-sign dilepton processes.","tokens_in":37035,"tokens_out":17131,"duration_ms":174301,"significance":"If the central claims are correct, this is the first systematic HEFT matching of the type-II seesaw model at tree level through O(p^4) and the first explicit, complete LNV HEFT operator basis at this order. The paper makes good use of external anchors: the Hilbert-series counting of Ref. [26], the broken-phase EFT of Ref. [24], and the LEFT basis of Ref. [31]. The constructed spurion identity Ŝ†Ŝ = (1+T)/2 and the explicit redundancy proof in Appendix A are concrete and checkable. The work should be useful as a reference for collider and low-energy LNV phenomenology within HEFT, provided the matching tables are reduced to the stated minimal basis in a fully transparent way.","major_comments":[{"comment":"The L4 entry in Table XI is printed as the monomial (L^T C Ŝ L)(L^T C Ŝ L) with coefficient y_pr y_st. However, the independent basis element in Table VI is the flavor-antisymmetrized combination Y[pr;st] with n_f^2(n_f^2−1)/12 components. As written, the table entry is not reduced to the minimal basis: for example, pr=st=11 would appear nonvanishing although the basis element identically vanishes. The paper states that matching results are projected onto the basis (Sec. III.B), but Table XI does not display the projection. Please specify the projection convention explicitly or provide the reduced Wilson coefficients; without this, the LNV matching results are not uniquely defined and cannot be reproduced.","section":"Sec. IV.D / Table XI"},{"comment":"The validation of the matching against the broken-phase EFT is only fully shown for dimension-three and dimension-four operators; the claimed agreement for dimension-five and dimension-six operators is asserted in a footnote without details. Since the bEFT comparison is one of the main external checks of the matching, the dimension-five and dimension-six comparisons should be documented in an appendix or auxiliary file. This is a reproducibility gap rather than a demonstrated error, but it is load-bearing for the claim of complete O(p^4) matching.","section":"Sec. IV.C / footnote 5"},{"comment":"The spurion-refined Hilbert-series results in Tables VIII–X are presented without derivation or an explicit statement of the generating functions used. The completeness claim rests on agreement between these counts and the independent counting of Ref. [26]. To make the validation self-contained, the authors should state how these polynomials were computed (e.g., the Hilbert-series algorithm, spurion grading conventions, and any code used) or at least give the generating-function form for one nontrivial class such as L4 or L̄Q3.","section":"Sec. IV.C / Tables VIII–X"}],"minor_comments":[{"comment":"The tree-level ρ parameter is standard and correct in the small-ξ limit. The paper should clarify that the exact formula (1+2ξ^2)/(1+4ξ^2) is used in the matched HEFT and that the O(ξ^4) term shown is only for orientation.","section":"Sec. V.A / Eq. (44)"},{"comment":"For operators with σ^{μν} or ϵ insertions, the flavor counts in Table VI sometimes require antisymmetry in p↔r. The table entries should indicate explicitly when the displayed coefficient is to be understood with the appropriate projector, to avoid confusion with the unprojected monomials.","section":"Sec. IV.D / Table XI"},{"comment":"The input set includes both v_H and ξ while v_EW^2 = v_H^2(1+2ξ^2). This is not an inconsistency if v_EW is treated as derived, but the authors should say so explicitly, since v_EW is later used as the fixed electroweak scale.","section":"Sec. II.B / Eq. (16)"},{"comment":"The notation '→0' in the last column of Table XIV is terse. A brief explanation that this refers to the vanishing of the generic-flavor matching after specializing to the 0νββ flavor assignment p=r=e would improve readability.","section":"Appendix B"},{"comment":"There are a number of formatting artifacts in the tables (e.g., 'dimTSpurion' and '42 + 2T 2' in Table VIII) that should be corrected in the published version.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The core calculation appears sound and the external cross-checks are appropriate. My main concern is the unprojected L4 entry in Table XI, which is a load-bearing part of the LNV matching claim. If the authors can clarify the projection convention and provide the reduced coefficients (or explicitly state that the table lists monomials before projection, with the projected results in an appendix), the remaining issues are local. I would also encourage making the dim-5/6 bEFT comparison available, since the paper currently asks the reader to take a key validation step on faith."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I read this with the type-II seesaw matching question in mind. The main deliverable is real: the first explicit tree-level HEFT matching of the complex triplet through O(p^4), plus a complete, nonredundant LNV operator basis with full flavor multiplicities. The basis construction using the dressed spurion \\hat{S} is nontrivial and the Hilbert-series checks give it teeth. I also liked the comparison to the real-triplet HEFT and the expansion into the broken-phase EFT of Liao-Ma-Uchida; those cross-checks are meaningful and the overlapping coefficients are recovered.\n\nThe soft spots are not fatal. The primary-HEFT power counting (Eq. 17) puts all four heavy masses at one order and keeps sin alpha, v_H, and xi at O(t^0). That is a stated scope condition, not a hidden assumption; the paper is transparent that a light eta or a large xi would push you outside the claimed regime. The bigger practical gap is verifiability: the coefficient tables are long, no symbolic files are released, and the dimension-five/6 broken-phase comparison is only asserted in footnote 5. Those are reproducibility gaps, not errors. The paper also flags that the T-spurion versus (S,S-dagger) counting in B-L-violating sectors is not fully mapped, but the completeness claim relies on the direct massive-particle Hilbert series, so the caveat does not bite.\n\nThe phenomenology section is illustrative rather than quantitative; that is fine for a matching paper. If you are doing LNV HEFT work or planning to use type-II matching, this is now the reference for the tree-level dictionary. I would not desk-reject it.","headline":"First complete tree-level HEFT matching of type-II seesaw plus a complete LNV basis; verification gaps but no demonstrated errors — worth refereeing.","tokens_in":37563,"tokens_out":2096,"would_cite":true,"duration_ms":20949,"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":"This paper constructs the complete nonredundant basis of lepton-number-violating HEFT operators through O(p^4) and gives the full tree-level matching of the type-II seesaw model onto that basis.","keywords":["type-II seesaw","Higgs effective field theory","lepton-number violation","operator basis","spurion","tree-level matching","neutrinoless double beta decay","custodial symmetry"],"falsifier":"Independently recompute the spurion-graded Hilbert series for LNV HEFT operators with three fermion generations and the same B−L and custodial grading, for example by symbolic component-level linear-independence checks; if the flavor multiplicities differ from those in Table VI, the basis is not complete or not nonredundant.","tokens_in":36527,"feed_emoji":"⚛️","tokens_out":13509,"duration_ms":103653,"temperature":0.7,"pith_summary":"This paper aims to establish a complete tree-level dictionary between the type-II seesaw model and the Higgs effective field theory (HEFT) at next-to-leading chiral order, O(p^4). It also constructs, for the first time, a complete and nonredundant basis of lepton-number-violating (LNV) HEFT operators through that order, including all flavor multiplicities. The matching keeps explicit dependence on the five physical scalar masses, the doublet–triplet mixing angle, and the triplet vacuum expectation value, without expanding in the triplet VEV or mixing angle. A sympathetic reader should care because the resulting Wilson coefficients and operator basis give one consistent framework for translating type-II seesaw parameters into predictions for Higgs couplings, electroweak precision, vector-boson scattering, neutrinoless double-beta decay, and charged-lepton flavor violation.","feed_headline":"Map the type-II seesaw into HEFT through O(p^4)","feed_subtitle":"A single bookkeeping object controls every lepton-number-violating effect, from neutrino mass to same-sign dileptons.","key_machinery":"The central object is the dressed LNV spurion Ŝ = U* ε S_R U† with S_R = S σ−, a complex 2×2 matrix that transforms as a symmetric SU(2)_L triplet and carries B−L = +2. It encodes both the lepton-number-violating insertion and the custodial orientation, and together with the standard HEFT building blocks V_μ = U D_μ U† and T = U σ3 U† it generates every LNV invariant. The second key ingredient is the primary-HEFT power-counting scheme, where the heavy scalar squared masses are assigned O(t^{-1}) while sin α, v_H, and ξ remain O(1); this lets the tree-level matching be performed without expanding in the mixing angle or triplet VEV. The matching is done by solving the classical equations of mo","core_discovery":"The paper's central discovery is that the low-energy effects of the complex scalar triplet in the type-II seesaw model can be organized exactly, at tree level, into HEFT through O(p^4): integrating out the heavy K, η, H±, and H±± states generates definite Wilson coefficients for both the lepton-number-conserving and lepton-number-violating sectors, listed in full. In the LNV sector, all such operators are generated from a single dressed spurion, Ŝ = U* ε σ− U†, which carries B−L = +2 and fixes the custodial direction. The resulting basis is shown to be complete and nonredundant by Hilbert-series counting, and the overlap with a previously proposed broken-phase EFT is recovered after expandin","pith_inferences":["Implicit in the spurion construction is that a full custodial multiplet of LNV spurions, Ŝ_a = U* ε σ_a U†, would decouple lepton-number violation from custodial breaking; introducing such charged sources would produce a qualitatively different, less-correlated pattern than the minimal type-II spurion.","Because the tree-level matching generates no independent field-strength operators at O(p^4), any anomalous triple-gauge couplings induced by the complex triplet must arise at loop level; a combined fit to quartic and triple gauge couplings could test that expectation.","The authors restrict to tree-level matching; one-loop matching would add dipole operators for radiative charged-lepton-flavor violation and extend the short-range neutrinoless-double-beta-decay sector, so the present basis will likely need augmentation at higher orders.","The paper also notes that a quantitative comparison of HEFT predictions with full type-II seesaw cross sections for specific observables has not been performed; until such a comparison exists, the numerical impact of the matched coefficients on actual collider observables remains unquantified."],"forward_implications":["The matched Wilson coefficients give concrete predictions for the rho parameter, Higgs couplings κ_W, κ_Z, and κ_f, and quartic gauge couplings that can be compared with LHC and future collider data.","The complete LNV basis provides a common operator language for neutrinoless double-beta decay, μ→3e, and same-sign dilepton searches; for example, the tree-level μ→3e rate is fixed by |y_Δ^{eμ} y_Δ^{ee*}|^2 / m_{H±±}^4.","Recovering the broken-phase EFT results in the small-triplet-VEV limit confirms the internal consistency of the matching and shows that the HEFT description contains the unexpanded nonlinear structure as a superset.","The spurion identity Ŝ† Ŝ = (1+T)/2 implies that, in this minimal HEFT, lepton-number violation and custodial-symmetry breaking are tied together, so correlated deviations in ρ, κ_Z/κ_W, and LNV rates should appear.","Because the basis is complete through O(p^4), other seesaw or LNV ultraviolet completions can be mapped onto the same operator set, provided their heavy states generate the same spurion orientation."],"fun_headline_variants":["Exact HEFT matching for type-II seesaw at O(p^4)","All lepton-number violation in type-II seesaw from one spurion","Complete LNV operator basis from type-II seesaw in HEFT","Type-II seesaw's low-energy laws: one spurion for all LNV","One spurion to map every LNV effect in type-II seesaw"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that the heavy triplet scalars are all uniformly heavy, so that a single O(p^4) truncation captures the leading low-energy effects, and that tree-level matching is enough; if one heavy state is much lighter than the others, or if the triplet VEV is not small, higher-order terms can dominate.","fun_headline_variants_meta":{"raw":{"variants":["Exact HEFT matching for type-II seesaw at O(p^4)","All lepton-number violation in type-II seesaw from one spurion","Complete LNV operator basis from type-II seesaw in HEFT","Type-II seesaw's low-energy laws: one spurion for all LNV","One spurion to map every LNV effect in type-II seesaw"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000646,"raw_usage":{"total_tokens":2845,"prompt_tokens":827,"completion_tokens":2018,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":571,"completion_tokens_details":{"reasoning_tokens":1930}},"tokens_in":571,"tokens_out":2018,"duration_ms":12536,"temperature":1.0,"reasoning_tokens":1930,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T00:32:44.528804+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Independently recompute the spurion-graded Hilbert series for LNV HEFT operators with three fermion generations and the same B−L and custodial grading, for example by symbolic component-level linear-independence checks; if the flavor multiplicities differ from those in Table VI, the basis is not complete or not nonredundant.","supporting_citations":[],"review_version":1}