Showing 1–40 of 40 results for author: Barthel, T

A direct algebraic proof for the non-positivity of Liouvillian eigenvalues in Markovian quantum dynamics

Authors: Yikang Zhang, Thomas Barthel

Abstract: Markovian open quantum systems are described by the Lindblad master equation $\partial_tρ=\mathcal{L}(ρ)$, where $ρ$ denotes the system's density operator and $\mathcal{L}$ the Liouville super-operator, which is also known as the Liouvillian. For systems with a finite-dimensional Hilbert space, it is a fundamental property of the Liouvillian, that the real-parts of all its eigenvalues are non-posi… ▽ More Markovian open quantum systems are described by the Lindblad master equation $\partial_tρ=\mathcal{L}(ρ)$, where $ρ$ denotes the system's density operator and $\mathcal{L}$ the Liouville super-operator, which is also known as the Liouvillian. For systems with a finite-dimensional Hilbert space, it is a fundamental property of the Liouvillian, that the real-parts of all its eigenvalues are non-positive which, in physical terms, corresponds to the stability of the system. The usual argument for this property is indirect, using that $\mathcal{L}$ generates a quantum channel and that quantum channels are contractive. We provide a direct algebraic proof based on the Lindblad form of Liouvillians. △ Less

Submitted 2 April, 2025; originally announced April 2025.

Comments: 5 pages, 1 figure; this is a pedagogical/educational note

Probing Entanglement Scaling Across a Quantum Phase Transition on a Quantum Computer

Authors: Qiang Miao, Tianyi Wang, Kenneth R. Brown, Thomas Barthel, Marko Cetina

Abstract: The investigation of strongly-correlated quantum matter is difficult due to the curse of dimensionality and intricate entanglement structures. These challenges are particularly pronounced in the vicinity of continuous quantum phase transitions, where quantum fluctuations manifest across all length scales. While quantum simulators give controlled access to a number of strongly correlated systems, t… ▽ More The investigation of strongly-correlated quantum matter is difficult due to the curse of dimensionality and intricate entanglement structures. These challenges are particularly pronounced in the vicinity of continuous quantum phase transitions, where quantum fluctuations manifest across all length scales. While quantum simulators give controlled access to a number of strongly correlated systems, the study of critical phenomena has been hampered by finite-size effects arising from diverging correlation lengths. Moreover, the experimental investigation of entanglement in many-body systems has been hindered by limitations in measurement protocols. To address these challenges, we employ the multiscale entanglement renormalization ansatz (MERA) and implement a holographic scheme for subsystem tomography on a fully-connected trapped-ion quantum computer. Our method accurately represents infinite systems and long-range correlations with few qubits, facilitating the efficient extraction of observables and entanglement properties, even at criticality. We observe a quantum phase transition with spontaneous symmetry breaking and reveal the evolution of entanglement properties across the critical point. For the first time, we demonstrate log-law scaling of subsystem entanglement entropies at criticality on a digital quantum computer. This achievement highlights the potential of MERA for the investigation of strongly-correlated many-body systems on quantum computers. △ Less

Submitted 10 March, 2025; v1 submitted 24 December, 2024; originally announced December 2024.

Comments: 16 pages, 13 figures, minor improvements

Scaling of contraction costs for entanglement renormalization algorithms including tensor Trotterization and variational Monte Carlo

Authors: Thomas Barthel, Qiang Miao

Abstract: The multi-scale entanglement renormalization ansatz (MERA) is a hierarchical class of tensor network states motivated by the real-space renormalization group. It is used to simulate strongly correlated quantum many-body systems. For prominent MERA structures in one and two spatial dimensions and different optimization strategies, we determine the optimal scaling of contraction costs as well as cor… ▽ More The multi-scale entanglement renormalization ansatz (MERA) is a hierarchical class of tensor network states motivated by the real-space renormalization group. It is used to simulate strongly correlated quantum many-body systems. For prominent MERA structures in one and two spatial dimensions and different optimization strategies, we determine the optimal scaling of contraction costs as well as corresponding contraction sequences and algorithmic phase diagrams. This is motivated by recent efforts to employ MERA in hybrid quantum-classical algorithms, where the MERA tensors are Trotterized, i.e., chosen as circuits of quantum gates, and observables as well as energy gradients are evaluated by sampling causal-cone states. We investigate whether tensor Trotterization and/or variational Monte Carlo (VMC) sampling can lead to quantum-inspired classical MERA algorithms that perform better than the traditional optimization of full MERA based on the exact evaluation of energy gradients. Algorithmic phase diagrams indicate the best MERA method depending on the scaling of the energy accuracy and the optimal number of Trotter steps with the bond dimension. The results suggest substantial gains due to VMC for two-dimensional systems. △ Less

Submitted 4 January, 2025; v1 submitted 30 July, 2024; originally announced July 2024.

Comments: 13 pages main text, 7 pages appendix, 9 figures, 4 tables; bigger revision: dedicated section on eigenstate measurement bases for VMC, corresponding optimal contraction sequences, some corrected contraction costs, further improvements; published version

Journal ref: Phys. Rev. B 111, 045104 (2025)

Equivalence of cost concentration and gradient vanishing for quantum circuits: An elementary proof in the Riemannian formulation

Authors: Qiang Miao, Thomas Barthel

Abstract: The optimization of quantum circuits can be hampered by a decay of average gradient amplitudes with increasing system size. When the decay is exponential, this is called the barren plateau problem. Considering explicit circuit parametrizations (in terms of rotation angles), it has been shown in Arrasmith et al., Quantum Sci. Technol. 7, 045015 (2022) that barren plateaus are equivalent to an expon… ▽ More The optimization of quantum circuits can be hampered by a decay of average gradient amplitudes with increasing system size. When the decay is exponential, this is called the barren plateau problem. Considering explicit circuit parametrizations (in terms of rotation angles), it has been shown in Arrasmith et al., Quantum Sci. Technol. 7, 045015 (2022) that barren plateaus are equivalent to an exponential decay of the variance of cost-function differences. We show that the issue is particularly simple in the (parametrization-free) Riemannian formulation of such optimization problems and obtain a tighter bound for the cost-function variance. An elementary derivation shows that the single-gate variance of the cost function is strictly equal to half the variance of the Riemannian single-gate gradient, where we sample variable gates according to the uniform Haar measure. The total variances of the cost function and its gradient are then both bounded from above by the sum of single-gate variances and, conversely, bound single-gate variances from above. So, decays of gradients and cost-function variations go hand in hand, and barren plateau problems cannot be resolved by avoiding gradient-based in favor of gradient-free optimization methods. △ Less

Submitted 11 September, 2024; v1 submitted 12 February, 2024; originally announced February 2024.

Comments: 8 pages main text, 4 pages appendix, 6 figures; improved presentation, added numerical confirmation for MERA, extended discussion section, demonstrating that single-gate gradient variances can provide more detailed and useful trainability information than total variances alone; published version

Journal ref: Quantum Sci. Technol. 9, 045039 (2024)

Driven-Dissipative Bose-Einstein Condensation and the Upper Critical Dimension

Authors: Yikang Zhang, Thomas Barthel

Abstract: Driving and dissipation can stabilize Bose-Einstein condensates. Using Keldysh field theory, we analyze this phenomenon for Markovian systems that can comprise on-site two-particle driving, on-site single-particle and two-particle loss, as well as edge-correlated pumping. Above the upper critical dimension, mean-field theory shows that pumping and two-particle driving induce condensation right at… ▽ More Driving and dissipation can stabilize Bose-Einstein condensates. Using Keldysh field theory, we analyze this phenomenon for Markovian systems that can comprise on-site two-particle driving, on-site single-particle and two-particle loss, as well as edge-correlated pumping. Above the upper critical dimension, mean-field theory shows that pumping and two-particle driving induce condensation right at the boundary between the stable and unstable regions of the non-interacting theory. With nonzero two-particle driving, the condensate is gapped. This picture is consistent with the recent observation that, without symmetry constraints beyond invariance under single-particle basis transformations, all gapped quadratic bosonic Liouvillians belong to the same phase. For systems below the upper critical dimension, the edge-correlated pumping penalizes high-momentum fluctuations, rendering the theory renormalizable. We perform the one-loop renormalization group analysis, finding a condensation transition inside the unstable region of the non-interacting theory. Interestingly, its critical behavior is determined by a Wilson-Fisher-like fixed point with universal correlation-length exponent $ν=0.6$ in three dimensions. △ Less

