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.

Certifying nonlocal properties of noisy quantum operations

Channel nonlocality under decoherence

Local certification of unitary operations

Certifying beyond quantumness of locally quantum no-signalling theories through quantum input Bell test

Hierarchical certification of nonclassical network correlations

Semi-device Independent Nonlocality Certification for Near-Term Quantum Networks

Randomness-free Test of Non-classicality: a Proof of Concept

Certifying quantumness beyond steering and nonlocality and its implications on quantum information processing

Certifying Genuine Multipartite Nonlocality Without Inequality in Quantum Networks

Optimal strategy to certify quantum nonlocality

Distilling Nonlocality in Quantum Correlations

Characterizing Nonclassical Correlations via Local Quantum Uncertainty

Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario

Quantifying non-classical and beyond-quantum correlations in the unified operator formalism

Nonlocal Locking of Observable Quantities: A Faithful Signature of Nonclassical Correlations

Local certification of programmable quantum devices of arbitrary high dimensionality

Experimentally Verified Approach to Nonentanglement-Breaking Channel Certification.

Unified Approach to Witness Non-Entanglement-breaking Quantum Channels

Semi-device-independent certification of quantum non-Markovianity using sequential Random Access Codes

Behavior of Quantum Correlations under Local Noise

Nonlocality under Computational Assumptions