Abstract
We propose a method to simulate the real time evolution of one-dimensional quantum many-body systems at finite temperature by expressing both the density matrices and the observables as matrix product states. This allows the calculation of expectation values and correlation functions as scalar products in operator space. The simulations of density matrices in inverse temperature and the local operators in the Heisenberg picture are independent and result in a grid of expectation values for all intermediate temperatures and times. Simulations can be performed using real arithmetics with only polynomial growth of computational resources in inverse temperature and time for integrable systems. The method is illustrated for the XXZ model and the single impurity Anderson model.
Export citation and abstract BibTeX RIS
Content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.
1. Introduction
The simulation of strongly interacting quantum many-body systems is, in general, a computationally difficult task. Even in the case of one-dimensional quantum systems with finite range interactions, where ground state properties have become readily accessible using the density matrix renormalization group (DMRG) algorithm [1], accessing the dynamics remains hard. While the matrix product states (MPSs) [2–4] that are at the core of DMRG manage to describe the ground states due to their weak entanglement [5, 6], the entanglement increases in the real time evolution [3, 5, 7, 8] making the study of dynamics computationally challenging even for pure states.
Even harder is dynamics at finite temperatures. MPS-based methods operate on the level of wave functions. Systems at thermal equilibrium, described by a mixture of quantum states, thus need to be purified by being described as a pure state in an enlarged system, consisting of the system and an auxiliary environment. The simulation is then performed on this purified system [4, 9] and by tracing over the degrees of freedom of the environment, the properties of the original system are obtained. This idea was first implemented in [4, 10] for density matrices of thermal quantum systems and systems far from equilibrium. The same concept was used in the simulation of dynamical properties of thermal systems, where the real time evolution was computed on the level of the purified system and the density operator for the original system was obtained by tracing over the environment [11, 12].
A disadvantage of these purification-based approaches is that they require additional information on the environment, and especially on its dynamics. In general, these methods are accompanied by an exponential growth of computational resources with time and elaborate procedures are required to control the fast growth of entanglement. Recent advances in the application to the XXZ model have shown that a smart choice of the environmental dynamics can significantly extend the accessible simulation times [13]. However, the question of the optimal environment and its dynamics is still open. Even finding a good choice of the environmental dynamics requires deep knowledge of the system and is far from being straightforward.
Here we propose an alternative strategy, based on operator space concepts and MPSs. Similarly to the purification approach, we describe the density matrices as many-body states; however, our states are not superpositions of quantum states but superpositions of operators [10, 14]. In the same way we also describe the observables and their dynamics, known as the time-dependent DMRG in the Heisenberg picture [14, 15]. An operator space approach was used in [16], however, still retaining the exponential growth of computational costs. The key feature of our approach is the combination of both concepts where the expectation value of an observable at a given time and temperature is calculated as a scalar product of two vectors in the operator space, one representing the density matrix and the other the real time evolution of an operator. This way, the simulation of density matrices and the real time evolution of operators are decoupled and can be performed independently such that only two simulations are sufficient to calculate a grid of expectation values at various intermediate (inverse) temperatures and times.
The computational costs to simulate the density matrices grow polynomially in time due to a low degree of correlation at thermal equilibrium [17], although such description has mostly been used to simulate systems far from the equilibrium [18]. Similarly, the simulation of local operators also exhibits polynomial growth of resources [14] for integrable systems. This corresponds to a logarithmic growth of the operator space equivalent of the entanglement entropy (OSEE) [19], which is reminiscent of the situation in a pure-state local quantum quench [20, 21]. Our method can therefore be used to simulate the real time evolution of local operators in integrable quantum systems in polynomial time.
2. Methods
Let us consider a quantum system of n sites with a Hilbert space . The expectation value of an operator in a mixed state described by a density matrix ρ, is given by with . Like the operator a, the density matrix is also a linear map over and these maps form the operator space algebra with an inner product . The expectation value of a can thus be given as
where the bracket notation is used when referring to and corresponds to the fully mixed state (the identity). In thermal equilibrium for inverse temperature , the expectation values are given by using as the density matrix whereas the time evolution of equation (1) is obtained by replacing a by the Heisenberg operator . Clearly, the simulations for and a(t) can be done independently.
The density matrices are obtained by the imaginary time evolution, starting from the infinite temperature equilibrium state . By defining a map over the operator space, , which left-multiplies an operator by H, i.e., , the density matrix becomes
Similarly, the Heisenberg evolution can be simulated by introducing a linear map defined as for . It was shown [19] that the Heisenberg evolution is hence transformed to the Schrödinger evolution in the operator space
Both and have the same form and the same range of interactions as H, if the basis for is local (see appendix
Let us now define a suitable basis for . While any basis could in principle be used, it is advantageous to choose a basis given by direct products of local basis operators pertaining to the site j, as . These operators are chosen such that they form an orthonormal set. A suitable choice for depends on the type of simulation and a different choice can be made for the thermal (2) and the real time evolution (3). For the former, the map , represented by , is real if are real, which in turn allows us to simulate the thermal density matrices (2) with real arithmetics.
For the real time evolution (3), where is represented by a matrix , a different choice for is made to maintain the formulation in real arithmetics. If , then and is represented by a Hermitian skew-symmetric matrix. Together with the imaginary unit in the exponent of (3), the Heisenberg evolution is generated by a real valued map. Finally, due to different operator space bases used in the thermal and the Heisenberg evolution, the calculation of expectation values must be preceded by a basis transformation, which in our case is a product operator and has no significant effects on the computational costs.
For reference we list a few typical operator space bases. In the case of spin- models, spinless fermions or hard core bosons, the basis is given by the products of Pauli matrices for . This basis is Hermitian and thus suitable for the real time evolution, whereas the thermal evolution is done using a real local basis . The local basis for spin-1 systems is provided by Gell–Mann matrices, whereas for spin- it can be chosen as . In all cases, the local basis is Hermitian and its real representation can be found in a straightforward way.
Let us now focus on the MPS ansatz for the operators. For simplicity we shall assume a spin- model, although the results are readily generalized to any many-body quantum system with a local dimension d. The operators form the basis set and is given in terms of an MPS [14]
with real matrices of dimension at most D×D (see e.g., [4]) where D is the bond dimension. The evolutions (2) and (3) are simulated using the Suzuki–Trotter decomposition and local updates of the MPS, known as the time dependent DMRG algorithm [5–8], which is particularly efficient when H contains at most nearest-neighbor interactions.
The thermal expectation value given by (1) is obtained by combining the independent simulations (2) and (3). Using the same principles, we can simulate where a(t) and b are MPS, by constructing a matrix product operator . The result is given by which in the MPS language corresponds to calculating an expectation value. Similarly is obtained.
3. Results
The method proposed here can be used to simulate the real time evolution of a wide range of models at finite temperature, for local operators such as the spin projection at a given site, a local current, or correlations of local operators (e.g., Greenʼs functions). We start by analyzing the complexity of both constituents of the method, the evolution of the density matrices and the time evolution of operators in the Heisenberg picture. We quantify the complexity in terms of the OSEE [19] which is an operator space analogue of the entanglement entropy for quantum states, defined as for . The bipartition is chosen symmetrically and thus the environment E in the partial trace includes half of the system. The effective bond dimension then scales as with the OSEE. For density matrices, it was also observed [17] that the OSEE is related to the quantum mutual information which quantifies the total correlations between two parts of the system.
We first consider a spin- XXZ model with open boundary conditions described by the Hamiltonian
where is the anisotropy parameter. The OSEE of the initial state is zero (the fully mixed state is separable). As shown in figure 1 (left), we observe logarithmic growth of the OSEE in the inverse temperature [17]. Furthermore, we simulate the Heisenberg evolution (3) of the spin current flowing between sites m and , , with for . The results in figure 1 (right) show the logarithmic growth of OSEE which is an extension of the results in [14]. Similar to the evolution of density matrices, we observe an increase of OSEE for larger anisotropies where the simulation is more expensive. The logarithmic growth of OSEE corresponds to polynomial growth of the bond dimension [14, 19] and the simulation can be performed efficiently. We note that the computational cost is expected to grow exponentially [14] for non-integrable systems, as in other similar methods.
The simulation of the density matrices and the local operators can now be used to calculate e.g., the spin current correlation function . The results are shown in figure 2, with an inverse temperature . The infinite-time limit of these current-correlations yields the Drude weight which can be used to signal ballistic transport in various integrable models, see [22]. For the XXZ chain similar results were obtained in [13, 23, 24], however, a detailed discussion is beyond the scope of this manuscript and will be presented elsewhere. When compared to [13] (with our time scale multiplied by a factor of four due to the spin operators) we observe, on one hand, that the reachable times are approximately twice as large in the gapped regime ( in figure 2) with a maximal bond dimension D = 1000. On the other hand, the computation in the gapless regime, , is less demanding and the curves obtained with a smaller bond dimension D = 800 are essentially indistinguishable in figure 2. This is in complete agreement with the picture obtained from the OSEE scaling. In turn, for small the simulation can be pushed beyond the time scale shown in figure 2, similarly to [13].
Download figure:
Standard image High-resolution imageAs another illustration of the method we calculate the Greenʼs functions of the single impurity Anderson model which can be mapped [25, 26] to an XXZ-like model
with and the interaction strength U. The hopping parameters are given by the hybridization whereas the rest of are determined from the discretization of the bath (and ), see [26] for details. The interaction term is only present between sites 0 and 1 (corresponding to spin- and spin- of the impurity) which allows longer acessible times and lower temperatures. We simulate the single particle Greenʼs function where is the annihilation operator at the impurity for spin-, written as due to Jordan–Wigner transformation. Despite the nonlocality, the Heisenberg evolution of this operator can be simulated efficiently [14, 19]. We actually simulate Majorana operators and which are Hermitian and allow the simulation in the real arithmetics. The results for the imaginary part of the Greenʼs function, shown in figure 3, can be used to calculate the spectral functions (see e.g., [27–29]) by means of a Fourier transform, which will be presented in detail elsewhere.
Download figure:
Standard image High-resolution image4. Conclusions
We have proposed a tensor network method to simulate the real time dynamics of one-dimensional quantum many-body systems at finite temperatures. The main advantage of the method is that it decouples the real time evolution from the imaginary evolution in the inverse temperature such that two independent simulations give the results for all combinations of temperature and time. Furthermore, the simulations are done in real arithmetics. The method is most useful for integrable systems where the costs grow polynomially, and systems close to the integrability where the asymptotic exponential growth only appears at later times. The method can also be used to study nonequilibrium impurity physics [30], in particular the current–voltage characteristics of strongly correlated nanostructures in the nonlinear response regime. The proposed framework can be extended to two-dimensional systems described in terms of projected entangled pair states [31] (see appendix
Acknowledgments
We thank F Verstraete, Lei Wang and C Karrasch for valuable discussions and F Heidrich-Meisner, T Prosen and M Žnidarič for their comments on the manuscript. IP acknowledges the collaboration on related projects with T Prosen and M Žnidarič. SA and VE thank M Rams and B Terhal for discussions. This work was supported by the Swiss National Science Foundation through the NCCR QSIT, by the European Research Council through ERC grants QUERG and SIMCOFE and by SFB ViCoM (FWF project ID F4104). Simulations were run on the Brutus cluster at ETH Zurich and on the Vienna Scientific Cluster.
Appendix A.: Algorithm
In table A.1 we present an algorithm to simulate the real time evolution at finite temperatures. In particular, we explain how to generate the super operators and for a one-dimensional system of n sites with a local dimension d and a Hamiltonian operator H. Let us first decompose the Hamiltonian into a sum of local product operators
where are local operators of dimension and are two-site operators of dimension . The local Hilbert space for one site is generated by a set of Gell–Mann matrices of dimension where is the identity. The super operators and are defined as and .
Table A.1. Practical algorithm to simulate a time correlation function at an inverse temperature β.
Practical algorithm for the calculation of |
---|
(i) Assume a one-dimensional system of n sites with a local dimension d and Hamiltonian H of the form (A.1) |
(ii) Set up Gell–Mann matrices |
(iii) Construct super-maps and |
(iv) Construct an MPS representation of the the unit |
(v) Construct an MPS representation for the initial operator |
(vi) Simulate using tDMRG and save for various inverse temperatures β |
(vii) Simulate using tDMRG and save for various times t |
(viii) Construct from b such that (in the same way as from H) |
(ix) For all t and β, calculate and |
The thermal super-map thus contains the same number of product operators as the Hamiltonian
where single-site terms are transformed to matrices
and the two-site terms to tensors
The super-map contains twice as many local terms as the Hamiltonian operator (due to the commutator), namely
The single-site terms are obtained as
and
and similarly for the two-site terms.
Note that we can and we should (to work in real arithmetics) use a different basis set for and , real matrices for the former and Hermitian for the latter.
The transformation from the Hamiltonian to and can thus be treated as a black-box routine, providing the 'Hamiltonian operators' which can be used in an imaginary (thermal) and a real (Heisenberg picture) time evolution—using an existing implementation of the time-dependent DMRG algorithm (tDMRG) [5].
Appendix B.: Two-dimensional systems with PEPS
Here we briefly sketch how the method can be extended to two-dimensional systems. In principle, the method can already be used for small two-dimensional systems as is, represented by a matrix product state in a snake-like structure [1, 5] which gives remarkably accurate results for the ground states, see e.g., [32] for a recent study. However, for more extended two-dimensional systems the preferred description is given in terms of projected entangled pair states (PEPS) [31]. Here we show how our method can be used with PEPS. For simplicity we assume a spin- quantum system on a rectangular lattice. Any operator can be written as a superposition of basis operators
for and the corresponding elements of the operator space can be represented by a PEPS-Ansatz,
The trace in (B.1) must be understood as a tensor trace, for details on PEPS see [31]. The operator a is now represented in terms of rank-4 tensors where , are the dimensions of the bonds connecting the site to the neighboring sites (left, up, down, right), respectively.
The method proposed in the main text can now be used exactly in the same way as in the one-dimensional case, by operating on PEPS instead of MPS. The super-maps and are identical to the one-dimensional case and generate the evolution in the Heisenberg picture
and the thermal evolution of the density matrix
The only difference to the one-dimensional case is that the computation with PEPS is significantly more expensive and an accurate description might require a considerably increased computational effort. In particular, the complexity of the real time evolution scales as (as opposed to for MPS). It is not clear at present whether the computational costs still scale polynomially in time like in the one-dimensional case, however, results from the ground state simulations are consistent with this conjecture.