Transcript FrustrationVSFactorization - School of Mathematical Sciences

Ground state factorization versus
frustration in spin systems
Gerardo Adesso
School of Mathematical Sciences
University of Nottingham
joint work with S. M. Giampaolo and F. Illuminati (University of Salerno)
"Hamiltonian & Gaps", 7/9/2010
1
Outline
•
•
•
•
•
•
Spin systems and frustration
What we want to do and why
Theory of ground state factorization
Factorized solutions to frustration-free models
Frustration vs factorization and order
Summary and outlook
"Hamiltonian & Gaps", 7/9/2010
2
Quantum spin systems
• N spin-1/2 particles
on regular lattices
– anisotropic
interactions of
arbitrary range
– arbitrary spatial
dimension
– translationally
invariant & PBC
– external field along z
X
1X r x x
H=
Jx Si Sl + Jyr Siy Sly + Jzr Siz Slz ¡ h
Siz
2
i;l
(
r = i - l
)
"Hamiltonian & Gaps", 7/9/2010
i
3
Ground states
• No known exact analytical solution in general, except for
a few simple subcases (Ising, XY,...) and now a wider class
of models with nearest-neighbor interactions (see JE)
• Difficult to be determined even numerically, especially
for high-dimensional lattices (2D, 3D, ...)
• Rich phenomenology: different magnetic orderings,
critical points and quantum phase transitions
• Typically exhibit highly correlated quantum fluctuations,
i.e., they are typically entangled
"Hamiltonian & Gaps", 7/9/2010
4
Frustration
AF
AF
AF
?
• Occurs when the ground state of the
system cannot satisfy all the couplings
• Even richer phase diagram (high
degeneracy), hence even harder to
find ground states
• In frustrated systems a magnetic order
does not freeze, which typically results
in even more correlations
• At the root of statistically fascinating phenomena and exotic
phases such as spin liquids and glasses
• Frustrated systems may play a crucial role to model high-Tc
superconductivity and certain biological processes
"Hamiltonian & Gaps", 7/9/2010
5
Relevant questions
• How to define natural signatures and measures of
(classical and/or quantum) frustration?
• More generally, is it possible to tune an external field
so that a many-body model admits as exact ground
state a completely factorized (“classical-like”) state?
– This would be an instance of mean field becoming exact
• If yes, under which conditions? Does this possibility
depend on the presence of frustration? In turn, does
the fulfillment or not of this condition define a regime
of weak versus strong frustration?
"Hamiltonian & Gaps", 7/9/2010
6
Ground state factorization
ground =
⊗ ⊗ ⊗ ⊗
…
• Answer to the 2° question: YES! There can exist special
points in the phase diagram of a spin system such that the
ground state is exactly a completely uncorrelated tensor
product of single-spin states: factorized ground state
• The “factorization point” is obtained for specific, finite values
of the external magnetic field (dubbed factorizing field) which
depend on the Hamiltonian parameters
• First devised by Kurmann, Thomas and Muller (1982) for 1-d
Heisenberg chains with nearest neighbor antiferromagnetic
interactions
"Hamiltonian & Gaps", 7/9/2010
7
Motivations
• Many-body condensed matter perspective
– To find exact particular solutions to non-exactly solvable models
– To devise ansatz for perturbative analyses, DMRG, …
• Quantum information and technology perspective
– For several applications (e.g. quantum state transfer, dense coding,
resource engineering for one-way quantum computation), both in
the case of protocols relying on “natural” ground state
entanglement for quantum communication (in which case
factorization points should be avoided!), and for tasks which
instead require a qubit register initialized in a product state
• Statistical perspective
– To investigate the occurrence of “phase transitions in
entanglement” with no classical counterpart
– For frustrated systems: to characterize the frustration-driven
transition between order (signaled by a factorized ground state)
and disorder (landmarked by correlations in the ground state), thus
achieving a quantitative handle on the frustration degree
"Hamiltonian & Gaps", 7/9/2010
8
History
• Direct method (product-state ansatz)
Analitic brute-force method, guess a product state and verify that it is the ground state
via the Schrödinger equation, becomes nontrivial for more complicate models …
– Kurmann et al. (1982): 1d Heisenberg, nearest neighbors
– Hoeger et al. (1985); Rossignoli et al. (2008): 1d Heisenberg, arbitrary
interaction range
– Dusuel & Vidal (2005): Fully connected Lipkin-Meshkov-Glick model
– Giorgi (2009): Dimerized XY chains
• Numerical method (Monte Carlo simulations)
Nightmarish for spatial dimensions bigger than two (never attempted !)
– Roscilde et al. (2004, 2005): 1d & 2d Heisenberg, nearest neighbors
"Hamiltonian & Gaps", 7/9/2010
9
Our method
• Quantum informational approach
– Inspired by tools of entanglement theory
– Fully analytic method
– Requires no ansatz: the magnetic order, energy, and specific
form of the factorized ground state are obtained as a result of
the method
– Encompasses previous findings and enables the identification of
novel factorization points
– Provides self-contained necessary and sufficient conditions for
ground state factorization (in absence of frustration) in terms of
the Hamiltonian parameters
– Straightforwardly applied to cases with arbitrary range of the
interactions and arbitrary spatial dimension (e.g. cubic
Heisenberg lattices), and to systems with spatial anisotropy, etc.
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. Lett. 100, 197201 (2008); Phys. Rev. B 79, 224434 (2009)
"Hamiltonian & Gaps", 7/9/2010
10
The ingredients /1
½k
• Under translational invariance, the ground state is completely
factorized iff the entanglement between any spin and the
block of all the remaining ones vanishes, i.e., if the marginal
(linear) entropy of a generic spin, say on site k, is zero
£ x 2
¤
y 2
2
z
• We have: SL(½k ) = 4Det½k = 1 ¡ 4 hSk i + hSk i + hSk i
so this factorization condition would depend on the
magnetizations, which are indeed the objects one cannot
compute in general models
"Hamiltonian & Gaps", 7/9/2010
11
The ingredients /2
Uk
½k
• A generic N-qubit state is factorized iff for any qubit k there exist a unique
Hermitian, traceless, unitary operator Uk (which takes in general the form
of a linear combination of the three Pauli matrices), whose action on qubit
k leaves the global state unchanged (Giampaolo & Illuminati, 2007)
• We can define in general the “entanglement excitation energy” (EXE)
associated to spin k as the increase in energy after perturbing the system,
in its ground state, via this special local unitary Uk (Giampaolo et al., 2008)
y
In formula: ¢E(Uk ) = hªjUk HUk jªi ¡ hªjH jªi
• One can prove that, under translational invariance and under the
hypothesis [H,Sa]≠0 (a=x,y,z), the ground state is completely factorized iff
the entanglement excitation energy vanishes for any generic spin k
"Hamiltonian & Gaps", 7/9/2010
12
The ingredients /3
1.
2.
3.
4.
A factorized ground state must have vanishing local entropy
A factorized ground state must have vanishing EXE
The ground state must minimize the energy
The Hamiltonian model H does not give rise to frustration
general theory of ground state factorization
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. Lett. 100, 197201 (2008); Phys. Rev. B 79, 224434 (2009)
"Hamiltonian & Gaps", 7/9/2010
13
Net interactions
• All the results (form of the state, factorizing field, conditions
for ground state factorization) are only functions of the
Hamiltonian coupling parameters and of lattice geometry
factors, or more compactly, of the “net interactions”:
¥
J
A
x ,y
=
å
r
( - 1) Z r J x ,y ,
r=1
¥
J
F
x ,y
=
å
r
Z r J x ,y ,
r=1
¥
J
A ,F
x ,y
=
r
å
r=1
r
Z rJ z .
– Zr is the coordination number, i.e.
the number of spins at a distance r
from a given site
– the magnetic order is determined by
¹ = min fJxF ; JxA; JyF ; JyA g
8 F
J
>
>
< xF
Jy
¹ =
A
J
>
x
>
: A
Jy
)
)
)
)
Ferrom. order along x ;
Ferrom. order along y ;
Antiferrom. order along x ;
Antiferrom. order along y .
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. B 79, 224434 (2009)
"Hamiltonian & Gaps", 7/9/2010
14
Results: Frustration-free
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. B 79, 224434 (2009)
"Hamiltonian & Gaps", 7/9/2010
15
Heisenberg lattices
1D nearest neighbor
Kurmann‘82
AF (y)
AF (x)
F (x)
F (y)
• The method is versatile
and the result is totally
general: the complexity
is the same for any
spatial dimension, one
only needs to put the
correct coordination
numbers in the
definition of the net
interactions
(e.g. for nearest
neighbor models: Z=2 for
chains, Z=4 for planes,
Z=6 for cubic lattices)
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. Lett. 100, 197201 (2008); Phys. Rev. B 79, 224434 (2009)
"Hamiltonian & Gaps", 7/9/2010
16
Other applications
• Long-range and infinite-range models
• Models with spatial anisotropy
a)
b)
c)
d)
• …
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. B 79, 224434 (2009)
"Hamiltonian & Gaps", 7/9/2010
17
Frustrated systems
AF
AF
AF
• We consider a subclass of the original Hamiltonian, comprising models with
anisotropic antiferromagnetic (along x) interactions up to a maximum range rmax
• Frustration arises from the interplay between the couplings at different ranges
• We focus on 1d systems (chains) of infinite length
• For simplicity, we consider the interaction anisotropies independent on the
distance, but overall the couplings are rescaled by a range-dependent factor fr
• If all the fr’s beyond r=1 vanish, the system is not frustrated. Vice versa, if the
fr’s are all equal, the system is fully frustrated.
H=
X
i;r·rmax
x + J SySy
z z
fr (Jx Six Si+r
y i i+r + Jz Si Si+r ) ¡ h
X
Siz
i
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. Lett. 104, 207202 (2010)
"Hamiltonian & Gaps", 7/9/2010
18
Short-range systems
• Simplest case: rmax = 2
(nearest and next-nearest neighbors)
– We set f1 = 1, f2 ≡ f
– The parameter f ∊[0,1] plays the role of a “frustration degree”
(a more general definition of frustration degree was given by Sen(De) et al., PRL 2008)
• Magnetic order of the ground state
f<½
standard antiferromagnet
f≥½
dimerized antiferromagnet
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. Lett. 104, 207202 (2010)
"Hamiltonian & Gaps", 7/9/2010
19
Factorized ground states
• We can determine in general the form of the candidate factorized state
and the factorizing field
p
p
1 J J
(1p¡ f ) Jx Jy f < 1=2
hf =
x y =
f Jx Jy
f ¸ 1=2
2
•
The nontrivial part is now in the verification steps
– We find that for the candidate factorized state to be an eigenstate, a
necessary condition is
Jz = 0 (other possibilities lead to saturation instead of proper factorization)
– By decomposing the Hamiltonian into triplet terms, we can derive a
sufficient condition for the candidate state to be the ground state, by
testing whether its projection on three spins is the ground state of
the triplet Hamiltonian
– For frustration-free, the factorized state was always the ground state
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. Lett. 104, 207202 (2010)
"Hamiltonian & Gaps", 7/9/2010
20
Factorization vs frustration
• From the triplet decomposition we find, analytically, that if the frustration
is weaker than a “critical” value, f £ f º 1 J x - J x J y + J y ,
then the ground state is factorized
ground state factorization
c
2
Jx + Jy
• The actual “compatibility
threshold” (i.e. the maximum
frustration degree that allows
ground state factorization) can
be determined numerically by
considering decompositions
into blocks of more than three
spins.
• Above this boundary the system
admits a factorized eigenstate
at h=hf, but this does not
minimize energy and instead
the ground state is entangled
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. Lett. 104, 207202 (2010)
"Hamiltonian & Gaps", 7/9/2010
21
Remarks
FRUSTRATION
( h = hf )
Factorized dimerized excited eigenstate
Factorized antiferromagnetic excited eigenstate
Factorized antiferromagnetic ground state
• Frustration naturally induces correlations which tend to suppress ground
state factorization: for strong enough frustration it is not energetically
favourable for the system to arrange in a factorized state (although a
factorized state can exist in the higher-energy spectrum)
• At the factorizing field, we witness a first order quantum phase transition
(level crossing) from a factorized to an entangled ground state when the
frustration crosses the compatibility threshold
• Qualitative agreement with the results on the scaling of correlations (Sen(De)
et al., PRL 2008) and on tensor network representability (Eisert et al., PRL 2010)
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. Lett. 104, 207202 (2010)
"Hamiltonian & Gaps", 7/9/2010
22
Remarks
FRUSTRATION
( h = hf )
Factorized dimerized excited eigenstate
Factorized antiferromagnetic excited eigenstate
Factorized antiferromagnetic ground state
• Reversing the perspective, we can define the regime of weak frustration as
the one compatible with ground state factorization, and the regime of
strong frustration as the one where no factorization points are allowed.
• Ground state factorization implies a definite magnetic order, thus it is a
precursor to a quantum phase transition, with critical field hc≥hf
• The regime of strong frustration is thus characterized by the fact that a
magnetic order does not freeze even at zero temperature (in layman’s
words, the ground state remains always entangled), in accordance with
other criteria to assess the frustration degree (Ramirez, Balents, ...)
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. Lett. 104, 207202 (2010)
"Hamiltonian & Gaps", 7/9/2010
23
Longer-range models
• The same general features emerge by investigating frustrated
systems with interactions beyond next-nearest neighbors
– Factorized eigenstates are only allowed for Jz=0
(this limitation could be relaxed in more general non-translationally-invariant models
where the anisotropies depend individually on the distance)
– There is a compatibility threshold dividing the phase diagram into a
region of weak frustration/order/ground state factorization and a
region of strong frustration/disorder/ground state entanglement
Compatibility thresholds: Maximum value of the
frustration f as a function of the ratio Jy =Jx for
which ground state factorization points exist in frustrated antiferromagnets with rmax = 4. The black
line stands for systems with f2 = f, f3 = f=2 and
f4 = f=3, the red line for f2 = f, f3 = f=2 and
p
f4 = f=4, and the blue line for f2 = f, f3 = f= 2
and f4 = f=6.
rmax = 4
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. Lett. 104, 207202 (2010)
"Hamiltonian & Gaps", 7/9/2010
24
Infinite-range models
fr
• To verify ground state factorization in fully connected models (rmax=∞),
one should decompose the Hamiltonian in terms involving n→∞ spins,
i.e., basically solve the Hamiltonian itself!
• A workaround is possible if the frustration coefficients fr follow a
decreasing functional law with r and vanish in the limit r→∞
• In this case one can impose a cutoff and deal with decompositions into
blocks of a finite number n of neighboring spins which are most effectively
coupled
• Then one takes the limit n→∞. Numerically, this means that ground state
factorization occurs if, for n large enough, the difference D between the
minimum eigenvalue m of the n-spin Hamiltonian component and the
energy associated to the candidate factorized state, vanishes
asymptotically. If r’ is the cutoff range (such that n=2r’+1), then
P
0
0
D(r ) = ¹ (r ) + 14 (Jx + Jy ) rl=1 (¡1)l fl
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. Lett. 104, 207202 (2010)
"Hamiltonian & Gaps", 7/9/2010
25
Results for infinite range
• Case fr=1/r2
(weak frustration)
– The difference D(r’)=0 for any cutoff r’
 Exact factorized ground state at h f = (¼ 2 =12)
