Systems and Symmetry Breaking Koji Umemoto (YITP) Based on Arpan - - PowerPoint PPT Presentation

โ–ถ
systems and symmetry breaking
SMART_READER_LITE
LIVE PREVIEW

Systems and Symmetry Breaking Koji Umemoto (YITP) Based on Arpan - - PowerPoint PPT Presentation

QIST 2019 June 6th, 2019 Entanglement of Purification in Many Body Systems and Symmetry Breaking Koji Umemoto (YITP) Based on Arpan Bhattacharyya (YITP), Alexander Jahn (Freie U.) Tadashi Takayanagi (YITP) and KU [1902.02369] =


slide-1
SLIDE 1

Koji Umemoto (YITP)

Entanglement of Purification in Many Body Systems and Symmetry Breaking

QIST 2019 June 6th, 2019

Based on Arpan Bhattacharyya (YITP), Alexander Jahn (Freie U.) Tadashi Takayanagi (YITP) and KU [1902.02369]

slide-2
SLIDE 2

๐น๐‘‹ = ๐น๐‘„ conjecture

2

Takayanagi-KU โ€™17, Nguyen-Devakul-Halbasch-Zaletel-Swingle โ€™17

๐น๐‘‹ ๐œ๐ต๐ถ โ‰” min

ฮฃ๐ต๐ถ

Area(ฮฃ๐ต๐ถ) 4๐ป๐‘‚

ฮฃ๐ต๐ถ

min

๐ต ๐ถ

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

Entanglement wedge cross section

slide-3
SLIDE 3

๐น๐‘‹ = ๐น๐‘„ conjecture

3

Takayanagi-KU โ€™17, Nguyen-Devakul-Halbasch-Zaletel-Swingle โ€™17

๐น๐‘‹ ๐œ๐ต๐ถ

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

๐น๐‘„ ๐œ๐ต๐ถ โ‰” min

๐œ” ๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ๐‘‡๐ต๐ตโ€ฒ

Reflected entropy (2๐น๐‘‹)

๏ผŸ

=

๐‘‡๐‘† ๐œ๐ต๐ถ โ‰” ๐‘‡ ๐ต๐ตโˆ—

โˆš๐œ๐ต๐ถ

Entanglement of purification

Logarithmic negativity (

3 2 ๐น๐‘‹)

โ„ฐ๐‘‚ ๐œ๐ต๐ถ โ‰” log ๐œ๐ต๐ถ

๐‘ˆ๐ต 1

Odd entanglement entropy (๐น๐‘‹ + ๐‘‡๐ต๐ถ)

๐‘‡๐‘ ๐œ๐ต๐ถ โ‰” lim

๐‘œ๐‘:๐‘๐‘’๐‘’โ†’1

Tr(๐œ๐ต๐ถ

๐‘ˆ๐ต ๐‘œ๐‘ โˆ’ 1]

1 โˆ’ ๐‘œ๐‘

Dutta and Faulkner โ€™19 Tamaoka โ€™18 Kudler-Flam and Ryu โ€™18

ฮฃ๐ต๐ถ

min

๐ต ๐ถ

slide-4
SLIDE 4

Entanglement of Purification (EoP)

4

Definition: ๐น๐‘„ ๐œ๐ต๐ถ โ‰” min

๐œ” ๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ

๐‘‡(๐œ๐ต๐ตโ€ฒ) (๐œ๐ต๐ตโ€ฒ โ‰” Tr๐ถ๐ถโ€ฒ[ ๐œ” ๐œ” ๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ])

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-5
SLIDE 5

Entanglement of Purification (EoP)

5

Definition:

  • In practice, hard to compute

๐น๐‘„ ๐œ๐ต๐ถ โ‰” min

๐œ” ๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ

๐‘‡(๐œ๐ต๐ตโ€ฒ) (๐œ๐ต๐ตโ€ฒ โ‰” Tr๐ถ๐ถโ€ฒ[ ๐œ” ๐œ” ๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ])

  • Thus we still donโ€™t know much about EoP in physical

many body systems e.g. CFTs

Related papers: Terhal-Horodecki-Leung-DiVincenzo โ€™02, Chen-Winter โ€˜12 Nguyen-Devakul-Halbasch-Zaletel-Swingle โ€™17, โ€ฆ

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-6
SLIDE 6

