Quantum cryptography is one of the most important quantum information applications. The present thesis covers several topics on quantum cryptography, such as the security analysis of quantum channels for key distribution protocols and the study of quantum cloning. First, we introduce a general formalism to characterize the cryptographic properties of quantum channels in the realistic scenario where the two honest parties employ prepare and measure protocols and the known two-way communication reconciliation techniques. We derive a necessary and sufficient condition to distill a secret key using this type of schemes for arbitrary bipartite quantum systems of finite dimension. The obtained results suggest that there may exist weakly entangling channels useless for key distribution using prepare and measure schemes. Next, we consider Gaussian states and Gaussian operations for cryptographic tasks and derive a new security condition. As it happens for quantum systems of finite dimension, our results suggest that there may also exist weakly entangled Gaussian states useless for key distribution, using Gaussian operations. Finally, we study the connection between cloning and state estimation. It was a long-standing problem to show whether state estimation becomes equivalent to quantum cloning in the asymptotic limit of an infinite number of clones. The equivalence is proven here using two known results in quantum information theory, the monogamy of quantum states and the properties of entanglement-breaking channels.
Quantum cryptography is one of the most important quantum information applications. The present thesis covers several topics on quantum cryptography, such as the security analysis of quantum channels for key distribution protocols and the study of quantum cloning. First, we introduce a general formalism to characterize the cryptographic properties of quantum channels in the realistic scenario where the two honest parties employ prepare and measure protocols and the known two-way communication reconciliation techniques. We derive a necessary and sufficient condition to distill a secret key using this type of schemes for arbitrary bipartite quantum systems of finite dimension. The obtained results suggest that there may exist weakly entangling channels useless for key distribution using prepare and measure schemes. Next, we consider Gaussian states and Gaussian operations for cryptographic tasks and derive a new security condition. As it happens for quantum systems of finite dimension, our results suggest that there may also exist weakly entangled Gaussian states useless for key distribution, using Gaussian operations. Finally, we study the connection between cloning and state estimation. It was a long-standing problem to show whether state estimation becomes equivalent to quantum cloning in the asymptotic limit of an infinite number of clones. The equivalence is proven here using two known results in quantum information theory, the monogamy of quantum states and the properties of entanglement-breaking channels.
We provide a general formalism to characterize the cryptographic properties of quantum channels in the realistic scenario where the two honest parties employ prepare and measure protocols and the known two-way communication reconciliation techniques. We obtain a necessary and sufficient condition to distill a secret key using this type of schemes for Pauli qubit channels and generalized Pauli channels in higher dimension. Our results can be applied to standard protocols such as Bennett-Brassard 1984 or six-state, giving a critical error rate of 20% and 27.6%, respectively. We explore several possibilities to enlarge these bounds, without any improvement. These results suggest that there may exist weakly entangling channels useless for key distribution using prepare and measure schemes.
Over the last few decades, quantum cryptography has been one of the most important quantum technologies developed. It holds the promise of communicating secure information over untrusted channels. In particular, quantum cryptography is immune to the eventual threats posed by large-scale quantum computers, which is not the case for our current classical cryptography infrastructures. In a world where information, communication and privacy are of paramount importance, the development of secure quantum communication infrastructures becomes imperative. So far, most of the quantum cryptographic systems developed to date are based on two-dimensional encoding schemes, analogous to classical bits, known as qubits. Nevertheless, other than for the polarization of light, photonic degrees of freedom, i.e. position, momentum, time and frequency, naturally occur as high-dimensional quantum systems. Moreover, by considering high-dimensional encoding schemes beyond qubits, advantages in terms of information capacity and noise tolerance are predicted in theory. In this thesis, the basic components of a high-dimensional quantum cryptographic system are investigated. We begin by reviewing important developments in quantum cryptography and high-dimensional quantum information. As a starting point, two different quantum information tasks, i.e. optimal quantum cloning and quantum metrology, are experimentally investigated for high-dimensional quantum systems in order to demonstrate the numerous advantages of performing quantum tasks beyond qubits. The photonic degree of freedom used in these experiments, known as transverse spatial modes, is obtained by combining the position and momentum photonics degrees of freedom. Thus, we develop a novel method to measure high-dimensional quantum states encoded in arbitrary spatial modes. Using a similar characterization technique, several high-dimensional quantum communication channels are characterized to perform high-dimensional quantum cryptography. The tools developed in the laboratory are then brought to realistic conditions in order to test the feasibility of high-dimensional quantum cryptography. Two different types of quantum channels are experimentally investigated, namely an intra-city 300 m long free-space link and a short 3 m outdoor underwater link. Finally, we investigate and compare novel high-dimensional protocols to overcome current limitations.
We identify those properties of a quantum channel that are relevant for cryptography. We focus on general key distribution protocols that use prepare and measure schemes and the existing classical reconciliation techniques, as these are the protocols feasible with current technology. Given a channel, we derive an easily computable necessary condition of security for such protocols. In spite of its simplicity, this condition is shown to be tight for the Bennett-Brassard 1984 and six-state protocols. We show that the condition becomes also sufficient in the event of a so-called collective attack.
Entanglement is a physical property, emerging from the superposition of composite quantum systems, and manifested through non-classical correlations of quantum observables. In the field of Quantum Information, entanglement is considered the resource for various quantum protocols, so the ability to quantify it would allow us to associate it with the success of those protocols. Entanglement of formation is a proper way to quantify entanglement, but an analytical expression for this measure exists only for special cases. In this thesis, we focus on two-mode Gaussian states, and we derive narrow upper and lower bounds for this measure that get tight for several special cases. We further study how quantum teleportation and entanglement distillation can be employed in order to error-correct information encoded on a Gaussian state that suffers from Gaussian noise. In particular, we derive every physical state able to simulate a given phase-insensitive Gaussian channel through teleportation with finite-energy resources, and show how error-correction of a state is related to the simulation of a less decohering channel that the state has to pass through. We also discuss how the premise that the whole environment is under control of the adversary in quantum key distribution can be eliminated if we consider a teleportation-based eavesdropping attack. More specifically, we propose an all-optical teleportation attack that under collective measurements can reach optimality in the limit of infinite amount of entanglement, while for finite entanglement resources it outperforms the corresponding optimal individual attack. Finally, we show how using a class of finite-energy resource states we can increasingly approximate the infinite-energy bounds for decreasing purity, so that they provide tight upper bounds to the secret-key capacity of single-mode phase-insensitive Gaussian channels.
Quantum key distribution (QKD) refers to specific quantum strategies which permit the secure distribution of a secret key between two parties that wish to communicate secretly. Quantum cryptography has proven unconditionally secure in ideal scenarios and has been successfully implemented using quantum states with finite (discrete) as well as infinite (continuous) degrees of freedom. Here, we analyze the efficiency of QKD protocols that use as a resource entangled gaussian states and gaussian operations only. In this framework, it has already been shown that QKD is possible [1] but the issue of its efficiency has not been considered. We propose a figure of merit (the efficiency E) to quantify the number of classical correlated bits that can be used to distill a key from a sample of N entangled states. We relate the efficiency of the protocol to the entanglement and purity of the states shared between the parties.
Quantum key distribution (QKD) achieves information-theoretic security for a shared secret key, using distributed quantum states. To establish secret bits, two honest parties apply key distillation protocols to the resulting measurement outcomes. In this work, we establish a rigorous connection between the key rate achievable by applying two-way key distillation, such as advantage distillation, and quantum hypothesis testing, via an integral representation of the conditional entropy in terms of the error probabilities of binary state discrimination. This connection significantly improves bounds on key rates at finite blocklengths relative to existing fidelity-based bounds. Moreover, in an important special case, it closes the gap between the known sufficient and conjectured necessary conditions for key generation in the large-blocklength limit. More generally, it establishes a matching asymptotic necessary condition, leaving the corresponding finite-blocklength result open. More broadly, our work shows how results in quantum hypothesis testing can directly sharpen the security analysis of QKD.