Submitted 27 February, 2024; v1 submitted 22 November, 2023; originally announced November 2023.

Comments: 11 pages, 1 figure; added discussion of experimental realization and comparison to BEC in closed systems; published version

Journal ref: Phys. Rev. A 109, L021301 (2024)

Criteria for Davies Irreducibility of Markovian Quantum Dynamics

Authors: Yikang Zhang, Thomas Barthel

Abstract: The dynamics of Markovian open quantum systems are described by Lindblad master equations, generating a quantum dynamical semigroup. An important concept for such systems is (Davies) irreducibility, i.e., the question whether there exist non-trivial invariant subspaces. Steady states of irreducible systems are unique and faithful, i.e., they have full rank. In the 1970s, Frigerio showed that a sys… ▽ More The dynamics of Markovian open quantum systems are described by Lindblad master equations, generating a quantum dynamical semigroup. An important concept for such systems is (Davies) irreducibility, i.e., the question whether there exist non-trivial invariant subspaces. Steady states of irreducible systems are unique and faithful, i.e., they have full rank. In the 1970s, Frigerio showed that a system is irreducible if the Lindblad operators span a self-adjoint set with trivial commutant. We discuss a more general and powerful algebraic criterion, showing that a system is irreducible if and only if the multiplicative algebra generated by the Lindblad operators $L_a$ and the operator $K=iH+\sum_a L^\dagger_aL_a$, involving the Hamiltonian $H$, is the entire operator space. Examples for two-level systems, show that a change of Hamiltonian terms as well as the addition or removal of dissipators can render a reducible system irreducible and vice versa. Examples for many-body systems show that a large class of spin chains can be rendered irreducible by dissipators on just one or two sites. Additionally, we discuss the decisive differences between (Davies) reducibility and Evans reducibility for quantum channels and dynamical semigroups which has lead to some confusion in the recent physics literature, especially, in the context of boundary-driven systems. We give a criterion for quantum reducibility in terms of associated classical Markov processes and, lastly, discuss the relation of the main result to the stabilization of pure states and argue that systems with local Lindblad operators cannot stabilize pure Fermi-sea states. △ Less

Submitted 2 March, 2024; v1 submitted 26 October, 2023; originally announced October 2023.

Comments: 16 pages; minor improvements; published version

Journal ref: J. Phys. A: Math. Theor. 57, 115301 (2024)

Isometric tensor network optimization for extensive Hamiltonians is free of barren plateaus

Authors: Qiang Miao, Thomas Barthel

Abstract: We explain why and numerically confirm that there are no barren plateaus in the energy optimization of isometric tensor network states (TNS) for extensive Hamiltonians with finite-range interactions which are, for example, typical in condensed matter physics. Specifically, we consider matrix product states (MPS) with open boundary conditions, tree tensor network states (TTNS), and the multiscale e… ▽ More We explain why and numerically confirm that there are no barren plateaus in the energy optimization of isometric tensor network states (TNS) for extensive Hamiltonians with finite-range interactions which are, for example, typical in condensed matter physics. Specifically, we consider matrix product states (MPS) with open boundary conditions, tree tensor network states (TTNS), and the multiscale entanglement renormalization ansatz (MERA). MERA are isometric by construction and, for the MPS and TTNS, the tensor network gauge freedom allows us to choose all tensors as partial isometries. The variance of the energy gradient, evaluated by taking the Haar average over the TNS tensors, has a leading system-size independent term and decreases according to a power law in the bond dimension. For a hierarchical TNS (TTNS and MERA) with branching ratio $b$, the variance of the gradient with respect to a tensor in layer $τ$ scales as $(bη)^τ$, where $η$ is the second largest eigenvalue of a Haar-average doubled layer-transition channel and decreases algebraically with increasing bond dimension. The absence of barren plateaus substantiates that isometric TNS are a promising route for an efficient quantum-computation-based investigation of strongly-correlated quantum matter. The observed scaling properties of the gradient amplitudes bear implications for efficient TNS initialization procedures. △ Less

Submitted 11 March, 2024; v1 submitted 27 April, 2023; originally announced April 2023.

Comments: 7 pages, 5 figures; improved and extended discussion; added analysis showing that power-law decay observed in [Liu et al., arXiv:1902.02663] for MPS is a finite-size effect

Journal ref: Phys. Rev. A 109, L050402 (2024)

Absence of barren plateaus and scaling of gradients in the energy optimization of isometric tensor network states

Authors: Thomas Barthel, Qiang Miao

Abstract: Vanishing gradients can pose substantial obstacles for high-dimensional optimization problems. Here we consider energy minimization problems for quantum many-body systems with extensive Hamiltonians and finite-range interactions, which can be studied on classical computers or in the form of variational quantum eigensolvers on quantum computers. Barren plateaus correspond to scenarios where the ave… ▽ More Vanishing gradients can pose substantial obstacles for high-dimensional optimization problems. Here we consider energy minimization problems for quantum many-body systems with extensive Hamiltonians and finite-range interactions, which can be studied on classical computers or in the form of variational quantum eigensolvers on quantum computers. Barren plateaus correspond to scenarios where the average amplitude of the energy gradient decreases exponentially with increasing system size. This occurs, for example, for quantum neural networks and for brickwall quantum circuits when the depth increases polynomially in the system size. Here we prove that the variational optimization problems for matrix product states, tree tensor networks, and the multiscale entanglement renormalization ansatz are free of barren plateaus. The derived scaling properties for the gradient variance provide an analytical guarantee for the trainability of randomly initialized tensor network states (TNS) and motivate certain initialization schemes. In a suitable representation, unitary tensors that parametrize the TNS are sampled according to the uniform Haar measure. We employ a Riemannian formulation of the gradient based optimizations which simplifies the analytical evaluation. △ Less

Submitted 21 March, 2025; v1 submitted 31 March, 2023; originally announced April 2023.

Comments: 30 pages main text, 14 pages appendix, 14 figures; added 6 figures concerning MERA and TTNS, an analysis for nonary 2D MERA and TTNS, and references; added appendices D.1 and D.2 explaining apparent discrepancies concerning ZX-MPS discussed in [Cervero Martín et al., Quantum 7, 974 (2023)] and QMPS simulated in [Liu et al., PRR 1, 023025 (2019)], further minor improvements; published version

Journal ref: Commun. Math. Phys. 406, 86 (2025)

Convergence and Quantum Advantage of Trotterized MERA for Strongly-Correlated Systems

Authors: Qiang Miao, Thomas Barthel

Abstract: Strongly-correlated quantum many-body systems are difficult to study and simulate classically. We recently proposed a variational quantum eigensolver (VQE) based on the multiscale entanglement renormalization ansatz (MERA) with tensors constrained to certain Trotter circuits. Here, we determine the scaling of computation costs for various critical spin chains which substantiates a polynomial quant… ▽ More Strongly-correlated quantum many-body systems are difficult to study and simulate classically. We recently proposed a variational quantum eigensolver (VQE) based on the multiscale entanglement renormalization ansatz (MERA) with tensors constrained to certain Trotter circuits. Here, we determine the scaling of computation costs for various critical spin chains which substantiates a polynomial quantum advantage in comparison to classical MERA simulations based on exact energy gradients or variational Monte Carlo. Algorithmic phase diagrams suggest an even greater separation for higher-dimensional systems. Hence, the Trotterized MERA VQE is a promising route for the efficient investigation of strongly-correlated quantum many-body systems on quantum computers. Furthermore, we show how the convergence can be substantially improved by building up the MERA layer by layer in the initialization stage and by scanning through the phase diagram during optimization. For the Trotter circuits being composed of single-qubit and two-qubit rotations, it is experimentally advantageous to have small rotation angles. We find that the average angle amplitude can be reduced considerably with negligible effect on the energy accuracy. Benchmark simulations suggest that the structure of the Trotter circuits for the TMERA tensors is not decisive; in particular, brick-wall circuits and parallel random-pair circuits yield very similar energy accuracies. △ Less

