Identifying families of multipartite states with non-trivial local entanglement transformations

Nicky Kai Hong Li1,2,3, Cornelia Spee1, Martin Hebenstreit1, Julio I. de Vicente4,5, and Barbara Kraus1,2

1Institute for Theoretical Physics, University of Innsbruck, Technikerstr. 21A, 6020 Innsbruck, Austria
2Department of Physics, QAA, Technical University of Munich, James-Franck-Str. 1, D-85748 Garching, Germany
3Current address: Atominstitut, Technische Universität Wien, Stadionallee 2, 1020 Vienna, Austria
4Departamento de Matemáticas, Universidad Carlos III de Madrid, Avda. de la Universidad 30, E-28911, Leganés (Madrid), Spain
5Instituto de Ciencias Matemáticas (ICMAT), E-28049 Madrid, Spain

Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.


The study of state transformations by spatially separated parties with local operations assisted by classical communication (LOCC) plays a crucial role in entanglement theory and its applications in quantum information processing. Transformations of this type among pure bipartite states were characterized long ago and have a revealing theoretical structure. However, it turns out that generic fully entangled pure multipartite states cannot be obtained from nor transformed to any inequivalent fully entangled state under LOCC. States with this property are referred to as isolated. Nevertheless, multipartite states are classified into families, the so-called SLOCC classes, which possess very different properties. Thus, the above result does not forbid the existence of particular SLOCC classes that are free of isolation, and therefore, display a rich structure regarding LOCC convertibility. In fact, it is known that the celebrated $n$-qubit GHZ and W states give particular examples of such classes and in this work, we investigate this question in general. One of our main results is to show that the SLOCC class of the 3-qutrit totally antisymmetric state is isolation-free as well. Actually, all states in this class can be converted to inequivalent states by LOCC protocols with just one round of classical communication (as in the GHZ and W cases). Thus, we consider next whether there are other classes with this property and we find a large set of negative answers. Indeed, we prove weak isolation (i.e., states that cannot be obtained with finite-round LOCC nor transformed by one-round LOCC) for very general classes, including all SLOCC families with compact stabilizers and many with non-compact stabilizers, such as the classes corresponding to the $n$-qunit totally antisymmetric states for $n\geq4$. Finally, given the pleasant feature found in the family corresponding to the 3-qutrit totally antisymmetric state, we explore in more detail the structure induced by LOCC and the entanglement properties within this class.

Multipartite entanglement is a type of correlation that is stronger than any classical correlation for multiple parties. Many quantum technologies that have an advantage over their classical counterparts need multipartite entanglement which is thereby considered to be a resource for quantum information processing. The resource theory of entanglement aims at characterizing and quantifying entanglement, providing protocols to harness this resource as well as ways to quantify the efficiency of these protocols. The free operations in this theory are local operations assisted by classical communication (LOCC), which naturally describe state manipulation protocols carried out by multiple spatially separated parties. As applying LOCC to any quantum state cannot increase its entanglement, we can identify states that are more useful for certain quantum information processing tasks by characterizing states that can be transformed into many other less entangled states. For bipartite pure states, there exists one maximally entangled state that can be LOCC transformed to any other bipartite states with compatible local dimensions. However, for $n$-qudit states, it has been shown that the counterpart of this single maximally entangled state, the maximally entangled set, is almost the whole Hilbert space. In fact, it has been shown that there is almost no LOCC transformation possible among pure, fully entangled multipartite states. That is, almost all states are isolated, i.e., cannot be obtained from nor transformed to any inequivalent fully entangled state under LOCC.

So far, only two classes of states [the stochastic LOCC (SLOCC) classes of the GHZ and the W states] have been shown to contain no isolated states (isolation-free). Here, we discover a new isolation-free class, containing the 3-qutrit totally antisymmetric state, which turns out to have some fascinating entanglement properties. Additionally, we found evidence that many other classes of fully entangled pure states contain isolated states.

► BibTeX data

► References

[1] A. K. Ekert, Phys. Rev. Lett. 67, 661 (1991).

[2] D. Gottesman, Stabilizer Codes and Quantum Error Correction, Ph.D. Thesis, California Institute of Technology, 1997.

[3] M. Hillery, V. Bužek, and A. Berthiaume, Phys. Rev. A 59, 1829 (1999).

[4] R. Raussendorf and H. J. Briegel, Phys. Rev. Lett. 86, 5188 (2001).

[5] V. Giovannetti, S. Lloyd, and L. Maccone, Science 306, 1330 (2004).

[6] M. Ben-Or and A. Hassidim, Fast quantum byzantine agreement, in Proceedings of the Thirty-Seventh Annual ACM Symposium on Theory of Computing, STOC ’05 (Association for Computing Machinery, New York, NY, USA, 2005) p. 481–485.

