We investigate the accuracy of an experimental reconstruction of the Wigner function of the transverse motion in an atom beam using numerical wave packet simulations . For the example of a superposition of two Gaussians (the outcome of a double slit, for example) we study in detail the influence of experimental restraints on the quality of the reconstruction . For the potential candidate, metastable helium, we demonstrate that an accurate reconstruction of the Wigner function, especially of its negative parts, is well within experimental reach .
. IntroductionThe density matrix encodes all information which can be obtained about a quantum mechanical system . A particular representation of the density matrix is the Wigner function which is defined in phase-space in close analogy to a classical phase-space distribution . In contrast to the latter, the Wigner function is not confined to positive values and therefore it cannot be interpreted as a probability distribution . Likewise, in contrast to classical phase-space distributions, the Wigner function cannot be measured directly because its arguments refer to the eigenvalues of non-commuting observables .The marginal distributions of the Wigner function, which we will refer to as , quantum-shadows' t, are, however, experimentally accessible . In most experiments with atom beams, quantum-shadows are formed by the spatial density distributions of the atoms which include information about the state of the atomic centre-of-mass motion . For example, the position distribution of the atoms in the far field yields information about the momentum distribution . In atom interferometry, spatial interference patterns encode phase information about the atomic de Broglie waves .Recently, a method was presented for reconstructing the full Wigner function from its quantum-shadows only utilizing a tomographic procedure [1] . The method is based on a rotation of the Wigner function in phase-space and the observation of the marginal distributions of one phase-space variable . This method was applied in a theoretical work to measure amplitude and phase structures of optical pulses [2] . It was also experimentally applied to reconstruct the Wigner function of light modes [3][4][5] and vibrational states of molecules [6] . In atom optics, a tomographic procedure was proposed to reconstruct the Wigner function of the transverse motion of an atom beam [7] . In this case, the rotation is performed by the interaction of the beam with a thin lens and the free evolution following the interaction .In this paper we provide a detailed analysis of the proposal in [7] for the fi This name was suggested by U . Leonhardt in analogy to Plato's famous parable .