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.

Entanglement and Nonlocality in Multi-Particle Systems

Entanglement, EPR steering, and Bell-nonlocality criteria for multipartite higher-spin systems

Entanglement and Quantum Phase Transitions in Quantum Mixed Spin Chains

Quantifying the Mesoscopic Nature of Einstein-Podolsky-Rosen Nonlocality.

Entanglement Microscopy: Tomography and Entanglement Measures via Quantum Monte Carlo

Experimental Test of Quantum Nonlocality in Three-Photon Greenberger–Horne–Zeilinger Entanglement

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

Genuine Multipartite Nonlocality for All Isolated Many-body Systems

Entanglement and nonlocality of a single relativistic particle

Quantum Apices: Identifying Limits of Entanglement, Nonlocality, & Contextuality

Multi-Photon Entanglement And Quantum Non-Locality

Nonlocality under Computational Assumptions

Experimental Test of Quantum Nonlocality from Contextuality

Entanglement and quantum correlations in many-body systems: a unified approach via local unitary operations

Unified Criteria for Multipartite Quantum Nonlocality

Quantum Entanglement without nonlocal causation in (3,2)-dimensional spacetime

Impact of parity violation on quantum entanglement and Bell nonlocality

Quantum Entanglement in Many-Particle Systems

Scrambling and operator entanglement in local non-Hermitian quantum systems

Quantum Experiments and Graphs. III. High-dimensional and Multiparticle Entanglement

Genuine Bell locality and nonlocality in the networks