[7] J. I. Cirac, D. Pérez-García, N. Schuch, and F. Verstraete, Rev. Mod. Phys. 93, 045003 (2021).

[8] R. Horodecki, P. Horodecki, M. Horodecki and K. Horodecki, Rev. Mod. Phys. 81, 865 (2009).

[9] E. Chitambar and G. Gour, Rev. Mod. Phys. 91, 025001 (2019).

[10] M. A. Nielsen, Phys. Rev. Lett. 83, 436 (1999).

[11] W. Dür, G. Vidal, and J. I. Cirac, Phys. Rev. A 62, 062314 (2000).

[12] F. Verstraete, J. Dehaene, B. De Moor, and H. Verschelde, Phys. Rev. A 65, 052112 (2002).

[13] Notice that Ref. 4qubitSLOCC provides 9 families of 4-qubit states but some of these families are collections of an infinite number of inequivalent SLOCC classes (see also, e.g., Chapter 14 in Ref. GourBook).

[14] G. Gour, Resources of the Quantum World. arXiv:2402.05474v1 [quant-ph] (2024).

[15] G. Gour and N. R. Wallach, New J. Phys. 13 073013 (2011).

[16] M. Hebenstreit, M. Englbrecht, C. Spee, J. I. de Vicente, and B. Kraus, New J. Phys. 23, 033046 (2021).

[17] C. Spee, J. I. de Vicente, D. Sauerwein, and B. Kraus, Phys. Rev. Lett. 118, 040503 (2017).

[18] J. I. de Vicente, C. Spee, D. Sauerwein, and B. Kraus, Phys. Rev. A 95, 012323 (2017).

[19] J. I. de Vicente, C. Spee, and B. Kraus, Phys. Rev. Lett. 111, 110502 (2013).

[20] G. Gour, B. Kraus, and N. R. Wallach, J. Math. Phys. 58, 092204 (2017).

[21] D. Sauerwein, N. R. Wallach, G. Gour, and B. Kraus, Phys. Rev. X 8, 031020 (2018).

[22] S. Turgut, Y. Gül, and N. K. Pak, Phys. Rev. A 81, 012317 (2010).

[23] S. Kıntaş and S. Turgut, J. Math. Phys. 51, 092202 (2010).

[24] C. Spee, J. I. de Vicente, and B. Kraus, J. Math. Phys. 57, 052201 (2016).

[25] M. Hebenstreit, C. Spee, and B. Kraus, Phys. Rev. A 93, 012339 (2016).

[26] M. Englbrecht and B. Kraus, Phys. Rev. A 101, 062302 (2020).

[27] D. Sauerwein, A. Molnar, J. I. Cirac, and B. Kraus, Phys. Rev. Lett. 123, 170504 (2019).

[28] M. Hebenstreit, D. Sauerwein, A. Molnar, J. I. Cirac, and B. Kraus, Phys. Rev. A 105, 032424 (2022).

[29] M. Hebenstreit, C. Spee, N. K. H. Li, B. Kraus, J. I. de Vicente, Phys. Rev. A 105, 032458 (2022).

[30] H. Yamasaki, A. Soeda, and M. Murao, Phys. Rev. A 96, 032330 (2017).

[31] C. Spee and T. Kraft, arXiv:2105.01090 [quant-ph] (2021).

[32] W. Jian, Z. Quan, and T. Chao-Jing, Commun. Theor. Phys. 48, 637 (2007).

[33] W. Dür, Phys. Rev. A 63, 020303(R) (2001).

[34] A. Cabello, Phys. Rev. Lett. 89, 100402 (2002).

[35] M. Fitzi, N. Gisin, and U. Maurer, Phys. Rev. Lett. 87, 217901 (2001).

[36] M. T. Quintino, Q. Dong, A. Shimbo, A. Soeda, and M. Murao, Phys. Rev. Lett. 123, 210502 (2019).

[37] S. Yoshida, A. Soeda, and M. Murao, Quantum 7, 957 (2023).

[38] H.-K. Lo and S. Popescu, Phys. Rev. A 63, 022301 (2001).

[39] Notice that the examples of conversions that cannot be achieved by concatenating one-round protocols do not prove this. This is because the output state is automatically not weakly isolated (it must be finite-round reachable) and the input state can be one-round convertible to a different state.

[40] J. Eisert and H. J. Briegel, Phys. Rev. A 64, 022306 (2001).

[41] This is because any matrix $\bigotimes_{j=1}^n X^{(j)}\in \bigotimes_{i=1}^n GL(d_i,\mathbb{C})$ is equal to the tensor product between $\frac{X^{(j)}}{\det(X^{(j)})^{1/​d_j}}\in SL(d_j,\mathbb{C})$ for any $n-1$ indices $j$ and $\prod_{j\neq k}\det(X^{(j)})^{1/​d_j} X^{(k)}$ for the remaining index $k$.

