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

Yinan Li,Xin Wang,Runyao Duan
DOI: https://doi.org/10.1103/PhysRevA.95.052346
2017-04-21
Abstract:A bipartite subspace $S$ is called strongly positive-partial-transpose-unextendible (PPT-unextendible) if for every positive integer $k$, there is no PPT operator 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). 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\otimes n$ system is $m+n-1$, which involves a generalization 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)].
Quantum Physics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is that in the multi - copy scenario, certain sets of two - qubit states cannot be distinguished by positive - partial - transpose (PPT) operations. Specifically, the paper focuses on how to determine whether a set of two - qubit states can be distinguished by PPT operations in the multi - copy case. The author introduces the concept of "strongly PPT - unextendable subspace" and proves that if the support space of a certain quantum state is strongly PPT - unextendable, then a set of orthogonal quantum states containing this quantum state cannot be distinguished by PPT operations in the multi - copy case. ### Main contributions: 1. **Proposing a discrimination criterion**: The paper provides a simple discrimination criterion for verifying whether a set of two - qubit states cannot be distinguished by PPT operations in the multi - copy case. This criterion is based on the observation that if the support space of a certain quantum state is strongly PPT - unextendable, then a set of orthogonal quantum states containing this quantum state cannot be distinguished by PPT operations in the multi - copy case. 2. **Extending existing results**: The paper extends the previous results regarding the inability to distinguish the maximally entangled state and its orthogonal - complement projection by PPT operations in the multi - copy case, and proves that any entangled pure state and its orthogonal - complement projection cannot be distinguished by PPT operations in the multi - copy case. 3. **Research on the minimum dimension**: The paper also studies the minimum dimension of the strongly PPT - unextendable subspace in the \( m\otimes n \) quantum system and proves that its minimum dimension is \( m + n - 1 \). ### Specific technical details: - **Strongly PPT - unextendable subspace**: A two - qubit - state subspace \( S \) is called strongly PPT - unextendable if for any positive integer \( k \), there is no PPT operator supported on the orthogonal complement of \( S^{\otimes k} \). - **PPT - qualitative operator**: A positive - semidefinite operator \( \sigma \) is called PPT - qualitative if its partial transpose \( \sigma^{T_B} \) is positive definite. The paper proves that if a subspace \( S \) contains a PPT - qualitative operator, then \( S \) is strongly PPT - unextendable. - **Multi - copy scenario**: In the multi - copy scenario, if a set of orthogonal quantum states cannot be distinguished by PPT operations in the case of any positive integer \( k \) copies, then this set of quantum states is said to be unable to be distinguished by PPT operations in the multi - copy scenario. ### Application examples: - **Entangled pure state**: The paper proves that any entangled pure state and its orthogonal - complement projection cannot be distinguished by PPT operations in the multi - copy case. - **Constructing examples**: The paper also gives a specific example to show how to construct a set of orthogonal quantum states that cannot be distinguished by PPT operations in the multi - copy scenario. ### Conclusion: By introducing the concept of strongly PPT - unextendable subspace, the paper provides a simple and effective discrimination criterion for verifying whether a set of two - qubit states can be distinguished by PPT operations in the multi - copy case. This result not only extends the existing theory but also provides new tools and methods for related problems in quantum information processing.