Submitted 6 February, 2025; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: 11 pages, 7 figures, 2 tables; substantial extension of the part on a quantum advantage, in addition to the common classical fMERA optimization based on exact energy gradients (EEG), we now also compare the TMERA VQE to fMERA VMC, TMERA EEG, and TMERA VMC and discuss alternative classical algorithms; further minor improvements; published version

Journal ref: Quantum 9, 1631 (2025)

Tensor Network States with Low-Rank Tensors

Authors: Hao Chen, Thomas Barthel

Abstract: Tensor networks are used to efficiently approximate states of strongly-correlated quantum many-body systems. More generally, tensor network approximations may allow to reduce the costs for operating on an order-$N$ tensor from exponential to polynomial in $N$, and this has become a popular approach for machine learning. We introduce the idea of imposing low-rank constraints on the tensors that com… ▽ More Tensor networks are used to efficiently approximate states of strongly-correlated quantum many-body systems. More generally, tensor network approximations may allow to reduce the costs for operating on an order-$N$ tensor from exponential to polynomial in $N$, and this has become a popular approach for machine learning. We introduce the idea of imposing low-rank constraints on the tensors that compose the tensor network. With this modification, the time and space complexities for the network optimization can be substantially reduced while maintaining high accuracy. We detail this idea for tree tensor network states (TTNS) and projected entangled-pair states. Simulations of spin models on Cayley trees with low-rank TTNS exemplify the effect of rank constraints on the expressive power. We find that choosing the tensor rank $r$ to be on the order of the bond dimension $m$, is sufficient to obtain high-accuracy groundstate approximations and to substantially outperform standard TTNS computations. Thus low-rank tensor networks are a promising route for the simulation of quantum matter and machine learning on large data sets. △ Less

Submitted 30 May, 2022; originally announced May 2022.

Comments: 7 pages, 6 figures

Criticality and Phase Classification for Quadratic Open Quantum Many-Body Systems

Authors: Yikang Zhang, Thomas Barthel

Abstract: We study the steady states of translation-invariant open quantum many-body systems governed by Lindblad master equations, where the Hamiltonian is quadratic in the ladder operators, and the Lindblad operators are either linear or quadratic and Hermitian. These systems are called quasifree and quadratic, respectively. We find that steady states of one-dimensional systems with finite-range interacti… ▽ More We study the steady states of translation-invariant open quantum many-body systems governed by Lindblad master equations, where the Hamiltonian is quadratic in the ladder operators, and the Lindblad operators are either linear or quadratic and Hermitian. These systems are called quasifree and quadratic, respectively. We find that steady states of one-dimensional systems with finite-range interactions necessarily have exponentially decaying Green's functions. For the quasifree case without quadratic Lindblad operators, we show that fermionic systems with finite-range interactions are noncritical for any number of spatial dimensions and provide bounds on the correlation lengths. Quasifree bosonic systems can be critical in $D>1$ dimensions. Last, we address the question of phase transitions in quadratic systems and find that, without symmetry constraints beyond invariance under single-particle basis and particle-hole transformations, all gapped Liouvillians belong to the same phase. △ Less

Submitted 2 February, 2023; v1 submitted 11 April, 2022; originally announced April 2022.

Comments: 13 pages, 2 figures; minor improvements and additional references; published version. The employed methods for the solution of quasi-free and quadratic open systems are described in arXiv:2112.08344

Journal ref: Phys. Rev. Lett. 129, 120401 (2022)

Solving quasi-free and quadratic Lindblad master equations for open fermionic and bosonic systems

Authors: Thomas Barthel, Yikang Zhang

Abstract: The dynamics of Markovian open quantum systems are described by Lindblad master equations. For fermionic and bosonic systems that are quasi-free, i.e., with Hamiltonians that are quadratic in the ladder operators and Lindblad operators that are linear in the ladder operators, we derive the equation of motion for the covariance matrix. This determines the evolution of Gaussian initial states and th… ▽ More The dynamics of Markovian open quantum systems are described by Lindblad master equations. For fermionic and bosonic systems that are quasi-free, i.e., with Hamiltonians that are quadratic in the ladder operators and Lindblad operators that are linear in the ladder operators, we derive the equation of motion for the covariance matrix. This determines the evolution of Gaussian initial states and the steady states, which are also Gaussian. Using ladder super-operators (a.k.a. third quantization), we show how the Liouvillian can be transformed to a many-body Jordan normal form which also reveals the full many-body spectrum. Extending previous work by Prosen and Seligman, we treat fermionic and bosonic systems on equal footing with Majorana operators, shorten and complete some derivations, also address the odd-parity sector for fermions, give a criterion for the existence of bosonic steady states, cover non-diagonalizable Liouvillians also for bosons, and include quadratic systems. In extension of the quasi-free open systems, quadratic open systems comprise additional Hermitian Lindblad operators that are quadratic in the ladder operators. While Gaussian states may then evolve into non-Gaussian states, the Liouvillian can still be transformed to a useful block-triangular form, and the equations of motion for $k$-point Green's functions form a closed hierarchy. Based on this formalism, results on criticality and dissipative phase transitions in such models are discussed in a companion paper [arXiv:2204.05346]. △ Less

Submitted 2 February, 2023; v1 submitted 15 December, 2021; originally announced December 2021.

Comments: 26 pages; added details on covariance matrices, improved and corrected sections on steady states, added observation on stability of bosonic systems, improved discussion on block-triangularization for quadratic systems, additional references, further minor improvements; published version

Journal ref: J. Stat. Mech. 113101 (2022)

Quantum-classical eigensolver using multiscale entanglement renormalization

Authors: Qiang Miao, Thomas Barthel

Abstract: We propose a variational quantum eigensolver (VQE) for the simulation of strongly-correlated quantum matter based on a multi-scale entanglement renormalization ansatz (MERA) and gradient-based optimization. This MERA quantum eigensolver can have substantially lower computation costs than corresponding classical algorithms. Due to its narrow causal cone, the algorithm can be implemented on noisy in… ▽ More We propose a variational quantum eigensolver (VQE) for the simulation of strongly-correlated quantum matter based on a multi-scale entanglement renormalization ansatz (MERA) and gradient-based optimization. This MERA quantum eigensolver can have substantially lower computation costs than corresponding classical algorithms. Due to its narrow causal cone, the algorithm can be implemented on noisy intermediate-scale quantum (NISQ) devices and still describe large systems. It is particularly attractive for ion-trap devices with ion-shuttling capabilities. The number of required qubits is system-size independent, and increases only to a logarithmic scaling when using quantum amplitude estimation to speed up gradient evaluations. Translation invariance can be used to make computation costs square-logarithmic in the system size and describe the thermodynamic limit. We demonstrate the approach numerically for a MERA with Trotterized disentanglers and isometries. With a few Trotter steps, one recovers the accuracy of the full MERA. △ Less

Submitted 31 August, 2023; v1 submitted 30 August, 2021; originally announced August 2021.

Comments: 14 pages, 9 figures; additional discussions of the computational complexity, layer-transition maps for homogeneous MERA, mid-circuit qubit resets, and data on the quantum advantage; further minor improvements; published version

Journal ref: Phys. Rev. Res. 5, 033141 (2023)

On the closedness and geometry of tensor network state sets

Authors: Thomas Barthel, Jianfeng Lu, Gero Friesecke

Abstract: Tensor network states (TNS) are a powerful approach for the study of strongly correlated quantum matter. The curse of dimensionality is addressed by parametrizing the many-body state in terms of a network of partially contracted tensors. These tensors form a substantially reduced set of effective degrees of freedom. In practical algorithms, functionals like energy expectation values or overlaps ar… ▽ More Tensor network states (TNS) are a powerful approach for the study of strongly correlated quantum matter. The curse of dimensionality is addressed by parametrizing the many-body state in terms of a network of partially contracted tensors. These tensors form a substantially reduced set of effective degrees of freedom. In practical algorithms, functionals like energy expectation values or overlaps are optimized over certain sets of TNS. Concerning algorithmic stability, it is important whether the considered sets are closed because, otherwise, the algorithms may approach a boundary point that is outside the TNS set and tensor elements diverge. We discuss the closedness and geometries of TNS sets, and we propose regularizations for optimization problems on non-closed TNS sets. We show that sets of matrix product states (MPS) with open boundary conditions, tree tensor network states (TTNS), and the multiscale entanglement renormalization ansatz (MERA) are always closed, whereas sets of translation-invariant MPS with periodic boundary conditions (PBC), heterogeneous MPS with PBC, and projected entangled-pair states (PEPS) are generally not closed. The latter is done using explicit examples like the W state, states that we call two-domain states, and fine-grained versions thereof. △ Less