6

To compute EoP in many body systems (on a lattice) by numerically performing the minimization

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

Our goal

๐น๐‘„ ๐œ๐ต๐ถ โ‰” min

๐œ” ๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ

๐‘‡(๐œ๐ต๐ตโ€ฒ)

slide-7
SLIDE 7

7 Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

Our Targets

  • 2d (massless) free scalar field theory on a lattice
  • 2d transverse-field (critical) Ising model

Method: Minimal Gaussian purification ansatz Method: Full minimization without ansatz Purifications ฮจ ๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ is assumed to be Gaussian with ๐ตโ€ฒ๐ถโ€ฒ โ‰” |๐ต๐ถ| A theorem [Ibinson-Linden-Winter โ€™06] guarantees that it is sufficient to search dimโ„‹๐ตโ€ฒ โ‰ค rank๐œ๐ต๐ถ, dimโ„‹๐ถโ€ฒ โ‰ค rank๐œ๐ต๐ถ for minimizing ๐‘‡๐ต๐ตโ€ฒ

Ground state reduced matrix ๐œ๐ต๐ถ is Gaussian

๐ต โˆช ๐ถ ๐ตโ€ฒ โˆช ๐ถโ€ฒ ๐ต ๐ถ rank๐œ๐ต๐ถ = 4 dimโ„‹๐ตโ€ฒ = dimโ„‹๐ถโ€ฒ = 4

E.g. 2 qubits

slide-8
SLIDE 8

8 Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

Our Targets

๏ฎ EoP can increase with the physical distance. ๏ฎ Even if ๐œ๐ต๐ถ = ๐œ๐ถ๐ต, the optimal purification can break its symmetry i.e. ๐œ”โˆ—

๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ โ‰  ๐œ”โˆ— ๐ถ๐ถโ€ฒ๐ต๐ตโ€ฒ.

EoP behaves similarly in both models. Common results

slide-9
SLIDE 9

9 Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

Setup

[1+1d, vacuum, periodic boundary condition]

๐‘‚: 16 ๐‘‚: total sites number

slide-10
SLIDE 10

10 Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

Setup

๐ต ๐ถ

[1+1d, vacuum, periodic boundary condition]

๐‘‚: 16 ๐‘ฅ: 2 ๐‘ฅ: size of subsystem ๐‘‚: total sites number

slide-11
SLIDE 11

11 Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

Setup

๐ต ๐ถ

๐‘’

[1+1d, vacuum, periodic boundary condition]

๐‘‚: total sites number ๐‘ฅ: size of subsystem ๐‘’: distance between ๐ต and ๐ถ ๐‘‚: 16 ๐‘ฅ: 2 ๐‘’: 3

slide-12
SLIDE 12

Results

12

E.g. ๐‘‚ = 60 free scalar EoP

(Mutual information ๐ฝ ๐ต: ๐ถ = ๐‘‡๐ต + ๐‘‡๐ถ โˆ’ ๐‘‡๐ต๐ถ)

Half of mutual information

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

Plateau-like behavior

slide-13
SLIDE 13

Results

13

EoP Log negativity

(Log negativity ๐น๐‘‚ = log ๐œ๐ต๐ถ

๐‘ˆ๐ต 1)

E.g. ๐‘‚ = 60 free scalar

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

Plateau-like behavior

slide-14
SLIDE 14

Results

14

(๐‘ฅ = 4)

E.g. ๐‘‚ = 60 free scalar

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-15
SLIDE 15

Results

15

(๐‘ฅ = 1)

E.g. ๐‘‚ = 10 Ising

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

(periodic b.c.)

slide-16
SLIDE 16

Non-monotonicity

16

EoP increases with the distance ๐‘’ (For small ๐‘‚, at ๐‘’ = 1) Ising model ๐‘ฅ = 2 Free scalar ๐‘ฅ = 2

(dimโ„‹๐ตโ€ฒ๐ถโ€ฒ โ‰” dimโ„‹

๐ต๐ถ) Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-17
SLIDE 17

Non-monotonicity

17

