Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
aainstitutetext: Ludwig Maximilian University, Theresienstr. 37, 80333 Munich, Germany bbinstitutetext: Korea Institute for Advanced Study Seoul, 02455, Koreaccinstitutetext: School of Physics and Astronomy, Tel-Aviv University, Tel-Aviv 69978, Israel ddinstitutetext: Bogoliubov Laboratory of Theoretical Physics, Joint Institute for Nuclear Research, 141980 Dubna, Russia

Gravitationally dominated instantons and instability of dS, AdS and Minkowski spaces

Viatcheslav F. Mukhanov c    Yaron Oz d    Alexander S. Sorin mukhanov@physik.lmu.de yaronoz@tauex.tau.ac.il sorin@theor.jinr.ru
Abstract

We study the decay of the false vacuum in the regime where the quantum field theory analysis is not valid, since gravitational effects become important. This happens when the height of the barrier separating the false and the true vacuum is large, and it has implications for the instability of de Sitter, Minkowski and anti-de Sitter vacua. We carry out the calculations for a scalar field with a potential coupled to gravity, and work within the thin-wall approximation, where the bubble wall is thin compared to the size of the bubble. We show that the false de Sitter vacuum is unstable, independently of the height of the potential and the relative depth of the true vacuum compared to the false vacuum. The false Minkowski and anti-de Sitter vacua can be stable despite the existence of a lower energy true vacuum. However, when the relative depth of the true and false vacua exceeds a critical value, which depends on the potential of the false vacuum and the height of the barrier, then the false Minkowski and anti-de Sitter vacua become unstable. We calculate the probability for the decay of the false de Sitter, Minkowski and anti-de Sitter vacua, as a function of the parameters characterizing the field potential.

1 Introduction

The decay of the false vacuum in quantum field theory (QFT), i.e. the transition from a metastable state to a more stable state through quantum tunneling, is a non-perturbative process that has significant implications for cosmology and particle physics. The false vacuum is a local minimum of the potential energy of a quantum field, but it is not the lowest energy state, which is the true vacuum. The process of the decay of the false vacuum involves the formation of bubbles in which small regions of the true vacuum spontaneously form within the false vacuum due to quantum fluctuations. Once a bubble of the true vacuum has formed, it can expand if the energy density inside the bubble is less than the energy density of the surrounding false vacuum and the bubble wall separates the two vacua.

The bubble grows when the energy gained from the false vacuum outweighs the energy cost of the bubble wall. As bubbles of true vacuum grow and merge, they percolate the entire space, leading to a transition from the false vacuum to the true vacuum. The decay of the false vacuum can be analyzed using the semiclassical framework Kobzarev:1974cp ; PhysRevD.15.2929 . In this framework, the decay rate per unit volume and unit time is ΓAeSsimilar-toΓ𝐴superscript𝑒𝑆\Gamma\sim Ae^{-S}roman_Γ ∼ italic_A italic_e start_POSTSUPERSCRIPT - italic_S end_POSTSUPERSCRIPT, where A𝐴Aitalic_A is a dimensional coefficient that is inversely proportional to the fourth power of the bubble radius, and S𝑆Sitalic_S is the Euclidean action of the bounce solution.

The aim of this work is to analyse the decay of the false vacuum when gravity becomes important, and the QFT analysis is not valid. This happens when the height of the barrier separating the false and the true vacua is large, and it has implications for the instability of de Sitter (dS), Minkowski and anti-de Sitter (AdS) vacua. We will work within the thin-wall approximation Kobzarev:1974cp ; PhysRevD.15.2929 , where the bubble wall is thin compared to the size of the bubble, and show that: (i) the false dS vacuum is always unstable, regardless of the height of the potential and the relative depth of the true vacuum compared to the false vacuum, (ii) the false Minkowski vacuum and the AdS vacuum can be stable despite the existence of a true vacuum with lower energy. However, if the relative depth of the vacua exceeds a critical value, which depends on the value of the potential in the false vacuum and the height of the barrier, then the false vacuum in these two cases becomes unstable and decays into a true vacuum. We calculate the probability for the decay of the false dS, Minkowski and AdS vacua as a function of the parameters characterizing the field potential. Our analysis is performed in the framework of relativistic field theory coupled to gravity.

The paper is organized as follows. In section II, we will consider the structure and range of validity of gravitationally dominated instantons in the thin-wall approximation. In section III we will analyse the instabilities of dS, Minkowski and AdS vacua in the regime, where gravity plays an important role. Section IV will be devoted to a discussion.

2 Gravitationally dominated instantons

We will consider a scalar field with a potential shown in Fig.1, which is coupled to gravity.

Refer to caption
Figure 1: A scalar field potential V(φ)𝑉𝜑V(\varphi)italic_V ( italic_φ ) that has a local minimum false vacuum at φ=0𝜑0\varphi=0italic_φ = 0, where V(φ=0)=V+𝑉𝜑0subscript𝑉V\left(\varphi=0\right)=V_{+}italic_V ( italic_φ = 0 ) = italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, which is separated by a barrier of height Vbarsubscript𝑉𝑏𝑎𝑟V_{bar}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT from the true vacuum at φ=φ0>0𝜑subscript𝜑00\varphi=\varphi_{0}>0italic_φ = italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT > 0, with V(φ0)=V𝑉subscript𝜑0subscript𝑉V\left(\varphi_{0}\right)=V_{-}italic_V ( italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) = italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT.

2.1 The Newtonian approximation

To gain insight into the importance of gravity for the decay of the false vacuum, we first perform the field theory analysis in Minkowski space, taking into account the leading gravitational corrections in the Newtonian approximation. Let us assume that the scalar field potential V(φ)𝑉𝜑V(\varphi)italic_V ( italic_φ ) has a local minimum corresponding to false vacuum at φ=0𝜑0\varphi=0italic_φ = 0, where V(φ=0)=V+=ε𝑉𝜑0subscript𝑉𝜀V\left(\varphi=0\right)=V_{+}=\varepsilonitalic_V ( italic_φ = 0 ) = italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = italic_ε, which is separated from the true Minkowski vacuum at φ=φ0>0𝜑subscript𝜑00\varphi=\varphi_{0}>0italic_φ = italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT > 0, with V(φ0)=V=0𝑉subscript𝜑0subscript𝑉0V\left(\varphi_{0}\right)=V_{-}=0italic_V ( italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) = italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT = 0, by a barrier of height Vbarsubscript𝑉𝑏𝑎𝑟V_{bar}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT. The false vacuum is unstable and will decay by the formation of critical bubbles, whose size ϱbsubscriptitalic-ϱ𝑏\varrho_{b}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT can be estimated using the energy conservation. Working without gravity, and equating the total energy released during the transition, 4πεϱb3/34𝜋𝜀superscriptsubscriptitalic-ϱ𝑏334\pi\varepsilon\varrho_{b}^{3}/34 italic_π italic_ε italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / 3, with the surface energy of the bubble wall, 4πσϱb24𝜋𝜎superscriptsubscriptitalic-ϱ𝑏24\pi\sigma\varrho_{b}^{2}4 italic_π italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, where σ𝜎\sigmaitalic_σ is the surface tension of the bubble, we obtain Kobzarev:1974cp ; PhysRevD.15.2929 :

4πεϱb3/3=4πσϱb2ϱb=3σε.4𝜋𝜀superscriptsubscriptitalic-ϱ𝑏334𝜋𝜎superscriptsubscriptitalic-ϱ𝑏2subscriptitalic-ϱ𝑏3𝜎𝜀4\pi\varepsilon\varrho_{b}^{3}/3=4\pi\sigma\varrho_{b}^{2}\implies\varrho_{b}=% \frac{3\sigma}{\varepsilon}\ .4 italic_π italic_ε italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / 3 = 4 italic_π italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟹ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = divide start_ARG 3 italic_σ end_ARG start_ARG italic_ε end_ARG . (1)

The gravitational corrections to (1) are parametrized by an effective dimensionless gravitational coupling geff=κM/ϱsubscript𝑔𝑒𝑓𝑓𝜅𝑀italic-ϱg_{eff}=\kappa M/\varrhoitalic_g start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT = italic_κ italic_M / italic_ϱ, where κ8πG𝜅8𝜋𝐺\kappa\equiv 8\pi Gitalic_κ ≡ 8 italic_π italic_G with G𝐺Gitalic_G being the gravitational Newton constant, ϱitalic-ϱ\varrhoitalic_ϱ and M𝑀Mitalic_M are the characteristic length and mass in the problem. In our case, ϱitalic-ϱ\varrhoitalic_ϱ is the bubble size ϱbsubscriptitalic-ϱ𝑏\varrho_{b}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT, and M𝑀Mitalic_M is the total energy released during the transition and the surface energy of the bubble wall. The first order gravitational corrections to the energy balance equation (1) come from the negative gravitational energy contributions and in the Newtonian approximation the balance equation reads:

