Abstract
Twisted photons can be used as alphabets to encode information beyond one bit per single photon. This ability offers great potential for quantum information tasks, as well as for the investigation of fundamental questions. In this review article, we give a brief overview of the theoretical differences between qubits and higher dimensional systems, qudits, in different quantum information scenarios. We then describe recent experimental developments in this field over the past three years. Finally, we summarize some important experimental and theoretical questions that might be beneficial to understand better in the near future.
Introduction
Quantum information science and quantum information technology have seen a virtual explosion worldwide. The explosion is all based on the observation that fundamental quantum phenomena on the individual particle or systemlevels lead to completely novel ways of encoding, processing and transmitting information. Quantum mechanics, a child of the first third of the 20th century, has found numerous realizations and technical applications, many more than were thought possible at the beginning. Decades later, it became possible to do experiments with individual quantum particles and quantum systems. This was due to technological progress, and particularly for light, the development of the laser. Only about 40 years ago, quantum phenomena were studied for their own curiosities. The motivation was that the predictions of quantum mechanics for individual systems were rather counterintuitive. People wanted to see these in a concrete way in the laboratory. Fundamental phenomena include quantum superposition for individual particles, as corroborated for example by neutron interferometers and by the double slit experiment for individual massive particles and for individual photons, the objective randomness of the individual quantum event, quantum entanglement^{1} and entanglement as signified by the EinsteinPodolskyRosen paradox^{2} and Bell's theorem^{3} and the nocloning theorem^{4}. To date, these fundamental experiments in the new field of quantum information science and quantum information technology were signified by such notions as quantum communication, quantum cryptography, quantum teleportation, quantum computation and many more. These encompass a broad understanding that all this will lead to a future of new information technology.
Hitherto, nearly all experiments and also nearly all realizations in the fields just mentioned have been performed with qubits, which are twolevel quantum systems. We suggest that this limitation is again mainly a technological one, because it is very difficult to create, manipulate and measure more complex quantum systems.
Here we provide a specific overview of some recent developments with higherdimensional quantum systems. We mainly focus on Orbital Angular Momentum (OAM) states of photons and possible applications in quantum information protocols. Such states form discrete higherdimensional quantum systems, also called qudits. A qudit can be seen as a quantum particle which is not limited to two states but in principle can have any number of discrete levels.
Specifically, we will first address the question what kind of new fundamental properties exist and the quantum information applications, which are opened up by such novel systems. Then, we present an overview of the recent developments in the field by discussing several notable experiments over the past 2–3 years. Finally, we conclude with several important open questions which will be interesting for investigations in the future.
Due to limitation of space, we cannot cover the breakthrough experiments in the area of highdimensional quantum information memories^{5, 6}, in highdimensional quantum information processing with other physical systems^{7, 8, 9, 10}, coherent transitions of atomic states driven by the OAM of photons^{11} or the novel methods to manipulate OAM of light that may improve future quantum experiments such as the plasmonic qplates^{12} and light carrying OAM produced in waveguide chips^{13}.
As we focus here on the very recent developments in this field, we have to leave out many important historic experiments. For a compact overview of research in structured light, we refer to Refs 14, 15. Readers interested in the general developments in quantum science with OAM of photons, we would like to refer to a review from 2007 Ref. 16 and from 2017 Ref. 17. Readers interested in the theoretical foundations of quantum information may look into Refs 18, 19, 20, 21, and to get an overview of photonic quantum information one may look into Ref. 22.
OAM of photons
Photons are excellent for quantum communication as they can be transmitted over long distances with very low loss and without any known decoherence mechanism in free space^{23}. A special property of photons is their orbital angular momentum^{24}. Quantum mechanically, the orbital angular momentum occurs in discrete steps of , where is an in principle unbounded integer. Therefore, highdimensional quantum information can be stored in the orbital angular momentum of single photons. The fundamental property of photons carrying OAM is the presence of the helical phase factor where φ is the azimuthal coordinate that is in the plane transverse to the propagation direction.
A variety of spatial modes that carry OAM exist, sharing a helical phase factor but differing in their radial structure. The most prominent example, the LaguerreGauss mode , accurately describes a photon carrying an OAM of . Here, p is the radial quantum number. Figure 1 shows experimental images of single photons with different OAM values. The defining feature of LG modes is their spatial phase pattern. Specifically, the pattern is a helical phase that wraps around the axis of propagation times within a wavelength, which results in a phase singularity at the beam center. Thus, the intensity profile of an LG mode shows the typical donut shaped structure. For single photons, the intensity profile gives the probability of detecting a photon at a certain point. If we place a triggered singlephoton camera and detect many heralded photons^{25}, then the intensity profile of the respective LG mode emerges, which is shown in the filmstrips in Figure 1. A few examples of higher order OAM modes, which can be used to encode highdimensional qudit states, together with some exemplary superposition structures are shown in Figure 2.
Advantages of higherdimensional quantum systems
Higher information capacity
The first and rather obvious benefit of qudits is the enlarged information content that a single quantum carrier can transmit. Any additional orthogonal state used in the encoding scheme increases the information encoded in a single quantum system. A simple example would be the use of ququarts, that is, four dimensional systems, which can be used to encode 2 bits of information: and . The often used measure of information capacity, which is given in log_{2}(d) bits/photon, can be seen as a measure of how many classical bits have to be used to be able to encode the same amount of information. In principle there is no upper limit of d (Except of a potential limit which arises due to the finite size of the universe), which means that a single quantum system, like a photon, has the potential to encode an arbitrarily large amount of information.
Enhanced robustness against eavesdropping and quantum cloning
Although the perfect copying of a quantum state is impossible due to the nocloning theorem, it was discovered that it is possible to approximatively clone a quantum state^{4}. This socalled optimal cloning can be achieved with a cloning machine wherein one photon is cloned to two imperfect copies. Here, the cloning fidelity , (the overlap of the clones and the original state), is limited to the upper bound of . This dependence on the dimensionality shows that the fidelity of the cloned qubits can be as high as , while states with higher dimensionalities d can only be cloned with lower fidelities down to 50% in the limit of d∞. This reduction of the cloning fidelity for qudits nicely depicts the superiority of highdimensional quantum cryptography and the increased error thresholds as it is more difficult for an eavesdropper to hack a highdimensional key distribution scheme.
Hence, in addition to the increased information capacity, quditstates are more robust to background noise and hacking attacks when used in quantum cryptography^{26, 27}. To ensure the security of an established quantum link, which can then be used to share a random encryption key, it is essential to stay below a certain error threshold. When this error bound is met, no eavesdropper could have attacked the transmission and security is ensured by quantum physical laws. It is important to note, that it does not matter if an actual eavesdropper had access or the errors were caused by strong noises. This feature of quantum cryptography holds for both entanglement based systems^{28} as well as prepareandmeasure QKD schemes^{29, 30}. For qubit systems, this bound has been proven to be as low as approximately 11 or 12.6% if two or three mutually unbiased bases are taken into account, respectively^{31, 32, 33}. However, if higherdimensional quantum states are used, this requirement can be weakened, for example, with ququarts already up to nearly 19% or 22% errors can be tolerated (again, for two or three mutually unbiased bases), respectively^{27, 32, 34, 35}. This threshold can be as large as 50% for an infinite dimensional state, a behavior for which optimal cloning already gave a hint.
Quantum communication without monitoring signal disturbance
It was recently discovered that highdimensional systems can also be beneficial for prepareandmeasure quantum cryptography applications if only qubits are encoded and are somewhat hidden in an enlarged highdimensional Hilbert space. The twodimensional quantum information, which after successful performance of the protocol is used to establish a secure key, is encoded in the relative phases between the utilized highdimensional states.
It was proven that after a clever randomized measurement at the receiver and a large enough Hilbert space, the monitoring of the signal disturbance can be neglected^{36}, in contrast to other prepareandmeasure protocols such as the seminal BB84 (Ref. 29). In simplified terms, this means that renouncing the advantage of a large information capacity per photon and still using complex qudit states facilitates a secure transmission in highly noisy channels.
Larger violation of localrealistic theories and its advantages in quantum communication
John Bell showed in 1964 that the predictions of specific quantum mechanical measurements on qubits cannot be explained in a local realistic manner^{3}. Local realism is the worldview in which physical properties of objects exist prior to and independent of the measurement, and physical influences are bounded by the speed of light. A violation of Bell's inequality (which have been demonstrated recently in a loopholefree way^{37, 38, 39, 40}) shows that such a worldview can no longer be maintained in the face of experimental evidences.
First generalizations to multilevel systems in the early 1980s by Mermin and Garg^{41, 42} showed that the conflict between local realism and quantum mechanics diminishes for larger dimensions. Interestingly, those results were interpreted as a necessary emergence of local realism in the classical limit, or a quantumtoclassical transition for large quantum numbers. A decade later, in 1992, Peres was able to show for the first time a violation of local realism that is constant for arbitrary large dimensions^{43}. It took nearly another decade until Kaszlikowski et al^{44} showed the first highdimensional violation of local realism that is larger than those in two dimensions (a larger violation of Bell type inequalities means that the violation is more robust against noise). In Ref. 44 it is shown that the maximum tolerable noise, which still allows a violation of localrealism, increases with the dimension because the Bell inequality is stronger violated. Their numerical approach showed that for 3≤d≤9, Belltype inequalities can be found where the violation of local realism increases as the dimension of the system increases. Soon afterwards, inequalities for violating local realism for arbitrarily highdimensional systems were found by Collins and colleagues (often referred to as CGLMP inequality nowadays)^{45}. While analytical results are still missing, numerical estimates suggest that the violations increase monotonically with the number of dimensions^{44, 46}.
The violation of local realism is not only interesting for fundamental reasons but has direct applications in quantum communication protocols. These advantages go beyond the more stringent cloning fidelities discussed in the Section of “Enhanced robustness against eavesdropping and quantum cloning”. In entanglementbased QKD protocols, the presence of an eavesdropper is excluded by violating a local realistic inequality. As higherdimensional systems allow for larger violations, those systems can supersede twodimensional implementations of QKD. Analogous as before, one can imagine situations where qubits cannot be used to generate a secure key, whereas a highdimensional system still enables to securely distribute an encryption key. We explain this now in two concrete examples.
Huber and Pawlowsky^{47} investigated an entanglementbased quantum key distribution scenario^{28}. In this scenario, Alice and Bob measure entangled photon pairs, which they use to create the key and verifying the security of the transmission. To generate the key, they both measure in perfect correlations. To verify the security, Bell measurements need to be performed, such as H+22.5°/V, H22.5°/V, D+22.5°/A, D22.5°/A, with horizontal (H) and vertical (V), diagonal and antidiagonal polarisation. If the eavesdropper knows when the Bell measurement is performed, she would not look at those photons (to not disturb them), and only would look at the photons for the generation of the secret key. Therefore, the choice when the Bell measurement is performed has to be random. If the randomness is weak, the eavesdropper could still try to hide her appearance^{48}. Above a certain threshold, weak randomness therefore prevents a secure quantum key distribution. Interestingly, because the violation of highdimensional Bell inequalities can be much stronger than twodimensional violations, the threshold of acceptable loss of randomness is significantly larger for highdimensional systems. This leads to the situation where twodimensional quantum key distribution (for instance, performed with polarization of photons) is hopeless while highdimensional systems would still permit a secure channel^{47}.
Deviceindependent quantum key distribution (DIQKD) requires the detection of a large fraction of the distributed entangled states. The smallest known fraction for closing the socalled detection loophole is 66.7%, based on the nonmaximally entangled states as shown by Eberhard^{49}. Reaching this bound is quite challenging for photons, and has only been exceeded in 2013 Refs 50, 51. However, it was shown by Vertesi, Pirono and Brunner that for d=4, the detection efficiency required for overcoming the detection loophole can drop by almost 5% to 61.8% (Refs 52, 53). Surprisingly, the results for larger dimensions are not known so far.
Quantum computation with qudits
Using qudits can also have advantages in quantum computing. For example, it has been shown that the distillation of important resource states for quantum computations (socalled Magic states) can be done in a way that have no direct analogue for qubits and can be several orders of magnitude more efficient^{54}. In another approach Bocharov and colleagues investigate the Shor algorithm with qutrits, and find the promising result that qubits encoded in the slightly larger Hilbert space of a qutrit allow for a more efficient circuit structure than using natural qutrit gates^{55}. Investigations into highdimensional quantum computation is still an active field of research.
Recent developments in highdimensional quantum information with OAM
After having discussed a few advantages that qudit systems offer, we will now turn to recent developments of the broad and vivid activity of highdimensional quantum information using the OAM of photons.
Creation of highdimensional entanglement
Photon pairs entangled in their orbital angular momentum can be produced using a spontaneous parametric downconversion process in a nonlinear crystal^{56}. Due to the conservation of OAM (when the pump photon has ), the two photons have opposite OAM values such that the resulting twophoton state can be written as
where are coefficients that depend on the focusing parameters, phase matching conditions and crystal dimensions. This process was employed in the first quantum entanglement experiment with OAM^{56} and has been the workhorse for nearly all quantum experiments using OAM entanglement as one gets highdimensional entanglement nearly for free.
A stringent limitation, however, is that there are only very few methods to tune the parameters . These parameters decrease significantly for higherorder modes, as has been investigated in detail by Miatto et al^{57}. Experimentally, it has been shown that by choosing the focusing parameters in an optimal way, one can increase the higherorder modes^{58}, although not to a flat distribution. As an effect, the resulting entangled state is not maximally entangled. Although this state might be required for certain protocols (such as a highdimensional version of Hardy’s ladder proof, which was recently investigated theoretically and experimentally to demonstrate entanglement^{59, 60}) it often limits the usefulness of the entangled state in quantum experiments.
An interesting recent advancement has been introduced by Zhang et al^{61}. They show how the usage of twophoton interference (HongOuMandel effect^{62}) can be used to generate a large set of highdimensional states using quantum state filtering.
In another experiment, highdimensional entanglement was generated, first in the path degree of freedom, which is simpler to custom tailor than OAM entanglement^{9}, and afterwards transferred to OAM states^{63}. Because the path encoded states are compatible with integrated optics, this technique might also serve as an interface between waveguide structures and OAM modes of photons.
Another alternative approach that allows for the generation of arbitrarily, highdimensional twophoton states has been recently proposed^{64}. The idea is that the creation of a pair of photons occurs in a coherent superposition of several crystals. Between the crystals, the mode number, phase and amplitude can be adjusted arbitrarily. The generation of an arbitrary fourdimensional state is shown in Figure 3 as an example. In general, d crystals are pumped coherently such that one pair of photons is created in each crystal. As it is not known in which of the d crystals it is created, the state is in a coherent superposition of being created in either of them. The manipulation of the mode number and phase between the crystals allows for the creation of arbitrary twophoton entangled states for example, a ddimensional Bell state. As only the Gaussian mode of the downconverted photons are used, the count rates of this method can be significantly larger than those for other schemes. The same method can also be used to create very general highdimensional multipartite entangled states^{64} with interesting connections to Graph Theory^{65}. Interestingly, the method was discovered using a computer algorithm which automatically designs new quantum experiments^{66}.
Unitary transformations
While the generation of entangled photons with OAM is welldeveloped and in the focus of different research efforts, the capability of transforming modes, which is essential for quantum informational tasks, is still in its infancy.
In contrast to the pathencoding of photonic qudits, where reprogrammable chips exist that can perform arbitrary unitary operations^{9, 67}, for OAM only a limited set of transformations are known.
Next we present three recent, experimentally feasible approaches to perform arbitrary unitary transformations with the OAM states of single photons.
The first proposed idea we discuss here is from 2010 and uses a succession of reflections from a programmable deformable mirror device^{68}. By using a feedback signal and a stochastic optimization, it was shown that already after three reflections a good transformation between a Gaussian mode and a third order HermiteGauss mode can be achieved. It will be interesting to see whether this approach can be used to perform modedependent transformations with precise control over phases at the quantum level.
A second, more recent technique might be another promising candidate to realize general transformations on OAM states. It has been demonstrated that using controlled random scattering, that is, properly shaping the wavefront before a strong scattering process, sorting of arbitrary spatial mode structures (including radial p modes) can be achieved in a coherent way^{69}. As such a task can be considered a complex transformation between OAM and paths, coherent transformations between different spatial modes are expected to be similarly feasible and are currently investigated. Improvements on the overall losses of the process as well as the possible limitation of mode transformations will be an important next step in order to successfully apply this technique in quantum experiments.
Third, a possible route to a multiport device for OAM modes is to build the required unitary transformation out of basic components. Here, the unitary operation that permutes all utilized OAM states in a cyclic manner, that is, a cyclic ladder transformation or highdimensional Xgate, serves as part of the building blocks for a general device. Together with the highdimensional Zgate, which introduces mode dependent phases, any unitary transformation can be constructed^{70, 71}. The generalized, highdimensional Pauli (wellknown from the 2dimensional space) operators are defined in the following way:
where and ⊕ is the moduloaddition. While the Zgate for OAM modes directly corresponds to a rotation and thus can be realized by a single optical device^{72, 73}, the general experimental implementation for a cyclic transformation is not known yet. However, for the dimensions d=3 to 6 and d=8, an alloptical linear setup has been found^{66, 74} and was recently implemented^{71, 75}. A combination of several of these basic gates are required for arbitrary transformations, thus integrating them in a stable manner will be required. Furthermore, Xgates in other dimensions than those found will be required to exploit the full capability of the highdimensional space.
Optimal quantum cloning
The experimental procedure for cloning of qubits was established in different experiments more than a decade ago^{76}, no highdimensional state has been optimally cloned until recently^{77, 78}. The experiments use twophoton HongOuMandel interference^{62} of OAM modes at a beam splitter^{79} to achieve optimal cloning of highdimensional OAM states up to the dimension 7 (Ref. 78). It was not only shown that it is possible to clone any qudit state from any mutually unbiased bases, hence the cloning machine is universal, but it was also demonstrated that the measured cloning fidelities follow the formula described in the Section of “Enhanced robustness against eavesdropping and quantum cloning” and hacking a highdimensional QKD scheme with a cloning attack does result in larger errors, thus making it easier to detect.
Long distance highdimensional QKD
A promising application of highdimensional OAM states is their use in quantum cryptography schemes. While many proofofprinciple experiments have been conducted successfully in laboratories around the world^{80, 81, 82, 83}, current research focuses on bringing the technology closer to real world applications by enlarging the distances over which secure keys can be distributed. Specially developed vortex fibers^{84} might enable fiber networks that rely on OAM encoding, however, the implementation in quantum experiments has not been demonstrated yet. Moreover, expanding such networks to global distances might be facilitated via free space links. Here, qudits help to increase data rates as well as lower the requirements for correction of induced errors, both being strongly required in outdoor environments due to inherent losses and background noise. After recent successful tests of classical communication schemes using spatially structured light over distances of up to 143 km (Refs 85, 86, 87, 88, 89), first freespace quantum experiments using spatial structures have been performed. In the first of these experiments, photons entangled in their OAM degree of freedom have been sent over an intracity freespace link over 3 km in Vienna^{90}. While it was possible to demonstrate the survival of the OAM entanglement for photons up to , the quantum states were also only twodimensional.
Recently, the first highdimensional quantum states have been used to perform a freespace intracity QKD experiment over 300 m in Ottawa (see Figure 4)^{91}. Fourdimensional quantum states, that is, ququarts, were imprinted on heralded single photons using a combination of OAM and polarization. The photons were then transmitted from Alice to Bob following the standard highdimensional BB84protocol^{29}. Although moderate turbulence was observed, a coupling to single mode fibers, which is required to measure the received state, was achieved with up to 20% efficiency. More importantly, an uncorrected error rate of approximately 14% was found, corresponding to 0.39 bits per sifted photon, which is well below the threshold of 18% for ququarts. The additional transmission of the heralding photon from Alice to Bob and its usage to gauge time periods of weak turbulences has further improved the extracted key rate to 0.65 bits per sifted photon. On one hand, the results show that freespace QKD with spatially structured photons is feasible and highdimensional states can be superior to qubit encoding. On the other hand, they also indicate that the extension to larger distances as well as higher data rates will require the implementation of adaptive optics to compensate for the detrimental effects of atmospheric turbulences^{92}. Hence, the next steps will be to develop appropriate compensation schemes, to test quantum states of higher dimensions, for example with pure OAM encoding, and distribute highdimensionally entangled photons for large quantum networks.
While all of these experiments have been performed at night, in 2002, it was shown how quantum key distribution can be performed during the day^{93}. Very recently, a daytime quantum experiment has been performed over very lossprone channels, indicating that even daytime satellite QKD might be possible^{94}. Similar experiments with highdimensional systems would be very interesting.
Quantum walk
Another exciting example that shows the advantages of OAM implementations over other degreesoffreedom, is the implementation of a quantum (random) walk (QW). In a classical random walk on a 1D chain, a walker randomly decides (for instance by flipping a coin) at every step to move left or right. The QW is obtained when both the coin and the walker are quantum objects. Despite the seemingly simple setting, QW experiments have considerable potential. It has been demonstrated that the QW allows for the simulation of the topological properties of complex quantum systems^{95, 96}, for the implementation of quantum search algorithms^{97} and even universal quantum computation^{98}.
In a photonic system, a quantum walk is often considered as a photon, which enters a beam splitter network with its polarization acting as the coin operation^{99, 100}. As a QW needs to be interferometrically stable (that is, the paths must be stable much below the wavelength of the photons), larger networks of interferometers are usually integrated into photonic waveguides^{101, 102}.
In 2010, Zhang et al^{103} showed that one could use OAM (instead of path) and polarization to perform QWs using socalled qplates, which are devices developed by Marrucci et al^{104} that can couple polarization and OAM of light. Such schemes have a considerable advantage in that integrating the walker into the photonic waveguide circuits is not necessary anymore, as the phase between different OAM modes does not fluctuate during propagation (see Figure 5 (Ref. 105) for a sketch of such a setup). In 2015, Cardano et al^{106} have used a set of five qplates to perform a quantum walk with 5 steps and investigated the dynamics of the propagation for both single and twophoton inputs. Other interesting applications for QW are the exploration of topological phases in 1D and 2D systems^{95}. Those generalized geometric phases introduced by Berry^{107} play a key role in solid state physics, such as the description of the quantum Hall effect^{105} (see also Ref. 108). Cardano et al^{109} were also able to use their multistep qplate system for observing a topological phase transition and topological invariants^{110} in a 1D system.
Quantum teleportation of multipledegrees of freedom of a single photon
Quantum teleportation, proposed in 1993 by Bennet et al^{111}, is an important quantum protocol with applications in quantum network and quantum computation. It allows Alice and Bob (if they share an entangled state) to distribute an arbitrary quantum state without sending it, just by sending classical information.
The concept is shown in Figure 6b, specifically, for a twodimensional system. There, Alice and Bob share a maximally entangled Bell state. Alice has an arbitrary quantum state which she wants to transmit to Bob. She performs a Bellstate measurement between her entangled photon and . Then, she announces the result via a classical channel to Bob. If her result was a state, the initial state has been transmitted to Bob successfully. If the outcome of the state measurement is different, Bob can perform a transformation to get the original (or he ignores the photon which reduces the efficiency of the implementation). The first experiment implementing quantum teleportation was performed 1999 by Bouwmeester et al^{113} utilizing the polarization of photons. Since then, quantum teleportation has been performed in various different physical systems with ever improving quality—very recently even between a satellite and a ground station in China^{114}. All of these experiments have in common that they only teleport one degreeoffreedom of the quantum particle, and only in a twodimensional system—thus only a small part of the full information of the quantum system was transferred.
A recent experiment by Wang et al^{112} has overcome this limitation for the first time, by showing the simultaneous teleportation of two degrees of freedom of a single photon. The basic idea behind the teleportation of multiple degrees of freedom is to successively teleport one degree after the other. In experiments so far, the incoming quantum state was destroyed during the teleportation, thus no second teleportation was possible. The clever way to get around this is to use a quantumnondemolition measurement (QND). In this QND measurement, the quantum state is not destroyed and thus the remaining quantum information, which is stored in the other degrees of freedom, is still intact and can be teleported in the next steps. Interestingly, this QND itself is another teleportation protocol. Thus, the authors used teleportation itself as QND to enable the teleportation of a second degreeoffreedom of the particle. The measured fidelities between the experimentally teleported state ρ and the theoretically expected state range from 0.68±0.04 to 0.62±0.04. The classical limit for optimal quantum state estimation of a pure state^{115} is given by , where d is the dimension of the system. Thus, the results show the successful implementation of a quantum teleportation scheme for a polarizationOAM composite state of a single photon.
In the future, it will be important to teleport more levels of a single highdimensional degreeoffreedom and to use more of the available degreesoffreedom of a single photon, in order to transmit more information stored in a quantum state.
Experimental creation of a GreenbergerHorneZeilinger state in threedimensions
Three particle GreenbergerHorneZeilinger (GHZ) states in two dimensions were first discovered and investigated in 1989 by GreenbergerHorneZeilinger^{116, 117} and were later generalized to N particles by Mermin^{118}. Since their discovery, GHZ states have played an essential role in quantum information, especially in the classification of entanglement, communication complexity problems, quantumerrorcorrection schemes for quantum computing and also for novel experimental tests of localrealistic theories.
GHZ states have been intensively studied experimentally as well as theoretically. All experimental studies focused thereby on increasing the number of involved particles rather than increasing the dimensionality of the single particles involved. Recently, a first step towards achieving this goal was reported by entangling three particles out of which two were entangled in three dimensions, while the third particle was encoded as a qubit^{119}. This asymmetric arrangement already shows that multipartite, highdimensional quantum states offer novel features of entanglement^{120}. Finally, in a very recent experiment, the first completely highdimensional multipartite state was created. It is a generalization of GHZ state, which goes beyond qubits^{121}.
Although, for twodimensional GHZ states a clear recipe to increase the number of particles exists, this does not hold for increasing the dimensionality. The authors utilized the computer algorithm MELVIN^{66} to find an experimental setup to create a threedimensional GHZ state . Despite the simple correlations present in this state, the actual experimental setup, depicted in Figure 7, is neither intuitive nor simple.
The main idea is to use two sources of threedimensional entangled photon pairs and combine them in such a way that one trigger photon heralds the 3dimensional GHZ state in the other three photons. If the twophoton pairs are emitted at the same time, the overall four photon state shows correlations between each of the 3 × 3=9 terms of the quantum state. These correlations are depicted in Figure 7b as red, green and blue lines. At first, there are nine connecting lines, while in the final three dimensional GHZ only three connections exist. Thus, six of the nine probability amplitudes need to be coherently suppressed in the experimental setup. This can be achieved with a three input and three output multiport. The detailed transformations of the multiport are given in Figure 7a. The basic idea behind the multiport is to utilize an even/odd OAM mode sorter^{72}, a HongOuMandel effect, a coherent mode projection and spiral phase plates (SPP) to suppress all but three possible correlations. Finally, the simultaneous detection of four photons results in a threedimensional GHZ type entangled state for photons B, C and D. The experimental fidelity of F_{exp}=75.2%±2.9% shows genuine threephoton and threedimensional entanglement.
Experiments like the ones described above will allow for the investigation of the strongest form of contradictions to local realism—namely, deterministic violations of local realism as introduced by GHZ^{116}. Generalizing GHZ violations to higher dimensions have been surprisingly difficult and has only been achieved very recently^{122, 123, 124, 125}. Those constructions departure significantly from their twodimensional counterparts, and it seems as if they would help to reveal the real nature of deterministic violations of local realism.
Future challenges
Finally, we will discuss a few open questions and challenges that will further advance the field of highdimensional quantum states encoded through the OAM of photons.
Longdistance distributing highdimensional OAM states
The undisturbed distribution of highdimensional quantum states is one of the most important tasks for applications to extend beyond laboratory proofofprinciple demonstrations. Here, two different approaches are presented, fiber and freespace transmission, each of which face their own individual challenges.
A first step toward the fiberbased longdistance distribution of OAM states, has been achieved in developing a vortex fiber that transmits OAM states of light^{84}. Although this fiber has been around for years, its implementation in a quantum optical setup is still yet to be demonstrated. Moreover, highdimensional transmission is not possible, but two other approaches are conceivable: One approach would be carefully designing OAM multimode fibers, in which the modes are degenerate but do not couple to each other^{126}. Another possibility is the fabrication of standard multimode fibers, in which intermodal coupling has to be pre or postcompensated or reduced by an appropriate choice of the modal set^{127, 128} (recently, up to 50 km (Ref. 129)). As each will have its own benefits and drawbacks it will interesting to be pursuit tested in laboratories as well as realworld scenarios.
As described earlier, the second method of distributing OAM encoded qudits, namely freespace distribution, is already a step ahead. However, it is not a coincidence that the only qudit experiment was performed over a short distance (ququarts over a distance of 300 m (Ref. 91). While atmospheric turbulences might not completely destroy the transmitted state, even after 143 km (Ref. 89), it introduces considerable crosstalk between different modes, mainly due to beam wander and distortions. Therefore, adaptive optics for the correction of wave front distortions is indispensable and first steps are currently being developed^{92}. A successful demonstration would allow for the expanding of the dimensionality of the state along with enlarging the distances over which they are distributed, maybe even between earthbased ground stations and satellites^{23, 114, 130}.
Progress in these questions could lead to global quantum networks where quantum information is shared via highdimensional quantum states encoded OAM.
Quantum communication with photons in spatial modes
So far, we have only discussed the OAM of photons. However, LaguerreGauss modes also have a second quantum number—the radial quantum number^{131, 132}, which can be used in quantum experiments^{133, 134}. It would be interesting to develop techniques to manipulate, detect and investigate the properties of the radial modes to enable their use in quantum communication experiments. The investigation of OAM modes in comparison with other modes would be interesting. It has been indicated that LG modes have lower crosstalk than HG modes in systems with finite apertures, thus suggesting a potential realworld advantage^{135}. Do other mode families have different advantages? The selfhealing properties of Bessel modes have been shown impressive results in the laboratory^{136}. Can this apparent advantage also be exploited in real outdoor experiments? Do other, more complex beams have advantages in realworld quantum communication experiments—for example, InceGauss modes^{137}, which have only singlecharged vortices in their phase profile, or Airy beams^{138}, which tend to freely accelerate during propagation?
Arbitrary transformations of OAM modes and twoqudit quantum gates
In the Section of “Unitary transformations” three different approaches have been demonstrated that have the common goal of performing unitary transformations. While progress has been made in the last few years, it is still unclear how to perform arbitrary transformations with high fidelity and near unitary efficiency in a fast and reliable way. Such unitary transformations are required for computational tasks and their experimental demonstration might also trigger further investigations into highdimensional computation and simulation.
Equally important for quantum computation tasks are gate operations for single and multiparticle systems. While singlequbit transformations and twoqubit gates have been studied, very little is known about highdimensional twoqudit gates. Such gates are essential to perform the first proofofprinciple investigations of highdimensional quantum algorithms^{54, 55}.
Quantum teleportation and entanglement swapping of highdimensional quantum states
Another open challenge is to experimentally demonstrate highdimensional quantum teleportation and highdimensional entanglement swapping in OAM. The experiment in the Section of “Quantum teleportation of multipledegrees of freedom of a single photon” shows the simultaneous teleportation of two degrees of freedom of a single photon, but every degree of freedom is still twodimensional. This problem is related to the question how to experimentally perform a higher dimensional Bell state measurement. A solution to this problem would not only allow to perform teleportation of highdimensional quantum states encoded only in the OAM degree of freedom, but also enable other quantum protocols such as entanglement swapping, which is (together with reliable quantum memories) the key ingredient for quantum nodes in quantum networks^{139}.
Stronger violations of quantum mechanical vs. local realistic theories
Finally, we would like to point to an open theoretical question with significant conceptual and experimental implications. Is it possible to find Bell or Merminlike inequalities that are more robust against noise or detection inefficiencies in higher dimensions? The known advantages for the twophoton cases have been discussed in the Section of “Larger violation of localrealistic theories and its advantages in quantum communication”, but many questions remain open. Moreover, for highdimensional multiphoton states, even less is known. The only known violations of local realism are weaker than those for twodimensional systems^{122, 123, 124, 125}. In systems where both the number of photons as well as the number of dimensions is larger than two, asymmetric types of entanglement can exist^{120, 140, 141}. There, the connection to violation of local realism and its applications in novel quantum protocols has not been investigated until now.
Conclusions
Within only a few years we have seen a tremendous progress in the capabilities of the generation, control and application of highdimensional quantum states with twisted photons. Among them, we have seen the first outdoor experiments distributing entanglement and highdimensional quantum keys and we have witnessed the first generation of multiphoton entangled states and applications in quantum teleportation. These advances arose from technological progress but also from a close interaction between theory and experiment. For example, the demonstration of the novel advantages of highdimensional systems in quantum cryptography or quantum computation are essential motivations for experiments; new theoretical classifications of multipartite highdimensional entangled states hint to novel quantum protocols, and computerdesigned experiments helping realize complex quantum states and protocols in the laboratories. We believe that the synergy between theorists and experimentalists will remain a key factor in the next few years.
To sum this up—in the spirit of Richard Feynman, What I cannot create, I do not understand—we believe it is highly desirable to continue investigating highdimensionally encoded quantum systems—both on paper and in laboratories.
References
 1.
Schrödinger E. Die gegenwärtige situation in der quantenmechanik. Naturwissenschaften 1935; 23: 807–812.
 2.
Einstein A, Podolsky B, Rosen N. Can quantummechanical description of physical reality be considered complete? Phys Rev 1935; 47: 777–780.
 3.
Bell JS. On the einstein podolsky rosen paradox. Physics 1964; 1: 195–200.
 4.
Wootters WK, Zurek WH. A single quantum cannot be cloned. Nature 1982; 299: 802–803.
 5.
Ding DS, Zhang W, Shi S, Zhou ZY, Li Y et al. Highdimensional entanglement between distant atomicensemble memories. Light Sci Appl 2016; 5: e16157, doi:10.1038/lsa.2016.157.
 6.
Parigi V, D'Ambrosio V, Arnold C, Marrucci L, Sciarrino F et al. Storage and retrieval of vector beams of light in a multipledegreeoffreedom quantum memory. Nat Commun 2015; 6: 7706.
 7.
Kiktenko EO, Fedorov AK, Man'ko OV, Man'ko VI. Multilevel superconducting circuits as twoqubit systems: Operations, state preparation, and entropic inequalities. Phys Rev A 2015; 91: 042312.
 8.
Kiktenko EO, Fedorov AK, Strakhov AA, Man'ko VI. Single qudit realization of the Deutsch algorithm using superconducting manylevel quantum circuits. Phys Lett A 2015; 379: 1409–1413.
 9.
Schaeff C, Polster R, Huber M, Ramelow S, Zeilinger A. Experimental access to higherdimensional entangled quantum systems using integrated optics. Optica 2015; 2: 523–529.
 10.
Martin A, Guerreiro T, Tiranov A, Designolle S, Fröwis F et al. Quantifying photonic highdimensional entanglement. Phys Rev Lett 2017; 118: 110501.
 11.
Schmiegelow CT, Schulz J, Kaufmann H, Ruster T, Poschinger UG et al. Transfer of optical orbital angular momentum to a bound electron. Nat Commun 2016; 7: 12998.
 12.
Karimi E, Schulz SA, De Leon I, Qassim H, Upham J et al. Generating optical orbital angular momentum at visible wavelengths using a plasmonic metasurface. Light Sci Appl 2014; 3: e167, doi:10.1038/lsa.2014.48.
 13.
Cai X, Wang J, Strain MJ, JohnsonMorris B, Zhu J et al. Integrated compact optical vortex beam emitters. Science 2012; 338: 363–366.
 14.
RubinszteinDunlop H, Forbes A, Berry MV, Dennis MR, Andrews DL et al. Roadmap on structured light. J Opt 2016; 19: 013001.
 15.
Padgett MJ. Orbital angular momentum 25 years on. Opt Express 2017; 25: 11265–11274.
 16.
MolinaTerriza G, Torres JP, Torner L. Twisted photons. Nat Phys 2007; 3: 305–310.
 17.
Krenn M, Malik M, Erhard M, Zeilinger A. Orbital angular momentum of photons and the entanglement of Laguerre—Gaussian modes. Phil Trans R Soc A 2017; 375: 20150442.
 18.
Nielsen MA, Chuang IL. Quantum Computation and Quantum Information. Cambridge University Press; 2010.
 19.
Horodecki R, Horodecki P, Horodecki M, Horodecki K. Quantum entanglement. Rev Mod Phys 2009; 81: 865–942.
 20.
Plenio MB, Virmani S. An introduction to entanglement measures. Quantum Inf Comput 2007; 7: 1–51.
 21.
Bruss D. Characterizing entanglement. J Math Phys 2002; 43: 4237–4251.
 22.
Pan JW, Chen ZB, Lu CY, Weinfurter H, Zeilinger A et al. Multiphoton entanglement and interferometry. Rev Mod Phys 2012; 84: 777–838.
 23.
Yin J, Cao Y, Li YH, Liao SK, Zhang L et al. Satellitebased entanglement distribution over 1200 kilometers. Science 2017; 356: 1140–1144.
 24.
Allen L, Beijersbergen MW, Spreeuw R, Woerdman JP. Orbital angular momentum of light and the transformation of LaguerreGaussian laser modes. Phys Rev A 1992; 45: 8185–8189.
 25.
Fickler R, Krenn M, Lapkiewicz R, Ramelow S, Zeilinger A. Realtime imaging of quantum entanglement. Sci Rep 2013; 3: 1914.
 26.
BechmannPasquinucci H, Tittel W. Quantum cryptography using larger alphabets. Phys Rev A 2000; 61: 062308.
 27.
Cerf NJ, Bourennane M, Karlsson A, Gisin N. Security of quantum key distribution using dlevel systems. Phys Rev Lett 2002; 88: 127902.
 28.
Ekert AK. Quantum cryptography based on Bell's theorem. Phys Rev Lett 1991; 67: 661–663.
 29.
Bennett CH, Brassard G. Quantum Cryptography: Public Key Distribution and Coin Tossing. 1984 International Conference on Computers, Systems & Signal Processing: Bangalore, India; 1984, 175–179.
 30.
Bennett CH, Brassard G, Mermin ND. Quantum cryptography without Bell's theorem. Phys Rev Lett 1992; 68: 557–559.
 31.
Shor PW, Preskill J. Simple proof of security of the BB84 quantum key distribution protocol. Phys Rev Lett 2000; 85: 441–444.
 32.
Scarani V, BechmannPasquinucci H, Cerf NJ, Dusek M, Lütkenhaus N et al. The security of practical quantum key distribution. Rev Mod Phys 2009; 81: 1301.
 33.
Bruss D. Optimal eavesdropping in quantum cryptography with six states. Phys Rev Lett 1998; 81: 3018–3021.
 34.
Lo HK. Proof of unconditional security of sixstate quantum key distribution scheme. Physics 2001; 1: 81–94.
 35.
Brádler K, Mirhosseini M, Fickler R, Broadbent A, Boyd R. Finitekey security analysis for multilevel quantum key distribution. New J Phys 2016; 18: 073030.
 36.
Sasaki T, Yamamoto Y, Koashi M. Practical quantum key distribution protocol without monitoring signal disturbance. Nature 2014; 509: 475–478.
 37.
Hensen B, Bernien H, Dréau AE, Reiserer A, Kalb N et al. Loopholefree Bell inequality violation using electron spins separated by 1.3 kilometres. Nature 2015; 526: 682–686.
 38.
Giustina M, Versteegh MA, Wengerowsky S, Handsteiner J, Hochrainer A et al. Significantloopholefree test of Bell’s theorem with entangled photons. Phys Rev Lett 2015; 115: 250401.
 39.
Shalm LK, MeyerScott E, Christensen BG, Bierhorst P, Wayne MA et al. Strong loopholefree test of local realism. Phys Rev Lett 2015; 115: 250402.
 40.
Rosenfeld W, Burchardt D, Garthoff R, Redeker K, Ortegel N et al. Eventready bell test using entangled atoms simultaneously closing detection and locality loopholes. Phys Rev Lett 2017; 119: 010402.
 41.
Mermin ND. Quantum mechanics vs local realism near the classical limit: A Bell inequality for spin s. Phys Rev D 1980; 22: 356.
 42.
Garg A, Mermin ND. Bell inequalities with a range of violation that does not diminish as the spin becomes arbitrarily large. Phys Rev Lett 1982; 49: 901.
 43.
Peres A. Finite violation of a Bell inequality for arbitrarily large spin. Phys Rev A 1992; 46: 4413.
 44.
Kaszlikowski D, Gnaci'n ski P, Zukowski M, Miklaszewski W, Zeilinger A. Violations of local realism by two entangled Ndimensional systems are stronger than for two qubits. Phys Rev Lett 2000; 85: 4418–4421.
 45.
Collins D, Gisin N, Linden N, Massar S, Popescu S. Bell inequalities for arbitrarily highdimensional systems. Phys Rev Lett 2002; 88: 040404.
 46.
Dada AC, Leach J, Buller GS, Padgett MJ, Andersson E. Experimental highdimensional twophoton entanglement and violations of generalized Bell inequalities. Nat Phys 2011; 7: 677–680.
 47.
Huber M, Pawłowski M. Weak randomness in deviceindependent quantum key distribution and the advantage of using highdimensional entanglement. Phys Rev A 2013; 88: 032309.
 48.
Bouda J, Pivoluska M, Plesch M, Wilmott C. Weak randomness seriously limits the security of quantum key distribution. Phys Rev A 2012; 86: 062308.
 49.
Eberhard PH. Background level and counter efficiencies required for a loopholefree EinsteinPodolskyRosen experiment. Phys Rev A 1993; 47: R747–R750.
 50.
Giustina M, Mech A, Ramelow S, Wittmann B, Kofler J et al. Bell violation using entangled photons without the fairsampling assumption. Nature 2013; 497: 227–230.
 51.
Christensen BG, McCusker KT, Altepeter JB, Calkins B, Gerrits T et al. Detectionloopholefree test of quantum nonlocality, and applications. Phys Rev Lett 2013; 111: 130406.
 52.
Massar S. Nonlocality, closing the detection loophole, and communication complexity. Phys Rev A 2002; 65: 032121.
 53.
Vértesi T, Pironio S, Brunner N. Closing the detection loophole in Bell experiments using qudits. Phys Rev Lett 2010; 104: 060401.
 54.
Campbell ET, Anwar H, Browne DE. Magicstate distillation in all prime dimensions using quantum reedmuller codes. Phys Rev X 2012; 2: 041021.
 55.
Bocharov A, Roetteler M, Svore KM. Factoring with qutrits: Shor's algorithm on ternary and metaplectic quantum architectures. Phys Rev A 2017; 96: 012306.
 56.
Mair A, Vaziri A, Weihs G, Zeilinger A. Entanglement of the orbital angular momentum states of photons. Nature 2001; 412: 313–316.
 57.
Miatto FM, Yao AM, Barnett SM. Full characterization of the quantum spiral bandwidth of entangled biphotons. Phys Rev A 2011; 83: 033816–033819.
 58.
Romero J, Giovannini D, FrankeArnold S, Barnett SM, Padgett MJ. Increasing the dimension in highdimensional twophoton orbital angular momentum entanglement. Phys Rev A 2012; 86: 012334.
 59.
Chen L, Romero J. Hardy's nonlocality proof using twisted photons. Opt Express 2012; 20: 21687–21692.
 60.
Chen L, Zhang W, Wu Z, Wang J, Fickler R et al. Experimental ladder proof of Hardy's nonlocality for highdimensional quantum systems. Phys Rev A 2017; 96: 022115.
 61.
Zhang Y, Roux FS, Konrad T, Agnew M, Leach J et al. Engineering twophoton highdimensional states through quantum interference. Sci Adv 2016; 2: e1501165.
 62.
Hong CK, Ou ZY, Mandel L. Measurement of subpicosecond time intervals between two photons by interference. Phys Rev Lett 1987; 59: 2044–2046.
 63.
Fickler R, Lapkiewicz R, Huber M, Lavery MP, Padgett MJ et al. Interface between path and OAM entanglement for highdimensional photonic quantum information. Nat Commun 2014; 26: 060305.
 64.
Krenn M, Hochrainer A, Lahiri M, Zeilinger A. Entanglement by Path Identity. Phys Rev Lett 2017; 118: 080401.
 65.
Krenn M, Gu XM, Zeilinger A. Quantum experiments and graphs: multiparty states as coherent superpositions of perfect matchings. Phys Rev Lett 2017; 119: 240403.
 66.
Krenn M, Malik M, Fickler R, Lapkiewicz R, Zeilinger A. Automated search for new quantum experiments. Phys Rev Lett 2016; 116: 090405.
 67.
Carolan J, Harrold C, Sparrow C, MartínLópez E, Russell NJ et al. Universal linear optics. Science 2015; 349: 711–716.
 68.
Morizur JF, Nicholls L, Jian P, Armstrong S, Treps N et al. Programmable unitary spatial mode manipulation. J Opt Soc Am A 2010; 27: 2524–2531.
 69.
Fickler R, Ginoya M, Boyd RW. Customtailored spatial mode sorting by controlled random scattering. Phys Rev B 2017; 95: 161108.
 70.
Asadian A, Erker P, Huber M, Klöckl C. HeisenbergWeyl observables: Bloch vectors in phase space. Phys Rev A 2016; 94: 010301.
 71.
Babazadeh A, Erhard M, Wang F, Malik M, Nouroozi R et al. Highdimensional singlephoton quantum gates: concepts and experiments. Phys Rev Lett 2017; 119: 180510.
 72.
Leach J, Padgett MJ, Barnett SM, FrankeArnold S, Courtial J. Measuring the orbital angular momentum of a single photon. Phys Rev Lett 2002; 88: 257901.
 73.
de Oliveira AN, Walborn SP, Monken CH. Implementing the Deutsch algorithm with polarization and transverse spatial modes. J Opt B Quantum Semiclass Opt 2005; 7: 288.
 74.
Chen DX, Liu RF, Zhang P, Wang YL. Realization of quantum permutation algorithm in high dimensional Hilbert space. Chin Phys B 2017; 26: 060305.
 75.
Schlederer F, Krenn M, Fickler R, Malik M, Zeilinger A. Cyclic transformation of orbital angular momentum modes. New J Phys 2016; 18: 043019.
 76.
Scarani V, Iblisdir S, Gisin N, Acin A. Quantum cloning. Rev Mod Phys 2005; 77: 1225–1256.
 77.
Nagali E, Giovannini D, Marrucci L, Slussarenko S, Santamato E et al. Experimental optimal cloning of fourdimensional quantum states of photons. Phys Rev Lett 2010; 105: 073602.
 78.
Bouchard F, Fickler R, Boyd RW, Karimi E. Highdimensional quantum cloning and applications to quantum hacking. Sci Adv 2017; 3: e1601915.
 79.
Nagali E, Sansoni L, Sciarrino F, De Martini F, Marrucci L et al. Optimal quantum cloning of orbital angular momentum photon qubits through Hong—Ou—Mandel coalescence. Nat Photonics 2009; 3: 720–723.
 80.
Gröblacher S, Jennewein T, Vaziri A, Weihs G, Zeilinger A. Experimental quantum cryptography with qutrits. New J Phys 2006; 8: 75.
 81.
Mafu M, Dudley A, Goyal S, Giovannini D, McLaren M, Padgett MJ et al. Higherdimensional orbitalangularmomentumbased quantum key distribution with mutually unbiased bases. Phys Rev A 2013; 88: 032305.
 82.
Mirhosseini M, Malik M, Shi Z, Boyd RW. Efficient separation of the orbital angular momentum eigenstates of light. Nat Commun 2013; 4: 2781.
 83.
Vallone G, D'Ambrosio V, Sponselli A, Slussarenko S, Marrucci L et al. Freespace quantum key distribution by rotationinvariant twisted photons. Phys Rev Lett 2014; 113: 060503.
 84.
Bozinovic N, Yue Y, Ren Y, Tur M, Kristensen P et al. Terabitscale orbital angular momentum mode division multiplexing in fibers. Science 2013; 340: 1545–1548.
 85.
Gibson G, Courtial J, Padgett MJ, Vasnetsov M, Pas'ko V et al. Freespace information transfer using light beams carrying orbital angular momentum. Opt Express 2004; 12: 5448–5456.
 86.
Wang J, Yang JY, Fazal IM, Ahmed N, Yan Y et al. Terabit freespace data transmission employing orbital angular momentum multiplexing. Nat Photonics 2012; 6: 488–496.
 87.
Krenn M, Fickler R, Fink M, Handsteiner J, Malik M et al. Communication with spatially modulated light through turbulent air across Vienna. New J Phys 2014; 16: 113028.
 88.
Ren Y, Wang Z, Liao P, Li L, Xie G et al. Experimental characterization of a 400 Gbit/s orbital angular momentum multiplexed freespace optical link over 120 m. Opt Lett 2016; 41: 622–625.
 89.
Krenn M, Handsteiner J, Fink M, Fickler R, Ursin R et al. Twisted light transmission over 143 km. Proc Natl Acad Sci USA 2016; 113: 13648–13653.
 90.
Krenn M, Handsteiner J, Fink M, Fickler R, Zeilinger A. Twisted photon entanglement through turbulent air across Vienna. Proc Natl Acad Sci USA 2015; 112: 14197–14201.
 91.
Sit A, Bouchard F, Fickler R, GagnonBischoff J, Larocque H et al. Highdimensional intracity quantum cryptography with structured photons. Optica 2017; 9: 1006–1010.
 92.
Ren Y, Xie G, Huang H, Ahmed N, Yan Y et al. Adaptiveopticsbased simultaneous preand postturbulence compensation of multiple orbitalangularmomentum beams in a bidirectional freespace optical link. Optica 2014; 1: 376–382.
 93.
Hughes RJ, Nordholt JE, Derkacs D, Peterson CG. Practical freespace quantum key distribution over 10 km in daylight and at night. New J Phys 2002; 4: 43.
 94.
Liao SK, Yong HL, Liu C, Shentu GL, Li DD et al. Longdistance freespace quantum key distribution in daylight towards intersatellite communication. Nat Photonics 2017; 11: nphoton2017.
 95.
Kitagawa T, Rudner MS, Berg E, Demler E. Exploring topological phases with quantum walks. Phys Rev A 2010; 82: 033429.
 96.
Kitagawa T, Broome MA, Fedrizzi A, Rudner MS, Berg E et al. Observation of topologically protected bound states in photonic quantum walks. Nat Commun 2016; 3: 882.
 97.
Shenvi N, Kempe J, Whaley KB. Quantum randomwalk search algorithm. Phys Rev A 2003; 67: 052307.
 98.
Childs AM. Universal computation by quantum walk. Phys Rev Lett 2009; 102: 180501.
 99.
Broome MA, Fedrizzi A, Lanyon BP, Kassal I, AspuruGuzik A et al. Discrete singlephoton quantum walks with tunable decoherence. Phys Rev Lett 2010; 104: 153602.
 100.
Schreiber A, Cassemiro KN, Potoček V, Gábris A, Mosley PJ et al. Photons walking the line: a quantum walk with adjustable coin operations. Phys Rev Lett 2010; 104: 050502.
 101.
Peruzzo A, Lobino M, Matthews JC, Matsuda N, Politi A et al. Quantum walks of correlated photons. Science 2010; 329: 1500–1503.
 102.
Sansoni L, Sciarrino F, Vallone G, Mataloni P, Crespi A et al. Twoparticle bosonicfermionic quantum walk via integrated photonics. Phys Rev Lett 2012; 108: 010502.
 103.
Zhang P, Liu BH, Liu RF, Li HR, Li FL et al. Implementation of onedimensional quantum walks on spinorbital angular momentum space of photons. Phys Rev A 2010; 81: 052322.
 104.
Marrucci L, Manzo C, Paparo D. Optical spintoorbital angular momentum conversion in inhomogeneous anisotropic media. Phys Rev Lett 2006; 96: 163905.
 105.
Thouless DJ, Kohmoto M, Nightingale MP, Nijs Den M. Quantized Hall conductance in a twodimensional periodic potential. Phys Rev Lett 1982; 49: 405–408.
 106.
Cardano F, Massa F, Qassim H, Karimi E, Slussarenko S et al. Quantum walks and wavepacket dynamics on a lattice with twisted photons. Sci Adv 2015; 1: e1500087.
 107.
Berry MV. Quantal phase factors accompanying adiabatic changes. Proc R Soc Lond A Math Phys Sci 1984; 392: 45–57.
 108.
Lu L, Joannopoulos JD, Soljačić M. Topological states in photonic systems. Nat Phys 2016; 12: 626–629.
 109.
Cardano F, Maffei M, Massa F, Piccirillo B, De Lisio C et al. Statistical moments of quantumwalk dynamics reveal topological quantum transitions. Nat Commun 2016; 7: 11439.
 110.
Cardano F, D'Errico A, Dauphin A, Maffei M, Piccirillo B et al. Detection of Zak phases and topological invariants in a chiral quantum walk of twisted photons. Nat Commun 2017; 8: 15516.
 111.
Bennett CH, Brassard G, Crépeau C, Jozsa R, Peres A et al. Teleporting an unknown quantum state via dual classical and EinsteinPodolskyRosen channels. Phys Rev Lett 1993; 70: 1895–1899.
 112.
Wang XL, Cai XD, Su ZE, Chen MC, Wu D et al. Quantum teleportation of multiple degrees of freedom of a single photon. Nature 2015; 518: 516–519.
 113.
Bouwmeester D, Pan JW, Mattle K, Eibl M, Weinfurter H. Experimental quantum teleportation. Nature 1997; 390: 575–579.
 114.
Ren JG, Xu P, Yong HL, Zhang L, Liao SK et al. Groundtosatellite quantum teleportation. Nature advance online publication 2017 doi:(101038/nature23675).2017.
 115.
Hayashi A, Hashimoto T, Horibe M. Reexamination of optimal quantum state estimation of pure states. Phys Rev A 2005; 72: 032325.
 116.
Greenberger DM, Horne MA, Zeilinger AGoing beyond Bell’s theorem. In: Kafatos M, editor. Bell’s Theorem, Quantum Theory and Conceptions of the Universe. New York: Springer; 1989. p 69–72. arXiv:0712.0921.
 117.
Greenberger DM, Horne MA, Shimony A, Zeilinger A. Bell’s theorem without inequalities. Am J Phys 1990; 58: 1131–1143.
 118.
Mermin ND. Extreme quantum entanglement in a superposition of macroscopically distinct states. Phys Rev Lett 1990; 65: 1838–1840.
 119.
Malik M, Erhard M, Huber M, Krenn M, Fickler R et al. Multiphoton entanglement in high dimensions. Nat Photonics 2017; 10: 248–252.
 120.
Huber M, de Vicente JI. Structure of multidimensional entanglement in multipartite systems. Phys Rev Lett. 2013; 110: 030501–030505.
 121.
Erhard M, Malik M, Krenn M, Zeilinger A. Experimental GHZ Entanglement beyond Qubits. arXiv preprint arXiv:170803881. 2017.
 122.
Ryu J, Lee C, Z ukowski M, Lee J. GreenbergerHorneZeilinger theorem for N qudits. Phys Rev A 2013; 88: 042101.
 123.
Ryu J, Lee C, Yin Z, Rahaman R, Angelakis DG et al. Multisetting GreenbergerHorneZeilinger theorem. Phys Rev A 2014; 89: 024103.
 124.
Lawrence J. Rotational covariance and GreenbergerHorneZeilinger theorems for three or more particles of any dimension. Phys Rev A 2014; 89: 012105.
 125.
Lawrence J. Mermin inequalities for perfect correlations in manyqutrit systems. Phys Rev A 2017; 95: 042123.
 126.
Gregg P, Kristensen P, Ramachandran S. Conservation of orbital angular momentum in aircore optical fibers. Optica 2015; 2: 267–270.
 127.
Huang H, Milione G, Lavery MPJ, Xie G, Ren Y et al. Mode division multiplexing using an orbital angular momentum mode sorter and MIMODSP over a gradedindex fewmode optical fibre. Sci Rep 2015; 5: 14931.
 128.
Carpenter J, Eggleton BJ, Schröder J. Observation of Eisenbud—Wigner—Smith states as principal modes in multimode fibre. Nat Photonics 2015; 9: 751–757.
 129.
Wang A, Zhu L, Chen S, Du C, Mo Q et al. Characterization of LDPCcoded orbital angular momentum modes transmission and multiplexing over a 50km fiber. Opt Express 2016; 24: 11716–11726.
 130.
Liao SK, Cai WQ, Liu WY, Zhang L, Li Y et al. Satellitetoground quantum key distribution. Nature 2017; 549: 43–47.
 131.
Karimi E, Boyd RW, la Hoz de P, de Guise H, Řeháček J et al. Radial quantum number of LaguerreGauss modes. Phys Rev A 2014; 89: 063813.
 132.
Plick WN, Krenn M. Physical meaning of the radial index of LaguerreGauss beams. Phys Rev A 2015; 92: 063841.
 133.
Karimi E, Giovannini D, Bolduc E, Bent N, Miatto FM et al. Exploring the quantum nature of the radial degree of freedom of a photon via HongOuMandel interference. Phys Rev A 2014; 89: 013829–0138355.
 134.
Krenn M, Huber M, Fickler R, Lapkiewicz R, Ramelow S et al. Generation and confirmation of a (100 × 100)dimensional entangled quantum system. Proc Natl Acad Sci USA 2014; 111: 6243–6247.
 135.
Restuccia S, Giovannini D, Gibson G, Padgett M. Comparing the information capacity of Laguerre—Gaussian and Hermite—Gaussian modal sets in a finiteaperture system. Opt Express 2016; 24: 27127–27136.
 136.
McLaren M, Mhlanga T, Padgett MJ, Roux FS, Forbes A. Selfhealing of quantum entanglement after an obstruction. Nat Commun 2014; 5: 3248.
 137.
Krenn M, Fickler R, Huber M, Lapkiewicz R, Plick W et al. Entangled singularity patterns of photons in InceGauss modes. Phys Rev A 2013; 87: 012326.
 138.
Siviloglou GA, Broky J, Dogariu A, Christodoulides DN. Observation of accelerating Airy beams. Phys Rev Lett 2007; 99: 213901.
 139.
Duan LM, Lukin M, Cirac I, Zoller P. Longdistance quantum communication with atomic ensembles and linear optics. Nature 2001; 414: 413–418.
 140.
Huber M, PerarnauLlobet M, de Vicente JI. Entropy vector formalism and the structure of multidimensional entanglement in multipartite systems. Phys Rev A 2013; 88: 042328–042337.
 141.
Goyeneche D, Bielawski J, Z yczkowski K. Multipartite entanglement in heterogeneous systems. Phys Rev A 2016; 94: 012346.
Author information
Affiliations
Vienna Center for Quantum Science & Technology (VCQ), Faculty of Physics, University of Vienna, Boltzmanngasse 5, Vienna 1090, Austria
 Manuel Erhard
 , Mario Krenn
 & Anton Zeilinger
Institute for Quantum Optics and Quantum Information (IQOQI), Austrian Academy of Sciences, Boltzmanngasse 3, Vienna 1090, Austria
 Manuel Erhard
 , Mario Krenn
 & Anton Zeilinger
Department of Physics, University of Ottawa, Ottawa, Ontario K1N 6N5, Canada
 Robert Fickler
Authors
Search for Manuel Erhard in:
Search for Robert Fickler in:
Search for Mario Krenn in:
Search for Anton Zeilinger in:
Competing interests
The authors declare no conflict of interest.
Corresponding author
Correspondence to Manuel Erhard.
Rights and permissions
This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
About this article
Further reading

Multiplexed storage and realtime manipulation based on a multiple degreeoffreedom quantum memory
Nature Communications (2018)

Quantifying single plasmonic nanostructure farfields with interferometric and polarimetric kspace microscopy
Light: Science & Applications (2018)