Experimental demonstration of Gaussian protocols for one-sided device-independent quantum key distribution
Nathan Walk, Sara Hosseini, Jiao Geng, Oliver Thearle, Jing Yan Haw, Seiji Armstrong, Syed M. Assad, Jiří Janoušek, Timothy C. Ralph, Thomas Symul, Howard M. Wiseman, Ping Koy Lam
Nonlocal correlations, a longstanding foundational topic in quantum information, have recently found application as a resource for cryptographic tasks where not all devices are trusted, for example in settings with a highly secure central hub, such as a bank or government department, and less secure satellite stations which are inherently more vulnerable to hardware "hacking" attacks. The asymmetric phenomena of Einstein-Podolsky-Rosen steering plays a key role in one-sided device-independent quantum key distribution (1sDI-QKD) protocols. In the context of continuous-variable (CV) QKD schemes utilizing Gaussian states and measurements, we identify all protocols that can be 1sDI and their maximum loss tolerance. Surprisingly, this includes a protocol that uses only coherent states. We also establish a direct link between the relevant EPR steering inequality and the secret key rate, further strengthening the relationship between these asymmetric notions of nonlocality and device independence. We experimentally implement both entanglement-based and coherent-state protocols, and measure the correlations necessary for 1sDI key distribution up to an applied loss equivalent to 7.5 km and 3.5 km of optical fiber transmission respectively. We also engage in detailed modelling to understand the limits of our current experiment and the potential for further improvements. The new protocols we uncover apply the cheap and efficient hardware of CVQKD systems in a significantly more secure setting.
Nonlocal correlations, a longstanding foundational topic in quantum information, have recently found application as a resource for cryptographic tasks where not all devices are trusted, for example in settings with a highly secure central hub, such as a bank or government department, and less secure satellite stations which are inherently more vulnerable to hardware "hacking" attacks. The asymmetric phenomena of Einstein-Podolsky-Rosen steering plays a key role in one-sided device-independent quantum key distribution (1sDI-QKD) protocols. In the context of continuous-variable (CV) QKD schemes utilizing Gaussian states and measurements, we identify all protocols that can be 1sDI and their maximum loss tolerance. Surprisingly, this includes a protocol that uses only coherent states. We also establish a direct link between the relevant EPR steering inequality and the secret key rate, further strengthening the relationship between these asymmetric notions of nonlocality and device independence. We experimentally implement both entanglement-based and coherent-state protocols, and measure the correlations necessary for 1sDI key distribution up to an applied loss equivalent to 7.5 km and 3.5 km of optical fiber transmission respectively. We also engage in detailed modelling to understand the limits of our current experiment and the potential for further improvements. The new protocols we uncover apply the cheap and efficient hardware of CVQKD systems in a significantly more secure setting.
Quantum Key Distribution (QKD) allows spatially separated parties to establish a secret key among themselves based on quantum principles. While QKD systems are being deployed worldwide, their reliance on trusted measurements makes them vulnerable. Moreover, existing protocols have largely focussed on the qubit cases, and rely on the maximally entangled state, a costly resource to generate. Here, we consider the one-sided-device-independent (1SDI) QKD protocols, where one of the measurement devices is trusted while the other is untrusted. The resource in this scenario is quantum steering, an asymmetric form of quantum nonlocality. This is inspired by a real-world scenario, where the trusted party can be considered to be a bank, or any large organisation that has sufficient resources to protect its systems and validate them, while the users are vulnerable to attacks. We then demonstrate that a secure key can be obtained using any pure bipartite entangled state in this setup. Considering realistic detectors and sources based on current technology, we demonstrate that even states that are almost separable can be used to extract a secure key. Moreover, for every pure entangled bipartite state, we find the critical detection efficiencies and visibility to obtain a secure key.
Shared quantum correlations find application in a wide range of modern quantum information protocols. This thesis presents several optical experiments towards the improved certification of shared quantum correlations, using photonic qubits. The first experiment demonstrates the Einstein–Podolsky–Rosen (EPR) steering effect with no detection loophole. Polarisation–entangled photon pairs generated in a Sagnac interferometer were used to test new loss–tolerant EPR steering inequalities. To test the robustness of the loss–tolerant EPR steering nequalities, a transmission loss of −4.3dB was introduced using a 1km optical fibre loop, finding inequality violations for n = 10 and n = 16 measurement settings with no detection loophole (equating to a total loss of 87%). The findings demonstrate how the new loss–tolerant protocols can be used to certify the EPR steering effect for arbitrarily high losses, and may find application in one–sided device–independent quantum key distribution protocols. The second experiment introduces EPR steering in the context of an EPR steering game. The rules of the game allow for certification of shared quantum correlations via EPR steering inequalites without requiring trust in devices or parties external to a quantum referee. In particular, the experiment successfully demonstrates EPR steering in a measurement–device independent framework; a framework which has typically been accessible only through Bell inequality violations. The findings suggest the possibility for quantum–refereed one–sided device–independent quantum key distribution protocols.
Quantum key distribution (QKD) brings the promise of communication with information-theoretic security but is limited in practice due to its susceptibility to noise, losses, and device imperfections. To address these challenges, we propose a robust high-dimensional (HD) one-sided device-independent QKD (1sDI-QKD) protocol and present a proof-of-principle experimental implementation using photons entangled in the transverse-spatial degree-of-freedom. We develop a systematic security analysis of HD 1sDI-QKD protocols, leveraging quantum steering to certify security, and evaluate achievable secret key rates for different measurement configurations and system dimensions using reverse reconciliation. Our analysis shows that increasing the dimension enhances robustness against both noise and loss. We then demonstrate the key experimental building blocks required for implementing the protocol: (a) a high-quality source of high-dimensional photonic entanglement, and (b) a fully programmable, high-dimensional multi-outcome measurement device operating in up to dimension 11. Using these components, we obtain positive key rates for all investigated dimensions under the fair-sampling assumption, with the highest key rates achieved for dimension d=7. Finally, we discuss the steps required for a practical, loophole-free implementation of 1sDI-QKD in realistic regimes of loss and noise.
The first description of quantum steering goes back to Schrödinger.In 1935 he named it a necessary and indispensable feature of quantum mechanics in response to Einstein's concerns about the completeness of quantum theory.In recent years investigations of the effect have experienced a revival, as it turned out that steering is a distinct subclass of entanglement.It is strictly stronger than genuine entanglement, meaning that all steerable states are entangled but not vice versa, and strictly weaker than the violation of Bell inequalities.Additionally, the violation of a steering inequality has an intrinsic asymmetry due to the directional construction.One party seemingly steers the other and their roles are in general not interchangeable.The first direct observation of this asymmetry is presented in this thesis.It was demonstrated that certain Gaussian quantum optical states show steering from one party to the other but not in the opposite direction.This is a profound result, as the experiment proves that the class of steerable states itself divides into distinct subclasses.Furthermore, steering found major applications in quantum information.For example in the field of quantum key distribution (QKD) the non-classical correlations can be exploited to establish a secret, cryptographic key.Thereby, steering allows one-sided device independent security, since it violates a description with certain classical models.This thesis reports on the final results of the QKD project at the Leibniz University Hannover that aimed at the generation of a secure quantum key based on mutually entangled conjugate pairs of continuous variables.The protocol of a recent security proof was implemented in a table-top setup and nearly 100 MBit of usable key with composable and one-sided device independent security against coherent attacks were generated.The security analysis included finite size effects, and a newly developed hybrid reconciliation algorithm was used for efficient error correction.Furthermore, a loss study on the entanglement distribution showed that separation of the two detectors by a 5 km optical fibre would be possible.Therefore, the results of this work are a major step towards continuous variable QKD with state-of-the-art security in local area networks.
Transmitter-side device dependence is a longstanding yet implicit problem in quantum key distribution (QKD), in contrast to the thoroughly addressed measurement-side case. Quantum steering, which intrinsically distinguishes the roles of sender and receiver in entanglement certification, offers a natural route to lifting trust assumptions on the transmitter. Existing one-sided device-independent (1sDI) protocols that exploit quantum steering as the security resource typically operate in a tripartite architecture, whereas adapting them to a transmitter-receiver architecture can introduce a signaling loophole. Here we conceptually formalize the transmitter-device-independence on the basis of faithful quantum steering and propose a practical transmitter-device-independent (TDI) QKD protocol within the 1sDI trust model. The TDI scheme operationalizes the implicit no-signaling condition by enforcing a causal isolation between the input information and the transmitted quantum states, thereby eliminating the associated transmitter-side device vulnerabilities. In a proof-of-principle experiment, we validate the feasibility of the TDI protocol, achieving a key rate in the asymptotic limit of 410~bps over 27~km spool fiber. By delivering TDI security while retaining strong loss tolerance, our approach helps bridge the gap between security and practicality for real-world QKD deployments.
Quantum states can be correlated in ways beyond what is possible for classical states. These correlations are considered as the main resource for quantum computation and communication tasks. In this thesis, I present my studies on the different forms of Quantum Correlations known as "Quantum Discord", "Einstein-Podolsky-Rosen(EPR) Steering" and "Bel-type correlations" in the continuous-variable quantum states and investigate their practical applications for the secure quantum communication. While previously quantum entanglement was considered as the only form of quantum correlation, in the recent years a notion known as quantum discord which captures extra quantum correlations beyond entanglement was introduced by Ollivier and Zurek. This sort of non-classicality that can exist even in separable states, has raised so much aspiration for the potential applications, as they are less fragile than the entangled states. Therefore, of especial interest is to know if a bipartite quantum state is discordant or not. In this thesis I will describe the simple and efficient experimental technique that we have introduced and experimentally implemented to verify quantum discord in unknown Gaussian states and a certain class of non-Gaussian states. According to our method, the peak separation between the marginal distributions of one subsystem conditioned on two different outcomes of homodyne measurement conducted on the other subsystem is an indication of nonzero quantum discord. We implemented this method experimentally by preparing bipartite Gaussian and non-Gaussian states and proved nonzero quantum discord in all the prepared states. Though quantum key distribution has become a mature technology, the possibility of hacking the devices used in the quantum communications has motivated the scientists to develop the schemes where one or non of the devices used by the communicating parties need to be trusted. Quantum correlations are the key to develop these schemes. Particularly, EPR steering is connected to the one-sided-deviceindependent quantum key distribution in which devices of one party are solely trusted and Bell-type correlations to the fully device-independent quantum key distribution where non of the apparatuses of the communicating parties is trusted. Here, I will present the result of our theoretical and experimental research to develop one-sided-device-independent quantum key distribution in continuous variables. We identify all Gaussian protocols that can in principle be one-sided-device independent. This consists of 6 protocols out of 16 possible Gaussian protocols, which surprisingly includes the protocol that applies only coherent states. We experimentally implemented both the entanglement-based and coherent state protocols and manifested their loss tolerance. Our results open the door for the practical secure quantum communications, asserting the link between the EPR-steering andone-sided-device-independence. Due to the maturity of quantum information using continuous variables, it is important to develop a Bell-type inequality in this regime. Despite its fundamental importance, Bell-type correlation is linked to the device-independent quantum key distribution. I developed a computer modelling based on the proposal of ref [1, 2] to demonstrate continuous-variable Bell-type correlation. The results of my computer simulations that are presented in this thesis show the feasibility of these proposals, which makes the real-life implementation of continuous-variable device-independent quantum key distribution possible.