In this thesis, the certification of quantum resources is discussed. This is crucial for the development of new quantum technologies and consequently for the implementation of quantum protocols. In particular, the connections between measure-and-prepare scenarios and entanglement-based scenarios are utilised. First, measurement incompatibility is investigated in the context of dimension-bounded prepare-and-measure scenarios. Its connection to specific entanglement-based scenarios is explicitly established. Second, the dimensionality of quantum channels is witnessed in a prepare-and-measure setting. The benchmarking methods are developed by leveraging the isomorphism between bipartite states and channels. They are implemented in an experimental collaboration to certify the dimensionality of commercial multimode fibres. Third, states and measurements are certified using quantum networks. The network formalism is significantly simplified by describing it in terms of local maps, thus facilitating the development of a range of benchmarking criteria and the derivation of an activation result. Finally, the practical limitations affecting certification methods is addressed. In particular, methods are presented to treat signalling, which is not taken into account by traditional quantum theory.
In this thesis, the certification of quantum resources is discussed. This is crucial for the development of new quantum technologies and consequently for the implementation of quantum protocols. In particular, the connections between measure-and-prepare scenarios and entanglement-based scenarios are utilised. First, measurement incompatibility is investigated in the context of dimension-bounded prepare-and-measure scenarios. Its connection to specific entanglement-based scenarios is explicitly established. Second, the dimensionality of quantum channels is witnessed in a prepare-and-measure setting. The benchmarking methods are developed by leveraging the isomorphism between bipartite states and channels. They are implemented in an experimental collaboration to certify the dimensionality of commercial multimode fibres. Third, states and measurements are certified using quantum networks. The network formalism is significantly simplified by describing it in terms of local maps, thus facilitating the development of a range of benchmarking criteria and the derivation of an activation result. Finally, the practical limitations affecting certification methods is addressed. In particular, methods are presented to treat signalling, which is not taken into account by traditional quantum theory.
The use of high-dimensional systems for quantum communication opens interesting perspectives, such as increased information capacity and noise resilience. In this context, it is crucial to certify that a given quantum channel can reliably transmit high-dimensional quantum information. Here we develop efficient methods for the characterization of high-dimensional quantum channels. We first present a notion of dimensionality of quantum channels and develop efficient certification methods for this quantity. We consider a simple prepare-and-measure setup and provide witnesses for both a fully and a partially trusted scenario. In turn, we apply these methods to a photonic experiment and certify dimensionalities up to 59 for a commercial graded-index multimode optical fiber. Moreover, we present extensive numerical simulations of the experiment, providing an accurate noise model for the fiber and exploring the potential of more sophisticated witnesses. Our work demonstrates the efficient characterization of high-dimensional quantum channels, a key ingredient for future quantum communication technologies.
In this thesis, I study quantum resources for quantum communication and cryptography. The first part deals with bit commitment, a cryptographic primitive in which a party commits a secret bit to another party. After shortly presenting the security issues faced by quantum bit commitment, I demonstrate the first realization of a secure relativistic bit commitment sustained for 24 hours. The second part deals with the development of efficient methods to generate, distribute and characterize photonic entangled states. I address the problem of certifying entanglement in the presence of measurement imperfections, and demonstrate a practical implementation of a measurement-device-independent entanglement witness. I then address the challenge of long-distance distribution of entanglement. I demonstrate a heralded photon amplifier and entanglement swapping protocols adapted for the distribution of single photon entanglement, and further discuss the advantages and limitations of using single photon entanglement as a resource for quantum communication.
Any computational process is built from a sequence of components. In this context, there are at least two ways in which “component” can be interpreted: physically and logically. The former can be understood as referring to the hardware for the computation, i.e., the physical substrate where the computation “takes place”, while the latter can be understood as referring to the software, i.e., the mathematical mapping of inputs to outputs. These two interpretations are by no means distinct: each logical component is implemented as the evolution of a physical component in some state. Accordingly, the logical requirements of a computation also specify the minimal physical requirements of the computational device. In quantum computational processes, the physical components are constructed from materials whose states and evolutions are described by quantum mechanics. At the logical level, this permits the use of quantum information theory: states are represented by vectors in a Hilbert space and evolutions are specified via unitary dynamics and measurements. In measurement-based quantum computational processes, the latter form of evolution, i.e. that driven by measurements, is most prominent. In this context, certain quantum states taken on the quality of a computational resource. That is to say, it is the combination of state and measurement together that produce the desired evolution for a given logical component. This thesis treats several topics related to the preparation and use of such resource states. In particular, much of the thesis will be concerned with states that support universal quantum computation; that is, for which any quantum computation is possible within the framework of MBQC. The first contribution in this regard consists in establishing a connection between a different framework of universal computation, namely that of parity quantum computing, and MBQC. This connection relates to both preparation and use since the former was developed in the context of quantum optimisation (a use) and utilises a specific type of encoding of quantum states (a preparation). The next sections consider the requirements under which specific sets of logical components suffice for universal quantum computation. These sets commonly arise in quantum information theory, and as state-measurement combinations in MBQC and parity quantum computing in particular. In addition to establishing results on the sizes of such sets, this thesis investigates the consequences for parity quantum computing and MBQC, including, e.g., considerations for the design of physical devices and the compilation of computations. Finally, several limits to the preparation and use of states for MBQC are investigated. In one case, an information-theoretic quantity is considered which can be used to quantify uncertainty regarding some piece of information. In the context of MBQC, the piece of information can pertain to, e.g., the choice of computation to perform on a given state, such as in the context of blind quantum computing. Thereafter, a method is developed capable of witnessing the inability to prepare various states under certain constraints that are relevant in, e.g., the context of quantum networks.
High-dimensional entanglement offers significant advantages over its low-dimensional counterpart in various information-processing tasks. However, to harness these advantages, it is crucial that the quantum channels used to store or transmit the subsystems of an entangled system not only preserve entanglement but also maintain its dimensionality above a certain threshold. The maximum entanglement dimension that a channel can preserve is referred to as its effective dimensionality, since the channel cannot be used to transmit information of dimension greater than that in a single use. In this work, we present a method to certify whether a quantum channel can preserve entanglement dimension above a given threshold. Unlike existing approaches, our method is faithful, i.e., it can be applied to any channel, and avoids common assumptions such as preparation of entangled states, auxiliary side channels, or perfect measurement devices. Moreover, the method can be extended to faithfully certify other classes of non-resource-breaking channels, such as non-nonpositive-partial-transpose-breaking channels (non-NPT-breaking channels). Finally, we discuss possible experimental realizations of our certification scheme through explicit examples.
Quantum memories are key ingredients for future quantum networks. Developing methods for their certification is therefore an important, yet challenging, problem. In this work, we present a general framework for certifying quantum memories and quantifying their performance in an operational and efficient manner, taking advantage of developments in the theory of quantum channels. We start by giving a pedagogical introduction to these concepts and tools and illustrate their natural application to quantum memories. Specifically, we quantify the fidelity of a quantum memory via the notion of average channel fidelity, which can be estimated precisely in an experiment via a finite set of probe states forming a so-called 2-design. We then present a number of witnessing techniques for certifying this quantity, and show that it gives access to other important properties of the channel, such as its dimensionality and its capacity to transmit quantum information. We consider mostly a simple prepare-and-measure scenario, but discuss also the case of an entanglement-based setup, as well as a semi-device-independent approach. Finally, we apply these methods to a solid-state quantum memory experiment, certifying an average channel fidelity of 98.6%. Our certification methods can be readily applied to other quantum devices, such as fibers, transducers and gates.
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.