• Case fr=1/r
p
Jx Jy
(medium frustration)
– The difference D(r’) seems to converge
to 0 (more numerics needed)
 Conjectured factorized
p
ground state at h f = ln(2) J x J y
_
• Case fr=1/√r
D
(strong frustration)
– The difference D(r’) converges
to a finite value
 No factorized ground state !
S. M. Giampaolo, GA, F. Illuminati, Phys. Rev. Lett. 104, 207202 (2010)
"Hamiltonian & Gaps", 7/9/2010
26
Summary
• We approached the problem of finding exact factorized ground state
solutions to general cooperative spin models
• We devised a method to identify and fully characterize such solutions
thanks to some tools borrowed from quantum information theory
• In frustration-free systems, necessary and sufficient conditions are derived
and several novel factorized exact solutions are straightforwardly
obtained for various translationally invariant models, with interactions of
arbitrary range, and arbitrary lattice spatial dimension
• In frustrated systems, a universal behaviour emerged in which frustration
and ground state factorization are competing phenomena, the former
inducing correlations and disorder, and the latter relying on ordered,
uncorrelated magnetic arrangements. Notably short-range as well as
infinite-range (weakly) frustrated antiferromagnetic models have been
shown to admit exact factorized solutions
• Ground state factorization is an effective tool to probe quantitatively
frustrated quantum systems. The possibility vs impossibility of having a
classical-like ground state at a given value of the magnetic field defines
the regimes of weak vs strong frustration
"Hamiltonian & Gaps", 7/9/2010
27
Discussion and outlook
• In this talk we only considered spin-1/2 systems, however due to a
theorem by Kurmann et al. (1982), any spin-S (S> ½) Hamiltonian which is
of the same form as a spin-1/2 Hamiltonian that admits a factorized
ground state at h=hf, will also admit a factorized ground state at the same
value of the field: greater scope of our results
• For a generic model (frustrated or not), the factorizing field (when it
exists) is a precursor to the critical field associated to a quantum phase
transition (where the external field is the order parameter), i.e. hf≤hc
• A fascinating perspective is the investigation of the ground state
entanglement structure near a factorization point: it is conjectured that
entanglement undergoes a global reshuffling and can change its typology
(demonstrated in the XY and XXZ models, Amico et al. 2007): an
“entanglement phase transition” with no classical counterpart, and
signaled by a diverging range of pairwise entanglement
• More perspectives
– Generalize the method: relax translational invariance, identify exactly
dimerized solutions, etc.
– Area laws for frustrated systems?
– Define a measure of frustration, able to distinguish quantum from classical
– ...
"Hamiltonian & Gaps", 7/9/2010
28
Thank you
?
"Hamiltonian & Gaps", 7/9/2010
29