Photonic quantum walk in a single beam with twisted light
Inspired by the classical phenomenon of random walk, the concept of quantum walkKempe (2003) has emerged recently as a powerful platform for the dynamical simulation of complex quantum systemsMohseni et al. (2008); Kitagawa et al. (2012); Crespi et al. (2013), entanglement productionAbal et al. (2006); Vieira et al. (2013) and universal quantum computationA.M.Childs (2009); Lovett et al. (2010). Such a wide perspective motivates a renewing search for efficient, scalable and stable implementations of this quantum process. Photonic approaches have hitherto mainly focused on multi-path schemes, requiring interferometric stability and a number of optical elements that scales quadratically with the number of steps Aspuru-Guzik and Walther (2012). Here we report the experimental realization of a quantum walk taking place in the orbital angular momentum space of light, both for a single photon and for two simultaneous indistinguishable photons. The whole process develops in a single light beam, with no need of interferometers, and requires optical resources scaling linearly with the number of steps. Our demonstration introduces a novel versatile photonic platform for implementing quantum simulations, based on exploiting the transverse modes of a single light beam as quantum degrees of freedom.
Current address: ]Faculty of Physics, University of Vienna, Boltzmanngasse 5, 1090, Vienna, Austria Current address: ]Centre for Quantum Dynamics, Griffith University, Brisbane 4111, Australia First proposed by Feynman about thirty years agoFeynman (1982), the simulation of a complex quantum system by means of another well controlled quantum system is nowadays becoming a feasible, although still challenging task. Photons are a reliable resource in this arena, as witnessed by the large variety of photonic architectures that have been realized hitherto for the realization of quantum simulatorsAspuru-Guzik and Walther (2012). Among simulated processes, the quantum walkKempe (2003) (QW) is receiving a wide interest. A QW can be interpreted as the quantum counterpart of the well known classical random walk. In its simplest, one-dimensional (1D) example, the latter is a path consisting of a sequence of random steps along a line. At each step, the walker moves forward or backward according to the outcome of a random process, such as the flip of a coin. When both the walker and the coin are quantum systems we obtain a QW. The final probability distribution for the walker position shows striking differences with respect to the classical process, due to interferences between coherent superpositions of different paths Knight et al. (2003). It has been demonstrated that this quantum process can be used to perform quantum search algorithms on a graphN.Shenvi et al. (2003); Potoček et al. (2009) and universal quantum computationA.M.Childs (2009); Lovett et al. (2010). Interestingly, it represents a versatile platform for the simulation of phenomena characterizing complex systems, such as Anderson localization in disordered media Crespi et al. (2013), topological phases Kitagawa et al. (2012), and energy transport in chemical processes Mohseni et al. (2008). In the last decade, implementations of QWs in 1D have been realized in a variety of physical systems, such as trapped ionsSchmitz et al. (2009); Zähringer et al. (2010) or atomsKarski et al. (2009), NMR systems Ryan et al. (2005), and photons, using both bulk opticsZhang et al. (2007); Broome et al. (2010); Schreiber et al. (2010) and integrated waveguidesA.Peruzzo et al. (2010); Sansoni et al. (2012); Owens et al. (2011). Remarkably, only few photonic simulations of multi-particles QWs have been reported, using two-photon statesCrespi et al. (2013); A.Peruzzo et al. (2010); Sansoni et al. (2012); Owens et al. (2011) or a classical coherent sourceSchreiber et al. (2012). In photonic architectures, different strategies can be adopted, according to the optical degrees of freedom exploited to encode the coin and the walker quantum systems. In 2010 Zhang et al. proposed a novel approach for the realization of a photonic walk, based on the idea of encoding the coin and the walker in the spin angular momentum (SAM) and in the orbital angular momentum (OAM) of light, respectivelyZhang et al. (2010). A possible implementation of the same idea in a loop-based configuration has been also analyzedGoyal et al. (2013). These theoretical proposals put forward for the first time the possibility of implementing a photonic walk without interferometers, with the whole process taking place within a single light beam. To obtain this result, both these schemes rely on the spin-orbit coupling occurring in a special optical element called q-plateL.Marrucci et al. (2006), whose action will be discussed later on. In the present work, we implement experimentally the proposal by Zhang et al., thus demonstrating the first photonic QW occurring in a single light beam and using the OAM degree of freedom of photons as discrete walker coordinate. Moreover, we generalize the QW process by introducing in our experiment an adjustable parameter that controls the photon “mobility” in the OAM lattice. Finally, in the same platform, we demonstrate the simultaneous QW of two indistinguishable photons propagating in the same beam, thus proving that the method can be extended to higher-dimensional multiparticle systems.
In the quantum theory framework, a typical QW involves a system described by a Hilbert space obtained by the direct product of the coin and the walker subspaces, respectively. In the simplest case, the walker is moving on a 1D lattice and, at each step, has only two different choices. Accordingly, the subspace is two-dimensional (2D), while is infinite-dimensional; they are spanned by the vectors and , respectively. The displacement of the walker at each step of the process is realized by the shift operator
where the operators shift the position of the walker, i.e. . The displacement introduced by is conditioned by the coin; when this is in the state , the walker moves up, or vice versa. As a consequence, the operator entangles the coin and the walker systemsAbal et al. (2006); Vieira et al. (2013). Between consecutive displacements, the “randomness” is introduced by a unitary operator acting on the coin subspace. Usually, is the Hadamard gate
A single step of the walk is described by the operator , where is the identity operator in . After steps, the system initially prepared in the state evolves to a new state
Consider now a photon and its internal degrees of freedom represented by the SAM and the OAM. In the limit of paraxial optics, these two quantities are independent and well defined; the first is associated with the polarization of the light, while the second is related to the azimuthal structure of the photonic wave function in the transverse plane Marrucci et al. (2011). The SAM space is spanned by vectors , representing left-circular and right-circular polarizations. The OAM space is spanned by vectors with , which denote a photon carrying of OAM along the propagation axis and having a correspondingly “twisted” wavefunction (see Fig. 1).
In our implementation, the coin and the walker systems are encoded in the SAM and the OAM of a photon, respectively. In particular, the spatial walker coordinate is replaced by the OAM coordinate . The concept of a QW in OAM within a single optical beam is pictorially illustrated in Fig. 1. The step operator is implemented by means of linear-optical elements. In the coin subspace, the Hadamard gate is simply a quarter-wave plate (QWP). The shift operator is instead realized by a q-plate (QP), a recently-introduced photonic device which has already found many useful applications in classical and quantum optics L.Marrucci et al. (2006); Marrucci et al. (2011). The QP is a birefringent liquid-crystal medium with an inhomogeneous optical axis that has been arranged in a singular pattern, with topological charge , so as to give rise to an engineered spin-orbit coupling in the light crossing it. In particular, the QP raises or lowers the OAM of the incoming photon according to its SAM state, while leaving the photon in the same optical beam, i.e. with no deflections nor diffractions. In the actual device also the radial profile of the photonic wave function undergoes a small alteration (as long as it remains in the near-field regime), which however can be approximately neglected in our implementation, as discussed in the Supplementary Information (SI). More precisely, the action of a QP can be generally described by the operator
where is the QP topological charge and the optical birefringent phase-retardation L.Marrucci et al. (2006); Marrucci et al. (2011). While is a fixed property of the q-plate, can be controlled dynamically by tuning an applied voltage Piccirillo et al. (2010). As shown in Eq. Photonic quantum walk in a single beam with twisted light, the action of the q-plate is made of two terms. The first, proportional to , leaves the photon in its input state. The second, proportional to , implements the conditional displacement of Eq. 1, but adds also a flip of the coin state. The latter effect can be however compensated by inserting an additional half-wave plate (HWP). When (“standard” configuration) the first term vanishes and the standard shift operator is obtained. When , the evolution is trivial (the walker stands still), while for intermediate values we have a novel kind of evolution: besides moving forward or backward, the walker at each step is provided with a third option, that is to remain in the same position. We refer to this as “hybrid” configuration, since it mimics a walk with three possible choices, although the coin is still two-dimensional. Similar to an effective mass, the parameter controls the degree of mobility of the walker, ranging from a vanishing mobility for to a maximal mobility (such as that occurring for massless particles) for .
In our experiment, the step operator is hence implemented by a sequence of a QWP, a QP, and a HWP. The QPs have , so as to induce OAM shifts of . Due to reflection losses (mainly at the QP, which is not antireflection-coated), each step has a transmission efficiency of 86% (but adding an antireflection coating will improve this value to %). The -steps walk is then implemented by simply cascading a sequence of QWP-QP-HWP on the single optical axis of the system. In the implemented setup, the linear distance between adjacent steps is small compared to the Rayleigh range of the photons, i.e. (near-field regime), so as to avoid optical effects that would alter the nature of the simulated process; a detailed discussion is provided in the SI. The layout of the apparatus is shown in Fig. 2. At the input of the QW apparatus, a pair of indistinguishable photons is generated in the product state , where and stand for horizontal and vertical linear polarization. The photon pairs are generated by spontaneous parametric down-conversion in a -barium borate nonlinear crystal cut for degenerate collinear type-II phase matching, pumped by frequency-duplicated laser pulses at a wavelength of nm at 140 mW of average power (the generation setup is not shown in Fig. 2). Both photons of each pair are then coupled into the same single-mode optical fiber, thus setting and ensuring a high degree of spatial indistinguishability. At the exit of the fiber, the initial polarization of the two photons is recovered using a QWP-HWP set. Let us now consider first the single-photon experiments, while further below we will discuss the two-photon case.
To carry out a single-particle QW simulation, we split the two input photons with a polarizing beam splitter (PBS) and let the -polarized photon only enter the QW setup. The -polarized photon, reflected at the PBS, is sent directly to a detector and provides a trigger, so as to operate the QW simulation in a heralded single-photon quantum regime. The photon entering the QW setup is initially prepared in the arbitrarily polarized state , where the two complex coefficients and (such that ) can be selected at will by a QWP-HWP set (apart from an unimportant global phase). The photon then undergoes the QW evolution and, at the exit, is analyzed in both polarization and OAM so as to determine the output probabilities. Details on these projective measurements in OAM are given in SI. In Fig. 3 we report the experimental and predicted results relative to a 4-steps QW of a single photon, for two possible input polarization states, and both in the standard and hybrid configurations (two additional input polarization cases are given in Fig. S1 in the SI).
To investigate the simultaneous QW of two identical photons, both input photons were sent in the QW setup, after adjusting the input polarization to (this is not the only possible choice, but it represents a typical case). At the exit of the QW cascade, we split the two photons with a beam splitter and analyze them both in polarization and OAM, so as to obtain the joint probability distribution (see Fig. 2). In Fig. 4, the results relative to a 3-steps QW are reported and compared with the theoretical predictions obtained for indistinguishable photons (taking into account also the effect of the beam splitter). The two distributions show a good qualitative agreement. The predictions for the case of distinguishable photons is also shown for comparison, to highlight the role of two-particle interferences in the final distributions. The measured distributions are also found to violate the characteristic inequalities that constrain the correlation distributions obtained with two classical light sources instead of two photons A.Peruzzo et al. (2010), or with two distinguishable photons, as illustrated in the SI (Figs. S2 and S3). This proves that the measured correlations must be quantum and that they include the effect of multiparticle interferences.
To evaluate more quantitatively the agreement between measured and predicted probability distributions, and , we computed their “similarity”
. In the case of the two-photon distributions, the index is replaced by the pair of OAM values . As reported in the figure captions, the similarities were found to be always larger than , thus confirming a good quantitative agreement between theory and experiment.
In conclusion, we have demonstrated a multi-photon quantum walk simulator based on single beam propagation through linear optical devices. The realized architecture is efficient and stable. Moreover, in contrast to other photonic QW implementations, the number of optical components employed scales only linearly with the number of steps, because at each step all OAM values are addressed simultaneously by a single optical element, and the element utilized transverse extension remains constant at each step. It must be noted however that this advantage in scaling remains valid only as long as the entire QW takes place in the optical near field, in which the beam cross-section size will remain approximately constant, while in the far field the transverse size of the optical components will have to increase with the OAM range. A current limitation of our approach is that the walk evolution cannot be position-dependent (that is, OAM-dependent), in contrast to other implementationsSchreiber et al. (2012); Crespi et al. (2013). This limitation could be overcome in the future by introducing additional azimuthally-patterned optical elements and by exploiting also the radial beam coordinate, which couples with OAM in free propagation. On the other hand, our approach allows a very convenient and easy control of the evolution operator at each step, including the possibility of fully-automated fast switching of its properties. This may enable, for example, the simulation of a quantum system having a time-dependent Hamiltonian or that of a statistical ensemble of quantum systems with different Hamiltonians. Other potential future advantages of the present implementation include the relatively easy extension to the case in which the walker enters the system in an initial delocalized stateAbal et al. (2006), case which has not been explored hitherto, and the possibility to carry out a full quantum tomography of the outgoing state, which is very challenging for standard interferometric implementations.
- Kempe (2003) J. Kempe, “Quantum random walks: An introductory overview,” Contemp. Phys. 44, 307–327 (2003).
- Mohseni et al. (2008) M. Mohseni, P. Rebentrost, S. Lloyd, and A. Aspuru-Guzik, “Environment-assisted quantum walks in photosynthetic energy transfer,” J. Chem. Phys 129, 174106 (2008).
- Kitagawa et al. (2012) T. Kitagawa, M. A. Broome, A. Fedrizzi, M. S. Rudner, E. Berg, I. Kassal, A. Aspuru-Guzik, E. Demler, and A. G. White, “Observation of topologically protected bound states in photonic quantum walks,” Nat. Commun. 3 (2012).
- Crespi et al. (2013) A. Crespi, R. Osellame, R. Ramponi, V. Giovannetti, R. Fazio, L. Sansoni, F. De Nicola, F. Sciarrino, and P. Mataloni, “Anderson localization of entangled photons in an integrated quantum walk,” Nat. Phot. 7, 322–328 (2013).
- Abal et al. (2006) G. Abal, R. Siri, A. Romanelli, and R. Donangelo, “Quantum walk on the line: Entanglement and nonlocal initial conditions,” Phys. Rev. A 73, 042302 (2006).
- Vieira et al. (2013) R. Vieira, E. P. M. Amorim, and G. Rigolin, “Dynamically disordered quantum walk as a maximal entanglement generator,” Phys. Rev. Lett. 111, 180503 (2013).
- A.M.Childs (2009) A.M.Childs, “Universal computation by quantum walks,” Phys. Rev .Lett. 102, 180501 (2009).
- Lovett et al. (2010) N. B. Lovett, S. Cooper, M. Everitt, M. Trevers, and V. Kendon, “Universal quantum computation using the discrete-time quantum walk,” Phys. Rev. A 81, 042330 (2010).
- Aspuru-Guzik and Walther (2012) A. Aspuru-Guzik and P. Walther, “Photonic quantum simulators,” Nat. Phys. 8, 285–291 (2012).
- Feynman (1982) R. Feynman, “Simulating physics with computers,” Int. J. Theor. Phys. 21, 467–488 (1982).
- Knight et al. (2003) P. L. Knight, E. Roldán, and J. E. Sipe, “Quantum walk on the line as an interference phenomenon,” Phys. Rev. A 68, 020301 (2003).
- N.Shenvi et al. (2003) N.Shenvi, J.Kempe, and B.Whaley, “Quantum random-walk search algorithm,” Phys. Rev. A 67, 052307 (2003).
- Potoček et al. (2009) V. Potoček, A. Gábris, T. Kiss, and I. Jex, “Optimized quantum random-walk search algorithms on the hypercube,” Phys. Rev. A 79, 012325 (2009).
- Schmitz et al. (2009) H. Schmitz, R. Matjeschk, C. Schneider, J. Glueckert, M. Enderlein, T. Huber, and T. Schaetz, “Quantum walk of a trapped ion in phase space,” Phys. Rev. Lett. 103, 090504 (2009).
- Zähringer et al. (2010) F. Zähringer, G. Kirchmair, R. Gerritsma, E. Solano, R. Blatt, and C. F. Roos, “Realization of a quantum walk with one and two trapped ions,” Phys. Rev. Lett. 104, 100503 (2010).
- Karski et al. (2009) M. Karski, L. Förster, J.M. Choi, A. Steffen, W. Alt, D. Meschede, and A. Widera, “Quantum walk in position space with single optically trapped atoms,” Science 325, 174–177 (2009).
- Ryan et al. (2005) C. A. Ryan, M. Laforest, J. C. Boileau, and R. Laflamme, “Experimental implementation of a discrete-time quantum random walk on an nmr quantum-information processor,” Phys. Rev. A 72, 062317 (2005).
- Zhang et al. (2007) P. Zhang, X.F. Ren, X.B. Zou, B.H. Liu, Y.F. Huang, and G.C. Guo, “Demonstration of one-dimensional quantum random walks using orbital angular momentum of photons,” Phys. Rev. A 75, 052310 (2007).
- Broome et al. (2010) M. A. Broome, A. Fedrizzi, B. P. Lanyon, I. Kassal, A. Aspuru-Guzik, and A. G. White, “Discrete single-photon quantum walks with tunable decoherence,” Phys. Rev .Lett. 104, 153602 (2010).
- Schreiber et al. (2010) A. Schreiber, K.N. Cassemiro, V. Potocek, A. Gábris, P. J. Mosley, E. Andersson, I. Jex, and Ch. Silberhorn, “Photons walking the line: A quantum walk with adjustable coin operations,” Phys. Rev .Lett. 104, 050502 (2010).
- A.Peruzzo et al. (2010) A.Peruzzo, M.Lobino, J.C.F.Matthews, N.Matsuda, A.Politi, K.Poulios, X.Zhou, Y.Lahini, N.Ismail, K. Worhoff, Y.Bromberg, Y.Silberberg, M.G.Thompson, and J.L. O’Brien, ‘‘Quantum walks of correlated photons,” Science 329, 1500–1503 (2010).
- Sansoni et al. (2012) L. Sansoni, F. Sciarrino, G. Vallone, P. Mataloni, A. Crespi, R. Ramponi, and R. Osellame, “Two-particle bosonic-fermionic quantum walk via integrated photonics,” Phys. Rev. Lett. 108, 010502 (2012).
- Owens et al. (2011) J. O. Owens, M. A. Broome, D. N. Biggerstaff, M. E. Goggin, A. Fedrizzi, T. Linjordet, M. Ams, G. D. Marshall, J. Twamley, M. J. Withford, and A. G. White, “Two-photon quantum walks in an elliptical direct-write waveguide array,” New J. Phys. 13, 075003 (2011).
- Schreiber et al. (2012) A. Schreiber, A. Gábris, P. P. Rohde, K. Laiho, M. Štefaňák, V. Potoček, C. Hamilton, I. Jex, and C. Silberhorn, “A 2d quantum walk simulation of two-particle dynamics,” Science 336, 55–58 (2012).
- Zhang et al. (2010) P. Zhang, B.H. Liu, R.F Liu, H.R. Li, F.L. Li, and G.C. Guo, “Implementation of one-dimensional quantum walks on spin-orbital angular momentum space of photons,” Phys. Rev. A 81, 052322 (2010).
- Goyal et al. (2013) S. K. Goyal, F. S. Roux, A. Forbes, and T. Konrad, “Implementing quantum walks using orbital angular momentum of classical light,” Phys. Rev. Lett. 110, 263602 (2013).
- L.Marrucci et al. (2006) L.Marrucci, C.Manzo, and D.Paparo, “Optical spin-to-orbital angular momentum conversion in inhomogeneous anisotropic media,” Phys. Rev .Lett. 97, 163905 (2006).
- Marrucci et al. (2011) L. Marrucci, E. Karimi, S. Slussarenko, B. Piccirillo, E. Santamato, E. Nagali, and F. Sciarrino, “Spin-to-orbital conversion of the angular momentum of light and its classical and quantum applications,” Journal of Optics 13, 064001 (2011).
- Piccirillo et al. (2010) B. Piccirillo, V. D’Ambrosio, S. Slussarenko, L. Marrucci, and E. Santamato, “Photon spin-to-orbital angular momentum conversion via an electrically tunable q-plate,” Appl. Phys. Lett. 97, 241104 (2010).
Supplementary Information accompanies this manuscript.
We thank Antonio Ramaglia and Marco Cilmo for lending some equipment and Pei Zhang for an early suggestion of the possibility to carry out a photonic quantum walk in OAM following the scheme proposed in his paper. This work was partly supported by the Future Emerging Technologies FET-Open Program, within the 7 Framework Programme of the European Commission, under Grant No. 255914, PHORBITECH. F.S. acknowledges also ERC Starting Grant 3D-QUEST (grant agreement no. 307783). E.K. acknowledges the support of the Canada Excellence Research Chairs (CERC) Program.
F.C., F.M, E.K., F.S., E.S. and L.M. devised the project and designed the experimental methodology. F.C. and F.M., with contributions from D.P. and C.d.L., carried out the experiment and analyzed the data. S.S. prepared the q-plates. F.C., F.M. and L.M. wrote the manuscript, with contributions from E.K. All authors discussed the results and contributed to refining the manuscript.
The authors declare no competing financial interests. Correspondence and requests for materials should be addressed to L.M. (firstname.lastname@example.org).
Supplementary information for Photonic quantum walk in a single beam with twisted light
Appendix A The q-plate device
A q-platelorenzo:06s () (QP) consists of a thin slab of uniaxial birefringent nematic liquid crystal sandwiched between containing glasses, whose optical axis in the slab plane is engineered in a inhomogeneous pattern, according to the relation
where is the angle formed by the optical axis with the reference (horizontal) axis, is the azimuthal coordinate in the transverse plane of the device, is the topological charge of the plate and is the axis direction at . When light passes through a QP, the angle is responsible for a relative phase emerging between the various OAM components in the output state. Indeed, when , the action of the QP is described by the following equations
which reduces to Eq. 4 of the main text when . A vanishing relative phase between these two terms is required to implement properly the operator describing the quantum walk process. To achieve this, all QPs in our setup were suitably oriented to match the condition .
Appendix B Role of the radial modes
Our realization of the quantum walk (QW) relies on the encoding of the quantum walker state in the transverse modes of light, in particular those associated with the azimuthal degree of freedom. For simplicity, the radial structure of the mode is not considered explicitly in our scheme. However, a full treatment of the optical process needs to take also the radial effects into account. Indeed, all optical devices used to manipulate the azimuthal structure and hence the OAM of light, including the QP, introduce unavoidably also some alteration of the radial profile of the beam, particularly when the susequent free propagation is taken into account.
In this context, we choose Laguerre-Gauss (LG) modes as the basis, as they provide a set of orthonormal solutions to the paraxial wave equation. LG modes are indexed by an integer and a positive integer , which determine the beam azimuthal and radial structures, respectively. Using cylindrical coordinates , this modes are given by
where is the wave number, , and are the beam radius, wavefront curvature radius and Rayleigh range, respectively, being the radius at the beam waist siegman. are the generalized Laguerre polynomials.
As already discussed, the QP raises or lowers the OAM content of the incoming beam, according to its polarization state. Due to presence of the singularity at the origin, the QP also alters the radial index of the incoming beam. The details of these calculations are reported in Ref karimiol:09s (). Based on this analysis and assuming a low birefringence of the liquid crystals a tuned QP transforms a circularly polarized, e.g. left-handed, input LG beam into
where HyGG stands for the amplitude of Hypergeometric-Gauss (HyGG) modes karimiol:07s () and the azimuthal term has been replaced by the ket . Introducing dimensionless coordinates and these modes are given by
where is the gamma function and is a confluent hypergeometric function. In order to determine the radial mode alteration introduced by the QP, we can expand the output beam in the LG modes basis, i.e. karimiol:07s (). The expansion coefficients are given by
Table 1 shows the squared coefficients of this expansion for input beams possessing different OAM values. As seen, the effect of the QP on the radial mode decreases for beams having higher OAM values, so that one can approximately assume that most of the power of the beam is located at the term. If the final detection based on coupling in a single-mode fiber filters only this term, then the presence of the other terms only introduces a certain degree of losses in the system. Hence, within such approximation, the quantum number plays essentially no role and it can be ignored (except for the Gouy phase issues discussed further below).
Even stronger is the argument one can use if the entire QW simulation takes place in the optical near field. Indeed, at the pupil plane the expression for the amplitude of HyGG and LG modes simplifies to
In other words, at the immediate output of the device, the QP ideally results only in the increment of the OAM content, without any alteration of the radial profile. This result remains approximately valid as long as the beam is in the near field, that is for , except for a region very close to the central singularity and for some associated fringing that occurs outside the singularity. Both these effects can be neglected for , as the overlap integral of the resulting radial profile with the input Gaussian profile remains close to unity (for example, at this overlap is still about 0.93 for a HyGG mode with ). We exploit this property to minimize any effect due to a possible coupling between the azimuthal and the radial degree of freedom introduced by the QP. The setup was built in order to have all the steps of the QW in the near field of the input photons. To achieve this, we prepared the beam of input photons to have m, while the distance between the QW steps was . In the perspective of realizing a QW with high number of steps, a lens system can be used to image the output of each QW unit at the input of the next one; in this way the whole process may virtually occur at the pupil, i.e. at , thus effectively canceling all radial-mode effects.
Appendix C Role of Gouy phases
Free space propagation of photonic states carrying OAM is characterized by the presence of a phase term, usually referred to as Gouy phase, that evolves along the optical axis. Considering for example LG states of Eq. 8, this phase factor is given by , where is the coordinate on the optical axis with respect to the position of the beam waist. The different phase evolution occurring for different values of could be a significant source of errors in the current implementation of a quantum walk (QW). Let us assume that after the step in the QW setup the state of the photon is , where for simplicity we consider only modes with . When entering the following step, the coefficients will evolve to , where is the distance between two steps along the propagation axis. At the step , coefficients and lead to different interferences between the OAM paths, altering the features of the QW process. In our implementation we made this effect negligible relying on the condition : indeed, as discussed in the previous section, in our setup we had that m and cm. An alternative strategy could be based on using a lens system to image each QP on the following one; at image planes all relative Gouy phases vanish. This imaging procedure would thus avoid any effect due to QP contributions to the radial component of the photonic wavefunction, as discussed previously.
Appendix D Projective OAM measurements on photons
In order to determine the OAM value of the photons, we have implemented the widely used technique introduced by Mair et al. in 2001 mair:01s (). In this technique the helical phase-front of the optical beam is “flattened” by diffraction on a pitch-fork hologram (displayed on a SLM) and the Gaussian component of the beam at the far-field is then selected by a single mode optical fiber. This approach, as shown in Ref. hammam:14s (), leads to a biased outcome for the different OAM values, since the coupling efficiency of this projective measurement changes according to OAM of the input beam. For example, the theoretical coupling efficiency for a flattened LG modes to a single Gaussian mode optical fiber with radius is
where is the Fourier transform in the polar coordinates. Obviously, this gives a biased value for different values, since after being flattened beams have different intensity distributions at the far-field, where the fiber is located. We have taken this effect into account by measuring experimentally the coupling efficiency for different OAM values and then correcting the corresponding measured probabilities.
In the case of two photons, the OAM measurement was carried out in the same way, by previously splitting the beam with a non-polarizing symmetrical beam splitter (BS) and then sending the two output beams on two distinct holograms displayed simultaneously on two portions of the SLM and then coupling both diffracted beams into single-mode fibers.
Appendix E Quantum walk with different input polarizations
In the case of a single photons, we have carried out measurements with a few other choices of input polarization, besides those already shown in the main article. The results are reported in Fig. 5.
Appendix F Test of photon correlation inequalities
Let us consider two photons entering the QW apparatus in fixed states 1 and 2. Here, we use a notation in which the state label at input/output includes both the OAM and the polarization. In our experiment, labels correspond to a vanishing OAM and polarizations. The output states will denote the combination of the OAM value and horizontal or vertical linear polarizations . The unitary evolution of each photon from these input states to the final states can be described by a matrix , where the first index corresponds to the input state and the second to the output one. Hence, the QW evolution can be described by the following operator transformation law
Let us now discuss the inequalities constraining the measurable photon correlations in two specific reference cases. Our first reference case is that of two independent classical sources (or coherent quantum states with random relative phases) entering modes 1 and 2, in the place of single photons. The following inequality can be then proved to apply to the intensity correlations , for any two given QW output modes and bromberg09s (); Peru10s ():
In terms of two-photon detection probabilities , the same inequality reads
where stands for the probability of having state , for , or state , for , after the QW but before the BS used to split the photons. After the BS, taking into account the photon-splitting probability, the inequality is rewritten as
where is now the probability of detecting in coincidence a photon in state at one (given) BS exit port and the other photon in state at the other BS exit port.
Our second reference case is that of two single but distinguishable photons entering states 1 and 2. In this case, it is easy to prove a second stronger inequality for the coincidence probabilities. Indeed, in this case one has
where now stands for the probability of having one of the two distinguishable photons in state and the other in after the QW, before the BS. The mathematical identity leads directly to the following inequality:
After the BS, this in turn is equivalent to
The violation of the first inequality (18) from our coincidence data would prove that the photon correlations cannot be mimicked by intensity correlations of classical sources. Panels (a-d) in Figs. 6 (standard QW) and 7 (hybrid QW) show the set of violations found in our two-photon experiments, in units of Poissonian standard deviations. In some cases, the experimental violations are larger than 15 standard deviations, proving that the measured correlations are quantum.
The violation of the second inequality (22) from our data proves that the photon correlations are stronger than those allowed for two distinguishable photons, owing to the contribution of two-photon interferences. Although this is already demonstrated in some cases by the violation of the first inequality (as the violation of the first inequality logically implies the violation of the second one), this second inequality is stronger and should be therefore violated in a larger number of cases and with a larger statistical significance (although it requires assuming that there are two and only two photons at input, so that a classical source is excluded a priori). Panels (e-h) in Figs. 6 (standard QW) and 7 (hybrid QW) show the observed violations. This time, certain measurements violate the inequality by as much as 40 standard deviations, thus proving that two-photon interferences play a very significant role in our experiment.
- (30) Marrucci, L., Manzo, C., & Paparo, D. Optical spin-to-orbital angular momentum conversion in inhomogeneous anisotropic media, Phys. Rev. Lett. 96, 163905 (2006).
- (31) Siegman, A. E. Lasers (University Science Books, 1986).
- (32) Karimi, E., Piccirillo, B., Marrucci, L., & Santamato, E. Light propagation in a birefringent plate with topological charge, Opt. Lett. 34, 1225–1227 (2009).
- (33) Karimi, E., Zito, G., Piccirillo, B., Marrucci, L., & Santamato, E. Hypergeometric-Gaussian modes, Opt. Lett. 32, 3053–3055 (2007).
- (34) Mair, A., Vaziri, A., Weihs, G. & Zeilinger, A. Entanglement of the orbital angular momentum states of photons, Nature 412, 313 (2001).
- (35) Qassim, H., Miatto, F. M., Torres, J. P., Padgett, M. J., Karimi, E., & Boyd, R. W. Limitations to the determination of a Laguerre-Gauss spectrum via projective, phase-flattening measurement, arXiv:1401.3512 (2014).
- (36) Bromberg, Y., Lahini, Y., Morandotti, R., & Silberberg, Y. Quantum and Classical Correlations in Waveguide Lattices, Phys. Rev. Lett. 102, 253904 (2009).
- (37) Peruzzo, A. et al. Quantum Walks of Correlated Photons, Science 329, 1500-1503 (2010).