Article | Open | Published:

Basis-neutral Hilbert-space analyzers

Scientific Reports volume 7, Article number: 44995 (2017) | Download Citation


Interferometry is one of the central organizing principles of optics. Key to interferometry is the concept of optical delay, which facilitates spectral analysis in terms of time-harmonics. In contrast, when analyzing a beam in a Hilbert space spanned by spatial modes – a critical task for spatial-mode multiplexing and quantum communication – basis-specific principles are invoked that are altogether distinct from that of ‘delay’. Here, we extend the traditional concept of temporal delay to the spatial domain, thereby enabling the analysis of a beam in an arbitrary spatial-mode basis – exemplified using Hermite-Gaussian and radial Laguerre-Gaussian modes. Such generalized delays correspond to optical implementations of fractional transforms; for example, the fractional Hankel transform is the generalized delay associated with the space of Laguerre-Gaussian modes, and an interferometer incorporating such a ‘delay’ obtains modal weights in the associated Hilbert space. By implementing an inherently stable, reconfigurable spatial-light-modulator-based polarization-interferometer, we have constructed a ‘Hilbert-space analyzer’ capable of projecting optical beams onto any modal basis.


Interferometry is the cornerstone of fundamental investigations and precise measurements in optics1. The nature of light – both classical2,3 and quantum4,5,6 – was unraveled largely through interferometric experiments, and the exquisite precision inherent in optical interferometry has been instrumental in metrology7, bio-imaging8, devising ultra-sensitive systems for the detection of gravitational waves9, and enabling novel lithographic schemes10. These examples share a common feature: interference results from combining beams with relative phases engendered by optical delays. A principal utility for optical interferometry is spectral analysis – determining the contributions of the continuum of time-frequency harmonics to the optical signal. Recent applications have emphasized the utility of discrete spatial-mode bases for optical beams, such as orbital angular momentum (OAM) states11,12,13 exploited in free-space14,15 and multimode fibers16,17 to increase their information-carrying capacity (so-called spatial-mode multiplexing) and in quantum communication protocols18 (such as quantum key distribution19). An optical beam in this conception is an element in a Hilbert space spanned by such a basis. In general, strategies for spatial-mode analysis rely on approaches altogether different from the concept of optical delays that has served interferometry so well. In other words, we currently lack a ‘Hilbert-space analyzer’: a hypothetical device capable of analyzing an optical beam in the vector space defined by any prescribed modal basis. Examples of strategies for modal analysis range from phase-retrieval combined with direct mode projections20, correlating the modes with spectral or temporal degrees of freedom21, combining principal-component analysis after adapting the detection system with a training data set22, to performing a coordinate transformation that converts the beam into a more convenient basis23. In particular, despite multiple techniques for OAM beam analysis24,25,26,27, comparable progress has been lacking for other important modal bases, such as radial Laguerre-Gaussian28,29,30,31,32 (LG) modes.

In archetypical two-path interferometers, two copies of a beam are combined after a relative optical delay is inserted. The delay is swept and an interferogram is traced, which yields the modal weights of time-frequency harmonics through spectral analysis. In this paper, we present a unifying principle for modal analysis by addressing the following question: can the traditional optical delay – one of the most fundamental concepts in optics – be extended beyond its implementation in the time domain to apply to Hilbert spaces associated with discrete spatial-mode bases? We show here that such a generalization is indeed possible. We introduce the concept of a generalized delay (GD): an optical transformation characterized by a continuous, real order-parameter that can be tuned to produce – once placed in one arm of an interferometer – an interferogram that reveals the modal weights in a prescribed functional basis via harmonic analysis. We find that GDs correspond to optical implementations of fractional transforms in the case of discrete modal bases33,34. For example, it can be shown34 that the GD associated with Hermite Gaussian (HG) modes is the fractional Fourier transform35,36, whereas that associated with radial LG modes37 is the fractional Hankel transform38,39. Sweeping the order of a fractional transform corresponds to varying a temporal delay in traditional interferometry – each in its own Hilbert space.

In the implementation presented here, we exploit electrically addressable spatial light modulators (SLMs) to realize tunable-strength cylindrical and spherical lenses that are building blocks of fractional transforms40. We make use of the polarization discrimination of SLMs41,42 to construct a polarization interferometer – in lieu of a two-path interferometer – to accomplish generalized interferometry in an inherently stable configuration. Switching between Hilbert spaces – that is, examining a beam in different bases – is readily achieved in the same setup with no moving parts, simply by changing the phases imparted by the SLMs. We thus establish a versatile, basis-neutral Hilbert-space analyzer based on a generalized conception of optical interferometry.

