HighDimensional IntraCity Quantum Cryptography with Structured Photons
Current address: ]Department of Physics, University of Otago, 730 Cumberland Street, Dunedin 9016, New Zealand Current address: ]OHB System AG, ManfredFuchsStraße 1, 82234 Weßling
Quantum key distribution (QKD) promises informationtheoretically secure communication, and is already on the verge of commercialization. Thus far, different QKD protocols have been proposed theoretically and implemented experimentally scarani2009security (); lo2014secure (). The next step will be to implement highdimensional protocols in order to improve noise resistance and increase the data rate bechmann2000quantum (); cerf2002security (); groblacher2006experimental (); mafu2013higher (); mirhosseini2015high (). Hitherto, no experimental verification of highdimensional QKD in the singlephoton regime has been conducted outside of the laboratory. Here, we report the realization of such a singlephoton QKD system in a turbulent freespace link of 0.3 km over the city of Ottawa, taking advantage of both the spin and orbital angular momentum photonic degrees of freedom. This combination of optical angular momenta allows us to create a 4dimensional state nagali2010experimental (); wherein, using a highdimensional BB84 protocol bechmann2000quantum (); cerf2002security (), a quantum bit error rate of 11% was attained with a corresponding secret key rate of 0.65 bits per sifted photon. While an error rate of 5% with a secret key rate of 0.43 bits per sifted photon is achieved for the case of 2dimensional structured photons. Even through moderate turbulence without active wavefront correction, it is possible to securely transmit information carried by structured photons, opening the way for intracity highdimensional quantum communications under realistic conditions.
In addition to wavelength and polarization, a light wave is characterized by its orbital angular momentum (OAM) allen1992orbital (), which corresponds to its helical wavefronts. Polarization is naturally bidimensional, i.e. , and the associated angular momentum can take the values of per photon, where is the reduced Planck constant, and and are left and righthanded circular polarizations, respectively. In contrast, OAM is inherently unbounded, such that a photon with intertwined helical wavefronts, , carries units of OAM, where is an integer mair2001entanglement (). Quantum states of light resulting from an arbitrary coherent superposition of different polarizations and spatial modes, e.g. OAM, are referred to as structured photons; these photons can be used to realize higherdimensional states of light nagali2010experimental (). Aside from their fundamental significance in quantum physics molina:2007 (); cardano2015quantum (), single photons encoded in higher dimensions provide an advantage in terms of security tolerance and encrypting alphabets for quantum cryptography bechmann2000quantum (); cerf2002security (); mirhosseini2015high () and classical communications willner2015optical (). The behaviour of light carrying OAM through turbulent conditions has been studied theoretically and simulated in the laboratory scale paterson2005atmospheric (); malik2012influence (); farias2015resilience (); goyal2016effect (). Experimentally, OAM states have been tested in classical communications across intracity links in Los Angeles (120 m) wang2012terabit (), Venice (420 m) tamburini:2012 (), Erlangen (1.6 km) lavery:2015 (), Vienna (3 km) krenn:2014 (), and between two Canary Islands (143 km) Krenn2016Twisted () which is the longest link thus far. With attenuated lasers, OAM states and vector vortex beams have been respectively implemented in highdimensional and 2dimensional BB84 protocols, where the former was performed in a laboratory mirhosseini2015high (), and the latter in a hall in Padua (210 m) vallone:2014 (). Though not QKD, entanglement distribution of bidimensional twisted photons has been recently studied across the Vienna link krenn2015twisted ().
In this Letter, we combine polarization and an OAM subspace of to form 4dimensional quantum states , for =1,2,3,4, belonging to the set , where and are horizontal and vertical polarization states, respectively. We can create two sets of mutually unbiased bases (MUBs) from , defined as and , where , and (see Supplementary information for and ). Figure 1 illustrates the spatial structure of these MUBs for the case of . The information encoded within these modes lies in the transverse polarization and phase distributions; however, all of these modes possess a “doughnut” shaped intensity distribution. The polarization distributions contain only linearly polarized states, and such beams are commonly called vector vortex beams zhan2009cylindrical (); in the case of , the linear polarizations vary across the transverse plane. and are conjugate quantities, and based on quantum complementarity they cannot be measured simultaneously; this forms the backbone of security in quantum cryptography. Specifically, in the BB84 protocol bennett1984quantum (), the bases of preparation and measurement are randomly chosen between two MUBs by a sender and receiver, traditionally called Alice and Bob, respectively. We used the two MUBs of structured modes, and , to perform a highdimensional BB84 protocol bechmann2000quantum (); cerf2002security (). There are different approaches used to generate and sort these structured modes of light. We utilize liquid crystal devices known as plates marrucci2006optical (), which coherently couple optical spin angular momentum to OAM. plates are advantageous as they are placed inline, are efficient in comparison to diffractive elements, and can be used to create arbitrary complex modal structures larocque2016arbitrary (). These plates used in conjunction with a carefully chosen sequence of waveplates can generate and (see Supplementary information for details). Furthermore, it is possible to rapidly switch between the states in and , on the order of 1 MHz, by replacing the waveplates with Pockels cells. Since plates are coherent and linear devices, they also work in the single photon regime nagali2009quantum ().
We built a freespace link between the rooftops of two buildings, 0.3 km apart and 40 m above the ground, on the University of Ottawa campus; see Fig. 2. Two enclosures were constructed to contain and protect all of the optics and equipment at the sender and receiver. The sender unit is comprised of both the heralded singlephoton source and the setup where Alice can prepare states. The receiver unit contains Bob’s state measurement setup and the single photon detection system (see Methods for experimental details).
In the heralded singlephoton source, the signal ( = 850 nm) and idler ( = 775 nm) photons are each coupled into separate single mode fibres (SMFs) to spatially filter them into their fundamental spatial mode. Alice takes the signal photon and prepares it in one of the states of the different MUBs through the use of an appropriate sequence of waveplates and plate. She then recombines the signal and idler photons on a dichroic mirror such that they are sent in the same beam across the link to Bob. It should be noted that despite sending two photons across the link simultaneously, our scheme is immune to photonnumbersplitting attacks because the heralding photon does not contain any of the polarization or OAM information of the signal photon. At the other end of the link, Bob receives the photon pairs and splits them at another dichroic mirror such that the idler photon is directly coupled into a SMF to act as a herald for the signal photon. With a sequence of waveplates, plate, PBS and SMF, mirror to that of Alice’s, Bob can make a measurement on the signal photon by projecting it onto one of the states from one of the MUBs. In such a way, Bob has a spatial mode filter such that if he projects onto the same state that Alice sent, the signal photon will be phaseflattened and optimally detected. With avalanche photodiodes (APDs) connected to a coincidence logic box, the idler photon acts as a trigger for the arrival of the signal photon within a coincidence window of 5 ns, and the coincidence rates are recorded. The best performance of our freespace link after coupling to the SMFs on Bob’s side gave count rates for the signal and idler photons of 0.75 MHz and 2.5 MHz, respectively, with an optimal coincidence rate of almost 50 kHz. However, due to large temperature and turbulence differences from night to night, the numbers varied throughout the various experimental runs. Overall, from sender to receiver, there are approximately 20% and 25% coupling efficiencies (equivalently 7 dB and 6 dB of losses) for the signal and idler photons, respectively, which gives an approximately 5% success rate for recording coincidences. Since no adaptive optics was utilized, many of the raw data points sampled are badly perturbed by the turbulence. The most dominant effect of the atmospheric turbulence given the range of our atmospheric structure constant, , between m and m (see Methods for details) is beam wandering ageorges2013laser (). The idler photon is still in the fundamental mode and would always couple to the SMF under stable conditions, but does not optimally couple due to the turbulence. We thus use the idler photon as not only a herald for the signal photon but also as a “target” to gauge the beam wandering in Bob’s setup which helps to correct our measurements for turbulence. The signal photon is coaxially propagating with the idler photon, and thus experiences the same atmospheric turbulence. Though not crucial, this method is effective and aids in decreasing the bit error rate.
In QKD, a secret key may be established between Alice and Bob with a secret key rate, defined as the number of bits of secret key established divided by the number of sifted photons, given by , where is the quantum bit error rate and is the Shannon entropy in dimension . Hence, there is a threshold value of above which a nonzero shared secure key cannot be generated. In dimension 2, this threshold value is the wellknown , while it almost doubles to , in dimension 4 cerf2002security (). This clearly exhibits the robustness of highdimensional quantum cryptography. We perform a 4dimensional BB84 protocol under different atmospheric conditions. Probabilityofdetection matrices for the 4dimensional structured photonic states, and with , of the BB84 protocol are shown in Fig. 3a (middle row). In dimension 4, from the raw probabilityofdetection matrix, the quantum bit error rate is , and is below the threshold value of , resulting in a positive corresponding secret key rate of bits per sifted photon. By considering the idler as a target beam, which accounts for turbulence, the quantum bit error rate is reduced to with a secret key rate of bits per sifted photon. The secret key rate is lower than the maximum theoretical value of 2 bits per sifted photon, which is due to imperfections in transmission. For a comparison, we perform a BB84 with twodimensional structured photons in the MUBs of and , see Fig. 3a (top row). A quantum bit error rate and secret key rate of and bits per sifted photon were obtained, respectively, using the target as compensation. Indeed, is larger than showing the potential for transmitting more secure information per sifted photon in higher dimensions. This is visually shown in Fig. 3c (top and middle row): the image that Alice sends Bob (Fig. 3b) can be discretized with more steps in dimension 4 (middle row) as compared to dimension 2 (top row). Due to turbulence, the quantum bit error rate for dimension 4 on many nights was above . An example of one of these nights is shown in Fig. 3a (bottom row) with a calculated quantum bit error rate of calculated from the probabilityofdetection matrix. Although secure, any image sent to Bob would appear noisy after decryption, shown in Fig. 3c (bottom row). However, allowing for twoway classical communications, the tolerable error bit rate increases to in dimension 4 nikolopoulos2006error () (see Supplementary Information).
We have shown the feasibility of increasing the secure data transmission rate using highdimensional quantum states compared to bidimensional states despite a noisy channel. This paves the road towards highdimensional intracity quantum cryptography via quantum key distribution. In addition, our results lay the groundwork for intracity quantum teleportation with structured photons, which is an essential component of a freespace quantum network. These demonstrations can be extended over longer distances provided there is adequate turbulence monitoring and compensation.
Methods
Experimental Setup: Single photon pairs are generated via the spontaneous parametric downconversion (SPDC) process in a 5mmlong ppKTP crystal pumped by a 405 nm laser diode (200 mW). Nondegenerate wavelengths for the signal (= 850 nm) and idler (=775 nm) photons are chosen in order to efficiently separate the two; only the signal photon is encoded with information. The signal and idler are each coupled into a separate single mode fibre (SMF) to spatially filter the photons into the fundamental mode. Bandpass filters, 8505 nm and 77520 nm, are placed in front of the fibre couplers to select the correct photon pairs. The singles count rates after the SMFs, detected with avalanche photodiodes (APDs), are 4 MHz and 10 MHz for the signal and idler, respectively. The idler photon heralds the presence of the signal photon, as determined by a coincidence logic box. This procedure gives a coincidence rate of around 1 MHz for a coincidence window of 5 ns with 0.2 MHz of accidental coincidence detections. After the encoding of the quantum information by wave plates and a plate on the signal photon, we recombine it with its partner photon by means of a dichroic mirror, and enlarge both spatial structures to minimize divergence upon propagation. At the last lens () of the sending unit the beam waist is approximately 12 mm. After propagation over the 0.3 km distance, we find the beam waist to be enlarged to approximately 20 mm as a consequence of atmospheric influences and imperfect optics. In order to measure the received quantum states, we demagnify the photon’s structure with another set of lenses, separate the informationcarrying signal photon from the heralding trigger photon with another dichroic mirror and measure its state, again with the help of waveplates and a plate. For more details about focal lengths, see main text and figure caption 2.
Turbulence Characterization: To characterize the Ottawa intracity free space link, we investigate the turbulence by evaluating its characteristic properties such as the atmospheric structure constant and the Fried parameter kolmogorov1941local (); fried1966optical (); ageorges2013laser (). We do so by sending a Gaussianshaped laser beam (850 nm) over the 0.3 kmlong link and record its arrival position with a CCD camera. Because atmospheric turbulence changes on a millisecond time scale, shortterm exposure images can reveal beam wandering, which is caused by fastmoving air cells, each having slightly different pressures, and thus small differences in refractive indices. The stronger the turbulence and the larger the distance of the link, the larger are the deflections from the optical axis. The latter can be deduced by taking an average over many short term exposure images, which effectively leads to an atmospherically broadened Gaussian beam profile. During different measurement nights, we record 500 short exposure images (0.07 ms each), from which we calculate a Fried parameter between 18 cm and 41 cm, which corresponds to an atmospheric structure constant ranging from around m to m, assuming Kolmogorov theory for atmospheric turbulence. Hence, the link shows moderate turbulence effects on the transmitted light fields.
Supplementary Information Supplementary text, and experimental data shown in Fig. 3a.
Author Contributions A.S, F.B, R.F., J. GB. and E.K. designed and built the Ottawa intracity link. A.S., F.B. and R.F. performed the experiment. H.L. and J.GB. fabricated the plates. A.S., F.B. and R.F. analyzed the data. A.S., F.B., D.E., C.P., K.G., C.M., G.L., R.W.B. and E.K. designed the first iteration in Erlangen, Germany. K.H. developed the theory. C.M, G.L, R.W.B. and E.K supervised and conceived the idea. A.S., F.B., R.F., E.K. wrote the manuscript with the help of the other coauthors.
Acknowledgments All authors would like to thank Peter Banzer and Thomas Bauer for insightful discussions, and acknowledge the support of the Max Planck – University of Ottawa Centre for Extreme and Quantum Photonics. E.K. would like to thank Guy LeBlanc, Donald Hopkins, David Needham, and Sean Kirkwood for their help on establishing the freespace link over the city of Ottawa. A.S. thanks Harold and Thérèse Sit for their continuous support and encouragement. The authors thank Norman Bouchard for providing the photo of the parliament of Canada. This work was supported by the Canada Research Chairs (CRC), and Canada Foundation for Innovation (CFI) Programs. A.S. and H.L. acknowledge the support of the Natural Sciences and Engineering Research Council of Canada (NSERC). F.B. acknowledges the support of the Vanier Canada Graduate Scholarships Program of the NSERC. R.F. acknowledges the support of the Banting postdoctoral fellowship of the NSERC. R.W.B acknowledges the support of the Canada Excellence Research Chairs (CERC) Program.
Author Information The authors declare no competing financial interests. Correspondence and requests for materials should be addressed to E.K. (ekarimi@uottawa.ca).
Supplementary Information for
HighDimensional IntraCity Quantum Cryptography with Structured Photons
Part 1: Mutually Unbiased Basis
Given a set of bases of dimension , they are said to be mutually unbiased with respect to one another if they satisfy the following condition,
(SI1) 
For dimensions where is a power of a prime, mutually unbiased bases (MUBs) can be found. For 2dimensional quantum key distribution (QKD) protocols, photons can be encoded using polarization and orbital angular momentum (OAM). We represent states of light that have a particular polarization and OAM value using a compound ket notation. In this way, if a photon has a certain polarization and carries units of OAM, it is written as .
The two MUBs of dimension 2 are given by,
(SI2) 
In dimension 4, the natural basis is , and the two sets of MUBs and were generated by the following matrices,
(SI3) 
such that and . This results in the following states:
(SI4)  
(SI5) 
Figure SI1 shows a visual representation of the 2D (top row) and 4D (bottom row) MUBs using Eq. (SI1), comparing the theoretical probabilityofdetection matrix to the experimental one as measured in the laboratory, i.e. without the intracity link. The quantum bit error rate is calculated as one minus the average of the ondiagonal elements. The calculated quantum bit error rates from the experimentally measured matrices are 0.83% and 1.83% in dimensions 2 () and 4 (), respectively.
Part 2: Generation of implemented MUBs in dimensions 2 and 4
The MUBs in dimension 2, and are generated using the sequence of a halfwave plate (HWP) followed by a plate, such that , where is the topological charge of the liquid crystal distribution. The waveplate angles are given in (SI6).
(SI6) 
The MUBs in dimension 4, and are generated by sandwiching a plate between either HWPs or QWPs. If photons pass left to right through the following optical elements, the waveplate angles that Alice uses to generate are given in the (SI7), and in (SI8).
(SI7) 
(SI8) 
Bob uses the same waveplate angles, but mirrors the sequence of waveplates as Alice has in order to project his received photons onto a particular state.
Part 3: Experimental data
Coincidence counts are accumulated per 200 ms. For each of Bob’s measurements, he records fifty data points. Bob obtains a probabilityofdetection matrix by averaging the data points for each measurement and then normalizing over each state that Alice sends. The states that Alice sends are labelled and the states that Bob projects onto are labelled on the left and top, respectively, of each matrix below.
Normalized raw data for probability of detection matrix in dimension 2 as measured across the intracity link using a =1/2 plate, as shown in Fig. 3a (top row):
(SI9) 
Target corrected data from (SI9):
(SI10) 
Normalized raw data for probability of detection matrix in dimension 4 as measured across the intracity link:
(SI11) 
Normalized raw data for probability of detection matrix in dimension 4 on a turbulent night as shown in Fig. 3a (bottom row):
(SI13) 
Part 4: Numerical approach for the secret key rate calculation
Here we use a numerical approach to calculate the secret key rate for the MUBs in the current experiment that are shown in Eqs. (Part 1: Mutually Unbiased Basis–SI5). The secret key rate calculation below relies on the dual optimization problem that has recently been introduced as an efficient numerical approach for unstructured quantum key distribution [SI1]. The main result in [SI1] indicates that the achievable secure key rate is lower bounded by the following maximization problem,
(SI14) 
where
(SI15) 
and
(SI16) 
Here () denotes the measurement performed by Alice (Bob) to derive the raw key, and are determined through average value of experimental measurements.
For the generalized BB84 in dimension with two MUBs, the experimental constraints can be summarized to
(SI17) 
(SI18) 
(SI19) 
(SI20) 
where are coarsegrained error operators in MUBs and defined as
(SI21) 
(SI22) 
Eqs. (SI4) and (SI5) show the definition for and basis states.
Figure SI2 shows the numerical result of the optimization problem in Eq. (SI14) with MUBs in Eqs. (SI4,SI5) in comparison with the theoretical key rates in [SI2SI3]. This numerical approach may be extended to find secret key rate per signal with twoway classical communications to tolerate higher qubit error rates [SI4].

