1: \documentclass[twocolumn,superscriptaddress,pra,preprintnumbers,showpacs,amsmath,amssymb]{revtex4}

2: 

3: \usepackage{graphicx}

4: 

5: %Mathematical shortcuts START

6: \newcommand{\la}{\langle}

7: \newcommand{\ra}{\rangle}

8: \newcommand{\diff}{\mathrm{d}}

9: \newcommand{\sinc}{\text{\rm sinc}}

10: \newcommand{\vp}{\boldsymbol{p}}

11: \newcommand{\vpi}{\boldsymbol{\pi}}

12: \newcommand{\vs}{\boldsymbol{s}}

13: \newcommand{\vq}{\boldsymbol{q}}

14: \newcommand{\vu}{\boldsymbol{u}}

15: \newcommand{\vv}{\boldsymbol{v}}

16: \newcommand{\vx}{\boldsymbol{r}}

17: \newcommand{\ex}{\boldsymbol{e}_x}

18: \newcommand{\ey}{\boldsymbol{e}_y}

19: \newcommand{\ez}{\boldsymbol{e}_z}

20: \newcommand{\oH}{ \mathsf H }

21: \newcommand{\oU}{ \mathsf U }

22: \newcommand{\oS}{ \mathsf S }

23: \newcommand{\R}{ \mathbb R }

24: \newcommand{\C}{ \mathbb C }

25: \newcommand{\oP}{ \text{\sf \textbf{p}} }

26: \newcommand{\oX}{ \text{\sf \textbf{r}} }

27: \newcommand{\cS}{ {\cal S} }

28: \newcommand{\U}{ {\cal U} }

29: \newcommand{\V}{ {\cal V} }

30: \newcommand{\Order}{ {\cal O} }

31: %Mathematical shortcuts END

32: 

33: 

34: \begin{document}

35: 

36: \title{Theory of near-field matter wave interference beyond the eikonal approximation}

37: 

38: \author{Stefan Nimmrichter}

39: \affiliation{%

40: Arnold Sommerfeld Center for Theoretical Physics,

41: Ludwig-Maximilians-Universit\"{a}t M\"{u}nchen,\\

42: Theresienstra{\ss}e 37, 80333 Munich, Germany

43: }

44: \affiliation{Faculty of Physics, University of Vienna, Boltzmanngasse 5, 1090 Vienna, Austria}

45: 

46: \author{Klaus Hornberger}%

47: \homepage{www.klaus-hornberger.de}

48: \affiliation{%

49: Arnold Sommerfeld Center for Theoretical Physics,

50: Ludwig-Maximilians-Universit\"{a}t M\"{u}nchen,\\

51: Theresienstra{\ss}e 37, 80333 Munich, Germany

52: }%

53: 

54: %\date{\today}

55: \preprint{\sf published in: Phys.~Rev.~A \textbf{78}, 023612 (2008)}

56: 

57: \begin{abstract}

58: A generalized description of Talbot-Lau interference with matter waves is presented, which accounts for arbitrary grating interactions and realistic beam characteristics. 

59: The dispersion interaction between the beam particles and the optical elements strongly influences the interference pattern in this near-field effect, and it is known to dominate the fringe visibility if increasingly massive and complex particles are used.

60: We provide a general description of the grating interaction process by combining semiclassical scattering theory with a phase space formulation.  It serves to systematically improve the eikonal approximation used so far, and to assess its regime of validity.

61: \end{abstract}

62: 

63: \pacs{03.75.-b, 03.75.Dg, 34.35.+a}

64: %03.75.-b Matter waves (for atom interferometry, see 37.25.+k; see also 67.85.-d ultracold gases, trapped gases in quantum fluids and solids)

65: %03.75.Dg Atom and neutron interferometry 

66: %37.25.+k Atom interferometry techniques (see also 03.75.Dg Atom and neutron interferometry in matter waves)

67: %34.35.+a Interactions of atoms and molecules with surfaces 

68: %34.50.-s Scattering of atoms and molecules 

69: 

70: \maketitle

71: 

72: \section{Introduction}

73: 

74: The ability of material particles to show wave-like 

75: interference is one of the central predictions of quantum mechanics. While the early experimental tests worked with elementary particles \cite{Davisson1927a,Halban1936a}, interferometry of atoms is by

76: now a matured field of physics \cite{Berman1997a,Miffre2006a,Cronin2008a}.

77: It is in particular the ability to cool and to control atoms using laser techniques

78: that has propelled atom interferometry into a versatile tool for

79: precision measurements, e.g. \cite{Weiss1993a,Gustavson1997a,Peters1999a,Muller2007a}.

80: 

81: As far as more complex and more massive objects are concerned, we are

82: currently witnessing this transition from the proof-of-principle

83: demonstration of their wave nature to the use of interferometry for

84: quantitative measurements.  Specifically, the static

85: \cite{Berninger2007a} and the dynamic \cite{Hackermuller2007a} bulk

86: polarizability of fullerene molecules was measured recently with a

87: molecule interferometer. Also the controlled observation of

88: decoherence, due to collisions with gas particles

89: \cite{colldecoboth} or due to the emission of

90: thermal radiation \cite{thermodecoboth}, has been

91: used to characterize the interaction strength (or cross-section)

92: of fullerenes with external degrees of freedom. Another motivation for

93: studying interference with large molecules is to test quantum

94: mechanics in unprecedented regimes by establishing the wave nature of ever more massive objects \cite{Arndt2005a}.

95: 

96: The above-mentioned interference experiments with large molecules

97: are based on the near-field Talbot-Lau effect, where three

98: gratings are used which serve, in turn, to produce coherence in

99: the beam, to bring it to interference, and to resolve the fringe

100: pattern.  This is an established technique in atom and electron

101: interferometry

102: \cite{Clauser1994both,Cahn1997a,Deng1999a,Cronin2006a,Kohno2007a}, and it is the

103: method of choice for massive and bulky molecules (such as fullerenes

104: \cite{Brezger2002a}, meso-tetraphenylprorphyrins \cite{Hackermuller2003a},

105: or functionalized azobenzenes \cite{Gerlich2007a}). The main reason is that a

106: Talbot-Lau interferometer (TLI) tolerates beams which are relatively weakly

107: collimated, thus alleviating the increasing difficulty in producing

108: brilliant beams if the particles get more complex.

109: Another important advantage compared to far-field setups, which is

110: essential if one wants to increase the particle mass by several orders

111: of magnitude, is the favorable scaling behavior of Talbot-Lau

112: interferometers with respect to the de Broglie wavelength \cite{Berman1997a}.

113: 

114: As a specific feature of Talbot-Lau interferometers, the forces between the particles in the beam and the diffraction grating

115: influence the interference pattern much stronger than in a far field

116: setup. This is due to the fact that the different diffraction orders

117: do not get spatially separated in a TLI. Rather, all the orders

118: interfere among each other, producing a resonant recurrence of the

119: pattern whenever the so-called Talbot condition is met. As a

120: consequence, even tiny distortions of the matter wave may lead to

121: significant changes of the fringe visibility---requiring, for example,

122: the modification of the van der Waals force due to retardation effects

123: \cite{Casimir1948a} to be taken into account when describing the

124: diffraction of fullerenes at gold gratings.

125: 

126: This effect of the dispersion force between the particle and the

127: grating wall gets more important as the mass and structure of the

128: molecule grows. In particular, it sets increasingly strict

129: requirements on the monochromaticity, i.e, the velocity spread permissible in the

130: molecular beam.  A very recent development, undertaken to reduce this

131: influence, is the Kapitza-Dirac Talbot-Lau Interferometer (KDTLI),

132: where the second material grating is replaced by the pure phase grating

133: produced by a standing light field \cite{Gerlich2007a}.

134: 

135: The available theoretical descriptions of molecular Talbot-Lau

136: interference account for the grating forces in terms of a simple

137: eikonal phase shift \cite{Patorski1989a,Brezger2003a,Hornberger2004a}

138: (an expression originally derived by nuclear physicists as an

139: asymptotic high-energy approximation to the Lippmann-Schwinger

140: equation in scattering theory \cite{Moliere1947a,Glauber1959a}).

141: This approximation ceases to be valid with a growing influence of the

142: particle-grating interaction, and, due to its non-perturbative nature,

143: its range of validity is not easy to assess. Therefore, given the quest

144: for testing quantum mechanics with ever larger particles and given the

145: increased precision required in metrological applications, there is a

146: clear need to extend the theoretical description of near-field matter

147: wave interference beyond the eikonal approximation.

148: 

149: The main purpose of this paper is therefore to develop a generalized

150: formulation of the coherent Talbot-Lau effect. By combining a

151: scattering theory formulation with semiclassical approximations we

152: incorporate the effect of the grating interaction systematically 

153: beyond the eikonal approximation.

154: As a prerequisite for its implementation, the established theory of near

155: field interference first needs to be extended to account for the

156: effects of finite angular dispersion in the molecular beam. We show

157: how this can be done transparently by using the phase space formulation

158: of quantum mechanics. As a by-product, this formulation permits us to

159: quantify the adjustment precision required in realistic experiments.

160: 

161: The structure of the article is as follows. In Section

162: \ref{sec:phasespace} we develop a generalized theory of Talbot-Lau

163: interference, which is formulated independently of the particular

164: choice of how to incorporate the grating interaction. We also establish the relation to

165: the previous treatments by applying the

166: eikonal approximation. In Section \ref{sec:potential},

167: we review relevant realistic descriptions of the grating interaction, 

168: and numerically illustrate their effect in the eikonal approximation.

169: Section \ref{sec:semiclass} is devoted to the development of a

170: semiclassical formalism to go beyond the elementary eikonal approximation.

171: Its predictions are numerically evaluated and compared in Section

172: \ref{sec:numerics}, using the experimental parameters of the

173: molecular interference experiments carried out in Vienna

174: \cite{Brezger2002a,Gerlich2007a}. Finally, we present our conclusions in

175: Section \ref{sec:conclusions}.

176: 

177: 

178: \section{Phase space description of the Talbot-Lau effect} \label{sec:phasespace}

179: 

180: The effect of Talbot-Lau interference can be described in a

181: particularly transparent and accessible fashion by using the phase

182: space representation of quantum mechanics

183: \cite{Wigner1932a,Ozorio1998a,Schleich2001a,Zachos2005a}. This is demonstrated in

184: \cite{Hornberger2004a}, where both the coherent effect and the

185: consequences of environmental interactions are formulated in terms of

186: the Wigner function of the matter wave beam. As also shown there, the

187: analogy of the Wigner function with the classical phase space

188: distribution allows one to evaluate the predictions of classical and

189: quantum mechanics in the same framework, a necessary step if one wants

190: to distinguish unambiguously quantum interference from a possible

191: classical shadow effect.

192: 

193: However, the treatment in \cite{Hornberger2004a} is based on a number

194: of idealizations, which must be reconsidered in view of a more refined

195: description of the particle-grating interaction. The least problematic

196: approximation is to disregard the motion in the 

197: direction parallel to the grating slits, which is permissible due

198: to the translational symmetry of the setup in this direction. It

199: follows that a two-dimensional description involving the

200: longitudinal motion (denoted by $z$) and the transverse motion (denoted by $x$) of the beam is required in principle. In front of the interferometer these two degrees of freedom

201: are well approximated by a separable state involving transverse momenta $|p|\ll p_z$. 

202: If the grating interaction is treated in eikonal approximation,

203: as done in \cite{Hornberger2004a}, this implies that the transverse

204: and the longitudinal motion remain separable throughout. One can then

205: resort to an effectively one-dimensional description, characterized by

206: a fixed longitudinal momentum $p_z= h /\lambda$. The $z$ coordinate

207: then represents a time $t=m z /p_z$ and the longitudinal propagation

208: of the beam along $z$ effectively evolves the one-dimensional

209: transverse beam state during the time $t$.  The finite distribution

210: $\mu(p_z)$ of the longitudinal momenta is then accounted for only in

211: the end by averaging the results obtained with sharp values of $p_z$.

212: 

213: A priori, such a treatment is no longer valid for a general grating

214: interaction where different longitudinal momentum components of the

215: beam get correlated. We will accordingly use a two-dimensional

216: scattering formulation to describe the grating interaction in

217: Sect.~\ref{sec:semiclass}. However, we will see that for the

218: parameters of typical experiments the main effect of taking the

219: grating interaction beyond the eikonal approximation is on the

220: transverse degrees of freedom. Since the effect on the longitudinal

221: motion is much weaker we will retain the effectively one-dimensional

222: description outlined above, postponing the physical discussion why

223: this is permissible to Sect.~\ref{sec:semiclass}.

224: 

225: Another idealization found in the basic treatments of the Talbot-Lau

226: effect is to assume the transverse motion in front of the interferometer to be in a completely incoherent state. This would correspond to a constant distribution of the transverse momenta $p$, and for general grating transformations, which depend on $p$, it is no longer a valid approximation. We will therefore present a formulation that takes into account a realistic beam profile and that allows for a general state transformation at the diffraction grating. Going beyond the idealization of a perfectly incoherent state will also permit us to assess the adjustment precisions required in an experimental implementation.

227: 

228: 

229: \subsection{The Wigner function and its transformations}

230: 

231: We start by briefly outlining how to describe matter wave interference by means of the phase space representation of quantum mechanics \cite{Hornberger2004a,Hornberger2006a}. As discussed above, one may restrict the dynamics to the transverse beam state, which is most generally specified by its density matrix $\rho$. This state is equivalently described by the Wigner function

232: %

233: \begin{equation}

234:  w \left(x,p \right) = \frac{1}{2 \pi \hbar} \int \diff s \, e^{i p s / \hbar} \la x - \frac{s}{2}|\rho|x + \frac{s}{2} \ra,

235: \end{equation} 

236: %

237: which is a function of the transverse phase space coordinates $\left(x,p \right)$. 

238: Like $\rho$ it depends parametrically on the longitudinal momentum $p_z$. Since we assume the beam to be collimated $w(x,p)$ is non-zero only for $|p|\ll p_z$.

239: 

240: The great advantage of the phase space formulation is that it permits a straightforward, yet realistic, description of the beam and its propagation through

241: the interferometer. Most importantly, the free time evolution of a state

242: during the time $t$ is given by the same shearing transformation 

243: as in the case of the classical phase space density,%

244: %

245: \begin{equation}

246: w_t \left(x,p \right) = w_0 \left( x-\frac{t}{m} p ,p \right),

247: \label{eq:wt}

248: \end{equation} 

249: %

250: with $m$ the particle mass. 

251: On the other hand, a quantum state transformation of the form $\rho' = \oU \rho

252: \oU^{\dagger}$, such as the effect of passing a grating, reads in phase space 

253: %

254: \begin{equation}

255:  w' \left(x,p \right) = \iint \diff x_0 \diff p_0 \, K \left(x,p;x_0,p_0 \right) w \left(x_0,p_0 \right).

256: \end{equation} 

257: %

258: Here the integral kernel is given by the the propagator 

259: %

260: \begin{eqnarray}

261:  K \left( x, p; x_0 , p_0 \right) &=& \frac{1}{2\pi \hbar} \iint \diff s \diff s_0 \, e^{i \left(p s + p_0 s_0 \right)/\hbar} \nonumber \\

262: &&\times \la x - \frac{s}{2} |\oU| x_0 + \frac{s_0}{2} \ra \la x + \frac{s}{2} |\oU| x_0 - \frac{s_0}{2} \ra^{*} .

263:  \nonumber \\ &&

264: \label{eqn:generalprop}

265: \end{eqnarray} 

266: %

267: Specifically, an ideal

268: grating is characterized by a grating transmission function $t(x)$, with $|t(x)|\leq 1$, describing the multiplicative modification of an incoming plane wave. (The factor $t(x)$ is non-zero only within the slit openings of the grating and it may there imprint a complex phase to account for the interaction potential between the grating walls and

269: the beam particle, see Sect.~\ref{sec:potential}.) For such gratings the transformation reads  $\la x |\oU |x_0 \ra = t \left(x \right) \delta\left(x-x_0 \right)$, so that the grating propagator reduces to a convolution kernel 

270: %

271: \begin{eqnarray}

272:  K \left( x, p; x_0 , p_0 \right) &=& \delta \left(x-x_0 \right) \frac{1}{2\pi \hbar} \int \diff s \, e^{i \left(p - p_0\right) s/\hbar} \nonumber \\

273: &&\times t \left(x- \frac{s}{2} \right) t^{*} \left(x+ \frac{s}{2} \right) ,

274: \label{eqn:eikonalkernel}

275: \end{eqnarray}

276: %

277: which is local in position \cite{Hornberger2004a}. This choice of $K$ will be required below to reduce the generalized formulation of Talbot-Lau interference to the eikonal approximation. 

278: 

279: The convolution kernel provides a descriptive picture

280: of the diffraction process. Suppose the incoming beam is perfectly coherent, i.e. a plane wave characterized by the longitudinal momentum $p_z$ and transverse momentum $p_0$, corresponding to the (unnormalized) transverse Wigner function $w_0 \left(x,p\right) = \delta \left(p-p_0\right)$. The diffracted transverse state is then given by

281: %

282: \begin{equation}

283:   w_1 \left(x,p \right)	= \frac{1}{2\pi \hbar} \int \diff s \, e^{i \left(p - p_0\right) s/\hbar} t \left(x- \frac{s}{2} \right) t^{*} \left(x+ \frac{s}{2} \right).

284: \end{equation}

285: %

286: In case of a periodic grating with period $d$, the transmission function can be

287: decomposed into a Fourier series, %

288: \begin{equation}

289: t (x) = \sum_{j=-\infty}^\infty b_j \exp \left( 2\pi i j \frac{x}{d} \right),

290: \label{eq:bj}

291: \end{equation}

292: %

293: so that, after a free propagation over the longitudinal distance $L$, the 

294: transverse spatial density of the beam state is given by the marginal distribution

295: %

296: \begin{eqnarray}

297: 	w_2 \left(x \right) &=& \int \diff p \, w_1 \left( x- \frac{p}{p_z}L,p\right) \nonumber \\

298: 	&=& \sum_{m=-\infty}^{\infty} 

299: 	B_m\left(m \frac{ L}{L_\textrm{T}}\right)

