Abstract
One of the main challenges in quantum technologies is the ability to control individual quantum systems. This task becomes increasingly difficult as the dimension of the system grows. Here we propose a general setup for cyclic permutations X_{d} in d dimensions, a major primitive for constructing arbitrary qudit gates. Using orbital angular momentum states as a qudit, the simplest implementation of the X_{d} gate in d dimensions requires a single quantum sorter S_{d} and two spiral phase plates. We then extend this construction to a generalised X_{d}(p) gate to perform a cyclic permutation of a set of d, equally spaced values {\({{\boldsymbol{\ell }}}_{{\bf{0}}}\)〉, \({{\boldsymbol{\ell }}}_{{\bf{0}}}\) + p〉, …, \({{\boldsymbol{\ell }}}_{{\bf{0}}}\) + (d − 1)p〉} \(\mapsto \) {\({{\boldsymbol{\ell }}}_{{\bf{0}}}\) + p〉, \({{\boldsymbol{\ell }}}_{{\bf{0}}}\) + 2p〉, …, \({{\boldsymbol{\ell }}}_{{\bf{0}}}\)〉}. We find compact implementations for the generalised X_{d}(p) gate in both Michelson (one sorter S_{d}, two spiral phase plates) and MachZehnder configurations (two sorters S_{d}, two spiral phase plates). Remarkably, the number of spiral phase plates is independent of the qudit dimension d. Our architecture for X_{d} and generalised X_{d}(p) gate will enable complex quantum algorithms for qudits, for example quantum protocols using photonic OAM states.
Introduction
All successful technologies are based on harnessing a specific resource, such as energy, electricity or information. The ability to generate, control, transform and ultimately, find useful applications for quantum resources, is central to the development of quantum technologies^{1,2,3,4}.
Controlling the simplest quantum systems, the qubit, is relatively straightforward^{5,6}. We can achieve complete control over the 2dimensional Hilbert space of a qubit with rotations generated by Pauli matrices X and Z. The natural next step is to go to ddimensional systems, or qudits. In this case we have the generalised Pauli matrices X_{d} and Z_{d}. Progressing in this direction, we need to find physical implementations for qudits, together with the experimental ability to control them.
Orbital angular momentum (OAM) is one of the most used implementations for photonic qudits. Photon states \(\ell \rangle \) carry an OAM of \(\ell \hslash \), where \(\ell =0,\pm \,1,\pm \,2,\ldots \) is a theoretically unbounded integer. OAM states have a helical phase front, with \(\ell \ne 0\) corresponding to the number of helices.
Photonic OAM states have been used in entanglement generation^{7,8,9} and alignmentfree quantum key distribution^{10,11}. Thus OAM is attractive since it allows us to use a larger alphabet to transmit quantum information with a single photon. However, without the appropriate tools, a larger alphabet for encoding information has only a limited functionality. This brings us to the problem of how to implement efficiently the generalised Pauli operators X_{d} and Z_{d} for qudits^{12}.
For photonic OAM states, Z_{d} can be implemented with Dove prisms. An open question is how to implement a cyclic permutation X_{d} for any dimension d. Experimentally, cyclic X_{d} gates for OAM states have been realised only for \(d=4\)^{13} and \(d=5\)^{14}.
In this article we propose a general scheme to perform cyclic permutations X_{d} for any set of d consecutive states. We then generalise it for cyclic permutations X_{d}(p) of an arbitrary set of d, equally spaced states \(\{{\ell }_{0}\rangle ,{\ell }_{0}+p\rangle ,\ldots ,{\ell }_{0}+(d1)p\rangle \}\). For any dimension d, the minimal implementation of both X_{d} and X_{d}(p) requires a single sorter S_{d} and two spiral phase plates (SPPs)^{15,16,17,18}. To arrive at this setup, we use quantum information methods and quantum network analysis. This approach has been employed previously to design a universal quantum sorter^{19} and spin measuring devices^{20,21}.
We focus on OAM encoded qudits, as several experimental tools are already available^{22,23,24,25,26,27,28}. Nevertheless, our scheme can be extended in principle to other degrees of freedom as well.
Results
Cyclic X _{d} gate
We now introduce our setup for performing the cyclic gate. Let \({ {\mathcal H} }_{d}\) be the Hilbert space of a qudit, \({\rm{\dim }}\,{ {\mathcal H} }_{d}=d\) and let \(\{j\rangle {\}}_{j=0}^{d1}\) be an orthonormal basis of \({ {\mathcal H} }_{d}\). The generalised Pauli operators X_{d}, Z_{d} are defined as:
with \(\oplus \) addition mod d and \(\omega ={e}^{2\pi i/d}\) a root of unity of order d. The gate X_{d} performs a cyclic permutation of the basis states, i.e., maps the set \(\{0\rangle ,1\rangle ,\ldots ,d1\rangle \}\) to \(\{1\rangle ,2\rangle ,\ldots ,0\rangle \}\).
Our scheme for the X_{d} gate is shown in Fig. 1. The main element of our proposal is a ddimensional sorter S_{d} introduced in refs^{19,29}. A quantum sorter S_{d} is a device which directs an incoming particle into different outputs (i.e., sorts) according to the value of an internal degree of freedom \({\rm{\Sigma }}\). In the following we take \({\rm{\Sigma }}\) to be orbital angular momentum (OAM). Nevertheless, the setup is general and can be implemented for other variables as well, like wavelength^{19} or radial quantum number^{30,31}.
The quantum sorter S_{d} is formally equivalent to a controlledX_{d} gate between the degree of freedom we want to sort (OAM, \({\rm{\Sigma }}\) etc) and spatial modes m, see Fig. 2:
where \(i{\rangle }_{OAM}\), \(j{\rangle }_{m}\) are OAM and mode qudits, respectively. Thus a photon in OAM state \(i\rangle \) incident on port (mode) 0 will exit on port \((i\,{\rm{mod}}\,d)\) with unit probability.
Apart from the sorter S_{d} another ingredient are spiral phase plates^{15,16,17,18} of order n. The action of the SPP on OAM states is:
with \(n\in {\mathbb{Z}}\) integer. This transformation adds (or subtracts) n units of OAM. Since this is normal addition, it shifts the whole \({\mathbb{Z}}\) axis by n units.
We now discuss how the X_{d} gate in Fig. 1 works. The first SPP adds +1 to all OAM states. Then the sorter S_{d} directs each OAM state \(i{\rangle }_{OAM}\) to the corresponding output \(i\,{\rm{mod}}\,d{\rangle }_{m}\), eq. (3). Since sorting on modes is done modulo d, the state \(d{\rangle }_{OAM}\) will exit on mode 0. Consequently, only the state on mode 0 needs to be shifted by −d; in terms of quantum networks, this is equivalent to a controlledSPP(−d) gate, with the control on the mode \(k=0\) (open circle on control qudit in Fig. 1). After this operation the states from all spatial modes are recombined on mode 0 by the gate C(X_{d})^{−1}, which is nothing else but a sorter run in reverse \({S}_{d}^{1}\). This decouples the OAM and mode qudits, such that the final state is factorised and the photon always exits on mode 0 with unit probability. Thus the gate in Fig. 1 performs the following sequence:
Since the ancilla is decoupled after the gate, an arbitrary superposition of OAM states transforms under the cyclic gate X_{d} as
Consequently, our scheme preserves coherence and can be used in arbitrary quantum algorithms.
Resources
Our implementation of the cyclic X_{d} gate requires two sorters S_{d} and two SPPs (of order +1 and −d, respectively). This result is important: the number of SPPs is constant (two), and thus independent of the qudit dimension d. A Michelson configuration simplifies this to a single sorter and two SPPs, see section below.
Each sorter S_{d} requires d − 1 phases Z_{d} (on OAM) and two Fourier gates F_{d}, \({F}_{d}^{\dagger }\) on spatial modes^{19}, Fig. 2. Fourier gates for spatial modes^{32,33,34,35} can be implemented in several ways.
In integrated optics the Fourier gate is performed by a single slab coupler^{36}, e.g., as used in arrayed waveguide gratings (AWG)^{37}. Commercially available AWGs containing Fourier gates have tens to hundreds of spatial modes (channels).
In bulk optics the Fourier transform can be implemented with a pair of confocal lenses with waveguides attached^{36}. Alternatively, the Fourier gate can be decomposed in O(d^{2}) linear optics elements (beamsplitters and phaseshifters)^{34,38,39}. For \(d={2}^{p}\), \(p\in {\mathbb{N}}\), the Fourier transform on d modes can be implemented with \(O(\tfrac{d}{2}\,\mathrm{log}\,d)\) linear optical elements (beamsplitters and phaseshifters)^{32,40}. The resource scaling for the X_{d} gate is summarised in Table 1.
We now briefly discuss possible implementations. Given the scaling discussed above and the current advances in photonics, we expect to have sizes d ~ 5 − 10 in bulk optics and d ~ 100 in integrated photonics.
Generalised X _{d} gate
The previous setup implements a cyclic X_{d} gate on the set \(\{0\rangle ,1\rangle ,\ldots ,d1\rangle \}\). We now discuss two generalisations.
(i) Cyclic permutation for d consecutive values
The first generalisation is to perform a cyclic X_{d} gate on an arbitrary set of d consecutive OAM values \(\{{\ell }_{0}\rangle ,{\ell }_{0}+1\rangle ,\ldots ,{\ell }_{0}+d1\rangle \}\). From the general transformation of the sorter, we know that a state with OAM \({\ell }_{0}\), incident on spatial mode 0, will exit on spatial mode \(k={\ell }_{0}\,{\rm{mod}}\,d\). Thus the only modification of the scheme in Fig. 1 is to move SPP(−d) from mode 0 to mode k, Fig. 3(a).
A second method to perform the cyclic X_{d} gate on the set \(\{{\ell }_{0}\rangle ,{\ell }_{0}+1\rangle ,\ldots ,{\ell }_{0}+d1\rangle \}\) is to first shift all OAM states with −k, then perform the usual X_{d} gate, and finally shift back all states with +k, Fig. 3(b).
Importantly, the value of the shift k is bounded by the dimension d of the qudit and not by \({\ell }_{0}\), since \(0\le k < d\). This is noteworthy – although OAM with large values \(\ell =10010\) have been experimentally prepared^{41}, SPPs with such large values are very difficult to manufacture. Therefore, for \(\ell \gg d\) we need to shift the state only with a much smaller value \(({\ell }_{0}\,{\rm{mod}}\,d) < d\), irrespective of the magnitude of \({\ell }_{0}\). Thus the same device can be used to perform the cyclic X_{d} gate on any set of d consecutive OAM states. In this case the only change is the position of SPP(−d) (for the first method), or adding two extra SPP(±k) (for the second method).
(ii) Cyclic permutation for d, equally spaced values
Let \(p\in {{\mathbb{N}}}^{+}\) be a positive integer. We now show how to implement a cyclic permutation with step p
We define the generalised gate X_{d}(p)
with \(j=0,\ldots ,d1\), \(p\in {{\mathbb{N}}}^{+}\) and \(\oplus \) addition mod d. The gate is characterised by two parameters: the qudit dimension d and the step p between two consecutive values; clearly \({X}_{d}(1)={X}_{d}\).
The implementation of X_{d}(p) uses the same architecture as before, but with a different sorter \({S}_{d}^{1/p}\): this directs each state \(jp{\rangle }_{OAM}\) on a separate mode \(j{\rangle }_{m}\). From the decomposition \({S}_{d}^{1/p}={F}^{\dagger }C({Z}_{d}^{1/p})F\), it follows that we can implement \({S}_{d}^{\mathrm{1/}p}\) with a setup similar to Fig. 2, but with different modedependent phases \({Z}_{d}^{j/p}\) inside the interferometer.
The setup for X_{d}(p) is shown in Fig. 3. As before, SPP(p) first shift all OAM states with p. The sorter \({S}_{d}^{\mathrm{1/}p}\) separates the states according to the OAM values, \(jp{\rangle }_{OAM}0{\rangle }_{m}\mapsto jp{\rangle }_{OAM}j{\rangle }_{m}\). Then SPP(−pd) maps \(dp{\rangle }_{OAM}\mapsto 0{\rangle }_{OAM}\), after which the sorter \({S}_{d}^{\mathrm{1/}p}\) combines back all states on mode 0〉_{m}.
As before, we can implement a cyclic gate X_{d}(p) on an arbitrary set of equally spaced OAM values \(\{{\ell }_{0}\rangle ,{\ell }_{0}+p\rangle ,\ldots ,{\ell }_{0}+(d1)p\rangle \}\) in two ways, Fig. 3:

