REVIEW 3 major objections 5 minor
A HEFT Perspective on the Type-II Seesaw Model and the Complete Basis of Lepton-Number-Violating Operators
T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read 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.
desk verdict First complete tree-level HEFT matching of type-II seesaw plus a complete LNV basis; verification gaps but no demonstrated errors — worth refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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
What would settle it
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.
Extended reading notes
Core claim
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
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (3)
- [Sec. IV.D / Table XI] 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.
- [Sec. IV.C / footnote 5] 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.
- [Sec. IV.C / Tables VIII–X] 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.
minor comments (5)
- [Sec. V.A / Eq. (44)] 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.
- [Sec. IV.D / Table XI] 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.
- [Sec. II.B / Eq. (16)] 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.
- [Appendix B] 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.
- [General] 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.
Circularity Check
No significant circularity; central matching and LNV-basis claims are self-contained under the stated power-counting and independently benchmarked.
full rationale
I find no circular step. The matching in Sec. III is a direct solution of the heavy-field equations of motion (Sec. III.B), with Wilson coefficients expressed in terms of the input parameter set (16) under the explicit primary-HEFT scaling (17). No LNV or LNC coefficient is fitted to data, and the results are checked against the independent broken-phase EFT of Ref. [24] (Tables XII-XIII) and the real-triplet result of Ref. [45]. The LNV basis in Sec. IV is constructed from a spurion whose transformation properties are motivated by the Weinberg operator, but its completeness and nonredundancy are established independently by component-level linear-independence reduction and by agreement with the external Hilbert-series enumeration of Ref. [26]; the unresolved correspondence between the T-spurion and (S-hat,S-hat-dagger) refinements in B-L-violating sectors (Sec. IV.C) is openly stated and does not affect the validation via direct massive-particle counting. Ref. [30] (same authors) is cited for the primary-HEFT scheme, and Refs. [29,45] for the nonlinear representation and real-triplet comparison, but these are framework/benchmark choices, not load-bearing proofs of the matching or basis results; the calculation is self-contained once the stated power-counting assumption (17) is adopted. The remaining caveats - tree-level truncation (Sec. VI) and the assertion, rather than display, of the dimension-five/six bEFT agreement (footnote 5) - are verification gaps, not circularity.
Assumptions & free parameters
free parameters (2)
- primary-HEFT input set (m_h, m_K, m_η, m_+, m_++, sin α, v_H, ξ)
- auxiliary expansion parameter t
assumptions (5)
- domain assumption The type-II seesaw UV Lagrangian in Eqs. (6)-(9), with a complex SU(2)_L triplet of hypercharge 1, Yukawa y_Δ, and trilinear μ, is the correct starting point.
- domain assumption The nonlinear U representation and primary-HEFT power counting of Eq. (17) organize the low-energy expansion, with no additional expansion in sin α or ξ.
- standard math The external LNC HEFT basis of Ref. [25] and the Hilbert-series counting of Ref. [26] are correct and complete.
- domain assumption The minimal neutral LNV spurion orientation Ŝ ∝ U* ε S σ_- U† with X=+1 is sufficient to span all LNV operators through O(p^4) in the minimal HEFT.
- domain assumption Tree-level matching, with IBP reduction and local field redefinitions, is sufficient at O(p^4); one-loop effects are neglected.
invented entities (1)
-
Dressed LNV spurion Ŝ = U* ε S σ_- U† (X=+1)
Cite this review
Pith. "Pith review of A HEFT Perspective on the Type-II Seesaw Model and the Complete Basis of Lepton-Number-Violating Operators." pith.science (2026). https://pith.science/paper/D36BCO7C
@misc{pith2026260726184,
author = {Pith},
title = {Pith review of: A HEFT Perspective on the Type-II Seesaw Model and the Complete Basis of Lepton-Number-Violating Operators},
year = {2026},
howpublished = {\url{https://pith.science/paper/D36BCO7C}},
note = {Machine review of arXiv:2607.26184}
}
abstract
We perform the complete tree-level matching of the type-II seesaw model onto the Higgs effective field theory (HEFT) through $\mathcal{O}(p^4)$ in the chiral expansion. Employing a nonlinear field representation and the primary-HEFT power-counting scheme, we retain the dependence on the independent heavy-scalar masses, the neutral-scalar mixing angle, and the triplet vacuum expectation value without introducing additional expansions in these parameters. To systematically describe lepton-number violation, we construct a complete and nonredundant basis of LNV HEFT operators through $\mathcal{O}(p^4)$, including their full flavor multiplicities, using a complex dressed spurion that encodes the $B-L$ charge and custodial orientation of the LNV insertion. The basis is independently validated by Hilbert-series counting. We then compare our matching results with those for the corresponding real-triplet extension and with a previously proposed broken-phase effective field theory. These comparisons identify the effects of the additional CP-odd and doubly charged scalar states and show that the overlapping broken-phase results are recovered after the appropriate parameter expansion, while HEFT retains the unexpanded nonlinear electroweak structure. We further discuss representative implications for Higgs and electroweak precision observables, vector-boson scattering, multi-Higgs production, anomalous gauge couplings, top-quark processes, neutrinoless double-beta decay, charged-lepton flavor violation, and same-sign dilepton production.
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.