## Consistent Use of the Standard Model Effective Potential

Anders Andreassen, ∗ William Frost, † and Matthew D. Schwartz ‡ Department of Physics, Harvard University, Cambridge, MA 02138, USA

The stability of the Standard Model is determined by the true minimum of the effective Higgs potential. We show that the potential at its minimum when computed by the traditional method is strongly dependent on the gauge parameter. It moreover depends on the scale where the potential is calculated. We provide a consistent method for determining absolute stability independent of both gauge and calculation scale, order by order in perturbation theory. This leads to a revised stability bounds m pole h &gt; (129 4 . ± 2 3) GeV and . m pole t &lt; (171 2 . ± 0 3) GeV. . We also show how to evaluate the effect of new physics on the stability bound without resorting to unphysical field values.

An intriguing consequence of the recent discovery of the Higgs boson is that its mass apparently places the Standard Model (SM) near the border between absolute stability and metastability [1, 2]. A renowned plot, Fig. 3 of [2], shows the standard model lying close to the end of a metastability funnel in the Higgs-mass/top-mass plane. This unanticipated tuning has inspired a fair amount of speculation about its possible origin and implications. Stability is normally determined by examining the zerotemperature effective potential V for the SM [1-5]: if this potential has a negative minimum at large field values, the SM is said to be unstable; if the inverse decay rate for tunneling out of the electroweak minimum is larger than the lifetime of the universe, the SM is said to be metastable. While these criteria are physical, the extraction of numerical bounds within a consistent perturbation expansion is not straightforward.

One complication in making physical predictions with V is that effective potentials are not gauge-invariant [6]. Although physical quantities extracted from an effective potential (or more generally from an effective action) must be gauge-invariant, there have been surprisingly few explicit checks [7-10]. The traditional approach is simply to work in Landau gauge where calculations are easiest and to assume that the approximations used are self-consistent.

Progress in understanding the gauge-dependence was made by Nielsen [11] and independently by Kugo and Fukuda [12] in 1975. One result from these papers is that the effective potential satisfies a differential equation:

$$\left ( \xi \frac { \partial } { \partial \xi } + C ( h, \xi ) \frac { \partial } { \partial h } \right ) V ( h, \xi ) = 0 \quad \ \ ( 1 ) \quad \stackrel { \tilde { \text{wav} } } { \text{ term} } \\ \sim \lambda _ { \infty }$$

where ξ is the gauge parameter in Fermi gauges and C h,ξ ( ) is a calculable function. This Nielsen identity says that the gauge-dependence of the effective potential can be compensated for by a rescaling of the scalar field h . Two generic implications are that 1) the value of the field h can never be physical, since any rescaling of the field can be compensated by a gauge-change and 2) the value of V ( h, ξ ) at an extremum in h should be gaugeinvariant. Gauge-dependent quantities then include the value of V at any non-extremal point, and the value of h at any point (extremal or not). It is worth noting that Eq. (1) is not quite as powerful as it might seem, since C h,ξ ( ) can be infinite in perturbation theory [9, 11, 13].

Despite the widespread contentment with Landau gauge, the gauge dependence of the effective potential has occasionally caused some discomfort [14-18]. A handful of papers have proposed field redefinitions to generate a gauge-independent potential [19-21]. This approach purportedly allows the effective potential to be used like a classical potential, assigning physical significance to both field values and the potential at each point. However, it is not clear why removing the gauge-dependence automatically makes the potential physical. Moreover, for the field redefinition to be justified it should leave physical quantities unchanged; in that case, we may as well work with fields that make the calculations easiest.

The effective potential has another feature which has not generally been appreciated: it depends on the scale where it is calculated. To see this, note that V satisfies a renormalization group equation [22]:

$$\left ( \mu \frac { \partial } { \partial \mu } - \gamma h \frac { \partial } { \partial h } + \beta _ { i } \frac { \partial } { \partial \lambda _ { i } } \right ) V = 0 \text{ \quad \ \ } \text{(2)}$$

This equation says that the explicit µ -dependence of the potential can be compensated for by rescaling the couplings according to their β -functions and rescaling the field h according to its anomalous dimension, γ . Thus, if we know the potential at a scale µ 0 in terms of the couplings λ i ( µ 0 ) we can find it at a scale µ by solving this equation. Call this method 1. Alternatively, we could have just computed it at the scale µ to begin with, in terms of the couplings λ i ( µ ). Call this method 2. Methods 1 and 2 do not give the same potential, to any order or to all orders in perturbation theory. They differ by the rescaling of the field h . This is not a problem, since we have already concluded from Eq. (1) that physical quantities extracted from V should be independent of field rescaling. The additional freedom of choosing µ 0 illustrates that even in a fixed gauge or with gauge-invariant composite fields, field values are still unphysical.

