thanks: [email protected]

Clifford Circuits Augmented Time-Dependent Variational Principle

Xiangjian Qian Key Laboratory of Artificial Structures and Quantum Control (Ministry of Education), School of Physics and Astronomy, Shanghai Jiao Tong University, Shanghai 200240, China    Jiale Huang Key Laboratory of Artificial Structures and Quantum Control (Ministry of Education), School of Physics and Astronomy, Shanghai Jiao Tong University, Shanghai 200240, China    Mingpu Qin Key Laboratory of Artificial Structures and Quantum Control (Ministry of Education), School of Physics and Astronomy, Shanghai Jiao Tong University, Shanghai 200240, China Hefei National Laboratory, Hefei 230088, China
(July 3, 2024)
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.

Refer to caption
Figure 1: The CA-TDVP method is divided into three successive steps: 1. Evolve the initial state |MPSketMPS|\text{MPS}\rangle| MPS ⟩ according to the Hamiltonian H𝐻Hitalic_H by a time step ΔtΔ𝑡\Delta troman_Δ italic_t to obtain |MPSΔtsubscriptketMPSΔ𝑡|\text{MPS}\rangle_{\Delta t}| MPS ⟩ start_POSTSUBSCRIPT roman_Δ italic_t end_POSTSUBSCRIPT using the two-site TDVP method. 2. Apply Clifford circuits 𝒞𝒞\mathcal{C}caligraphic_C to |MPSΔtsubscriptketMPSΔ𝑡|\text{MPS}\rangle_{\Delta t}| MPS ⟩ start_POSTSUBSCRIPT roman_Δ italic_t end_POSTSUBSCRIPT to reduce its entanglement, resulting in a new state |MPSnew𝒞|MPSΔtsubscriptketMPSnew𝒞subscriptketMPSΔ𝑡|\text{MPS}\rangle_{\text{new}}\approx\mathcal{C}|\text{MPS}\rangle_{\Delta t}| MPS ⟩ start_POSTSUBSCRIPT new end_POSTSUBSCRIPT ≈ caligraphic_C | MPS ⟩ start_POSTSUBSCRIPT roman_Δ italic_t end_POSTSUBSCRIPT. In this step, a two-site DMRG like swee** process is performed. 3. Perform a transformation on the original Hamiltonian to obtain H=𝒞H𝒞superscript𝐻𝒞𝐻superscript𝒞H^{\prime}=\mathcal{C}H\mathcal{C}^{\dagger}italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = caligraphic_C italic_H caligraphic_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT. Proceed the time evolution using the transformed Hamiltonian Hsuperscript𝐻H^{\prime}italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, starting from the new initial state |MPSnewsubscriptketMPSnew|\text{MPS}\rangle_{\text{new}}| MPS ⟩ start_POSTSUBSCRIPT new end_POSTSUBSCRIPT.

