1: %\documentclass[12pt,amsmath,showpacs,amssymb,aps,pra,floatfix,nofootinbib]{revtex4}
2: %\documentclass[pra, showpacs, preprint, a4paper]{revtex4}
3: \documentclass[pra, showpacs, twocolumn, a4paper, nofootinbib]{revtex4}
4: %\documentclass[pra, showpacs, a4paper, nofootinbib]{revtex4}
5: %\usepackage{amssymb}
6: \usepackage{graphicx}
7: \usepackage{amsmath, amsfonts, amssymb, bm}
8: %\usepackage[]{psfrag}
9: %\psfragscanoff
10: \setlength{\parindent}{0pt}
11: \def\omfeld{\bar\omega}
12: \def\omvak{\omega_k}
13: \usepackage{amsmath}
14: \usepackage{verbatim}
15: \usepackage{bm}
16: \usepackage{graphicx,psfrag,bm,times,amsmath,amssymb}
17:
18: \newcommand{\grad}{\ensuremath{^{\circ}}}
19:
20: \begin{document}
21:
22: \title{Comment on "Discrepancies in the resonance-fluorescence spectrum calculated
23: with two methods"}
24: \author{Zbigniew \surname{Ficek}$^{a,b}$}
25: \email{ficek@physics.uq.edu.au}
26: \affiliation{$^{a}$Department of Physics, School of Physical Sciences, The University of Queensland, Brisbane, Australia 4072 \\
27: $^{b}$The National Centre for Mathematics and Physics, KACST, P.O.Box 6086, Riyadh 11442, Saudi Arabia}
28:
29: \date{\today}
30:
31:
32: \begin{abstract}
33: There are two alternative methods used in literature to calculate the incoherent part of the spectrum of light scattered by an atomic system. In the first, one calculates the spectrum of the total light scattered by the system and obtains the incoherent part by subtracting the coherent part. In the second method, one introduces the fluctuation operators and obtains the incoherent part of the spectrum by taking the Fourier transform of the two-time correlation function of the fluctuation operators. These two methods have been recognized for years as two completely equivalent for evaluating the incoherent part of the spectrum.
34: In a recent paper Qing Xu {\it et al.} [Phys. Rev. A {\bf 78}, 013407 (2008)] have shown that there are discrepancies between the incoherent parts of the stationary spectrum of a three-level $\Lambda$-type system calculated with these two methods.
35: The predicted discrepancies can be severe that over a wide rage of the Rabi frequencies and atomic decay rates, the spectrum calculated with the variance method can have negative values. This is obviously unphysical result since the fluorescence spectrum is a positively defined quantity. It represents the frequency distribution of light incoherently scattered by the atomic system. Therefore, the calculated spectrum should be positive for all frequencies independent of values of the Rabi frequencies and the damping rates.
36: In this comment, we show that there are no discrepancies between these two methods. The equivalence of these two alternative methods leads to the same incoherent spectra that are positive for all frequencies independent of values of the parameters involved. The analytical analysis is supported by simple numerical calculations.
37: \end{abstract}
38:
39: \pacs{33.50.Dq, 42.50.Hz, 32.80.-t}
40:
41: \maketitle
42:
43:
44:
45: \ \ The incoherent part of the fluorescence spectrum of an atomic system driven by lasers fields is commonly studied with two, often called "limit" and "variance" methods. In the limit method, one calculates the total spectrum from which then the coherent part is subtracted to obtain the incoherent part alone. In the variance method, one define the fluctuation operators and directly obtains the incoherent part of the spectrum by a Fourier transformation of the two-time correlation function of the fluctuation operators. These methods are generally recognized as completely equivalent and have been used for decades to calculate spectra of the stationary electromagnetic field radiated by variety of atomic systems~\cite{m69,km76,cw76,ws76,ct77,ns90,eb02,ft09}. The variance method has been particularly popular in the calculations of the incoherent spectrum of non-stationary fields due to some difficulties in the treatment of the coherent part of the spectrum~\cite{bf80,cr83,wr89,az91,ff93,ffd96,ff00,ab02}.
46:
47: \ \ In a recent paper, Xu {\it et al.}~\cite{xhy} have calculated the incoherent spectrum of the fluorescence field emitted by a three-level $\Lambda$ system driven by two laser fields and claim that these two methods produce different results, and the method of the calculation of the spectrum involving the fluctuation operators may even lead to negative values of the spectrum. This statement, however, is incorrect. In this comment we clarify this point, directly showing that both methods lead to the same incoherent part of the spectrum and the negative values of the spectrum simply arise from an error in the Xu {\it et al.}~\cite{xhy} numerical computation. Specifically, the explanation of the source of the discrepancies given by Xu {\it et al.} is based on the general solution of the set of differential equations describing the time evolution of the system. Therefore, it is necessary to show that there are no discrepancies between these alternative methods since similar discrepancies could be found in other systems described by a similar set of differential equations.
48:
49: \ \ As it is well known, the spectrum of the fluorescence light emitted by an atomic system is obtained by a Fourier transformation of the two-time correlation function of the emitted electromagnetic field that is
50: usually expressed in terms of the two-time correlation function of the atomic operators. In the case of the $\Lambda$-type atom considered by Xu {\it et al.}~\cite{xhy}, the spectrum of the fluorescence light emitted on the atomic $|3\rangle - |1\rangle$ transition can be written~as
51: \begin{eqnarray}
52: S_{T}(\omega) &=& \gamma_{1}u(\vec{r}){\rm Re}\int_{0}^{\infty}
53: d\tau e^{-i(\omega -\omega_{1})\tau} \nonumber \\
54: &&\times \lim_{t\rightarrow\infty}\langle \sigma_{31}(t+\tau)\sigma_{13}(t)\rangle ,\label{e2}
55: \end{eqnarray}
56: where $\gamma_{1}$ is the spontaneous emission rate of the transition, $u(\vec{r})$ is a geometrical factor corresponding to the radiation pattern of the dipole moment and the expectation values of the atomic dipole operators are evaluated in the rotating frame oscillating with the frequency $\omega_{1}$ of the atomic transition involved.
57:
58: \ \ Usually the scattered field is composed of a coherent component, corresponding to a field elastically scattered by the source atoms, and an incoherent (noise) component, corresponding to a field produced by fluctuations of the atomic dipoles. Therefore, it is often distinguished between these two contributions to the scattered field by expressing an atomic dipole operator as the sum of its expectation value and its fluctuations so that
59: \begin{eqnarray}
60: \sigma_{ij}(t) = \langle\sigma_{ij}(t)\rangle +\Delta \sigma_{ij}(t) ,
61: \end{eqnarray}
62: where $\langle\Delta\sigma_{ij}(t)\rangle =0$ by definition. In terms of the fluctuation operators the spectrum is of the form
63: \begin{eqnarray}
64: S_{in}(\omega) &=& \gamma_{1}u(\vec{r}){\rm Re}\int_{0}^{\infty} d\tau
65: e^{-i(\omega -\omega_{1})\tau} \nonumber \\
66: &&\times \lim_{t\rightarrow\infty}
67: \langle \Delta\sigma_{31}(t+\tau)\Delta\sigma_{13}(t)\rangle ,\label{e3}
68: \end{eqnarray}
69:
70: We illustrate the equivalence of the two methods using three different arguments that correspond to different approaches to evaluate the incoherent spectra.
71:
72: \ \ The first and the simplest argument to prove the equivalence of the two methods is to show that the incoherent part of the spectrum calculated with the "variance" method can be transformed to a form identical to the incoherent part of the spectrum calculated with the "limit" method. To show it, we simply expand the variance spectrum into two terms
73: \begin{eqnarray}
74: S_{in}(\omega) &=& \gamma_{1}u(\vec{r}){\rm Re}\int_{0}^{\infty}
75: d\tau e^{-i(\omega -\omega_{1})\tau} \nonumber \\
76: &&\times \lim_{t\rightarrow\infty}\langle \sigma_{31}(t+\tau)\sigma_{13}(t)\rangle \nonumber \\
77: && - \gamma_{1}u(\vec{r}){\rm Re}\int_{0}^{\infty}
78: d\tau e^{-i(\omega -\omega_{1})\tau} \nonumber \\
79: &&\times \lim_{t\rightarrow\infty}\langle \sigma_{31}(t+\tau)\rangle\langle\sigma_{13}(t)\rangle ,
80: \end{eqnarray}
81: where the first term on the right-hand side corresponds to the total spectrum. The second term corresponds to light that is elastically scattered by the atom. It is easy to see. Since in the steady-state
82: $\langle \sigma_{31}(t+\tau)\rangle$ and $\langle\sigma_{13}(t)\rangle$ are independent of time,
83: we can write
84: \begin{eqnarray}
85: S_{in}(\omega) = S_{T}(\omega) - \gamma_{1}u(\vec{r})
86: \left|\langle \sigma_{31}\rangle_{s}\right|^{2} \delta (\omega -\omega_{1}) ,\label{e5}
87: \end{eqnarray}
88: where $\langle \sigma_{31}\rangle_{s}$ is the steady-state value of the average atomic dipole moment of the $|3\rangle -|1\rangle$ transition.
89:
90: \ \ We observe from Eq.~(\ref{e5}) that the resulting difference is manifestly positive since the coherent part of the spectrum cannot overweight the total spectrum. Thus, the incoherent part of the spectrum calculated with the variance method is necessarily positive. It is always positive independent of a mathematical approach adopted to evaluate the two-time correlation function of the fluctuation operators. In addition, note that the coherent part contributes only to the central component of the spectrum. Therefore, any discrepancies between the spectra observed at the Rabi sidebands do not come from the procedure of subtracting the coherent part of the spectrum.
91:
92:
93: \ \ As the second argument of the equivalence between these two methods, we consider equations of motion for the expectation values of the atomic operators and show that the solutions for the atomic two-time correlation functions appearing in Eqs.~(\ref{e2}) and (\ref{e3}) lead to the same incoherent parts of the spectrum. We consider the general case of systems whose dynamics are described by a set of inhomogeneous linear differential equations
94: \begin{eqnarray}
95: \frac{d}{dt} \vec{X}(t) = {\bold Q}\vec{X}(t) + \vec{R} ,\label{e1}
96: \end{eqnarray}
97: where $\bold Q$ is a finite-dimensional $n\times n$ matrix of time independent coefficients, Rabi frequencies, damping rates and detunings, involved in the dynamics of a given system, $\vec{X}(t)$ is a column vector of the one-time correlation functions and $\vec{R}$ is a column vector of inhomogenous terms. The dimension $n$ of the vector $\vec{X}$ is equal to the dimension of the Hilbert space of a given system. The general case includes, as a special case, the dynamics of $\Lambda$-type atom driven by two laser fields, considered by Xu {\it et al.}~\cite{xhy} for which $n=8$.
98:
99: \ \ We first find the steady-state solution of Eq.~(\ref{e1}), which is obtained by taking the limit of $t\rightarrow \infty$, or more directly by setting the left-hand side of Eq.~(\ref{e1}) equal to zero. Thus
100: \begin{eqnarray}
101: \vec{X}(\infty) = -{\bold Q}^{-1}\vec{R} .\label{e6}
102: \end{eqnarray}
103:
104: Next, we consider two-time correlation functions involved in the calculation of the spectrum of a given system. These are simply found by applying the quantum regression theorem to Eq.~(\ref{e1}) which states that for $\tau >0$ the two-time correlation functions satisfy the same equations of motion as the one-time averages~\cite{l68}. Thus, we find that
105: \begin{eqnarray}
106: \frac{d}{d\tau} \vec{Y}(t,\tau) = {\bold Q}\vec{Y}(t,\tau) + \langle X_{i}(t)\rangle\vec{R} ,\label{e8}
107: \end{eqnarray}
108: where $\vec{Y}(t,\tau)$ is a column vector of components
109: $\langle X_{i}(t)X_{1}(t+\tau)\rangle, \langle X_{i}(t)X_{2}(t+\tau)\rangle,\ldots$.
110:
111: \ \ Using the Laplace transform, we can transform Eq.~(\ref{e8}) into a set of algebraic equations, which we can solve by the matrix inversion. Thus, applying the Laplace transform, we obtain
112: \begin{eqnarray}
113: \vec{Y}(s) = \left(s{\bold I} -{\bold Q}\right)^{-1}\vec{Y}(0)
114: +[ \left(s{\bold I}\right) \left(s{\bold I} -{\bold Q}\right)]^{-1}\langle X_{i}(t)\rangle \vec{R} ,\label{e9}
115: \end{eqnarray}
116: where $\vec{Y}(s)$ is a column vector composed of the Laplace transforms of the correlation functions, $s$ is a complex (Laplace transform) parameter and ${\bold I}$ is the unit diagonal matrix.
117:
118: \ \ We can rewrite Eq.~(\ref{e9}) in the form
119: \begin{eqnarray}
120: \vec{Y}(s) &=& \left(s{\bold I} -{\bold Q}\right)^{-1}\left(\vec{Y}(0)
121: +{\bold Q}^{-1}\langle X_{i}(t)\rangle \vec{R}\right) \nonumber \\
122: && -\left(s{\bold I}\right)^{-1}{\bold Q}^{-1}\langle X_{i}(t)\rangle \vec{R} ,\label{e10}
123: \end{eqnarray}
124: which in the steady-state limit of $t\rightarrow \infty$, takes the form
125: \begin{eqnarray}
126: \vec{Y}(s) = \left(s{\bold I} -{\bold Q}\right)^{-1}\Delta \vec{Y}(0)
127: +\left(s{\bold I}\right)^{-1}\langle X_{i}(\infty)\rangle\vec{X}(\infty) ,\label{e11}
128: \end{eqnarray}
129: where $\Delta \vec{Y}(0) = \vec{Y}(0) -\langle X_{i}(\infty)\rangle \vec{X}(\infty)$.
130:
131: \ \ As we see from Eq.~(\ref{e11}) that the Laplace transform of the two-time correlation functions is composed of two terms, one corresponding to contributions of terms with $s\neq 0$ that reflect the presence of incoherent scattering resonances, and the other contribution from the pole at $s=0$ that reflects the coherent scattering peak. This term is proportional to delta function centered at the driving field frequency since the inverse Laplace transform of the term proportional to $\left(s{\bold I}\right)^{-1}$ gives the delta function type contribution.
132:
133: \ \ We now show that the first term on the right-hand side of Eq.~(\ref{e11}) is equal to that obtained for the correlation functions of the fluctuation operators, i.e. leads to the same correlation function that is involved in the variance method of the calculation of the incoherent part of the spectrum.
134: This will constitute that both methods of calculating the incoherent part of the spectrum are completely equivalent.
135: We define a column vector of average values of the fluctuation operators $\Delta\vec{X}(t)$ whose the time evolution
136: is determined by the homogeneous equation of motion
137: \begin{eqnarray}
138: \frac{d}{dt}\langle\Delta \vec{X}(t)\rangle = {\bold Q}\langle \Delta\vec{X}(t)\rangle ,\label{e12}
139: \end{eqnarray}
140: from which we find, by applying the quantum regression theorem, that the vector $\Delta\vec{Y}(t,\tau)$ of the two-time correlation functions satisfies an equation of motion
141: \begin{eqnarray}
142: \frac{d}{d\tau} \Delta\vec{Y}(t,\tau) = {\bold Q}\Delta\vec{Y}(t,\tau) ,\label{e13}
143: \end{eqnarray}
144: where the components of the vector $\Delta\vec{Y}(t,\tau)$ are
145: $\langle \Delta X_{i}(t)\Delta X_{1}(t+\tau)\rangle, \langle \Delta X_{i}(t)\Delta X_{2}(t+\tau)\rangle,\ldots$.
146:
147: Taking the Laplace transform of Eq.~(\ref{e13}), we find
148: \begin{eqnarray}
149: \Delta\vec{Y}(s) = \left(s{\bold I} -{\bold Q}\right)^{-1}\Delta\vec{Y}(0) ,\label{e14}
150: \end{eqnarray}
151: which is equal to the first term on the right-hand side of Eq.~(\ref{e11}). Thus, the limit and variance methods
152: both lead to the same solutions for the correlation functions involved in the definition of the incoherent part
153: of the spectrum. This statement is true for an arbitrary system whose the time evolution is described by the set
154: of differential equations (\ref{e1}).
155:
156: \ \ Third and the last argument illustrating that there are no discrepancies between the two methods is the
157: numerical analysis.
158: Figure~\ref{fig1} shows the incoherent part of the fluorescence spectrum $S_{31}(\omega)$ calculated numerically
159: with the variance method for the same parameters as in Fig.~2(b) of Ref.~\cite{xhy}.
160: Note that this is the figure where the most prominent negative values of the spectrum have been predicted.
161: The negative values of the spectrum result from dispersive rather than Lorentzian-type structures at the Rabi
162: sidebands.
163:
164: \begin{figure}[hbp]
165: \includegraphics[width=\columnwidth,keepaspectratio,clip]{xu1}
166: \caption{The incoherent part of the fluorescence spectrum $S_{31}(\omega)$ calculated with
167: the variance method for the same parameters as in~Fig.~2(b) of Ref.~\cite{xhy}. The spectrum is
168: positive for all frequencies and exhibits Lorentzian-type structures at the Rabi sidebands.}
169: \label{fig1}
170: \end{figure}
171:
172: We plot the spectrum by taking the Laplace transform of Eq.~(\ref{e13}) and solving numerically the resulting
173: set of algebraic equations by matrix inversion~\cite{zf}. Evidently, the spectrum is positive for all frequencies
174: and exhibits Lorentzian-type structures at the Rabi sidebands, that is the incoherent spectrum is the same as
175: calculated with the limit method, shown as a dotted line
176: in Fig~2(b) of Ref.~\cite{xhy}.
177:
178:
179:
180: \ \ In summary, we have presented three simple arguments against the statement of
181: Xu {\it et al.}~\cite{xhy} that the incoherent part of the fluorescence spectrum of a three-level $\Lambda$-system calculated with the variance method can have negative values. The arguments clearly show that the incoherent part of the spectrum calculated with the variance method is positive for all frequencies independent of the system considered and values of the parameters involved.
182:
183:
184: \begin{thebibliography}{99}
185: \bibliographystyle{unsrt}
186: \bibitem{m69} B. R. Mollow, Phys. Rev. {\bf 188}, 1969 (1969).
187: \bibitem{km76} H. J. Kimble and L. Mandel, Phys. Rev. A {\bf 13}, 2123 (1976).
188: \bibitem{cw76} H. Carmichael and D. F. Walls, J. Phys. B{\bf 9}, 1199 (1976).
189: \bibitem{ws76} R. M. Whitley and C. R. Stroud, Jr., Phys. Rev. A {\bf 14}, 1498 (1976).
190: \bibitem{ct77} C. Cohen-Tannoudji, in {\it Frontiers in Laser Spectroscopy}, vol. 1 (Amsterdam, North Holland, 1977).
191: \bibitem{ns90} L. M. Narducci, M. O. Scully, G.-L. Oppo, P. Ru, and J. R. Tredicce, Phys. Rev. A {\bf 42}, 1630 (1990).
192: \bibitem{eb02} J. Evers, D. Bullock, and C. H. Keitel, Opt. Commun. {\bf 209}, 173 (2002).
193: \bibitem{ft09} Z. Ficek and R. Tana\'s, {\it Quantum-Limit Spectroscopy} (Springer, New York, to appear in 2009).
194: \bibitem{bf80} B. Blind, P. R. Fontana and P. Thomann, J. Phys. B{\bf 13}, 2717 (1980).
195: \bibitem{cr83} J. D. Cresser, Phys. Rep. {\bf 94}, 47 (1983).
196: \bibitem{wr89} M. Wilkens and K. Rzazewski, Phys. Rev. A {\bf 40}, 3164 (1989).
197: \bibitem{az91} G. S. Agarwal, Y. Zhu, D. J. Gauthier, and T. W. Mossberg, J. Opt. Soc. Am. B {\bf 8}, 1163 (1991).
198: \bibitem{ff93} Z. Ficek and H. S. Freedhoff, Phys. Rev. A {\bf 48}, 3092 (1993).
199: \bibitem{ffd96} M. R. Ferguson, Z. Ficek, and B. J. Dalton, Phys. Rev. A {\bf 54}, 2379 (1996).
200: \bibitem{ff00} Z. Ficek and H. S. Freedhoff, Progress in Optics {\bf 40}, 389 (2000).
201: \bibitem{ab02} D. L. Aronstein, R. S. Bennik, R. W. Boyd, and C. R. Stroud, Jr., Phys. Rev. A {\bf 65}, 067401 (2002).
202: \bibitem{xhy} Qing Xu, Xiang-ming Hu, and Jian-wu Yin, Phys. Rev. A {\bf 78}, 013407 (2008).
203: \bibitem{l68} M. Lax, Phys. Rev. {\bf 172}, 350 (1968).
204: \bibitem{zf} A copy of the numerical program written for matlab is available from the author upon a request.
205: \end{thebibliography}
206:
207:
208:
209: \end{document}
210: