Professional Documents
Culture Documents
Francesco Ravanini
Collaboration with
F. Ravanini
EE in Integrable Models
Outline
Introduction: Von Neumann and Renyi entropies as a measure
of Entanglement
Entanglement entropy in 1+1 dim CFT
Entanglement entropy in 1D lattice spin chains: the Corner
Transfer Matrix (CTM) method
XYZ chain exact Entanglement entropy
Entanglement entropy in bipartite sine-Gordon
Entanglement entropy in spin chains related to ABF and FB
models
Hamiltonians of ABF-FB chains from an algebraic point of
view
Conclusions
F. Ravanini
EE in Integrable Models
Introduction
Entanglement: fundamental quantum property
Dierent reasons for interest:
Quantum Information
Integrable models
Black holes
Quantum computers
universality
non-local correlators
new playground
P<2
experiments P > 2 =
possible non-locality of QM
F. Ravanini
EE in Integrable Models
Separable = No entanglement
(i.e. measurements on B do not aect A state)
If instead
|iAB =
with d
> 1 =
d
X
j =1
j |j iA |j iB
state)
F. Ravanini
EE in Integrable Models
= TrA (A log A ) = SB
= SA
Area law
= 0,
is a measure of Entanglement
[Srednicki 1993]
SA
Area( A)
F. Ravanini
EE in Integrable Models
Renyi Entropy
Rnyi Entropy
S
1
1
log
TrA A
can be read
F. Ravanini
EE in Integrable Models
'
c
3
log
`
a
+U
F. Ravanini
EE in Integrable Models
SA
c
3
log
= 1 ,
innite size
`
sinh
a
+U
(
`
`
Finite size L
SA
c
3
log
sin
+ U = SB
U
2
=boundary
entropy
= log g
EE in Integrable Models
c `
3
3 log a
N
X
k =1
Hk ,k +1
= |0ih0|
[1, `]
of `
F. Ravanini
EE in Integrable Models
1
1
TrA (A )
nonuniversal
S (`)
}|
{
h
+ c0 + b (`)` + ...
{z
}
|
z
log `
Conjectured
6
Close to criticality
c
6
a 1
1
and
log
}|
x
+ C0 + B
EE in Integrable Models
{
+ ...
A
s ,s 0
[Baxter (1972)]
XY
wi
EE in Integrable Models
Partition function
Z=
0 B
0
00 C
00
000 D
000
= Tr(ABCD )
,
0 ,
00 ,
000
F. Ravanini
EE in Integrable Models
A = (1 , ..., p )
= (
A ,
B )
and B:
B = (p+1 , ..., L ),
i.e.
A (
A ,
A0 ) =
h
A ,
B |0ih0|
A0 ,
B i = TrB h
A |0ih0|
A0 i
A = (ABCD ) ,0
F. Ravanini
1
1
log TrA A
EE in Integrable Models
XYZ model
Hamiltonian
HXYZ
N
X
(Jx kx kx +1 + Jy ky ky +1 + Jz kz kz +1 )
k =1
Jy
Jx
+ k 2 sn2 (i ; k )
1 k 2 sn2 (i ; k )
<k <1
and 0
F. Ravanini
Jz
Jx
cn(i ; k ) dn(i ; k )
1 k 2 sn2 (i ; k )
I (k 0 )
EE in Integrable Models
Diagonalization of CTM
One can prove that, in XYZ, A
=C
and B
= D.
[Baxter (1977)]
A = ABCD = (AB ) =
where
1
0
0
x
...
= I
(k )
= e I (k ) = e
= e HCTM
where
HCTM =
HCTM
F. Ravanini
EE in Integrable Models
...
Diagonalization of CTM
One can prove that, in XYZ, A
=C
and B
= D.
[Baxter (1977)]
A = ABCD = (AB ) =
where
1
0
0
x
...
= I
(k )
= e I (k ) = e
= e HCTM
where
HCTM =
HCTM
F. Ravanini
EE in Integrable Models
...
Y
Z = TrA =
(1 + x j )
and
j =1
SA
=
log Z
+ log Z
X
=
(1 + e j )
j =1
+ e j )
j =1
x =nome)
log(1
X
2j
log(1 + q ) +
1
j =1
1
1
log(1
+ q 2j )
j =1
22 (0, q )
4 (0, q )3 (0, q )
+
log
=
log
6(1 )
3 (0, q )4 (0, q )
22 (0, q )
1
F. Ravanini
EE in Integrable Models
c
6
log
+ cost.
l-constant line
C2
E2
Jz
E1
F. Ravanini
C1
EE in Integrable Models
Isoentropic lines
F. Ravanini
EE in Integrable Models
Y
(1 + x j ) = x Ising
1,2 (i /)
1
12
j =1
and
Ising
1,2 (i /)
i
Tr = h
Ising
(
i
/)
1,2
1.
Use modular
Similar to
not c
=1
=2
1
2
=e
Ising
Ising
1,1 (i /) 2,1 (i /)
h
i
Ising
Ising
1,1 (i /) 2,1 (i /)
HCTM
characters,
[Peschel (2010)]
EE in Integrable Models
while
M
= 8
sin
/
`
where
2
1
8
1974]
= arccos (Jz )
sine-Gordon theory
`2
Jy2
1 Jz2
1
of sine-Gordon
Jy
EE in Integrable Models
Entanglement in bipartite SG
Exact entanglement entropy of a bipartite XYZ model in the
sine-Gordon limit
SsG
or, taking
SsG
1
6
k ) 3 ln 2
r
12
1 + Jz
arctan
1 Jz
Jz = cos 1
8
=
ln(1
ln 2
+ O (1/ ln(a))
ln
1
Ma
h
i
sin 1
8
1
+ O (1/ ln(a))
+ ln
6
1
8
2
F. Ravanini
EE in Integrable Models
Minimal models + 13
Continuum limit of ABF models on square lattice. CTM
diagonalization is given and the calculation of
straightforward
[Bianchini,
Renyi entropy
1
1
TrA A
1
1
log Z
log Z1
+ 1 ce
12
F. Ravanini
log
+ U + A ()
EE in Integrable Models
Open problems
Taking p , p
in
Mp , p 0
h|T T |i
instead of
hT T i
[W. Allen]:
EE in Integrable Models
Open problems
Taking p , p
in
Mp , p 0
h|T T |i
instead of
hT T i
[W. Allen]:
EE in Integrable Models
Open problems
Taking p , p
in
Mp , p 0
h|T T |i
instead of
hT T i
[W. Allen]:
EE in Integrable Models
Open problems
Taking p , p
in
Mp , p 0
h|T T |i
instead of
hT T i
[W. Allen]:
EE in Integrable Models
At criticality
= J
N
1
X
n=1
1
+ q 1 z z
q q
z)
n n+1 )+
(1z N
2
= J
N
1
X
n =1
en
= (q +q 1 )en
en en1 en
F. Ravanini
= en
en
en em
= em en
EE in Integrable Models
if |n m |
>1
=4
= J
N
1
X
n =1
Fn
with
Fn Fn+1 Fn
where
= Fn
(F2n )2 = 1 F2n
1 = 2 = (q + q 1 )
(F2n+1 )2 = 2 F2n+1
F. Ravanini
= 0.
EE in Integrable Models
Summary
Von Neumann and Rnyi E-Entropies are crucial tools to study
entanglement in quantum systems. In integrable models, they
can be calculated using integrable techniques.
Corner Transfer Matrix technique allows the exact calculation
of bipartite E-Entropy in spin chains. Having the exact formula
at hand, one can test some of the open issues about
entanglement in these models.
A suitable scaling limit yields the sine-Gordon model and
E-entropy can be calculated for its bipartition. It is the rst
calculation of this kind for an interacting eld theory.
An integrable way to compute nite size E-Entropy is to be
developed. It would complement the present knowledge by
new precious information.
F. Ravanini
EE in Integrable Models
Conclusions
Thank you!!!
F. Ravanini
EE in Integrable Models