Entanglement

A proof system for disjoint parallel quantum programs
In this paper, we define the operational and denotational semantics of a special class of parallel quantum programs, namely disjoint …
Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng
引用 DOI URL
Compression of quantum multi-prover interactive proofs
We present a protocol that transforms any quantum multi-prover interactive proof into a nonlocal game in which questions consist of …
引用 DOI URL
Classical verification of quantum proofs
We present a classical interactive protocol that verifies the validity of a quantum witness state for the local Hamiltonian problem. It …
引用 DOI URL
The LU-LC Conjecture is False
The LU-LC conjecture is an important open problem concerning the structure of entanglement in the stabilizer formalism. It states that …
引用