Abstract:Nonlocality and its connections to entanglement are fundamental features of quantum mechanics that have found numerous applications in quantum information science. A set of correlations is said to be nonlocal if it cannot be reproduced by spacelike-separated parties sharing randomness and performing local operations. An important practical consideration is that the runtime of the parties has to be shorter than the time it takes light to travel between them. One way to model this restriction is to assume that the parties are computationally bounded. We therefore initiate the study of nonlocality under computational assumptions and derive the following results: (a) We define the set $\mathsf{NeL}$ (not-efficiently-local) as consisting of all bipartite states whose correlations arising from local measurements cannot be reproduced with shared randomness and \emph{polynomial-time} local operations. (b) Under the assumption that the Learning With Errors problem cannot be solved in \emph{quantum} polynomial-time, we show that $\mathsf{NeL}=\mathsf{ENT}$, where $\mathsf{ENT}$ is the set of \emph{all} bipartite entangled states (pure and mixed). This is in contrast to the standard notion of nonlocality where it is known that some entangled states, e.g. Werner states, are local. In essence, we show that there exist (efficient) local measurements producing correlations that cannot be reproduced through shared randomness and quantum polynomial-time computation. (c) We prove that if $\mathsf{NeL}=\mathsf{ENT}$ unconditionally, then $\mathsf{BQP}\neq\mathsf{PP}$. In other words, the ability to certify all bipartite entangled states against computationally bounded adversaries gives a non-trivial separation of complexity classes. (d) Using (c), we show that a certain natural class of 1-round delegated quantum computation protocols that are sound against $\mathsf{PP}$ provers cannot exist.

The physics of no-bit-commitment : Generalized quantum non-locality versus oblivious transfer

Experimental bit commitment based on quantum communication and special relativity

Nonlocality under Computational Assumptions

Reexamination of Quantum Bit Commitment: the Possible and the Impossible

Quantum Nonlocality: Multicopy Resource Interconvertibility and Their Asymptotic Inequivalence

Probabilistic versions of Quantum Private Queries

Experimental Unconditionally Secure Bit Commitment

From Einstein-Podolsky-Rosen Paradox to Quantum Nonlocality: Experimental Investigation of Quantum Correlations

Stronger Nonlocality in GHZ States: A Step Beyond the Conventional GHZ Paradox

A Quantum Bit Commitment Protocol Based on Nonorthogonal States Coding

Nonlocal quantum information transfer without superluminal signalling and communication

A possibilistic no-go theorem on the Wigner's friend paradox

The Local Account of Bell Nonlocality

Maximum Quantum Non-Locality is not always Sufficient for Device-Independent Randomness Generation

Quantum Nonlocality: Multi-copy Resource Inter-convertibility & Their Asymptotic Inequivalence

Quantum Nonlocality: how does Nature do it?

Device-Independent Relativistic Quantum Bit Commitment

An Effective Way of Characterizing the Quantum Nonlocality

Quantum Bit String Commitment

Monogamy of nonlocality from multipartite information causality

An experimental test of non-local realism