Pith. sign in

REVIEW 1 major objections 5 minor 29 references

Theorem on vacuum stability

T0 review · 1 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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…

desk verdict 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. read the letter →

arxiv 2411.19063 v4 pith:UTQ26MUF submitted 2024-11-28 hep-ph hep-th

André Milagre , Luís Lavoura This is my paper · ORCID
classification hep-phhep-th
keywords vacuumstabilityscalarpotentialHiggsdoubletSU(2)multipletstype-Iinertmodelglobalminimum2HDM
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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).

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 5 minor

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.

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 (1)
  1. [Abstract (arXiv metadata block)] 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.
minor comments (5)
  1. [Appendix A, Eq. (A11b)] 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.
  2. [Section III, Eqs. (40)] 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.
  3. [Full-text Abstract] 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.
  4. [Eq. (18c)] The matrix entries in Eq. (18c) contain a stray comma in 'lambda_11, ... lambda_1N'; the formatting should be consistent with the other rows.
  5. [Appendix A, Eqs. (A10) and (A12)] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 1 is proved from explicitly stated assumptions with a self-contained algebraic argument.

full rationale

The derivation is fully self-contained. Theorem 1 is proved from the explicit assumption that V has the restricted form in Eq. (12); the proof uses only Euler's homogeneous-function theorem (Eqs. (23)-(27)), the stationarity conditions (Eq. (25)), and the algebraic identity Eq. (41) to reduce the type-I/type-III depth difference to V_III - V_I = 1/2 sum m^2_{psi_k,I} |v_{psi_k,I}|^2 (Eq. (45)), which is positive by the local-minimum assumption. No parameter is fitted, no prediction is equivalent to an input, and the cited results (FG, Ref. [14]) are used for context or comparison, not as load-bearing premises. The only flagged concern is a metadata-abstract overstatement: the first abstract says 'any field configuration' while the full text and Theorem 1 correctly say 'any extremum'. That is a correctness/scope issue, not circularity. Self-citations (Refs. [17,19]) appear only in illustrating notation, comparing with the U(1)-symmetric 2HDM, and giving unitarity context; they are not load-bearing for the theorem's proof.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fit; the theorem is parameter-free within the stated potential class. The only cost is the restrictive but explicit form of the scalar potential, especially assumption 7. No new particles, forces, or symmetries are introduced.

assumptions (5)
  • domain assumption SU(2) x U(1) gauge invariance and renormalizability, with no linear, trilinear, or mixed-bilinear terms in the scalar potential.
    Assumptions 1-6 in Section II. These restrict the class of scalar potentials to which the theorem applies.
  • domain assumption The only mixed Phi-Psi quartic invariants are F0 Fk and F0k, constructed from (Phi tensor Phitilde tensor Psi_k tensor Psitilde_k).
    Assumption 7 and Eq. (12). This is load-bearing: the proof of Eq. (39) and the mass formula Eq. (36) uses this restricted form.
  • domain assumption At the type-I extremum all non-Goldstone scalar masses-squared are positive, in particular m^2_{psi_{k,I}} > 0.
    This is part of the hypothesis that the type-I point is a local minimum; used at the end of Section III to conclude the sum in Eq. (45) is positive.
  • standard math Euler's homogeneous function theorem and standard linear algebra for homogeneous polynomials.
    Used in Eqs. (23)-(27) to express the potential at any extremum as V = L^T X / 2.
  • domain assumption Existence of the type-III extremum and use of an SU(2) rotation to align the Phi VEV in phi2.
    Without loss of generality rotation in Section IIID; the proof compares coexisting extrema of types I and III.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Theorem on vacuum stability." pith.science (2026). https://pith.science/paper/UTQ26MUF

@misc{pith2026241119063,
  author       = {Pith},
  title        = {Pith review of: Theorem on vacuum stability},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UTQ26MUF}},
  note         = {Machine review of arXiv:2411.19063}
}
abstract