300: 	\exp \left( 2\pi i m \frac{x}{d} \right).

301: \label{eq:TE}

302: \end{eqnarray}

303: %

304: Here, we introduced the basic \textit{Talbot-Lau coefficients},

305: %

306: \begin{equation}

307: 	B_{m} \left(\xi \right) = \sum_{j=-\infty}^{\infty} \, b_j b_{j-m}^{*} \exp \left(i \pi \xi \left( m - 2j\right) \right),

308: 	\label{eqn:Beik}

309: \end{equation}

310: %

311: and the characteristic length scale $L_{\rm T} = d^2 / \lambda$ is called the Talbot length. 

312: 

313: Compare (\ref{eqn:Beik}) to the Fourier coefficients of the transmission probability $|t(x)|^2$, which are given by the convolution $A_{m}=\sum_j b_j b_{j-m}^{*}$. Equation (\ref{eq:TE}) thus implies that the density distribution takes the form of the grating transmission profile whenever the distance $L$ is an integer multiple of the Talbot length, $L=k

314: L_{\textrm{T}}$,

315: %

316: \begin{equation}

317: 	w_2 \left(x \right) = \left| t \left( x + k \frac{d}{2}\right)\right|^2.

318: 	\label{eqn:Talboteffect}

319: \end{equation}

320: %

321: This is the elementary Talbot effect \cite{Talbot1836a}, and it is the backbone of the Talbot-Lau interferometer, which however does not require a coherent illumination.

322: 

323: \subsection{The general Talbot-Lau effect} \label{sec:generalTL}

324: 

325: 

326: \begin{figure*}

327: \includegraphics[width=15cm]{schaubild2}

328: \caption{\label{fig:TLsetup} Schematic of a Talbot-Lau interferometer with the relevant setup parameters for a material diffraction grating. The beam emanating from the left is constrained by collimation slits to an angular spread $\alpha$ before it enters the interferometer. The first grating of period $d_1$ and size $G\gg d_1$ modulates the beam so that spatial coherence is created at the position of the second grating ($z=0$) where the diffraction takes place. This leads to an interference pattern in the transverse beam density, ideally located at the position of the third grating. The latter can be shifted in the transverse direction by a variable distance $x_S$. It thus modulates the flux provided its longitudinal position $\eta L$ and its period $d_3$ match the interference pattern. A detector of size $W$ further downstream measures the total incoming beam intensity as a function of $x_S$. The central grating may be replaced by the phase grating created by a standing light field.}

329: \end{figure*}

330: 

331: The general setup of a Talbot-Lau interferometer is described in Fig.~\ref{fig:TLsetup}, along with the most relevant parameters. An incoherent particle beam represented by the shaded area

332: passes a preliminary collimation slit on the left side of the figure and enters the Talbot-Lau interferometer through the first grating. 

333: The angular distribution of those particles in the beam which are finally detected is characterized by the spread $\alpha$, 

334: determined by the collimation slit and the finite area of the detector.

335: 

336: The first grating can be understood as an array of collimation slits of period $d_1$ preparing, after a distance $L$, the transverse coherence required for diffraction at the second grating. In this region,

337: the distortion of a matter wave front due to the grating interaction may significantly affect the interference pattern, so that the grating thickness $b$ enters the calculation. (It is replaced by the laser waist $w_z$ in case of a light grating.)

338: 

339: The different diffraction orders still overlap further downstream if the distance is on the order of the Talbot length $L_{\textrm{T}} = d^2 / \lambda$, and they may thus interfere among each other producing a near field fringe pattern. This can be explained qualitatively from the elementary Talbot effect (\ref{eqn:Talboteffect}) by considering each of the slits in the first grating as independent point sources. The Talbot patterns due to the individual slits will add up constructively for appropriate choices of the grating periods $d_1$, $d$ and of the distance factor $\eta$, so that a distinct density pattern is created. It is verified without the need for a spatially resolving detector by superposing a 

340: third grating whose period $d_3$ equals that of the density pattern, and by measuring the total flux through it as a function of its transverse position $x_S$. 

341: 

342: 

343: We will now present a quantitative formulation of the successive propagation of the beam through the interferometer. As discussed above, one can take the longitudinal motion of the beam particles to remain unaffected by the gratings. We may therefore assume the longitudinal momentum to have a definite value $p_z$ for the time being, so that the longitudinal position $z$ plays the role of a time coordinate $t= z m /p_z$ for the transverse motion.

344: 

345: \subsubsection{Sequential calculation}

346: 

347: The transverse state of the beam entering the interferometer is far from pure. It is confined in position by the orifice of the first grating, whose size $G$ typically covers thousands of grating slits. The momenta $p$ are characterized by the angular distribution $D \left( p/p_z \right)$ whose characteristic spread is denoted as $\alpha$.

348: 

349: In a typical experimental situation, $\alpha$ rarely exceeds $1$\,mrad corresponding to a fairly well-collimated beam. However, this still covers a range of transverse momenta that is by orders of magnitude larger than the grating momentum $h/d_1$ which separates the different diffraction orders. This explains why diffraction does not need to be taken into account at the first grating. The transverse Wigner function merely gets modulated by the grating profile, so that behind the first grating it reads

350: %

351: \begin{equation}

352:  w_1 \left(x,p \right) = \frac{1}{G p_z} \left| t_1 \left(x \right) \right|^2 D \left( \frac{p}{p_z}\right).

353: \end{equation} 

354: %

355: Here $t_1 \left(x \right)$ is the transmission function which is confined to the grating orifice, in principle.

356: However, since the size $G$ is typically larger than

357: the sensitive region $W$ of the final detector

358: one may equally take it to be an unconstricted periodic function.

359: 

360: The free propagation of the beam over the longitudinal distance $L$ yields $w_2(x,p)=w_1 (x-L p/p_z,p)$.

361: The effect of passing the second grating is in general described by an operator $\oU$ to be specified below. The corresponding phase space transformation is given by (\ref{eqn:generalprop}) so that, after a second free propagation over the distance $\eta L$, the transverse beam state in front of the third grating reads

362: %

363: \begin{eqnarray}

364:  w_3 \left(x,p \right) &=& \frac{1}{G p_z} \iint \diff x_0 \diff p_0 \, D \left( \frac{p_0}{p_z} \right) \, \left| t_1 \left( x_0\right)\right|^2 \nonumber \\

365: &&\times \, K \left( x - \frac{p}{p_z} \eta L, p; x_0+\frac{p_0}{p_z}L, p_0 \right) .

366: \label{eq:w3eins}

367: \end{eqnarray}

368: %

369: The corresponding spatial density distribution, given by

370: $ w_3 \left(x \right) = \int \diff p \, w_3 \left(x,p \right)$,

371: is now modulated by the third grating as a function of the grating shift $x_S$. The detection signal is thus obtained as

372: %

373: \begin{eqnarray}

374:  S \left(x_S \right) &=& \int_{-W/2}^{W/2} \diff x \, w_3 \left(x \right) \left| t_3 \left(x-x_S \right) \right|^2

375: \nonumber\\

376: &=& \sum_{n=-\infty}^\infty S_n \exp \left( 2\pi i n\frac{ x_S}{d_3}\right),

377:  \label{eqn:signal}

378: \end{eqnarray} 

379: %

380: where $\left| t_3 \left(x\right) \right|^2$ is the spatial transmission probability of the grating and $W$ the size of the detector. The latter typically covers hundreds of grating periods so that

381: one may disregard the finiteness of $W$ when evaluating the basic interference effect. However, as shown below, it does play a role when the experimental adjustment precision needs to be evaluated. 

382: 

383: The resulting interference pattern is most easily characterized by the contrast of the modulation signal,

384: conventionally defined as the ratio between the amplitude of the signal variation and its mean value.

385: However, since the experimental signal is usually very close to a sinusoidal curve, it is in practice more convenient and more robust to use the \emph{sinusoidal visibility} defined in terms of the first to the zeroth Fourier expansion coefficient of the $d_3$-periodic signal \cite{Brezger2003a},%

386: %

387: \begin{equation}

388: 	\V = \left| \frac{2 S_1}{S_0} \right| .

389: 	\label{eqn:Vexp}

390: \end{equation}

391: %

392: It can be easily obtained from noisy experimental data by fitting a sine curve and it coincides with the conventional definition in case of a sinusoidal signal.

393: 

394: %

395: \subsubsection{Decomposing the grating propagator}

396: 

397: We proceed to evaluate the interference pattern (\ref{eq:w3eins}) by noting a general property of the grating transformation $\oU$. The periodicity of the grating implies that the position representation $\la x|\oU|x_0 \ra$ is $d$-periodic with respect to the center position $(x+x_0)/2$.

398: This admits the series expansion

399: %

400: \begin{equation}

401:  \la x| \oU |x_0 \ra = \sum_{n=-\infty}^{\infty} \, \exp \left(i \pi  n\frac{x+x_0}{d} \right) \, \U_n \left( x- x_0\right)

402: \end{equation} 

403: %

404: where the transformation within a single slit is now characterized by the corresponding Fourier coefficients

405: %

406: \begin{equation}

407:  \U_n \left( \tilde{x} \right) = \frac{1}{d} \int_{-d/2}^{d/2} \diff \bar{x} \, \exp \left(-2 \pi i n\frac{ \bar{x}}{d} \right) \la \bar{x} + \frac{\tilde{x}}{2} |\oU| \bar{x} - \frac{\tilde{x}}{2} \ra .

408:  \label{eq:Undef}

409: \end{equation} 

410: %

411: It is now convenient to specify these transformation functions in terms of their \emph{shifted} Fourier transformation, which serves to generalize the grating coefficients introduced for the eikonal case in (\ref{eq:bj}).%

412: %

413: \begin{equation}

414:  b_n \left( {p} \right) = \int \diff {x} \, \exp \left(-\frac{i}{\hbar} \left({p} + \frac{\pi \hbar}{d} n \right) {x} \right) \, \U_n \left( {x}\right) 

415:  \label{eqn:gratingcoeff}

416: \end{equation} 

417: %

418: Indeed, for position-diagonal operators $\oU$, these functions drop their 

419: momentum-dependence and reduce to the coefficients in (\ref{eq:bj}).

420: 

421: The generalized grating coefficients (\ref{eqn:gratingcoeff}) can now be used to construct the generalized Talbot-Lau coefficients, which are the central quantities for describing the interference effect.

422: %

423:  \begin{eqnarray}

424: B_{m} \left(\xi; p, \nu \right) &=& \sum_{j=-\infty}^{\infty} \, b_j \left( p +\nu\frac{\pi \hbar}{d} \right) b_{j-m}^{*} \left( p - \nu\frac{\pi \hbar}{d} \right) \nonumber \\

425: &&\times \, \exp \left(i \pi \xi \left( m - 2j\right) \right) ,

426: \label{eqn:TLcoeff}

427: \end{eqnarray}

428: %

429: We note that at integer values of the argument $\xi$ the phase factor in (\ref{eqn:TLcoeff}) reduces to a constant sign, while $p$ has the meaning of an incident momentum and $\nu$ that of a scale factor, as will be seen below.

430: 

431: By using the generalized Talbot-Lau coefficients the density distribution at the third grating takes the explicit form

432: %

433: \begin{eqnarray}

434:  w_3 \left(x \right) &=& \frac{1}{G} \sum_{m,n = -\infty}^{\infty}\, A_{n} \, \exp\left(2 \pi i \left( m + n \frac{d}{d_1} \right)\frac{ x}{d} \right) \nonumber \\

435: && \times \, \int \frac{\diff p}{p_z} \, \exp \left(-2 \pi i\frac{p L}{p_z d} \left( \eta m + (\eta + 1) n \frac{d}{d_1} \right) \right) \nonumber \\

436: && \times \, D \left( \frac{p}{p_z} \right) B_{m} \left( \eta \left( m+ n \frac{d}{d_1} \right) \frac{L}{L_{\textrm{T}}}; p, n \frac{d}{d_1} \right) .\nonumber

437: \\ & & \label{eqn:interferencepattern1}

438: \end{eqnarray} 

439: %

440: This expression for the interference pattern is now further simplified by identifying the Talbot-Lau resonance condition.

441: 

442: %

443: \subsubsection{The resonance condition}

444: 

445: Only a part of the double summation in (\ref{eqn:interferencepattern1}) contributes appreciably to the interference pattern. This follows from the fact that the ratio $L/d$ of grating distance to grating period is a large number, typically on the order of $10^5$. As a result, the momentum dependence of the phase factor in (\ref{eqn:interferencepattern1}) occurs on a very different scale compared to the variation of the momentum distribution $D \left( {p}/{p_z} \right)$ and of the Talbot-Lau coefficients $B_m(\xi;p,\nu)$. In fact, in the idealized case of both a completely incoherent illumination and an eikonal interaction the latter two functions are independent of $p$, so that the momentum integral is finite only if the phase vanishes identically, i.e., for

446: %

447: \begin{equation}

448:  \eta m + (\eta + 1) \frac{d}{d_1}n=0.

449: \end{equation}

450: %

451: It would imply that an interference pattern is observed only if $(\eta+1)d/(\eta d_1)$ is a rational number.

452: 

453: This strong resonance condition gets relaxed if we account for the weak momentum dependence of the remaining integrand in (\ref{eqn:interferencepattern1}). We assume that those index pairs $(m,n)$ of the double sum contribute appreciably where the phase variation in the momentum integration does not exceed about $\pi$. Since the value of $|p|/p_z$ is bounded by the angular spread $\alpha$ this leads to the relaxed condition 

454: %

455: \begin{equation}

456:  \left| \frac{\eta+1}{\eta} \frac{d}{d_1} - \frac{r}{s} \right| \leq 

457:  \frac{1}{2\alpha}\frac{d}{L},

458:  \label{eqn:TLresbound}

459: \end{equation}

460: %

461: Here $r$ and $s$ are natural numbers without common divisor. They indicate the type of resonance and specify the set of index pairs $(m,n)\in\{(r\ell,s\ell):\ell\in\mathbb{Z}\}$ contributing to the sum.

462: 

463: If $\alpha$ is about $1$\,mrad and $L/d=10^{5}$ the right hand side of (\ref{eqn:TLresbound}) is on the order of $10^{-2}$, and in practice only a single resonance dominates

464: for each set of parameters $d$, $d_1$, $\eta$. The expression for the interference pattern thus simplifies to

465: %

466: \begin{eqnarray}

467:  w_3 \left(x \right) &=& \frac{1}{G} \sum_{\ell=-\infty}^{\infty} A_{s\ell}^{*} \exp\left(2 \pi i\frac{ \ell x}{d_3}  \right)

468: \int \frac{\diff p}{p_z} \, D \left( \frac{p}{p_z} \right) \nonumber \\

469: && \times \,  B_{r \ell } \left( s \ell \frac{d}{d_1}\frac{L}{L_{\textrm{T}}}; p, - s \ell \frac{d}{d_1} \right) .

470: \label{eqn:interferencepattern2}

471: \end{eqnarray} 

472: %

473: Here, the period of the interference pattern is given by 

474: %

475: \begin{equation}

476:  d_3 = \left( \frac{r}{d} - \frac{s}{d_1}\right)^{-1} .

477: \end{equation} 

478: %

479: Note that a large interference contrast is obtained for the low order resonances (with small values of the integers $r$ and $s$) because the Fourier and Talbot-Lau coefficients $A_m, B_m$ generically decrease with their order $m$.

480: 

481: The standard choice in experiments is to take equal gratings, $d=d_1$, in an equidistant configuration, $\eta=1$. This corresponds to the $r:s = 2:1$ resonance. One may obtain even larger contrasts with $\eta=1$ by using the basic $r:s=1:1$ resonance, at the expense of dealing with different gratings, $d_1=2d$.

482: 

483: Also magnifying or demagnifying interferometers can be realized \cite{Brezger2003a}. Consider, for example, the case where the first two gratings are equal, $d=d_1$. The period of the interference signal is then given by $d_3 = d / (r-s)$ and cannot thus be greater than $d$.

484: The condition $r/s= \left( \eta+1 \right) / \eta$ with $\eta >0$ implies that $r$ must be strictly greater than $s$. If one wishes to decrease $d_3$, one must choose $r-s \geq 2$ which requires $ \eta < 1$, i.e., a compressed setup. However, the values of $r$ and $s$ grow with decreasing $d_3$ so that the visibility of the resulting interference pattern decreases significantly. A magnifying interferometer, on the other hand, can only be realized with different gratings $d \neq d_1$. 

485: 

486: If the aim is to create a high contrast interference pattern with a specific period $d_3$ a low-order resonance should be taken, such as $r:s=2:1$ or $r:s=1:1$. The experimental setup parameters $\left(\eta,d,d_1 \right)$ must then satisfy the equations%

487: %

488: \begin{eqnarray}

489: 	\left(\eta +1 \right) d &=& r d_3  \\

490: 	\eta d_1 &=& s d_3

491: \end{eqnarray}

492: %

493: with desired resonance parameters $\left(r,s,d_3 \right)$. The solution is not unique, in general, so that one has a certain freedom to account for experimental limitations.

494: 

495: 

496: \subsection{The Talbot-Lau effect in eikonal approximation}

497: \label{sec:TLeikonal}

498: 

499: The expression for the interference pattern can be further simplified if the grating interaction is treated in eikonal approximation. The grating coefficients (\ref{eqn:gratingcoeff}) turn then into the momentum-independent Fourier coefficients $b_j$ of the transmission function (\ref{eq:bj}). Similarly, the generalized Talbot-Lau coefficients (\ref{eqn:TLcoeff}) then reduce to the basic coefficients given in Eq.~(\ref{eqn:Beik}) so that the prediction for the density pattern (\ref{eqn:interferencepattern1}) simplifies to the series 

500: %

501: \begin{eqnarray}

502:  w_3 \left(x \right) &=& \frac{1}{G} \sum_{\ell,m = -\infty}^{\infty}\, A_{\ell} \, B_{m} \left( \eta \left(m + \ell \frac{d}{d_1} \right) \frac{L}{L_{\textrm{T}}}\right) \nonumber \\

503: && \times \, \widetilde{D} \left( \frac{2 \pi L}{d} \left( \eta m + (\eta + 1) \ell \frac{d}{d_1} \right) \right) \nonumber \\