The unphysical nature of V may be less unsettling after recalling that the effective potential is the constant-field limit of the 1PI effective action. The vertices of this

action at tree-level produce 1PI correlation functions, which can be gauge and scale dependent and satisfy an RGE like Eq. (2). Gauge-invariant S -matrix elements are related to correlation functions by amputation and (in MS) gauge-dependent wave-function renormalization Z -factors. These factors also compensate the scale dependence, letting the S -matrix satisfy an RGE like Eq. (2) without the γ term.

Fortuitously, the value of the potential at a minimum, V min , (or at any extremum) is both gauge-invariant and independent of the scale where it is calculated, without extra Z -factors. The former invariance follows from Eq. (1) and the latter invariance holds simply because the value of any function at any extremum is invariant under any rescaling of its argument. Since the absolute stability bound in the SM is determined by the condition V min &lt; V EW ≈ 0, with V EW the energy of our vacuum (usually renormalized to zero), the bound should be gauge-independent. Unfortunately, gauge-invariance has only been proven non-perturbatively. Indeed, we find that the stability bound is gauge-dependent at each order in perturbation theory if computed by the traditional approach (see Fig. 1 or [18]). In [13], it was shown how effective potential calculations can be reorganized so that V min is gauge-invariant order-by-order. In this paper, we review this 'consistent approach' and apply it to the SM.

We write the SM effective potential as V ( h ), where in unitary gauge the Higgs doublet is normalized as H = 1 √ 2 ( 0 v EW + h ) . The traditional perturbation approach leads to a renormalization-group-improved effective potential of the form [2]