We consider an extension of the Standard Model with one or more scalar multiplets beyond the Higgs doublet $\Phi$. The additional scalar multiplets are supposed to carry arbitrary hypercharges. We prove that, in such a model, if the field configuration where only $\Phi$ has a nonzero vacuum expectation value (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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 9 canonical work pages

  1. [1]

    V is invariant under the gauge symmetry SU (2) × U (1)

    work page

  2. [2]

    it does not contain any terms with more than four fields

    V is renormalizable, i.e. it does not contain any terms with more than four fields

    work page

  3. [3]

    This is a trivial consequence of SU (2) × U (1)- invariance in the case of a Ψ k that is not SU (2) × U (1)-invariant

    V does not contain any linear terms. This is a trivial consequence of SU (2) × U (1)- invariance in the case of a Ψ k that is not SU (2) × U (1)-invariant. Else, it may be achieved, for instance, through an additional symmetry Ψ k → −Ψk for each Ψk which is SU (2) × U (1)-invariant; or else by collecting all such Ψ k in a non-trivial represen- tation of s...

    work page

  4. [4]

    This may be a consequence either of the SU (2) × U (1) symmetry or of some additional (non-gauge) symmetry

    V does not contain any trilinear terms. This may be a consequence either of the SU (2) × U (1) symmetry or of some additional (non-gauge) symmetry. For instance, if a Ψk has half-integer Jk, then SU (2)-invariance forbids any trilinear term only with 3 Φ and that Ψ k. Another instance: if a Ψ k is a triplet of SU (2), then SU (2) × U (1)- invariance forbi...

    work page

  5. [5]

    V does not contain any bilinear terms with two different multiplets. These may be terms of the form either Φ⊗ Ψk or Ψk ⊗ Ψk′ with k ̸= k′; they may be eliminated either by the gauge symmetry (for instance, if Φ and all the Ψ k have different isospins), or by some additional symmetry, like a separate rephasing symmetry Ψ k → Ψk exp (iϑk) for each k

    work page

  6. [6]

    V also does not contain any bilinear terms of the form Ψ k ⊗ Ψk, but for Fk ≡ JkX I=−Jk |ψk,I |2 . (6) For instance, in the case of the triplet ∆ of the previous section, there might be a term tr (∆2) = ( δ2)2 − 2δ1δ3 in the scalar potential; we assume that some symmetry eliminates that term. Once again, a U (1) symmetry Ψ k → Ψk exp (iϑk) for each k is t...

    work page

  7. [7]

    other terms quartic in the Ψ k

    The only SU (2) × U (1)-invariant terms in V with both Φ and Ψ k are constructed out of Φ ⊗ eΦ ⊗ Ψk ⊗ eΨk . (7) From the product of Φ and eΦ we get both a singlet and a triplet of SU (2): F0 ≡ Φ ⊗ eΦ 1 = |ϕ1|2 + |ϕ2|2 , (8a) Φ ⊗ eΦ 3 =   ϕ1ϕ∗ 2 |ϕ2|2 − |ϕ1|2 √ 2 −ϕ∗ 1ϕ2   . (8b) As a consequence, only two SU (2) invariants may be built from the ...

    arXiv 2020

  8. [8]

    P. M. Ferreira and B. L. Gon¸ calves, J. High Energ. Phys. 2020, 182 (2020) [e-Print: arXiv:1911.09746 [hep-ph]]

    arXiv 2020

Show all 29 references
  1. [9]

    P. M. Ferreira, R. Santos, and A. Barroso, Phys. Lett. B 603, 219–229 (2004) [erratum: Phys. Lett. B 629, 114–114 (2005)] [e-Print: arXiv:hep-ph/0406231 [hep-ph]]. 13

    2004 arXiv

  2. [10]

    Barroso, P

    A. Barroso, P. M. Ferreira, and R. Santos, Phys. Lett. B 632, 684–687 (2006) [e-Print: arXiv:hep-ph/0507224 [hep-ph]]

    2006 arXiv

  3. [11]

    B´ elanger, K

    G. B´ elanger, K. Kannike, A. Pukhov, and M. Raidal, JCAP 01, 022 (2013) [e-Print: arXiv:hep-ph/1211.1014 [hep-ph]]

    2013 arXiv

  4. [12]

    P. M. Ferreira, Phys. Rev. D 94, 096011 (2016) [e-Print: arXiv:hep-ph/1607.06101 [hep-ph]]

    2016 arXiv

  5. [13]

    P. S. Bhupal Dev, R. N. Mohapatra, W. Rodejohann, and X.-J. Xu, J. High Energ. Phys. 02, 154 (2019) [e-Print: arXiv:hep-ph/1811.06869 [hep-ph]]

    2019 arXiv

  6. [14]

    Azevedo, P

    D. Azevedo, P. Ferreira, H. E. Logan, and R. Santos, J. High Energ. Phys. 03, 221 (2021) [e-Print: arXiv:hep-ph/2012.07758 [hep-ph]]

    2021 arXiv

  7. [15]

    Hartling, K

    K. Hartling, K. Kumar and H. E. Logan, Phys. Rev. D 90, 015007 (2014) [e-Print: arXiv:hep-ph/1404.2640 [hep-ph]]

    2014 arXiv

  8. [16]

    P. M. Ferreira, M. M¨ uhlleitner, R. Santos, G. Weiglein, and J. Wittbrodt, J. High Energ. Phys. 09, 006 (2019) [e-Print: arXiv:hep-ph/1905.10234 [hep-ph]]

    2019 arXiv

  9. [17]

    I. P. Ivanov and C. C. Nishi, J. High Energ. Phys. 01, 021 (2015) [e-Print: arXiv:hep-ph/1410.6139 [hep-ph]]

    2015 arXiv

  10. [18]

    F. S. Faro and I. P. Ivanov, Phys. Rev. D 100, 035038 (2019) [e-Print: arXiv:hep-ph/1907.01963 [hep-ph]]

    2019 arXiv

  11. [19]

    Hern´ andez-S´ anchez, V

    J. Hern´ andez-S´ anchez, V. Keus, S. Moretti, D. Rojas-Ciofalo, and D. Soko lowska, e-Print arXiv:hep-ph/2012.11621 [hep-ph]

    2012 arXiv

  12. [20]

    R. Boto, P. N. Figueiredo, J. C. Rom˜ ao, and J. P. Silva, J. High Energ. Phys. 11, 108 (2024) [e-Print: arXiv:hep-ph/2407.15933 [hep-ph]]

    2024 arXiv

  13. [21]

    Barroso, P

    A. Barroso, P. M. Ferreira, R. Santos, and J. P. Silva,Phys. Rev. D 74, 085016 (2006) [e-Print: arXiv:hep-ph/0608282 [hep-ph]]

    2006 arXiv

  14. [22]

    C. C. Nishi, Phys. Rev. D 76, 055013 (2007) [e-Print: arXiv:hep-ph/0706.2685 [hep-ph]]

    2007 arXiv

  15. [23]

    I. P. Ivanov and C. C. Nishi, Phys. Rev. D 82, 015014 (2010) [e-Print: arXiv:hep-ph/1004.1799 [hep-th]]

    2010 arXiv

  16. [24]

    G. C. Branco, P. M. Ferreira, L. Lavoura, M. N. Rebelo, M. Sher and J. P. Silva, Phys. Rept. 516, 1-102 (2012) [e-Print: arXiv:1106.0034 [hep-ph]]

    2012 arXiv

  17. [25]

    Hally, H

    K. Hally, H. E. Logan, and T. Pilkington, Phys. Rev. D 85, 095017 (2012) [e-Print: arXiv:1202.5073 [hep-ph]]

    2012 arXiv

  18. [26]

    Milagre and L

    A. Milagre and L. Lavoura, Nucl. Phys. B 1004, 116542 (2024) [e-Print: arXiv:2403.12914 [hep-ph]]

    2024 arXiv

  19. [27]

    On the Differentiation of Functions of Two or More Variables

    See, for instance: L. Euler, “On the Differentiation of Functions of Two or More Variables”, in Foundations of Differential Calculus , Springer, New York, NY (2000), pp. 130–131, DOI: 10.1007/0-387-22645-1 7

    2000 doi

  20. [28]

    I. F. Ginzburg, K. A. Kanishev, M. Krawczyk and D. Sokolowska, Phys. Rev. D 82, 123533 (2010) [e-Print: arXiv:1009.4593 [hep-ph]]

    2010 arXiv

  21. [29]

    Jueid, J

    A. Jueid, J. Kim, S. Lee, S. Y. Shim and J. Song, Phys. Rev. D 102, 075011 (2020) [e-Print: arXiv:2006.10263 [hep-ph]]. 14

    2020 arXiv

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.