504: &&\times \, \exp\left(2 \pi i \left( m + \ell \frac{d}{d_1} \right)\frac{ x}{d} \right) .

505: \label{eqn:w3_eik1}

506: \end{eqnarray}

507: %

508: It involves the Fourier transformation of the angular distribution, 

509: %

510: \begin{equation}

511:  \widetilde{D} \left( \omega \right) = \int \frac{\diff p}{p_z} D \left( \frac{p}{p_z}\right) e^{-i \omega p / p_z} .

512:  \label{eqn:Dtilde}

513: \end{equation} 

514: %

515: In the case of a very broad momentum distribution this characteristic function $\widetilde{D} $ can be replaced by a Kronecker-$\delta$ function, which yields the basic result \cite{Brezger2003a,Hornberger2004a}

516: %

517: \begin{eqnarray}

518: w_3 \left(x \right) &=& \frac{1}{G} \sum_{\ell=-\infty}^{\infty} A_{s\ell}^{*} B_{r \ell } \left( s \ell \frac{d}{d_1} \frac{L}{L_{\textrm{T}}} \right) \nonumber \\

519: && \times \,  \exp\left(2 \pi i \ell\frac{ x}{d_3}  \right) .

520: \label{eqn:w3_eik2}

521: \end{eqnarray}

522: %

523: The comparison with Eq.~(\ref{eq:TE}) shows clearly that Talbot-Lau interference is based on the Talbot effect, both described by the Talbot-Lau coefficients defined in (\ref{eqn:Beik}). 

524: 

525: 

526: It should be emphasized, though, that in order to establish that an observed fringe pattern is really due to a quantum effect one must compare the quantum prediction with the result of the corresponding classical calculation. This is necessary since a classical moir\'{e}-type shadow pattern might give rise to a similar observation, even tough the classical contrast is typically much smaller. It is shown in the appendix how the classical treatment can be formulated in the same framework as the quantum case using a phase-space description.

527: 

528: 

529: Finally, since Eq.~(\ref{eqn:w3_eik2}) assumes the resonance condition to be exactly met, it cannot be used to assess the adjustment precision required in the experiment.

530: As shown in the next section, one can evaluate the necessary precision in the eikonal approximation by explicitly taking into account the finite transverse momentum spread and the finite size of the signal detector.

531: 

532: \subsection{Adjustment requirements}

533: 

534: 

535: In order to allow for deviations from the exact resonance condition we use Eq.~(\ref{eqn:w3_eik1}) when evaluating the expression for the detection signal.

536: %

537: According to Eq.~(\ref{eqn:signal}) the detection signal $S(x_s)$ is then characterized by the Fourier coefficients

538: %

539: \begin{eqnarray}

540:  S_n &=& \frac{W}{G}A^{\prime *}_{n}  \sum_{\ell,m = -\infty}^{\infty}\, A_{\ell}  \, B_{m } \left( \eta \left(m + \ell \frac{d}{d_1} \right) \frac{L}{L_{\textrm{T}}}\right) \nonumber \\

541: && \times \, \widetilde{D} \left( 2 \pi L \left( \frac{\eta}{d} m + \frac{\eta + 1}{d_1} \ell \right) \right) \nonumber \\

542: &&\times \, \sinc \left( \pi W \left( \frac{m}{d} + \frac{\ell}{d_1} - \frac{n}{d_3}\right)\right).

543: \label{eqn:signal2}

544: \end{eqnarray} 

545: %

546: Here, the $A'_n$ are the Fourier expansion coefficients of the third grating profile $\left|t_3 \left(x \right) \right|^2$ with the period $d_3$. Consider now small deviations $\left(\delta L, \delta \eta , \delta d_1, \delta d, \delta d_3 \right)$ from the setup parameters $\left(L, \eta , d_1, d, d_3 \right)$ satisfying a particular Talbot-Lau resonance condition $r:s$. The distances $L_1=L$ and $L_2=\eta L$ can thus vary independently. 

547: Instead of approximating the characteristic function $\widetilde{D}$ by a Kronecker-$\delta$, we account for the small deviations by the refined approximation $\widetilde{D} \left(\omega + \varepsilon \right) \approx \delta_{\omega,0} \widetilde{D} \left(\varepsilon \right)$. It holds as long as the main argument $\omega$ is either zero or much greater in modulus than the width $1/\alpha$, and as long as $\varepsilon < 1/\alpha$. 

548: 

549: One can thus split the argument of $\widetilde{D} $ in (\ref{eqn:signal2}) into the ideal resonance part $\omega$ and in the part $\varepsilon$ containing the parameter deviations.

550: The same procedure may be done with the $\sinc$ term, which is sharply peaked if the detector size $W$ exceeds the period $d$ by orders of magnitude.

551: If the small parameter deviations are taken into account to first order one obtains the same resonance relation 

552: for the summation indices in (\ref{eqn:signal2}) as in the ideal case, while the $n$th Fourier expansion coefficient of the signal (with respect to the period $d_3$) is multiplied by the reduction factor

553: %

554: \begin{eqnarray}

555: R_{n} &=& \widetilde{D} \left( \frac{2 \pi s n L}{d_1} \left[ \frac{\delta L}{L} - \frac{\delta \eta }{\eta } + \left(\eta +1 \right) \left( \frac{\delta d}{d} - \frac{\delta d_1}{d_1} \right) \right]\right) \nonumber \\

556: &&\times \, \sinc \left(\frac{\pi s n W}{d_1} \left[ \frac{\delta d_1}{d_1} - \frac{\delta d}{d} + \frac{1}{\eta} \left( \frac{\delta d_3}{d_3} - \frac{\delta d}{d} \right] \right) \right) . \nonumber\\

557: &&

558: \label{eqn:reductionfactor}

559: \end{eqnarray}

560: %

561: The absolute value of this factor is less than $1$ for $n \neq 0$ so that the contrast of the detection signal is effectively reduced by the deviations. In particular, the sinusoidal visibility (\ref{eqn:Vexp}) of the signal is reduced by the factor $R_1$.

562: Typical experiments \cite{Brezger2002a,Brezger2003a,Hackermuller2003a,Gerlich2007a} are characterized by $W/d \approx 10^2$, $L/d \approx 10^5$ and $\alpha \approx 10^{-3}$ so that already relative parameter deviations on the order of $0.1 \%$  strongly affect the interference contrast.

563: 

564: To obtain a simple and conservative estimate we treat all imprecisions as independent, specializing to the standard case $r:s=2:1$, where the grating distances and grating periods are equal. Bounds for the adjustment precisions are then obtained from Eq.~(\ref{eqn:reductionfactor}) by requiring the arguments to be smaller than the widths of the momentum distribution and of the $\sinc$ function, respectively,

565: %

566: \begin{eqnarray}

567: 	\frac{\delta L}{L} + 2\frac{ \delta d}{d} &<& \frac{d}{4 \pi \alpha L} 

568: \end{eqnarray}

569: and

570: \begin{eqnarray}

571: 	\frac{\delta d}{d} &<& \frac{d}{4W}.

572: \end{eqnarray}

573: %

574: This quantifies to what degree a better collimation of the beam and a smaller detector size relax the required adjustment precision, albeit at the expense of a loss of signal.

575: 

576: \section{Effect of the interaction potential} \label{sec:potential}

577: 

578: 

579: The preceding section showed how the general coherent state transformation effected by a diffraction grating enters the Talbot-Lau calculation via the generalized grating coefficients (\ref{eqn:gratingcoeff}). 

580: In general, this transformation is determined by the potential $V \left(x,z \right)$ due to the long-range dispersion forces acting on the beam particles while they pass the grating structure. 

581: 

582: Before we present a general way to account for the presence of this potential in Sect.~\ref{sec:semiclass} it is helpful to discuss the most important grating-particle interactions in a simpler form, by using the \emph{eikonal approximation}. It treats the grating as the combination of an absorption mask and a phase modification, and it can be characterized by a grating transmission function

583: %

584: \begin{equation}

585:  t \left(x \right) = \left|t\left(x \right) \right| \exp \left(- \frac{i m}{\hbar p_z} \int \diff z \, V \left(x,z \right) \right),

586:  \label{eqn:simpleeiko}

587: \end{equation}

588: %

589: whose amplitude $\left|t\left(\cdot \right) \right|\mapsto\{0,1\}$ describes the grating structure. 

590: Interaction-free gratings are modeled by a grating transmission function without phase, $t(x)=|t(x)|$, while pure phase gratings, such as the standing laser field, wave are characterized by $|t(x)|=1$.

591: The corresponding eikonal interference pattern is then obtained immediately

592: as described in Sect.~\ref{sec:TLeikonal}.

593: 

594: We proceed with a short overview of the typical grating potentials, discussing how they affect the interference contrast in the eikonal approximation. By convention, the diffraction grating is located at the longitudinal position $z=0$, as indicated in Fig.~\ref{fig:TLsetup}.

595: 

596: \subsection{Material gratings} \label{sec:potential_mat}

597: 

598: A neutral particle located within the slit of a material grating experiences a potential determined mainly by the attractive dispersion forces due to the grating walls. Other forces, such as the exchange interaction or the electro-static attraction due to a permanent dipole, are much less important for interferometry because they either occur only at very close distances or because they are diminished by rotational averaging. 

599: In any case, for all positions within a slit the walls are well approximated by an infinite surface in the $yz$-plane \cite{Grisenti1999a,Bruhl2002a}. The grating potential is thus set to be solely $x$-dependent and acting only within the time of passage $t=m b /p_z$ throughout the grating of thickness $b$, while it is set to be zero outside.

600: 

601: In general, the dispersion force between a polarizable particle and a material plane is described by the expression of Casimir and Polder \cite{Casimir1948a} and its generalizations, e.g.~\cite{Wylieboth,Buhmann2005a}. In the close distance limit it reduces to the van der Waals potential $V (x) = -C_3/x^{3}$, with $x$ the distance to the surface, and at large distances, where retardation plays a role, one has the asymptotic form $V(x) = -C_4/x^{4}$. 

602: The interaction constants $C_3,C_4 > 0$ are determined by the frequency dependent polarizability of the particle (as well as the dielectric function of the grating material), and the regime of validity of the limiting forms is delimited by the wavelengths corresponding to the strong electronic transitions \cite{Derevianko1999a,Bruhl2002a,Madronero2007a}.

603: 

604: In any case, the dispersion force diverges on the grating walls, rendering 

605: the eikonal approximation invalid in close vicinity to the walls. 

606: Since the contributions of these regions do not alter the interference contrast appreciably, but lead to 

607: numerical noise, 

608: we will discuss a reasonable criterion to blind out the beam close to the grating walls in Section \ref{sec:semiclass}. 

609: 

610: 

611: \begin{figure}

612: \includegraphics[width=8cm]{lambda_mat}

613: \caption{\label{fig:lambda_mat} Talbot-Lau visibilities 

614: (\ref{eqn:Vexp}) for the equidistant setup with three material gratings \cite{Brezger2002a} as a function of the de Broglie wavelength 

615: %$\lambda= h/(m v_z)$ 

616: of the interfering C$_{70}$ fullerenes.  At the second grating we assume no dispersive interaction (dotted line), a van der Waals interaction (dashed line), and a retarded van der Waals interaction (solid line). The dash-dotted line represents the classical calculation with a retarded interaction. It depends on the fictitious ``wavelength'' $\lambda=h/(m v_z)$ via the velocity $v_z$ because the interaction time is velocity dependent.

617: }

618: \end{figure}

619: 

620: Figure \ref{fig:lambda_mat} shows the interference visibility (\ref{eqn:Vexp}) for a typical Talbot-Lau experiment with C$_{70}$ fullerene molecules of mass $m=840 \, \text{amu}$ \cite{Brezger2002a},

621: plotted versus their de Broglie wavelength. All gratings are assumed to be separated by the distance $L=22 \, \text{cm}$ and to be made of gold with a period of $d=991 \, \text{nm}$, a slit width of $476 \, \text{nm}$, and a thickness of $b=500 \, \text{nm}$. One can see two peaks corresponding to the first and second Talbot order, at $\lambda=4.5\,\text{pm}$ and at $\lambda=9.0\,\text{pm}$, respectively. The solid line represents the eikonal approximation with a retarded asymptotic potential ($C_4=3\hbar c \alpha_0 / 8 \pi$ with the static polarizability $\alpha_0 = 96.7\,$\AA$^3$ obtained via the Clausius-Mossotti relation \cite{Compagnon2001a}),

622: while the dashed and the dotted lines correspond to the van der Waals potential ($C_3=10\, \text{meV}\,\text{nm}^3$) and to the absence of an intra-slit potential, respectively. One observes that the presence of the dispersion forces changes the interference characteristics significantly. The asymmetry in the double-peak structure compared to the interaction-free case is due to the fact that the particles with a larger velocity, i.e., with a smaller wavelength $\lambda$, receive a smaller eikonal phase than the slower particles.

623: Moreover, note that the effect of retardation has a small but visible influence on the fringe contrast.

624: 

625: The dash-dotted line in Fig.~\ref{fig:lambda_mat} represents the moir\'{e}-like effect as expected from classical mechanics. It was calculated in a phase space formulation as described in the appendix,

626: using the classical correspondence of the eikonal approximation with the $C_4$-potential. As one expects, the dependence of the classical result on the fictitious ``wavelength'' $\lambda=h/(m v_z)$, which is due to the velocity dependence of the classical deflection, differs strongly from the quantum results. 

627: 

628: We emphasize that all numerical results presented in this paper are obtained for a fixed longitudinal velocity  $v_z = h / (\lambda m)$ of the particles. A comparison with the experiment still requires the results to be averaged with respect to the velocity distribution in the beam. This may pose a severe restriction when using particles with larger polarizability because the increased dispersive interaction decreases the width of the double-peaks seen in Fig.~\ref{fig:lambda_mat}  significantly \cite{Gerlich2007a}. One way to avoid this is to replace the material diffraction grating by a standing laser wave.

629: 

630: \subsection{Laser gratings}

631: 

632: Recently, a Kapitza-Dirac-Talbot-Lau interferometer (KDTLI) was demonstrated, where the central grating is formed by a standing light wave \cite{Gerlich2007a}.

633: In the eikonal approximation the phase of an incoming plane wave is modulated according to the potential created by the off-resonant interaction with the standing laser beam. It is determined by the energy of the induced electric dipole in the oscillating field, and is therefore proportional to the laser power $P_L$ and to the dynamic polarizability  $\alpha_{\omega}$ of the beam particles at the laser frequency,

634: %

635: \begin{equation}

636:  V \left( x,z \right) = - \frac{4 P_L \alpha_{\omega}}{\pi \varepsilon_0 c w_y w_z} \sin^2 \left( \pi \frac{x}{d}\right) e^{-2 z^2 / w_z^2} .

637:  \label{eqn:laserpot}

638: \end{equation} 

639: %

640: Here, $w_y$ and $w_z$ are the waists of the Gaussian mode, and $w_y$ is chosen large compared to the detector size in order to guarantee a regular grating structure. We therefore disregard the $y$-dependence by setting $y=0$. Moreover, for sufficiently small $w_z$ an effective one-dimensional treatment of the potential is permissible, where one replaces the $z$-dependence by a parametric time dependence $z=p_z t / m$, as discussed below in Sect.~\ref{sec:pertexp}.

641: 

642: The $z$-integration in (\ref{eqn:simpleeiko}) renders the eikonal phase independent of $w_z$, which already indicates that the elementary eikonal approximation  will cease to be valid if the laser waist is increased. Nonetheless, it yields an interference contrast that fits well to the measured data of the recent fullerene experiments \cite{Gerlich2007a}. Moreover, it admits a simple, closed expression for the Talbot-Lau coefficients (\ref{eqn:Beik}),

643: %

644: \begin{equation}

645: 	B_m \left(\xi \right) = J_m \left( - \frac{4 M P_L \alpha_{\omega} }{\sqrt{2\pi} \hbar c \varepsilon_0 w_y p_z} \sin \pi \xi \right),

646: 	\label{eqn:Beiklaser}

647: \end{equation}

648: %

649: where $M$ is the mass of the beam particles and $J_m$ stands for the $m$th order Bessel function of the first kind \cite{Abramowitz1965a}.

650: 

651: \begin{figure}

652: \includegraphics[width=8cm]{lambda_laser2}

653: \caption{\label{fig:lambda_laser} Fringe visibilities (\ref{eqn:Vexp}) for a Kapitza-Dirac-Talbot-Lau interferometer \cite{Gerlich2007a} in the eikonal approximation. The solid line gives the quantum result for C$_{70}$ fullerenes, while the dashed line represents the corresponding classical calculation (neglecting photon absorption). Here we assume a laser power of $P_\text{L}=6\,$W, a vertical waist of  $w_y=900\,\mu\text{m}$, a grating distance of $L=105 \, \text{mm}$, a grating period of  $d=266 \, \text{nm}$, and a dynamic polarizability $\alpha_{\omega} = 118 \,$\AA$^3$ corresponding to a laser wavelength of $532 \, \text{nm}$.}

654: \end{figure}

655: 

656: The solid line in Figure \ref{fig:lambda_laser} shows the visibility (\ref{eqn:Vexp}) for the Viennese KDTLI with fullerenes  \cite{Gerlich2007a} as obtained from (\ref{eqn:Beiklaser}). In contrast to Figure \ref{fig:lambda_mat}, the visibility drops to zero whenever the wavelength corresponds to an integer multiple of the Talbot condition. This is explained by the fact that in 

657: the elementary Talbot effect (\ref{eqn:Talboteffect}) a pure phase grating with no absorptive walls leads to a constant density at multiples of the Talbot length. 

658: At the same time, there are broad regions of high contrast. They render the KDTLI setup superior to a material grating interferometer for particles with a high polarizability and a substantial velocity spread. Moreover, the interaction strength and the grating period can be tuned in a KDTLI rendering the laser grating the preferable choice to explore the validity regime of the eikonal approximation, as done in Section \ref{sec:numerics}.

659: 

660: The dashed line in Figure \ref{fig:lambda_laser} represents the classical version of the eikonal calculation as described in the appendix. 