Submitted 2 August, 2022; v1 submitted 30 July, 2021; originally announced August 2021.

Comments: 23 pages, 10 figures; minor improvements, added references; published version; This article belongs to the themed collection "Mathematical Physics and Numerical Simulation of Many-Particle Systems", V. Bach and L. Delle Site (eds.), Letters in Mathematical Physics

MSC Class: 15A69; 81V70; 15A21; 65K10; 14J81

Journal ref: Lett. Math. Phys. 112, 72 (2022)

Super-operator structures and no-go theorems for dissipative quantum phase transitions

Authors: Thomas Barthel, Yikang Zhang

Abstract: In the thermodynamic limit, the steady states of open quantum many-body systems can undergo nonequilibrium phase transitions due to a competition between coherent and driven-dissipative dynamics. Here, we consider Markovian systems and elucidate structures of the Liouville super-operator that generates the time evolution. In many cases of interest, an operator-basis transformation can bring the Li… ▽ More In the thermodynamic limit, the steady states of open quantum many-body systems can undergo nonequilibrium phase transitions due to a competition between coherent and driven-dissipative dynamics. Here, we consider Markovian systems and elucidate structures of the Liouville super-operator that generates the time evolution. In many cases of interest, an operator-basis transformation can bring the Liouvillian into a block-triangular form, making it possible to assess its spectrum. The spectral gap sets the asymptotic decay rate. The super-operator structure can be used to bound gaps from below, showing that, in a large class of systems, dissipative phase transitions are actually impossible and that the convergence to steady states follows an exponential temporal decay. Furthermore, when the blocks on the diagonal are Hermitian, the Liouvillian spectra obey Weyl ordering relations. The results apply, for example, to Davies generators and quadratic systems, and are also demonstrated for various spin models. △ Less

Submitted 31 August, 2023; v1 submitted 10 December, 2020; originally announced December 2020.

Comments: 8 pages; added discussion of block-triangular representations for quadratic fermionic and bosonic systems (see arXiv:2112.08344 and arXiv:2204.05346), further minor improvements; published version

Journal ref: Phys. Rev. A 105, 052224 (2022)

Eigenstate entanglement scaling for critical interacting spin chains

Authors: Qiang Miao, Thomas Barthel

Abstract: With increasing subsystem size and energy, bipartite entanglement entropies of energy eigenstates cross over from the groundstate scaling to a volume law. In previous work, we pointed out that, when strong or weak eigenstate thermalization (ETH) applies, the entanglement entropies of all or, respectively, almost all eigenstates follow a single crossover function. The crossover functions are determ… ▽ More With increasing subsystem size and energy, bipartite entanglement entropies of energy eigenstates cross over from the groundstate scaling to a volume law. In previous work, we pointed out that, when strong or weak eigenstate thermalization (ETH) applies, the entanglement entropies of all or, respectively, almost all eigenstates follow a single crossover function. The crossover functions are determined by the subsystem entropy of thermal states and assume universal scaling forms in quantum-critical regimes. This was demonstrated by field-theoretical arguments and the analysis of large systems of non-interacting fermions and bosons. Here, we substantiate such scaling properties for integrable and non-integrable interacting spin-1/2 chains at criticality using exact diagonalization. In particular, we analyze XXZ and transverse-field Ising models with and without next-nearest-neighbor interactions. Indeed, the crossover of thermal subsystem entropies can be described by a universal scaling function following from conformal field theory. Furthermore, we analyze the validity of ETH for entanglement in these models. Even for the relatively small system sizes that can be simulated, the distributions of eigenstate entanglement entropies are sharply peaked around the subsystem entropies of the corresponding thermal ensembles. △ Less

Submitted 1 February, 2022; v1 submitted 14 October, 2020; originally announced October 2020.

Comments: 8 pages, 7 figures. Data for larger systems, added discussion of substructures due to approximately conserved quantities, minor improvements. Published version. This complements arXiv:1905.07760 and arXiv:1912.10045

Journal ref: Quantum 6, 642 (2022)

Low-energy physics of isotropic spin-1 chains in the critical and Haldane phases

Authors: Moritz Binder, Thomas Barthel

Abstract: Using a matrix product state algorithm with infinite boundary conditions, we compute high-resolution dynamic spin and quadrupolar structure factors in the thermodynamic limit to explore the low-energy excitations of isotropic bilinear-biquadratic spin-1 chains. Haldane mapped the spin-1 Heisenberg antiferromagnet to a continuum field theory, the non-linear sigma model (NL$σ$M). We find that the NL… ▽ More Using a matrix product state algorithm with infinite boundary conditions, we compute high-resolution dynamic spin and quadrupolar structure factors in the thermodynamic limit to explore the low-energy excitations of isotropic bilinear-biquadratic spin-1 chains. Haldane mapped the spin-1 Heisenberg antiferromagnet to a continuum field theory, the non-linear sigma model (NL$σ$M). We find that the NL$σ$M fails to capture the influence of the biquadratic term and provides only an unsatisfactory description of the Haldane phase physics. But several features in the Haldane phase can be explained by non-interacting multi-magnon states. The physics at the Uimin-Lai-Sutherland point is characterized by multi-soliton continua. Moving into the extended critical phase, we find that these excitation continua contract, which we explain using a field-theoretic description. New excitations emerge at higher energies and, in the vicinity of the purely biquadratic point, they show simple cosine dispersions. Using block fidelities, we identify them as elementary one-particle excitations and relate them to the integrable Temperley-Lieb chain. △ Less

Submitted 15 October, 2020; v1 submitted 7 May, 2020; originally announced May 2020.

Comments: 9 pages, 5 figures; improved text, published version

Journal ref: Phys. Rev. B 102, 014447 (2020)

Scaling functions for eigenstate entanglement crossovers in harmonic lattices

Authors: Thomas Barthel, Qiang Miao

Abstract: For quantum matter, eigenstate entanglement entropies obey an area law or log-area law at low energies and small subsystem sizes and cross over to volume laws for high energies and large subsystems. This transition is captured by crossover functions, which assume a universal scaling form in quantum critical regimes. We demonstrate this for the harmonic lattice model, which describes quantized latt… ▽ More For quantum matter, eigenstate entanglement entropies obey an area law or log-area law at low energies and small subsystem sizes and cross over to volume laws for high energies and large subsystems. This transition is captured by crossover functions, which assume a universal scaling form in quantum critical regimes. We demonstrate this for the harmonic lattice model, which describes quantized lattice vibrations and is a regularization for free scalar field theories, modeling, e.g., spin-0 bosonic particles. In one dimension, the groundstate entanglement obeys a log-area law. For dimensions $d\geq 2$, it displays area laws, even at criticality. The distribution of excited-state entanglement entropies is found to be sharply peaked around subsystem entropies of corresponding thermodynamic ensembles in accordance with the eigenstate thermalization hypothesis. Numerically, we determine crossover scaling functions for the quantum critical regime of the model and do a large-deviation analysis. We show how infrared singularities of the system can be handled and how to access the thermodynamic limit using a perturbative trick for the covariance matrix. Eigenstates for quasi-free bosonic systems are not Gaussian. We resolve this problem by considering appropriate squeezed states instead. For these, entanglement entropies can be evaluated efficiently. △ Less

Submitted 7 September, 2021; v1 submitted 20 December, 2019; originally announced December 2019.

Comments: 12 pages, 5 figures. Added a large-deviation analysis, improved text; published version. See also arXiv:1905.07760 [PRL 127, 040603 (2021)], where the concept of scaling functions for eigenstate entanglement crossovers has been introduced and demonstrated for other models

Journal ref: Phys. Rev. A 104, 022414 (2021)

Eigenstate entanglement: Crossover from the ground state to volume laws

Authors: Qiang Miao, Thomas Barthel