$$V ( h ) = \frac { 1 } { 4 } h ^ { 4 } e ^ { 4 \Gamma ( h ) } \left [ \lambda _ { \text{eff} } ^ { ( 0 ) } ( \mu = h ) + \lambda _ { \text{eff} } ^ { ( 1 ) } ( \mu = h ) + \cdots \right ] \quad \text{(indep} \\ \dots \dots \quad \text{$e$} h \quad \dots \dots \quad \dots \quad \dots \quad \text{noton}$$

with Γ( h ) ≡ ∫ h m t γ µ ( ′ ) dµ ′ µ ′ and 1 4 λ ( j ) eff ( µ h ) 4 the j -loop fixed-order effective potential.

Since stability is determined by large field values and the potential grows as h 4 , the quadratic term -m h 2 2 in the classical potential can be neglected to excellent accuracy. Then the electroweak minimum is at V EW = 0 and the stability bound is determined as the critical Higgs pole mass for which the potential has another minimum with V min = 0. The physical Higgs mass enters through threshold corrections at the weak scale which convert observables into MS couplings. Currently, the β -functions and γ are known to 3-loop order in general R ξ gauges, the fixed-order potential is known to 2-loop order in Landau gauge ( ξ = 0), and the threshold corrections are known to 2 loops (an alternate scheme is discussed in [23]). Using Eq. (3) and the best available data, Ref. [2] found an absolute stability bound of m pole h &gt; (129 1 . ± 1 5) . GeV. Using equations from [2], with some minor corrections confirmed by its authors, and including tau and bottom contributions, we have re- produced this result. We now update the top mass to m pole t = (173 34 . ± 1 12) GeV, with the central value and . ± 0 76 . GeV of the uncertainty from [24], and an additional 0 82GeV theory uncertainty added in quadrature . due to the ambiguity in converting from a Monte Carlo mass scheme to a pole mass scheme [25, 26]. Also including the 3-loop QCD threshold corrections to λ listed but not used in [2], we update this traditional-approach bound to m pole h &gt; (129 67 . ± 1 5) GeV. .

The gauge-dependence of the stability bound at 1-loop is shown in Fig. 1, to be discussed more below. The reason the stability bound appears gauge dependent is due to an improper use of perturbation theory. The key insight, made long ago by Coleman and Weinberg [22] is that the usual loop expansion is inappropriate for effective potentials near quantum-generated minima. Simply put, the classical potential V 0 ∼ λh 4 can only turn over due to 1-loop corrections of the form V 1 ∼ g 4 glyph[planckover2pi1] 16 π 2 h 4 for some g if λ ∼ g 4 glyph[planckover2pi1] 16 π 2 . Since λ ∼ glyph[planckover2pi1] , each factor of λ in a diagram changes its effective loop order. Thus perturbation theory in glyph[planckover2pi1] may still be appropriate, but since λ ∼ glyph[planckover2pi1] it is not the usual loop expansion.

An additional complication is that the effective potential has terms scaling like inverse powers of glyph[planckover2pi1] . For example, a term ∼ glyph[planckover2pi1] 3 g 10 λ -1 appears at 3-loops; since λ counts as glyph[planckover2pi1] , this term scales like glyph[planckover2pi1] 2 and contributes competitively with the 2-loop terms. Including all relevant terms according to this modified power counting, it was shown in [13] that V min is indeed gauge-invariant in scalar QED. The required terms include the 2-loop effective potential in R ξ gauge as well as an infinite series of 'daisy' loops producing terms in V proportional to g 4 +2 j λ 1 -j .

The consistent method for an order-by-order gaugeindependent calculation of V min presented in [13] translates to the SM as follows. First, we truncate the effective potential to order glyph[planckover2pi1] with λ ∼ glyph[planckover2pi1] power counting. This gives the leading-order (LO) potential:

$$\Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad &\Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad& \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad& & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \ \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { 0 } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { 0 \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { n } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { m } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { p } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { 1 } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { 2 } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { p } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { \ } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^ { q } \text{in} \quad & \Lambda _ { h } ^$$

Note that this potential includes tree-level and 1-loop contributions, and is gauge-invariant. From this, we can solve for the scale h = µ X where dV (LO) /dh = 0. Explicitly µ X is the MS scale where the condition

$$\text{wall} _ { \substack { \text{d of} \\ \iota \ [ 2 ], \quad \\ \text{horse}, \quad \\ - 3 \left ( g _ { 1 } ^ { 2 } + g _ { 2 } ^ { 2 } \right ) ^ { 2 } \ln \frac { g _ { 1 } ^ { 2 } + g _ { 2 } ^ { 2 } } { 4 } - 6 g _ { 2 } ^ { 4 } \ln \frac { g _ { 2 } ^ { 2 } } { 4 } + 4 8 y _ { t } ^ { 4 } \ln \frac { y _ { t } ^ { 2 } } { 2 } \right ] \quad ( 5 ) }$$

$$\Phi _ { 0 } = 4 \quad \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi_ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \quad \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Phi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } +\lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ { 1 } + \lambda _ { 3 2 } \, \Psi _ _ { 1 } + \lambda _ { 3 2 } \, \Psi _ _ { 1 } + \lambda _ { 3 2 } \, \Psi _ _ { 1 } + \lambda _ { 3 2 } \, \Psi _ _ { 1 } + \lambda _ { 3 2 } \, \Psi _ _ { 1 } + \lambda _ { 3 2 } \, \Psi _ _ { 1 } + \lambda _ { 3 2 } \, \Psi _ _ { 1 } + \lambda _ { 3 2 } \, \Psi _ _ { 1 } + \lambda _ { 3 2 } \, \Psi _ _ { 1 } + \lambda _ { 3 2 } \, \Psi _ _ { 1 } + \lambda _ { 3 2 } \, \Psi _ _ { 1 } + \lambda _ { 3 2 } \, \Psi _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ } _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ { _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ = _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ | _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ [ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _._ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ __ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _. _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ \, _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ \\ } } } } } } } } } } }$$

FIG. 1. Gauge dependence of the absolute stability bound with m pole t = 173 34 GeV. .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0292v2-figure-4633ec06-17b6-424b-af81-7f96c5f0ec5a.jpg)

is satisfied. For values of m h and m t close to the observed SM values, there are two solutions to this equation: the lower µ X is where V (LO) has a maximum, and the higher µ X where the minimum occurs. In the SM these scales are

$$\mu _ { X } ^ { \max } = 2. 4 6 \times 1 0 ^ { 1 0 } \, \text{GeV} \quad \quad ( 6 ) \quad \text{Thi}$$

$$\mu _ { X } ^ { \min } = 3. 4 3 \times 1 0 ^ { 3 0 } \text{ GeV}. \quad \quad ( 7 ) \quad \text{fro}$$