Concept of a generalized optical delay

An optical delay τ is typically implemented by inserting an additional propagation length in a beam’s path. In the time domain, a delay shifts the temporal origin E(t) → E(t − τ), whereas in the spectral domain it adds to each harmonic frequency component ω a phase eiωτ that is linear in both the delay and the frequency (Fig. 1a). In other words, spectral harmonics {eiωt} are eigenstates of the delay operation with eigenvalues eiωτ. Guided by this observation, we introduce a generalized delay (GD) that operates in the Hilbert space spanned by a modal basis {ψn(x)}, such that the GD’s effect on a beam described in this space is completely analogous to that of a delay τ for a pulse. A GD operates between an input plane and output plane x, and implements a unitary transformation characterized by a real, continuous order-parameter α,

Figure 1: Concept of a generalized optical delay.
Figure 1

(a) Traditional temporal optical delay. The impact of a temporal delay τ on a pulse E(t) can be viewed in two ways. In the time domain (first row), the pulse is delayed, E(t − τ). In the spectral domain (second row), the pulse is a superposition of temporal harmonics (angular frequencies ω) each with a spectral amplitude cn. The delayed pulse E(t − τ) is the result of inserting phase factors for each harmonic ω. (b) Generalized delay (GD) α in a Hilbert space spanned by a discrete modal basis . The impact of the GD on an optical beam can also be viewed in two domains. In the spatial domain (first row), the GD is not simply a shift but instead it transforms the transverse field profile E(x) → E(x; α). However, in the modal space (second row) where the field is viewed as a superposition of the modes with weights , the impact of the GD is identical to that of the temporal delay on the spectral harmonics in (a). The GD adds a phase factor to the mode amplitude, which ‘delays’ the beam by α in the Hilbert space spanned by .

where the functional basis is orthonormal and complete, and its members are the eigenstates of Λ: they emerge from the GD unchanged except for a mode-dependent phase (Fig. 1b), ; see Methods.

Consider a monochromatic beam , where are modal coefficients and E(x) is normalized , such that . Upon passage through the GD, the field is transformed according to

Each mode thus acquires a phase that depends linearly on its index n (Fig. 1b) – in analogy to the impact of a traditional delay with respect to spectral harmonics. For a discrete modal basis indexed by n (Equation 1), is periodic in α with period 2π. Furthermore, Λ can be generalized to two transverse coordinates and is applicable to a continuous basis33,34.

As an example, consider the set of one-dimensional (1D) HG modes, , where is the nth-order Hermite polynomial and is a normalization constant. This modal set is well-established as a useful basis for laser beams and arises naturally in many contexts43. The corresponding GD is the 1D fractional Fourier transform (fFT)34 of angular-order α (scaled heretofore by convention from 0 to 4). Indeed, HG modes are eigenstates of the fFT36 with eigenvalues . A beam traversing this GD is not shifted in physical space, as an optical delay shifts a pulse in time. Nevertheless, because each underlying HG mode acquires the requisite phase after the GD, the fFT ‘delays’ the beam in the Hilbert space of optical beams spanned by HG modes, which thus facilitates analyzing the beam in the HG basis. Alternatively the set of radial LG modes associated with zero-OAM states given by constitutes a modal basis for radial functions having azimuthal symmetry; here is the nth-order Laguerre polynomial, is a normalization constant, and r is a radial coordinate. The GD here corresponds to the fractional Hankel transform (fHT); i.e., an optical implementation of the fHT ‘delays’ the beam in the Hilbert space spanned by radial LG modes33. Techniques for beam analysis into radial LG modes are lacking, leading the radial coordinate to be recently dubbed the ‘forgotten’ degree of freedom29.

Generalized optical interferometry

A GD can be exploited for the modal decomposition of an optical beam in its associated Hilbert space. The overall scheme for ‘generalized optical interferometry’ is a balanced two-path interferometer, in which the usual temporal delay is replaced by a GD (Fig. 2a). For an incident beam and a GD constructed using the modal basis , the output field is and the power recorded by a ‘bucket detector’ is

Figure 2: Generalized optical interferometry for modal analysis in an arbitrary basis.
Figure 2

(a) Operation of a generalized interferometer in real space. Two copies of the beam E(x) are created at beam splitter 1 and subsequently combined at beam splitter 2 after one copy traverses the GD and is ‘delayed’ in the associated Hilbert space by α, E(x; α). The beam emerging from the interferometer – a superposition of the delayed beam and a reference – is collected by a bucket detector and an interferogram is recorded with α, , whose Fourier transform reveals the modal weights . (b) Operation of the generalized interferometer in the Hilbert space spanned by the modal basis on the beam (Fig. 1b). The underlying modes of the ‘delayed’ copy acquire phase shifts of the form after passing through the GD to yield a new beam . The original and ‘delayed’ beams are combined to produce an interferogram . Because the modes are orthogonal to each other, each interferes only with its phase-shifted counterpart to yield an interferogram of the form 1 + cos with weights – independently of the underlying basis that is traced out at the bucket detector. The sought-after weights are then revealed through harmonic analysis.

such that harmonic analysis of P(α) identifies the weights ; Fig. 2b. Each mode thus produces individually a sinusoidal interferogram 1 + cos . Mode-orthogonality dictates that each mode interferes only with itself. Crucially, the form of the interferogram in Eq. 3 is independent of the particular modal basis. A superposition of two HG modes of order n and m, for example, yields an interferogram that is identical to the same superposition of LG modes of order n and m – if the appropriate GD associated with each Hilbert space is implemented. This generalized interferometer is thus ‘basis-neutral’. Furthermore, since the GD associated with a discrete modal basis is periodic in its order α, the resulting interferogram is in turn periodic, such that its Fourier transform yields a discrete spectrum. The number of modes that may be distinguished in this manner is determined by the sampling rate of the interferogram (the number of settings of α measured) and is ultimately Nyquist-limited.

Experimental implementation

A fFT or fHT can be implemented via combinations of cylindrical or spherical lenses, respectively, and the transform orders are varied by changing either the lens strengths or their separation (or both)36,44. The former approach does not require moving parts and can be realized with electrically addressable phase-only SLMs that implement generalized lenses of variable power – which is the strategy we follow here. A minimum of three generalized lenses can implement a 1D fFT40, where the first and last lenses have the same power and the distances separating the SLMs are equal (Methods). The fFT order can thus be varied without overall scaling or additional phases imparted to the field40, which is critical since we will interfere the beam with its own fFT.

The two-path interferometer in Fig. 2a requires a high degree of stability since several large components (SLMs) are introduced into one path, the overall path lengths may be large (~1 m here), and a fractional-transform-order-dependent relative phase must be included (Methods). These difficulties are obviated by introducing a novel configuration that exploits the polarization-selectivity of liquid-crystal-based SLMs41 to construct the single-path polarization interferometer (Fig. 3a). The three SLMs impact the horizontal polarization component H, whereas the vertical component V is unaffected. After rotating the input polarization to 45°, only the H-component is transformed by the SLMs whereas the V-component is unchanged, thus serving as a reference. Projecting the output polarization at 45° allows the H and V components to interfere. However, the V-component undergoes diffraction during propagation and at the output it no longer corresponds to the original field E(x) needed as a reference. We therefore introduce lenses between the SLMs arranged in a 4-f configuration to image the V-component and reproduce E(x), and modify the strength of the lenses implemented by the SLMs accordingly (Fig. 3b; Methods). Since the symmetry of the configuration is maintained, reflective SLMs allow folding the system such that only two SLMs and one lens are required (Fig. 3c). This stable polarization interferometer is thus in one-to-one correspondence with the two-path interferometer in Fig. 2a.

Figure 3: Inherently stable implementation of a generalized interferometer.
Figure 3

(a) Implementation of a 1D fFT using three generalized (variable-power) lenses L1, L2, and L3 with symmetric strengths p1, p2, and p1, respectively, that are selected to produce a fractional transform of prescribed order (Methods). Because the lenses are implemented by polarization-selective SLMs (affecting only the H-component), the system is in fact equivalent to the two-path interferometer in Fig. 2a, with the H- and V-components corresponding to the delay and reference arms, respectively, while the half-wave plate (HWP) and the polarizer correspond to beam splitters 1 and 2, respectively. This common-path interferometer is inherently stable. However, the V-component undergoes unwanted diffraction over the distance 2d. (b) Same as (a), except that polarization-insensitive fixed lenses (focal lengths f) are inserted in a 4 f configuration to eliminate the diffraction of the V-component. The strengths s1, s2, and s1 of the generalized lenses are modified to compensate for the added lenses. (c) Folded implementation of (b). The beam is reflected onto itself from L2, such that L1 and L3 are the same generalized lens and only one fixed lens is required.

In implementing the fHT, we require that the SLMs produce simultaneously equal-order1D fFTs along x and y. Each SLM thus corresponds to equal-power crossed cylindrical lenses, or a spherical lens.


