In this paper, we introduce intrinsic non-locality and quantum intrinsic non-locality as quantifiers for Bell non-locality, and we prove that they satisfy certain desirable properties such as faithfulness, convexity, and monotonicity under local operations and shared randomness. We then prove that intrinsic non-locality is an upper bound on the secret-key-agreement capacity of any device-independent protocol conducted using a device characterized by a correlation p, while quantum intrinsic non-locality is an upper bound on the same capacity for a correlation arising from an underlying quantum model. We also prove that intrinsic steerability is faithful, and it is an upper bound on the secret-key-agreement capacity of any one-sided-device-independent protocol conducted using a device characterized by an assemblage ρˇ. Finally, we prove that quantum intrinsic non-locality is bounded from above by intrinsic steerability.
In this paper, we introduce intrinsic non-locality and quantum intrinsic non-locality as quantifiers for Bell non-locality, and we prove that they satisfy certain desirable properties such as faithfulness, convexity, and monotonicity under local operations and shared randomness. We then prove that intrinsic non-locality is an upper bound on the secret-key-agreement capacity of any device-independent protocol conducted using a device characterized by a correlation p, while quantum intrinsic non-locality is an upper bound on the same capacity for a correlation arising from an underlying quantum model. We also prove that intrinsic steerability is faithful, and it is an upper bound on the secret-key-agreement capacity of any one-sided-device-independent protocol conducted using a device characterized by an assemblage ρˇ. Finally, we prove that quantum intrinsic non-locality is bounded from above by intrinsic steerability.
Abstract In this paper, we introduce intrinsic non-locality and quantum intrinsic non-locality as quantifiers for Bell non-locality, and we prove that they satisfy certain desirable properties such as faithfulness, convexity, and monotonicity under local operations and shared randomness. We then prove that intrinsic non-locality is an upper bound on the secret-key-agreement capacity of any device-independent protocol conducted using a device characterized by a correlation p, while quantum intrinsic non-locality is an upper bound on the same capacity for a correlation arising from an underlying quantum model. We also prove that intrinsic steerability is faithful, and it is an upper bound on the secret-key-agreement capacity of any one-sided-device-independent protocol conducted using a device characterized by an assemblage ρ ˆ . Finally, we prove that quantum intrinsic non-locality is bounded from above by intrinsic steerability.
The aim of this thesis is to understand the fundamental limitations on secret key distillation in various settings of quantum key distribution. We first consider quantum steering, which is a resource for one-sided device-independent quantum key distribution. We introduce a conditional mutual information based quantifier for quantum steering, which we call intrinsic steerability. Next, we consider quantum non-locality, which is a resource for device-independent quantum key distribution. In this context, we introduce a quantifier, intrinsic non-locality, which is a monotone in the resource theory of Bell non-locality. Both these quantities are inspired by intrinsic information and squashed entanglement and are based on conditional mutual information. The idea behind these quantifiers is to suppress the correlations that can be explained by a local hidden variable or by an inaccessible quantum system, thus quantifying the remaining intrinsic correlations. We then prove various properties of these two monotones, which includes the following: monotonicity under free operations, additivity under tensor product of objects, convexity, and faithfulness, among others. Next, we prove that intrinsic steerability is an upper bound on the secret-key-agreement capacity of an assemblage, and intrinsic non-locality is an upper bound on the secret-key-agreement capacity of a quantum probability distribution. Thus we prove that these quantities are upper bounds on the achievable key rates in one-sided device-independent and device-independent quantum key distribution protocols. We also calculate these bounds for certain honest devices. The study of these upper bounds is instrumental in understanding the limitations of protocols that can be designed for various settings. These upper bounds inform us that, even if one considers the best possible protocol, there is no possibility of exceeding the upper bounds on key rates without a quantum repeater. The upper bounds introduced in this thesis are an important step for initiating this line of research in one-sided device-independent and in device-independent quantum key distribution.
In this work, we introduce the multipartite intrinsic non-locality as a resource quantifier for the multipartite scenario of device-independent (DI) conference key agreement. We prove that this quantity is additive, convex, and monotone under a class of free operations called local operations and common randomness. As one of our technical contributions, we establish a chain rule for multipartite mutual information, which we then use to prove that the multipartite intrinsic non-locality is additive. This chain rule may be of independent interest in other contexts. All of these properties of multipartite intrinsic non-locality are helpful in establishing the main result of our paper: multipartite intrinsic non-locality is an upper bound on secret key rate in the general multipartite scenario of DI conference key agreement. We discuss various examples of DI conference key protocols and compare our upper bounds for these protocols with known lower bounds. Finally, we calculate upper bounds on recent experimental realizations of DI quantum key distribution.
In this work, we introduce multipartite intrinsic non-locality as a method for quantifying resources in the multipartite scenario of device-independent (DI) conference key agreement. We prove that multipartite intrinsic non-locality is additive, convex, and monotone under a class of free operations called local operations and common randomness. As one of our technical contributions, we establish a chain rule for two variants of multipartite mutual information, which we then use to prove that multipartite intrinsic non-locality is additive. This chain rule may be of independent interest in other contexts. All of these properties of multipartite intrinsic non-locality are helpful in establishing the main result of our paper: multipartite intrinsic non-locality is an upper bound on secret key rate in the general multipartite scenario of DI conference key agreement. We discuss various examples of DI conference key protocols and compare our upper bounds for these protocols with known lower bounds. Finally, we calculate upper bounds on recent experimental realizations of DI quantum key distribution.
Quantum entanglement is a unique property of quantum particles. It can correlate them in such a way, that further correlations to an additional unwanted party is prevented. This renders quantum theory as the prime candidate to implement a secure distribution of an encryption key. Quantum key distribution (QKD) is dedicated to this task. A striking feature of correlations in a statistical experiment is, that they can, in principle, always be approximated. Even more so, correlations can be obtained without a detailed knowledge about the underlying physical process that generated the experimental data. This no-characterization approach is at the heart of the device-independent (DI) paradigm. Here, Bell inequalities are an imperative tool to detect nonlocal correlations, which are necessary for a DI secret key. One central subject of this thesis is multipartite DIQKD and the implications of Bell nonlocality in this context. Any DIQKD protocol involves test rounds in which the violation of a Bell inequality is checked. For multipartite DIQKD, however, not all Bell inequalities are suitable. We identify the crucial properties a Bell test requires to be a viable option. In this light, a published protocol for multipartite DIQKD is examined. We establish an incompatibility which is inherent to the proposed Bell test in combination with the required quantum states. This leads us to the conclusion, that the proposed protocol necessarily aborts. In a subsequent work, we develop a family of multipartite Bell inequalities, specifically tailored to the task of DI conference key agreement (CKA). Several features of this Bell inequality are analytically characterized. In addition, we prove its usefulness for the purposes of DICKA. To this end, semidefinite programming techniques are employed and extended to the multipartite scenario which allows us to quantify asymptotic DI conference key rates. In a second part, we explore the challenges of implementing (bipartite) long-distance DIQKD with quantum repeaters. For two repeater protocols, we describe how experimental parameters manifest themselves in DI secret-key rates. In doing so, we shed light on the fundamental differences between the usual and the DI scenario and we benchmark the threshold requirements of quantum devices to make profitable DI secret-key rates feasible. Finally, we develop a general method to describe in a non-DI setting the propagation of an important class of errors through quantum circuits in arbitrary dimensions. With this, we discuss the potential of error-corrected quantum repeaters to overcome fundamental point-to-point limitations.
Device-independent quantum key distribution is a secure quantum cryptographic paradigm that allows two honest users to establish a secret key, while putting minimal trust in their devices. Most of the existing protocols have the following structure: first, a bipartite nonlocal quantum state is distributed between the honest users, who perform local projective measurements to establish nonlocal correlations. Then, they announce the implemented measurements and extract a secure key by postprocessing their measurement outcomes. We show that no protocol of this form allows for establishing a secret key when implemented on any correlation obtained by measuring local projective measurements on certain entangled nonlocal states, namely, on a range of entangled two-qubit Werner states. To prove this result, we introduce a technique for upper bounding the asymptotic key rate of device-independent quantum key distribution protocols, based on a simple eavesdropping attack. Our results imply that either different reconciliation techniques are needed for device-independent quantum key distribution in the large-noise regime, or Bell nonlocality is not sufficient for this task.