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)].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, 20171 citation

State Preparation: Non-Gaussian Quantum State

Haixing Miao

Springer eBooksJan 1, 20121 citation

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)].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.00231Physical Review AMay 30, 201720 citations

Separability of multipartite quantum states with strong positive partial transpose

Lilong Qian

We generalize the definition of strong positive partial transpose (SPPT) to the multipartite system. The tripartite case was first considered by Yu and Zhao [Int. J. Theor. Phys. 54, 292 (2014)]. In this extension, unfortunately, desired properties such as the PPT of SPPT states and the separability of super and pure SPPT states are not preserved. In contrast, this paper provides an alternative generalization to multipartite cases with these properties preserved. We also provide sufficient conditions for the separability of SPPT states.We generalize the definition of strong positive partial transpose (SPPT) to the multipartite system. The tripartite case was first considered by Yu and Zhao [Int. J. Theor. Phys. 54, 292 (2014)]. In this extension, unfortunately, desired properties such as the PPT of SPPT states and the separability of super and pure SPPT states are not preserved. In contrast, this paper provides an alternative generalization to multipartite cases with these properties preserved. We also provide sufficient conditions for the separability of SPPT states.

arXiv:1804.10923Physical Review AJul 9, 20189 citations

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)].

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)].