Clifford Circuits Augmented Time-Dependent Variational Principle
Abstract
The recently proposed Clifford Circuits Augmented Matrix Product States (CA-MPS) (ar** process similar as in DMRG, aiming at reducing the entanglement entropy in the MPS, and the Hamiltonian is transformed accordingly using the chosen Clifford circuits. Similar as in CA-MPS, the Clifford circuits doesn’t increase the number of terms in the Hamiltonian which makes the overhead very small in the new method. We test this method in both XXZ chain and two dimensional Heisenberg model. The results show that the Clifford circuits augmented TDVP method can reduce the entanglement entropy in the time evolution process and hence makes the simulation reliable for longer time. The Clifford circuits augmented Time-Dependent Variational Principle provides a useful tool for the simulation of time evolution process of many-body systems in the future.
Introduction – Solving strongly correlated quantum many-body systems is one of the major challenges in modern physics, due to the exponential growth of the dimension of the underlying Hilbert space and the intricate quantum correlations involved. To deal with these challenges, powerful numerical methods were developed in the last decades [1]. Density Matrix Renormalization Group (DMRG) [2] and Matrix Product States (MPS) [3, 4, 5, 6, 7] provide a useful numerical framework for analyzing and simulating one-dimensional (1D) quantum many-body systems.
But the entanglement entropy encoded in MPS is bounded by ( is the bond dimension) which hampers the application of MPS to large two-dimensional (2D) systems, even though DMRG can now handle quite wider cylinders for spin systems [8, 9] by pushing the bond dimension to very large numbers, thanks to the improvement of algorithm efficiency and the increase of computational power. Recently, Clifford Circuits Augmented Matrix Product States (CA-MPS) [10] method was proposed to enhance the power of MPS in the simulation of many-body systems. The idea of augmenting MPS with other ingredients to enlarge the encoded entanglement was proposed in the development of Fully-augmented Matrix Product States (FA-MPS) [11], where general disentanglers (unitary transformation) are used to reduce the entanglement in the ground state of the studied system. In CA-MPS, MPS are augmented by a special group of disentanglers, i.e., Clifford circuits [12].
Clifford circuits are composed exclusively of Clifford gates (Hadamard, S, and Controlled-NOT gates) [12], which can be efficiently simulated on a classical computer according to the Gottesman-Knill theorem [13, 14, 15]. The states that can be prepared under these constraints are known as stabilizer states [16, 14, 15, 17, 13, 18], which can manifest significant entanglement yet remain simulatable. the Gottesman-Knill theorem serves as a compelling example, emphasizing that while entanglement is a vital quantum resource, its presence alone does not necessarily make a computational problem classically hard. The contribution of entanglement which can’t be captured by Clifford circuits are known as non-stabilizerness or “magic” [18, 16, 19, 20, 21, 22, 23, 24, 25, 26], which is the key for universal quantum computing.
Other than ground state simulation, the time evolution process of many-body systems provides more information about the studied system. But the time evolution simulation using MPS or other tensor network based methods is more challenging because the entanglement entropy usually increases linearly with the evolution time which means the required bond dimension for MPS increases exponentially even for 1D systems [27]. In this work, we attempt to generalize CA-MPS to the simulation of time evolution process of quantum many-body systems.
In the framework of Tensor Networks, time-evolving block decimation (TEBD) [28, 29] and the Time-Dependent Variational Principle (TDVP) [30, 31] are two common choices for time evolution simulations. We find that directly augmenting TEBD with Clifford circuits breaks the locality of the projection operators which prevents a simple implementation of the algorithm. But TDVP shares many similarities with DMRG and the augmenting of TDVP with Clifford circuits can be implemented quite straightforwardly, as we did in CA-MPS [10].
Another question we also want to answer in this work is whether the major contribution of entanglement growth in the time evolution of typical many-body systems comes from stabilizers or non-stabilizerness. If stabilizers dominate the entanglement growth, we anticipate that augmenting TDVP with Clifford circuits will be extremely useful and this new method can enable us to accurately simulate long-time evolution.
In the rest of this work, we discuss the details of the Clifford Circuits Augmented Time-Dependent Variational Principle (CA-TDVP) method. We also test the performance of CA-TDVP in both 1D and 2D systems. Our results seem to indicate that in the long-time evolution, the increase of entanglement entropy mainly comes from the contribution of non-stabilizerness. Nevertheless, we find that CA-TDVP can enable the simulation of evolution for a longer time than the TDVP with the same bond dimension.
Clifford Circuits Augmented Time-Dependent Variational Principle (CA-TDVP)– The most straightforward approach for simulating the time evolution of an initial state in the form of tensor network states, such as MPS, is through the Trotter decomposition of the time evolution operator , which transforms the Hamiltonian dynamics into a discrete quantum circuit composed of unitary gates acting locally between neighboring lattice sites in the system, making it particularly suitable for simulation within tensor network state framework. The well-known TEBD [28, 29] method belongs to this class, which efficiently manages real-time evolution by decomposing the global evolution into a sequence of local unitary gates.
However, directly augmenting TEBD with Clifford circuits breaks the locality of the projection operators, i.e., long-range interactions appear as in CA-MPS [10], which prevents a simple implementation of the algorithm. But another time evolution method, TDVP [30, 31], has proven to be a successful approach for handling long-range interactions. TDVP also shares many similarities with DMRG which makes the augmenting of TDVP with Clifford circuits straightforward. The implementation is quite similar to what we did previously in changing a DMRG code to implement CA-MPS.
The two-site TDVP method decomposes [30, 31] the short-time evolution of an MPS into a sweep process analogous to the DMRG algorithm. Specifically, in a left-to-right sweep, one deals with the effective Hamiltonians and . Here, the Hamiltonian has been rewritten as a sum of Pauli strings (): , are the so-called left and right environment for at site , is the Pauli matrix of at site and is the associated interaction strength of [3]. In two-site TDVP, we first update the local states associated with local tensors according to : . Then, we perform a Singular Value Decomposition (SVD) on to obtain the updated tensors , as well as the updated left environment . Finally, we update the local state associated with local tensor according to : . Swee** from to ( is the system size) evolves the system for a short time with a small error: .
Because the entanglement entropy in usually increases linearly with time , the TDVP procedure described above can’t simulate long-time evolution with a given bond dimension , resulting in a significant truncate error after several sweeps.
We can incorporate Clifford circuits to mitigate the entanglement [22, 32] in , as demonstrated in CA-MPS [10], thereby enabling longer time evolution simulations. Specifically, by applying a Clifford circuit , we obtain a new MPS state , where is less entangled than the original . To ensure that the physical observables remain unchanged, we need to introduce a corresponding transformation of the Hamiltonian, which can be efficiently performed using the stabilizer tableau formalism [13, 14, 15] (same transformation is also needed for physical observable operators). This can be understood from the fact that . This transformation ensures that the expectation values of the Hamiltonian are preserved in the new, less entangled MPS state .
Thus, the CA-TDVP method is performed as follows:
-
1.
Evolve the initial state according to the Hamiltonian by a time step to obtain using the two-site TDVP method.
-
2.
Apply Clifford circuits to to reduce its entanglement, resulting in a new state .
-
3.
Perform a transformation on the original Hamiltonian to obtain . Crucially, any observables we wish to measure must also undergo this transformation.
-
4.
Repeat step 1. Proceed the time evolution using the transformed Hamiltonian , starting from the new initial state .
An illustration of this process is shown in Fig. 1. In step 2, we perform a two-site swee** to choose the two-qubit Clifford circuits which minimize the entanglement entropy, from the possible gates [33, 34, 35], similarly as we did in [10]. We also tried to incorporate Clifford circuits in the SVD step in TDVP, but the results are not as good as the scheme we described above. The reason could be that the SVD step in TDVP is followed by a reversal evolution step, which is different from the SVD step in DMRG.
Results for XXZ chain – We first test the CA-TDVP method on the 1D XXZ model under open boundary conditions (OBC). The Hamiltonian of the model is defined as
(1) |
where and are the spin-1/2 operator on site .
Fig. 2 shows the results for a chain with length and . The time step in TDVP is set as . The initialed state is the Néel state . The local magnetization () at the center site and the half-chain entanglement entropy (EE) as a function of time are plotted. From Fig. 2 (a), we can find the reduction of entanglement entropy with Clifford circuits in CA-TDVP, compared to the TDVP results. For short-time CA-TDVP sweeps, the entanglement entropy is nearly reduced to zero, indicating that the short-time EE is primarily contributed by stabilizer. But the results also show the major contribution of entanglement growth in long-time evolution comes from the non-stabilizerness. In (b), we can see that with the same bond dimension , CA-TDVP can support longer time evolution than TDVP. To achieve the same accuracy, CA-TDVP only requires a bond dimension that is half or third of the bond dimension of TDVP.
Results for 2D Heisenberg model – We also test the CA-TDVP method on the 2D Heisenberg model, with Hamiltonian:
(2) |
where is the spin-1/2 operator on site , and the summations are taken over nearest-neighbor () pairs. Again, the initial state is set as a 2D Néel state . The TDVP time step is set as . Here, we consider a lattice with open boundary conditions. Fig. 3 shows the measured Néel order parameter and the entanglement entropy at the center bond as a function of evolution time . The 2D Heisenberg results are similar to the results for the XXZ chain in Fig. 2 but with a faster increase of entanglement entropy with time. The CA-TDVP is again able to achieve the same accuracy as TDVP with about half the bond dimension. For example, the CA-TDVP results with are comparable to those of TDVP with as shown in Fig. 3 (b). Interestingly, the increasing rate of the entanglement entropy over time in CA-TDVP is smaller than TDVP, which is contrary to the 1D part, where both CA-TDVP and TDVP’s results have the same increasing rate.
Discussion – From the CA-TDVP results of the 1D XXZ model and 2D Heisenberg model, we find that the reduced entanglement is not as significant as in the ground state simulation [10], which suggests that the increase of entanglement entropy in time evolution is mainly contributed by non-stabilizerness. However, the results of magnetization indicate that CA-TDVP allows for much longer simulation time compared to pure TDVP calculations. Since the reduction in entanglement is more pronounced for ground state simulations, one could use CA-TDVP to explore the quench dynamics of a quantum system [36, 37]. This involves suddenly changing the Hamiltonian and then studying the resulting dynamics. In such scenarios, the initial state is typically not a product state as we study in this work and CA-TDVP can offer substantial benefits during the initial TDVP sweeps, enabling even longer time simulations. One could also incorporate a small number of T gates [38, 24] into CA-TDVP, enabling a bounded increase of the number of terms in , further enhancing the performance of CA-TDVP.
Conclusion and Perspective – In this study, we generalize CA-MPS to CA-TDVP to investigate the time evolution process of quantum many-body systems. In CA-TDVP, Clifford circuits are applied to the resulting MPS in TDVP to reduce the entanglement entropy to enable longer time evolution. Our numerical tests on both the XXZ chain and the 2D Heisenberg mode shows the effectiveness of CA-TDVP. Even though the results indicate non-stabilizerness dominates the entanglement increase in time evolution, CA-TDVP can reduce the bond dimension by almost a half to achieve the same accuracy as pure TDVP. An interesting relaved direction is the application of CA-TDVP to the finite temperature simulation, where imaginary instead of real-time evolution is performed [39, 40, 41]. We are now in the process of testing the performance of CA-TDVP in finite temperature simulations.
Note added: We thank the authors of [42] for sharing with us the preprint of [42] before it was posted on arXiv. In [42], a similar idea of augmenting TDVP with Clifford circuits is also proposed. A minor difference is that we use the 2-site TDVP while 1-site TDVP was adopted in [42].
Acknowledgements.
Acknowledgments: The calculation in this work is carried out with TensorKit [43]. The computation in this paper were run on the Siyuan-1 cluster supported by the Center for High Performance Computing at Shanghai Jiao Tong University. MQ acknowledges the support from the National Natural Science Foundation of China (Grant No. 12274290), the Innovation Program for Quantum Science and Technology (2021ZD0301902), and the sponsorship from Yangyang Development Fund.References
- LeBlanc et al. [2015] J. P. F. LeBlanc, A. E. Antipov, F. Becca, I. W. Bulik, G. K.-L. Chan, C.-M. Chung, Y. Deng, M. Ferrero, T. M. Henderson, C. A. Jiménez-Hoyos, E. Kozik, X.-W. Liu, A. J. Millis, N. V. Prokofév, M. Qin, G. E. Scuseria, H. Shi, B. V. Svistunov, L. F. Tocchio, I. S. Tupitsyn, S. R. White, S. Zhang, B.-X. Zheng, Z. Zhu, and E. Gull (Simons Collaboration on the Many-Electron Problem), Solutions of the two-dimensional hubbard model: Benchmarks and results from a wide range of numerical algorithms, Phys. Rev. X 5, 041041 (2015).
- White [1992] S. R. White, Density matrix formulation for quantum renormalization groups, Phys. Rev. Lett. 69, 2863 (1992).
- Schollwöck [2005] U. Schollwöck, The density-matrix renormalization group, Rev. Mod. Phys. 77, 259 (2005).
- Fannes et al. [1992] M. Fannes, B. Nachtergaele, and R. F. Werner, Finitely correlated states on quantum spin chains, Communications in Mathematical Physics 144, 443 (1992).
- Perez-Garcia et al. [2007] D. Perez-Garcia, F. Verstraete, M. M. Wolf, and J. I. Cirac, Matrix product state representations, Quantum Info. Comput. 7, 401–430 (2007).
- Schollwöck [2011] U. Schollwöck, The density-matrix renormalization group in the age of matrix product states, Annals of Physics 326, 96 (2011), january 2011 Special Issue.
- Cirac et al. [2021] J. I. Cirac, D. Pérez-García, N. Schuch, and F. Verstraete, Matrix product states and projected entangled pair states: Concepts, symmetries, theorems, Rev. Mod. Phys. 93, 045003 (2021).
- Qian and Qin [2024] X. Qian and M. Qin, Absence of spin liquid phase in the heisenberg model on the square lattice, Phys. Rev. B 109, L161103 (2024).
- Huang et al. [2024] J. Huang, X. Qian, and M. Qin, Is the valence bond solid state in - square lattice heisenberg model plaquette or columnar? (2024), arXiv:2406.17417 [cond-mat.str-el] .
- Qian et al. [2024] X. Qian, J. Huang, and M. Qin, Augmenting density matrix renormalization group with clifford circuits (2024), arXiv:2405.09217 [cond-mat.str-el] .
- Qian and Qin [2023] X. Qian and M. Qin, Augmenting density matrix renormalization group with disentanglers, Chinese Physics Letters 40, 057102 (2023).
- Nielsen and Chuang [2010] M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information: 10th Anniversary Edition (Cambridge University Press, 2010).
- Gottesman [1997] D. Gottesman, Stabilizer codes and quantum error correction (1997), arXiv:quant-ph/9705052 [quant-ph] .
- Aaronson and Gottesman [2004] S. Aaronson and D. Gottesman, Improved simulation of stabilizer circuits, Phys. Rev. A 70, 052328 (2004).
- Anders and Briegel [2006] S. Anders and H. J. Briegel, Fast simulation of stabilizer circuits using a graph-state representation, Phys. Rev. A 73, 022334 (2006).
- Lami and Collura [2024] G. Lami and M. Collura, Learning the stabilizer group of a matrix product state (2024), arXiv:2401.16481 [quant-ph] .
- Sun et al. [2024] J. Sun, L. Cheng, and S.-X. Zhang, Stabilizer ground states: theory, algorithms and applications (2024), arXiv:2403.08441 [quant-ph] .
- Leone et al. [2022] L. Leone, S. F. E. Oliviero, and A. Hamma, Stabilizer rényi entropy, Phys. Rev. Lett. 128, 050402 (2022).
- Tarabunga et al. [2024] P. S. Tarabunga, E. Tirrito, M. C. Bañuls, and M. Dalmonte, Nonstabilizerness via matrix product states in the pauli basis (2024), arXiv:2401.16498 [quant-ph] .
- Lami and Collura [2023] G. Lami and M. Collura, Nonstabilizerness via perfect pauli sampling of matrix product states, Phys. Rev. Lett. 131, 180401 (2023).
- Frau et al. [2024] M. Frau, P. S. Tarabunga, M. Collura, M. Dalmonte, and E. Tirrito, Non-stabilizerness versus entanglement in matrix product states (2024), arXiv:2404.18768 [quant-ph] .
- Chamon et al. [2014] C. Chamon, A. Hamma, and E. R. Mucciolo, Emergent irreversibility and entanglement spectrum statistics, Phys. Rev. Lett. 112, 240501 (2014).
- Liu and Winter [2022] Z.-W. Liu and A. Winter, Many-body quantum magic, PRX Quantum 3, 020333 (2022).
- Bravyi and Kitaev [2005] S. Bravyi and A. Kitaev, Universal quantum computation with ideal clifford gates and noisy ancillas, Phys. Rev. A 71, 022316 (2005).
- Ahmadi and Greplova [2024] A. Ahmadi and E. Greplova, Quantifying non-stabilizerness via information scrambling, SciPost Phys. 16, 043 (2024).
- Masot-Llima and Garcia-Saez [2024] S. Masot-Llima and A. Garcia-Saez, Stabilizer tensor networks: universal quantum simulator on a basis of stabilizer states (2024), arXiv:2403.08724 [quant-ph] .
- Paeckel et al. [2019] S. Paeckel, T. Köhler, A. Swoboda, S. R. Manmana, U. Schollwöck, and C. Hubig, Time-evolution methods for matrix-product states, Annals of Physics 411, 167998 (2019).
- Vidal [2004] G. Vidal, Efficient simulation of one-dimensional quantum many-body systems, Phys. Rev. Lett. 93, 040502 (2004).
- Daley et al. [2004] A. J. Daley, C. Kollath, U. Schollwöck, and G. Vidal, Time-dependent density-matrix renormalization-group using adaptive effective hilbert spaces, Journal of Statistical Mechanics: Theory and Experiment 2004, P04005 (2004).
- Haegeman et al. [2011] J. Haegeman, J. I. Cirac, T. J. Osborne, I. Pižorn, H. Verschelde, and F. Verstraete, Time-dependent variational principle for quantum lattices, Phys. Rev. Lett. 107, 070601 (2011).
- Haegeman et al. [2016] J. Haegeman, C. Lubich, I. Oseledets, B. Vandereycken, and F. Verstraete, Unifying time evolution and optimization with matrix product states, Phys. Rev. B 94, 165116 (2016).
- Shaffer et al. [2014] D. Shaffer, C. Chamon, A. Hamma, and E. R. Mucciolo, Irreversibility and entanglement spectrum statistics in quantum circuits, Journal of Statistical Mechanics: Theory and Experiment 2014, P12007 (2014).
- Koenig and Smolin [2014] R. Koenig and J. A. Smolin, How to efficiently select an arbitrary Clifford group element, Journal of Mathematical Physics 55, 122202 (2014).
- Li et al. [2019] Y. Li, X. Chen, and M. P. A. Fisher, Measurement-driven entanglement transition in hybrid quantum circuits, Phys. Rev. B 100, 134306 (2019).
- Córcoles et al. [2013] A. D. Córcoles, J. M. Gambetta, J. M. Chow, J. A. Smolin, M. Ware, J. Strand, B. L. T. Plourde, and M. Steffen, Process verification of two-qubit quantum gates by randomized benchmarking, Phys. Rev. A 87, 030301 (2013).
- Kormos et al. [2017] M. Kormos, M. Collura, G. Takács, and P. Calabrese, Real-time confinement following a quantum quench to a non-integrable model, Nature Physics 13, 246 (2017), arXiv:1604.03571 [cond-mat.stat-mech] .
- Schachenmayer et al. [2013] J. Schachenmayer, B. P. Lanyon, C. F. Roos, and A. J. Daley, Entanglement growth in quench dynamics with variable range interactions, Phys. Rev. X 3, 031015 (2013).
- Leone et al. [2024] L. Leone, S. F. E. Oliviero, and A. Hamma, Learning t-doped stabilizer states, Quantum 8, 1361 (2024).
- Li et al. [2023] Q. Li, Y. Gao, Y.-Y. He, Y. Qi, B.-B. Chen, and W. Li, Tangent space approach for thermal tensor network simulations of the 2d hubbard model, Phys. Rev. Lett. 130, 226502 (2023).
- Lihm and Park [2021] J.-M. Lihm and C.-H. Park, Gaussian time-dependent variational principle for the finite-temperature anharmonic lattice dynamics, Phys. Rev. Res. 3, L032017 (2021).
- Dunnett and Chin [2021] A. J. Dunnett and A. W. Chin, Efficient bond-adaptive approach for finite-temperature open quantum dynamics using the one-site time-dependent variational principle for matrix product states, Phys. Rev. B 104, 214302 (2021).
- Mello et al. [2024] A. F. Mello, A. Santini, G. Lami, J. D. Nardis, and M. Collura, Clifford dressed time-dependent variational principle (2024), arXiv:2407.01692 [quant-ph] .
- [43] J. Haegeman, The SU(2) symmetry code is developed with TensorKit package at https://github.com/Jutho/TensorKit.jl.