661: Note that it differs significantly from the quantum result in the experimentally relevant wavelength regime, while the curves become indistinguishable for $\lambda \rightarrow 0$.

662: Finally, it should be emphasized that a realistic description of the laser grating must also account for the possibility of photon absorption. The effect of the resulting transverse momentum kicks

663: can be incorporated into the eikonal approximation by replacing the grating transformation kernel by a probabilistic sum of such kernels \cite{Gerlich2007a}.

664: 

665: 

666: \section{Semiclassical approach to the grating interaction} \label{sec:semiclass}

667: 

668: The de Broglie wavelength is by far the smallest length scale in the matter wave interference experiments considered in this paper.

669: It seems therefore natural to use a semiclassical approach for calculating the grating transformation used in (\ref{eq:Undef}). We will show how the elementary eikonal approximation (\ref{eqn:simpleeiko}) can be derived from the appropriate semiclassical formulation if a high-energy limit is taken. Moreover, one can obtain a refined eikonal approximation, where an incoming plane wave is still merely multiplied by a factor. Since this factor depends on the transverse momentum of the incoming wave it renders the numerical implementation more elaborate.

670: 

671: However, the main result of this section is the expression (\ref{eqn:semiclassresult})--(\ref{eqn:semiclassphase}) for the scattering factor which approximates the scattering transformation of a transverse plane wave in the semiclassical high-energy regime. As such it permits to evaluate the generalized grating coefficients (\ref{eqn:gratingcoeff}) straightforwardly, see Eq.~(\ref{eqn:gratingcoeff2}). As shown in Section \ref{sec:numerics}, this result outperforms the eikonal approximation and it may serve to characterize its regime of validity.

672: The derivation is based on the semiclassical approximation of the two-dimensional time evolution operator $\oU_t$ determined by the grating interaction potential $V \left(\vx \right)=V \left(x,z \right)$.

673: 

674: \subsection{The scattering factor}

675: 

676: We proceed to incorporate the grating interaction

677: by means of the formalism of scattering theory \cite{Taylor1972a}. Its basic tool is the scattering operator defined as

678: %

679: \begin{equation}

680:  \oS = \lim_{t \rightarrow \infty} \oU_{-t}^{(0)} \oU_{2t} \oU_{-t}^{(0)},

681:  \label{eqn:Soperator}

682: \end{equation} 

683: %

684: with $\oU_{t}^{(0)}=\exp \left(-i \oP^2 t /2 m \hbar \right)$ the free time evolution operator

685: for the motion in the $xz$-plane

686:  and $\oU_{t}$ the complete time evolution operator, which includes the grating potential $V(\vx)$. It is pertinent to use $\oS$ instead of $\oU_t$ since the scattering operator transforms the state instantaneously leaving the asymptotic dynamics to be described by the free time evolution. Since the latter is easily incorporated using Wigner functions this fits to the phase space description of Sect.~\ref{sec:generalTL}, where the initial beam state entering a Talbot-Lau interferometer is propagated freely to the second grating before the scattering transformation is applied. In the expression  (\ref{eqn:generalprop}) for the grating propagator, which serves to calculate the interference pattern (\ref{eqn:interferencepattern2}), one may thus use the S-matrix (\ref{eqn:Soperator}) in place of the general unitary operator $\oU$. 

687: 

688: In the basis of the improper plane wave states $\la \vx|\vp \ra=(2\pi\hbar)^{-1}\exp(i\vx\cdot\vp/\hbar)$ the scattering operator (\ref{eqn:Soperator}) is conveniently described by the scattering factor

689: %

690: \begin{equation}

691:  \Phi \left( \vx, \vp \right) = \frac{\la \vx | \oS | \vp \ra}{\la \vx | \vp \ra}

692:  \label{eqn:Sfactor}

693: \end{equation} 

694: %

695: Notice that $\oS$ acts in the Hilbert space defined on the two-dimensional plane $\vx = \left(x,z \right)$. However, as will be justified below, the longitudinal motion may be separated and treated classically

696: so that the transformation is confined to the transverse dimension, while the $z$-coordinate turns into an effective time coordinate for a given longitudinal momentum $p_z$. The brings about the 

697: reduced scattering factor

698: %

699: \begin{equation}

700: \phi \left(x,p \right)=\Phi \left( x\ex, p\ex + p_z \ez \right),

701: \label{eqn:Sfactor_1D}	

702: \end{equation}

703: %

704: which depends parametrically on $p_z$ and which is evaluated at the position $z=0$ of the center of the diffraction grating.

705: 

706: The reduced scattering factor $\phi \left(x,p \right)$ describes the phase and amplitude modification of a transverse plane wave with momentum $p$ due to the grating interaction. It enters the Talbot-Lau calculation via the Fourier coefficients (\ref{eq:Undef}) after an expansion in the plane wave basis. It follows that the generalized grating coefficients (\ref{eqn:gratingcoeff}) are directly related to $\phi\left(x,p \right) $ by a Fourier transformation,

707: %

708: \begin{equation}

709:  b_n \left( p\right) = \frac{1}{d} \int_{-d/2}^{d/2} \diff x \, e^{-2 \pi i n x /d} \phi \left( x, p \right).

710:  \label{eqn:gratingcoeff2}

711: \end{equation}

712: %

713: The calculation of the Talbot-Lau interference thus reduces to evaluating the scattering factor (\ref{eqn:Sfactor_1D}).

714: 

715: 

716: \subsection{Semiclassical calculation}

717: 

718: We proceed to calculate the scattering factor (\ref{eqn:Sfactor_1D}) by means of the semiclassical asymptotic approximation. It assumes the action of those trajectories through the interaction region, which contribute to the path integral for its position representation, to be much larger than $\hbar$, and the particle wavelength to be much smaller than the scale where the interaction potential changes appreciably,  $\left| \lambda \nabla V \right| \ll V$). 

719: These conditions are well satisfied in the typical experimental situation if we disregard the regions very close to the gratings where the potential exceeds the kinetic energy.

720: We may thus approximate the time evolution operator in the position representation by the semiclassical van Vleck-Gutzwiller propagator \cite{Gutzwiller1967a}

721: %

722: \begin{eqnarray}

723:  \la \vx | \oU_t |\vx_0 \ra &=& \frac{1}{2 \pi i \hbar} \sqrt{\left| \det \left( \frac{\partial^2 S_{t} \left( \vx, \vx_0\right)}{\partial \vx \partial \vx_0}\right)\right|} \nonumber \\

724: &&\times \, \exp \left(\frac{i}{\hbar} S_{t} \left( \vx, \vx_0\right)\right) .

725: \label{eqn:VVG1}

726: \end{eqnarray}

727: %

728: Here, $S_{t}$ is the  action  of the classical trajectory travelling during time $t$ from the position $\vx_0$ to $\vx$. In general, there might be more than one such trajectory, which would require taking special care of almost coalescing trajectories and of the associated Morse index. However, in the interferometric setup we are in the high-energy regime, where the interaction potential is much weaker than the energy of the incoming particles, $|V| \ll E$.

729: All relevant contributions are therefore characterized by a single, slightly deflected classical trajectory passing the interaction region. 

730: 

731: It is now convenient to specify this trajectory in terms of the deviation from the undeflected straight line, as specified by the initial position $\vx_0$ and momentum $\vp_0$. The momentum change after time $t$ is given by

732: %

733: \begin{eqnarray}

734: \Delta \vp_t \left(\vx_0, \vp_0 \right) &=& -\int_0^t \diff \tau \, \nabla V \left( \vx_{\tau} \left(\vx_0, \vp_0 \right) \right),

735: \label{eq:Deltap}

736: \end{eqnarray} 

737: %

738: so that the deflected trajectory reads

739: %

740: \begin{eqnarray}

741: \vx_{t} \left(\vx_0, \vp_0 \right) &=& \vx_0 + \frac{t}{m}\vp_0+\int_0^t \frac{\diff \tau}{m} \, \Delta\vp_{\tau} \left(\vx_0, \vp_0 \right) \label{eqn:trajx} \\

742: \vp_{t} \left(\vx_0, \vp_0 \right) &=& \vp_0 + \Delta \vp_t \left(\vx_0, \vp_0 \right). \label{eqn:trajp}

743: \end{eqnarray} 

744: %

745: In the van Vleck-Gutzwiller propagator (\ref{eqn:VVG1}) the contributing trajectory is specified by the boundary values $\vx_0$ and $\vx$. For the following calculation it is important to rewrite it as an initial value problem, specified by the initial phase space point $\left(\vx_0, \vp_0 \right)$ of the trajectory \cite{Heller1991a}.

746:  %

747: \begin{eqnarray}

748:  \la \vx | \oU_t |\vx_0 \ra &=& \frac{1}{2\pi i \hbar} \int \diff^2 p_0 \, \sqrt{\left| \det \left( \frac{\partial \vx_{t} \left(\vx_0, \vp_0 \right)}{\partial \vp_0} \right) \right|}

749: \nonumber\\

750: &&\times \delta \left( \vx - \vx_{t} \left(\vx_0, \vp_0 \right) \right) \exp \left( \frac{i}{\hbar} S_{t} \left( \vx_0, \vp_0\right) \right)

751: \nonumber\\&& \label{eqn:VVG2}

752: \end{eqnarray}

753: %

754: Plugging this into the expression (\ref{eqn:Soperator}) for the 2d scattering operator yields a semiclassical approximation for the scattering factor (\ref{eqn:Sfactor}).

755: %

756: \begin{align}

757: 	\Phi \left( \vx, \vp \right) =& \lim_{T\rightarrow \infty} \frac{m}{T} \iint \frac{\diff^2 r_0 \diff^2 p_0}{\left(2 \pi \hbar \right)^2} \, \sqrt{\left| \det \left( \frac{\partial \vx_{2T} \left(\vx_0, \vp_0 \right)}{\partial \vp_0} \right) \right|} 

758: \nonumber\\

759: &\times\exp \left( \frac{i}{\hbar} \Theta_{2T} \left( \vx_0, \vp_0 \right) \right)

760: 	\label{eqn:Sfactor2}

761: \end{align}

762: %

763: The phase of the integrand is given by the action-valued function

764: %

765: \begin{eqnarray}

766: 	\Theta_{2T} \left( \vx_0, \vp_0 \right) &=& S_{2T} \left( \vx_0, \vp_0\right) - \frac{m}{2T} \left( \vx - \vx_{2T} \left( \vx_0, \vp_0 \right) \right)^2 

767: \nonumber\\

768: &&- \vp \cdot \left( \vx - \vx_0 - \frac{\vp}{2m} T \right),

769: 	\label{eqn:Sphase1}

770: \end{eqnarray}

771: %

772: while the amplitude is determined by the stability determinant of the associated trajectory.

773: 

774: The semiclassical van Vleck-Gutzwiller propagator (\ref{eqn:VVG1}) used here is a stationary phase approximation of the  time evolution operator in path integral formulation \cite{Gutzwiller1967a}. To remain at a consistent level of approximation it is therefore necessary to evaluate the phase space integral in (\ref{eqn:Sfactor2}) in the stationary phase approximation as well \cite{Bleistein1975a}.

775: The stationary point of the phase $\Theta_{2T}$ is determined by the condition 

776: %

777: \begin{equation}

778: \left( \left. \frac{\partial \Theta_{2T}}{\partial \vx_0} \right|_{\vp_0}, \left. \frac{\partial \Theta_{2T}}{\partial \vp_0} \right|_{\vx_0} \right) = 0	.

779: \end{equation}

780: %

781: Noting the initial value derivatives of the classical action 

782: %

783: \begin{eqnarray}

784: 	\left(\left. \frac{\partial S_{t}}{\partial \vx_0} \right|_{\vp_0}\right)^T &=& - \vp_0 +\left( \left. \frac{\partial \vx_t}{\partial \vx_0} \right|_{\vp_0}\right)^{\rm T} \vp_{t} \\

785: 	\left(\left. \frac{\partial S_{t}}{\partial \vp_0} \right|_{\vx_0}\right)^T &=& \left(\left. \frac{\partial \vx_t}{\partial \vp_0} \right|_{\vx_0} \right)^{\rm T}\vp_{t},

786: \end{eqnarray}

787: %

788: and using the fact that the matrix $\partial\vx_{2T}/\partial\vp_0$ is invertible for our trajectories,

789: the stationary phase condition leads to the equations

790: %

791: \begin{eqnarray}

792: 	\vx &=& \vx_{2T} \left( \vx_0, \vp_0 \right) - \frac{T}{m} \vp_{2T} \left( \vx_0, \vp_0 \right) \label{eqn:statx}\\

793: 	\vp &=& \vp_0 \label{eqn:statp}.

794: \end{eqnarray}

795: %

796: They serve to determine the initial position $\vx_0(\vx,\vp)$ of the trajectory implicitly. Using the general formula for a four-dimensional integral, e.g. \cite[Eq. (A.30)]{Hornberger2002b},  the 2d scattering factor (\ref{eqn:Sfactor2}) then takes the form

797: %

798: \begin{equation}

799: 	\Phi \left( \vx, \vp \right) = \lim_{T\rightarrow \infty} A_{2T} \left( \vx_0 \left( \vx, \vp \right), \vp \right) \exp \left( \frac{i}{\hbar} \Theta_{2T} \left( \vx_0 \left( \vx, \vp \right),\vp \right) \right).

800: 	\label{eqn:Sfactor3}

801: \end{equation}

802: %

803: The amplitude modification 

804: %

805: \begin{equation}

806: A_{2T} \left( \vx_0, \vp_0 \right)	= \left| \det \left( \frac{\partial \vx_{2T} \left( \vx_0, \vp_0 \right)}{\partial \vx_0} - \frac{m}{T} \frac{\partial \vp_{2T} \left( \vx_0, \vp_0 \right)}{\partial \vx_0} \right) \right|^{-\frac{1}{2}}

807: \label{eqn:Samp1}

808: \end{equation}

809: %

810: is obtained, in a tedious but straightforward calculation, by using the Poisson relation between the conjugate variables $\vx_t$ and $\vp_t$ of the trajectory \cite{LandauM} when evaluating the product of two determinants. The matrix of derivatives in (\ref{eqn:Samp1}) can be computed by taking the initial value derivative of the equation of motion for the trajectory and solving the resulting ordinary differential equation. 

811: 

812: \begin{figure}

813: \includegraphics[width=7.5cm]{trajektorien}

814: \caption{\label{fig:scattskizze} Sketch of the stationary phase conditions for the semiclassical scattering factor $\Phi \left( \vx, \vp \right) $ defined in (\ref{eqn:Sfactor3}). While the momentum $\vp$ fixes the asymptotic initial momentum $\vp_0$ of the classical trajectory, the initial position $\vx_0$ is determined implicitly by the spatial point $\vx$. The latter defines the asymptotic final position $\vx_{2T}$ of the trajectory by means of a free evolution determined by the asymptotic final momentum $\vp_{2T}$. For interaction potentials that admit a scattering theory description this construction guarantees that the action (\ref{eqn:Sphase1}) and the stability amplitude (\ref{eqn:Samp1}) converge as $T\to\infty$. The range of the scattering potential is indicated by the shaded area.}

815: \end{figure}

816: 

817: Figure \ref{fig:scattskizze} shows how the stationary point can be understood from the point of view of a classical scattering trajectory. Given the phase space coordinates $\vx, \vp$ 

818: determining the matrix element of the scattered plane wave, 

819: the momentum $\vp$ fixes the initial momentum of the classical trajectory passing through the interaction region. The position $\vx$ determines the final position $\vx_{2T}$ of the deflected trajectory, which is obtained after a free motion during time $T$ in a direction given by the final momentum $\vp_{2T}$ of the trajectory. This free evolution ensures that the associated action (\ref{eqn:Sphase1}) and stability amplitude (\ref{eqn:Samp1}) is independent of $T$ in the limit $T \rightarrow \infty$. 

820: Note that Fig.~\ref{fig:scattskizze} overemphasizes the effect of the potential, since in all interferometrically relevant situations the deflection of the classical trajectories will be only a

821: small correction to the free rectilinear path.

822: 

823: The limit in the semiclassical result (\ref{eqn:Sfactor3}) is obtained already at a finite time $T$ if the interaction potential may be considered to have a finite range. The relevant scale is the grating passage time, given by $t=m b /p_z$ for material gratings and $t = m w_z / p_z$ for laser gratings, respectively. This follows from the fact that outside of the grating potential the classical trajectories remain rectilinear, so that neither the stationary phase condition (\ref{eqn:statx}) nor the stationary phase $\Theta_{2T}$ and amplitude $A_{2T}$ are affected by a further increase in $T$.

824: 

825: 

826: \subsection{Iterative solution in the momentum deflection}

827: \label{sec:pertexp}

828: 

829: We will now give explicit approximate solutions for the semiclassical scattering factor (\ref{eqn:Sfactor3}) which are valid in the high-energy limit, i.e., whenever the longitudinal kinetic energy $p_z^2/2 m$ of the incoming particles is large compared to the interaction potential $|V(\vx)|$. 

830: In general, one has to solve Eq.~(\ref{eqn:statx}) for the initial value $\vx_0$. Rewriting it in terms of the expressions (\ref{eqn:trajx}) and (\ref{eqn:trajp}) for the positions and momenta of the trajectory, one obtains an implicit equation for $\vx_0(\vx,\vp)$ which may be solved iteratively.

831: %

832: \begin{align}

833: 	\vx_0 \left( \vx, \vp \right) =& \vx - \frac{T}{m} \vp + \frac{T}{m} \Delta \vp_{2T} \left( \vx_0\left( \vx, \vp \right), \vp \right)

834: \nonumber\\

835: & -  \int_{0}^{2T} \frac{\diff t}{m} \, \Delta \vp_t \left( \vx_0\left( \vx, \vp \right), \vp \right)

836: 	\label{eqn:trajexpansion}

837: \end{align}

838: %

839: 

840: \subsubsection{The Glauber eikonal approximation}

841: 

842: In the semiclassical short interaction time and high-energy limit, which applies to typical interference experiments, the transverse momentum deflection $\Delta \vp_{2T}$ is so weak that its contribution

843: can be neglected. 

