1. Introduction
The recent claims to have observed “photon trajectories” [
1,
2,
3] calls for a re-examination of what we precisely mean by a “particle trajectory” in the quantum domain. Mahler et al. [
2] applied the Bohm approach [
4] based on the non-relativistic Schrödinger equation to interpret their results, claiming their empirical evidence supported this approach producing “trajectories” remarkably similar to those presented in Philippidis, Dewdney and Hiley [
5]. However, the Schrödinger equation cannot be applied to photons because photons have zero rest mass and are relativistic “particles” which must be treated differently. In fact details of how to treat photons and the electromagnetic field in the same spirit as the non-relativistic theory have already been given in Bohm [
6], Bohm, Hiley and Kaloyerou [
7], Holland [
8] and Kaloyrou [
9], but this work seems to have been ignored. Flack and Hiley [
10] have re-examined the results of the experiment of Kocsis et al. [
1] in the light of this electromagnetic field approach and have reached the conclusion that these experimentally constructed flow lines can be explained in terms of the momentum components of the energy-momentum tensor of the electromagnetic field. What is being measured is the
weak value of the Poynting vector and not the classical Poynting vector suggested in Bliokh et al. [
11].
This leaves open the question of the status of the Bohm trajectories calculated from the non-relativistic Schrödinger equation [
4,
5] for particles with finite rest mass. The validity of the notion of a quantum particle trajectory is certainly controversial. The established view has been unambiguously defined by Landau and Lifshitz [
12]:—“In quantum mechanics there is no such concept as the path of a particle”. This position was not arrived at without an extensive discussion going back to the early debates of Bohr and Einstein [
13], the pioneering work of Heisenberg [
14] and many others [
15]. We will not repeat these arguments here.
In contrast to the accepted position, Bohm showed how it was possible to define
mathematically the notion of a local momentum,
, where
is the phase of the wavefunction. From this definition it is possible to calculate flow-lines which have been interpreted as ‘particle trajectories’ [
5]. To support this theory, Bohm [
4] showed that under polar decomposition of the wave function, the real part of the Schrödinger equation appears as a deformed Hamilton-Jacobi equation, an equation that had originally been exploited by Madelung [
16] and by de Broglie [
17].
Initially this simplistic approach was strongly rejected as it seemed in direct contradiction to the arguments that had established the standard interpretation, even though the approach was based on the Schrödinger equation itself with no added new mathematical structures. However, recently this approach has received considerable mathematical support from the extensive work that has been ongoing in the literature exploring the deep relation between classical mechanics and the quantum formalism which has evolved from a field called “pseudo-differential calculus”. Specific relevance of this work to physics can be found in de Gosson [
18] and the references found therein.
In this paper we want to examine one specific criticism that has been made against the notion of a “quantum trajectory”, namely the one emanating from the work of Englert et al. [
19] (ESSW). They conclude, “the Bohm trajectory is here macroscopically at variance with the actual, that is: observed track. Tersely: Bohm trajectories are not realistic, they are surreal”. A similar strong criticism was voiced in Scully [
20] who added that these trajectories were “at variance with common sense”. However the claim of an “observed track" in the above quotation should arouse suspicion coming from authors who claim to defend the standard interpretation as outlined in Landau and Lifshitz [
12] .
The first part of the ESSW argument involved what they called the ‘standard analysis’ of a gedanken experiment consisting of several Stern-Gerlach magnets, an experiment that is discussed in Feynman [
21]. It is this part of the argument that we examine in this paper. We show that they arrive at the wrong conclusion because they have not carried through the analysis correctly. Although Hiley [
22] and Hiley and Callaghan [
23] have presented a detailed criticism of this topic before in a different context, the point that we make in this paper is new. The standard use of quantum mechanics itself shows that what ESSW call the “macroscopically observed track” is identical to what has been called the “Bohm trajectory”. We support our arguments with detailed simulations of potential experiments that are being planned at present with our group at UCL.
3. The Bohm Approach When Spin Is Included
To give an account of the behaviour of a particle with spin in the non-relativistic limit, we must widen the scope of the Bohm approach. An extended model for a spin-half particle based on the Pauli equation has already been presented in Bohm, Schiller and Tiomno (BST) [
27]. Full details of this model have also been discussed in a series of papers by Dewdney et al. [
28,
29,
30,
31] and by Holland [
32]. This simple model has been applied to neutron diffraction and a single Stern-Gerlach magnet, the results being reported in [
29,
30]. It should be noted that none of this work is referred to in the ESSW paper and yet this is clearly significant as the Stern-Gerlach magnets operate on the magnetic moments of the particles.
If they had been aware of this work they would not have made the statement that in the Bohm theory a particle has a position and
nothing else. In the BST extension, not only do we have position, but also the orientation of the spin vector. Here the Euler angles
are used to specify the spin direction. This is essentially the precursor of the flag picture of the spinor presented in Penrose and Rindler [
33]. Bell [
34] has a simpler model which was also based on the three components of the spin vector. A more general approach using Clifford algebras in which the Pauli spin matrices play a fundamental role has been presented in Hiley and Callaghan [
35]. This approach shows how the BST model emerges as a particular representation using Euler angles.
3.1. Spin and the Use of the Pauli Equation
We start with the Pauli equation
where
is the two-component spinor which we write in the form
Here are the three Euler angles.
The Hamiltonian
H is then written in the form
where
is the magnetic moment of the particle.
The original physical idea here was to assume the particle is a spinning object whose orientation is specified by the three Euler angles
. The probability of the particle being at a given position,
, is
. This means the properties of the Pauli particle are specified by four real numbers
given at the point
. The time evolution of these parameters is determined by the Pauli Equation (
5) as we will now show.
It is more convenient to rewrite the wave function in the form
where
To find the velocity of the particle, let us first write the quantity
in terms of the Euler angles,
Then following Hiley [
36] we can define a complex local velocity
where the probability density is given by
.
The real part of the local velocity is
which replaces
defined for the spin-less particle. The imaginary part, which was not discussed by Bohm in his original paper (but see Bohm and Hiley [
37]) is called the “osmotic velocity” and has the form
We will now use Equations (
9) and (
10) to simulate the detailed behaviour of the particles and their spin orientations as they traverse the set-up illustrated in
Figure 1.
4. Detailed Calculation of the Trajectories
4.1. One Stern-Gerlach Magnet
We begin by simulating the behaviour of the particles having passed through a single Stern-Gerlach magnet. For simplicity we use the impulse approximation given in Bohm [
24] to analyse the evolution of a wave packet as it leaves the magnet (A full treatment using Feynman propagators is being prepared by Hiley and Callaghan. This allows us to calculate trajectories inside the SG. Preliminary results confirm the results presented here.).
In the Hamiltonian given in Equation (
7), we replace
B by the field in the SG magnet, which we write as
, where
is the field gradient inside the magnet and set
and
V to zero.
Following Dewdney et al. [
30] and Holland [
32], we choose the initial wave function to be
where
is a normalised Gaussian packet centred at
in momentum space. Here
and
are the eigenstates of the spin operator
. The solution of the Pauli equation at time
t after the particle has left the SG magnetic field is
where
and
is the time spent in the field. Carrying out the integral we find
Here
, and
We now write
in the form
where
and
We are now in a position to calculate the local velocities from the specific solution given by Equation (
12). Since the real part of the local velocity is given by Equation (
9), namely,
, we need only evaluate
and
since we are only considering the motion along the
z-direction. In order to find these derivatives, and those required for the osmotic velocity and the quantum potential, we express the parameters
in terms of
using Equations (
8), (
13) and (
14), and obtain,
and
The Bohm velocity given by Equation (
9) then becomes
Note here that the second term in the above expression corresponds to the spreading of the wave packet and contributes little to the overall behaviour. The main effect of the field comes from the first term , which reveals clearly how the velocities and therefore the trajectories are strongly affected by the behaviour of the spin vector. This term depends implicitly on and is responsible for the splitting of the beam.
The imaginary part or osmotic local velocity given in Equation (
10), namely,
, now becomes
Note there is no explicit dependence on the magnetic field gradient but there is an implicit dependence through u and .
These results enable us to calculate specific trajectories and spin vectors for various particle initial positions and for various values of
should that become necessary. The choice of the latter determine the initial value of the spin vector direction
which, in our case was chosen to be along the
y-direction, hence
. The results shown in figures below are calculated for parameters listed in
Table 1.
4.2. Numerical Values for Single Stern-Gerlach Magnet
Integrating Equation (
9) will give us the Bohm trajectories. In
Figure 2 we show the ensemble of Bohm trajectories and the spin orientations as they leave the Stern-Gerlach magnet, shown in brown at the LHS of the figure. The background colours show the probability density, black being the greatest, while blue is zero.
The dark background shows how the wave packets diverge along straight lines, as do the trajectories. Superimposed on the trajectories are the spin orientations.
Notice that, contrary to the conventional view, the atoms do not immediately “jump” into one or other
z-spin eigenstates, rather the spin vectors undergo continuous evolution until they reach their final
z-spin eigenstate. This occurs once the two wave packets
and
have separated and have no significant overlap. The upper beam will contain only atoms with spin “up" in the
z-direction while those in the lower beam will all be “down” in the
z-direction. Notice also that the rotational changes occur in a
magnetic field-free region. We can also see that the alignment of the spin vector at a given
y value close to the magnet depends on
z, with the spin associated to trajectories closer to the
axis rotated least. In
Section 4.7 we will see that the cause of these behaviours is a torque produced by the quantum potential. These results for a single magnet confirm what was already found in Dewdney et al. [
29,
30,
31].
Figure 3 shows the effect of the osmotic velocity, which we have represented by arrows. They are responsible for maintaining the wave packet profile and will be discussed further in
Section 4.6.
4.3. Two Stern-Gerlach Magnets
Having seen how the atoms behave in a single SG magnet, let us now move on to consider two SG magnets with opposite field directions as shown in
Figure 1. Note here the second SG magnet is double the length of the first.
The method is similar to the case of the single magnet, except now we use, as initial wave packet, the inverse Fourier transform of the wavefunction at the second magnet at time
. We obtain the real part of the local velocity as
and the osmotic velocity as
where
at the exit of the second magnet. In
Figure 4 we have plotted the trajectories together with the spin orientations as the atoms pass through two SG magnets. The details of the parameters used in the calculations are again as listed in
Table 1. The position of the second magnet is as indicated by the brown bar between
m and
m.
There are several features of the ensemble of trajectories that are noteworthy. Firstly, at the exit of the second magnet, the wave-packets are refocused toward the y-axis until the inner edge of the packets reaches the axis at m at which point they diverge again.
Secondly, no trajectories are found to cross the z = 0 plane. This should, in fact, not be surprising since can also be obtained from . This means that the “Bohm trajectories” are identical to the probability flow lines and, as we have seen, the probability flow lines do not cross the plane. Thus there is no experimental difference between the Bohm approach and standard quantum mechanics at this stage. It could be argued that it is quantum mechanics that is “at variance with common sense”!
Thirdly, notice once again that the spins do not immediately “jump” into the eigenstates as assumed by the standard theory. Rather they take a small but finite time to reach the final eigenstate as discussed above in
Section 3.1. Furthermore note that when the beams are refocused close to the
z = 0 plane, at about
, the spin vectors are rotated so that they all become aligned with the
y-axis before being rotated again until they end up anti-parallel to the direction with which they entered the second magnet. This rotation is very surprising but is generated by the quantum torque that arises from the quantum potential as we show in the next section in Equation (
21).
Furthermore this is in contradiction with
Figure 5 of ESSW where they argue that the Bohm trajectories are not realistic because in order to get the observed final spin state, their particles must cross the
axis. Therefore the present work shows clearly the importance of coupling the spin and the centre of mass motion in order to obtain a correct and consistent analysis of the problem.
Figure 5 shows the direction of the osmotic velocity in the two SG magnets case. Its behaviour is again exactly the same as in the one SG magnet case.
To return the packet to its original state with all the spins pointing in the
y-direction, we have to add a third magnet as indicated in the original diagram in Feynman et al. [
38]. Thus the Bohm approach gives a complete account of the average behaviour of the individual quantum processes.
4.4. The Appearance of the Quantum Torque
Now let us show the source of the quantum torque. We start by examining the real part of the Pauli Equation (
5) under polar decomposition of the wave function, which can be written in the form
Here once again we see, as in the case of the Schrödinger equation, an extra energy term,
, the quantum potential energy, appears. In the present case
takes the form
The first term will be recognised as the quantum potential found in the Schrödinger equation. The second term determines the evolution of the spin vector which is given by
The equation of motion for the spin vector
, is then found to be
Here
is an external magnetic field and
It is the quantum torque, , that acts on the individual atoms, rotating their spin vectors and the flag plane.
4.5. Detailed Calculation of the Quantum Potential
To understand better the role played by the quantum potential, let us examine in more detail its mathematical structure as shown in Equation (
20). We restrict our analysis to the case of a single magnet. As the quantum Hamilton-Jacobi Equation (
19) is an equation that conserves energy, the appearance of
Q implies that some of the kinetic energy of the particle is transferred to the quantum potential energy
Q. As we see from Equation (
20), the quantum potential energy has two components
We will examine the two terms independently. First consider
. Since the particle is moving in one-dimension
where we have written
Now we turn to evaluate the spin part of the quantum potential,
where we need to evaluate
The expression for the total quantum potential,
is rather complex so it will be helpful if we can make an approximation without significantly altering the final result. This can be done by noticing the magnitude of
. This means that we are assuming the wave packet does not spread significantly during the flight times considered. We arrive at the final expression for the total quantum potential:
4.6. Numerical Details: Quantum Potential Single Stern-Gerlach Magnet
In
Figure 6 below we plot the transverse quantum potential
and the spin quantum potential,
for the single SG magnet. The end of the SG magnet is again along the
z-axis at
y = 0, with the atoms flowing along the
y-axis out of the page.
The atoms initially experience the first part of the quantum potential where the beam begins to split into two as shown in
Figure 2. Both quantum potentials split symmetrically into two parts about the
y-axis. The two “domes” of
, shown in the left hand of the figure, cover each beam as they separate. The width of each dome characterises the spreading wave packet as it evolves in time. Also, when compared to the osmotic velocities shown in
Figure 3, we can see how these velocities are related to the gradient of
. The trajectories are seen to follow paths of constant gradient and the osmotic velocities are constant along the trajectories in
Figure 3. Furthermore, those trajectories in the wings of the wave packets experience a more steep gradient and the osmotic velocities are indeed found to be larger there. At the maximum of the packet, the osmotic velocity is zero. An interpretation of the
would therefore be that it gives rise to a force, which is anti-parallel to the osmotic velocity and restricts the spreading of the wave packet.
The spin part of the quantum potential
is shown in the right hand of
Figure 6. The upward slope produces the quantum torque that rotates the spin vectors of the atoms as the two beams separate. This rotation continues until the two packets are completely separate. When this happens all the spins point “up” in the upper beam, while they all point “down” in the lower beam. At this stage the
ensuring the atoms remain in their final spin eigenstates.
Figure 7 shows the projection of the
of
Figure 6 on the trajectories and spin orientation. Note also that the trajectories close to the
y-axis do not experience the same steepness of
as do those which are off-axis. This explains why, as remarked earlier, the spin vectors closer to the
y-axis take longer to align themselves either up or down.
4.7. Numerical Details: Quantum Potential in Two SG Magnet Case
Now let us consider the case when the two Stern-Gerlach magnets are in place. The positions of the magnets are shown in brown. Recall here that the inhomogeneities in the magnetic fields oppose each other.
In
Figure 8 we show both
and
for the case of two magnets. The gap in each figure corresponds to the position of the second magnet. The quantum potential after the second magnet is similar to that of the single SG magnet as shown in
Figure 6. These results give a detailed picture of the expected evolution of a non-relativistic atom with spin one-half as it goes through both SG magnets.
Figure 9 shows the projection of the spin quantum potential superimposed on the trajectories. Notice that the quantum torque is strongest well outside the second SG magnet in the magnetic field-free region, producing a 180 degree rotation of the spin vector. It is at this point that the wave packets begin to interfere strongly. In fact the quantum torque continues to act outside the magnet until the two wave packets
and
cease to overlap. Notice once again how the spin does not immediately ‘jump’ into one of the two spin
z-eigenstates, but undergoes a well-defined time evolution. Such a behaviour would have, perhaps, been welcomed by Schrödinger himself [
39].
Once they no longer overlap, each atom remains in one or the other spin eigenstates. Again, as was the case with the single SG magnet, the spin vectors along the trajectories close to the y-axis, especially at the point where the two beams are refocused, experience less of the gradient of . Thus it is clear that the quantum torque arises from the interference region, implying it is an internal feature of the overall behaviour, suggesting a kind of dramatic re-structuring of the underlying process.
Bohm was intuitively well aware of this possibility and it was one of the reasons why he abandoned the view that the atom only had a local, “rock-like” property. He preferred to regard the atom as a quasi-local region of energy undergoing a new type of process that he described in more general terms as an “unfolding-enfolding” process, comparing it to a gas near its critical point, the particle itself constantly forming and dissolving, as in critical opalescence [
40,
41]. In other words, the quantum evolution involves an entirely new re-ordering process which should not be regarded as a particle following a well defined trajectory.
This view of the evolving quantum process becomes even more compelling since Hiley and Callaghan [
42] and Takabayasi [
43] have shown that the local momentum and energy are actually related to the energy-momentum tensor,
, through the relations
a feature of which Schwinger [
44] was well aware. The question of which particular trajectory a specific atom actually takes cannot be answered because the experimenter has no way of choosing or controlling the initial position of the particle. The final result is also totally independent of the observer. A detailed discussion of the role of the experimenter in the Bohm approach can be found in Bohm and Hiley [
45,
46]. A more recent paper by Flack and Hiley [
47] shows how the Bohm trajectories emerge from an averaging over this deeper process.
We can see from
Figure 9, the above simulations predict some interesting structure in near field behaviour of the atoms after they leave the second SG magnet. This could be experimentally explored through weak measurements as suggested in [
48]. At present, our group [
49] is attempting to measure the weak values of momentum and spin which, if successful, would ultimately enable us to not only construct these flow lines, but also to measure the time evolution of the angle
of the spin vector.
We are also exploring the possibility of using the techniques we are developing to check the results shown in
Figure 2. At present we are on the edge of what is technically possible and if we are successful, the experiments will show that the quantum potential energy appearing in Equation (
19) has an observable experimental consequence and therefore cannot be ignored in analysing quantum phenomena.
5. Conclusions
In this paper we have shown that the differences that are claimed to exist between the standard approach to quantum mechanics and the Bohm approach do not exist when both are applied correctly. Indeed it is hard to imagine how there could be any differences in the predicted experimental results since
both approaches use exactly the same mathematical structure. For the type of experiments considered by ESSW [
19], the probability current plays a key role. In both approaches the probability current is considered as a particle flow, the conventional approach regarding it as a measure of particles flowing out of a small region,
, of space, whereas the Bohm approach assumes the probability current arises from the velocities of individual particles through the relation
. In the Bohm model this is taken as the definition of the local momentum,
. Clearly the behaviour of the probability currents is identical to the local momentum. This is what ESSW failed to recognise. Notice that this disagreement arises before the addition of any device to measure which path the particle actually took.
The inclusion of a which-way detector into the discussion merely confuses the issue. Traditionally it is assumed that any measurement to determine which path a particle actually takes brings about the “collapse” of the wave function. Suppose a position measurement is made after the atom has left the second SG magnet as shown in
Figure 1. The wave function (
1) will not then be the pure state but instead will be a mixture which must be described by a density matrix
with
. This means there is no interference between the two wave packets
and
in which case the particles actually cross the
plane as shown in
Figure 1. Exactly the same thing happens in the Bohm model as was discussed in detail in Hiley [
22] and Hiley and Callaghan [
23]. We will not repeat the argument again in this paper but refer the interested reader to the original papers. Our conclusion is that the standard quantum mechanics produces exactly the same behaviour as the Bohmian approach so it cannot be used to conclude the Bohm trajectories are “surreal”.
Since these earlier objections were raised, an entirely new way of experimentally constructing the “Bohm particle trajectories” has been developed by Kocsis et al. [
1] as discussed in the introduction. Furthermore in the case of atoms the claim that these are “particle trajectories” has been re-examined recently by Flack and Hiley [
47] who have concluded that the flow lines, as we shall now call them, are not the trajectories of single atoms but an average momentum flow, the measurements being taken over many individual particle events. In fact they have shown that they represent an average of the ensemble of actual individual stochastic Feynman paths.
The calculations we have presented in this paper provide a detailed background to the experiments of Monachello et al. [
49] and Morley et al. [
50]. This means that we will not have to rely on theoretical arguments alone to reach an understanding of the behaviour reported in this paper but we hope to be able to provide experimental evidence to further clarify the situation.