Verifying quantum entanglement

F.J. Duarte

Ming-Xing Luo, Shao-Ming Fei, Jing‐Ling Chen

Quantum entanglement has shown distinguished features beyond any classical state. Many methods have been presented to verify unknown entanglement with the complete information about the density matrices by quantum state tomography. In this work, we aim to identify unknown entanglement with only partial information of the state space. The witness consists of a generalized Greenberger-Horne-Zeilinger-like paradox expressed by Pauli observables, and a nonlinear entanglement witness expressed by density matrix elements. First, we verify unknown bipartite entanglement and study the robustness of entanglement witnesses against the white noise. Second, we generalize such verification to partially unknown multipartite entangled states, including the Greenberger-Horne-Zeilinger-type and W-type states. Third, we give a quantum-information application related to the quantum zero-knowledge proof. It further provides a useful method in blindly verifying universal quantum computation resources. These results may be interesting in entanglement theories, quantum communication, and quantum networks.

Ming‐Xing Luo, Shao-Ming Fei, Jing‐Ling Chen

Quantum entangled states have shown distinguished features beyond any classical state. Many methods like quantum state tomography have been presented to verify entanglement. In this work, we aim to identify unknown entanglements with partial information of the state space by developing a nonlinear entanglement witness. The witness consists of a generalized Greenberger-Horne-Zeilinger-like paradox expressed by Pauli observables, and a nonlinear inequality expressed by density matrix elements. First, we verify unknown bipartite entanglements and study the robustness of entanglement witnesses against the white noise. Second, we generalize such a verification to unknown multipartite entangled states, including the Greenberger-Horne-Zeilinger-type states and the cluster states under local channel operations. Third, we give a quantum-information application related to the quantum zero-knowledge proof. Our results provide a useful method in verifying universal quantum computation resources with robustness against white noises. Our work is applicable to detect unknown entanglement without the state tomography.

F. J. Duarte

Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto +2 more

We establish the first hardness results for the problem of computing the value of one-round games played by a verifier and a team of provers who can share quantum entanglement. In particular, we show that it is NP-hard to approximate within an inverse polynomial the value of a one-round game with (i) quantum verifier and two entangled provers or (ii) classical verifier and three entangled provers. Previously it was not even known if computing the value exactly is NP-hard. We also describe a mathematical conjecture, which, if true, would imply hardness of approximation to within a constant. We start our proof by describing two ways to modify classical multi-prover games to make them resistant to entangled provers. We then show that a strategy for the modified game that uses entanglement can be ``rounded'' to one that does not. The results then follow from classical inapproximability bounds. Our work implies that, unless P=NP, the values of entangled-prover games cannot be computed by semidefinite programs that are polynomial in the size of the verifier's system, a method that has been successful for more restricted quantum games.