844: This corresponds to the zeroth order solution of Eq.~(\ref{eqn:trajexpansion}),

845: %

846: \begin{equation}

847: 	\vx_0^{(0)} \left( \vx, \vp \right) = \vx - \frac{T}{m} \vp.

848: \label{eqn:reihe0}

849: \end{equation}

850: %

851: In order to keep the approximation consistent 

852: one has to neglect the deflection in the expressions for the phase modification (\ref{eqn:Sphase1}) and for the amplitude modification (\ref{eqn:Samp1}) as well, by setting the classical trajectory to be the free rectilinear path. Consequently, there is no amplitude modification and the scattering factor (\ref{eqn:Sfactor3}) reads

853: %

854: \begin{equation}

855: 	\Phi \left( \vx, \vp \right) = \exp \left( - \frac{i}{\hbar} \int_{-\infty}^{\infty} \diff t \, V \left( \vx + \frac{\vp}{m}t \right) \right).

856: \end{equation}

857: %

858: This is the \textit{Glauber eikonal approximation} obtained by R.~J.~Glauber from the Lippmann-Schwinger equation in a quite different argumentation \cite{Glauber1959a}. The reduced scattering factor (\ref{eqn:Sfactor_1D}) for the transverse dimension then reads

859: %

860: \begin{equation}

861:  \phi \left(x,p \right) = \exp \left( - \frac{im}{\hbar p_z} \int_{-\infty}^{\infty} \diff z \, V \left(x + \frac{p}{p_z}z , z \right)\right).

862:  \label{eqn:glauber}

863: \end{equation} 

864: %

865: The elementary eikonal approximation (\ref{eqn:simpleeiko}) follows from this expression in the limit of vanishing transverse momentum, $p \rightarrow 0$. It applies in the case of a well-collimated beam and a small grating thickness $b$,

866: i.e., $\left| p b / p_z \right| \ll d$.

867: 

868: 

869: \subsubsection{The deflection approximation} 

870: 

871: The Glauber eikonal approximation ceases to be valid as the interaction strength or interaction time increases, and one has to go to the first order in the momentum deflection $\Delta \vp_{t}$ when evaluating the stationary initial value (\ref{eqn:trajexpansion}),

872: %

873: \begin{eqnarray}

874: 	\vx_0^{(1)} \left( \vx, \vp \right)& = &\vx - \frac{T}{m} \vp + \frac{T}{m} \Delta \vp_{2T} \left( \vx - \frac{T}{m} \vp, \vp \right)

875: \nonumber\\

876: && -  \int_{0}^{2T} \frac{\diff t}{m} \, \Delta \vp_t \left( \vx - \frac{T}{m} \vp, \vp \right).

877: \label{eqn:reihe1}

878: \end{eqnarray}

879: %

880: The higher order terms, which are neglected here, involve derivatives of the momentum deflection $ \Delta \vp_{2T}$.

881: 

882: The time-evolved trajectory starting from this initial value is approximated, again to first order in $\Delta \vp_{t}$, by

883: %

884: \begin{eqnarray}

885: \label{eqn:1stordertraj}

886: \vx_t \left(  \vx_0^{(1)} (\vx, \vp), \vp \right)& \approx& \vx_t \left( \vx - \frac{T}{m} \vp, \vp \right)

887: \nonumber\\

888: && + \frac{T}{m} \Delta \vp_{2T} \left( \vx - \frac{T}{m} \vp, \vp \right)

889: \\

890: && - \int_{0}^{2T}  \frac{\diff \tau }{m}\, \Delta \vp_\tau \left( \vx - \frac{T}{m} \vp, \vp \right).

891: \nonumber

892: \end{eqnarray}

893: %

894: This trajectory must be used when calculating the action (\ref{eqn:Sphase1}) in order to ensure that all expressions are evaluated to the same order in the deflection $\Delta \vp_{t}$. Since this holds also for the time integral $\int \diff t \, V \left( \vx_t \left( \vx_0, \vp \right) \right)$  a $1$st order Taylor expansion of the potential is required. In total this yields

895: %

896: \begin{widetext}

897: %

898: \begin{eqnarray}

899: 	\Theta_{2T} \left( \vx, \vp \right) &\approx& -\int_0^{2T} \diff t \,V \left( \vx_t \left( \vx - \frac{T}{m} \vp, \vp \right) \right) + \frac{1}{2m} \int_0^{2T} \diff t \, \Delta \vp_t^2 \left( \vx - \frac{T}{m} \vp, \vp \right) \nonumber \\

900: 	&&-  \Delta \vp_{2T} \left( \vx - \frac{T}{m} \vp, \vp \right) \cdot \int_0^{2T} \frac{\diff t}{m} \, \Delta \vp_t \left( \vx - \frac{T}{m} \vp, \vp \right) + \frac{T}{2m} \Delta \vp_{2T}^2 \left( \vx - \frac{T}{m} \vp, \vp \right).

901: 	\label{eqn:Sphase2}

902: \end{eqnarray}

903: %

904: On the other hand, when evaluating the amplitude (\ref{eqn:Samp1}) the zeroth order solution of the initial value  (\ref{eqn:reihe0}) must be used instead of (\ref{eqn:reihe1})   because the classical equation of motion for the matrix of initial value derivatives $(\partial \vx_{t} / \partial \vx_0, \partial \vp_{t} / \partial \vx_0 )$ is governed by the derivative of the interaction force rather than by the force itself.

905: Accounting for the modification (\ref{eqn:reihe1}) in calculating the stability determinant would therefore amount to a higher order correction in the momentum deflection. It follows that the amplitude factor is consistently approximated by

906: %

907: \begin{equation}

908: 	A_{2T} \left( \vx, \vp \right)	\approx \left| \det \left( \frac{\partial \vx_{2T} \left( \vx - \vp T / m, \vp \right)}{\partial \vx_0} - \frac{T}{m} \frac{\partial \vp_{2T} \left( \vx - \vp T / m, \vp \right)}{\partial \vx_0} \right) \right|^{-1/2}.

909: 	\label{eqn:Samp2}

910: \end{equation}

911: %

912: \end{widetext}

913: %

914: \subsubsection{Separation of the longitudinal motion} \label{sec:seplongmotion}

915: 

916: Based on the 

917: deflection approximation of the stationary scattering factor we may now derive a reduced scattering factor (\ref{eqn:Sfactor_1D}) that can be incorporated into the one-dimensional Talbot-Lau calculation and that significantly extends the validity regime of the eikonal approximation.

918: It is necessary for this purpose that the longitudinal motion remains unaltered. To a very good approximation this is indeed the case for the small trajectory deflections required above in the 

919: deflection approximation. This is due to the energy conservation during the scattering process, ensuring $(\vp + \Delta \vp_{2T})^2=\vp^2$ where $\vp= \left(p,p_z \right)$ is the incoming momentum and $\Delta \vp_{2T}$ the total deflection (\ref{eq:Deltap}). It follows that a small transverse deflection $\Delta p_{2T} \ll p_z$ yields in a well-collimated beam, $|p| \ll p_z$, a total longitudinal deflection $\Delta p_{z,2T} \approx p/p_z \Delta p_{2T}$ which is much smaller than $ \Delta p_{2T}$. 

920: The longitudinal part of the classical trajectory (\ref{eqn:1stordertraj}) may thus be treated as a free motion with constant momentum $p_z$,

921: %

922: \begin{equation}

923: 	z_t \left( \vx_0^{(1)} \left( \vx, \vp \right), \vp \right) = z + \frac{p_z}{m} \left(t-T \right) + 

924: \Order \left( \Delta p_{2T}\frac{p}{p_z} \right).

925: \label{eqn:zfree}

926: \end{equation}

927: %

928: This reduces all the vectorial quantities in the 

929: semiclassical phase and amplitude modification to the transverse scalar quantities. 

930: 

931: In addition, one can now remove the longitudinal motion altogether from the scattering description by switching into a comoving frame with velocity $v_z=p_z/m$.  It is convenient to redefine the transverse components of the classical transverse trajectory so that they start at $-T$,

932: %

933: \begin{eqnarray}

934: 	\Delta \bar{p}_t \left( x,p \right) &=& - \int_{-T}^t \diff \tau \, \partial_x V \left( \bar{x}_{\tau} \left( x,p \right), \frac{p_z}{m}\tau \right) \\

935: 	\bar{x}_t \left( x, p \right) &=& x + \frac{p}{m}t -  \int_{-T}^t \frac{\diff \tau}{m} \, \Delta \bar{p}_{\tau} \left(x,p \right) \\

936: 	\bar{p}_t \left(x,p \right) &=& p + \Delta \bar{p}_t \left(x,p \right).

937: \end{eqnarray}

938: %

939: These are the scalar analogues of (\ref{eq:Deltap})--(\ref{eqn:trajp}) but for the shift in the time coordinate by $-T$, which accounts for the asymptotic initial condition of the free longitudinal trajectory (\ref{eqn:zfree}).  

940: 

941: We can now state the result for the reduced scattering factor $\phi \left(x,p \right)=\Phi \left( x\ex, p\ex + p_z \ez \right)$ to first order in the momentum deflection.

942: %

943: \begin{equation}

944: \phi \left(x,p \right) = a \left(x,p \right) \exp \left(\frac{i}{\hbar} \theta \left(x,p \right) \right)

945: \label{eqn:semiclassresult}

946: \end{equation}

947: %

948: The amplitude is given by

949: %

950: \begin{equation}

951: 	a \left( x, p \right) = \lim_{T \rightarrow \infty} \left|  \partial_x\bar{x}_T  \left(x,p \right) - \frac{T}{m} \partial_x\bar{p}_T\left(x,p \right)   \right|^{-\frac{1}{2}},

952: 	\label{eqn:semiclassamp}

953: \end{equation}

954: %\begin{equation}

955: %	a \left( x, p \right) = \lim_{T \rightarrow \infty} \left| \left. \frac{\partial}{\partial x}\left( \bar{x}_T \left(x,p \right) - \frac{T}{m} \bar{p}_T \left(x,p \right) \right) \right|_p \right|^{-1/2},

956: %	\label{eqn:semiclassamp}

957: %\end{equation}

958: %

959: while the phase can be simplified as

960: %

961: \begin{widetext}

962: %

963: \begin{eqnarray}

964: \theta \left( x, p \right) = -\lim_{T\to\infty} \int_{-T}^{T} \diff t \left[ V \left( \bar{x}_t(x,p) , \frac{p_z}{m}t \right) - \frac{t}{m}  \partial_x V \left( \bar{x}_t(x,p) , \frac{p_z}{m}t \right) \int_{t}^{T} \diff \tau \, \partial_x V \left( \bar{x}_\tau(x,p) , \frac{p_z}{m}\tau \right) \right] .

965: \label{eqn:semiclassphase}

966: \end{eqnarray}

967: %

968: \end{widetext}

969: %

970: Here $\bar{x}_t(x,p)$ is the classical one-dimensional trajectory of a  particle starting, at $t=-T$, with momentum $p$ at the position $x-p T/m$. It evolves in the effectively time-dependent potential $U_t(x)=V \left( x , t p_z/m \right)$. The associated momentum is $\bar{p}_t(x,p)$.

971: It is easy to see that the limits in (\ref{eqn:semiclassamp}), (\ref{eqn:semiclassphase}) exist for sufficiently short-ranged potentials. 

972: In particular, if the scattering potential has a finite extension the limit is reached already at finite times $T$, once the longitudinal distance $2T v_z$ is larger than the size of the interaction region. 

973: 

974: The reduced scattering factor (\ref{eqn:semiclassresult}) 

975: constitutes a significant improvement over the eikonal approximation used so far, as will be demonstrated in the next section. Compared to the elementary eikonal approximation (\ref{eqn:simpleeiko}) and to the Glauber eikonal result (\ref{eqn:glauber}), this expression not only provides the consistent incorporation of the deflection into the phase, but it also introduces an amplitude modification of the scattered wave. 

976: 

977: \section{Numerical Analysis} \label{sec:numerics}

978: 

979: We proceed to analyze the numerical performance of the semiclassical scattering factor (\ref{eqn:semiclassresult}) as

980: compared to the Glauber eikonal approximation (\ref{eqn:glauber}) and to the elementary eikonal approximation used so far in evaluations of the Talbot-Lau effect. We will see that the elementary eikonal approximation was appropriate in the molecular matter wave experiments performed to date \cite{Brezger2002a,Gerlich2007a}. At the same time, both the Glauber and the semiclassical approximation significantly improve the treatment of laser gratings if the particles have 

981: larger polarizabilities or smaller velocities (as required if their mass ins increased).

982: 

983: According to the general theory from Sect.~\ref{sec:generalTL} the interference pattern (\ref{eqn:interferencepattern2}) is determined by the generalized, momentum dependent grating coefficients (\ref{eqn:gratingcoeff2}) via the scattering factor (\ref{eqn:Sfactor_1D}). 

984: In order to assess the validity

985: of the different approximations it is therefore pertinent to evaluate

986: the scattering factors directly and compare them to a numerical implementation of the exact propagation of a plane wave through the grating interaction

987: region.

988: 

989: \subsection{The scattering factor}

990: 

991: The exact transverse scattering factor (\ref{eqn:Sfactor_1D}) for the grating can be obtained by a numerical evaluation of the limit

992: %

993: \begin{equation}

994: 	\phi \left(x,p \right) = \lim_{T\to\infty} \frac{\la x | \oU_{-T}^{(0)} \oU_{2T} \oU_{-T}^{(0)} |p \ra}{\la x |p \ra}.

995: \end{equation}

996: %

997: In practice, this is done by computing the propagator matrix elements by means of a split operator technique \cite{Feit1982a,Chambers2000a}, making sure that the propagation time $T$ is sufficiently large (much larger than the grating passage time) so that the result is converged. In the following examples we use periodic boundary conditions for the position coordinate $x$ and a fixed transverse momentum $p$ not larger than the typical beam spread $10^{-3} p_z$.

998: 

999: \subsubsection{Material grating}

1000: 

1001: \begin{figure}

1002: \includegraphics[width=8cm]{arg_mat2}

1003: \caption{\label{fig:scatt_mat} Phase difference of the semiclassical (solid line) and the eikonal approximation (dotted line) to the exact result, plotted versus the distance to one grating slit wall. We use grating and particle parameters as in Fig.~\ref{fig:lambda_mat} (corresponding to the fullerene experiment \cite{Brezger2002a}).}

1004: \end{figure}

1005: 

1006: We first take the grating to be of material type with a retarded Casimir-Polder interaction potential. Figure~\ref{fig:scatt_mat} shows the phase \emph{differences} between the approximate scattering factors and the exact scattering factor as a function of the distance to the wall. The calculations were done for a de Broglie wavelength of $\lambda = 4\,$pm. Moreover, we choose an orthogonally incident plane wave, $p=0$, so that the elementary and the Glauber eikonal approximations coincide. They are given by the dotted line, while the solid curve corresponds to the semiclassical approximation (\ref{eqn:semiclassresult}).

1007: 

1008: As one observes in Figure~\ref{fig:scatt_mat}, the divergence of the wall potentials invalidates the approximations for the scattering factor close to the walls. However, the contributions from this small vicinity of the slit walls do not affect the interference visibility appreciably, since it corresponds only to a small fraction of the semiclassical trajectories.

1009: This suggests that a reasonable cut-off criterion is given by the critical distance $x_c$ to the wall, where a classical beam particle would hit the wall within the grating passage time $t=b/v_z$. Disregarding the initial transverse momentum $p$ and the potential of the opposite wall, the time for a particle starting at the distance $x_0$ to hit the wall is given by

1010: %

1011: \begin{equation}

1012: 	T = \sqrt{\frac{m}{2}}  \int_0^{x_0} \diff x \, \frac{1}{\sqrt{- V \left(x \right)}} .

1013: \end{equation}

1014: %

1015: For a wall potential $V(x) = -C_4 x^{-4}$ this leads to the critical distance

1016: %

1017: \begin{equation}

1018: 	x_c = \left( \frac{18m C_4 b^2}{p_z^2} \right)^{1/6}.

1019: \end{equation}

1020: %

1021: The parameters used for Fig.~\ref{fig:scatt_mat} yield  $x_c=21\,$nm, and this value indeed corresponds to the position 

1022: where the semiclassical and the exact phase deviate by about $2\pi$.

1023: The fact that the eikonal approximation is virtually identical to the exact phase factor for most of the slit width explains why the eikonal approximation is well justified with thin material gratings. 

1024: In fact, our numerical results indicate that in this case the eikonal approximation remains valid even for

1025: particles with a stronger particle-wall interaction, breaking down only in a regime where the interference visibility is already strongly diminished by the interaction effect. We therefore focus on the KDTLI setup in the following. 

1026: 

1027: As a final point, we note that the opening width of the slits is effectively reduced by twice the critical distance $x_c$. For large and slow particles it may be necessary to take this into account even at the first and at the third grating, since the fringe visibility depends quite sensitively on the corresponding effective open fractions. 

1028: 

1029: 

1030: \subsubsection{Laser grating}

1031: 

1032: \begin{figure*}

1033: \includegraphics[width=8cm]{arg_laser1} \hspace{5mm} \includegraphics[width=8cm]{arg_laser2}

1034: \caption{\label{fig:scatt_laser1} Phase difference with respect to the 

1035: exact scattering factor over one period $d=266\,$nm of the laser grating 

1036: (parameters as in Fig.~\ref{fig:lambda_laser}, with $\lambda=3\,$pm, corresponding to the experiment \cite{Gerlich2007a}). Panel (a) shows the results for an incoming plane wave with vanishing transverse momentum, $p=0$, while  (b) corresponds to $p=10^{-3}p_z$. The solid line gives the

1037: error of the semiclassical approximation, 

1038: which is not resolved on the scale given by the errors of the 

1039: Glauber approximation (dashed line) and the elementary eikonal approximation (dotted line). The latter are indistinguishable in (a); notice the different scales of the $y$-axes.}

1040: \end{figure*}

1041: 

1042: Replacing the diffraction grating by a standing laser wave leads to the smooth and bounded interaction potential (\ref{eqn:laserpot}). 

1043: For the numerical evaluation of the scattering factor, shown in Fig.~\ref{fig:scatt_laser1}, we choose the same parameters as for Fig.~\ref{fig:lambda_laser}