EoP increases with the distance ๐‘’ (For small ๐‘‚, at ๐‘’ = 1) Ising model ๐‘ฅ = 2 Mutual information

(dimโ„‹๐ตโ€ฒ๐ถโ€ฒ โ‰” dimโ„‹

๐ต๐ถ) Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-18
SLIDE 18

Non-monotonicity

18

Itโ€™s so weirdโ€ฆ Perhaps the minimization does not work well? Theorem If ๐œ๐ต๐ถ has support only on the (anti-) symmetric subspace of โ„‹

๐ต๐ถ = โ„‹ ๐ต โŠ— โ„‹๐ถ,

then ๐น๐‘„ ๐ต: ๐ถ = ๐‘‡๐ต = ๐‘‡๐ถ.

  • We can show this behavior analytically in some cases

Christandl-Winter โ€™05

We can show ๐น๐‘„(๐‘’ = 1) = ๐‘‡๐ต = ๐‘‡๐ถ by a thm. and ๐น๐‘„(๐‘’ = 0) < ๐‘‡๐ต by numerics

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

E.g) in ๐‘‚ = 4 Ising model

slide-19
SLIDE 19

Z2 symmetry breaking

19

The optimal purifications do not necessarily have the exchange symmetry (๐ต๐ตโ€ฒ โ†” ๐ถ๐ถโ€ฒ)

๐œ๐ต๐ถ = ๐œ๐ถ๐ต ๐œ”opt.

๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ โ‰  ๐œ”opt. ๐ถ๐ถโ€ฒ๐ต๐ตโ€ฒ But Optimal purification

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

In some cases,

slide-20
SLIDE 20

Z2 symmetry breaking

20

E.g. Ising model, ๐‘‚ = 10, ๐‘ฅ = 1 The optimal purifications do not necessarily have the exchange symmetry (๐ต๐ตโ€ฒ โ†” ๐ถ๐ถโ€ฒ) ๐‘‡max โ‰” max ๐‘‡๐ตโ€ฒ, ๐‘‡๐ถโ€ฒ , ๐‘‡min โ‰” min ๐‘‡๐ตโ€ฒ, ๐‘‡๐ถโ€ฒ

๐‘‡(๐œ๐ตโ€ฒ

  • pt.) โ‰  ๐‘‡(๐œ๐ถโ€ฒ
  • pt.) at ๐‘’ = 1

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-21
SLIDE 21

A qualitative interpretation

21

๏ฎ Interplay between quantum entanglement and classical correlations Classical correlations: typically in separable states

๐œ๐ต๐ถ = ๐‘ž๐‘—

๐‘—

๐œ๐ต

๐‘— โŠ— ๐œ๐ถ ๐‘—

Suppose that total correlation, half of MI, is just a sum of them

๐ฝ ๐ต: ๐ถ 2 ~๐น ๐ต: ๐ถ + ๐ท(๐ต: ๐ถ)

Squashed entanglement ๐น๐‘ก๐‘Ÿ will be a good candidate (โˆต ๐น๐‘ก๐‘Ÿ โ‰ค ๐ฝ/2) Remainings (๐ท โ‰”

๐ฝ 2 โˆ’ ๐น๐‘ก๐‘Ÿ)

Try to understand the qualitative aspects of results

(Of course not precise)

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-22
SLIDE 22

A qualitative interpretation

22

1) EoP coincides with ๐‘‡๐ต for pure states

Claim:

๐น๐‘„ ๐ต: ๐ถ โ‰ณ 1 ๐น ๐ต: ๐ถ + 2 ๐ท(๐ต: ๐ถ)

When ๐ท ๐ต: ๐ถ = 0, ๐น๐‘„ ๐ต: ๐ถ = ๐‘‡๐ต = ๐น ๐ต: ๐ถ

โˆด ๐‘ = 1

2) EoP is at least as large as ๐ฝ(๐ต: ๐ถ) for separable states When ๐น ๐ต: ๐ถ = 0, ๐น๐‘„ ๐ต: ๐ถ โ‰ฅ ๐ฝ ๐ต: ๐ถ = 2๐ท(๐ต: ๐ถ)

โˆด ๐‘ โ‰ฅ 2

