Nonlocality under Computational Assumptions

Khashayar Barooti,Alexandru Gheorghiu,Grzegorz Głuch,Marc-Olivier Renou

2023-11-29

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.

Quantum Physics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to define and understand nonlocality in quantum mechanics when considering computational limitations. Specifically, the paper explores which quantum states can be identified as entangled states through nonlocal games and which cannot, assuming that the parties involved (such as Alice and Bob) are computationally limited.

### Main Research Contents

1. **Introduction of a New Nonlocality Model**:
- The paper defines a new concept of nonlocality, called "not - efficiently - local" (NeL). A quantum state \(\rho_{AB}\) is said to be not - efficiently - local if some of its measurement results cannot be reproduced by shared randomness and local operations within polynomial time.
- Specifically, NeL includes all bipartite states whose measurement results cannot be reproduced by shared randomness and local operations within polynomial time.

2. **Results under the Quantum Learning With Errors (QLWE) Problem**:
- Assuming that the QLWE problem is not solvable within quantum polynomial time, the paper proves that the set of NeL is equal to the set of all bipartite entangled states (ENT), that is, \( \text{NeL}=\text{ENT} \).
- This means that for any entangled state \(\rho_{AB}\), there exists a 3 - round (6 - message) nonlocal game such that if Alice and Bob share \(\rho_{AB}\), they can win the game with high probability through efficient quantum operations; while if they share a separable state, they cannot win the game with high probability through efficient quantum operations.

3. **Separation of Complexity Classes**:
- If it is unconditionally proven that \( \text{NeL}=\text{ENT} \), then it can be deduced that there is a nontrivial separation between the complexity classes BQP and PP, that is, \( \text{BQP}\neq\text{PP} \).
- This shows that the ability to verify all bipartite entangled states will lead to the separation of complexity classes.

4. **Impact on Delegation of Quantum Computation (DQC)**:
- The result \( \text{ENT}=\text{NeL}\Rightarrow\text{BQP}\neq\text{PP} \) has important implications for delegation of quantum computation protocols. In particular, if there exists some 1 - round DQC protocol that can resist PP provers, then \( \text{BQP}\neq\text{PP} \).
- This shows that proving the separation between BQP and PP is a necessary condition for verifying entangled states.

### Technical Overview

1. **Remote State Preparation (RSP)**:
- The paper develops an RSP protocol that allows a classical verifier to verify certain quantum states prepared by Alice and Bob. Assuming that QLWE holds, the verifier can ensure that Alice and Bob do not know the specific states they have prepared, but the verifier does.
- This protocol is based on the work of Gheorghiu and Vidick [2019] and has been simplified.

2. **Semi - Quantum Game (SQG)**:
- The paper uses the SQG protocol proposed by Buscemi [2012], which requires Alice and Bob to receive quantum inputs and perform Bell - state measurements to verify the existence of entangled states.
- By combining RSP and SQG, the paper constructs a protocol that can verify all bipartite entangled states under computational limitations.

3. **Separation of Complexity Classes**