The Use of Matrix Product State Representations in Simulating Many Body Quantum Systems by Matthew Low A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF BACHELOR OF SCIENCE in The Faculty of Science (Physics) THE UNIVERSITY OF BRITISH COLUMBIA (Vancouver) June 2010 c Matthew Low 2010 Abstract The classical simulation of many body quantum systems has long been of interest to both condensed matter and quantum information theorists. The use of matrix product state representations of the wavefunction allows suitable approximations to be made that permit quantum simulations to be performed in polynomial time rather than exponential in the size of the system. The numerical methods are based on a minimization algorithm that can be used to find the ground state and first excited state energies and their respective matrix product states. Using the matrix product states, other quantities such as magnetization and correlation can also be computed. In this thesis, the theory and numerical techniques necessary for these simulations are studied and applied to the one dimesional Ising model in a transverse field. The results of the model are compared to the analytical solution and analyzed in depth. ii Table of Contents Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii List of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii Dedication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii 1 Introduction to Many Body Quantum Systems . . . . . . . . . . . . . . . . . . . 1 2 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3 Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1 Matrix Product States . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2 Tensor Network Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 4 7 4 Numerical Methods . . . . 4.1 Variational Method . . . 4.1.1 Minimization . . . 4.1.2 Gauge Freedoms . 4.1.3 First Excited State 4.2 Imaginary Time Evolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Block Decimation Method 5 Study of Ising Model in a Transverse Field 5.1 Theory . . . . . . . . . . . . . . . . . . . . 5.2 Results . . . . . . . . . . . . . . . . . . . . 5.2.1 Energy . . . . . . . . . . . . . . . . 5.2.2 Magnetization . . . . . . . . . . . . 5.2.3 Correlation . . . . . . . . . . . . . . 5.3 Numerical Issues . . . . . . . . . . . . . . . 5.3.1 Wrap Around . . . . . . . . . . . . 5.3.2 Variable Bond Length . . . . . . . . 5.3.3 Subspace Projection . . . . . . . . . 6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 10 10 13 14 14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 17 18 18 19 24 27 27 28 28 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 iii Table of Contents Appendices A Mathematics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 A.1 Schmidt Decomposition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 A.2 Variational Principle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 B MATLAB Code . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 iv List of Figures 3.1 3.2 3.3 3.4 3.5 3.6 3.7 4.1 4.2 4.3 4.4 5.1 5.2 5.3 5.4 5.5 5.6 5.7 A β × α × i tensor drawn as part of a tensor network. . . . . . . . . . . . . . . . . The tensor product of A and A contracting the indices of length β and β , corresponding to Eq. (3.16) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . The tensor product of A and A contracting the indices of length β and β , and i and i , corresponding to Eq. (3.17) . . . . . . . . . . . . . . . . . . . . . . . . . . . Eq. (3.14) as drawn as a tensor network. The length of the indices have not been drawn for simplicity. The tensors A[1] and A[N ] only have two indices as they are on the ends of the spin chain. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Eq. (3.15) as drawn as a tensor network. The length of the indices have not been drawn for simplicity. Each tensor A[i] has the same number and location of bonds illustrating the translational symmetry. . . . . . . . . . . . . . . . . . . . . . . . . The representation of an inner product. A∗ is the complex conjugate of A. This contraction is performed on each tensor of the wavefunction. . . . . . . . . . . . . . The representation of an expectation value. A∗ is the complex conjugate of A and h is an operator. This contraction is performed on each tensor of the wavefunction. The tensor network of Nef f |A[M ] , varied with respect to A[M ] | which is the tensor missing from the network. The uncontracted indices are α, β, and i. . . . . . . . The tensor network of Hef f |A[M ] , varied with respect to A[M ] | which is the tensor missing from the network. The uncontracted indices are α, β, and i. . . . . . . . The tensor network of Nef f , varied with respect to |A[M ] where the missing tensors are the tensor associated with site M . The uncontracted indices are α, α , β, β , i, and i . The variational method for OBCs ensures that Nef f = δαα δββ δii . . . . The tensor network of Hef f , varied with respect to |A[M ] where the missing tensors are the tensor associated with site M . The uncontracted indices are α, α , β, β , i, and i . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 8 8 9 9 9 9 . 11 . 11 . 12 . 12 The simulated ground state energy and exact ground state energy for N = 60 and D = 8. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . The simulated first excited state energy and exact first excited state energy for N = 60 and D = 8. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . The simulated energy gap, Ef s − Egs , and exact energy gap for N = 60 and D = 8. The absolute error in the ground state energy and the first excited state energy for N = 60 and D = 8. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . The simulated energy gap, Ef s − Egs , and exact energy gap for N = 80 and D = 8. The absolute error in the ground state energy and the first excited state energy for N = 80 and D = 8. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . The magnetization in the ground state for N = 100 and D = 10. . . . . . . . . . . 20 20 21 21 22 22 23 v List of Figures The correlations, according to Eq. (5.12), as a function of h for r = N2 in the ground state for N = 80 and D = 8. . . . . . . . . . . . . . . . . . . . . . . . . . 5.9 The x correlation, according to Eq. (5.13), as a function of h for r = 5, r = 10, and r = 50 in the ground state for N = 100 and D = 10. . . . . . . . . . . . . . . 5.10 The x correlation, according to Eq. (5.13), as a function of r for h = 1.05, h = 1.30, and h = 1.64 in the ground state for N = 50 and D = 8. . . . . . . . . . . . . . . 5.11 The correlation length, ξ, as a function of h in the ground state for N = 60 and D = 8. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.12 The correlation length, ξ, as a function of h in the ground state for N = 80 and D = 8. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.8 . 24 . 25 . 26 . 26 . 27 vi Acknowledgements I would like to thank my supervisors Dr. Tzu-Chieh Wei and Dr. Robert Raussendorf for their direction and guidance, for conveying a knowledge and interest in the topic to me, and for their time spent on the project. vii Dedication I would like to dedicate this thesis to my parents and family who have provided me with unconditional love and support throughout my years as an undergraduate. viii Chapter 1 Introduction to Many Body Quantum Systems Since the start of the twentieth century the formulation of quantum mechanics has had an enormous impact on not only modern science, but also society in general. From the advances in modern electronics to the philosophy of science, quantum mechanics has made a unmistakable mark. Despite its success, however, there are still many aspects of quantum mechanics that not extremely well understood. As far as its philosophical implications go, even Einstein was uncomfortable with the idea of an underlying probablistic theory. From a physics standpoint, one of the interesting problems arising from quantum mechanics is understanding many body quantum systems. These systems offer insights into condensed matter theory, nuclear physics, and quantum mechanics itself, but they are inherently difficult to solve. In approaching the study of such systems, it is first necessary to define precisely what is meant by a many body quantum system. A many body quantum system is a physical system consisting of a number of constituents that follow the rules laid out by quantum mechanics. Let us consider a number of atoms placed along a line. Clearly, these atoms obey the laws of quantum mechanics forming a one dimensional quantum system. Since the system is comprised of more than one atom, its interactions become more complex and warrant the title many body system. This arrangement of atoms on a line is known as the open boundary conditions case, since the atoms on the end of the line experience different interactions, as they only have atoms on one side. Another one dimensional configuration is atoms placed on a ring, which unlike the line exhibits translational symmetry. This case is known as having periodic boundary conditions. The particular members of the system can be any quantum mechanical object, the most convenient abstraction of which is simply a spin. The evolution of all quantum systems is described by the Schr¨odinger equation. The timeindepedent Schr¨ odinger equation is H|ψn = En |ψn , (1.1) where H is the Hamiltonian of the system, |ψn are the eigenstates of the system, and En are the energies of the associated eigenstates. Even in the one dimensional case, this equation is often analytically unsolvable [1]. For reasons discussed in Chapter 2 we would like to solve the system, in particular for the wavefunction and energy of the ground state and the first excited state. In the absence of an analytical solution, it is necessary to turn to simulation, which is the method presented in this thesis. Unfortunately, simply simulating a quantum system is not the end of the story. The Hilbert space of the system is the tensor product of the various constituent Hilbert spaces. As a result the number of coefficients required to parameterize the wavefunction of the system grows exponentially in the size of the system. This exponential growth renders the problem of quantum simulation intractable. In fact, quantum simulation is one of the primary interests that Richard Feynman cited when theorizing about quantum computing [2, 3]. While a number of other mo1 Chapter 1. Introduction to Many Body Quantum Systems tivations are described in Chapter 2, this fact alone makes quantum simulation a very intriguing problem. There are several other interesting connections to physical systems and entanglement that arise from the topic of quantum simulation [4]. One of the first techniques used to simulate quantum systems was the Density Matrix Renormalization Group method (DMRG) as developed by White in 1992 [5–8]. The technique has been very useful in understanding properties of a number of condensed matter systems. While the technique has been the most successful in studying one dimensional systems with nearest neighbor interactions in the zero temperatue limit, it has also been applied to other situations with good results [9]. One of the key features of the DMRG method is its use of Matrix Product States (MPS) to characterize the wavefunction [8, 10]. Based on the DMRG technique, another method has been developed to simulate many body quantum systems [11]. This technique, called the Variational MPS method by Verstraete et al., uses the MPS representation of the wavefunction to make a suitable approximation such that the minimal amount of relevant information is lost. An approximation is necessary because, as already discussed, the problem of quantum simulation is intractable in classical computation. As it turns out, however, physical ground states cannot occupy the full extent of their Hilbert space [11]. The approximation corresponds to assigning a finite entanglement content to spins in the ground state. It is precisely, these discoveries that have spurred the advancement and use of the numerical techniques that will be discussed. 2 Chapter 2 Motivation The motivation for simulating quantum systems falls roughly into two categories. The first is the insight that simulating quantum systems provides into condensed matter problems [9], while the second is motivated by problems that arise in quantum information [4]. In terms of condensed matter physics, the simulation of many body quantum systems is a very relevant problem. There are many physical systems that arise in condensed matter that are modeled by a Hamiltonian using spin-spin interactions. It is exceedlingly uncommon that any of these models can be solved analytically [12], which is why an accurate simulation becomes crucial. The motivation driving the models themselves is that analysis and understanding of very simple systems can still lead to non-trivial results. For instance, consider Einstein’s model of a solid. At the atomic level, Einstein described each atom as a quantum harmonic oscillator which all oscillate at the same frequency. From this model he derived the heat capacity of the solid as a function of temperature, at high temperatures. These results have been experimentally verified to be accurate [13]. Clearly it is not unreasonable to expect the presence of interesting phenomena even for simple models. In this thesis we will discuss one dimension models because they exhibit complex enough behaviour to warrant interesting analysis. In particular the one dimensional Ising model in a tranverse field, using a spin chain with periodic boundary conditions, will be discussed. The methods can be easily extended to examine two dimensional models, such as a surface, and three dimensional models, such as a lattice. The second primary motivation for the study of these methods comes from quantum information theory. The nominal objective of using the MPS representation of the wavefunction and utilizing the numerical techniques developed is to acheive an efficient and accurate classical simulation of many body quantum systems. If a particular many body quantum system is found to be very accurately simulated classically, then that system will likely not provide any computational speed up if used as a the basis of a quantum computer [4]. The idea is that systems that can be classically simulated do not exhibit enough quantum features to provide resources for genuine quantum computation. Futhermore, one can observe which components of the wavefunction are being rounded or truncated in the approximation and identify those as necessary resources for genuine quantum computation. The MPS representation of wave function, in particular, approximates the wave function by effectively placing an upperbound on the Schmidt number of the wavefunction decomposition. The Schmidt number can be interpreted as a measure of the entanglement present in the system. Vidal used this information to identify entanglement as a necessary, but not sufficient, quantity for genuine quantum computation. Moreover, Vidal derived a lower bound on the amount of entanglement that must be present for a speed up in quantum computation [4]. It follows also that a detailed study of numerical techniques to classically simulate quantum systems will lead to a stronger understanding of the more subtle details in quantum mechanics. 3 Chapter 3 Theory 3.1 Matrix Product States We will begin the discussion of Matrix Product State (MPS) representations with a derivation of the form that illustrates its validity and demonstrates where the appropriate approximation is made to achieve polynomial time simulation. We will follow the steps outlined by Vidal [4]. Let us first consider a quantum state |ψ which consists of two spins |i1 and |i2 1 . The most generic wavefunction can be represented as d d |ψ = ci1 i2 |i1 |i2 , (3.1) i1 =0 i2 =0 where d is the dimension of |ii . In principal each |ii may have a different dimension, but for simplicity we will assume they are all dimesion d. If the states |ii are not entangled, then the coefficient ci1 i2 can be written as the product of two complex scalars ci1 and ci2 . For instance, consider a system of two particles each of spin 12 . In general the system is written as |ψ = c00 |00 + c01 |01 + c10 |10 + c11 |11 . (3.2) If the coefficients were such that c00 = αγ, c01 = αδ, c10 = βγ, and c11 = βδ, then the state could be expressed as a product state, since |ψ = αγ|00 + αδ|01 + βγ|10 + βδ|11 (3.3) = (α|0 + β|1 ) ⊗ (γ|0 + δ|1 ). (3.4) For this assignment of coefficients the state can be expressed as the product of two independent spins. One interpretation of this independence is that if one spin is measured, the outcome of a subsequent measurement on the second spin will not be affected by the outcome of the first. Quantum states, however, are not always product states. For instance, consider the state |ψ = α|00 + 0|01 + 0|10 + β|11 (3.5) = α|00 + β|11 . (3.6) If β = ±α = ± √12 , Eq. (3.6) represents the Bell state, which is one example of a maximally entangled state [3]. There is no way to factor this equation into a tensor product of spins and 1 In this thesis, unless otherwise specified, we will use the computational basis {|0 , |1 }. This basis can be realized as the direct mapping from a spin 12 particle which has the basis in the z orientation {| ↑ , | ↓ }. One can then simply relabel | ↑ ⇒ |1 and | ↓ ⇒ |0 . This is standard notation in quantum information literature for qubits as it provides a direct analog to classical bits [3]. 4 3.1. Matrix Product States therefore it is not a product state. Also, conversely from the product state situation, if one spin is measured, the outcome of a subsequent measurement on the second spin is determined (assuming the second measurement is made right away) by the outcome of the first measurement. What is worth noticing between these two types of states is the number of coefficients needed to completely describe the state. In the general case the coefficients are {ci1 i2 ···iN −1 iN } of which there are dN of them. The physical interpretation of this is that as more spins are added to the system each new spin could, in principle, be entangled with any of the previous spins. This is an exponential growth in the size of the system and hence intractable for classical simulation. In the special case of the product state, the coefficients are {ci1 , ci2 , · · · , ciN −1 , ciN } of which there are dN of them. Intuitively as spins are added to the system, since they are not entangled, one simply needs to add their coefficients to the set of coefficients already used to describe the rest of the system. The result of this observation is the realization that one way to acheive a tractable quantum simulation would be to deal solely with product states. While general systems cannot be decomposed into product states, perhaps if the coefficients specifying the wavefunction were permitted to decompose as matrices rather than scalars it might be possible to decompose every state into some type of product state. This is precisely the reason for the matrix product state (MPS) representation of the wavefunction. The MPS representation can be formed efficiently using the Schmidt decompostion [3, 14]. This decomposition allows Eq. (3.1) to be expressed as d χ d [1] ci1 i2 |i1 |i2 = i1 =0 i2 =0 λk |φk [2] ⊗ |φk , (3.7) k=1 [i] where |φk are the spins in some basis that is determined by the Schmidt decomposition, λk are the Schmidt values of the decomposition, χ is the Schmidt number, and k is some index running over the Schmidt values. The proof of this decomposition is found in Appendix A.1. The Schmidt [1] [2] number, χ, can be thought of as the number of states within |φk with which |φk is entangled. Often, the Schmidt number is used as a measurement of the entanglement present in a quantum system [4]. We will now consider a system that, rather than just two states, consists of N states |i1 , |i2 , · · · |iN , such that d d |ψ = d ··· i1 =0 i2 =0 ci1 i2 ···iN |i1 |i2 · · · |iN . (3.8) iN =0 Then applying the Schmidt decomposition χ [1] [2···N ] λ[1] , α1 |φα1 |φα1 |ψ = (3.9) α1 =1 where the summation index is now labeled α1 in place of k. The superscripts refer to which of the [2···N ] N states, |φα1 , we are referring. In this scheme |φα1 represents a system consisting of spins 2 [1] to N in some possibly entangled state. The next step is to re-express |φα1 in the computational basis |i1 5 3.1. Matrix Product States χ d [2···N ] 1 [1] Γ[1]i , α1 λα1 |i1 |φα1 |ψ = (3.10) α1 =1 i1 =0 [1]i where Γα1 1 are the coefficients used in the change of basis. The Schmidt decomposition and [2···N ] change of basis can then be applied to |φα1 , yielding χ χ d d [2] [3···N ] 1 [1] [2]i1 . Γ[1]i α1 λα1 Γα1 α2 λα2 |i1 i2 |φα2 |ψ = (3.11) α1 =1 i1 =0 α2 =1 i2 =0 [3...N ] The Schmidt decomposition can then be recursively applied to |φα1 of the spins. The result is |ψ to separate the rest ci1 i2 ···iN |i1 i2 · · · iN , = (3.12) i1 ,i2 ,···,iN ci1 i2 ···iN [2] [3]i3 [N −1] [N ]iN 1 [1] [2]i2 Γ[1]i α1 λα1 Γα1 α2 λα2 Γα2 α3 · · · λαN −1 ΓαN −1 , = (3.13) α1 ,α2 ,···,αN −1 which is the MPS representation. Since we have shown that an arbitrary state can be decomposed into a product state of tensors where each tensor is associated with a given basis function, |ii , we can redefine the tensors however we wish. A notation similar to that of Verstraete, Murg, and Cirac will be adopted [11] [N −1]i N −1 [N ]iN 1 2 Aα[1]i A[2]i α1 α2 · · · AαN −2 αN −1 AαN −1 |i1 i2 · · · iN −1 iN . 1 |ψ = (3.14) α1 ,α2 ,···,αN −1 ,i1 ,i2 ,···,iN −1 ,iN The derivation thus far has been for open boundary conditions as spins 1 and N are identified as the ends of the chain. The extension to periodic boundary conditions simply involves taking a trace over the product of tensors [11] [N −1]i N −1 [2]i2 [N ]iN 1 Tr A[1]i α1 Aα1 α2 · · · AαN −2 αN −1 AαN −1 |i1 i2 · · · iN −1 iN . |ψ = (3.15) α1 ,α2 ,···,αN −1 ,i1 ,i2 ,···,iN −1 ,iN The derivation of Eqs. (3.14) and (3.15) has involved no approximations, thus Eqs. (3.14) and (3.15) represent any wavefunction exactly. As mentioned in Chapter 1, however, this parameterization of the wavefunction still scales exponentially with the size of the system. In order to reduce the number of parameters we will need to make an approximation in the representation of these equations. As discussed in Chapter 1, it has been argued that ground state of the wavefunction cannot utilize the full dimensionality of its Hilbert space. Since the states that will be simulated using the MPS representation are the ground state and first excited state, it is prudent to take advantage of the limited extent of the wavefunction in Hilbert space. The physical interpretation of this is that it is not entirely plausible to expect every single spin in the system to be highly entangled with every other spin in the system. In lieu of this interpretation a reasonable approximation 6 3.2. Tensor Network Diagrams to make would be to limit the entanglement that can exist between parts of the system. As introduced in Eq. (3.7), χ is used as a measure of the entanglement. Thus the approximation made will be to truncate the Schmidt decomposition to some value D, known as the bond length, where D ≤ χ. D is known as the bond length because it, in some sense, quantitatively describes the bond between various parts of the system. If D is fixed apriori then as the system grows, the entanglement growth is bounded by D, whereas previously it was bounded by χ which would also grow as the system grew. With this approximation the number of parameters scales polynomially with the size of the system and the simulation becomes tractable. It is important to note that as D → χ the MPS representation once again becomes exact. In terms of the simulation this is noteworthy because one way to verify the accuracy of the simulation is to compute results for increasing values of D and observing the values remain the same as D increases, an indication the simulation is reliable, or change, an indication that the simulation maybe not be capturing the system interactions accurately. The actual time complexity for open boundary conditions is now N d2 D3 . The d2 D3 scaling comes from the dimension of the tensors that must be represented or used in intermediate calculations. This is assuming that the calculations are done optimally such that a tensor with four or more indices is never represented2 . For periodic boundary conditions the time complexity increases to N d2 D5 since there are now bonds connecting spins 1 and N which must always be included. 3.2 Tensor Network Diagrams Due to the large number of indices to keep track of in the MPS representation, it is often cumbersome to show calculations using MPS’s. Fortunately there is an alternative pictorial representation called the tensor network. The tensor network formulation represents each tensor itself as a node, also known as sites (since tensors each reside at a specified site). Each index of the tensor is represented by a outgoing edge. The length of the dimension of each index is written on the edge. For instance, Fig. 3.1 shows a α × β × i tensor, A3 . Figure 3.1: A β × α × i tensor drawn as part of a tensor network. In order to represent the multiplication of tensors, which is the primary operation used in the calculation of MPS’s, edges of tensors are connected. Since tensors can be of arbitrarily high dimensionality, unlike matrix multiplication, the product may sum over an arbitrary number of 2 This means that the tensor depicted in Fig. 3.4 is never calculated explicitly, but rather computed as shown in Figs. 3.6 and 3.7. 3 Note that a β × α × i tensor or a tensor with an permutation of the indices would be drawn in the same way. The order of the indices are, in some sense, unimportant because the order is simply used to keep track of which indices to sum over when multiplied by another tensor. This will be kept track of visually in the tensor network by matching edges. 7 3.2. Tensor Network Diagrams indices. This is represented in the tensor network by the number of edges that are connected. For instance, consider the tensor A from Fig. 3.1 and a second tensor A , which is α × β × i . One way to multiply these tensors would be to sum over β/β index β [AA ]iklm = Aijk Aljm , (3.16) j=1 where β must be equal to β , and i,k,l, and m are of lengths α, i, α , and i respectively. The corresponding tensor network diagram for Eq. (3.16) is shown in Fig. 3.2. In terms of tensor networks, the indices that are summed over are said to be contracted. Figure 3.2: The tensor product of A and A contracting the indices of length β and β , corresponding to Eq. (3.16) Another way to multiply the tensors A and A would be to sum over both the β/β index and the i/i index β i Aljk Amjk , [AA ]lm = (3.17) j=1 k=1 where β must equal β and i must equal i . Fig. 3.3 is the corresponding tensor network. Figure 3.3: The tensor product of A and A contracting the indices of length β and β , and i and i , corresponding to Eq. (3.17) Following this scheme, the wavefunction in MPS form for open boundary conditions, given by Eq. (3.14), can be drawn as a tensor network as shown in Fig. 3.4. The tensor network for periodic boundary conditions, given by Eq. (3.15), is shown in Fig. 3.5. Inner products can also be simply represented with tensor networks, as can expectation values, as shown in Figs. 3.6 and 3.7 respectively. The inner product is formed by taking the complex conjugate of A and contracting it with A for each tensor in the wavefunction. The expectation value is a straightforward extension contracting each tensor with opposite edges of an operator, h. To represent an expectation value, the operator h should be the same between each tensor and its complex conjugate for each site in the tensor network. 8 3.2. Tensor Network Diagrams Figure 3.4: Eq. (3.14) as drawn as a tensor network. The length of the indices have not been drawn for simplicity. The tensors A[1] and A[N ] only have two indices as they are on the ends of the spin chain. Figure 3.5: Eq. (3.15) as drawn as a tensor network. The length of the indices have not been drawn for simplicity. Each tensor A[i] has the same number and location of bonds illustrating the translational symmetry. Figure 3.6: The representation of an inner product. A∗ is the complex conjugate of A. This contraction is performed on each tensor of the wavefunction. Figure 3.7: The representation of an expectation value. A∗ is the complex conjugate of A and h is an operator. This contraction is performed on each tensor of the wavefunction. 9 Chapter 4 Numerical Methods 4.1 Variational Method The variational MPS method is one of the most recent developments from a series of numerical methods of simulation quantum systems [11]. The technique itself is fairly general in terms of its range of applicability. The basis upon which the method builds is a minimization sweep which is revelant for finding both the ground state and first excited state4 . In order to increase the efficiency of the solution, further numerical techniques can be applied to take advantage of gauge freedoms present in the MPS representation. Together these principles detail an efficient, accurate simulation method. 4.1.1 Minimization In the use of the VMPS method, the primary pieces of information obtained are the ground state energy, first excited state energy, and their respective wavefunctions. Using the wavefunction MPS, one can compute a number of properties of interest in studying the quantum system as will be discussed in Chapter 5. The variational principle, which is proved in Appendix A.2, states Egs ≤ ψ|H|ψ , (4.1) for any wavefunction |ψ [15]. If |ψ is permitted to vary arbitrarily then performing a minimization over the wavefunction will result in a convergence to the ground state. The minimization formulation of Eq. (4.1) is Egs = min |ψ ψ|H|ψ , ψ|ψ (4.2) where ψ|ψ ensures normalization. The application of Lagrange multipliers to Eq. (4.2) yields ˜gs = min ( ψ|H|ψ − λ ψ|ψ ), E |ψ (4.3) where λ is some scalar5 . Since in the MPS form one cannot vary the entire wavefunction, Eq. (4.3) is applied locally to each spin, M . The minimization becomes 4 In fact, higher energy states can be found, however, each successive energy level requires more computation time and since the computation of each energy level depends on the previous levels the error will propagate through each energy level. 5 Formally the use of Lagrange multipliers under the normalization constraint yields Egs = min|ψ ψ|H|ψ − λ( ψ|ψ − 1), however since the variation will be taken with respect to ψ| rather than λ, the result will be the same. 10 4.1. Variational Method ˜gs = min A[M ] |Hef f |A[M ] − λ A[M ] |Nef f |A[M ] , E (4.4) |A[M ] where Hef f and Nef f are defined as |ψ [M ] Hef f Nef f = |A[1] ⊗ A[2] ⊗ · · · ⊗ A[M −1] ⊗ A[M +1] ⊗ · · · ⊗ A[N −1] ⊗ A[N ] = = ψ [M ] |H|ψ ψ [M ] [M ] |ψ [M ] (4.5) (4.6) . (4.7) In the global ground state, the variation of the energy with respect to a given site will be zero: ˜gs δE = Hef f |A[M ] δ A[M ] | ⇒ Hef f |A[M ] −λNef f |A[M ] = 0, (4.8) = λNef f |A[M ] . (4.9) Eq. (4.9) is the generalized eigenvalue equation which can be solved numerically with any number of available software packages. Additionally from Eq. (4.9) Hef f |A[M ] A[M ] |Hef f |A[M ] = λNef f |A[M ] , = λ A[M ] |Nef f |A[M ] , ψ|H|ψ = λ ψ|ψ , ψ|H|ψ = λ, thus the eigenvalues λ are the energy eigenvalues of the Hamiltonian. Figure 4.1: The tensor network of Nef f |A[M ] , varied with respect to A[M ] | which is the tensor missing from the network. The uncontracted indices are α, β, and i. Figure 4.2: The tensor network of Hef f |A[M ] , varied with respect to A[M ] | which is the tensor missing from the network. The uncontracted indices are α, β, and i. Figs. 4.1 and 4.2 show the tensor network representation of Nef f |A[M ] and Hef f |A[M ] respectively. In either case, the closed tensor network is represented by A[M ] |Nef f |A[M ] and 11 4.1. Variational Method A[M ] |Hef f |A[M ] , thus the variation with respect to the ket of a site, is the full tensor network with the given site removed. Moreover, Nef f and Hef f themselves are formed by removed the bra of the M th site as shown in Figs. 4.3 and 4.4. Figure 4.3: The tensor network of Nef f , varied with respect to |A[M ] where the missing tensors are the tensor associated with site M . The uncontracted indices are α, α , β, β , i, and i . The variational method for OBCs ensures that Nef f = δαα δββ δii . Figure 4.4: The tensor network of Hef f , varied with respect to |A[M ] where the missing tensors are the tensor associated with site M . The uncontracted indices are α, α , β, β , i, and i . In order to find the ground state wavefunction and energy a sweeping technique is used in the local minimization to acheive a global minimization. Throughout the calculation it is necessary to store the Hef f tensor for all spins. This Hef f was then updated with each successive local minimization. The sweeping technique was employed by first performing the minimization on the first spin, A[1] . This requires solving Eq. (4.9), where λ, an approximation to the ground state energy, is recorded. The updated value of A[1] is then used in the calculation of Hef f and Nef f and Eq. (4.9) is solved for M = 2. The minimization proceeds to site N − 1, then proceeds back from site N to site 2. After the complete sweep, the standard deviation of the energies calculated at each site is compared to a chosen tolerance. If the deviation is not below the tolerance, the wavefunction is determine to have not converged sufficiently and the sweep is executed again. Due to Eq. (4.1) and the minimization used, in the absence of numerical errors, the ground state energy calculated will be a monotonically decreasing function of the number of sweeps. While computing local minimizations does not guarantee a global minimum, the fact that the ground state decreases monotonically and the technique requires a standard deviation of energy values to be below a given tolerance lead to accurate results in practice. Also, as previously mentioned, one can compute values for increasing values of D to verify convergence to the actual ground state. In particular, the ground state energy of the Heisenberg model has been reliably computed [11]. In Chapter 5 the Ising model is simulated and compared with the analytical solution. 12 4.1. Variational Method 4.1.2 Gauge Freedoms While the generalized eigenvalue problem, Eq. (4.9), is solvable, there is a straightforward manipulation of the MPS’s in the open boundary conditions case which leads to a more efficient solution. If Nef f is sufficiently close to the identity tensor, then Eq. (4.9) reduces to a simple eigenvalue equation which can be solved significantly quicker than the generalized version. The principle insight is the gauge freedom that is present in the multiplication of matrices (and tensors) [11]. Consider the matrix A, defined such that A = BC. (4.10) One can then insert the identity matrix, I, between B and C without changing the value of A, A = BC = BIC. (4.11) Futhermore, one can decompose I into a product of an invertible matrix X and its inverse and redefine B and C, ˜ C, ˜ A = BC = BIC = BXX −1 C = B (4.12) ˜ = BX and C˜ = ˜ and where B In this way, the matrices B and C can be redefined as B ˜ C, respectively, provided they satisfy the constraint in Eq. (4.12). This gauge freedom can be used to define the tensors, {A[M ] }, used for each spin in the system. The procedure utilizes the singular value decomposition [3, 14], which states that for any tensor A X −1 C. A = U SB, (4.13) where U and B are both unitary matrices and S is a diagonal matrix whose entries are the singular values of A. The decomposition is then applied to each site starting from one end of the network. Each pairt of tensors is decomposed and redefined as A[M −1] A[M ] = A[M −1] (U [M ] S [M ] B [M ] ) = A˜[M −1] A˜[M ] , (4.14) [M −1] [M −1] [M ] [M ] [M ] [M ] ˜ ˜ where A =A U S and A = B . Applying this decomposition from site N , right to left, to site 1 leaves a unitary tensor, B [M ] , at each site. In this way, each update of the Hef f and Nef f tensors are done with unitary tensors. Similarly applying the decomposition allowing A[M ] A[M +1] = (U [M ] S [M ] B [M ] )A[M +1] = A˜[M ] A˜[M +1] , (4.15) where A˜[M ] = U [M ] and A˜[M +1] = S [M ] B [M ] A[M +1] , the update from left to right can be done with only unitary tensors. As a result Nef f can be constructed entirely out of unitary tensors. This particular construction of Nef f in the case of open boundary conditions lets the Nef f become Nef f = δαα δββ δii , (4.16) where the indices are refer to the same indices used in Fig. 4.3. Thus, as shown in Eq. (4.16), Nef f can be made to be the identity tensor and Eq. (4.9) reduces to a simple eigenvalue problem. Furthermore, since Nef f is the identity it is no longer necessary to store the values during computation. 13 4.2. Imaginary Time Evolution Block Decimation Method Unfortunately the situation is not as simple for the case of periodic boundary conditions. Since the PBC spin chain forms a ring, the Nef f is not split into two disjoint tensor networks, but rather is still connected as a single tensor network. This removes some freedom from the representation and the sites cannot be made all to be unitary. Nef f , therefore, cannot be made to be the identity tensor. This procedure, however, is still applied to Nef f using PBCs because it improves the conditioning of the Nef f tensor. 4.1.3 First Excited State To calculate the first excited state energy and wavefunction, it is first necessary to have obtained the ground state wavefunction in MPS form. Once the ground state wavefunction has been found, it can be used to take advantage of a corollary to the variational principle, Eq. (4.1) [15] Ef e ≤ ψ|H|ψ , (4.17) given that ψ|ψgs = 0. According to Eq. (4.17) the same minimization technique used in finding the ground state, subjected to an additional constraint, can be applied to find the first excited state. The particular method used to ensure the orthogonality of the first excited state is to project Eq. (4.9) into a subspace orthogonal to the ground state, solve the eigenvalue problem, then project back into the full Hilbert space. One way of computing the projection matrix would be P = I − |ψgs ψgs |. (4.18) The calculation of Eq. (4.9) is then preceded by ˜ef f = P T Nef f P, N ˜ ef f = P T Hef f P. H (4.19) (4.20) Then the found MPS is projected back, |ψf e = P|ψ˜f e , (4.21) yielding both the first excited state energy and the first excited state wavefunction in MPS form. This particular choice of projector works in theory, however, in practice the problem remains more stable if a function from a software library is used to calculate a projector that will ensure orthogonality. In this case, the function orth from the default MATLAB library was used. 4.2 Imaginary Time Evolution Block Decimation Method An alternative method to finding the ground state energy and MPS by solving Eq. (4.9) is using the Imaginary Time Evolution Block Decimation method (TEBD) [16]. The imaginary TEBD method is a straightforward modification of the traditional TEBD method. The TEBD method starts with the time-dependent Schr¨ odinger equation Hψ = i ∂ψ , ∂t (4.22) 14 4.2. Imaginary Time Evolution Block Decimation Method where H is the Hamiltonian and ψ is the wavefunction. If the Hamiltonian is time-independent then the solution that describes the time evolution of the system is ψ = Ae−iHt , (4.23) where A is the normalization constant. To evolve the system by a time step δt one could apply the operator Tˆ = e−iHδt , (4.24) to the system6 . Unfortunately for the types of spin chain models studied with this simulation, this application of Eq. (4.24) will not work because the terms in the Hamiltonian typically involve nearest neighbor spin interactions. A system comprised of these interactions will typically not have a Hamiltonian with terms that commute. One can then decompose the Hamiltonian into two or more pieces that do commute and alternately apply these operators. For instance, if the Hamiltonian is N −1 x σix σi+1 , H= (4.25) i=1 it can be split into N −1 x σix σi+1 , Hodd = (4.26) i=1,i odd N −1 x σix σi+1 , Heven = (4.27) i=1,i even where Hodd and Heven do commute. Since they commute, the Trotter decomposition can be applied [11]. The Trotter decomposition states eA+B = lim n→∞ A B en en n , (4.28) or equivalently e(A+B)δt = lim eAδt eBδt + O(δt2 ) , δt→0 (4.29) where O(δt2 ) indicates the order in δt of the error in the approximation. Thus for small time steps δt the time evolution of the system can be approximated by alternating the application of the operators Tˆodd = e−iHodd δt , Tˆeven = e−iHeven δt . (4.30) (4.31) Once Tˆodd and Tˆeven have been determined, the variational method is applied again, this time minimizing 6 Assuming the wavefunction is already normalized Eq. (4.24) will perserve normalization. 15 4.2. Imaginary Time Evolution Block Decimation Method Tˆ|ψ(k) − |ψ(k + 1) 2 , (4.32) where |ψ(k) is the initial wavefunction, |ψ(k + 1) is the wavefunction advanced by a timestep to be found, Tˆ is the relevant even or odd operator, and · is the Euclidean norm. The result of the minimization is the same as maximizing the overlap between |ψ(k + 1) and Tˆ|ψ(k) . The minimization then continues in exactly the same fashion as the VMPS method. This method simulates the time evolution of the system. The modification to the TEBD method that will allow the ground state wavefunction to be found is letting i → 1 in Eq. (4.23) and subsequently in Eqs. (4.30) and (4.31). The resulting equation is ψ = Ae−Ht , (4.33) where the higher energy states will decay away quicker, leaving the ground state energy and wavefunction. In practice, when implemented, this method performed as well as the VMPS method in terms of accuracy. In terms of convergence time, the implementation used was significantly slower than the VMPS method7 . As a result, the method is a very useful sanity check in comparing against results from the VMPS method, however, due to the convergence speed, the VMPS method was used as the method of choice in this thesis. The imaginary TEBD is also a useful method if only a rough estimate of the energy or wavefunction is needed. In this case, the method can be run for a fixed number of time steps to find an estimate, rather than needlessly perform the entire algorithm. 7 In [16] Vidal has implemented the TEBD method differently which is likely to be as efficient as the VMPS method. 16 Chapter 5 Study of Ising Model in a Transverse Field 5.1 Theory The Ising model in a transverse field belongs to a family of one dimensional models known as XY spin chains [17, 18]. The Ising model is interesting to study because despite its apparent simplicity it still exhibits interesting behaviour. The model itself can be used as a simplified description of ferromagnetism at the level of individual spins. The general XY spin chains are described by the Hamiltonian N HXY = − j=1 1−r y y 1+r x x σj σj+1 + σj σj+1 + hσjz , 2 2 (5.1) where r describes the xy anisotropy of the system and h is the transverse external field [18]. In the case r = 1, Eq. (5.1) reduces to N x σjx σj+1 + hσjz , H=− (5.2) j=1 x which is precisely the Ising model in a transverse field. The σjx σj+1 term describes the spin-spin z interaction between nearest neighours in the system while the hσj describes the tranverse external field strength. x When h = 0, intuitively, the ground state maximizes the σjx σj+1 terms resulting in a spin chain with all spins aligned in the x direction. The spins can align in the +x direction, −x direction, or a linear superposition of the two h=0 |ψgs = α| + + · · · + + β| − − · · · − , (5.3) for |α|2 + |β|2 = 1. The other limiting case is |h| 1 where the hσjz term dominates. The ground state for this value of h maximizes the spin the +z direction (assuming h > 0) h |ψgs 1 = | ↑↑ · · · ↑ . (5.4) The region of interest is between the two limiting cases where h = 0 but is not too large. There exists an analytical solution to the general XY model, see [17, 18], which is N −1 Ea = − m=0 2π(m + 1/2) h − cos N 2 + r2 sin2 2π(m + 1/2) , N (5.5) 17 5.2. Results N −1 Eb = (h − 1) − h − cos m=1 2πm N 2 + r2 sin2 2πm . N (5.6) where the ground state Egs = min (Ea , Eb ) and the first excited state Ef s = max (Ea , Eb ). For the Ising model in a transverse field this corresponds to Egs = Ea and Ef s = Eb . Furthermore, in this case one can reduce Eqs. (5.5) and (5.6) to N −1 Egs = − m=0 2π(m + 1/2) h − cos N N −1 h − cos Ef s = (h − 1) − m=1 5.2 2πm N 2 + sin2 2π(m + 1/2) , N (5.7) + sin2 2πm . N (5.8) 2 Results The simulation used was based on a number of a functions written by Verstraete et al. [11]. The original code was written for open boundary conditions and simply generated the ground state and first exited state energies and MPS’s for a given Hamiltonian. Significant modifications were required to extend the code to utilize periodic boundary conditions and compute magnetizations and correlations and store the computations for plotting. The code is included in Appendix B. Several datasets were generated for given values of N , the number of spins, and D, the bond length. For each dataset the field strength, h, was varied from 0 to 2 using different sampling rates. N 50 60 70 80 100 D 8 8 8 8 10 h sampling rate ≈ 0.04 ≈ 0.1 ≈ 0.2 ≈ 0.02 ≈ 0.2 Table 5.1: The values of N , D, and h sampling rate for which datasets were generated. The values for the datasets used are shown in Table 5.1. Due to the large amount of time required to generate each dataset only a limited number were produced. In the simulation, a tolerance was set to specify when to halt the minimization iteration. In all cases, the tolerance was set to 10−5 . 5.2.1 Energy In order to evaluate the accuracy and validity of the simulation the simulated ground state energy and first excited state energy were compared to the exact values as shown in Eqs. (5.7) and (5.8). Fig. 5.1 compares the simulated ground state energy with the exact solution. The results agree closely enough that any error at all is not evident from the plot. Fig. 5.2 similarly plots the first excited state. Again the simulation and exact solution are close enough that they appear 18 5.2. Results superimposed on the plot. In order to quantify the error Fig. 5.4 plots absolute difference between the exact solution and simulated value. As the tolerance was set to 10−5 , the agreement is very good since the error remains at or below 10−5 for all values of h. There are two particularly interesting features in Fig. 5.4. The first is that the error in the ground state is noticeably less than the error in the first excited state. This behaviour is expected because the ground state MPS is used in the calculation of the first excited state energy and MPS. Therefore any error present in the ground state MPS propagates to the first excited state. The second interesting feature is that for both the energy levels the error tends to be higher at h ≈ 1. This is best explained with reference to Fig. 5.3 which shows the gap in the energy levels. For h < 1, the energy gap is 0, however, for h > 1 the energy gap increases linearly. Thus hc = 1 can be identified as a critical point of the system. Since hc = 1 is a critical point, it is reasonable to expect the error in the energy to be larger for values of h close to hc , which is what is observed. Another useful way to interpret the energy level results is comparing with the limiting values of Eqs. (5.7) and (5.8). For h = 0 the equations reduce to N −1 h=0 Egs = − m=0 N −1 Efh=0 s = −1 − m=1 2π(m + 1/2) − cos N 2πm − cos N 2 2 2π(m + 1/2) + sin =− N N −1 2 2πm + sin = −1 − N 1 = −N, (5.9) m=0 N −1 2 1 = −N. (5.10) m=1 Using Eqs. (5.9) and (5.10) as approximations for small h, the energy gap is expected to be 0. This is precisely confirmed in Fig. 5.3. For large h, the sum terms in Eqs. (5.7) and (5.8) are approximately equal since h will dominate. Note that as N always becomes large the extra term in Eq. (5.7) becomes negligible. Furthermore, for h ≈ 1, a m = 0 term in the sum of Eq. (5.8) would have no contribution to the energy. In light of this approximation, the gap is expected to be h − 1 which is precisely the behaviour for h > 1. Figs. 5.5 and 5.6 show the energy gap and error in energy levels, respectively, for a larger number of spins, N = 80, and more finely spaced field values. Again, the results agree with the expected values. The first state excited energies in Fig. 5.5 tend to oscillate more than in the N = 60 case. This is likely due to the various numerical approximations made in the method. The fact that the error does not significantly go above 10−5 , however, implies that the simulation is stable. 5.2.2 Magnetization The magnetization of a system in the x direction is given by Mx = 1 N σix . (5.11) i The equations for the magnetization in the y and z directions are defined similarly. The magnetization of the system in the z direction describes how well the spins align with the external field, while the magnetization in the x and y directions describes the spontaneous alignment among the spins. Some materials retain their magnetization even when removed from the external field and placed in any other external field. In this case the material is known as a ferromagnetic 19 5.2. Results Figure 5.1: The simulated ground state energy and exact ground state energy for N = 60 and D = 8. Figure 5.2: The simulated first excited state energy and exact first excited state energy for N = 60 and D = 8. 20 5.2. Results Figure 5.3: The simulated energy gap, Ef s − Egs , and exact energy gap for N = 60 and D = 8. Figure 5.4: The absolute error in the ground state energy and the first excited state energy for N = 60 and D = 8. 21 5.2. Results Figure 5.5: The simulated energy gap, Ef s − Egs , and exact energy gap for N = 80 and D = 8. Figure 5.6: The absolute error in the ground state energy and the first excited state energy for N = 80 and D = 8. 22 5.2. Results material and the magnetization reveals how the material will magnetically interact with other materials. With the one dimensional Ising model studied here we simply wish to describe the magnetization in an external field, h, and its behaviour close to the critical point, hc . Fig. 5.7 plots Mx , My , and Mz as a function of field strength, h. The magnetization in the y direction remains around 0 which is expected given that there is no y direction spin interaction in Eq. (5.2). The magnetization in the z direction starts at 0 for h = 0. This is also expected since when h = 0, the z direction spin interaction vanishes. As h increases, the z direction spin interaction begins to dominate which is evident in the monotonic increase of Mz in Fig. 5.7. The magnetization in the x direction offers a slightly richer analysis. In Eq. (5.2) at h = 0 the x direction spin interaction is the only term, thus Mx reaches its maximum value there. As h increases, Mx decreases. Unlike Mz , however, the behaviour of Mx abruptly changes near the critical point. For h < hc , the x magnetization is slowly decreasing, but at h ≈ hc the value quickly approaches 0 and remains there for h > hc . In this case, Mx is identified as an order parameter of the system. In the two dimensional Ising model, the magnetization is known, using mean-field theory, to vary ∝ (Tc − T )1/8 for T < Tc where T is temperature [19]. The magnetization then goes to 0 for T > Tc . For finite size systems it is reasonable to expect the curve to not go directly to 0, but rather continuously decrease to 0 rapidly as shown in Fig. 5.7. Similarly for field strength h, in the two dimensional model the magnetization is ∝ (hc − h)1/8 [19]. It is interesting to ask if it also varies as ∝ (hc − h)a for some exponent a also in the one dimensional model. For 0 < h < hc the magnetization curve was fit to ∝ (hc − h)a and it was found that a = 0.122 ± 0.006 and hc = 0.9999 ± 0.0002. This result suggests that in this system Mx ∝ (hc − h)1/8 with a critical point at hc ≈ 1. Figure 5.7: The magnetization in the ground state for N = 100 and D = 10. 23 5.2. Results 5.2.3 Correlation The correlation in a system describes how correlated spins in a system are in a given direction as a function of distance along the spin chain. The equation used is describe this is cxx (r) = 1 N x σix σi+r , (5.12) i where r ∈ [1, N ]. The equations for cyy (r) and czz (r) are similarly defined. Fig. 5.8 shows the correlations as a function of h for fixed r = N2 . The results of Fig. 5.8 agree intuitively with the expected results. In the y direction, there is not expected to be any correlation, for the same reasons that the magnetization in the y direction is expected to be 0. In the z direction for h = 0, the correlation is expected to be 0 since there is no z direction spin interaction in Eq. (5.2). For h > 0, czz grows as expected. Similarly, cxx starts at a maximum for h = 0, then decreases to 0 as its contribution to Eq. (5.2) varies with h. The plots in Fig. 5.8 also ressemble the magnetization plots in Fig. 5.7. This behaviour is x x expected for large system. Note that as N → ∞, σix σi+r → σix σi+r since the spins should x x be uncorrelated in an infinite size system. Futhermore as N → ∞, σi σi+r → σix 2 = Mx 2 . Figure 5.8: The correlations, according to Eq. (5.12), as a function of h for r = state for N = 80 and D = 8. N 2 in the ground An alternate definition of the correlation is given by c˜xx (r) = 1 N x x σix σi+r − σix σi+r , (5.13) i where r ∈ [1, N ] and the equations for c˜yy (r) and c˜zz (r) are similarly defined. This definition of the correlation is expected to decrease exponentially as a function of r [19]. Fig. 5.9 shows the x correlation for various values of r. The correlation peaks at the critical point, hc , and decreases as h increases. The plots for larger values of r also have less correlation 24 5.2. Results since as the distance in the spin chain increases, the correlation should decrease between spins. Fig. 5.10 clearly shows the exponential decay of the x correlation. Moreover, the plot shows that for larger values of h the correlation in the x direction decreases. The values of c˜yy and c˜zz similarly decrease in the same exponential fashion. As the correlation falls exponentially, it can be fit to an exponential function − rξ c˜xx (r) = Ae , (5.14) where ξ has the same units as r and is known as the correlation length. The correlation length is simply a measure of how far the information of spin direction travels along the spin chain. Since there is a correlation length for each value of h and in each direction, the correlation length can be computed and plotted as a function of h. This is shown in Fig. 5.11 for N = 60 and in Fig. 5.12 in N = 80 which has more data points. It is noteworthy that in both plots of the correlation length, the value peaks at h ≈ hc , and that as N increases, the height of the peak increases8 . This suggests that as the system approaches its critical point the correlation between components of the system becomes very large. Physically this means that near the critical point the behaviour of the system can change very rapidly since the information can effectively influence a larger number of spins. As h increases past hc , the correlation length decreases, as in general the correlation is not expected to propagate far along the chain. Figure 5.9: The x correlation, according to Eq. (5.13), as a function of h for r = 5, r = 10, and r = 50 in the ground state for N = 100 and D = 10. 8 Although only two datasets are shown, the other datasets were plotted and found to agree with the assessment that as N increases, the height of the peak increases. 25 5.2. Results Figure 5.10: The x correlation, according to Eq. (5.13), as a function of r for h = 1.05, h = 1.30, and h = 1.64 in the ground state for N = 50 and D = 8. Figure 5.11: The correlation length, ξ, as a function of h in the ground state for N = 60 and D = 8. 26 5.3. Numerical Issues Figure 5.12: The correlation length, ξ, as a function of h in the ground state for N = 80 and D = 8. 5.3 Numerical Issues Unlike with other models, an efficient, accurate simulation of the Ising model requires special attention to the conditioning of the Nef f tensor when h = 09 . The reason for this is manifest in Eq. (5.3), where the ground state is degenerate. This degeneracy causes some of the eigenvalues of Nef f to very small, which greatly reduces the stability of solving Eq. (4.9). To acheive a stable algorithm it was necessary to ensure that Nef f had sufficiently large eigenvalues, or alternatively stated, was well conditioned. 5.3.1 Wrap Around In the open boundary conditions case the minimization sweep went from site 1 to N − 1, then from N to 2, varying each site and performing a local minimization. Using this technique it was possible to make Nef f = I. In the periodic boundary conditions case, the minimization sweep was still implemented to iterate from 1 to N − 1, then from N to 2, despite the fact that Nef f can no longer made to be the identity. It was observed in running the algorithm that while the minimization converged for sites away from the ends of the sweep, near the ends of the sweep, namely sites 1 and N the minimization was not converging and Nef f became poorly conditioned. The proposed remedy to reduce the end effects was to complete an additional singular value decomposition when sweeping from site 1 to N − 1 at site N and at site 1 when sweeping from N to 2. The non-unitary tensor from site N will then be contracted with site 1. This effectively wraps around the information in the Nef f and Hef f more consistently. In implementing this change, however, it is also necessary to recalculate the Hef f and Nef f tensors from site 1 to N before continuing the sweep from site N to 2. This is necessary because the wrap around of the 9 The Heisenberg model, for instance, can be simulated without the modifications presented in this section [11]. 27 5.3. Numerical Issues tensor causes the information to be updated in site 1 which is included in all minimizations in the sweep. The same wrap around technique is applied to site 1. This technique when implemented with variable bond length, discussed in Section 5.3.2, did in fact increase the stability of Nef f . There were, however, still some instances where Nef f would have small eigenvalues and the algorithm would not converge. 5.3.2 Variable Bond Length Another source of poor conditioning of the Nef f tensor was when the bond length, D, was set too large. In theory, this should present no issue because as D → χ the MPS representation becomes an exact representation of the wavefunction. It was observed, however, that as D was set unnecessarily large, meaning that a small D sufficiently represents the system, the Nef f tensor becomes sparse. As Nef f becomes more sparse it also becomes more poorly conditioned. The solution to this issue was to allow the bond length to decrease during computation as necessary. Specifically when each tensor is decomposed using the singular value decomposition if a singular value of the tensor is below a specified tolerance, then the singular value is estimated to be 0 and the bond length is effectively decreases. This amounts to a change in the svd2.m program in Appendix B as shown in Program 5.1. This change used with the wrap around modification did increase the stability of Nef f in many instances. Near h = 0, the bond length also tended to decrease to D ≈ 2 (depending on the size of the system). This is because for h = 0 there is a well defined ground state, Eq. (5.3), and a longer bond length was not necessary to fully represent the system. 5.3.3 Subspace Projection Upon discussion with Valentin Murg, a colleague of Verstraete, he suggested an alternative method to improve the conditioning of Nef f with a method similar to that presented in Section 4.1.3. The concept is to find the eigenvalues of Nef f , then identify which eigenvalues are below a specified tolerance. Then using the eigenvectors of the corresponding eigenvalues less than the tolerance, Nef f is projected into the subspace orthogonal to these eigenvectors. This ensures that in the projected subspace Nef f will not be poorly conditioned and if the tolerance is small, then the accuracy will also be maintained. The transformation of Nef f and Hef f are simply ˜ef f = P2T Nef f P2 , N ˜ ef f = P2T Hef f P2 , H (5.15) (5.16) where P2 is the projector into the subspace orthogonal to the eigenvalues less than the tolerance. Then the found MPS is projected back, |ψ = P2 |ψ˜ . (5.17) This method was found to consistently make Nef f well conditioned without sacrificing any accuracy in the computation. Furthermore, this technique is not as computationally demanding as Verstraete’s transformation and it is conceptually more transparent. As a result, this was the method used in code in Appendix B and plots generated in Chapter 5. 28 5.3. Numerical Issues Program 5.1 Program that allows for variable bond lengths when decomposing each tensor. function [U,S,V]=svd2_variable(T) tol=1e-2; [m,n]=size(T); % 1->N Case if m>=n [U,S,V]=svd(T,0); singVals=diag(S); newLength = length(singVals) - 1; if (min(singVals) < tol && newLength >= 1) fprintf(’Changing bond length to %i.\n’ ,newLength); S=S(1:newLength,1:newLength); V=V(1:newLength,1:newLength); U=U(:,1:newLength); end % N->1 Case else [V,S,U]=svd(T’,0); singVals=diag(S); newLength = length(singVals) - 1; if (min(singVals) < tol && newLength >= 1) fprintf(’ Changing bond length to %i.\n’ ,newLength); S=S(1:newLength,1:newLength); U=U(1:newLength,1:newLength); V=V(:,1:newLength); end end V=V’; N=sqrt(trace(S*S)); S=S/N; 29 Chapter 6 Conclusion The objective of this thesis was to study and understand numerical techniques used in simulating many body quantum systems. In particular, methods useful for analyzing one dimesional spin chains were studied. In order to simulate quantum systems efficiently and accurately it was necessary to make the appropriate approximations after parameterizing the wavefunction as a matrix product state. The approximation made was limiting the extent of entanglement in the system via bounding the Schmidt number, χ, of the system by a chosen bond length D. This modification changed the time complexity of the simulation from exponential to polynomial, namely N d2 D3 for open boundary conditions and N d2 D5 for periodic boundary conditions, where N is the number of spins in the system, D is the bond length, and d is the dimension of the spins. As an extension, since limiting the entanglement allowed for an efficient and accurate simulation of some one dimensional spin chains it was determined that entanglement is a necessary resource for genuine quantum computation. The primary method developed was the variational MPS method which used a minimization equation to find the ground state MPS and energy of a system. The method was derived from the variational principle and used a sweeping technique to iterate from site to site in the tensor network. Once the energy converged, the simulation was deemed to have found the ground state energy. An additional constraint that a found wavefunction needed to be orthogonal to an already determined ground state MPS led to finding the first excited state energy and MPS using the same VMPS method. These methods were applied to the one dimensional Ising model for which there is an analytical solution of the energy levels as a function of the field strength, h. The results of the simulation agreed within the prespecified tolerance to the exact solution for both the ground state and first excited state energies. Futhermore, in analyzing the computed ground state MPS, the x magnetization was identified as an order parameter of the system with a critical point at hc ≈ 1. Using this MPS, the magnetization in the y and z directions were also computed as well as the correlations as a function of h and r, the distance along the spin chain. The x magnetization and correlation were found to decrease as a function of h while the corresponding z quantities were found to increase. The y values remained at 0 in each case. The correlations were also examined as a function of r and found to decrease exponentially, defining a correlation length as the coefficent of the decay. The correlation length was a measure of the distance that spin information travels around the chain. Moreover, it was found that at the critical point, hc , the correlation length peaked before decaying for all larger values of h. In working with the Ising model, a number of numerical instabilities were discovered in the algorithms and consequently solved by projecting the equations in a subspace with sufficiently large eigenvalues. This ensured the well conditioning of the tensors so that they equation could be solved accurately. Through this study, not only was an involved technical understanding of the simulation of quantum systems gained, but also a deeper understanding of quantum systems themselves was 30 Chapter 6. Conclusion gained. In particular, the behaviour of the Ising model was studied in detail and found to exhibit very non-trivial behaviour despite it seeming simplicity. The techniques developed and the results found in this thesis are of use to further advances in the numerical methods utilizing matrix product states and to deeper studies of the intricacies of the one dimensional Ising model in a transverse field. 31 Bibliography [1] G. Vidal, Phys. Rev. Lett. 93, 040502 (2004). [2] R. Feynman, Feynman Lectures on Computation. Westview Press (2000). [3] M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000). [4] G. Vidal, Phys. Rev. Lett. 91, 147902 (2003). [5] S. R. White, Phys. Rev. Lett. 69, 2863 (1992). [6] I. Affleck, T. Kennedy, E. H. Lieb, and H. Tasaki, Phys. Rev. Lett. 59, 799 (1987); Commun. Math. Phys. 155, 477 (1988). [7] M. Fannes, B. Nachtergaele, and R. F. Werner, Commun. Math. Phys. 144, 443 (1992); J. Funct. Anal. 120, 511 (1994). ¨ [8] S. Ostlund and S. Rommer, Phys. Rev. Lett. 75, 3537 (1995). [9] F. Verstraete, D. Porras, J. I. Cirac, Phys. Rev. Lett. 93, 227205 (2004). [10] D. Perez-Garcia, F. Verstraete, M.M. Wolf, and J.I. Cirac, arXiv:quant-ph/0608197 (2007). [11] F. Verstraete, V. Murg, and K. Cirac, Advances in Physics, 57:2,143-224 (2008). [12] D. Porras, F. Verstraete, and J. I. Cirac, Phys. Rev. B 73, 014410 (2006). [13] M. D. Sturge, Statistical and Thermal Physics. A K Peters (2003). [14] A. Ekert and P. L. Knight, Am. J. Phys. 63, 415 (1995). [15] D. Griffiths, Introduction to Quantum Mechanics. Pearson Education (2005). [16] G. Vidal, Phys. Rev. Lett. 98, 070201 (2007). [17] E. Lieb, T. Schultz, and D. Mattis, Ann. Phys. 60, 407 (1961). [18] T. Wei, Quantum Entanglement: Geometric Quantification and Applications to Multi-Partite States and Quantum Phase Transitions, arXiv:0905.2467v1 (2004). [19] H. Gould and J. Tobochnik, Thermal and Statistical Physics. Princeton University Press (2010). 32 Appendix A Mathematics A.1 Schmidt Decomposition The Schmidt decomposition is a way of decomposing a quantum system |ψ into a tensor product of two quantum systems |iA and |iB with coefficients λi . The formulation and proof of the decomposition is courtesy of Nielsen and Chuang [3]. Theorem: For any (pure state) |ψ which consists of two composite systems, A and B, there exist orthonormal states for A, |iA , and for B, |iB such that |ψ = λi |iA |iB , (A.1) i where λi are non-negative real numbers, known as Schmidt coefficients, satisfying 2 i λi = 1. Proof: Let the composite systems, A and B, be of the same dimension for simplicity and have fixed orthonormal bases, |j and |k , respectively. The state |ψ can be represented as |ψ = ajk |j |k , (A.2) jk where a is a matrix of complex numbers {ajk }. The matrix can then be decomposed using the singular value decomposition which states that any matrix, a, can be decomposed as a = usv, where u and v are unitary matrices and s is a diagonal matrix whose entries are non-negative and the singular values of a. Thus |ψ = uji sii vik |j |k . (A.3) ijk Let |iA = j = uji |j , |iB = k = vik |k , and λi = sii , then |ψ = λi |iA |iB . (A.4) i Since u is unitary and the basis |j is orthonormal the basis |iA is orthonormal. Similarly the basis |iB is orthonormal. 33 A.2. Variational Principle A.2 Variational Principle The variational principle upon which the VMPS method is based states Egs ≤ ψ|H|ψ , (A.5) for any normalized wavefunction |ψ . The proof of the principle is straightforward and based upon Griffith’s proof [15]. Proof: Let |ψ be any normalized wavefunction. Since the eigenfunctions of the Hamiltonian, H, form a complete orthonormal set |ψ can be expressed as a linear combination of them |ψ = cn |ψn , (A.6) n where Hψn = En ψn . From the normalization of |ψ c∗m ψm | 1 = ψ|ψ = cn |ψn m c∗m cn ψm |ψn = = n m n |cn |2 . (A.7) n Similarly, c∗m ψm | ψ|H|ψ = m cn |ψn H c∗m En cn ψm |ψn = = n m n En |cn |2 . n (A.8) By definition the ground state, Egs is the smallest eigenvalue of H, so Egs ≤ En thus |cn |2 = Egs . ψ|H|ψ ≥ Egs (A.9) n Therefore the variational principle holds for all |ψ . 34 Appendix B MATLAB Code The code included implements the VMPS method and is based on the code found in [11]. The original code was written for open boundary conditions and non-trivial modifications have been made to adapt the code to periodic boundary conditions. The code is included with the permission of the original authors of [11]. The top level function is isingProg(N,D,hs) which will write the values to a file, from which the various quantities can be plotted. Program B.1 (Modified from [11]) function [P]=calcprojector_onesite(B,Cleft,Cright) % ------------------------------------------% [P]=calcprojector_onesite(B,Cleft,Cright) % % Computes the projector, P, given the tensor % network {Cleft,Cright} and ket B. % % Parameters % B = The ket of the site that is varied % Cleft = A tensor of the left side of % tensor network % Cright = A tensor of the right side of % tensor network % % Returns % P = m-by-n projector % ------------------------------------------y=contracttensors(Cleft,6,3,B,3,1); y=contracttensors(y,7,[2,6,3,4,5],Cright,6,[2,3,4,5,6]); y=permute(y,[1,3,2]); y=reshape(y,[prod(size(y)),1]); Q=orth([y,eye(size(y,1))]); P=Q(:,2:end); 35 Appendix B. MATLAB Code Program B.2 (Modified from [11]) function [X,numindX]=contracttensors(X,numindX,indX,Y,numindY,indY) % ------------------------------------------% [X,numindX]=contracttensors(X,numindX,indX,Y,numindY,indY) % % Contracts indX of tensor X with indY of tensor Y. % % Parameters % X = A tensor % numindX = The number of indices of X % indX = The index of X to contract % Y = A tensor % numindY = The number of indices of Y % indY = The index of Y to contract % % Returns % X = The contracted tensor of X and Y % numindX = The number of indices of X % ------------------------------------------Xsize=ones(1,numindX); Xsize(1:length(size(X)))=size(X); Ysize=ones(1,numindY); Ysize(1:length(size(Y)))=size(Y); indXl=1:numindX; indXl(indX)=[]; indYr=1:numindY; indYr(indY)=[]; sizeXl=Xsize(indXl); sizeX=Xsize(indX); sizeYr=Ysize(indYr); sizeY=Ysize(indY); if prod(sizeX)~=prod(sizeY) error(’indX and indY are not of same dimension.’); end if isempty(indYr) if isempty(indXl) X=permute(X,[indX]); X=reshape(X,[1,prod(sizeX)]); Y=permute(Y,[indY]); Y=reshape(Y,[prod(sizeY),1]); X=X*Y; Xsize=1; return; 36 Appendix B. MATLAB Code else X=permute(X,[indXl,indX]); X=reshape(X,[prod(sizeXl),prod(sizeX)]); Y=permute(Y,[indY]); Y=reshape(Y,[prod(sizeY),1]); X=X*Y; Xsize=Xsize(indXl); X=reshape(X,[Xsize,1]); return end end X=permute(X,[indXl,indX]); X=reshape(X,[prod(sizeXl),prod(sizeX)]); Y=permute(Y,[indY,indYr]); Y=reshape(Y,[prod(sizeY),prod(sizeYr)]); X=X*Y; Xsize=[Xsize(indXl),Ysize(indYr)]; numindX=length(Xsize); X=reshape(X,[Xsize,1]); Program B.3 (Modified from [11]) function [mps]=createrandommps(N,D,d) % ------------------------------------------% [mps]=createrandommps(N,D,d) % % Creates a random MPS. % % Parameters % N = The number of spins % D = The bond length % d = The spin dimension % % Returns % mps = The random MPS % ------------------------------------------mps=cell(1,N); for i=1:N mps{i}=randn(D,D,d)/sqrt(D); end 37 Appendix B. MATLAB Code Program B.4 (Written by Matthew Low) function E = exactIsing(r,h,N,isGround) % ------------------------------------------% E = exactIsing(r,h,N,isGround) % % Computes the exact solution to the ground state % and first excited state energies. % % Parameters % r = The r value in the XY model (ising r=1) % h = The field value % N = The number of spins % isGround = 1 means compute the ground state, % 0 means compute the first excited state % % Returns % E = Energy % ------------------------------------------E = 0; if (isGround == 1) for m=0:(N-1) E = E - sqrt((h-cos(2*pi*(m+0.5)/N))^2 + r^2*sin(2*pi*(m+0.5)/N)^2); end else E = E + (h-1); for m=1:(N-1) E = E - sqrt((h-cos(2*pi*m/N))^2 + r^2*sin(2*pi*m/N)^2); end end Program B.5 (Modified from [11]) function [Cstorage]=initCstorage(mpsB,mpoX,mpsA,N,D) % ------------------------------------------% [Cstorage]=initCstorage(mpsB,mpoX,mpsA,N,D) % % Initializes storage necessary to compute the % projector for the first excited state. % % Parameters % mpsB = The ground state MPS % mpoX = The operator (if any) 38 Appendix B. MATLAB Code % mpsA = The MPS to calculate % N = The number of spins % D = The bond length % % Returns % Cstorage = The tensor network used to % store the information % ------------------------------------------Cstorage=cell(1,N+1); idD=eye(D); idid=kron(idD,idD); idid=reshape(idid,[D 1 D D 1 D]); Cstorage{1}=idid; Cstorage{N+1}=idid; for i=N:-1:2 if isempty(mpoX), X=[]; else X=mpoX{i}; end Cstorage{i}=updateCright(Cstorage{i+1},mpsB{i},X,mpsA{i}); end Program B.6 (Modified from [11]) function [Hstorage]=initHstorage(mps,hset,d,D) % ------------------------------------------% [Hstorage]=initHstorage(mps,hset,d,D) % % Initializes storage necessary to compute Heff % % Parameters % mps = The MPS to calculate % hset = The Hamiltonian % d = The spin dimension % D = The bond length % % Returns % Hstorage = The tensor network used to % store the information % ------------------------------------------[M,N]=size(hset); Hstorage=cell(M,N+1); idD=eye(D); idid=kron(idD,idD); idid=reshape(idid,[D 1 D D 1 D]); 39 Appendix B. MATLAB Code for m=1:M, Hstorage{m,1}=idid; Hstorage{m,N+1}=idid; end for j=N:-1:2 for m=1:M h=reshape(hset{m,j},[1,1,d,d]); Hstorage{m,j}=updateCright(Hstorage{m,j+1},mps{j},h,mps{j}); end end Program B.7 (Written by Matthew Low) function [Nstorage]=initNstorage(mps,N,d,D) % ------------------------------------------% [Nstorage]=initNstorage(mps,N,d,D) % % Initializes storage necessary to compute Neff % % Parameters % mps = The MPS to calculate % N = The number of spins % d = The spin dimension % D = The bond length % % Returns % Nstorage = The tensor network used to % store the information % ------------------------------------------Nstorage=cell(1,N+1); idD=eye(D); idid=kron(idD,idD); idid=reshape(idid,[D 1 D D 1 D]); id=eye(d); id=reshape(id,[1,1,d,d]); Nstorage{1}=idid; Nstorage{N+1}=idid; for j=N:-1:2 Nstorage{j}=updateCright(Nstorage{j+1},mps{j},id,mps{j}); end 40 Appendix B. MATLAB Code Program B.8 (Written by Matthew Low) function isingProg(N,D,hs) % ------------------------------------------% isingProg(N,D,hs) % % Computes the economical singular value % decomposition of the matrix T. % % Parameters % N = The number of spins % D = Schmidt number approximation % hs = Values of the field h % ------------------------------------------% Initiliaze variables hlen=length(hs); e0s=zeros(1,hlen); e1s=zeros(1,hlen); ex0s=zeros(1,hlen); ex1s=zeros(1,hlen); % % % % mx0s=zeros(1,hlen); my0s=zeros(1,hlen); mz0s=zeros(1,hlen); % Magnetizations in x-direction % Magnetizations in y-direction % Magnetizations in z-direction rlen=floor(N/2); cxx_ir=zeros(rlen,hlen); cyy_ir=zeros(rlen,hlen); czz_ir=zeros(rlen,hlen); % Correlation function: C_xx(r) % Correlation function: C_yy(r) % Correlation function: C_zz(r) cxx_i=zeros(rlen,hlen); cyy_i=zeros(rlen,hlen); czz_i=zeros(rlen,hlen); % Correlation function: C_xx(r) % Correlation function: C_yy(r) % Correlation function: C_zz(r) cxx_r=zeros(rlen,hlen); cyy_r=zeros(rlen,hlen); czz_r=zeros(rlen,hlen); % Correlation function: C_xx(r) % Correlation function: C_yy(r) % Correlation function: C_zz(r) ts=zeros(1,hlen); tsum=0; % Time per computation Ground state energies First excited state energies Exact ground state energies Exact first excited state energies fprintf(’---- Summary ----\n’); fprintf(’ N = %g\n D = %g\n Range : %g -> %g\n’,N,D,min(hs),max(hs)); 41 Appendix B. MATLAB Code % Initialize variables to compute sx=[0,1;1,0]; sy=[0,-1i;1i,0]; sz=[1,0;0,-1]; id=eye(2); mxset=cell(N,N); % myset=cell(N,N); % mzset=cell(N,N); % <Mx> <My> <Mz> cxxset_ir=cell(1,rlen); cyyset_ir=cell(1,rlen); czzset_ir=cell(1,rlen); cxxset_i=cell(1,rlen); cyyset_i=cell(1,rlen); czzset_i=cell(1,rlen); cxxset_r=cell(1,rlen); cyyset_r=cell(1,rlen); czzset_r=cell(1,rlen); <Sx_i Sx_i+r> <Sy_i Sy_i+r> <Sz_i Sz_i+r> <Sx_i> <Sy_i> <Sz_i> <Sx_i+r> <Sy_i+r> <Sz_i+r> for j=1:rlen cxxset_ir{j}=cell(N,N); czzset_ir{j}=cell(N,N); cyyset_i{j}=cell(N,N); cxxset_r{j}=cell(N,N); czzset_r{j}=cell(N,N); end % % % % % % % % % magnetizations and correlations cyyset_ir{j}=cell(N,N); cxxset_i{j}=cell(N,N); czzset_i{j}=cell(N,N); cyyset_r{j}=cell(N,N); for j=1:N for k=1:N mxset{j,k}=id; myset{j,k}=id; mzset{j,k}=id; for l=1:rlen cxxset_ir{l}{j,k}=id; cyyset_ir{l}{j,k}=id; czzset_ir{l}{j,k}=id; cxxset_i{l}{j,k}=id; cyyset_i{l}{j,k}=id; czzset_i{l}{j,k}=id; cxxset_r{l}{j,k}=id; cyyset_r{l}{j,k}=id; czzset_r{l}{j,k}=id; end end mxset{j,j}=sx; myset{j,j}=sy; mzset{j,j}=sz; for k=1:rlen cxxset_ir{k}{j,j}=sx; cxxset_ir{k}{j,mod(j+k-1,N)+1}=sx; cyyset_ir{k}{j,j}=sy; cyyset_ir{k}{j,mod(j+k-1,N)+1}=sy; czzset_ir{k}{j,j}=sz; czzset_ir{k}{j,mod(j+k-1,N)+1}=sz; cxxset_i{k}{j,j}=sx; cxxset_r{k}{j,mod(j+k-1,N)+1}=sx; cyyset_i{k}{j,j}=sy; cyyset_r{k}{j,mod(j+k-1,N)+1}=sy; czzset_i{k}{j,j}=sz; czzset_r{k}{j,mod(j+k-1,N)+1}=sz; end end 42 Appendix B. MATLAB Code % Calculate energies, magnetizations, and correlations for j=1:hlen tic; fprintf(’Step %g of %g\n’,j,hlen); [mps0, mps1, e0s(j), e1s(j)] = mpsIsing(N, D, hs(j)); ex0s(j) = exactIsing(1,hs(j),N,1); ex1s(j) = exactIsing(1,hs(j),N,0); fprintf(’Calculating magnetizations.\n’); mx0s(j) = expectationvalue(mps0,mxset)/N; my0s(j) = expectationvalue(mps0,myset)/N; mz0s(j) = expectationvalue(mps0,mzset)/N; for k=1:rlen fprintf(’Calculating correlations for r=%i.\n’,k); cxx_ir(k,j) = expectationvalue(mps0,cxxset_ir{k})/N; cyy_ir(k,j) = expectationvalue(mps0,cyyset_ir{k})/N; czz_ir(k,j) = expectationvalue(mps0,czzset_ir{k})/N; cxx_r(k,j) = expectationvalue(mps0,cxxset_r{k})/N; cyy_r(k,j) = expectationvalue(mps0,cyyset_r{k})/N; czz_r(k,j) = expectationvalue(mps0,czzset_r{k})/N; cxx_i(k,j) = expectationvalue(mps0,cxxset_i{k})/N; cyy_i(k,j) = expectationvalue(mps0,cyyset_i{k})/N; czz_i(k,j) = expectationvalue(mps0,czzset_i{k})/N; end ts(j)=toc; tsum=tsum+ts(j); fprintf(’Time = %g sec\n’,ts(j)); end % Save values to file fprintf(’Done. Writing to file.\n’); save(sprintf(’ising_files/ising_N%g_D%g’,N,D), ... ’hs’,’e0s’,’ex0s’,’e1s’,’ex1s’,’ts’,’N’,’D’, ... ’mx0s’,’my0s’,’mz0s’,’cxx_ir’,’cyy_ir’,’czz_ir’, ... ’cxx_i’,’cyy_i’,’czz_i’,’cxx_r’,’cyy_r’,’czz_r’); 43 Appendix B. MATLAB Code Program B.9 (Modified from [11]) function [E,mps]=minimizeE(hset,D,precision,mpsB) % ------------------------------------------% [E,mps]=minimizeE(hset,D,precision,mpsB) % % Computes the minimization sweep to find the % ground state or first excited state energy % and MPS. % % Parameters % mpsB = [] or the ground state MPS % hset = The Hamiltonian % precision = The spin dimension % D = The bond length % % Returns % E = The energy % mps = The MPS % ------------------------------------------[M,N]=size(hset); d=size(hset{1,1},1); mps=createrandommps(N,D,d); mps=prepare(mps); % Storage initialization Hstorage=initHstorage(mps,hset,d,D); Nstorage=initNstorage(mps,N,d,D); if ~isempty(mpsB), Cstorage=initCstorage(mps,[],mpsB,N,D); end P=[]; % Optimization sweeps while 1 Evalues=[]; % Sweep: 1 -> N-1 for j=1:(N-1) % Projector calculation if ~isempty(mpsB) B=mpsB{j}; Cleft=Cstorage{j}; Cright=Cstorage{j+1}; P=calcprojector_onesite(B,Cleft,Cright); 44 Appendix B. MATLAB Code end % Local minimization Hleft=Hstorage(:,j); Hright=Hstorage(:,j+1); Nleft=Nstorage{j}; Nright=Nstorage{j+1}; hsetj=hset(:,j); [A,E]=minimizeE_onesite(hsetj,Hleft,Hright,P,Nleft,Nright); [A,U]=prepare_onesite(A,’lr’); mps{j}=A; Evalues=[Evalues,E]; % Storage update for m=1:M h=reshape(hset{m,j},[1,1,d,d]); Hstorage{m,j+1}=updateCleft(Hleft{m},A,h,A); id=reshape(eye(d),[1,1,d,d]); Nstorage{j+1}=updateCleft(Nleft,A,id,A); end if ~isempty(mpsB) Cstorage{j+1}=updateCleft(Cleft,A,[],B); end end % Sweep: N -> 2 for j=N:(-1):2 % Projector calculation if ~isempty(mpsB) B=mpsB{j}; Cleft=Cstorage{j}; Cright=Cstorage{j+1}; P=calcprojector_onesite(B,Cleft,Cright); end % Local minimization Hleft=Hstorage(:,j); Hright=Hstorage(:,j+1); Nleft=Nstorage{j}; Nright=Nstorage{j+1}; hsetj=hset(:,j); [A,E]=minimizeE_onesite(hsetj,Hleft,Hright,P,Nleft,Nright); [A,U]=prepare_onesite(A,’rl’); mps{j}=A; Evalues=[Evalues,E]; 45 Appendix B. MATLAB Code % Storage update for m=1:M h=reshape(hset{m,j},[1,1,d,d]); Hstorage{m,j}=updateCright(Hright{m},A,h,A); id=reshape(eye(d),[1,1,d,d]); Nstorage{j}=updateCright(Nright,A,id,A); end if ~isempty(mpsB) Cstorage{j}=updateCright(Cright,A,[],B); end end % If energies are converging, complete MPS and return if (std(Evalues)/abs(mean(Evalues))<precision) mps{1}=contracttensors(mps{1},3,2,U,2,1); mps{1}=permute(mps{1},[1,3,2]); break; end end Program B.10 (Modified from [11]) function [A,E]=minimizeE_onesite(hsetj,Hleft,Hright,P,Nleft,Nright) % ------------------------------------------% [A,E]=minimizeE_onesite(hsetj,Hleft,Hright,P,Nleft,Nright) % % Computes the minimization sweep to find the % ground state or first excited state energy % and MPS. % % Parameters % hsetj = The Hamiltonian % Hleft = The left side of the Heff tensor % Hright = The right side of the Heff tensor % P = [] or the projector % Nleft = The left side of the Neff tensor % Nright = The right side of the Neff tensor % % Returns % A = Orthogonal MPS tensor % E = The energy % ------------------------------------------DAl=size(Hleft{1},1); 46 Appendix B. MATLAB Code DAr=size(Hright{1},1); d=size(hsetj{1},1); M=size(hsetj,1); id=eye(d); % Compute Heff Heff=0; for m=1:M Heffm=contracttensors(Hleft{m},6,[2,4,5,6],Hright{m},6,[2,4,5,6]); Heffm=contracttensors(Heffm,5,5,hsetj{m},3,3); Heffm=permute(Heffm,[1,3,5,2,4,6]); Heffm=reshape(Heffm,[DAl*DAr*d,DAl*DAr*d]); Heff=Heff+Heffm; end % Compute Neff Neff=contracttensors(Nleft,6,[2,4,5,6],Nright,6,[2,4,5,6]); Neff=contracttensors(Neff,5,5,id,3,3); Neff=permute(Neff,[1,3,5,2,4,6]); Neff=reshape(Neff,[DAl*DAr*d,DAl*DAr*d]); % Projection on orthogonal subspace to fs if ~isempty(P) Heff=P’*Heff*P; Neff=P’*Neff*P; end % Enforce hermiticity Neff=(Neff+Neff’)/2.0; Heff=(Heff+Heff’)/2.0; % Improve Neff conditioning tol=1e-10; [vs,ds]=eig(Neff); ds=diag(ds); for j=1:length(ds) if ds(j) >= tol ind=j-1; break; end end W=vs(:,1:ind); Q=orth([W,eye(size(W,1))]); P2=Q(:,ind+1:end); % Projection into well conditioned subspace 47 Appendix B. MATLAB Code Neff=P2’*Neff*P2; Heff=P2’*Heff*P2; % Enforce hermiticity Neff=(Neff+Neff’)/2.0; Heff=(Heff+Heff’)/2.0; % Optimization [vs ds]=eig(Heff,Neff); E=ds(1,1); A=vs(:,1); % Project back into original space A=P2*A; if ~isempty(P), A=P*A; end A=A/sqrt(A’*A); A=reshape(A,[DAl,DAr,d]); Program B.11 (Modified from [11]) function [mps0, mps1, E0, E1] = mpsIsing(N, D, h, precision) % ------------------------------------------% [mps0, mps1, E0, E1] = mpsIsing(N, D, h, precision) % % Computes the ground state and first excited state % of the Ising model given a field strength. % % Parameters % N = The number of spins % D = The bond length % h = The field strength % precision = The spin dimension % % Returns % mps0 = The ground state MPS % mps1 = The first excited state MPS % E0 = The ground state energy % E1 = The first excited state energy % ------------------------------------------% Pauli matrices sx=[0,1;1,0]; sy=[0,-1i;1i,0]; sz=[1,0;0,-1]; id=eye(2); % Define hamiltonian M=2*N; 48 Appendix B. MATLAB Code hset=cell(M,N); for m=1:M, for j=1:N, hset{m,j}=id; end; end for j=1:(N-1) hset{2*(j-1)+1,j}=-sx; hset{2*(j-1)+1,j+1}=sx; hset{2*(j-1)+2,j}=-h*sz; end hset{2*N-1,1}=-sx; hset{2*N-1,N}=sx; hset{2*N,N}=-h*sz; % Ground state energy randn(’state’,0) [E0,mps0]=minimizeE(hset,D,precision*1e-2,[]); % modified fprintf(’E0 = %g\n’,E0); % First excited state [E1,mps1]=minimizeE(hset,D,precision,mps0); fprintf(’E1 = %g\n’,E1); Program B.12 (Modified from [11]) function [mps]=prepare(mps,direction) % ------------------------------------------% [mps]=prepare(mps,direction) % % Prepares a MPS using gauge transformations such % that Neff is the identity for the first spin. % % Parameters % mps = The MPS to prepare % direction = ’lr’ or ’rl’ % % Returns % mps = The MPS % ------------------------------------------% Default preparation if nargin < 2 direction = ’rl’; end N=length(mps); switch direction case ’lr’ for i=1:N-1 [mps{i},U]=prepare_onesite(mps{i},’lr’); 49 Appendix B. MATLAB Code mps{i+1}=contracttensors(U,2,2,mps{i+1},3,1); end case ’rl’ for i=N:-1:2 [mps{i},U]=prepare_onesite(mps{i},’rl’); mps{i-1}=contracttensors(mps{i-1},3,2,U,2,1); mps{i-1}=permute(mps{i-1},[1,3,2]); end end Program B.13 (Modified from [11]) function [B,U,DB]=prepare_onesite(A,direction) % ------------------------------------------% [B,U,DB]=prepare_onesite(A,direction) % % Performs a singular value decomposition on % the tensor A. % % Parameters % A = The MPS tensor % direction = ’lr’ or ’rl’ % % Returns % B = Unitary tensor % U = Non-unitary % DB = The number of singular values % ------------------------------------------[D1,D2,d]=size(A); switch direction case ’lr’ A=permute(A,[3,1,2]); A=reshape(A,[d*D1,D2]); [B,S,U]=svd2(A); DB=size(S,1); B=reshape(B,[d,D1,DB]); B=permute(B,[2,3,1]); U=S*U; case ’rl’ A=permute(A,[1,3,2]); A=reshape(A,[D1,d*D2]); [U,S,B]=svd2(A); DB=size(S,1); B=reshape(B,[DB,d,D2]); B=permute(B,[1,3,2]); U=U*S; end 50 Appendix B. MATLAB Code Program B.14 (Modified from [11]) function [U,S,V]=svd2(T) % ------------------------------------------% [U,S,V]=svd2(T) % % Computes the economical singular value % decomposition of the matrix T. % % Parameters % T = A m-by-n matrix % % Returns % U = Orthogonal m-by-m matrix % S = Diagonal n-by-n matrix % V = Orthogonal n-by-n matrix % ------------------------------------------[m,n]=size(T); if m>=n % LR Case [U,S,V]=svd(T,0); else % RL Case [V,S,U]=svd(T’,0); end V=V’; N=sqrt(trace(S*S)); S=S/N; 51
- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Undergraduate Research /
- The Use of Matrix Product State Representations in...
Open Collections
UBC Undergraduate Research
The Use of Matrix Product State Representations in Simulating Many Body Quantum Systems Low, Matthew May 25, 2010
pdf
Page Metadata
Item Metadata
Title | The Use of Matrix Product State Representations in Simulating Many Body Quantum Systems |
Creator |
Low, Matthew |
Date Issued | 2010-05-25 |
Description | The classical simulation of many body quantum systems has long been of interest to both condensed matter and quantum information theorists. The use of matrix product state representations of the wavefunction allows suitable approximations to be made that permit quantum simulations to be performed in polynomial time rather than exponential in the size of the system. The numerical methods are based on a minimization algorithm that can be used to nd the ground state and rst excited state energies and their respective matrix product states. Using the matrix product states, other quantities such as magnetization and correlation can also be computed. In this thesis, the theory and numerical techniques necessary for these simulations are studied and applied to the one dimesional Ising model in a transverse eld. The results of the model are compared to the analytical solution and analyzed in depth. |
Genre |
Graduating Project |
Type |
Text |
Language | eng |
Series | University of British Columbia. PHYS 449 |
Date Available | 2010-06-10 |
Provider | Vancouver : University of British Columbia Library |
Rights | Attribution-NonCommercial-NoDerivatives 4.0 International |
DOI | 10.14288/1.0085964 |
URI | http://hdl.handle.net/2429/25544 |
Affiliation |
Science, Faculty of Physics and Astronomy, Department of |
Citation | Low, Matthew. 2010. The Use of Matrix Product State Representations in Simulating Many Body Quantum Systems. Undergraduate Honours Thesis. Department of Physics and Astronomy. University of British Columbia. |
Peer Review Status | Unreviewed |
Scholarly Level | Undergraduate |
Copyright Holder | Low, Matthew |
Rights URI | http://creativecommons.org/licenses/by-nc-nd/4.0/ |
Aggregated Source Repository | DSpace |
Download
- Media
- 52966-Low_Matthew_UBC_2010_Physics_449_Honours_Thesis.pdf [ 396.84kB ]
- Metadata
- JSON: 52966-1.0085964.json
- JSON-LD: 52966-1.0085964-ld.json
- RDF/XML (Pretty): 52966-1.0085964-rdf.xml
- RDF/JSON: 52966-1.0085964-rdf.json
- Turtle: 52966-1.0085964-turtle.txt
- N-Triples: 52966-1.0085964-rdf-ntriples.txt
- Original Record: 52966-1.0085964-source.json
- Full Text
- 52966-1.0085964-fulltext.txt
- Citation
- 52966-1.0085964.ris
Full Text
Cite
Citation Scheme:
Usage Statistics
Share
Embed
Customize your widget with the following options, then copy and paste the code below into the HTML
of your page to embed this item in your website.
<div id="ubcOpenCollectionsWidgetDisplay">
<script id="ubcOpenCollectionsWidget"
src="{[{embed.src}]}"
data-item="{[{embed.item}]}"
data-collection="{[{embed.collection}]}"
data-metadata="{[{embed.showMetadata}]}"
data-width="{[{embed.width}]}"
async >
</script>
</div>
Our image viewer uses the IIIF 2.0 standard.
To load this item in other compatible viewers, use this url:
http://iiif.library.ubc.ca/presentation/dsp.52966.1-0085964/manifest