A device-independent dimension test for a Bell experiment aims to estimate the underlying Hilbert space dimension that is required to produce given measurement statistical data without any other assumptions concerning the quantum apparatus. Previous work mostly deals with the two-party version of this problem. In this paper, we propose a very general and robust approach to test the dimension of any subsystem in a multiparty Bell experiment. Our dimension test stems from the study of a new multiparty scenario which we call prepare-and-distribute . This is like the prepare-and-measure scenario, but the quantum state is sent to multiple, noncommunicating parties. Through specific examples, we show that our test results can be tight. Furthermore, we compare the performance of our test to results based on known bipartite tests, and witness remarkable advantages, which indicates that our test is of a true multiparty nature. We conclude by pointing out that with some partial information about the quantum states involved in the experiment, it is possible to learn other interesting properties beyond dimension.
A device-independent dimension test for a Bell experiment aims to estimate the underlying Hilbert space dimension that is required to produce given measurement statistical data without any other assumptions concerning the quantum apparatus. Previous work mostly deals with the two-party version of this problem. In this paper, we propose a very general and robust approach to test the dimension of any subsystem in a multiparty Bell experiment. Our dimension test stems from the study of a new multiparty scenario which we call prepare-and-distribute . This is like the prepare-and-measure scenario, but the quantum state is sent to multiple, noncommunicating parties. Through specific examples, we show that our test results can be tight. Furthermore, we compare the performance of our test to results based on known bipartite tests, and witness remarkable advantages, which indicates that our test is of a true multiparty nature. We conclude by pointing out that with some partial information about the quantum states involved in the experiment, it is possible to learn other interesting properties beyond dimension.
In a Bell experiment two parties share a quantum state and perform local measurements on their subsystems separately, and the statistics of the measurement outcomes are recorded as a Bell correlation. For any Bell correlation, it turns out a quantum state with minimal size that is able to produce this correlation can always be pure. In this work, we first exhibit two characterizations for the pure state that Alice and Bob share using only the correlation data. Specifically, we give two conditions that the Schmidt coefficients must satisfy, which have very broad applications in many quantum tasks. First, one of the characterizations allows us to bound the entanglement between Alice and Bob using Renyi entropies and also to estimate the underlying Hilbert space dimension. Second, we provide examples to show that our results can be tight, where the shared quantum state is characterized completely. In this situation, our result serves as a general theoretical tool to self-test bipartite pure quantum states in a device-independent manner. Third, the second characterization gives a sufficient condition that a Bell correlation cannot be generated by maximally entangled states of certain dimension. We also show that our results can be generalized to the case of shared mixed states.
We propose a device-independent null witness dimensionality test with bipartite measurements and input from two separate parties. The dimension is determined from the rank of the matrix of measurements for pairs of states prepared by the parties. We have applied the test to various IBM Quantum devices. The results demonstrate extreme precision of the test, which is able to detect disagreements with the qubit (two-level) space of bipartite measurement even in the presence of technical imperfections. The deviations beyond 6 standard deviations have no simple origin and need urgent explanations to unblock progress in quantum computing.
Analyzing the dimension of an unknown quantum system in a device-independent manner, i.e., using only the measurement statistics, is a fundamental task in quantum physics and quantum information theory. In this paper, we consider this problem in the prepare-and-measure scenario. Specifically, we provide a lower bound on the dimension of the prepared quantum systems, which is a function that only depends on the measurement statistics. Furthermore, we show that our bound performs well in several examples. In particular, we show that our bound provides insights into the notion of dimension witness, and we also use it to show that the sets of restricted-dimensional prepare-and-measure correlations are not always convex.
Quantum entanglement, has been acknowledged as a precious resource due to its inherent nonclassical correlations between subsystems. These quantum correlations have the potential for many quantum processes, including canonical ones: quantum cryptography, quantum teleportation, and dense coding. To exploit the advantages of quantum entanglement, two essential premises are required, i.e., to prepare high-quality entanglement and characterize quality level of prepared entanglement. Thus far, quantum entanglement can be produced in various quantum systems; however, it appears that this new resource is complex and difficult to characterize. The standard methods to characterize multipartite entanglement, e.g., entanglement witness, state tomography, or quantum state verification, require full knowledge of the Hilbert space dimension and precise calibration of measurement devices, which are usually difficult to acquire in experiment. The most radical way to overcome these problems is to detect entanglement solely based on the Bell-like correlations of measurement outcomes collected in the experiment, namely, device-independent characterization of entanglement. This article reviews the recently developed device-independent methods to characterize entanglement, including self-testing and device-independent certification of entanglement. These approaches can be widely applied in kinds of quantum information processing, especially for those with security demands.
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.
The device-independent formalism is a set of tools to analyze experimental data and infer properties about systems, while avoiding almost any assumption about the functioning of devices. It has found applications both in fundamental and applied physics: some examples are the characterization of quantum nonlocality and information protocols for secure cryptography or randomness generation. This thesis contains novel results on these topics and also new applications such as deviceindependent test for dimensionality. After an introduction to the field, the thesis is divided in four parts. In the first we study device-independent tests for classical and quantum dimensionality. We investigate a scenario with a source and a measurement device. The goal is to infer, solely from the measurement statistics, the dimensionality required to describe the system. To this end, we exploit the concept of dimension witnesses. These are functions of the measurement statistics whose value allows one to bound the dimension. We study also the robustness of our tests in more realistic experimental situations, in which devices are affected by noise and losses. Lastly, we report on an experimental implementation of dimension witnesses. We conducted the experiment on photons manipulated in polarization and orbital angular momentum. This allowed us to generate ensembles of classical and quantum systems of dimension up to four. We then certified their dimension as well as its quantum nature by using dimension witnesses. The second part focuses on nonlocality. The local content is a nonlocality quantifier that represents the fraction of events that admit a local description. We focus on systems that exhibit, in that sense, maximal nonlocality. By exploiting the link between Kochen-Specker theorems and nonlocality, we derive a systematic recipe to construct maximally nonlocal correlations. We report on the experimental implementation of correlations with a high degree on nonlocality in comparison with all previous experiments on nonlocality. We also study maximally nonlocal correlations in the multipartite setting, and show that the so-called GHZ-state can be used to obtain correlations suitable for multipartite information protocols, such as secret-sharing. The third part studies nonlocality from an operational perspective. We study the set of operations that do not create nonlocality and characterize nonlocality as a resource theory. Our framework is consistent with the canonical definitions of nonlocality in the bipartite setting. However, we find that the well-established definition of multipartite nonlocality is inconsistent with the operational framework. We derive and analyze alternative definitions of multipartite nonlocality to recover consistency. Furthermore, the novel definitions of multipartite nonlocality allows us to analyze the validity of information principles to bound quantum correlations. We show that `information causality' and `non-trivial communication complexity' are insufficient to characterize the set of quantum correlations. In the fourth part we present the first quantum protocol attaining full randomness amplification. The protocol uses as input a source of imperfect random bits and produces full random bits by exploiting nonlocality. Randomness amplification is impossible in the classical regime and it was known to be possible with quantum system only if the initial source was almost fully random. Here, we prove that full randomness can indeed be certified using quantum non-locality under the minimal possible assumptions: the existence of a source of arbitrarily weak (but non-zero) randomness and the impossibility of instantaneous signaling. This implies that one is left with a strict dichotomic choice regarding randomness: either our world is fully deterministic or there exist events in nature that are fully random.