Quantum key distribution session with 16-dimensional photonic states
The secure transfer of information is an important problem in modern telecommunications. Quantum key distribution (QKD) provides a solution to this problem by using individual quantum systems to generate correlated bits between remote parties, that can be used to extract a secret key. QKD with -dimensional quantum channels provides security advantages that grow with increasing . However, the vast majority of QKD implementations has been restricted to two dimensions. Here we demonstrate the feasibility of using higher dimensions for real-world quantum cryptography by performing, for the first time, a fully automated QKD session based on the BB84 protocol with -dimensional quantum states. Information is encoded in the single-photon transverse momentum and the required states are dynamically generated with programmable spatial light modulators. Our setup paves the way for future developments in the field of experimental high-dimensional QKD.
Theft of electronic information is a major problem in modern telecommunications. For instance, recent advances in computing technology such as the ever growing parallel processing power of graphical processing units (GPUs), have allowed the brute-force cracking of passwords to be greatly sped up [1, 2]. A very promising solution to the issue of information security is quantum key distribution (QKD), also called quantum cryptography . Quantum cryptographic schemes allow remote parties to share a secret key (a sequence of bits) through the use of quantum channels. This key is later used for secure information transmission, and the advantage of QKD is that the presence of an eavesdropper may, in principle, be detected. The first QKD protocol was proposed in 1984 by Bennett and Brassard, called BB84 . It employs two sets of orthogonal quantum states spanning two mutually unbiased bases (MUBs) . BB84 is a prepare-and-measure QKD protocol, in which single quantum systems are exchanged between the communicating parties (Alice and Bob) for the establishment of each shared secret key bit.
Most experimental implementations of quantum cryptography have been done with BB84-based QKD schemes. Experiments with increased performance (i.e. higher transmission distance, larger secure key generation rate, more compact schemes, etc…) have been demonstrated in the past few years [6, 7, 8, 9, 10, 11], and the vast majority of these demonstrations have employed only two-dimensional quantum systems. The use of high dimensional systems has been nevertheless widely deployed in classical digital communications for many years, as a way to maximize the efficiency of the transmission channel . With the same goal, the first studies on the theoretical framework to generalize the BB84 protocol to high dimensional state spaces were carried out over a decade ago [13, 14, 15]. It was shown that there is an important additional feature in moving to higher dimensions in QKD: increased security, which is alone a major motivation to implement high-dimensional quantum cryptography. Nonetheless, due to experimental challenges, there have been only proof-of-principle experiments of QKD in higher dimensions [16, 17, 18].
Recently, on the theoretical front, the interest on high-dimensional QKD did not wane as security bounds were derived considering finite key lengths . Moreover, an important experimental tool has emerged in recent years to dynamically manipulate light in free-space, the spatial light modulator (SLM) . The capabilities of the SLMs have been explored in experiments of quantum information and it is now widely recognized as a tool for the manipulation of high-dimensional quantum systems (qudits) encoded in the transverse momentum of single photons [21, 22, 23, 24, 25, 26]. In classical optical communications, SLMs have also been used to multiplex and demultiplex classical high-speed data streams, further increasing the channel capacity . Nevertheless, in spite of all recent progress, a demonstration of a quantum key exchange session using the BB84 protocol in higher dimensions is still lacking. In this paper this issue is finally addressed.
We report an automated QKD session between Alice and Bob, based on the BB84 protocol extended to -dimensional quantum systems . We employ the linear transverse momentum of single-photons as the degree of freedom for encoding the qudit states . The single-photons are produced by Alice from attenuated laser pulses. At Alice and Bob’s sites, the quantum states spanning the MUBs are randomly produced with the help of SLMs, dynamically introducing relative phases between the paths available for the propagation of the single photons . The entire setup is synchronized working at a repetition rate of 30 Hz, which is the current physical limit of standard commercially available SLMs. The custom electronics required for the full automated execution of the protocol were developed on field programmable gate array (FPGA) units. The measured quantum bit error rate (QBER) of the correlated bits generated was smaller than half of the bound allowed for extracting a secret key while considering the general coherent attacks; and close to three times smaller than the limit for individual attacks [15, 19].
In this demonstration we take advantage of the flexibility allowed by SLMs to encode information using the transverse wave profile of single photons. Although it is a continuous degree of freedom, it can be discretized using slits to define different possible paths for the photon transmission . The SLMs are built with liquid crystal displays (LCDs) and require the use of polarizers. They allow an individual control of the gray level of each pixel on the LCD . While changing the pixel gray level, the polarization is changed and when combined with the polarizers, the light transmissivity of the pixel is varied. Together with this effect a relative phase change may also be induced in each pixel. The slits can be directly generated on the SLM. This is done by programming the gray levels of all the LCD pixels such that areas with high transmissivity correspond to the slits, and everywhere else has zero transmission. By employing a set of parallel slits a Hilbert space of dimensions is constructed. The state after the slits can be written as the following coherent superposition:
where . represents the state of the photon transmitted by the lth-slit of the SLM . The uniform amplitude distribution is obtained with an adequate choice of the spatial beam profile on the plane of the slits . This state can be generated provided that the single-photons have a larger transverse coherence length than the distance between the outermost slits. are the relative phase shifts at each slit. Each can be dynamically changed in real-time in the SLMs.
In standard BB84 quantum cryptography, the required states are two vectors of two-dimensional MUBs, with a total of four states required. In the case of a multi-dimensional BB84 protocol, the individual states to be sent and measured belong to two -dimensional MUBs. The index denotes a specific MUB with . In this experiment slits are employed, generating a -dimensional Hilbert space. Consequently states had to be generated, for each MUB. Of the large number of families of MUBs that exist in 16 dimensions , we chose two MUBs that only required phase modulations of and and no amplitude modulation (see Methods). This eased the implementation of the MUBs states with the SLMs.
Alice needs to randomly choose in which MUB, or , she will encode her qudit. She then randomly chooses one of the possible states from this MUB. As we will explain next, in our scheme, this is done by using a phase-modulation SLM and pseudo-random subroutines to depict a sequence of pre-defined masks. Upon successfully receiving the photon, Bob needs to make a projective measurement. He also randomly chooses states from and . For this purpose, Bob uses a detection apparatus composed of a phase-modulation SLM, a lens and a “point-like” avalanche single photon detector (APD) [shown in Fig. 1(a)]. The single-photon detector remains fixed at the center of the focal plane. It covers the transverse blue zone of 10m indicated in Fig. 1. At the SLM, Bob depicts phase-masks where the phases at each slit are chosen in accordance with the MUBs states given in the Methods section. In this case, the probability of single-photon detection is proportional to () when Alice and Bob choose the states belonging to the same (different) MUBs, where . Each time Bob matches his state choice with Alice’s, while both choose the same MUB, constructive spatial interference occurs and the probability of single-photon detection (the single count rate) is maximal [See the example of Fig. 1(b)]. When the vectors are not matched, and Alice and Bob have chosen the same MUB, total destructive interference occurs at the transverse area of the detector [See the example of Fig. 1(c)]. When Alice and Bob’s choices of MUBs are not the same (incompatible) the probability of detection is regardless of which states were chosen by both [See the example of Fig. 1(d)].
In our experiment the light source is a single-mode continuous-wave laser with a 690 nm emission wavelength (See Fig. 2). It is followed by an acousto-optic modulator (AOM), which sets the optical pulse repetition frequency. The width of the pulses depends on the average photon number employed. Two mean photon numbers per pulse were used, and , to test the performance of our QKD prototype. A 50 ns optical pulse for the case of is generated by the AOM. For the results with , a 20 ns optical pulse was used instead. An extra calibrated attenuator (not shown in Fig. 2) is also used to set precisely the desired average photon number at the output of Alice’s station. The average photon number was measured directly at Alice’s output with a removable mirror and a single-photon detector with known overall detection efficiency (also not shown in Fig. 2).
We employed three SLMs, two located within Alice, and the other belonging to Bob. The first SLM (SLM1) is programmed to perform amplitude modulation in order to generate the slits. This stage defines the number of paths available for the photon transmission and, therefore, the dimension to be used in the experiment, 16 in our case. The mask projected on this SLM remains fixed throughout the experiment. The slits are 2 pixels wide, with a separation of 1 pixel between them, with each pixel having an area of 32 x 32 m. The relation between the width of the slits and the separation between them was chosen to maximize the distribution probability in the center of the detection plane, when Alice and Bob take the same state [See Fig. 1(b)]. A set of polarizers is used before and after each SLM.
A first set of lenses is used as a beam expander to illuminate the entire area of the slits at the SLM1 with attenuated pulses. A second set of lenses forms the image of SLM1 onto the second SLM (SLM2). This SLM is configured for phase-modulation in order to implement the phase shifts required for constructing the MUBs states at Alice’s station. This is done following the technique introduced in . The single-photon is then transmitted through a free-space channel (here consisting of a third telescope set of lenses), forming the image of Alice’s output onto Bob’s modulator (SLM3). This link is 50 cm long. A final lens following the SLM3 focuses the light onto the APD.
The entire system is synchronized at 30 Hz, with the master clock generated within Alice’s FPGA and distributed to Bob through an electrical cable for synchronization. Alice’s FPGA unit is used to trigger the AOM and generate the attenuated pulses. The pulses generated are naturally phase randomized due to the low repetition frequency of the pulses when compared to the laser coherence length. Nevertheless for higher operating frequencies, it can be actively phase randomized with schemes such as . The bases and state choices done by Alice and Bob are performed independently using pseudo-random number generator subroutines in their individual FPGAs. For each clock pulse Alice and Bob choose, independently, a mask from the 32 distinct possibilities and project them onto SLM 2 and SLM3, respectively. Bob’s FPGA unit records the single-photon detections at the APD. It also controls the detection window duration, which is 50ns when working with and 20ns for . Each FPGA records the corresponding state choice and is connected to a personal computer (PC1 and PC2) who perform the basis reconciliation procedure through an Ethernet cable.
For each photon number and , the protocol is then executed continuously and the basis reconciliation done in parallel to the data acquisition. In the reconciliation procedure the detections for compatible and incompatible basis choices by Alice and Bob are split. At this point all the incompatible detections are discarded. An important figure of merit for any QKD setup is the QBER, whose definition is , where and are the correct and incorrect detections at Bob’s detector. For this experiment the detections correspond to the sums of all the ones obtained when both MUB vectors chosen by Alice and Bob are the same. The detections are the sum of the detections when Alice and Bob do not choose the same MUB vectors. In the real-world scenario there will always be practical issues such as imperfect components and misalignment. Therefore, the detected probabilities will differ from the ideal ones. In order for any QKD protocol to be secure, the QBER must be below a certain value. This value depends on the attack strategy allowed for Eve, as well as the number of dimensions of the system. Following the bounds provided in , we calculate that with 16 dimensions the error rate threshold for secure key generation when considering individual attacks is . For the more general class of collective attacks we obtain an upper bound of . In our experimental implementation the measured QBER is shown in Fig. 3 together with the breakdown of the detections into the different types of detected events. In the case of using , the average QBER is 13.44%. In the QKD session with , the average QBER is 15.67%. One can note the stability provided by the setup due to the small variations in the QBER during the long experimental runs. In both cases the QBER is below the security thresholds of individual attacks as well as collective attacks. This indicates that a positive net key rate can be extracted from the sifted bits . Nevertheless, further theoretical studies are needed to optimize the optimum average photon number per pulse, as a function of the transmission distance for high-dimensional QKD. The average obtained sifted key rate is 27.0 and 11.1 bits / hour for and , respectively. No post-processing was done in the sifted key bits. Finally, we have calculated the Shannon’s entropy for the detected symbols for both and , where is the probability of detecting state . We obtain an entropy of and bits for the QKD sessions with and , respectively. Both cases are close to the theoretical maximum of 4 bits/symbol when working in a 16-dimensional Hilbert space.
Here, we have experimentally demonstrated an automated QKD session based on the BB84 protocol extended to 16-dimensional quantum states. The QBER remains constant and below the security limits, showing the robustness and stability of the setup. Our work therefore can be seen as an initial point for the development of real-world experimental high-dimensional QKD. It paves the way for future investigations in this area. For example, the new generation of SLMs based on ferroelectric liquid crystals allows for frame rates up to 1 kHz. So, one may envisage that they will allow for faster key generation rates in schemes similar to the setup presented here. Moreover, recent developments on integrated silicon photonics have demonstrated SLMs with a modulation speed of 150 MHz . They are designed to modulate the light in one transverse direction and, thus, they match the requirements for encoding information using the linear transverse momentum. Another line of investigation is the study of propagation of spatially-encoded qudits for QKD through optical fibers. This is challenging since single-mode fibers cannot be used and multi-mode fibers scramble the information across the modes. Nevertheless progress has been made recently using photonic crystal fibers  and multi-mode fibers with active compensation of scattered light propagation . This last technique is promising for our setup since it involves the transmission of images through multi-mode fibers. In principle, the image of Alice’s SLM would be formed onto the fiber, propagated, then imaged again on Bob’s SLM. Last, it is worth to mention that our scheme can also be adapted to investigate the performance of other QKD protocols in higher dimensions , and study fundamental related concepts .
Mutually unbiased bases
The two employed MUBs are displayed here. They obey the condition that , where and denote the two MUBs. and label the states in a given MUB. For sake of simplicity, we describe the MUB’s states in terms of unitary transformations. The MUBs are given by:
-  Murakami, T., Kasahara, R. & Saito T. An implementation and its evaluation of password cracking tool parallelized on GPGPU. In International Symposium On Communication And Information Technologies (ISCIT), Tokyo Japan, Oct. 2010.
-  Vu, A.-D., Han, J.-I., Nguyen, H.-A., Kim, Y.-M. & Im, Y.-M. A homogeneous parallel brute force cracking algorithm on the GPU. In International Conference On ICT Convergence (ICTC), Seoul, South Korea, Sept. 2011.
-  Gisin, N., Ribordy, G., Tittel, W. & Zbinden, H. Quantum cryptography. Rev. Mod. Phys. 74, 145 (2002).
-  Bennett, C. H. & Brassard, G. Quantum cryptography: public key distribution and coin tossing. In Proceedings Of The IEEE International Conference On Computers, Systems And Signal Processing, Bangalore, India (IEEE, New York, 1984), p. 175.
-  Wootters, W. K. & Fields, B. D. Optimal state-determination by mutually unbiased measurements. Ann. Phys. 191, 363–381 (1989).
-  Gobby, C., Yuan, Z. L. & Shields, A. J. Quantum key distribution over 122 km of standard telecom fiber. Appl. Phys. Lett. 84, 3762 (2004).
-  Takesue, H. et al. Quantum key distribution over a 40-dB channel loss using superconducting single-photon detectors. Nature Photon. 1, 343 (2007).
-  Stucki, D. et al. High rate, long-distance quantum key distribution over 250 km of ultra low loss fibres. New J. Phys. 11, 075003 (2009).
-  Xavier, G. B. et al. Experimental polarization encoded quantum key distribution over optical fibres with real-time continuous birefringence compensation. New J. Phys. 11, 045015, (2009).
-  Dixon, A. R:, Yuan, A. L., Dynes, J. F., Sharpe, A. W. & Shields, A. J. Continuous operation of high bit rate quantum key distribution. Appl. Phys. Lett. 96. 161102 (2010).
-  Wang, S. et al. 2 GHz clock quantum key distribution over 260 km of standard telecom fiber. Opt. Lett. 37, 1008 (2012).
-  Proakis, J. G. & Salehi, M. Digital Communications 5th Edition (McGraw-Hill 2007).
-  Bechmann-Pasquinucci, H. & Tittel, W. Quantum cryptography using larger alphabets. Phys. Rev. A 61, 062308 (2000).
-  Bourennane, M., Karlsson, A. & Björk, G. Quantum key distribution using multilevel encoding. Phys. Rev. A 64, 012306 (2001).
-  Cerf, N. J., Bourennane, M., Karlsson, A. & Gisin, N. Security of quantum key distribution using d-level systems. Phys. Rev. Lett. 88, 127902 (2002).
-  Gröblacher, S., Jennewein, T., Vaziri, A., Weihs, G. & Zeilinger, A. Experimental quantum cryptography with qutrits. New J. Phys. 8, 75 (2006).
-  Ali-Kahn, I., Broadbent, C. J. & Howell, J. C. Large-alphabet quantum key distribution using energy-time entangled bipartite states. Phys. Rev. Lett. 98, 060503 (2007).
-  Walborn, S. P., Lemelle, D. S., Almeida, M. P. & Souto Ribeiro, P. H. Quantum key distribution with higher-order alphabets using spatially encoded qudits. Phys. Rev. Lett. 96, 090501 (2006).
-  Sheridan, L. & Scarani, V. Security proof for quantum key distribution using qudit systems. Phys. Rev. A 82, 030301(R) (2010).
-  Grier, D. G. A revolution in optical manipulation. Nature 424, 21 (2003).
-  Yao, E., Franke-Arnold, S. , Courtial, J., & Padgett, M. J. Observation of quantum entanglement using spatial light modulators. Opt. Express 14, 13089-13094 (2006).
-  Lima, G., Vargas, A., Neves, L., Guzmán, R. & Saavedra, C. Manipulating spatial qudit states with programmable optical devices. Opt. Express, 17, 10688 (2009).
-  Dada, A. C., Leach, J., Buller, G. S., Padgett, M. J. & Andersson, E. Experimental high-dimensional two-photon entanglement and violations of generalized Bell inequalities. Nature Phys. 7, 677 (2011).
-  Hendrych, M. et al. Experimental estimation of the dimension of classical and quantum systems. Nature Phys. 8, 588 (2012).
-  Lima, G. et al. Experimental quantum tomography of photonic qudits via mutually unbiased basis. Opt. Express 19, 3542 (2011).
-  Pimenta, W. et al. Minimal state tomography of spatial qubits using a spatial light modulator. Opt. Express 18, 24423 (2010).
-  Wang, J. et al. Terabit free-space data transmission employing orbital angular momentum multiplexing. Nature Photon. 6, 488 (2012).
-  Neves, L. et al. Generation of Entangled States of Qudits using Twin Photons. Phys. Rev. Lett. 94, 100501 (2005).
-  Moreno, I., Veláquez, P., Fernández-Pousa, C. R. & Sánchez-López, M. M. Jones matrix method for predicting and optimizing the optical modulation properties of a liquid-crystal display. J. Appl. Phys. 94, 3697Ð3702 (2003).
-  Romero, J. L., Björk, G., Klimov, A. B., & Sánchez-Soto, L. L. Structure of the sets of mutually unbiased bases for N qubits. Phys. Rev. A 72, 062310 (2005).
-  Zhao, Y., Bing, Q. & Lo, H.-K. Experimental quantum key distribution with active phase randomization. Appl. Phys. Lett. 90, 044106 (2007).
-  Qiu, C., Chen, J., Xia, Y. & Xu, Q. Active dielectric antenna on chip for spatial light modulation. Sci. Rep. 2, 855 (2012).
-  Löffler, W. et al. Fiber Transport of Spatially Entangled Photons. Phys. Rev. Lett. 106, 240505 (2011).
-  Choi, Y. et al. Scanner-free and wide-Field Endoscopic Imaging by Using a Single Multimode Optical Fiber. Phys. Rev. Lett. 109, 203901 (2012).
-  Xiong, Z.-X. et al. General quantum key distribution in higher dimension. Phys. Rev. A 85, 012334 (2012).
-  Gallego, R., Brunner, N., Hadley, C., & Acín, A. Device-Independent Tests of Classical and Quantum Dimensions. Phys. Rev. Lett. 105, 230501 (2010).
The authors wish to thank A. Klimov for assistance with the generation of the MUBs, and J. Cariñe, A. Wolf and M. Figueroa for discussions related to the FPGAs. This work was funded by the grants FONDECYT 1120067, ICM P10-030F and CONICYT PFB08-024. G.B.X. acknowledges funding from FONDECYT 11110115. G.C. and E.S.G. acknowledge the financial support of CONICYT.