Advanced Photonics, Volume. 7, Issue 1, 016006(2025)

Large-scale free-space photonic circuits in two dimensions

Maria Gorizia Ammendola1,2、†, Francesco Di Colandrea1,3、*, Lorenzo Marrucci1,4, and Filippo Cardano1、*
Author Affiliations
  • 1Università degli Studi di Napoli Federico II, Dipartimento di Fisica “Ettore Pancini”, Napoli, Italy
  • 2Scuola Superiore Meridionale, Napoli, Italy
  • 3University of Ottawa, Nexus for Quantum Technologies, Ottawa, Ontario, Canada
  • 4Institute of Applied Science and Intelligent Systems, CNR-ISASI, Pozzuoli, Italy
  • show less

    Photonic circuits, engineered to couple optical modes according to a specific map, serve as processors for classical and quantum light. The number of components typically scales with that of processed modes, thus correlating system size, circuit complexity, and optical losses. We present a photonic-circuit technology implementing large-scale unitary maps in free space, coupling a single input to hundreds of output modes in a two-dimensional compact layout. The map corresponds to a quantum walk of structured photons, realized through light propagation in three liquid-crystal metasurfaces, having their optic axes artificially patterned. Theoretically, the walk length and the number of connected modes can be arbitrary while keeping losses constant. The patterns can be designed to replicate multiple unitary maps. We also discuss limited reconfigurability by adjusting the overall birefringence and the relative displacement of the optical elements. These results lay the basis for the design of low-loss nonintegrated photonic circuits, primarily for manipulating multiphoton states in quantum regimes.

    Keywords

    1 Introduction

    Optical degrees of freedom, such as those associated with spatial, spectrotemporal, or polarization features of the optical field, serve as a convenient resource for encoding information. The abundance of tools for their accurate manipulation established photonics as a versatile platform for both classical and quantum information processing tasks.

    Currently, a variety of platforms have been demonstrated that can realize different operations on optical modes,1 including vector-matrix multiplication,2 nonlinear maps,3 and unitary transformations.4 Optical processors based on linear circuits provide key applications in optical computing5,6 and are emerging as building blocks of future optical neural networks and AI systems.7

    When used as optical simulators, the processed optical modes encode the degrees of freedom of a target system (typically, lattice models describing electronic systems in condensed matter), and the overall transformation maps to a unitary temporal evolution operator. By monitoring the system output, one can observe directly optical analogues of classical or quantum dynamics.810

    Quantum light may be injected at the input ports of these systems, yielding output states strongly affected by the quantum interference of two (or more) photons.1115 The complexity associated with multiparticle interference phenomena underlies Boson sampling problems, extremely popular in the recent past, as they provided the playground for the first instances of quantum advantage.16,17

    Optical platforms like those mentioned above, performing a variety of tasks, are often referred to as photonic circuits. This classification considers their analogy with other circuits where the information carriers, such as electric signals, are routed to distinct channels and processed. In integrated systems, this analogy is straightforward, as optical signals (both as macroscopic wave packets or single photons) are spatially localized (such as electrical currents), travel along distinct waveguides, and are manipulated through integrated beam splitters and phase shifters.18

    Optical modes building a photonic circuit may not correspond to separated paths for traveling light, but may correspond to copropagating modes that are orthogonal because of alternative degrees of freedom like spectrotemporal ones or those associated with transverse spatial modes, like those carrying orbital angular momentum.19,20

    In the first case, trains of pulses associated with nonoverlapping time bins are conveniently manipulated via propagation into fibers, paths of different lengths, and birefringent materials, with a variety of applications such as quantum information processing,21 quantum walks (QWs),22,23 quantum computing,17 and quantum communication.24

    In the second case, the manipulation of copropagating transverse modes of structured light via propagation through multimode fibers, complex diffractive elements, or multiplane light converters2528 has been successfully demonstrated in the recent years. While these alternative circuits have not yet reached the technological maturity of integrated solutions, they offer advantages in terms of the number of addressable modes, reconfigurability, and the alternative detection schemes of quantum light by using camera-like sensors.14

    Within this context, photonic circuits based on liquid-crystal metasurfaces (LCMSs) have been recently introduced for the realization of QWs. An LCMS is an ultrathin, transmissive plate made of a micrometric layer of liquid crystal (LC) molecules, with their local orientation being artificially patterned at the micrometric scale. Essentially, they act as standard wave plates for polarization manipulation, but with a spatially varying optic-axis orientation.29 When exhibiting periodic patterns, LCMSs couple circularly polarized modes of light that carry quantized transverse momentum.30

    The original scheme for the realization of QWs with this platform required a long sequence of periodic LCMSs, coupling modes arranged both in one-dimensional (1D)31 and two-dimensional (2D)30 grids. In the 1D case, a technique has been recently demonstrated that allows compressing the entire transformation into only three metasurfaces.32 This result is independent of the walk length and the number of involved modes, which is strictly related to the size of the implemented unitary matrix, thus dramatically reducing optical losses.

    To fully exploit the 2D nature of transverse modes, it would be highly desirable to implement this concept with modes arranged in a 2D grid. However, a direct application of the same “compression” method used in the 1D case presents an unexpected challenge: the existence of multiple solutions to the problem typically results in the formation of several discontinuity lines in the 2D LCMS pattern. These discontinuous patterns are inherently unstable in LC media, rendering LCMS devices with such patterns generally nonfunctional. In this work, we propose and experimentally validate a scheme that effectively addresses this issue by consistently identifying quasi-continuous solutions for the 2D patterns. This approach eliminates all discontinuities except for localized point singularities, which are topological in nature and therefore unavoidable but have negligible optical effect. We then report instances of unitary transformations that are equivalent to 2D QWs up to 20 time steps, mapping localized inputs to superpositions of up to 800 modes arranged in a square lattice. The same amount of modes would have required hundreds of time steps in the 1D case, leading to beams with much higher transverse momentum, which inherently suffer faster diffraction and need larger camera sensors to be detected.

    2 Materials and Methods

    2.1 QWs in the Light Transverse Momentum Space via LCMSs

    QWs represent a convenient framework for building unitary transformations to be directly implemented in a photonic circuit. These are prototypical discrete-time dynamics of a particle (walker) on a lattice, whose motion is conditioned by a spin-like internal degree of freedom (coin). In a 2D configuration, position states |mx,my (mx,my are integers), associated with lattice sites and spanning the Hilbert space H, are combined with coin states (|0,|1) spanning the space Hs to form the circuit modes. We consider two-level coin systems and assume that the input state is prepared in a single mode that is a localized walker |ψ0=|mx=0,my=0|ϕ0, where |ϕ0 is the input coin state. After t steps, the system is mapped into a linear superposition of multiple modes, whose number scales quadratically with step number, |ψt=U0t|ψ0=mx,myj{0,1}cmx,my,j|mx,my|j.

    Here, U0 is the single-step evolution operator. We assume this operator to be identical at each step, though this condition can be relaxed to obtain more general transformations associated with time-dependent QWs.

    In this paper, we focus on the QWs introduced in Ref. 30, where the single-step evolution operator is U0(α)=Ty(α)Tx(α)W.

    Here, W is the coin rotation operator, reading W=12(1ii1),and Tx(α)=(cos(α/2)isin(α/2)t^xisin(α/2)t^xcos(α/2))is the translation operator along mx, with t^x|mx,my=|mx1,my. A similar expression holds for Ty(α). The parameter α tunes the hopping amplitudes between neighboring sites. We specifically set α=π/2. We anticipate here that our method, outlined in the next section, applies to any form of translation and coin operators, as long as their parameters are independent of the walker position, i.e., there is translation invariance. We present numerical simulations for a different fully balanced 2D QW studied elsewhere in the Supplementary Material.33

    Our photonic implementation of the QW states defined in Eq. (1) employs optical modes having the following expression: |mx,my,j=A(x,y,z)eikzzei(mxx+myy)Δk|j,where A(x,y,z) is a Gaussian envelope with a beam waist w0, kz is the wave vector z component, Δk is a unit of transverse momentum, and |j is a left/right circular polarization state |L/|R, respectively [see Fig. 1(a)]. To have a negligible cross talk between these modes, their waist radius must be greater than 2π/Δk.30 The most straightforward way to engineer the QW dynamics with these modes is by cascading a sequence of polarization gratings having Λ=2π/Δk as their spatial period. Intuitively, these give photons a transverse momentum kick equal to ±Δk, depending on the polarization being left or right circular, respectively, thus implementing the QW shift operator. This is the key idea at the basis of the first experiment demonstrating QWs with such transverse modes, with polarization gratings realized in terms of LCMSs termed g-plates30 [see Fig. 1(b)].

    QWs in the space of light transverse momentum. (a) Photonic modes implementing the position states on the lattice. For each mode carrying mx and my units of transverse momentum Δk⊥ in the x and y directions, respectively, we plot the linear phase profile in the transverse xy plane. (b) LC pattern of a g-plate. The local molecular director forms an angle θ with the x axis. In a g-plate, we have θ(x)=πx/Λ, with Λ being the spatial period. The birefringence is uniform and electrically tunable by applying a voltage to the cell.34" target="_self" style="display: inline;">34

    Figure 1.QWs in the space of light transverse momentum. (a) Photonic modes implementing the position states on the lattice. For each mode carrying mx and my units of transverse momentum Δk in the x and y directions, respectively, we plot the linear phase profile in the transverse xy plane. (b) LC pattern of a g-plate. The local molecular director forms an angle θ with the x axis. In a g-plate, we have θ(x)=πx/Λ, with Λ being the spatial period. The birefringence is uniform and electrically tunable by applying a voltage to the cell.34

    As anticipated, LCMSs consist of a micrometric nematic LC layer sandwiched between two glass plates whose internal sides are coated with a transparent conductive material to enable the application of electric fields. Such devices can be modeled as standard wave plates with an inhomogeneous optic-axis orientation. In the circular polarization basis, their Jones matrix reads Qδ(θ)=(cos(δ/2)isin(δ/2)e2iθ(x,y)isin(δ/2)e2iθ(x,y)cos(δ/2)).

    Here, δ is the optical birefringence parameter determined by the out-of-plane tilt angle of LC molecules, and θ(x,y) is the optic-axis in-plane orientation with respect to the reference x axis. Patterns of LC orientation are imprinted via a photoalignment technique.29 The birefringence parameter δ is uniform across the cell but can be adjusted by tuning an electric field.34 Diagonal elements of the LCMS matrix [proportional to cos(δ/2)] leave part of the beam unaltered. Off-diagonal elements [proportional to sin(δ/2)] flip the polarization handedness and add a space-dependent geometric phase (equal to 2θ and opposite for orthogonal circular polarizations), as pictorially shown in Fig. 2(a). The action of a g-plate, where θ(x)=πx/Λ, is equivalent to the translation operator of Eq. (4), with α=δ. Using classical light, 1D QWs up to 14 steps31,35 and 2D QWs up to 5 steps30 have been realized via the action of several cascaded g-plates. Using a two-photon input state, three steps of a 2D QW have been reported, with the walk length limited by the number of available single-photon detectors and optical losses.33 The latter indeed represents a key limiting factor in multiphoton experiments. The number of devices (or the circuit depth in integrated architectures) scales linearly with the number of steps; therefore, losses increase exponentially and severely limit the possibility of implementing large-scale evolutions in a genuinely quantum regime.

    Large-scale mode mixing via LCMSs. (a) Three LCMSs (Q1,Q2,Q3) implement the optical transformation corresponding to the desired multimode mixing U. The inset illustrates an LCMS with its LC optic-axis pattern. Squares of different colors reflect different values of θ(x,y), while the birefringence δ, i.e., the orientation with respect to the propagation axis z, is homogeneous. Off-diagonal elements of the LCMS Jones matrix flip the polarization handedness and add a space-dependent conjugate phase modulation on orthogonal circular polarization components |L⟩ and |R⟩. (b) The mode sorting is realized in the focal plane of a lens (F), where modes appear as a 2D array of Gaussian beams separated by Δk⊥. Each spot is a superposition of the polarization (coin) states {|L⟩,|R⟩}.

    Figure 2.Large-scale mode mixing via LCMSs. (a) Three LCMSs (Q1,Q2,Q3) implement the optical transformation corresponding to the desired multimode mixing U. The inset illustrates an LCMS with its LC optic-axis pattern. Squares of different colors reflect different values of θ(x,y), while the birefringence δ, i.e., the orientation with respect to the propagation axis z, is homogeneous. Off-diagonal elements of the LCMS Jones matrix flip the polarization handedness and add a space-dependent conjugate phase modulation on orthogonal circular polarization components |L and |R. (b) The mode sorting is realized in the focal plane of a lens (F), where modes appear as a 2D array of Gaussian beams separated by Δk. Each spot is a superposition of the polarization (coin) states {|L,|R}.

    2.2 Large-Scale Mode Mixing via Three LCMSs

    In typical experiments using LCMSs to realize photonic circuits for QWs, diffraction between consecutive devices is avoided. As such, the action of a long sequence of LCMSs is described by the product of the Jones matrices of individual LCMSs, each featuring the form of Eq. (6). The resulting matrix is thus the Jones matrix associated with the entire system, having spatial frequencies that increase with the number of steps to be realized. The entire sequence can be replaced by a shorter chain of LCMSs. It is well known indeed that an arbitrary polarization transformation can be realized via a minimal sequence of three wave plates.36,37 A common choice is a half-wave plate (HWP) sandwiched between two quarter-wave plates (QWPs), that is, Qπ/2(θ3)Qπ(θ2)Qπ/2(θ1) [see Eq. (6)].

    By leveraging the possibility of patterning the optic axis of LCMSs, we build on this idea to realize arbitrary space-dependent transformations, modeled in terms of inhomogeneous Jones matrices.32 At each transverse position, the target unitary U(x,y) can be implemented by three LCMSs, whose LCs are locally oriented to satisfy the equation [see Fig. 2(a)], U(x,y)=Qπ/2[θ3(x,y)]Qπ[θ2(x,y)]Qπ/2[θ1(x,y)].

    To achieve this goal, we first compute the overall Jones matrix U associated with the entire walk, and then solve Eq. (7) in terms of θ1,θ2,θ3 at each transverse position. As in our original formulation in the context of 1D QWs,32 these equations admit two distinct sets of analytical solutions. Differently from the former case, however, modulations provided by these analytical solutions yield discontinuous LC patterns, exhibiting several extended lines of disclinations [see Fig. 3(a), top]. These 2D discontinuities correspond to LC domain walls, which are inherently unstable due to LC elasticity, so that the corresponding LCMSs would show strongly nonideal optical behavior.

    Numerical optimization to retrieve 2D continuous LCMS optic-axis modulations. (a) Values of θ(x,y) obtained from a single set of analytical solutions of Eq. (7) are typically discontinuous. A numerical routine is devised to match different solutions at each transverse position to enforce continuity. The resulting pattern displays isolated vortices. (b) Different scenarios (i)–(ii)–(iii) are illustrated for the optimization routine, depending on the current position on the plate rij (yellow square). The violet arrow path contains discrete positions where the optimization algorithm has already been executed. The green crosses mark neighboring elements rn where a continuous modulation has already been found and are, therefore, involved in the optimization of the metric dij (see text). Neighboring elements where the algorithm has not been executed yet are marked by red crosses. (c) Full pattern of one of the LCMSs designed to implement a 10-step QW (3Λ×3Λ square, with Λ=5 mm), imaged between crossed polarizers to reveal the LC’s in-plane orientation.

    Figure 3.Numerical optimization to retrieve 2D continuous LCMS optic-axis modulations. (a) Values of θ(x,y) obtained from a single set of analytical solutions of Eq. (7) are typically discontinuous. A numerical routine is devised to match different solutions at each transverse position to enforce continuity. The resulting pattern displays isolated vortices. (b) Different scenarios (i)–(ii)–(iii) are illustrated for the optimization routine, depending on the current position on the plate rij (yellow square). The violet arrow path contains discrete positions where the optimization algorithm has already been executed. The green crosses mark neighboring elements rn where a continuous modulation has already been found and are, therefore, involved in the optimization of the metric dij (see text). Neighboring elements where the algorithm has not been executed yet are marked by red crosses. (c) Full pattern of one of the LCMSs designed to implement a 10-step QW (3Λ×3Λ square, with Λ=5  mm), imaged between crossed polarizers to reveal the LC’s in-plane orientation.

    To tackle this issue, we developed an optimization routine enabling us to enforce continuous patterns for LC angles [see Fig. 3(a), center]. This procedure tolerates singularities for the LC orientation, appearing as vortices carrying a topological charge, clearly visible in the central panel of Fig. 3(a) and in the other patterns presented in Fig. 4. The vortex charge quantifies the rotation of LC molecules (modulo π) when following a closed trajectory around the singular point. Interestingly, the elementary charges are always ±1/2, which are stable. Any higher-order vortex |N|>1/2 would split in N elementary vortices in a real device.38

    2D QWs via spin-orbit photonics. (a) Optic-axis modulation of the first metasurface [θ1(x,y)] employed for the simulation of the 2D QW. (b) Experimental images obtained for an |R⟩-polarized input state, from which the walker probability distribution Pexp(mx,my) is extracted (c) and compared with the theoretical prediction Pth(mx,my) (d). For each realization, we report the value of the similarity, computed as the average of four independent measurements. Rows refer to 3, 5, 10, and 20 time steps (t), respectively.

    Figure 4.2D QWs via spin-orbit photonics. (a) Optic-axis modulation of the first metasurface [θ1(x,y)] employed for the simulation of the 2D QW. (b) Experimental images obtained for an |R-polarized input state, from which the walker probability distribution Pexp(mx,my) is extracted (c) and compared with the theoretical prediction Pth(mx,my) (d). For each realization, we report the value of the similarity, computed as the average of four independent measurements. Rows refer to 3, 5, 10, and 20 time steps (t), respectively.

    The optimization proceeds as follows. To solve Eq. (7), we decompose the two sides in terms of the generators of SU(2), i=03ci(x,y)σi=i=03i(x,y)σi,where σ0 is the identity matrix and σ1, σ2, and σ3 are the Pauli matrices. By matching terms from both sides, one can determine the optic-axis modulations for the three LCMSs: θα(x,y), α{1,2,3}. The analytical solution of Eq. (8) yielding the sets of patterns for a fixed number of steps is provided in Appendix B.

    To ensure continuity, the algorithm minimizes a metric that quantifies the difference between the optic-axis orientations at neighboring positions, dij=n=1Nij{α=13[θα(rij)θα(rn)]2}.

    The latter provides a measure of the distance between the orientation of the optic axis of the three LCMSs at the current transverse position rij and its Nij neighboring elements rn (chosen within a tunable range), where a possible modulation has already been found. The working principle of the algorithm is illustrated in Fig. 3(b).

    As expected, the complexity of such modulations increases with the complexity of the simulated process. This is also evident in the patterns shown in Fig. 4(a), where we plot the optic-axis modulation of the first LCMS [θ1(x,y)] employed for the simulation of 3, 5, 10, and 20 steps of the QW protocol described above. The minimal transformation naturally preserves the spatial periodicity Λ characterizing the original cascaded scheme. The plotted modulations are relative to a 3Λ×3Λ square, with Λ=5  mm in the experiment.

    The final stage of a mode-mixing experiment consists of the mode sorting and detection stage. The modes of Eq. (5) can be spatially resolved on a CCD camera placed in a focal plane of a lens, implementing an optical Fourier transform [see Fig. 2(b)]. As discussed above, these modes have negligible overlap as long as w0Λ,30 where w0 is the beam waist. A complete description of the experimental setup is provided in Appendix A.

    3 Results

    Representative experimental images for an |R-polarized localized input after 3, 5, 10, and 20 steps are shown in Fig. 4(b), from which the QW probability distributions can be extracted [see Fig. 4(c)]. Each light spot is associated with a walker site, with probability given by the integrated and normalized light intensity within that spot. The output modes distribution is directly related to the unitary map, in this case, our specific QW protocol. The specific orientation of the walker distribution reflects the structure of the QW protocol, which misses a coin rotation between consecutive translations along the x and y directions.30 When adding such additional operation, the walker symmetrically spreads across the entire lattice (see Ref. 33 and the Supplementary Material). The procedure to extract the walker probability distribution is outlined in Appendix C. Figure 4(d) shows the corresponding theoretical probability distributions. The agreement between the theoretical predictions and the experimental observations is quantified in terms of the similarity, S=(mx,myPexp(mx,my)Pth(mx,my))2,where Pexp and Pth are the normalized experimental and theoretical probability distributions, respectively. A good agreement with the theory is observed in all our experiments, with similarity always above 87%. The uncertainties are computed as the standard deviation over four independent measurements. The decrease in similarity observed with the increase in the number of modes is ascribed to the increasing complexity of the LCMS patterns when targeting longer evolutions. Experimental results obtained with different input coin states are reported in the Supplementary Material. The circuit efficiency here does not decrease with the number of steps, as the number of optical components stays constant, with an average recorded total transmission of 69%±1% from the input to the output of the QW platform. In a traditional setup, after 20 steps a similar overall transmittance would be only possible with a single-step efficiency >98%.

    Simple propagation through a lens does not allow accessing all output modes. At each spot we are not discriminating light polarization, and intensities are given by the incoherent sum of both left and right states. However, we can use a g-plate,30 that is an LCMS with a linear variation of optic-axis angle, having a spatial period Λg=250  μmΛ before the lens. In this way, left (right) polarized modes get a large momentum kick ΔkgΔk in the positive (negative) direction, so that they are imaged at different positions on the camera sensor. Figures 5(a)5(c) show the projections on |L and |R of the probability distribution for five steps and a localized |R-polarized input. Since the g-plate is partially tuned, a fraction of the beam does not get any polarization-dependent large kick; as such, in the central part of the camera we obtain the total intensity distribution. By taking similar images after mapping circular polarization states to horizontal/vertical and diagonal/antidiagonal ones (through suitably oriented wave plates), a complete analysis of the polarization of each mode could be carried out.

    Resolving the totality of the modes. A g-plate with a smaller spatial period Λg≪Λ placed before the Fourier lens allows us to resolve separately light with orthogonal circular polarizations. (a) Experimental images, (b) experimental reconstructions Pexp(mx,my), and (c) theoretical predictions Pth(mx,my) of the output distribution and its projections on |L⟩ and on |R⟩. A localized |R⟩-polarized input after five steps is considered. (d) Variance of the output distribution along x and y. The experimental points (dots) correctly reproduce the expected ballistic behavior (solid lines) extracted numerically.

    Figure 5.Resolving the totality of the modes. A g-plate with a smaller spatial period ΛgΛ placed before the Fourier lens allows us to resolve separately light with orthogonal circular polarizations. (a) Experimental images, (b) experimental reconstructions Pexp(mx,my), and (c) theoretical predictions Pth(mx,my) of the output distribution and its projections on |L and on |R. A localized |R-polarized input after five steps is considered. (d) Variance of the output distribution along x and y. The experimental points (dots) correctly reproduce the expected ballistic behavior (solid lines) extracted numerically.

    Contrary to the classical case, the output mode distribution depends on the input coin state. This is a consequence of the interference among different paths, which intrinsically distinguishes the QW from its classic counterpart. Nevertheless, the quantum process always presents ballistic features.39Figure 5(d) shows the variance over time of the output probability distributions for our QW protocol, both in the x and y directions. We report the measured σx2 and σy2 for 3, 5, 10, and 20 time steps for a localized |R-polarized input. The ballistic trend σ2t2 is well captured in our experiments. Deviations at 20 time steps are probably due to a larger fraction of the field remaining close to the central mode [see Figs. 4(c) and 4(d), bottom row]. Variance plots relative to different input polarizations are provided in the Supplementary Material.

    In the experiments described above, LCMS patterns have been computed to yield the transformation associated with a target QW. To reproduce the correct map, they must be stacked carefully matching their transverse modulations to make Eq. (7) valid in each point. Moreover, the applied voltages must be adjusted so that they work as HWPs and QWPs. In its current implementation, the platform cannot be reprogrammed: if the target QW changes, a new set of three plates should be fabricated with the correct pattern of optic axes. However, when changing the plates’ birefringence and relative positions [see Fig. 6(a)], the overall transformation remains a unitary mode coupler for the transverse modes defined in Eq. (5). This result is not trivial if one considers that these modes are a discrete subset in a continuum of modes associated with the transverse wave vector, which is a 2D continuous variable. In Fig. 6(b), we compare the output intensity distributions computed numerically when adding lateral shifts to the LCMSs designed for a five-step QW. Importantly, the output field corresponds to a well-defined grid of Gaussian modes in all cases.

    Unitary maps obtained by reconfiguring a sequence of three plates. (a) LCMSs’ optical birefringence parameters δi∈[0,2π), represented as the tilt of the LC molecules with respect to the propagation axis z, can be electrically tuned. Moreover, their lateral relative position can also be adjusted, both in the x and y directions (red arrows). (b) When shifting the plates, the overall transformation is still a unitary circuit coupling transverse wave vector modes. The three panels show the output intensity distribution computed numerically for an |R⟩-polarized input state when the LCMSs designed to implement the five-step QW are not shifted, and when the second and the third are laterally shifted in opposite directions along both x and y of ±1 and ±2 mm, respectively. (c) 500 unitary maps U˜ are numerically generated by randomly varying the birefringence parameters, with δi∈[0,2π) (red), and 500 more by randomly varying the relative position in a range ≤0.15 mm (blue) of the three LCMSs implementing the 20-step QW. Through the histogram, the distribution of generated unitaries can be investigated, both in terms of the number of activated output modes and the fidelity F(U˜) with respect to the reference QW process.

    Figure 6.Unitary maps obtained by reconfiguring a sequence of three plates. (a) LCMSs’ optical birefringence parameters δi[0,2π), represented as the tilt of the LC molecules with respect to the propagation axis z, can be electrically tuned. Moreover, their lateral relative position can also be adjusted, both in the x and y directions (red arrows). (b) When shifting the plates, the overall transformation is still a unitary circuit coupling transverse wave vector modes. The three panels show the output intensity distribution computed numerically for an |R-polarized input state when the LCMSs designed to implement the five-step QW are not shifted, and when the second and the third are laterally shifted in opposite directions along both x and y of ±1 and ±2  mm, respectively. (c) 500 unitary maps U˜ are numerically generated by randomly varying the birefringence parameters, with δi[0,2π) (red), and 500 more by randomly varying the relative position in a range 0.15  mm (blue) of the three LCMSs implementing the 20-step QW. Through the histogram, the distribution of generated unitaries can be investigated, both in terms of the number of activated output modes and the fidelity F(U˜) with respect to the reference QW process.

    To provide a quantitative analysis of the properties of achievable transformations, we computed the number of times a lattice mode |mx,my is activated when varying some of the adjustable parameters. In particular, an output state |mx,my is considered to be active when its intensity is above the threshold value 1/d2, where d=2t+1 and t is the number of QW steps. This value corresponds to the intensity of a flat probability distribution of d2 lattice modes. The LCMSs implementing the 20-step QW are chosen for reference. We also computed the fidelity of each obtained transformation U˜ with respect to the reference unitary process, i.e., F(U˜)=12|Tr(U˜U20)|. The histogram distribution of the number of active modes and the fidelity in the two configurations, when either the plates’ birefringence or relative displacement is adjusted, is plotted in Fig. 6(c). The latter shows that changing the plates’ birefringence can significantly alter the connectivity of the circuit and produce a unitary process significantly different from the starting one, eventually approaching the identity transformation when all values of δ are close to 2π. On the other hand, adjusting the plates’ relative displacements (while keeping the retardations fixed) has a less pronounced impact on these aspects. A more detailed analysis of the properties of the achievable transformations goes beyond the scope of this work and will be investigated in the near future.

    4 Discussion and Conclusion

    We realized a compact photonic circuit that implements unitary transformations associated with 2D QWs on transverse modes of structured light, propagating in free space. Compressing multiple-step QW dynamics into a limited number of spin-orbit devices leads to greater complexity in their optic-axis patterns while keeping the size of the setup the same. The complexity of the explorable evolutions is currently limited by our fabrication routine, but this can be overcome in the future by optimizing specific stages of the procedure, or by choosing a different type of spin-orbit devices, such as dielectric metasurfaces featuring subwavelength resolution.40

    Our platform is versatile, scalable, and couples optical modes of free-space propagation, with partial reconfigurability given by the tunable birefringence parameter and the relative displacements of the plates. This reconfigurability might be further amplified by replacing our metasurfaces with LC displays with locally tunable birefringence. However, these typically operate in reflection mode, while our platform works in transmission, with more than 85% of the input light transmitted by each device.

    The unitary transformations we have presented are not arbitrary and are inherently characterized by translation invariance. The road map to leverage this approach to realize more general transformations, possibly universal, necessarily requires considering diffraction between consecutive LCMSs to break the translation symmetry, using, for instance, concepts already demonstrated for multiplane light converters.41,42

    The limited amount of losses will allow employing these circuits to explore multiphoton evolutions, by leveraging novel detection systems, such as SPAD arrays,14 single-photon cameras with high temporal resolution,43,44 or ultrasensitive cameras based on the superconducting nanowires detectors.45

    5 Appendix A: Experimental Setup

    Our experiments are realized with the setup sketched in Fig. 7(a). An He–Ne laser beam (wavelength λ=633  nm) passes through a telescope system consisting of two aspheric lenses L1 and L2 (with focal lengths f1=5 and f2=30  cm) and a 25  μm-pinhole (Ph). The latter operates as a spatial filter. As discussed in the text, a convenient choice for the beam waist is w0Λ=5  mm. A combination of HWP and QWP sets the desired coin-polarization input state. The beam then propagates through the three LCMSs implementing the full dynamics. These are mounted in practical mounts, allowing us to adjust their transverse displacement with micrometric precision, both in the x and y directions. This is needed for an accurate alignment of the plates, which makes Eq. (7) valid at each point. At the exit of the last metasurface, we set a lens L3 (with focal length f3=50  cm), Fourier-transforming light momenta into positions on the CCD camera placed in the focal plane.

    Experimental implementation. (a) Experimental setup to engineer QW dynamics. The entire evolution is compressed within only three LCMSs. (b) Reconstruction of the probability distribution Pexp(mx,my) from the experimental image. After the central |mx,my⟩=|0,0⟩ spot has been determined, the probability of each site is computed as the normalized integrated intensity within the corresponding light spot.

    Figure 7.Experimental implementation. (a) Experimental setup to engineer QW dynamics. The entire evolution is compressed within only three LCMSs. (b) Reconstruction of the probability distribution Pexp(mx,my) from the experimental image. After the central |mx,my=|0,0 spot has been determined, the probability of each site is computed as the normalized integrated intensity within the corresponding light spot.

    6 Appendix B: Analytical Solutions for the Metasurfaces’ Patterns

    Here we provide the analytical solutions to Eq. (8). In our optical encoding, a single-step QW operator U0 can be conveniently visualized as a space-dependent polarization transformation32, U0=dxdyU0(x,y)|x,yx,y|,with U0 an SU(2) operator, U0(x,y)=cosE(x,y)σ0isinE(x,y)n(x,y)·σ,where E is a real parameter defined in the range [0,π] and n=(n1,n2,n3) is a unit vector. At each transverse position, the operator U0 implements a polarization rotation U0(x,y) of an angle 2E around the axis n.

    In our experiment, the target operator is a t-step QW, obtained as U=U0t. Accordingly, the space-dependent target operator U=U0t can be decomposed as U(x,y)=cosξ(x,y)σ0isinξ(x,y)n(x,y)·σ,where ξ(x,y)=E(x,y)t.

    The optical sequence of three LCMSs, L=Qπ/2(θ3)Qπ(θ2)Qπ/2(θ1), is analogously decomposed as L(x,y)=0(x,y)σ0i[1(x,y)σ1+2(x,y)σ2+3(x,y)σ3],where 0=cosαcosβ,1=sinβsinγ,2=sinβcosγ,3=sinαcosβ,with α=θ1θ3, β=θ12θ2+θ3, and γ=θ1+θ3. The dependence on (x,y) is omitted for ease of notation. Imposing U=L at each transverse position yields cosαcosβ=cosξ,sinβsinγ=sinξsinθcosϕ,sinβcosγ=sinξsinθsinϕ,sinαcosβ=sinξcosθ,where we used the spherical parametrization of the vector n: n1=sinθcosϕ, n2=sinθsinϕ, and n3=cosθ.

    From Eqs. (16b) and (16c), it follows that γ=ϕπ2.

    Two sets of solutions are found from Eqs. (16a) and (16d), {α1=atan2(sinξcosθ,cosξ)β1=atan2(sinξsinθ,1sin2ξsin2θ)γ1=ϕπ/2,{α2=π+α1β2=πβ1γ2=γ1,where atan2(x,y) is the two-argument arctangent function, which distinguishes between diametrically opposite directions. From the expressions for α, β, and γ, the modulations for the LCMS’s optic-axis patterns θ1, θ2, and θ3 can be finally extracted. As discussed in the text, a modulation extracted from a single set of solutions typically features discontinuities and sudden jumps. As a representative example, in Fig. 8(a), we plot the pattern of the first LCMS emerging from a single set of solutions for t=10. The optimization routine described in the text [see Fig. 3(a)] is executed to match the two sets of solutions and eventually remove the discontinuities [see Fig. 8(b)].

    Optimization routine. (a) Single analytical solution for the first LCMS implementing the QW evolution U010(π/2). Discontinuities across extended lines are visible. (b) The optimization routine is executed to output a continuous modulation for the sets of three LCMSs, only embedding isolated vortices.

    Figure 8.Optimization routine. (a) Single analytical solution for the first LCMS implementing the QW evolution U010(π/2). Discontinuities across extended lines are visible. (b) The optimization routine is executed to output a continuous modulation for the sets of three LCMSs, only embedding isolated vortices.

    7 Appendix C: Reconstruction of the Probability Distribution

    To reconstruct the QW probability distribution from the experimental image, the coordinates of the lattice site |mx,my=|0,0 must be determined. To do so, we set the birefringence parameter of the three LCMSs to δ1=δ2=δ3=2π. In this configuration, the metasurfaces act as the identity operator at each point (x,y), and only the central input mode is transmitted. Starting from the coordinates of the corresponding spot in the focal plane of L3, we build an array of equally spaced square regions on the image, each associated with an output mode. Then, we set δ1=δ3=π/2 and δ2=π so that the plates implement the desired complex polarization transformation that simulates the target dynamics U(x,y). By integrating light intensity within each square, which provides a good estimate of the amount of input light coupled to each output mode, and normalizing it to the total intensity, we eventually reconstruct the experimental probability distribution Pexp(mx,my). This procedure is depicted in Fig. 7(b). The agreement between theory and experimental results is quantified in terms of the similarity estimator S [cf., Eq. (10)].

    Maria Gorizia Ammendola is a PhD student at the University of Naples Federico II and at the Scuola Superiore Meridionale, specializing in quantum simulations with structured light, within the SLAM group. She is actively researching in the field of photonic free-space technologies. She is passionate about structured light and explores the possibility of manipulating light degrees of freedom for the simulation of exotic quantum phenomena and performing high-dimensional complex operations.

    Francesco Di Colandrea is a researcher at the University of Naples Federico II and a visiting scientist at the University of Ottawa. His research focuses on the manipulation of structured light for quantum simulations, particularly in the study of topological physics and open quantum systems. His work also extends to quantum communications and the application of machine-learning techniques in optical experiments.

    Lorenzo Marrucci is a professor of physics at the University of Naples. He has coauthored more than 200 scientific articles and 5 patents on a variety of topics, ranging from complex materials to quantum photonics and structured light. He is well known for his invention of the “q-plate,” a device that allows generating orbital angular momentum from polarization manipulations. He has coordinated several national and international research projects, including an ERC Advanced Grant, and held various academic-management positions.

    Filippo Cardano is an associate professor of physics at the University of Naples Federico II, Italy. The core of his research activity is the study of optical spin-orbit phenomena and their application in different architectures. He is currently focusing on engineering and characterizing complex and high-dimensional spatially structured photonic states, both for classical fields and quantum states, and on the simulation of quantum topological systems through innovative photonic circuits for structured light.

    [38] I. W. Stewart. The Static and Dynamic Continuum Theory of Liquid Crystals(2004).

    Tools

    Get Citation

    Copy Citation Text

    Maria Gorizia Ammendola, Francesco Di Colandrea, Lorenzo Marrucci, Filippo Cardano, "Large-scale free-space photonic circuits in two dimensions," Adv. Photon. 7, 016006 (2025)

    Download Citation

    EndNote(RIS)BibTexPlain Text
    Save article for my favorites
    Paper Information

    Category: Research Articles

    Received: Aug. 8, 2024

    Accepted: Jan. 6, 2025

    Posted: Jan. 7, 2025

    Published Online: Feb. 12, 2025

    The Author Email: Di Colandrea Francesco (francesco.dicolandrea@unina.it), Cardano Filippo (filippo.cardano2@unina.it)

    DOI:10.1117/1.AP.7.1.016006

    CSTR:32187.14.1.AP.7.1.016006

    Topics