arXiv:1302.5843v3 [cond-mat.stat-mech]
Ising formulations of many NP problems
arXiv:1302.5843v3 [cond-mat.stat-mech]
Ising formulations of many NP problems
?
?
?
?
?
?
?
?
?
?
?
?
?
Ising model?
Quantum Version?
How is related to TSP?
Ising model?
Quantum Version?
How is related to TSP?
Statistical Mechanics
Partition Functions
Analitycal Mechanics
Hamiltonians
Angular Momentum
Energy
Canonical Coordinates
Spin
Magnetic Momentum
Quantum Mechanics
Electromagnetism
NOT REALLY!
Do I need SOME PHYSICS BACKGROUND?
Thermodinamics
Statistical Mechanics
Partition Functions
Analitycal Mechanics
Hamiltonians
Do I need SOME PHYSICS BACKGROUND?
Angular Momentum
Energy
Canonical Coordinates
Spin
Magnetic Momentum
Quantum Mechanics
Electromagnetism
JUST A LITTLE
Thermodinamics
outline
An ising model recap
Ludmila Augusta Soares Botelho
History time: around 100 years ago
Is there is a very simple model to describe ferromagnetism?
Is there a phase transition in the magnetism of a linear sequence of little magnetic moments where only neighbors are energetically coupled?
(Ferro)magnetism
Wilhelm Lenz
{
{
{
z
History time: around 100 years ago
(Ferro)magnetism
Wilhelm Lenz
Ernst Ising
?
!
Wilhelm Lenz
Ernst Ising
?
Model
It does not have phase transition!
... what about some quantum mechanics?
... more dimensions?
History time: around 100 years ago
( the best time)
Why do we care about Statistical Mechanics?
Physics time
( the best time)
Physics time
Why do we care about Statistical Mechanics?
It relates the
microscopic
with the
MACROSCOPIC
Physics time
Why do we care about Statistical Mechanics?
It relates the
microscope
with the
MACROSCOPE
- Few assumptions
Canonical Ensemble
(More precisely, Statistical Mechanics)
S
R
~
~
~
- Probability of particular microscopic state
Pj=Ze−βEj
Z=σ∑e−βEσ
ustandssumme
- Partition function
(T, V, N)
Physics time
- Few assumptions
Canonical Ensemble
(More precisely, Statistical Mechanics)
S
- Probability of particular microscopic state
Pj=Ze−βEj
Z=σ∑e−βEσ
ustandssumme
- Partition function
(T, V, N)
- Free Energy
- Systems Total Energy
- Heat Capacity
Connection with Thermodynamics
- Entropy
- Magnetic Susceptibility
- Magnetization
R
quiz: why the "-" signal?
Systems energy
H=−Ji∑sisi+1−hi∑Nsi
- Hamiltonian
{
interaction
{
external field
Z=?
z
h
⋯
⋯
{
Free Energy
Magnetization
Partition Function
1D
Systems energy
H=−Ji=j∑sisj−hi∑Nsi
- Hamiltonian
{
interaction
{
external field
Z=?
z
h
⋯
⋯
{
Free Energy
Entropy
Magnetization
Partition Function
Z={si}∑eβJ∑sisi+1+βh∑si
Z={si}∑eβJ∑sisi+1
e+βh∑si
No external field! h=0
Boundary Conditions: Open
{s1,s2,s3,...,sN}→{s1,μ1,μ2,...,μN−1}
μ1=s1s2,μ2=s2s3,...,μN−1=sN−1sN
"coordinate transformation"
si=±1
μi=±1
={s1,...,μN}∑eβJ∑μi
=2i=1∏N−1μi=±1∑eβJμi
Z=2(2coshβJ)N−1
...
Boundary Conditions: Periodic
sN+1=s1
si=±1
Z={si}∑eβJ∑sisi+1+βh∑si
T(si,si+1)=exp[βJ sisi+1+2βh (si+si+1)]
={si}∑i=1∏NT(si,si+1)
Z=tr(T)N
transfer matrix
tr(A)=i∑Ai,i
tr(A)2=i∑Ai,jAj,i
tr(A)3=i∑Ai,jAj,kAk,i
tr(AN)={si}∑i=1∏NA(si,si+1)
...
SYMMETRY
U−1TU=D
U−1=U†
Z=tr(U−1DU)N
=tr(D)N
=λ+N+λ−N
λ±=eβJcoshβh±e−2βJ+e2βJsinhβh
Z=λ+N[1+(λ+λ−)N]
Connection with thermodinamics
(N→∞)
=[eβJcoshβh+e−2βJ+e2βJsinh2βh ]
Z=λ+N =λmaxN
- Free Energy
F=−TlnZ
- Magnetization
h→0
M=−∂h∂F
M→0
M=Z1{si}∑MeβE
M=n=1∑Nsn
P(all up)=2(coshβJN−1)eβJ(N−1)
E(all up)=−Ji=j∑sisj=−J(N−1)
P(some state)=Ze−βEof that state
(β=kBT1)
CORRELATION FUNCTION
⟨fx⟩=x∑fxP(x)
⟨snsn+r⟩=Z1{si}∑snsn+re−βH
⟨snsn+r⟩=tanhr(βJ)
⟨snsn+r⟩=tanhr(J/T)
=exp{rln[tanh(J/T)]}
=e−ξr
ξ=−lntanh(J/T)1
What about more complex systems?
si=±1,0
si
?
transfer matrix
- Potts Model
What about more complex systems?
si=±1,0
transfer matrix
?
?
- Curie-Weiss model
What about more complex systems?
si=±1,0
si
?
2D
transfer matrix
- Onsager - 1943
- Sherrington-Kirkpatrick
Phase transition depends on dimensionality
lower critical dimension
(h=0)
- h=0
?
- It does has phase transition!
- Kramers & Wannier
- Ising Spin Glass
H=−i,j∑Ji,jsisj−hi∑Nsi
H=−Ji∑sisi+1−hi∑Nsi
- Difficulty Increases with Dimensions
- Mean-Field Approximation
What about more complex systems?
Open problem!
quantum mechanics
H=−Ji∑sisi+1−hi∑Nsi
H=−Ji∑σizσi+1z
Pauli Matrices
Reduces to classical version
H=−Ji∑σizσi+1z−hi∑Nσix
E=−Ji∑σiσi+1
transverse field
energy levels σi=±1
diagonal!
- It has phase transition!
-Ferromagnetic vs Paramagnet
σiα=I⊗i−1⊗σαI⊗N−i
quantum mechanics
H=−Ji∑σizσi+1z−hi∑Nσix
H=−21i∑N[Jxσixσi+1x+Jyσiyσi+1y+ Jzσizσi+1z−hσiz]
H=−21i∑N[Jxσixσi+1x+Jyσiyσi+1y+ −hσiz]
Jx=(21+γ)
Jy=(21−γ)
- Tensor Networks
Quantum Many-Body Problems
- Heisenberg Model
- XY Model
- 1D Quantum Ising Model
magnet