Abstract: For the typical quantum many-body systems that obey the eigenstate thermalization hypothesis (ETH), we argue that the entanglement entropy of (almost) all energy eigenstates is described by a single crossover function. The ETH implies that the crossover functions can be deduced from subsystem entropies of thermal ensembles and have universal properties. These functions capture the full crossover f… ▽ More For the typical quantum many-body systems that obey the eigenstate thermalization hypothesis (ETH), we argue that the entanglement entropy of (almost) all energy eigenstates is described by a single crossover function. The ETH implies that the crossover functions can be deduced from subsystem entropies of thermal ensembles and have universal properties. These functions capture the full crossover from the groundstate entanglement regime at low energies and small subsystem size (area or log-area law) to the extensive volume-law regime at high energies or large subsystem size. For critical one-dimensional systems, a universal scaling function follows from conformal field theory (CFT) and can be adapted for nonlinear dispersions. We use it to also deduce the crossover scaling function for Fermi liquids in $d>1$ dimensions. The analytical results are complemented by numerics for large non-interacting systems of fermions in $d=1$, $2$, and $3$ dimensions and have also been confirmed for bosonic systems and non-integrable spin chains. Furthermore, one can deduce the distribution function for eigenstate entanglement. △ Less

Submitted 22 July, 2021; v1 submitted 19 May, 2019; originally announced May 2019.

Comments: 8 pages, 8 figures, 1 table, including 3 appendices. Improved text, added data and figures. The follow-up papers arXiv:1912.10045 and arXiv:2010.07265 address bosonic and non-integrable systems

Journal ref: Phys. Rev. Lett. 127, 040603 (2021)

Optimized Lie-Trotter-Suzuki decompositions for two and three non-commuting terms

Authors: Thomas Barthel, Yikang Zhang

Abstract: Lie-Trotter-Suzuki decompositions are an efficient way to approximate operator exponentials $\exp(t H)$ when $H$ is a sum of $n$ (non-commuting) terms which, individually, can be exponentiated easily. They are employed in time-evolution algorithms for tensor network states, digital quantum simulation protocols, path integral methods like quantum Monte Carlo, and splitting methods for symplectic in… ▽ More Lie-Trotter-Suzuki decompositions are an efficient way to approximate operator exponentials $\exp(t H)$ when $H$ is a sum of $n$ (non-commuting) terms which, individually, can be exponentiated easily. They are employed in time-evolution algorithms for tensor network states, digital quantum simulation protocols, path integral methods like quantum Monte Carlo, and splitting methods for symplectic integrators in classical Hamiltonian systems. We provide optimized decompositions up to order $t^6$. The leading error term is expanded in nested commutators (Hall bases) and we minimize the 1-norm of the coefficients. For $n=2$ terms, several of the optima we find are close to those in McLachlan, SlAM J. Sci. Comput. 16, 151 (1995). Generally, our results substantially improve over unoptimized decompositions by Forest, Ruth, Yoshida, and Suzuki. We explain why these decompositions are sufficient to efficiently simulate any one- or two-dimensional lattice model with finite-range interactions. This follows by solving a partitioning problem for the interaction graph. △ Less

Submitted 4 March, 2019; v1 submitted 15 January, 2019; originally announced January 2019.

Comments: 30 pages, 8 figures, 8 tables; added results, figures, and references, extended discussion

Journal ref: Ann. Phys. 418, 168165 (2020)

Infinite boundary conditions for response functions and limit cycles in iDMRG, demonstrated for bilinear-biquadratic spin-1 chains

Authors: Moritz Binder, Thomas Barthel

Abstract: Response functions $\langle A_x(t) B_y(0)\rangle$ for one-dimensional strongly correlated quantum many-body systems can be computed with matrix product state (MPS) techniques. Especially, when one is interested in spectral functions or dynamic structure factors of translation-invariant systems, the response for some range $|x-y|<\ell$ is needed. We demonstrate how the number of required time-evolu… ▽ More Response functions $\langle A_x(t) B_y(0)\rangle$ for one-dimensional strongly correlated quantum many-body systems can be computed with matrix product state (MPS) techniques. Especially, when one is interested in spectral functions or dynamic structure factors of translation-invariant systems, the response for some range $|x-y|<\ell$ is needed. We demonstrate how the number of required time-evolution runs can be reduced substantially: (a) If finite-system simulations are employed, the number of time-evolution runs can be reduced from $\ell$ to $2\sqrt{\ell}$. (b) To go beyond, one can employ infinite MPS (iMPS) such that two evolution runs suffice. To this purpose, iMPS that are heterogeneous only around the causal cone of the perturbation are evolved in time, i.e., the simulation is done with infinite boundary conditions. Computing overlaps of these states, spatially shifted relative to each other, yields the response functions for all distances $|x-y|$. As a specific application, we compute the dynamic structure factor for ground states of bilinear-biquadratic spin-1 chains with very high resolution and explain the underlying low-energy physics. To determine the initial uniform iMPS for such simulations, infinite-system density-matrix renormalization group (iDMRG) can be employed. We discuss that, depending on the system and chosen bond dimension, iDMRG with a cell size $n_c$ may converge to a non-trivial limit cycle of length $m$. This then corresponds to an iMPS with an enlarged unit cell of size $m n_c$. △ Less

Submitted 20 March, 2019; v1 submitted 24 April, 2018; originally announced April 2018.

Comments: 12 pages, 10 figures; extended discussion and 2 additional figures, published version

Journal ref: Phys. Rev. B 98, 235114 (2018)

Fundamental limitations for measurements in quantum many-body systems

Authors: Thomas Barthel, Jianfeng Lu

Abstract: Dynamical measurement schemes are an important tool for the investigation of quantum many-body systems, especially in the age of quantum simulation. Here, we address the question whether generic measurements can be implemented efficiently if we have access to a certain set of experimentally realizable measurements and can extend it through time evolution. For the latter, two scenarios are consider… ▽ More Dynamical measurement schemes are an important tool for the investigation of quantum many-body systems, especially in the age of quantum simulation. Here, we address the question whether generic measurements can be implemented efficiently if we have access to a certain set of experimentally realizable measurements and can extend it through time evolution. For the latter, two scenarios are considered (a) evolution according to unitary circuits and (b) evolution due to Hamiltonians that we can control in a time-dependent fashion. We find that the time needed to realize a certain measurement to a predefined accuracy scales in general exponentially with the system size -- posing a fundamental limitation. The argument is based, on the construction of $\varepsilon$-packings for manifolds of observables with identical spectra and a comparison of their cardinalities to those of $\varepsilon$-coverings for quantum circuits and unitary time-evolution operators. The former is related to the study of Grassmann manifolds. △ Less

Submitted 12 February, 2018; originally announced February 2018.

Comments: 9 pages, 3 figures

Journal ref: Phys. Rev. Lett. 121, 080406 (2018)

One-dimensional quantum systems at finite temperatures can be simulated efficiently on classical computers

Authors: Thomas Barthel

Abstract: It is by now well-known that ground states of gapped one-dimensional (1d) quantum-many body systems with short-range interactions can be studied efficiently using classical computers and matrix product state techniques. A corresponding result for finite temperatures was missing. Using the replica trick in 1+1d quantum field theory, it is shown here that the cost for the classical simulation of 1d… ▽ More It is by now well-known that ground states of gapped one-dimensional (1d) quantum-many body systems with short-range interactions can be studied efficiently using classical computers and matrix product state techniques. A corresponding result for finite temperatures was missing. Using the replica trick in 1+1d quantum field theory, it is shown here that the cost for the classical simulation of 1d systems at finite temperatures grows in fact only polynomially with the inverse temperature and is system-size independent -- even for gapless systems. In particular, we show that the thermofield double state (TDS), a purification of the equilibrium density operator, can be obtained efficiently in matrix-product form. The argument is based on the scaling behavior of Rényi entanglement entropies in the TDS. At finite temperatures, they obey the area law. For gapless systems with central charge $c$, the entanglement is found to grow only logarithmically with inverse temperature, $S_α\sim \frac{c}{6}(1+1/α)\log β$. The field-theoretical results are tested and confirmed by quasi-exact numerical computations for integrable and non-integrable spin systems, and interacting bosons. △ Less

Submitted 30 August, 2017; originally announced August 2017.

Comments: 5 pages + 2 pages appendix, 3 figures

Symmetric minimally entangled typical thermal states for canonical and grand-canonical ensembles

