An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the...

13
2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett. 120 (2018) 091802 [ 1 / 10 ] Ryosuke Sato (DESY)

Transcript of An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the...

Page 1: An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett.

2018. 12. 4 @ KEK-PH 2018 winter

An lowerbound on the bounce action.

Ryosuke Sato, Masahiro Takimoto

[arXiv:1707.01099]

Phys. Rev. Lett. 120 (2018) 091802

[ 1 / 10 ]

Ryosuke Sato (DESY)

Page 2: An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett.

ฮ“ โˆ exp(โˆ’๐‘†๐ธ[๐œ™])

In general, it is tough to solve EOM explicitly

> Lifetime of metastable

[Coleman (1977), Callan Coleman (1977)]

๐‘†๐ธ ๐œ™ = โˆซ ๐‘‘4๐‘ฅ1

2๐›ป๐œ™ 2 + ๐‘‰ ๐œ™

[ 2 / 10 ]

๐›ป2๐œ™๐‘– โˆ’๐œ•๐‘‰

๐œ•๐œ™๐‘–= 0,

Lifetime of metastable vacuum.

> Bounce solution

Page 3: An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett.

[ 3 / 10 ]

๐‘†๐ธ ๐œ™ โ‰ฅ24

๐œ†๐‘๐‘Ÿ ๐œ†๐‘๐‘Ÿ โ‰ก max

๐œ‘โˆ’

4๐‘‰ ๐œ‘

|๐œ‘|4

๐œ‘

๐‘‰(๐œ‘)

โˆ’๐œ†๐‘๐‘Ÿ

4๐œ‘ 4

๐›ป2๐œ™๐‘– โˆ’๐œ•๐‘‰

๐œ•๐œ™๐‘–= 0,

๐‘†๐ธ ๐œ™ = โˆซ ๐‘‘4๐‘ฅ1

2๐›ป๐œ™ 2 + ๐‘‰ ๐œ™

lim๐‘ฅ โ†’โˆž

๐œ™๐‘– ๐‘ฅ = 0 (false vacuum) Bounce sol. :

Bounce action :

[Sato, Takimoto (2017)]

Lowerbound on the bounce action.

> Setup

> Result

Page 4: An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett.

๐œ™๐œ† ๐‘ฅ โ‰ก ๐œ™(๐œ†๐‘ฅ) ๐‘† ๐œ™๐œ† = ๐œ†2๐‘‡ + ๐œ†4๐‘‰

๐‘‘๐‘†[๐œ™๐œ†]

๐‘‘๐œ† ๐œ†=1

= 0 2๐‘‡ = โˆ’4๐‘‰, ๐‘† =1

2๐‘‡

๐‘† = 1

2๐‘‡ =

1

2 ๐‘‘๐‘Ÿ ๐œ‹2๐‘Ÿ3

๐‘‘๐œ™

๐‘‘๐‘Ÿ

2โˆž

0

Bounce sol. is spherical.

[Callan Glaser Martin (1977)]

[Blum Honda Sato Takimoto Tobioka (2016)]

[ 4 / 10 ]

Bounce = sol. of EOM โ†’ ๐›ฟ๐‘† = 0 for any perturbation ๐›ฟ๐œ™

๐‘‡ = โˆซ ๐‘‘4๐‘ฅ1

2๐›ป๐œ™ 2

๐‘‰ = โˆซ ๐‘‘4๐‘ฅ ๐‘‰(๐œ™)

Let us assume the existence of the bounce sol.

Derivation (1/3) : preparation.

Page 5: An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett.

๐›ฟ๐œ™ = ๐œ™ 0 โˆ’ ๐œ™ โˆž = โˆ’ ๐‘‘๐‘Ÿ๐‘‘๐œ™

๐‘‘๐‘Ÿ

โˆž

0

๐›ฟ๐‘‰ = ๐‘‰ โˆž โˆ’ ๐‘‰ 0 = ๐‘‘๐‘Ÿ3

๐‘Ÿ

๐‘‘๐œ™

