1. Introduction
In developing his interpretation of antiparticles as particles travelling backward in time, Stueckelberg [
1,
2] hoped to demonstrate that pair creation/annihilation processes would appear naturally in a thoroughly deterministic and classical relativistic Hamiltonian mechanics, once such a formalism could be properly constructed. In this picture, a particle is the worldline traced out by a spacetime event
, for
, that evolves dynamically as the Poincaré invariant parameter proceeds monotonically from
to
. Stueckelberg argued that pair annihilation is observed when the coordinate time
reverses direction, because for some values
on the laboratory clock there will be two solutions to
but no solution to
. He proposed a covariant evolution equation of the form
in which
is the Christoffel connection,
is the electromagnetic field tensor and the vector field
is required to overcome the mass-shell constraint
of standard relativity. By keeping
from changing sign, this constraint prevents the event from crossing the space-like region that separates future-oriented trajectories from past-oriented trajectories. However, Stueckelberg was not satisfied that he could justify a Hamiltonian
K that produces his evolution equation in flat spacetime from the unconstrained symplectic equations
and instead continued his program in quantum mechanics, where, as in Feynman’s spacetime diagrams, the event may tunnel probabilistically across the space-like region.
It should be noted that the Feynman–Stueckelberg interpretation of antiparticles relies on the Standard Model, in which all matter is composed of charged quarks and leptons subject to the strong and electroweak forces described by non-Abelian gauge theories. Thus, while the neutrino is electrically neutral, it carries the weak nuclear charge and is distinguished from the antineutrino by a time reversal produced through a generalization of (
1) to the weak nuclear force. Moreover, neutral mesons are understood as quark bound states which are structurally symmetric under time reversal. Thus, under the electromagnetic force, the individual constituents of the
meson (the bound state
formed from an up quark and a charmed antiquark) may undergo time reversal separately, resulting in the
bound state
.
Horwitz and Piron [
3] returned to some of these questions in constructing a canonical relativistic mechanics for the two-body problem. Introducing an invariant scalar interaction of the type
and replacing
in the argument of nonrelativistic scalar potentials, Horwitz et al. found solutions for relativistic generalizations of the standard central force problems, including quantum mechanical potential scattering and bound states [
4,
5,
6,
7,
8]. Examination of radiative transitions [
9,
10,
11] associated with these bound states suggests that the scalar interaction
V is required along with the four-vector potential
in order to account for known phenomenology. Although the electromagnetic tensor interaction produced by
leaves individual particle masses invariant, the scalar interaction, which by way of (
3) leads to the vector field
proposed by Stueckelberg, permits mass exchange in such transitions.
A related issue arises in defining the interaction picture in quantum field theory (QFT), required for the Dyson time-ordered perturbation expansion. On the one hand, the Haag theorem proves that any field obtained by unitary transformation of a free field must itself be a free field. On the other hand, the interacting fields of perturbation theory are defined by acting on free fields with a unitary transformation generated by an interaction Hamiltonian. To resolve this apparent contradiction, Seidewitz has observed [
12] that Haag’s proof relies on transformations generated by a Hamiltonian which is the 0-component of a four-vector and parameterized by
. He demonstrates that the construction of standard QFT in the Stueckelberg framework leads to an interaction picture obtained by acting on free fields with a unitary transformation generated by a scalar Stueckelberg Hamiltonian, as for example in Equation (
11) below, and parameterized by
. Because this generator is invariant under Lorentz transformations, a crucial step in the Haag theorem is inapplicable, and the no-go result is averted. It is worth noting that even if the Stueckelberg Hamiltonian is
-independent, the interaction picture Hamiltonian will depend on
and so permit mass exchange among particles and fields (just as a
t-dependent nonrelativistic Hamiltonian permits nonconservation of energy).
Sa’ad, Horwitz, and Arshansky [
13] found a more fundamental justification for the scalar field by studying the gauge invariance associated with (
4). It has been shown [
14] that the most general classical interaction consistent with the unconstrained quantum commutation relations
is given by Stueckelberg’s evolution Equation (
1) with the substitutions
and that in flat Minkowski space, this system is equivalent to the Lagrangian
where the electromagnetic field strength tensor
is derived from
five potentials.
This classical Lagrangian is unique up to the
-dependent gauge transformations
and the associated quantum mechanics
admits the additional invariance
when taken together with (
10).
The generalization of Stueckelberg’s framework to include
-dependent fields and gauge transformations thus succeeds in implementing his model of pair processes in classical mechanics, but also raises new questions. Perhaps most significantly, while defining the system in an unconstrained 8D phase space relaxes the a priori mass shell relation
and thus permits classical trajectories that reverse the direction of their time evolution, it also eliminates reparameterization invariance. This is because the mass shell constraint and reparameterization invariance are related features of a Lagrangian that is homogeneous of first degree in the velocities, which is not the case for (
8). Moreover, in Stueckelberg–Horwitz–Piron (SHP) electrodynamics, the evolution parameter
cannot be identified as the proper time of the motion, but is a dynamical quantity proportional to it through
Therefore, the parameter
plays the role of an irreducible chronological time, independent of the spacetime coordinates and similar to the external time
t in nonrelativistic Newtonian mechanics. It determines the temporal ordering of events, the order of their physical occurrence, which may be different from the order of observed coordinate times
registered by laboratory clocks as the events appear in measuring apparatus. For example, in a classical, continuous version of a Feynman spacetime diagram, the event trajectory
where
,
and
are positive constants, reverses time direction at
, and represents a pair annihilation process. Singling out three events in their
-chronological order of occurrence,
the laboratory apparatus will first record both particle and antiparticle trajectories at
, then the annihilation event at
and no particles for subsequent values of
. The classical antiparticle is identified here by its negative energy and no charge conjugation operation is necessary. Looking ahead to the current defined in (
20), one sees that the electric charge
will similarly reverse sign on this section of the trajectory. Although the laboratory apparatus observes the two events at
as simultaneous, they may be distinguished in SHP theory by other
-dependent interactions.
As Horwitz has observed, grandfather paradoxes may be resolved by noticing that the return trip to a past coordinate time
must take place while the chronological time
continues to increase. The
occurrence of event
at
is understood to be an irreversible process that cannot be changed by a subsequent event occurring at the same spacetime location,
with
. This absence of closed time-like curves similarly applies in SHP quantum electrodynamics [
15] where the particle propagator
vanishes unless
, thus preventing divergent matter loops, when
. This
-retarded causality was first shown by Feynman to be equivalent to the Feynman contour for propagators in connection with the path integral for the Klein–Gordon equation [
16,
17]. In SHP quantum electrodynamics (QED), it also emerges from the vacuum expectation value of
-ordered operator products. In the microscopic event dynamics described by this explicit distinction between chronological and coordinate time [
18], a covariant Hamiltonian generates evolution of a 4D block universe defined at
to an infinitesimally close 4D block universe defined at
. Standard Maxwell electrodynamics emerges as an equilibrium limit in which the system becomes
-independent, and the 4D block universe remains static. The details of this
-dependence in the interacting fields and currents can be studied by reconciling classical SHP with classical Maxwell electromagnetic phenomenology.
2. Classical SHP Electrodynamics
In analogy with the notation
, we adopt the formal designations
and the conventions
so that
characterizes the relative rate of evolution in
, and as shown in
Section 4, SHP becomes Maxwell theory in the limit
. Writing (
8) and (
9) as
the event dynamics are given by the Lorentz force
equivalent to substituting the
-dependent fields (
7) into Stueckelberg’s evolution Equation (
1) in flat spacetime. For the moment, we understand the factor
as a choice of sign for the second of (
19) and not a hint at some 5D metric structure.
To complete the dynamical picture, we re-express the velocity-potential interaction as a current-potential integral
and choose some kinetic action term for the fields, the most obvious candidate being
which generalizes to 5D the standard Maxwell action [
19]. Combining (
20) and (
21), the electromagnetic action
can be varied with respect to
to produce Maxwell-like field equations, admitting a wave equation with associated Green’s function whose solutions describe the fields induced by specific event trajectories. However, one is immediately confronted by conceptual difficulties in attempting to describe even the simple case of low energy Coulomb scattering. First, although the current
and the potential
are individually constructed to be vector + scalar representations of O(3,1) on physical grounds, the 5D scalar structure of the electromagnetic action (
22) places all five components on the same algebraic footing. This suggests an underlying formal symmetry larger than O(3,1) but containing it as a subgroup: O(4,1) for the choice
or O(3,2) symmetry for
. The formal 5D scalar structure survives in the wave equation and these symmetry considerations cannot be entirely ignored. Second, because
and
are introduced to play very different roles, the rest frame of an event is
-dependent. Thus, a “static” particle—an event evolving uniformly along the
axis in its rest frame—is described by
. It turns out that the potential at an observation point
induced by this particle is of the form
with support sharply focused on the lightcone of the source event’s immediate location. A test event evolving uniformly as
will experience the potential
for all
, rendering comparison with experiment nearly impossible. It is worth noting that the problem of clock synchronization between the source and test events (characterized here by
) is not a problem for the quantized theory where the use of asymptotic states with sharp mass implies maximum uncertainty in the location
of the event in
. By introducing a degree of uncertainty into the definition of the classical electromagnetic action, a reasonable theory may be constructed.
3. Non-Local Field Kinetics Ensemble of Events
The problem of potentials with
-function support can be repaired by writing the action with a slightly less obvious candidate for the field kinetic term, the non-local form
where
is a parameter with dimensions of time. The field interaction kernel is
where
is chosen so that the low energy Lorentz force agrees with Coulomb’s law. The kinetic term now includes
which explicitly breaks the 5D symmetry to O(3,1) while maintaining gauge symmetry. We write the inverse function of the interaction kernel as
which satisfies
Varying the action (
23) with respect to the potentials, leads to field equations
describing the non-local superposition of fields
sourced by the instantaneous event current
. Using (
27) to remove
from the LHS and writing the Bianchi identity, we obtain equations for the local field sourced by a non-local superposition of event currents,
which are formally similar to Maxwell’s equations in 5D and are called pre-Maxwell equations. Rewriting the field equations in 4D tensor, vector and scalar components, they take the form
which may be compared with the 3-vector form of Maxwell’s equations
showing that
plays the role of the vector electric field and
plays the role of the magnetic field. It follows from (
29) that current conservation takes the form
so that a change in the divergence in the 4D Maxwell-like current
must be compensated by the addition or subtraction of events through
. The fifth component of the current
thus plays the role of an event density, the probability that a material event occurs at the spacetime point
x at the chronological time
. Integrated over all spacetime,
expresses the conservation of total event number.
Rewriting the source of the inhomogeneous Equation (
29) as
we recognize
as a weighted superposition of currents, each originating at an event
displaced from
by an amount
s along the worldline. It is useful to regard this superposition as the current produced by an ensemble of events in the neighborhood of
, a view encouraged by the particular weight function
. Given a Poisson distribution describing the occurrence of independent random events with a constant average rate of
events per second, the average time between events is
and the probability at
that the next event will occur following a time interval
is just
. Extending the displacement to positive and negative values, the ensemble is constructed by assembling a set of instantaneous event currents
along the worldline, each weighted by
, the probability that the occurrence of this event is delayed from
by an interval of at least
. We will see that the leading term of the Green’s function manifestly breaks 5D symmetry to O(3,1) and the causality relations embedded in this term select the one event from this ensemble for which the interacting events are at light-like separation, depending on their relative
-synchronization.
The ensemble can also be understood by thinking of
as a random variable describing the probability of finding a current density at
x at a given
. Then we may consider a correlation function for the event density of the type
where
is a normalization. For a uniformly moving event with
, the raw event current (
20) leads to
showing that the currents at differing times
are uncorrelated. For the ensemble current defined in (
29), the correlation becomes
so that taking
and separating the integral into three intervals punctuated by
s and
leads to
with a time dependence characteristic of an Ornstein–Uhlenbeck process. Regarding the smoothed current
produced by an event
as the instantaneous current produced by an ensemble of events, this correlation suggests that the ensemble is the result of the Brownian motion found by subjecting
to a random force under viscous drag.
The pre-Maxwell equations in Lorenz gauge lead to the wave equation
whose solutions may respect 5D symmetries broken by the O(3,1) symmetry of the event dynamics. A Green’s function solution to
can be used to obtain potentials in the form
The principal part Green’s function [
20] is
where
breaks a higher symmetry to O(3,1) while the support of
is
with causality properties dependent on the choice of
.
The contribution from
is smaller than that of
by
and drops off as
, so it may be neglected at low energy [
21]. The contribution to the potential from
is
and because
has support at equal-
this can be written
expressing the potential as an ensemble of single-event potentials. Inserting the current defined in (
20)
and using the identity
where
is the retarded time that solves
we find the potential
which is the standard Liénard–Wiechert potential multiplied by
. Thus, while the current that sources the pre-Maxwell field represents an ensemble of events along the worldline, the retarded causality of the Green’s function selects the one member of the ensemble that intersects the lightcone of the observation point. The remaining
-dependence of the fields resides in the finite function
and expresses the relative time synchronization between the source and a test event experiencing the potential at the spacetime point
x at the chronological time
.
To find the Coulomb potential, we specify the event trajectory
which produces the instantaneous current
and so the potential
is found from from
. Consider a test event
evolving along a parallel trajectory at spacial separation
and time offset
so that
If the test event is precisely on the forward lightcone of the source with
then
and the interaction is purely Coulomb in form. If
so that the events are synchronized at
, then
which has the form of a Yukawa-type potential with photon mass
. If the source and test events are slightly desynchronized, with
, then the interaction is weakened by a factor
.
Thus, the factor
that characterizes the width of the ensemble and represents the average event inter-occurrence time, also determines the mass spectrum of the photons mediating the interaction between events. As proposed by Stueckelberg and seen in the second of (
19), the masses of the particles and fields are not separately conserved, although Noether’s theorem for affine
-displacement symmetry guarantees that the total mass is a constant of the motion [
22]. If
is small (so that
approaches a delta function and the current narrows to a small neighborhood around the event), the mass spectrum becomes wide and the interaction range and cross-section decreases. If
is large, the support of the current spreads along the worldline, the potential becomes Coulomb-like and the photon mass spectrum is small.
A similar role is seen for
in SHP quantum field theory. From the Fourier expansion for the electromagnetic Green’s function (
43)
it appears that photon loops in the 5D theory would render it non-renormalizable. However, quantization of the higher order field kinetic term leads to the photon propagator factor
and the theory is super-renormalizable at second order. Again, we notice that if
is large, then large values of photon mass
are suppressed.
While mass exchange must be present in any classical theory of pair processes and must also be small to account for standard electromagnetic phenomenology, such a compromise cannot explain the fixed masses of elementary particles. However, it has been shown that under certain circumstances [
23] a self-interaction induced through
has the effect of restoring on-shell evolution in event trajectories and thus returning the particle worldline to the observed fixed mass. As seen in (
45) when
, the Green’s function has time-like support, permitting the event to interact with the field produced earlier along its worldline. The net effect of this self-interaction is a damping (or anti-damping) force that accelerates the event evolution to its asymptotic mass shell. A more general approach is found in the statistical mechanics of the many-event system. While the model presented here describes a particle as a weighted ensemble of events
along a single worldline, Horwitz has modeled [
24] a particle as an ensemble of
n independent spacetime events
,
defined at a given
. He has shown that the total particle mass is determined by a chemical potential. Following collisions governed by a general class of interactions that includes pair processes, particles return to their equilibrium mass values. These developments indicate that the statistical mechanics of event ensembles in the construction of classical particles will be a fruitful way to understand mass and perhaps derive masses from first principles.
4. Maxwell Theory as an Equilibrium State of SHP
Following an argument by Stueckelberg, Saad et al. [
13] noticed that under the boundary conditions
integration of the pre-Maxwell equations provide
where
This integration has been called concatenation and is understood as aggregation of all events that occur at a spacetime point
x over all
. The decoupling of
from
, which now satisfies Maxwell’s equations, suggests that the SHP can be seen as an underlying microscopic dynamics for which Maxwell theory is an equilibrium or expectation state. In particular, we see that integration of (
54) provides the Coulomb potential and using (
27) to integrate the 4-vector current yields the Maxwell current
in the standard form as
Similarly, concatenation of (
43)
recovers the 4D Maxwell Green’s function.
Another approach [
21] to retrieving Maxwell theory from SHP is to slow the
-evolution to zero by taking
, thus freezing the microscopic system into a static equilibrium. Under this condition, the homogeneous Equation (
30) imposes the condition
requiring that the field strength
be
-independent in this limit. As seen in the Liénard–Wiechert potential, the
-dependence resides in
and can only be suppressed by taking
. We recall that
is the correlation time for the current
, that is the measure of information about the interaction at time
available from observation of the interaction at time
. Thus, the action-at-a-distance Coulomb law can be understood as the effect of a long-term correlation for the instantaneous potential. Applying the combined limits on
and
to (
25) and (
26), we find
and so all field components must be
-independent. This requirement effectively assigns equal weight to all event currents
in the ensemble
defined along the worldline, recovering the standard particle current through
of Maxwell theory. Note that the current
remains finite because
includes the factor
. As expected,
decouples from
and satisfies Maxwell’s equations, while the photon mass
vanishes.
5. Conclusions
Stueckelberg–Horwitz–Piron electrodynamics can be approached as an abstract gauge theory, exploring the consequences of allowing the gauge transformation (
12) of the quantum wave function to depend on the evolution parameter in the dynamical framework. However, in another sense, just as Maxwell sought to formalize the empirical results of Cavendish and Coulomb, SHP may be seen as accounting for classical Maxwell electrodynamics in light of the pair creation/annihilation phenomena observed by Anderson. For Stueckelberg, pair processes provide empirical evidence that time must be understood as two distinct physical phenomena, chronology and coordinate, and so must be formalized through independent quantities
and
in a physically reasonable theory. Having become accustomed, during the two hundred years that separate Cavendish from general gauge theory, to characterizing a single physical time by the evolution of specialized machines (clocks) in a coordinate frame, it is unsurprising that introducing such a distinction raises conceptual difficulties.
A new phenomenon in SHP is the absence of a static configuration—a particle may only remain at the origin in its rest frame for all coordinate time
if its underlying microscopic event continually and uniformly evolves along its time axis, as
. The coordinate
at
is not simply an artifact of initializing a system clock, because the field induced by this event trajectory
depends explicitly on the constant
. The irreversible concatenation performed by measuring apparatus recovers the familiar Coulomb potential
with no dependence on
or even on the details of the weight function
. Similarly,
plays no role in the quantized theory where sharply defined mass-momentum states retain no information about the initial conditions of coordinates. Nevertheless, in SHP, the microscopic event dynamics are determined by the Lorentz force (
19) and so a test event at
will experience the Coulomb force
depending on the synchronization
. Regarding (
64) as a Yukawa potential, the limit
is understood as extending the range of the interaction to a Coulomb form by taking the mass of the photons that carry the interaction to zero. Viewing
as a correlation time for the microscopic current density
, this limit can be understood as smoothing the interaction to a time-independent Coulomb form by extending the correlation between values of the potential at different times along the entire worldline.
The structure of the source current for the pre-Maxwell field equations was seen to be determined by the choice of kinetic term for the fields. Standard field theory texts note that this choice is not imposed by physical foundations, but recommend the simplest form
because it is Lorentz and gauge invariant, contains only first order derivatives, and in the case of Maxwell theory, recovers the known field equations. For SHP, this choice is equivalent to taking
, which does recover the concatenated Coulomb force through (
65) but renders the Lorentz force
difficult, if not impossible, to reconcile with known phenomenology. The smooth (but non-local) current was found by adding the higher-derivative term
, which does not affect the Lorentz and gauge invariance of the action. A term of this type has also been considered by Pavsic for brane interactions [
25].
Limits on the values of the parameters in SHP can be found from standard phenomenology. To describe elastic particle-antiparticle scattering, (
66) undergoes
so that the experimental error in the asymmetry of scattering cross-sections places a limit on
and allows us to take
. The width of the distribution
is characterized by the parameter
, which also determines as
the mass spectrum of the photons that mediate the induced force. Taking
to be the experimental error on the mass of the photon (
), we may estimate
seconds. Thus, only very low energy interactions will produce phenomena that can be distinguished from standard Maxwell electrodynamics. Nevertheless, two distinct experimental signatures have been described. It was shown in [
26] that the Liénard–Wiechert potential for a classical linear particle trajectory experiencing virtual particle–antiparticle processes will differ slightly from the potential predicted by Maxwell theory. In addition, it was shown in [
15] that the scattering cross-section for scalar particles will differ slightly from the Klein–Nishina formula.
The smoothing of the single-event current by can be understood as constructing a statistical ensemble of events as the source for the field equations. An event on the trajectory is associated with an ensemble whose members are of the form , where the weight is the probability that a process generating independent random events at a constant average rate will produce an event occurring at displacement s from time . A single member of the ensemble is selected by the causal properties of the Green’s function when determining the potential induced by the event trajectory. In this way, classical statistical mechanics is fundamental to the concept of a single-particle system and to the construction of a well-posed relativistic Hamiltonian theory of electromagnetism.