1044: (motivated by the experiment \cite{Gerlich2007a}) and choose $\lambda=3 \,$pm. The longitudinal laser waist $w_z = 20\,\mu$m is much larger than the grating period $d=266 \,$nm. It follows that non-zero transverse momenta $p\neq 0$ now have to be considered separately since the free transverse motion over the distance $ w_z p/p_z$ must not be neglected. 

1045: 

1046: Figure~\ref{fig:scatt_laser1} shows how the phases of the approximate scattering factors deviate from the exact phase. Panel (a) corresponds to a perpendicular incidence of the incoming plane wave, $p=0$, while (b) is evaluated for $p = 10^{-3} p_z$, as found in a beam spread of $1\,$mrad 

1047: The Glauber and the elementary eikonal approximation coincide in the case (a) of perpendicular incidence, and they deviate from the exact phase by about 1\,mrad. The error of the semiclassical phase is smaller by three orders of magnitude, and it is not resolved in the plot. On the other hand, in the case (b) of a non-zero transverse momentum the elementary eikonal approximation deviates substantially from the exact result, while the error for the Glauber approximation remains on the order of $10^{-3}$ and the semiclassical one on the order of $10^{-6}$ (not resolved in the plot). 

1048: 

1049: As for the corresponding amplitude of the incident plane waves, the exact calculation  yields deviations from the incident amplitude $1$ on the order of $10^{-6}$ in case (a) and deviations on the order of $10^{-4}$ in case (b), respectively (not shown). While the eikonal approximations cannot account for this effect, the semiclassical amplitude (\ref{eqn:semiclassamp}) reproduces the exact result with an error

1050: of less than $10^{-8}$, and $10^{-6}$, respectively.

1051: 

1052: The semiclassical expression of the scattering factor is thus demonstrated to be superior by orders of magnitude compared to the eikonal approximations.

1053: While the Glauber eikonal approximation already improves the elementary eikonal approximation significantly, it still does not take the amplitude modification into account. However, the overall corrections to the eikonal approximations are so small in the present parameter regime that the Talbot-Lau interference contrast is hardly affected, as demonstrated below. The elementary eikonal approximation thus remains valid for the considered experiment \cite{Gerlich2007a}.

1054: 

1055: \begin{figure*}

1056: \includegraphics[width=8cm]{arg_laser3} \hspace{5mm} \includegraphics[width=8cm]{amp_laser3}

1057: %

1058: \caption{\label{fig:scatt_laser2} (a) Phase differences with respect to the exact calculation like in Fig.~\ref{fig:scatt_laser1}, but for an increased de Broglie wavelength $\lambda=30\,$pm and $p=10^{-3}p_z$. The elementary eikonal approximation (dotted line) and the Glauber eikonal approximation (dashed line) now differ markedly from the exact phase result, while the semiclassical approximation (solid line) deviates by less that 100\,mrad.

1059: (b) Corresponding amplitude modification 

1060: as obtained from the semiclassical approximation (solid line) and the exact calculation (dashed line).}

1061: \end{figure*}

1062: 

1063: The situation changes distinctively if the de Broglie wavelength is increased by a factor of ten, to $\lambda = 30\,$pm. The resulting phase difference and amplitude plots are shown in Fig.~\ref{fig:scatt_laser2} for the case of a transverse momentum $p=10^{-3}p_z$. Now both the Glauber and the elementary eikonal phase strongly differ from the exact result, as demonstrated by the dashed and the dotted curves in Fig.~\ref{fig:scatt_laser2}(a). At the same time, the semiclassical result (solid line) deviates by less than $100\,$mrad from the exact phase, and also the corresponding amplitude, seen in Fig.~\ref{fig:scatt_laser2}(b), faithfully approximates the exact one.

1064: 

1065: The semiclassical expression (\ref{eqn:semiclassresult}) starts to fail only if we decrease the beam velocity to such an extent that the trajectories get strongly deflected during the increased passage time. This is expected since the derivation assumes the corrections due to deflection to be small. Equation (\ref{eqn:semiclassresult}) thus extends the eikonal approximation to the smaller beam velocities required for more massive particles, but it does not cover the whole semiclassical wavelength regime. 

1066: 

1067: \subsection{The Talbot-Lau visibility}

1068: 

1069: We can now discuss how the improved treatment of the grating interaction effect affects the Talbot-Lau interference visibility. We  focus again on the laser grating setup demonstrated in \cite{Gerlich2007a}. 

1070: In the Figures \ref{fig:vis_wz}--\ref{fig:vis_lambda}

1071: the eikonal results are obtained by calculating the visibility (\ref{eqn:Vexp}) 

1072: by means of the Talbot-Lau coefficients (\ref{eqn:Beiklaser}). The semiclassical calculation implements the generalized formula for the interference pattern (\ref{eqn:interferencepattern2}), where the semiclassical scattering factor (\ref{eqn:semiclassresult}) enters by means of the generalized grating coefficients (\ref{eqn:gratingcoeff2}). Note that, unlike in the elementary eikonal approximation, it is now essential to incorporate the angular distribution $D \left( p / p_z \right)$ into the calculation.

1073: It is set here to be a Gaussian $D \left( p / p_z \right) \propto \exp \left( -(p/p_z)^2 / 2 \alpha^2 \right) $ with a realistic width of $\alpha = 1\,$mrad.

1074: 

1075: %

1076: \begin{figure}

1077: \includegraphics[width=8cm]{wzrun_laser}

1078: \caption{\label{fig:vis_wz} Interference visibility as a function of the longitudinal waist $w_z$ of the laser grating (for $\lambda = 3\,$pm, starting from the experimental value $w_z=20\, \mu$m  \cite{Gerlich2007a}). The dotted line gives the result of the elementary eikonal approximation (\ref{eqn:simpleeiko}), while the solid curve represents the semiclassical result (\ref{eqn:semiclassresult}).}

1079: \end{figure}

1080: 

1081: One immediate consequence of the dependence of the semiclassical and the Glauber approximations on the transverse momentum is demonstrated in Fig.~\ref{fig:vis_wz}, where the interference visibility is plotted versus the longitudinal laser waist $w_z$, starting from the experimental value $w_z = 20 \, \mu$m. The elementary eikonal approximation (dotted line) is independent of $w_z$ due to the longitudinal integration in (\ref{eqn:simpleeiko}). The semiclassical result (solid line), which takes into account the transverse motion through the laser field, decreases with growing $w_z$. While the difference between the approximations is negligible at the experimental value, it becomes significant for a larger laser focus. The Glauber approximation reproduces the semiclassical result up to a precision of $10^{-4}$ and is therefore indistinguishable from the solid line Fig.~\ref{fig:vis_wz}. This implies that the visibility loss with growing waist is due to the free transverse motion through the laser grating, rather than due to a considerable deflection of the trajectories.

1082: 

1083: \begin{figure}

1084: \includegraphics[width=8cm]{wwrun_laser}

1085: \caption{\label{fig:vis_P} Fringe visibility  as a function of the laser power $P_L$, starting from the experimental value $P_L=6\,$W \cite{Gerlich2007a}. For considerably larger powers, or, equivalently, for larger polarizabilities of the particles, the elementary eikonal approximation (dotted line) deviates markedly from the semiclassical result  (\ref{eqn:semiclassresult}).}

1086: \end{figure}

1087: 

1088: A similar result is presented in Fig.~\ref{fig:vis_P}, where we increase the laser power starting from the experimental value $P_L=6\,$W. This is equivalent to increasing the polarizability of the particles, see (\ref{eqn:laserpot}). One observes that the semiclassical result (solid curve) decreases more rapidly than the eikonal visibility (dotted curve) as the strength of the phase grating is increased. The Glauber approximation again matches the semiclassical curve.

1089: 

1090: \begin{figure}

1091: \includegraphics[width=8cm]{lambda_laser3gla}

1092: \caption{\label{fig:vis_lambda} Talbot-Lau interference visibilities for the laser grating setup \cite{Gerlich2007a}

1093: with C$_{70}$ fullerenes. We use increased de Broglie wavelengths 

1094: corresponding to velocities around $v_z=16$\,m/s \cite{Deachapunya2008a}.

1095: The semiclassical approximation (solid line) yields values which are clearly distinguishable from the 

1096: Glauber eikonal approximation (dotted line). The elementary eikonal approximation differs 

1097: %even

1098: more strongly.}

1099: \end{figure}

1100: 

1101: Finally, in Fig.~\ref{fig:vis_lambda} we present the interference visibility as a function of the de Broglie wavelength $\lambda$ around $30\,$pm, corresponding to a tenfold smaller beam velocity than in the experiment. In this case one observes at some wavelengths a considerable difference between the 

1102: Glauber eikonal approximation (dotted line) and the semiclassical approximation (solid line). 

1103: 

1104: Note that the sharp dips, where the visibility drops to zero in Fig.~\ref{fig:vis_lambda} and Fig.~\ref{fig:vis_P}, indicate a shift of the interference pattern by half its period. One has to take this into account when averaging the visibility over the velocity distribution of the particle beam. For example, if this distribution was so broad that it amounts to averaging over two subsequent peaks in Fig.~\ref{fig:vis_lambda} it would lead to almost zero visibility.

1105: 

1106: We have seen that in general the validity of the eikonal approximation depends on the grating interaction strength, the passage time, the longitudinal velocity, and the distribution of the transverse momenta in the particle beam. For the specific experiment \cite{Gerlich2007a}  the elementary eikonal approximation breaks down by either decreasing the longitudinal velocity by a factor of $10$, or similarly by increasing the laser power $P_L$, the longitudinal waist $w_z$, or the particle polarizability by an order of magnitude. The latter are effects mainly due to the transverse motion of the beam particles, which is not taken into account by the elementary eikonal approximation. Here the Glauber eikonal approximation (\ref{eqn:glauber}), i.e., the semiclassical scattering factor without deflection, would be already sufficient, at least in the experimentally accessible regime. This is no longer the case 

1107: if one increases the wavelength, since the deflection effect is more sensitive to the wavelength than to the grating parameters, limiting the validity of both the elementary and the Glauber eikonal approximation. 

1108: 

1109: \section{Conclusions} \label{sec:conclusions}

1110: 

1111: 

1112: We presented a general theory of the coherent Talbot-Lau interference effect.  

1113: It allows to incorporate the interaction between particle and grating structure--a dominant effect in near field interference--at various degrees of approximation. Our treatment shows that it is necessary to account for detailed beam characteristics, such as the angular distribution, whenever one is required to go beyond the elementary eikonal approximation, or if one wants to quantify the experimental adjustment requirements.

1114: 

1115: Using the phase space formulation of quantum mechanics, we identify the appropriate generalization of the Talbot-Lau coefficients.

1116: They serve to incorporate the most general coherent grating transformation and to describe the various near field interference effects in a transparent fashion. The general effect of the passage through a grating can thus be formulated in terms of scattering theory, providing a starting point for the numerically exact evaluation of the interference pattern. 

1117: 

1118: Moreover, the semiclassical approximation of the S-matrix  yields a systematic and non-perturbative improvement over the elementary eikonal approximation. 

1119: An additional high-energy approximation of the semiclassical trajectories then yields the Glauber eikonal approximation and the semiclassical deflection approximation as systematic corrections to the standard treatment.

1120: A comparison with the numerically exact calculation verifies the high quality of the semiclassical deflection approximation. It suggests that a Kapitza-Dirac Talbot-Lau interferometer, where the center grating is replaced by a standing light wave, will be able to demonstrate the wave nature even of particles which are so large that the eikonal approximation is no longer valid. 

1121: 

1122: \begin{acknowledgments}

1123: We thank M. Arndt and H. Ulbricht for helpful discussions.