4π3εϱb335κ(4πεϱb3/3)28πϱb=4πσϱb2κ(4πσϱb2)216πϱb,4𝜋3𝜀superscriptsubscriptitalic-ϱ𝑏335𝜅superscript4𝜋𝜀superscriptsubscriptitalic-ϱ𝑏3328𝜋subscriptitalic-ϱ𝑏4𝜋𝜎superscriptsubscriptitalic-ϱ𝑏2𝜅superscript4𝜋𝜎superscriptsubscriptitalic-ϱ𝑏2216𝜋subscriptitalic-ϱ𝑏\frac{4\pi}{3}\varepsilon\varrho_{b}^{3}-\frac{3}{5}\frac{\kappa(4\pi% \varepsilon\varrho_{b}^{3}/3)^{2}}{8\pi\varrho_{b}}=4\pi\sigma\varrho_{b}^{2}-% \frac{\kappa\left(4\pi\sigma\varrho_{b}^{2}\right)^{2}}{16\pi\varrho_{b}}\ ,divide start_ARG 4 italic_π end_ARG start_ARG 3 end_ARG italic_ε italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT - divide start_ARG 3 end_ARG start_ARG 5 end_ARG divide start_ARG italic_κ ( 4 italic_π italic_ε italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / 3 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_π italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_ARG = 4 italic_π italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG italic_κ ( 4 italic_π italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 16 italic_π italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_ARG , (2)

where we have neglected higher order terms in geffsubscript𝑔𝑒𝑓𝑓g_{eff}italic_g start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT. Equation (2) shows the potential importance of gravity for bubble formation, but its range of validity is limited to geff1much-less-thansubscript𝑔𝑒𝑓𝑓1g_{eff}\ll 1italic_g start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT ≪ 1. Looking at the LHS of (3), this means that equation (2) is valid provided:

κ4π3εϱb3ϱb1ϱb1κε.much-less-than𝜅4𝜋3𝜀superscriptsubscriptitalic-ϱ𝑏3subscriptitalic-ϱ𝑏1subscriptitalic-ϱ𝑏much-less-than1𝜅𝜀\frac{\kappa\frac{4\pi}{3}\varepsilon\varrho_{b}^{3}}{\varrho_{b}}\ll 1% \implies\varrho_{b}\ll\frac{1}{\sqrt{\kappa\varepsilon}}\ .divide start_ARG italic_κ divide start_ARG 4 italic_π end_ARG start_ARG 3 end_ARG italic_ε italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_ARG ≪ 1 ⟹ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ≪ divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_κ italic_ε end_ARG end_ARG . (3)

This is the regime in which ϱbR+much-less-thansubscriptitalic-ϱ𝑏subscript𝑅\varrho_{b}\ll R_{+}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ≪ italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, where R+=3/(κε)subscript𝑅3𝜅𝜀R_{+}=\sqrt{3/(\kappa\varepsilon)}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = square-root start_ARG 3 / ( italic_κ italic_ε ) end_ARG is the dS radius corresponding to the false vacuum. If we take into account the condition geff1much-less-thansubscript𝑔𝑒𝑓𝑓1g_{eff}\ll 1italic_g start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT ≪ 1 in the RHS of (3) we get

ϱb1κσ,much-less-thansubscriptitalic-ϱ𝑏1𝜅𝜎\varrho_{b}\ll\frac{1}{\kappa\sigma}\ ,italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ≪ divide start_ARG 1 end_ARG start_ARG italic_κ italic_σ end_ARG , (4)

which can be related in the thin-wall approximation to the parameters of the potential since σφ0Vbar1/2similar-to𝜎subscript𝜑0superscriptsubscript𝑉𝑏𝑎𝑟12\sigma\sim\varphi_{0}V_{bar}^{1/2}italic_σ ∼ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT (see, e.g. Mukhanov:2005sc ). As we will see, the interesting phenomena caused by gravity occur when geffO(1)similar-tosubscript𝑔𝑒𝑓𝑓𝑂1g_{eff}\sim O(1)italic_g start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT ∼ italic_O ( 1 ), i.e. ϱbR+similar-tosubscriptitalic-ϱ𝑏subscript𝑅\varrho_{b}\sim R_{+}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ∼ italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT or ϱb1/(κφ0Vbar1/2)similar-tosubscriptitalic-ϱ𝑏1𝜅subscript𝜑0superscriptsubscript𝑉𝑏𝑎𝑟12\varrho_{b}\sim 1/(\kappa\varphi_{0}V_{bar}^{1/2})italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ∼ 1 / ( italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT ), where the analysis requires general relativity, and this will be carried out in the next section.

2.2 Instantons basics

As argued in PhysRevD.15.2929 , the most important contribution to the sub-barrier transition between the false and the true vacua is due to the O(4)𝑂4O(4)italic_O ( 4 ) Euclidean instantons, for which the value of the scalar field φ𝜑\varphiitalic_φ depends on the Euclidean time τ𝜏\tauitalic_τ and the spatial radial coordinate r𝑟ritalic_r in the combination τ2+r2superscript𝜏2superscript𝑟2\tau^{2}+r^{2}italic_τ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. When the gravitational effects can be neglected, the background metric for these instantons is the flat Euclidean metric. The gravitational backreaction of the instantons on the metric that preserves the O(4)𝑂4O(4)italic_O ( 4 ) symmetry, results in a conformally flat metric111We use the signature (-,+++) to perform the analytical continuation of the Minkowski metric to Euclidean space by Wick rotation of Minkowski time tM=iτsubscript𝑡𝑀𝑖𝜏t_{M}=-i\tauitalic_t start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT = - italic_i italic_τ.:

ds2=f2(τ2+r2)(dτ2+dr2+r2dΩ2),𝑑superscript𝑠2superscript𝑓2superscript𝜏2superscript𝑟2𝑑superscript𝜏2𝑑superscript𝑟2superscript𝑟2𝑑superscriptΩ2ds^{2}=f^{2}\left(\sqrt{\tau^{2}+r^{2}}\right)\left(d\tau^{2}+dr^{2}+r^{2}d% \Omega^{2}\right),italic_d italic_s start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_f start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( square-root start_ARG italic_τ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ( italic_d italic_τ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_d italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d roman_Ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (5)

where dΩ2=dθ2+sin2θdφ2𝑑superscriptΩ2𝑑superscript𝜃2superscript2𝜃𝑑superscript𝜑2d\Omega^{2}=d\theta^{2}+\sin^{2}\theta d\varphi^{2}italic_d roman_Ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_d italic_θ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ italic_d italic_φ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

Define:

τ=ξ¯sinχ,r=ξ¯cosχ,formulae-sequence𝜏¯𝜉𝜒𝑟¯𝜉𝜒\tau=\bar{\xi}\sin\chi,\quad r=\bar{\xi}\cos\chi\ ,italic_τ = over¯ start_ARG italic_ξ end_ARG roman_sin italic_χ , italic_r = over¯ start_ARG italic_ξ end_ARG roman_cos italic_χ ,

where >ξ¯0¯𝜉0\infty>\bar{\xi}\geq 0∞ > over¯ start_ARG italic_ξ end_ARG ≥ 0 and π/2χπ/2𝜋2𝜒𝜋2\pi/2\geq\chi\geq-\pi/2italic_π / 2 ≥ italic_χ ≥ - italic_π / 2, and then the metric reads:

ds2=f2(ξ¯)[dξ¯2+ξ¯2(dχ2+cos2χdΩ2)].𝑑superscript𝑠2superscript𝑓2¯𝜉delimited-[]𝑑superscript¯𝜉2superscript¯𝜉2𝑑superscript𝜒2superscript2𝜒𝑑superscriptΩ2ds^{2}=f^{2}\left(\bar{\xi}\right)\left[d\bar{\xi}^{2}+\bar{\xi}^{2}\left(d% \chi^{2}+\cos^{2}\chi d\Omega^{2}\right)\right]\ .italic_d italic_s start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_f start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( over¯ start_ARG italic_ξ end_ARG ) [ italic_d over¯ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + over¯ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_d italic_χ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_χ italic_d roman_Ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] . (6)

Introducing:

dξ=f(ξ¯)dξ¯,ϱ=f(ξ¯)ξ¯,formulae-sequence𝑑𝜉𝑓¯𝜉𝑑¯𝜉italic-ϱ𝑓¯𝜉¯𝜉d\xi=f\left(\bar{\xi}\right)d\bar{\xi},\qquad\varrho=f\left(\bar{\xi}\right)% \bar{\xi}\ ,italic_d italic_ξ = italic_f ( over¯ start_ARG italic_ξ end_ARG ) italic_d over¯ start_ARG italic_ξ end_ARG , italic_ϱ = italic_f ( over¯ start_ARG italic_ξ end_ARG ) over¯ start_ARG italic_ξ end_ARG , (7)

we recast (6) as222For the convenience of the reader, we will use the same notations almost everywhere as in the paper on gravitational effects for instantons by Coleman and De Luccia Coleman:1980aw .:

ds2=dξ2+ϱ2(ξ)(dχ2+cos2χdΩ2).𝑑superscript𝑠2𝑑superscript𝜉2superscriptitalic-ϱ2𝜉𝑑superscript𝜒2superscript2𝜒𝑑superscriptΩ2ds^{2}=d\xi^{2}+\varrho^{2}\left(\xi\right)\left(d\chi^{2}+\cos^{2}\chi d% \Omega^{2}\right)\ .italic_d italic_s start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_d italic_ξ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_ξ ) ( italic_d italic_χ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_χ italic_d roman_Ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) . (8)

The off-shell Euclidean action for a scalar field φ(ξ)𝜑𝜉\varphi\left(\xi\right)italic_φ ( italic_ξ ) with potential V(φ)𝑉𝜑V\left(\varphi\right)italic_V ( italic_φ ) propagating in the background metric (8) reads:

SE=2π2𝑑ξ[ϱ3(12φ˙2+V)+3κ(ϱ2ϱ¨+ϱ(ϱ˙21)(ϱ2ϱ˙))],subscript𝑆𝐸2superscript𝜋2differential-d𝜉delimited-[]superscriptitalic-ϱ312superscript˙𝜑2𝑉3𝜅superscriptitalic-ϱ2¨italic-ϱitalic-ϱsuperscript˙italic-ϱ21superscriptsuperscriptitalic-ϱ2˙italic-ϱS_{E}=2\pi^{2}\int d\xi\left[\varrho^{3}\left(\frac{1}{2}\dot{\varphi}^{2}+V% \right)+\frac{3}{\kappa}\left(\varrho^{2}\ddot{\varrho}+\varrho\left(\dot{% \varrho}^{2}-1\right)-(\varrho^{2}\dot{\varrho})^{\centerdot}\right)\right]\ ,italic_S start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT = 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ italic_d italic_ξ [ italic_ϱ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_V ) + divide start_ARG 3 end_ARG start_ARG italic_κ end_ARG ( italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over¨ start_ARG italic_ϱ end_ARG + italic_ϱ ( over˙ start_ARG italic_ϱ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) - ( italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over˙ start_ARG italic_ϱ end_ARG ) start_POSTSUPERSCRIPT ∙ end_POSTSUPERSCRIPT ) ] , (9)

where the dot denotes a derivative with respect to ξ𝜉\xiitalic_ξ, and the last term is a total derivative, corresponding to York-Gibbons-Hawking boundary term PhysRevLett.28.1082 ; Gibbons:1976ue .

The variation of the action with respect to φ𝜑\varphiitalic_φ yields its field equation:

φ¨+3ϱ˙ϱφ˙V,φ=0,\ddot{\varphi}+3\frac{\dot{\varrho}}{\varrho}\dot{\varphi}-V_{,\varphi}=0\ ,over¨ start_ARG italic_φ end_ARG + 3 divide start_ARG over˙ start_ARG italic_ϱ end_ARG end_ARG start_ARG italic_ϱ end_ARG over˙ start_ARG italic_φ end_ARG - italic_V start_POSTSUBSCRIPT , italic_φ end_POSTSUBSCRIPT = 0 , (10)

where V,φ=dV/dφV_{,\varphi}=dV/d\varphiitalic_V start_POSTSUBSCRIPT , italic_φ end_POSTSUBSCRIPT = italic_d italic_V / italic_d italic_φ, while the variation with respect to ϱitalic-ϱ\varrhoitalic_ϱ gives:

2ϱϱ¨+ϱ˙21=κϱ2(12φ˙2+V).2italic-ϱ¨italic-ϱsuperscript˙italic-ϱ21𝜅superscriptitalic-ϱ212superscript˙𝜑2𝑉2\varrho\ddot{\varrho}+\dot{\varrho}^{2}-1=-\kappa\varrho^{2}\left(\frac{1}{2}% \dot{\varphi}^{2}+V\right)\ .2 italic_ϱ over¨ start_ARG italic_ϱ end_ARG + over˙ start_ARG italic_ϱ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 = - italic_κ italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_V ) . (11)

Multiplying (11) by ϱ˙˙italic-ϱ\dot{\varrho}over˙ start_ARG italic_ϱ end_ARG and using (10) to express ϱ2ϱ˙φ˙2superscriptitalic-ϱ2˙italic-ϱsuperscript˙𝜑2\varrho^{2}\dot{\varrho}\dot{\varphi}^{2}italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over˙ start_ARG italic_ϱ end_ARG over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT in the RHS in terms of ϱitalic-ϱ\varrhoitalic_ϱ and the derivative of (φ˙2/2V)superscript˙𝜑22𝑉\left(\dot{\varphi}^{2}/2-V\right)( over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 - italic_V ) we get:

(ϱ(ϱ˙21))=κ3(ϱ3(12φ˙2V)).superscriptitalic-ϱsuperscript˙italic-ϱ21𝜅3superscriptsuperscriptitalic-ϱ312superscript˙𝜑2𝑉\left(\varrho\left(\dot{\varrho}^{2}-1\right)\right)^{\centerdot}=\frac{\kappa% }{3}\left(\varrho^{3}\left(\frac{1}{2}\dot{\varphi}^{2}-V\right)\right)^{% \centerdot}\ .( italic_ϱ ( over˙ start_ARG italic_ϱ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) ) start_POSTSUPERSCRIPT ∙ end_POSTSUPERSCRIPT = divide start_ARG italic_κ end_ARG start_ARG 3 end_ARG ( italic_ϱ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_V ) ) start_POSTSUPERSCRIPT ∙ end_POSTSUPERSCRIPT . (12)

This can be integrated to obtain:

ϱ˙2=1+κ3ϱ2(12φ˙2V),superscript˙italic-ϱ21𝜅3superscriptitalic-ϱ212superscript˙𝜑2𝑉\dot{\varrho}^{2}=1+\frac{\kappa}{3}\varrho^{2}\left(\frac{1}{2}\dot{\varphi}^% {2}-V\right)\ ,over˙ start_ARG italic_ϱ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 + divide start_ARG italic_κ end_ARG start_ARG 3 end_ARG italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_V ) , (13)

where we set the integration constant to zero in accordance with the 00000-00 - 0 component of the Einstein equations. Inserting (13) in (11), we get:

ϱ¨=13κϱ(φ˙2+V).¨italic-ϱ13𝜅italic-ϱsuperscript˙𝜑2𝑉\ddot{\varrho}=-\frac{1}{3}\kappa\varrho\left(\dot{\varphi}^{2}+V\right)\ .over¨ start_ARG italic_ϱ end_ARG = - divide start_ARG 1 end_ARG start_ARG 3 end_ARG italic_κ italic_ϱ ( over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_V ) . (14)

To find the instanton action that dominates the tunneling rate, we need to solve the equations (10) and (13) with the appropriate boundary conditions. Using these equations, we can rewrite the on-shell action in a form that is more convenient for calculating the instanton action. Substituting (13) in (9), the on-shell action simplifies to:

SE=2π2𝑑ξ[ϱ3φ˙2+3κ(ϱ2ϱ¨(ϱ2ϱ˙))],subscript𝑆𝐸2superscript𝜋2differential-d𝜉delimited-[]superscriptitalic-ϱ3superscript˙𝜑23𝜅superscriptitalic-ϱ2¨italic-ϱsuperscriptsuperscriptitalic-ϱ2˙italic-ϱS_{E}=2\pi^{2}\int d\xi\left[\varrho^{3}\dot{\varphi}^{2}+\frac{3}{\kappa}% \left(\varrho^{2}\ddot{\varrho}-(\varrho^{2}\dot{\varrho})^{\centerdot}\right)% \right]\ ,italic_S start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT = 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ italic_d italic_ξ [ italic_ϱ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 3 end_ARG start_ARG italic_κ end_ARG ( italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over¨ start_ARG italic_ϱ end_ARG - ( italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over˙ start_ARG italic_ϱ end_ARG ) start_POSTSUPERSCRIPT ∙ end_POSTSUPERSCRIPT ) ] , (15)

which using (14) can be written as:

SE=2π2𝑑ξ(ϱ3V+3κ(ϱ2ϱ˙)).subscript𝑆𝐸2superscript𝜋2differential-d𝜉superscriptitalic-ϱ3𝑉3𝜅superscriptsuperscriptitalic-ϱ2˙italic-ϱS_{E}=-2\pi^{2}\int d\xi\left(\varrho^{3}V+\frac{3}{\kappa}(\varrho^{2}\dot{% \varrho})^{\centerdot}\right)\ .italic_S start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT = - 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ italic_d italic_ξ ( italic_ϱ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_V + divide start_ARG 3 end_ARG start_ARG italic_κ end_ARG ( italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over˙ start_ARG italic_ϱ end_ARG ) start_POSTSUPERSCRIPT ∙ end_POSTSUPERSCRIPT ) . (16)

The decay rate of the false vacuum per unit volume per unit time can be estimated as Coleman:1980aw :

