Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2303.17507 · Quantum Information and Computation

Unextendibility, uncompletability, and many-copy indistinguishable ensembles

Saronath Halder, Alexander Streltsov

Published Nov 1, 2024• 2 citations
arXivHTMLPDF

Abstract

In this work, we explore the notions unextendible product basis and uncompletability for operators which remain positive under partial transpose. Then, we analyze their connections to the ensembles which are many-copy indistinguishable under local operations and classical communication (LOCC). We show that the orthogonal complement of any bipartite pure entangled state is spanned by product states which form a nonorthogonal unextendible product basis (nUPB) of maximum cardinality. This subspace has one to one correspondence with the maximum dimensional subspace where there is no orthonormal product basis. Due to these, the proof of indistinguishability of a class of ensembles under LOCC in many-copy scenario becomes simpler. Furthermore, it is now clear that there are several many-copy indistinguishable ensembles which are different construction-wise. But if we consider the technique of proving their indistinguishability property under LOCC, then, for many of them it can be done using the general notion of unextendible product basis. Explicit construction of the product states, forming nUPBs is shown. Thereafter, we introduce the notion of positive partial transpose uncompletability to unify different many-copy indistinguishable ensembles. We also report a class of multipartite many-copy indistinguishable ensembles for which local indistinguishability property increases with decreasing number of mixed states.

DOI
10.26421/qic24.13-14-1

Related papers

Indistinguishability of bipartite states by positive-partial-transpose operations in the many-copy scenario

Yinan Li, Xin Wang, Runyao Duan

A bipartite subspace $S$ is called strongly positive-partial-transpose (PPT) unextendible if for every positive integer $k$, there is no PPT operator supporting on the orthogonal complement of ${S}^{\ensuremath{\bigotimes}k}$. We show that a subspace is strongly PPT unextendible if it contains a PPT-definite operator (a positive semidefinite operator whose partial transpose is positive definite). Based on these, we are able to propose a simple criterion for verifying whether a set of bipartite orthogonal quantum states is indistinguishable by PPT operations in the many-copy scenario. Utilizing this criterion, we further point out that any entangled pure state and its orthogonal complement cannot be distinguished by PPT operations in the many-copy scenario. On the other hand, we investigate that the minimum dimension of strongly PPT-unextendible subspaces in an $m\ensuremath{\bigotimes}n$ system is $m+n\ensuremath{-}1$, which involves a generalization of the result that non-positive-partial-transpose subspaces can be as large as any entangled subspace [N. Johnston, Phys. Rev. A 87, 064302 (2013)].

arXiv:1702.00231•Physical Review A•May 30, 2017•20 citations

Unextendible and uncompletable product bases in every bipartition

Fei Shi, Mao-Sheng Li, Xiande Zhang +1 more

Abstract Unextendible product basis is an important object in quantum information theory and features a broad spectrum of applications, ranging from quantum nonlocality to quantum cryptography. A generalized concept called uncompletable product basis also attracts much attention. In this paper, we find some unextendible product bases that are uncompletable product bases in every bipartition, which answers a 19 year-old open question proposed by DiVincenzo et al (2003 Commun. Math. Phys. 238 379–410). As a consequence, we connect such unextendible product bases to local hiding of information, positive-partial-transpose entangled states and genuinely entangled states. Furthermore, we give a sufficient condition for the existence of an unextendible product basis that is still unextendible in every bipartition, and the existence of such a UPB is another open question proposed by Demianowic et al (2018 Phys. Rev. A 98 012313). Our results advance the understanding of the geometry of unextendible product bases.

arXiv:2207.04763•New Journal of Physics•Nov 1, 2022•11 citations

Several nonlocal sets of multipartite pure orthogonal product states

Saronath Halder