(a)
by moving SPP(−pd) on mode k, with \(k={\ell }_{0}\,{\rm{mod}}\,d\); or

(b)
by using two SPP(±k) before and after the sorters.
To summarise, for any dimension d and initial state \({\ell }_{0}\), the generalised gate X_{d}(p) requires only two sorters \({S}_{d}^{1/p}\), \({S}_{d}^{1/p}\) and two spiral phase plates SPP(p), SPP(−pd).
Simplification: Michelson setup
We can further simplify our scheme if we use a Michelson instead of the MachZehnder interferometer. In this case we need only one sorter \({S}_{d}^{\mathrm{1/}p}\), Fig. 4. The first part of the scheme is identical to the one discussed previously. The state \(dp{\rangle }_{OAM}\) exits on spatial mode k and, after a reflection on SPP(−pd), becomes \(\mathrm{0}{\rangle }_{OAM}\). All other OAM states undergo a double reflection on the retroreflector R and remain unchanged. Finally, all states reenter the sorter from the opposite direction, thus performing \({S}_{d}^{\mathrm{1/}p}\), and end up in the same spatial mode 0〉_{m}. A circulator C separates the output from the input. Note that a spiral phase plate acts as its inverse if the photon enters from the opposite direction; thus in Fig. 4(b) we need only a single SPP(−k).
Discussion
The ability to control higherdimensional quantum systems is essential for developing useful quantum technologies. Due to coherence constraints, efficiency will play a key role in the success of reallife quantum protocols. In this article we designed implementations for cyclic permutations X_{d} in d dimensions, one of the building blocks for constructing arbitrary singlequdit gates. The scheme is deterministic, works at singleparticle level and can be applied to arbitrary superpositions of qudit states. Regarding the resource scaling, both X_{d} and X_{d}(p) gates require a linear number of phaseshifts Z_{d}. Remarkably, for any dimension d the number of spiral phase plates SPPs is two, thus constant.
Although our focus has been on orbital angular momentum, the method is general and can be adapted to other degrees of freedom. This will require a sorter S_{d} and shift gates (the equivalent of SPP) for the respective degree of freedom. Since a general scheme for a universal quantum sorter exists^{19}, a future challenge to implement the cyclic gate X_{d} for a particular degree of freedom \({\rm{\Sigma }}\) is to find appropriate implementations for shift gates \(i{\rangle }_{{\rm{\Sigma }}}\mapsto i+n{\rangle }_{{\rm{\Sigma }}}\).
A possible application of the generalised cyclic permutation X_{d}(p) is quantum communication, e.g., in QKD protocols with Fibonacci coding for key distribution^{42,43}.
Note added
While finishing this article we became aware of another method for performing X_{d} gates for OAM^{44}.
References
Feynman, R. P. Simulating physics with computers. Int. J. Theor. Phys. 21, 467 (1982).
DiVincenzo, D. P. The Physical Implementation of Quantum Computation. Fortschr. Phys. 48, 771 (2000).
Dowling, J. P. & Milburn, G. J. Quantum technology: the second quantum revolution. Phil. Trans. R. Soc. Lond. A 361, 1655 (2003).
Gisin, N., Ribordy, G., Tittel, W. & Zbinden, H. Quantum cryptography. Rev. Mod. Phys. 74, 145–195 (2002).
Barenco, A. et al. Elementary gates for quantum computation. Phys. Rev. A 52, 3457 (1995).
Nielsen, M. & Chuang, I. L. Quantum Computation and Quantum Information (Cambridge University Press, 2010).
Mair, A., Vaziri, A., Weihs, G. & Zeilinger, A. Entanglement of the orbital angular momentum states of photons. Nature 412, 313 (2001).
Fickler, R. et al. Quantum entanglement of high angular momenta. Science 338, 640–643 (2012).
Krenn, M. et al. Generation and confirmation of a (100 × 100)dimensional entangled quantum system. PNAS 111, 6243 (2014).
D’Ambrosio, V. et al. Complete experimental toolbox for alignmentfree quantum communication. Nat. Commun. 3, 961, https://doi.org/10.1038/ncomms1951 (2012).
Vallone, G. et al. FreeSpace Quantum Key Distribution by RotationInvariant Twisted Photons. Phys. Rev. Lett. 113, 060503 (2014).
Bertlmann, R. A. & Krammer, P. Bloch vectors for qudits. J. Phys. A: Math. Theor. 41, 235303 (2008).
Schlederer, F., Krenn, M., Fickler, R., Malik, M. & Zeilinger, A. Cyclic transformation of orbital angular momentum modes. New J. Phys. 18, 043019 (2016).
Chen, D.X. et al. Realization of quantum permutation algorithm in high dimensional Hilbert space. Chinese Physics B 26, 060305 (2017).
Beijersbergen, M. W., Coerwinkel, R. P. C., Kristensen, M. & Woerdman, J. P. Helicalwavefront laser beams produced with a spiral phaseplate. Opt. Comm. 112(5–6), 321 (1994).
Allen, L., Padgett, M. J. & Babikera, M. The Orbital Angular Momentum of Light. Progress in Optics 39, 291 (1999).
Oemrawsingh, S. S. R. et al. Production and characterization of spiral phase plates for optical wavelengths. Appl. Opt. 43, 688 (2004).
Wang, X. et al. Recent advances on optical vortex generation. Nanophotonics 7, 1533 (2018).
Ionicioiu, R. Sorting quantum systems efficiently. Sci. Rep. 6, 25356 (2016).
Ionicioiu, R. & D’Amico, I. Mesoscopic SternGerlach device to polarize spin currents. Phys. Rev. B 67, 041307(R) (2003).
Ionicioiu, R. & Popescu, A. E. Singlespin measurement using spinorbital entanglement. New J. Phys. 7, 120 (2005).
Leach, J., Padgett, M. J., Barnett, S. M., FrankeArnold, S. & Courtial, J. Measuring the orbital angular momentum of a single photon. Phys. Rev. Lett. 88, 257901 (2002).
Leach, J. Interferometric methods to measure orbital and spin, or the total angular momentum of a single photon. Phys. Rev. Lett. 92, 013601 (2004).
Giovannini, D. et al. Characterization of highdimensional entangled systems via mutually unbiased measurements. Phys. Rev. Lett. 110, 143601 (2013).
Berkhout, G. C. G., Lavery, M. P. J., Courtial, J., Beijersbergen, M. W. & Padgett, M. J. Efficient sorting of orbital angular momentum states of light. Phys. Rev. Lett. 105, 153601 (2010).
Mirhosseini, M., Malik, M., Shi, Z. & Boyd, R. W. Efficient separation of the orbital angular momentum eigenstates of light. Nat. Commun. 4, 2781, https://doi.org/10.1038/ncomms3781 (2013).
Babazadeh, A. et al. Highdimensional singlephoton quantum gates: concepts and experiments. Phys. Rev. Lett. 119, 180510 (2017).
Fontaine, N. K. et al. LaguerreGaussian mode sorter, https://arxiv.org/abs/1803.04126v2.
Zou, X. B. & Mathis, W. Scheme for optical implementation of orbital angular momentum beam splitter of a light beam and its application in quantum information processing. Phys. Rev. A 71, 042324 (2005).
Zhou, Y. et al. Sorting Photons by Radial Quantum Number. Phys. Rev. Lett. 120, 103601 (2017).
Gu, X., Krenn, M., Erhard, M. & Zeilinger, A. Gouy Phase Radial Mode Sorter for Light: Concepts and Experiments. Phys. Rev. Lett. 120, 103601 (2018).
Barak, R. & BenAryeh, Y. Quantum fast Fourier transform and quantum computation by linear optics. J. Opt. Soc. Am. B 24, 231 (2007).
Takiguchi, K., Oguma, M., Shibata, T. & Takahashi, H. Demultiplexer for optical orthogonal frequencydivision multiplexing using an optical fastFouriertransform circuit. Opt. Lett. 34, 1828 (2009).
Tabia, G. N. M. Recursive multiport schemes for implementing quantum algorithms with photonic integrated circuits. Phys. Rev. A 93, 012323 (2016).
Kita, D. M. et al. Highperformance and scalable onchip digital Fourier transform spectroscopy. Nat. Commun. 9, 4405, https://doi.org/10.1038/s41467018067732 (2018).
Cincotti, G. What else can an AWG do? Opt. Express 20, B288 (2012).
Lowery, A. J. Design of arrayedwaveguide grating routers for use as optical OFDM demultiplexers. Opt. Express 18, 14129 (2010).
Reck, M., Zeilinger, A., Bernstein, H. J. & Bertani, P. Experimental realization of any discrete unitary operator. Phys. Rev. Lett. 73, 58 (1994).
Clements, R. W., Humphreys, P. C., Metcalf, B. J., Kolthammer, W. S. & Walmsley, I. A. Optimal design for universal multiport interferometers. Optica 3, 1460 (2016).
Crespi, A. et al. Suppression law of quantum states in a 3D photonic fast Fourier transform chip. Nat. Commun. 7, 10469, https://doi.org/10.1038/ncomms10469 (2016).
Fickler, R., Campbell, G., Buchler, B., Lam, P. K. & Zeilinger, A. Quantum entanglement of angular momentum states with quantum numbers up to 10,010. PNAS 113, 13642 (2016).
Simon, D. S. et al. Highcapacity quantum Fibonacci coding for key distribution. Phys. Rev. A 87, 032312 (2013).
Pan, Z., Cai, J. & Wang, C. Quantum Key Distribution with High Order Fibonaccilike Orbital Angular Momentum States. Int. J. Theor. Phys. 56, 2622 (2017).
Gao, X., Krenn, M., Kysela, J. & Zeilinger, A. Arbitrary ddimensional Pauli X Gates of a flying Qudit. Phys. Rev. A 99, 023825 (2019).
Acknowledgements
The authors acknowledge support from a grant of the Romanian Ministry of Research and Innovation, PCCDIUEFISCDI, project number PNIIIP11.2PCCDI20170338/79PCCDI/2018, within PNCDI III. R.I. acknowledges support from PN 18090101/2018.
Author information
Authors and Affiliations
Contributions
C.K. and R.I. proposed the theoretical method. T.A.I. and R.I. wrote the manuscript. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Competing Interests
The authors declare no competing interests.
Additional information
Publisher’s note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Isdrailă, TA., Kusko, C. & Ionicioiu, R. Cyclic permutations for qudits in d dimensions. Sci Rep 9, 6337 (2019). https://doi.org/10.1038/s41598019427087
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598019427087
This article is cited by

Advances in highdimensional quantum entanglement
Nature Reviews Physics (2020)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.