Γϱb4e(SEfSEi),similar-toΓsuperscriptsubscriptitalic-ϱ𝑏4superscript𝑒superscriptsubscript𝑆𝐸𝑓superscriptsubscript𝑆𝐸𝑖\Gamma\sim\varrho_{b}^{-4}e^{-(S_{E}^{f}-S_{E}^{i})},roman_Γ ∼ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - ( italic_S start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT - italic_S start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT , (17)

where ϱbsubscriptitalic-ϱ𝑏\varrho_{b}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT is the size of the resulting critical bubble. SEisuperscriptsubscript𝑆𝐸𝑖S_{E}^{i}italic_S start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT and SEfsuperscriptsubscript𝑆𝐸𝑓S_{E}^{f}italic_S start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT are the corresponding Euclidean actions for the initial false vacuum and for the final configuration, where the true vacuum has been created inside the critical bubble.

Note, that so far all the equations were exact, and we have not made any approximation. In order to obtain the quantitative results for general potentials V𝑉Vitalic_V, we will have to make approximations. In the next section we will consider the thin-wall approximation in the presence of gravity. We will also denote the Euclidean action SEsubscript𝑆𝐸S_{E}italic_S start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT without the subscript E𝐸Eitalic_E.

2.3 The thin wall approximation

Let us consider a false vacuum with potential V+subscript𝑉V_{+}italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, located at φ=0𝜑0\varphi=0italic_φ = 0, and separated from the true vacuum of depth V<V+subscript𝑉subscript𝑉V_{-}<V_{+}italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT < italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT at φ0subscript𝜑0\varphi_{0}italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT by the barrier with positive height Vbar|V+|much-greater-thansubscript𝑉𝑏𝑎𝑟subscript𝑉V_{bar}\gg\left|V_{+}\right|italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ≫ | italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT |. Depending on Vsubscript𝑉V_{-}italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT, the false dS vacuum decays either into a true dS vacuum with a lower potential or into Minkowski or AdS vacuum. The decay occurs via instantons, which lead to the formation of critical bubbles of size ϱbsubscriptitalic-ϱ𝑏\varrho_{b}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT. We assume that the thickness of the bubble wall δϱb𝛿subscriptitalic-ϱ𝑏\delta\varrho_{b}italic_δ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT is much smaller than ϱbsubscriptitalic-ϱ𝑏\varrho_{b}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT. This corresponds to the case, where the second term (“friction”) in the equation (10) can be neglected in the leading order approximation.

To determine the range of validity of this approximation, we consider the first integral of the equation (10)

12φ˙2V=3ϱ˙ϱφ˙2𝑑ξ.12superscript˙𝜑2𝑉3˙italic-ϱitalic-ϱsuperscript˙𝜑2differential-d𝜉\frac{1}{2}\dot{\varphi}^{2}-V=-\int\frac{3\dot{\varrho}}{\varrho}\dot{\varphi% }^{2}d\xi\ .divide start_ARG 1 end_ARG start_ARG 2 end_ARG over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_V = - ∫ divide start_ARG 3 over˙ start_ARG italic_ϱ end_ARG end_ARG start_ARG italic_ϱ end_ARG over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_ξ . (18)

In the thin-wall approximation, the integral on the RHS of (18), to which only the bubble wall contributes where φ˙2superscript˙𝜑2\dot{\varphi}^{2}over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT does not vanish, must be small compared to each individual term on the LHS of (18) within the wall. Let us first assume that this condition is fulfilled, calculate the radius of the critical bubble, and determine for which potentials the thin-wall approximation can be applied. If we neglect the integral on the RHS in (18), then we obtain:

E12φ˙2VV+.𝐸12superscript˙𝜑2𝑉subscript𝑉E\equiv\frac{1}{2}\dot{\varphi}^{2}-V\approx-V_{+}\ .italic_E ≡ divide start_ARG 1 end_ARG start_ARG 2 end_ARG over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_V ≈ - italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT . (19)

Assuming that |V+|Vbarmuch-less-thansubscript𝑉subscript𝑉𝑏𝑎𝑟\left|V_{+}\right|\ll V_{bar}| italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT | ≪ italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT, we can substitute Vφ˙2/2𝑉superscript˙𝜑22V\approx\dot{\varphi}^{2}/2italic_V ≈ over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 within the wall into equation (14) and integrate over the wall to obtain:

ϱ˙+ϱ˙=12κσϱb,subscript˙italic-ϱsubscript˙italic-ϱ12𝜅𝜎subscriptitalic-ϱ𝑏\dot{\varrho}_{+}-\dot{\varrho}_{-}=-\frac{1}{2}\kappa\sigma\varrho_{b}\ ,over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT - over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT = - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_κ italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , (20)

where ϱ˙subscript˙italic-ϱ\dot{\varrho}_{-}over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT and ϱ˙+subscript˙italic-ϱ\dot{\varrho}_{+}over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT refer to the true and false vacuum immediately before and after the thin wall, and σ𝜎\sigmaitalic_σ is the surface tension defined as:

σφ˙2𝑑ξ.𝜎superscript˙𝜑2differential-d𝜉\sigma\equiv\int\dot{\varphi}^{2}d\xi\ .italic_σ ≡ ∫ over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_ξ . (21)

For |V+|Vbarmuch-less-thansubscript𝑉subscript𝑉𝑏𝑎𝑟\left|V_{+}\right|\ll V_{bar}| italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT | ≪ italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT, σ𝜎\sigmaitalic_σ can be estimated as:

σ=φ˙𝑑φ2V𝑑φVbarφ0.𝜎˙𝜑differential-d𝜑similar-to-or-equals2𝑉differential-d𝜑similar-tosubscript𝑉𝑏𝑎𝑟subscript𝜑0\sigma=\int\dot{\varphi}d\varphi\simeq\int\sqrt{2V}d\varphi\sim\sqrt{V_{bar}}% \varphi_{0}\ .italic_σ = ∫ over˙ start_ARG italic_φ end_ARG italic_d italic_φ ≃ ∫ square-root start_ARG 2 italic_V end_ARG italic_d italic_φ ∼ square-root start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT . (22)

Using (13) we have:

ϱ˙+=±1κV+3ϱb2,ϱ˙=+1κV3ϱb2.\dot{\varrho}_{+}=\pm\sqrt{1-\frac{\kappa V_{+}}{3}\varrho_{b}^{2},}\qquad\dot% {\varrho}_{-}=+\sqrt{1-\frac{\kappa V_{-}}{3}\varrho_{b}^{2}}\ .over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = ± square-root start_ARG 1 - divide start_ARG italic_κ italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG start_ARG 3 end_ARG italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , end_ARG over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT = + square-root start_ARG 1 - divide start_ARG italic_κ italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT end_ARG start_ARG 3 end_ARG italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (23)

Note, that the space inside the resulting bubble expands and ϱ˙subscript˙italic-ϱ\dot{\varrho}_{-}over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT is therefore always positive, while outside the bubble ϱ˙+subscript˙italic-ϱ\dot{\varrho}_{+}over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT can be either positive or negative, depending on the height of the barrier Vbarsubscript𝑉𝑏𝑎𝑟V_{bar}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT and the other parameters characterising the field potential.

Solving (20) gives an expression for the size of the critical bubble

ϱb=[R+21+(ε3σ(1α)R+)2]1/2,subscriptitalic-ϱ𝑏superscriptdelimited-[]superscriptsubscript𝑅21superscript𝜀3𝜎1𝛼subscript𝑅212\varrho_{b}=\left[\frac{R_{+}^{2}}{1+\left(\frac{\varepsilon}{3\sigma}\left(1-% \alpha\right)R_{+}\right)^{2}}\right]^{1/2},italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = [ divide start_ARG italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 1 + ( divide start_ARG italic_ε end_ARG start_ARG 3 italic_σ end_ARG ( 1 - italic_α ) italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ] start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT , (24)

where R+2=3/κV+superscriptsubscript𝑅23𝜅subscript𝑉R_{+}^{2}=3/\kappa V_{+}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 3 / italic_κ italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, εV+V>0𝜀subscript𝑉subscript𝑉0\varepsilon\equiv V_{+}-V_{-}>0italic_ε ≡ italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT - italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT > 0 is difference between the potential heights in the false and true vacuum, respectively, and α𝛼\alphaitalic_α is a dimensionless parameter:

α3κσ24ε.𝛼3𝜅superscript𝜎24𝜀\alpha\equiv\frac{3\kappa\sigma^{2}}{4\varepsilon}\ .italic_α ≡ divide start_ARG 3 italic_κ italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_ε end_ARG . (25)

Inserting (24) into (23) we get:

ϱ˙+=±ε3σ|1α|ϱb,ϱ˙=ε3σ(1+α)ϱb.formulae-sequencesubscript˙italic-ϱplus-or-minus𝜀3𝜎1𝛼subscriptitalic-ϱ𝑏subscript˙italic-ϱ𝜀3𝜎1𝛼subscriptitalic-ϱ𝑏\dot{\varrho}_{+}=\pm\frac{\varepsilon}{3\sigma}\left|1-\alpha\right|\varrho_{% b},\quad\dot{\varrho}_{-}=\frac{\varepsilon}{3\sigma}\left(1+\alpha\right)% \varrho_{b}\ .over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = ± divide start_ARG italic_ε end_ARG start_ARG 3 italic_σ end_ARG | 1 - italic_α | italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT = divide start_ARG italic_ε end_ARG start_ARG 3 italic_σ end_ARG ( 1 + italic_α ) italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT . (26)

Note, that the above calculations apply to both positive and negative V+subscript𝑉V_{+}italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT and Vsubscript𝑉V_{-}italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT, and can be used for the instability analysis of both dS and AdS spaces. For the false dS vacuum, V+>0subscript𝑉0V_{+}>0italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT > 0 and R+subscript𝑅R_{+}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT is the dS radius. When α>1𝛼1\alpha>1italic_α > 1, we have to put a negative sign in front of the square root in ϱ˙b+subscript˙italic-ϱsuperscript𝑏\dot{\varrho}_{b^{+}}over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT italic_b start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT in (23) to fulfill (20) and therefore:

ϱ˙+=sgn(1α)1κV+3ϱb2,ϱ˙=+1κV3ϱb2.\dot{\varrho}_{+}=\,\text{sgn}(1-\alpha)\sqrt{1-\frac{\kappa V_{+}}{3}\varrho_% {b}^{2},}\qquad\dot{\varrho}_{-}=+\sqrt{1-\frac{\kappa V_{-}}{3}\varrho_{b}^{2% }}\ .over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = sgn ( 1 - italic_α ) square-root start_ARG 1 - divide start_ARG italic_κ italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG start_ARG 3 end_ARG italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , end_ARG over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT = + square-root start_ARG 1 - divide start_ARG italic_κ italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT end_ARG start_ARG 3 end_ARG italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (27)

Next, let us consider to which potentials the thin-wall approximation can be applied. As we can see from (14), ϱ˙˙italic-ϱ\dot{\varrho}over˙ start_ARG italic_ϱ end_ARG always decreases as we go through the bubble wall, and therefore the integral on the RHS in (18) is bounded by

3ϱ˙ϱφ˙2𝑑ξ<3ϱ˙ϱbφ˙2𝑑ξ=ε+3κσ24,3˙italic-ϱitalic-ϱsuperscript˙𝜑2differential-d𝜉3subscript˙italic-ϱsubscriptitalic-ϱ𝑏superscript˙𝜑2differential-d𝜉𝜀3𝜅superscript𝜎24\int\frac{3\dot{\varrho}}{\varrho}\dot{\varphi}^{2}d\xi<\int\frac{3\dot{% \varrho}_{-}}{\varrho_{b}}\dot{\varphi}^{2}d\xi=\varepsilon+\frac{3\kappa% \sigma^{2}}{4}\ ,∫ divide start_ARG 3 over˙ start_ARG italic_ϱ end_ARG end_ARG start_ARG italic_ϱ end_ARG over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_ξ < ∫ divide start_ARG 3 over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT end_ARG start_ARG italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_ARG over˙ start_ARG italic_φ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_ξ = italic_ε + divide start_ARG 3 italic_κ italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 end_ARG , (28)

and it must be much smaller than Vbarsubscript𝑉𝑏𝑎𝑟V_{bar}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT. Using σVbarφ0similar-to𝜎subscript𝑉𝑏𝑎𝑟subscript𝜑0\sigma\sim\sqrt{V_{bar}}\varphi_{0}italic_σ ∼ square-root start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, we find that the conditions for applicability of the thin-wall approximation are met when:

εVbar1,κφ021.formulae-sequencemuch-less-than𝜀subscript𝑉𝑏𝑎𝑟1much-less-than𝜅superscriptsubscript𝜑021\frac{\varepsilon}{V_{bar}}\ll 1,\qquad\kappa\varphi_{0}^{2}\ll 1\ .divide start_ARG italic_ε end_ARG start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG ≪ 1 , italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≪ 1 . (29)

For the instantons with α>1𝛼1\alpha>1italic_α > 1, the expanding dS solution inside the critical bubble is always matched with a contracting dS branch, describing the false vacuum outside the bubble. In this case, the value of ϱ˙˙italic-ϱ\dot{\varrho}over˙ start_ARG italic_ϱ end_ARG should vanish inside the bubble wall, and its sign must change from positive to a negative inside the wall. As can be seen from (13), this would be impossible if the energy E𝐸Eitalic_E (19) remains exactly the same. However, due to the friction term in (10), the energy E𝐸Eitalic_E changes slightly. As can be seen from (13), this slight change is sufficient to violate the energy conservation law (19) by the amount ΔE3/(κϱb2)similar-toΔ𝐸3𝜅superscriptsubscriptitalic-ϱ𝑏2\Delta E\sim 3/(\kappa\varrho_{b}^{2})roman_Δ italic_E ∼ 3 / ( italic_κ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) required to change the sign of the expansion rate ϱ˙˙italic-ϱ\dot{\varrho}over˙ start_ARG italic_ϱ end_ARG within the wall, which is much smaller than Vbarsubscript𝑉𝑏𝑎𝑟V_{bar}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT for the instantons with α>1𝛼1\alpha>1italic_α > 1, if κφ021.much-less-than𝜅superscriptsubscript𝜑021\kappa\varphi_{0}^{2}\ll 1.italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≪ 1 . Further, equation (19) which was used in the derivation (20) for the thin-wall bubble, where κφ021much-less-than𝜅superscriptsubscript𝜑021\kappa\varphi_{0}^{2}\ll 1italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≪ 1 applies, is therefore also fulfilled in the leading order.

3 Instability of dS, AdS and Minkowski spaces

In this section we will analyse the instabilities of dS, Minkowski and AdS spaces, as well as the decay of the false vacuum in the regime where gravity is important and the QFT analysis is not valid.

3.1 The decay probability of the dS vacuum

To determine the decay rate of the dS false vacuum, we need to calculate the change in Euclidean on-shell action during the sub-barrier transition. In a false vacuum, φ˙=0˙𝜑0\dot{\varphi}=0over˙ start_ARG italic_φ end_ARG = 0, and the equation (13) simplifies to:

ϱ˙2=1ϱ2R+2,superscript˙italic-ϱ21superscriptitalic-ϱ2superscriptsubscript𝑅2\dot{\varrho}^{2}=1-\frac{\varrho^{2}}{R_{+}^{2}}\ ,over˙ start_ARG italic_ϱ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 - divide start_ARG italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (30)

where R+=3/(κV+)subscript𝑅3𝜅subscript𝑉R_{+}=\sqrt{3/(\kappa V_{+})}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = square-root start_ARG 3 / ( italic_κ italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ) end_ARG, and is solved by:

ϱ(ξ)=R+sin(ξR+).italic-ϱ𝜉subscript𝑅𝜉subscript𝑅\varrho\left(\xi\right)=R_{+}\sin\left(\frac{\xi}{R_{+}}\right)\ .italic_ϱ ( italic_ξ ) = italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT roman_sin ( divide start_ARG italic_ξ end_ARG start_ARG italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG ) . (31)

When ξ𝜉\xiitalic_ξ changes from 00 to πR+𝜋subscript𝑅\pi R_{+}italic_π italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, the radius of the Euclidean dS instanton first increases, reaches its maximal value ϱ=R+italic-ϱsubscript𝑅\varrho=R_{+}italic_ϱ = italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT at ξ=12πR+𝜉12𝜋subscript𝑅\xi=\frac{1}{2}\pi R_{+}italic_ξ = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_π italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, and then shrinks to zero.

Let us first consider the case in which α<1𝛼1\alpha<1italic_α < 1. According to (27), in the final configuration where the critical bubble is created, we must match the expanding solution describing a true vacuum with a potential Vsubscript𝑉V_{-}italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT inside the bubble with an expanding dS solution corresponding to the false vacuum outside the bubble. The radius of the critical bubble ϱbsubscriptitalic-ϱ𝑏\varrho_{b}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT is smaller than R+subscript𝑅R_{+}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, and the wall is located at ξb<12πR+.subscript𝜉𝑏12𝜋subscript𝑅\xi_{b}<\frac{1}{2}\pi R_{+}.italic_ξ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT < divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_π italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT . The contribution of the false vacuum in the final configuration to the total action can be calculated by subtracting from the initial false vacuum action Sisuperscript𝑆𝑖S^{i}italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT the action for the small bubble with radius ϱbsubscriptitalic-ϱ𝑏\varrho_{b}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT, with a cosmological constant corresponding to the false vacuum:

S+f=Si+2π20ϱbV+ϱ31κV+ϱ2/3𝑑ϱ+6π2κϱb2ϱ˙+=Si+12π2κ2V+(1ϱ˙+3).superscriptsubscript𝑆𝑓superscript𝑆𝑖2superscript𝜋2superscriptsubscript0subscriptitalic-ϱ𝑏subscript𝑉superscriptitalic-ϱ31𝜅subscript𝑉superscriptitalic-ϱ23differential-ditalic-ϱ6superscript𝜋2𝜅superscriptsubscriptitalic-ϱ𝑏2subscript˙italic-ϱsuperscript𝑆𝑖12superscript𝜋2superscript𝜅2subscript𝑉1superscriptsubscript˙italic-ϱ3S_{+}^{f}=S^{i}+2\pi^{2}\intop_{0}^{\varrho_{b}}\frac{V_{+}\varrho^{3}}{\sqrt{% 1-\kappa V_{+}\varrho^{2}/3}}d\varrho+\frac{6\pi^{2}}{\kappa}\varrho_{b}^{2}% \dot{\varrho}_{+}=S^{i}+\frac{12\pi^{2}}{\kappa^{2}V_{+}}\left(1-\dot{\varrho}% _{+}^{3}\right)\ .italic_S start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT = italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT + 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT italic_ϱ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG 1 - italic_κ italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 3 end_ARG end_ARG italic_d italic_ϱ + divide start_ARG 6 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ end_ARG italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT + divide start_ARG 12 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG ( 1 - over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) . (32)

In the derivation, we used (16) for the action, and replaced the integration over ξ𝜉\xiitalic_ξ by the integration over ϱitalic-ϱ\varrhoitalic_ϱ using (13) with the positive sign for the square root.

The action for the true vacuum expanding solution inside the bubble is calculated in the same way:

Sf=2π20ϱbVϱ31κVϱ2/3𝑑ϱ6π2κϱb2ϱ˙=12π2κ2V(1ϱ˙3).superscriptsubscript𝑆𝑓2superscript𝜋2superscriptsubscript0subscriptitalic-ϱ𝑏subscript𝑉superscriptitalic-ϱ31𝜅subscript𝑉superscriptitalic-ϱ23differential-ditalic-ϱ6superscript𝜋2𝜅superscriptsubscriptitalic-ϱ𝑏2subscript˙italic-ϱ12superscript𝜋2superscript𝜅2subscript𝑉1superscriptsubscript˙italic-ϱ3S_{-}^{f}=-2\pi^{2}\intop_{0}^{\varrho_{b}}\frac{V_{-}\varrho^{3}}{\sqrt{1-% \kappa V_{-}\varrho^{2}/3}}d\varrho-\frac{6\pi^{2}}{\kappa}\varrho_{b}^{2}\dot% {\varrho}_{-}=-\frac{12\pi^{2}}{\kappa^{2}V_{-}}\left(1-\dot{\varrho}_{-}^{3}% \right)\ .italic_S start_POSTSUBSCRIPT - end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT = - 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT italic_ϱ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG 1 - italic_κ italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 3 end_ARG end_ARG italic_d italic_ϱ - divide start_ARG 6 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ end_ARG italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT = - divide start_ARG 12 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT end_ARG ( 1 - over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) . (33)

Finally, the contribution of the thin wall is obtained by integrating (15) over the wall, and taking into account the definition of the tension in (21):

Swf=2π2σϱb3.superscriptsubscript𝑆𝑤𝑓2superscript𝜋2𝜎superscriptsubscriptitalic-ϱ𝑏3S_{w}^{f}=2\pi^{2}\sigma\varrho_{b}^{3}\ .italic_S start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT = 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT . (34)

Combining (32), (33) and (34), we obtain the total change in action between the initial and final configurations, which includes the critical bubble of the true vacuum separated from the false vacuum by the thin wall:

SfSi=2π2σϱb3+12π2κ2[1ϱ˙+3V+1ϱ˙3V]superscript𝑆𝑓superscript𝑆𝑖2superscript𝜋2𝜎superscriptsubscriptitalic-ϱ𝑏312superscript𝜋2superscript𝜅2delimited-[]1superscriptsubscript˙italic-ϱ3subscript𝑉1superscriptsubscript˙italic-ϱ3subscript𝑉\displaystyle S^{f}-S^{i}=2\pi^{2}\sigma\varrho_{b}^{3}+\frac{12\pi^{2}}{% \kappa^{2}}\left[\frac{1-\dot{\varrho}_{+}^{3}}{V_{+}}-\frac{1-\dot{\varrho}_{% -}^{3}}{V_{-}}\right]italic_S start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT - italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT = 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT + divide start_ARG 12 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ divide start_ARG 1 - over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG - divide start_ARG 1 - over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT end_ARG ]
=12π2κ2[1ϱ˙+V+1ϱ˙V]=2π2σϱb3(1+ϱ˙+)(1+ϱ˙),absent12superscript𝜋2superscript𝜅2delimited-[]1subscript˙italic-ϱsubscript𝑉1subscript˙italic-ϱsubscript𝑉2superscript𝜋2𝜎superscriptsubscriptitalic-ϱ𝑏31subscript˙italic-ϱ1subscript˙italic-ϱ\displaystyle=\frac{12\pi^{2}}{\kappa^{2}}\left[\frac{1-\dot{\varrho}_{+}}{V_{% +}}-\frac{1-\dot{\varrho}_{-}}{V_{-}}\right]=\frac{2\pi^{2}\sigma\varrho_{b}^{% 3}}{\left(1+\dot{\varrho}_{+}\right)\left(1+\dot{\varrho}_{-}\right)}\ ,= divide start_ARG 12 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ divide start_ARG 1 - over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG start_ARG italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG - divide start_ARG 1 - over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT end_ARG start_ARG italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT end_ARG ] = divide start_ARG 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG ( 1 + over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ) ( 1 + over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ) end_ARG , (35)