These numbers and results which follow use m pole h = (125 14 . ± 0 24) GeV, combined from [27, 28]. .

For the potential at the next-to-leading order (NLO), one contribution comes from the glyph[planckover2pi1] 2 terms in the 1-loop potential with λ ∼ glyph[planckover2pi1] scaling:

$$V ^ { ( 1, N L O ) } ( h ) & = \frac { - 1 } { 2 5 6 \pi ^ { 2 } } \left [ \xi _ { B } g _ { 1 } ^ { 2 } \left ( \ln \frac { \lambda h ^ { 4 } ( \xi _ { B } g _ { 1 } ^ { 2 } + \xi _ { W } g _ { 2 } ^ { 2 } ) } { 4 \mu ^ { 4 } } - 3 \right ) \quad \text{Fig. 1} \\ + & \xi _ { W } g _ { 2 } ^ { 2 } \left ( \ln \frac { \lambda ^ { 3 } h ^ { 1 2 } \xi _ { W } ^ { 2 } g _ { 2 } ^ { 4 } ( \xi _ { B } g _ { 1 } ^ { 2 } + \xi _ { W } g _ { 2 } ^ { 2 } ) } { 6 4 \mu ^ { 1 2 } } - 9 \right ) \right ] \lambda h ^ { 4 } \quad ( 8 ) \quad \text{plot we} \\ & \quad \text{rameters} \\ & \quad \text{RGE ev} \\ & \quad \text{.}$$

Another contribution V (2 NLO) , ( h ) comes from the λ 0 and ln λ terms in 2-loop potential. In Landau gauge, these terms are h / 4 4 times what is written as λ (2) eff in Eq. (C.4) of the published version of [2]. Finally, there is the contribution, V ( n&gt; , 2 NLO) ( h ) from 3-loop and higher order graphs proportional to inverse powers of λ . Including all these terms, the potential at each extremum will be gauge-invariant. Conveniently, the higher-loop-order graphs contributing at NLO vanish in Landau gauge ( ξ B = ξ W = 0). Thus the gauge-invariant NLO value of the potential at the minimum is simply

$$V _ { \min } ^ { N L O } = V ^ { ( L O ) } ( \mu _ { X } ) + V ^ { ( 2, N L O ) } ( \mu _ { X } ) \quad \ ( 9 ) \quad \ g a u _ { \xi }$$

To derive this, we consistently truncated to O ( glyph[planckover2pi1] 2 ) and used d dh V (LO) = 0 at h = µ X . Note that this is the RGimproved effective potential: the resummation is implicit in the solution for µ X . At NNLO, an infinite number of loops are relevant, even in Landau gauge [13].

FIG. 2. Gauge dependence of the instability scale Λ I , defined by V (Λ ) = 0, at 1-loop in the traditional approach. I There is no known way to make this scale gauge-invariant.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0292v2-figure-9d00f560-a6a0-4e29-822b-bc647a842f09.jpg)

Using Eq. (9) we find that for absolute stability at NLO, the Higgs pole mass must satisfy

$$\text{ales} \quad & \frac { m _ { h } ^ { \text{pole} } } { \text{GeV} } > ( 1 2 9. 4 0 \pm 0. 5 8 ) + 2. 2 6 \, ( \frac { m _ { t } ^ { \text{pole} } - 1 7 3. 3 4 \, \text{GeV} } { 1. 1 2 \, \text{GeV} } ) \\ ( 6 ) \quad & \tau _ { 1 \colon - 1 } \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \end{cases}$$

This bound is around 275 MeV lower than the bound from the traditional approach in Landau gauge ( m pole h &gt; 129 67 GeV). . The ± 0 58 is . pertubative and α s uncertainty [2]. Since the Higgs mass is known better than the top mass, it perhaps makes more sense to write the bound as

