Arxiv:1708.06101V1 [Quant-Ph] 21 Aug 2017 High-Dimensional OAM States 10 B

Twisted Photons: New Quantum Perspectives in High Dimensions

Manuel Erhard,1, 2, ∗ Robert Fickler,3, † Mario Krenn,1, 2, ‡ and Anton Zeilinger1, 2, § 1Vienna Center for Quantum Science & Technology (VCQ), Faculty of Physics, University of Vienna, Boltzmanngasse 5, 1090 Vienna, Austria. 2Institute for Quantum Optics and Quantum Information (IQOQI), Austrian Academy of Sciences, Boltzmanngasse 3, 1090 Vienna, Austria. 3Department of Physics, University of Ottawa, Ottawa, ON, K1N 6N5, Canada.

CONTENTS E. Stronger Violations of Quantum Mechanical vs. Local Realistic Theories 11 I. General Introduction 1 VI. Final remark 11 II. OAM of photons 2 References 11 III. Advantages of Higher Dimensional Quantum Systems 3 A. Higher Information Capacity 3 I. GENERAL INTRODUCTION B. Enhanced robustness against eavesdropping and quantum cloning 3 C. Quantum Communication without Quantum information science and quantum in- monitoring signal disturbance 4 formation technology have seen a virtual explosion D. Larger Violation of Local-Realistic world-wide. It is all based on the observation that Theories and its advantages in Quantum fundamental quantum phenomena on the individual Communication 4 particle or system-level lead to completely novel ways E. Quantum Computation with QuDits 5 of encoding, processing and transmitting information. Quantum mechanics, a child of the first third of the IV. Recent Developments in High Dimensional 20th century, has found numerous realizations and Quantum Information with OAM 5 technical applications, much more than was thought A. Creation of High Dimensional at the beginning. Decades later, it became possible Entanglement 5 to do experiments with individual quantum particles B. Unitary Transformations 6 and quantum systems. This was due to technological C. Optimal Quantum Cloning 6 progress, and for light in particular, the development D. Long Distance High Dimensional QKD 6 of the laser. Only about 40 years ago, quantum phe- E. Quantum Walk 7 nomena were studied for their own curiosity. The mo- F. Quantum Teleportation of tivation was that the predictions of quantum mechan- Multiple-Degrees of Freedom of a Single ics for individual systems were rather counterintuitive. Photon 8 People wanted to see these in a concrete way in the G. Experimental Creation of a laboratory. Fundamental phenomena include quan- Greenberger-Horne-Zeilinger State in tum superposition for individual particles, as corrob- Three-Dimensions 9 orated for example by neutron interferometers and by the double slit experiment for individual massive par- V. Future Challenges 10 ticles and for individual photons, the objective ran- A. Long-distance distributing domness of the individual quantum event, quantum entanglement [2] and entanglement as signified by the arXiv:1708.06101v1 [quant-ph] 21 Aug 2017 high-dimensional OAM states 10 B. Quantum communication with photons in Einstein-Podolsky-Rosen paradox [3] and Bell’s theo- other modes 10 rem [4] or the no-cloning theorem [5]. To date, these C. Arbitrary transformations of OAM modes fundamental experiments in the new field of quantum and two-qudit quantum gates 11 information science and quantum information technol- D. Quantum Teleportation and Entanglement ogy were signified by such notions as quantum com- Swapping of High-Dimensional Quantum munication, quantum cryptography, quantum telepor- States 11 tation, quantum computation and many more. It is a broad understanding that all this will lead to a future new information technology. ∗ [email protected] Hitherto, nearly all experiments and also nearly all † rfi[email protected] realizations in the fields just mentioned have been per- ‡ [email protected] formed with qubits, which are two-level quantum sys- § [email protected] tems. We suggest that this limitation is again mainly 2