๐‘‘๐‘Ÿ

2โˆž

0

Let us fix ๐›ฟ๐œ™ and ๐›ฟ๐‘‰ > 0 by hand for the moment

๐‘‡ = ๐‘‡ + 2๐›ผ ๐›ฟ๐œ™ + ๐‘‘๐‘Ÿโˆž

0

๐‘‘๐œ™

๐‘‘๐‘Ÿโˆ’ ๐›ฝ ๐›ฟ๐‘‰ โˆ’ ๐‘‘๐‘Ÿ

โˆž

0

3

๐‘Ÿ

๐‘‘๐œ™

๐‘‘๐‘Ÿ

2

๐‘‡๐‘š๐‘–๐‘› ๐›ฟ๐œ™, ๐›ฟ๐‘‰ = 12 ๐›ฟ๐œ™ 4

๐›ฟ๐‘‰

๐‘† =1

2๐‘‡ = ๐‘‘๐‘Ÿ ๐œ‹2๐‘Ÿ3

๐‘‘๐œ™

๐‘‘๐‘Ÿ

2โˆž

0

๐›ฟ๐œ™

๐›ฟ๐‘‰

[ 5 / 10 ]

โ†’ ๐‘‡ can be minimized by Lagrange multiplier method.

Derivation (2/3) : Lagrange multiplier.

Page 6: An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett.

๐›ฟ๐œ™

๐›ฟ๐‘‰

[ 6 / 10 ]

๐‘† =๐‘‡

2 โ‰ฅ min

๐œ™

๐‘‡๐‘š๐‘–๐‘› ๐›ฟ๐œ™, ๐›ฟ๐‘‰

2 = min

๐œ™

6 ๐›ฟ๐œ™ 4

๐›ฟ๐‘‰

We do not know ๐›ฟ๐œ™ and ๐›ฟ๐‘‰

Derivation (3/3) : bound on S.

Page 7: An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett.

๐œ†๐‘๐‘Ÿ โ‰ก max๐œ™

โˆ’4๐‘‰ ๐œ™

๐œ™ 4 ๐‘† โ‰ฅ24

๐œ†๐‘๐‘Ÿ,

We do not know ๐›ฟ๐œ™ and ๐›ฟ๐‘‰

The minimum of lowerbound is smaller than ๐‘† ๐›ฟ๐œ™

๐›ฟ๐‘‰

[ 7 / 10 ]

๐‘† =๐‘‡

2 โ‰ฅ min

๐œ™

๐‘‡๐‘š๐‘–๐‘› ๐›ฟ๐œ™, ๐›ฟ๐‘‰

2 = min

๐œ™

6 ๐›ฟ๐œ™ 4

๐›ฟ๐‘‰

โˆ’๐œ†๐‘๐‘Ÿ

4๐œ™ 4

Derivation (3/3) : bound on S.

Page 8: An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett.

๐‘‰ =1

2๐‘€2๐œ™2 โˆ’

1

3๐ด๐œ™3 +

1

4๐œ†4๐œ™4, ๐œ… โ‰ก

9๐œ†4๐‘€2

8๐ด2

Ratio between the actual value of lowerbound

~ Double-well

Thin-wall

~ negative quartic

Fubini instanton like

[ 8 / 10 ]

๐‘† =9๐‘€2

2๐ด2๐‘†(๐œ…)

Example 1 : single scalar field.

Page 9: An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett.

[ 9 / 10 ]

Red line is given by Hisano-Sugiyama (2011)

(๐œ‡ = 700 GeV, ๐‘š๐œ๐‘… = ๐‘š๐ฟ + 200 GeV)

๐ฟ โˆ‹ ๐‘š๐œ

๐‘ฃ๐œ‡tan๐›ฝ โ„Ž๐œ ๐ฟ๐œ ๐‘…

Example 2 : MSSM with large tanbeta.

Page 10: An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett.

> In general, it is technically tough to calculate lifetime of metastable vacuum.

> We derived a lowerbound without solving EOM

> It is useful to analyze multiscalar models.

