Quantum Sensors: Improved Optical Measurement via Specialized Quantum States

Abstract

Classical measurement strategies in many areas are approaching their maximum resolution and sensitivity levels, but these levels often still fall far short of the ultimate limits allowed by the laws of physics. To go further, strategies must be adopted that take into account the quantum nature of the probe particles and that optimize their quantum states for the desired application. Here, we review some of these approaches, in which quantum entanglement, the orbital angular momentum of single photons, and quantum interferometry are used to produce optical measurements beyond the classical limit.

David S. Simon 1,2

Academic Editor:Tao Zhu

1, Department of Electrical and Computer Engineering, Boston University, 8 Saint Mary's Street, Boston, MA 02215, USA
2, Department of Physics and Astronomy, Stonehill College, 320 Washington Street, Easton, MA 02357, USA

Received 14 June 2015; Accepted 2 November 2015; 28 December 2015

This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

1. Introduction

In the search for greater sensitivity and resolution in measuring and sensing applications, there are fundamental limits imposed by the laws of physics. In order to reach these limits, it has become clear that it is ultimately necessary to take into account the fundamentally quantum mechanical nature of both the system being measured and the devices that are used to measure the system. The goal of this review is to give an introduction to some of the ideas needed in order to continue pushing measurement capabilities of future devices toward their ultimate capacity.

In imaging applications, it has long been common lore that the Abbe limit prevents an optical system from resolving features smaller than the wavelength of the illuminating light. However, it has been recognized in recent years that there are loopholes in the Abbe limit which allow the so-called super-resolution , the resolution of subwavelength-sized features [1, 2]. This can be done by using (i) spatially structured light and (ii) nonlinear interactions between the light and the object. The spatial structure means that the wavefronts have some nontrivial set of spatial frequencies, which in a sense combine with the light's intrinsic wavelength to produce a smaller effective wavelength, thus allowing the resolving of smaller features. To detect this structure, some nonlinear interaction is utilized, such as the two-photon absorption processes commonly used in microscopy.

Similar "super-resolution" or "super-sensitivity" effects also occur in other measurement and sensing contexts outside of the realm of imaging, and these effects are often associated with purely quantum mechanical phenomena such as entanglement. Entanglement occurs when a composite system, made of two or more subsystems, is described by a single quantum state for the entire system, in such a way that it cannot be divided into separate well-defined substates for the individual subsystems (see the appendix for a more precise definition of entanglement). In this review, we give a short description of some of these quantum-based super-resolving effects in areas other than standard imaging. Specifically, we will focus on the use of nonclassical optical states to measure quantities related to phase, angular, and rotational variables and dispersive properties. We will see that in each of these cases the use of quantum-based methods allows more precise measurements than is possible through purely classical means. For example, entangled pairs of photons can carry out phase measurements that violate the so-called standard quantum limit (see the next section). In many of these cases, quantum entanglement can be seen as a resource that may be used to carry out practical tasks; a viewpoint is common in the quantum computation and quantum information communities but is not as widely recognized in other areas. The improved resolution and sensitivity that can be obtained from an [figure omitted; refer to PDF] -photon entangled state can be seen as being due to the fact that the set of photons (each of wavelength [figure omitted; refer to PDF] ) can be treated as a single object (essentially a small Bose-Einstein condensate) with a single joint de Broglie wavelength [figure omitted; refer to PDF] [3-8]. In this way, the true quantum mechanical limit, the Heisenberg limit, can be reached.

By optimizing the detection method for a given measurement, the weaker standard quantum limit can be achieved, but to reach the stronger Heisenberg limit, it is necessary to optimize the probe state as well [9] and tailor its properties to the desired measurement; this is where entanglement generally enters the picture. The comparison to super-resolution imaging also holds here: the Abbe limit can be reached by optimizing the detection system (large-aperture lenses, high resolution detectors, etc.), but to exceed the limit it is necessary to also optimize the illuminating light (the probe state) by introducing appropriate spatial structure. As in the imaging case, nonlinear processes are also involved in nonimaging quantum sensing applications as well: nonlinear interactions in solids (spontaneous parametric downconversion [10] in nonlinear crystals) are commonly used to prepare the entangled probe state, and the detection process itself typically involves coincidence counting or other forms of multiphoton detection: such methods are essentially nonlinear since the signals from several photons are multiplied for each detection event. In particular, two-detector coincidence counting is often used, which measures the second-order (intensity-intensity) correlations of a system, as opposed to the first-order (amplitude-amplitude) correlations measured in classical interferometry. Many purely quantum mechanical effects that are invisible to classical interferometry show up in the second-order correlations [11, 12]. In addition, interference effects in such measurements have a maximum visibility of [figure omitted; refer to PDF] for classical states of light [13, 14], whereas entangled states can have visibilities approaching [figure omitted; refer to PDF] .

A review of the more strictly technological aspects of quantum sensing, such as the development of on-chip photon sources and interferometers, can be found in [15], and various other aspects of quantum metrology have previously been reviewed in [9, 16-18]. Here we concentrate on the physical ideas and some specific applications. The main ingredients in all of these applications are (i) entanglement, (ii) using states tailored to optimize the given measurement, and (iii) coincidence counting or intensity-intensity correlations. Although most of the applications in this area are still confined to the lab, some have begun to make steps toward real-world use. As one example, some of the methods described here have recently been used to measure the polarization mode dispersion of a switching unit in a fiber optics communication network [19, 20]; the resulting measurement had uncertainties of [figure omitted; refer to PDF] fs for group delay and [figure omitted; refer to PDF] attoseconds for phase delay, which is orders of magnitude smaller than the uncertainties present in previous classical measurement strategies.

One note on terminology: super-resolution is taken to mean producing interference patterns that oscillate on smaller scales than expected classically, while super-sensitivity means reducing the uncertainty in a measured variable below its classical value. The two effects often go hand-in-hand.

A very brief summary of the necessary quantum mechanical background is given in the appendix.

2. Phase Estimation, Entanglement, and Quantum Limits

We consider phase measurements first [17, 21] and ask what fundamental limit does quantum mechanics place on our ability to measure them? The question is muddled a bit by the following problem. In quantum mechanics, physical variables are represented by operators (see the appendix), and we would expect the photon number operator [figure omitted; refer to PDF] and the phase operator [figure omitted; refer to PDF] to be canonically conjugate operators, with their commutator leading to an uncertainty relation that defines the ultimate physical limit on measurements. However, it has been known since at least the 1960s that it is impossible to define a unitary operator [figure omitted; refer to PDF] , or equivalently a Hermitian operator [figure omitted; refer to PDF] , that gives the correct canonical commutation relations. There is a large literature discussing this problem [22-34], and there are several possible resolutions to it. Here we will simply follow the most common path and make use of the non-Hermitian Susskind-Glogower (SG) operator [22] [figure omitted; refer to PDF] where, [figure omitted; refer to PDF] , [figure omitted; refer to PDF] , and [figure omitted; refer to PDF] are, respectively, the photon annihilation operator, the photon number operator, and the Fock state of photon number [figure omitted; refer to PDF] . The eigenstates of [figure omitted; refer to PDF] are [figure omitted; refer to PDF] . The corresponding eigenvalue relation is given by [figure omitted; refer to PDF] , where [figure omitted; refer to PDF] is the phase of the state (up to some unobservable overall reference phase). To get a Hermitian (and therefore physically measurable) operator, we can add [figure omitted; refer to PDF] to its Hermitian conjugate to form the new operator [figure omitted; refer to PDF] . The expectation value of this operator measures the rate of single-photon transitions within the apparatus. Now that we have a phase-dependent observable, we can measure its value on some quantum state and extract an estimate of the state's phase (note that any other phase-dependent Hermitian operator could be used instead; however, some operators give better phase estimation than others and are easier to measure experimentally).

Suppose the phase is measured using an interferometer, with input to the system only at a single port. We can consider several types of input, such as a coherent state input (where the number of photons fluctuates about some mean value [figure omitted; refer to PDF] according to Poisson statistics), a single Fock state (of fixed photon number [figure omitted; refer to PDF] ), or [figure omitted; refer to PDF] separate measurements on a stream of single-photon states. In each of these cases, the phase sensitivity (the minimum uncertainty in the measured phase value) is proportional to [figure omitted; refer to PDF] when [figure omitted; refer to PDF] is large. We can see this most easily by looking at the case of [figure omitted; refer to PDF] measurements of consecutive single-photon inputs.