Authors: Moritz Binder, Thomas Barthel

Abstract: Based on the density matrix renormalization group (DMRG), strongly correlated quantum many-body systems at finite temperatures can be simulated by sampling over a certain class of pure matrix product states (MPS) called minimally entangled typical thermal states (METTS). When a system features symmetries, these can be utilized to substantially reduce MPS computation costs. It is conceptually strai… ▽ More Based on the density matrix renormalization group (DMRG), strongly correlated quantum many-body systems at finite temperatures can be simulated by sampling over a certain class of pure matrix product states (MPS) called minimally entangled typical thermal states (METTS). When a system features symmetries, these can be utilized to substantially reduce MPS computation costs. It is conceptually straightforward to simulate canonical ensembles using symmetric METTS. In practice, it is important to alternate between different symmetric collapse bases to decrease autocorrelations in the Markov chain of METTS. To this purpose, we introduce symmetric Fourier and Haar-random block bases that are efficiently mixing. We also show how grand-canonical ensembles can be simulated efficiently with symmetric METTS. We demonstrate these approaches for spin-1/2 XXZ chains and discuss how the choice of the collapse bases influences autocorrelations as well as the distribution of measurement values and, hence, convergence speeds. △ Less

Submitted 6 June, 2017; v1 submitted 13 January, 2017; originally announced January 2017.

Comments: 11 pages, 7 figures; minor improvements, published version

Journal ref: Phys. Rev. B 95, 195148 (2017)

Matrix product purifications for canonical ensembles and quantum number distributions

Authors: Thomas Barthel

Abstract: Matrix product purifications (MPPs) are a very efficient tool for the simulation of strongly correlated quantum many-body systems at finite temperatures. When a system features symmetries, these can be used to reduce computation costs substantially. It is straightforward to compute an MPP of a grand-canonical ensemble, also when symmetries are exploited. This paper provides and demonstrates method… ▽ More Matrix product purifications (MPPs) are a very efficient tool for the simulation of strongly correlated quantum many-body systems at finite temperatures. When a system features symmetries, these can be used to reduce computation costs substantially. It is straightforward to compute an MPP of a grand-canonical ensemble, also when symmetries are exploited. This paper provides and demonstrates methods for the efficient computation of MPPs of canonical ensembles under utilization of symmetries. Furthermore, we present a scheme for the evaluation of global quantum number distributions using matrix product density operators (MPDOs). We provide exact matrix product representations for canonical infinite-temperature states, and discuss how they can be constructed alternatively by applying matrix product operators to vacuum-type states or by using entangler Hamiltonians. A demonstration of the techniques for Heisenberg spin-1/2 chains explains why the difference in the energy densities of canonical and grand-canonical ensembles decays as 1/L. △ Less

Submitted 22 October, 2016; v1 submitted 6 July, 2016; originally announced July 2016.

Comments: 9 pages, 5 figures; minor improvements, published version

Journal ref: Phys. Rev. B 94, 115157 (2016)

Phase diagram of the hexagonal lattice quantum dimer model: Order parameters, ground-state energy, and gaps

Authors: Thiago M. Schlittler, Rémy Mosseri, Thomas Barthel

Abstract: The phase diagram of the quantum dimer model on the hexagonal (honeycomb) lattice is computed numerically, extending on earlier work by Moessner, Sondhi, and Chandra. The different ground state phases are studied in detail using several local and global observables. In addition, we analyze imaginary-time correlation functions to determine ground state energies as well as gaps to the first excited… ▽ More The phase diagram of the quantum dimer model on the hexagonal (honeycomb) lattice is computed numerically, extending on earlier work by Moessner, Sondhi, and Chandra. The different ground state phases are studied in detail using several local and global observables. In addition, we analyze imaginary-time correlation functions to determine ground state energies as well as gaps to the first excited states. This leads in particular to a confirmation that the intermediary so-called plaquette phase is gapped -- a point which was previously advocated with general arguments and some data for an order parameter, but required a more direct proof. On the technical side, we describe an efficient world-line quantum Monte Carlo algorithm with improved cluster updates that increase acceptance probabilities by taking account of potential terms of the Hamiltonian during the cluster construction. The Monte Carlo simulations are supplemented with variational computations. △ Less

Submitted 25 November, 2017; v1 submitted 9 January, 2015; originally announced January 2015.

Comments: 12 pages + 4 pages appendix, 11 figures; additional data and minor improvements of the text, published version

Journal ref: Phys. Rev. B 96, 195142 (2017)

Minimally entangled typical thermal states versus matrix product purifications for the simulation of equilibrium states and time evolution

Authors: Moritz Binder, Thomas Barthel

Abstract: For the simulation of equilibrium states and finite-temperature response functions of strongly-correlated quantum many-body systems, we compare the efficiencies of two different approaches in the framework of the density matrix renormalization group (DMRG). The first is based on matrix product purifications. The second, more recent one, is based on so-called minimally entangled typical thermal sta… ▽ More For the simulation of equilibrium states and finite-temperature response functions of strongly-correlated quantum many-body systems, we compare the efficiencies of two different approaches in the framework of the density matrix renormalization group (DMRG). The first is based on matrix product purifications. The second, more recent one, is based on so-called minimally entangled typical thermal states (METTS). For the latter, we highlight the interplay of statistical and DMRG truncation errors, discuss the use of self-averaging effects, and describe schemes for the computation of response functions. For critical as well as gapped phases of the spin-1/2 XXZ chain and the one-dimensional Bose-Hubbard model, we assess the computation costs and accuracies of the two methods at different temperatures. For almost all considered cases, we find that, for the same computation cost, purifications yield more accurate results than METTS -- often by orders of magnitude. The METTS algorithm becomes more efficient only for temperatures well below the system's energy gap. The exponential growth of the computation cost in the evaluation of response functions limits the attainable timescales in both methods and we find that in this regard, METTS do not outperform purifications. △ Less

Submitted 31 December, 2016; v1 submitted 11 November, 2014; originally announced November 2014.

Comments: 12 pages + 4 pages appendix, 12 figures; minor improvements of data and text; published version

Journal ref: Phys. Rev. B 92, 125119 (2015)

Domain-wall melting in ultracold boson systems with holes and spin-flip defects

Authors: Jad C. Halimeh, Anton Wöllert, Ian P. McCulloch, Ulrich Schollwöck, Thomas Barthel

Abstract: Quantum magnetism is a fundamental phenomenon of nature. As of late, it has garnered a lot of interest because experiments with ultracold atomic gases in optical lattices could be used as a simulator for phenomena of magnetic systems. A paradigmatic example is the time evolution of a domain-wall state of a spin-1/2 Heisenberg chain, the so-called domain-wall melting. The model can be implemented b… ▽ More Quantum magnetism is a fundamental phenomenon of nature. As of late, it has garnered a lot of interest because experiments with ultracold atomic gases in optical lattices could be used as a simulator for phenomena of magnetic systems. A paradigmatic example is the time evolution of a domain-wall state of a spin-1/2 Heisenberg chain, the so-called domain-wall melting. The model can be implemented by having two species of bosonic atoms with unity filling and strong on-site repulsion U in an optical lattice. In this paper, we study the domain-wall melting in such a setup on the basis of the time-dependent density matrix renormalization group (tDMRG). We are particularly interested in the effects of defects that originate from an imperfect preparation of the initial state. Typical defects are holes (empty sites) and flipped spins. We show that the dominating effects of holes on observables like the spatially resolved magnetization can be taken account of by a linear combination of spatially shifted observables from the clean case. For sufficiently large U, further effects due to holes become negligible. In contrast, the effects of spin flips are more severe as their dynamics occur on the same time scale as that of the domain-wall melting itself. It is hence advisable to avoid preparation schemes that are based on spin-flips. △ Less

Submitted 13 November, 2014; v1 submitted 1 July, 2013; originally announced July 2013.

Comments: 15 pages, 12 figures. Supplemental Material: 2 animations (avi) comparing the domain-wall melting with and without defects, corresponding to figures 3, 4 and the discussion in section V.B; minor improvements; published version

Journal ref: Phys. Rev. A 89, 063603 (2014)

Algebraic versus exponential decoherence in dissipative many-particle systems

Authors: Zi Cai, Thomas Barthel

