Inﬂuence of atmospheric turbulence on the propagation of quantum states of light using plane-wave encoding

: W e consider the possibility of performing quantum key distribution (QKD) by encoding information onto individual photons using plane-wave basis states. We compare the results of this calculation to those obtained by earlier workers, who considered encoding using OAM-carrying vortex modes of the ﬁeld. We ﬁnd theoretically that plane-wave encoding is less strongly inﬂuenced by atmospheric turbulence than is OAM encoding, with potentially important implications for free-space quantum key distribution.

14. G. A. Tyler and R. W. Boyd, "Influence of atmospheric turbulence on the propagation of quantum states of light carrying orbital angular momentum," Opt. Lett. 34, 142-144 (2009). To allow straightforward comparison between the OAM and plane-wave cases, in the present article we use notation similar to that of this earlier paper. 15. C. Bonato, A. Tomaello, V. Da Deppo, G. Naletto, and P. Villoresi, "Feasibility of satellite quantum key distribution," New J. Phys  There has recently been great interest in encoding information onto the transverse degree of freedom of individual photons [1] for applications such as optical communication and especially for quantum key distribution (QKD) [2]. The transverse degree of freedom of the photon is associated with an infinite-dimensional Hilbert space, and thus there is in principle no limit to how much information can be encoded in this manner onto an individual photon. One motivation for impressing many bits of information onto each photon is to increase the data transmission rate of a QKD system. Another more subtle motivation is to exploit the increased security of a QKD system that is afforded by the use of a larger state space [3,4].
Much of the prior work on exploiting the transverse degree of freedom of the photon for optical communication has made use of states that carry orbital angular momentum (OAM) [5], such as the Laguerre-Gauss (LG) states [1,6,7]. Single-photon states that carry OAM are readily synthesized in the laboratory [8], and the quantum optical properties of these states have been studied by many workers [9].
A prototypical free-space quantum communication system is shown in Fig. 1. Here information is impressed onto individual photons by means of some quantum-state generator, the photons are transmitted through a free-space channel, and they are then collected and analyzed by a receiver. A potential problem with any such communication system is that atmospheric turbulence can lead to the loss of quantum coherence [10], which in the context of a QKD protocol would lead to the received photon being detected in a quantum state other than the one in which it was launched. Earlier theoretical studies [11][12][13][14][15][16][17][18] of QKD based on the use of OAM-carrying beams have shown that such a loss of information is likely to be important under realistic scenarios and have produced explicit predictions for the expected error rates. Encoding in the polarization degree of freedom leads to a communication link that is less susceptible to the influence of turbulence [19], but of course this protocol limits the communication efficiency to one bit per photon.
For practical reasons, it is important to know if some protocols for encoding information onto the transverse degree of freedom of the photon are more robust than others in the presence of atmospheric turbulence. If one could identify such states, one could use this knowledge to develop free-space QKD protocols with increased reliability.
In our earlier study [14], an analysis was presented of an encoding scheme based on the use of pure vortex beams, that is, beams having the form V (r, φ ) = A 0 exp(iℓφ ), where r and φ are radial and azimuthal coordinates, respectively, and ℓ is the OAM quantum number. It was found that these beams showed essentially the same sensitivity to turbulence as do LG beams, thereby suggesting that the specific form of the transverse field distribution used to encode information is not important in determining the robustness of the communication protocol.
In the present article, we explore the possibility of encoding information through the use of plane-wave states of light [20,21]. We choose to explore this form of encoding for two different reasons. One is that a system based on such an encoding scheme should prove easier to implement in the laboratory than one based on the use of OAM states. The other reason is that we want to examine the conceptual question of whether some states are more robust than others, and one might well expect that encoding by impressing phase information onto a cartesian coordinate would be significantly different from encoding onto an azimuthal coordinate.
Specifically, we consider the situation in which the propagation direction of each of the planewave modes lies in the x-z plane, and these modes are launched through a square aperture of side L. We represent each of the plane wave modes in the paraxial approximation as Here m is any positive or negative integer that identifies a particular mode and q is some characteristic transverse wave vector component. We choose the value of q to ensure that the modes are orthogonal over the transmitting aperture. To do so, we consider the overlap integral which, through use of Eq. (1), becomes For m = n this integral is simply evaluated to give O nn = |A| 2 L, whereas more generally we obtain Note that if we choose q to be equal to 2π/L, this equation becomes which vanishes for any non-zero value of the integer m − n. For this value of q, the plane wave modes are orthogonal over the transmitting aperture. We note that this result has the simple interpretation that for q = 2π/L the angle between adjacent modes α = q/k is just equal to λ /L where λ is the optical wavelength, which is the approximate angular spread of each such mode. Thus, these modes are just barely resolved in the far field.
To proceed, we assume that the field launched by the transmitter can be represented as where A 0 is the (spatially uniform) field amplitude, W (ξ ) is the aperture function defined so that W (ξ ) = 1 for |η| ≤ 1 and zero otherwise, and l is the mode index of the launched field. We further assume that the transmitted beam remains sufficiently well collimated that the field at the receiver aperture can be well described by where φ (x, y) represents the turbulence-induced distortion of the wavefront and where we have omitted the overall phase factor exp(ikz). Here we are describing the influence of turbulence in the phase-screen approximation, which is valid when the turbulence is not too strong. We are also assuming that the apertures sizes and separations are chosen so that essentially all of the light leaving the transmitter is intercepted by the receiver. This condition is readily achieved. The necessary condition is that the Fresnel number (F = L 2 /λ Z 0 , where Z 0 is the distance from the transmitter to the receiver) of the communication link be much greater than unity. For a wavelength λ of 1 µm and a separation of Z 0 of 10 km, a telescope aperture of only L = 0.1 m is needed to obtain a Fresnel number of unity. We next consider explicitly the nature of the mode scrambling that is induced by the atmospheric turbulence. The specific motivation for the present calculation is in determining how the integrity of QKD is compromised by the presence of atmospheric turbulence. We are thus interested in determining how the quantum state of an individual photon is modified by atmospheric turbulence. Nonetheless, the calculation can be performed at an entirely classical level by determining how the modes of the transmitted light become scrambled by atmospheric turbulence. The connection between the quantum properties and the classical analyses can be understood from the point of view that a "photon" is one unit of excitation of a given mode of the optical field. To proceed, we expand the quantity exp[iφ (x, y)] in a Fourier series in the x direction only as where the expansion coefficients g m (y) are given by Of course, we could have expanded exp[iφ (x, y)] in Fourier series in both the x and y directions, but doing so is not needed and in fact would complicate the ensuing analysis. It is crucial to note that we are not assuming that the atmospheric properties are uniform in the y direction. Rather, we are arguing that y-dependent inhomogeneities will not lead to beam deflections in the x direction, the direction in which information is encoded. Similarly, we expand the received field V (x, y) in a Fourier series as where each Fourier component V n (y) is given by Eqs. (7) and (8) are now substituted into Eq. (11) which becomes As established above in connection with Eq. (5), the integral in this expression is equal to L for n − l − m = 0 and vanishes otherwise. Using this result, the summation in Eq. (12) can be performed directly to give V n (y) = A 0 W (y/L)g n−l (y).
This result illustrate the manner in which the Fourier components g n−l (r) associated with atmospheric turbulence are coupled to the plane-wave states of the received field. Specifically, if mode l is launched, mode n will be received with a probability amplitude that is proportional to the quantity g n−l (y), which represents the amplitude of the spectrum of atmospheric fluctuations at spatial frequency (n − l)q. Under many practical situations, one is interested primarily in determining the power contained in each plane-wave component of the received field. The total power collected by the receiver is given by where in obtaining the last form we have used the field given by Eq. (7). This power is distributed among the various (orthogonal) plane-wave modes of the received field according to where and where we have made use of Eq. (13) and have defined ∆ as ∆ = n − l. It is also useful to define the fraction s ∆ = P ∆ /P of the received power contained in each plane-wave mode. This quantity is given by For any statistical realization of the atmospheric turbulence, s ∆ gives the probability that the quantum number n of the received photon departs from that l of the transmitted photon by the amount ∆ = n − l. The result presented in Eq. (17) is valid for any realization of atmospheric turbulence. Usually we are interested in the ensemble average of this quantity, which is given by where the angle brackets . . . , represent an ensemble average over the turbulence statistics.
To proceed, Eq. (9) is used to express Eq. (18) in terms of the random phase associated with atmospheric turbulence. One obtains The analysis proceeds using standard methods [14,22,23]. Since the random aberrations introduced by atmospheric turbulence are normal random variables, the ensemble average present in Eq. (19) can be expressed as The quantity [φ (x 1 , y)−φ (x 2 , y)] 2 is known as the phase structure function. It can be evaluated [22] by means of Kolmogorov turbulence theory to give the result where r 0 is Fried's coherence diameter, which is a measure of the transverse distance scale over which refractive index correlations remain correlated. When Eqs. (20) and (21) are introduced into Eq. (19), the resulting integral simplifies dramatically. The result becomes We evaluate this expression as follows. The integral over y can be performed directly. We also make a change of integration variables to ζ = (x 1 + x 2 )/2L and η = ( We note that s ∆ clearly depends only on L/r 0 . This expression can be evaluated numerically under general conditions. Some of the results of this numerical evaluation are shown in Fig. 2. The solid curve labeled ∆ = 0 represents the fraction of the power that remains in the the launched mode after propagation through atmospheric turbulence. The other solid curves indicate the modes into which this power is transferred. For comparison, the dashed curve represents the results for the OAM case studied in reference [14]. We see that plane-wave encoding is more robust to the influence of turbulence that is OAM encoding. The origin of the difference between the two situation can be traced to the form of Eq. (24) and the analogous equation (Eq. 14) of reference [14] for the OAM case. Specifically, the integrands of these two expressions are essentially the same, but the integral in the plane-wave case (expressed in physical units) extends from −L/2 to L/2, whereas the integral for the OAM case extends over an angular range of 2π radians or a distance range of π times the diameter of the OAM mode. For an OAM mode that just fills the aperture of The quantity s ∆ plotted against the strength of the atmospheric turbulence as quantified by the ratio of the linear size L of the telescope aperture to the Fried parameter r 0 for several values of ∆. s ∆ is the ensemble average of the fraction of the received power that is found to be in plane-wave mode n = ℓ + ∆, assuming that the transmitted beam was in plane-wave mode ℓ. Solid lines give the predictions based on a numerical evaluation of the integral in Eq. (24). The dashed curve refers to the OAM case treated in reference [14]. The quantity L represents the diameter of the circular aperture for the OAM case and the length of each side of the square aperture for the plane wave case. Note that the the plane wave encoding is more robust (by about as much as a factor of three) than the OAM encoding. the transmitter telescope, this will lead to about a factor-of-π increase in the robustness of the plane-wave modes as compared to the OAM modes, as is seen in the numerical results of Fig. 2. In fact, the two curves labeled ∆ = 0 in this figure have essentially identical shapes, with the curves being offset horizontally from one another by a value of π. Stated somewhat differently, these results indicate that plane-wave modes are corrupted by fluctuations that occur along the x direction in the range −L/2 to L/2, whereas OAM modes are corrupted by fluctuations that occur anywhere along the circumference of the OAM mode.
In addition to the numerical results presented in Fig. 2, we have found analytic expressions for the integral of Eq. (24) valid in the limits of very small and very large receiver aperture. For small aperture (i.e. for L/r 0 → 0) we can expand the exponent in Eq. (24) in a power series in (L/r 0 ) 5/3 and retain only the lowest-order correction term. For ∆ = 0 we integrate the resulting equation directly to obtain For ∆ = 0, we find that to good approximation For the opposite limit of very large receiver aperture, we obtain s ∆ = 1.70 (r 0 /L) We have also found a highly accurate (at most 1.6% error) approximate expression for s 0 valid over the entire domain of L/r 0 , namely s 0 = 1 + (0.659L/r 0 ) 2 −1/2 .
In any real implementation of a QKD system, it is necessary to be able to transmit in at least two different mutually orthogonal bases. One of the bases can be the plane-wave states considered in this paper. The other can be some linear combination of these states. To assess the performance of the entire system, a calculation of the sort presented here would need to be performed for each one of the additional bases. Such an analysis lies outside of the scope of this article. However, we can make some general comments. Certain linear combination of plane waves are highly localized in space. We expect these states to be less affected by turbulence than the more extended plane-wave states.
In summary, we have presented a calculation that quantifies the rate at which quantum information encoded on the plane-wave states of individual photons is lost as a result of propagation through atmospheric turbulence. These results are summarized by the simple relation of Eq. (28). By comparison with the results of previous workers, we find that plane-wave encoding is less quickly degraded by about a factor of three than is encoding in the OAM states of individual photons. These results should prove useful in the design of practical free-space quantum communication systems.