$$\stackrel { \cdot \cdot \cdot } { \text{loop} } \quad & m _ { t } ^ { \text{pole} } \\ & \frac { m _ { t } ^ { \text{pole} } } { \text{GeV} } < ( 1 7 1. 2 2 \pm 0. 2 8 ) + 0. 1 2 \, ( \frac { m _ { h } ^ { \text{pole} } - 1 2 5. 1 4 \, \text{GeV} } { 0. 2 4 \, \text{GeV} } ) \\. \quad \cdot \quad \sum _ { \substack { \text{r} \colon \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \, \text{s} \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \end{array} } ( 1 1 )$$

Fig. 1 compares the gauge-dependence of the bound at 1-loop to the LO, NLO and 2-loop bounds. For this plot we have taken the U(1) and SU(2) R ξ gauge parameters equal to ξ t when µ = m t and included their RGE evolution [29]. All bounds include 2-loop thresholds and 3-loop running. We find that the bound at LO is m pole h &gt; 129 69 GeV which is nearly identical to . the Landau gauge 1-loop bound in the traditional approach, m pole h &gt; 129 70 GeV. We do not plot the gauge-. dependence of the 2-loop bound since we have not computed the gauge-dependent 2-loop potential or the daisy contribution. That the bound seems to asymptote to a finite value in unitary gauge ( ξ = ∞ ) may be due to much (but not all) of the gauge-dependence being in the e 4Γ prefactor in Eq. (3) which drops out of the V = 0 condition.

Fig. 2 shows the gauge dependence of the instability scale Λ I , defined by V (Λ ) = 0 [1, 2], and its LandauI gauge value at 2-loops, including 3-loop resummation in both cases. Since the instability scale is a field value, it is not obviously physical. We know of no way to compute it in a consistent and gauge-invariant manner.

Fig. 3 shows the value of V max computed by various approaches. We find approximately exponential dependence of V max (and also V min ) on ξ t in the traditional

FIG. 3. Gauge dependence of the SM potential at its maximum with m pole h = 125 14 GeV and . m pole t = 173 34 GeV. .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0292v2-figure-ff152568-3828-49a4-918e-156662381860.jpg)

$$\text{approach at $1$-loop.  Decent fits are }$$

$$\left ( V _ { \max } ^ { 1 - \text{loop}, \, \text{trad.} } \right ) ^ { 1 / 4 } & \approx ( 2. 5 0 \times 1 0 ^ { 9 } \, \text{GeV} ) e ^ { - 0. 0 2 \xi _ { t } + 0. 0 0 0 3 \xi _ { t } ^ { 2 } } \quad \text{FIG.} \quad \text{and } r \\ \left ( - V _ { \min } ^ { 1 - \text{loop}, \, \text{trad.} } \right ) ^ { 1 / 4 } & \approx ( 3. 0 8 \times 1 0 ^ { 2 9 } \, \text{GeV} ) e ^ { 0. 0 0 1 \xi _ { t } - 0. 0 0 0 1 \xi _ { t } ^ { 2 } } \quad \text{lower} \\ \quad \text{The } t \quad \text{ed.} \quad.$$

The consistent gauge-invariant values at NLO are

$$\left ( V _ { \max } ^ { N L O } \right ) ^ { 1 / 4 } & = 2. 8 8 \times 1 0 ^ { 9 } \, \text{GeV} \quad \quad ( 1 3 ) \quad \text{lines} \\ \left ( - V _ { \min } ^ { N L O } \right ) ^ { 1 / 4 } & = 2. 4 0 \times 1 0 ^ { 2 9 } \, \text{GeV} \quad \quad \\ \quad \quad \quad \text{diss}$$

Note that -V min corresponds to an energy density well above the Planck scale. Thus, the potential at the minimum will surely be effected by quantum gravity and possible new physics not included in our calculation. Previous analyses have defined stability to be Planck-sensitive if the instability scale Λ I &gt; M Pl [1, 2]. As we have observed, the instability scale is gauge dependent, so this is not a consistent criterion. An alternative criterion is that new operator, such as O 6 ≡ 1 Λ 2 NP h 6 be comparable to V min when h = 〈 h 〉 . Although O 6 and V min are gaugeinvariant, the value of O 6 at the field value h where the minimum occurs is gauge dependent, so this condition is also unsatisfactory. A consistent and satisfactory criterion was explained in [13]: the new operator must be added to the classical theory and its effect on V min evaluated.

Adding O 6 to the potential, we find that the the potential is still negative at its minimum in the SM even for operators with very large coefficients. For example, taking Λ NP = M Pl = 1 22 . × 10 19 GeV, we find that µ min X = 6 0 . × 10 17 GeV and V min = -(1 1 . × 10 17 GeV) . 4 Comparing to Eq. (13) we see that the energy of the true vacuum is very Planck-sensitive.

More generally, a good fit is given by

$$V _ { \min } = - ( 0. 0 1 \, \Lambda _ { N P } ) ^ { 4 }, \quad \Lambda _ { N P } \gtrsim 1 0 ^ { 1 2 } \, G e V \quad ( 1 4 ) \quad \text{true} \quad.$$

