In this thesis, we investigate the uses of entanglement and its verification in quantum communication. Typically, it is the presence of entanglement which allows quantum communication protocols to outperform their classical counterparts, or to achieve tasks which are infeasible with classical physics. Therefore, the verification of entanglement can provide fundamental tests to certify that experimental implementations of such protocols operate quantum mechanically. The main object here is to develop a verification procedure which is adaptable to a wide range of applications, and whose implementation has low requirements on experimental resources. We present such a procedure in the form of the Expectation Value Matrix. The structure of this thesis is as follows: Chapters 1 and 2 give a short introduction and background information on quantum theory and the quantum states of light. In particular, we discuss the basic postulates of quantum mechanics, quantum state discrimination, the description of quantum light and the homodyne detector. Chapter 3 gives a brief introduction to quantum information and in particular to entanglement, and we discuss the basics of quantum key distribution and teleportation. The general framework of the Expectation Value Matrix is introduced. The main matter of this thesis is contained in the subsequent three chapters, which describe different quantum communication protocols and the corresponding adaptation of the entanglement verification method. The subject of Chapter 4 is quantum key distribution, where the detection of entanglement is a means of excluding intercept-resend attacks, and the presence of quantum correlations in the raw data is a necessary precondition for the generation of secret key. We investigate a continuous-variable version of the two-state protocol and develop the Expectation Value Matrix method for such qubit-mode systems. Furthermore, we analyse the role of the phase reference with respect to the security of the protocol and raise awareness of a corresponding security threat. For this, we adapt the verification method to different settings of Stokes operator measurements. In Chapter 5, we investigate quantum memory channels and propose a fundamental bench- mark for these based on the verification of entanglement. After describing some physical effects which can be used for the coherent storage of light, we focus on the storage of squeezed light. This situation requires an extension of our verification procedure to sources of mixed input states. We propose such an extension, and give a detailed analysis of its application to squeezed thermal states, displaced thermal states and mixed qubit states. This is supplemented by finding the optimal entanglement-breaking channels for each of these situations, which provides us with an indication of the strength of the extension to our entanglement criterion. The subject of Chapter 6 is also the benchmarking of quantum memory or teleportation experiments. Considering a number of recently published benchmark criteria, we investigate the question which one is most useful to actual experiments. For this, a criterion must be both strong, i.e., easy to overcome, and it must be implementable with a reasonable amount of experimental resources. We first compare the different criteria for typical settings and sort them according to their resilience to excess noise. Then, we introduce a further improvement to the Expectation Value Matrix method, which results in the desired optimal benchmark criterion. Finally, we investigate naturally occurring phase fluctuations and find them to further simplify the implementation of our criterion. Thus, we formulate the first truly useful way of validating experiments for the quantum storage or transmission of light.
In this thesis, we investigate the uses of entanglement and its verification in quantum communication. Typically, it is the presence of entanglement which allows quantum communication protocols to outperform their classical counterparts, or to achieve tasks which are infeasible with classical physics. Therefore, the verification of entanglement can provide fundamental tests to certify that experimental implementations of such protocols operate quantum mechanically. The main object here is to develop a verification procedure which is adaptable to a wide range of applications, and whose implementation has low requirements on experimental resources. We present such a procedure in the form of the Expectation Value Matrix. The structure of this thesis is as follows: Chapters 1 and 2 give a short introduction and background information on quantum theory and the quantum states of light. In particular, we discuss the basic postulates of quantum mechanics, quantum state discrimination, the description of quantum light and the homodyne detector. Chapter 3 gives a brief introduction to quantum information and in particular to entanglement, and we discuss the basics of quantum key distribution and teleportation. The general framework of the Expectation Value Matrix is introduced. The main matter of this thesis is contained in the subsequent three chapters, which describe different quantum communication protocols and the corresponding adaptation of the entanglement verification method. The subject of Chapter 4 is quantum key distribution, where the detection of entanglement is a means of excluding intercept-resend attacks, and the presence of quantum correlations in the raw data is a necessary precondition for the generation of secret key. We investigate a continuous-variable version of the two-state protocol and develop the Expectation Value Matrix method for such qubit-mode systems. Furthermore, we analyse the role of the phase reference with respect to the security of the protocol and raise awareness of a corresponding security threat. For this, we adapt the verification method to different settings of Stokes operator measurements. In Chapter 5, we investigate quantum memory channels and propose a fundamental bench- mark for these based on the verification of entanglement. After describing some physical effects which can be used for the coherent storage of light, we focus on the storage of squeezed light. This situation requires an extension of our verification procedure to sources of mixed input states. We propose such an extension, and give a detailed analysis of its application to squeezed thermal states, displaced thermal states and mixed qubit states. This is supplemented by finding the optimal entanglement-breaking channels for each of these situations, which provides us with an indication of the strength of the extension to our entanglement criterion. The subject of Chapter 6 is also the benchmarking of quantum memory or teleportation experiments. Considering a number of recently published benchmark criteria, we investigate the question which one is most useful to actual experiments. For this, a criterion must be both strong, i.e., easy to overcome, and it must be implementable with a reasonable amount of experimental resources. We first compare the different criteria for typical settings and sort them according to their resilience to excess noise. Then, we introduce a further improvement to the Expectation Value Matrix method, which results in the desired optimal benchmark criterion. Finally, we investigate naturally occurring phase fluctuations and find them to further simplify the implementation of our criterion. Thus, we formulate the first truly useful way of validating experiments for the quantum storage or transmission of light.
In this thesis, we develop a number of operational tests and tools for benchmarking the quantum nature of optical quantum communication devices. Using the laws of quantum physics, ideal quantum devices can fundamentally outperform their classical counterparts, or even achieve objectives which are classically impossible. Actual devices will not be ideal, but they may still be capable of facilitating quantum communication. Benchmarking tests, based on the presence of entanglement, can be used to verify whether or not imperfect quantum devices offer any advantage over their classical analogs. The general goal in this thesis is to provide strong benchmarking tools which simultaneously require minimal experimental resources but also offer a wide range of applicability. Another major component is the extension of existing qualitative benchmarks (`Is it quantum or classical?') to more quantitative forms (`How quantum is it?'). We provide a number of benchmarking results applicable to two main situations, namely discrete remote state preparation protocols and continuous-variable quantum device testing. The theoretical tools derived throughout this thesis are also applied to the tasks of certifying a remote state preparation experiment and a continuous-variable quantum memory.
We present a method to test quantum behavior of quantum information processing devices, such as quantum memories, teleportation devices, channels, and quantum key distribution protocols. The test of quantum behavior can be phrased as the verification of effective entanglement. Necessary separability criteria are formulated in terms of a matrix of expectation values in conjunction with the partial transposition map. Our method is designed to reduce the resources for entanglement verification. A particular protocol based on coherent states and homodyne detection is used to illustrate the method. A possible test for the quantum nature of memories using two nonorthogonal signal states arises naturally. Furthermore, closer inspection of the measurement process in terms of the Stokes operators reveals a security threat for quantum key distribution involving phase reference beams.
Quantum correlations arising from measurements on pairs of entangled particles are often referred to as the most non-classical feature of quantum mechanics. As such, they have found a role in many fundamental tests of quantum mechanics and most emerging applications in the field of quantum communication. The most well-known fundamental test is the Bell inequality. Its repeated violation in countless experiments has convinced physicists that local hidden variables cannot describe the correlations arising from measurements on entangled particles. On the application side, quantum correlations have been used in quantum key distribution, which aims to provably secure messages during transmission, and quantum repeaters, which are essential for future long-distance quantum communication. The main goal of this thesis was to use quantum entanglement for new fundamental studies and quantum communication applications. Towards this end, we developed a high-fidelity source of entanglement and used it in a fundamental test where we bounded the predictive power any physical theory could have about the outcomes of measurements on entangled particles. Secondly, we made use of entangling measurements to develop a new quantum cryptography system based on the promising MDI-QKD protocol, which protects users from otherwise undetectable hacking attacks. We developed a detailed model of MDI-QKD systems with which one can optimize any implementation, deployed our MDI-QKD system across the city of Calgary, and demonstrated the feasibility of this protocol and of long-distance entangling measurements. Thirdly, we have built a source of entanglement compatible with quantum memories, which is an essential ingredient of quantum repeaters. We then demonstrated several crucial steps towards a functioning quantum repeater, including the preservation of entanglement during storage and, more generally, the entire photonic wavefunction. While further work is required to bring our demonstrations to real-world applications, we are confident that they will prove useful in guiding future developments.
Current communication networks are based on classical physics and classical information-processing. However, for nearly a century, we have known that at its most fundamental level, the universe is governed by the laws of quantum mechanics. With quantum communication, new possibilities arise in our capabilities to transmit and process information which, in many cases, lead to advantages compared to what is classically possible. The entire scope of tasks for which quantum communication can offer improvements has not yet been fully explored, but several quantum protocols are known that can either perform tasks which are impossible with classical resources or can outperform classical protocols. These quantum protocols are well understood from a theoretical point of view, but many of them have never been demonstrated in practice. Thus, in the context of quantum communication, there is a significant gap between theory and experiment that must be removed in order to harness the advantages provided by quantum mechanics in a practical setting. \n \nIn this thesis, we develop a series of tools for developing and testing practical quantum communication protocols. Our main technique is a theoretical reformulation of existing quantum communication protocols that converts them into a form in which they can be demonstrated with existing experimental techniques. More precisely, they can be implemented using only coherent states of light and linear optics circuits while still retaining the crucial properties of the original abstract protocols. We use this result to construct practical protocols for the Hidden Matching problem and quantum fingerprinting. \n \n \nIn the case of quantum fingerprinting, we make a thorough analysis of the role played by experimental errors and show that our practical protocol can still be implemented in the presence of these imperfections. In fact, we report a proof of concept experimental demonstration of a quantum fingerprinting system that is capable of transmitting less information than the best known classical protocol for this problem. Our implementation is based on a modified version of a commercial quantum key distribution system using off-the-shelf optical components over telecom wavelengths, and is practical for messages as large as 100 Mbits, even in the presence of experimental imperfections. \n \nSimilarly, in the context of cryptography, we propose a multiparty quantum signature protocol that can be implemented from any point-to-point quantum key distribution network, proving its security against forging, repudiation and non-transferability. Crucially, since quantum key distribution is already a practical technology, so is this protocol. However, unlike other tasks in quantum communication, there has not been significant theoretical work on establishing a security model for quantum signature schemes. Consequently, we also constructed a security framework for these schemes and proved several properties that these protocols must satisfy in order to achieve their security goals. \n \nFinally, in addition to proposing new practical protocols, we provide a reliable data analysis technique to verify an important property of many quantum communication protocols: the presence of entanglement. Our technique is based on entanglement witnesses and it does not require the specification of a prior distribution nor the assumption of independent measurements. The technique is suitable to be used with nonlinear entanglement witnesses, which we show can be constructed from any linear witness and evaluated from the same experimental data. We also develop numerical tools necessary to employ this approach in practice, rendering the procedure ready to be applied to current experiments. We demonstrate this by analyzing the data of a photonic experiment generating two-photon states whose entanglement is verified with the use of an accessible nonlinear witness.
This thesis is a study of how information theory can be used to analyse and interpret quantum mechanical systems, specifically, systems that are being used for information processing and communication tasks. Quantum information science is a relatively new field, and it has only been recently that we have started to look at using quantum mechanical systems to accomplish information processing tasks that are not possible using classical systems. As this method of information processing is a relatively new paradigm, there are many possibilities for new algorithms and discoveries in this area of computing. The application of information theory towards the analysis and description of quantum mechanical systems yields new interesting results - it can even be argued that information theory provides a natural and intuitive way to intepret quantum mechanics, as correlations and measurement outcomes in quantum processes can be described using information theory. Chapter 1 is an introduction to the strange new world of quantum mechanics and takes a brief look at one of the applications of quantum information science in quantum cryptography. A mathematical overview of the postulates and framework that quantum mechanics is built on is presented in Chapter 2. Chapter 3 is a brief study of classical information theory and some of the fundamental concepts and ideas that form the crux of the subject. In Chapter 4, we present the main results of the thesis by taking a look at an optimal measurement scheme that improves on previous schemes by allowing us to extract the maximal amount of information from states in a quantum channel of specific geometry. The findings have an impact on various other areas of the field, including security analysis of quantum cryptographic protocols and building better quantum cloning machines.
The characterisation of quantum correlations, also known as entanglement, is central to quantum information theory. Operationally, entanglement gives rise to the notion of quantum non-locality, which challenges the ‘reality’ of quantum mechanics (adopting the terminology of Einstein, Podolski and Rosen) and arguably represents its most distinctive feature, in the sense that it calls for a departure from certain foundational tenets of classical physics. It should thus not come as a surprise that entanglement turns out to be a key resource for the implementation of a number of quantum communication protocols and also necessary to achieve computational speed-ups with quantum hardware, in the sense that accessing regions of the Hilbert space with entangled states allows one to shorten the computational depth of certain algorithms. Not surprisingly, generating and maintaining entanglement is generally difficult in practice, as it requires strong interactions between selected components of a system that must at the same time be isolated from the environment. Thanks to the techniques developed in quantum optical set-ups to achieve squeezed light, entanglement is, however, comparatively accessible with optical quantum continuous variables. As we shall see, in fact, continuous variable entanglement is closely related to the notion of squeezing. It is therefore of the utmost importance to be able to qualify and quantify the entanglement of quantum continuous variables, which is the subject matter of the present chapter. The first part of the chapter is devoted to techniques and criteria based on second moments to detect the entanglement of Gaussian states and also to the description of possible ways to quantify such quantum correlations, bearing in mind that the determination of entanglement monotones of clear operational significance is still an open problem, even in the restricted arena of Gaussian states. Although the criteria based on second moments are sufficient, but not necessary, for the detection of non-Gaussian entanglement too, we will push our analysis further by introducing more general criteria based on higher order statistical moments, which will be put to use to detect, on paper, the quantum correlations of an entangled cat-like state. We will also address the issues of entanglement distillation and quantum non-locality tests, in whose contexts we shall encounter other non-Gaussian operations and states, such as photon-subtracted states.