Consider a photon entering port [figure omitted; refer to PDF] in the Mach-Zehnder interferometer of Figure 1. It can travel along the lower path, reflecting off mirror [figure omitted; refer to PDF] , or it can travel along the upper path, reflecting off [figure omitted; refer to PDF] and gaining a phase shift of [figure omitted; refer to PDF] (we will neglect any phase shift due to reflection at the beam splitter, since it can be absorbed into the definition of [figure omitted; refer to PDF] ). We may denote the state leaving the first beam splitter along the lower path by [figure omitted; refer to PDF] and the state leaving along the upper path by [figure omitted; refer to PDF] (see the appendix for an explanation of state vector notation). Or equivalently we could label these two states by the number of photons in the upper branch, so that [figure omitted; refer to PDF] and [figure omitted; refer to PDF] . Then, the state arriving at the second beam splitter is [figure omitted; refer to PDF] . Since the photon number [figure omitted; refer to PDF] never exceeds [figure omitted; refer to PDF] anywhere for this state, the operator [figure omitted; refer to PDF] can be truncated to [figure omitted; refer to PDF] . Note that [figure omitted; refer to PDF] picks out interference terms; when wedged between two states, [figure omitted; refer to PDF] , it links the [figure omitted; refer to PDF] component of one state to the [figure omitted; refer to PDF] component of the other. In fact, taking a basis of the form [figure omitted; refer to PDF] this operator is simply the first Pauli spin matrix: [figure omitted; refer to PDF] . It is therefore easily seen that [figure omitted; refer to PDF] , the identity operator. Taking the expectation value (the mean value in the given state), we find [figure omitted; refer to PDF] Therefore, the uncertainty in the measurement of [figure omitted; refer to PDF] is [figure omitted; refer to PDF] If we repeat the experiment [figure omitted; refer to PDF] times on an identical ensemble of states, standard statistical theory tells us that the uncertainty should be reduced by a factor of [figure omitted; refer to PDF] , so that [figure omitted; refer to PDF] . Our best estimate of [figure omitted; refer to PDF] is then the value [figure omitted; refer to PDF] , and the uncertainty in this phase estimate is given by [figure omitted; refer to PDF] This is the standard quantum limit or shot noise limit. In the case of single-photon states being measured [figure omitted; refer to PDF] times, this uncertainty can be thought of as being due to photonic shot noise or "sorting noise," the Poisson-distributed random fluctuations of the photon number in each arm of the apparatus due to the random choice made by the beam splitter as to which way to send each photon. If, instead of [figure omitted; refer to PDF] single-photon states, the experimenter uses a single coherent state pulse with mean photon number [figure omitted; refer to PDF] , the result for the uncertainty is the same, since the random fluctuations of photon number in the coherent state beam have the same Poisson statistics as the sorting noise.

Figure 1: A Mach-Zehnder interferometer. Input at either of the input ports ( [figure omitted; refer to PDF] or [figure omitted; refer to PDF] ) has two possible ways of reaching the final beam splitter, [figure omitted; refer to PDF] . Along the upper path, a phase shift of [figure omitted; refer to PDF] is added. The second beam splitter makes it impossible to determine which path was followed simply from looking at the output at ports [figure omitted; refer to PDF] and [figure omitted; refer to PDF] . As a result, the amplitudes for the both possibilities must be present, leading to interference at the output ports.

[figure omitted; refer to PDF]

The derivation of the standard quantum limit above assumed that the [figure omitted; refer to PDF] photons used to obtain the estimate were all acting independently. However, it is possible to send in states where the photons are entangled (see appendix), so that the entire [figure omitted; refer to PDF] -photon set is described by a single joint quantum state. At any horizontal position in Figure 1, let a quantum state with [figure omitted; refer to PDF] photons in the top branch and [figure omitted; refer to PDF] photons in the lower branch be denoted by [figure omitted; refer to PDF] , or more simply by [figure omitted; refer to PDF] . Then, imagine sending an entangled [figure omitted; refer to PDF] -photon state into the system, for example, a so-called NOON state, [figure omitted; refer to PDF] [35]. A two-photon NOON state can be easily produced by means of the Hong-Ou-Mandel effect [36]. [figure omitted; refer to PDF] [6], [figure omitted; refer to PDF] [7], and [figure omitted; refer to PDF] [37, 38] states have been produced using parametric downconversion followed by postselection of states with the desired form. After the first beam splitter and the phase shift, the state reaching the second beam splitter is [figure omitted; refer to PDF] . Note that because of the entanglement, the phase shifts from the [figure omitted; refer to PDF] photons act collectively, giving a total phase shift [figure omitted; refer to PDF] to one component of the entangled state. This is in contrast to the single-photon and separable [figure omitted; refer to PDF] -photon cases above, where each photon privately carried its own phase shift, independently of what happened to the other photons. In place of operator [figure omitted; refer to PDF] above, an appropriate measurement operator to extract this total phase shift is now [figure omitted; refer to PDF] . It is straightforward to check that the expectation values and uncertainties are given by [figure omitted; refer to PDF] In other words, this entangled system can beat the standard quantum limit. It in fact saturates the Heisenberg limit, the fundamental physical bound imposed by quantum mechanics [39]. The use of NOON states to carry out phase microscopy near the Heisenberg limit has been experimentally demonstrated in [40].

We see that entanglement gives a [figure omitted; refer to PDF] advantage in phase sensitivity over unentangled [figure omitted; refer to PDF] -photon states. The increase in oscillation frequency, signalled by the factor of [figure omitted; refer to PDF] inside the cosine in (6), indicates super-resolution as well. Although this improved phase measurement ability has been demonstrated in the lab, NOON states and other types of entangled photon states are difficult to create for large [figure omitted; refer to PDF] , so one prominent current goal is to find ways to more easily make such states, in order to allow their use in application settings outside the lab.

The quality of the phase estimation is normally quantified by the uncertainty, as obtained from some observable, as in (9). In more complicated situations, such as imaging, the optimal uncertainty may be obtained via information theoretic means through the Cramer-Rao bound [41, 42]. Alternatively, the uncertainty may not be used at all; instead, the quality of the estimation may be measured by means of mutual information [43, 44]. Bayesian analysis [45, 46] is sometimes used to provide strategies for optimizing the estimation strategy.

Other entangled [figure omitted; refer to PDF] -photon states, such as those of [47, 48], may be used. Some of these states give slightly better sensitivity or are slightly more robust to noise, but overall they give qualitatively similar results to those derived from NOON states. For completeness, we should mention that entangled states are not necessary to surpass the standard quantum limit. For example, squeezed states have been shown to be capable of achieving [figure omitted; refer to PDF] phase sensitivity [49]. However, up to this point only entangled states seem to be capable of fully reaching the Heisenberg bound. Also, it has been shown that through a postselection scheme [8] it is possible to produce super-resolution without the use of entangled illumination states (although super-sensitivity was not demonstrated).

3. Angular and Rotational Measurements

3.1. Optical Orbital Angular Momentum

In the last section, it was shown that phase measurements could be made with entangled optical states that exceed the standard quantum limit. It is natural to ask if a similar improvement can be made in measurements of other quantities. In this section, we show that this can be done for angular displacements [50]. This is done by using states for which angular rotations lead to proportional phase shifts; the super-sensitivity to phase then leads to super-sensitivity to orientation angles. In this subsection, we introduce the idea of optical angular momentum and then look at its applications in the following subsections.

It is well known that photons carry one unit of spin angular momentum. This spin manifests itself as circular polarization: left- and right-circularly polarized photons have spin quantum numbers [figure omitted; refer to PDF] along the propagation axis, while linearly polarized photons are formed from equal super-positions of the two spin states. It is only in the past two decades that it has been widely recognized that in addition to this intrinsic spin angular momentum a photon can also carry orbital angular momentum (OAM) [figure omitted; refer to PDF] about its propagation axis [51]. A number of excellent reviews of the subject exist, including [52-54]. Here, we briefly summarize the basic facts.

For a photon to have nonzero OAM, its state must have nontrivial spatial structure, such that the wavefronts have azimuthally dependent phases of the form [figure omitted; refer to PDF] . Here, [figure omitted; refer to PDF] is the angle about the [figure omitted; refer to PDF] -axis and [figure omitted; refer to PDF] is a constant known as the topological charge. There are several ways to imprint such phases onto a beam. The most common are by means of spiral phase plates (plates whose optical thickness varies azimuthally according to [figure omitted; refer to PDF] for light of wavelength [figure omitted; refer to PDF] ) [55], computer generated holograms of forked diffraction gratings [56], or spatial light modulators (SLM).