[42] C. H. Bennett, D. P. DiVincenzo, C. A. Fuchs, T. Mor, E. Rains, P. W. Shor, J. A. Smolin, and W. K. Wootters, Phys. Rev. A 59, 1070 (1999).

[43] M. J. Donald, M. Horodecki, and O. Rudolph, J. Math. Phys. 43, 4252 (2002).

[44] E. Chitambar, Phys. Rev. Lett. 107, 190502 (2011).

[45] E. Chitambar, D. Leung, L. Mančinska, M. Ozols, and A. Winter, Commun. Math. Phys. 328, 303 (2014), and references therein.

[46] We say a matrix $X$ quasi-commutes with another matrix $A$ if and only if $X^\dagger AX= kA\propto A$ for some $k\in\mathbb{C}$.

[47] F. Verstraete, J. Dehaene, and B. De Moor, Phys. Rev. A 65, 032308 (2002).

[48] More precisely, $P$ can be chosen as $P=|v\rangle\langle v|+{1}$, where $|v\rangle \in\mathbb{C}^d$ is not an eigenvector of any $U_i\in\mathcal{F}$. Such a vector always exists as no finite-dimensional vector space over $\mathbb{C}$ is a finite union of proper subspaces (see e.g., Ref. VecSpaceNOTfiniteUnion).

[49] A. Khare, Linear Algebra and its Applications 431(9), 1681-1686 (2009).

[50] This can be easily seen as follows. First, due to the symmetry of the state, it is easy to see that any state in the SLOCC class is LU equivalent to $\sqrt{G_1}\otimes\sqrt{D_2}\otimes {1}|A_3\rangle $ [see Eq. (29)] where $G_1>0$ and $D_2=diag(\alpha_2,\beta_2,1) >0$. Moreover, using the symmetry $U^{\otimes3}$ of $|A_3\rangle $, where $U=diag(e^{i\theta},e^{i\varphi},e^{-i(\theta+\varphi)})$ with $\theta=-\frac{\arg(\gamma_1)+\arg(\delta_1)}{3}$, $\varphi=\frac{2\arg(\gamma_1)-\arg(\delta_1)}{3}$, $\gamma_1=(G_1)_{12}$ and $\delta_1=(G_1)_{13}$, leads to a state of the same form as above, but with $G_1$ replaced by $U G_1 U^\dagger$, whose entries $(1,2)$ and $(1,3)$ are larger than or equal to zero. Hence, the states are (up to LU) parameterized by 8 parameters.

[51] J. I. de Vicente, T. Carle, C. Streitberger, and B. Kraus, Phys. Rev. Lett. 108, 060501 (2012).

[52] M. Hebenstreit, B. Kraus, L. Ostermann, and H. Ritsch, Phys. Rev. Lett. 118, 143602 (2017).

[53] Note that we exchange the order of $\alpha_2$ and $\beta_1$ here as opposed to the notation that we use in Observation 11 to denote the states in $M_{A_3}$.

[54] F. Bernards and O. Gühne, J. Math. Phys. 65, 012201 (2024).

[55] The argument we use here to show that $B\otimes B^{-1}\otimes {1}^{\otimes n-2}\in\mathcal{S}_{|A_n\rangle }$ is the same argument used in Ref. MigdalSymm (Sec. II) to prove that permutation-symmetric states have symmetries of the form $B\otimes B^{-1}\otimes {1}^{\otimes n-2}$.

[56] P. Migdał, J. Rodriguez-Laguna, and M. Lewenstein, Phys. Rev. A 88, 012335 (2013).

[57] See p.8 of Ref. ZariskiClosed for the fact that Zariski closure on $\mathbb{C}^d$ implies Euclidean closure on $\mathbb{C}^d$.

[58] K. E. Smith, L. Kahanpää, P. Kekäläinen, and W. Traves, An invitation to algebraic geometry, Springer New York, 2000.

[59] P. M. Fitzpatrick, Advanced Calculus (2nd ed.), Thomson Brooks/​Cole, 2006.

[60] It is easy to see that the Bolzano-Weierstrass theorem also applies to bounded sequences in $\mathbb{C}^d$ by viewing them as sequences in $\mathbb{R}^{2d}$.

[61] J. Mickelsson, J. Niederle, Commun. Math. Phys. 16, 191–206 (1970).

[62] The considered state might then be LU-equivalent to the initial state.

[63] Note that if there exists a consistency condition with $x_1^{(\lambda)}=0$ and $x_2^{(\lambda)}\neq0$ while $\theta$ is an irrational multiple of $\pi$, then the system of equations is inconsistent.

[64] We obtain Eq. (20) by first multiplying each equation in $\mathbf{B}\vec{\alpha'}=\vec{\varphi'}+\vec{\theta}$ by a factor $z\in\mathbb{C}$ on both sides, and then exponentiating both sides of each equation.