We first realize modal analysis via generalized interferometry in the basis of 1D HG modes, where the associated GD is the 1D fFT. We examine beams having the separable form and focus on the x-dependence alone. The input beams are prepared by a single SLM (SLM0) that imprints a phase-only pattern on a Gaussian-mode laser beam, which is then imaged to SLM1 that constitutes the input plane to the generalized interferometer. A second SLM (SLM2) reflects the beam back to SLM1, and the phases imparted by SLM1 and SLM2 are varied to cycle the fFT order α.

We report in Fig. 4 measurements carried out on 1D beams approximating the four lowest-order HG modes. For each beam, we provide: (1) the intensity of the ‘delayed’ beam after the fFT while varying the ‘delay’ α; (2) the intensity after interfering the delayed beam with the original, ; (3) the interferogram recorded by the ‘bucket detector’ ; and (4) the Fourier transform of P(α) that reveals the modal weights . In Fig. 4a, each vertical line plot corresponds to the magnitude squared of a 1D fFT associated with a different order α, whereas each vertical plot in Fig. 4b is the corresponding spatial interferogram . These data enable us to diagnose the system and evaluate its performance, but only the interferogram P(α) is required for modal analysis, which corresponds to the temporal interferogram obtained in traditional two-path interferometers incorporating an optical delay. This interferogram is basis-neutral now that the spatial degree of freedom has been integrated over.

Figure 4: Modal analysis in the Hilbert space spanned by 1D Hermite-Gaussian modes using generalized optical interferometry.
Figure 4

(a) The measured ‘delayed’ beam resulting from the input beam E(x) (which is to be analyzed into the contributions from HG modes) traversing the order-α GD (here the fFT), . Each vertical line plot represents the magnitude-squared of a 1D fFT associated with a different order α. (b) The measured interferogram resulting from superposing the delayed beam from (a) with a reference, . Each vertical line plot thus represents the magnitude-squared of the 1D spatial interferogram associated with a different order α. (c) The integrated interferogram . This interferogram is now basis-neutral. (d) The modal weights |cn|2 revealed by taking the Fourier transform of the interferogram in (c). The columns are for different input beams corresponding to modes HG0 through HG3. The implemented beams only approximate the pure HG modes (except for HG0 which is exact), as shown in the insets in (d). The black mode profile in the inset is an exact HG mode while the orange plot is the approximate beam used in the experiment. The theory plots in (c) and (d) are those for the implemented approximate beams. See Supplementary Information for theory.

Whenever E(x) is a pure nth-order HG mode, the interferogram is a sinusoid whose Fourier transform produces a delta function at n. We verify this with modes through . Because the Gaussian beam is an eigenstate of the fFT, we do not observe modulation in or , and the interferogram P(α) is thus a constant whose Fourier transform has a single contribution at n = 0. Next, the 1st-order HG mode produces an interferogram having a full sinusoidal period P(α)  1 + cos α whose Fourier transform reveals the strongest contribution at n = 1. We approximate by imparting a π-phase step (via SLM0) to a Gaussian beam (Supplementary Information Sec. S3), so contributions from other modes appear in the modal analysis, and simulations provide a computed modal content that is in excellent agreement with the measurements (Supplementary Information Sec. S4). Similarly, and produce shorter period sinusoids and reveal the strongest contributions at n = 2 and n = 3, respectively. We note a discrepancy at the fFT order α = 2, whereupon the rapid variation imposed on the SLM phases results in a sudden drop in diffraction efficiency (Supplementary Information Sec. S5).

We next analyze beams into radial LG modes by implementing the fHT as the GD. The results for through are presented in Fig. 5. Since these beams are azimuthally invariant, we first integrate the recorded 2D intensity I(r, θ) in polar coordinates over θ to obtain a 1D radial distribution , where I(r) is the power in a thin annulus of radius r centered on the beam axis. Figure 5a depicts the ‘delayed’ beam I(r; α) as we vary the fHT-order α. Integrating over r after interfering the delayed beam with the reference produces the interferogram P(α). The basis-neutrality is clear when comparing the interferograms associated with in Fig. 4 to in Fig. 5; similarly for and , and for and .

Figure 5: Modal analysis in the Hilbert space spanned by radial Laguerre-Gaussian modes using generalized optical interferometry.
Figure 5

(a–d) Same as (a–d) in Fig. 4 except that the GD operates in the space of radial LG modes. Note that in (a) and (b), the delayed beam and the interferogram are plotted with r and not x (0 ≤ r ≤ ∞). Insets show the radial intensity distribution of the beams. The columns are for different input beams corresponding to modes LG0 through LG2. The implemented beams only approximate the pure radial LG modes (except for LG0 which is exact), as shown in the insets in (d). The mode profile on the left in the inset is an exact LG mode while the plot on the right is the approximate beam used in the experiment. The theory plots in (c) and (d) are those for the implemented approximate beams. See Supplementary Information for theory.

