Abstract
The mathematical classification of topological phases of matter is a crucial step toward comprehending and characterizing the properties of quantum materials. In this study, our focus is on investigating phases of matter in one-dimensional open quantum systems. Our goal is to elucidate the emerging phase diagram of one-dimensional tensor network mixed states that act as renormalization fixed points. These operators hold special significance since, as we prove, they manifest as boundary states of two-dimensional topologically ordered states, encompassing all known two-dimensional topological phases. To achieve their classification we begin by constructing families of such states from C*-weak Hopf algebras, which are algebras with fusion categories as their representations, and we present explicit local fine-graining and coarse-graining quantum channels defining the renormalization procedure. Lastly, we prove that a subset of these states, originating from C*-Hopf algebras, are in the trivial phase.
Similar content being viewed by others
Data availability
Data sharing is not applicable to this article as no new data were created or analyzed in this study.
References
Anshu, A., Arad, I., Gosset, D.: An area law for 2d frustration-free spin systems. In: Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2022, pp. 12–18. Association for Computing Machinery, New York (2022)
Bachmann, S., Michalakis, S., Nachtergaele, B., Sims, R.: Automorphic equivalence within gapped phases of quantum lattice systems. Commun. Math. Phys. 309(3), 835–871 (2012)
Bardyn, C.-E., Baranov, M.A., Kraus, C.V., Rico, E., İmamoğlu, A., Zoller, P., Diehl, S.: Topology by dissipation. New J. Phys. 15(8), 085001 (2013)
Bardyn, C.-E., Baranov, M.A., Rico, E., İmamoğlu, A., Zoller, P., Diehl, S.: Majorana modes in driven-dissipative atomic superfluids with a zero Chern number. Phys. Rev. Lett. 109(13), 130402 (2012)
Böhm, G., Nill, F., Szlachányi, K.: Weak Hopf algebras: I. Integral theory and C*-structure. J. Algebra 221(2), 385–438 (1999)
Böhm, G., Szlachányi, K.: A coassociative C*-quantum group with nonintegral dimensions. Lett. Math. Phys. 38(4), 437–456 (1996)
Böhm, G., Szlachányi, K.: Weak Hopf algebras: II. Representation theory, dimensions, and the Markov trace. J. Algebra 233(1), 156–212 (2000)
Brandão, F.G.S.L., Cubitt, T.S., Lucia, A., Michalakis, S., Pérez-García, D.: Area law for fixed points of rapidly mixing dissipative quantum systems. J. Math. Phys. 56(10), 102202 (2015)
Bravyi, S., Hastings, M.B., Michalakis, S.: Topological quantum order: stability under local perturbations. J. Math. Phys. 51(9), 093512 (2010)
Bultinck, N., Mariën, M., Williamson, D., Şahinoğlu, M., Haegeman, J., Verstraete, F.: Anyons and matrix product operator algebras. Ann. Phys. 378, 183–233 (2017)
Chen, X., Gu, Z.-C., Wen, X.-G.: Local unitary transformation, long-range quantum entanglement, wave function renormalization, and topological order. Phys. Rev. B 82(15), 155138 (2010)
Chen, X., Gu, Z.-C., Wen, X.-G.: Classification of gapped symmetric phases in one-dimensional spin systems. Phys. Rev. B 83(3), 035107 (2011)
Cirac, J.I., Pérez-García, D., Schuch, N., Verstraete, F.: Matrix product density operators: renormalization fixed points and boundary theories. Ann. Phys. 378, 100–149 (2017)
Cirac, J.I., Pérez-García, D., Schuch, N., Verstraete, F.: Matrix product states and projected entangled pair states: concepts, symmetries, theorems. Rev. Mod. Phys. 93(4), 045003 (2021)
Cirac, J.I., Poilblanc, D., Schuch, N., Verstraete, F.: Entanglement spectrum and boundary theories with projected entangled-pair states. Phys. Rev. B 83(24), 245134 (2011)
Coser, A., Pérez-García, D.: Classification of phases for mixed states via fast dissipative evolution. Quantum 3, 174 (2019)
Diehl, S., Rico, E., Baranov, M.A., Zoller, P.: Topology by dissipation in atomic quantum wires. Nat. Phys. 7(12), 971–977 (2011)
Etingof, P., Gelaki, S., Nikshych, D., Ostrik, V.: Tensor Categories. American Mathematical Society (2016)
Etingof, P., Nikshych, D., Ostrik, V.: On fusion categories. Ann. Math. 162(2), 581–642 (2005)
Freedman, M., Kitaev, A., Larsen, M., Wang, Z.: Topological quantum computation. Bull. Am. Math. Soc. 40(1), 31–38 (2003)
Grusdt, F.: Topological order of mixed states in correlated quantum many-body systems. Phys. Rev. B 95(7), 075106 (2017)
Hastings, M.B.: An area law for one-dimensional quantum systems. J. Stat. Mech. Theory Exp. 2007(08), P08024–P08024 (2007)
Hastings, M.B., Wen, X.-G.: Quasiadiabatic continuation of quantum states: the stability of topological ground-state degeneracy and emergent gauge invariance. Phys. Rev. B 72(4), 045141 (2005)
Kac, G.I., Paljutkin, V.G.: Finite Group Rings, pp. 251–284. Trans. Moscow Math. Soc. (1967)
Kastoryano, M.J., Lucia, A., Pérez-García, D.: Locality at the boundary implies gap in the bulk for 2D PEPS. Commun. Math. Phys. 366(3), 895–926 (2019)
Kitaev, A.: Fault-tolerant quantum computation by anyons. Ann. Phys. 303(1), 2–30 (2003)
König, R., Pastawski, F.: Generating topological order: no speedup by dissipation. Phys. Rev. B 90(4), 045101 (2014)
Larson, R.G., Radford, D.E.: Finite dimensional cosemisimple Hopf algebras in characteristic 0 are semisimple. J. Algebra 117(2), 267–289 (1988)
Larson, R.G., Radford, D.E.: Semisimple Cosemisimple Hopf Algebras. Am. J. Math. 110(1), 187 (1988)
Levin, M.A., Wen, X.-G.: String-net condensation: a physical mechanism for topological phases. Phys. Rev. B 71(4), 045110 (2005)
Li, H., Haldane, F.D.M.: Entanglement spectrum as a generalization of entanglement entropy: identification of topological order in non-abelian fractional quantum hall effect states. Phys. Rev. Lett. 101(1), 010504 (2008)
Lieb, E.H., Robinson, D.W.: The finite group velocity of quantum spin systems. Commun. Math. Phys. 28(3), 251–257 (1972)
Molnár, A., Ruiz-de Alarcón, A., Garre-Rubio, J., Schuch, N., Cirac, J.I., Pérez-García, D.: Matrix Product Operator Algebras I: Representations of Weak Hopf Algebras and Projected Entangled Pair States
Montgomery, S.: Representation theory of semisimple Hopf algebras. Algebra-representation theory (Constanta, 2000), KW Roggenkamp and M Stefanescu editors. NATO Sci. Ser. Math. Phys. Chem 28, 189–218 (2001)
Nikshych, D.: Semisimple weak Hopf algebras. J. Algebra 275(2), 639–667 (2004)
Nill, F.: Axioms for weak bialgebras (1998). arXiv:math/9805104
Ogata, Y.: A classification of pure states on quantum spin chains satisfying the split property with on-site finite group symmetries. Trans. Am. Math. Soc. Ser. B 8(2), 39–65 (2021)
Pérez-García, D., Pérez-Hernández, A.: Locality estimates for complex time evolution in 1D. Commun. Math. Phys. 399(2), 929–970 (2023)
Pollmann, F., Turner, A.M., Berg, E., Oshikawa, M.: Entanglement spectrum of a topological phase in one dimension. Phys. Rev. B 81(6), 064439 (2010)
Şahinoğlu, M.B., Williamson, D., Bultinck, N., Mariën, M., Haegeman, J., Schuch, N., Verstraete, F.: Characterizing topological order with matrix product operators. Ann. Henri Poincaré 22(2), 563–592 (2021)
Schuch, N., Pérez-García, D., Cirac, I.: Classifying quantum phases using matrix product states and projected entangled pair states. Phys. Rev. B 84(16), 165139 (2011)
Schuch, N., Poilblanc, D., Cirac, J.I., Pérez-García, D.: Topological order in the projected entangled-pair states formalism: transfer operator and boundary hamiltonians. Phys. Rev. Lett. 111(9), 090501 (2013)
Wolf, M.M., Verstraete, F., Hastings, M.B., Cirac, J.I.: Area laws in quantum systems: mutual information and correlations. Phys. Rev. Lett. 100(7), 070502 (2008)
Acknowledgements
This work has received support from the European Union’s Horizon 2020 program through the ERC CoG SEQUAM (No. 863476) and the ERC CoG GAPS (No. 648913), from the Spanish Ministry of Science and Innovation through the Agencia Estatal de Investigación MCIN/AEI/10.13039/501100011033 (PID2020-113523GB-I00 and grant BES-2017-081301 under the “Severo Ochoa Programme for Centres of Excellence in R &D” CEX2019-000904-S and ICMAT Severo Ochoa project SEV-2015-0554), from CSIC Quantum Technologies Platform PTI-001, from Comunidad Autónoma de Madrid through the grant QUITEMAD-CM (P2018/TCS-4342), and the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) through the TRR 352 (Project-ID 470903074).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Diagrammatic Language for Tensor Networks
In this section, we introduce a slightly adapted version of the usual graphical notation from the literature of tensor networks. From now on, let V be a finite-dimensional complex vector space. First, a vector \(v\in V\) is depicted by a shape (e.g., a circle) and a line sticking out of it, associated to the vector space and labeled accordingly; we convey to draw the arrow outgoing from the shape. Second, any element \(\phi \in V^*\) is a vector in \(V^*\) or a linear functional defined on V, and we alternatively draw it with an arrow ingoing to the shape. Pictorially,
Note that, although we have represented the previous elements using straight horizontal lines, no reading order has been prescribed. Here, we identify each finite-dimensional complex vector space V and its double dual \(V^{**}\), which are canonically isomorphic. Therefore, one can regard any vector \(v\in V\) as a linear functional on \(V^*\) and thus, exchange the orientation of any line by labeling the dual:
Now, let V and W be two finite-dimensional complex vector spaces. Any vector \(v\in V\otimes W\) in the tensor product is depicted by a shape with two lines, e.g.,
By virtue of the previous identification, one can rewrite
In addition, the tensor product of two vectors \(v\in V\) and \(w\in W\) is depicted by placing both representations in the same picture, next to each other:
Note that, although the labels V and W should allow to identify the corresponding indices, even if \(V = W\), it may not be enough. One solution, used in this paper, consists on prescribing colors to each index. Additionally, note that we have implicitly identified \(V\otimes W\) and \(W\otimes V\), since no order is prescribed in the previous picture. However, these are again canonically isomorphic and no preference is considered here. In this context, it is natural to represent the action of the canonical pairing by joining the corresponding lines, i.e.,
On the other hand, since \(\textrm{Hom}(V,W)\) is canonically isomorphic to \(V^*\otimes W\), we can also represent any linear map \(F: V \rightarrow W\) in the following form:
Remarkably, the distinction between \(F:V \rightarrow W\) and its transpose \(F^{\textrm{t}}: W^* \rightarrow V^*\), is only reflected in the diagram by the arrows and their labels.
The canonical regular element
Here we recall additional results on the framework of C*-weak Hopf algebra not introduced in the main text. As a matter of fact, we are interested in describing the canonical regular element in terms of these. First, it is well known that in any C*-weak Hopf algebra A there exists a unique non-degenerate two-sided normalized integral \(h\in A\), known as the Haar integral of A; see Definition 3.24 and Theorem 4.5 in [5]. In particular,
By self-duality, let \(\hat{h}\in A^*\) denote the Haar integral of the dual C*-weak Hopf algebra. We also recall the existence of \(\Lambda \in A\), known as the dual left-integral of \(\hat{h}\), such that
see, e.g., Theorem 3.18 and Lemma 3.20 in [5]. Second, there is a unique positive element \(g\in A\) implementing the antipode squared as an inner automorphism, i.e.,
for all \(x\in A\), among other properties, known as the canonical group-like element of A; see Proposition 4.9 in [5]. As its name implies, it is a group-like element, i.e., it satisfies the following property:
Moreover, it can be decomposed in the form \(g = g_L g_R^{-1}\) for \(g_L,g_R > 0\) given by
By self-duality, we denote by \(\hat{g}\in A^*\) the canonical group-like element of the dual C*-weak Hopf algebra. Finally, let us recall the following formula.
Proposition B.1
For any C*-weak Hopf algebra,
for all \(x\in A\). In particular,
Proof
See Scholium 2.7 and Lemma 4.13 in [5] for a proof. \(\square \)
Proposition B.2
(see [35]) For any biconnected C*-weak Hopf algebra A,
for all sectors \(\alpha = 1,\ldots ,s\).
Proposition B.3
For any biconnected C*-weak Hopf algebra
for all \(x\in A\) and
Proof
There exists a well-known element, called the S-invariant trace functional of A [5], given by the expression \(\chi _1(g^{-1})\chi _1 + \cdots + \chi _s(g^{-1})\chi _s\). By virtue of Theorem 2.8 and Proposition B.2, one easily checks that both elements are proportional. \(\square \)
We make use of the explicit expression of the linear map T in Theorem 2.8:
and the fact that \(\omega \) is invariant under both this map and the antipode:
See Ref. [33] for proofs of both results.
Finally, let us particularize the previous notions and results in the context of C*-Hopf algebras. We refer the reader to Ref. [34] for more details.
Proposition B.4
Let A be a C*-Hopf algebra. Then, the following hold:
-
(1)
\(S^2 = \textrm{Id}\) and the canonical grouplike element is \(g = 1\);
-
(2)
\(\delta _\alpha = \dim _{\mathbb {C}}(V_\alpha )\) for all sectors \(\alpha =1,\ldots , s\);
-
(3)
the dual left integral of the Haar measure \(\hat{h}\in A^*\) is \(\textrm{t} = \mathcal {D}^2 \Omega \);
-
(4)
the canonical regular element and the Haar integral coincide, i.e., \(\Omega = h\);
-
(5)
the linear map \(T:A \rightarrow A\) coincides with the antipode;
-
(6)
\(g_L = g_R = \mathcal {D}^{-1} 1\).
Proof
(1) It is a well-known result that for C*-Hopf algebras it holds that \(S^2 = \textrm{Id}\) [28, 29]. Since \(1\in A\) satisfies the defining properties of the canonical group-like element too, which is unique, \(g = 1\). (2) Recall that \(\varepsilon (1) = 1\) by hypothesis and hence by Proposition B.2 it follows that
for all \(\alpha =1,\ldots , s\). (3) Since C*-Hopf algebras are self-dual, \(\hat{g} = \varepsilon \), and therefore \(\Omega = \mathcal {D}^{-2}\varepsilon (1)^{-1} \textrm{t} = \mathcal {D}^{-2} \textrm{t}\), where the first expression follows from Proposition B.3. (4) Every C*-Hopf algebra is unimodular, see [34], i.e., every left integral is a two-sided integral, and the subspace of two-sided integrals is one-dimensional. Hence, \(\textrm{t} = \eta h\) for some \(\eta \in \mathbb {C}\). Since both \(\Omega \) and h are projectors, \(\eta = \mathcal {D}^{2}\). (5) This follows trivially as a consequence of Eq. 59 since \(\hat{g} =\varepsilon \). (6) Recall the definition of \(g_L\) and \(g_R\) in Eq. 55 and consider both (3) and (4). \(\square \)
Proof of Lemma 3.5
Here we restate and prove the following result.
Lemma 3.5
Let A be a biconnected C*-weak Hopf algebra. Then,
for some \(\xi \in A\). Furthermore, \(\xi \) is uniquely determined, positive, invertible and
it is invariant under \(T:A\rightarrow A\) and satisfies the relation
for all \(x\in A\). In addition,
for all \(\alpha = 1, \ldots , s\). Moreover, \(\xi = \xi _L \xi _R\) for two positive elements
Dually, let us denote \(\hat{\xi } = \hat{\xi }_L \hat{\xi }_R \in A^*\) their dual counterparts, then
for all \(x\in A\). Finally, if A is a C*-Hopf algebra, then
Proof
Since \(\Omega \in A\) is non-degenerate there exists \(f\in A^*\) such that
On the other hand, since \(\omega \in A^*\) is non-degenerate,
for all \(x\in A\), for some \(\xi \in A\). Therefore,
where in the second equality we have used that T is involutive. Recall that \(\omega \in A^*\) is a trace-like linear functional of \(A^*\). It follows by Eq. 15 that
and hence \(\xi \in A\) is invertible. Its inverse is then trivially given by the expression
where the last equality follows from Eq. 60. Let us prove now Eq. 34. By virtue of Proposition B.3, it is easy to conclude from Eq. 30 that \(\xi \in A\) is necessarily given by the expression
Consequently, a natural choice of positive elements \(\xi _L\in A^L\) and \(\xi _R\in A^R\) is
Since \(g_L,g_R > 0\), \(\xi \) is strictly positive, as we wanted to prove. We now prove that \( T(\xi ) = \xi \). Note by the previous expressions that it turns out to be enough to check that \(T(g_L) = g_R\) and \(T(g_R) = g_L\). We refer to Eqs. 75 and 76 below for elementary proofs of these facts. In addition, note that Eq. 33 is straightforward by the eigenvalue identity in Eq. 16. See Scholium 2.7 and Lemma 4.13 from [5] for a proof of Eq. 35. Let us now move to the proof of Eq. 32. For simplicity, we prove the equivalent formula
for all \(x\in A\). To this end, we recall first that
for all \(y\in A\), see Proposition B.1. On the other hand,
for all \(y\in A\). Thus,
for all \(x\in A\), as we wanted to prove. Finally, if A is a C*-Hopf algebra, it is already known by Proposition B.4 that \(g_L = g_R = \mathcal {D}^{-1} 1\). This, together with the definition of \(\xi \) in Lemma 3.5 and the fact that \(\varepsilon (1) = 1\), leads to the expressions
as we wanted to prove. \(\square \)
Proof of Lemma 5.2
In this appendix, we present a proof of Lemma 5.2. To begin, we establish the following auxiliary result, which is connected to the trace-preserving condition of the gluing map.
Lemma D.1
Let A be a C*-Hopf algebra. Then,
for all \(x\in A\).
Proof
Fix \(x\in A\), since \(\Omega \in A\) is non-degenerate, there exists \(f\in A^*\) such that
As an immediate consequence,
where the last equality follows from Lemma 3.5. Then, it is easy to conclude that
as we wanted to prove. \(\square \)
Lemma 5.2
For all C*-Hopf algebras A and all positive non-zero \(x\in A\), there exists a quantum channel \(\mathcal {F}_x:\textrm{End}(V\otimes V)\rightarrow \textrm{End}(V\otimes V)\) such that
for all \(m,n \ge 1\).
Proof
Fix any positive non-zero \(x\in A\). We recall first the definition of the gluing map previously given in Sect. 5. For the sake of simplicity, let
for the linear map \(\mathcal {F}:\textrm{End}(V\otimes V)\rightarrow \textrm{End}(V)\) defined by the expression
for all \(X,Y\in \textrm{End}(V)\). Then, it is enough to check that
To this end, let us recall that, in the case of C*-Hopf algebras,
where the first equality is stated in Lemma 3.5 and the second equality follows by applying the counit in the first one, since \(\varepsilon (1) = 1\). Then,
This calculation can be explained as follows. In the first place, we have replaced the trace with the canonical regular element \(\omega \in A^*\) since is cocentral, the weight \(b(\omega )\), which is central, defines a linear extension of \(\omega \) to the representation space. In the second and third steps we have applied the pulling-through identity; see Eq. 15. Finally, we apply twice Eq. 73 to get rid of \(\Omega \) and the coefficients \(\omega ( \Omega )^{-1}\). As an aside, note that \(\omega ( \Omega _{(1)} ) \, \Omega _{(2)} = \Omega _{(1)} \, \omega ( \Omega _{(2)} ) \) since \(\Omega \) is cocentral. Since \(\mathcal {T}\) is a quantum channel it only remains to prove that \(\mathcal {F}\) is also a quantum channel. On the one hand, that \(\mathcal {F}\) is trace-preserving is a straightforward consequence of Lemma D.1:
for all \(X,Y\in \textrm{End}(V)\). On the other hand, in order to prove that \(\mathcal {F}\) is completely positive, let \(x = y y^*\) for some \(y\in A\). Then, we can rewrite it as follows
where we have defined
Therefore, \(\mathcal {F}\) is completely positive. Indeed, in the first step we have applied that the comultiplication is multiplicative and the \(*\)-operation is a coalgebra homomorphism; see Definitions 2.1. In the second and third steps we have used that \(S:A\rightarrow A\) is an algebra anti-homomorphism and the relation between the antipode and the \(*\)-operation; see Eq. 11. Note that, for C*-Hopf algebras, \(S = S^{-1}\); see Proposition B.4. The fourth step is a simple consequence of the fact that \(\Phi \) is a \(*\)-representation and the cyclic property of the trace. Finally, the middle term can be rewritten in the form
since \(b(\omega )\) is positive and central and \(\Phi \) is a \(*\)-representation. \(\square \)
Proofs of Remark 5.4 and Lemma 5.6
In this appendix we prove Remark 5.4 and Lemma 5.6. In order to provide an analogous construction of this gluing map to the one given in the C*-Hopf algebra case, we first derive an appropriate version of the usual pulling-through identity in Eq. 15 to the trivial sector.
Lemma E.1
Let A be a biconnected C*-weak Hopf algebra. Then,
for all \(x_L\in A^L\) and \(y_R\in A^R\).
Proof
First, recall Equations 2.31a and 2.31b from [5]:
for all \(x_L\in A^L\) and \(y_R\in A^R\). This, together with Definitions 2.7, leads by taking coproducts accordingly to the following identities:
respectively, for all \(x_L\in A^L\) and \(y_R\in A^R\). Finally, since \(A^L\) and \(A^R\) commute, we conclude the result by combining both identities. \(\square \)
In addition, we adapt slightly Lemma 3.5 to the trivial sector, which is a key property concerning complete positivity of the gluing map in Lemma 5.6. The following result solves this problem.
Lemma E.2
Let A be a biconnected C*-weak Hopf algebra. Then,
for all \(x_L\in A^L\) and \(y_R\in A^R\).
Proof
In the first place, note that \(T:A\rightarrow A\) coincides with S and \(S^{-1}\) restricted to \(A^L\) and \(A^R\), respectively. Indeed, by virtue of Eq. 59, Proposition B.1 and Eq. 11,
for all \(x_L\in A^L\) and \(y_R\in A^R\). Then, recall Lemma 3.5 to conclude that
where in the last step we have used that \(S(x_L)\in A^R\) and \(A^L\) and \(A^R\) commute. The remaining identity is proved similarly. \(\square \)
The following auxiliary results arise naturally in the course of the derivation of the properties of the gluing map.
Lemma E.3
Let A be a biconnected C*-weak Hopf algebra. Then,
Proof
It is easy to check that
where the first step is a consequence of Proposition B.3, the second follows from the definition of dual left integral in Eq. 52 and the third equality is due to Proposition B.1. \(\square \)
Lemma E.4
Let A be a biconnected C*-weak Hopf algebra. Then,
Proof
Equivalently, we will check that
for all \(\phi ,\psi \in A^*\). Recall that \({\hat{h}}\in A^*\) is a one-dimensional projector supported on the trivial sector [5, Lemma 4.8]. Hence,
for all \(\phi ,\psi \in A^*\) and all sectors \(a=1,\ldots ,r\). In particular
for all \(f\in A^*\). Thus, we conclude that:
where the first equality follows from Eq. 80 using \(f:= \phi \hat{h}\psi \), the second equality is simply Eq. 79 and the third equality follows from Eq. 80 considering \(f:= \phi ,\psi \). \(\square \)
Lemma E.5
Let A be a biconnected C*-weak Hopf algebra. Then,
Proof
As a consequence of Definitions 2.7 and Lemma 3.5,
Then, the statement follows from the following calculation:
as we wanted to prove. \(\square \)
Lemma E.6
Let A be a biconnected C*-weak Hopf algebra. Then,
Proof
First, let us compute the constant \(\omega (1)\) in a more operative way. The following calculation is an immediate consequence of Proposition B.3 and Eq. 67:
Now, by an analogous reasoning as in the previous proof:
as we wanted to prove. \(\square \)
Remark 5.4
There are no trace-preserving gluing maps for general biconnected C*-weak Hopf algebras such that Eq. 49 holds for all \(x\in A\).
Proof
Suppose by contradiction that there exists a trace-preserving linear map \(\mathcal {F}:\textrm{End}(V\otimes V)\rightarrow \textrm{End}(V\otimes V)\) that is a gluing map. In particular,
On the one hand, after performing a partial trace on the second and third subsystems, the left-hand side would be trivially given by the product state
by virtue of Lemma 3.5. However, the right-hand side would take the form
which is not a product state. This contradicts the previous equation. \(\square \)
Lemma 5.6
For all biconnected C*-weak Hopf algebras, there exists a quantum channel \(\mathcal {F}_1:\textrm{End}(V\otimes V)\rightarrow \textrm{End}(V\otimes V)\) such that
for all \(m,n\ge 1\).
Proof
Let
where \(\mathcal {T}\) stands for the local coarse-graining quantum channel and \(\mathcal {F}\) is given by
for all \(X,Y\in \textrm{End}(V)\). Assume \(m = n = 2\) for simplicity and let us check that
To this end, it turns out to be enough to prove that
for all \(x_L\in A^L\) and \(x_R\in A^R\). Indeed, in that case,
by the weak comultiplicativity of the counit and the fact that \(1_{(1)}\otimes 1_{(2)} \in A^R\otimes A^L\) [5]. Thus, let us move to the proof of Eq. 85:
Additionally, \(\mathcal {F}\) is trace-preserving as an immediate consequence of Lemma E.5:
Finally, in order to check that \(\mathcal {F}\) is a completely positive linear map, let us first consider the following two calculations:
for all \(x_R,y_R\in A^R\) and, analogously,
for all \(x_L, y_L\in A^L\). Now, recall that \(1_{(1)}\otimes 1_{(2)}\otimes 1_{(3)}\in A^R\otimes A\otimes A^L\); see [5]. This allows us to rewrite \(\mathcal {F}\) in the following form:
where the last step follows from the previous calculations, and we have defined
This concludes the proof. \(\square \)
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Ruiz-de-Alarcón, A., Garre-Rubio, J., Molnár, A. et al. Matrix product operator algebras II: phases of matter for 1D mixed states. Lett Math Phys 114, 43 (2024). https://doi.org/10.1007/s11005-024-01778-z
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-024-01778-z