Abstract: The interplay between dissipation and internal interactions in quantum many-body systems gives rise to a wealth of novel phenomena. Here we investigate spin-1/2 chains with uniform local couplings to a Markovian environment using the time-dependent density matrix renormalization group (tDMRG). For the open XXZ model, we discover that the decoherence time diverges in the thermodynamic limit. The co… ▽ More The interplay between dissipation and internal interactions in quantum many-body systems gives rise to a wealth of novel phenomena. Here we investigate spin-1/2 chains with uniform local couplings to a Markovian environment using the time-dependent density matrix renormalization group (tDMRG). For the open XXZ model, we discover that the decoherence time diverges in the thermodynamic limit. The coherence decay is then algebraic instead of exponential. This is due to a vanishing gap in the spectrum of the corresponding Liouville superoperator and can be explained on the basis of a perturbative treatment. In contrast, decoherence in the open transverse-field Ising model is found to be always exponential. In this case, the internal interactions can both facilitate and impede the environment-induced decoherence. △ Less

Submitted 22 October, 2013; v1 submitted 25 April, 2013; originally announced April 2013.

Comments: 5 pages + 5 pages appendix, 5 figures; minor improvements to the text, added appendix on derivations of Lindblad master equations, added references; published version

Journal ref: Phys. Rev. Lett. 111, 150403 (2013)

Precise evaluation of thermal response functions by optimized density matrix renormalization group schemes

Authors: Thomas Barthel

Abstract: This paper provides a study and discussion of earlier as well as novel more efficient schemes for the precise evaluation of finite-temperature response functions of strongly correlated quantum systems in the framework of the time-dependent density matrix renormalization group (tDMRG). The computational costs and bond dimensions as functions of time and temperature are examined for the example of t… ▽ More This paper provides a study and discussion of earlier as well as novel more efficient schemes for the precise evaluation of finite-temperature response functions of strongly correlated quantum systems in the framework of the time-dependent density matrix renormalization group (tDMRG). The computational costs and bond dimensions as functions of time and temperature are examined for the example of the spin-1/2 XXZ Heisenberg chain in the critical XY phase and the gapped Néel phase. The matrix product state purifications occurring in the algorithms are in one-to-one relation with corresponding matrix product operators. This notational simplification elucidates implications of quasi-locality on the computational costs. Based on the observation that there is considerable freedom in designing efficient tDMRG schemes for the calculation of dynamical correlators at finite temperatures, a new class of optimizable schemes, as recently suggested in arXiv:1212.3570, is explained and analyzed numerically. A specific novel near-optimal scheme that requires no additional optimization reaches maximum times that are typically increased by a factor of two, when compared against earlier approaches. These increased reachable times make many more physical applications accessible. For each of the described tDMRG schemes, one can devise a corresponding transfer matrix renormalization group (TMRG) variant. △ Less

Submitted 17 July, 2013; v1 submitted 10 January, 2013; originally announced January 2013.

Comments: 19 pages, 11 figures; see also arXiv:1212.3570; minor improvements and clarifications; added references; published version

Journal ref: New J. Phys. 15, 073010 (2013)

Quasi-locality and efficient simulation of Markovian quantum dynamics

Authors: Thomas Barthel, Martin Kliesch

Abstract: We consider open many-body systems governed by a time-dependent quantum master equation with short-range interactions. With a generalized Lieb-Robinson bound, we show that the evolution in this very generic framework is quasi-local, i.e., the evolution of observables can be approximated by implementing the dynamics only in a vicinity of the observables' support. The precision increases exponential… ▽ More We consider open many-body systems governed by a time-dependent quantum master equation with short-range interactions. With a generalized Lieb-Robinson bound, we show that the evolution in this very generic framework is quasi-local, i.e., the evolution of observables can be approximated by implementing the dynamics only in a vicinity of the observables' support. The precision increases exponentially with the diameter of the considered subsystem. Hence, the time-evolution can be simulated on classical computers with a cost that is independent of the system size. Providing error bounds for Trotter decompositions, we conclude that the simulation on a quantum computer is additionally efficient in time. For experiments and simulations, our result can be used to rigorously bound finite-size effects. △ Less

Submitted 9 August, 2012; v1 submitted 17 November, 2011; originally announced November 2011.

Comments: 5 pages + 2 pages appendix, 2 figures; minor improvements; published version

Journal ref: Phys. Rev. Lett. 108, 230504 (2012)

Solving condensed-matter ground-state problems by semidefinite relaxations

Authors: Thomas Barthel, Robert Hübener

Abstract: We present a new generic approach to the condensed-matter ground-state problem which is complementary to variational techniques and works directly in the thermodynamic limit. Relaxing the ground-state problem, we obtain semidefinite programs (SDP). These can be solved efficiently, yielding strict lower bounds to the ground-state energy and approximations to the few-particle Green's functions. As t… ▽ More We present a new generic approach to the condensed-matter ground-state problem which is complementary to variational techniques and works directly in the thermodynamic limit. Relaxing the ground-state problem, we obtain semidefinite programs (SDP). These can be solved efficiently, yielding strict lower bounds to the ground-state energy and approximations to the few-particle Green's functions. As the method is applicable for all particle statistics, it represents in particular a novel route for the study of strongly correlated fermionic and frustrated spin systems in D>1 spatial dimensions. It is demonstrated for the XXZ model and the Hubbard model of spinless fermions. The results are compared against exact solutions, quantum Monte Carlo, and Anderson bounds, showing the competitiveness of the SDP method. △ Less

Submitted 7 August, 2012; v1 submitted 24 June, 2011; originally announced June 2011.

Comments: 8 pages, 3 figures; original title "Approaching condensed matter ground states from below"; improved numerics, added references; published version, including appendices

Journal ref: Phys. Rev. Lett. 108, 200404 (2012)

A dissipative quantum Church-Turing theorem

Authors: M. Kliesch, T. Barthel, C. Gogolin, M. Kastoryano, J. Eisert

Abstract: We show that the time evolution of an open quantum system, described by a possibly time dependent Liouvillian, can be simulated by a unitary quantum circuit of a size scaling polynomially in the simulation time and the size of the system. An immediate consequence is that dissipative quantum computing is no more powerful than the unitary circuit model. Our result can be seen as a dissipative Church… ▽ More We show that the time evolution of an open quantum system, described by a possibly time dependent Liouvillian, can be simulated by a unitary quantum circuit of a size scaling polynomially in the simulation time and the size of the system. An immediate consequence is that dissipative quantum computing is no more powerful than the unitary circuit model. Our result can be seen as a dissipative Church-Turing theorem, since it implies that under natural assumptions, such as weak coupling to an environment, the dynamics of an open quantum system can be simulated efficiently on a quantum computer. Formally, we introduce a Trotter decomposition for Liouvillian dynamics and give explicit error bounds. This constitutes a practical tool for numerical simulations, e.g., using matrix-product operators. We also demonstrate that most quantum states cannot be prepared efficiently. △ Less

Submitted 22 December, 2011; v1 submitted 19 May, 2011; originally announced May 2011.

Comments: 4 pages + 5 pages appendix, Implication 3 corrected

Journal ref: Phys. Rev. Lett. 107, 120501 (2011)

Real-space renormalization yields finite correlations

Authors: Thomas Barthel, Martin Kliesch, Jens Eisert

Abstract: Real-space renormalization approaches for quantum lattice systems generate certain hierarchical classes of states that are subsumed by the multi-scale entanglement renormalization ansatz (MERA). It is shown that, with the exception of one spatial dimension, MERA states are actually finitely correlated states, i.e., projected entangled pair states (PEPS) with a bond dimension independent of the sys… ▽ More Real-space renormalization approaches for quantum lattice systems generate certain hierarchical classes of states that are subsumed by the multi-scale entanglement renormalization ansatz (MERA). It is shown that, with the exception of one spatial dimension, MERA states are actually finitely correlated states, i.e., projected entangled pair states (PEPS) with a bond dimension independent of the system size. Hence, real-space renormalization generates states which can be encoded with local effective degrees of freedom, and MERA states form an efficiently contractible class of PEPS that obey the area law for the entanglement entropy. It is shown further that there exist other efficiently contractible schemes violating the area law. △ Less