Terhal-Horodecki-Leung-DiVincenzo โ€™02

  • Q. What is the coefficients for EoP?

๐น๐‘„ ๐ต: ๐ถ ~ ๐‘ ๐น ๐ต: ๐ถ + ๐‘ ๐ท(๐ต: ๐ถ)

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-23
SLIDE 23

A qualitative interpretation

23

Classical correlation is strong Entanglement is strong

๐น๐‘„ ๐ต: ๐ถ โ‰ณ 1 ๐น ๐ต: ๐ถ + 2 ๐ท(๐ต: ๐ถ)

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

๐ฝ ๐ต: ๐ถ 2 ~ 1 ๐น ๐ต: ๐ถ + 1 ๐ท(๐ต: ๐ถ)

slide-24
SLIDE 24

A qualitative interpretation

24

A toy model explaining why ๐‘Ž2 symmetry is broken only at ๐‘’ = 1:

Focus on the nearest neighbor entanglement ๏ฎ EoP converts classical correlation into entanglement in the purified system

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-25
SLIDE 25

Summary

25

  • We computed entanglement of purification in 2d free scalar field

and 2d Ising model by numerically performing the minimization.

  • We found that EoP can increase with the physical distance.

It is quite different from other measures such as mutual information.

  • The optimal purifications are not necessarily symmetric under

exchange ๐ต๐ตโ€ฒ โ†” ๐ถ๐ถโ€ฒ even if the original state satisfies ๐œ๐ต๐ถ = ๐œ๐ถ๐ต

  • Both can be interpreted as an interplay between entanglement and

classical correlation

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-26
SLIDE 26

Appendices

slide-27
SLIDE 27

Entanglement of Purification (EoP)

27

๐น๐‘„ ๐œ๐ต๐ถ โ‰” min

๐œ” ๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ

๐‘‡(๐œ๐ต๐ตโ€ฒ) (๐œ๐ต๐ตโ€ฒ โ‰” Tr๐ถ๐ถโ€ฒ[ ๐œ” ๐œ” ๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ])

Terhal-Horodecki-Leung-DiVincenzo โ€™02

  • ๐น๐‘„ โ‰ฅ 0 and ๐น๐‘„ = 0 if and only if ๐œ๐ต๐ถ = ๐œ๐ต โŠ— ๐œ๐ถ

Definition

  • It monotonically decreases under local operations

โˆดA measure of total correlation (not just entanglement)

  • Cf. mutual information ๐ฝ ๐ต: ๐ถ โ‰” ๐‘‡๐ต + ๐‘‡๐ถ โˆ’ ๐‘‡๐ต๐ถ

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-28
SLIDE 28

EoP for free scalar field

28

  • Vacuum is Gaussian state

ฮจtotal ๐œš โˆ exp โˆ’ 1 2 ๐œš๐‘ˆ๐‘‹๐œš

where ๐‘‹๐‘œ๐‘œโ€ฒ = 1 ๐‘‚

4sin2(

๐œŒ๐‘™ ๐‘‚ ) + ๐‘›2๐‘2 ๐‘‚ ๐‘™=1

๐‘“

2๐œŒ๐‘—๐‘™(๐‘œโˆ’๐‘œโ€ฒ) ๐‘‚

(small) mass ~10โˆ’4 Lattice cutoff = 1 d.o.f. on the sites

=: exp โˆ’ 1 2 ๐œš๐ต๐ถ, ๐œšother

๐‘ˆ

๐‘„ ๐‘… ๐‘…๐‘ˆ ๐‘† ๐œš๐ต๐ถ, ๐œšother

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-29
SLIDE 29

Minimal Gaussian Purification ansatz

29

ฮจ

๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ Gaussian ๐œš โˆ exp โˆ’ 1

2 ๐œš๐ต๐ถ, ๐œš๐ตโ€ฒ๐ถโ€ฒ

๐‘ˆ

๐พ ๐ฟ ๐ฟ๐‘ˆ ๐‘€ ๐œš๐ต๐ถ, ๐œš๐ตโ€ฒ๐ถโ€ฒ

