correlation and interference distinguish quantum from classical mechanics .
the former is manifest in the measurement of many - body coincidences predicted by a quantum joint probability density function ( pdf ) , which are not observed classically @xcite .
the latter is most familiar as a probability density function for an outcome that can be achieved in at least two indistinguishable ways .
however , interference can also be generated by superposing many - body states in indistinguishable ways @xcite .
experimental confirmation of quantum correlation has involved photons @xcite , atoms @xcite , and josephson phase qubits @xcite . however , there is little experimental evidence of correlated interference between massive particles .
the boundary between the classical and quantum regimes continues to be an area of interest both in attempts to explain why quantum effects are difficult to measure on a macroscopic scale @xcite and in attempts to measure quantum effects on a macroscopic object @xcite .
reflection measurement methods used in an attempt to extend this boundary involve light interacting with stationary @xcite and oscillating mirrors @xcite and with microwaves interacting with an oscillating mirror @xcite .
reflection of a single photon from an oscillating mirror @xcite and using a bose einstein condensate as a mirror from which photons reflect @xcite have been studied .    to extend this boundary to larger masses , we model correlation of a mesoscopic / macroscopic ` mirror ' with a non - zero rest mass microscopic ` particle ' after elastic reflection .
motion is in free space along one dimension and all states are unbound
. measurements of particle reflection , but not associated with correlated interference , have involved mirrors that reflect atoms @xcite and bose - einstein condensates @xcite , atoms reflecting from a solid surface @xcite , neutrons @xcite and atoms @xcite reflecting from vibrating mirrors , and atoms reflecting from a switchable mirror @xcite .
if the particle and mirror are initially in eigenstates of energy then the following two states interfere : the particle - mirror state before the particle reflects from the mirror and the particle - mirror state after reflection ( interference is a consequence of the incident and reflected states being indistinguishable for a measurement of position ) .
this is similar to the standing wave interference of a harmonic electromagnetic wave reflecting from a stationary mirror @xcite .
classically , however , the incident and reflected waves interfere while the mirror experiences only a continuous force due to radiation pressure .
the two - body quantum analogy involves solving the schrdinger equation with an interaction potential modeling the reflection .
interference is expected between the incident and reflected particle substates _ along with _ interference of the mirror substates which have and have not reflected the particle .
their correlation is perhaps not expected , being a consequence of the solution to the schrdinger equation from which a joint probability density function is constructed .
this joint pdf then describes the correlations in the two - body interference which are manifest as coincidence rates , e.g. a correlation in the simultaneous measurement of particle _ and _ mirror positions .
asynchronous measurement in such a system has also been discussed @xcite .
any experimental realization of such an interferometer will involve wavegroups . while the coherence length for the particle currently can be as large as @xmath0 m for atoms released from a bose - einstein condensate , that for a mesoscopic / macroscopic mirror will be many orders of magnitude smaller .
however , the coherence length of the two - body state involves that of both the particle and mirror substates .
the two - body interference in reflection from a mirror is then limited spatially ( to the overlap region ) and temporally ( to the time of overlap ) in a manner similar to that of a pulse of light reflecting from a moving mirror .    classical interference in reflection
is more robust when the pulse of light reflects from a moving thin film for two main reasons : first the reflected pulses from each thin film surface maintain overlap as they both travel in the backward direction and second they have the same doppler shift ( since they reflect from interfaces moving at the same speed ) .
interference is then limited by a pulse coherence length which at its minimum is of order the film thickness .
to achieve such robust two - body quantum interference we consider the analogous two - body situation , an example of which is a neutron reflecting from each of the two surfaces of a moving aluminum ` slab . '
it is shown below that this two - body interference has the same ` non - local ' characteristics as does a pulse of light reflecting from a moving thin film . treating both the particle and reflector as quantum objects yields the expected results of a one - body treatment ( analogous to interference for a pulse of light reflecting from a moving thin film ) but only as a special case .
in addition , this treatment predicts novel reflection regimes depending on the coherence lengths of the particle and reflector .
quantum two - body reflection differs from that classically .
for example , the classical kinematics , associated with reflection of a wavegroup , involves accelerated mirror motion while the kinematics associated with the expectation value of the position of either the particle or mirror , during the interaction , depends on the two - body wavegroup parameters such as coherence lengths .
this is discussed in section [ sec : summary ] . also , under conditions of destructive interference , the particle and slab will never simultaneously be observed .
classically , only the pulse of light will never be observed .    a simultaneous measurement , however , is difficult to perform .
a much simpler method involves only measuring the reflected particle .
such a one - body measurement can reveal the quantum state of the reflector due to the effects of the reflector s coherence length on the two - body pdf , from which the one - body marginal pdf is derived .
this manifestation of the macroscopic quantum state of the reflector on the interference measured only on the particle may be a practical way to verify that the mesoscopic / macroscopic reflector is indeed in a quantum state and thereby extend the quantum - classical boundary to larger masses .
finding examples of mesoscopic / macroscopic quantum phenomena has been a topic of interest since early in the development of quantum mechanics , particularly with regard to validation issues .
this continues to be a subject of interest .
consider next some of the arguments used to explain why such effects are not observed with mesoscopic / macroscopic objects , in relation to the two - body treatment of particle reflection : ( 1 ) in an introductory quantum course , the lack of such evidence is often justified via the double slit experiment , where the fringe spacing becomes imperceptible as the mass increases . in the comments after eqn .
[ eq : fringespacing ] , an explanation is given as to why the mirror fringe spacing does not shrink as its mass increases .
( 2 ) another concern is if quantum correlation is indeed generated .
the initial particle - mirror separable system becomes correlated in reflection as a consequence of conservation of energy and momentum .
the discussion in section [ sec : summary ] demonstrates why interferometric quantum correlation is a requisite in satisfying these conservation laws .
( 3 ) the difference in wavevectors of the interfering mesoscopic / macroscopic mirror substates , due to reflecting a microscopic particle , is much smaller than the spread in wavevectors of which the mirror wavegroup is composed , due to thermal motion .
this effect is shown to not destroy interference in section [ sec : summary ] .
( 4 ) more recently , decoherence of the macroscopic superposition via interaction with the environment has been used to explain the lack of interference .
mitigation of this and other decoherence mechanisms are discussed in section [ sec : decoher ] .
this work examines the assumptions of these arguments in the context of reflection of a microscopic particle from a mesoscopic / macroscopic mirror .
a synopsis of this work is as follows : first the schrdinger equation is solved for the two - body energy eigenstates in reflection from a moving mirror .
wavegroups formed from these solutions are then used to illustrate interference in reflection with an emphasis on variations in coherence lengths of the mirror .
coherence transfer from the particle to the mirror is also demonstrated and related to classical reflection .
two models are next developed for two - body reflection of a particle from a slab , whose classical analog is that of reflection of a pulse of light from a moving thin film .
the effects of the coherence lengths of both the particle and slab are then discussed .
measurements of either the particle but not the slab and the slab but not the particle are then considered .
finally , decoherence issues , as well as methods to measure a mesoscopic / macroscopic reflector in a superposition state , are addressed .
the goal of this paper is to illustrate the unique interferometric properties of correlation interferometry in reflection .
these properties are most easily understood using the example of a microscopic particle reflecting from a mesoscopic / macroscopic mirror .
however , the focus on this example is not intended as a practical experimental proposal .
observation of such correlated interference will most likely first occur with a microscopic particle reflecting from a `` microscopic '' mirror .
before reflection , the solution to the schrdinger equation for the non - interacting particle - mirror state is @xmath1 , \label{eq : psiseparable}\end{aligned}\ ] ] where @xmath2 and @xmath3 are the particle and mirror positions along the x - axis while @xmath4 and @xmath5 are the wavevectors for the particle and mirror respectively ; @xmath6 and @xmath7 with masses @xmath8 , @xmath9 , and initial velocities @xmath10 and @xmath11 , respectively . a wavegroup constructed from such uncorrelated particle - mirror states then leads to predictions about the probability of simultaneously finding the particle at @xmath2 and mirror at @xmath3 .
the particle - mirror interaction is modeled as a moving delta function potential where reflection is assumed to occur at the center of mass ( cm ) of the mirror with the schrdinger equation given by @xmath12 \notag + i\partial_{t})\psi=0 .
\label{eq : schreqn}\end{aligned}\ ] ] where square brackets are used to indicate the argument of a function .
the mirror reflectivity , related to @xmath13 , goes to infinity for a lossless mirror .
the solution yields an energy eigenstates for the particle - mirror interaction ( ` harmonic wavefunctions ' ) , for which neither the particle nor the mirror is localized .    a separable solution to the two - body schrdinger equation results from a transformation to the center of mass ( cm ) and relative ( rel ) system ( not to be confused with the cm of the particle or mirror ) .
this does not change the total energy , @xmath14 .
the transformed schrdinger equation becomes @xmath15 \notag + i\partial_{t})\psi[x_{cm},x_{rel},t]=0 \label{eq : scheqncm}\end{aligned}\ ] ] where @xmath16 , @xmath17 , @xmath18 , and @xmath19 .
using @xmath20=\psi_{cm}\psi_{rel }   \notag \\
= e^{-i e_{cm } t/\hbar } u[x_{cm } ] e^{-i e_{rel } t/\hbar}u[x_{rel } ]   \notag , \label{eq : schtot}\end{aligned}\ ] ] reduces the schrdinger equation to two ordinary differential equations : @xmath21}{dx_{cm}^{2 } } = e_{cm } u[x_{cm } ]   \label{eq : scheqode1}\ ] ] @xmath22}{dx_{rel}^{2}}+\beta \delta[x_{rel } ] = e_{rel } u[x_{rel } ] .
\label{eq : scheqode2}\ ] ]    the particle - mirror solution must vanish at @xmath23 to satisfy the boundary condition at the mirror and not exist for @xmath24 ( or @xmath25 ) since the particle can not move through the mirror ( for the uncorrelated incident state , however , there is no interaction and the particle can move past the mirror ) .    in this transformed system , a solution is constructed from the superposition of incident and `` reflected '' wavefunctions , @xmath26 , \label{eq : superposition}\ ] ] where @xmath27 $ ] is the unit step function .
the only difference between the arguments of the two exponentials is the sign of the relative wavevector @xmath28 which , due to reflection in the relative coordinate , is negative .
that is , @xmath29 where the initial velocities must allow reflection to occur .
the solution to eqn .
[ eq : scheqode1 ] is given by @xmath30 the complete solution is then @xmath31=\psi_{cm}\psi_{rel}$ ] . in this separable system
the probability density is @xmath32 .
\label{eq : separableinterference}\end{aligned}\ ] ]    the cm - rel transformation does not give a solution for a physically realizable system .
there exists no particle with a reduced mass , for example .
nevertheless , its utility lies in inverting the solution from cm and relative substates into particle and mirror substates .
this yields a correlated particle - mirror state .
an example of this procedure is found in the solution to the hydrogen atom where the schrdinger equation is first transformed from the laboratory to the cm - relative coordinates yielding uncorrelated substates .
however , expressing this result in the electron and proton substates reveals a correlation between them @xcite .
this change of partition is accomplished by the following substitutions in the separable solution given in eqn .
[ eq : separableinterference ] : @xmath33 , @xmath34 , @xmath19 , @xmath18 , @xmath35 , and @xmath36 .
these constraints transform @xmath37 in eqn .
[ eq : superposition ] into the non - interacting particle - mirror solution of eqn .
[ eq : psiseparable ] .
transformation of the energy component of each reflected substate , given by @xmath38 with @xmath39 for the reflected particle and @xmath40 with @xmath41 for the mirror , is consistent with that of reflection classically .    with this change in coordinates eqn .
[ eq : separableinterference ] becomes @xmath42 .
\label{eq : entangledinterference}\end{aligned}\ ] ] this is similar to gottfried s result for the interference obtained in the correlation between two particles produced in a momentum - conserving decay after each has traversed separate double slits @xcite .
note also that the interference given in eqn .
[ eq : entangledinterference ] couples particle and mirror variables , illustrating how many - body states interfere with themselves rather than each substate interfering only with itself @xcite .
measurement of such a prediction involves preparation of the initial state , adjusting the instruments to measure _ both _
positions @xmath2 and @xmath3 simultaneously , making the measurement , and then repeating this procedure over an ensemble to build a distribution .
to illustrate how this leads to a measurement of the mirror fringe spacing , first the apparatus is set to always measure the particle at fixed position @xmath2 while the mirrors cm is measured at different positions @xmath3 for different members of the ensemble . using the approximation @xmath43 in eqn .
[ eq : entangledinterference ] leads to interference fringes _ for the mesoscopic / macroscopic mirrors cm _ which vary from maximum to minimum through a distance @xmath44    similarly , by always measuring the mirror at fixed @xmath3 while varying the measurement position of the particle @xmath2 for different members of the ensemble , this approximation leads to interference fringes _ for the microscopic particle s cm _ which vary from maximum to minimum through a distance @xmath45 . for a static mirror both the mirror and particle fringes
are spaced at half the debroglie wavelength of the _ particle _ , which can be up to @xmath0 m for ultra cold atoms @xcite .
one issue predicted here , fundamental to extending the quantum - classical boundary , is that of interferometric effects which do not become imperceptible in the limit of large mirror mass .
such effects are surprising in comparison with the imperceptible fringe spacing for a massive particle traversing a double slit .    to understand why fringe spacing in reflection is robust with respect to variations in @xmath9 consider simplifying the two - body state into two one - body states .
the first consists of the wavefunctions of the incident and reflected particle .
the second consists of the mirror wavefunctions before and after reflection of the particle , both of which travel in the same direction but with different momenta .    in the case of a mirror
whose speed is close to zero , superposition of these particle states results in a `` standing wave '' with nodes or fringes spaced at about half the particle debroglie wavelength .
superposition of the moving mirror states , on the other hand , forms a fringe spacing commensurate with the difference in momentum between the incident and reflected _ particle _ states .
the larger the mass of the mirror the smaller the change in velocity of the mirror upon reflection . yet the difference in momentum between the mirror before and after reflection remains the same , depending only on the change in momentum of the particle and _ not _ on the mass of the mirror .
it is this difference in mirror momenta which leads to the phase difference @xmath46 when superposing these two mirror wavefunctions .
that is , the mirror fringe spacing is only determined by the change in particle momentum since conservation of momentum in reflection requires @xmath47 . while this simplified model , reducing a two - body state into two one - body states ,
demonstrates why interference for a mesoscopic / macroscopic mirror mass does not become imperceptible as @xmath48 , it does not account for the correlation given by the exact solution in eqn .
[ eq : entangledinterference ] , which is inherently a two - body effect .
double slit interference with a massive particle , on the other hand , superposes two one - body states with the same momentum whose difference in phase , @xmath49 , is due to the difference in path lengths from each slit to the measurement point times an extremely large wavevector .
this results in an imperceptible fringe spacing .
the probability of measuring the particle at @xmath50 and the mirror at @xmath51 is given by @xmath52 dx_{1 } dx_{2}$ ] with the joint pdf determined by the solution of equation [ eq : schreqn ] as @xmath53 .
using this equation , conservation of probability can then be expressed locally as , @xmath54}{\partial t}+ \frac{\partial j_{1}[x_{1},x_{2},t]}{\partial x_{1}}+\notag \\
\frac{\partial j_{2}[x_{1},x_{2},t]}{\partial x_{2}}=0 , \label{eq : consprob}\end{aligned}\ ] ] where @xmath55=\hbar ( \psi^ { * } \partial_{x_{1 } } \psi-\psi \partial_{x_{1 } } \psi^{*})/(2 i m)$ ] and @xmath56=\hbar ( \psi^ { * } \partial_{x_{2 } } \psi-\psi \partial_{x_{2 } } \psi^{*})/(2 i m)$ ] .
while the expressions for these current densities appear similar to that for one particle systems there are subtle but important differences for a two - body system @xcite .
multiplying equation [ eq : consprob ] by @xmath57 , integrating over the segment from @xmath58 to @xmath59 along the x - axis ( @xmath60 and @xmath61 ) , and then rearranging terms yields a solution to equation [ eq : consprob ] if @xmath62 dx_{1 } dx_{2 } + \notag \\ \int_{a}^{b } ( j_{1}[b , x_{2},t]-j_{1}[a , x_{2},t ] ) dx_{2 } \notag \\
+   \int_{a}^{b } ( j_{2}[x_{1},b , t]-j_{2}[x_{1},a , t ] ) dx_{1}=0   \notag .
\label{eq : cons2}\end{aligned}\ ] ] this is most easily interpreted using an @xmath63 by @xmath63 rectangular region aligned along the @xmath2 and @xmath3 axes .
the time rate of change in probability within this region is determined by the change in flux of probability out along the @xmath2 axis ( @xmath64-j_{1}[a , x_{2},t]$ ] ) plus that along the @xmath3 axis @xmath65-j_{2}[x_{1},a , t])$ ] .
since these fluxes in general vary spatially they have to be integrated over this variation along the rectangular boundaries .
numerical integration of the wavegroup results presented below are consistent with conservation of probability .
to better understand the practical consequences of these results , wavegroups are next formed from a superposition of the incident and reflected ` harmonic wavefunctions ' ( given in eqn .
[ eq : superposition ] ) expressed in terms of the correlated particle and mirror substates .
an analytic expression for such wavegroups can be obtained for a gaussian distribution in wavevector components @xmath4 and @xmath5 .
for the mirror , this is proportional to @xmath66/(2 \delta k^{2})$ ] , where the peak of the distribution is at @xmath67 and @xmath68 is its width , while for the particle , this is proportional to @xmath69/(2 \delta k^{2})$ ] , where the peak of the distribution is at @xmath70 and @xmath71 is its width .
the incident wavegroup propagates in the @xmath72 plane along a line whose slope is determined by a ratio of the group velocities of each substate and spreads due to dispersion independently in each direction .    .
the lower pdf waveform moves toward the diagonal white line , corresponding to @xmath23 , then reflects in the middle snapshot where the incident and reflected two - body wavefunctions ` overlap ' , and finally it moves away from the diagonal in the upper snapshot .
the upper left inset is a schematic of the ` classical ' analog before reflection while the upper right inset is that after reflection with initial and final particle and mirror velocities @xmath10 , @xmath11 , @xmath73 , and @xmath74 respectively .
there is no classical analog for the middle snapshot . ]    in fig .
[ fig : interference ] snapshots of the two - body probability density function are shown at three times for @xmath75 , @xmath76 , and @xmath77 . a slice of fig . [ fig : interference ] for @xmath78 along the @xmath3 coordinate is shown in fig . [ fig : fringespacing ] ( the solid line ) along with a slice of this fig . for @xmath79 along @xmath2 ( the dashed line ) for different bandwidth wavegroups .
illustrates that the fringe spacing for the particle and mirror substates with narrow bandwidth wavegroups , are essentially the same for the particle and mirror substates , as discussed for the approximation @xmath80 following eqn .
[ eq : fringespacing ] .     which show the fringe spacing along the @xmath3 axis for @xmath78 ( dashed lines ) and along the @xmath2 axis for @xmath79 ( solid lines ) .
the @xmath2 axis has been inverted to display both the dashed and solid lines together .
although each graph has @xmath76 the value of @xmath68 increases sequentially by a factor of @xmath81 from the front to the back . ]
verification of correlated interference requires simultaneous measurement of the particle and cm of the mirror with instruments having a spatial resolution smaller than the fringe spacing . for a static mirror
this spacing is half the debroglie wavelength of the particle , which at @xmath82   for ultracold atoms @xcite satisfies this requirement while it is dubious at @xmath83   for slow neutrons @xcite .
another constraint on the interference illustrated in fig . [ fig : interference ] is that the fringe visibility function must be non - zero .
that is , the incident and reflected particle - mirror wavegroups must ` overlap . '
the interference fringes are then determined predominately by a superposition of ` harmonic wavefunctions ' @xcite .
for example , the interference shown in fig .
[ fig : interference ] is determined predominately by eqn .
[ eq : entangledinterference ] when the wavegroups ` overlap ' in the center snapshot .
the longitudinal coherence lengths for both the particle and mirror are greater than the fringe spacing in this figure . in the upper snapshot there is neither ` overlap ' nor such interference .
the fringe visibility function is non - zero if each wavegroup substate ` overlaps ' within approximately a longitudinal coherence length @xcite , which is given by @xmath84 @xcite . for particle substates
this can be @xmath85   for ultracold atoms @xcite or @xmath86   for slow neutrons @xcite .
if the uncertainty in the mirror velocity is determined by its thermal equilibrium with the environment then @xmath87 yielding @xmath88 . this expression is consistent with results for ultra - cold atoms in a bose - einstein condensate @xcite .    in the interference region ,
simultaneous measurement is approximately confined both to a spatial region determined by the two coherence lengths and a temporal region given by the time during which the wavegroups overlap .
the former is small for mesoscopic / macroscopic mirror masses while the duration of the interference is essentially determined by the speed of the particle and its coherence length which is approximately equal to @xmath89 for a static mirror when @xmath90 .
one method , discussed below , to reduce these coherence length limitations is with multiple such two - body states .
first however , the effect of variations in mirror coherence lengths on correlated interference is illustrated .
[ fig : spreadvelocity ] illustrates how variation in the longitudinal coherence length of the mirror substate affects the particle - mirror interference with fixed particle substate coherence length .
part a shows a longer mirror coherence length than is used in fig .
[ fig : interference ] while parts [ fig : spreadvelocity]b through [ fig : spreadvelocity]d progressively reduce the coherence length of only the mirror substate .
one might expect that the small coherence length associated with a mesoscopic / macroscopic mirror mass would not allow for the interference shown in fig .
[ fig : spreadvelocity]a or [ fig : spreadvelocity]b .    in fig .
[ fig : spreadvelocity ] d a small mirror coherence length along with a large mirror recoil prevents wavefunction overlap over a range of @xmath2 values ( @xmath91 ) where it was present before .
nevertheless , a slice along the @xmath3 axis for measurement of the particle at these values of @xmath2 indicates a splitting of the mirror substate into two states which do not overlap and are therefore distinguishable .
this splitting is a consequence of two ways that the particle could have reached @xmath2 .
it could have come from the incident _ or _ reflected particle wavegroup substates since the position of the particle is not known to within its large coherence length . as the _ mirrors _ coherence length increases , the wavefunctions associated with these two ways overlap and generate correlated interference as shown in fig .
[ fig : spreadvelocity]a . as the mirrors coherence length decreases , the position of the mirror before reflection is distinguishable from that after reflection due to mirror recoil , which results in _ no interference of either the particle or mirror _ , as shown in fig .
[ fig : spreadvelocity]d for @xmath91 .
that is , measurement of the particle at @xmath92 and mirror at @xmath79 is consistent with conservation of momentum for the particle and mirror not to have reflected while measurement of the particle at @xmath92 and mirror at @xmath93 is consistent with conservation of momentum for the particle and mirror to have reflected .
the short coherence length of the mirror relative to the recoil distance then results in distinguishable two - body states .
the condition for interference in a two - body system therefore involves the coherence of both bodies .     but with different spreads in mirror velocities for a fixed spread in particle velocities while all other parameters are the same .
@xmath94 , and @xmath95 for @xmath96 in parts a , b , c , and d respectively .
note the change of scale in graph d. ]      after reflection the spatial width of the mirror wavegroup substate is exchanged with that of the particle wavegroup substate when @xmath97 .
this is most easily seen by constructing a particle - mirror wavefunction with different bandwidths for the particle and mirror wavegroup substates , shown in fig .
[ fig : coherencetransfer ] which is a contour plot of joint pdfs similar to figure [ fig : interference ] but without the middle snapshot in the interference region .
the solid and dashed contours correspond to @xmath98 and @xmath99 respectively with the spread in velocities given by @xmath100 .
this result can be understood by comparing classical and quantum reflection . in a one - dimensional classical collision ,
conservation of energy and momentum require an exchange of particle - mirror velocities independent of either velocity for @xmath101 .
this is manifest quantum mechanically in the exchange of commensurate wavefunction parameters @xmath4 and @xmath5 between the incident and reflected two - body wavefunctions .
if an incident particle substate , consisting of only one harmonic component ( corresponding to speed @xmath10 ) reflects from a mirror substate with many velocity components , then each harmonic component of the mirror substate ( corresponding to different values of @xmath11 ) reflects the particle substate and therefore acquires velocity @xmath10 while the reflected particle substate acquires different velocity values for each reflected component of the mirror substate .
this results in the reduction of the mirror bandwidth and an increase in the particle bandwidth , which is manifest in fig . [
fig : coherencetransfer ] as the exchange of incident and reflected wavegroup shapes .
it also is responsible for the distortion of the reflected wavegroup shape in fig .
[ fig : interference ] .     but without the interference or `` overlap '' region snapshot , illustrating coherence transfer for two different particle - mirror mass ratios .
the solid and dashed lines are for a spread in velocities given by @xmath100 with @xmath98 and @xmath99 , respectively . ]    experimentally confirming coherence transfer involves reflection with disparate coherence lengths . on a microscopic scale , this could be observed between an atom which has been cooled to ultracold temperatures retro - reflecting from the same type of atom which has a shorter coherence length .
the transfer of coherence might then be monitored not by a measurement of the pdf but rather by its coherence properties via interferometry . a more useful implementation for increasing
the coherence length of larger objects could involve a group of bose - einstein particles ( the condensate ) , whose total mass is similar to that of the mirror , retro - reflecting`coherently ' from a mirror as ` one particle ' rather than a collection of individual particles .
to mitigate both spatial and temporal fringe localization in reflection due to small particle and mirror coherence lengths , consider interference of multiple such two - body states : a one - dimensional example of which is the interference from the reflection of a neutron by each of the two surfaces of a moving aluminum ` slab ' .
the two - body pdfs associated with two models of such reflection are calculated below .
the first , presented in the next section , simply approximates each weak surface reflection as being due to a delta function potential which allows for both transmission and weak reflection .
these two delta function potentials are fixed to and symmetrically offset from the cm of the slab ( of length @xmath102 ) by a distance @xmath103 , with multiple reflections neglected .
the results from this simple model then corroborate those from a more accurate model , given in section [ sec : slab ] , involving a two - body treatment of a particle interacting with a finite barrier or finite well .
the delta function ` beamsplitter ' model is included to focus attention on the physics associated with generating multiple two - body states .
the more accurate finite barrier or well treatments conceal the fundamental physics but yield similar results . in essence , the latter incorporates multiple reflections along with the appropriately modified wavevectors between the surfaces of the slab while the former does not .
the results of the simpler delta function model approach those of the finite barrier - well model as the reflections from the slab interfaces become weaker .    for completeness
, the results of the particle trapped in a moving infinite well are included in subsection [ sec : well ] . while the finite barrier or well examples discussed below deal only with unbound states , the infinite well is an example of the two - body formalism for a bound state .
the classical analogy for the neutron reflecting from each of the two surfaces of a moving aluminum ` slab ' is that of a short pulse of light reflecting from a moving thin film . as the film s
thickness , speed , or the average wavelength of the incident pulse changes , the reflected pulse intensity then varies as a consequence of the interference between the reflected waves from the two interfaces .
classically , such thin film interference mitigates both the spatial and temporal fringe localization associated with reflection of a pulse of light from a moving mirror ( the analog of the two - body quantum treatment of a particle reflecting from a moving mirror ) .
interference between the incident and reflected two - body pulse from the moving mirror is localized spatially by the coherence length of the pulse .
these fringes are also temporally constrained by the pulse duration .
however , interference of the two reflected light pulses , one from each surface of the thin film , dramatically reduces this fringe localization for two reasons : first the two reflected light pulses travel in the same direction thereby maintaining spatial overlap and second they experience the same doppler shift in reflecting from the two interfaces which move at the same speed resulting in fringes which are not time dependent ( this is not the case for interference of the incident and reflected pulses from a moving mirror ) .    for similar reasons , interference of the two - body wavegroup states associated with reflection from each surface of the slab mitigates the fringe localization associated with reflection from a mirror
however , the two - body interference is now between two wavegroups , each analogous to the one shown in the upper snapshot of fig . [
fig : interference ] and each of which corresponds to a reflection from only one surface of the slab and both of which move in the same direction thereby maintaining overlap .
the classical treatment yields interference only for the pulse of light and not the mirror from which it reflects .
the two - body quantum treatment presented below yields predictions about correlations in the measurements of both the neutron and slab .
destructive interference of these wavegroups then corresponds to no probability of measuring the neutron and slab along the overlap region .
a change in the slab s thickness , speed , or the average wavelength of the incident particle then results in a variation of the probability of simultaneously measuring the neutron and slab between zero and some maximum value , corresponding to constructive and destructive interference .
a pulse of light reflecting from a thin film can also generate a standing wave within the film under appropriate conditions .
similarly , two - body wavefunctions also generate such a `` fabry - prot '' resonance which is illustrated below .
modifying @xmath13 to split rather than totally reflect the incident wave while including an offset in the delta function argument to model the surface which is offset from the cm of the slab yields the two - body reflected wavefunction .
this eigenstate of energy or ` harmonic solution ' , for each surface reflection , is then superposed to form wavegroups associated with refection from that surface . rather than the waveform of the center snapshot in fig .
[ fig : interference ] , a waveform analogous to that in the upper snapshot is the focus of this discussion .
there are now two such reflected neutron - slab wavegroups , one for each slab surface , which interfere .    since the neutron
either reflects from the first surface or transmits through the first to the second , from which it then reflects , both reflected neutron substates have the same distribution of velocities .
since in each case momentum is transferred to the slab only once for each of these two possible paths ( reflection from either the first _ or _ second surface of the slab ) , two associated slab substates are generated , each with the same velocity distribution .
this results in two reflected neutron - slab wavegroups traveling at the same speed and direction but offset .
interference then requires wavegroup ` overlap ' within a coherence length of both the neutron and slab substates .
an example of a lack of overlap in the mirror substate , resulting in no two - body interference , was discussed in section [ sec : bandwidth ] and illustrated in fig .
[ fig : spreadvelocity]d .
this requirement , applied to the slab substate , is that the cm of the two reflected slab substates separate no further than their coherence lengths .
this offset is estimated by the extra slab speed , beyond @xmath11 , acquired from the first reflection multiplied by the difference in particle reflection times between the two slab surfaces .
assuming @xmath43 and @xmath104 this offset , @xmath105 , then must be less than @xmath106 , which if determined by thermal equilibrium requires @xmath107    next consider the constraint on @xmath108 . when a neutron wavegroup of spatial width @xmath109 ( where dispersion in reflection is neglected ) retro - reflects a distance @xmath110 from the cm of the slab , with @xmath110 much greater than both the wavegroup width @xmath109 and the slab length @xmath102 ( @xmath111 ) , ` overlap ' of the neutron wavegroups which have reflected from both surfaces occurs . for a near stationary slab
the reflected neutron wavegroups are offset by about a distance @xmath112 , interference from which requires a neutron coherence length exceeding @xmath112 .
an example which satisfies this constraint is a neutron of coherence length @xmath113  m @xcite reflecting from the two surfaces of an aluminum slab of thickness @xmath114  m ( there is little constraint on the area of this slab and therefore its mass ) .
these parameters easily satisfy the overlap constraints for both the mesoscopic / macroscopic slab at room temperatures and the neutron .
having achieved overlap , the resulting interference is then determined essentially by the harmonic wavefunctions yielding the _ constant _ two - body reflected joint probability density @xmath115 .
\label{eq : slabinterference}\ ] ] assuming @xmath43 and @xmath104 yields @xmath116 .
\label{eq : slabintapprox}\ ] ]    the slab _ and _ reflected neutron will never be simultaneously observed when @xmath117 @xcite .
such non - local two - body interference is similar to that of a pulse of light retro - reflecting from a thin film where destructive interference depends neither on the locations of the detector nor the thin film .
indeed , in the limits just given these two cases are mathematically identical if the photon wavelength is replaced with the particle s debroglie wavelength .
the pdf for reflection from the slab is illustrated for wavegroups in fig .
[ fig : slab ] using parameters similar to those above : @xmath113 m , @xmath118 m , @xmath119 m/s , @xmath120 kg , and a slab coherence length determined by @xmath121 at @xmath122 .
the neutron reflects from the first slab surface at @xmath79 , @xmath78 , and @xmath123 . to illustrate the non - local nature of the interference ,
three snapshots are chosen for times which allow the center of the wavegroup to change position by four orders of magnitude in both the neutron and slab coordinates .
since the spatial size of the neutron - slab pdf is limited by small coherence lengths , a graph with a spatial region encompassing all of these points , while still showing the wavegroup structure , can not easily be generated .
instead ` blow - ups ' in the @xmath72 plane of small regions around these points are shown .
the snapshots in the upper row have a span in @xmath2 of @xmath124 m and a span in @xmath3 of @xmath125 m with the approximate centers of each graph located at @xmath126 m and @xmath127 m . the middle row of graphs have a span in @xmath2 of @xmath128 m and a span in @xmath3 of @xmath129 m with the approximate centers of each graph located at @xmath130 m and @xmath131 m . the lower row of graphs have a span in @xmath2 of @xmath132 m and a span in @xmath3 of @xmath133 m with the approximate centers of each graph located at @xmath134 m and @xmath135 m . the increase in span is needed since the wavegroup expands over these time scales .
the vertical scale therefore decreases from top to bottom rows but is the same within each row so that pdf heights can only be compared within a row .
the only parameter that differs between the graphs in the left and right columns of fig .
[ fig : slab ] is the neutron velocity before reflection .
it is @xmath136 m / s for the left and @xmath137 m / s for the right column respectively .
these two neutron speeds result in either constructive or destructive interference ( left or right columns respectively ) of the neutron - slab wavegroups which are offset by @xmath138 due to reflection from the two slab surfaces .
as this offset decreases ( e.g. by decreasing @xmath102 ) or @xmath108 increases , the pdf goes to zero approaching the destructive interference predicted in eqn .
[ eq : slabintapprox ] ( since @xmath43 and @xmath104 ) .
similar calculations also confirm the predictions that there is little effect on the interference from increasing @xmath9 while changes in @xmath10 have a significant effect .
note also that the small size of the slab coherence length , @xmath139 m , is much larger than the offset due to reflection from the two slab surfaces , @xmath140 m , and therefore has little effect on the destructive interference .    increasing the mass of the slab changes only the span in the @xmath3 coordinate of these graphs but not the interference . the parameters in fig .
[ fig : slab ] are _ not _ chosen to illustrate effective wavegroup destructive interference but rather to show coherence length effects on the interference using experimentally realizable values .     and
@xmath2 respectively ) after reflection .
the left column graphs differ from the right only in the speed of the incident neutron , illustrating constructive and destructive interference respectively . ]
the model for a neutron traversing a slab of matter which incorporates multiple reflections and variation in the wavevector inside the slab is determined from the schrdinger equation given by @xmath141 \notag \\
+ i\partial_{t})\psi[x_{1},x_{2},t]=0 , \label{eq : scheqn}\end{aligned}\ ] ] where @xmath142 $ ] is now the potential energy associated with either the well or barrier . of interest is a solution which yields an energy eigenstate for the particle - well or barrier interaction , for which neither the particle nor the well or barrier is localized .
wavegroups are then constructed from these states .
a separable solution to this two - body schrdinger equation is obtained in a manner similar to that outlined in section [ sec : theoryparticlemirror ] .
the center of mass and relative coordinate transformation yields solutions which are matched at the boundaries and then transformed to the particle - well coordinates .
the infinite well potential is presented to illustrate the application of the two - body formalism to a bound state .
then in subsection [ subsec : barrier ] calculations are outlined for a particle interacting both with a finite barrier and a finite well in unbound states .
these provide a more accurate model for a neutron traversing a slab of matter than that just discussed .
the boundary condition for the infinite potential well , of width @xmath102 , is @xmath143\rightarrow 0 $ ] .
the relative wavefunction does not exist outside the well for @xmath144 and @xmath145 .
a solution to eqn .
[ eq : scheqn ] for a particle which has reduced mass is then @xcite @xmath146~\theta[x_{rel},d ] , \label{eq : psiwell2}\ ] ] where @xmath147=(\theta [ x_{rel}+d]-\theta [ x_{rel}-d])$ ] has value one within the well and zero everywhere else with n being the number of nodes .
the solution to the center of mass ode ( the same as eqn .
[ eq : scheqode1 ] ) is @xmath148 the complete solution is then @xmath31 \propto \psi_{cm}\psi_{rel}$ ] .
again , we are interested in measurements of the particle and well rather than measurements of two transformed `` objects , '' one with a reduced mass and the other with the total mass of the system . expanding the sine function in eqn .
[ eq : psiwell2 ] into exponential form results in wavefunctions traveling in opposite directions . transforming back to the particle - well coordinates ,
the momenta and energies of the particle and well differ in magnitude in these two directions .
the modes of the well , characterized by the number of nodes @xmath149 , are determined in the cm - rel coordinates by @xmath150 . in the particle - well
coordinates this constrains the incident values of particle and well velocities .
that is , given an initial well velocity @xmath11 only the following initial particle velocities are allowed , @xmath151    in the particle - well coordinates the wavefunction s phase , @xmath152 , needs to have its temporal part parsed into the kinetic energy of the particle and the kinetic energy of the well .
this is done as in the previous calculations .
the resulting kinetic energies of the particle and well differ as the particle moves in opposite directions .
these energies and their associated momenta are those expected of a classical particle reflecting from the moving well walls .
the finite barrier or well ( referred to as only the barrier ) has potential energy @xmath153 ( positive for the barrier and negative for the finite well ) and extends over a distance @xmath102 .
this divides space into three regions : before the barrier or `` before '' , in the barrier region or `` barrier , '' and after the barrier or `` after . ''
solutions are first obtained for these three regions in the cm and rel coordinates by solving eqns .
[ eq : scheqode1 ] and [ eq : scheqode2 ] .
the solution to eqn .
[ eq : scheqode2 ] before the barrier consists of incident and reflected wavefunctions given by @xmath154 where @xmath155 .
the solution in the barrier - finite well region also consists of incident and reflected wavefunctions given by @xmath156 where @xmath157 .
the solution after the barrier consists only of a transmitted wavefunction given by @xmath158 where @xmath159 .
the boundary conditions are continuity of the wavefunctions and their derivatives with respect to @xmath160 at @xmath161 .
these then constrain the coefficients @xmath162 , @xmath163 , @xmath164 , and @xmath165 with @xmath166 .
again , the solution to eqn .
[ eq : scheqode1 ] is given by eqn .
[ eq : psiwell1 ] .
the complete solution is then @xmath31 \propto \psi_{cm}\psi_{rel}$ ] .
since we are interested in predictions about measurements of the particle and barrier rather than measurements of the reduced mass and total mass `` objects , '' a transformation from the relative and center of mass to the particle - barrier coordinates is required .    in the particle - barrier
coordinates the wavefunction s phase , @xmath152 , needs to have its temporal part parsed into the kinetic energy of the particle and the kinetic energy of the barrier .
this procedure is the same as it is for the particle - mirror and particle - infinite well two - body states as described above .
however , the product of the potential energy part of the total energy with time @xmath167 in the barrier region must be added to the phase .
such a term has no measurable effect as will be shown next .
the wavefunction in the barrier , expressed in the particle - well coordinates , is then @xmath168 where @xmath169 and @xmath170 contain the spatial terms in the phase and are functions of @xmath171 and @xmath172 .
the temporal terms contain the kinetic energy for the particle and barrier moving to the right and left , @xmath173 and the potential energy @xmath153 .
the kinetic energy terms are functions of @xmath174 , and @xmath172 .
the potential energy term @xmath175 is a common factor of both the incident and reflected wavefunctions in the barrier .
since the pdf is generated from the wavefunction multiplied by its complex conjugate , such common factors have no effect on the pdf .
there is then no need to associate the potential energy part of the total energy with either the particle or the barrier or as a separate term in the phase , @xmath176 .
the potential energy part of the total energy has observable consequences only parametrically within the momenta and kinetic energies of the particle and barrier .
this simple division of the momentum and energy of the particle in the barrier can be contrasted with that of the stress - energy tensor for an electromagnetic wave traversing a dielectric slab @xcite .
wavegroups are next formed from a gaussian superposition of the two - body energy eigenstates for the particle and infinite well or finite particle and barrier - well described above .
correlated interference is a consequence of any such superposition .
however , we focus the following discussion on the subsets of correlated interference effects which deal with the superposition of two such wavegroups . in particular , emphasis is given to the two - body quantum analogy of a pulse of light reflecting from a thin film : interference from the two - body wavegroups which have reflected from the two surfaces of the slab .
at the risk of distracting from this main topic , correlated interference from multiple reflections when such a wavegroup interacts with an infinite barrier are also discussed .
the wavegroup for the particle and barrier or finite well is calculated using a gaussian superposition of the energy eigenstates given in subsection [ subsec : barrier ] .
unfortunately , the coefficients @xmath162 , @xmath163 , @xmath164 , and @xmath165 of eqns .
[ eq : psibefore ] , [ eq : psibarrier ] , and [ eq : psiafter ] depend in a non - trivial manner on the variables of integration .
the resulting integrals can not be determined in closed form . to facilitate the calculation
, the following sums will replace these integrals : @xmath177 \notag \label{eq : barrierwavegroup}\end{aligned}\ ] ] where the peak of the barrier velocity distribution is at @xmath178 , @xmath179 is its width , and the sum is from an initial barrier velocity @xmath180 to a final velocity @xmath74 . summing over the particle velocity distribution yields the wavefunction for the wavegroup given by @xmath181 where the peak of the particle velocity distribution is at @xmath182 , @xmath183 is its width , and the sum is from an initial particle velocity @xmath184 to a final velocity @xmath73 .
two cases are now treated : the unbound two - body wavegroup state of a particle and finite well and a similar unbound state of a particle and finite barrier .
[ [ sec : barriergreater ] ] particle traversing a finite well : @xmath185 .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    consider next a particle interacting with a finite well whose sum of initial kinetic energies in the relative coordinate system is greater than the well pe .
the size of the particle substate wavegroup is chosen to be a few times larger than the finite well width @xmath102 .
[ fig : barrier_negenergy ] shows results of the pdfs for three sequential snapshots taken at equal time intervals progressing along the dashed line from the lower left to upper right and upper left .
the analogous classical positions of the particle and finite well for particular snapshots are illustrated in the insets .
the barrier boundaries occur at the diagonal white lines , corresponding to @xmath186 .
the parameters used in fig .
[ fig : barrier_negenergy ] are @xmath187 , @xmath188 , and @xmath189 while the @xmath190 using the average value of @xmath191 for the wavegroup particle and well distributions .
one category of correlated interference , which we call type i , occurs when the incident and reflected two - body wavefunctions , traveling in opposite directions in the @xmath192 plane , ` overlap . '
this is illustrated in fig .
[ fig : barrier_negenergy ] for weak reflection by the fringes of the middle snapshot just to the left of the barrier or line @xmath193 and also by the fringes in fig .
[ fig : interference ] .
these fringes are spaced by about half the debroglie wavelength of the _ particle _ for @xmath194 and @xmath195 as are the similar correlated interference fringes in the two - body reflection of a particle from a mirror given in eqn .
[ eq : entangledinterference ] .
however , the interaction generates another form of correlated interference when the reflected wavegroups , one from each barrier surface , interfere as they travel along the _ same _ direction in the @xmath192 plane .
this new category of correlated interference , which is referred to as type ii , is illustrated in fig .
[ fig : barrier_negenergy ] by the peak labeled @xmath59 .
this is the same type of interference from reflections at the two surfaces of the slab modeled as two delta function in section [ sec : twodelta ] .
it is similar to the classical interference of a pulse of light reflecting from a thin film .    changing only the barrier spacing generates an oscillation in the pdf for peak @xmath59 analogous to that found in the interference of a pulse of light reflecting from a thin film
whose thickness varies .
that is , this peak goes through constructive and destructive interference from the two barrier reflections when the wavegroup size is much larger than that of the barrier and the spacing @xmath102 is varied . as time progresses peak
@xmath59 maintains this interference as it travels in the @xmath192 plane .
these are the same characteristics of the interference found in the simple two delta function model of reflection from a slab given in section [ sec : twodelta ] and shown in fig . [
fig : slab ] .
this differs from the type i correlated interference associated with the fringes shown in the middle snapshot of fig .
[ fig : barrier_negenergy ] which is localized to a small temporal and spatial region .
this figure illustrates yet another form of correlated interference , referred to as type iii : that from multiple reflections from the two barrier edges , which is shown as the fringes within the well of the middle snapshot of fig .
[ fig : barrier_negenergy ] . these are analogous to the standing wave formed in a thin film or optical cavity .    .
the first snapshot generates peak @xmath58 while peaks @xmath59 and @xmath196 comprise the last snapshot .
the classical analogs of these peaks are shown in the insets .
the pdf progresses temporally along the dashed line . ]
[ [ sec : barriermiddle ] ] particle traversing a finite barrier : @xmath197 .
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    consider next wavegroups for which some fourier components of the particle and barrier substates have a total initial kinetic energy in the relative coordinate system which exceeds the barrier potential energy while other components have a total relative initial kinetic energy which is less than the barrier potential . to illustrate the resulting pdfs the size of the particle and barrier substate wavegroups
are chosen to be slightly larger than the barrier width @xmath102 .
[ fig : barrier_posenergy ] shows the pdfs from such an interaction using three sequential snapshots , progressing along the dashed line from the lower left to upper right .
the speed of the particle and well are illustrated for a classical system of two such particles in the insets next to each snapshot .
again the diagonal white lines correspond to @xmath186 .
the parameters used in fig .
[ fig : barrier_posenergy ] are @xmath187 , @xmath188 , @xmath189 while the @xmath198 for the average value of the @xmath191 for the wavegroup distributions .
this figure also illustrates type iii correlated interference but it differs from fig . [ fig : barrier_negenergy ] in that only the first mode is excited .
additionally , the mode decays slowly enough to be visible in the third snapshot labeled as peak @xmath199 ( located between both @xmath186 and peaks @xmath59 and @xmath196 in the third snapshot ) .
this peak is analogous to the buildup and decay of electromagnetic energy in a optical cavity .
later snapshots ( not shown ) illustrate its decay .
the peaks labeled @xmath59 in fig .
[ fig : barrier_posenergy ] and fig .
[ fig : barrier_negenergy ] are both of type ii .     for the particle traversing the barrier .
the only difference between the parameters used here and in fig .
[ fig : barrier_negenergy ] is the pe which forms a barrier . ]
the position of peak @xmath196 can be compared between figs .
[ fig : barrier_negenergy ] and [ fig : barrier_posenergy ] since all parameters are the same except the pe .
the location of this peak indicates the effect of the interaction on the relative transit times for the particle and finite well or barrier wavegroup substates .
the infinite well - particle calculation differs from that of the barrier due both to the particle and well velocities being constrained by the resonance condition given in eqn .
[ eq : quantizationvv ] and by the lack of coefficients , such as the @xmath162 , @xmath163 , @xmath164 , and @xmath165 used in the previous section , which depend on the parameters of integration .
a closed form expression for the well substate wavegroup can be obtained from a gaussian distribution of the energy eigenstates parameterized in terms of velocity components , @xmath11 , of the well , given by @xmath200dv   \notag \label{eq : psiwellwavegroup}\end{aligned}\ ] ] where the peak of the distribution is at @xmath178 and @xmath179 is its width .
this is then summed over integral values of @xmath149 ( the number of nodes ) using the gaussian distribution @xcite @xmath201   \psi_{well}^{wavegroup } , \notag   \label{eq : psiparticlewavegroup}\end{aligned}\ ] ] where the peak of the distribution is at @xmath202 and @xmath203 is its width .    using these relations ,
the pdf is plotted with particle and well substate wavegroups whose spatial widths are less than the well spacing @xmath102 .
[ fig : wellsynchfinal ] shows such pdf results for six snapshots taken at equal time intervals progressing from the lower left to upper right along the dashed line . `
reflection ' occurs at the diagonal white lines , corresponding to @xmath186 .
the particle and well `` reflect '' from each other twice , in the second and fourth snapshots .
the classical analogs for the particle and well positions for some snapshots are shown in the insets , labeled by a , b , and c. these correspond to the snapshots of the wavegroups labeled with the respective letters . while the insets are schematics of the ` classical ' analog between the wave and particle pictures , there is nothing similar for the correlated interference snapshots .
interference occurs when the incident and reflected two - body wavefunctions ` overlap ' and is shown in higher spatial resolution for the first reflection in the right side inset of fig . [
fig : wellsynchfinal ] .
the fringes are spaced by about half the debroglie wavelength of the _ particle _ for @xmath194 and @xmath195 , as are similar correlated interference fringes in two - body reflection of a particle from a mirror in fig .
[ fig : interference ] . the parameters used in fig .
[ fig : wellsynchfinal ] are @xmath204 , @xmath205 , @xmath206 , and @xmath207 .
for a two - body wavefunction whose wavegroup size is less than the infinite well spacing .
the diagonal white lines correspond to @xmath186 .
the trajectory is indicated by the dashed line .
the right inset is a blow - up of the correlated interference of the second snapshot . ]
correlation measurements are more difficult to perform than measuring just one of the bodies in a many body system . to predict one body effects , the two - body pdf is integrated ( traced ) over the coordinates of one of the bodies thereby converting it into a ` one - body ' or marginal pdf for the other body @xcite .
for example , consider a measurement of the particle but not the mirror for the two - body pdfs shown in fig .
[ fig : spreadvelocity ] . averaging over the mirror coordinate in fig [ fig :
spreadvelocity]a essentially eliminates any interference when measuring only the particle .
averaging over the particle coordinate eliminates any interference in a measurement of only the mirror .
yet there is interference in a correlated measurement .
gottfried describes a related result using a different two - body interferometer @xcite .
such averaging over the mirror coordinate of fig .
[ fig : spreadvelocity]c , however , does not ` wash out ' interference in the particle - only measurement .
the resulting particle - only ` standing - wave ' interference pattern in reflection from a static mirror is of course expected . yet
the integral of this two - body pdf over the particle coordinate yields no mirror - only interference .
this matches the classically expectation that there is interference for the wave reflecting from a mirror but not for the mirror .
however , if the coherence lengths are switched ( it is difficult to increase the coherence length of a mesoscopic / macroscopic mirror ) then a particle - only measurement will yield no interference while a mirror - only measurement will yield interference .
the two - body solution , when used in this manner to determine a one - body pdf , then reveals the limitations of starting with a solution to the one - body schrdinger equation where the potential ( mirror ) is assumed to be a classical rather than a quantum object .
for example , a one - body pdf for the particle , determined by the one - body schrdinger equation , is a consequence of the solution to the two - body schrdinger equation only for coherence lengths used in fig .
[ fig : spreadvelocity]c .
the reflected one - particle pdfs obtained when averaging over the mirror coordinates of fig .
[ fig : spreadvelocity]a , [ fig : spreadvelocity]b , and [ fig : spreadvelocity]d , however , _ can not _ be obtained without treating the mirror as a quantum object .
the particle - only measurements , determined from this two - body treatment , then act as a probe of the mirrors quantum state .
two regimes in which the quantum nature of the mirror is revealed are illustrated in fig .
[ fig : spreadvelocity]a and d using fixed particle bandwidth .
the result in part [ fig : spreadvelocity]a was discussed above .
the other regime , shown in fig . [ fig : spreadvelocity]d , requires such small mirror coherence lengths that the incident and reflected two - body states are distinguishable , thereby also eliminating any interference .
consider a simple estimate of the condition for which interference of the particle reflecting from the mirror disappears in the two - body pdf of fig .
[ fig : spreadvelocity]d .
this is done by approximating the incident two - body pdf of fig .
[ fig : spreadvelocity]d as a rectangle with height @xmath208 and width @xmath209 @xcite . assuming
a near stationary mirror with @xmath43 and @xmath104 , reflection then tilts this rectangle to an angle @xmath13 given by @xmath210 where @xmath211 and @xmath212 are the velocities after reflection of the mirror and particle .
the overlap of the incident and reflected rectangles occurs at a distance @xmath213 from the point of maximum overlap given by @xmath214 . beyond @xmath213
no overlap or interference occurs . using the coherence length associated with thermal equilibrium of the mirror yields the following condition for the particle fringes to disappear in the two - body solution of fig .
[ fig : spreadvelocity]d @xmath215    this condition generates a regime in which the quantum nature of the mirror is manifest via elimination of the expected one - body interference of the particle in reflection , which is caused by the incident and reflected paths becoming distinguishable as the mirror coherence length becomes smaller ( see section [ sec : bandwidth ] ) . although there is a lack of interference in the particle - only measurement , the two - body state is still split .
this is evident in fig .
[ fig : spreadvelocity]d as a bimodal distribution for which there is a finite probability of finding states of both reflection _ and _ no reflection .
the effect is enhanced with reflection of ultra - cold atoms which have both larger coherence lengths and masses than neutrons .
a yet larger mass could involve a bose - einstein condensate itself if it reflects as ` one particle ' rather than a collection of individual particles from the mirror @xcite .
such ` standing - wave ' interference on reflection of a bose - einstein condensate ( @xmath216 m ) is eliminated with a mirror of @xmath217 kg ( the average mass of a mosquito ) and @xmath218 k. reflection of both atoms @xcite and bose - einstein condensates @xcite from mirrors has been studied but neither in the regimes discussed here nor in an attempt to measure such ` standing - wave ' interference .
next consider measuring only the particle after reflection .
for destructive interference of the joint pdf illustrated in fig .
[ fig : slab ] ( or destructive interference of peaks b in figs .
[ fig : barrier_posenergy ] and [ fig : barrier_negenergy ] ) , such averaging yields a low probability of measuring only the neutron even if the slab is _ not _ measured . in this case , destructive interference is maintained in the one - body neutron pdf .    the analogy between the measurement of a short pulse of light reflecting from a thin film and a measurement of only the neutron then has a similar physical interpretation . in both cases
the detector need only be placed in the path of the moving neutron or the pulse of light , which leads to a one - body measurement that is independent of the wavegroup size .
there is no requirement that the spatial resolution of the measuring instrument be smaller than the coherence length of the object being measured .    as in the mirror case ,
this example of destructive interference in a one - body measurement ( which is derived from the two - body wavefunction ) is valid only for a range of coherence lengths for both the slab and particle .
such coherence length dependence can be illustrated assuming a small reflection coefficient and using the mirror pdf of fig .
[ fig : spreadvelocity]d for reflection from the first slab surface where the small slab coherence length is due to its mesoscopic / macroscopic mass .
consider a similar figure to represent the `` mirror '' reflection from the second slab surface but offset by a slab thickness , @xmath102 , which is sufficient to prevent overlap of the reflected two - body wavefunctions from these two figures .
this is a case where the particle does not experience interference even after having reflected from both slab surfaces and having a coherence length greater than the slab thickness .
a simple estimate of this condition for the slab is given by again assuming that the incident two - body pdf of fig .
[ fig : spreadvelocity]d is a rectangle of height @xmath208 and width @xmath209 . for a near sationary mirror with @xmath43 and @xmath104 , the rectangles reflected from each surface
are tilted at an angle @xmath13 given by @xmath210 .
the positions of the slab surfaces are essentially vertical in the @xmath219 plane .
the two reflected rectangles just separate when @xmath220 . using the coherence length associated with thermal equilibrium of the slab with its environment
yields the temperature condition for which there is no interference @xmath221 note the similarity with eqn .
[ eq : slabtemp ] where the condition on @xmath222 is for interference rather than for lack thereof .    such elimination of interference is due to the two particle - slab reflected states becoming distinguishable as the slab coherence length decreases in a manner similar to that discussed for the particle - mirror system in section [ sec : bandwidth ] and is only a consequence of treating both the particle and slab as quantum objects . if the slab is not treated as a quantum object then particle interference will always occur as long as the particle coherence length is greater than the slab thickness .
a similar effect is found in the particle - well model .
consider now the opposite extreme in the quantum character of the slab , that of small slab bandwidth or large uncertainty in the slab position . unlike the case of large mirror uncertainty where averaging over the mirror position in fig .
[ fig : spreadvelocity]a ` washes out ' interference , uncertainty in the slab position does not eliminate the one - body - only measurement of the interference for the particle reflecting from both slab surfaces .
this is a consequence of that interference not depending on the slab location .    the inequality in eqn .
[ eq : slabtemp2 ] is most easily satisfied by increasing the mass of the reflected particle ( increasing the recoil of the slab ) and/or that of the slabs spacing ( requiring an increase in the coherence length of the particle ) while decreasing the mass of the reflector ( increasing the slab recoil ) .
reflection of a neutron traveling at @xmath223 m/s from a slab at @xmath224k , as in the example used above , yields no interference for @xmath225 kg . elimination of ` thin - film ' interference for a mesoscopic / macroscopic slab requires larger @xmath8 and @xmath102 ( with the size of the mesoscopic / macroscopic mass decreasing quadratically with these parameters ) .
interference in a typical one - body interferometer ` washes - out ' as the fringe spacing becomes imperceptible with increasing mass .
another mechanism that eliminates interference is a measurement to determine along which path the object traveled through the interferometer .
the former issue was mitigated using two - body reflection of a microscopic particle from a mesoscopic / macroscopic object , as described above , while the latter is the first topic of this section .      a method to determine path information and therefore destroy interference utilizes a ` heisenberg microscope , ' where an additional particle scatters from the object traversing the interferometer .
if the wavelength of this particle , @xmath226 , is smaller than the spatial separation along the two paths , @xmath203 , then path information can be obtained in principle from the state of this scattered probe particle and interference is destroyed .
this was verified using a three grating mach - zehnder interferometer traversed by an atom and using a photon as the probe to determine path information @xcite .
the contrast of the interference , as a function of @xmath203 , was shown to drop dramatically for @xmath227 .
generating such decoherence for particle - mirror interference involves using a probe particle to determine the mirrors position during interference .
the ` two paths ' exist only during the time that the incident and reflected two - body wavegroup states overlap for reflection from a mirror . during this time
there are two distances that the mirror could have moved : that associated with and that without reflection . if the probe particle can resolve the difference in these distances then the ` path ' associated with reflection is distinguishable from that without reflection . for a near stationary mirror with @xmath43 and @xmath104 ,
the mean difference in these mirror distances is @xmath228 , which when equal to the wavelength of a probe particle of mass @xmath229 then requires that the probe have velocity @xmath230 .
this calculation can also be used to approximate the effect of such decoherence on the mirror from the collisions with gas atoms forming the thermal bath which surrounds the mirror if these gas atoms are considered to be the probe which determines path information and they scatter from only one of the superposed mirror states .
the interference in reflection described above is then maintained if there is a small probability of these atoms having the velocity , @xmath231 . for a mesoscopic / macroscopic mirror and both a microscopic particle and a probe
, @xmath203 is too small to be resolved by typical low temperature gas atoms .
next this decoherence mechanism is applied to slab reflection .
the two surface reflections cause a difference in slab displacement which was given in section [ sec : twodelta ] for a near sationary mirror with @xmath43 and @xmath104 , as @xmath232 . determining from which slab surface the particle
reflects then requires that the probe have velocity @xmath233 .
this decoherence mechanism can also be applied to the emission of photons by the slab between the times of particle reflection from each slab surface . if the photons wavelength is small enough to allow for the location of the slab associated with one of the reflections ( @xmath140 m in the neutron - slab example given above ) , interference is destroyed since it
can then be determined at which slab surface the reflection occurred @xcite .
obviously the probability of such a thermal photon emission is small .
these calculations indicate that environmental decoherence associated with obtaining path information can potentially be mitigated .
this is due in part to the displacements associated with the interfering reflector substates being proportional to @xmath234 . to measure such small displacements
requires scattering particles with proportionally smaller wavelengths which are typically not found in the environment .
it should be pointed out that the calculations presented above assume that states for the particle , mirror , and slab have a minimum spatial profile ( minimum uncertainty gaussian wavepackets ) .
this will be referred to as a phased state .
introducing a random phase into the fourier components of either one or both of the substates of such an incident two - body phased state affects the shape and size of the wavepacket while maintaining the same bandwidth and therefore the same coherence length .
this is referred to as a dephased state .
such random phase structure is introduced as an initial condition but could have been imposed via an earlier measurement which collapsed the reflector state into a dephased state .
consider an incident phased particle substate and incident dephased mirror substate which then reflect .
a one - body particle measurement after reflection can then act as a sensitive probe of this mirror substate . to illustrate this
consider how the pdf of fig .
[ fig : spreadvelocity]c changes for such a dephased state .
first , the pdf is spread spatially along the @xmath3 axis .
second , the magnitude of the interference part of the pdf is greatly reduced but not eliminated . finally , the pdf is not spatially uniform .
apart from its magnitude and spatial uniformity , this pdf is more similar to fig . [
fig : spreadvelocity]a than [ fig : spreadvelocity]c .
this is not surprising since the localization of the dephased mirror substate is similar to that of the mirror in fig .
[ fig : spreadvelocity]a .
results of a particle - only measurement are predicted from an integral ( trace ) over the mirror coordinate of this pdf which then ` washes - out ' this interference .
if the mirror is in a dephased state , a reflecting particle - only measurement will not exhibit interference in the overlap region .
however , such interference is expected both when treating the mirror as a classical potential and for a phased mirror substate with the coherence lengths similar to those shown in fig .
[ fig : spreadvelocity]c .
the spatial extent of such a dephased mirror substate can vary between being unlocalized to being the minimum size determined by the bandwidth .
this size can then be probed by varying the wavelength of the incident particle in a reflected particle - only measurement , in which case interference either disappears or reappears as this wavelength becomes smaller or larger than the spatial size of the dephased mirror substate .      yet
another decoherence mechanism is through interaction with the environment .
zurek predicted exponential decay of the off - diagonal density matrix element terms for a macroscopic object in a superposition state , @xmath235 $ ] , with time constant @xmath236 where @xmath237 is the thermal relaxation time , @xmath203 is the difference in distance between these two states , and @xmath238 is the thermal de broglie wavelength of the macroscopic object @xcite . the decay is into a mixed rather than a pure state .
it is interesting to note that the lack of interference predicted in section [ subsec : onlyparticle ] also depends on @xmath203 but for very different reasons .    applying this decoherence model to the macroscopic slab states after reflection of the neutron , as described above , yields @xmath239 . for these neutron parameters
this ratio is large ( @xmath240 for @xmath241 kg at @xmath242k ) due to the very small offset introduced from the recoil ( @xmath243 ) .
the parameter of interest , @xmath244 , is also affected by @xmath237 which can vary dramatically depending on environmental and material properties along with the dimensional values of the slab .
mesoscopic masses can have short thermal relaxation times .
nevertheless , it appears that environmental decoherence for reflection from a slab can easily be made negligible in this model of decoherence .    applying this decoherence model to the mesoscopic / macroscopic mirror states during correlated interference in reflection allows a greater variation of parameters since atoms or molecules can more easily reflect from a surface than from both surfaces of a ` thin film . '
the result , @xmath245 , therefore allows environmental decoherence for the mirror to more easily be made either negligible or non - negligible .
consider next the consequences of such decoherence on correlated interference where the particle and mirror are in superposition states of both having and not having reflected .
if this mirror substate decoheres into a mixed state then it seems reasonable to assume that the commensurate particle substate must also decohere into a mixed state since the two substates are correlated via conservation of energy and momentum .
measurement of only the particle , after the mirror has decohered , therefore yields no interference since the particle can not then be in a superposition state .    applying this result to a measurement of only the neutron flux reflecting from the slab , while varying the incident neutron s wavelength , results in no interference if the slab decoheres during the time between reflection from both surfaces .
the details of actually executing such a measurement and of choosing parameters which straddle the region where decoherence is and is not applicable are of course much more complicated and are beyond the scope of this work .
braginsky and khalili also treat environmental decoherence @xcite .
however , they predict that for a macroscopic oscillator to exhibit quantum effects both the mechanical and thermal relaxation times are important while the parameter @xmath203 is not incorporated in their model . they argue that quantum effects can indeed be exhibited for macroscopic high q resonators .
it has been shown that correlated interference in reflection does not disappear with increasing mirror mass , is difficult to eliminate via a path measurement , and can be made insensitive to environmental decoherence .
it should also be pointed out that the robust character of interference for objects with many degrees of freedom is reinforced by measurements which demonstrate that even if the size of the object is larger than both the coherence length and debroglie wavelength , interference can still be observed @xcite .
the use of reflection to generate perceptible interference in a mesoscopic / macroscopic object involves a microscopic particle interacting with a mesoscopic / macroscopic reflector to create two reflector substates which differ only by the microscopic momentum exchanged .
unlike the fringes for a particle traversing a double slit , the interference fringes for the reflector substates do not vanish in the limit of large reflector mass .
in addition , particle and reflector interference is required for conservation of energy and momentum to be satisfied .
for example , consider reflection of a neutron from a slab . `
thin - film ' interference yields peak b in the two - body pdf of fig .
[ fig : barrier_negenergy ] . destructive interference of the reflected neutron substate , which is certainly expected in a one - body treatment , must be associated with destructive interference of the slab substate ( peak b must not exist ) .
that is , if the neutron can not be measured in reflection then the slab can never be measured at the position associated with it either having or not having reflected the neutron .
similarly , by only changing the neutron wavelength to generate constructive thin - film interference in reflection , the slab must then have a commensurate probability to be found in a position of having reflected the neutron .
measurement of interference in the reflected particle then requires that the reflector be in a superposition state which interferes in a manner correlated with that of the particle .
this conclusion also holds for the interference shown in fig .
[ fig : interference ] and presumably for all two - body interferometers .
existence of such interference might be disputed since the difference in wavevectors of the interfering mirror substates , due to reflecting a microscopic particle , is much smaller than the spread in wavevectors of which the mirror wavegroup is composed , due to its thermal motion .
this can be expressed as the ratio @xmath246 .
interference , however , is not determined by @xmath247 but rather by the relation between the interferometer path difference and the coherence lengths of the interfering wavegroups . for a neutron reflecting from a mirror of @xmath248 kg , @xmath249 m / s , and @xmath218 k ,
the ratio @xmath250 yields a number which is of the same order of magnitude as is this ratio for an optical pulse of duration @xmath251 s ( from a mode locked ti - sapphire laser ) traversing a mach - zehnder interferometer , with the mirror in one arm moving at speed @xmath252 m / s ( all other interferometer components are static ) .
optical pulse trains exhibit interference in similar interferometers @xcite with smaller @xmath247 values than in the particle reflection example just given .
correlated interference in reflection is an example of one of the simplest interferometers , utilizing neither division of amplitude nor division of wavefront methods to generate interference .
in addition , path lengths need not be carefully matched for interference to be manifest .
the complexity of this interferometer is revealed as the coherence lengths of the particle and mirror substates are varied .
examples are : ( 1 ) when both are small , classical reflection rather than interferometry essentially occurs .
( 2 ) when both are large , compared with the particle s wavelength , reflection becomes an interferometer yielding correlated interference , as shown in fig .
[ fig : spreadvelocity]a , while no interference is observed in a one - body - only measurement of either the particle or mirror . due to uncertainty in the location of both objects ,
a measurement of the particle at @xmath2 then interferometrically correlates with a range of position measurements of the mirror .
( 3 ) when the mirror s displacement , due to recoil in reflection , is less than the mirrors coherence length and the coherence length of the particle is larger than that of the mirror , then a measurement of only the particle yields the expected interference from a one - body schrdinger equation treatment ( an example is shown in fig .
[ fig : spreadvelocity]c ) .
( 4 ) when the coherence length of the particle is much larger than that of the mirror and mirror recoil is larger than its coherence length , reflection becomes a two - body beamsplitter .
this is illustrated in fig .
[ fig : spreadvelocity]d for @xmath91 . here
two states are generated but do not interfere , one being the particle - mirror state before reflection and the other that after reflection , similar to a beamsplitter producing photon states which traverse spatially separate and therefore distinguishable paths .
for example , at fixed @xmath2 there is a bimodal pdf along the @xmath3 axis , each peak of which corresponds to one of these two states .
there is no interference since the short coherence length of the mirror relative to the recoil distance results in distinguishable two - body states ( the mirror has reflected the particle in the upper but not the lower pdf peak ) .
the kinematics in the correlated interference regime can be compared with that of an electromagnetic wavegroup reflecting classically from a mirror .
the latter involves accelerated motion due to a continuous force delivered to the mirror throughout the reflection process . to determine the former ,
consider the interference region shown in fig .
[ fig : interference ] with @xmath253 , @xmath254 , and equal coherence lengths . if only the mirror is measured ( integrating the pdf over the particle coordinate ) then the expectation value for the mirrors position accelerates throughout the interaction time , as expected classically .
if the mirror is not measured but the particle is , then the expectation value for the mirrors position decelerates at the same rate .
however , these expectation value kinematics vary with parameters such as particle and mirror substate coherence lengths and masses .
finally , the issue of how to determine that the mirror is in a superposition of states is considered .
one method is to perform a correlation measurement of the positions of the particle and cm of the mirror in the interference region . in a region of destructive interference
neither will be found . however , correlation measurements are difficult to perform .
another possibility is to use a third particle as a probe , interacting only with the mirror to determine if the mirror is in a superposition state , in the following way : let this microscopic probe particle reflect from both mirror states ( reflecting from the other side of the mirror ) resulting in one - body interference of the probe .
the coherence length of the probe need only be larger than the very small displacement of the mirror states for this probe interference to be exhibited , while the magnitude of the phase shift is determined by the mass of the probe .
this is a method to measure that the mesoscopic / macroscopic mirror is in a superposition state , without any direct measurement of the mirror .
however , calculations of such three - body interactions , which follow easily from the formalism discussed above , are beyond the scope of this already lengthy foundational work .    methods to measure quantum effects on a mesoscopic / macroscopic reflector using only the reflected particle have been a focus of this work , rather than the methods just described . the reflected particle flux is then used to reveal properties of the quantum state of the reflector .
one example is of a neutron reflecting from a slab . as with interference in reflection of light ,
the one - body schrdinger equation predicts a variation in reflected neutron flux as a function of incident neutron wavelength whenever the neutron coherence length is longer than the slab thickness .
the calculation presented here , treating both the particle and reflector as quantum objects , also predicts such interference but only as a special case .
in addition , this treatment predicts the following regimes under which no reflected interference occurs _ for a measurement of only the particle _ : ( 1 ) the reflection process acts as a beamsplitter and not an interferometer , generating two mirror or slab states which do not overlap .
( 2 ) the fourier components of the mirror substate have random phases sufficient to extend its size beyond that of the particle s wavelength .
( 3 ) the slab and mirror have coherence lengths long enough for correlated interference but not interference when only the particle is measured .    in each of these cases , consider varying the incident particle s wavelength and observing no interference in the reflected particle flux .
this indicates that the mesoscopic / macroscopic reflector is in a particular quantum superposition state . by varying parameters appropriately , as discussed in section [ sec : particleonlymirror ] , interference in this reflected particle flux then reappears .
ironically , it is this lack of interference that then reveals the quantum nature of this mesoscopic / macroscopic ` thin film ' or mirror . in this case , measuring only the reflected particle flux yields significant experimental advantages over a measurement of the correlation between the particle and mirror .
another possible method to study the state of the mesoscopic / macroscopic mirror is via the expected standing wave pattern generated between incident and retro - reflected states of a bose - einstein condensate as it interacts with a mirror .
if this process can be modeled as described above , with the mass of the condensate replacing that of the particle , then the point at which condensate interference disappears can be extended to larger mirror masses .
although interference between split condensates has been observed @xcite , as far as we are aware , there is no evidence of standing wave interference due to reflection .
reflection of atoms from mirrors has been previously studied but not in treating both the particle and reflector as quantum objects nor in the reflector mass regimes discussed here nor in an attempt to measure either the resulting ` standing - wave ' interference or the effect of decoherence on such interference .
there exist few examples of quantum correlated interference for non - zero rest mass particles .
verification of the above predictions , even in the microscopic regime for both particle and reflector , is therefore of fundamental interest .
although far from being comprehensive , these results indicate a direction , heretofore unexplored , for further research in understanding quantum correlation , probing decoherence , and extending quantum measurements to larger masses .
bell , physics * 1 * 195 ( 1964 ) . k. gottfried , am .
* 68 * 143 ( 2000 ) .
d. salart , et .
al . , phys .
* 100 * 220404 ( 2008 ) .
m. a. rowe , et .
nature , * 409 * 791 ( 2001 ) .
m. ansmann , et .
al . , nature , * 461 * 504 ( 2009 ) .
a. hagar , phil .
r. soc . * 370 * 4425 ( 2012 ) ; m.schlosshauer , rev . of mod
76 * 1267 ( 2004 ) .
a. d. cronin , j. schmiedmayer , and d. e. pritchard , rev .
phys . * 81 * , 1051 ( 2009 ) .
t. juffmann et .
al . , nature nanotech * 7 * , 297 ( 2012 ) .
b. abbott , et .
new j. of phys . * 11 * 073032 ( 2009 ) .
m. aspelmeyer , p. meystre , and k. schwab , phys . today * 65 ( 7 ) * , 29 ( 2012 ) .
a.d . oconnell et.al . ,
nature * 464 * , 697 - 703 ( 2010 ) .
a. nunnenkamp , k. borkje , and s. m. girvin , phys .
lett . * 107 * , 063602 ( 2011 ) . f. de martini et.al .
* 104 * , 050403 ( 2010 ) .
d. kouznetsov and h. oberst , phys .
a * 72 * , 013617 - 1 ( 2005 ) .
t. a. pasquini , m. saba , g .- b .
jo , y. shin , w. ketterle , and d. e. pritchard , phys .
97 * , 093201 - 1 ( 2006 ) .
f. shimizu , phys .
lett . * 86 * , 987 ( 2001 ) .
t. hils et .
al . , phys .
a * 58 * , 4784 ( 1998 ) .
y. colombe , b. mercier , h. perrin , and v. lorent , phys .
a * 72 * , 061601 ( 2005 ) .
szriftgiser , p. , d. guery - odelin , m. arndt , and j. dalibard , phys .
lett . * 77 * , 4 ( 1996 ) .
h. rauch , contemp .
* 2 * 345 ( 1986 ) .
kowalski , f.v . and
browne , arxiv:1405.0031 [ quant - ph ] p. tommasini et.al . , am .
* 66 * , 881 ( 1998 ) .
siverman , _ more than one mystery _ , p-96 ( springer verlag , new york , 1995 ) . in the particle - mirror coordinates the incident and reflected wavevectors for the particle ( or mirror ) are not necessarily equal and opposite as they are in the cm / rel coordinates ( nor are they equal and opposite for a one particle system in which the mirror is fixed ) .
the probability current density to the left of the mirror then exhibits spatial and temporal interference due to the effect this difference in wavevectors has on the incident and reflected wavefunctions .
this results in a non - additive current density , a consequence of the space to the left of the mirror increasing as it moves .
the net flux must account for the build - up of probability within this `` new '' space .
pushin et .
al . , phys .
100 * , 250404 ( 2008 ) .
hamilton , a.g .
klein , and g.i .
opat , phys .
rev . a , * 28 * , 3149 ( 1983 )
. the coherence length does not change even if the size of the wavepacket changes due to dispersion .
klein , g.i .
opat , and w.a .
hamilton , phys .
* 50 * , 563 ( 1982 ) .
m. ferrero and a. van der merwe , _ fundamental problems in quantum physics _ , ( kluwer academic publishing , dordrecht , 1995 ) .
the pauli exclusion principle is another example of destructive interference in a two - particle system .
see r. c. liu , b. odom , y. yamamoto , and s. tarucha , nature 391 , 263 - 265 ( 1998 ) .
c.u.serge and j.d .
sullivan , am .
* 44 * 729 ( 1976 ) .
the coherence length is used here rather than the wavepacket size since the former rather than the later determines interference , op .
s.m . barnett and r. loudon , phil .
r. soc.a * 368 * 927 ( 2010 ) .
chapman , et.al .
, * 75 * , 3783 , ( 1995 )
. w. h. zurek , rev .
* 75 * , 715 , ( 2003 ) .
v.b . braginsky and f.y .
khalili , _ quantum measurement _ , ( cambridge university press 1992 ) .
l. lepetit , g. cheriaux , and m. joffre , j. opt .
b * 12 * , 2467 ( 1995 ) . c. kohstall , s. riedl , e. s. guajardo , l. sidorenkov , j. h. denschlag , r. grimm , new j. phys .
* 13 * , 065027 ( 2011 ) m. witkowski , r. gartman , b. nagrny , m. piotrowski , m. podzie , k. sacha , j. szczepkowski , j. zachorowski , m. zawada , and w. gawlik , phys .
a * 88 * , 025602 ( 2013 ) if the condensate particles reflect individually from a receding mirror then they each acquire a different energy which decreases in their order of reflection .
this is due to the energy exchanged with the mirror from the particles which have already reflected and is manifest as a distorted reflected wavegroup .