Since the angular momentum operator about the [figure omitted; refer to PDF] -axis is [figure omitted; refer to PDF] , the resulting wave has a [figure omitted; refer to PDF] -component of angular momentum given by [figure omitted; refer to PDF] , where [figure omitted; refer to PDF] is Planck's constant. The fact that the wavefunction must be single valued under rotations [figure omitted; refer to PDF] forces [figure omitted; refer to PDF] to be quantized to integer values. The [figure omitted; refer to PDF] phase factor has the effect of tilting the wavefronts, giving them a corkscrew shape (Figure 2). The Poynting vector [figure omitted; refer to PDF] must be perpendicular to the wavefront, so it is at a nonzero angle to the propagation direction. [figure omitted; refer to PDF] therefore rotates about the axis as the wave propagates, leading to the existence of nonzero orbital angular momentum.

Figure 2: Optical wavefronts with nonzero orbital angular momentum have corkscrew-shaped wavefronts. The Poynting vector, [figure omitted; refer to PDF] , must be everywhere perpendicular to the wavefront, so it rotates as the wave propagates along the [figure omitted; refer to PDF] -axis.

[figure omitted; refer to PDF]

The question of separating the angular momentum into spin and orbital parts in a gauge-independent manner is complicated for the general case [57-62], but as long as we restrict attention to the transverse, propagating radiation field in the paraxial region, the splitting is unambiguous and OAM will be conserved in the parametric downconversion process discussed below.

Several different optical beam modes can carry OAM; here, we focus on Laguerre-Gauss (LG) modes (other possibilities include higher-order Bessel or Hermite-Gauss modes). The LG wavefunction or spatial amplitude function is [63] [figure omitted; refer to PDF] with normalization [figure omitted; refer to PDF] and beam radius [figure omitted; refer to PDF] at [figure omitted; refer to PDF] . [figure omitted; refer to PDF] are the associated Laguerre polynomials [64]. [figure omitted; refer to PDF] is the Rayleigh range, [figure omitted; refer to PDF] is the radius of the beam waist, and the arctangent term is the Gouy phase familiar from Gaussian laser beams. The index [figure omitted; refer to PDF] characterizes the radial part of the mode; the number of intensity nodes in the radial direction is [figure omitted; refer to PDF] . All LG modes (for [figure omitted; refer to PDF] ) have a node at the central axis, about which the optical vortex circulates. For [figure omitted; refer to PDF] , additional nodes appear as dark rings, concentric about the central axis. It is important to note that not only macroscopic light beams but also even single photons can have nontrivial spatial structure leading to nonzero OAM.

Measurement of the OAM of a beam can be accomplished in a number of ways, including an interferometric arrangement that sorts different [figure omitted; refer to PDF] values into different outgoing spatial modes [65-67] and sorting by means of [figure omitted; refer to PDF] -plates [68] (devices which couple the OAM to the polarization), as well as by use of polarizing Sagnac interferometers [69], pinhole arrangements followed by Fourier-transforming lenses [70], and specialized refractive elements [71-73].

As was mentioned earlier, the most common way to produce entangled photons is via spontaneous parametric downconversion (SPDC) in a [figure omitted; refer to PDF] nonlinear crystal. In this process, interactions with the crystal lattice cause a high frequency photon from the incident beam (called the pump beam) to split into two lower frequency photons (called, for historical reasons, the signal and idler). The signal-idler pair is entangled in a number of different variables, including energy, momentum, and polarization. Our interest here, though, is in the fact that they are entangled in OAM [74]. We will assume for simplicity that the pump beam has no OAM, in which case the signal and idler have equal and opposite values of topological charge, [figure omitted; refer to PDF] . The [figure omitted; refer to PDF] values of the signal and idler are unconstrained, but since the detectors are usually coupled via fibers that propagate only [figure omitted; refer to PDF] modes, we will restrict attention to the case where the outgoing [figure omitted; refer to PDF] values vanish. The output of the crystal may then be expanded as a super-position of signal-idler states with different OAM values. For the case we are considering, this takes the form [figure omitted; refer to PDF] where [figure omitted; refer to PDF] and [figure omitted; refer to PDF] are the OAM of the signal and idler. Explicit expressions for the expansion coefficients [figure omitted; refer to PDF] may be found in [75-78].

3.2. Angular Displacement Measurement

In order to illustrate super-resolution in angular measurement, consider a Dove prism. This is a prism (Figure 3) designed so that total internal reflection occurs on the bottom surface. Because of this reflection, images are inverted in the vertical direction (the direction perpendicular to the largest prism face), without any corresponding horizontal inversion. One interesting property of these prisms is that if they are rotated by an angle [figure omitted; refer to PDF] about the propagation axis, the image is rotated by [figure omitted; refer to PDF] . For well-collimated light with a definite value of orbital angular momentum, [figure omitted; refer to PDF] , the Dove prism reverses the angular momentum direction, while maintaining its absolute value: [figure omitted; refer to PDF] , assuming that the beam is not too tightly focused [79].

Figure 3: Dove prism. Total internal reflection at the horizontal surface causes images to be inverted vertically.

[figure omitted; refer to PDF]

Consider the setup shown in Figure 4 [50]. The Dove prism is rotated by some unknown angle [figure omitted; refer to PDF] and the goal is to measure [figure omitted; refer to PDF] as precisely as possible. As input, take a pair of entangled photons, with signal and idler of topological quantum numbers [figure omitted; refer to PDF] and [figure omitted; refer to PDF] , respectively. The state produced by the entangled light source will be of the form of (11), but insertion of appropriate filters can be used to block all except for the [figure omitted; refer to PDF] terms for some fixed value of [figure omitted; refer to PDF] : [figure omitted; refer to PDF] where [figure omitted; refer to PDF] and [figure omitted; refer to PDF] denote signal and idler, which we take to enter the interferometer in the upper and lower branches, respectively. The effect of the components of the apparatus on the two-photon state can be traced through to find the output state, [figure omitted; refer to PDF] . The rate of detection events for which value [figure omitted; refer to PDF] arrives at one detector and value [figure omitted; refer to PDF] arrives at the other is then the expectation value of the operator [figure omitted; refer to PDF] We find the expectation values [figure omitted; refer to PDF] so that the uncertainty in [figure omitted; refer to PDF] is [figure omitted; refer to PDF] We may then extract an estimate of the angular displacement from the value of [figure omitted; refer to PDF] . The resulting estimate will have uncertainty [figure omitted; refer to PDF]

Figure 4: Schematic of setup for super-resolution angular displacement measurements using entangled OAM states. Spontaneous parametric downconversion in a nonlinear crystal (on the left) sends entangled photon pairs into a Mach-Zehnder interferometer (middle portion) which contains a Dove prism in one arm. On the right, photodetectors are connected to a coincidence circuit, so that an event is registered only when both detectors fire within a short time window.

[figure omitted; refer to PDF]

This whole procedure can be generalized from two to [figure omitted; refer to PDF] entangled photons. In an identical manner it can be shown that the phase sensitivity is now given by [figure omitted; refer to PDF] This should be compared to the case when an ensemble of [figure omitted; refer to PDF] independent photons are measured with the same apparatus: [figure omitted; refer to PDF] We not only see once again that the entanglement allows the sensitivity to be reduced by a factor of [figure omitted; refer to PDF] beyond the case standard quantum limit, but also further improvements can be made to the angular sensitivity by using states of higher angular momentum. The angular resolution can also exceed the classical limit, with the argument of the oscillatory term in [figure omitted; refer to PDF] being proportional to [figure omitted; refer to PDF] . Such high precision measurement of rotations may ultimately be useful in nanotechnology applications.

3.3. Image Reconstruction and Object Identification

An additional set of OAM-based approaches illustrates the idea that single-photon states can be chosen specifically to suit the type of measurement that will be made with them. The Laguerre-Gauss modes [figure omitted; refer to PDF] form a complete set, meaning that any two-dimensional function can be built as a linear combination of them: [figure omitted; refer to PDF] , for some set of coefficients [figure omitted; refer to PDF] . This fact leads to the idea of digital spiral imaging [80-82]. This is a form of angular momentum spectroscopy in which a beam of known OAM is used to illuminate an object, and then the spectrum of outgoing OAM values is measured after reflection or transmission from the object. This allows the evaluation of the squared coefficients [figure omitted; refer to PDF] of the object's reflection or transmission profile and reveals a great deal of information about the object structure. In this manner, the object could be identified from a known set, or its difference from some desired shape could be quantified. This approach has two advantages: first, for simple objects where only a small number of coefficients are large, the OAM spectrum can be determined to good accuracy with a small number of photons. Second, rotating the object only adds a constant phase factor to all the amplitudes, leaving the intensities of the outgoing components unchanged. This means that the spatial orientation of the object does not need to be known and that the object can still be easily identified even if it is rapidly rotating [83]. Measurement of the OAM spectrum also allows for rapid experimental determination of the rotational symmetries of an unknown object [84, 85]. These facts could make this approach ideal for a number of applications, such as (i) looking for sickle cells, cancer cells, or other irregularly shaped cells in a moving bloodstream, (ii) rapidly scanning for defects in parts on an assembly line, or (iii) identifying defects in rapidly spinning objects, such as a rotor blade.