[SI1] Patrick J. Coles, Eric M. Metodiev, and Norbert Lütkenhaus, Nature Communications 7, 11712 (2016).

[SI2] Agnes Ferenczi and Norbert Lütkenhaus, Physical Review A 85, 052310 (2012).

[SI3] L. Sheridan and V. Scarani, Physical Review A 82, 030301 (2010).

[SI4] G. M. Nikolopoulos, K. S. Ranade and G. Alber, Physical Review A 73, 032325 (2006).
References
 Scarani, V. et al. The security of practical quantum key distribution. Reviews of Modern Physics 81, 1301 (2009).
 Lo, H.K., Curty, M. & Tamaki, K. Secure quantum key distribution. Nature Photonics 8, 595–604 (2014).
 BechmannPasquinucci, H. & Tittel, W. Quantum cryptography using larger alphabets. Physical Review A 61, 062308 (2000).
 Cerf, N. J., Bourennane, M., Karlsson, A. & Gisin, N. Security of quantum key distribution using dlevel systems. Physical Review Letters 88, 127902 (2002).
 Gröblacher, S., Jennewein, T., Vaziri, A., Weihs, G. & Zeilinger, A. Experimental quantum cryptography with qutrits. New Journal of Physics 8, 75 (2006).
 Mafu, M. et al. Higherdimensional orbitalangularmomentumbased quantum key distribution with mutually unbiased bases. Physical Review A 88, 032305 (2013).
 Mirhosseini, M. et al. Highdimensional quantum cryptography with twisted light. New Journal of Physics 17, 033033 (2015).
 Nagali, E., Sansoni, L., Marrucci, L., Santamato, E. & Sciarrino, F. Experimental generation and characterization of singlephoton hybrid ququarts based on polarization and orbital angular momentum encoding. Physical Review A 81, 052317 (2010).
 Allen, L., Beijersbergen, M. W., Spreeuw, R. & Woerdman, J. Orbital angular momentum of light and the transformation of laguerregaussian laser modes. Physical Review A 45, 8185 (1992).
 Mair, A., Vaziri, A., Weihs, G. & Zeilinger, A. Entanglement of the orbital angular momentum states of photons. Nature 412, 313–316 (2001).
 MolinaTerriza, G., Torres, J. P. & Torner, L. Twisted photons. Nature Physics 3, 305–310 (2007).
 Cardano, F. et al. Quantum walks and wavepacket dynamics on a lattice with twisted photons. Science Advances 1, e1500087 (2015).
 Willner, A. E. et al. Optical communications using orbital angular momentum beams. Advances in Optics and Photonics 7, 66–106 (2015).
 Paterson, C. Atmospheric turbulence and orbital angular momentum of single photons for optical communication. Physical review letters 94, 153901 (2005).
 Malik, M. et al. Influence of atmospheric turbulence on optical communications using orbital angular momentum for encoding. Optics Express 20, 13195–13200 (2012).
 Farías, O. J. et al. Resilience of hybrid optical angular momentum qubits to turbulence. Scientific reports 5 (2015).
 Goyal, S. K., Roux, F. S., Konrad, T., Forbes, A. et al. The effect of turbulence on entanglementbased freespace quantum key distribution with photonic orbital angular momentum. Journal of Optics 18, 064002 (2016).
 Wang, J. et al. Terabit freespace data transmission employing orbital angular momentum multiplexing. Nature Photonics 6, 488–496 (2012).
 Tamburini, F. et al. Encoding many channels on the same frequency through radio vorticity: first experimental test. New Journal of Physics 14, 033001 (2012).
 Lavery, M. P. et al. Study of turbulence induced orbital angular momentum channel crosstalk in a 1.6 km freespace optical link. In CLEO: Science and Innovations, STu1L–4 (Optical Society of America, 2015).
 Krenn, M. et al. Communication with spatially modulated light through turbulent air across vienna. New Journal of Physics 16, 113028 (2014).
 Krenn, M. et al. Twisted light transmission over 143 km. Proceedings of the National Academy of Sciences 113, 13648–13653 (2016).
 Vallone, G. et al. Freespace quantum key distribution by rotationinvariant twisted photons. Physical Review Letters 113, 060503 (2014).
 Krenn, M., Handsteiner, J., Fink, M., Fickler, R. & Zeilinger, A. Twisted photon entanglement through turbulent air across vienna. Proceedings of the National Academy of Sciences 112, 14197–14201 (2015).
 Zhan, Q. Cylindrical vector beams: from mathematical concepts to applications. Advances in Optics and Photonics 1, 1–57 (2009).
 Bennett, C. H. & Brassard, G. Quantum cryptography: Public key distribution and coin tossing. In International Conference on Computer System and Signal Processing, IEEE, 1984, 175–179 (1984).
 Marrucci, L., Manzo, C. & Paparo, D. Optical spintoorbital angular momentum conversion in inhomogeneous anisotropic media. Physical Review Letters 96, 163905 (2006).
 Larocque, H. et al. Arbitrary optical wavefront shaping via spintoorbit coupling. Journal of Optics 18, 124002 (2016).
 Nagali, E. et al. Quantum information transfer from spin to orbital angular momentum of photons. Physical Review Letters 103, 013601 (2009).
 Ageorges, N. & Dainty, C. Laser Guide Star Adaptive Optics for Astronomy, vol. 551 (Springer Science & Business Media, 2013).
 Nikolopoulos, G. M., Ranade, K. S. & Alber, G. Error tolerance of twobasis quantumkeydistribution protocols using qudits and twoway classical communication. Physical Review A 73, 032325 (2006).
 Kolmogorov, A. N. The local structure of turbulence in incompressible viscous fluid for very large reynolds numbers. In Dokl. Akad. Nauk SSSR, vol. 30, 301–305 (JSTOR, 1941).
 Fried, D. L. Optical resolution through a randomly inhomogeneous medium for very long and very short exposures. Journal of the Optical Society of America 56, 1372–1379 (1966).