Finite and Infinite Matrix Product States for Gutzwiller Projected Mean-Field Wavefunctions
Gabriel Petrica,1, ∗ Bo-Xiao Zheng,2, 3 Garnet Kin-Lic Chan,2 and Bryan K. Clark1, † 1Institute for Condensed Matter Theory and IQUIST and Department of Physics, University of Illinois at Urbana-Champaign, Urbana, IL 61801, USA 2Division of Chemistry and Chemical Engineering, California Institute of Technology, Pasadena, California 91125, USA 3AxiomQuant Investment Management LLC, Shanghai 200120, China Matrix product states (MPS) and ‘dressed’ ground states of quadratic mean fields (e.g. Gutzwiller projected Slater Determinants) are both important classes of variational wave-functions. This latter class has played important roles in understanding superconductivity and quantum spin-liquids. We present a novel method to obtain both the finite and infinite MPS (iMPS) representation of the ground state of an arbitrary fermionic quadratic mean-field Hamiltonian, (which in the simplest case is a Slater determinant and in the most general case is a Pfaffian). We also show how to represent products of such states (e.g. determinants times Pfaffians). From this representation one can project to single occupancy and evaluate the entanglement spectra after Gutzwiller projection. We then obtain the MPS and iMPS representation of Gutzwiller projected mean-field states that arise from the variational slave-fermion approach to the S = 1 Bilinear-Biquadratic (BLBQ) quantum spin chain. To accomplish this, we develop an approach to orthogonalize degenerate iMPS to find all the states in the degenerate ground-state manifold. We find the energies of the MPS and iMPS states match the variational energies closely indicating the method is accurate and there is minimal loss due to truncation error. We then present the first exploration of the entanglement spectra of projected slave-fermion states exploring their qualitative features and finding good qualitative agreement with the respective exact ground state spectra found from DMRG.
I. INTRODUCTION probing the physics of high temperature supercon- ductivity as well as quantum spin-liquids. Variational wave-functions are frequently used to While dressed mean-field states are often easy to understand quantum many-body systems. Two represent in variational Monte Carlo (VMC), it is important classes of variational wave-functions are also often difficult to extract certain properties from dressed Slater determinants and tensor networks. VMC. Foremost among these is the entanglement Dressed Slater determinants introduce correlation spectra which is an important metric used for under- on top of a mean-field ground state. On the other standing topological phases of matter. Even prop- hand, a tensor network is represented as a network erties which can be extracted easily, such as the of connected tensors providing a natural framework energy, can be statistically noisy making aspects in which to understand and represent low-entangled such as optimization difficult. Moreover, evaluat- quantum states (see fig. II A). ing dressed mean-field states in Monte Carlo scales Slater determinants (SDs) (and other general- cubically with the system size making the approach ized quadratic ground states such as Bogoliubov-de to the thermodynamic limit costly. Matrix product Gennes (BdG)1 and Pfaffian states2) have played states avoid many of these problems in one dimen- a key role in the understanding of physical sys- sional systems and ladders: they are ideally suited tems ranging from their use as the Hartree-Fock for extracting entanglement spectra, computing ob- solution in quantum chemistry to being applied as servables exactly without any statistical noise, and a starting mean-field ansatz for strongly-correlated directly representing (gapped) physical systems in systems. These latter ansatz are then dressed in the thermodynamic limit. arXiv:2009.00064v1 [cond-mat.str-el] 31 Aug 2020 various ways: Slater-Jastrow wave-functions are the Our main contribution in this paper is to describe de-facto standard for simulating material systems in a series of efficient and highly parallel algorithms quantum Monte Carlo; many prototypical quantum which take (projected) mean field (i.e. quadratic) Hall states are represented as powers or products eigenstates and generate both finite (fMPS) and in- of Slater Determinants and Pfaffians; and projected finite (iMPS) matrix product states from them. We mean-field states are an important starting point for will also show how to generate fMPS and iMPS for products of mean-field wave-functions. We will then apply our approach to compute the MPS and en- ∗ [email protected] tanglement spectra of a series of projected slave- † [email protected] fermion wave-functions of the bilinear biquadratic 2 model. This example will bring to light a number procedure involves performing SVD’s over matrices of interesting aspects of generating multiple degen- generated by collecting different subsets of indices erate ground states from Gutzwiller projected slave- into the two matrix dimensions. This general ap- fermion systems in iMPS. proach will become efficient to use with Slater de- Beyond this particular application, being able to terminants because SVD’s of Slater determinants are generate a MPS from a projected SD is generically efficient and generate sums of products of Slater de- useful. It allows for more faithful comparisons be- terminants. tween slave-fermion and DMRG results which often In fMPStoSD we perform a series of Schmidt de- disagree on the underlying phase of spin-liquids. It compositions over all bipartitions of our system. could be used to initialize DMRG with a good initial Each Schmidt decomposition generates a set of mean-field guess for certain Hamiltonians. This can Schmidt vectors; each such Schmidt vector is a Slater be useful both for calculations on discrete lattices determinant. The MPS is then generated by taking as well as DMRG in the continuum. Because there overlaps of these Slater determinant Schmidt vectors exist algorithms which build MPS on quantum com- with each other in the correct way. puters, it immediately gives an additional approach In iMPStoSD we can easily generate the bulk uni- to generate a dressed quadratic mean-field state on form iMPS tensor from just two Schmidt decom- a quantum device. positions: one for each of two ground state Slater We are aware of two other algorithms which con- determinants of the same Hamiltonian defined on vert Slater determinants to MPS3,4. Both these sufficiently large systems that differ in size by one are based on the idea of applying quantum gates unit cell. Again, these Schmidt decompositions will or matrix-product operators to a simpler quantum have Slater determinant Schmidt eigenvectors. After state to generate the MPS. Our approach differs we appropriately fix the gauge of the two Schmidt from these techniques in two key ways: (1) we can decompositions, the uniform bulk MPS tensor will generate the infinite MPS for a family of slater De- be generated from appropriate overlaps of these terminants and (2) we generate our (i)MPS by di- Schmidt eigenvectors. rectly generating the MPS coefficients without the application of any operators to the system. We also note that ref. 5 represents Slater Determinants in a A. Slater Determinant → Finite MPS MPS-like framework in a Gaussian fermionic repre- sentation. In this section, we show in detail how to convert a In section II, we will describe our key algorithm Slater determinant into a finite matrix product state. for turning a SD into a (i)MPS. In section III, we will The Schmidt decomposition of a Slater determinant show a series of examples for how to use this basic |SDi on N sites bi-partitioned into two regions cut procedure for generating more complicated mean- between sites i and i + 1 will be notated as field states (i.e. pfaffians) as well as states which are X i;N i;N i;N products of mean-field states. Finally, in section IV |SDi = λα |Lα i |Rα i (1) we focus on computing (i)MPS for the slave-fermion α states of the billinear-biquadratic model showing where |L i and |R i are the α’th left and right their entanglement spectra and energy. α α Schmidt vectors respectively (with support in their respective subsystem) and λα is the α’th Schmidt eigenvalue. Note that, for a Slater determinant, II. SLATER DETERMINANTS TO MPS each of the individual left and right Schmidt vec- tors are also Slater determinants and efficiently In this section we are going to show how to gener- computable7–10. Slater determinants are specified ate either a finite matrix-product state (fMPStoSD) by a set of single-particle orbitals and all the Slater or an infinite matrix product state (iMPStoSD) from determinants in the set of right Schmidt vectors a Slater determinant (SD). This will not only be use- {|Rαi} are specified by subsets of single particle ful in its own right but will be the key operation orbitals from a set of (at most) N single-particle R R used in the rest of this work to produce MPS for orbitals {φ1 ...φN } defined on the (inclusive) sites both more complicated quadratic mean field states [(i + 1),...,N]. There are, at most, 2N such sub- as well as dressed versions of these states. sets. Analogous statements hold for the left Schmidt fMPStoSD generates the matrix product state site vectors. by site in an approach that is highly reminiscent of A general matrix product state can be written as the site-decimation canonical technique to convert a X [1]σ1 [N]σN generic wave-function (i.e. a multi-site tensor) into a |MPSi = A1,a ··· Aa ,1 |σ1 ··· σN i (2) 6 1 N−1 matrix product state . The typical site-decimation {σ},{a} 3
(a)
(b) FIG. 2: Top: Graphical representation of the FIG. 1: a) Graphical representation of the Schmidt decomposition of the wavefunction left-boundary, bulk and right boundary A tensors 8 P 4;8 4;8 4;8 |Ψ i = β λβ |Lβ i |Rβ i over a bipartition forming an open-boundary matrix product state. [1,..., 4] × [5,..., 8] of an 8-site system. Middle, The α’s are the virtual indices; the σ’s are the Bottom: Two additional ways of representing the physical indices. b) Graphical representation of an [4] quantum state |Ψ8i. The tensor A is constructed 8-site matrix product state by having the overlap of the right five sites of the bottom two figures equal one.
where A[k] is the k’th three-tensor specified by the physical index σk (e.g. occupancy or spin) and the 6 size (N − i) × (N − i) which can be computed in virtual indices (αk−1, αk) . To generate the MPS of 3 a Slater determinant, we compute each three-tensor O(N ) time. A[i+1] as While naively each element of A requires such a computation, there is a significant overlap in these [i+1]σi+1 i+1;N i;N Aα α = hσi+1| ⊗ hRα | |Rα i (3) different computations which reduce the naive com- k k+1 k+1 k puational complexity of the tensor computation. giving a matrix which is in right canonical form, i.e. There are two steps in computing the overlap of † two Slater determinants: evaluating the overlap ma- P A[i+1]σ A[i+1]σ = I. Note that this procedure σ trix between all pairs of single particle orbitals that is very similar to the one which transforms a vector make up the two determinants and computing the into a MPS6 and works for the same reason: the sets i+1;N determinant of this overlap matrix. All the Slater {|Ri;N i} and {|σ i ⊗ |R i} span the same space α i β determinants used in the ket (respectively bra) of and therefore there is a transformation A which ro- eqn. 3 (over different terms in A) come from a tates between them. In practice, we keep the bond- subset of single-particle orbitals of the N-orbital set dimension of A controlled by only computing the {φR, .., φR }. We can compute the overlap matrix Schmidt vectors whose Schmidt values are above a 1 N of all these respective single-particle orbitals once certain threshold . This can be done without com- per three-tensor A at a cost of O(N 3). The en- puting any Schmidt eigenvector with eigenvalue less tries of A are then determinants of submatrices of than . Here we have focused on the bulk tensors and this overlap matrix. While naively each determinant slight modifications need to be made for the bound- also costs O(N 3) to compute, the submatrices differ ary tensors A[1]σ1 and A[N]σN (see supplement S1). only in the bottom log D columns and right log D We now describe how to efficiently evaluate the ma- 2 2 rows where D is the bond-dimension of A; determi- trix elements of each A. We start by noting that nant update formulas can then be used to accelerate |σ |i ⊗ |Ri+1;N i is also a Slater determinant. It is i+1 this computation letting each determinant be com- specified by the single particle orbitals 2 3 puted in time O(N log2 D) after an initial O(N ) i+1 operation to evaluate the inverse of the upper-left {[0φa], [0φb], ··· , [0φc], φ } (4) (N − log2 D) × (N − log2 D) block of the overlap where [0φa] is the single particle orbital with co- matrix. The whole evaluation of each tensor A can 3 2 2 efficients in the lattice basis [0, φa(i + 2), φa(i + be done in O(N ) + O(D N log2 D) time. This can i+1 3), ··· , φa(N)] and φ is the single-particle orbital be further attenuated somewhat by more aggressive in analogous notation, [1, 0, ··· , 0]. Eqn. 3 then re- use of determinant update formulas11. duces to the overlap of two Slater determinants of Notice that there are significant parts of this algo- 4
rithm that can be run in parallel. Each three-tensor over the bulk to be constant; see fig. S3 in supple- A can be computed separately. Within each A, the ment S5 for an example of this. We then generate Schmidt decomposition can be partially parallelized; the Schmidt decompositions each element of the overlap matrix can be computed 2N X N;2N N;2N N;2N in parallel; and, after the initial evaluation of the |Ψ i = λα |Lα i|Rα i (6) inverse of the upper-left block of the overlap matrix, α 2N+1 X N;2N+1 N;2N+1 N;2N+1 each determinant can then be computed in parallel. |Ψ i = λα |Lα i|Rα i (7) α N;2N N;2N+1 B. Gapped Slater Determinant → Infinite Both |Lα i and |Lα i are going to be the MPS same up to a gauge freedom. We fix this gauge free- dom by defining a unitary The above procedure generates a finite MPS ap- N;2N+1 Cαβ = 0 if λα 6= λβ (8) proximation (the accuracy of the representation is N;2N N;2N+1 given as an input to the algorithm) of any Slater de- = hL |α |L iβ otherwise terminant. In this section, we describe how to gen- which rotates between Schmidt eigenvectors with the erate an infinite MPS from the Slater determinant same Schmidt eigenvalue allowing the state on 2N + ground state of a gapped mean-field Hamiltonian. 1 sites to be defined as This infinite MPS can be described by left L and 2N+1 X N;2N N;2N+1 N;2N+1 N;2N+1 right R boundary tensors which sandwich the bulk |Ψ i = |L iα λα Cαγ |R iγ tensor A giving us an infinite matrix product state αγ of the form, (9) Then the tensor A for the iMPS is
X σL σn−1 σn σn+1 σR |iMPSi = L ...A A A ...R × σN+1 X [2N+1] N;2N N,2N+1 Aαβ = Cαγ hσN+1| hR |β| |R iγ σ γ |σL . . . σn−1σnσn+1 . . . σRi (5) (10)
with an arbitrary number of bulk tensors A. L As in the finite MPS case, we have that the and R are tensors which span a fixed number k of single-particle orbitals of the Slater determinant sites. Note that any thermodynamic observable can N;2N |σN+1i|R i are shifted to the right with an initial be computed directly in the thermodynamic limit of zero as their first element. The overlap of this tensor the Slater Determinant using only the bulk tensor can be computed in exactly the same way as for the A. In addition, we can compute the amplitude for finite MPS case. Here, though, we only need to eval- the Slater determinant on any (large enough) system uate one tensor A instead of a tensor per site, with size, by inserting the corresponding number of bulk the assumption that we are using an iMPS defined tensors between the boundary tensors L and R (i.e. by a single tensor (i.e. single site unit cell) A. This to generate the MPS for a N site Slater determinant process can be generalized to multi-site unit cells as from the infinite MPS, we therefore use N − 2k bulk well (see supplement S2). Note that by directly ap- tensors A); see fig.3. plying the finite MPS algorithm to large systems to try to find the bulk tensor A will fail because the gauge freedom available in the tensors will prevent a single identical bulk tensor from being produced at each step.
2N+n FIG. 3: We obtain the finite MPS |ψ i by C. Numerical Validation inserting n (in the figure n = 3) A iMPS bulk tensors between the left |LN/2;N i and right We numerically validate our algorithms by apply- |RN/2;N i Schmidt vectors obtained from |ψ2N i. ing fMPStoSD and iMPStoSD on the ground state of the Su-Schrieffer-Heeger(SSH) model12, To generate the iMPS, we start off by producing two Slater determinants defined on 2N and 2N + 1 X H = v c† c + h.c. + sites, where N is sufficiently large such that the en- SSH n,1 n,2 n tanglement spectrum is constant over cuts in the X † “bulk” of the wave-functions. For gapped systems, w cn+1,1cn,2 + h.c. (11) we generically expect the entanglement spectrum n 5
for all amplitudes down to the Schmidt eigenvalue cutoff.
III. GENERAL (DRESSED) QUADRATIC MEAN FIELDS
In sec. II we showed how to generate a matrix product state from a Slater determinant. In this section, we show that this machinery gives us the means to generate the matrix-product state repre- sentations of ground states of arbitrary quadratic mean-field Hamiltonians. All quadratic Hamiltonians can be easily diago- 13 FIG. 4: Illustration of the algorithm for generating nalized using a canonical transformation . With- the infinite MPS representation of a Slater out loss of generality, in our derivations, we will use determinant. Lines 1 and 2 correspond to the translation invariant systems for ease of presenta- standard Schmidt decomposition after site N of tion. We will first go through two canonical exam- wavefunctions defined on 2N and 2N + 1 sites. For ples. In III A we will show how to produce the MPS line three, we use our gauge freedom to replace the representation of groundstates of BdG Hamiltonians left-Schmidt eigenvalues λN;2N+1 and eigenvectors which are Slater determinants in disguise. In III B, |LN;2N+1i with eigenvalues λN;2N and eigenvectors we show how to compute the MPS representation of |LN;2N i rotated by C where C is defined in eqn. 9. the p-wave pairing ground state of the Kitaev p+ip 14 Finally, the tensor A is constructed by having the chain . We then generalize this result to general overlap of the right N + 1 sites (including C) of the Pfaffian wave-functions which are the most general bottom two lines equal one. quadratic mean field ground states. Finally, we show how to take products (or powers) of quadratic mean- field Hamiltonians and turn them into (i)MPS. The model describes spinless fermions on a 1D lat- tice, with a 2 site unit cell made up of A,B sites, with different (real) parameters for intra-cell hopping (v) and intercell hopping (w). It admits two different A. BdG → MPS quantum ground states, distinct in their topological properties: a trivially gapped phase for v > w and The key trick to convert a BdG wave-function into a (symmetry protected) topological gapped ground a MPS will be to 1) convert it to a Slater determi- state, characterized by the presence of two zero- nant through a particle hole transformation, 2) con- energy edge modes inside the gap, for v < w, sepa- vert this Slater determinant to a MPS, and 3) then rated by a quantum critical point at v = w. undo the particle-hole transformation in the MPS We will discuss here the trivial ground state. A language. small subtlety related to choosing the same gap- Consider a BdG Hamiltonian: less boundary mode in the Slater determinant wave- functions used for generating the uniform tensor in X † the iMPS procedure is delegated to the supplement HBdG = − tij ciσcjσ + h.c. − S4. For the finite Slater Determinant, we compare hiji,σ the MPS we generate using two different truncation X † † X † values against the exact Slater Determinant by com- ∆ij ci↑cj↓ + h.c. − µ ciσciσ (12) paring all of the amplitudes (see 1st column in fig. hiji iσ 5). For the infinite case, we generate the iMPS and then use the bulk tensor we have computed along Under a canonical particle-hole transformation in with the boundary tensors to compute amplitudes the ↓ sector: for a much larger system and again compare ampli- tudes against the exact solution for that much larger f † = c† system (see 2nd column in fig. 5). In both cases, we 2i−1 i↑ (13) † find that the amplitudes are in very good agreement f2i = ci↓ 6
(a) (b) (c) (d)
FIG. 5: Comparison of amplitudes (normalized by the largest amplitude seen) between our fMPS/iMPS wave-functions and the exact SD. The largest (normalized) amplitude is at the “origin” of the graphs with smaller amplitudes toward both edges. Orange triangles are values at which the fMPS/iMPS gives zero amplitude; for these the ”y” coordinate is arbitrarily set to 1. The amplitudes for the top row are less accurate as they are generated with larger MPS thresholds . (a) and (c) compare all amplitudes for N = 8 on (v = 1.0; w = 0.6; eqn. 11) and (t = 1; µ = 3; ∆ = 1; eqn. 16) respectively. (b) We compare 459428 random configuration (top and bottom are different configurations) between the N = 24 Slater determinant with (v = 1.0; w = 0.6) of eqn. 11 and a MPS generated from 8 uniform iMPS bulk tensors (generated from SD on N = 16, 17 sites) sandwiched between the 8-left and 8-right tensors from the 16-site Slater determinant. (d) We compare 49972 (top) and 34933 (bottom) random configuration between the N = 32 p+ip Pfaffian groundstate with (t = 1.0; ∆ = −1 µ = −2.2) of eqn. 17 and a MPS generated from 8 uniform iMPS bulk tensors (generated from SD on N = 24, 25 sites) sandwiched between the 12-left and 12-right tensors from the 24-site Pfaffian. the BdG Hamiltonian becomes: cates the absence/presence of a hole on top of the filled ↓ Fermi sea at site i. ph X † † HBdG = − tij f2i−1f2j−1 − f2if2j + h.c. − To ‘undo’ the particle-hole transformation, we hiji need to deal with the fact that the fi act on the X X false vacuum |0phi (and not the real vacuum) by ∆ f † f + h.c. −µ f † f − f † f ij 2i−1 2j 2i−1 2i−1 2i 2i swapping, for all i, the matrices A[2i]1 and A[2i]0. hiji iσ Moreover, by ordering the fermionic operators by (14)site, and then spin, the matrices A[2i−1]1, A[2i]1 i−1 and the new vacuum is |0phi = c† c† . . . c† |0i, will pick up factors of (−1) . We can now com- 1↓ 2↓ N↓ bine these transformations giving us our final MPS where |0i is the vacuum of the original theory. The for the BdG ground state of the form |ΦGSi = ground state of HBdG is thus the Slater determinant P [1]σ1 [N]σN ph {σ=0,↑,↓,↑↓} B ...B |σ1 . . . σN i where ground state of HBdG on top of the new vacuum ph |0 i. [i]0 i−1 [2i−1]0 [2i]1 Using the results from section II, we convert the B = (−1) × A A ph [i]↑ 2i−2 [2i−1]1 [2i]1 Slater determinant ground state of HBdG into a MPS B = (−1) × A A P [1]σ1 [2N]σ2N |ΨMPSi = {σ} A ...A |σ1 . . . σ2N i B[i]↓ = (−1)0 × A[2i−1]0A[2i]0 where σ2i−1 = {0, 1} (i ∈ [1,N]) indicates the ab- B[i]↑↓ = (−1)i−1 × A[2i−1]1A[2i]0 (15) sence/presence of a ↑ particle and σ2i = {0, 1} indi- 7
This approach works both for the finite and infinite The transformation leaves the vacuum unchanged. MPS as we just used our (i)MPS → Slater deter- Given a BdG Hamiltonian, we can obtain the minant approach as a subroutine. For the infinite ground-state as an MPS as done in section III A. MPS it produces a unit cell of size 2 as every other X 2i−1σ2i−1 2iσ2i B differs by a sign. |GSi = ...A A ... |σ1σ2 . . . σ2N i As a check of our algorithm, we consider the σ ground state of the BdG Hamiltonian of the form: (21) where A2i−1σ2i−1 is the tensor on site i for the ↑ local X † physical sector and A2iσ2i is the tensor on site i for HBdG = − tij c cjσ + h.c. − iσ the ↓ local physical sector. hiji,σ Notice that the canonical transformation given in X † † † † X † ∆ij ci↑cj↓ + cj↑ci↓ + h.c. − µ ciσciσ (16) eqn. 19 mixes the ↑, ↓ physical sectors on site i. hiji iσ Hence we can obtain the MPS for the GS in the c, d space by choosing the on-site tensor in the following and compare the amplitudes of the exact ground way: state with the MPS generated (see 3rd column in fig. 5).
X 1σ1 2σ2 NσN |GSi = C C ...C |σ1σ2 . . . σN i (22) σ B. Pfaffian → MPS with σ = {0, c, d, cd} where: We will show how to generate a MPS representa- n,0 2n−1,0 2n,0 tion of the Pfaffian ground state of the Kitaev p+ip C = A A chain: A2n−1,1A2n,0 + A2n−1,1A2n,0 Cn,c = √ X † X † † 2 Hc = −t c cn+1 + h.c. +∆ c c + h.c. (23) n n n+1 A2n−1,1A2n,0 − A2n−1,1A2n,0 n n Cn,d = i √ X † 2 + µ c cn (17) n n,cd 2n−1,1 2n,1 n C = iA A ext L We first consider H = Hc Hd whose ground By projecting out the d particles in the |GSi state is given by the tensor product of two identical wavefunction, we obtain a Pfaffian wavefunction pfaffians: in the c-particle sector: |GSi = constant × P X O P f(Mσ ) |σci. At the level of the MPS this |GSi = P f(M ) |σ i P f(M ) |σ i (18) σc c σc c σd d projection is realized by eliminating the sectors σ = σc,σd {d, cd}. where M is a N × N matrix built from parameters X 1σ1 2σ2 NσN of the model and Mσc is a submatrix of M obtained |Pfi = C C ...C |σ1σ2 . . . σN i by selecting indices as given by the σc configuration. σ={0,c} Using the local canonical transformation of (24) fermions,
† † c¯n,↑ +c ¯n,↓ C. Pfaffian → MPS Generalization c† = √ n 2 (19) While we focused in the previous section on a spe- c¯† − c¯† † n,↑ n,↓ cific example, here we consider a generic quadratic dn = i √ P † 2 Hamiltonian H = n,m Cnhn,mCm with g species † ext of fermions per unit cell where the vector Cn = converts H to † † † cn,1, cn,1, cn,2, cn,2 . . . cn,g, cn,g . X † ext HBdG = −t c¯n,σc¯n+1,σ + h.c. We form an extended Hamiltonian H which is n,σ a sum of two copies of H: X † † † † + ∆ c¯n↑c¯n+1↓ +c ¯n+1,↓c¯n,↑ + h.c. ext X hop † † n H = hiα,jβ ci,αcj,β + di,αdj,β + h.c. X + µ c¯† c¯ (20) X n,σ n,σ + hpair c† c† + d† d† + h.c. (25) nσ iα,jβ i,α j,β i,α j,β 8
g P 1σ1 2σ2 NσN where α, β ∈ (1, . . . , g). As be- 2 : |P fi = σ C C ...C |σ1σ2 . . . σN i. fore, its ground state |GSiext = For instance, the tensor corresponding to the pres- P P f(M ) |σ i N P f(M ) |σ i is a ten- ence of particles of type t1, t2, . . . ts on site M is σc,σd σc c σd d sor product of two identical Pfaffian wavefunctions. We then obtain the Pfaffian ground state of H by C[M](t1,t2,...,ts) = B[M,1][0] ... × projecting out all the d sectors. Under the following B[M,t1][1]B[M,t1+1][0] ...B[M,ts][1] ...B[M,g][0] (30) linear canonical transformation † † † cn,α + idn,α c¯ = √ D. Power of Slater determinants n,α,↑ 2 (26) c† − id† c¯† = n,α √ n,α In this section we describe how to obtain the MPS n,α,↓ 2 representation of a wavefunction ext H becomes a BdG-like hamiltonian when ex- X n |ψ1/ni = hr1, r2, . . . rn|ψi |r1, r2, . . . , rni pressed in terms of c↑ and c↓: r1,r2,···rn ext X hop † † (31) HBdG = hiα,jβ c¯i,α,↑c¯j,β,↑ +c ¯i,α,↓c¯j,β,↓ + h.c. + where |ψi is a Slater determinant. We will use as an X example n = 3. Products of other mean-field wave- + hpair c¯† c¯† +c ¯† c¯† + h.c. iα,jβ i,α,↑ j,β,↓ i,α,↓ j,β,↑ functions can be obtained similarly. (27) We extend our N-site system to a 3N- site system for which we label the sites as: We can then solve for the MPS representation of {111213212223 ...N1N2N3}. We then write a sin- the groundstate of the above BdG-like Hamiltonian gle Slater determinant (by padding and interlacing using the methods described in section III A. the orbitals to keep the above ordering) of the form We obtain the Slater determinant ground state |ψi N |ψi N |ψi for which we then convert into an hΨext| by diagonalizing the particle-hole transformed ext MPS given by HBdG and then computing its MPS representation. Each unit cell M is described by 2g tensors A[M,p]σ X [11]i1 [12]i1 [13]i1 with σ = 0, 1 signifying the absence/presence of a |MPSi = B 1 B 2 B 3 ... × particle of type p ∈ [0, 1,... 2g − 1]. A particle of ip [N ]i [N ]i [N ]i type p = 2k corresponds to the flavor k, ↑; a par- B 1 N1 B 2 N2 B 3 N3 × ticle of type p = 2k + 1 corresponds to the flavor k, ↓. From the above MPS (which is inc ¯↑,c ¯↓ local |i11 i12 i13 . . . iN1 iN2 iN3 i (32) physical space) we construct the MPS tensors in c, Projecting on the sector i = i = i gives us the d space. In particular, the matrices describing the n1 n2 n3 desired results of absence/presence of a particle of type ci on site M
are given by: [1]i1 [2]i2 [N]iN |ψ1/3i = A A ...A |i1i2 . . . iN i (33) B[M,i]0 = A[M,2i−1][0]A[M,2i][1] (28) where we define g(M−1)+i−1 [M,i]1 (−1) B = √ × [n]in [n1]in [n2]in [n3]in 2 A = B 1 B 2 B 3 (34) h i A[M,2i−1][1]A[M,2i][1] + A[M,2i−1]0A[M,2i][0] IV. BILINEAR-BIQUADRATIC S=1 where (−1)g(M−1)+i−1 takes care of fermionic order- MODEL ing. and the MPS representation of |ΨGSi defined on Ng sites is given by: In this section, we use our approach to compute the MPS representation and entanglement spectra X [1,1]σ1 [1,2]σ1 [1,g]σ1 |ΨGSi = B 1 B 2 ...B g ... × of the Gutzwiller projected slave-fermion mean-field 15 {σ} states of the Bilinear-Biquadratic S=1 model, [N,1]σN [N,2]σN [N,g]σN q B 1 B 2 ...B g × 2 2 X 2 H = J1 + J2 cos θSi · Sj + sin θ (Si · Sj) , | σ1 σ1 . . . σ1 ... σN σN . . . σN i (29) 1 2 g 1 2 g (35) By suitably contracting tensors we can obtain a N- The physics of the 1D quantum Heisenberg spin- tensor MPS representation with physical dimension chain is qualitatively different for different spin 9
representations16; half-integer spins have a gapless ground state and power-law spin correlations; inte- (1,1) ger spins have a gapped ground state with expo- Critical nentially decaying correlations, the Haldane/AKLT Phase phase17. This latter phase is robust due to a com- (1,1/3) bination of symmetries which protect its topologi- Ferromagnetic 18,19 Haldane cal properties . This symmetry protection can Phase (1,0) be understood in terms of “fractionalization”: a Phase S = 1 spin effectively splits into two S = 1/2 edge modes that transform under non-trivial projective Dimerized representations of the symmetries (the product of Phase the symmetry representations differs from the rep- (-1,-2) (1,-2) (1,-1) resentation of the product). These features are re- (0,-1) flected by non-trivial degeneracies in the entangle- (-1,3) (1,-3) 20,21 ment spectrum - i.e. the eigenvalues of Hent in −Hent ρA = e where ρA = T rB |ψi hψ| is the reduced FIG. 6: Phase diagram of the bilinear-biquadratic density matrix on an A subsystem22–24. The BLBQ S = 1 model. Figure reproduced from ref. 15. model has four phases as shown in fig. 6. This in- cludes the Haldane phase (at the Heisenberg point), as well as a dimerized and critical phase. A. Generating the MPS One can derive the relevant projected mean field state from the slave-fermion construction by frac- tionalizing the spin operators Sˆ in terms of fermionic The relevant mean-field Hamiltonian that arises parton operators: from the parton construction of the bilinear- biquadratic S=1 model25,26 is ˆ † Si = fi;αSαβfi;β (36) X h † i Hmf = −Jχ c ci,α + h.c. † i,α where fi;α is the α-flavor fermionic parton creation i,α=−1,0,1 operator at site i and Sαβ are the matrix ele- X h † † † † † † i ments of the spin operators in a given representation + (J − K)∆ ci,−1cj,1 − c0ic0j + c1ic−1j + h.c. S25. Substituting these expressions into the original i,j Hamiltonian gives a quartic fermionic Hamiltonian X † + λ ciαciα (37) Hf which can be decoupled through a mean-field. i,α The resulting mean-field ground state must then be † † † projected back into the original Hilbert space essen- where the c−1, c0 and c1 are the on-site fermion par- tially ‘glueing’ together the fractionalized degrees of ton flavors corresponding to Sz = −1, 0, 1. freedom. This could be converted into a MPS by treat- The slave-fermion construction of the Bilinear- ing it as a general Pfaffian and then applying the Biquadratic model was studied in ref. 15 where the techniques in section III B. In models such as this, authors used VMC to optimize the (χ, δ, µ) param- though, where the mean-field Hamiltonian in the eters of the projected wavefunction and studied the parton basis has a tensor sum structure where one energy of this slave-fermion state compared to the or more of the Hilbert subspaces can be treated with exact energy achieved by TEBD. In this section, we a simpler mean-field (i.e. with a SD or BdG ground will take the same points as studied in ref. 15 and 26, state) it makes computational sense to obtain the convert the slave-fermion states to MPS, and com- MPS representation in each sector and then “glue” pute the entanglement spectra and the energies. the two MPS together; we exemplify this approach At the level of the Gutzwiller projected ground- here. states, the two gapped phases, the dimer phase and Introducing a Nambu spinor, in the k-basis the the AKLT phase, are distinguished by their “finger- Hamiltonian is block-diagonal: print” in the low-lying structure of the entanglement spectrum: the lowest level of the entanglement spec- 1 h i Hk = c† c c† c × trum of the dimerized topologically trivial phase is mf 2 k,1 −k,−1 k,0 −k,0 singly degenerate (for between dimer cuts); the low- χk ∆k 0 0 ck,1 est level of the entanglement spectrum of the Hal- † ∆∗ −χ 0 0 c dane phase ground state is doubly degenerate, cor- k k −k,−1 (38) 0 0 χ −∆ c responding to the presence of two boundary S = 1/2 k k k,0 0 0 −∆∗ −χ † edge modes. k k c−k,0 10
The one-body hamiltonian is a tensor sum of BdG- B. iMPS orthogonalization like Hamiltonian HBdG and a p + ip Hamiltonian Hp+ip. The mean field ground state is (we consider In this section, we will discuss orthogonalizing our anti-periodic boundary conditions and an even num- iMPS states. This includes a brief overview of the ber of sites): standard iMPS orthogonalization as well as a de- tailed description of how we address the degenera- † † |ΨGSi = Π0 ext † † N |ΨGSi = Πk ukf + vkf lim E = |Ri hL| (46) k,2 k,1 N→∞ † † Π0