MIT OpenCourseWarehttp://ocw.mit.edu 6.453 Quantum Optical Communication Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.� Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.453 Quantum Optical Communication Lecture Number 19 Fall 2008 Jeffrey H. Shapiro �c2008 Date: Thursday, November 20, 2008 Continuous-time theories of coherent detection: semiclassical and quantum Introduction Today we will complete our two-lecture treatment of semiclassical versus quantum photodetection theory in continuous time, fo cusing our attention on the coherent de-tection scenarios of homodyne and heterodyne detection. As we did last time for direct detection, we will build these theories in a scalar-wave, quasimonochromatic framework in which there is no (x, y) dependence for the fields illuminating the active region of the photodetector.1 The particular tasks we have set for today’s lecture are like those we pursued last time: develop the semiclassical and quantum pho-todetection statistical models for homodyne and heterodyne detection, and exhibit some continuous-time signatures of non-classical light. However, because the signa-tures that we will examine rely on noise spectral densities, it will be useful for us to back up and elaborate on the direct-detection photocurrent noise spectrum that we considered briefly in the Lecture 18. Semiclassical versus Quantum Photocurrent Statistics For the almost-ideal photodetector—perfect, except for its 0 < η ≤ 1 quantum efficiency—the semiclassical theory of photodetection states that, given the illumi-nation power { P (t) : −∞ < t < ∞}, the photocurrent { i(t) : −∞ < t < ∞} is an inhomogeneous Poisson impulse train. In particular, if { N(t) : t0 ≤ t } is the photocount record starting at time t0, then dN(t)i(t) = q , for t ≥ t0. (1) dt The photocount record is a staircase function, n u(t − tn), comprised of unit height steps located at the photodetection event times, { tn : n < Thus the � 1 ≤ ∞}. photocurrent is a train of area-q impulses, q δ(t − tn), that are located at those n 1For the quantum case, this means that only the normally-incident plane wave components of the incident field operator have non-vacuum states. 1� � � � photodetection event times. For both processes, it is the photodetection event times that provide all the information. So, because these times are Poisson distributed in the semiclassical theory, given the illumination power, N(t) is a Poisson count-ing process and i(t) is a Poisson impulse train. In both cases the rate function is λ(t) = ηP (t)/�ω0, where P (t) = �ω0|E(t)|2 gives the short-time average power of the quasimonochromatic illumination in terms of the classical, photon-units, baseband complex field E(t). The quantum theory for the photocurrent produced our almost-ideal detector is as follows. The observed classical i(t) has statistics that are identical to those of the photocurrent operator ˆi(t) ≡ qEˆ�†(t)Eˆ�(t), (2) where � ˆE�(t) ≡√η Eˆ(t) + 1 − η Eˆη(t). (3) Here, Eˆ(t) and Eˆη(t) are baseband field operators representing the illumination and the effect of sub-unity quantum efficiency, respectively. They commute with each other and with each other’s adjoint and satisfy the canonical commutation relations Eˆ(t), Eˆ†(u) = δ(t − u) and Eˆη(t), Eˆ†(u) = δ(t − u). (4) ηThe modes associated with Eˆ(t) may be in arbitrary states, but those associated with Eˆη(t) are in their vacuum states. When Eˆ(t) is in the coherent state |E(t)�, the photocurrent becomes an inhomogeneous Poisson impulse train with rate function λ(t) = η|E(t)|2, and we recover the semiclassical theory by ide ntifying the coherent-state eigenfunction { E(t) : −∞ < t < ∞} as the classical baseband field, in keeping with2 �E(t)|Eˆ(u)|E(t)� = E(u), for −∞ < u < ∞. (5) When Eˆ(t) is in a classically-random mixture of coherent states—so that its den-sity operator has a proper P representation—the quantum theory again reduces to the semiclassical theory with E(t) being a random process whose statistics are given by the P function. We call such states classical; all other states are therefore non-classical. It turns out that all non-classical states exhibit quantum photodetection statistics in at least one of the three basic configurations—direct, homodyne, or het-erodyne detection—that cannot b e explained by semiclassical theory.3 In the rest of this lecture we shall limit our attention to coherent detection, and, moreover, focus on 2This equation reveals a subtle defect in our coherent-state notation. It would be better, but much less compact, to write the coherent state as |{ E(t) : −∞ < t < ∞}�, to indicate that it is an eigenstate of the field operator at all times with an eigenvalue, at time u, that is given by sampling its associated eigenfunction, { E(t) : −∞ < t < ∞}, at time t = u. 3We proved this statement for the single-mode case by showing that the statistics of heterodyne detection determine the density operator. The same can be shown to be true for the continuous-time case, e.g., by means of a modal expansion and our previous proof, but we will not supply the details. 2� �� � the photocurrent noise spectrum that is observed when the illumination is statistically stationary.4 Photocurrent Statistics for Statistically Stationary Sources The notion of statistical stationarity has to do with invariance to shifts in the time origin. When a real-valued, classical random process x(t) is stationary (to at least second order), its mean function will be a constant, �x(t)� = constant ≡ �x�, (6) and its covariance function will depend only on the time difference between the two noise samples, �Δx(t + τ )Δx(t)� = function of τ only ≡ Kxx(τ), (7) where Δx(t) ≡ x(t) − �x� is the noise part of the process, i.e ., a zero-mean random process equal to the difference between the original process x(t) and its mean �x�. 5 In semiclassical photodetection, the photocurrent i(t) will be stationary if the illumination power P (t) is stationary, in which