[ 10 / 10 ]

๐‘†๐ธ ๐œ™ โ‰ฅ24

๐œ†๐‘๐‘Ÿ ๐œ†๐‘๐‘Ÿ โ‰ก max

๐œ™โˆ’

4๐‘‰ ๐œ™

|๐œ™|4

๐œ™

๐‘‰(๐œ™)

โˆ’๐œ†๐‘๐‘Ÿ

4๐œ™ 4

Summary.

Page 11: An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett.

Backup

Page 12: An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett.

Lagrange multiplier

๐›ฟ๐œ™ = ๐œ™ 0 โˆ’ ๐œ™ โˆž = โˆ’ ๐‘‘๐‘Ÿ๐‘‘๐œ™

๐‘‘๐‘Ÿ,

โˆž

0

๐›ฟ๐‘‰ = ๐‘‰ โˆž โˆ’ ๐‘‰ 0 = ๐‘‘๐‘Ÿ3

๐‘Ÿ

๐‘‘๐œ™

๐‘‘๐‘Ÿ

2โˆž

0

๐‘‡ = ๐‘‡ + 2๐›ผ ๐›ฟ๐œ™ + ๐‘‘๐‘Ÿโˆž

0

๐‘‘๐œ™

๐‘‘๐‘Ÿโˆ’ ๐›ฝ ๐›ฟ๐‘‰ โˆ’ ๐‘‘๐‘Ÿ

โˆž

0

3

๐‘Ÿ

๐‘‘๐œ™

๐‘‘๐‘Ÿ

2

๐‘‘๐œ™

๐‘‘๐‘Ÿ= โˆ’

๐›ผ๐‘Ÿ

๐œ‹2๐‘Ÿ4 + 3๐›ฝ

๐‘‡ = ๐‘‘๐‘Ÿ ๐œ‹2๐‘Ÿ3๐‘‘๐œ™

๐‘‘๐‘Ÿ

2โˆž

0

๐›ฟ๐œ™

๐›ฟ๐‘‰

๐›ฟ๐‘‡

๐›ฟ๐œ™ = 0, ๐œ™ = โˆ’

๐›ผ๐‘Ÿ

๐œ‹2๐‘Ÿ4 + 3๐›ฝ,

๐œ•๐‘‡

๐œ•๐›ผ=

๐œ•๐‘‡

๐œ•๐›ฝ= 0 ๐›ผ =

24 ๐›ฟ๐œ™ 3

๐›ฟ๐‘‰, ๐›ฝ =

12 ๐›ฟ๐œ™ 4

๐›ฟ๐‘‰ 2

๐‘‡ ๐›ผ =24 ๐›ฟ๐œ™ 3

๐›ฟ๐‘‰, ๐›ฝ =

12 ๐›ฟ๐œ™ 4

๐›ฟ๐‘‰ 2 =

12 ๐›ฟ๐œ™ 4

๐›ฟ๐‘ˆ+ ๐‘‘๐‘Ÿ

๐œ‹2๐‘Ÿ4 + 3๐›ฝ

๐‘Ÿ๐œ™ +

๐›ผ๐‘Ÿ

๐œ‹2๐‘Ÿ4 + 3๐›ฝ

2โˆž

0

Let us determine lowerbound of ๐‘‡ for fixed ๐›ฟ๐œ™ and ๐›ฟ๐‘ˆ

Minimize ๐‘‡ (Lagrange multiplier method)

ใ•ใ‚‰ใซใ€

ๆฅตๅ€คใฎๆกไปถใฏใ€

For fixed ๐›ฟ๐œ™ and ๐›ฟ๐‘‰, ๐‘‡ โ‰ฅ12 ๐›ฟ๐œ™ 4

๐›ฟ๐‘ˆ

Page 13: An lowerbound on the bounce action - KEK...2018. 12. 4 @ KEK-PH 2018 winter An lowerbound on the bounce action. Ryosuke Sato, Masahiro Takimoto [arXiv:1707.01099] Phys. Rev. Lett.