Figure 1. Orbital angular momentum (OAM) of twisted photons. A helical (twisted) phase eilφ structure leads to a quantized amount of l~ of OAM. Upper row: Photons with +1~ of OAM have a phase structure that varies azimuthally from 0 to 2π, which also leads to a vortex along the beam axis and thus an intensity null. The black/white images are build by accumulating many single photon events. Lower row: Accumulation of approximately 30, 250, 600 and 2500 photons (from left to right) to reveal the intensity structure of an | + 1i OAM mode and the superposition between +1~ and −1~. The images have been recorded with a single-photon sensitive, low-noise ICCD camera [1]. a technological one, because it is very difficult to cre- historic experiments. Readers interested in the early ate, manipulate and measure more complex quantum developments in quantum science with OAM of pho- systems. tons, we would like to refer to a review from 2007 [15] Here, we provide a specific overview of some re- and from 2017 [16]. Readers interested in the theoreti- cent developments with higher-dimensional quantum cal foundations of quantum information may look into systems. We mainly focus on Orbital Angular Mo- [17–20], and to get an overview of photonic quantum mentum (OAM) states of photons and possible ap- information one may look into [21]. plications in quantum information protocols. Such states form discrete higher-dimensional quantum systems, also called qudits. A qudit can be seen as a II. OAM OF PHOTONS quantum particle which is not limited to two states but in principle can have any number of discrete lev- Photons are excellent for quantum communication els. as they can be transmitted over long distances with Specifically, we will first address the question what very low loss and without any known decoherence kind of new fundamental properties exist and the mechanism in free space [22]. A special property quantum information applications which are opened of photons is their orbital angular momentum [23]. up by such novel systems. Then we give an overview Quantum mechanically, the orbital angular momen- of recent developments in the field by discussing sev- tum occurs in discrete steps of `~, where ` is an eral notable experiments over the past 2-3 years. Fi- im principle unbounded integer. Therefore, high- nally, we conclude with several important open ques- dimensional quantum information can be stored in the tions which will be interesting for investigations in the orbital angular momentum of single photons. future. The electromagnetic field of a Laguerre-Gauss mode Due to limitation of space, we cannot cover break- ` LGp accurately describes a photon carrying an OAM through experiments in the area of high-dimensional of `~. Figure 1 shows experimental images of single quantum information memories [6, 7], in high- photons with different OAM values. The defining fea- dimensional quantum information processing with ture of LG modes is their spatial phase pattern. In other physical systems [8–11], coherent transitions of particular, it is a helical phase that wraps around the atomic states driven by the OAM of photons [12] or axis of propagation ` times, which results in a phase novel methods to manipulate OAM of light which singularity at the beam center. Thus the intensity pro- might improve future quantum experiments, such as file of an LG mode shows the typical donut shaped plasmonic q-plates [13] and light carrying OAM pro- structure. For single photons, the intensity profile duced in waveguide chips [14]. gives the probability to detect a photon at a certain As we focus here on the very recent developments point. If we place a triggered single-photon camera in this field, we have to leave out many important and detect many heralded photons [1], then the inten- 3

Figure 2. Single photon images of higher order OAM states (upper row) and superpositions states (lower row). Each mode can be used to increase dimensionality of the qudit state, e.g. the subset modes in the upper row from −1~ to = 3~ could describe a five dimensional state. Quantum experiments also require coherent superposition states, a few examples of specific modes are shown in the lower row. All insets display the underlying phase structure in the color scale shown on the lower right. sity profile of the respective LG mode emerges, which B. Enhanced robustness against eavesdropping is shown in the filmstrips in Fig. 1. A few examples and quantum cloning of higher order OAM modes, which can be used to encode high-dimensional qudit states, together with Although perfect copying of a quantum state is im- some exemplary superpositions structures are shown possible due to the no-cloning theorem, it was dis- in Figure 2. covered that it is possible to approximatively clone a quantum state [5]. This so-called optimal cloning can be achieved with a cloning machine, where one photon is cloned to two imperfect copies. Here, the d cloning fidelity Fclon, (the overlap of the clones to III. ADVANTAGES OF HIGHER the original state), is limited to the upper bound of d 1 1 DIMENSIONAL QUANTUM SYSTEMS Fclon = 2 + (1+d) . This dependence on the dimensionality shows that the fidelity of cloned qubits can be as high as F 2 = 5/6, while states with higher di- A. Higher Information Capacity clon mensionality d can only be cloned with lower fidelities down to 50% in the limit of d → ∞. This reduction The first and rather obvious benefit of qudits is the of the cloning fidelity for qudits depicts nicely the su- enlarged information content a single quantum carrier periority of high-dimensional quantum cryptography can transmit. Any additional orthogonal state used in and the increased error thresholds as it is more diffi- the encoding scheme enlarges the information encoded cult for an eavesdropper to hack a high-dimensional in a single quantum system. A simple example would key distribution scheme. be the use of ququarts, i.e. four dimensional systems, Hence, additionally to the increased information ca- which can be used to encode 2 bits of information: pacity qudit-states are more robust to background |0i = 00, |1i = 01, |2i = 10 and |3i = 11. The often noise and hacking attacks when used in quantum cryp- used measure of information capacity, which is given tography [24, 25]. To ensure the security of an estab- in log2(d) bits/photon, can be seen as a measure of lished quantum link, which can then be used to share how many classical bits have to be used to be able to a random encryption key, it is essential to stay below a encode the same amount of information. In principle certain error threshold. When this error bound is met, there is no upper limit of d 1, which means that a sin- no eavesdropper could have attacked the transmission gle quantum system, like a photon, has the potential and security is ensured by quantum physical laws. It to encode an arbitrary large amount of information. is important to note, that it does not matter if an actual eavesdropper had access or the errors were cause by strong noises. This feature of quantum cryptography holds for both entanglement based systems [26] as well as prepare-and-measure QKD schemes [27, 28]. For qubit systems, this bound is proven to be as low 1 Except of a potential limit which arises due to the finite size as approximately 11% or 12.6% if two or three mutu- of the universe. ally unbiased bases (MUBs) are taken into account, 4 respectively [29–31]. However, if higher-dimensional It took nearly another decade until Kaszlikowski and quantum states are used, this requirement can be colleagues have shown the first high-dimensional vi- weakened, e.g. with ququarts already up to nearly olation of local realism that is larger than those in 19% or 22% errors can be tolerated (again, for two two dimensions [42]3. Their numerical approach has or three MUBs), respectively [25, 30, 32, 33]. This shown that for 3 ≤ d ≤ 9, Bell-type inequalities can threshold can be as large as 50% for an infinite di- be found where the violation of local realism increases mensional state, a behavior for which optimal cloning as the dimension of the system increases. Soon after- already gave a hint. wards, inequalities for violating local realism for arbitrarily high-dimensional systems have been found by Collins and colleagues (often referred to as CGLMP C. Quantum Communication without inequality nowadays) [43]. While analytical results monitoring signal disturbance are still missing, numerical estimates suggest that the violations increase monotonically with the number of It was discovered recently that high-dimensional dimensions. systems can also be beneficially for prepare-and- The violation of local realism is not only interesting measure quantum cryptography applications if only for fundamental reasons, but has a direct application qubits are encoded and are somewhat hidden in the in quantum communication protocols. These advan- enlarged high-dimensional Hilbert space. The two- tages go beyond the more stringent cloning fidelities dimensional quantum information, which after suc- discussed chapter III B. In entanglement-based QKD cessful performance of the protocol is used to estab- protocols, the presence of an eavesdropper is excluded lish a secure key, is encoded in the relative phases by violating a local realistic inequality. As higher- between the utilized high-dimensional states. It was dimensional systems allow for larger violations, those proven that after a clever randomized measurement systems can supersede two-dimensional implementa- at the receiver and a large enough Hilbert space, the tions of QKD. Analogous as before, one can imagine monitoring of the signal disturbance can be neglected situations where qubits can not be used to generate [34], in contrast to other prepare-and-measure pro- a secure key, whereas a high-dimensional system still tocols such as the seminal BB84 [27]. In simplified enables to securely distribute an encryption key. We terms, this means that renouncing the advantage of a explain this now in two concrete examples. large information capacity per photon and still using Huber and Pawlowsky [44] investigated an entan- complex qudit states facilitates a secure transmission glement based quantum key distribution scenario [26]. in highly noisy channels. There, Alice and Bob measure entangled photon pairs, which they use for creating the key and verifying the security of the transmission. For generating the key, D. Larger Violation of Local-Realistic Theories they both measure in perfect correlations (such as and its advantages in Quantum Communication H/V, D/A and R/L in polarisation). To verify the security, Bell-measurements need to be performed (such as H+22.5o/V, H-22.5o/V, D+22.5o/A, D-22.5o/A). John Bell has shown in 1964 that the predictions of If the eavesdropper knows when the Bell-measurement specific quantum mechanical measurements on qubits is performed, she would not look at those photons (to cannot be explained in a local realistic manner [4] not disturb them), and only look at the photons for 2. First generalizations to multi-level systems in the the generation of the secret key. Therefore, the choice early 1980s by Mermin and Garg [39, 40] have shown when the Bell measurement is performed has to be that the conflict between local realism and quantum random. If the randomness is weak, the eavesdropper mechanics diminishes for larger dimensions. Interest- could still try to hide her appearance [45]. Above a ingly, those results were interpreted as a necessary certain threshold, weak randomness prevents therefore emergence of local realism in the classical limit, or a secure quantum key distribution. Interestingly, be- a quantum-to-classical transition for large quantum cause the violation of high-dimensional Bell inequali- numbers. A decade later, in 1992, Peres was able ties can be much stronger than two-dimensional viola- to show for the first time a violation of local realism tions, the threshold of acceptable loss of randomness is that is constant for arbitrary large dimensions [41]. significantly larger for high-dimensional systems. This leads to the situation where two-dimensional quantum key distribution (for instance, performed with polari-

2 sation of photons) is hopeless while high-dimensional Local realism is the worldview in which physical properties of systems would still permit a secure channel [44]. objects exist prior to and independent of the measurement, and physical inﬂuences are bounded by the speed of light. A violation of Bell’s inequality (which have been demonstrated recently in a loophole-free way [35–38]) shows that such a worldview can no longer be maintained in the face of experi- 3 A larger violation of Bell type inequalities means that the mental evidences. violation is more robust against noise. 5

Device-independent quantum key distribution (DI- a +1 hologram QKD) requires the detection of a large fraction of p/2 phase 0,0 0,0 0,0 0,0 the distributed entangled states. The smallest known b SPDC crystal fraction for closing the so-called detection loophole is 1 2 3 4 detector 66.7%, based on non-maximally entangled states as shown by Eberhard [46]. Reaching this bound is quite Figure 3. An experimental scheme for creating a 4- challenging for photons, and has only been exceeded dimensionally entangled two-photon state, based on en- in 2013 [47, 48]. However, it was shown by Vertesi, tanglement by path identity [59] (image from there). Four Pirono and Brunner that for d=4, the detection effi- crystals are pumped coherently and the paths of the down- converted photons are made identical. If the experimen- ciency required for overcoming the detection loophole tal conditions are such that there is in principle no in- can drop by almost 5% to 61.8% [49, 50]. Surprisingly, formation about the photon pairs origin (i.e. in which results for larger dimensions are not known so far. of the four crystals it has been created), then the pair is in a coherent superposition of being created in either of them. One can then manipulate the mode num- E. Quantum Computation with QuDits ber and phase of the individual terms in the state. In this example, a hologram between each crystal shifts the Using qudits can also have advantages in quantum mode by one and a phase of π/2 is added such that the resulting state is a 4-dimensional Bell state |ψi = computing. For example it has been shown that distil- 1/2 (|0, 0i + i|1, 1i − |2, 2i − i|3, 3i). lation of important resource states for quantum com- putations (so-called Magic states) can be done in a way that have no direct analogue for qubits and can workhorse for nearly all quantum experiments using be several orders of magnitude more efficient [51]. In OAM entanglement as one gets high-dimensional en- another approach Bocharov and colleagues investigate tanglement nearly for free. the Shor algorithm with qutrits, and find the promis- A stringent limitation however is that there are ing result that qubits encoded in the slightly larger only very few methods to tune the parameters a . Hilbert space of a qutrit allow for a more efficient cir- ` These parameters decrease significantly for higher- cuit structure than using natural qutrit gates [52]. order modes, as has been investigated in detail by Miatto and colleagues in [54]. Experimentally, it has been shown that by chosing the focussing parameters IV. RECENT DEVELOPMENTS IN HIGH in an optimal way, one can increase the higher-order DIMENSIONAL QUANTUM INFORMATION WITH OAM modes [55], however not to a flat distribution. As an effect, the resulting entangled state is not maximally entangled which limits its usefulness in quantum ex- After having discussed a few advantages that qudit periments. systems offer, we will now turn to recent developments An interesting recent advancement has been in- of the broad and vivid activity of high-dimensional troduced by Zhang and colleagues [56]. They show quantum information using the OAM of photons. how the usage of two-photon interference (Hong-Ou- Mandel effect [57]) can be used to generate a large set of high-dimensional states by quantum state filtering. A. Creation of High Dimensional Entanglement In another experiment, high-dimensional entanglement was generated at first in the path degree of free- Photon pairs entangled in their orbital angular mo- dom, which is simpler to custom tailor [10], and after- mentum can be produced using a spontaneous para- wards transferred to OAM states [58]. Because path metric down-conversion process in a nonlinear crystal encoded states are compatible with integrated optics, [53]. Due to conservation of OAM (when the pump this technique might also serve as an interface between photon has `p = 0), the two photons have opposite waveguide structures and OAM modes of photons. OAM `s = −ì such that the resulting two-photon Another alternative approach that allows for state can be written as the generation of arbitrarily, high-dimensional two- photon states has been proposed recently [59]. The idea is, that the creation of a pair of photons happens |ψi = a0|0is|0ii + a1|1is| − 1ii + a−1| − 1is|1ii + ··· in a coherent superposition of several crystals. Be- X tween the crystal, the mode number, phase and am- = a`|ìs| − ìi (1) ` plitude can be adjusted arbitrarily. The generation of an arbitrary 4-dimensional state is shown in Fig. 3 as where a` are coefficients, which depend on the fo- an example. In general d crystals are pumped coher- cusing parameters and crystal dimensions. This pro- ently such that one pair of photons is created in each cess has been employed in the first quantum entan- crystal. As it is not known in which of the d crystals glement experiment with OAM [53] and has been the it is created, the state is in a coherent superposition of 6 being created in either of them. Manipulation of the device [67, 68], the general experimental implemen- mode number and phase between the crystals allow tation for a cyclic transformation is not known yet. for creating arbitrary two-photon entangled states – However, for dimension d=4 and d=5 (and d=3, d=6 e.g. a d-dimensional Bell state. As only the Gaussian and d=8 when one uses polarisation), an all-optical mode of the down-converted photons are used, the linear setup has been found [61, 69] and implemented count rates of this method can be significantly larger recently [70, 71]. A combination of several of these than for other schemes. The same method can also basic gates are required for arbitrary transformations, be used to create very general high-dimensional mul- thus integrating them in a stable manner will be re- tipartite entangled states [59] with interesting connec- quired. Furthermore, X-gates in other dimensions tions to Graph Theory [60]. Interestingly, the method than those found will be required to exploit the full has been discovered using a computer algorithm which capability of the high-dimensional space. automatically designs new quantum experiments [61].

C. Optimal Quantum Cloning B. Unitary Transformations The experimental procedure for cloning of qubits While the generation of entangled photons with was established in different experiments more than a OAM is well-developed and in the focus of different decade ago [72], no high-dimensional state has been research efforts, the capability of transforming modes, optimally cloned until recently [73, 74]. The exper- which is essential for quantum informational tasks, is iments use two-photon Hong-Ou-Mandel interference still in its infancy. In contrast to path-encoding of [57] of OAM modes at a beam splitter [75] to achieve photonic qudits, where re-programmable chips exist optimal cloning of high-dimensional OAM states up that can perform arbitrary unitary operations chips to the dimension 7 [74]. It was not only shown that it [10, 63], for OAM only a limited set of transforma- is possible to clone any qudit state from any mutually tions are known. unbiased bases, hence the cloning machine is univer- One proposed idea towards achieving arbitrary sal, but it was also demonstrated that the measured transformations from 2010 is using a succession of re- cloning fidelities follow the formula described in chap- flections from a programmable deformable mirror de- ter III B and hacking a high-dimensional QKD scheme vice [64]. By using a feedback signal and a stochastic with a cloning attack does result ins larger errors, thus optimization, it was shown that already after three can be easier detected. reflection a good transformation between gaussian mode and a third order Hermite-Gauss mode can be achieved. It will be interesting to see whether this D. Long Distance High Dimensional QKD approach can be used to perform mode-dependent transformations with precise control over phases at A promising application of high-dimensional OAM the quantum level. states is their use in quantum cryptography schemes. A more recent technique might be another promis- While many proof-of-principle experiments have been ing candidate to realize general transformations on conducted successfully in laboratories around the OAM states. It has been demonstrated that using world [76–79], current research focuses on bringing controlled random scattering, i.e. properly shaping the technology closer to real world applications by en- the wavefront before a strong scattering process, sort- larging distances over which secure keys can be dis- ing arbitrary spatial mode structures (including radial tributed. Specially developed vortex fibers [80] might p modes) can be achieved in a coherent way [65]. Im- enable fiber networks that rely on OAM encoding, provements on the overall loss of the process as well however, the implementation in quantum experiments as possible limitation of mode transformations will be has not been demonstrated yet. Moreover, expand- an important next step in order to successfully apply ing such networks to global distances might be facil- this technique in quantum experiments. itated via free space links. Here, qudits help to in- Another route to a multiport device for OAM modes crease data rates as well as lower the requirements for is to build the required unitary transformation out of correction of induced errors, both being strongly re- basic components. Here, the unitary operation that quired in outdoor environments due to inherent loss permutes all utilized OAM states in a cyclic manner, and background noise. After recent successful tests of i.e. a cyclic ladder transformation or high-dimensional classical communication schemes using spatially struc- X-gate, serves as part of the building blocks for a gen- tured light over distances up to 143 km [81–85], first eral device. Together with the high-dimensional Z- free-space quantum experiments using spatial struc- gate, which introduces mode dependent phases, any tures have been demonstrated. In the first of these unitary transformation can be constructed [66]. While experiments, photons entangled in their OAM degree the Z-gate for OAM modes directly corresponds to a of freedom have been sent over an intra-city free-space rotation and thus can be realized by a single optical link over 3 km in Vienna [86]. While it was possi- 7

Figure 4. High-dimensional QKD over a 300 m long intra-city link in Ottawa [62]. Alice prepares non-degenerate pairs of photons in a down conversion process and splits them depending on the wavelength (grey box). Ququart states imprinted on the signal photon are prepared by means of an appropriate set of a polarizing beam splitter (cube), wave plates (green) and a q-plate (violet). A recording of an example state with a complex polarization pattern is shown in the upper inset. The two photons are then recombined and sent to Bob via the moderate turbulent link over 300 m. Bob splits the two photons by their wavelength, measures the received state of the signal photon with same set of devices (received pattern shown in the lower inset) and heralds its arrival by detecting the idler photon. An uncorrected error rate of 14% was found corresponding to 0.39 bits per photon and which can only considered to be secure for high-dimensional states as the threshold for qubits is 11% (for ququarts the bound is 18%). The background photo shows a night view of Alice’s building seen from Bob’s receiving station, the green arrow points to the actual location of the sender. ble to demonstrate the survival of OAM entanglement E. Quantum Walk for photons up to ` = |2|, the quantum states were also only two-dimensional. Recently, the first high- Another exciting example that shows the advan- dimensional quantum states have been used to per- tages of OAM implementations over other degrees-of- form an free-space intra-city QKD experiment over freedom, is the implementation of a quantum (ran- 300 m in Ottawa (see Fig. 4) [62]. 4-dimensional dom) walk (QW). In a classical random walk on a 1D quantum states, i.e. ququarts, were imprinted on her- chain, a walker randomly decides (for instance by flip- alded single photons using a combination of OAM and ping a coin) at every step to move left of right. The polarization. The photons were then transmitted from QW is obtained when both the coin and the walker Alice to Bob following the standard high-dimensional are quantum objects. Despite the seemingly simple BB84-protocol [27]. Although moderate turbulence setting, QW experiments have a great potential. It was observed, a coupling to single mode fibers, which has been demonstrated that QW allows for dynamic is required to measure the received state, was achieved simulation of complex quantum systems, for the im- with up to 20% efficiency. More importantly, an un- plementation of quantum search algorithms [88] and corrected error rate of around 14% was found, cor- even universal quantum computation [89]. responding to 0.39 bits per sifted photon and well below the threshold of 18% for ququarts. The addi- In a photonic system, a quantum walk is often con- tional transmission of the heralding photon from Alice sidered as a photon, which enters a beam splitter net- to Bob and its usage to gauge time periods of weak work with its polarisation acting as the coin operation turbulences has further improved the extracted key [90, 91]. As a QW needs to be interferometrically sta- rate to 0.65 bits per sifted photon. On one hand, ble (i.e. the paths must be stable much below the the results show that free-space QKD with spatially wavelength of the photons), larger networks of inter- structured photons is feasible and high-dimensional ferometers are usually integrated into photonic waveg- states can be superior over qubit encoding. On the uides [92, 93]. other hand, they also indicate that the extension to In 2010, Zhang and colleagues showed that one larger distances as well as higher data rates will re- could use OAM (instead of path) and polarisation quire the implementation of adaptive optics to com- to perform QWs using so-called q-plates [95], which pensate for the detrimental effects of atmospheric tur- are devices developed by Marrucci and colleagues [96] bulences [87]. Hence, the next steps will be to develop that can couple polarisation and OAM of light. Such appropriate compensation schemes, to test quantum schemes have the great advantage that integrating states of higher dimensions, e.g. with pure OAM en- the walker into photonic waveguide circuits is not coding, and distribute high-dimensionally entangled necessary anymore, as the phase between different photons for large quantum networks. OAM modes does not fluctuate during propagation 8

Figure 5. Sketch of a quantum walk in OAM with six steps, used in [94] (image from there). a A source of two indistinguishable photons. b and d are used to control the polarisation of the light before and after the QW. c shows the six steps of the quantum walk and e shows the detection system based on SLMs and single-mode ﬁber.

(see Fig.5 for an sketch of such a setup). In 2015, Car- Figure 6. a) Experimental scheme to simultaneously dano and colleagues have used a set of ﬁve q-plates to teleport two degrees of freedom of a single photon, perform a quantum walk with 5 steps [97] and investi- as described by [103] (image from there). A hyper- gated the dynamics of the propagation for both single entanglement source produces photon pairs entangled in and two-photon inputs. Other interesting applications their polarisation and OAM degree-of-freedom. The po- for QW are the exploration of topological phases in larisation degree-of-freedom is teleported at the polarising 1-dimensional and 2-dimensional systems [98]. Those beam splitter (PBS). The two polarizers then erase the generalized geometric phases introduced by Berry [99] polarisation information on the photons. To ensure that play a key role in solid-state physics, such as the de- the Bell state measurement for the polarisation teleporta- scription of the quantum Hall eﬀect [100] (see also tion succeeded, a quantum-non-demolition measurement [101]). Cardano and colleagues were also able to use (QND) is performed. This QND itself is again a telepor- their multistep q-plate system for observing a topo- tation scheme, see inset b). Then the OAM degree-of- freedom is teleported with a Bell-state measurement per- logical phase transition [94] and topological invariants formed at the upper beam splitter. The results of both [102] in a one-dimensional system. Bell-state measurements are then encoded in four classical bits and send to Bob who can perform an according unitary transformation to restore the initial quantum state F. Quantum Teleportation of Multiple-Degrees from Alice. of Freedom of a Single Photon