When Λ NP &lt; . 3 6 × 10 12 GeV, V min becomes positive and for Λ NP &lt; 3 1 . × 10 12 GeV the maximum and minimum

FIG. 4. Boundaries of absolute stability (lower band, NLO) and metastability (upper line, LO). The thickness of the lower boundary indicates perturbative and α s uncertainty. The theoretical uncertainty of the metastability boundary is unknown. The elliptical contours are 68%, 95% and 99% confidence bands on the Higgs and top masses: m pole h = (125 14 . ± 0 23) GeV and . m pole t = (173 34 . ± 1 12) GeV. Dotted . lines are scales in GeV at which V min can be lifted positive by new physics.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0292v2-figure-5a33798b-5aa3-4970-b8d4-1eec5ee7c4f1.jpg)

disappear. Thus the stability of the Standard Model can be modified by new physics at the scale 10 12 GeV.

If we vary the Higgs and top masses in the Standard Model, we can compute the boundary of absolute stability. This bound is shown in Figs. 4 and 5. The dotted lines show where V min becomes positive when in the presence of O 6 for the indicated value of Λ NP . Unexpectedly, we find that three independent conditions (1) that V min goes to zero, (2) that Eq. (5) have no solution, and (3) that V min goes positive when Λ NP = M Pl all give nearly identical boundaries in the m pole h / m pole t plane. Knowing that quantum gravity is relevant at M Pl , we should therefore be cautious about giving too strong of an interpretation of the perturbative absolute stability bound in the SM. We also show in this plot the metastability bound, that the lifetime of our vacuum be larger than the age of the universe. At lowest order this translates to λ ( 1 R ) -1 &lt; -14 53 + 0 153 ln[ . . R GeV] for all R [30]. Since λ µ ( ) is gauge invariant, so is this criterion. Although for the Standard Model this approximation is probably sufficient, it has not been demonstrated that the bound can be systematically improved in a guage-invariant way [31].

In this paper, we have only discussed a single physical feature of the effective action: the value of the effective potential at its extrema. There is of course much more content in the effective action, especially when temperature dependence is included. Unfortunately, many uses of the effective action involve evaluating it for particular field configurations, a procedure that has repeatedly been shown to be gauge-dependent. For example, the

FIG. 5. Same as previous figure but zoomed out. Theory uncertainties on the absolute and metastability bounds are not shown.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0292v2-figure-2120898a-3b4c-43d4-9ca8-3244e5bf37c5.jpg)

gauge-dependence of various quantities associated with the electroweak phase transition were discussed [16] and various predictions of Higgs inflation models [32] in [17].

Since observables such as the gravitational wave spectrum or the size of tensor fluctuations in the cosmic microwave background can in principle be predicted within quantum field theory, it should be possible to at least set up such calculations in a way that does not depend on arbitrary gauge or scale choices in the effective action. Questions which involve other parts of the effective action besides the potential provide new opportunities for cancellation. For example, after the Z -factors are added according to the LSZ reduction theorem, S -matrix elements calculated from the effective action are appropriately invariant. It would be interesting to see perturbative demonstrations of the gauge-invariance of other derived quantities from the effective action.

We thank S. Moch, M. Ramsey-Musolf, M. Reece, M. Strassler and A. Strumia for helpful discussions. The authors are supported in part by grant DE-SC003916 from the Department of Energy. AA is supported in part by the Stolt-Nielsen Fund for Education of the the American-Scandinavian Foundation and the NorwayAmerica Association. WF is supported in part by the Lord Rutherford Memorial Research Fellowship.

∗ anders@physics.harvard.edu

† wfrost@physics.harvard.edu