To highlight the versatility of this approach, we examine beams formed of various superpositions of HG modes in Fig. 6. First, we analyze the beam which we approximate by blocking half the cross section of a Gaussian beam (Fig. 6a–d). Next, we examine the field which we approximate by only varying the phase of a Gaussian beam to maximize the overlap with the desired beam (Fig. 6a–d). Finally, we investigate the superposition while varying θ from 0 to π/2, thereby switching the beam from to (Fig. 6e).

Figure 6: Modal analysis of beams comprising superimposed modes.
Figure 6

(a–d) Same as (a–d) in Figs 4 and 5. The Input beams are the superpositions (left column) and (right column). (e) Modal analysis of the beam , while varying θ from 0 to π/2. Plotted are the coefficients |c0|2 (blue squares) and |c1|2 (red circles), corresponding to the contributions of the modes HG0 and HG1. Dashed curves are theoretical predictions, for |c0|2 and |c1|2 predicated on the generated approximate modes.

Discussion and Conclusion

We have demonstrated that optical interferometry can be generalized to apply for any modal basis by replacing the traditional temporal delay with a generalized delay (GD): an optical transformation that ‘delays’ the beam in a Hilbert space spanned by the modal basis of interest. This basis-neutral strategy provides a unifying framework for modal analysis in an arbitrary basis – whether discrete, continuous, or combinations thereof for different degrees of freedom34. The fFT performs a rotation of the Wigner distribution associated with the field45, which has been exploited in tomographically reconstructing the Wigner distribution of non-classical states of light46. We have implemented this strategy here in the spatial domain of a scalar field using monochromatic light, but the approach is readily extended to multiple degrees of freedom of the optical field by simply cascading the associated GDs34. This methodology is also applicable to quantum states of light, such as one-photon or even entangled two-photon states47 by replacing the dual delays in a phase-unlocked HOM interferometer48 with the appropriate GDs. Our approach can thus further increase the accessible dimensionality of the Hilbert space of single photons by at least an order of magnitude49,50.

The accessible dimension of the beam’s Hilbert space is ultimately limited by the spatial resolution of the SLM pixels and the phase-step resolution for each pixel, which limit the sampling resolution of the fractional-transform order. Improvements in SLM technology may allow for real-time modal analysis over large-dimensional Hilbert spaces. One can use instead amplitude-based spatial modulators which are considerably faster, resulting in real-time modal analysis, albeit at the price of reduction in signal throughput51. We have found however that the physical extent of the SLM (or the number of pixels) is the main factor that limits the fidelity of modal analysis (see Supplementary Information for a detailed study).

Many new questions are now open: What is the optimal implementation of a GD when only a closed subspace of the modal basis is of interest? What is the minimum number of SLMs required to implement a GD in an arbitrary modal basis? Moreover, it is usually the case that only a few modes are activated (such as in communications protocols) or contribute significant energy – so-called modal ‘sparsity’52. In these scenarios, uniformly sampling the GD order is not efficient. We have recently shown theoretically that optical interferometry can be modeled as a linear measurement problem and is hence subject to compressive sensing techniques that exploit the sparsity of the signal in some modal basis52. These findings can considerably reduce the number of measurements in the methodology presented here.

We have implemented here the GDs for the Hilbert spaces associated with HG and radial LG modes, the fFT and fHT, respectively. More generally, our approach indicates the potential utility of yet-to-be-discovered optical fractional transforms and provides a roadmap for their discovery. Given any modal set of interest, a fractional transform may be constructed out of the outer product of these functions in the diagonal representation given in Eq. 1 – and this fractional transform ‘delays’ the beam in its associated Hilbert space. For example, one may form a fractional transform from a basis of OAM and Bessel functions for the analysis of beams emerging from optical fibers or circular waveguides.


Properties of a generalized delay

Consider a functional basis that is orthonormal and complete . Using this set as a basis for a 1D finite-energy beam E(x) (in the space of square-integrable functions L2), we have , with modal coefficients . For convenience, we normalize the beam energy (the length of a vector in the Hilbert space L2): ; consequently, .

Consider a linear, unitary transformation between input and output planes identified by coordinates x′ and x, respectively. The transformation has a real, continuous order-parameter α that uniquely identifies the transformation . A field E(x) traversing this system is transformed according to Eq. (2), E(x) → E(x; α). Unitarity implies that for all α and arbitrary E(x), which implies that

