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]
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] =
Koji Umemoto (YITP)
QIST 2019 June 6th, 2019
Based on Arpan Bhattacharyya (YITP), Alexander Jahn (Freie U.) Tadashi Takayanagi (YITP) and KU [1902.02369]
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
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
4
Definition: ๐น๐ ๐๐ต๐ถ โ min
๐ ๐ต๐ตโฒ๐ถ๐ถโฒ
๐(๐๐ต๐ตโฒ) (๐๐ต๐ตโฒ โ Tr๐ถ๐ถโฒ[ ๐ ๐ ๐ต๐ตโฒ๐ถ๐ถโฒ])
Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
5
Definition:
๐น๐ ๐๐ต๐ถ โ min
๐ ๐ต๐ตโฒ๐ถ๐ถโฒ
๐(๐๐ต๐ตโฒ) (๐๐ต๐ตโฒ โ Tr๐ถ๐ถโฒ[ ๐ ๐ ๐ต๐ตโฒ๐ถ๐ถโฒ])
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
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
๐น๐ ๐๐ต๐ถ โ min
๐ ๐ต๐ตโฒ๐ถ๐ถโฒ
๐(๐๐ต๐ตโฒ)
7 Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
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
8 Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
๏ฎ 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
9 Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
[1+1d, vacuum, periodic boundary condition]
๐: 16 ๐: total sites number
10 Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
[1+1d, vacuum, periodic boundary condition]
๐: 16 ๐ฅ: 2 ๐ฅ: size of subsystem ๐: total sites number
11 Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
๐
[1+1d, vacuum, periodic boundary condition]
๐: total sites number ๐ฅ: size of subsystem ๐: distance between ๐ต and ๐ถ ๐: 16 ๐ฅ: 2 ๐: 3
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
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
14
(๐ฅ = 4)
E.g. ๐ = 60 free scalar
Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
15
(๐ฅ = 1)
E.g. ๐ = 10 Ising
Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
(periodic b.c.)
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
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
18
Itโs so weirdโฆ Perhaps the minimization does not work well? Theorem If ๐๐ต๐ถ has support only on the (anti-) symmetric subspace of โ
๐ต๐ถ = โ ๐ต โ โ๐ถ,
then ๐น๐ ๐ต: ๐ถ = ๐๐ต = ๐๐ถ.
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
19
The optimal purifications do not necessarily have the exchange symmetry (๐ต๐ตโฒ โ ๐ถ๐ถโฒ)
๐ต๐ตโฒ๐ถ๐ถโฒ โ ๐opt. ๐ถ๐ถโฒ๐ต๐ตโฒ But Optimal purification
Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
In some cases,
20
E.g. Ising model, ๐ = 10, ๐ฅ = 1 The optimal purifications do not necessarily have the exchange symmetry (๐ต๐ตโฒ โ ๐ถ๐ถโฒ) ๐max โ max ๐๐ตโฒ, ๐๐ถโฒ , ๐min โ min ๐๐ตโฒ, ๐๐ถโฒ
๐(๐๐ตโฒ
Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
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
22
1) EoP coincides with ๐๐ต for pure states
Claim:
When ๐ท ๐ต: ๐ถ = 0, ๐น๐ ๐ต: ๐ถ = ๐๐ต = ๐น ๐ต: ๐ถ
2) EoP is at least as large as ๐ฝ(๐ต: ๐ถ) for separable states When ๐น ๐ต: ๐ถ = 0, ๐น๐ ๐ต: ๐ถ โฅ ๐ฝ ๐ต: ๐ถ = 2๐ท(๐ต: ๐ถ)
Terhal-Horodecki-Leung-DiVincenzo โ02
Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
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 ๐ท(๐ต: ๐ถ)
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
25
and 2d Ising model by numerically performing the minimization.
It is quite different from other measures such as mutual information.
exchange ๐ต๐ตโฒ โ ๐ถ๐ถโฒ even if the original state satisfies ๐๐ต๐ถ = ๐๐ถ๐ต
classical correlation
Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
27
๐น๐ ๐๐ต๐ถ โ min
๐ ๐ต๐ตโฒ๐ถ๐ถโฒ
๐(๐๐ต๐ตโฒ) (๐๐ต๐ตโฒ โ Tr๐ถ๐ถโฒ[ ๐ ๐ ๐ต๐ตโฒ๐ถ๐ถโฒ])
Terhal-Horodecki-Leung-DiVincenzo โ02
Definition
โดA measure of total correlation (not just entanglement)
Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
28
ฮจ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
29
ฮจ
๐ต๐ตโฒ๐ถ๐ถโฒ Gaussian ๐ โ exp โ 1
2 ๐๐ต๐ถ, ๐๐ตโฒ๐ถโฒ
๐
๐พ ๐ฟ ๐ฟ๐ ๐ ๐๐ต๐ถ, ๐๐ตโฒ๐ถโฒ
๐ต๐ถ = |๐ตโฒ๐ถโฒ|
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
30
๐ผtotal = โ ๐๐
๐จ โ ๐ ๐ ๐จ โ ๐๐ ๐ฆ ๐ <๐,๐>
๐๐ต๐ถ โ ๐ฝ๐ต๐ถ โ ๐
๐ตโฒ๐ถโฒ ๐๐ก๐ ๐0 ๐ต๐ตโฒ๐ถ๐ถโฒ
๐ตโฒ๐ถโฒ ๐๐ก๐ ) without any ansatz
Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto
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
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
33
EWCS MI/2
๐
Entanglement of Purification in Many Body Systems and Symmetry Breaking - Koji Umemoto