Matrix Product States for Trial Quantum Hall States
We obtain an exact matrix-product-state (MPS) representation of a large series of fractional quantum Hall (FQH) states in various geometries of genus . The states in question include all paired Jack polynomials, such as the Moore-Read and Gaffnian states, as well as the Read-Rezayi state. We also outline the procedures through which the MPS of other model FQH states can be obtained, provided their wavefunction can be written as a correlator in a conformal field theory (CFT). The auxiliary Hilbert space of the MPS, which gives the counting of the entanglement spectrum, is then simply the Hilbert space of the underlying CFT. This formalism enlightens the link between entanglement spectrum and edge modes. Properties of model wavefunctions such as the thin-torus root partitions and squeezing are recast in the MPS form, and numerical benchmarks for the accuracy of the new MPS prescription in various geometries are provided.
pacs:03.67.Mn, 05.30.Pr, 73.43.-f
The understanding and simulation of quantum many-body states in one space dimension has experienced revolutionary progress with the advent of the density matrix renormalization group White (1992). In modern language, this method can be viewed as a variational optimization over the set of matrix product states (MPS) Fannes et al. (1992); Perez-Garcia et al. (2007). Indeed, gapped one-dimensional systems (which generally have low entanglement) can be very efficiently simulated by expressing the weights of many-body non-interacting states in an interacting wavefunction as products of finite-dimensional matrices associated with each occupied () or unoccupied () site (or spin): . are projectors into the state at the end of the chain (absent for periodic boundary conditions or the infinite chain). As long as the ”bond dimension” of the matrix is less than , this provides a more economical representation of the state. Generic 1-D gapped systems can be approximated by finite Verstraete et al. (2005). Critical systems however require an MPS with an infinite bond dimension Cirac and Sierra (2010); Nielsen et al. (2011).
Due to their perimeter law entanglement, 2-D systems (such as the fractional quantum Hall effect) are harder to simulate by MPS Zhang et al. (2011); Jiang et al. (2012); Nielsen et al. (2012); Cincio and Vidal (2013). In a recent paper Zaletel and Mong (2012), exploiting the fact that continuum model FQH states can be written as correlators of primary fields in conformal field theories (CFTs), an MPS expression was obtained for continuum Laughlin Laughlin (1983) and Moore-Read Moore and Read (1991) states on infinite cylinders. The bond dimension grows with the number of particles but scales with the circumference of the cylinder rather than its area. Approximate expressions can be obtained by truncating of the exact MPS. A key ingredient of Ref. Zaletel and Mong (2012) is the expansion of operators in a free basis (boson for Laughlin and Majorana plus boson for Moore-Read), which cannot be easily implemented in the more complicated, interacting bases of other FQH states such as the Read-Rezayi series Read and Rezayi (1999). The exciting possibility is that, if all model FQH states could be written in MPS form, current numerical barriers could be broken and properties such as correlation functions would be computable for large sizes. This is supported by the continuous MPS proposed in Ref. Dubail et al. (2012).
In this paper we provide a generic prescription that enables us to obtain the unnormalized (thin annulus) MPS form of a model FQH state which is the correlator of a primary field in a CFT. We explicitly construct MPS for the paired Jack polynomial states Bernevig and Haldane (2008a, b) ( being the Moore-Read and Gaffnian S. H. Simon et al. (2007) wavefunctions), as well as for corresponding to the Read-Rezayi wavefunction Read and Rezayi (1999). Several key ingredients and subtleties, such as the presence of non-orthonormal bases, null vectors, and intricate operator commutation relations, are discussed. We then show how to extend the MPS description to different manifolds such as the cylinder, sphere, and plane, and how several known properties of the CFT wavefunctions such as squeezing arise naturally in this description. We then generate several (the ) of these states numerically to verify our MPS, and provide numerical benchmarks to attest the accuracy of the MPS on the cylinderRezayi and Haldane (1994) and sphereHaldane (1983).
A large class of FQH ground-states are described by the many-point correlation function of an electron operator field in a chiral CFT Moore and Read (1991):
where are monomials (or Slaters for fermions) of angular momentum . is the number of electrons, and the filling fraction is (note that will not always be integer). The state describes the background charge at infinity. The coefficient can be obtained by contour integrals. Upon inserting a complete basis of states in the l.h.s. of (1) we get
The charge of is , respectively. This is an infinite, site (Landau level orbital momentum) dependent MPS , with the matrices for an orbital being, in the limit of an annulus with a very large radius (the so-called ”conformal limit”), and . is the conformal dimension of , and higher occupation number (of occupation ) matrices are simply .
To obtain a site-independent MPS, we need to spread the background charge uniformly over the droplet. We make explicit the dependence on the charge by writing states , where is the charge and encodes the rest (descendant, neutral sector). As the matrix element does not depend on charge , we are free to modify the distribution of the background charge. Spreading uniformly the background charge amounts to an insertion of a background charge between each orbital. This yields a site independent MPS with , where is the boson zero mode.
where and are the basis of descendants in the CFT (not free fermions as in Ref. Zaletel and Mong, 2012). Our expression further differs from the one in Ref. Zaletel and Mong, 2012 by time-evolution terms , which give the cylinder normalization. Conformal invariance yields
where are the conformal dimensions of the primary field and of the descendent . The matrix elements of are then related to the CFT 3-point function . The ”electron operator” is a primary field of the tensor product form , where lives in the so-called neutral conformal field theory factorized from the sector . In this basis the 3-point function factorizes as where is the conformal dimension of . Note the delta function in the total conformal dimension of the field and not separately in the neutral and parts. In the following we explain how to obtain the neutral, interacting CFT matrix elements for the case of Jacks for and .
First, we re-evaluate the matrix elements in a way easily generalizable to non-free field CFT and in a basis where they are real:
where are the bosonic modes obeying the Heisenberg algebra . is the zero mode of the conserved current and measures the charge, while is its canonical conjugate (). Primary fields are the vertex operators with conformal dimension . The corresponding highest weight state , which is annihilated by all , has charge . Since we defined the charge to be , the electric charge is . Descendants are obtained by acting on with the lowering operators , . They are labeled by a partition , with
For multiplicities of element , the norm is:
The matrix elements of the primary field between the normalized basis of descendants can be computed easily using the recurrence . They are of the form
which is consistent with Eq.(4) and with charge conservation; comes from the difference in conformal dimensions . With and being the multiplicities of in and , one finds:
These matrix elements are real (useful for numerics) with the symmetry .
We now move to the neutral part, starting with the case of Jacks. The CFT can be factorized as a free boson times a neutral minimal model Di Francesco et al. (1997). The underlying symmetry of this minimal model is the Virasoro algebra
with central charge , . The electron operator is . is a primary field in the neutral CFT, with conformal dimension , kept generic. Like in the case, the Hilbert space of the neutral CFT is made of the primary fields , eigenstates (with eigenvalue ) of and annihilated by lowering operators , and their descendants, indexed by a partition :
also eigenstates of with eigenvalues , where . Using the Virasoro algebra (10) and , we can compute any overlap between descendants. While descendants with different are clearly orthogonal (having different eigenvalues), a major difference from the case is that the descendants (11) are generically independent but not orthogonal. Hence, at each level , we have to numerically build an orthonormal basis.
Another issue is that for non unitary CFTs (such as the one underlying the Gaffnian) some descendants have a negative norm. These states have to be included, and the sign of their norm can be handled by an extra diagonal matrix acting on the right of the MPS matrices : .
A final major difference from the case is the presence of null vectors - states of vanishing norm under the scalar product defined by . This is a reflection of the fact that for special values of (which include all the interesting cases), some states in (11) are not independent. CFT characters count the number of independent descendants at each level, from which one can deduce the number of null-vectors. Our numerical procedure for computing overlaps reproduces this counting. At each level we need to detect and drop all null-vectors before performing the Gram-Schmidt process.
To compute matrix elements between descendants, it is convenient to work in the overcomplete (due to null vectors) ”basis” (11) and then transform back to the orthonormal basis. The level- matrix element is simply the OPE structure constant , known in the closed form for minimal models and, gives an overall pre-factor which can be ignored. Others can be computed using a similar method as for the CFT; for all ,
where is any primary field with a generic conformal dimension . Any matrix element can in principle be computed exactly using this method but to the best of our knowledge there is no analytical closed formula.
We are now in the position to write down the MPS matrices for Jack states. The state of an over-complete ”basis” of states in the CFT for Jack states has level (”momentum”) , which serves as the truncation parameter for the MPS. The matrix elements for are given by:
can be computed using the neutral CFT, then changed to an orthonormal basis. is given in (9) for . The values of are fixed by the fusion rules of the electron operator in the neutral sector. For the Jacks, these are , , which gives rise to two neutral sectors with conformal dimension and
We have implemented the above MPS numerically and verified that it exactly reproduces all Jack states. The MPS recovers the thin torus limit Bergholtz and Karlhede (2008) (root partition) of these Jacks. The topological sector (responsible for the ground-state degeneracy) can be fixed by choosing matrix elements of the product between different primary fields. One can describe quasi-hole states by inserting quasi-hole matrices in the MPS, as was done for Laughin and MR states in Ref. Zaletel and Mong (2012). Or alternatively, edge states are obtained by choosing matrix elements involving descendant states instead of primaires. This means that the MPS formalism establishes a mapping between edge states and the auxiliary space, which in turns controls the entanglement spectrum. In particular the MPS makes transparent the counting of the orbital entanglement spectrum for such states Chandran et al. (2011).
We now move to the Read-Rezayi state, exemplified by the Jack polynomial. For Jack states, the only known approach is to deal with a CFT with an enlarged algebra, the so-called algebra (see Eqs. (44), (45), and (46) of Ref. Estienne and Santachiara (2009)), which includes a current of spin . This generic approach, which applies to all Jack states becomes inefficient for the RR state due to the appearance of an extremely large number of null vectors (at each level of truncation). The underlying CFT for the RR state is known to be equivalent to the minimal model , the field becoming the primary field . This alternative approach provides a basis in which matrix elements involve only Virasoro modes . The electron operator is with . The neutral CFT field can be split into two chiral fields , with conformal dimension . Their fusion rules in the framework are . While in the algebra language is a descendant of the identity, it is primary (with conformal dimension ) with respect to the Virasoro algebra: . Accordingly, in the minimal model framework one has to work with the fusion rule .
The parafermions have three sectors corresponding to the charge of the field . Working in the Virasoro algebra, the sector contains two primaries as well as their descendants obtained just like above by the action of the Virasoro generators , whereas are made of and their descendants. The matrix element between descendants vanishes unless mod . The matrix elements we need are , , , all other being obtained from the above by charge conjugation , where charge conjugation interchanges , leaves invariant and flips the sign of . Using Eq.(12), we can compute these matrix elements up to one coefficient, namely . But this is simply an OPE structure constant, which is found to be .
Once the matrix elements (real, with this normalization) between descendants are known, it is easy to find the explicit form of the MPS matrices for the RR state, and :
with . is given in (9) for . is a partition of descendants of all the four primary fields ( included) in the theory. As before, is the truncation parameter for the MPS. As before the MPS recovers the root partition , which is the thin torus limit of the RR state multiplied by Jastrow factors.
The obtained MPS description of the Jacks (un-normalized wavefunctions on the annulus) is trivially transmuted to other geometries: for the sphere and the infinite plane, we obtain a site dependent MPS with , where is the norm of the single particle orbital in the respective geometries. For the cylinder, a site independent MPS is possible by introducing a time-evolution , with denoting the circumference of the cylinder. The well-known squeezing properties of FQH states easily follow from the MPS description.
So far the MPS description we have provided is exact. For numerical purposes of approximating a given state, we introduce the truncation level , which is the maximum allowed value of . gives the root partition (thin-torus limit) of the Jack polynomials and amounts to dropping all descendants in the CFT Hilbert space. gives the correct weights for all configurations obtained through a single squeezing of the root partition. Generically, the truncation at amounts to restricting the number of any squeezing steps from the root partition to . This is also the momentum quantum number labeling the entanglement spectrum levels Li and Haldane (2008). Due to the shape of the orbital spectrum, the truncation to a certain is expected to be equivalent to keeping the states with the highest Schmidt weight in the groundstate. This is also related (though not equivalent) to expansions around the thin cylinder limit Nakamura et al. (2012); Soulé and Jolicoeur (2012), where the weights of configurations decrease with the amount of squeezings from the root partition (equivalent to the exponential decay of correlation functions in the associated CFT).
In Fig. 1 we provide numerical benchmarks for the accuracy of approximating the full Jack states by the MPS truncated at level . The approximate Laughlin, Moore-Read, Gaffnian and Read-Rezayi states have been constructed by MPS matrices whose auxiliary Hilbert space dimension grows as shown in Fig. 1(a). The accuracy of the approximation is quantified by the overlap of an MPS state with a full Jack polynomial, and an example for the Read-Rezayi state is given in Figs. 1(b,c). We observe that the approximate MPS state becomes an excellent approximation of the exact FQH state for relatively low values of . Note that the convergence to the exact state on the sphere [Fig. 1(b)] is strikingly slower than on the cylinder [Fig. 1(c)], making this a preferred type of boundary condition for DMRG implementations Shibata and Yoshioka (2001); Feiguin et al. (2008); Zhao et al. (2011); Hu et al. (2012).
In conclusion, we have provided a method to obtain the MPS description of FQH model states given by correlators of the primary fields in a CFT. We have furthermore obtained the exact MPS form of the Jack states (including Moore-Read, Gaffnian, and Read-Rezayi state), and compared the approximate MPS (truncated to a certain ) with the exact states. Comparatively small values of were found to be sufficient for obtaining extremely accurate approximations of these states on the cylinder, which might have consequences for the improved DMRG implementations of realistic (Coulomb) Hamiltonians.
We wish to thank F.D.M. Haldane, A. Sterdyniak, R.Santachiara and J. Dubail for inspiring discussions. BAB and NR were supported by NSF CAREER DMR-095242, ONR-N00014-11-1-0635, ARMY-245-6778, MURI-130-6082, Packard Foundation, and Keck grant. ZP acknowledges support by DOE grant DESC0002140 and thanks KITP for hospitality (supported in part by NSF PHY11-25915).
- White (1992) S. R. White, Phys. Rev. Lett. 69, 2863 (1992).
- Fannes et al. (1992) M. Fannes, B. Nachtergaele, and R. Werner, Communications in mathematical physics 144, 443 (1992).
- Perez-Garcia et al. (2007) D. Perez-Garcia, F. Verstraete, M. Wolf, and J. Cirac, Quantum Info. Comput. 7, 401 (2007).
- Verstraete et al. (2005) F. Verstraete, J. I. Cirac, J. I. Latorre, E. Rico, and M. M. Wolf, Phys. Rev. Lett. 94, 140601 (2005).
- Cirac and Sierra (2010) J. I. Cirac and G. Sierra, Phys. Rev. B 81, 104431 (2010).
- Nielsen et al. (2011) A. E. B. Nielsen, J. I. Cirac, and G. Sierra, Journal of Statistical Mechanics: Theory and Experiment 2011, P11014 (2011).
- Zhang et al. (2011) Y. Zhang, T. Grover, and A. Vishwanath, Phys. Rev. B 84, 075128 (2011).
- Jiang et al. (2012) H.-C. Jiang, Z. Wang, and L. Balents, Nature Physics 8, 902 (2012).
- Nielsen et al. (2012) A. E. B. Nielsen, J. I. Cirac, and G. Sierra, Phys. Rev. Lett. 108, 257206 (2012).
- Cincio and Vidal (2013) L. Cincio and G. Vidal, Phys. Rev. Lett. 110, 067208 (2013).
- Zaletel and Mong (2012) M. P. Zaletel and R. S. K. Mong, Phys. Rev. B 86, 245305 (2012).
- Laughlin (1983) R. B. Laughlin, Phys. Rev. Lett. 50, 1395 (1983).
- Moore and Read (1991) G. Moore and N. Read, Nuclear Physics B 360, 362 (1991).
- Read and Rezayi (1999) N. Read and E. Rezayi, Phys. Rev. B 59, 8084 (1999).
- Dubail et al. (2012) J. Dubail, N. Read, and E. H. Rezayi, Phys. Rev. B 86, 245310 (2012).
- Bernevig and Haldane (2008a) B. A. Bernevig and F. D. M. Haldane, Phys. Rev. Lett. 100, 246802 (2008a).
- Bernevig and Haldane (2008b) B. A. Bernevig and F. D. M. Haldane, Phys. Rev. Lett. 101, 246806 (2008b).
- S. H. Simon et al. (2007) S. H. Simon, E. H. Rezayi, N. R. Cooper, and I. Berdnikov, Phys. Rev. B 75, 075317 (2007).
- Rezayi and Haldane (1994) E. H. Rezayi and F. D. M. Haldane, Phys. Rev. B 50, 17199 (1994).
- Haldane (1983) F. D. M. Haldane, Phys. Rev. Lett. 51, 605 (1983).
- Di Francesco et al. (1997) F. Di Francesco, P. Mathieu, and D. Sénéchal, Conformal field theory (Springer, 1997).
- Bergholtz and Karlhede (2008) E. J. Bergholtz and A. Karlhede, Phys. Rev. B 77, 155308 (2008).
- Chandran et al. (2011) A. Chandran, M. Hermanns, N. Regnault, and B. A. Bernevig, Phys. Rev. B 84, 205136 (2011).
- Estienne and Santachiara (2009) B. Estienne and R. Santachiara, Journal of Physics A: Mathematical and Theoretical 42, 445209 (2009).
- Li and Haldane (2008) H. Li and F. D. M. Haldane, Phys. Rev. Lett 101, 010504 (2008).
- Nakamura et al. (2012) M. Nakamura, Z.-Y. Wang, and E. J. Bergholtz, Phys. Rev. Lett. 109, 016401 (2012).
- Soulé and Jolicoeur (2012) P. Soulé and T. Jolicoeur, Phys. Rev. B 85, 155116 (2012).
- Shibata and Yoshioka (2001) N. Shibata and D. Yoshioka, Phys. Rev. Lett. 86, 5755 (2001).
- Feiguin et al. (2008) A. E. Feiguin, E. Rezayi, C. Nayak, and S. Das Sarma, Phys. Rev. Lett. 100, 166803 (2008).
- Zhao et al. (2011) J. Zhao, D. N. Sheng, and F. D. M. Haldane, Phys. Rev. B 83, 195135 (2011).
- Hu et al. (2012) Z. Hu, Z. Papić, S. Johri, R. N. Bhatt, and P. Schmitteckert, Phys. Lett. A 376, 2157 (2012).