One can thus obtain the form of the GD transformation in Eq. 1, which further entails that the set of transformations forms over α a one-parameter group. Defining the group composition operation as the cascade of two transformations, , which is closed on this set, we have the requisite properties for a group: (I) the set has an identity ; (II) the group composition operator is associative; and (III) there exists a unique inverse for any transformation , namely . The group is also obviously commutative. Finally, the property of the inverse and the unitarity of Λ together imply that

Implementation of the 1D fFT using SLMs

The 1D fFT is defined by Eq. 1 after substituting the 1D HG functions for . Explicitly, the 1D fFT is given by the canonical transformation

where x and are normalized and unitless. Several specific angular orders of the fFT are readily recognizable. At α = 0, the system is , which is an imaging system without inversion or the identity operator; at , is a Fourier transform system; and at α = π, , which is an imaging system with inversion.

The system in Fig. 3a consists of three cylindrical lenses (implemented by SLMs) of powers p1, p2, and p1 (inverse focal lengths) separated by equal distances d, and can perform the 1D fFT of arbitrary order, without scaling or additional spatially varying phase, while using the minimal number of optical components40. By introducing a characteristic length scale σ (to be set shortly) to normalize x and , the impulse response function of this system at a wavelength λ is

where is a unitless parameter that combines all the length scales in the system. Comparing Eq. 7 to Eq. 6, we identify the lens strengths p1 and p1 that are necessary to implement the fFT of angular order α:

In the case of a polarization-selective SLM, the impulse response function for the H-component is Eq. 7 whereas that for the V-component corresponds to free-space propagation for a distance 2d.

The modified system in Fig. 3b includes two identical lenses with focal lengths f in addition to the three SLMs implementing cylindrical lenses with strengths s1, s2, and s1, and all the separating distances are equal to f. The impulse response function for the V-component is , corresponding to imaging with inversion (a 4f imaging system). For the H-component, the impulse response function is a result of all five optical components (three when the system is folded back on itself) is given by:

where and we have introduced the transverse length scale σ as above. We identify and that implement the 1D fFT of order α

This polarization interferometer thus achieves both goals: the H-component undergoes a 1D fFT whereas the V-component reference is imaged via a 4f system, both without introducing extra spatial phases or scaling.

Implementation of the radial fHT using SLMs

The 2D fFT between input plane and output plane (x, y) is separable along the two Cartesian coordinates, such that

where and are 1D fFTs of order αx (along x) and αy (along y), respectively. These fFTs may be controllably accessed independently by adding the phase patterns for the two required crossed generalized cylindrical lenses to be implemented by the SLMs. The fHT corresponds to a symmetric 2D fFT34,38 . In polar coordinates we have . When restricted to azimuthally symmetric functions E(r, θ) = E(r), Λ itself becomes independent of θ and , , where the purely radial transformation is the fHT, which is thus given by ref. 33

Here is the zeroth-order Bessel function of the first kind.

Experimental setup

The optical beam is derived from a laser diode at a wavelength of 808 nm that is spatially filtered by coupling into a single-mode fiber at the operating wavelength (Thorlabs, FS-SN-4224) and collimated using a fiber-integrated collimation package. This produces an approximate Gaussian beam whose size is controlled by a variable beam expander (Thorlabs, BE02-05-B) moving along with the collimation package along a rail mount to yield a Gaussian beam with a FWHM of 0.6 mm located at SLM0. The beam is polarized along H and is modulated by SLM0 to produce the desired beam. The field at SLM0 is imaged to SLM1 – through a beam splitter – via a 4f imaging system comprised of equal-focal-length lenses (f = 300 mm) and the polarization is rotated from H to 45° by a half-wave plate. All the SLMs are reflection-mode, polarization-sensitive Hamamatsu LCOS-SLM (X10468-02) that modulate H but not V. The angle of incidence on SLM1 is less than 10°, the reflected beam passes through a lens L1 (f = 500 mm) and is normally incident on SLM2 reflecting back through L1 to SLM1 again. The plane of SLM1 is then imaged to the detector plane through the beam splitter and analyzed at +45° polarization. The image of the modified interference beam is recorded by a CCD camera (The Imaging Source, DFK 72BUC02). The SLMs are computer-controlled to synchronize the display of the phases required to implement the fFT of desired order.

Additional Information

