We investigate whether extra mass information can be extracted from a Gaussian wavepacket in a Schwarsczhild field. We begin with the Dirac equation in curved space-time, which describes a spin-1/2 particle of rest mass m in a gravitational field,
$$\begin{aligned} i\hbar \gamma ^ae^\mu _a(\partial _\mu -\varGamma _\mu )\psi =mc\psi ~. \end{aligned}$$
(4)
The spacetime metric \(g_{\mu \nu }\) can be related at every point to a tangent Minkowski space \(\eta _{ab}\) via tetrads \(e_\mu ^a\), \(g_{\mu \nu }=e_\mu ^a e_\nu ^b\eta _{ab}\). The tetrads obey the orthogonality conditions \(e_\mu ^a e_a^\nu =\delta _\mu ^\nu ,e_\mu ^a e_b^\mu =\delta _b^a\). We use the convention that Latin indices represent components in the tetrad frame. The spinorial affine connection \(\varGamma _\mu =\frac{i}{4} e_\nu ^a (\partial _\mu e^{\nu b}+\varGamma _{\mu \sigma }^\nu e^{\sigma b}) \sigma _{ab}\), where \(\varGamma _{\mu \sigma }^\nu \) is the affine connection and \(\sigma _{ab}\equiv \frac{i}{2}[\gamma _a,\gamma _b]\) are the generators of the Lorentz group. \(\gamma _a\) are gamma matrices defining the Clifford algebra \(\{\gamma _a,\gamma _b\}=-2\eta _{ab}\), with spacetime metric signature (\(-,+,+,+\)). We use the Einstein summation convention where repeated indices (\(\mu ,\nu ,\sigma ,a,b=\{0,1,2,3\}\)) are summed.
We will consider the Schwarzschild metric in isotopic coordinates (\(x^0\equiv ct\)),
$$\begin{aligned} ds^2=V^2(dx^0)^2-W^2(d{\mathbf {x}}\cdot d{\mathbf {x}})~, \end{aligned}$$
(5)
where (\(r\equiv \sqrt{{\mathbf {x}}\cdot {\mathbf {x}}}\))
$$\begin{aligned} V= & {} \Big (1-\frac{GM}{2c^2r}\Big )\Big (1-\frac{GM}{2c^2r}\Big )^{-1}~, \end{aligned}$$
(6)
$$\begin{aligned} W= & {} \Big (1+\frac{GM}{2c^2r}\Big )^2~. \end{aligned}$$
(7)
Under this metric Eq. (4) can be written in the familiar Schrödinger picture \(i\hbar \partial _t \psi =H\psi \), where (\(\varvec{\alpha }\equiv \gamma ^0\varvec{\gamma },\beta \equiv \gamma ^0,{\varvec{p}}\equiv -i\hbar \nabla , F\equiv V/W\), and indices \(i,..,n=\{1,2,3\}\) [18]
$$\begin{aligned} H=\beta mc^2V + \frac{c}{2}[(\varvec{\alpha }\cdot {\mathbf {p}})F-F(\varvec{\alpha }\cdot {\mathbf {p}})]~. \end{aligned}$$
(8)
A means by which to write down the non-relativistic limit of the Dirac Hamiltonian with relativistic correction terms is provided by the Foldy–Wouthuysen (FW) transformation [19]. The FW transformation is a unitary transformation which separates the upper and lower spinor components. In the FW representation, the Hamiltonian and all operators are block-diagonal (diagonal in two spinors). There are two variants of the FW transformation known as the standard FW (SFW) [19] and exact FW (EFW) [18, 20,21,22] transformations. We will use here the EFW transformation, which is efficient and correct at low-orders, and adequate for our purposes. For higher-order corrections one should use the more involved SFW, as the EFW may produce spurious results at higher-orders, in some instances [23].
Central to the EFW transformation is the property that when H anti-commutes with \(J\equiv i\gamma ^5 \beta \), \(\{H,J\}=0\), under the unitary transformation \(U=U_2 U_1\), where (\(\varLambda \equiv H/\sqrt{H^2}\))
$$\begin{aligned} U_1=\frac{1}{\sqrt{2}} (1+J\varLambda ),\quad \quad U_2=\frac{1}{\sqrt{2}} (1+\beta J)~, \end{aligned}$$
(9)
the transformed Hamiltonian is even (even terms do not mix the upper and lower spinor components, odd terms do),
$$\begin{aligned} UHU^+&=\frac{1}{2}\beta (\sqrt{H^2}+\beta \sqrt{H^2}\beta )+\frac{1}{2}(\sqrt{H^2}-\beta \sqrt{H^2}\beta )J \nonumber \\&=\{\sqrt{H^2}\}_\text {even}\beta +\{\sqrt{H^2}\}_\text {odd}J~. \end{aligned}$$
(10)
Note that as \(\beta \) is an even operator and J is an odd operator, Eq. (10) is an even expression which does not mix the positive and negative energy states.
Our Hamiltonian satisfies the EFW anti-commutation property. Using the identity \(\alpha ^i\alpha ^{j}=i\epsilon ^{ijk}\sigma _k \mathbf{I }_{2} + \delta ^{ij}\mathbf{I }_{4}\), the perturbative expansion of \(\sqrt{H^2}\) yields to first order,
$$\begin{aligned} \begin{aligned} H\approx mc^2V + \frac{1}{4m}(W^{-1}p^2F + Fp^2W^{-1})~. \end{aligned} \end{aligned}$$
(11)
Note that \(\sqrt{H^2}=\{\sqrt{H^2}\}_\text {even}=H \mathbf{I }_{2}\) contains only even terms, and therefore \(\{\sqrt{H^2}\}_\text {odd}=0\) in Eq. (10).
Taking the weak-limit gravitational field limit so that,
$$\begin{aligned} V \approx 1-\frac{GM}{c^2r}~,\quad W \approx 1+\frac{GM}{c^2r}~, \end{aligned}$$
(12)
we get (\({\mathbf {g}}\equiv -GM{\mathbf {r}}/r^3\))
$$\begin{aligned} H = mc^2 + \frac{p^2}{2m} + m{\mathbf {g}}\cdot {\mathbf {x}}~. \end{aligned}$$
(13)
The Dirac equation in curved spacetime will also give rise to a spin-gravity coupling term (\(- \frac{\hbar }{2c}\mathbf {\sigma }\cdot {\mathbf {g}}\)), which we neglected beginning at Eq. (11). Here we will simply look at the mass Fisher information of a Gaussian wavepacket in a gravitational field to first order. We leave the consideration of higher-order spin-gravity coupling terms in further work.
The evolution of a quantum particle is governed by the time-evolution operator \(U = e^{-iHt}\). Taking the Baker-Campbell-Hausdorff expansion of U to second-order, the time-evolution operator in a Schwarzschild field is (\(\hbar =1\)) [17]
$$\begin{aligned} \begin{aligned} U \approx&\exp \Big (\frac{imt^3}{3}{\mathbf {g}}^2\Big )\exp \Big (\frac{it^3}{6m}\nabla {\mathbf {g}}\cdot \nabla \nabla -\frac{{\mathbf {g}}t^2}{2}\cdot \nabla \Big )\\&\exp \Big (-imt{\mathbf {g}}\cdot {\mathbf {x}}\Big )U_\text {free}~, \end{aligned} \end{aligned}$$
(14)
where \(U_\text {free}=\exp (-imc^2t)\exp (-it\varDelta /2m)\) is the free time-evolution operator in the absence of any gravitational field. Note that the \(\exp (-imc^2t)\) term only acts as a constant phase factor in the non-relativistic limit, and therefore can be ignored.
As our gravitational field is spherically symmetric, we can reduce our problem to one spatial dimension in the radial direction. We consider a Gaussian wave packet,
$$\begin{aligned} \psi ({\mathbf {x}},0) = \Big (\frac{2}{\pi }\Big )^{1/4}e^{-r^2}~, \end{aligned}$$
(15)
as this is most amenable to comparison with a classical particle. For probe particles travelling over small distances, it is usual to take the terrestrial gravitational field as uniform. In the uniform gravitational case,
$$\begin{aligned} \begin{aligned} U =&\exp \Big (\frac{imt^3}{3}{\mathbf {g}}^2\Big )\exp \Big (-\frac{{\mathbf {g}}t^2}{2}\cdot \nabla \Big )\\&\exp \Big (-imt{\mathbf {g}}\cdot {\mathbf {x}}\Big )U_\text {free}~. \end{aligned} \end{aligned}$$
(16)
Using the fact that the momentum operator is a translation operator in the conjugate position space, the time evolution of the wave function [\(\psi ({\mathbf {x}},t) = U\psi ({\mathbf {x}},0)\)] is
$$\begin{aligned} \begin{aligned} \psi _\text {g}({\mathbf {x}},t) =&\exp \Big (\frac{imt^3}{3}{\mathbf {g}}^2\Big )\exp \Big (-imt{\mathbf {g}}\cdot {\mathbf {x}}\Big )\\&\psi _\text {free}({\mathbf {x}}-\frac{{\mathbf {g}}t^2}{2},t)~, \end{aligned} \end{aligned}$$
(17)
where \(\psi _\text {free}({\mathbf {x}},t)=U_\text {free}\psi ({\mathbf {x}},0)\) is the free wave function in the absence of a gravitational field. The uniform gravitational field induces a mass-dependent phase factor in Eq. (17). This mass-dependent phase factor however, is not present in the probability distribution, \(|\psi _g({\mathbf {x}},t)|^2=|\psi _\text {free}({\mathbf {x}}-{\mathbf {g}}t^2/2,t)|^2\). Therefore, by a change of variable (\({\mathbf {u}}={\mathbf {x}}-{\mathbf {g}}t^2/2\)), we see that the uniform gravitational field does not produce any extra mass information, i.e.
$$\begin{aligned} \begin{aligned} F_x^\text {g}(m)&=\int d{\mathbf {u}}|\psi _\text {free}({\mathbf {u}},t)|^2[\partial _m\log |\psi _\text {free}({\mathbf {u}},t)|^2]^2\\&=F_x^\text {free}(m)~. \end{aligned} \end{aligned}$$
(18)
The expected position of the wave packet in a uniform gravitational field is
$$\begin{aligned} \langle \mathbf {x_\text {g}}\rangle = \int _{-\infty }^{\infty }\psi _\text {g}({\mathbf {x}},t)^*{\mathbf {x}}\psi _\text {g}({\mathbf {x}},t)d{\mathbf {x}}= \frac{{\mathbf {g}}t^2}{2}~. \end{aligned}$$
(19)
This is the geodesic of a freely-falling classical particle with no initial momentum in a uniform gravitational field \({\mathbf {g}}\). As with the classical case, the expected trajectory of the quantum particle is independent of its mass, in alignment with the WEP, and our finding that there is no more mass Fisher information generated in the presence of a static uniform gravitational field.