It is known that there exist sets of pure orthogonal product states which cannot be perfectly distinguished by local operations and classical communication (LOCC). Such sets are nonlocal sets which exhibit nonlocality without entanglement. These nonlocal sets can be completable or uncompletable. In this work both completable and uncompletable small nonlocal sets of multipartite orthogonal product states are constructed. Apart from nonlocality, these sets have other interesting properties. In particular, the completable sets lead to the construction of a class of complete orthogonal product bases with the property that if such a basis is given then no state can be eliminated from that basis by performing orthogonality-preserving measurements. On the other hand, an uncompletable set of the present kind contains several Shifts unextendible product bases (UPBs) that belong to qubit subspaces. Identifying these subspace UPBs, it is possible to obtain a class of high-dimensional multipartite bound entangled states. Finally, it is shown that a two-qubit maximally entangled Bell state shared between any two parties is sufficient as a resource to distinguish the states of any completable set (of the above kind) perfectly by LOCC. This constitutes an example where the amount of entanglement, sufficient to accomplish the aforesaid task, depends neither on the dimension of the individual subsystems nor on the number of parties.

arXiv:1603.08438•Physical Review A•Aug 3, 2018•89 citations

Genuinely Unextendible Product Bases from Maximum Distance Separable Codes

Mao-Sheng Li

The existence of genuinely unextendible product bases (GUPBs), incomplete orthogonal sets of fully product states whose orthogonal complements contain no product vector across any bipartition, has remained an open problem. Here we construct GUPBs for any number $N\geq3$ of parties using classical maximum distance separable (MDS) codes. The MDS property imposes a rigidity on the induced product tiling across every bipartition; combined with Fourier mode deletion and a stopper state, this rigidity enforces genuine unextendibility. Consequently, the orthogonal complement of each GUPB is a genuinely entangled subspace whose normalized projector is invariant under partial transposition across every bipartition, yielding an explicit family of multipartite bound entangled states. We further construct GME witnesses that detect these states even though no fully decomposable witness can do so. Moreover, the resulting indistinguishability persists under arbitrary finite tensor powers and measurements separable across any bipartition. These results establish a direct connection between error-correcting codes and multipartite entanglement and provide an algebraic route to certifying genuinely multipartite bound entanglement.

quant-pharXiv:2608.09504•Aug 11, 2026•0 citations

Asymptotic Indistinguishability of Bipartite Quantum States by Operations Completely Preserving Positivity of Partial Transpose

Yinan Li, Xin Wang, Runyao Duan

A bipartite subspace $S$ is called strongly positive-partial-transpose-unextendible (PPT-unextendible) if for every positive integer $k$, there is no PPT state supporting on the orthogonal complement of $S^{\otimes k}$. We show that a subspace is strongly PPT-unextendible if it contains a PPT-definite operator (a positive semidefinite operator whose partial transpose is positive definite). Applying this result, we demonstrate a simple criterion for verifying whether a set of bipartite quantum states is asymptotically indistinguishable by operations completely preserving positivity of partial transpose. This criterion is based on the observation that if the support of some bipartite state is strongly PPT-unextendible, then any set of bipartite quantum states which contains this state cannot be asymptotically distinguished by PPT operations. Utilizing this criterion, we further show that any entangled pure state and its orthogonal complement cannot be distinguished asymptotically by PPT operations. Meanwhile, we also investigate that the minimum dimension of strongly PPT-unextendible subspaces in a $m\otimes n$ system is $m+n-1$, which involves an extension of the result that non-positive-partial-transpose (NPT) subspaces can be as large as any entangled subspace [N. Johnston, Phys. Rev. A 87: 064302 (2013)].

•Feb 1, 2017•1 citation

Low-rank extremal positive-partial-transpose states and unextendible product bases

Jon Magne Leinaas, Jan Myrheim, Per Øyvind Sollid

