De Finetti Theorems for Quantum Conditional Probability Distributions with Symmetry

Sven Jandura,Ernest Y.-Z. Tan

DOI: https://doi.org/10.1007/s00023-023-01357-3

2023-08-31

Abstract:The aim of device-independent quantum key distribution (DIQKD) is to study protocols that allow the generation of a secret shared key between two parties under minimal assumptions on the devices that produce the key. These devices are merely modeled as black boxes and mathematically described as conditional probability distributions. A major obstacle in the analysis of DIQKD protocols is the huge space of possible black box behaviors. De Finetti theorems can help to overcome this problem by reducing the analysis to black boxes that have an iid structure. Here we show two new de Finetti theorems that relate conditional probability distributions in the quantum set to de Finetti distributions (convex combinations of iid distributions), that are themselves in the quantum set. We also show how one of these de Finetti theorems can be used to enforce some restrictions onto the attacker of a DIQKD protocol. Finally we observe that some desirable strengthenings of this restriction, for instance to collective attacks only, are not straightforwardly possible.

Quantum Physics

What problem does this paper attempt to address?

### Problems the Paper Attempts to Solve

The paper aims to address a major obstacle in the analysis of Device-Independent Quantum Key Distribution (DIQKD) protocols. In DIQKD, an attacker can not only control the shared state but also manipulate the devices used to measure that state. These devices are treated as black boxes and are mathematically described using conditional probability distributions. The vast space of possible black box behaviors presents a significant challenge to the security analysis of DIQKD protocols.

To overcome this issue, the paper introduces two new de Finetti theorems that link quantum conditional probability distributions with de Finetti distributions (i.e., convex combinations of independent and identically distributed distributions), and these de Finetti distributions are themselves quantum. Through these theorems, complex non-independent and identically distributed (non-iid) scenarios can be simplified to relatively straightforward independent and identically distributed (iid) cases, thereby simplifying the security proofs.

Specifically, the main contributions of the paper include:
1. **The First de Finetti Theorem**: It proves that for any CHSH-symmetric quantum box, its entries can be upper-bounded by the entries of a fixed quantum de Finetti box.
2. **The Second de Finetti Theorem**: It further proves that the marginal distribution of the first k rounds of a CHSH-symmetric quantum box is close to that of a quantum de Finetti box, rather than merely being upper-bounded by it.

The application of these theorems can help reduce general behaviors to independent and identically distributed cases in the security proofs of DIQKD protocols, thereby simplifying the proof process. Additionally, the paper discusses the limitations of these theorems in practical applications and directions for future research.