One goal of this approach is to ultimately be able to reconstruct the image from the OAM spectrum alone. Two problems must be addressed in order to do this. The first is that measuring the intensities of the outgoing OAM intensity components is not sufficient for image reconstruction: the coefficients [figure omitted; refer to PDF] are complex, so that their relative phases must be determined as well. This, fortunately, can once again be done by means of an interferometric arrangement such as that of Figure 1 [83-85]; this method has been called correlated spiral imaging . The second problem is that current technology does not easily allow terms with nonzero [figure omitted; refer to PDF] values to be measured efficiently at the single-photon level. So even though the angular structure of the object can be reconstructed, nontrivial radial structure is difficult to detect in this manner. This will likely be remedied over time as improved detection methods are developed.

Digital and correlated spiral imaging do not require entanglement for their basic functioning. However, it is clear that [figure omitted; refer to PDF] -photon entangled states would once again allow these approaches to exceed the classical limits on resolution and sensitivity in the same manner as the other methods described in the earlier sections. In particular, angular oscillation frequencies would again be increased by a factor of [figure omitted; refer to PDF] as in the previous subsection, allowing the same improvement in sensitivity and resolution of small angular structures. In this way, super-resolved imaging could in principle be carried out entirely by OAM measurements.

3.4. Rotational Measurements

Since measurements with OAM are being discussed, one more related type of measurement can be mentioned, even though it does not require entanglement or low photon numbers. Optical orbital angular momentum states can also be used to measure rotation rates [86-90]. Imagine two photons of opposite OAM [figure omitted; refer to PDF] reflecting off the surface of a rotating object. Let [figure omitted; refer to PDF] be the photon frequency and let [figure omitted; refer to PDF] be the rotational frequency of the object. The two reflected photons will experience equal and opposite Doppler shifts: [figure omitted; refer to PDF] . If the two reflected photons are allowed to interfere, the combined intensity will therefore exhibit a beat frequency of [figure omitted; refer to PDF] . If [figure omitted; refer to PDF] is large, then precise measurements can be made of even very small values of [figure omitted; refer to PDF] .

4. Frequency, Polarization, and Dispersion

Here, we briefly mention several other applications, taking a similar approach to those discussed in the earlier sections.

4.1. Frequency Measurement

The Ramsey interferometer, used to measure atomic transition frequencies, is formally equivalent to a Mach-Zehnder interferometer. A schematic of the Ramsey interferometer is shown in Figure 5. A [figure omitted; refer to PDF] pulse is used to put an incoming atom into a super-position of the ground and excited states; this is analogous to the first beam splitter in the Mach-Zehnder case, which puts a photon into a super-position of two different paths. The two energy states gain different phase shifts under free propagation for a fixed time, so that when they are returned to the same state again, they will produce an interference pattern as the time between the two pulses is varied. The relative phase shift is [figure omitted; refer to PDF] , where [figure omitted; refer to PDF] and [figure omitted; refer to PDF] are the energy difference and emitted photon frequency of the levels, [figure omitted; refer to PDF] is Planck's constant, and [figure omitted; refer to PDF] is the time between the two pulses. As a result, the interference pattern allows determination of the frequencies in a manner exactly analogous to the phase determination in a Mach-Zehnder interferometer. The formal analogy between the Mach-Zehnder and Ramsey interferometers (as well as with quantum computer circuits) has been referred to as the quantum Rosetta stone [17, 91], as it allows ideas from one area to be translated directly into the other.

Figure 5: Schematic of a Ramsey interferometer. The first pulse puts the ground state input into super-positions of ground and excited states. Free propagation causes the two terms in the super-position to differ in phase by an amount [figure omitted; refer to PDF] proportional to the transition frequency.

[figure omitted; refer to PDF]

Because of the exact mathematical equivalence between the two interferometers, it follows immediately that the use of entangled atomic states as input to the Ramsey interferometer should allow super-sensitive measurements of frequency, with the uncertainty scaling as [figure omitted; refer to PDF] as the number [figure omitted; refer to PDF] of entangled atoms increases [92, 93]. In a similar manner, Heisenberg-limited resolution can be achieved in optical and atomic gyroscopes, which are also based on Mach-Zehnder interferometry [94].

4.2. Dispersion

Dispersion, the differential propagation speed of different states of light, must be taken into account to very high precision in modern optical telecommunication systems, in long-range stand-off sensing, and in many other areas. Here, we briefly mention several related quantum approaches to the measurement and cancelation of dispersion.

Chromatic dispersion effects can be described by considering the wavenumber [figure omitted; refer to PDF] to be a function of frequency: [figure omitted; refer to PDF] . In a dispersive medium, [figure omitted; refer to PDF] will be a nonlinear function of [figure omitted; refer to PDF] , causing different frequencies to propagate at different speeds. This leads to broadening of wave packets as they propagate, reducing the resolution of measurements made with those packets. Expanding [figure omitted; refer to PDF] in a Taylor series, it can be divided into terms that are even-order and terms of odd-order in frequency. It was found in the early 1990s that the use of an entangled light source combined with coincidence counting can cause the even order terms to cancel; among other things, this means that the largest contribution to the broadening (the second-order group delay term) will be absent. Unlike the applications in the previous section, this method does not require simultaneous entanglement of a large number [figure omitted; refer to PDF] of photons: it only requires two photons to be entangled at a time and so can be easily carried out with standard downconversion sources. These sources naturally produce photon pairs with frequencies [figure omitted; refer to PDF] displaced by equal amounts about the central frequency, [figure omitted; refer to PDF] ( [figure omitted; refer to PDF] is half the pump frequency). The two photons are in fact entangled in the frequency variable: it is not predetermined which photon has the higher frequency and which has the lower, so both possibilities have to be super-posed: [figure omitted; refer to PDF]

For even-order dispersion cancelation, the essential idea is to make the photons interfere in such a way that the two opposite-signed frequency displacements add, causing the even powers in the expansion to cancel. There are two ways to do this. The Steinberg-Kwiat-Chaio (SKC) method [95, 96] puts the dispersive material into one arm of a Mach-Zehnder interferometer, sends the entangled photons into the system at one end, and then measures coincidence counts in the two output ports at the other end. The Franson method [97], on the other hand, sends the two photons into two materials with opposite dispersion, looking again at coincidence counts at the output. Either way, the second order pulse-broadening terms are absent.

It has since been shown that the SKC method can be reproduced with classical light sources (no entanglement) [98, 99], but the Franson method seems to truly require entanglement. It has also been shown [100] that by concatenating two successive interferometers (one Hong-Ou-Mandel interferometer [36] and one Mach-Zehnder), more complicated manipulations of the even- and odd-order frequency dispersion terms can be carried out, such as canceling the odd-order terms or causing even-order and odd-order cancelation to occur simultaneously in different parts of an interferogram.

Optical coherence tomography (OCT) is a well-known interferometric method for detecting and mapping subsurface structures in biological samples. It makes use of first-order amplitude-amplitude correlations. Quantum optical coherence tomography (QOCT) [101-103] is a similar method that makes use of entangled photon sources and second-order intensity-intensity correlations. QOCT has greatly improved resolution due to the dispersion cancelation described above. The main difficulty with the method is that it is very slow due to the need for individual pairs of entangled photons. Several variations [98, 99, 104-106] have been proposed that mimic the dispersion-canceling effect of QOCT to varying degrees using classical light sources, including an experimental demonstration of dispersion-cancelled OCT with a [figure omitted; refer to PDF] -fold reduction in the broadening of the interference peaks [107].

In addition to chromatic dispersion, optical pulses can also exhibit polarization mode dispersion (PMD) in which components of an optical pulse with different polarizations travel at different speeds. With the extensive use of reconfigurable optical add-drop multiplexer (ROADM) systems in modern fiber optics networks it has become essential to be able to characterize the PMD of small components such as wavelength selective switches to very high levels of precision. Quantum interferometric methods similar to those used for chromatic dispersion cancelation have also been shown to allow ultra-high precision PMD measurements [19, 20, 108, 109], beyond those possible using interferometry with classical states of light. In particular, the apparatus of [19] has been demonstrated to produce time delay measurements with sensitivities as low as the attosecond ( [figure omitted; refer to PDF] s) level [20] as a result of even-order dispersion cancelation; this was the first demonstration of a quantum metrology application implemented on an industrial commercial device. The apparatus for super-resolved PMD measurement is once again conceptually similar to the interferometers of Figure 1, expect that now the first beam splitter sends different polarizations into different spatial modes; the phase shift in one arm is introduced by dispersion, and the two polarizations are mixed at the end by diagonally oriented polarizers instead of by a second beam splitter.

