This page acts as an appendix where I collect some of the more complicated math that I refer to in other places.
The math for virtual particle cancelations
In the article entitled, Virtual Particles Explain Everything, I mentions that virtual particles occur in pairs, particle and antiparticle, and that they cancel each other out so that there are no observable effects. Here I show the math of this cancelation process.
The transition amplitude for a
particle to go from the position x' to x is denoted as
, and is usually represented in quantum mechanical text books as,
where
U(t) is the propagator. I take this to be true even for
virtual particles for the time that they exist. Its antiparticle partner would be the complex conjugate. So it can be written,
And the minus sign under
the square root can be taken outside the parenthesis to get,
with a leading factor of i. Both the virtual particle and
its virtual antiparticle partner both go from x' to x at the
same time. And they perfectly interfere and cancel out at the end point of
x. So they must exist in superposition with each other in order to
interfere and cancel out. Beside. virtual particle pairs are said to be
entangled with each other, and there must be a superposition in order for there
to be entanglement. So in order to get the transition amplitudes for the virtual
particle and antiparticle to cancel out, we need to have
Or, expressing this with the exponential functions we get,
In order to simplify things a bit, let
and
Then the above expression becomes,
And then since , we get
It turns out that only for certain values of will this expression be true. This is shown by letting
where is any integer. Then we have
And substituting these into our expression gives
The first and last terms in the right exponential add up to
so that the expression becomes
The factor of
can be pulled out of both exponentials so that we get
And since
, this becomes
And finally, since
and
this becomes
as desired. Notice that this is true for any
whatsoever.
I know of no other way to get these amplitudes to cancel except
to make
discrete. And since
and
, then
We can recognize the
as the kinetic energy
. And the can be brought over to the other side of the equal sign, and we can use the fact that
to show that the above is equal to,
This says that virtual particles have a discretized action.
Notice also that this says that the virtual antiparticle is
180° out of phase with its virtual particle. But this says nothing about the
relation of one virtual pair to another virtual pair. This makes me wonder if
one virtual pair can interact with a separate pair and under what condition
they do. That would probably mean that the phases no longer cancel and there
would be some sort of permanent particle or other effect.
Momentum from Position
There are also momentum states associated with each of the transition amplitudes,
.
Momentum can be derived from a function of position by Fourier transforming
the function of position to a function of momentum. See this
wikipedia.org page. Since the transition amplitude is a function of the
position,
and
, we can find the momentum by Fourier transforming it. In the previous article
material implication was mapped to a gaussian with a complex exponent. So let us
start with a generic particle having this kind of transition amplitude. I am using the transition amplitude in position
eigenspace to represent a particle going from
to
. This particle is
represented as,
The Fourier transform used in quantum mechanics is,
This differs from the usual transform that uses
in the exponent with no
, but here we are letting
.
See for example,
here
and
here. Then the inverse Fourier transform is,
But when we apply the forward Fourier transform to the gaussian representation of , we
will get its Fourier transform with respect to ,
which is
. So to that end,
which equals,
Now let .
Then
,
and
.
Then the Fourier transform becomes,
or,
This is an improper integral of a Gaussian with a quadratic
exponent, and one solution with negative quadratic term is
It is listed in the integration table
here
and
here. And it is derived
here, where , and
is expected to be a real number.
However, in our case, the coefficient of the squared term is
a pure imaginary number,
. And we cannot say that a pure imaginary number is positive or negative.
Fortunately, this is addressed by a Fresnel integral formula, derived
here.
After similarly completing the square for
,
it can be shown that
with and real.
So here we have
, and
. And note also that
Then the Fourier transform becomes,
or,
And after some cancellation, this becomes the end result of,
This is the momentum of the particle at . It is a gaussian distribution centered at
.
If we want the change of momentum of the particle as it moves from
to
,
this would And the Fourier transform of this is,
or,
But we have
See
the article here.
And this gives us,
And if we take the complex conjugate we finally get,
The only non-zero value this has is when
.
This means that the virtual particle described by
does not change its momentum as it travels from
to
.
And of course, we could have guessed this would be the momentum
of a transition amplitude. For we have that if the amplitude is,
then the exponent can be manipulated to get,
Notice that if we know precisely, then this could be part of any transistion amplitude, . In other words, the of the transition amplitude could be anywhere. And since the momentum was derived from knowing both and , and we don't know , then we can't know anything about the momentum. So if we know a particle's position exactly, then we can't know anything about its momentum.
Also, if we know the momentum exactly, then notice that we could have derived it
from just about any pair of
and , as long as their difference is the same. So if we know a particle's
momentum exactly, then we can't know anything about its position.
The Path Integral
Given an initial wave function, , at , the wave function at a later time, , is where is called the propagator. It is also called the transition amplitude to go from to . But we can break up in to equal pieces of width so that to get, . And we can insert copies of the resolution of identity, since it is equal to one. Then the propagator, , is equal to
and the wave function, , is equal to
What this shows is that the way a particle propagates is through a series of different transition amplitudes from the initial to the final point. Since these inside the integrals are only a small piece of the calculation of some observable, they are not considered observables by themselves. In this sense they are virtual particle transition amplitudes. A particle gets from one point to another by jumping from the starting point to some other arbitrary point and then to the next arbitrary point and then to the next, until it reaches the final point. This is one possible way to get from start to finish. But there is nothing special about this particular erratic path from start to finish, so each possible path must be considered. The transition amplitudes of a virtual particle and its complex conjugate virtual antiparticle can be seen as paths of one step each from some xi to some xj. And their amplitudes add up. But paths are made up of a series of these transition amplitudes, so paths have amplitudes as well. And so the amplitude of all these possible paths from x' to x are added up just as the amplitudes for virtual particle pairs were added up. The amplitude for virtual particle pairs add up to zero, but the amplitudes for paths don't usually cancel. So adding up all the amplitudes for all the various paths will generally give some non-zero, complex number. This process of adding up all the amplitudes of all the paths is called the Feynman Path Integral and was shown in the last equation above. And it usually results in a non-zero, complex number called the wave function.