But the entanglement entropy encoded in MPS is bounded by log(D)𝐷\log(D)roman_log ( italic_D ) (D𝐷Ditalic_D 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 eiHΔtsuperscript𝑒𝑖𝐻Δ𝑡e^{-iH\Delta t}italic_e start_POSTSUPERSCRIPT - italic_i italic_H roman_Δ italic_t end_POSTSUPERSCRIPT, 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.

Refer to caption
Refer to caption
Figure 2: The CA-TDVP results for the 1D XXZ model. The Hamiltonian is shown in Eq. (1). The length of the chain is N=50𝑁50N=50italic_N = 50 and Δ=0.5Δ0.5\Delta=0.5roman_Δ = 0.5. The time step in TDVP is set as Δt=0.05Δ𝑡0.05\Delta t=0.05roman_Δ italic_t = 0.05. The initial state is set as the Néel state ||\uparrow\downarrow\uparrow\downarrow\cdots\uparrow\downarrow\uparrow\downarrow\rangle| ↑ ↓ ↑ ↓ ⋯ ↑ ↓ ↑ ↓ ⟩. Open boundary conditions are considered. (a) The half-chain entanglement entropy (EE) as a function of time t𝑡titalic_t. (b) The measured MzN/2superscriptsubscript𝑀𝑧𝑁2M_{z}^{N/2}italic_M start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N / 2 end_POSTSUPERSCRIPT at the center site as a function of time t𝑡titalic_t. From (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 D𝐷Ditalic_D, CA-TDVP can support longer time evolution than TDVP.

The two-site TDVP method decomposes [30, 31] the short-time evolution eiHΔtsuperscript𝑒𝑖𝐻Δ𝑡e^{-iH\Delta t}italic_e start_POSTSUPERSCRIPT - italic_i italic_H roman_Δ italic_t end_POSTSUPERSCRIPT 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 Heff=i=1maiAi,k1σi,kσi,k+1Bi,k+2subscript𝐻effsuperscriptsubscript𝑖1𝑚tensor-productsubscript𝑎𝑖subscript𝐴𝑖𝑘1subscript𝜎𝑖𝑘subscript𝜎𝑖𝑘1subscript𝐵𝑖𝑘2H_{\text{eff}}=\sum_{i=1}^{m}a_{i}A_{i,k-1}\otimes\sigma_{i,k}\otimes\sigma_{i% ,k+1}\otimes B_{i,k+2}italic_H start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_i , italic_k - 1 end_POSTSUBSCRIPT ⊗ italic_σ start_POSTSUBSCRIPT italic_i , italic_k end_POSTSUBSCRIPT ⊗ italic_σ start_POSTSUBSCRIPT italic_i , italic_k + 1 end_POSTSUBSCRIPT ⊗ italic_B start_POSTSUBSCRIPT italic_i , italic_k + 2 end_POSTSUBSCRIPT and Keff=i=1maiAi,kσi,k+1Bi,k+2subscript𝐾effsuperscriptsubscript𝑖1𝑚tensor-productsubscript𝑎𝑖subscript𝐴𝑖𝑘subscript𝜎𝑖𝑘1subscript𝐵𝑖𝑘2K_{\text{eff}}=\sum_{i=1}^{m}a_{i}A_{i,k}\otimes\sigma_{i,k+1}\otimes B_{i,k+2}italic_K start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_i , italic_k end_POSTSUBSCRIPT ⊗ italic_σ start_POSTSUBSCRIPT italic_i , italic_k + 1 end_POSTSUBSCRIPT ⊗ italic_B start_POSTSUBSCRIPT italic_i , italic_k + 2 end_POSTSUBSCRIPT. Here, the Hamiltonian has been rewritten as a sum of Pauli strings P=σ1σ2σN𝑃tensor-producttensor-productsubscript𝜎1subscript𝜎2subscript𝜎𝑁P=\sigma_{1}\otimes\sigma_{2}\cdots\otimes\sigma_{N}italic_P = italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⊗ italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⋯ ⊗ italic_σ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT (σi{I,σx,σy,σz}subscript𝜎𝑖𝐼superscript𝜎𝑥superscript𝜎𝑦superscript𝜎𝑧\sigma_{i}\in\{I,\sigma^{x},\sigma^{y},\sigma^{z}\}italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∈ { italic_I , italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT , italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT , italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT }): H=i=1maiPi𝐻superscriptsubscript𝑖1𝑚subscript𝑎𝑖subscript𝑃𝑖H=\sum_{i=1}^{m}a_{i}P_{i}italic_H = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, Ai,k,Bi,ksubscript𝐴𝑖𝑘subscript𝐵𝑖𝑘A_{i,k},B_{i,k}italic_A start_POSTSUBSCRIPT italic_i , italic_k end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT italic_i , italic_k end_POSTSUBSCRIPT are the so-called left and right environment for Pisubscript𝑃𝑖P_{i}italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT at site k𝑘kitalic_k, σi,ksubscript𝜎𝑖𝑘\sigma_{i,k}italic_σ start_POSTSUBSCRIPT italic_i , italic_k end_POSTSUBSCRIPT is the Pauli matrix of Pisubscript𝑃𝑖P_{i}italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT at site k𝑘kitalic_k and aisubscript𝑎𝑖a_{i}italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the associated interaction strength of Pisubscript𝑃𝑖P_{i}italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT [3]. In two-site TDVP, we first update the local states |ϕketitalic-ϕ|\phi\rangle| italic_ϕ ⟩ associated with local tensors Mk,Mk+1subscript𝑀𝑘subscript𝑀𝑘1M_{k},M_{k+1}italic_M start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_M start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT according to Heffsubscript𝐻effH_{\text{eff}}italic_H start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT: |ϕ:-eiHeffΔt|ϕ:-ketitalic-ϕsuperscript𝑒𝑖subscript𝐻effΔ𝑡ketitalic-ϕ|\phi\rangle\coloneq e^{-iH_{\text{eff}}\Delta t}|\phi\rangle| italic_ϕ ⟩ :- italic_e start_POSTSUPERSCRIPT - italic_i italic_H start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT roman_Δ italic_t end_POSTSUPERSCRIPT | italic_ϕ ⟩. Then, we perform a Singular Value Decomposition (SVD) on |ϕketitalic-ϕ|\phi\rangle| italic_ϕ ⟩ to obtain the updated tensors Mk,Mk+1subscript𝑀𝑘subscript𝑀k+1M_{k},M_{\text{k+1}}italic_M start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_M start_POSTSUBSCRIPT k+1 end_POSTSUBSCRIPT, as well as the updated left environment Ai,ksubscript𝐴𝑖𝑘A_{i,k}italic_A start_POSTSUBSCRIPT italic_i , italic_k end_POSTSUBSCRIPT. Finally, we update the local state |ψket𝜓|\psi\rangle| italic_ψ ⟩ associated with local tensor Mk+1subscript𝑀𝑘1M_{k+1}italic_M start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT according to Keffsubscript𝐾effK_{\text{eff}}italic_K start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT: |ψ:-eiKeffΔt|ψ:-ket𝜓superscript𝑒𝑖subscript𝐾effΔ𝑡ket𝜓|\psi\rangle\coloneq e^{iK_{\text{eff}}\Delta t}|\psi\rangle| italic_ψ ⟩ :- italic_e start_POSTSUPERSCRIPT italic_i italic_K start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT roman_Δ italic_t end_POSTSUPERSCRIPT | italic_ψ ⟩. Swee** from k=1𝑘1k=1italic_k = 1 to k=N𝑘𝑁k=Nitalic_k = italic_N (N𝑁Nitalic_N is the system size) evolves the system for a short time ΔtΔ𝑡\Delta troman_Δ italic_t with a small error: |MPSΔteiHΔt|MPSsubscriptketMPSΔ𝑡superscript𝑒𝑖𝐻Δ𝑡ketMPS|\text{MPS}\rangle_{\Delta t}\approx e^{-iH\Delta t}|\text{MPS}\rangle| MPS ⟩ start_POSTSUBSCRIPT roman_Δ italic_t end_POSTSUBSCRIPT ≈ italic_e start_POSTSUPERSCRIPT - italic_i italic_H roman_Δ italic_t end_POSTSUPERSCRIPT | MPS ⟩.

Because the entanglement entropy in eiHt|MPSsuperscript𝑒𝑖𝐻𝑡ketMPSe^{-iHt}|\text{MPS}\rangleitalic_e start_POSTSUPERSCRIPT - italic_i italic_H italic_t end_POSTSUPERSCRIPT | MPS ⟩ usually increases linearly with time t𝑡titalic_t, the TDVP procedure described above can’t simulate long-time evolution with a given bond dimension D𝐷Ditalic_D, resulting in a significant truncate error ϵitalic-ϵ\epsilonitalic_ϵ after several sweeps.

We can incorporate Clifford circuits to mitigate the entanglement [22, 32] in |MPSketMPS|\text{MPS}\rangle| MPS ⟩, as demonstrated in CA-MPS [10], thereby enabling longer time evolution simulations. Specifically, by applying a Clifford circuit 𝒞𝒞\mathcal{C}caligraphic_C, we obtain a new MPS state |MPSnew=𝒞|MPSsubscriptketMPSnew𝒞ketMPS|\text{MPS}\rangle_{\text{new}}=\mathcal{C}|\text{MPS}\rangle| MPS ⟩ start_POSTSUBSCRIPT new end_POSTSUBSCRIPT = caligraphic_C | MPS ⟩, where |MPSnewsubscriptketMPSnew|\text{MPS}\rangle_{\text{new}}| MPS ⟩ start_POSTSUBSCRIPT new end_POSTSUBSCRIPT is less entangled than the original |MPSketMPS|\text{MPS}\rangle| MPS ⟩. To ensure that the physical observables remain unchanged, we need to introduce a corresponding transformation of the Hamiltonian, H=𝒞H𝒞superscript𝐻𝒞𝐻superscript𝒞H^{\prime}=\mathcal{C}H\mathcal{C}^{\dagger}italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = caligraphic_C italic_H caligraphic_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT 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 MPS|H|MPS=MPS|𝒞𝒞H𝒞𝒞|MPS=MPSnew|H|MPSnew\langle\text{MPS}|H|\text{MPS}\rangle=\langle\text{MPS}|\mathcal{C}^{\dagger}% \mathcal{C}H\mathcal{C}^{\dagger}\mathcal{C}|\text{MPS}\rangle=\sideset{{}_{% \text{new}}}{}{\mathop{\langle\text{MPS}}}|H^{\prime}|\text{MPS}\rangle_{\text% {new}}⟨ MPS | italic_H | MPS ⟩ = ⟨ MPS | caligraphic_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT caligraphic_C italic_H caligraphic_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT caligraphic_C | MPS ⟩ = SUBSCRIPTOP start_ARG ⟨ MPS end_ARG new | italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | MPS ⟩ start_POSTSUBSCRIPT new end_POSTSUBSCRIPT. This transformation ensures that the expectation values of the Hamiltonian are preserved in the new, less entangled MPS state |MPSnewsubscriptketMPSnew|\text{MPS}\rangle_{\text{new}}| MPS ⟩ start_POSTSUBSCRIPT new end_POSTSUBSCRIPT.

Thus, the CA-TDVP method is performed as follows:

  1. 1.

    Evolve the initial state |MPSketMPS|\text{MPS}\rangle| MPS ⟩ according to the Hamiltonian H𝐻Hitalic_H by a time step ΔtΔ𝑡\Delta troman_Δ italic_t to obtain |MPSΔtsubscriptketMPSΔ𝑡|\text{MPS}\rangle_{\Delta t}| MPS ⟩ start_POSTSUBSCRIPT roman_Δ italic_t end_POSTSUBSCRIPT using the two-site TDVP method.

  2. 2.

    Apply Clifford circuits 𝒞𝒞\mathcal{C}caligraphic_C to |MPSΔtsubscriptketMPSΔ𝑡|\text{MPS}\rangle_{\Delta t}| MPS ⟩ start_POSTSUBSCRIPT roman_Δ italic_t end_POSTSUBSCRIPT to reduce its entanglement, resulting in a new state |MPSnew=𝒞|MPSΔtsubscriptketMPSnew𝒞subscriptketMPSΔ𝑡|\text{MPS}\rangle_{\text{new}}=\mathcal{C}|\text{MPS}\rangle_{\Delta t}| MPS ⟩ start_POSTSUBSCRIPT new end_POSTSUBSCRIPT = caligraphic_C | MPS ⟩ start_POSTSUBSCRIPT roman_Δ italic_t end_POSTSUBSCRIPT.

  3. 3.

    Perform a transformation on the original Hamiltonian to obtain H=𝒞H𝒞superscript𝐻𝒞𝐻superscript𝒞H^{\prime}=\mathcal{C}H\mathcal{C}^{\dagger}italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = caligraphic_C italic_H caligraphic_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT. Crucially, any observables we wish to measure must also undergo this transformation.

  4. 4.

    Repeat step 1. Proceed the time evolution using the transformed Hamiltonian Hsuperscript𝐻H^{\prime}italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, starting from the new initial state |MPSnewsubscriptketMPSnew|\text{MPS}\rangle_{\text{new}}| MPS ⟩ start_POSTSUBSCRIPT new end_POSTSUBSCRIPT.

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 720720720720 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.

Refer to caption
Refer to caption
Figure 3: The CA-TDVP results for the 2D Heisenberg model. The system is with size 6×6666\times 66 × 6 under open boundary conditions. The initial state is set as a 2D Néel state |,,,,|\uparrow\downarrow\cdots\uparrow\downarrow,\downarrow\uparrow\cdots\downarrow% \uparrow,\cdots,\uparrow\downarrow\cdots\uparrow\downarrow,\downarrow\uparrow% \cdots\downarrow\uparrow\rangle| ↑ ↓ ⋯ ↑ ↓ , ↓ ↑ ⋯ ↓ ↑ , ⋯ , ↑ ↓ ⋯ ↑ ↓ , ↓ ↑ ⋯ ↓ ↑ ⟩. (a) The entanglement entropy (EE) at the center bond in the MPS part as a function of time t𝑡titalic_t. The inset shows the short-time behavior of EE. (b) The measured Néel order parameter mz=1/Ni,j(1)i+jSi,jzsubscript𝑚𝑧1𝑁subscript𝑖𝑗superscript1𝑖𝑗delimited-⟨⟩subscriptsuperscript𝑆𝑧𝑖𝑗m_{z}=1/N\sum_{i,j}(-1)^{i+j}\langle S^{z}_{i,j}\rangleitalic_m start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 1 / italic_N ∑ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( - 1 ) start_POSTSUPERSCRIPT italic_i + italic_j end_POSTSUPERSCRIPT ⟨ italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ⟩ as a function of time t𝑡titalic_t. 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.

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

H=iNSixSi+1x+SiySi+1y+ΔSizSi+1z𝐻superscriptsubscript𝑖𝑁subscriptsuperscript𝑆𝑥𝑖subscriptsuperscript𝑆𝑥𝑖1subscriptsuperscript𝑆𝑦𝑖subscriptsuperscript𝑆𝑦𝑖1Δsubscriptsuperscript𝑆𝑧𝑖subscriptsuperscript𝑆𝑧𝑖1H=\sum_{i}^{N}S^{x}_{i}S^{x}_{i+1}+S^{y}_{i}S^{y}_{i+1}+\Delta S^{z}_{i}S^{z}_% {i+1}italic_H = ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT + italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT + roman_Δ italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT (1)

where Six,Siysubscriptsuperscript𝑆𝑥𝑖subscriptsuperscript𝑆𝑦𝑖S^{x}_{i},S^{y}_{i}italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and Sizsubscriptsuperscript𝑆𝑧𝑖S^{z}_{i}italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are the spin-1/2 operator on site i𝑖iitalic_i.

Fig. 2 shows the results for a chain with length N=50𝑁50N=50italic_N = 50 and Δ=0.5Δ0.5\Delta=0.5roman_Δ = 0.5. The time step in TDVP is set as Δt=0.05Δ𝑡0.05\Delta t=0.05roman_Δ italic_t = 0.05. The initialed state is the Néel state ||\uparrow\downarrow\uparrow\downarrow\cdots\uparrow\downarrow\uparrow\downarrow\rangle| ↑ ↓ ↑ ↓ ⋯ ↑ ↓ ↑ ↓ ⟩. The local magnetization (MzN/2superscriptsubscript𝑀𝑧𝑁2M_{z}^{N/2}italic_M start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N / 2 end_POSTSUPERSCRIPT) at the center site and the half-chain entanglement entropy (EE) as a function of time t𝑡titalic_t 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 D𝐷Ditalic_D, 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:

H=Ji,jSiSj𝐻𝐽subscript𝑖𝑗subscript𝑆𝑖subscript𝑆𝑗H=J\sum_{\langle i,j\rangle}S_{i}\cdot S_{j}italic_H = italic_J ∑ start_POSTSUBSCRIPT ⟨ italic_i , italic_j ⟩ end_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⋅ italic_S start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT (2)

where Sisubscript𝑆𝑖S_{i}italic_S start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the spin-1/2 operator on site i𝑖iitalic_i, and the summations are taken over nearest-neighbor (i,j𝑖𝑗\langle i,j\rangle⟨ italic_i , italic_j ⟩) pairs. Again, the initial state is set as a 2D Néel state |,,,,|\uparrow\downarrow\cdots\uparrow\downarrow,\downarrow\uparrow\cdots\downarrow% \uparrow,\cdots,\uparrow\downarrow\cdots\uparrow\downarrow,\downarrow\uparrow% \cdots\downarrow\uparrow\rangle| ↑ ↓ ⋯ ↑ ↓ , ↓ ↑ ⋯ ↓ ↑ , ⋯ , ↑ ↓ ⋯ ↑ ↓ , ↓ ↑ ⋯ ↓ ↑ ⟩. The TDVP time step is set as Δt=0.05Δ𝑡0.05\Delta t=0.05roman_Δ italic_t = 0.05. Here, we consider a 6×6666\times 66 × 6 lattice with open boundary conditions. Fig. 3 shows the measured Néel order parameter mz=1/Ni,j(1)i+jSi,jzsubscript𝑚𝑧1𝑁subscript𝑖𝑗superscript1𝑖𝑗delimited-⟨⟩subscriptsuperscript𝑆𝑧𝑖𝑗m_{z}=1/N\sum_{i,j}(-1)^{i+j}\langle S^{z}_{i,j}\rangleitalic_m start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 1 / italic_N ∑ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( - 1 ) start_POSTSUPERSCRIPT italic_i + italic_j end_POSTSUPERSCRIPT ⟨ italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ⟩ and the entanglement entropy at the center bond as a function of evolution time t𝑡titalic_t. 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 D=40𝐷40D=40italic_D = 40 are comparable to those of TDVP with D=80𝐷80D=80italic_D = 80 as shown in Fig. 3 (b). Interestingly, the increasing rate of the entanglement entropy over time t𝑡titalic_t 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 Hsuperscript𝐻H^{\prime}italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, 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