[65] Although the existence of weak isolation was proven for $(n\geq5)$-qudit SLOCC classes of non-exceptionally symmetric (non-ES) states, which are permutation-symmetric states with only symmetries of the form $S^{\otimes n}$, in Lemma 4 of Ref. OurSymmPaper, the proof also applies to any $n$-qudit SLOCC class that has a state stabilized only by $S^{\otimes n}$ as long as $n\geq5$.

[66] J. J. Sakurai. Modern Quantum Mechanics (Revised Edition). Addison Wesley, 1993.

[67] The perturbation series for $E_p$ and $|e_p\rangle $ are guaranteed to converge because the matrix $H_0 + \epsilon V(\epsilon)$ is Hermitian and analytic (i.e., every matrix entry is analytic) in the neighbourhood of $\epsilon=0$ where $\epsilon\in\mathbb{R}$ and by Rellich's Theorem Rellich,FriedlandBook, all the eigenvalues and entries of the eigenvectors must also be analytic in the neighbourhood of $\epsilon=0$.

[68] F. Rellich, Perturbation Theory of Eigenvalue Problems, Gordon & Breach, New York, 1969.

[69] S. Friedland, Matrices: Algebra, Analysis and Applications, World Scientific, 2015.

[70] Since the perturbation series of eigenvalue $E_p$ converges in $\epsilon$, one can choose $\epsilon$ small enough such that the absolute value of the sum of the $\mathcal{O}(\epsilon^2)$ terms is strictly less than $\frac{1}{2}(\frac{1}{r}-1)$ for $E_0$ and $\frac{1}{2r^{p-1}}(\frac{1}{r}-1)$, which is half the distance between the $(p-1)$-th and the $p$-th unperturbed eigenvalues, for $E_p$ where $p\in\{1,\ldots,d-1\}$ and $0<r<1$.

[71] Since the perturbation series of eigenvector $|e_p\rangle $ converges in $\epsilon$, one can choose $\epsilon$ small enough such that the absolute value of the sum of the $\mathcal{O}(\epsilon^2)$ terms for $\langle0|e_p\rangle$ is strictly smaller than 1 for $|e_0\rangle $ and $|\frac{\epsilon\sqrt{r}^{p}}{(1-r^p)(1-\omega^{-p})}|$ for every $|e_p\rangle $ where $p\in\{1,\ldots,d-1\}$, while keeping $\{E_p\}$ non-degenerate footnote:pert.

[72] It is easy to see the following: If $S\in SL(d,\mathbb{C})$ quasi-commutes with two $d\times d$ positive definite diagonal matrices $\Lambda$ and $D$ such that $\Lambda\not\propto D$, $S$ must be a direct sum of block matrices that act on the (degenerate) eigenspaces of $\Lambda^{-1}D$. Moreover, for each block in $S$ of which the range lies within the (degenerate) eigenspace of a single eigenvalue of $\Lambda$ or $D$, the block is unitary.

[73] When multiplying Eq. (1) by $|A_3\rangle $ (which is the seed state $|\Psi_s\rangle $ here) where $g=\sqrt{\Delta'}\otimes \sqrt{D'}\otimes {1}$ and $h=\sqrt{\Delta}\otimes \sqrt{D}\otimes {1}$, the term $g^\dagger\sum_q N_q^\dagger N_q g|A_3\rangle =0$ because all $N_q\in\mathcal{N}_{g\Psi_s}$ satisfy $N_q g|A_3\rangle =0$ by definition.

[74] Alternatively, one can see this by showing that $|A_3\rangle $ is the only state among all the MES candidates in Observation 11 that has a completely mixed single qutrit reduced density matrix for all 3 bipartite splittings. Applying Nielsen's theorem Nielsen to all 3 bipartitions proves that $|A_3\rangle $ is indeed not LOCC-reachable.

[75] The preparation procedure above does not work for $|\psi(\alpha_1,\alpha_2,\beta_1,\beta_2)\rangle $ with $\beta_1=\beta_2$ because one of the columns in $U_2$ and $U_3$ becomes all zeros when $\beta_1=\beta_2$.

Cited by

[1] Moisés Bermejo Morán, Alejandro Pozas-Kerstjens, and Felix Huber, "Bell Inequalities with Overlapping Measurements", Physical Review Letters 131 8, 080201 (2023).

[2] Anubhav Kumar Srivastava, Guillem Müller-Rigat, Maciej Lewenstein, and Grzegorz Rajchel-Mieldzioć, "Introduction to quantum entanglement in many-body systems", arXiv:2402.09523, (2024).

The above citations are from SAO/NASA ADS (last updated successfully 2024-04-12 10:03:29). The list may be incomplete as not all publishers provide suitable and complete citation data.

On Crossref's cited-by service no data on citing works was found (last attempt 2024-04-12 10:03:28).