Tensor network approach to topological quantum phase transitions - - PowerPoint PPT Presentation
Tensor network approach to topological quantum phase transitions - - PowerPoint PPT Presentation
Tensor network approach to topological quantum phase transitions and their criticalities Wen-Tao Xu Department of Physics, Tsinghua University, Beijing, China Reference: W.-T. Xu and G.-M. Zhang, PRB. 98 , 165115 (2018). CAQMP, ISSP,
Outline
ο΅ Introduction & Motivation ο΅ Tensor network wavefunctions for β€2 topological states ο΅ Transfer operator and phase diagram ο΅ Mapping the wavefunction norm to the classical statictics model ο΅ Conformal quantum criticality
Introduction & Motivation
ο΅ Topological order in 2D bosonic systems (gapped systems): well-established;
Levin & Wen (2005)
ο΅ All fixed point wavefunctions for non-chiral topological states have tensor network
state(TNS) representations.
Gu, Levin, Swingle, Wen (2009); Buerschaper, Aguado, Vidal (2009).
ο΅ In the tensor network formalism, matrix product operators(MPOs) encode the
topological order.
Williamson, Bultinck, Marien, Sahinoglu, Haegeman, Verstraete (2016).
ο΅ Topological phase transitions (gapless systems): not well-understood. ο΅ The topological phase transitions: properly deforming the fixed point TNSs.
Tensor network wavefunctions for β€2 SPT states
ο΅ The β€2 topological states can be obtained by gauging the β€2
SPT state. M. Levin and Z.-C. Gu, PRB, (2012).
ο΅ Two phases of the β€2 SPT states: a trivial phase and a non-
trivial phase. X. Chen, Z.-C. Gu, Z.-X. Liu and X.-G. Wen, PRB, (2013).
ο΅ CZX model for β€2 SPT states can be expressed as TNSs. The
four β€2 spins in a plaquette form GHZ state 0000 + |1111βͺ.
- X. Chen, Z.-X. Liu and X.-G. Wen, PRB, (2011).
ο΅ The local tensor for trivial SPT state:
π΅π‘π½π‘πΎπ‘πΏπ‘π = 1 for all π‘π½π‘πΎπ‘πΏπ‘π.
ο΅ The local tensor for non-trivial SPT state:
π΅0011 = π΅0110 = β1, othewise π΅π‘π½π‘πΎπ‘πΏπ‘π= 1.
ο΅ The wavefunction can be written as
π = ΰ·
{π‘π½}
tTr α π΅ β β― α π΅ |π‘1π‘2 β― βͺ ,
α π΅ππβ²π π β²π£π£β²ππβ²
π‘π½π‘πΎπ‘πΏπ‘π
= π΅π‘π½π‘πΎπ‘πΏπ‘ππππ£
π‘π½ππ£β²π π‘πΎ ππβ²π π‘π ππ β²πβ² π‘πΏ
πππ£
π‘π½ = ππ‘π½πππ‘π½π£
MPOs for β€2 SPT states
ο΅ Acting the local symmetry Οsite πβ4 on the physical
degrees of is equvialent to acting the MPO on virtual degrees of freedom.
- D. J. Williamson, N. Bultinck, M. Marien, M. B. Sahinoglu, J. Haegeman, and F.
Verstraete, PRB, (2016).
ο΅ We can parametrize the tensors such that the fixed point
tensors of two phases can be connected: π΅0011 = π΅0110 = π, π΅1100 = π΅1001 = π , π΅π‘π½π‘πΎπ‘πΏπ‘π = 1, otherwise. When π = 1, it is the fixed point of trivial state, and π = β 1 it represents the nontrivial state.
C.-Y. Huang and T.-C. Wei, PRB, (2016).
π = 0 1 1 0 , π·π = 1 1 1 β1 MPO of trivial SPT: ππ¦ = ΰ·
π=1 4
ππ
β2
MPO of nontrivial SPT: πππ¨π¦ = ΰ·
π=1 4
ππ
β2 ΰ· π=1 4
π·ππ,π+1
Tensor network states for β€2 topological states
ο΅ β€2 SPT states
πππ£ππππ β€2 topological states:
1.
Introducing the β€2 domain walls.
2.
βIntegrating outβ the β€2 spins. M. Levin and Z.-C. Gu, PRB, (2012).
3.
Trivial/ Nontrivial SPT
πππ£ππππToric code/ double semion.
ο΅ Tensor π ππβ²π π β²
ππ
= ππ+πβ²βπππππ ππβ²π β² detects the domian walls between adjacent plaquettes.
ο΅ Tensor πππβ²π π β²π£π£β²ππβ² = π΅ππ£β²π β²πππ£πππ£β²π ππ β²πβ²ππβ²π: no physical
degrees of freedom because the β€2 spins are integrated out.
ο΅ The tensor network wavefnctions can be expressed as
Ξ¨ π = ΰ·
{ππ}
π’ππ (π β π β― π β π ) |π1π2 β― βͺ
ο΅ π = 1: fixed point of toric code (TC) model. ο΅ π = β1: fixed point of double semion (DS) model.
π : π: Ξ¨ π :
MPOs for β€2 topological states
ο΅ The MPOs for β€2 topological states are the same
as those for SPT states.
ο΅ The local tensors are invariant under the MPOs
without needs for symmetry actions on physical indices.
- D. J. Williamson, N. Bultinck, M. Marien, M. B. Sahinoglu, J.
Haegeman, and F. Verstraete, PRB, (2016).
Toric code : Double semion :
π = 0 1 1 0 ,
π·π = 1 1 1 β1
MPOs for β€2 topological states
ο΅ The ground state of topological state on the torus is degenerate, other ground state is
- btained by inserting MPOs. N. Schuch, I. Cirac, D. PΓ©rez-GarcΓa, Annals of Physics, (2010).
Toric code: |Ξ¨π¦βͺ Double semion: |Ξ¨ππ¨π¦βͺ
ππ¦: πππ¨π¦:
Transfer operator
ο΅ Transfer operator π is defined via the tensor network norm.
Ξ¨ Ξ¨ = ππ πππ¦ .
ο΅ The correlation length:
π = β1/ln(π2/π1); π1: the dominant eigenvalue; π2: the second dominant eigenvalue
ο΅ The wavefunction norm
Ξ¨π Ξ¨π = ππ (ππ
π)ππ¦ ,
ππ
π denotes the transfer operator with MPO insertion, π is βπ¦β
for π>0 and βππ¨π¦β for π<0.
ο΅ The transfer operator inherits the MPO symmetry, it has the
β€2 β β€2 symmetry: π½ β π½, π½ β ππ, ππ β π½, ππ β ππ .
- N. Schuch, D. Poilblanc, J. I. Cirac, and D. PΓ©rez-GarcΓa, PRL, 111, (2013).
ππ¦
π¦:
πππ¨π¦
ππ¨π¦ :
π
Ξ¨ Ξ¨ :
Phase diagram β€2 topological TNS
ο΅ The correlation length π from several dominant
eigenvalues of the complete transfer operator π β ππ
π
(π: transfer operator without MPO insertion).
ο΅ The phase diagram is obatined from π: 1.
For π > 1.73: symmetry breaking (SB) phase;
2.
For β1.73 < π < 0: DS phase;
3.
For 0 < π < 1.73: TC phase.
ο΅ Three quantum critical points(QCPs): π β Β±1.73 and
π = 0.
ο΅ At these QCPs, π β ππ§, and it diverges in
thermodynamical limit.
Mapping to classical statictics model
ο΅ The norms β©Ξ¨|Ξ¨βͺ of ground state wavefunctions
ππ£πππ’π£πβππππ‘π‘ππππ πππππππpartition functions of 2D
classical statistical models.
- F. Verstraete, M. M. Wolf, D. Perez-Garcia, and J. I.Cirac, PRL, (2006).
ο΅ The ground states are superpoisitions of domain wall
configurations.
ο΅ The domain wall configurations consist of eight types of
vertices.
ο΅ So the wavefunction norm can be mapped to classical
eight-vertex model.
Mapping to calssical statictics model
ο΅ The ground states:
Ξ¨(π > 0) = Ο{ππ} ππ5+π6 |π1π2 β― βͺ, toric code, Ξ¨(π > 0) = Ο ππ ππ5+π6 π₯ π1π2 β― π1π2 β― , double semion, π5 and π6: totoal number of type-5 and type-6 vertices in configuration |π1π2 β― βͺ. where π₯ π1π2 β― = Β±1 is a sign factor.
ο΅ π₯(π1π2 β― ) is cancelled in the wavefunction norm πΆ =
β©Ξ¨|Ξ¨βͺ. So the DS model and TC model will be mapped to the same classical model. π΅0011 = π΅0110 = π, π΅1100 = π΅1001 = π ,
Mapping to calssical statictics model
ο΅ The partition function is
πΆ = Ξ¨ Ξ¨ = ΰ·
ππ
π2(π5+π6)
ο΅ From Baxterβs exact solution, we know that π = Β± 3 is
the critical point, which is consistent with our calculation.
ο΅ When π = 0, the eight-vertex model becomes the six-
vertex model, which is also in the critical region of six- vertex model.
- R. J. Baxter, Exact solved models in statistics mechanics.
Conformal Quantum Criticality
ο΅ At all QCPs, we find that ππ = βln
ππ π1 β 1 ππ§ , the
scaling behavior is the same as that of CFT spectrum.
ο΅ The critical points of 2D eight-vertex model are
described by CFTs.
ο΅ We determine that central charges π« = π for all QCPs. ο΅ C= 1 CFTs are free boson CFTs compactified on a
circle(π and π are integers, π is the radius)
ο΅ The scaling dimensions are
Ξ π, π = π2 π2 + π2π2 4 ,
Where π and π are integers. Calabrese-Cardy formula: π = π·π¦ + const, π¦ =
1 3 ln[ ππ§ π sin( ππ ππ§)].
π = 0 π = Β± 3
Conformal quantum critical points at π = Β± 3
ο΅ The spectrum of the transfer operator π β ππ
π.
ο΅ The two sectors correspond to the untwisted and twisted sectors of π 1 6
free boson CFT compactified on a β€π orbifold with the radius π = 6.
ο΅ The transfer operator spectra for π = Β± 3 are exactly the same. ο΅ The phase transitions at π = Β± 3 should belong to different universality
classes, because toric code and double semion are different phases.
ο΅ The drawback of transfer operator spectrum: it can not distinguish the
π = Β± 3 QCPs.
Charge -1 sector: Charge 1 sector:
Conformal quantum critical point at π = 0
ο΅ At the QCP π = 0, the TNSs have both the MPO symmetries ππ¦ and
πππ¨π¦.
ο΅ It truns out there are two other transfer operators, πππ¨, πππ¨π¦
π¦ .
ο΅ π has the symmetry ππ¦ β ππ¦, π½ β πππ¨ and ππ¦ β πππ¨π¦. ο΅ πππ¨, πππ¨π¦
π¦
and ππ¦
π¦ have the symmetry π½ β πππ¨, ππ¦ β πππ¨π¦ and ππ¦ β
ππ¦, seperately. πππ¨π¦
π¦
: πππ¨:
Conformal quantum critical point at π=0
ο΅ The spectrum πof matches the free boson CFT with compactified radius π =
8/3.
ο΅ The symmetry charges satisfy the relation: ππ¦ β ππ¦ π½ β πππ¨ ππ¦ β πππ¨π¦ β1 π β1 π β1 π+π ππ¦ β ππ¦ π½ β πππ¨ ππ¦ β πππ¨π¦
Conformal quantum critical point at π=0
ο΅ Ξ also satisfy the formula Ξ π, π = π2/π + π2π2/4, where π β
8/3.
ππ¦
π¦
πππ¨ πππ¨π¦
π¦
π Integers Half-integers Half-integers π Half-integers Integers Half-integers Symmetry charges β1 π β1 π βπ β1 π+π
ππ¦
π¦:
πππ¨: πππ¨π¦
π¦ :
Understanding the conformal quantum critical points
ο΅ It is expected that the QCPs of 2D quantum systems should be described by (2+1)D QFTs. ο΅ However, in our cases, the QCPs are described by 2D time-independent CFTs, that is the
equal-time correlation function described to CFT, how to understand it?
ο΅ Two scenarios about the topological phase transitions: 1.
Hamiltonian deformation:
β
Described (2+1)D QFT
β‘
Lorentz invariant with Dynamical critical exponent π = π.
2.
Wavefunction deformation:
β
Rokhsar-Kivelson type conformal QCP, Described 2D CFT
β‘
Space-time asymmetry with dynamical critical exponent π΄ > π.
β’
We believe the conformal QCP will flow to (2+1)D Lorentz invariant QCP under perturbation.
- C. Castelnovo, S. Trebst, and M. Troyer, arXiv,(2009);
- E. Ardonne, P. Fendley, and E. Fradkin, Annals of Physics, (2004).
- S. V. Isakov, P. Fendley, A. W. W. Ludwig, S. Trebst, and M. Troyer, PRB (2011).
- B. Hsu and E. Fradkin, PRB (2013).
Summary
ο΅ We construct a one-parameter family of TNS for β€2 topological phases. ο΅ It incorporates the toric code, double semion and symmetry breaking phases. ο΅ By calculating the correlation length and mapping the wavefunction norm to eight-vertex model,
we determine the three QCPs π = Β± π and π = π.
ο΅ At π = Β± π(QCP between TC/DS and SB), the QCPs are decribed by the π½ π π β€π orbifold
CFT (π = 6).
ο΅ At π = π(QCP between TC and DS), the QCP are described by the compactified free boson
CFT with πΊ = π/π, whose scaling dimensions are Ξ π, π =
π2 π2 + π2π2 4 , where π and π can