How to cite this article: Martin, L. et al. Basis-neutral Hilbert-space analyzers. Sci. Rep. 7, 44995; doi: 10.1038/srep44995 (2017).

Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.


  1. 1.

    . History of the Principle of Interference of Light(Birkhäuser Verlag, 1991).

  2. 2.

    . “Experimental demonstration of the general law of the interference of light”, Phil. Trans. Royal Soc. London 94, 1–16 (1804).

  3. 3.

    & . “Correlation between photons in two coherent beams of light”, Nature 177, 27–29 (1956).

  4. 4.

    . “Interference fringes with feeble light”, Proc. Cam. Phil. Soc. 15, 114–115 (1909).

  5. 5.

    , & . “Experimental evidence for a photon anticorrelation effect on a beam splitter: A new light on single-photon interferences”, Europhys. Lett. 1, 173–179 (1986).

  6. 6.

    , & . “Measurement of subpicosecond time intervals between two photons by interference”, Phys. Rev. Lett. 59, 2044–2046 (1987).

  7. 7.

    . Optical Shop Testing3rd edition, (Wiley, New Jersey, 2007).

  8. 8.

    et al.Optical coherence tomography”, Science 254, 1178–1181 (1991).

  9. 9.

    et al. “GW151226: Observation of gravitational waves from a 22-solar-mass binary black hole coalescence”, Phys. Rev. Lett. 116, 241103 (2016).

  10. 10.

    & . Periodic Materials and Interference Lithography: for Photonics, Phononics and Mechanics(Wiley, Weinheim, 2009).

  11. 11.

    , , & . “Orbital angular momentum of light and the transformation of Laguerre-Gaussian laser modes”, Phys. Rev. A 45, 8185–8189 (1992).

  12. 12.

    , & . Optical Angular Momentum(Institute of Physics Publishing, Bristol, 2003).

  13. 13.

    & . “Orbital angular momentum: origins, behavior and applications”, Adv. Opt. Photon. 3, 161–204 (2011).

  14. 14.

    et al. “Terabit free-space data transmission employing orbital angular momentum multiplexing”, Nature Photon. 6, 488–496 (2012).

  15. 15.

    et al.High-capacity millimetre-wave communications with orbital angular momentum multiplexing”, Nature Commun. 5, 4876 (2014).

  16. 16.

    et al. “Terabit-scale orbital angular momentum mode division multiplexing in fibers”, Science 340, 1545–1548 (2013).

  17. 17.

    , & . “Space-division multiplexing in optical fibres”, Nature Photon. 7, 354–362 (2013).

  18. 18.

    , , & . “Entanglement of the orbital angular momentum states of photons”, Nature 412, 313–316 (2001).

  19. 19.

    , , , & . “Experimental quantum cryptography with qutrits”, New J. Phys. 8, 75 (2006).

  20. 20.

    , , & . “Complete modal decomposition for optical waveguides”, Phys. Rev. Lett. 94, 143902 (2005).

  21. 21.

    , , & . “Spatially and spectrally resolved imaging of modal content in large-mode-area fibers”, Opt. Express 16, 7233–7243 (2008).

  22. 22.

    , , , & . “Simultaneous determination of the constituent azimuthal and radial mode indices for light fields possessing orbital angular momentum”, Appl. Phys. Lett. 100, 231115 (2012).

  23. 23.

    et al.Efficient sorting of Bessel beams”, Opt. Express 21, 165–171 (2013).

  24. 24.

    , , & . “How to create and detect N-dimensional entangled photons with an active-phase hologram”, Appl. Phys. Lett. 90, 261114 (2007).

  25. 25.

    , , , & . “Efficient sorting of orbital angular momentum states of light”, Phys. Rev. Lett. 105, 153601 (2010).

  26. 26.

    et al.Direct measurement of a 27-dimensional orbital-angular-momentum state vector”, Nature Commun. 5, 3115 (2014).

  27. 27.

    , & . “Creation and detection of optical modes with spatial light modulators”, Adv. Opt. Photon. 8, 200–227 (2016).

  28. 28.

    & . “Radial coherent and intelligent states of paraxial wave equation”, Opt. Lett. 37, 2484–2486 (2012).

  29. 29.

    , , & . “The forgotten quantum number: A short note on the radial modes of Laguerre-Gauss beams”, arXiv: 1306, 6517 (2013).

  30. 30.

    et al.Radial quantum number of Laguerre-Gauss modes”, Phys. Rev. A 89, 063813 (2014).

  31. 31.

    & . “Physical meaning of the radial index of Laguerre-Gauss beams”, Phys. Rev. A 92, 063841 (2015).

  32. 32.

    , & . “Revealing the radial modes in vortex beams”, Appl. Opt. 55, 7830–7835 (2016).

  33. 33.

    , & . “An angular and radial mode analyzer for optical beams”, Opt. Lett. 36, 4683–4685 (2011).

  34. 34.

    , & . “Generalized optical interferometry for modal analysis in arbitrary degrees of freedom”, Opt. Lett. 37, 2889–2891 (2012).

  35. 35.

    . “The fractional order Fourier transform and its application to quantum mechanics”, IMA J. Appl. Math. 25, 241–265 (1980).

  36. 36.

    , & . The Fractional Fourier Transform(Wiley, Chisester, 2001).

  37. 37.

    & . Fundamentals of Photonics(Wiley, 2007).

  38. 38.

    . “Fractionalization of Hankel transforms”, IMA J. Appl. Math. 26, 187–197 (1980).

  39. 39.

    et al. “Deriving the integral representation of a fractional Hankel transform from a fractional Fourier transform”, Opt. Lett. 23, 1158–1160 (1998).

  40. 40.

    , & , “Programmable two-dimensional optical fractional Fourier processor”, Opt. Express 17, 4976–4983 (2009).

  41. 41.

    , , & . “Bell’s measure in classical optical coherence”, Nature Photon. 7, 72–78 (2013).

  42. 42.

    , , & . “Optical coherency matrix tomography”, Sci. Rep. 5, 15333 (2015).

  43. 43.

    . Lasers(University Science Books, Sausalito, 1986).

  44. 44.

    , & . “Optical implementations of two-dimensional fractional Fourier transforms and linear canonical transforms with arbitrary parameters”, Appl. Opt. 37, 2130–2141 (1998).

  45. 45.

    . “Image rotation, Wigner rotation, and the fractional Fourier transform”, J. Opt. Soc. Am. A 10, 2181–2186 (1993).

  46. 46.

    , , & . “Measurement of the Wigner distribution and the density matrix of a light mode using optical homodyne tomography: Application to squeezed states and the vacuum”, Phys. Rev. Lett. 70, 1244–1247 (1993).

  47. 47.

    , , & . “Hilbert-space analyzers for one-photon and two-photon states”, unpublished (2016).

  48. 48.

    , & Giuseppe, “Phase-unlocked Hong-Ou-Mandel interferometry”, Phys. Rev. A 87, 062106 (2013).

  49. 49.

    , & . “Orbital angular momentum analysis of high-dimensional entanglement”, Phys. Rev. A 76, 042302 (2007).

  50. 50.

    et al. “Generation and confirmation of a (100 × 100)-dimensional entangled quantum system”, Proc. Natl. Acad. Sci. USA 111, 6122–6123 (2014).

  51. 51.

    & “Harnessing randomness to control the polarization of light transmitted through highly scattering media”, Opt. Express 22, 4412–4422 (2014).

  52. 52.

    , & . “Efficient optical mode analysis using compressive interferometry”, Opt. Express 23, 28449–28458 (2015).