where we used (20) to simplify the final result.

Performing a similar calculation for the case α>1𝛼1\alpha>1italic_α > 1, and taking into account that in this case we have to match the expanding true vacuum inside the bubble with the contracting false dS vacuum and accordingly take a negative sign for ϱ˙+subscript˙italic-ϱ\dot{\varrho}_{+}over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, we get exactly the same expression. Thus, for each α>0𝛼0\alpha>0italic_α > 0, the decay rate of the false vacuum is determined by (17), where the size of the critical bubble ϱbsubscriptitalic-ϱ𝑏\varrho_{b}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT is given in (24), and the change in the action (35) is calculated with ϱ˙+subscript˙italic-ϱ\dot{\varrho}_{+}over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT and ϱ˙subscript˙italic-ϱ\dot{\varrho}_{-}over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT from (27).

As follows from (24), the size of the critical bubble never exceeds the radius of the false dS vacuum, and ϱb=R+subscriptitalic-ϱ𝑏subscript𝑅\varrho_{b}=R_{+}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT is reached for α=1𝛼1\alpha=1italic_α = 1. Given V+subscript𝑉V_{+}italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT and φ0subscript𝜑0\varphi_{0}italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, we aim to find out how the decay rate depends on the height of the potential barrier Vbarsubscript𝑉𝑏𝑎𝑟V_{bar}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT separating false and true vacuum, and on the difference between the depths of the vacua ε=V+V>0𝜀subscript𝑉subscript𝑉0\varepsilon=V_{+}-V_{-}>0italic_ε = italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT - italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT > 0. It is convenient to illustrate the results using the plane εVbar𝜀subscript𝑉𝑏𝑎𝑟\varepsilon-V_{bar}italic_ε - italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT in Fig.2, where region I refers to the field theory instantons, and regions II and III describe gravitationally dominated instantons, with a radius of the order of the dS radius R+subscript𝑅R_{+}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT (II), and with radius much smaller than R+subscript𝑅R_{+}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT (III), respectively.

Refer to caption
Figure 2: A plot of the plane εVbar𝜀subscript𝑉𝑏𝑎𝑟\varepsilon-V_{bar}italic_ε - italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT on a logarithmic scale with ε>0𝜀0\varepsilon>0italic_ε > 0 and Vbar>V+subscript𝑉𝑏𝑎𝑟subscript𝑉V_{bar}>V_{+}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT > italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT. Region I refers to the field theory instantons. Regions II and III describe gravitationally dominated instantons, with a radius of the order of the dS radius R+subscript𝑅R_{+}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT (II), and with a radius much smaller than R+subscript𝑅R_{+}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT (III).

3.1.1 Field theory instantons

Region I in Fig.2: If we assume that α1much-less-than𝛼1\alpha\ll 1italic_α ≪ 1 and

ε3σ(1α)R+1,much-greater-than𝜀3𝜎1𝛼subscript𝑅1\frac{\varepsilon}{3\sigma}(1-\alpha)R_{+}\gg 1\ ,divide start_ARG italic_ε end_ARG start_ARG 3 italic_σ end_ARG ( 1 - italic_α ) italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ≫ 1 , (36)

or, equivalently,