4.3. Quantum Lithography

Although not a sensing or measuring application, one other topic should be mentioned which is closely related to the subjects of this paper. That is the idea of quantum lithography [35, 110-112], in which entangled states such as NOON states are used to write subwavelength structures onto a substrate. This again is due to the fact that the [figure omitted; refer to PDF] -photon entangled state oscillates [figure omitted; refer to PDF] times faster than the single-photon state or, equivalently, that the effective wavelength of the system is reduced from [figure omitted; refer to PDF] to [figure omitted; refer to PDF] . The method holds great promise, in principle, for use in fabricating more compact microchips and for other nanotechnology applications. However, practical application of the idea is again currently hampered by the difficulty of creating high [figure omitted; refer to PDF] entangled states on demand. Moreover, recent work [113] has shown that the efficiency of the process is low for small values of [figure omitted; refer to PDF] .

5. Conclusions

The methods of quantum sensing described in this review (use of entangled states, choosing single-photon or multiphoton states that are tailored to optimize the desired measurement, and use of intensity-intensity correlations), in principle, allow great advantages over classical methods. The current challenges involve overcoming the limitations that arise in real-life practice. Chief among these challenges are the following:

(i) Producing high-quality entangled states with [figure omitted; refer to PDF] photons is very difficult to arrange, and the efficiencies of current methods are extremely low.

(ii) For more sophisticated OAM-based applications, optical fibers that propagate multiple [figure omitted; refer to PDF] values and an effective means of measuring the radial [figure omitted; refer to PDF] quantum number are needed.

(iii): NOON states are fragile against loss and noise [48], so they are not suitable for use in noisy real-world environments. However, methods have been developed to find other states with more robust entanglement [48, 114-116]. Some of these states have been shown to beat the standard quantum limit, and there is hope for ultimately finding states that strongly approach the Heisenberg limit in lossy and noisy environments.

If these technical challenges can be met, quantum measurement methods will be ready to move from the laboratory to the real world, opening a wide range of new applications and improved measurement capabilities.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

References

[1] W. Lukosz, "Optical systems with resolving powers exceeding the classical limit," Journal of the Optical Society of America , vol. 56, no. 11, pp. 1463-1472, 1966.

[2] R. Heintzmann, M. G. L. Gustafsson, "Subdiffraction resolution in continuous samples," Nature Photonics , vol. 3, no. 7, pp. 362-364, 2009.

[3] J. Jacobson, G. Björk, I. Chuang, Y. Yamamoto, "Photonic de broglie waves," Physical Review Letters , vol. 74, no. 24, pp. 4835-4838, 1995.

[4] E. J. S. Fonseca, C. H. Monken, S. Padua, "Measurement of the de Broglie wavelength of a multiphoton wave packet," Physical Review Letters , vol. 82, no. 14, pp. 2868-2871, 1999.

[5] K. Edamatsu, R. Shimizu, T. Itoh, "Measurement of the photonic de broglie wavelength of entangled photon pairs generated by spontaneous parametric down-conversion," Physical Review Letters , vol. 89, no. 21, 2002.

[6] M. W. Mitchell, J. S. Lundeen, A. M. Steinberg, "Super-resolving phase measurements with a multiphoton entangled state," Nature , vol. 429, no. 6988, pp. 161-164, 2004.

[7] P. Walther, J.-W. Pan, M. Aspelmeyer, R. Ursin, S. Gasparoni, A. Zeilinger, "De Broglie wavelength of a non-local four-photon state," Nature , vol. 429, no. 6988, pp. 158-161, 2004.

[8] K. J. Resch, K. L. Pregnell, R. Prevedel, A. Gilchrist, G. J. Pryde, J. L. O'Brien, A. G. White, "Time-reversal and super-resolving phase measurements," Physical Review Letters , vol. 98, no. 22, 2007.

[9] V. Giovannetti, S. Lloyd, L. MacCone, "Advances in quantum metrology," Nature Photonics , vol. 5, no. 4, pp. 222-229, 2011.

[10] Y. Shih, "Entangled biphoton source-property and preparation," Reports on Progress in Physics , vol. 66, no. 6, pp. 1009-1044, 2003.

[11] L. Mandel, E. Wolf Optical Coherence and Quantum Optics , Cambridge University Press, Cambridge, UK, 1995.

[12] R. Loudon The Quantum Theory of Light , Oxford University Press, Oxford, UK, 2000., 3rd.

[13] J. F. Clauser, M. A. Horne, "Experimental consequences of objective local theories," Physical Review D , vol. 10, no. 2, pp. 526-535, 1974.

[14] J. F. Clauser, A. Shimony, "Bell's theorem: experimental tests and implications," Reports on Progress in Physics , vol. 41, no. 12, pp. 1881-1927, 1978.

[15] J. L. O'Brien, A. Furusawa, J. Vuckovic, "Photonic quantum technologies," Nature Photonics , vol. 3, no. 12, pp. 687-695, 2009.

[16] A. V. Sergienko, G. S. Jaeger, "Quantum information processing and precise optical measurement with entangled-photon pairs," Contemporary Physics , vol. 44, no. 4, pp. 341-356, 2003.

[17] K. T. Kapale, L. D. Didomenico, H. Lee, P. Kok, J. P. Dowling, "Quantum interferometric sensors," Concepts of Physics , vol. 2, no. 3-4, pp. 225-240, 2005.

[18] V. Giovannetti, S. Lloyd, L. Maccone, "Quantum-enhanced measurements: beating the standard quantum limit," Science , vol. 306, no. 5700, pp. 1330-1336, 2004.

[19] A. Fraine, D. S. Simon, O. Minaeva, R. Egorov, A. V. Sergienko, "Precise evaluation of polarization mode dispersion by separation of even- and odd-order effects in quantum interferometry," Optics Express , vol. 19, no. 23, pp. 22820-22836, 2011.

[20] A. Fraine, O. Minaeva, D. S. Simon, R. Egorov, A. V. Sergienko, "Evaluation of polarization mode dispersion in a telecommunication wavelength selective switch using quantum interferometry," Optics Express , vol. 20, no. 3, pp. 2025-2033, 2012.

[21] Z. Hradil, "Phase measurement in quantum optics," Quantum Optics , vol. 4, no. 2, pp. 93-108, 1992.

[22] L. Susskind, J. Glogower, "Quantum mechanical phase and time operator," Physics , vol. 1, no. 1, pp. 49-61, 1964.

[23] P. Carruthers, M. M. Nieto, "Phase and angle variables in quantum mechanics," Reviews of Modern Physics , vol. 40, no. 2, pp. 411-440, 1968.

[24] J.-M. Levy-Leblond, "Who is afraid of nonhermitian operators? A quantum description of angle and phase," Annals of Physics , vol. 101, no. 1, pp. 319-341, 1976.

[25] D. T. Pegg, S. M. Barnett, "Phase properties of the quantized single-mode electromagnetic field," Physical Review A , vol. 39, no. 4, pp. 1665-1675, 1989.

[26] J. A. Vaccaro, D. T. Pegg, "Phase properties of squeezed states of light," Optics Communications , vol. 70, no. 6, pp. 529-534, 1989.

[27] S. M. Barnett, S. Stenholm, D. T. Pegg, "A new approach to optical phase diffusion," Optics Communications , vol. 73, no. 4, pp. 314-318, 1989.

[28] J. A. Vaccaro, D. T. Pegg, "Physical number-phase intelligent and minimum-uncertainty states of light," Journal of Modern Optics , vol. 37, no. 1, pp. 17-39, 1990.

[29] S. M. Barnett, D. T. Pegg, "Quantum theory of rotation angles," Physical Review A , vol. 41, no. 7, pp. 3427-3435, 1990.

[30] J. A. Vaccaro, D. T. Pegg, "Wigner function for number and phase," Physical Review A , vol. 41, no. 9, pp. 5156-5163, 1990.

[31] G. S. Summy, D. T. Pegg, "Phase optimized quantum states of light," Optics Communications , vol. 77, no. 1, pp. 75-79, 1990.

[32] S. M. Barnett, D. T. Pegg, "Quantum theory of optical phase correlations," Physical Review A , vol. 42, no. 11, pp. 6713-6720, 1990.

[33] D. T. Pegg, J. A. Vaccaro, S. M. Barnett, "Quantum-optical phase and canonical conjugation," Journal of Modern Optics , vol. 37, no. 11, pp. 1703-1710, 1990.

[34] J. Bergou, B.-G. Englert, "Operators of the phase. Fundamentals," Annals of Physics , vol. 209, no. 2, pp. 479-505, 1991.