Download references


We thank T. M. Yarnall, G. Di Giuseppe, B. E. A. Saleh, and D. N. Christodoulides for useful comments. This work was supported by US Office of Naval Research (ONR) contract N00014-14-1-0260.

Author information


  1. CREOL, The College of Optics & Photonics, University of Central Florida, Orlando, FL 32816, USA

    • Lane Martin
    • , H. Esat Kondakci
    • , Walker D. Larson
    • , Soroush Shabahang
    • , Ali K. Jahromi
    •  & Ayman F. Abouraddy
  2. Department of Electrical and Computer Engineering, University of Central Florida, Orlando, FL 32816, USA

    • Davood Mardani
    •  & George K. Atia
  3. Department of Physics and Astronomy, University of Rochester, Rochester, New York 14627, USA

    • Tanya Malhotra
  4. Center for Coherence and Quantum Optics, University of Rochester, Rochester, New York 14627, USA

    • Tanya Malhotra
    •  & A. Nick Vamivakas
  5. Institute of Optics, University of Rochester, Rochester, NY 14627, USA

    • A. Nick Vamivakas


  1. Search for Lane Martin in:

  2. Search for Davood Mardani in:

  3. Search for H. Esat Kondakci in:

  4. Search for Walker D. Larson in:

  5. Search for Soroush Shabahang in:

  6. Search for Ali K. Jahromi in:

  7. Search for Tanya Malhotra in:

  8. Search for A. Nick Vamivakas in:

  9. Search for George K. Atia in:

  10. Search for Ayman F. Abouraddy in:


A.F.A. developed the concepts. L.M., W.D.L., S.S. performed the optical measurements. D.M., H.E.K., and A.K.J. performed the analysis. H.E.K. prepared the figures. T.M. and A.N.V. carried out additional measurements. A.N.V., G.K.A., and A.F.A. supervised the research. All authors analyzed the data. H.E.K., D.M., G.K.A., and A.F.A. wrote the paper with input from the co-authors.

Competing interests

The authors declare no competing financial interests.

Corresponding author

Correspondence to Ayman F. Abouraddy.

Supplementary information

About this article

Publication history






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.