{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T15:18:53Z","timestamp":1771341533848,"version":"3.50.1"},"reference-count":75,"publisher":"Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften","license":[{"start":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T00:00:00Z","timestamp":1709164800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Austrian Science Fund","award":["W1259-N27 (DK-ALM)"],"award-info":[{"award-number":["W1259-N27 (DK-ALM)"]}]},{"name":"Austrian Science Fund","award":["F 7107-N38 (SFB BeyondC)"],"award-info":[{"award-number":["F 7107-N38 (SFB BeyondC)"]}]},{"name":"Austrian Science Fund","award":["P 32273-N27 (Stand-Alone Project)"],"award-info":[{"award-number":["P 32273-N27 (Stand-Alone Project)"]}]},{"DOI":"10.13039\/501100004837","name":"Spanish Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"crossref","award":["PID2020-113523GB-I00"],"award-info":[{"award-number":["PID2020-113523GB-I00"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100011033","name":"Spanish Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["\u201cSevero Ochoa Programme for Centres of Excellence\u201d grant CEX2019-000904-S"],"award-info":[{"award-number":["\u201cSevero Ochoa Programme for Centres of Excellence\u201d grant CEX2019-000904-S"]}],"id":[{"id":"10.13039\/501100011033","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012818","name":"Comunidad de Madrid","doi-asserted-by":"crossref","award":["QUITEMAD-CM P2018\/TCS-4342"],"award-info":[{"award-number":["QUITEMAD-CM P2018\/TCS-4342"]}],"id":[{"id":"10.13039\/100012818","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100012818","name":"Comunidad de Madrid","doi-asserted-by":"crossref","award":["Multiannual Agreement with UC3M in the line of Excellence of University Professors EPUC3M23 in the context of the V PRICIT"],"award-info":[{"award-number":["Multiannual Agreement with UC3M in the line of Excellence of University Professors EPUC3M23 in the context of the V PRICIT"]}],"id":[{"id":"10.13039\/100012818","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["quantum-journal.org"],"crossmark-restriction":false},"short-container-title":["Quantum"],"abstract":"<jats:p>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 <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mi>n<\/mml:mi><\/mml:math>-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 <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mi>n<\/mml:mi><\/mml:math>-qunit totally antisymmetric states for <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mi>n<\/mml:mi><mml:mo>&amp;#x2265;<\/mml:mo><mml:mn>4<\/mml:mn><\/mml:math>. 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.<\/jats:p>","DOI":"10.22331\/q-2024-02-29-1270","type":"journal-article","created":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T14:40:22Z","timestamp":1709217622000},"page":"1270","update-policy":"https:\/\/doi.org\/10.22331\/q-crossmark-policy-page","source":"Crossref","is-referenced-by-count":1,"title":["Identifying families of multipartite states with non-trivial local entanglement transformations"],"prefix":"10.22331","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4087-4744","authenticated-orcid":false,"given":"Nicky Kai Hong","family":"Li","sequence":"first","affiliation":[{"name":"Institute for Theoretical Physics, University of Innsbruck, Technikerstr. 21A, 6020 Innsbruck, Austria"},{"name":"Department of Physics, QAA, Technical University of Munich, James-Franck-Str. 1, D-85748 Garching, Germany"},{"name":"Current address: Atominstitut, Technische Universit\u00e4t Wien, Stadionallee 2, 1020 Vienna, Austria"}]},{"given":"Cornelia","family":"Spee","sequence":"additional","affiliation":[{"name":"Institute for Theoretical Physics, University of Innsbruck, Technikerstr. 21A, 6020 Innsbruck, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5841-7082","authenticated-orcid":false,"given":"Martin","family":"Hebenstreit","sequence":"additional","affiliation":[{"name":"Institute for Theoretical Physics, University of Innsbruck, Technikerstr. 21A, 6020 Innsbruck, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6508-5709","authenticated-orcid":false,"given":"Julio I.","family":"de Vicente","sequence":"additional","affiliation":[{"name":"Departamento de Matem\u00e1ticas, Universidad Carlos III de Madrid, Avda. de la Universidad 30, E-28911, Legan\u00e9s (Madrid), Spain"},{"name":"Instituto de Ciencias Matem\u00e1ticas (ICMAT), E-28049 Madrid, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7246-6385","authenticated-orcid":false,"given":"Barbara","family":"Kraus","sequence":"additional","affiliation":[{"name":"Institute for Theoretical Physics, University of Innsbruck, Technikerstr. 21A, 6020 Innsbruck, Austria"},{"name":"Department of Physics, QAA, Technical University of Munich, James-Franck-Str. 1, D-85748 Garching, Germany"}]}],"member":"9598","published-online":{"date-parts":[[2024,2,29]]},"reference":[{"key":"0","doi-asserted-by":"publisher","unstructured":"A. K. Ekert, Phys. Rev. Lett. 67, 661 (1991).","DOI":"10.1103\/PhysRevLett.67.661"},{"key":"1","doi-asserted-by":"publisher","unstructured":"D. Gottesman, Stabilizer Codes and Quantum Error Correction, Ph.D. Thesis, California Institute of Technology, 1997.","DOI":"10.48550\/arXiv.quant-ph\/9705052"},{"key":"2","doi-asserted-by":"publisher","unstructured":"M. Hillery, V. Bu\u017eek, and A. Berthiaume, Phys. Rev. A 59, 1829 (1999).","DOI":"10.1103\/PhysRevA.59.1829"},{"key":"3","doi-asserted-by":"publisher","unstructured":"R. Raussendorf and H. J. Briegel, Phys. Rev. Lett. 86, 5188 (2001).","DOI":"10.1103\/PhysRevLett.86.5188"},{"key":"4","doi-asserted-by":"publisher","unstructured":"V. Giovannetti, S. Lloyd, and L. Maccone, Science 306, 1330 (2004).","DOI":"10.1126\/science.1104149"},{"key":"5","doi-asserted-by":"publisher","unstructured":"M. Ben-Or and A. Hassidim, Fast quantum byzantine agreement, in Proceedings of the Thirty-Seventh Annual ACM Symposium on Theory of Computing, STOC \u201905 (Association for Computing Machinery, New York, NY, USA, 2005) p. 481\u2013485.","DOI":"10.1145\/1060590.1060662"},{"key":"6","doi-asserted-by":"publisher","unstructured":"J. I. Cirac, D. P\u00e9rez-Garc\u00eda, N. Schuch, and F. Verstraete, Rev. Mod. Phys. 93, 045003 (2021).","DOI":"10.1103\/RevModPhys.93.045003"},{"key":"7","doi-asserted-by":"publisher","unstructured":"R. Horodecki, P. Horodecki, M. Horodecki and K. Horodecki, Rev. Mod. Phys. 81, 865 (2009).","DOI":"10.1103\/RevModPhys.81.865"},{"key":"8","doi-asserted-by":"publisher","unstructured":"E. Chitambar and G. Gour, Rev. Mod. Phys. 91, 025001 (2019).","DOI":"10.1103\/RevModPhys.91.025001"},{"key":"9","doi-asserted-by":"publisher","unstructured":"M. A. Nielsen, Phys. Rev. Lett. 83, 436 (1999).","DOI":"10.1103\/PhysRevLett.83.436"},{"key":"10","doi-asserted-by":"publisher","unstructured":"W. D\u00fcr, G. Vidal, and J. I. Cirac, Phys. Rev. A 62, 062314 (2000).","DOI":"10.1103\/PhysRevA.62.062314"},{"key":"11","doi-asserted-by":"publisher","unstructured":"F. Verstraete, J. Dehaene, B. De Moor, and H. Verschelde, Phys. Rev. A 65, 052112 (2002).","DOI":"10.1103\/PhysRevA.65.052112"},{"key":"12","unstructured":"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)."},{"key":"13","doi-asserted-by":"publisher","unstructured":"G. Gour, Resources of the Quantum World. arXiv:2402.05474v1 [quant-ph] (2024).","DOI":"10.48550\/arXiv.2402.05474"},{"key":"14","doi-asserted-by":"publisher","unstructured":"G. Gour and N. R. Wallach, New J. Phys. 13 073013 (2011).","DOI":"10.1088\/1367-2630\/13\/7\/073013"},{"key":"15","doi-asserted-by":"publisher","unstructured":"M. Hebenstreit, M. Englbrecht, C. Spee, J. I. de Vicente, and B. Kraus, New J. Phys. 23, 033046 (2021).","DOI":"10.1088\/1367-2630\/abe60c"},{"key":"16","doi-asserted-by":"publisher","unstructured":"C. Spee, J. I. de Vicente, D. Sauerwein, and B. Kraus, Phys. Rev. Lett. 118, 040503 (2017).","DOI":"10.1103\/PhysRevLett.118.040503"},{"key":"17","doi-asserted-by":"publisher","unstructured":"J. I. de Vicente, C. Spee, D. Sauerwein, and B. Kraus, Phys. Rev. A 95, 012323 (2017).","DOI":"10.1103\/PhysRevA.95.012323"},{"key":"18","doi-asserted-by":"publisher","unstructured":"J. I. de Vicente, C. Spee, and B. Kraus, Phys. Rev. Lett. 111, 110502 (2013).","DOI":"10.1103\/PhysRevLett.111.110502"},{"key":"19","doi-asserted-by":"publisher","unstructured":"G. Gour, B. Kraus, and N. R. Wallach, J. Math. Phys. 58, 092204 (2017).","DOI":"10.1063\/1.5003015"},{"key":"20","doi-asserted-by":"publisher","unstructured":"D. Sauerwein, N. R. Wallach, G. Gour, and B. Kraus, Phys. Rev. X 8, 031020 (2018).","DOI":"10.1103\/PhysRevX.8.031020"},{"key":"21","doi-asserted-by":"publisher","unstructured":"S. Turgut, Y. G\u00fcl, and N. K. Pak, Phys. Rev. A 81, 012317 (2010).","DOI":"10.1103\/PhysRevA.81.012317"},{"key":"22","doi-asserted-by":"publisher","unstructured":"S. K\u0131nta\u015f and S. Turgut, J. Math. Phys. 51, 092202 (2010).","DOI":"10.1063\/1.3481573"},{"key":"23","doi-asserted-by":"publisher","unstructured":"C. Spee, J. I. de Vicente, and B. Kraus, J. Math. Phys. 57, 052201 (2016).","DOI":"10.1063\/1.4946895"},{"key":"24","doi-asserted-by":"publisher","unstructured":"M. Hebenstreit, C. Spee, and B. Kraus, Phys. Rev. A 93, 012339 (2016).","DOI":"10.1103\/PhysRevA.93.012339"},{"key":"25","doi-asserted-by":"publisher","unstructured":"M. Englbrecht and B. Kraus, Phys. Rev. A 101, 062302 (2020).","DOI":"10.1103\/PhysRevA.101.062302"},{"key":"26","doi-asserted-by":"publisher","unstructured":"D. Sauerwein, A. Molnar, J. I. Cirac, and B. Kraus, Phys. Rev. Lett. 123, 170504 (2019).","DOI":"10.1103\/PhysRevLett.123.170504"},{"key":"27","doi-asserted-by":"publisher","unstructured":"M. Hebenstreit, D. Sauerwein, A. Molnar, J. I. Cirac, and B. Kraus, Phys. Rev. A 105, 032424 (2022).","DOI":"10.1103\/PhysRevA.105.032424"},{"key":"28","doi-asserted-by":"publisher","unstructured":"M. Hebenstreit, C. Spee, N. K. H. Li, B. Kraus, J. I. de Vicente, Phys. Rev. A 105, 032458 (2022).","DOI":"10.1103\/PhysRevA.105.032458"},{"key":"29","doi-asserted-by":"publisher","unstructured":"H. Yamasaki, A. Soeda, and M. Murao, Phys. Rev. A 96, 032330 (2017).","DOI":"10.1103\/PhysRevA.96.032330"},{"key":"30","doi-asserted-by":"publisher","unstructured":"C. Spee and T. Kraft, arXiv:2105.01090 [quant-ph] (2021).","DOI":"10.48550\/arXiv.2105.01090"},{"key":"31","doi-asserted-by":"publisher","unstructured":"W. Jian, Z. Quan, and T. Chao-Jing, Commun. Theor. Phys. 48, 637 (2007).","DOI":"10.1088\/0253-6102\/48\/4\/013"},{"key":"32","doi-asserted-by":"publisher","unstructured":"W. D\u00fcr, Phys. Rev. A 63, 020303(R) (2001).","DOI":"10.1103\/PhysRevA.63.020303"},{"key":"33","doi-asserted-by":"publisher","unstructured":"A. Cabello, Phys. Rev. Lett. 89, 100402 (2002).","DOI":"10.1103\/PhysRevLett.89.100402"},{"key":"34","doi-asserted-by":"publisher","unstructured":"M. Fitzi, N. Gisin, and U. Maurer, Phys. Rev. Lett. 87, 217901 (2001).","DOI":"10.1103\/PhysRevLett.87.217901"},{"key":"35","doi-asserted-by":"publisher","unstructured":"M. T. Quintino, Q. Dong, A. Shimbo, A. Soeda, and M. Murao, Phys. Rev. Lett. 123, 210502 (2019).","DOI":"10.1103\/PhysRevLett.123.210502"},{"key":"36","doi-asserted-by":"publisher","unstructured":"S. Yoshida, A. Soeda, and M. Murao, Quantum 7, 957 (2023).","DOI":"10.22331\/q-2023-03-20-957"},{"key":"37","doi-asserted-by":"publisher","unstructured":"H.-K. Lo and S. Popescu, Phys. Rev. A 63, 022301 (2001).","DOI":"10.1103\/PhysRevA.63.022301"},{"key":"38","unstructured":"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."},{"key":"39","doi-asserted-by":"publisher","unstructured":"J. Eisert and H. J. Briegel, Phys. Rev. A 64, 022306 (2001).","DOI":"10.1103\/PhysRevA.64.022306"},{"key":"40","unstructured":"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$."},{"key":"41","doi-asserted-by":"publisher","unstructured":"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).","DOI":"10.1103\/PhysRevA.59.1070"},{"key":"42","doi-asserted-by":"publisher","unstructured":"M. J. Donald, M. Horodecki, and O. Rudolph, J. Math. Phys. 43, 4252 (2002).","DOI":"10.1063\/1.1495917"},{"key":"43","doi-asserted-by":"publisher","unstructured":"E. Chitambar, Phys. Rev. Lett. 107, 190502 (2011).","DOI":"10.1103\/PhysRevLett.107.190502"},{"key":"44","doi-asserted-by":"publisher","unstructured":"E. Chitambar, D. Leung, L. Man\u010dinska, M. Ozols, and A. Winter, Commun. Math. Phys. 328, 303 (2014), and references therein.","DOI":"10.1007\/s00220-014-1953-9"},{"key":"45","unstructured":"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}$."},{"key":"46","doi-asserted-by":"publisher","unstructured":"F. Verstraete, J. Dehaene, and B. De Moor, Phys. Rev. A 65, 032308 (2002).","DOI":"10.1103\/PhysRevA.65.032308"},{"key":"47","unstructured":"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)."},{"key":"48","doi-asserted-by":"publisher","unstructured":"A. Khare, Linear Algebra and its Applications 431(9), 1681-1686 (2009).","DOI":"10.1016\/j.laa.2009.06.001"},{"key":"49","unstructured":"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."},{"key":"50","doi-asserted-by":"publisher","unstructured":"J. I. de Vicente, T. Carle, C. Streitberger, and B. Kraus, Phys. Rev. Lett. 108, 060501 (2012).","DOI":"10.1103\/PhysRevLett.108.060501"},{"key":"51","doi-asserted-by":"publisher","unstructured":"M. Hebenstreit, B. Kraus, L. Ostermann, and H. Ritsch, Phys. Rev. Lett. 118, 143602 (2017).","DOI":"10.1103\/PhysRevLett.118.143602"},{"key":"52","unstructured":"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}$."},{"key":"53","doi-asserted-by":"publisher","unstructured":"F. Bernards and O. G\u00fchne, J. Math. Phys. 65, 012201 (2024).","DOI":"10.1063\/5.0159105"},{"key":"54","unstructured":"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}$."},{"key":"55","doi-asserted-by":"publisher","unstructured":"P. Migda\u0142, J. Rodriguez-Laguna, and M. Lewenstein, Phys. Rev. A 88, 012335 (2013).","DOI":"10.1103\/PhysRevA.88.012335"},{"key":"56","unstructured":"See p.8 of Ref. ZariskiClosed for the fact that Zariski closure on $\\mathbb{C}^d$ implies Euclidean closure on $\\mathbb{C}^d$."},{"key":"57","doi-asserted-by":"publisher","unstructured":"K. E. Smith, L. Kahanp\u00e4\u00e4, P. Kek\u00e4l\u00e4inen, and W. Traves, An invitation to algebraic geometry, Springer New York, 2000.","DOI":"10.1007\/978-1-4757-4497-2"},{"key":"58","unstructured":"P. M. Fitzpatrick, Advanced Calculus (2nd ed.), Thomson Brooks\/Cole, 2006."},{"key":"59","unstructured":"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}$."},{"key":"60","doi-asserted-by":"publisher","unstructured":"J. Mickelsson, J. Niederle, Commun. Math. Phys. 16, 191\u2013206 (1970).","DOI":"10.1007\/BF01646787"},{"key":"61","unstructured":"The considered state might then be LU-equivalent to the initial state."},{"key":"62","unstructured":"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."},{"key":"63","unstructured":"We obtain Eq. (20) by first multiplying each equation in $\\mathbf{B}\\vec{\\alpha&apos;}=\\vec{\\varphi&apos;}+\\vec{\\theta}$ by a factor $z\\in\\mathbb{C}$ on both sides, and then exponentiating both sides of each equation."},{"key":"64","unstructured":"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$."},{"key":"65","unstructured":"J. J. Sakurai. Modern Quantum Mechanics (Revised Edition). Addison Wesley, 1993."},{"key":"66","unstructured":"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&apos;s Theorem Rellich,FriedlandBook, all the eigenvalues and entries of the eigenvectors must also be analytic in the neighbourhood of $\\epsilon=0$."},{"key":"67","unstructured":"F. Rellich, Perturbation Theory of Eigenvalue Problems, Gordon & Breach, New York, 1969."},{"key":"68","doi-asserted-by":"crossref","unstructured":"S. Friedland, Matrices: Algebra, Analysis and Applications, World Scientific, 2015.","DOI":"10.1142\/9567"},{"key":"69","unstructured":"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$."},{"key":"70","unstructured":"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."},{"key":"71","unstructured":"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."},{"key":"72","unstructured":"When multiplying Eq. (1) by $|A_3\\rangle $ (which is the seed state $|\\Psi_s\\rangle $ here) where $g=\\sqrt{\\Delta&apos;}\\otimes \\sqrt{D&apos;}\\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."},{"key":"73","unstructured":"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&apos;s theorem Nielsen to all 3 bipartitions proves that $|A_3\\rangle $ is indeed not LOCC-reachable."},{"key":"74","unstructured":"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$."}],"container-title":["Quantum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/quantum-journal.org\/papers\/q-2024-02-29-1270\/pdf\/","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T14:40:42Z","timestamp":1709217642000},"score":1,"resource":{"primary":{"URL":"https:\/\/quantum-journal.org\/papers\/q-2024-02-29-1270\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,29]]},"references-count":75,"URL":"https:\/\/doi.org\/10.22331\/q-2024-02-29-1270","archive":["CLOCKSS"],"relation":{},"ISSN":["2521-327X"],"issn-type":[{"value":"2521-327X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,2,29]]},"article-number":"1270"}}