[35] A. N. Boto, P. Kok, D. S. Abrams, S. L. Braunstein, C. P. Williams, J. P. Dowling, "Quantum interferometric optical lithography: exploiting entanglement to beat the diffraction limit," Physical Review Letters , vol. 85, no. 13, pp. 2733-2736, 2000.

[36] C. K. Hong, Z. Y. Ou, L. Mandel, "Measurement of subpicosecond time intervals between two photons by interference," Physical Review Letters , vol. 59, no. 18, pp. 2044-2046, 1987.

[37] I. Afek, O. Ambar, Y. Silberberg, "High-NOON states by mixing quantum and classical light," Science , vol. 328, no. 5980, pp. 879-881, 2010.

[38] Y. Israel, I. Afek, S. Rosen, O. Ambar, Y. Silberberg, "Experimental tomography of NOON states with large photon numbers," Physical Review A , vol. 85, no. 2, 2012.

[39] A. S. Lane, S. L. Braunstein, C. M. Caves, "Maximum-likelihood statistics of multiple quantum phase measurements," Physical Review A , vol. 47, no. 3, pp. 1667-1696, 1993.

[40] Y. Israel, S. Rosen, Y. Silberberg, "Supersensitive polarization microscopy using NOON states of light," Physical Review Letters , vol. 112, no. 10, 2014.

[41] H. Cramer Mathematical Methods of Statistics , Princeton University Press, Princeton, NJ, USA, 1946.

[42] C. R. Rao, "Information and the accuracy attainable in the estimation of statistical parameters," Bulletin of the Calcutta Mathematical Society , vol. 37, no. 3, pp. 81-91, 1945.

[43] D. S. Simon, A. V. Sergienko, T. B. Bahder, "Dispersion and fidelity in quantum interferometry," Physical Review A , vol. 78, no. 5, 2008.

[44] T. B. Bahder, "Phase estimation with nonunitary interferometers: information as a metric," Physical Review A , vol. 83, no. 5, 2011.

[45] Z. Hradil, R. Myska, J. Perina, M. Zawisky, Y. Hasegawa, H. Rauch, "Quantum phase in interferometry," Physical Review Letters , vol. 76, no. 23, pp. 4295-4298, 1996.

[46] L. Pezze, A. Smerzi, G. Khoury, J. F. Hodelin, D. Bouwmeester, "Phase detection at the quantum limit with multiphoton Mach-Zehnder interferometry," Physical Review Letters , vol. 99, no. 22, 2007.

[47] B. Yurke, S. L. McCall, J. R. Klauder, "Phase detection at the quantum limit with multiphoton mach-zehnder interferometry," Physical Review A , vol. 33, no. 22, article 4033, 1986.

[48] S. D. Huver, C. F. Wildfeuer, J. P. Dowling, "Entangled Fock states for robust quantum optical metrology, imaging, and sensing," Physical Review A , vol. 78, no. 6, 2008.

[49] C. M. Caves, "Quantum-mechanical noise in an interferometer," Physical Review D , vol. 23, no. 8, pp. 1693-1708, 1981.

[50] A. K. Jha, G. S. Agarwal, R. W. Boyd, "Supersensitive measurement of angular displacements using entangled photons," Physical Review A , vol. 83, no. 5, 2011.

[51] L. Allen, M. W. Beijersbergen, R. J. C. Spreeuw, J. P. Woerdman, "Orbital angular momentum of light and the transformation of Laguerre-Gaussian laser modes," Physical Review A , vol. 45, no. 11, pp. 8185-8189, 1992.

[52] A. M. Yao, M. J. Padgett, "Orbital angular momentum: origins, behavior and applications," Advances in Optics and Photonics , vol. 3, no. 2, pp. 161-204, 2011.

[53] J. P. Torres, L. Torner Twisted Photons: Applications of Light with Orbital Angular Momentum , Wiley, Hoboken, NJ, USA, 2011.

[54] S. Franke-Arnold, L. Allen, M. Padgett, "Advances in optical angular momentum," Laser and Photonics Reviews , vol. 2, no. 4, pp. 299-313, 2008.

[55] M. W. Beijersbergen, R. P. C. Coerwinkel, M. Kristensen, J. P. Woerdman, "Helical-wavefront laser beams produced with a spiral phaseplate," Optics Communications , vol. 112, no. 5-6, pp. 321-327, 1994.

[56] V. Y. Bazhenov, M. V. Vasnetsov, M. S. Soskin, "Laser beams with screw dislocations in their wavefronts," JETP Letters , vol. 52, no. 8, pp. 429-431, 1990.

[57] S. M. Barnett, L. Allen, "Orbital angular momentum and nonparaxial light beams," Optics Communications , vol. 110, no. 5-6, pp. 670-678, 1994.

[58] S. J. van Enk, G. Nienhuis, "Commutation rules and eigenvalues of spin and orbital angular momentum of radiation fields," Journal of Modern Optics , vol. 41, no. 5, pp. 963-977, 1994.

[59] S. J. van Enk, G. Nienhuis, "Spin and orbital angular momentum of photons," Europhysics Letters , vol. 25, no. 7, pp. 497-501, 1994.

[60] Y. Zhao, J. S. Edgar, G. D. M. Jeffries, D. McGloin, D. T. Chiu, "Spin-to-orbital angular momentum conversion in a strongly focused optical beam," Physical Review Letters , vol. 99, no. 7, 2007.

[61] T. A. Nieminen, A. B. Stilgoe, N. R. Heckenberg, H. Rubinsztein-Dunlop, "Angular momentum of a strongly focused Gaussian beam," Journal of Optics A: Pure and Applied Optics , vol. 10, no. 11, 2008.

[62] E. Santamato, "Photon orbital angular momentum: problems and perspectives," Fortschritte der Physik , vol. 52, no. 11-12, pp. 1141-1153, 2004.

[63] L. Allen, M. Padgett, M. Babiker, "The orbital angular momentum of light," Progress in Optics , vol. 39, pp. 291-372, 1999.

[64] G. Arfken, H. Weber Mathematical Methods for Physicists , Academic Press, Waltham, Mass, USA, 2000.

[65] J. Leach, M. J. Padgett, S. M. Barnett, S. Franke-Arnold, J. Courtial, "Measuring the orbital angular momentum of a single photon," Physical Review Letters , vol. 88, no. 25, 2002.

[66] J. Leach, J. Courtial, K. Skeldon, S. M. Barnett, S. Franke-Arnold, M. J. Padgett, "Interferometric methods to measure orbital and spin, or the total angular momentum of a single photon," Physical Review Letters , vol. 92, no. 1, pp. 136011-136014, 2004.

[67] C. Gao, X. Qi, Y. Liu, J. Xin, L. Wang, "Sorting and detecting orbital angular momentum states by using a Dove prism embedded Mach-Zehnder interferometer and amplitude gratings," Optics Communications , vol. 284, no. 1, pp. 48-51, 2011.

[68] E. Karimi, B. Piccirillo, E. Nagali, L. Marrucci, E. Santamato, "Efficient generation and sorting of orbital angular momentum eigenmodes of light by thermally tuned q-plates," Applied Physics Letters , vol. 94, no. 23, 2009.

[69] S. Slussarenko, V. D'Ambrosio, B. Piccirillo, L. Marrucci, E. Santamato, "The Polarizing Sagnac Interferometer: a tool for light orbital angular momentum sorting and spin-orbit photon processing," Optics Express , vol. 18, no. 26, pp. 27205-27216, 2010.

[70] C.-S. Guo, S.-J. Yue, G.-X. Wei, "Measuring the orbital angular momentum of optical vortices using a multipinhole plate," Applied Physics Letters , vol. 94, no. 23, 2009.

[71] M. J. Padgett, L. Allen, "Orbital angular momentum exchange in cylindrical-lens mode converters," Journal of Optics B: Quantum and Semiclassical Optics , vol. 4, no. 2, pp. S17-S19, 2002.

[72] G. C. G. Berkhout, M. P. J. Lavery, J. Courtial, M. W. Beijersbergen, M. J. Padgett, "Efficient sorting of orbital angular momentum states of light," Physical Review Letters , vol. 105, no. 15, 2010.

[73] M. P. J. Lavery, D. J. Robertson, G. C. G. Berkhout, G. D. Love, M. J. Padgett, J. Courtial, "Refractive elements for the measurement of the orbital angular momentum of a single photon," Optics Express , vol. 20, no. 3, pp. 2110-2115, 2012.

[74] A. Mair, A. Vaziri, G. Weihs, A. Zeilinger, "Entanglement of the orbital angular momentum states of photons," Nature , vol. 412, no. 6844, pp. 313-316, 2001.