Quantum teleportation, proposed in 1993 by Ben- reduces the efficiency of the implementation). The net and colleagues [104], is an important quantum first experiment implementing quantum teleportation protocol with applications in quantum network and was performed 1999 by Bouwmeester and colleagues quantum computation. It allows Alice and Bob (if [105] utilizing the polarisation of photons. Since then, they share an entangled state) to distribute an arbi- quantum teleportation has been performed in various trary quantum state without sending it, just by send- different physical systems with ever improving qual- ing classical information. ity – very recently even between a satellite and a The concept is shown in figure 6b, for a two- ground station in China [106]. All of these experi- dimensional system. There, Alice and Bob share a ments have in common that they only teleport one maximally entangled Bell state. Alice has an arbitrary degree-of-freedom of the quantum particle, and only quantum state |φi which she wants to transmit to Bob. in a two-dimensional system – thus only a small part She performs a Bell-state measurement between her of the full information of the quantum system was entangled photon and |φi. Then she announces the re- transferred. sult via a classical channel to Bob. If her result was a A recent experiment by Wang and colleagues [103] |φ+i state, the initial state |φi has been transmitted to has overcome this limitation for the first time, by Bob successfully. If the outcome of the state measure- showing the simultaneous teleportation of two degrees ment is different, Bob can perform a transformation of freedom of a single photon. The basic idea behind to get the original |φi (or he ignores the photon which the teleportation of multiple degrees of freedom is to 9 successively teleport one degree after the other. In ex- While for two-dimensional GHZ states a clear recipe periments so far, the incoming quantum state was de- to increase the number of particles exists, this does not stroyed during the teleportation, thus no second tele- hold for increasing the dimensionality. The authors portation was possible. The clever idea to get around utilized the computer algorithm MELVIN [61] to find this is to use a quantum-non-demolition measurement an experimental setup to create a three-dimensional√ (QND). In this QND measurement, the quantum state GHZ state |ψi = (|0, 0, 0i + |1, 1, 1i + |2, 2, 2i) / 3. is not destroyed and thus the remaining quantum in- Despite the simple correlations present in this state formation, which is stored in the other degrees of free- the actual experimental setup, depicted in Fig. 7, is dom, is still intact and can be teleported in the next neither intuitive nor simple. The main idea is to steps. Interestingly, this QND itself is another teleportation protocol. Thus, the authors used teleportation itself as QND to enable the teleportation of a second degree-of-freedom of the particle. The measured fidelities F = Tr(ρ|ψihψ|) between the experimentally teleported state ρ and the theoretically expected state |ψi range from 0.68±0.04 to 0.62±0.04. The classical limit for optimal quantum state estimation of a pure cl 2 state [107] is given by Fopt(d = 4) = 1+d = 0.4, where d is the dimension of the system. Thus, the results show the successful implementation of a quantum teleportation scheme for a polarisation-OAM composite state of a single photon. In the future, it will be important to teleport more levels of a single high-dimensional degree-of-freedom, and to teleport more than two degrees-of-freedom, in order to transmit more information stored in a quan- Figure 7. a) Experimental scheme to generate a three- tum state. photon and three dimensional GHZ state [113] (image from there). Two non-linear crystals each produce a pair of photons that are three dimensionally entangled. Three out of the four photons (A,B,C) enter a multiport G. Experimental Creation of a which transforms each photon according to the transfor- Greenberger-Horne-Zeilinger State in mations depicted in the figure. Interestingly, for each in- Three-Dimensions put port (A,B,C) of the multiport a different OAM mode |−1i, |0i, |1i exits in a superposition of two different paths. Three particle GHZ states in two dimensions have The multiport consists of a reflections (R), spiral-phase- been first discovered and investigated in 1989 by plate (SPP) that add a constant value of ` = 2, a mode Greenberger-Horne-Zeilinger [108, 109] and later gen- sorter that sorts OAM modes according to their parity (even/odd), a 50/50 beam splitter (BS) and a coherent eralized to N particles by Mermin [110]. Since their mode projection (CMP). b) Graphical representation of discovery, GHZ states play an essential role in quan- the three dimensional GHZ state generation. If the two tum information, especially in the classification of non-linear crystals emit a photon pair coherently at the entanglement, communication-complexity problems, same time, then there exist 3 × 3 = 9 probability am- quantum-error-correction schemes for quantum com- plitudes in total. These nine probability amplitudes are puting and also for novel experimental tests of local- depicted by the red, blue and green connection lines. In realistic theories. the 1st step, the mode sorter eliminates all probability am- GHZ states have been intensively studied experi- plitudes between even and odd terms conditioned on the mentally as well as theoretically. All experimental simultaneous detection of a photon in each detector. In the 2nd step, a Hong-Ou-Mandel two photon interference studies focused thereby on increasing the number of at the BS eliminates the green connection line between involved particles rather than increasing the dimen- |1, −1iAB and | − 1, 1iCD. Finally, the last remaining un- sionality of the single particles involved. Recently, wanted connection line is eliminated by rerouting the in- a first step towards achieving this goal was reported coming photons such that no simultaneous detection event by entangling three particles out of which two were in all detectors can occur. Photon A always exits the mul- entangled in three dimensions, while the third parti- tiport in the |Di state and is therefore not entangled with cle was encoded as a qubit [111]. This asymmetric the other three anymore. This leaves photons B,C and D arrangement already shows that multi-partite, high- in a three dimensional GHZ state. dimensional quantum states offer novel features of entanglement [112]. Finally – in a very recent experi- use two sources of three-dimensional entangled pho- ment – the first completly high-dimensional multipar- ton pairs and combine them in such a way that one tite state was created. It is a generalisation of GHZ trigger photon heralds the 3-dimensional GHZ state in state which goes beyond qubits [113]. the other three photons. If the two photon pairs are 10 emitted at the same time, the overall four photon state signing OAM multimode fibers, in which the modes shows correlations between each of the 3x3=9 terms are degenerate but do not couple to each other [118]. of the quantum state. These correlations are depicted Another possibility is the fabrication of standard mul- in Fig. 7 b) as red, green and blue lines. At first, there timode fibers, in which intermodal coupling has to be are nine connecting lines, while in the final three di- pre- or post-compensated or reduced by an appropri- mensional GHZ only three connections exist. Thus six ate choice of the modal set [119, 120] (recently, up to of the nine probability amplitudes need to be coher- 50 kilometers [121]). As each will have its own ben- ently suppressed in the experimental setup. This can efits and drawbacks it will interesting to be pursuit be achieved with a three input and three output mul- tested in laboratories as well as real-world scenarios. tiport. The detailed transformations of the multiport are given in Fig. 7 a). The basic idea behind the mul- As described earlier, the second method of dis- tiport is to utilize an even/odd OAM mode sorter [67], tributing OAM encoded qudits, namely free-space dis- a Hong-Ou-Mandel effect, a coherent mode projection tribution, is already a step ahead. However, it is not and spiral phase plates (SPP) to suppress all but three a coincidence that the only qudit experiment was per- possible correlations. Finally, a simultaneous detec- formed over a short distance (ququarts over a distance tion of four photons results in a three-dimensional of 300 m [62]). While atmospheric turbulences might GHZ type entangled state for photons B,C and D. not completely destroy the transmitted state, even af- The experimental fidelity (F = Tr(ρ|ψihψ|)) of ter 143 km [85], it introduces considerable crosstalk exp between different modes, mainly due to beam wan- Fexp = 75.2% ± 2.9% shows genuine three-photon and three-dimensional entanglement. der and distortions. Therefore, adaptive optics for the correction of wave front distortions is indispens- Experiments like the ones described above will allow able and first steps are currently developed [87]. A for the investigation of the strongest form of contra- successful demonstration would allow expanding the dictions to local realism – namely deterministic vio- dimensionality of the state along with enlarging the lations of local realism as introduced by Greenberger, distances over which they are distributed, maybe even Horne and Zeilinger (GHZ) [108]. Generalizing GHZ- between earth based ground stations and satellites violations to higher dimensions have been surprisingly [22, 106, 122]. difficult and has only been achieved very recently [114–117]. Those constructions departure significantly Progress in these questions could lead to global from their two-dimensional counterparts, and it seems quantum networks where quantum information is as if they would help revealing the real nature of de- shared via high-dimensional quantum states encoded terministic violations of local realism. OAM.

V. FUTURE CHALLENGES

Finally, we will discuss a few open questions and challenges that will further advance the field of high- B. Quantum communication with photons in other modes dimensional quantum states encoded through the OAM of photons. So far, we only discussed the OAM of photons. However, Laguerre-Gauss modes have also a sec- A. Long-distance distributing high-dimensional ond quantum number – the radial quantum number OAM states [123, 124] –, which can be used in quantum experiments [125, 126]. It would be interesting to develop The undisturbed distribution of high-dimensional techniques to manipulate, detect and investigate prop- quantum states is one of the most important tasks, if erties of the radial modes to enable their use in quan- applications should advance beyond laboratory proof- tum communication experiments. The investigation of-principle demonstrations. Here, two different ap- of OAM modes in comparison with other modes would proaches are presented, fiber and free-space transmis- be interesting. Do other mode families have different sion, each face their own individual challenges. advantages? Self-healing properties of Bessel modes A first step towards fiber-based long-distance distri- have been shown impressive results in the laboratory bution of OAM states, has been achieved in develop- [127]. Can this apparent advantage also be exploited ing a vortex fiber that transmits OAM states of light in real outdoor experiments? Do other, more com- [80]. Although this fiber has been around for years, plex beams have advantages in real-world quantum the implementation in a quantum optical setup is still communication experiments – for example Ince-Gauss yet to be demonstrated. Moreover, high-dimensional modes [128] which have only single-charged vortices in transmission is not possible, but two other approaches their phase profile, or Airy beams [129] which tend to are conceivable: One approach would be carefully de- freely accelerate during propagation? 11

C. Arbitrary transformations of OAM modes imental implications. Is it possible to find Bell- or and two-qudit quantum gates Mermin-like inequalities that are more robust against noise or detection inefficiencies in higher dimensions? In chapter IV B, three different approaches have The known advantages for the two-photon cases have been demonstrated which have the common goal of been discussed in chapter III D – many questions re- performing unitary transformations. While progress main open. Moreover, for high-dimensional multi- has been made in the last few years, it is still unclear photon states, even less is known. The only known how to perform arbitrary transformations with high violations of local realism are weaker than those for fidelity, near unitary efficiency in a fast and reliable two-dimensional systems [114–117]. In systems where way. Such unitary transformations are required for both the number of photons as well as the number computational tasks and their experimental demon- of dimensions is larger than two, asymmetric types stration might also trigger further investigations into of entanglement can exist [112, 131, 132]. There, the high-dimensional computation and simulation. Sim- connection to violation of local realism and its ap- ilarly important for quantum computation tasks are plications in novel quantum protocols has not been gate operations for single and also for multi-particle investigated until now. systems. While single-qubit transformations and two- qubit gates have been studied, very little is known about high-dimensional two-qudit gates. Such gates are essential to perform the first proof-of-principle investigations of high-dimensional quantum algorithms [51, 52]. VI. FINAL REMARK

D. Quantum Teleportation and Entanglement Within only a few years we have seen a tremen- Swapping of High-Dimensional Quantum States dous progress in the capabilities of generation, control and application of high-dimensional quantum states with twisted photons. Among them, we have seen the Another open challenge is to experimentally demon- first outdoor experiments distributing entanglement strate high-dimensional quantum teleportation and and high-dimensional quantum keys, we witnessed high-dimensional entanglement swapping in OAM. the first generation of multi-photon entangled states The experiment in chapter IV F shows the simulta- and applications in quantum teleportation. These neous teleportation of two degrees of freedom of a sin- advances arose from technological progress, but also gle photon, but every degree of freedom is still two- from a close interaction between theory and experi- dimensional. This problem is related to the question ment. For example the demonstration of novel advan- how to experimentally perform a higher dimensional tages of high-dimensional systems in quantum cryp- Bell state measurement. A solution to this problem tography or quantum computation are essential moti- would not only allow to perform teleportation of high- vations for experiments; new theoretical classifications dimensional quantum states encoded only in the OAM of multipartite high-dimensional entangled states hint degree of freedom, but also enable other quantum pro- to novel quantum protocols, and computer-designed tocols such as entanglement swapping, which is (to- experiments help realizing complex quantum states gether with reliable quantum memories) the key ingre- and protocols in the laboratories. We believe that the dient for quantum nodes in quantum networks [130]. synergy between theorists and experimentalists will remain a key factor in the next few years. E. Stronger Violations of Quantum Mechanical To sum this up – in the spirit of Richard Feynman, vs. Local Realistic Theories What I cannot create, I do not understand – we believe it is highly desirable to continue investigating Finally, we would like to point to an open theoret- high-dimensionally encoded quantum systems – both ical question with significant conceptual and exper- on paper and in laboratories.

[1] Robert Fickler, Mario Krenn, Radek Lapkiewicz, [3] Albert Einstein, Boris Podolsky, and Nathan Rosen. Sven Ramelow, and Anton Zeilinger. Real-time Can quantum-mechanical description of physical re- imaging of quantum entanglement. Scientific reports, ality be considered complete? Physical review, 3, 2013. 47(10):777, 1935. [2] Erwin Schrödinger.Die gegenwärtigesituation in der [4] John S Bell. On the einstein podolsky rosen paradox. quantenmechanik. Naturwissenschaften, 23(48):807– Physics, 1(3):195–200, 1964. 812, 1935. [5] William K Wootters and Wojciech H Zurek. A single 12

quantum cannot be cloned. Nature, 299(5886):802– [20] Dagmar Bruß. Characterizing entanglement. Jour- 803, 1982. nal of Mathematical Physics, 43(9):4237–4251, 2002. [6] Dong-Sheng Ding, Wei Zhang, Shuai Shi, Zhi- [21] Jian-Wei Pan, Zeng-Bing Chen, Chao-Yang Lu, Yuan Zhou, Yan Li, Bao-Sen Shi, and Guang-Can Harald Weinfurter, Anton Zeilinger, and Marek Guo. High-dimensional entanglement between dis- Zukowski.˙ Multiphoton entanglement and interfer- tant atomic-ensemble memories. Light: Science and ometry. Rev. Mod. Phys., 84:777–838, May 2012. Applications, 5(10):e16157, 2016. [22] Juan Yin, Yuan Cao, Yu-Huai Li, Sheng-Kai Liao, [7] Valentina Parigi, Vincenzo D’Ambrosio, Christophe Liang Zhang, Ji-Gang Ren, Wen-Qi Cai, Wei-Yue Arnold, Lorenzo Marrucci, Fabio Sciarrino, and Liu, Bo Li, Hui Dai, Guang-Bing Li, Qi-Ming Lu, Julien Laurat. Storage and retrieval of vector beams Yun-Hong Gong, Yu Xu, Shuang-Lin Li, Feng-Zhi Li, of light in a multiple-degree-of-freedom quantum Ya-Yun Yin, Zi-Qing Jiang, Ming Li, Jian-Jun Jia, memory. Nature communications, 6, 2015. Ge Ren, Dong He, Yi-Lin Zhou, Xiao-Xiang Zhang, [8] EO Kiktenko, AK Fedorov, OV Man’ko, and Na Wang, Xiang Chang, Zhen-Cai Zhu, Nai-Le Liu, VI Man’ko. Multilevel superconducting circuits Yu-Ao Chen, Chao-Yang Lu, Rong Shu, Cheng-Zhi as two-qubit systems: Operations, state prepara- Peng, Jian-Yu Wang, and Jian-Wei Pan. Satellite- tion, and entropic inequalities. Physical Review A, based entanglement distribution over 1200 kilome- 91(4):042312, 2015. ters. Science, 356(6343):1140–1144, 2017. [9] EO Kiktenko, AK Fedorov, AA Strakhov, and [23] Les Allen, Marco W Beijersbergen, RJC Spreeuw, VI Man’ko. Single qudit realization of the deutsch and JP Woerdman. Orbital angular momentum algorithm using superconducting many-level quan- of light and the transformation of laguerre-gaussian tum circuits. Physics Letters A, 379(22):1409–1413, laser modes. Physical Review A, 45(11):8185, 1992. 2015. [24] H Bechmann-Pasquinucci and Wolfgang Tittel. [10] Christoph Schaeff, Robert Polster, Marcus Huber, Quantum cryptography using larger alphabets. Sven Ramelow, and Anton Zeilinger. Experimental Physical Review A, 61(6):062308, 2000. access to higher-dimensional entangled quantum sys- [25] Nicolas J Cerf, Mohamed Bourennane, Anders tems using integrated optics. Optica, 2(6):523–529, Karlsson, and Nicolas Gisin. Security of quantum 2015. key distribution using d-level systems. Physical Re- [11] Anthony Martin, Thiago Guerreiro, Alexey Tiranov, view Letters, 88(12):127902, 2002. SébastienDesignolle, Florian Fröwis,Nicolas Brun- [26] Artur K Ekert. Quantum cryptography based on ner, Marcus Huber, and Nicolas Gisin. Quantifying bell´s theorem. Physical review letters, 67(6):661, photonic high-dimensional entanglement. Physical 1991. Review Letters, 118(11):110501, 2017. [27] Charles H Bennett and Gilles Brassard. Quan- [12] Christian T Schmiegelow, Jonas Schulz, Henning tum cryptography: Public key distribution and coin Kaufmann, Thomas Ruster, Ulrich G Poschinger, tossing. 1984 International Conference on Comput- and Ferdinand Schmidt-Kaler. Transfer of optical ers, Systems & Signal Processing, Bangalore, India, orbital angular momentum to a bound electron. Na- pages 175–179, 1984. ture communications, 7, 2016. [28] Charles H Bennett, Gilles Brassard, and N David [13] Ebrahim Karimi, Sebastian A Schulz, Israel Mermin. Quantum cryptography without bell´sthe- De Leon, Hammam Qassim, Jeremy Upham, and orem. Physical Review Letters, 68(5):557, 1992. Robert W Boyd. Generating optical orbital angu- [29] Peter W Shor and John Preskill. Simple proof of lar momentum at visible wavelengths using a plas- security of the bb84 quantum key distribution pro- monic metasurface. Light: Science & Applications, tocol. Physical review letters, 85(2):441, 2000. 3(5):e167, 2014. [30] Valerio Scarani, Helle Bechmann-Pasquinucci, Nico- [14] Xinlun Cai, Jianwei Wang, Michael J Strain, Ben- las J Cerf, Miloslav Duˇsek, Norbert Lütkenhaus, jamin Johnson-Morris, Jiangbo Zhu, Marc Sorel, and Momtchil Peev. The security of practical quan- Jeremy L O’Brien, Mark G Thompson, and Siyuan tum key distribution. Reviews of modern physics, Yu. Integrated compact optical vortex beam emit- 81(3):1301, 2009. ters. Science, 338(6105):363–366, 2012. [31] Dagmar Bruß. Optimal eavesdropping in quantum [15] Gabriel Molina-Terriza, Juan P Torres, and Lluis cryptography with six states. Physical Review Let- Torner. Twisted photons. Nature Physics, 3(5):305– ters, 81(14):3018, 1998. 310, 2007. [32] Hoi-Kwong Lo. Proof of unconditional security of [16] Mario Krenn, Mehul Malik, Manuel Erhard, and An- six-state quantum key distribution scheme. quant- ton Zeilinger. Orbital angular momentum of photons ph/0102138, 2001. and the entanglement of laguerre–gaussian modes. [33] Kamil Brádler, Mohammad Mirhosseini, Robert Phil. Trans. R. Soc. A, 375(2087):20150442, 2017. Fickler, Anne Broadbent, and Robert Boyd. Finite- [17] Michael A Nielsen and Isaac L Chuang. Quantum key security analysis for multilevel quantum key dis- computation and quantum information. Cambridge tribution. New Journal of Physics, 18(7):073030, university press, 2010. 2016. [18] Ryszard Horodecki, Pawel Horodecki, Micha l [34] Toshihiko Sasaki, Yoshihisa Yamamoto, and Masato Horodecki, and Karol Horodecki. Quantum entangle- Koashi. Practical quantum key distribution proto- ment. Reviews of Modern Physics, 81(2):865, 2009. col without monitoring signal disturbance. Nature, [19] Martin B Plenio and Shashank Virmani. An 509(7501):475–478, 2014. introduction to entanglement measures. quant- [35] Bas Hensen, Hannes Bernien, Ana¨ısE Dréau,An- ph/0504163, 2005. dreas Reiserer, Norbert Kalb, Machiel S Blok, Just 13

Ruitenberg, Raymond FL Vermeulen, Raymond N et al. Detection-loophole-free test of quantum non- Schouten, Carlos Abellán,et al. Loophole-free bell locality, and applications. Physical review letters, inequality violation using electron spins separated by 111(13):130406, 2013. 1.3 kilometres. Nature, 526(7575):682–686, 2015. [49] Serge Massar. Nonlocality, closing the detection [36] Marissa Giustina, Marijn AM Versteegh, Sören loophole, and communication complexity. Physical Wengerowsky, Johannes Handsteiner, Armin Review A, 65(3):032121, 2002. Hochrainer, Kevin Phelan, Fabian Steinlechner, [50] TamásVértesi,Stefano Pironio, and Nicolas Brun- Johannes Kofler, Jan-Ake˚ Larsson, Carlos Abellán, ner. Closing the detection loophole in bell ex- et al. Significant-loophole-free test of bell’s theorem periments using qudits. Physical review letters, with entangled photons. Physical review letters, 104(6):060401, 2010. 115(25):250401, 2015. [51] Earl T Campbell, Hussain Anwar, and Dan E [37] Lynden K Shalm, Evan Meyer-Scott, Bradley G Browne. Magic-state distillation in all prime dimen- Christensen, Peter Bierhorst, Michael A Wayne, sions using quantum reed-muller codes. Physical Re- Martin J Stevens, Thomas Gerrits, Scott Glancy, view X, 2(4):041021, 2012. Deny R Hamel, Michael S Allman, et al. Strong [52] Alex Bocharov, Martin Roetteler, and Krysta M loophole-free test of local realism. Physical review Svore. Factoring with qutrits: Shor’s algorithm letters, 115(25):250402, 2015. on ternary and metaplectic quantum architectures. [38] Wenjamin Rosenfeld, Daniel Burchardt, Robert arXiv:1605.02756, 2016. Garthoff, Kai Redeker, Norbert Ortegel, Markus [53] Alois Mair, Alipasha Vaziri, Gregor Weihs, and Rau, and Harald Weinfurter. Event-ready bell test Anton Zeilinger. Entanglement of the orbital using entangled atoms simultaneously closing detec- angular momentum states of photons. Nature, tion and locality loopholes. Physical Review Letters, 412(6844):313–316, 2001. 119(1):010402, 2017. [54] Filippo M Miatto, Alison M Yao, and Stephen M [39] N David Mermin. Quantum mechanics vs local re- Barnett. Full characterization of the quantum spiral alism near the classical limit: A bell inequality for bandwidth of entangled biphotons. Physical Review spin s. Physical Review D, 22(2):356, 1980. A, 83(3):033816, 2011. [40] Anupam Garg and ND Mermin. Bell inequalities [55] J Romero, D Giovannini, S Franke-Arnold, SM Bar- with a range of violation that does not diminish as nett, and MJ Padgett. Increasing the dimen- the spin becomes arbitrarily large. Physical Review sion in high-dimensional two-photon orbital angu- Letters, 49(13):901, 1982. lar momentum entanglement. Physical Review A, [41] Asher Peres. Finite violation of a bell inequality for 86(1):012334, 2012. arbitrarily large spin. Physical Review A, 46(7):4413, [56] Yingwen Zhang, Filippus S Roux, Thomas Kon- 1992. rad, Megan Agnew, Jonathan Leach, and Andrew [42] Dagomir Kaszlikowski, Piotr Gnaciński, Marek Forbes. Engineering two-photon high-dimensional Zukowski,˙ Wieslaw Miklaszewski, and Anton states through quantum interference. Science ad- Zeilinger. Violations of local realism by two entan- vances, 2(2):e1501165, 2016. gled n-dimensional systems are stronger than for two [57] CK Hong, Zhe-Yu Ou, and Leonard Mandel. Mea- qubits. Physical Review Letters, 85(21):4418, 2000. surement of subpicosecond time intervals between [43] Daniel Collins, Nicolas Gisin, Noah Linden, Serge two photons by interference. Physical review letters, Massar, and Sandu Popescu. Bell inequalities for ar- 59(18):2044, 1987. bitrarily high-dimensional systems. Physical review [58] Robert Fickler, Radek Lapkiewicz, Marcus Huber, letters, 88(4):040404, 2002. Martin PJ Lavery, Miles J Padgett, and Anton [44] Marcus Huber and Marcin Paw lowski. Weak ran- Zeilinger. Interface between path and oam entan- domness in device-independent quantum key distri- glement for high-dimensional photonic quantum in- bution and the advantage of using high-dimensional formation. Nature Communications, 26(8):060305, entanglement. Physical Review A, 88(3):032309, 2014. 2013. [59] Mario Krenn, Armin Hochrainer, Mayukh Lahiri, [45] Jan Bouda, Matej Pivoluska, Martin Plesch, and and Anton Zeilinger. Entanglement by path iden- Colin Wilmott. Weak randomness seriously limits tity. Physical Review Letters, 118(8):080401, 2017. the security of quantum key distribution. Physical [60] Mario Krenn, Xuemei Gu, and Anton Zeilinger. Review A, 86(6):062308, 2012. Quantum experiments and graphs: Multiparty [46] Philippe H Eberhard. Background level and counter states as coherent superpositions of perfect match- efficiencies required for a loophole-free einstein- ings. arXiv:1705.06646, 2017. podolsky-rosen experiment. Physical Review A, [61] Mario Krenn, Mehul Malik, Robert Fickler, Radek 47(2):R747, 1993. Lapkiewicz, and Anton Zeilinger. Automated search [47] Marissa Giustina, Alexandra Mech, Sven Ramelow, for new quantum experiments. Physical review let- Bernhard Wittmann, Johannes Kofler, JörnBeyer, ters, 116(9):090405, 2016. Adriana Lita, Brice Calkins, Thomas Gerrits, [62] Alicia Sit, Frédéric Bouchard, Robert Fickler, Sae Woo Nam, et al. Bell violation using entan- JérémieGagnon-Bischoff, Hugo Larocque, Khabat gled photons without the fair-sampling assumption. Heshami, Dominique Elser, Christian Peuntinger, Nature, 497(7448):227–230, 2013. Kevin Günthner, Bettina Heim, et al. High- [48] BG Christensen, KT McCusker, JB Altepeter, dimensional intra-city quantum cryptography with B Calkins, Thomas Gerrits, Adriana E Lita, structured photons. arXiv:1612.05195, 2016. A Miller, Lynden K Shalm, Y Zhang, SW Nam, [63] Jacques Carolan, Christopher Harrold, Chris Spar- 14

row, Enrique Mart´ın-López, Nicholas J Russell, bert Lütkenhaus, and Andrew Forbes. Higher- Joshua W Silverstone, Peter J Shadbolt, Nobuyuki dimensional orbital-angular-momentum-based quan- Matsuda, Manabu Oguma, Mikitaka Itoh, et al. tum key distribution with mutually unbiased bases. Universal linear optics. Science, 349(6249):711–716, Physical Review A, 88(3):032305, 2013. 2015. [78] Mohammad Mirhosseini, Mehul Malik, Zhimin Shi, [64] Jean-Fran¸coisMorizur, Lachlan Nicholls, Pu Jian, and Robert W Boyd. Efficient separation of the or- Seiji Armstrong, Nicolas Treps, Boris Hage, Mag- bital angular momentum eigenstates of light. Nature nus Hsu, Warwick Bowen, Jiri Janousek, and Hans-A communications, 4:2781, 2013. Bachor. Programmable unitary spatial mode manip- [79] Giuseppe Vallone, Vincenzo D’Ambrosio, Anna ulation. JOSA A, 27(11):2524–2531, 2010. Sponselli, Sergei Slussarenko, Lorenzo Marrucci, [65] Robert Fickler, Manit Ginoya, and Robert W Fabio Sciarrino, and Paolo Villoresi. Free- Boyd. Custom-tailored spatial mode sorting by space quantum key distribution by rotation- controlled random scattering. Physical Review B, invariant twisted photons. Physical review letters, 95(16):161108, 2017. 113(6):060503, 2014. [66] Ali Asadian, Paul Erker, Marcus Huber, and Claude [80] Nenad Bozinovic, Yang Yue, Yongxiong Ren, Moshe Klöckl. Heisenberg-weyl observables: Bloch vectors Tur, Poul Kristensen, Hao Huang, Alan E Willner, in phase space. Physical Review A, 94(1):010301, and Siddharth Ramachandran. Terabit-scale orbital 2016. angular momentum mode division multiplexing in [67] Jonathan Leach, Miles J Padgett, Stephen M Bar- fibers. science, 340(6140):1545–1548, 2013. nett, Sonja Franke-Arnold, and Johannes Courtial. [81] Graham Gibson, Johannes Courtial, Miles J Pad- Measuring the orbital angular momentum of a single gett, Mikhail Vasnetsov, Valeriy Pas’ko, Stephen M photon. Physical review letters, 88(25):257901, 2002. Barnett, and Sonja Franke-Arnold. Free-space infor- [68] AN De Oliveira, SP Walborn, and CH Monken. Im- mation transfer using light beams carrying orbital plementing the deutsch algorithm with polarization angular momentum. Optics express, 12(22):5448– and transverse spatial modes. Journal of Optics B: 5456, 2004. Quantum and Semiclassical Optics, 7(9):288, 2005. [82] Jian Wang, Jeng-Yuan Yang, Irfan M Fazal, Nisar [69] Dong-Xu Chen, Rui-Feng Liu, Pei Zhang, and Yun- Ahmed, Yan Yan, Hao Huang, Yongxiong Ren, Yang Long Wang. Realization of quantum permutation Yue, Samuel Dolinar, Moshe Tur, et al. Terabit algorithm in high dimensional hilbert space. Chinese free-space data transmission employing orbital an- Physics B, 26(8):060305, 2017. gular momentum multiplexing. Nature photonics, [70] Florian Schlederer, Mario Krenn, Robert Fickler, 6(7):488–496, 2012. Mehul Malik, and Anton Zeilinger. Cyclic transfor- [83] Mario Krenn, Robert Fickler, Matthias Fink, Jo- mation of orbital angular momentum modes. New hannes Handsteiner, Mehul Malik, Thomas Scheidl, Journal of Physics, 18(4):043019, 2016. Rupert Ursin, and Anton Zeilinger. Communica- [71] Amin Babazadeh, Manuel Erhard, Feiran Wang, tion with spatially modulated light through turbu- Mehul Malik, Rahman Nouroozi, Mario Krenn, lent air across vienna. New Journal of Physics, and Anton Zeilinger. High-dimensional single- 16(11):113028, 2014. photon quantum gates: Concepts and experiments. [84] Yongxiong Ren, Zhe Wang, Peicheng Liao, Long arXiv:1702.07299, 2017. Li, Guodong Xie, Hao Huang, Zhe Zhao, Yan Yan, [72] Valerio Scarani, Sofyan Iblisdir, Nicolas Gisin, and Nisar Ahmed, Asher Willner, Martin P. J. Lav- Antonio Acin. Quantum cloning. Reviews of Modern ery, Nima Ashrafi, Solyman Ashrafi, Robert Bock, Physics, 77(4):1225, 2005. Moshe Tur, Ivan B. Djordjevic, Mark A. Neifeld, and [73] Eleonora Nagali, Daniele Giovannini, Lorenzo Mar- Alan E. Willner. Experimental characterization of a rucci, Sergei Slussarenko, Enrico Santamato, and 400 gbit/s orbital angular momentum multiplexed Fabio Sciarrino. Experimental optimal cloning of free-space optical link over 120 m. Optics letters, four-dimensional quantum states of photons. Physi- 41(3):622–625, 2016. cal review letters, 105(7):073602, 2010. [85] Mario Krenn, Johannes Handsteiner, Matthias Fink, [74] FrédéricBouchard, Robert Fickler, Robert W Boyd, Robert Fickler, Rupert Ursin, Mehul Malik, and An- and Ebrahim Karimi. High-dimensional quantum ton Zeilinger. Twisted light transmission over 143 cloning and applications to quantum hacking. Sci- km. Proceedings of the National Academy of Sci- ence Advances, 3(2):e1601915, 2017. ences, 113(48):13648–13653, 2016. [75] Eleonora Nagali, Linda Sansoni, Fabio Sciarrino, [86] Mario Krenn, Johannes Handsteiner, Matthias Fink, Francesco De Martini, Lorenzo Marrucci, Bruno Pic- Robert Fickler, and Anton Zeilinger. Twisted pho- cirillo, Ebrahim Karimi, and Enrico Santamato. Op- ton entanglement through turbulent air across vi- timal quantum cloning of orbital angular momentum enna. Proceedings of the National Academy of Sci- photon qubits through hong–ou–mandel coalescence. ences, 112(46):14197–14201, 2015. Nature Photonics, 3(12):720–723, 2009. [87] Yongxiong Ren, Guodong Xie, Hao Huang, Nisar [76] Simon Gröblacher, Thomas Jennewein, Alipasha Ahmed, Yan Yan, Long Li, Changjing Bao, Martin Vaziri, Gregor Weihs, and Anton Zeilinger. Exper- P. J. Lavery, Moshe Tur, Mark A. Neifeld, Robert W. imental quantum cryptography with qutrits. New Boyd, Jeffrey H. Shapiro, and Alan E. Will- Journal of Physics, 8(5):75, 2006. ner. Adaptive-optics-based simultaneous pre-and [77] Mhlambululi Mafu, Angela Dudley, Sandeep Goyal, post-turbulence compensation of multiple orbital- Daniel Giovannini, Melanie McLaren, Miles J Pad- angular-momentum beams in a bidirectional free- gett, Thomas Konrad, Francesco Petruccione, Nor- space optical link. Optica, 1(6):376–382, 2014. 15

[88] Neil Shenvi, Julia Kempe, and K Birgitta Whaley. de Lisio, Giulio De Filippis, Vittorio Cataudella, En- Quantum random-walk search algorithm. Physical rico Santamato, Lorenzo Marrucci, et al. Detection Review A, 67(5):052307, 2003. of zak phases and topological invariants in a chiral [89] Andrew M Childs. Universal computation by quan- quantum walk of twisted photons. Nature Commu- tum walk. Physical review letters, 102(18):180501, nications, 8:15516, 2017. 2009. [103] Xi-Lin Wang, Xin-Dong Cai, Zu-En Su, Ming-Cheng [90] Matthew A Broome, Alessandro Fedrizzi, Benji- Chen, Dian Wu, Li Li, Nai-Le Liu, Chao-Yang Lu, main P Lanyon, Ivan Kassal, Alan Aspuru-Guzik, and Jian-Wei Pan. Quantum teleportation of mul- and Andrew G White. Discrete single-photon quan- tiple degrees of freedom of a single photon. Nature, tum walks with tunable decoherence. Physical review 518(7540):516–519, 2015. letters, 104(15):153602, 2010. [104] Charles H Bennett, Gilles Brassard, Claude [91] Andreas Schreiber, Katiuscia N Cassemiro, Crépeau, Richard Jozsa, Asher Peres, and William K V Potoˇcek, Aurél Gábris, Peter James Mosley, Wootters. Teleporting an unknown quantum state Erika Andersson, Igor Jex, and Ch Silberhorn. via dual classical and einstein-podolsky-rosen chan- Photons walking the line: a quantum walk with nels. Physical review letters, 70(13):1895, 1993. adjustable coin operations. Physical review letters, [105] Dik Bouwmeester, Jian-Wei Pan, Klaus Mat- 104(5):050502, 2010. tle, Manfred Eibl, Harald Weinfurter, and Anton [92] Alberto Peruzzo, Mirko Lobino, Jonathan CF Zeilinger. Experimental quantum teleportation. Na- Matthews, Nobuyuki Matsuda, Alberto Politi, Kon- ture, 390(6660):575–579, 1997. stantinos Poulios, Xiao-Qi Zhou, Yoav Lahini, Nur [106] J.-G Ren, P. Xu, H.-L. Yong, L. Zhang, S.-K. Liao, Ismail, Kerstin Wörhoff,et al. Quantum walks of J. Yin, W.-Y. Liu, W.-Q. Cai, M. Yang, L. Li, K.-X. correlated photons. Science, 329(5998):1500–1503, Yang, X. Han, Y.-Q. Yao, J. Li, H.-Y. Wu, S. Wan, 2010. L. Liu, D.-Q. Liu, Y.-W. Kuang, Z.-P. He, P. Shang, [93] Linda Sansoni, Fabio Sciarrino, Giuseppe Vallone, C. Guo, R.-H. Zheng, K. Tian, Z.-C. Zhu, N.-L. Liu, Paolo Mataloni, Andrea Crespi, Roberta Ram- C.-Y. Lu, R. Shu, Y.-A. Chen, C.-Z. Peng, J.-Y. poni, and Roberto Osellame. Two-particle bosonic- Wang, and J.-W. Pan. Ground-to-satellite quantum fermionic quantum walk via integrated photonics. teleportation. arXiv:1707.00934, 2017. Physical review letters, 108(1):010502, 2012. [107] A Hayashi, T Hashimoto, and M Horibe. Reexami- [94] Filippo Cardano, Maria Maffei, Francesco Massa, nation of optimal quantum state estimation of pure Bruno Piccirillo, Corrado De Lisio, Giulio De Fil- states. Physical review A, 72(3):032325, 2005. ippis, Vittorio Cataudella, Enrico Santamato, and [108] Daniel M Greenberger, Michael A Horne, and An- Lorenzo Marrucci. Statistical moments of quantum- ton Zeilinger. Going beyond bell´stheorem. In Bell´s walk dynamics reveal topological quantum transi- theorem, quantum theory and conceptions of the uni- tions. Nature communications, 7, 2016. verse, pages 69–72. Springer, 1989. [95] Pei Zhang, Bi-Heng Liu, Rui-Feng Liu, Hong-Rong [109] Daniel M Greenberger, Michael A Horne, Abner Shi- Li, Fu-Li Li, and Guang-Can Guo. Implementation mony, and Anton Zeilinger. Bell’s theorem with- of one-dimensional quantum walks on spin-orbital out inequalities. American Journal of Physics, angular momentum space of photons. Physical Re- 58(12):1131–1143, 1990. view A, 81(5):052322, 2010. [110] N David Mermin. Extreme quantum entanglement [96] Lorenzo Marrucci, C Manzo, and D Paparo. Opti- in a superposition of macroscopically distinct states. cal spin-to-orbital angular momentum conversion in Physical Review Letters, 65(15):1838, 1990. inhomogeneous anisotropic media. Physical review [111] Mehul Malik, Manuel Erhard, Marcus Huber, Mario letters, 96(16):163905, 2006. Krenn, Robert Fickler, and Anton Zeilinger. Multi- [97] Filippo Cardano, Francesco Massa, Hammam Qas- photon entanglement in high dimensions. Nature sim, Ebrahim Karimi, Sergei Slussarenko, Domenico Photonics, 10(4):248–252, 2016. Paparo, Corrado de Lisio, Fabio Sciarrino, Enrico [112] Marcus Huber and Julio I de Vicente. Structure of Santamato, Robert W Boyd, et al. Quantum walks multidimensional entanglement in multipartite sys- and wavepacket dynamics on a lattice with twisted tems. Physical review letters, 110(3):030501, 2013. photons. Science advances, 1(2):e1500087, 2015. [113] Manuel Erhard, Mehul Malik, Mario Krenn, and An- [98] Takuya Kitagawa, Mark S Rudner, Erez Berg, and ton Zeilinger. The greenberger-horne-zeilinger state Eugene Demler. Exploring topological phases with in three-dimensions: An experimental approach pro- quantum walks. Physical Review A, 82(3):033429, posed by a computer. in preparation, 2017. 2010. [114] Junghee Ryu, Changhyoup Lee, Marek Zukowski,˙ [99] Michael V Berry. Quantal phase factors accompany- and Jinhyoung Lee. Greenberger-horne-zeilinger the- ing adiabatic changes. 392(1802):45–57, 1984. orem for n qudits. Physical Review A, 88(4):042101, [100] DJ Thouless, Mahito Kohmoto, MP Nightingale, 2013. and M Den Nijs. Quantized hall conductance in a [115] Junghee Ryu, Changhyoup Lee, Zhi Yin, Ramij Ra- two-dimensional periodic potential. Physical Review haman, Dimitris G Angelakis, Jinhyoung Lee, and Letters, 49(6):405, 1982. Marek Zukowski.˙ Multisetting greenberger-horne- [101] Ling Lu, John D Joannopoulos, and Marin Soljaˇcić. zeilinger theorem. Physical Review A, 89(2):024103, Topological states in photonic systems. Nature 2014. Physics, 12:626–629, 2016. [116] Jay Lawrence. Rotational covariance and [102] Filippo Cardano, Alessio D’Errico, Alexandre greenberger-horne-zeilinger theorems for three Dauphin, Maria Maffei, Bruno Piccirillo, Corrado or more particles of any dimension. Physical Review 16

A, 89(1):012105, 2014. Nicolas Bent, Filippo M Miatto, Miles J Padgett, [117] Jay Lawrence. Mermin inequalities for perfect corre- and Robert W Boyd. Exploring the quantum na- lations in many-qutrit systems. Physical Review A, ture of the radial degree of freedom of a photon 95(4):042123, 2017. via hong-ou-mandel interference. Physical Review A, [118] P Gregg, P Kristensen, and S Ramachandran. Con- 89(1):013829, 2014. servation of orbital angular momentum in air-core [126] Mario Krenn, Marcus Huber, Robert Fickler, Radek optical fibers. Optica, 2(3):267–270, 2015. Lapkiewicz, Sven Ramelow, and Anton Zeilinger. [119] Hao Huang, Giovanni Milione, Martin PJ Lavery, Generation and confirmation of a (100× 100)- Guodong Xie, Yongxiong Ren, Yinwen Cao, Nisar dimensional entangled quantum system. Proceedings Ahmed, Thien An Nguyen, Daniel A Nolan, Ming- of the National Academy of Sciences, 111(17):6243– Jun Li, et al. Mode division multiplexing using an 6247, 2014. orbital angular momentum mode sorter and mimo- [127] Melanie McLaren, Thandeka Mhlanga, Miles J Pad- dsp over a graded-index few-mode optical fibre. Sci- gett, Filippus S Roux, and Andrew Forbes. Self- entific reports, 5, 2015. healing of quantum entanglement after an obstruc- [120] Joel Carpenter, Benjamin J Eggleton, and Jochen tion. Nature communications, 5:3248, 2014. Schröder. Observation of eisenbud–wigner–smith [128] Mario Krenn, Robert Fickler, Marcus Huber, Radek states as principal modes in multimode fibre. Na- Lapkiewicz, William Plick, Sven Ramelow, and An- ture Photonics, 9(11):751–757, 2015. ton Zeilinger. Entangled singularity patterns of [121] Andong Wang, Long Zhu, Shi Chen, Cheng Du, photons in ince-gauss modes. Physical Review A, Qi Mo, and Jian Wang. Characterization of ldpc- 87(1):012326, 2013. coded orbital angular momentum modes transmis- [129] GA Siviloglou, J Broky, Aristide Dogariu, and sion and multiplexing over a 50-km fiber. Optics DN Christodoulides. Observation of accelerating express, 24(11):11716–11726, 2016. airy beams. Physical Review Letters, 99(21):213901, [122] Sheng-Kai Liao, Wen-Qi Cai, Wei-Yue Liu, Liang 2007. Zhang, Yang Li, Ji-Gang Ren, Juan Yin, Qi Shen, [130] Lu-Ming Duan, Mikhail Lukin, Ignacio Cirac, and Yuan Cao, Zheng-Ping Li, et al. Satellite-to-ground Peter Zoller. Long-distance quantum communication quantum key distribution. arXiv:1707.00542, 2017. with atomic ensembles and linear optics. Nature, [123] E Karimi, RW Boyd, P de la Hoz, H de Guise, 414(6862):413–418, 2001. J Reháˇcek,ˇ Z Hradil, A Aiello, G Leuchs, and [131] Marcus Huber, Mart´ıPerarnau-Llobet, and Julio I Luis Lorenzo Sánchez-Soto. Radial quantum num- de Vicente. Entropy vector formalism and the struc- ber of laguerre-gauss modes. Physical review A, ture of multidimensional entanglement in multipar- 89(6):063813, 2014. tite systems. Physical Review A, 88(4):042328, 2013. [124] William N Plick and Mario Krenn. Physical meaning [132] Dardo Goyeneche, Jakub Bielawski, and Karol of the radial index of laguerre-gauss beams. Physical Zyczkowski.˙ Multipartite entanglement in hetero- Review A, 92(6):063841, 2015. geneous systems. Physical Review A, 94(1):012346, [125] Ebrahim Karimi, Daniel Giovannini, Eliot Bolduc, 2016.