The project concerned the study of quantum correlations (QC) in compound systems, i.e. statistical correlations more general than entanglement which are predicted by quantum mechanics but not described in any classical scenario. I aimed to understand the technical and operational properties of the measures of QC, their interplay with entanglement quantifiers and the experimental accessibility.\nIn the first part of my research path, after having acquired the conceptual and technical rudiments of the project, I provided solutions for some computational issues: I developed analytical and numerical algorithms for calculating bipartite QC in finite dimensional systems. Then, I tackled the problem of the experimental detection of QC. There is no Hermitian operator associated with entanglement measures, nor with QC ones. However, the information encoded in a density matrix is redundant to quantify them, thus the full knowledge of the state is not required to accomplish the task. I reported the first protocol to measure the QC of an unknown state by means of a limited number of measurements, without performing the tomography of the state. My proposal has been implemented experimentally in a NMR (Nuclear Magnetic Resonance) setting.\nIn the final stage of the project, I explored the foundational and operational merits of QC. I showed that the QC shared by two subsystems yield a genuinely quantum kind of uncertainty on single local observables. The result is a promising evidence of the potential exploitability of separable (unentangled) states for quantum metrology in noisy conditions.
The project concerned the study of quantum correlations (QC) in compound systems, i.e. statistical correlations more general than entanglement which are predicted by quantum mechanics but not described in any classical scenario. I aimed to understand the technical and operational properties of the measures of QC, their interplay with entanglement quantifiers and the experimental accessibility.\nIn the first part of my research path, after having acquired the conceptual and technical rudiments of the project, I provided solutions for some computational issues: I developed analytical and numerical algorithms for calculating bipartite QC in finite dimensional systems. Then, I tackled the problem of the experimental detection of QC. There is no Hermitian operator associated with entanglement measures, nor with QC ones. However, the information encoded in a density matrix is redundant to quantify them, thus the full knowledge of the state is not required to accomplish the task. I reported the first protocol to measure the QC of an unknown state by means of a limited number of measurements, without performing the tomography of the state. My proposal has been implemented experimentally in a NMR (Nuclear Magnetic Resonance) setting.\nIn the final stage of the project, I explored the foundational and operational merits of QC. I showed that the QC shared by two subsystems yield a genuinely quantum kind of uncertainty on single local observables. The result is a promising evidence of the potential exploitability of separable (unentangled) states for quantum metrology in noisy conditions.
Abstract Quantum information theory is built upon the realisation that quantum resources like coherence and entanglement can be exploited for novel or enhanced ways of transmitting and manipulating information, such as quantum cryptography, teleportation, and quantum computing. We now know that there is potentially much more than entanglement behind the power of quantum information processing. There exist more general forms of non-classical correlations, stemming from fundamental principles such as the necessary disturbance induced by a local measurement, or the persistence of quantum coherence in all possible local bases. These signatures can be identified and are resilient in almost all quantum states, and have been linked to the enhanced performance of certain quantum protocols over classical ones in noisy conditions. Their presence represents, among other things, one of the most essential manifestations of quantumness in cooperative systems, from the subatomic to the macroscopic domain. In this work we give an overview of the current quest for a proper understanding and characterisation of the frontier between classical and quantum correlations (QCs) in composite states. We focus on various approaches to define and quantify general QCs, based on different yet interlinked physical perspectives, and comment on the operational significance of the ensuing measures for quantum technology tasks such as information encoding, distribution, discrimination and metrology. We then provide a broader outlook of a few applications in which quantumness beyond entanglement looks fit to play a key role.
Entanglement is the resource that most sharply distinguishes quantum information processing from its classical counterpart, and this thesis examines it from two complementary directions: how it can be detected and quantified, and how it, together with the broader machinery of quantum correlations, interference, and measurement, can be put to use. We first study two simple, measurable conditions that detect bipartite entanglement, and show that the extent to which either is violated yields a lower bound on the negativity of a state. The bound is established for two qubits, extended to systems of arbitrary finite dimension, and sharpened when partial knowledge of the Schmidt vectors is available. We then turn to discrete-outcome quantum sensor networks, in which one seeks only to determine which detectors, or which group or spatial pattern of detectors, has responded to a signal. Working in the weak-interaction regime, where the output states are nonorthogonal, we use minimum-error and unambiguous state discrimination to show that entangled initial states and collective measurements confer an advantage when detectors are grouped, and we develop a shift-operator formalism that gives closed-form success probabilities for the detection of shifted patterns in one- and two-dimensional arrays. Next we consider the problem of learning two unknown pure qubit states, together with their probabilities of occurrence, from a scrambled stream; we show that receiving the systems in identically prepared pairs supplies exactly the extra quantum information needed, since the resulting two-qubit state in the symmetric subspace has a unique decomposition into pure product states, which we recover by tomography. Finally, we show how interference and measurement can convert information encoded in the phases of quantum amplitudes into information encoded in their magnitudes, amplifying the amplitudes that carry useful information and suppressing those that do not, and we apply this technique to states produced by the quantum approximate optimization algorithm for the MaxCut and minimum-vertex-cover problems. Throughout, a single theme recurs: the correlations and superpositions permitted by quantum mechanics are at once something to be measured and something to be exploited.
Despite the success of quantum mechanics in predicting the outcomes of experiments in many branches of physics, the foundations of the theory have remained subject of research and dispute. At the basis of this struggle with the theory lie the phenomena of nonlocality and entanglement. Since it was first predicted by Bell in 1964, nonlocality was not only verified in numerous experiments, but also identified as a useful resource for quantum information processing. Thus, the study of nonlocality is important both from a fundamental point of view and with respect to new applications in quantum information theory, such as secure cryptography and randomness generation. The identification of entanglement as a resource for quantum information led to a strong theoretical effort devoted to its characterisation and detection. Many of the resulting mathematical tools find application in several domains of physics. Although the only known way to create nonlocal correlations is to measure entangled quantum systems, it has been shown that entanglement and nonlocality constitute two inequivalent properties. Therefore, in the light of the success of entanglement theory, it is of interest to also devise a resource theory of nonlocality. The task of this thesis is to develop such a theoretical framework for the characterisation of nonlocality as a resource. To gain a better understanding of nonlocal correlations it will be necessary to investigate correlation scenarios that go beyond the situation originally considered by Bell. In doing so, this thesis provides new description of nonlocality that also have implications for the characterisation of quantum correlations and the detection of new forms of nonlocality. The first question we address is how nonlocality can consistently be defined in a scenario of arbitrarily many parties that may collaborate among each other. To this end we recognise which are the allowed physical operations in this situation and then define nonlocality as the resource that cannot be created by these operations. Our approach shows that the conventional definition of multipartite nonlocality, adopted by the community so far, is inconsistent with this operational definition; we further propose and analyse new models that do not suffer from these inconsistencies. Furthermore, we show that our findings have implications for the characterisation of quantum correlations. A recent approach to describe the set of quantum correlation consists in using principles inspired from information theory. By using a special instance of the models we defined earlier we show a fundamental limitation of this approach: no bipartite information principle is sufficient to single out the set of quantum correlations from the set of nonsignalling correlations. We then developed a description of nonlocality in an even more generalised scenario of several parties. Motivated by a result of Popescu we study scenarios where the parties are allowed to perform not only a single but sequences of measurements on their systems. Characterising nonlocality also in this scenario in operational terms and defining local models compatible with this definition, we show that a new form of nonlocality can be detected Lastly, we examine the problem of detecting the presence of nonlocality in a multipartite scenario when one is given only partial access to the global system. We find that one can verify that the total system must display nonlocality, even though the accessible subsystems only exhibit local correlations.
Quantum information has the potential to disrupt the present computational landscape. Much of this potential rests on the existence of efficient quantum algorithms for classically intractable problems and of quantum cryptographic protocols for tasks that are provably impossible to realize classically. At the heart of many quantum advantages is one of the most counterintuitive features of quantum mechanics, known as entanglement. The central motivating question of this thesis is the following: if quantum devices will perform tasks that are beyond the reach of classical devices, can we hope to certify that they are performing these tasks correctly? Bell's theorem, a landmark result in physics, provides a partial answer to this question: it asserts that measurements on spatially isolated, but entangled, particles can result in outcomes that are correlated in a way that cannot be explained by any local hidden variable theory (such as Newtonian physics). A direct operational consequence of this theorem is that one can devise a statistical test to certify the presence of entanglement (and hence of genuine quantumness). Remarkably, nature allows us to take this certification one step further: in some cases, the correlation of measurement outcomes is sufficient to single out a unique quantum setup compatible with this correlation. This phenomenon is often referred to as self-testing, and is the central topic of this thesis. In the first part of this thesis, we review the basic terminology and results in the theory of self-testing. We then explore a concrete application to the problem of verifiably delegating a quantum computation. Our main technical contribution is a test that robustly certifies products of single-qubit Clifford measurements on many EPR pairs. We employ this test to obtain a protocol which allows a classical user to verifiably delegate her quantum computation to two spatially isolated quantum servers. The overall complexity of our protocol is near-optimal, requiring resources that scale almost linearly in the size of the circuit being delegated. In the second part of this thesis, the driving question is the following: what is the class of quantum states and measurements that can be certified through self-testing? Does self-testing only apply to a few special cases, like EPR pairs or copies of EPR pairs, or are these instances of a more general phenomenon? One of the main results of this thesis is that we settle this question for the case of bipartite states. We show the existence of a self-testing correlation for any pure bipartite entangled state of any finite local dimension. We then move on to explore the multipartite case, and we show that a significantly larger class of states can be self-tested than was previously known. This includes all multipartite partially entangled GHZ states, and more generally all multipartite qudit states which admit a Schmidt decomposition. In the final part of this thesis, we explore connections of the theory of self-testing to basic questions about entanglement and quantum correlation sets. In particular, we set out to understand the expressive power of infinite-dimensional quantum systems. We consider two questions: can spatially isolated quantum systems of infinite dimension produce correlations that are unattainable by finite-dimensional systems? Does there exist a correlation that cannot be attained exactly by spatially isolated quantum systems (not even infinite-dimensional ones), but can be approximated arbitrarily well by a sequence of finite or infinite-dimensional systems? The first question was posed by Tsirelson in 1993, and its answer has been elusive. One of the main results of this thesis is a resolution of this question. The second question is better known as the "non-closure of the set of quantum correlations", and was answered affirmatively in a breakthrough of Slofstra. We give a new elementary proof of this result which leverages one of our self-testing results and a phenomenon known as embezzlement.
We review a recently developed theoretical approach to the experimental detection and quantification of bipartite quantum correlations (QCs) between a qubit and a d-dimensional system. Specifically, introducing a properly designed measure Q, the presented scheme allows us to quantify general QCs for arbitrary states of 2⊗d systems without the need to fully reconstruct them by tomographic techniques. We take in exam the specifics of the required experimental architecture in nuclear magnetic resonance (NMR) and optical settings. Finally we extend this approach to models of open system dynamics and discuss possible advantages and limitations in such a context.
Quantum coherence and quantum correlations are of fundamental and practical significance for the development of quantum mechanics.They are also cornerstones of quantum computation and quantum communication theory. Searching physically meaningful and mathematically rigorous quantifiers of them are long-standing concerns of the community of quantum information science, and various faithful measures have been introduced so far. We review in this paper the measures of discordlike quantum correlations for bipartite and multipartite systems, the measures of quantum coherence for any single quantum system, and their relationship in different settings. Our aim is to provide a full review about the resource theory of quantum coherence, including its application in many-body systems, and the discordlike quantum correlations which were defined based on the various distance measures of states. We discuss the interrelations between quantum coherence and quantum correlations established in an operational way, and the fundamental characteristics of quantum coherence such as their complementarity under different basis sets, their duality with path information of an interference experiment, their distillation and dilution under different operations, and some new viewpoints of the superiority of the quantum algorithms from the perspective of quantum coherence. Additionally, we review properties of geometric quantum correlations and quantum coherence under noisy quantum channels. Finally, the main progresses for the study of quantum correlations and quantum coherence in the relativistic settings are reviewed. All these results provide an overview for the conceptual implications and basic connections of quantum coherence, quantum correlations, and their potential applications in various related subjects of physics.