Submitted 14 July, 2010; v1 submitted 11 March, 2010; originally announced March 2010.

Comments: 7 pages, 6 figures; final version, featuring an addendum to the published article

Journal ref: Phys. Rev. Lett. 105, 010502 (2010)

Contraction of fermionic operator circuits and the simulation of strongly correlated fermions

Authors: Thomas Barthel, Carlos Pineda, Jens Eisert

Abstract: A fermionic operator circuit is a product of fermionic operators of usually different and partially overlapping support. Further elements of fermionic operator circuits (FOCs) are partial traces and partial projections. The presented framework allows for the introduction of fermionic versions of known qudit operator circuits (QUOC), important for the simulation of strongly correlated d-dimension… ▽ More A fermionic operator circuit is a product of fermionic operators of usually different and partially overlapping support. Further elements of fermionic operator circuits (FOCs) are partial traces and partial projections. The presented framework allows for the introduction of fermionic versions of known qudit operator circuits (QUOC), important for the simulation of strongly correlated d-dimensional systems: The multiscale entanglement renormalization ansatz (MERA), tree tensor networks (TTN), projected entangled pair states (PEPS), or their infinite-size versions (iPEPS etc.). After the definition of a FOC, we present a method to contract it with the same computation and memory requirements as a corresponding QUOC, for which all fermionic operators are replaced by qudit operators of identical dimension. A given scheme for contracting the QUOC relates to an analogous scheme for the corresponding fermionic circuit, where additional marginal computational costs arise only from reordering of modes for operators occurring in intermediate stages of the contraction. Our result hence generalizes efficient schemes for the simulation of d-dimensional spin systems, as MERA, TTN, or PEPS to the fermionic case. △ Less

Submitted 13 January, 2010; v1 submitted 21 July, 2009; originally announced July 2009.

Comments: 12 pages, 9 pdf figures; published version

Journal ref: Phys. Rev. A 80, 042333 (2009)

Unitary circuits for strongly correlated fermions

Authors: C. Pineda, T. Barthel, J. Eisert

Abstract: We introduce a scheme for efficiently describing pure states of strongly correlated fermions in higher dimensions using unitary circuits featuring a causal cone. A local way of computing local expectation values is presented. We formulate a dynamical reordering scheme, corresponding to time-adaptive Jordan-Wigner transformation, that avoids nonlocal string operators. Primitives of such a reorderin… ▽ More We introduce a scheme for efficiently describing pure states of strongly correlated fermions in higher dimensions using unitary circuits featuring a causal cone. A local way of computing local expectation values is presented. We formulate a dynamical reordering scheme, corresponding to time-adaptive Jordan-Wigner transformation, that avoids nonlocal string operators. Primitives of such a reordering scheme are highlighted. Fermionic unitary circuits can be contracted with the same complexity as in the spin case. The scheme gives rise to a variational description of fermionic models not suffering from a sign problem. We present numerical examples on $9\times 9$ and $6\times 6$ fermionic lattice model to show the functioning of the approach. △ Less

Submitted 17 May, 2010; v1 submitted 5 May, 2009; originally announced May 2009.

Comments: 5 pages, 3 figures, numerical example added, small typographic errors corrected

Journal ref: Phys. Rev. A 81, 050303(R) (2010)

Entanglement entropy in collective models

Authors: J. Vidal, S. Dusuel, T. Barthel

Abstract: We discuss the behavior of the entanglement entropy of the ground state in various collective systems. Results for general quadratic two-mode boson models are given, yielding the relation between quantum phase transitions of the system (signaled by a divergence of the entanglement entropy) and the excitation energies. Such systems naturally arise when expanding collective spin Hamiltonians at le… ▽ More We discuss the behavior of the entanglement entropy of the ground state in various collective systems. Results for general quadratic two-mode boson models are given, yielding the relation between quantum phase transitions of the system (signaled by a divergence of the entanglement entropy) and the excitation energies. Such systems naturally arise when expanding collective spin Hamiltonians at leading order via the Holstein-Primakoff mapping. In a second step, we analyze several such models (the Dicke model, the two-level BCS model, the Lieb-Mattis model and the Lipkin-Meshkov-Glick model) and investigate the properties of the entanglement entropy in the whole parameter range. We show that when the system contains gapless excitations the entanglement entropy of the ground state diverges with increasing system size. We derive and classify the scaling behaviors that can be met. △ Less

Submitted 22 January, 2007; v1 submitted 30 October, 2006; originally announced October 2006.

Comments: 11 pages, 7 figures

Journal ref: J.Stat.Mech.0701:P01015,2007

Entanglement Entropy beyond the Free Case

Authors: T. Barthel, S. Dusuel, J. Vidal

Abstract: We present a perturbative method to compute the ground state entanglement entropy for interacting systems. We apply it to a collective model of mutually interacting spins in a magnetic field. At the quantum critical point, the entanglement entropy scales logarithmically with the subsystem size, the system size, and the anisotropy parameter. We determine the corresponding scaling prefactors and e… ▽ More We present a perturbative method to compute the ground state entanglement entropy for interacting systems. We apply it to a collective model of mutually interacting spins in a magnetic field. At the quantum critical point, the entanglement entropy scales logarithmically with the subsystem size, the system size, and the anisotropy parameter. We determine the corresponding scaling prefactors and evaluate the leading finite-size correction to the entropy. Our analytical predictions are in perfect agreement with numerical results. △ Less

Submitted 28 November, 2006; v1 submitted 16 June, 2006; originally announced June 2006.

Comments: 4 pages, 3 figures, published version

Journal ref: Phys.Rev.Lett.97:220402,2006

Entanglement scaling in critical two-dimensional fermionic and bosonic systems

Authors: Thomas Barthel, Ming-Chiang Chung, Ulrich Schollwoeck

Abstract: We relate the reduced density matrices of quadratic bosonic and fermionic models to their Green's function matrices in a unified way and calculate the scaling of bipartite entanglement of finite systems in an infinite universe exactly. For critical fermionic 2D systems at T=0, two regimes of scaling are identified: generically, we find a logarithmic correction to the area law with a prefactor de… ▽ More We relate the reduced density matrices of quadratic bosonic and fermionic models to their Green's function matrices in a unified way and calculate the scaling of bipartite entanglement of finite systems in an infinite universe exactly. For critical fermionic 2D systems at T=0, two regimes of scaling are identified: generically, we find a logarithmic correction to the area law with a prefactor dependence on the chemical potential that confirms earlier predictions based on the Widom conjecture. If, however, the Fermi surface of the critical system is zero-dimensional, we find an area law with a sublogarithmic correction. For a critical bosonic 2D array of coupled oscillators at T=0, our results show that entanglement follows the area law without corrections. △ Less

Submitted 4 February, 2006; v1 submitted 3 February, 2006; originally announced February 2006.

Comments: 4 pages, 4 figures

Journal ref: Phys. Rev. A 74, 022329 (2006)

Entanglement and boundary critical phenomena

Authors: Huan-Qiang Zhou, Thomas Barthel, John Ove Fjaerestad, Ulrich Schollwoeck

Abstract: We investigate boundary critical phenomena from a quantum information perspective. Bipartite entanglement in the ground state of one-dimensional quantum systems is quantified using the Renyi entropy S_alpha, which includes the von Neumann entropy (alpha=1) and the single-copy entanglement (alpha=infinity) as special cases. We identify the contribution from the boundary entropy to the Renyi entro… ▽ More We investigate boundary critical phenomena from a quantum information perspective. Bipartite entanglement in the ground state of one-dimensional quantum systems is quantified using the Renyi entropy S_alpha, which includes the von Neumann entropy (alpha=1) and the single-copy entanglement (alpha=infinity) as special cases. We identify the contribution from the boundary entropy to the Renyi entropy, and show that there is an entanglement loss along boundary renormalization group (RG) flows. This property, which is intimately related to the Affleck-Ludwig g-theorem, can be regarded as a consequence of majorization relations between the spectra of the reduced density matrix along the boundary RG flows. We also point out that the bulk contribution to the single-copy entanglement is half of that to the von Neumann entropy, whereas the boundary contribution is the same. △ Less

Submitted 30 November, 2005; originally announced November 2005.

Comments: 4 pages, 2 figures

Journal ref: Phys. Rev. A 74, 050305(R) (2006)