๐ต๐ถ = |๐ตโ€ฒ๐ถโ€ฒ|

  • Tr๐ตโ€ฒ๐ถโ€ฒ|ฮจ๐ปโŸฉโŸจฮจ๐ป|๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ = ๐œ๐ต๐ถ โ‡’ only ๐ฟ is free parameters
  • Perform the minimization of ๐‘‡๐ต๐ตโ€ฒ(๐ฟ) over the minimal Gaussian

purification ansatz by changing the components of ๐ฟ

(We can further reduce the numbers of parameters by using a symmetry of EE) ๐œ๐ต๐ถ ๐œš๐ต๐ถ, ๐œšโ€ฒ๐ต๐ถ โˆ exp โˆ’ 1 2 ๐œš๐ต๐ถ, ๐œš๐ต๐ถ

๐‘ˆ

๐‘„ โˆ’ 1 2 ๐‘…๐‘†โˆ’1๐‘…๐‘ˆ โˆ’ 1 2 ๐‘…๐‘†โˆ’1๐‘…๐‘ˆ โˆ’ 1 2 ๐‘…๐‘†โˆ’1๐‘…๐‘ˆ ๐‘„ โˆ’ 1 2 ๐‘…๐‘†โˆ’1๐‘…๐‘ˆ ๐œš๐ต๐ถ, ๐œšโ€ฒ๐ต๐ถ

Minimal Gaussian Purification ansatz

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-30
SLIDE 30

EoP for Ising model

30

  • The critical 2d Ising model
  • Total vacuum state ฮฉ total โ†’ ๐œ๐ต๐ถ โ†’ ๐œ”0 ๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ (any purification)

๐ผtotal = โˆ’ ๐œ๐‘—

๐‘จ โŠ— ๐œ ๐‘˜ ๐‘จ โˆ’ ๐œ๐‘— ๐‘ฆ ๐‘— <๐‘—,๐‘˜>

  • All possible purifications = All isometry maps (embedding + unitary)

๐œ๐ต๐ถ โ†’ ๐ฝ๐ต๐ถ โŠ— ๐‘Š

๐ตโ€ฒ๐ถโ€ฒ ๐‘—๐‘ก๐‘ ๐œ”0 ๐ต๐ตโ€ฒ๐ถ๐ถโ€ฒ

  • Minimize ๐‘‡๐ต๐ตโ€ฒ(๐‘Š

๐ตโ€ฒ๐ถโ€ฒ ๐‘—๐‘ก๐‘ ) without any ansatz

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-31
SLIDE 31

EoP for Ising model

31

We do not need to consider arbitrary large Hilbert space โ„‹๐ตโ€ฒ๐ถโ€ฒ

Ibinson-Linden-Winter โ€™06

๐ต โˆช ๐ถ ๐ตโ€ฒ โˆช ๐ถโ€ฒ ๐ต ๐ถ

Theorem In a finite dimensional case, the minimum of ๐‘‡๐ต๐ตโ€ฒ can be achieved by

dimโ„‹๐ตโ€ฒ โ‰ค rank๐œ๐ต๐ถ and dimโ„‹๐ถโ€ฒ โ‰ค rank๐œ๐ต๐ถ rank๐œ๐ต๐ถ = 4 dimโ„‹๐ตโ€ฒ = dimโ„‹๐ถโ€ฒ = 4

E.g. 2 qubits

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-32
SLIDE 32

Z2 symmetry breaking

32

The Z2 symmetry breaking and quantum phase transition ๐ผtotal = โˆ’ ๐œ๐‘—

๐‘จ โŠ— ๐œ ๐‘˜ ๐‘จ โˆ’ โ„Ž ๐œ๐‘— ๐‘ฆ ๐‘— <๐‘—,๐‘˜>

(๐‘‚ = โˆž, thermal ground state ฮฉ = lim

๐›พโ†’โˆž๐‘“โˆ’๐›พ๐ผ/๐‘Ž(๐›พ) )

(๐‘ฅ = 1, ๐‘’ = 1)

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto

slide-33
SLIDE 33

Implications to holography

33

EWCS MI/2

  • Reflection symmetry could also break in excited states or ๐‘ƒ(1) correction

๐ต ๐ถ ๐ต ๐ถ

๐‘’

  • We know that EWCS behaves differently from MI around the transition point

Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto