Matrix product density operator (MPDO) provides an efficient tensor network representation of mixed states on one-dimensional quantum many-body systems. We study a real-space renormalization group transformation of MPDOs represented by a circuit of local quantum channels. We require that the renormalization group flow is exact, in the sense that it exactly preserves the correlation between the coarse-grained sites and is therefore invertible by another circuit of local quantum channels. Unlike matrix product states (MPS), which always have a well-defined isometric renormalization transformation, we show that general MPDOs do not necessarily admit a converging exact renormalization group flow. We then introduce a subclass of MPDOs with a well-defined renormalization group flow, and show the structure of the MPDOs in the subclass as a representation of a pre-bialgebra structure. As a result, such MPDOs obey generalized symmetry represented by matrix product operator algebras associated with the pre-bialgebra. We also discuss implications with the classification of mixed-state quantum phases.
Matrix product density operator (MPDO) provides an efficient tensor network representation of mixed states on one-dimensional quantum many-body systems. We study a real-space renormalization group transformation of MPDOs represented by a circuit of local quantum channels. We require that the renormalization group flow is exact, in the sense that it exactly preserves the correlation between the coarse-grained sites and is therefore invertible by another circuit of local quantum channels. Unlike matrix product states (MPS), which always have a well-defined isometric renormalization transformation, we show that general MPDOs do not necessarily admit a converging exact renormalization group flow. We then introduce a subclass of MPDOs with a well-defined renormalization group flow, and show the structure of the MPDOs in the subclass as a representation of a pre-bialgebra structure. As a result, such MPDOs obey generalized symmetry represented by matrix product operator algebras associated with the pre-bialgebra. We also discuss implications with the classification of mixed-state quantum phases.
Tensor network methods provide powerful analytical and numerical tools for characterizing quantum phases of matter. While the mathematical structure of matrix product states (MPS) is well understood through the MPS fundamental theorem, an analogous understanding for mixed-state tensor networks remains largely absent: if two purification tensors generate the same density matrix, how are they related? In this work, we initiate the study of a fundamental theorem for matrix product locally purifiable density operators (LPDOs) and focus on sequentially generated LPDOs (sLPDOs), a broad subclass admitting an interpretation in terms of successive applications of quantum channels on an initial state. We prove that, under suitable invertibility or cyclic conditions, two sLPDO representations generate the same density matrix for arbitrary system sizes if and only if they are related by a matrix product isometry acting on the purification bonds. Beyond the sLPDO setting, we provide a counterexample that suggests an obstruction to a general fundamental theorem for LPDOs with periodic boundary conditions. Finally, we discuss implications for mixed-state symmetry-protected topological phases, including the possibility of nontrivial phases protected only by weak symmetry conditions.
Understanding quantum phases of matter is a fundamental goal in physics.For pure states, the representatives of phases are the ground states of locally interacting Hamiltonians, which are also renormalization fixed points (RFPs).These RFP states are exactly described by tensor networks.Extending this framework to mixed states, matrix product density operators (MPDOs) which are RFPs are believed to encapsulate mixed-state phases of matter in one dimension.However, it remains an open question whether, by analogy, such MPDO RFPs can be realized as steady states of local Lindbladians.In this work, we resolve this question by analytically constructing parent Lindbladians for MPDO RFPs.These Lindbladians are local, frustration-free, and exhibit minimal steady-state degeneracy.Interestingly, we find that parent Lindbladians possess a rich structure, including non-commutativity for certain classes of RFPs, distinguishing them from their Hamiltonian counterparts.
Renormalization provides a framework for relating microscopic models of physical systems to effective descriptions at larger length scales. This procedure is studied for the boundary states of non-chiral two-dimensional topologically ordered models. The initial data consist of renormalization fixed points built from representations of finite-dimensional C∗-Hopf algebras, which are then perturbed by uniform on-site noise quantum channels and repeatedly coarse-grained. The resulting flows admit an intrinsic algebraic description in terms of completely positive maps on the C∗-Hopf algebra or, equivalently, positive linear functionals on its enveloping C∗-Hopf algebra. Their iteration is governed by convolution powers, and convergent trajectories yield new matrix product density operator fixed points, described by finite ∗-quantum hypergroups. This provides a concrete physical interpretation of such structures. For finite group algebras and their duals, we provide explicit classifications via Goursat's lemma for groups. Finally, we formulate and prove a quantum generalization of Goursat's lemma for finite-dimensional C∗-Hopf algebras, a result of independent interest, which gives an explicit structural description of all convergent renormalization trajectories.
Understanding quantum phases of matter is a fundamental goal in physics. For pure states, the representatives of phases are the ground states of locally interacting Hamiltonians, which are also renormalization fixed points (RFPs). These RFP states are exactly described by tensor networks. Extending this framework to mixed states, matrix product density operators (MPDOs) that are RFPs are believed to encapsulate mixed-state phases of matter in one dimension, where nontrivial topological phases have already been shown to exist. However, to better motivate the physical relevance of those states, and in particular the physical relevance of the recently found non trivial phases, it remains an open question whether such MPDO RFPs can be realized as steady states of local Lindbladians. In this work, we resolve this question by analytically constructing parent Lindbladians for MPDO RFPs. These Lindbladians are local, frustration free, and exhibit minimal steady-state degeneracy. Interestingly, we find that parent Lindbladians possess a rich structure that distinguishes them from their Hamiltonian counterparts. In particular, we uncover an intriguing connection between the noncommutativity of the Lindbladian terms and the fact that the corresponding MPDO RFP belongs to a nontrivial phase.
The classification of topological phases of matter is fundamental to understand and characterize the properties of quantum materials. In this paper we study phases of matter in one-dimensional open quantum systems. We define two mixed states to be in the same phase if both states can be transformed into the other by a shallow circuit of local quantum channels. We aim to understand the phase diagram of matrix product density operators that are renormalization fixed points. These states arise, for example, as boundaries of two-dimensional topologically ordered states. We first construct families of such states based on C*-weak Hopf algebras, the algebras whose representations form a fusion category. More concretely, we provide explicit local fine-graining and local coarse-graining quantum channels for the renormalization procedure of these states. Finally, we prove that those arising from C*-Hopf algebras are in the trivial phase.
We study the conditions under which Matrix Product States (MPS) or Matrix Product Operators are exact eigenvectors of an extensive local operator, such as a Hamiltonian. By suitably choosing the local operator, this covers a wide range of settings: Exact eigenstates of Hamiltonians, including scar states, exact MPS trajectories for driven quantum systems, steady states of local Lindbladians, generalized symmetries of either Hamiltonians or density matrices, and many more. Our key result is that a local, fixed-size equation---namely, how a single term in the operator acts on a block of tensors---provides a necessary and sufficient condition for exact solutions. This local characterization allows us to obtain the full space of MPS solutions to all of the aforementioned problems; in particular, we exemplify the power of our results by recovering the quantum group symmetries of the XXZ model. We also discuss applications to numerical algorithms with MPS and the generalization of our results to 2D, i.e., projected entangled pair states (PEPS).