It is known how to construct, in a bipartite quantum system, a unique low-rank entangled mixed state with positive partial transpose (a PPT state) from an unextendible product basis (UPB), defined as an unextendible set of orthogonal product vectors. We point out that a state constructed in this way belongs to a continuous family of entangled PPT states of the same rank, all related by nonsingular unitary or nonunitary product transformations. The characteristic property of a state $\ensuremath{\rho}$ in such a family is that its kernel $\text{Ker} \ensuremath{\rho}$ has a generalized UPB, a basis of product vectors, not necessarily orthogonal, with no product vector in $\mathrm{Im} \ensuremath{\rho}$, the orthogonal complement of $\text{Ker} \ensuremath{\rho}$. The generalized UPB in $\text{Ker} \ensuremath{\rho}$ has the special property that it can be transformed to orthogonal form by a product transformation. In the case of a system of dimension $3\ifmmode\times\else\texttimes\fi{}3$, we give a complete parametrization of orthogonal UPBs. This is then a parametrization of families of rank 4 entangled (and extremal) PPT states, and we present strong numerical evidence that it is a complete classification of such states. We speculate that the lowest rank entangled and extremal PPT states also in higher dimensions are related to generalized, nonorthogonal UPBs in similar ways.

arXiv:1002.1949•Physical Review A•Jun 21, 2010•31 citations
In this work, we explore the notions unextendible product basis and uncompletability for operators which remain positive under partial transpose. Then, we analyze their connections to the ensembles which are many-copy indistinguishable under local operations and classical communication (LOCC). We show that the orthogonal complement of any bipartite pure entangled state is spanned by product states which form a nonorthogonal unextendible product basis (nUPB) of maximum cardinality. This subspace has one to one correspondence with the maximum dimensional subspace where there is no orthonormal product basis. Due to these, the proof of indistinguishability of a class of ensembles under LOCC in many-copy scenario becomes simpler. Furthermore, it is now clear that there are several many-copy indistinguishable ensembles which are different construction-wise. But if we consider the technique of proving their indistinguishability property under LOCC, then, for many of them it can be done using the general notion of unextendible product basis. Explicit construction of the product states, forming nUPBs is shown. Thereafter, we introduce the notion of positive partial transpose uncompletability to unify different many-copy indistinguishable ensembles. We also report a class of multipartite many-copy indistinguishable ensembles for which local indistinguishability property increases with decreasing number of mixed states.
A bipartite subspace SSS is called strongly positive-partial-transpose (PPT) unextendible if for every positive integer kkk, there is no PPT operator supporting on the orthogonal complement of ${S}^{\ensuremath{\bigotimes}k}$. We show that a subspace is strongly PPT unextendible if it contains a PPT-definite operator (a positive semidefinite operator whose partial transpose is positive definite). Based on these, we are able to propose a simple criterion for verifying whether a set of bipartite orthogonal quantum states is indistinguishable by PPT operations in the many-copy scenario. Utilizing this criterion, we further point out that any entangled pure state and its orthogonal complement cannot be distinguished by PPT operations in the many-copy scenario. On the other hand, we investigate that the minimum dimension of strongly PPT-unextendible subspaces in an $m\ensuremath{\bigotimes}n$ system is $m+n\ensuremath{-}1$, which involves a generalization of the result that non-positive-partial-transpose subspaces can be as large as any entangled subspace [N. Johnston, Phys. Rev. A 87, 064302 (2013)].
Abstract Unextendible product basis is an important object in quantum information theory and features a broad spectrum of applications, ranging from quantum nonlocality to quantum cryptography. A generalized concept called uncompletable product basis also attracts much attention. In this paper, we find some unextendible product bases that are uncompletable product bases in every bipartition, which answers a 19 year-old open question proposed by DiVincenzo et al (2003 Commun. Math. Phys. 238 379–410). As a consequence, we connect such unextendible product bases to local hiding of information, positive-partial-transpose entangled states and genuinely entangled states. Furthermore, we give a sufficient condition for the existence of an unextendible product basis that is still unextendible in every bipartition, and the existence of such a UPB is another open question proposed by Demianowic et al (2018 Phys. Rev. A 98 012313). Our results advance the understanding of the geometry of unextendible product bases.
It is known that there exist sets of pure orthogonal product states which cannot be perfectly distinguished by local operations and classical communication (LOCC). Such sets are nonlocal sets which exhibit nonlocality without entanglement. These nonlocal sets can be completable or uncompletable. In this work both completable and uncompletable small nonlocal sets of multipartite orthogonal product states are constructed. Apart from nonlocality, these sets have other interesting properties. In particular, the completable sets lead to the construction of a class of complete orthogonal product bases with the property that if such a basis is given then no state can be eliminated from that basis by performing orthogonality-preserving measurements. On the other hand, an uncompletable set of the present kind contains several Shifts unextendible product bases (UPBs) that belong to qubit subspaces. Identifying these subspace UPBs, it is possible to obtain a class of high-dimensional multipartite bound entangled states. Finally, it is shown that a two-qubit maximally entangled Bell state shared between any two parties is sufficient as a resource to distinguish the states of any completable set (of the above kind) perfectly by LOCC. This constitutes an example where the amount of entanglement, sufficient to accomplish the aforesaid task, depends neither on the dimension of the individual subsystems nor on the number of parties.
The existence of genuinely unextendible product bases (GUPBs), incomplete orthogonal sets of fully product states whose orthogonal complements contain no product vector across any bipartition, has remained an open problem. Here we construct GUPBs for any number N≥3N\geq3N≥3 of parties using classical maximum distance separable (MDS) codes. The MDS property imposes a rigidity on the induced product tiling across every bipartition; combined with Fourier mode deletion and a stopper state, this rigidity enforces genuine unextendibility. Consequently, the orthogonal complement of each GUPB is a genuinely entangled subspace whose normalized projector is invariant under partial transposition across every bipartition, yielding an explicit family of multipartite bound entangled states. We further construct GME witnesses that detect these states even though no fully decomposable witness can do so. Moreover, the resulting indistinguishability persists under arbitrary finite tensor powers and measurements separable across any bipartition. These results establish a direct connection between error-correcting codes and multipartite entanglement and provide an algebraic route to certifying genuinely multipartite bound entanglement.
A bipartite subspace SSS is called strongly positive-partial-transpose-unextendible (PPT-unextendible) if for every positive integer kkk, there is no PPT state supporting on the orthogonal complement of S⊗kS^{\otimes k}S⊗k. We show that a subspace is strongly PPT-unextendible if it contains a PPT-definite operator (a positive semidefinite operator whose partial transpose is positive definite). Applying this result, we demonstrate a simple criterion for verifying whether a set of bipartite quantum states is asymptotically indistinguishable by operations completely preserving positivity of partial transpose. This criterion is based on the observation that if the support of some bipartite state is strongly PPT-unextendible, then any set of bipartite quantum states which contains this state cannot be asymptotically distinguished by PPT operations. Utilizing this criterion, we further show that any entangled pure state and its orthogonal complement cannot be distinguished asymptotically by PPT operations. Meanwhile, we also investigate that the minimum dimension of strongly PPT-unextendible subspaces in a m⊗nm\otimes nm⊗n system is m+n−1m+n-1m+n−1, which involves an extension of the result that non-positive-partial-transpose (NPT) subspaces can be as large as any entangled subspace [N. Johnston, Phys. Rev. A 87: 064302 (2013)].
It is known how to construct, in a bipartite quantum system, a unique low-rank entangled mixed state with positive partial transpose (a PPT state) from an unextendible product basis (UPB), defined as an unextendible set of orthogonal product vectors. We point out that a state constructed in this way belongs to a continuous family of entangled PPT states of the same rank, all related by nonsingular unitary or nonunitary product transformations. The characteristic property of a state $\ensuremath{\rho}$ in such a family is that its kernel $\text{Ker} \ensuremath{\rho}$ has a generalized UPB, a basis of product vectors, not necessarily orthogonal, with no product vector in $\mathrm{Im} \ensuremath{\rho}$, the orthogonal complement of $\text{Ker} \ensuremath{\rho}$. The generalized UPB in $\text{Ker} \ensuremath{\rho}$ has the special property that it can be transformed to orthogonal form by a product transformation. In the case of a system of dimension $3\ifmmode\times\else\texttimes\fi{}3$, we give a complete parametrization of orthogonal UPBs. This is then a parametrization of families of rank 4 entangled (and extremal) PPT states, and we present strong numerical evidence that it is a complete classification of such states. We speculate that the lowest rank entangled and extremal PPT states also in higher dimensions are related to generalized, nonorthogonal UPBs in similar ways.