Table of Contents
Fetching ...

A New Framework for Quantum Phases in Open Systems: Steady State of Imaginary-Time Lindbladian Evolution

Yuchen Guo, Ke Ding, Shuo Yang

TL;DR

This work addresses the challenge of defining quantum phases in open systems, where real-time Lindbladian steady states often fail to capture phase transitions or converge to pure-state limits. It develops an imaginary-time Lindbladian framework based on the imaginary-Liouville operator $\mathcal{L}^I$, with a gap $\Delta^I$ that governs the open-system phase structure. The authors construct explicit realizations, show that finite-temperature Gibbs states of stabilizer Hamiltonians arise as steady states of $\mathcal{L}^I$, and analyze a concrete open-system phase diagram with $\mathbb{Z}_2^{\sigma}\times \mathbb{Z}_2^{\tau}$ symmetry, revealing ASPT, symmetry-breaking, and trivial sectors as well as universal critical properties like nonanalytic observables, diverging correlation lengths, and gap closing. A key result is the connection in 1D between $\Delta^I \to 0$ and divergent Markov length, linking the spectrum of $\mathcal{L}^I$ to long-range correlations, which supports the proposed phase classification. The paper also contrasts imaginary-time with real-time Lindbladian formalisms, showing that the latter can obscure phase distinctions, thereby highlighting the practical relevance of the imaginary-time approach for open-system quantum phase transitions.

Abstract

This study delves into the concept of quantum phases in open quantum systems, examining the shortcomings of existing approaches that focus on steady states of Lindbladians and highlighting their limitations in capturing key phase transitions. In contrast to these methods, we introduce the concept of imaginary-time Lindbladian evolution as an alternative framework. This new approach defines gapped quantum phases in open systems through the spectrum properties of the imaginary-Liouville superoperator. We find that, in addition to all pure gapped ground states, the Gibbs state of a stabilizer Hamiltonian at any finite temperature can also be characterized by our scheme, demonstrated through explicit construction. Moreover, the closing of the imaginary Liouville gap is associated with the divergence of the Markov length, which has recently been proposed as an indicator of phase transitions in open quantum systems. To illustrate the effectiveness of this framework, we apply it to investigate the phase diagram for open systems with $\mathbb{Z}_2^σ\times \mathbb{Z}_2^τ$ symmetry, including cases with nontrivial average symmetry protected topological order or spontaneous symmetry breaking order. Our findings demonstrate universal properties at quantum criticality, such as nonanalytic behaviors of steady-state observables, divergence of correlation lengths, and closing of the imaginary-Liouville gap. These results advance our understanding of quantum phase transitions in open quantum systems. In contrast, we find that the steady states of real-time Lindbladians do not provide an effective framework for characterizing phase transitions in open systems.

A New Framework for Quantum Phases in Open Systems: Steady State of Imaginary-Time Lindbladian Evolution

TL;DR

This work addresses the challenge of defining quantum phases in open systems, where real-time Lindbladian steady states often fail to capture phase transitions or converge to pure-state limits. It develops an imaginary-time Lindbladian framework based on the imaginary-Liouville operator , with a gap that governs the open-system phase structure. The authors construct explicit realizations, show that finite-temperature Gibbs states of stabilizer Hamiltonians arise as steady states of , and analyze a concrete open-system phase diagram with symmetry, revealing ASPT, symmetry-breaking, and trivial sectors as well as universal critical properties like nonanalytic observables, diverging correlation lengths, and gap closing. A key result is the connection in 1D between and divergent Markov length, linking the spectrum of to long-range correlations, which supports the proposed phase classification. The paper also contrasts imaginary-time with real-time Lindbladian formalisms, showing that the latter can obscure phase distinctions, thereby highlighting the practical relevance of the imaginary-time approach for open-system quantum phase transitions.

Abstract

This study delves into the concept of quantum phases in open quantum systems, examining the shortcomings of existing approaches that focus on steady states of Lindbladians and highlighting their limitations in capturing key phase transitions. In contrast to these methods, we introduce the concept of imaginary-time Lindbladian evolution as an alternative framework. This new approach defines gapped quantum phases in open systems through the spectrum properties of the imaginary-Liouville superoperator. We find that, in addition to all pure gapped ground states, the Gibbs state of a stabilizer Hamiltonian at any finite temperature can also be characterized by our scheme, demonstrated through explicit construction. Moreover, the closing of the imaginary Liouville gap is associated with the divergence of the Markov length, which has recently been proposed as an indicator of phase transitions in open quantum systems. To illustrate the effectiveness of this framework, we apply it to investigate the phase diagram for open systems with symmetry, including cases with nontrivial average symmetry protected topological order or spontaneous symmetry breaking order. Our findings demonstrate universal properties at quantum criticality, such as nonanalytic behaviors of steady-state observables, divergence of correlation lengths, and closing of the imaginary-Liouville gap. These results advance our understanding of quantum phase transitions in open quantum systems. In contrast, we find that the steady states of real-time Lindbladians do not provide an effective framework for characterizing phase transitions in open systems.
Paper Structure (29 sections, 80 equations, 7 figures)

This paper contains 29 sections, 80 equations, 7 figures.

Figures (7)

  • Figure 1: Schematic diagram for the definition of quantum phases in (a) closed systems and (b-c) open systems.
  • Figure 2: Calculation of CMI and Markov length for a mixed state represented by a uniform PEPO in 2D open systems. (a) PEPO representation and division of subregions. (b) 1D Transfer operator $\mathbb{E}$ and $\mathbb{E}_n$ for linear and Rényi-$n$ correlators (even $n$). We have grouped the virtual indices (red legs) of different sites, represented by thicker legs. (c) Eigenvalues and left or right eigenvectors for $\mathbb{E}$ and $\mathbb{E}_n$. (d) Calculation of Rényi-$n$ entropy with tensor contraction.
  • Figure 3: Phase diagram of our model. (a) Correlation length $\xi$ of linear correlation functions. (b) Symmetry indicator $\braket{U}^{(2)}$ in Eq. \ref{['Equ: Z2']} for $\mathbb{Z}_2^{\sigma}$. (c) Expectation value of string order $\braket{O_{\rm str}}$. (d) Imaginary-Liouville spectrum for $\alpha=0.3$ and $N=12$ under PBC. (e) Entanglement entropy and entanglement spectrum along four axes. We mark the ground state degeneracy (GSD) under OBC and entanglement spectrum degeneracy (ESD) for each phase in the diagram.
  • Figure 4: Steady-state properties of real-time imaginary Lindbladian evolution. (a) Steady-state degeneracy for the left, upper, and lower panels, using the same set of Hamiltonian in Eq. \ref{['Equ: Ham']} and jump operators in Eq. \ref{['Equ: Jump']}. (b) Entanglement entropy and entanglement spectrum along four panels, targeting the same density matrices at four corners.
  • Figure S1: Calculation of correlation lengths. (a) The uniform MPS to represent the supervector $|\rho\rangle\!\rangle$. (b) The MPO to represent the density matrix $\rho$. (c) The linear expectation values $\braket{O}$. (d) The linear transfer matrix $\mathbb{E}$ and the correlation length $\xi$. (e) The Rényi-2 expectation values $\braket{O}^{(2)}$. (f) The Rényi-2 transfer matrix $\mathbb{E}_2$ and correlation length $\xi_2$.
  • ...and 2 more figures

Theorems & Definitions (4)

  • Definition 1
  • Definition 2
  • Definition 3
  • Definition 4