1124: This work was supported by the FWF doctoral program `Complex Quantum Systems' (W1210) and by the DFG Emmy Noether program.

1125: \end{acknowledgments}

1126: 

1127: 

1128: \appendix*

1129: 

1130: \section{Classical description} \label{app:class}

1131: 

1132: If the Talbot-Lau experiment is to prove the quantum nature

1133: of particles one clearly needs to be able to distinguish between the quantum

1134: interference effect and the moir\'{e}-type shadow effect that may occur with classical particles. A formulation is therefore required that yields the classical shadow contrast by using the same assumptions and approximations as in the quantum case. We present this classical theory in the following by assuming a material grating of thickness $b$ with a transverse interaction potential $V(x)$ of the

1135: grating slit walls. The case of an explicitly $z$-dependent

1136: interaction potential $V \left(x,z \right)$, such as a laser grating \cite{Gerlich2007a}, can be treated in the

1137: one-dimensional model by an effectively time-dependent potential

1138: $\widetilde{V} \left(x,t \right) = V \left(x, p_z t /m \right)$, where

1139: the longitudinal motion provides the time coordinate for a given

1140: momentum $p_z$. 

1141: 

1142: The classical formulation is based on the phase space density rather than the Wigner function. The corresponding classical propagator through a diffraction

1143: grating is given by the expression

1144: %

1145: \begin{eqnarray}

1146:  K_{\text{cl}} \left(x,p;x_0,p_0 \right) &=& \left|t\left(x_0\right) \right|^2 \delta \left( x_0 - x_0^{\text{cl}} \left(x,p,\frac{mb}{p_z} \right) \right) \nonumber \\

1147: &&\times \, \delta \left( p_0 - p_0^{\text{cl}} \left(x,p,\frac{mb}{p_z} \right) \right),

1148: \label{eqn:klassprop}

1149: \end{eqnarray} 

1150: %

1151: where the hard grating wall cutoff of the particle beam is taken into

1152: account at the entrance into the grating. The phase space coordinates

1153: $x_0^{\text{cl}},p_0^{\text{cl}}$ are the starting point of the

1154: classical trajectory evolving to $x,p$ under the influence of the

1155: interaction potential $V(x)$ within the grating passage time

1156: $t=mb/p_z$. 

1157: 

1158: Since the free evolution of the phase space density

1159: is given by the same transformation (\ref{eq:wt}) as in the case of the Wigner function,

1160: one

1161: ends up with the general classical shadow pattern, denoted by $f_3$

1162: instead of $w_3$, after

1163: substituting the classical propagator (\ref{eqn:klassprop}) into

1164: the general Talbot-Lau calculation from Sect.~\ref{sec:generalTL}.

1165: %

1166: \begin{widetext}%

1167: \begin{eqnarray}

1168:  f_3 \left( x \right) &=& \frac{1}{G} \int \frac{\diff p}{p_z} \, D \left( \frac{p_0^{\text{cl}} \left( x- \frac{p}{p_z}\eta L,p,\frac{mb}{p_z}\right)}{p_z}\right) \left|t \left( x_0^{\text{cl}} \left( x- \frac{p}{p_z}\eta L,p,\frac{mb}{p_z}\right)\right) \right|^2 \nonumber \\

1169: && \times \, \left|t_1 \left( x_0^{\text{cl}} \left( x- \frac{p}{p_z}\eta L,p,\frac{mb}{p_z}\right) - \frac{p_0^{\text{cl}} \left( x- \frac{p}{p_z}\eta L,p,\frac{mb}{p_z}\right)}{p_z} L\right) \right|^2

1170: \label{eqn:shadow1}

1171: \end{eqnarray} 

1172: \end{widetext}

1173: %

1174: One can numerically implement this formula directly, rather than performing a Fourier decomposition with respect to the argument $x-p \eta L /p_z$ of the trajectory terms. 

1175: 

1176: The ideal moir\'{e} shadow pattern is obtained if one disregards both the interaction potential and the grating thickness by setting $x_0^{\text{cl}} \left(x,p,t\right)=x$ and

1177: $p_0^{\text{cl}} \left(x,p,t\right)=p$. 

1178: If a particle-wall interaction is present, the classical analogue to the eikonal approximation (\ref{eqn:simpleeiko}) is to approximate the deflection of the trajectory due to the grating by an instantaneous momentum kick \cite{Hornberger2004a},

1179: %

1180: \begin{eqnarray}

1181:  x_0^{\text{cl}} \left( x, p, \frac{m b}{p_z} \right) &=& x \nonumber \\

1182:  p_0^{\text{cl}} \left( x, p, \frac{m b}{p_z} \right) &=& p + \frac{m b}{p_z} V'(x).

1183: \end{eqnarray}

1184: %

1185: Putting this into the classical formula (\ref{eqn:shadow1}), performing all the Fourier decompositions, and focusing on a particular $r:s$ Talbot-Lau resonance, as  done in the eikonal quantum case (\ref{eqn:w3_eik2}), one obtains the classical shadow pattern in eikonal approximation,

1186: %

1187: \begin{eqnarray}

1188:  f_3 \left( x \right) &=& \frac{1}{G} \sum_{\ell=-\infty}^{\infty} A_{s \ell}^{*} \exp \left(2 \pi i \ell\frac{ x}{d_3} \right) \nonumber \\

1189: &&\times \, \sum_{k=-\infty}^{\infty} B_{r\ell-k} (0) c_k \left( s \ell \frac{d}{d_1}\frac{L}{L_\textrm{T}} \right). \label{eqn:f3_eik}

1190: \end{eqnarray} 

1191: %

1192: The classical momentum kick coefficients read as

1193: %

1194: \begin{eqnarray}

1195:  c_n \left( \xi \right) &=& \frac{1}{d} \int_{-d/2}^{d/2} \diff x \, e^{-2 \pi i n x / d} \exp \left( i \xi \frac{m b V' (x) / p_z}{\hbar / d} \right) .

1196: \nonumber\\&&

1197: \end{eqnarray} 

1198: %

1199: If the second grating is implemented by a standing laser beam  the

1200: classical calculation  yields an analytical expression for the

1201: Talbot-Lau coefficients $B_m^{\text{cl}} \left( \xi \right) = \sum_k

1202: B_{m-k} \left(0 \right) c_k \left( \xi \right)$. They are related to the

1203: quantum expression (\ref{eqn:Beiklaser}) by replacing the sine function in the argument with its  linear expansion,

1204: %

1205: \begin{equation}

1206: 	B_m^{\text{cl}} \left(\xi \right) = J_m \left( - \frac{4 M P_L \alpha_{\omega} }{\sqrt{2\pi} \hbar c \varepsilon_0 w_y p_z}  \pi \xi \right).

1207: 	\label{eqn:Beiklasercl}

1208: \end{equation}

1209: %

1210: Since the argument of the $B_m$ is proportional to the de Broglie

1211: wavelength $\lambda$ in the Talbot-Lau interference effect, this means

1212: that the quantum

1213: interference and the classical shadow effect become indistinguishable in the naive classical limit of a vanishing wavelength, $\lambda \rightarrow 0$.

1214: 

1215: \begin{thebibliography}{51}

1216: \expandafter\ifx\csname natexlab\endcsname\relax\def\natexlab#1{#1}\fi

1217: \expandafter\ifx\csname bibnamefont\endcsname\relax

1218:   \def\bibnamefont#1{#1}\fi

1219: \expandafter\ifx\csname bibfnamefont\endcsname\relax

1220:   \def\bibfnamefont#1{#1}\fi

1221: \expandafter\ifx\csname citenamefont\endcsname\relax

1222:   \def\citenamefont#1{#1}\fi

1223: \expandafter\ifx\csname url\endcsname\relax

1224:   \def\url#1{\texttt{#1}}\fi

1225: \expandafter\ifx\csname urlprefix\endcsname\relax\def\urlprefix{URL }\fi

1226: \providecommand{\bibinfo}[2]{#2}

1227: \providecommand{\eprint}[2][]{\url{#2}}

1228: 

1229: \bibitem[{\citenamefont{Davisson and Germer}(1927)}]{Davisson1927a}

1230: \bibinfo{author}{\bibfnamefont{C.}~\bibnamefont{Davisson}} \bibnamefont{and}

1231:   \bibinfo{author}{\bibfnamefont{L.~H.} \bibnamefont{Germer}},

1232:   \bibinfo{journal}{Phys.\ Rev.} \textbf{\bibinfo{volume}{30}},

1233:   \bibinfo{pages}{705} (\bibinfo{year}{1927}).

1234: 

1235: \bibitem[{\citenamefont{von Halban and Preiswerk}(1936)}]{Halban1936a}

1236: \bibinfo{author}{\bibfnamefont{H.}~\bibnamefont{von Halban}} \bibnamefont{and}

1237:   \bibinfo{author}{\bibfnamefont{P.}~\bibnamefont{Preiswerk}},

1238:   \bibinfo{journal}{C.\ R.\ Hebd.\ S\'{e}ances Acad.}

1239:   \textbf{\bibinfo{volume}{203}}, \bibinfo{pages}{73} (\bibinfo{year}{1936}).

1240: 

1241: \bibitem[{\citenamefont{Berman}(1997)}]{Berman1997a}

1242: \bibinfo{editor}{\bibfnamefont{P.~R.} \bibnamefont{Berman}}, ed.,

1243:   \emph{\bibinfo{title}{Atom Interferometry}} (\bibinfo{publisher}{Academic

1244:   Press}, \bibinfo{address}{San Diego}, \bibinfo{year}{1997}).

1245: 

1246: \bibitem[{\citenamefont{Miffre et~al.}(2006)\citenamefont{Miffre, Jacquey,

1247:   B\"{u}chner, Tr\'{e}nec, and Vigu\'{e}}}]{Miffre2006a}

1248: \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Miffre}},

1249:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Jacquey}},

1250:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{B\"{u}chner}},

1251:   \bibinfo{author}{\bibfnamefont{G.}~\bibnamefont{Tr\'{e}nec}},

1252:   \bibnamefont{and}

1253:   \bibinfo{author}{\bibfnamefont{J.}~\bibnamefont{Vigu\'{e}}},

1254:   \bibinfo{journal}{Phys. Scr.} \textbf{\bibinfo{volume}{74}},

1255:   \bibinfo{pages}{C15} (\bibinfo{year}{2006}).

1256: 

1257: \bibitem[{\citenamefont{Cronin et~al.}(2007)\citenamefont{Cronin, Schmiedmayer,

1258:   and Pritchard}}]{Cronin2008a}

1259: \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Cronin}},

1260:   \bibinfo{author}{\bibfnamefont{J.}~\bibnamefont{Schmiedmayer}},

1261:   \bibnamefont{and}

1262:   \bibinfo{author}{\bibfnamefont{D.}~\bibnamefont{Pritchard}},

1263:   \bibinfo{journal}{eprint arXiv:0712.3703v1}  (\bibinfo{year}{2007}).

1264: 

1265: \bibitem[{\citenamefont{Weiss et~al.}(1993)\citenamefont{Weiss, Young, and

1266:   Chu}}]{Weiss1993a}

1267: \bibinfo{author}{\bibfnamefont{D.~S.} \bibnamefont{Weiss}},

1268:   \bibinfo{author}{\bibfnamefont{B.~C.} \bibnamefont{Young}}, \bibnamefont{and}

1269:   \bibinfo{author}{\bibfnamefont{S.}~\bibnamefont{Chu}},

1270:   \bibinfo{journal}{Phys.\ Rev.\ Lett.} \textbf{\bibinfo{volume}{70}},

1271:   \bibinfo{pages}{2706} (\bibinfo{year}{1993}).

1272: 

1273: \bibitem[{\citenamefont{Gustavson et~al.}(1997)\citenamefont{Gustavson, Bouyer,

1274:   and Kasevich}}]{Gustavson1997a}

1275: \bibinfo{author}{\bibfnamefont{T.~L.} \bibnamefont{Gustavson}},

1276:   \bibinfo{author}{\bibfnamefont{P.}~\bibnamefont{Bouyer}}, \bibnamefont{and}

1277:   \bibinfo{author}{\bibfnamefont{M.~A.} \bibnamefont{Kasevich}},

1278:   \bibinfo{journal}{Phys.\ Rev.\ Lett.} \textbf{\bibinfo{volume}{78}},

1279:   \bibinfo{pages}{2046} (\bibinfo{year}{1997}).

1280: 

1281: \bibitem[{\citenamefont{Peters et~al.}(1999)\citenamefont{Peters, Chung, and

1282:   Chu}}]{Peters1999a}

1283: \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Peters}},

1284:   \bibinfo{author}{\bibfnamefont{K.-Y.} \bibnamefont{Chung}}, \bibnamefont{and}

1285:   \bibinfo{author}{\bibfnamefont{S.}~\bibnamefont{Chu}},

1286:   \bibinfo{journal}{Nature} \textbf{\bibinfo{volume}{400}},

1287:   \bibinfo{pages}{849} (\bibinfo{year}{1999}).

1288: 

1289: \bibitem[{\citenamefont{M\"uller et~al.}(2007)\citenamefont{M\"uller, Wendrich,

1290:   Gilowski, Jentsch, Rasel, and Ertmer}}]{Muller2007a}

1291: \bibinfo{author}{\bibfnamefont{T.}~\bibnamefont{M\"uller}},

1292:   \bibinfo{author}{\bibfnamefont{T.}~\bibnamefont{Wendrich}},

1293:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Gilowski}},

1294:   \bibinfo{author}{\bibfnamefont{C.}~\bibnamefont{Jentsch}},

1295:   \bibinfo{author}{\bibfnamefont{E.~M.} \bibnamefont{Rasel}}, \bibnamefont{and}

1296:   \bibinfo{author}{\bibfnamefont{W.}~\bibnamefont{Ertmer}},

1297:   \bibinfo{journal}{Phys. Rev.~A} \textbf{\bibinfo{volume}{76}},

1298:   \bibinfo{pages}{063611} (\bibinfo{year}{2007}).

1299: 

1300: \bibitem[{\citenamefont{Berninger et~al.}(2007)\citenamefont{Berninger,

1301:   Stefanov, Deachapunya, and Arndt}}]{Berninger2007a}

1302: \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Berninger}},

1303:   \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Stefanov}},

1304:   \bibinfo{author}{\bibfnamefont{S.}~\bibnamefont{Deachapunya}},

1305:   \bibnamefont{and} \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Arndt}},

1306:   \bibinfo{journal}{Phys. Rev.~A} \textbf{\bibinfo{volume}{76}},

1307:   \bibinfo{eid}{013607} (\bibinfo{year}{2007}).

1308: 

1309: \bibitem[{\citenamefont{Hackerm{\"u}ller

1310:   et~al.}(2007)\citenamefont{Hackerm{\"u}ller, Hornberger, Gerlich, Gring,

1311:   Ulbricht, and Arndt}}]{Hackermuller2007a}

1312: \bibinfo{author}{\bibfnamefont{L.}~\bibnamefont{Hackerm{\"u}ller}},

1313:   \bibinfo{author}{\bibfnamefont{K.}~\bibnamefont{Hornberger}},

1314:   \bibinfo{author}{\bibfnamefont{S.}~\bibnamefont{Gerlich}},

1315:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Gring}},

1316:   \bibinfo{author}{\bibfnamefont{H.}~\bibnamefont{Ulbricht}}, \bibnamefont{and}

1317:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Arndt}},

1318:   \bibinfo{journal}{Appl. Phys.~B} \textbf{\bibinfo{volume}{89}},

1319:   \bibinfo{pages}{469} (\bibinfo{year}{2007}).

1320: 

1321: \bibitem[{col()}]{colldecoboth}

1322: \bibinfo{note}{K. Hornberger, S. Uttenthaler, B. Brezger, L. Hackerm{\"u}ller,

1323:   M. Arndt, and A. Zeilinger, Phys. Rev. Lett. \textbf{90}, 160401 (2003); L.

1324:   Hackerm{\"u}ller, K. Hornberger, B. Brezger, A. Zeilinger, and M. Arndt,

1325:   Appl. Phys. B \textbf{77}, 781 (2003).}

1326: 

1327: \bibitem[{the()}]{thermodecoboth}

1328: \bibinfo{note}{L. Hackerm{\"u}ller, K. Hornberger, B. Brezger, A. Zeilinger,

1329:   and M. Arndt, Nature \textbf{427}, 711 (2004); K. Hornberger, L.

1330:   Hackerm{\"u}ller, and M. Arndt, Phys. Rev. A \textbf{71}, 023601 (2005).}

1331: 

1332: \bibitem[{\citenamefont{Arndt et~al.}(2005)\citenamefont{Arndt, Hornberger, and

1333:   Zeilinger}}]{Arndt2005a}

1334: \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Arndt}},

1335:   \bibinfo{author}{\bibfnamefont{K.}~\bibnamefont{Hornberger}},

1336:   \bibnamefont{and}

1337:   \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Zeilinger}},

1338:   \bibinfo{journal}{Physics World} \textbf{\bibinfo{volume}{18(3)}},

1339:   \bibinfo{pages}{35} (\bibinfo{year}{2005}).

1340: 

1341: \bibitem[{Cla()}]{Clauser1994both}

1342: \bibinfo{note}{J. F. Clauser and S. Li, Phys. Rev. A 49, R2213 (1994); J. F.

1343:   Clauser and S. Li, Phys. Rev. A 50, 2430 (1994)}.

1344: 

1345: \bibitem[{\citenamefont{Cahn et~al.}(1997)\citenamefont{Cahn, Kumarakrishnan,

1346:   Shim, Sleator, Berman, and Dubetsky}}]{Cahn1997a}

1347: \bibinfo{author}{\bibfnamefont{S.~B.} \bibnamefont{Cahn}},

1348:   \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Kumarakrishnan}},

1349:   \bibinfo{author}{\bibfnamefont{U.}~\bibnamefont{Shim}},

1350:   \bibinfo{author}{\bibfnamefont{T.}~\bibnamefont{Sleator}},

1351:   \bibinfo{author}{\bibfnamefont{P.~R.} \bibnamefont{Berman}},

1352:   \bibnamefont{and} \bibinfo{author}{\bibfnamefont{B.}~\bibnamefont{Dubetsky}},

1353:   \bibinfo{journal}{Phys. Rev. Lett.} \textbf{\bibinfo{volume}{79}},

1354:   \bibinfo{pages}{784} (\bibinfo{year}{1997}).

1355: 

1356: \bibitem[{\citenamefont{Deng et~al.}(1999)\citenamefont{Deng, Hagley,

1357:   Denschlag, Simsarian, Edwards, Clark, Helmerson, Rolston, and

1358:   Phillips}}]{Deng1999a}

1359: \bibinfo{author}{\bibfnamefont{L.}~\bibnamefont{Deng}},

1360:   \bibinfo{author}{\bibfnamefont{E.~W.} \bibnamefont{Hagley}},

1361:   \bibinfo{author}{\bibfnamefont{J.}~\bibnamefont{Denschlag}},

1362:   \bibinfo{author}{\bibfnamefont{J.~E.} \bibnamefont{Simsarian}},

1363:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Edwards}},

1364:   \bibinfo{author}{\bibfnamefont{C.~W.} \bibnamefont{Clark}},

1365:   \bibinfo{author}{\bibfnamefont{K.}~\bibnamefont{Helmerson}},

1366:   \bibinfo{author}{\bibfnamefont{S.~L.} \bibnamefont{Rolston}},

1367:   \bibnamefont{and} \bibinfo{author}{\bibfnamefont{W.~D.}

1368:   \bibnamefont{Phillips}}, \bibinfo{journal}{Phys. Rev. Lett.}

1369:   \textbf{\bibinfo{volume}{83}}, \bibinfo{pages}{5407} (\bibinfo{year}{1999}).

1370: 

1371: \bibitem[{\citenamefont{Cronin and McMorran}(2006)}]{Cronin2006a}

1372: \bibinfo{author}{\bibfnamefont{A.~D.} \bibnamefont{Cronin}} \bibnamefont{and}

1373:   \bibinfo{author}{\bibfnamefont{B.}~\bibnamefont{McMorran}},

1374:   \bibinfo{journal}{Phys. Rev.~A} \textbf{\bibinfo{volume}{74}},

1375:   \bibinfo{eid}{061602} (\bibinfo{year}{2006}).

1376: 

1377: \bibitem[{\citenamefont{Kohno et~al.}(2007)\citenamefont{Kohno, Suzuki, and

1378:   Shimizu}}]{Kohno2007a}

1379: \bibinfo{author}{\bibfnamefont{T.}~\bibnamefont{Kohno}},

1380:   \bibinfo{author}{\bibfnamefont{S.}~\bibnamefont{Suzuki}}, \bibnamefont{and}

1381:   \bibinfo{author}{\bibfnamefont{K.}~\bibnamefont{Shimizu}},

1382:   \bibinfo{journal}{Phys. Rev.~A} \textbf{\bibinfo{volume}{76}},

1383:   \bibinfo{eid}{053624} (\bibinfo{year}{2007}).

1384: 

1385: \bibitem[{\citenamefont{Brezger et~al.}(2002)\citenamefont{Brezger,

1386:   Hackerm{\"u}ller, Uttenthaler, Petschinka, Arndt, and

1387:   Zeilinger}}]{Brezger2002a}

1388: \bibinfo{author}{\bibfnamefont{B.}~\bibnamefont{Brezger}},

1389:   \bibinfo{author}{\bibfnamefont{L.}~\bibnamefont{Hackerm{\"u}ller}},

1390:   \bibinfo{author}{\bibfnamefont{S.}~\bibnamefont{Uttenthaler}},

1391:   \bibinfo{author}{\bibfnamefont{J.}~\bibnamefont{Petschinka}},

1392:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Arndt}}, \bibnamefont{and}

1393:   \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Zeilinger}},

1394:   \bibinfo{journal}{Phys.\ Rev.\ Lett.} \textbf{\bibinfo{volume}{88}},

1395:   \bibinfo{pages}{100404} (\bibinfo{year}{2002}).

1396: 

1397: \bibitem[{\citenamefont{Hackerm{\"u}ller

1398:   et~al.}(2003)\citenamefont{Hackerm{\"u}ller, Uttenthaler, Hornberger, Reiger,

1399:   Brezger, Zeilinger, and Arndt}}]{Hackermuller2003a}

1400: \bibinfo{author}{\bibfnamefont{L.}~\bibnamefont{Hackerm{\"u}ller}},

1401:   \bibinfo{author}{\bibfnamefont{S.}~\bibnamefont{Uttenthaler}},

1402:   \bibinfo{author}{\bibfnamefont{K.}~\bibnamefont{Hornberger}},

1403:   \bibinfo{author}{\bibfnamefont{E.}~\bibnamefont{Reiger}},

1404:   \bibinfo{author}{\bibfnamefont{B.}~\bibnamefont{Brezger}},

1405:   \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Zeilinger}},

1406:   \bibnamefont{and} \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Arndt}},

1407:   \bibinfo{journal}{Phys.\ Rev.\ Lett.} \textbf{\bibinfo{volume}{91}},

1408:   \bibinfo{pages}{90408} (\bibinfo{year}{2003}).

1409: 

1410: \bibitem[{\citenamefont{Gerlich et~al.}(2007)\citenamefont{Gerlich,

1411:   Hackerm{\"u}ller, Hornberger, Stibor, Ulbricht, Gring, Goldfarb, Savas,

1412:   M{\"u}ri, Mayor et~al.}}]{Gerlich2007a}

1413: \bibinfo{author}{\bibfnamefont{S.}~\bibnamefont{Gerlich}},

1414:   \bibinfo{author}{\bibfnamefont{L.}~\bibnamefont{Hackerm{\"u}ller}},

1415:   \bibinfo{author}{\bibfnamefont{K.}~\bibnamefont{Hornberger}},

1416:   \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Stibor}},

1417:   \bibinfo{author}{\bibfnamefont{H.}~\bibnamefont{Ulbricht}},

1418:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Gring}},

1419:   \bibinfo{author}{\bibfnamefont{F.}~\bibnamefont{Goldfarb}},

1420:   \bibinfo{author}{\bibfnamefont{T.}~\bibnamefont{Savas}},

1421:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{M{\"u}ri}},

1422:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Mayor}},

1423:   \bibnamefont{et~al.}, \bibinfo{journal}{Nature Physics}

1424:   \textbf{\bibinfo{volume}{3}}, \bibinfo{pages}{711} (\bibinfo{year}{2007}).

1425: 

1426: \bibitem[{\citenamefont{Casimir and Polder}(1948)}]{Casimir1948a}

1427: \bibinfo{author}{\bibfnamefont{H.~B.~G.} \bibnamefont{Casimir}}

1428:   \bibnamefont{and} \bibinfo{author}{\bibfnamefont{D.}~\bibnamefont{Polder}},

1429:   \bibinfo{journal}{Phys.\ Rev.} \textbf{\bibinfo{volume}{73}},

1430:   \bibinfo{pages}{360} (\bibinfo{year}{1948}).

1431: 

1432: \bibitem[{\citenamefont{Patorski}(1989)}]{Patorski1989a}

1433: \bibinfo{author}{\bibfnamefont{K.}~\bibnamefont{Patorski}}, in

1434:   \emph{\bibinfo{booktitle}{Progress in Optics {XXVII}}}, edited by

1435:   \bibinfo{editor}{\bibfnamefont{E.}~\bibnamefont{Wolf}}

1436:   (\bibinfo{publisher}{Elsevier Science Publishers B. V.},

1437:   \bibinfo{address}{Amsterdam}, \bibinfo{year}{1989}), pp.

1438:   \bibinfo{pages}{2--108}.

1439: 

1440: \bibitem[{\citenamefont{Brezger et~al.}(2003)\citenamefont{Brezger, Arndt, and

1441:   Zeilinger}}]{Brezger2003a}

1442: \bibinfo{author}{\bibfnamefont{B.}~\bibnamefont{Brezger}},

1443:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Arndt}}, \bibnamefont{and}

1444:   \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Zeilinger}},

1445:   \bibinfo{journal}{J.\ Opt.\ B} \textbf{\bibinfo{volume}{5}},

1446:   \bibinfo{pages}{S82} (\bibinfo{year}{2003}).

1447: 

1448: \bibitem[{\citenamefont{Hornberger et~al.}(2004)\citenamefont{Hornberger, Sipe,

1449:   and Arndt}}]{Hornberger2004a}

1450: \bibinfo{author}{\bibfnamefont{K.}~\bibnamefont{Hornberger}},

1451:   \bibinfo{author}{\bibfnamefont{J.~E.} \bibnamefont{Sipe}}, \bibnamefont{and}

1452:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Arndt}},

1453:   \bibinfo{journal}{Phys.\ Rev.\ A} \textbf{\bibinfo{volume}{70}},

1454:   \bibinfo{pages}{053608} (\bibinfo{year}{2004}).

1455: 

1456: \bibitem[{\citenamefont{Moli\`{e}re}(1947)}]{Moliere1947a}

1457: \bibinfo{author}{\bibfnamefont{G.}~\bibnamefont{Moli\`{e}re}},

1458:   \bibinfo{journal}{Z. Naturforschung} \textbf{\bibinfo{volume}{2a}},

1459:   \bibinfo{pages}{133} (\bibinfo{year}{1947}).

1460: 

1461: \bibitem[{\citenamefont{Glauber}(1959)}]{Glauber1959a}

1462: \bibinfo{author}{\bibfnamefont{R.~J.} \bibnamefont{Glauber}},

1463:   \emph{\bibinfo{title}{High-energy collision theory}}, Lectures in Theoretical

1464:   Physics, Vol. 1 (\bibinfo{publisher}{Wiley-Interscience},

1465:   \bibinfo{address}{New York}, \bibinfo{year}{1959}).

1466: 

1467: \bibitem[{\citenamefont{Wigner}(1932)}]{Wigner1932a}

1468: \bibinfo{author}{\bibfnamefont{E.}~\bibnamefont{Wigner}},

1469:   \bibinfo{journal}{Phys.\ Rev.} \textbf{\bibinfo{volume}{40}},

1470:   \bibinfo{pages}{749} (\bibinfo{year}{1932}).

1471: 

1472: \bibitem[{\citenamefont{{Ozorio de Almeida}}(1998)}]{Ozorio1998a}

1473: \bibinfo{author}{\bibfnamefont{A.~M.} \bibnamefont{{Ozorio de Almeida}}},

1474:   \bibinfo{journal}{Phys.\ Rep.} \textbf{\bibinfo{volume}{295}},

1475:   \bibinfo{pages}{265} (\bibinfo{year}{1998}).

1476: 

1477: \bibitem[{\citenamefont{Schleich}(2001)}]{Schleich2001a}

1478: \bibinfo{author}{\bibfnamefont{W.~P.} \bibnamefont{Schleich}},

1479:   \emph{\bibinfo{title}{Quantum Optics in Phase Space}}

1480:   (\bibinfo{publisher}{Wiley-VCH Verlag}, \bibinfo{address}{Weinheim},

1481:   \bibinfo{year}{2001}).

1482: 

1483: \bibitem[{\citenamefont{Zachos et~al.}(2005)\citenamefont{Zachos, Fairlie, and

1484:   Curtright}}]{Zachos2005a}

1485: \bibinfo{editor}{\bibfnamefont{C.~K.} \bibnamefont{Zachos}},

1486:   \bibinfo{editor}{\bibfnamefont{D.~B.} \bibnamefont{Fairlie}},

1487:   \bibnamefont{and} \bibinfo{editor}{\bibfnamefont{T.~L.}

1488:   \bibnamefont{Curtright}}, eds., \emph{\bibinfo{title}{Quantum mechanics in

1489:   phase space. An overview with selected papers.}}, vol.~\bibinfo{volume}{34}

1490:   of \emph{\bibinfo{series}{World Scientific Series in 20th Century Physics}}

1491:   (\bibinfo{publisher}{World Scientific}, \bibinfo{address}{Singapore},

1492:   \bibinfo{year}{2005}).

1493: 

1494: \bibitem[{\citenamefont{Hornberger}(2006)}]{Hornberger2006a}

1495: \bibinfo{author}{\bibfnamefont{K.}~\bibnamefont{Hornberger}},

1496:   \bibinfo{journal}{Phys. Rev.~A} \textbf{\bibinfo{volume}{73}},

1497:   \bibinfo{pages}{052102} (\bibinfo{year}{2006}).

1498: 

1499: \bibitem[{\citenamefont{Talbot}(1836)}]{Talbot1836a}

1500: \bibinfo{author}{\bibfnamefont{H.~F.} \bibnamefont{Talbot}},

1501:   \bibinfo{journal}{Philos. Mag.} \textbf{\bibinfo{volume}{9}},

1502:   \bibinfo{pages}{401} (\bibinfo{year}{1836}).

1503: 

1504: \bibitem[{\citenamefont{Grisenti et~al.}(1999)\citenamefont{Grisenti,

1505:   Sch\"ollkopf, Toennies, Hegerfeldt, and K\"ohler}}]{Grisenti1999a}

1506: \bibinfo{author}{\bibfnamefont{R.~E.} \bibnamefont{Grisenti}},

1507:   \bibinfo{author}{\bibfnamefont{W.}~\bibnamefont{Sch\"ollkopf}},

1508:   \bibinfo{author}{\bibfnamefont{J.~P.} \bibnamefont{Toennies}},

1509:   \bibinfo{author}{\bibfnamefont{G.~C.} \bibnamefont{Hegerfeldt}},

1510:   \bibnamefont{and} \bibinfo{author}{\bibfnamefont{T.}~\bibnamefont{K\"ohler}},

1511:   \bibinfo{journal}{Phys. Rev. Lett.} \textbf{\bibinfo{volume}{83}},

1512:   \bibinfo{pages}{1755} (\bibinfo{year}{1999}).

1513: 

1514: \bibitem[{\citenamefont{Br{\"u}hl et~al.}(2002)\citenamefont{Br{\"u}hl,

1515:   Fouquet, Grisenti, Toennies, Hegerfeldt, K{\"o}hler, Stoll, and

1516:   Walter}}]{Bruhl2002a}

1517: \bibinfo{author}{\bibfnamefont{R.}~\bibnamefont{Br{\"u}hl}},

1518:   \bibinfo{author}{\bibfnamefont{P.}~\bibnamefont{Fouquet}},

1519:   \bibinfo{author}{\bibfnamefont{R.}~\bibnamefont{Grisenti}},

1520:   \bibinfo{author}{\bibfnamefont{J.}~\bibnamefont{Toennies}},

1521:   \bibinfo{author}{\bibfnamefont{G.}~\bibnamefont{Hegerfeldt}},

1522:   \bibinfo{author}{\bibfnamefont{T.}~\bibnamefont{K{\"o}hler}},

1523:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Stoll}}, \bibnamefont{and}

1524:   \bibinfo{author}{\bibfnamefont{C.}~\bibnamefont{Walter}},

1525:   \bibinfo{journal}{Europhys. Lett} \textbf{\bibinfo{volume}{59}},

1526:   \bibinfo{pages}{357} (\bibinfo{year}{2002}).

1527: 

1528: \bibitem[{Wyl()}]{Wylieboth}

1529: \bibinfo{note}{J. M. Wylie and J. E. Sipe, Phys. Rev. A 30, 1185 (1984); J. M.

1530:   Wylie and J. E. Sipe, Phys. Rev. A 32, 2030 (1985).}

1531: 

1532: \bibitem[{\citenamefont{Buhmann et~al.}(2005)\citenamefont{Buhmann, Dung,

1533:   Kampf, and Welsch}}]{Buhmann2005a}

1534: \bibinfo{author}{\bibfnamefont{S.}~\bibnamefont{Buhmann}},

1535:   \bibinfo{author}{\bibfnamefont{H.}~\bibnamefont{Dung}},

1536:   \bibinfo{author}{\bibfnamefont{T.}~\bibnamefont{Kampf}}, \bibnamefont{and}

1537:   \bibinfo{author}{\bibfnamefont{D.}~\bibnamefont{Welsch}},

1538:   \bibinfo{journal}{Eur. Phys. J.~D} \textbf{\bibinfo{volume}{35}},

1539:   \bibinfo{pages}{15} (\bibinfo{year}{2005}).

1540: 

1541: \bibitem[{\citenamefont{Derevianko et~al.}(1999)\citenamefont{Derevianko,

1542:   Johnson, Safronova, and Babb}}]{Derevianko1999a}

1543: \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Derevianko}},

1544:   \bibinfo{author}{\bibfnamefont{W.~R.} \bibnamefont{Johnson}},

1545:   \bibinfo{author}{\bibfnamefont{M.~S.} \bibnamefont{Safronova}},

1546:   \bibnamefont{and} \bibinfo{author}{\bibfnamefont{J.~F.} \bibnamefont{Babb}},

1547:   \bibinfo{journal}{Phys. Rev. Lett.} \textbf{\bibinfo{volume}{82}},

1548:   \bibinfo{pages}{3589} (\bibinfo{year}{1999}).

1549: 

1550: \bibitem[{\citenamefont{Madro{\~n}ero and Friedrich}(2007)}]{Madronero2007a}

1551: \bibinfo{author}{\bibfnamefont{J.}~\bibnamefont{Madro{\~n}ero}}

1552:   \bibnamefont{and}

1553:   \bibinfo{author}{\bibfnamefont{H.}~\bibnamefont{Friedrich}},

1554:   \bibinfo{journal}{Phys. Rev.~A} \textbf{\bibinfo{volume}{75}},

1555:   \bibinfo{pages}{22902} (\bibinfo{year}{2007}).

1556: 

1557: \bibitem[{\citenamefont{Compagnon et~al.}(2001)\citenamefont{Compagnon,

1558:   Antoine, Broyer, Dugourd, Lerm\'e, and Rayane}}]{Compagnon2001a}

1559: \bibinfo{author}{\bibfnamefont{I.}~\bibnamefont{Compagnon}},

1560:   \bibinfo{author}{\bibfnamefont{R.}~\bibnamefont{Antoine}},

1561:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Broyer}},

1562:   \bibinfo{author}{\bibfnamefont{P.}~\bibnamefont{Dugourd}},

1563:   \bibinfo{author}{\bibfnamefont{J.}~\bibnamefont{Lerm\'e}}, \bibnamefont{and}

1564:   \bibinfo{author}{\bibfnamefont{D.}~\bibnamefont{Rayane}},

1565:   \bibinfo{journal}{Phys. Rev. A} \textbf{\bibinfo{volume}{64}},

1566:   \bibinfo{pages}{025201} (\bibinfo{year}{2001}).

1567: 

1568: \bibitem[{\citenamefont{Abramowitz and Stegun}(1965)}]{Abramowitz1965a}

1569: \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Abramowitz}} \bibnamefont{and}

1570:   \bibinfo{author}{\bibfnamefont{I.}~\bibnamefont{Stegun}},

1571:   \emph{\bibinfo{title}{Handbook of Mathematical Functions}}

1572:   (\bibinfo{publisher}{Dover Publications}, \bibinfo{address}{New York},

1573:   \bibinfo{year}{1965}).

1574: 

1575: \bibitem[{\citenamefont{Taylor}(1972)}]{Taylor1972a}

1576: \bibinfo{author}{\bibfnamefont{J.~R.} \bibnamefont{Taylor}},

1577:   \emph{\bibinfo{title}{Scattering Theory: The Quantum Theory on

1578:   Nonrelativistic Collisions}} (\bibinfo{publisher}{John Wiley and Sons},

1579:   \bibinfo{address}{New York}, \bibinfo{year}{1972}).

1580: 

1581: \bibitem[{\citenamefont{Gutzwiller}(1967)}]{Gutzwiller1967a}

1582: \bibinfo{author}{\bibfnamefont{M.~C.} \bibnamefont{Gutzwiller}},

1583:   \bibinfo{journal}{J.\ Math.\ Phys.} \textbf{\bibinfo{volume}{8}},

1584:   \bibinfo{pages}{1979} (\bibinfo{year}{1967}).

1585: 

1586: \bibitem[{\citenamefont{Heller}(1991)}]{Heller1991a}

1587: \bibinfo{author}{\bibfnamefont{E.~J.} \bibnamefont{Heller}},

1588:   \bibinfo{journal}{J.\ Chem.\ Phys.} \textbf{\bibinfo{volume}{94}},

1589:   \bibinfo{pages}{2723} (\bibinfo{year}{1991}).

1590: 

1591: \bibitem[{\citenamefont{Bleistein and Handelsman}(1975)}]{Bleistein1975a}

1592: \bibinfo{author}{\bibfnamefont{N.}~\bibnamefont{Bleistein}} \bibnamefont{and}

1593:   \bibinfo{author}{\bibfnamefont{R.~A.} \bibnamefont{Handelsman}},

1594:   \emph{\bibinfo{title}{Asymptotic expansions of integrals}}

1595:   (\bibinfo{publisher}{Holt, Rinehart and Winston}, \bibinfo{address}{New York},

1596:   \bibinfo{year}{1975}).

1597: 

1598: \bibitem[{\citenamefont{Hornberger and Smilansky}(2002)}]{Hornberger2002b}

1599: \bibinfo{author}{\bibfnamefont{K.}~\bibnamefont{Hornberger}} \bibnamefont{and}

1600:   \bibinfo{author}{\bibfnamefont{U.}~\bibnamefont{Smilansky}},

1601:   \bibinfo{journal}{Phys. Rep.} \textbf{\bibinfo{volume}{367}},

1602:   \bibinfo{pages}{249} (\bibinfo{year}{2002}).

1603: 

1604: \bibitem[{\citenamefont{Landau and Lifshitz}(1960)}]{LandauM}

1605: \bibinfo{author}{\bibfnamefont{L.~D.} \bibnamefont{Landau}} \bibnamefont{and}

1606:   \bibinfo{author}{\bibfnamefont{E.~M.} \bibnamefont{Lifshitz}},

1607:   \emph{\bibinfo{title}{Classical mechanics}} (\bibinfo{publisher}{Pergamon

1608:   Press}, \bibinfo{address}{Oxford}, \bibinfo{year}{1960}).

1609: 

1610: \bibitem[{\citenamefont{Feit et~al.}(1992)\citenamefont{Feit, Fleck, and

1611:   Steiger}}]{Feit1982a}

1612: \bibinfo{author}{\bibfnamefont{M.~D.} \bibnamefont{Feit}},

1613:   \bibinfo{author}{\bibfnamefont{J.~A.} \bibnamefont{Fleck}}, \bibnamefont{and}

1614:   \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Steiger}},

1615:   \bibinfo{journal}{J.~Comp.~Phys.} \textbf{\bibinfo{volume}{47}},

1616:   \bibinfo{pages}{412} (\bibinfo{year}{1992}).

1617: 

1618: \bibitem[{\citenamefont{Chambers and Murison}(2000)}]{Chambers2000a}

1619: \bibinfo{author}{\bibfnamefont{J.~E.} \bibnamefont{Chambers}} \bibnamefont{and}

1620:   \bibinfo{author}{\bibfnamefont{M.~A.} \bibnamefont{Murison}},

1621:   \bibinfo{journal}{Astronomical Journal} \textbf{\bibinfo{volume}{119}},

1622:   \bibinfo{pages}{425} (\bibinfo{year}{2000}).

1623: 

1624: \bibitem[{\citenamefont{Deachapunya et~al.}(2008)\citenamefont{Deachapunya,

1625:   Fagan, Major, Reiger, Ritsch, Stefanov, Ulbricht, and

1626:   Arndt}}]{Deachapunya2008a}

1627: \bibinfo{author}{\bibfnamefont{S.}~\bibnamefont{Deachapunya}},

1628:   \bibinfo{author}{\bibfnamefont{P.~J.} \bibnamefont{Fagan}},

1629:   \bibinfo{author}{\bibfnamefont{A.~G.} \bibnamefont{Major}},

1630:   \bibinfo{author}{\bibfnamefont{E.}~\bibnamefont{Reiger}},

1631:   \bibinfo{author}{\bibfnamefont{H.}~\bibnamefont{Ritsch}},

1632:   \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Stefanov}},

1633:   \bibinfo{author}{\bibfnamefont{H.}~\bibnamefont{Ulbricht}}, \bibnamefont{and}

1634:   \bibinfo{author}{\bibfnamefont{M.}~\bibnamefont{Arndt}},

1635:   \bibinfo{journal}{Eur. Phys. J.~D} \textbf{\bibinfo{volume}{46}},

1636:   \bibinfo{pages}{307} (\bibinfo{year}{2008}).

1637: 

1638: \end{thebibliography}

1639: 

1640: \end{document}

1641: 

1642: