{"id":"d1498d14-018a-400d-939d-ea4c16d9ff4f","arxiv_id":"2411.19063","paper_version":4,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A type-I (Higgs-only VEV) local minimum is lower than every type-0 and type-III extremum in the restricted scalar potentials considered, by a proof using homogeneous-function identities.","lead":"This paper proves a theorem about scalar field potentials in extensions of the Standard Model with extra scalar multiplets. If the Higgs field alone sits at a local minimum, no extremum with both Higgs and extra fields turned on can have a lower potential.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1 is internally correct under Assumptions 1–7; the real problem is the metadata abstract's replacement of 'extremum' by 'any field configuration', which is false whenever a type-II minimum lies below the type-I minimum.","rationale":"The theorem itself survives scrutiny. The proof's formal structure is sound: the decomposition V=V_(2)+V_(4), Euler's theorem, the identity V=L^T X/2 at any extremum, and the subtraction in Eq. (41) all check out. I independently rederived the two-doublet analogue and recovered Eq. (45) exactly, including the cancellation of cross terms. The reader's weakest assumption, the restricted potential Eq. (12), is a genuine limitation of applicability but not a flaw, since it is stated as an explicit hypothesis. The issue I find most load-bearing is the mismatch between the metadata abstract and the theorem: the abstract drops the word 'extremum', and the resulting statement is false in exactly the situation the authors themselves flag in Corollary 1.1. This warrants the same CONDITIONAL verdict the reader gave, primarily to force a correction of the abstract wording. My concrete test exhibits parameters where the false overclaim fails while the theorem holds, so the check is decisive about the wording issue and harmless to the theorem's validity.","tokens_in":3,"tokens_out":28761,"duration_ms":460336,"concrete_test":"Use the U(1)-symmetric 2HDM of Appendix A, Eq. (A2), with mu0^2=-1, lambda00=1, mu1^2=-2, lambda11=1, lambda01=3, lambda'_01=0. The type-I point v_b=1 has V_I=-1/2 and squared masses m_c^2=m_d^2=mu1^2+lambda01=1>0, so Theorem 1 applies. The type-II point |v_d|=sqrt(2) has V_II=-2<V_I. Along the straight path (b,d)=(1-t, sqrt(2)t) for t in (0,1), both fields have nonzero VEVs and, by continuity, V(t) dips below -1/2 near t=1; for instance t=0.9 gives V approximately -1.89. These intermediate points are not extrema, so they do not violate Theorem 1, but they explicitly falsify the metadata abstract's 'any field configuration' wording.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I checked the proof line by line and found no mathematical gap. Eq. (27) follows from Euler's theorem and the stationarity condition; Eq. (41) is an algebraic identity using V = L^T X / 2 at each extremum; and Eqs. (38)–(45) correctly reduce the type-I/type-III depth difference to 1/2 sum m^2_{psi_k,I} |v_{psi_k,I}|^2. The restricted form of the potential in Eq. (12) is an explicit assumption, so the absence of general-2HDM terms such as lambda5,6,7 is a scope boundary, not an internal inconsistency. The load-bearing concern is the metadata abstract's overclaim. Theorem 1 compares extrema, but the first abstract says the type-I minimum is lower than any field configuration with both Phi and Psi VEVs. This is not merely imprecise: Corollary 1.1 explicitly allows a type-II extremum to be the global minimum below the type-I local minimum. Whenever V_II < V_I, a continuous path from the type-I point to the type-II minimum necessarily contains non-stationary configurations with both Phi and Psi nonzero whose potential lies below V_I. Thus the metadata abstract asserts a statement contradicted by the paper's own corollary; the full-text abstract and Theorem 1 remain sound.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proves a vacuum-stability theorem for scalar sectors consisting of the Standard Model Higgs doublet Phi and N additional SU(2) multiplets Psi_k (k=1,...,N) with arbitrary isospin and hypercharge, under seven explicit assumptions on the scalar potential. The main result (Theorem 1, Section II) states that if an extremum of type I (only Phi has a nonzero VEV) is a local minimum, then its potential value is lower than that of any type-0 extremum (all VEVs zero) and any type-III extremum (both Phi and at least one Psi have nonzero VEVs). The proof (Section III) uses Euler's theorem to express the potential at any extremum as V = L^T X / 2 (Eq. 27), derives a derivative identity for the depth difference (Eq. 41), and reduces V_III - V_I to one half of the sum of the squared masses of the Psi fields at the type-I point times the squared magnitudes of their VEVs at the type-III point (Eq. 45), which is positive by the local-minimum assumption. The authors also state Corollary 1.1: the global minimum is either the type-I minimum or a type-II minimum (where only Psi fields have VEVs). An application to the U(1)-symmetric 2HDM is given in Appendix A.","tokens_in":1381,"tokens_out":1859,"duration_ms":146649,"significance":"The theorem is a clean and useful generalization of the Ferreira-Goncalves result, extending it from a single triplet to arbitrary multiplets and multiple fields. The proof is self-contained, explicit, and makes no use of fitted parameters or of the conclusion; the mass formula (Eq. 36) and the stationarity condition (Eq. 39) are derived from first principles. If accepted, the result provides a practical shortcut for vacuum-stability analyses in BSM and dark-matter models. The scope, however, is limited by Assumption 7: the potential must have no mixed Phi-Psi bilinear, trilinear, or quartic invariants beyond F0Fk and F0k, which excludes, for example, the lambda5,6,7 terms of the general 2HDM; this restriction is explicitly stated. A serious presentation issue is that the arXiv metadata abstract overstates the theorem by replacing 'extremum' with 'any field configuration', a statement that is contradicted by the paper's own Corollary 1.1.","major_comments":[{"comment":"The first abstract states: 'if the field configuration where only Phi has a nonzero VEV is a local minimum of the potential, then it has a lower value of the potential than any field configuration where both Phi and other scalar multiplets have nonzero VEVs.' This is false. Theorem 1 and Corollary 1.1 (Section II) compare only extrema of the potential, and the paper itself notes (Section I and Section IV) that a type-II extremum, where only the Psi fields have VEVs, may lie below the type-I minimum. Whenever a type-II minimum V_II is below the type-I value V_I, any continuous path in field space from the type-I point to the type-II point necessarily contains non-stationary configurations with both Phi and Psi nonzero whose potential is below V_I. Thus the metadata abstract asserts a statement contradicted by the paper's own corollary. The full-text abstract correctly says 'any extremum'. The metadata abstract should be amended to refer to extrema (or stationary points) only.","section":"Abstract (arXiv metadata block)"}],"minor_comments":[{"comment":"The left-hand side of Eq. (A11b) should read v_d^2 (or |v_d|^2) rather than v_d: the right-hand side has mass dimension two, and the subsequent substitution in Eq. (A12) treats the quantity as the squared VEV.","section":"Appendix A, Eq. (A11b)"},{"comment":"The notation 'X|phi=phiI' in Eqs. (40a) and (40c) is redundant with the definitions of X_I and X_III; using X_I and X_III would improve readability.","section":"Section III, Eqs. (40)"},{"comment":"The parenthetical 'the precise conditions on the scalar potential are less stringent' is vague, because Assumptions 1-7 in Section II are actually quite restrictive (no mixed bilinears or trilinears, and only the quartic invariants F0Fk and F0k). Consider stating the key structural restriction explicitly in the abstract.","section":"Full-text Abstract"},{"comment":"The matrix entries in Eq. (18c) contain a stray comma in 'lambda_11, ... lambda_1N'; the formatting should be consistent with the other rows.","section":"Eq. (18c)"},{"comment":"The denominators in Eq. (A10) and Eq. (A12) have opposite overall signs ((lambda3+lambda4)^2 - lambda1*lambda2 versus lambda1*lambda2 - (lambda3+lambda4)^2). The equality is correct because of the sign choice in Eq. (A11b), but a reader may momentarily think there is an inconsistency; a brief parenthetical noting the sign convention would help.","section":"Appendix A, Eqs. (A10) and (A12)"}],"recommendation":"major_revision","confidential_remarks":"The mathematical proof of Theorem 1 is sound and the paper is likely publishable after the abstract is corrected. The only substantive issue is the overclaim in the arXiv metadata abstract, which should be fixed by changing 'any field configuration' to 'any extremum'. The scope restriction in Assumption 7 is stated explicitly and should not block publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things about this paper. First, Theorem 1 is right, and the proof is genuinely clean. Second, the arXiv metadata abstract overclaims: it says the type-I minimum lies below \"any field configuration\" with both Higgs and other VEVs, but the full-text abstract and the theorem itself say \"any extremum.\" That distinction matters, and the metadata version is false whenever a type-II extremum is the global minimum below the type-I point—their own Corollary 1.1 admits that possibility. The fix is a one-word correction; the math is untouched.\n\nWhat is actually new: the paper generalizes Ferreira–Gonçalves from a single triplet to N arbitrary SU(2) multiplets with arbitrary hypercharges, under an explicitly stated restricted potential. The proof uses Euler's theorem to reduce the potential at any extremum to V = L^T X / 2, then a derivative identity to express the type-I/type-III depth difference as 1/2 sum m^2_{ψ_k,I} |v_{ψ_k,I}|^2. Because the type-I minimum has positive masses-squared for all the ψ modes, that gap is strictly positive. The argument is self-contained, parameter-free, and recovers the known NHDM depth relation. No circularity, no fitted parameters. Credit where due: this is a useful model-building tool, not a physics-discovery paper.\n\nThe soft spots are proportional and mostly scope-related. Assumptions 1–7 are fairly restrictive: no trilinear terms, no mixed bilinears, no (Φ†Ψ)^2 quartic terms, and no λ5,6,7 in the 2HDM language. That is an explicit boundary rather than an internal inconsistency, but readers should not cite the theorem outside that boundary. The type-II sector is left unconstrained—the theorem only says the global minimum is either the type-I point or a type-II minimum. That is honest, but it limits the practical payoff. And the metadata abstract wording is a genuine flaw, not a pedantic one; the stress-test note is correct that a continuous path to a lower type-II minimum would contain non-stationary configurations below V_I, directly contradicting the metadata claim.\n\nWho is this for? Model builders doing vacuum stability in BSM scalar sectors, especially dark matter models with inert multiplets. The theorem saves them from checking a large class of mixed-extremum configurations. It deserves a serious referee; the proof is short enough to verify line by line, and the referee should insist the abstract be aligned with the theorem. I'd take it to peer review as is, with a request for a minor revision on the abstract wording.","headline":"The theorem is correct and the proof is clean; the only real problem is the metadata abstract overstating 'extremum' as 'any field configuration', which is false and contradicts their own corollary.","tokens_in":11175,"tokens_out":1927,"would_cite":true,"duration_ms":19410,"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":"A stable vacuum in which only the Higgs doublet has a VEV lies below every extremum where both the Higgs and extra scalar multiplets have VEVs, for any number of extra multiplets with arbitrary hypercharge, provided the potential takes…","keywords":["vacuum stability","scalar potential","Higgs doublet","SU(2) multiplets","type-I vacuum","inert doublet model","global minimum","2HDM"],"falsifier":"Search the U(1)-symmetric 2HDM parameter space where $m_c^2$ and $m_d^2$ are positive but where an extra coupling $(\\Phi^\\dagger \\Psi)^2$ is present; if any such point admits a type-III extremum with $V_{III} < V_I$ while the type-I point remains a local minimum, the restricted-potential premise of the theorem is violated. Constructing any explicit counterexample potential in this class would settle the boundary of the claim.","tokens_in":10176,"feed_emoji":"⚛️","tokens_out":5420,"duration_ms":50337,"temperature":0.7,"pith_summary":"The paper proves a vacuum-stability theorem for Standard Model extensions whose scalar sector contains the Higgs doublet plus any number of SU(2) multiplets with arbitrary hypercharges, provided the scalar potential has the restricted form of Eq. (12). The claim is that if the field configuration in which only the Higgs doublet has a nonzero vacuum expectation value is a local minimum, then that configuration has a lower value of the potential than the origin and than every extremum in which the Higgs and at least one extra multiplet both have nonzero VEVs. This means the global minimum is either that Higgs-only vacuum or else a configuration in which the extra multiplets alone have VEVs; mixed vacua never need to be checked. The result generalizes an earlier proof for a doublet-plus-triplet model and shortens the vacuum search in dark-matter and grand-unified constructions.","feed_headline":"Higgs-only vacuum beats all mixed extrema","feed_subtitle":"A broad class of potentials: skip mixed-vacuum scans; the global minimum is either Higgs-only or extras-only.","key_machinery":"The central object is the potential form of Eq. (12), built from the SU(2)-invariant quantities $F_0 = |\\phi_1|^2 + |\\phi_2|^2$, $F_k = \\sum_I |\\psi_{k,I}|^2$, and the mixed invariant $F_{0k}$ constructed from the isospin-triplet parts of $\\Phi \\otimes \\tilde\\Phi$ and $\\Psi_k \\otimes \\tilde\\Psi_k$. The argument decomposes the potential into homogeneous functions of degree 2 and degree 4, applies Euler's theorem to obtain $V = L^T X / 2$ at any extremum, and then uses the relative-depth formula of Eq. (41) to convert the difference $V_{III} - V_I$ into one half of the sum of $m^2_{\\psi_{k,I}} |v_{\\psi_{k,I}}|^2$, with the mass formula given in Eq. (36).","core_discovery":"Theorem 1 states that, under Assumptions 1 through 7, a local type-I minimum of the scalar potential has a lower expectation value of the potential than any type-0 or type-III extremum. The proof shows that $V_0 > V_I$ and that the gap to any type-III extremum is exactly $V_{III} - V_I = \\frac12 \\sum_{k,I} m^2_{\\psi_{k,I}} |v_{\\psi_{k,I}}|^2 > 0$, where $m^2_{\\psi_{k,I}}$ are the masses-squared of the extra-multiplet scalars evaluated at the type-I minimum. Consequently, the global minimum of the potential is either that type-I minimum or a type-II minimum in which only the extra multiplets have VEVs. The proof uses Euler's theorem for homogeneous functions to write $V = L^T X / 2$ at any extremum, which reduces the depth comparison to a mass-squared-weighted norm of the extra-multiplet VEVs.","pith_inferences":["Editorial inference: if a model departs from Eq. (12) by adding terms such as the usual 2HDM couplings $(\\Phi^\\dagger \\Psi)^2$ or $\\lambda_6, \\lambda_7$, the mass formula (36) no longer captures the mixed-sector spectrum, and the theorem's conclusion is not guaranteed; the theorem is best read as a sufficient condition tied to the restricted potential class.","Editorial inference: the same proof structure, relying only on homogeneity and on the depth formula, suggests that analogous results may hold for other gauge groups or for multi-scalar sectors whenever the potential can be organized into degree-2 and degree-4 invariants of the same type.","Editorial inference: a direct numerical test of the theorem's boundary would be to take a benchmark point in the U(1)-symmetric 2HDM, add a small $\\lambda_5$ term, and check whether the type-I minimum can be overtaken by a mixed extremum while remaining a local minimum."],"forward_implications":["For any model in this potential class, a stable vacuum that breaks the electroweak symmetry only through the Higgs doublet is automatically deeper than any vacuum in which Higgs and extra multiplets both get VEVs, so no numerical scan over type-III candidates is needed.","The global minimum problem reduces to comparing only the type-I minimum against type-II minima, where only the extra multiplets have VEVs.","In the U(1)-symmetric two-Higgs-doublet model, the stability of the inert vacuum against mixed vacua reduces to positivity of the two masses $m_c^2$ and $m_d^2$; the paper rederives a known condition and shows it is automatically satisfied at a local type-I minimum.","The theorem applies to scalar sectors containing several SU(2) multiplets with various hypercharges, including the quadruplets and quintuplets that appear in some grand-unified models, simplifying their vacuum-stability checks.","The physical masses of the extra scalars at the type-I minimum control the depth ordering: a heavier extra scalar makes a mixed vacuum more disfavored."],"supporting_citations":[{"why":"Supplies the original doublet-plus-triplet theorem that this paper generalizes to arbitrary SU(2) multiplets.","marker":"[1]"},{"why":"Gives the earlier result that the relative depth of extrema is tied to mass-squared matrices; the paper recovers it as a special case.","marker":"[14]"},{"why":"Provides the standard 2HDM notation used in Appendix A to recast the potential and compare with the literature.","marker":"[17]"},{"why":"Supplies Euler's theorem for homogeneous functions, which is the key step giving $V = L^T X / 2$ at any extremum.","marker":"[20]"},{"why":"States the inert-doublet stability condition that the paper rederives as $V_{III}^B - V_I = \\frac12 m_d^2 |v_d|^2$.","marker":"[21]"}],"fun_headline_variants":["Local Higgs minimum beats all mixed vacua","Proven: Higgs-only vacuum wins over mixed states","Mixed vacua never beat a Higgs-only local minimum","Theorem: Local Higgs min implies global min is Higgs or extras","If Higgs-only is a local min, it is deeper than mixed extrema"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the scalar potential contains no mixed bilinear, trilinear, or quartic terms beyond the $F_0 F_k$ and $F_{0k}$ couplings of Eq. (12); add a term like the standard 2HDM's $(\\Phi^\\dagger \\Psi)^2$ and the theorem's comparison is no longer guaranteed.","fun_headline_variants_meta":{"raw":{"variants":["Local Higgs minimum beats all mixed vacua","Proven: Higgs-only vacuum wins over mixed states","Mixed vacua never beat a Higgs-only local minimum","Theorem: Local Higgs min implies global min is Higgs or extras","If Higgs-only is a local min, it is deeper than mixed extrema"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000651,"raw_usage":{"total_tokens":2924,"prompt_tokens":823,"completion_tokens":2101,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":439,"completion_tokens_details":{"reasoning_tokens":2020}},"tokens_in":439,"tokens_out":2101,"duration_ms":14609,"temperature":1.0,"reasoning_tokens":2020,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T10:34:56.056607+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Search the U(1)-symmetric 2HDM parameter space where $m_c^2$ and $m_d^2$ are positive but where an extra coupling $(\\Phi^\\dagger \\Psi)^2$ is present; if any such point admits a type-III extremum with $V_{III} < V_I$ while the type-I point remains a local minimum, the restricted-potential premise of the theorem is violated. Constructing any explicit counterexample potential in this class would settle the boundary of the claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the original doublet-plus-triplet theorem that this paper generalizes to arbitrary SU(2) multiplets."}],"review_version":1}