- ‡ schwartz@physics.harvard.edu
- [1] G. Degrassi, S. Di Vita, J. Elias-Miro, J. R. Espinosa, G. F. Giudice, et al. , JHEP 1208 , 098 (2012), arXiv:1205.6497 [hep-ph].
- [2] D. Buttazzo, G. Degrassi, P. P. Giardino, G. F. Giudice, F. Sala, et al. , JHEP 1312 , 089 (2013), arXiv:1307.3536.
- [3] N. Cabibbo, L. Maiani, G. Parisi, and R. Petronzio, Nucl.Phys. B158 , 295 (1979).
- [4] M. Sher, Phys.Rept. 179 , 273 (1989).
- [5] J. Casas, J. Espinosa, and M. Quiros, Phys.Lett. B342 , 171 (1995), arXiv:hep-ph/9409458 [hep-ph].
- [6] R. Jackiw, Phys.Rev. D9 , 1686 (1974).
- [7] J. Kang, Phys.Rev. D10 , 3455 (1974).
- [8] L. Dolan and R. Jackiw, Phys.Rev. D9 , 2904 (1974).
- [9] I. Aitchison and C. Fraser, Annals Phys. 156 , 1 (1984).
- [10] W. Loinaz and R. Willey, Phys.Rev. D56 , 7416 (1997), arXiv:hep-ph/9702321 [hep-ph].
- [11] N. Nielsen, Nucl.Phys. B101 , 173 (1975).
- [12] R. Fukuda and T. Kugo, Phys.Rev. D13 , 3469 (1976).
- [13] A. Andreassen, W. Frost, and M. D. Schwartz, (2014), arXiv:1408.0287 [hep-ph].
- [14] L. Di Luzio and L. Mihaila, JHEP 1406 , 079 (2014), arXiv:1404.7450 [hep-ph].
- [15] D. Boyanovsky, W. Loinaz, and R. Willey, Phys.Rev. D57 , 100 (1998), arXiv:hep-ph/9705340 [hep-ph].
- [16] C. Wainwright, S. Profumo, and M. J. Ramsey-Musolf, Phys.Rev. D84 , 023521 (2011), arXiv:1104.5487 [hepph].
- [17] J. L. Cook, L. M. Krauss, A. J. Long, and S. Sabharwal, Phys.Rev. D89 , 103525 (2014), arXiv:1403.4971 [astroph.CO].
- [18] A. Andreassen, master's thesis, NTNU-Trondheim (2013).
- [19] J.-M. Frere and P. Nicoletopoulos, Phys.Rev. D11 , 2332 (1975).
- [20] S. H. Tye and Y. Vtorov-Karevsky, Int.J.Mod.Phys. A13 , 95 (1998), arXiv:hep-th/9601176 [hep-th].
- [21] N. Nielsen, (2014), arXiv:1406.0788 [hep-ph].
- [22] S. R. Coleman and E. J. Weinberg, Phys.Rev. D7 , 1888 (1973).
- [23] A. Spencer-Smith, (2014), arXiv:1405.1975 [hep-ph].
- [24] ATLAS Collaboration, CDF Collaboration, CMS Collaboration and D0 Collaboration, (2014), arXiv:1403.4427 [hep-ex].
- [25] A. H. Hoang and I. W. Stewart, Nucl.Phys.Proc.Suppl. 185 , 220 (2008), arXiv:0808.0222 [hep-ph].
- [26] S. Moch, S. Weinzierl, S. Alekhin, J. Blumlein, L. de la Cruz, et al. , (2014), arXiv:1405.4781 [hep-ph].
- [27] CMS Collaboration, CMS-PAS-HIG-14-009 (2014).
- [28] G. Aad et al. (ATLAS Collaboration), (2014), arXiv:1406.3827 [hep-ex].
- [29] A. Bednyakov, A. Pikelner, and V. Velizhanin, JHEP 1301 , 017 (2013), arXiv:1210.6873 [hep-ph].
- [30] G. Isidori, G. Ridolfi, and A. Strumia, Nucl.Phys. B609 , 387 (2001), arXiv:hep-ph/0104016 [hep-ph].
- [31] A. Strumia and N. Tetradis, Nucl.Phys. B542 , 719 (1999), arXiv:hep-ph/9806453 [hep-ph].
- [32] A. Barvinsky, A. Y. Kamenshchik, and A. Starobinsky, JCAP 0811 , 021 (2008), arXiv:0809.2104 [hep-ph].
Anders Andreassen William Frost Matthew D. Schwartz
Consistent Use of the Standard Model Effective Potential
The stability of the Standard Model is determined by the true minimum of the
effective Higgs potential. We show that the potential at its minimum when
computed by the traditional method is strongly dependent on the gauge
parameter. It moreover depends on the scale where the potential is calculated.
We provide a consistent method for determining absolute stability independent
of both gauge and calculation scale, order by order in perturbation theory.
This leads to a revised stability bounds mH > (129.4 \pm 2.3) GeV and mt <
(171.2 \pm 0.3)GeV. We also show how to evaluate the effect of new physics on
the stability bound without resorting to unphysical field values.