ε34κσ2(1+4κσR+),much-greater-than𝜀34𝜅superscript𝜎214𝜅𝜎subscript𝑅\varepsilon\gg\frac{3}{4}\kappa\sigma^{2}\left(1+\frac{4}{\kappa\sigma R_{+}}% \right)\ ,italic_ε ≫ divide start_ARG 3 end_ARG start_ARG 4 end_ARG italic_κ italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 + divide start_ARG 4 end_ARG start_ARG italic_κ italic_σ italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG ) , (37)

then the radius of the critical bubble (24) reads:

ϱb3σε.similar-to-or-equalssubscriptitalic-ϱ𝑏3𝜎𝜀\varrho_{b}\simeq\frac{3\sigma}{\varepsilon}\ .italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ≃ divide start_ARG 3 italic_σ end_ARG start_ARG italic_ε end_ARG . (38)

Using σφ0Vbar1/2similar-to-or-equals𝜎subscript𝜑0superscriptsubscript𝑉𝑏𝑎𝑟12\sigma\simeq\varphi_{0}V_{bar}^{1/2}italic_σ ≃ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT and εVbarmuch-less-than𝜀subscript𝑉𝑏𝑎𝑟\varepsilon\ll V_{bar}italic_ε ≪ italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT (29), it follows that for a given height of the barrier Vbarsubscript𝑉𝑏𝑎𝑟V_{bar}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT, the condition (37) can be rewritten as:

Vbarε34κφ02Vbar(1+V+Vbar),much-greater-thansubscript𝑉𝑏𝑎𝑟𝜀much-greater-than34𝜅superscriptsubscript𝜑02subscript𝑉𝑏𝑎𝑟1superscriptsubscript𝑉subscript𝑉𝑏𝑎𝑟V_{bar}\gg\varepsilon\gg\frac{3}{4}\kappa\varphi_{0}^{2}V_{bar}\left(1+\sqrt{% \frac{V_{+}^{*}}{V_{bar}}}\right)\ ,italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ≫ italic_ε ≫ divide start_ARG 3 end_ARG start_ARG 4 end_ARG italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ( 1 + square-root start_ARG divide start_ARG italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG end_ARG ) , (39)

where

V+16V+3κφ02.superscriptsubscript𝑉16subscript𝑉3𝜅superscriptsubscript𝜑02V_{+}^{*}\equiv\frac{16V_{+}}{3\kappa\varphi_{0}^{2}}\ .italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ≡ divide start_ARG 16 italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG start_ARG 3 italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (40)

When this condition is met, we can neglect gravity and field theory instantons provide a valid approximation to the decay of the false vacuum. The false dS vacuum decays via these instantons to another dS vacuum with a smaller potential or to Minkowski space if εV+𝜀subscript𝑉\varepsilon\leq V_{+}italic_ε ≤ italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT. For VbarεV+much-greater-thansubscript𝑉𝑏𝑎𝑟𝜀subscript𝑉V_{bar}\gg\varepsilon\geq V_{+}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ≫ italic_ε ≥ italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, the dS vacuum decays to an AdS space, whose radius RAdS=3/(κ|V|)subscript𝑅𝐴𝑑𝑆3𝜅subscript𝑉R_{AdS}=\sqrt{3/(\kappa\left|V_{-}\right|)}italic_R start_POSTSUBSCRIPT italic_A italic_d italic_S end_POSTSUBSCRIPT = square-root start_ARG 3 / ( italic_κ | italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT | ) end_ARG is always larger than the radius of the bubble.

Finally, we can set ϱ˙b+=ϱ˙b1subscript˙italic-ϱsuperscript𝑏subscript˙italic-ϱsuperscript𝑏similar-to-or-equals1\dot{\varrho}_{b^{+}}=\dot{\varrho}_{b^{-}}\simeq 1over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT italic_b start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT italic_b start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ≃ 1 in (35), and obtain the known result for the field theory instanton action

SfSi=π2σϱb32=27π22σ4ε3.superscript𝑆𝑓superscript𝑆𝑖superscript𝜋2𝜎superscriptsubscriptitalic-ϱ𝑏3227superscript𝜋22superscript𝜎4superscript𝜀3S^{f}-S^{i}=\frac{\pi^{2}\sigma\varrho_{b}^{3}}{2}=\frac{27\pi^{2}}{2}\frac{% \sigma^{4}}{\varepsilon^{3}}\ .italic_S start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT - italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT = divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG = divide start_ARG 27 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG divide start_ARG italic_σ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG italic_ε start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG . (41)

3.1.2 Gravitationally dominated instantons

Region II in Fig.2: If

ε3σ|1α|R+1,𝜀3𝜎1𝛼subscript𝑅1\frac{\varepsilon}{3\sigma}\left|1-\alpha\right|R_{+}\leq 1\ ,divide start_ARG italic_ε end_ARG start_ARG 3 italic_σ end_ARG | 1 - italic_α | italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ≤ 1 , (42)

then, as follows from (24) the radius of the critical bubble is of the order of the dS radius:

ϱbR+.similar-to-or-equalssubscriptitalic-ϱ𝑏subscript𝑅\varrho_{b}\simeq R_{+}\ .italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ≃ italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT . (43)

In this case gravity plays a significant role. The value of α𝛼\alphaitalic_α in (42) can be either less than or greater than one. Therefore, the inequality (42) can be rewritten as:

34κφ02Vbar(1+V+Vbar)>ε>34κφ02Vbar(1V+Vbar).34𝜅superscriptsubscript𝜑02subscript𝑉𝑏𝑎𝑟1superscriptsubscript𝑉subscript𝑉𝑏𝑎𝑟𝜀34𝜅superscriptsubscript𝜑02subscript𝑉𝑏𝑎𝑟1superscriptsubscript𝑉subscript𝑉𝑏𝑎𝑟\frac{3}{4}\kappa\varphi_{0}^{2}V_{bar}\left(1+\sqrt{\frac{V_{+}^{*}}{V_{bar}}% }\right)>\varepsilon>\frac{3}{4}\kappa\varphi_{0}^{2}V_{bar}\left(1-\sqrt{% \frac{V_{+}^{*}}{V_{bar}}}\right)\ .divide start_ARG 3 end_ARG start_ARG 4 end_ARG italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ( 1 + square-root start_ARG divide start_ARG italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG end_ARG ) > italic_ε > divide start_ARG 3 end_ARG start_ARG 4 end_ARG italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ( 1 - square-root start_ARG divide start_ARG italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG end_ARG ) . (44)

If VbarV+much-less-thansubscript𝑉𝑏𝑎𝑟superscriptsubscript𝑉V_{bar}\ll V_{+}^{*}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ≪ italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, both (1+ϱ˙+)1subscript˙italic-ϱ\left(1+\dot{\varrho}_{+}\right)( 1 + over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ) and (1+ϱ˙)1subscript˙italic-ϱ\left(1+\dot{\varrho}_{-}\right)( 1 + over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ) in (35) are of order one, and the action that determines the transition rate from the false dS vacuum to the true dS vacuum with V+>V>V+(1Vbar/V+)subscript𝑉subscript𝑉subscript𝑉1subscript𝑉𝑏𝑎𝑟superscriptsubscript𝑉V_{+}>V_{-}>V_{+}\left(1-\sqrt{V_{bar}/V_{+}^{*}}\right)italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT > italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT > italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( 1 - square-root start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT / italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG ) is given by:

SfSiO(1)π2σR+3O(1)π2(VbarV+)1/21κ2V+.similar-to-or-equalssuperscript𝑆𝑓superscript𝑆𝑖𝑂1superscript𝜋2𝜎superscriptsubscript𝑅3similar-to-or-equals𝑂1superscript𝜋2superscriptsubscript𝑉𝑏𝑎𝑟superscriptsubscript𝑉121superscript𝜅2subscript𝑉S^{f}-S^{i}\simeq O\left(1\right)\pi^{2}\sigma R_{+}^{3}\simeq O\left(1\right)% \pi^{2}\left(\frac{V_{bar}}{V_{+}^{*}}\right)^{1/2}\frac{1}{\kappa^{2}V_{+}}\ .italic_S start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT - italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ≃ italic_O ( 1 ) italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_σ italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ≃ italic_O ( 1 ) italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG start_ARG italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG . (45)

For VbarV+much-greater-thansubscript𝑉𝑏𝑎𝑟superscriptsubscript𝑉V_{bar}\gg V_{+}^{*}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ≫ italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, the dS vacuum can decay via instantons of radius R+subscript𝑅R_{+}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT only into an AdS vacuum if ε3κφ02Vbar/4similar-to-or-equals𝜀3𝜅superscriptsubscript𝜑02subscript𝑉𝑏𝑎𝑟4\varepsilon\simeq 3\kappa\varphi_{0}^{2}V_{bar}/4italic_ε ≃ 3 italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT / 4. In this case

1+ϱ˙1+εV+3κφ02Vbar4V+=12κσR+similar-to-or-equals1subscript˙italic-ϱ1𝜀subscript𝑉similar-to-or-equals3𝜅superscriptsubscript𝜑02subscript𝑉𝑏𝑎𝑟4subscript𝑉12𝜅𝜎subscript𝑅1+\dot{\varrho}_{-}\simeq 1+\sqrt{\frac{\varepsilon}{V_{+}}}\simeq\sqrt{\frac{% 3\kappa\varphi_{0}^{2}V_{bar}}{4V_{+}}}=\frac{1}{2}\kappa\sigma R_{+}\ 1 + over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ≃ 1 + square-root start_ARG divide start_ARG italic_ε end_ARG start_ARG italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG end_ARG ≃ square-root start_ARG divide start_ARG 3 italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG start_ARG 4 italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG end_ARG = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_κ italic_σ italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT (46)

and as follows from (35) the action is:

SfSi4π2κR+2=12π2κ2V+.similar-to-or-equalssuperscript𝑆𝑓superscript𝑆𝑖4superscript𝜋2𝜅superscriptsubscript𝑅212superscript𝜋2superscript𝜅2subscript𝑉S^{f}-S^{i}\simeq\frac{4\pi^{2}}{\kappa}R_{+}^{2}=\frac{12\pi^{2}}{\kappa^{2}V% _{+}}\ .italic_S start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT - italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ≃ divide start_ARG 4 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ end_ARG italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 12 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG . (47)

Region III in Fig.2: Finally, let us consider the case when α>1𝛼1\alpha>1italic_α > 1, and

ε3σ(α1)R+1,much-greater-than𝜀3𝜎𝛼1subscript𝑅1\frac{\varepsilon}{3\sigma}(\alpha-1)R_{+}\gg 1\ ,divide start_ARG italic_ε end_ARG start_ARG 3 italic_σ end_ARG ( italic_α - 1 ) italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ≫ 1 , (48)

i.e.,

34κφ02Vbar(1V+Vbar)ε>0.much-greater-than34𝜅superscriptsubscript𝜑02subscript𝑉𝑏𝑎𝑟1superscriptsubscript𝑉subscript𝑉𝑏𝑎𝑟𝜀0\frac{3}{4}\kappa\varphi_{0}^{2}V_{bar}\left(1-\sqrt{\frac{V_{+}^{*}}{V_{bar}}% }\right)\gg\varepsilon>0\ .divide start_ARG 3 end_ARG start_ARG 4 end_ARG italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ( 1 - square-root start_ARG divide start_ARG italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG end_ARG ) ≫ italic_ε > 0 . (49)

This only applies if the barrier is sufficiently high, Vbar>V+subscript𝑉𝑏𝑎𝑟superscriptsubscript𝑉V_{bar}>V_{+}^{*}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT > italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT. It then follows from (24) that

ϱb4κσO(1)κφ0Vbar1/2.similar-to-or-equalssubscriptitalic-ϱ𝑏4𝜅𝜎similar-to𝑂1𝜅subscript𝜑0superscriptsubscript𝑉𝑏𝑎𝑟12\varrho_{b}\simeq\frac{4}{\kappa\sigma}\sim\frac{O(1)}{\kappa\varphi_{0}V_{bar% }^{1/2}}\ .italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ≃ divide start_ARG 4 end_ARG start_ARG italic_κ italic_σ end_ARG ∼ divide start_ARG italic_O ( 1 ) end_ARG start_ARG italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT end_ARG . (50)

For such bubbles the negative contribution of gravity almost completely compensates the energy released during the transition in the wall. Taking into account that ϱbR+much-less-thansubscriptitalic-ϱ𝑏subscript𝑅\varrho_{b}\ll R_{+}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ≪ italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT for VbarV+much-greater-thansubscript𝑉𝑏𝑎𝑟superscriptsubscript𝑉V_{bar}\gg V_{+}^{*}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ≫ italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, and that the sign of ϱ˙+subscript˙italic-ϱ\dot{\varrho}_{+}over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT in (27) is negative, the action (35) reads:

SfSi=2π2σϱbR+28π2κR+2=24π2κ2V+,superscript𝑆𝑓superscript𝑆𝑖2superscript𝜋2𝜎subscriptitalic-ϱ𝑏superscriptsubscript𝑅2similar-to-or-equals8superscript𝜋2𝜅superscriptsubscript𝑅224superscript𝜋2superscript𝜅2subscript𝑉S^{f}-S^{i}=2\pi^{2}\sigma\varrho_{b}R_{+}^{2}\simeq\frac{8\pi^{2}}{\kappa}R_{% +}^{2}=\frac{24\pi^{2}}{\kappa^{2}V_{+}}\ ,italic_S start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT - italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT = 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≃ divide start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ end_ARG italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 24 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG , (51)