[75] J. P. Torres, A. Alexandrescu, L. Torner, "Quantum spiral bandwidth of entangled two-photon states," Physical Review A , vol. 68, no. 5, 2003.

[76] X.-F. Ren, G.-P. Guo, B. Yu, J. Li, G.-C. Guo, "The orbital angular momentum of down-converted photons," Journal of Optics B: Quantum and Semiclassical Optics , vol. 6, no. 4, pp. 243-247, 2004.

[77] G. A. Barbossa, "Wave function for spontaneous parametric down-conversion with orbital angular momentum," Physical Review A , vol. 80, no. 6, 2009.

[78] F. M. Miatto, A. M. Yao, S. M. Barnett, "Full characterization of the quantum spiral bandwidth of entangled biphotons," Physical Review A , vol. 83, no. 3, 2011.

[79] N. Gonzalez, G. Molina-Terriza, J. P. Torres, "How a Dove prism transforms the orbital angular momentum of a light beam," Optics Express , vol. 14, no. 20, pp. 9093-9102, 2006.

[80] L. Torner, J. P. Torres, S. Carrasco, "Digital spiral imaging," Optics Express , vol. 13, no. 3, pp. 873-881, 2005.

[81] G. Molina-Terriza, L. Rebane, J. P. Torres, L. Torner, S. Carrasco, "Probing canonical geometrical objects by digital spiral imaging," Journal of the European Optical Society , vol. 2, 2007.

[82] J. P. Torres, A. Alexandrescu, L. Torner, "Quantum spiral bandwidth of entangled two-photon states," Physical Review A , vol. 68, no. 5, 2003.

[83] C. A. Fitzpatrick, D. S. Simon, A. V. Sergienko, "High-capacity imaging and rotationally insensitive object identification with correlated orbital angular momentum states," International Journal of Quantum Information , vol. 12, no. 7-8, 2015.

[84] D. S. Simon, A. V. Sergienko, "Two-photon spiral imaging with correlated orbital angular momentum states," Physical Review A , vol. 85, no. 4, 2012.

[85] N. Uribe-Patarroyo, A. Fraine, D. S. Simon, O. Minaeva, A. V. Sergienko, "Object identification using correlated orbital angular momentum states," Physical Review Letters , vol. 110, no. 4, 2013.

[86] M. V. Vasnetsov, J. P. Torres, D. V. Petrov, L. Torner, "Observation of the orbital angular momentum spectrum of a light beam," Optics Letters , vol. 28, no. 23, pp. 2285-2287, 2003.

[87] M. P. J. Lavery, F. C. Speirits, S. M. Barnett, M. J. Padgett, "Detection of a spinning object using light's orbital angular momentum," Science , vol. 341, no. 6145, pp. 537-540, 2013.

[88] C. Rosales-Guzman, N. Hermosa, A. Belmonte, J. P. Torres, "Experimental detection of transverse particle movement with structured light," Scientific Reports , vol. 3, article 2815, 2013.

[89] M. P. Lavery, S. M. Barnett, F. C. Speirits, M. J. Padgett, "Observation of the rotational Doppler shift of a white-light, orbital-angular-momentum-carrying beam backscattered from a rotating body," Optica , vol. 1, no. 1, pp. 1-4, 2014.

[90] M. Padgett, "A new twist on the Doppler shift," Physics Today , vol. 67, no. 2, pp. 58-59, 2014.

[91] H. Lee, P. Kok, J. P. Dowling, "A quantum Rosetta stone for interferometry," Journal of Modern Optics , vol. 49, no. 14-15, pp. 2325-2338, 2002.

[92] J. J. Bollinger, W. M. Itano, D. J. Wineland, D. J. Heinzen, "Optimal frequency measurements with maximally correlated states," Physical Review A , vol. 54, no. 6, pp. R4649-R4652, 1996.

[93] P. Bouyer, M. A. Kasevich, "Heisenberg-limited spectroscopy with degenerate Bose-Einstein gases," Physical Review A , vol. 56, no. 2, pp. R1083-R1086, 1997.

[94] J. P. Dowling, "Correlated input-port, matter-wave interferometer: quantum-noise limits to the atom-laser gyroscope," Physical Review A , vol. 57, no. 6, pp. 4736-4746, 1998.

[95] A. M. Steinberg, P. G. Kwiat, R. Y. Chiao, "Dispersion cancellation in a measurement of the single-photon propagation velocity in glass," Physical Review Letters , vol. 68, no. 16, pp. 2421-2424, 1992.

[96] A. M. Steinberg, P. G. Kwiat, R. Y. Chiao, "Dispersion cancellation and high-resolution time measurements in a fourth-order optical interferometer," Physical Review A , vol. 45, no. 9, pp. 6659-6665, 1992.

[97] J. D. Franson, "Nonlocal cancellation of dispersion," Physical Review A , vol. 45, no. 5, pp. 3126-3132, 1992.

[98] B. I. Erkmen, J. H. Shapiro, "Phase-conjugate optical coherence tomography," Physical Review A , vol. 74, no. 4, 2006.

[99] K. J. Resch, P. Puvanathasan, J. S. Lundeen, M. W. Mitchell, K. Bizheva, "Classical dispersion-cancellation interferometry," Optics Express , vol. 15, no. 14, pp. 8797-8804, 2007.

[100] O. Minaeva, C. Bonato, B. E. A. Saleh, D. S. Simon, A. V. Sergienko, "Odd- and even-order dispersion cancellation in quantum interferometry," Physical Review Letters , vol. 102, no. 10, 2009.

[101] A. F. Abouraddy, M. B. Nasr, B. E. A. Saleh, A. V. Sergienko, M. C. Teich, "Quantum-optical coherence tomography with dispersion cancellation," Physical Review A , vol. 65, no. 5, 2002.

[102] M. B. Nasr, B. E. A. Saleh, A. V. Sergienko, M. C. Teich, "Demonstration of dispersion-canceled quantum-optical coherence tomography," Physical Review Letters , vol. 91, no. 8, 2003.

[103] M. B. Nasr, D. P. Goode, N. Nguyen, G. Rong, L. Yang, B. M. Reinhard, B. E. A. Saleh, M. C. Teich, "Quantum optical coherence tomography of a biological sample," Optics Communications , vol. 282, no. 6, pp. 1154-1159, 2009.

[104] K. Banaszek, A. S. Radunsky, I. A. Walmsley, "Blind dispersion compensation for optical coherence tomography," Optics Communications , vol. 269, no. 1, pp. 152-155, 2007.

[105] R. Kaltenbaek, J. Lavoie, D. N. Biggerstaff, K. J. Resch, "Quantum-inspired interferometry with chirped laser pulses," Nature Physics , vol. 4, no. 11, pp. 864-868, 2008.

[106] J. L. Gouët, D. Venkatraman, F. N. C. Wong, J. H. Shapiro, "Experimental realization of phase-conjugate optical coherence tomography," Optics Letters , vol. 35, no. 7, pp. 1001-1003, 2010.

[107] M. D. Mazurek, K. M. Schreiter, R. Prevedel, R. Kaltenbaek, K. J. Resch, "Dispersion-cancelled biological imaging with quantum-inspired interferometry," Scientific Reports , vol. 3, article 1582, 2013.

[108] D. Branning, A. L. Migdall, A. V. Sergienko, "Simultaneous measurement of group and phase delay between two photons," Physical Review A , vol. 62, no. 6, 2000.

[109] E. Dauler, G. Jaeger, A. Muller, A. Migdall, A. Sergienko, "Tests of a two-photon technique for measuring polarization mode dispersion with subfemtosecond precision," Journal of Research of the National Institute of Standards and Technology , vol. 104, no. 1, pp. 1-10, 1999.

[110] M. D'Angelo, M. V. Chekhova, Y. Shih, "Two-photon diffraction and quantum lithography," Physical Review Letters , vol. 87, no. 1, 2001.

[111] G. Björk, L. L. Sanchez-Soto, J. Söderholm, "Entangled-state lithography: tailoring any pattern with a single state," Physical Review Letters , vol. 86, no. 20, pp. 4516-4519, 2001.

[112] G. Björk, L. L. Sanchez-Soto, J. Söderholm, "Subwavelength lithography over extended areas," Physical Review A , vol. 64, no. 1, 2001.

[113] C. Kothe, G. Björk, S. Inoue, M. Bourennane, "On the efficiency of quantum lithography," New Journal of Physics , vol. 13, 2011.

[114] U. Dorner, R. Demkowicz-Dobrzanski, B. J. Smith, J. S. Lundeen, W. Wasilewski, K. Banaszek, I. A. Walmsley, "Optimal quantum phase estimation," Physical Review Letters , vol. 102, no. 4, 2009.