which is equal to the dS action of the false vacuum, but with an opposite (positive) sign.

The decay rate of the false vacuum per unit time per unit volume is given by:

Γ(κσ)4e24π2κ2V+,similar-toΓsuperscript𝜅𝜎4superscript𝑒24superscript𝜋2superscript𝜅2subscript𝑉\Gamma\sim(\kappa\sigma)^{4}e^{-\frac{24\pi^{2}}{\kappa^{2}V_{+}}}\ ,roman_Γ ∼ ( italic_κ italic_σ ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - divide start_ARG 24 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT , (52)

and it does not depend on how deep the true vacuum is compared to the false one. If ε>V+𝜀subscript𝑉\varepsilon>V_{+}italic_ε > italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, the dS vacuum decays to AdS vacuum via bubbles, whose size is smaller than the radius of the AdS. For ε<V+𝜀subscript𝑉\varepsilon<V_{+}italic_ε < italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT it decays to another dS true vacuum with a smaller cosmological constant. The dependence on the height of the barrier is in the pre-exponential factor. The higher the barrier is, the smaller the critical bubbles are, and therefore the decay rate increases as Vbar2superscriptsubscript𝑉𝑏𝑎𝑟2V_{bar}^{2}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT with an increasing height of the barrier. Thus, regardless of how high is the barrier between the false and true vacuum, the false dS vacuum is always unstable and decays via either the known field theory instantons or the gravitationally dominated instantons, depending on the parameters of the potential.

3.2 The instability of the Minkowski vacuum

The Minkowski vacuum can decay if the true vacuum is an AdS vacuum separated from Minkowski vacuum by the barrier of height Vbarsubscript𝑉𝑏𝑎𝑟V_{bar}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT. The formulas describing this instability can be obtained by considering the corresponding limiting case in the formulas derived above. In particular, taking R+subscript𝑅R_{+}\rightarrow\inftyitalic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT → ∞ in (24) leads to the following expression for the radius of the critical bubble:

ϱb=3σε|1α|.subscriptitalic-ϱ𝑏3𝜎𝜀1𝛼\varrho_{b}=\frac{3\sigma}{\varepsilon\left|1-\alpha\right|}\ .italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = divide start_ARG 3 italic_σ end_ARG start_ARG italic_ε | 1 - italic_α | end_ARG . (53)

If α<1𝛼1\alpha<1italic_α < 1, we obtain from (35) the following action

SfSi=27π22σ4ε3(1α)2.superscript𝑆𝑓superscript𝑆𝑖27superscript𝜋22superscript𝜎4superscript𝜀3superscript1𝛼2S^{f}-S^{i}=\frac{27\pi^{2}}{2}\frac{\sigma^{4}}{\varepsilon^{3}(1-\alpha)^{2}% }\ .italic_S start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT - italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT = divide start_ARG 27 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG divide start_ARG italic_σ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG italic_ε start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( 1 - italic_α ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (54)

For α1much-less-than𝛼1\alpha\ll 1italic_α ≪ 1, these results agree with the formulas describing the field theory instantons (see (38) and (41)).

The ratio of ϱbsubscriptitalic-ϱ𝑏\varrho_{b}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT to AdS radius RAdS3/(κ|V|)subscript𝑅𝐴𝑑𝑆3𝜅subscript𝑉R_{AdS}\equiv\sqrt{3/(\kappa\left|V_{-}\right|)}italic_R start_POSTSUBSCRIPT italic_A italic_d italic_S end_POSTSUBSCRIPT ≡ square-root start_ARG 3 / ( italic_κ | italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT | ) end_ARG is

ϱbRAdS=2α1α,subscriptitalic-ϱ𝑏subscript𝑅𝐴𝑑𝑆2𝛼1𝛼\frac{\varrho_{b}}{R_{AdS}}=\frac{2\sqrt{\alpha}}{1-\alpha}\ ,divide start_ARG italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_ARG start_ARG italic_R start_POSTSUBSCRIPT italic_A italic_d italic_S end_POSTSUBSCRIPT end_ARG = divide start_ARG 2 square-root start_ARG italic_α end_ARG end_ARG start_ARG 1 - italic_α end_ARG , (55)

and therefore if

α=3κσ24ε3κφ02Vbar4ε𝛼3𝜅superscript𝜎24𝜀similar-to-or-equals3𝜅superscriptsubscript𝜑02subscript𝑉𝑏𝑎𝑟4𝜀\alpha=\frac{3\kappa\sigma^{2}}{4\varepsilon}\simeq\frac{3\kappa\varphi_{0}^{2% }V_{bar}}{4\varepsilon}\ italic_α = divide start_ARG 3 italic_κ italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_ε end_ARG ≃ divide start_ARG 3 italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG start_ARG 4 italic_ε end_ARG (56)

is of order one, the gravitational effects become important. In particular, when α1𝛼1\alpha\rightarrow 1italic_α → 1, the action tends to infinity. Note, that the solution of (13) in Minkowski space ϱ=+ξitalic-ϱ𝜉\varrho=+\xiitalic_ϱ = + italic_ξ, which corresponds to ϱ˙+=1subscript˙italic-ϱ1\dot{\varrho}_{+}=1over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = 1 for the false vacuum, covers the entire Euclidean space in the original coordinates (6), where ξ¯¯𝜉\bar{\xi}over¯ start_ARG italic_ξ end_ARG changes in the range from zero to infinity. To consider the case α>1𝛼1\alpha>1italic_α > 1, in which the radius of the bubble is given by (50) for α1much-greater-than𝛼1\alpha\gg 1italic_α ≫ 1, we should replace the expanding coordinates in the false Minkowski vacuum by the contracting coordinates. This in turn corresponds to an infinite change of the action, and the resulting action is infinite. This can also be seen from (35), where the denominator of 1+ϱ˙+1subscript˙italic-ϱ1+\dot{\varrho}_{+}1 + over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT vanishes. Consequently, the probability of the transitions vanishes for α>1𝛼1\alpha>1italic_α > 1.

Therefore, for a given height of the barrier Vbarsubscript𝑉𝑏𝑎𝑟V_{bar}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT, the Minkowski vacuum is only unstable if the depth of the true AdS vacuum is large enough, i.e.

|V|=ε>34κφ02Vbar.subscript𝑉𝜀34𝜅superscriptsubscript𝜑02subscript𝑉𝑏𝑎𝑟\left|V_{-}\right|=\varepsilon>\frac{3}{4}\kappa\varphi_{0}^{2}V_{bar}\ .| italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT | = italic_ε > divide start_ARG 3 end_ARG start_ARG 4 end_ARG italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT . (57)

Otherwise the Minkowski vacuum is stable, despite the existence of the true AdS vacuum. The thin-wall approximation is of course only valid for |V|Vbarmuch-less-thansubscript𝑉subscript𝑉𝑏𝑎𝑟\left|V_{-}\right|\ll V_{bar}| italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT | ≪ italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT. The results obtained are in complete agreement with the results for the dS false vacuum, if we take the limit V+0subscript𝑉0V_{+}\rightarrow 0italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT → 0 in the formulas obtained in the previous section.

3.3 The transitions between the AdS vacua

Let’s look at the decay of the false AdS vacuum into another true AdS vacuum. In this case V+subscript𝑉V_{+}italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT and Vsubscript𝑉V_{-}italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT are negative, and we assume that the magnitudes |V+|subscript𝑉\left|V_{+}\right|| italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT | and |V|subscript𝑉\left|V_{-}\right|| italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT | are both much smaller than the positive height of the barrier Vbarsubscript𝑉𝑏𝑎𝑟V_{bar}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT. Taking into account that V+<0subscript𝑉0V_{+}<0italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT < 0, we find from (24) the radius of the critical bubble:

ϱb=[R+2(ε3σ(1α)R+)21]1/2,subscriptitalic-ϱ𝑏superscriptdelimited-[]superscriptsubscript𝑅2superscript𝜀3𝜎1𝛼subscript𝑅2112\varrho_{b}=\left[\frac{R_{+}^{2}}{\left(\frac{\varepsilon}{3\sigma}\left(1-% \alpha\right)R_{+}\right)^{2}-1}\right]^{1/2}\ ,italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = [ divide start_ARG italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( divide start_ARG italic_ε end_ARG start_ARG 3 italic_σ end_ARG ( 1 - italic_α ) italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 end_ARG ] start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT , (58)

where now R+=3/(κ|V+|)subscript𝑅3𝜅subscript𝑉R_{+}=\sqrt{3/(\kappa\left|V_{+}\right|)}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = square-root start_ARG 3 / ( italic_κ | italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT | ) end_ARG is the radius of the false AdS vacuum. It is always larger that the radius of the true AdS vacuum R=3/(κ|V|)subscript𝑅3𝜅subscript𝑉R_{-}=\sqrt{3/(\kappa\left|V_{-}\right|)}italic_R start_POSTSUBSCRIPT - end_POSTSUBSCRIPT = square-root start_ARG 3 / ( italic_κ | italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT | ) end_ARG, because |V|>|V+|subscript𝑉subscript𝑉\left|V_{-}\right|>\left|V_{+}\right|| italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT | > | italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT |.

It should be noted that the radius of the bubble is real when

ε3σ|1α|R+>1.𝜀3𝜎1𝛼subscript𝑅1\frac{\varepsilon}{3\sigma}\left|1-\alpha\right|R_{+}>1\ .divide start_ARG italic_ε end_ARG start_ARG 3 italic_σ end_ARG | 1 - italic_α | italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT > 1 . (59)

Comparing this inequality with (42), and taking into account the fact that in this case we have to replace V+>0subscript𝑉0V_{+}>0italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT > 0 for dS with |V+|subscript𝑉\left|V_{+}\right|| italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT | for AdS, we find that the critical bubbles exist only if either

ε>34κφ02Vbar(1+|V+|Vbar),𝜀34𝜅superscriptsubscript𝜑02subscript𝑉𝑏𝑎𝑟1superscriptsubscript𝑉subscript𝑉𝑏𝑎𝑟\varepsilon>\frac{3}{4}\kappa\varphi_{0}^{2}V_{bar}\left(1+\sqrt{\frac{\left|V% _{+}^{*}\right|}{V_{bar}}}\right)\quad,italic_ε > divide start_ARG 3 end_ARG start_ARG 4 end_ARG italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ( 1 + square-root start_ARG divide start_ARG | italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | end_ARG start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG end_ARG ) , (60)

or

ε<34κφ02Vbar(1|V+|Vbar),𝜀34𝜅superscriptsubscript𝜑02subscript𝑉𝑏𝑎𝑟1superscriptsubscript𝑉subscript𝑉𝑏𝑎𝑟\varepsilon<\frac{3}{4}\kappa\varphi_{0}^{2}V_{bar}\left(1-\sqrt{\frac{\left|V% _{+}^{*}\right|}{V_{bar}}}\right),italic_ε < divide start_ARG 3 end_ARG start_ARG 4 end_ARG italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ( 1 - square-root start_ARG divide start_ARG | italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | end_ARG start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG end_ARG ) , (61)

where

|V+|16|V+|3κφ02.superscriptsubscript𝑉16subscript𝑉3𝜅superscriptsubscript𝜑02\left|V_{+}^{*}\right|\equiv\frac{16\left|V_{+}\right|}{3\kappa\varphi_{0}^{2}% }\ .| italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | ≡ divide start_ARG 16 | italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT | end_ARG start_ARG 3 italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (62)

The εVbar𝜀subscript𝑉𝑏𝑎𝑟\varepsilon-V_{bar}italic_ε - italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT plane in the case of AdS is identical to Fig.2, if we replace V+subscript𝑉V_{+}italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT by its magnitude of |V+|subscript𝑉\left|V_{+}\right|| italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT |, when we consider the instability of the AdS false vacuum. As we have shown above, in region II the equation for the critical bubble in the case of AdS has no solutions, unlike the dS decay. Therefore, we only need to calculate the probability of AdS decay in the regions I and III, which correspond to the cases α<1𝛼1\alpha<1italic_α < 1 and α>1𝛼1\alpha>1italic_α > 1.

Equation (13) in the AdS case takes the form:

ϱ˙2=1+ϱ2R+2,superscript˙italic-ϱ21superscriptitalic-ϱ2superscriptsubscript𝑅2\dot{\varrho}^{2}=1+\frac{\varrho^{2}}{R_{+}^{2}}\ ,over˙ start_ARG italic_ϱ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 + divide start_ARG italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (63)

and its expanding solution,

ϱ(ξ)=R+sinh(ξR+),italic-ϱ𝜉subscript𝑅𝜉subscript𝑅\varrho\left(\xi\right)=R_{+}\sinh\left(\frac{\xi}{R_{+}}\right)\ ,italic_ϱ ( italic_ξ ) = italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT roman_sinh ( divide start_ARG italic_ξ end_ARG start_ARG italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG ) , (64)

does not cover the entire AdS false vacuum. Returning to the original coordinates (6), we find that the ξ¯¯𝜉\bar{\xi}over¯ start_ARG italic_ξ end_ARG only changes in the interval 0ξ¯10¯𝜉10\leq\bar{\xi}\leq 10 ≤ over¯ start_ARG italic_ξ end_ARG ≤ 1 for 0ξ<0𝜉0\leq\xi<\infty0 ≤ italic_ξ < ∞. Therefore, when considering transitions between AdS vacua, it is convenient to work with the original coordinates (6). As can be easily verified:

ϱ(ξ¯)=f(ξ¯)ξ¯=2R+ξ¯|1ξ¯2|,italic-ϱ¯𝜉𝑓¯𝜉¯𝜉2subscript𝑅¯𝜉1superscript¯𝜉2\varrho\left(\bar{\xi}\right)=f\left(\bar{\xi}\right)\bar{\xi}=\frac{2R_{+}% \bar{\xi}}{\left|1-\bar{\xi}^{2}\right|}\ ,italic_ϱ ( over¯ start_ARG italic_ξ end_ARG ) = italic_f ( over¯ start_ARG italic_ξ end_ARG ) over¯ start_ARG italic_ξ end_ARG = divide start_ARG 2 italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT over¯ start_ARG italic_ξ end_ARG end_ARG start_ARG | 1 - over¯ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | end_ARG , (65)

where 0ξ¯10¯𝜉10\leq\bar{\xi}\leq 10 ≤ over¯ start_ARG italic_ξ end_ARG ≤ 1 describes the expanding branch of AdS, and 1ξ¯1¯𝜉1\leq\bar{\xi}\leq\infty1 ≤ over¯ start_ARG italic_ξ end_ARG ≤ ∞ its contracting branch, thus completely covering the false AdS vacuum. Note, that ξ¯=10¯𝜉10\bar{\xi}=1-0over¯ start_ARG italic_ξ end_ARG = 1 - 0 corresponds to ξ=+𝜉\xi=+\inftyitalic_ξ = + ∞, while at ξ¯=1+0¯𝜉10\bar{\xi}=1+0over¯ start_ARG italic_ξ end_ARG = 1 + 0 we have ξ=𝜉\xi=-\inftyitalic_ξ = - ∞. The metric (6) covering the entire AdS space thus becomes

ds2=4R+2(1ξ¯2)2[dξ¯2+ξ¯2(dχ2+cos2χdΩ2)],𝑑superscript𝑠24superscriptsubscript𝑅2superscript1superscript¯𝜉22delimited-[]𝑑superscript¯𝜉2superscript¯𝜉2𝑑superscript𝜒2superscript2𝜒𝑑superscriptΩ2ds^{2}=\frac{4R_{+}^{2}}{\left(1-\bar{\xi}^{2}\right)^{2}}\left[d\bar{\xi}^{2}% +\bar{\xi}^{2}\left(d\chi^{2}+\cos^{2}\chi d\Omega^{2}\right)\right]\ ,italic_d italic_s start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 4 italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( 1 - over¯ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ italic_d over¯ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + over¯ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_d italic_χ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_χ italic_d roman_Ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] , (66)

where 0ξ¯<0¯𝜉0\leq\bar{\xi}<\infty0 ≤ over¯ start_ARG italic_ξ end_ARG < ∞. Note, that ξ¯¯𝜉\bar{\xi}over¯ start_ARG italic_ξ end_ARG in this metric can be shifted by an arbitrary constant C𝐶Citalic_C, ξ¯ξ¯+C¯𝜉¯𝜉𝐶\bar{\xi}\rightarrow\bar{\xi}+Cover¯ start_ARG italic_ξ end_ARG → over¯ start_ARG italic_ξ end_ARG + italic_C, which shifts the range to Cξ¯<𝐶¯𝜉-C\leq\bar{\xi}<\infty- italic_C ≤ over¯ start_ARG italic_ξ end_ARG < ∞.

Case (a). Let us first consider α<1𝛼1\alpha<1italic_α < 1, i.e., the region I in Fig.2, where V+subscript𝑉V_{+}italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT is replaced by |V+|subscript𝑉\left|V_{+}\right|| italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT |. In this case we have to match the expanding true AdS vacuum solution with radius Rsubscript𝑅R_{-}italic_R start_POSTSUBSCRIPT - end_POSTSUBSCRIPT:

ϱ(ξ¯)=2R(ξ¯+C)|1(ξ¯+C)2|,italic-ϱ¯𝜉2subscript𝑅¯𝜉𝐶1superscript¯𝜉𝐶2\varrho\left(\bar{\xi}\right)=\frac{2R_{-}\left(\bar{\xi}+C\right)}{\left|1-% \left(\bar{\xi}+C\right)^{2}\right|}\ ,italic_ϱ ( over¯ start_ARG italic_ξ end_ARG ) = divide start_ARG 2 italic_R start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( over¯ start_ARG italic_ξ end_ARG + italic_C ) end_ARG start_ARG | 1 - ( over¯ start_ARG italic_ξ end_ARG + italic_C ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | end_ARG , (67)

with the expanding false vacuum solution with R+>Rsubscript𝑅subscript𝑅R_{+}>R_{-}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT > italic_R start_POSTSUBSCRIPT - end_POSTSUBSCRIPT, given by (65). The matching point ξ¯bsubscript¯𝜉𝑏\bar{\xi}_{b}over¯ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT, and the constant C𝐶Citalic_C are determined by the fact that ϱitalic-ϱ\varrhoitalic_ϱ must be continuous at ξ¯bsubscript¯𝜉𝑏\bar{\xi}_{b}over¯ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT, and its derivatives must satisfy (20), from which it follows that ϱ˙+<ϱ˙subscript˙italic-ϱsubscript˙italic-ϱ\dot{\varrho}_{+}<\dot{\varrho}_{-}over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT < over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT.

Refer to caption
Figure 3: ϱitalic-ϱ\varrhoitalic_ϱ versus ξ¯¯𝜉\bar{\xi}over¯ start_ARG italic_ξ end_ARG when α<1𝛼1\alpha<1italic_α < 1: matching the expanding true AdS vacuum solution with the expanding false vacuum solution at the matching point ξ¯bsubscript¯𝜉𝑏\bar{\xi}_{b}over¯ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT.

As can be seen from Fig.3, in this case ξ¯b<1Csubscript¯𝜉𝑏1𝐶\bar{\xi}_{b}<1-Cover¯ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT < 1 - italic_C and C>0𝐶0C>0italic_C > 0. It follows from (16), using (7), that the contribution of the false AdS vacuum in the final configuration, which is calculated by subtracting the action for the bubble with radius ϱbsubscriptitalic-ϱ𝑏\varrho_{b}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT with potential V+subscript𝑉V_{+}italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT from the initial false vacuum action, is:

S+f=Si+2π2V+0ξ¯bϱ4ξ¯𝑑ξ¯+6π2κϱb2ϱ˙+=Si+12π2κ2V+(1ϱ˙+3),superscriptsubscript𝑆𝑓superscript𝑆𝑖2superscript𝜋2subscript𝑉superscriptsubscript0subscript¯𝜉𝑏superscriptitalic-ϱ4¯𝜉differential-d¯𝜉6superscript𝜋2𝜅superscriptsubscriptitalic-ϱ𝑏2subscript˙italic-ϱsuperscript𝑆𝑖12superscript𝜋2superscript𝜅2subscript𝑉1superscriptsubscript˙italic-ϱ3S_{+}^{f}=S^{i}+2\pi^{2}V_{+}\intop_{0}^{\bar{\xi}_{b}}\frac{\varrho^{4}}{\bar% {\xi}}d\bar{\xi}+\frac{6\pi^{2}}{\kappa}\varrho_{b}^{2}\dot{\varrho}_{+}=S^{i}% +\frac{12\pi^{2}}{\kappa^{2}V_{+}}\left(1-\dot{\varrho}_{+}^{3}\right)\ ,italic_S start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT = italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT + 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over¯ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG italic_ϱ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG over¯ start_ARG italic_ξ end_ARG end_ARG italic_d over¯ start_ARG italic_ξ end_ARG + divide start_ARG 6 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ end_ARG italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT + divide start_ARG 12 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG ( 1 - over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) , (68)

where

ϱ˙+=+1+ϱb2R+2.subscript˙italic-ϱ1superscriptsubscriptitalic-ϱ𝑏2superscriptsubscript𝑅2\dot{\varrho}_{+}=+\sqrt{1+\frac{\varrho_{b}^{2}}{R_{+}^{2}}}\ .over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = + square-root start_ARG 1 + divide start_ARG italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG . (69)

Similarly, we obtain the contribution of the true AdS vacuum inside the bubble to the final action:

Sf=2π2VCξ¯bϱ4(ξ¯+C)𝑑ξ¯6π2κϱb2ϱ˙=12π2κ2V(1ϱ˙3),superscriptsubscript𝑆𝑓2superscript𝜋2subscript𝑉superscriptsubscript𝐶subscript¯𝜉𝑏superscriptitalic-ϱ4¯𝜉𝐶differential-d¯𝜉6superscript𝜋2𝜅superscriptsubscriptitalic-ϱ𝑏2subscript˙italic-ϱ12superscript𝜋2superscript𝜅2subscript𝑉1superscriptsubscript˙italic-ϱ3S_{-}^{f}=-2\pi^{2}V_{-}\intop_{-C}^{\bar{\xi}_{b}}\frac{\varrho^{4}}{\left(% \bar{\xi}+C\right)}d\bar{\xi}-\frac{6\pi^{2}}{\kappa}\varrho_{b}^{2}\dot{% \varrho}_{-}=-\frac{12\pi^{2}}{\kappa^{2}V_{-}}\left(1-\dot{\varrho}_{-}^{3}% \right)\ ,italic_S start_POSTSUBSCRIPT - end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT = - 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT - italic_C end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over¯ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG italic_ϱ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG ( over¯ start_ARG italic_ξ end_ARG + italic_C ) end_ARG italic_d over¯ start_ARG italic_ξ end_ARG - divide start_ARG 6 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ end_ARG italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT = - divide start_ARG 12 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT end_ARG ( 1 - over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) , (70)

where

ϱ˙=+1+ϱb2R2.subscript˙italic-ϱ1superscriptsubscriptitalic-ϱ𝑏2superscriptsubscript𝑅2\dot{\varrho}_{-}=+\sqrt{1+\frac{\varrho_{b}^{2}}{R_{-}^{2}}}\ .over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT = + square-root start_ARG 1 + divide start_ARG italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_R start_POSTSUBSCRIPT - end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG . (71)

Finally, if these results are combined with the wall contribution to the final action Swf=2π2σϱb3superscriptsubscript𝑆𝑤𝑓2superscript𝜋2𝜎superscriptsubscriptitalic-ϱ𝑏3S_{w}^{f}=2\pi^{2}\sigma\varrho_{b}^{3}italic_S start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT = 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT, the same expression (35) is obtained:

SfSi=2π2σϱb3(1+ϱ˙+)(1+ϱ˙),superscript𝑆𝑓superscript𝑆𝑖2superscript𝜋2𝜎superscriptsubscriptitalic-ϱ𝑏31subscript˙italic-ϱ1subscript˙italic-ϱS^{f}-S^{i}=\frac{2\pi^{2}\sigma\varrho_{b}^{3}}{\left(1+\dot{\varrho}_{+}% \right)\left(1+\dot{\varrho}_{-}\right)}\ ,italic_S start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT - italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT = divide start_ARG 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG ( 1 + over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ) ( 1 + over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ) end_ARG , (72)

where σ𝜎\sigmaitalic_σ is the surface tension of the bubble and ϱbsubscriptitalic-ϱ𝑏\varrho_{b}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT, ϱ˙+subscript˙italic-ϱ\dot{\varrho}_{+}over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT and ϱ˙subscript˙italic-ϱ\dot{\varrho}_{-}over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT are given in (58), (69) and (71), respectively.

According to (58), the radius of the critical bubble in region I in Fig.2 can change from 3σ/ε3𝜎𝜀3\sigma/\varepsilon3 italic_σ / italic_ε to infinity, as we approach the edge of this region. We obtain the results of standard field theory (38) and (41), when ϱbR+,Rmuch-less-thansubscriptitalic-ϱ𝑏subscript𝑅subscript𝑅\varrho_{b}\ll R_{+},R_{-}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ≪ italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT - end_POSTSUBSCRIPT. For the bubble with the radius R+ϱbRmuch-greater-thansubscript𝑅subscriptitalic-ϱ𝑏much-greater-thansubscript𝑅R_{+}\gg\varrho_{b}\gg R_{-}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ≫ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ≫ italic_R start_POSTSUBSCRIPT - end_POSTSUBSCRIPT, gravity plays a significant role and the action (72) becomes:

SfSiπ2σϱb2R.similar-to-or-equalssuperscript𝑆𝑓superscript𝑆𝑖superscript𝜋2𝜎superscriptsubscriptitalic-ϱ𝑏2subscript𝑅S^{f}-S^{i}\simeq\pi^{2}\sigma\varrho_{b}^{2}R_{-}\ .italic_S start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT - italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ≃ italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT - end_POSTSUBSCRIPT . (73)

If ϱbR+,Rmuch-greater-thansubscriptitalic-ϱ𝑏subscript𝑅subscript𝑅\varrho_{b}\gg R_{+},R_{-}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ≫ italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT - end_POSTSUBSCRIPT then,

SfSi2π2σϱbR+R,similar-to-or-equalssuperscript𝑆𝑓superscript𝑆𝑖2superscript𝜋2𝜎subscriptitalic-ϱ𝑏subscript𝑅subscript𝑅S^{f}-S^{i}\simeq 2\pi^{2}\sigma\varrho_{b}R_{+}R_{-}\ ,italic_S start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT - italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ≃ 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_σ italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT - end_POSTSUBSCRIPT , (74)

and it becomes infinite when

ε34κφ02Vbar(1+|V+|Vbar).𝜀34𝜅superscriptsubscript𝜑02subscript𝑉𝑏𝑎𝑟1superscriptsubscript𝑉subscript𝑉𝑏𝑎𝑟\varepsilon\rightarrow\frac{3}{4}\kappa\varphi_{0}^{2}V_{bar}\left(1+\sqrt{% \frac{\left|V_{+}^{*}\right|}{V_{bar}}}\right)\ .italic_ε → divide start_ARG 3 end_ARG start_ARG 4 end_ARG italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ( 1 + square-root start_ARG divide start_ARG | italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | end_ARG start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG end_ARG ) . (75)

Case (b). Let us now turn to the case α>1𝛼1\alpha>1italic_α > 1, i.e., the region III in Fig.2, where V+subscript𝑉V_{+}italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT is replaced by |V+|subscript𝑉\left|V_{+}\right|| italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT |, corresponding to

34κφ02Vbar(1|V+|Vbar)>ε>0.34𝜅superscriptsubscript𝜑02subscript𝑉𝑏𝑎𝑟1superscriptsubscript𝑉subscript𝑉𝑏𝑎𝑟𝜀0\frac{3}{4}\kappa\varphi_{0}^{2}V_{bar}\left(1-\sqrt{\frac{\left|V_{+}^{*}% \right|}{V_{bar}}}\right)>\varepsilon>0.divide start_ARG 3 end_ARG start_ARG 4 end_ARG italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ( 1 - square-root start_ARG divide start_ARG | italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | end_ARG start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG end_ARG ) > italic_ε > 0 .
Refer to caption
Figure 4: ρ𝜌\rhoitalic_ρ versus ξ¯¯𝜉\bar{\xi}over¯ start_ARG italic_ξ end_ARG when α>1𝛼1\alpha>1italic_α > 1: matching the expanding true AdS vacuum solution with the contracting false vacuum solution at the matching point ξ¯bsubscript¯𝜉𝑏\bar{\xi}_{b}over¯ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT.

In this case, the solution for the critical bubble exists and we have to calculate the action with this solution. As can be seen from Fig.4, we need to match the expanding branch of the true AdS vacuum with the contracting branch of the false AdS vacuum at the point 1+|C|>ξ¯b>11𝐶subscript¯𝜉𝑏11+\left|C\right|>\bar{\xi}_{b}>11 + | italic_C | > over¯ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT > 1, where C𝐶Citalic_C in (67) must be negative. To calculate the contribution of the false AdS vacuum to the action after the bubble formation, we proceed as before, and subtract from the initial action the action for the false vacuum bubble with the radius ϱbsubscriptitalic-ϱ𝑏\varrho_{b}italic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT. In this case, there is a singularity at ξ¯=1¯𝜉1\bar{\xi}=1over¯ start_ARG italic_ξ end_ARG = 1, and to regularize this singularity, we divide the integration domain into two subdomains (1δ)1/2ξ¯0superscript1𝛿12¯𝜉0(1-\delta)^{1/2}\geq\bar{\xi}\geq 0( 1 - italic_δ ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT ≥ over¯ start_ARG italic_ξ end_ARG ≥ 0, and ξ¯bξ¯(1δ)1/2subscript¯𝜉𝑏¯𝜉superscript1𝛿12\bar{\xi}_{b}\geq\bar{\xi}\geq(1-\delta)^{1/2}over¯ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ≥ over¯ start_ARG italic_ξ end_ARG ≥ ( 1 - italic_δ ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT, where δ1much-less-than𝛿1\delta\ll 1italic_δ ≪ 1. The result is:

S+f=Si+2π2V+[0(1δ)1/2ϱ4ξ¯𝑑ξ¯+(1+δ)1/2ξ¯ϱ4ξ¯𝑑ξ¯]+6π2κ[ϱ2ϱ˙|0(1δ)1/2+ϱ2ϱ˙|(1+δ)1/2ξ¯b]superscriptsubscript𝑆𝑓superscript𝑆𝑖2superscript𝜋2subscript𝑉delimited-[]superscriptsubscript0superscript1𝛿12superscriptitalic-ϱ4¯𝜉differential-d¯𝜉superscriptsubscriptsuperscript1𝛿12¯𝜉superscriptitalic-ϱ4¯𝜉differential-d¯𝜉6superscript𝜋2𝜅delimited-[]evaluated-atsuperscriptitalic-ϱ2˙italic-ϱ0superscript1𝛿12evaluated-atsuperscriptitalic-ϱ2˙italic-ϱsuperscript1𝛿12subscript¯𝜉𝑏\displaystyle S_{+}^{f}=S^{i}+2\pi^{2}V_{+}\left[\intop_{0}^{(1-\delta)^{1/2}}% \frac{\varrho^{4}}{\bar{\xi}}d\bar{\xi}+\intop_{(1+\delta)^{1/2}}^{\bar{\xi}}% \frac{\varrho^{4}}{\bar{\xi}}d\bar{\xi}\right]+\frac{6\pi^{2}}{\kappa}\left[% \left.\varrho^{2}\dot{\varrho}\right|_{0}^{(1-\delta)^{1/2}}+\left.\varrho^{2}% \dot{\varrho}\right|_{(1+\delta)^{1/2}}^{\bar{\xi}_{b}}\right]italic_S start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT = italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT + 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT [ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 - italic_δ ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT divide start_ARG italic_ϱ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG over¯ start_ARG italic_ξ end_ARG end_ARG italic_d over¯ start_ARG italic_ξ end_ARG + ∫ start_POSTSUBSCRIPT ( 1 + italic_δ ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over¯ start_ARG italic_ξ end_ARG end_POSTSUPERSCRIPT divide start_ARG italic_ϱ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG over¯ start_ARG italic_ξ end_ARG end_ARG italic_d over¯ start_ARG italic_ξ end_ARG ] + divide start_ARG 6 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ end_ARG [ italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over˙ start_ARG italic_ϱ end_ARG | start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 - italic_δ ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT + italic_ϱ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over˙ start_ARG italic_ϱ end_ARG | start_POSTSUBSCRIPT ( 1 + italic_δ ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over¯ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ]
=Si24π2κ2V+(8+6δ2δ3)+12π2κ2V+(1+ϱ˙+3),absentsuperscript𝑆𝑖24superscript𝜋2superscript𝜅2subscript𝑉86superscript𝛿2superscript𝛿312superscript𝜋2superscript𝜅2subscript𝑉1superscriptsubscript˙italic-ϱ3\displaystyle=S^{i}-\frac{24\pi^{2}}{\kappa^{2}V_{+}}\left(\frac{8+6\delta^{2}% }{\delta^{3}}\right)+\frac{12\pi^{2}}{\kappa^{2}V_{+}}\left(1+\dot{\varrho}_{+% }^{3}\right)\ ,= italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT - divide start_ARG 24 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG ( divide start_ARG 8 + 6 italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_δ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ) + divide start_ARG 12 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT end_ARG ( 1 + over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) , (76)

where ϱ˙+subscript˙italic-ϱ\dot{\varrho}_{+}over˙ start_ARG italic_ϱ end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT is defined in (69). The contributions of the true vacuum and the wall are both finite. If we consider that V+subscript𝑉V_{+}italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT is negative, we see that SfSisuperscript𝑆𝑓superscript𝑆𝑖S^{f}-S^{i}italic_S start_POSTSUPERSCRIPT italic_f end_POSTSUPERSCRIPT - italic_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT tends to ++\infty+ ∞ when δ0𝛿0\delta\rightarrow 0italic_δ → 0, and thus the probability of transitions for α>1𝛼1\alpha>1italic_α > 1 (region III in Fig.2) vanishes, although the corresponding solution for the bubble exists. From this we conclude, that for a given V+subscript𝑉V_{+}italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT and Vbarsubscript𝑉𝑏𝑎𝑟V_{bar}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT, the AdS false vacuum is stable if

ε=V+V<34κφ02Vbar(1+|V+|Vbar),𝜀subscript𝑉subscript𝑉34𝜅superscriptsubscript𝜑02subscript𝑉𝑏𝑎𝑟1superscriptsubscript𝑉subscript𝑉𝑏𝑎𝑟\varepsilon=V_{+}-V_{-}<\frac{3}{4}\kappa\varphi_{0}^{2}V_{bar}\left(1+\sqrt{% \frac{\left|V_{+}^{*}\right|}{V_{bar}}}\right)\ ,italic_ε = italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT - italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT < divide start_ARG 3 end_ARG start_ARG 4 end_ARG italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT ( 1 + square-root start_ARG divide start_ARG | italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | end_ARG start_ARG italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG end_ARG ) , (77)

despite the presence of a deeper true vacuum V<V+.subscript𝑉subscript𝑉V_{-}<V_{+}.italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT < italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT .

4 Discussion

Working within the thin-wall approximation, we have shown that the false dS vacuum is always unstable, irrespective of the height of the barrier Vbarsubscript𝑉𝑏𝑎𝑟V_{bar}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT, which separate the false dS vacuum with positive potential V+subscript𝑉V_{+}italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT from the true vacuum with potential Vsubscript𝑉V_{-}italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT. The true vacuum can be either a dS vacuum with a smaller potential, a Minkowski vacuum or an AdS vacuum. This conclusion is not very intuitive from field theory perspective. Namely, if the radius of the bubble obtained by neglecting gravity, ϱb=3σ/εsubscriptitalic-ϱ𝑏3𝜎𝜀\varrho_{b}=3\sigma/\varepsilonitalic_ϱ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = 3 italic_σ / italic_ε, starts to exceed the dS radius of the false vacuum R+subscript𝑅R_{+}italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, one might naively expect that tunneling out of the false vacuum cannot take place, and it becomes stable despite the presence of the true vacuum with a smaller potential. This can happen, for example, if, either the surface tension σφ0Vbar1/2similar-to𝜎subscript𝜑0superscriptsubscript𝑉𝑏𝑎𝑟12\sigma\sim\varphi_{0}V_{bar}^{1/2}italic_σ ∼ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT is too large or the distance between the depths of the vacua ε=V+V𝜀subscript𝑉subscript𝑉\varepsilon=V_{+}-V_{-}italic_ε = italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT - italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT is too small.

However, as we have seen, gravity becomes very important in such circumstances and the negative contribution of gravity to energy cannot be neglected, when either the vacua are almost degenerate, i.e., εφ0κV+Vbarmuch-less-than𝜀subscript𝜑0𝜅subscript𝑉subscript𝑉𝑏𝑎𝑟\varepsilon\ll\varphi_{0}\sqrt{\kappa V_{+}V_{bar}}italic_ε ≪ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT square-root start_ARG italic_κ italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT end_ARG for Vbar<V+/(κφ02)subscript𝑉𝑏𝑎𝑟subscript𝑉𝜅superscriptsubscript𝜑02V_{bar}<V_{+}/\left(\kappa\varphi_{0}^{2}\right)italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT < italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT / ( italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ), or if the height of the barrier exceeds V+/(κφ02)subscript𝑉𝜅superscriptsubscript𝜑02V_{+}/\left(\kappa\varphi_{0}^{2}\right)italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT / ( italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) independently of ε𝜀\varepsilonitalic_ε. In the first case, the vacuum decay occurs via critical bubbles with a radius of the order of the false dS radius R+,subscript𝑅R_{+},italic_R start_POSTSUBSCRIPT + end_POSTSUBSCRIPT , and the decay rate is determined by the action (45), while in the second case for a very high potential barrier the size of the bubble can be much smaller than the dS radius and the decay rate is given by the action (51), which depends only on the potential in the false vacuum. Since Vbarsubscript𝑉𝑏𝑎𝑟V_{bar}italic_V start_POSTSUBSCRIPT italic_b italic_a italic_r end_POSTSUBSCRIPT cannot exceed the Planck scale, the minimal size of these bubbles is about lPl/κφ021/φ0similar-tosubscript𝑙𝑃𝑙𝜅superscriptsubscript𝜑021subscript𝜑0l_{Pl}/\sqrt{\kappa\varphi_{0}^{2}}\sim 1/\varphi_{0}italic_l start_POSTSUBSCRIPT italic_P italic_l end_POSTSUBSCRIPT / square-root start_ARG italic_κ italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∼ 1 / italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. It should be noted that the decay rate via gravitationally dominated instantons is exponentially small for the small initial cosmological constant, and vanishes when V+subscript𝑉V_{+}italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT approaches zero.

In contrast, the Minkowski or AdS false vacua are only unstable if the relative depth of the true vacuum exceeds the critical values given in (57) or (77). Otherwise, the false vacuum is stable despite the existence of the true vacuum with V<V+subscript𝑉subscript𝑉V_{-}<V_{+}italic_V start_POSTSUBSCRIPT - end_POSTSUBSCRIPT < italic_V start_POSTSUBSCRIPT + end_POSTSUBSCRIPT.

Acknowledgements

The work V. M. is supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC-2111 – 390814868. The work of Y. O.  is supported in part by the Israel Science Foundation Excellence Center, the US-Israel Binational Science Foundation, and the Israel Ministry of Science.

References