[115] R. Demkowicz-Dobrzanski, U. Dorner, B. J. Smith, J. S. Lundeen, W. Wasilewski, K. Banaszek, I. A. Walmsley, "Quantum phase estimation with lossy interferometers," Physical Review A , vol. 80, no. 1, 2009.

[116] T.-W. Lee, S. D. Huver, H. Lee, L. Kaplan, S. B. McCracken, C. Min, D. B. Uskov, C. F. Wildfeuer, G. Veronis, J. P. Dowling, "Optimization of quantum interferometric metrological sensors in the presence of photon loss," Physical Review A , vol. 80, no. 6, 2009.

[117] R. Shankar Principles of Quantum Mechanics , Plenum Press, New York, NY, USA, 2011., 2nd.

[118] A. Peres Quantum Theory: Concepts and Methods , Kluwer Academic Publishers, Dordrecht, The Netherlands, 1995.

[119] D. J. Griffiths Introduction to Quantum Mechanics , Pearson Education, Essex, UK, 2004., 2nd.

[120] J. S. Bell, "On the problem of hidden variables in quantum mechanics," Reviews of Modern Physics , vol. 38, no. 3, pp. 447-452, 1966.

[121] J. S. Bell, "On the Einstein Podolsky Rosen paradox," Physics , vol. 1, no. 3, pp. 195-200, 1964.

[122] A. Aspect, P. Grangier, G. Roger, "Experimental tests of realistic local theories via Bell's theorem," Physical Review Letters , vol. 47, no. 7, pp. 460-463, 1981.

[123] K. Edamatsu, "Entangled photons: generation, observation, and characterization," Japanese Journal of Applied Physics , vol. 46, no. 11, pp. 7175-7187, 2007.

Appendix

Appendix

Brief Review of Quantum Mechanics

As the size scales involved in a measurement or the number of particles involved becomes small, the laws of classical physics break down and the formalism of quantum mechanics must be taken into account. There are many detailed introductions to quantum mechanics from various points of view (e.g., [117-119]). Here, we give just the few minimal facts needed for this review.

The state of a particle (or, more generally, of any quantum system) is described by a vector in a complex space, known as a Hilbert space. In Dirac notation, these vectors are written as [figure omitted; refer to PDF] , [figure omitted; refer to PDF] , and so forth, where [figure omitted; refer to PDF] and [figure omitted; refer to PDF] are just labels for the states. One particularly useful example is the Fock state [figure omitted; refer to PDF] , which contains exactly [figure omitted; refer to PDF] photons. The operators [figure omitted; refer to PDF] and [figure omitted; refer to PDF] , known as creation and annihilation operators, raise and lower the number of photons in the Fock state: [figure omitted; refer to PDF] and [figure omitted; refer to PDF] . The number operator, [figure omitted; refer to PDF] , counts the number of photons in the state: [figure omitted; refer to PDF] .

To each vector [figure omitted; refer to PDF] a corresponding dual or conjugate vector [figure omitted; refer to PDF] is associated. This dual vector is the Hermitian conjugate (the complex transpose) of the original vector. So, for example, if [figure omitted; refer to PDF] is described by a column vector with components [figure omitted; refer to PDF] , then [figure omitted; refer to PDF] is a row vector with components [figure omitted; refer to PDF] : [figure omitted; refer to PDF] Inner products are defined between bras and kets: [figure omitted; refer to PDF] . All vectors are usually assumed to be normalized: [figure omitted; refer to PDF] . Inner products such as [figure omitted; refer to PDF] act as operators that project state [figure omitted; refer to PDF] onto the direction parallel to state [figure omitted; refer to PDF] .

One of the defining properties of quantum mechanics is that it is a linear theory: the dynamics are defined by the Schrödinger equation, a linear second-order partial differential equation. As a result of this linearity, quantum systems obey the super-position principle: any two possible states of a system, say [figure omitted; refer to PDF] and [figure omitted; refer to PDF] , can be added to get another allowed state of the system: [figure omitted; refer to PDF] , where the [figure omitted; refer to PDF] is included to maintain normalization. If [figure omitted; refer to PDF] and [figure omitted; refer to PDF] are not orthogonal to each other, [figure omitted; refer to PDF] , then the two terms in the super-position may interfere with each other, leading to many uniquely quantum phenomena.

Suppose a pair of particles, [figure omitted; refer to PDF] and [figure omitted; refer to PDF] , together form a composite system, [figure omitted; refer to PDF] . If [figure omitted; refer to PDF] is in state [figure omitted; refer to PDF] and [figure omitted; refer to PDF] is in state [figure omitted; refer to PDF] , then the composite system is in state [figure omitted; refer to PDF] , where the subscripts are used to indicate which system is in which state. Such a state is called a product state or a separable state. Often, however, the state of the composite system is known while the states of the individual subsystems are not; in that case, all the possibilities consistent with the available information have to be super-posed, as, for example, in the state [figure omitted; refer to PDF] . The two possibilities ( [figure omitted; refer to PDF] in state [figure omitted; refer to PDF] with [figure omitted; refer to PDF] in state [figure omitted; refer to PDF] versus [figure omitted; refer to PDF] in state [figure omitted; refer to PDF] with [figure omitted; refer to PDF] in state [figure omitted; refer to PDF] ) can be thought of as existing simultaneously. Such a state, which cannot be factored into a single well-defined state for [figure omitted; refer to PDF] and a state for [figure omitted; refer to PDF] , is called entangled . An example is the case where two photons arrive at a beam splitter: both can exit out one output port, both can exit at the other output port, or there are two ways in which the two photons can exit at different ports. If the locations of the outgoing photons are not measured, then there is no way to distinguish between the possibilities and they must all be included: the state of the full system is therefore an entangled state formed by the super-position of all four possibilities. If a measurement is made that determines the states of one of the subsystems, then the entangled state collapses to a product state, and the state of the second subsystem is also therefore known. For example, if particle [figure omitted; refer to PDF] is measured and found to be in state [figure omitted; refer to PDF] , then the collapse [figure omitted; refer to PDF] occurs. After the collapse, we know that [figure omitted; refer to PDF] must now be in state [figure omitted; refer to PDF] . It is important to point out that the subsystems were not in definite states [figure omitted; refer to PDF] and [figure omitted; refer to PDF] before the measurement, but that their prior states as individuals did not even exist. It can be shown that the contrary assumption of prior existence of definite states for each subsystem before measurement leads to contradictions with experiment, as demonstrated by the violation of Bell and CHSH inequalities [13, 14, 120-122]. The fact that entangled subsystems do not exist in definite states before measurement is one of the odder and more nonintuitive aspects of quantum mechanics but is extremely well verified experimentally.

The most common way to produce entangled pairs of photons is via spontaneous parametric downconversion (SPDC) [10], in which nonlinear interactions in a crystal mediate the conversion of an incoming photon (the pump ) into two lower energy outgoing photons (the signal and idler ). Only a tiny fraction of the incoming pump photons undergo downconversion (typically on the order of one in [figure omitted; refer to PDF] ), but SPDC is very versatile in the sense that the downconverted photons can be entangled in multiple different variables (frequency, time, angular momentum, linear momentum, and polarization), and the properties of the entangled pairs can be finely tuned by proper choice of parameters for the nonlinear crystal and the laser beam pump. Other sources, such as quantum dots, atomic cascades, and especially designed nonlinear optical fibers, also exist; see [123] for a review.

Operators are mathematical objects that perform actions on states; these operators can include, for example, matrices and derivatives. Quantities that can be physically measured, such as energy and angular momentum, are eigenvalues of Hermitian operators (operators which equal their Hermitian conjugate). Two operators [figure omitted; refer to PDF] and [figure omitted; refer to PDF] which do not commute, [figure omitted; refer to PDF] , obey an uncertainty relation: if [figure omitted; refer to PDF] and [figure omitted; refer to PDF] are the variables associated to the two operators, then there is a minimum value to the product of their uncertainties: [figure omitted; refer to PDF] must exceed a minimum quantity proportional to the commutator [figure omitted; refer to PDF] . The most famous example is between position ( [figure omitted; refer to PDF] ) and momentum ( [figure omitted; refer to PDF] ). [figure omitted; refer to PDF] and [figure omitted; refer to PDF] form a conjugate pair, obeying the so-called canonical commutation relations: [figure omitted; refer to PDF] , where [figure omitted; refer to PDF] is Planck's constant. As a result, we find the Heisenberg uncertainty relation [figure omitted; refer to PDF] Energy and time obey a similar relation: [figure omitted; refer to PDF]

These uncertainty relations provide the ultimate fundamental physical limit to all measurements and are the basis of the Heisenberg limit given in the main text.