1. Introduction
Mass state transitions at scattering vertices can be used to test parametrized relativistic quantum theory (pRQT), a manifestly covariant quantum theory with an invariant evolution parameter. Introductions to pRQT are presented by myself [
1,
2], Pavšič [
3,
4], and Horwitz [
5]. A review of relativistic classical mechanics and electrodynamics in the parametrized framework is given by Land and Horwitz [
6]. In [
7], I developed a parametrized relativistic quantum field theory that was extended by Pavšič (see [
3], Chapter 1) to include canonical quantization and creation/annihilation operators. Horwitz ([
5], Chapter 3) discussed Fock space and quantum field theory. Additional topics include branes and quantized fields [
4,
8]. I [
1,
2] and Pavšič [
3,
4,
9] discussed the role of action-at-a-distance, nonlocality, and tachyons in pRQT.
Transitions from one mass state to another are induced in pRQT when a system with discrete mass states interacts with a parameter-dependent perturbation [
10,
11]. This is analogous to the transition from one energy state to another when a system with discrete energy states interacts with a time-dependent perturbation in Schroedinger quantum mechanics.
Tachyon physics in pRQT differs from other formulations [
1,
9,
12]. Pavšič [
4] clarified and analyzed tachyon topics that he identified as misconceptions and confusing. For example, the conventional view is that tachyons have imaginary mass. By contrast, as shown below, tachyons in pRQT have real mass. Furthermore, mass-state transitions in pRQT provide a mechanism for creating, annihilating, or detecting tachyons.
The purpose of this paper is to highlight tachyon creation and annihilation cases that could facilitate the design of experimental tests for pRQT. The cases were introduced in a previous publication [
12] where they were a relatively small part of a more comprehensive study. Recent experimental results [
13] show that results reported previously [
12] should be updated. Some background material and new calculation procedures are included to help the reader understand and apply the procedures. References are provided for readers who would like more information.
Particle mass in parametrized relativistic classical mechanics (pRCM) and pRQT is discussed in 
Section 2 and 
Section 3, respectively. It is shown that tachyon mass is real and positive in both pRCM (
Section 2) and pRQT (
Section 3). The theory of mass state transitions in pRQT and a model of particle scattering off a thin foil [
12] are reviewed in 
Section 4. 
Section 5 contains updated results for calculating tachyon creation, annihilation, and detection. The existence of alternative theories of tachyons is recognized and the opportunity to test pRQT tachyon physics is highlighted in 
Section 6. Details of the calculations are succinctly outlined in two new appendices and are more direct than procedures reported previously [
12].
  2. Parametrized Relativistic Classical Mechanics and Classical Mass
The meaning of the concept of mass in pRQT differs from the conventional view of mass. According to the conventional view, mass is a property of a particle that must be entered into calculations. The difference between the conventional view of mass and the pRQT view is demonstrated by first considering the concept of mass in pRCM.
  2.1. Lagrangian and Hamiltonian Formulations of pRCM
The relationship between mass and motion of a free particle illustrates the role of mass in pRCM. We begin the evaluation of mass and motion in pRCM by outlining parametrized Lagrangian and Hamiltonian formulations. This leads to formulations that are applicable to a parametrized Hamiltonian for a classical free particle.
Hamilton’s variational principle is used to develop pRCM by first defining the action,
        
        with invariant evolution parameter 
. The Lagrangian, 
, is a function of 
 generalized coordinates 
. The generalized coordinate, 
 denotes differentiation of 
 with respect to 
. The subscript 
 in 
 indicates that 
 is a Lagrangian that satisfies a special relativistic metric. The evolution parameter 
 is a relativistic scalar that does not depend on generalized coordinates. Parameter end points, 
 and 
 are fixed.
The functional form of 
 is
        
        where the generalized coordinates are elements of a spacetime four-vector, nonzero elements of the fundamental metric tensor 
µυ are 
, and
        
According to Hamilton’s principle, the variation 
 of action 
 must vanish:
The solution of Equation (4) leads to Euler–Lagrange equations for a parametrized Lagrangian 
:
The Lagrangian formulation can be transformed into the Hamiltonian formulation by deriving canonical equations from the Legendre transformation:
The function 
 is a parametrized Hamiltonian function 
. The Legendre transformation can be used to derive Hamilton’s equations for a parametrized Hamiltonian:
        and
        
  2.2. Mass of a Classical Free Particle
The relationship between the mass and motion of a classical free particle is obtained by specifying a parametrized Hamiltonian. A free particle with constant mass, 
 has the parametrized Hamiltonian,
        
The spacetime four-vector, 
 and momentum–energy four-vector, 
 are
        
        with the speed of light in vacuum, 
 the time, 
t, and the energy, 
E. Substituting 
 into Equations (7) and (8) gives:
        and
        
The Lagrangian 
 corresponding to 
 is
        
Equation (12) shows that the four-momentum of a free particle is constant:
Equation (11) is solved by substituting Equation (14) into Equation (11) and integrating over 
s to find:
The terms 
 are constants. According to Equation (15), the trajectory of a free particle is linearly dependent on 
. If one varies the spacetime four-vector and form its inner product, then:
The term 
 is found by rearranging Equation (16); thus,
        
The invariant evolution parameter increases monotonically so that . The terms ,  can be either timelike ,  or spacelike ,  for independent space–time coordinates and energy–momentum components. Consequently,  is positive for both timelike and spacelike motion because negative signs associated with spacelike motion cancel. Free tachyons in pRCM have real mass.
  3. Parametrized Relativistic Quantum Theory and the Meaning of Mass
The pRCM concepts, outlined in 
Section 2, are extended to the quantum case here. The pRQT field equation is the Stueckelberg equation for a single particle. It has the form:
      with mass operator
      
      and potential energy 
. Here 
 is particle wave function and 
 is the reduced Planck constant. 
The four-vector potential, 
 is contained in the four-momentum operator 
 with minimal coupling:
The expectation value of an observable 
 in pRQT is
      
An analysis of the free particle provides insight into the meaning of 
. The Stueckelberg equation for the free particle is
      
      with the general solution
      
The integral is over energy–momentum, 
 denotes normalization coefficient for solution 
, 
, and
      
The expectation value of the four-velocity of the free particle is
      
Integrating Equation (25) from 
 to 
 gives the most probable trajectory of the free particle,
      
The observable world-line of the free particle is given by the inner product
      
As in the classical case, the invariant evolution parameter increases monotonically so that . The terms ,  can be either timelike ,  or spacelike ,  for independent space–time coordinates and energy–momentum components. Consequently,  is positive for both timelike and spacelike motion because negative signs associated with spacelike motion cancel. Free tachyons in pRQT have real mass.
  4. Tachyon Creation and Annihilation in pRQT
Bilaniuk et al. [
14] showed that classical special relativity does not prohibit faster-than-light (FTL) motion. Classical special relativity does prohibit subluminal particles from becoming superluminal particles and vice versa when one has the relationship,
      
      between rest mass, 
, and mass 
 of a classical particle moving at speed 
. The mass 
 approaches infinity as 
 from below or from above. The question remains whether there a mechanism that makes it possible to avoid the infinite mass prohibition.
Non-relativistic quantum theory suggests an analogous mechanism. In the non-relativistic quantum case, time-dependent interaction potentials enable transitions between energy states, which are observed in such physical systems as spectra and lasers. A study of mass state transitions at a scattering vertex [
1,
12] showed that the analogous mechanism in pRQT is the transition between mass states associated with 
-dependent interaction potentials.
It was previously shown [
12] that the mass state transition in pRQT can be used as a mechanism for quantum transitions across the light cone. The mechanism enables tachyon creation, annihilation, and detection. An example of a physical system that can be modelled as a mass state transition is the scattering of a particle beam by a thin foil:
The simple model of a particle beam-thin foil system, represented by Equation (30), generates mass state transitions between bradyon and tachyon states. The terms “bradyon”, “luxon”, and “tachyon” denote subluminal, luminal, and superluminal particles, respectively.
A particle beam-thin foil model [
12] has the field equation,
      
      with a postulated coupling constant 
. The dependence on 
 occurs in the interaction term 
. 
Section 4.1 reviews the perturbation theory for an 
-dependent perturbing potential in pRQT. The iterative technique for calculating matrix elements for an 
-dependent perturbation potential is analogous to the non-relativistic iterative solution for a 
-dependent perturbation. The non-relativistic theory views transition amplitudes for a 
-dependent perturbation as transitions between energy states, while transition amplitudes for an 
-dependent perturbation in pRQT refer to transitions between mass states. 
Section 4.2 applies the formalism to the particle beam–thin foil model.
  4.1. Perturbation Theory for an -Dependent Perturbing Potential
The scalar field equation for a perturbation analysis of transitions between mass states due to an 
-dependent perturbing potential 
 is:
      for spacetime coordinates 
 and invariant evolution parameter 
. The operator 
 does not depend on 
. The dependence on 
 is contained in the Hermitian, perturbing interaction 
. The Hermitian requirement ensures that matrix elements involving 
 are real and meaningful. 
-dependent perturbation theory in pRQT is analogous to time-dependent perturbation theory used for perturbatively solving the time-dependent Schroedinger equation.
The state 
 is written as the summation over 
 mass states as
      
      where 
 are solutions of the unperturbed field equation,
      
The normalization condition on 
The set of differential equations for the expansion coefficients is
      
      and the set of matrix elements 
 of the perturbing potential is
      
The field equation for an 
-dependent perturbation is
      
      where 
 refers to the unperturbed mass generator and 
 corresponds to the 
-dependent interaction term 
 in Equation (32). The perturbation is Hermitian if it satisfies the constraint
      
An approximate solution to the perturbation problem is obtained by the eigenfunction expansion,
      
      where 
 are expansion coefficients and 
 are solutions for the unperturbed system.
  4.2. Particle Beam–Thin Foil Model
The transition probability amplitude in pRQT is
        
The transition probability density to state 
 is
        
        and the transition rate density to state 
 is
        
The formalism of 
-dependent perturbation theory applied to the interaction 
 in Equation (31) yields the four-momentum constraints
        
        where subscripts 
 denote the projectile, the target, and the product particle, respectively. In addition, there is a set of mass constraint equations:
Free particle masses are obtained by solving Equation (39) without the interaction term 
. The result is
        
The scalar product is
        
        where the Einstein summation convention applies to index 
Possible mass state transitions are given in 
Table 1, which is replicated here from references [
1,
12] for ease of reference. Letter “B” denotes bradyon and letter “T” denotes tachyon. Cases may be signified by the three-letter designation 
, where 
 denotes the projectile particle as either B or T, 
 denotes the target particle as either B or T, and 
 denotes the product particle as either B or T.
The first row in the table is case BBB. In this case, the Product-1 constraint yields a bradyon product after the bradyon projectile interacts with a bradyon target. The product-2 constraint can yield either a bradyon or a tachyon product after a bradyon projectile interacts with a bradyon target. If a bradyon is produced, the case is denoted as BBB. On the other hand, the case is denoted BBT if a tachyon is produced. The product of the interaction depends on the target and projectile properties. Allowed interactions must satisfy a mass constraint and four-momentum constraints. Equation (47) is a mass constraint that constrains physically allowable processes and makes the pRQT formulation different from other tachyon kinematic systems.
  5. Projectile-Stationary Target Kinematics
The allowed physical properties of tachyons in the simple particle beam–thin foil model considered are constrained by kinematic equations. Consequently, an experimental search must be very specific. As an example, consider particle experiments that involve the interaction of a projectile beam with a thin foil. Except for thermal motion, it is reasonable to assume that target particles in the foil may be viewed as stationary targets relative to an energetic incident beam. The example presented here shows that tachyon creation and annihilation are kinematically possible in pRQT using the equations and detailed calculations given in [
1,
12]. The calculations have been updated using particle properties from [
13].
The equations for tachyon creation following the interaction of bradyons (case BBT) are:
      where 
 and 
 are the nonzero components of the energy-momentum four-vectors for the projectile, target, and product particles, respectively. The masses of the projectile, target, and product particles are 
 respectively. The mass constraint is simplified by noting that observable free particles have sharply peaked expectation values (see [
12], 
Section 4.2). In addition to Equation (49), the on-shell mass-energy-momentum relations,
      
      must be satisfied.
Results for the scattering of a pion projectile by a proton target are shown in 
Table 2. The applicability of the scalar particle model is improved here by using the electrically neutral pion as the incident projectile so there is no electromagnetic interaction. The resulting model provides kinematic relations for the interaction of a neutral pion projectile with a proton target via a hypothesized 
-dependent potential. The product particle is an anti-tachyon with real mass. Details of the case BBT calculation are outlined in 
Appendix A.
Table 2 shows that experimentally attainable energies and readily available bradyons are theoretically suitable for producing tachyons (or anti-tachyons). If our model is physically realistic, it is possible that tachyons may have already been created but not detected. The results presented in 
Table 2 require that a detector must be tuned to either detect a case BBT superluminal anti-particle or a case TBB bradyon particle. An example of a set of properties that might be expected for a case TBB bradyon can be obtained by using the tachyon produced in the neutral pion–proton interaction shown in 
Table 2.
 The case TBB equations for tachyon annihilation following the interaction with a bradyon are:
      where 
, 
, and 
 are the nonzero components of the energy–momentum four-vectors for the projectile, target, and product particles, respectively. In addition to Equation (51), the on-shell mass-energy-momentum relations are:
      where masses 
 must be satisfied. Assuming the case BBT product anti-tachyon is the case TBB anti-tachyon projectile, and taking the case TBB target particle to be a proton, the two solutions are found as shown in 
Table 3 and 
Table 4. Solution 1 refers to a stationary target, and Solution 2 refers to a non-stationary target. Details of the case TBB calculation are outlined in 
Appendix B.
  6. Discussion
We have shown that formulations of relativistic classical and quantum mechanics with an invariant evolution parameter predict that tachyon mass should be real. Illustrative calculations of creation, annihilation, and detection of tachyons using a beam of particles interacting with a thin foil are presented using up-to-date data. The cases, presented in 
Section 5, show that scattering of a particle beam by a thin foil provides a means for designing an experiment capable of producing (case BBT) and detecting (case TBB) tachyons.
Tachyon physics in pRQT [
1,
4,
9,
12] differs from other formulations. Many alternative theories are available in the literature. Introductions to alternative theories are presented in Refs. [
15,
16,
17,
18,
19,
20,
21]. More recent examples of alternative theories are presented in Refs. [
22,
23,
24,
25,
26,
27,
28,
29,
30,
31,
32,
33,
34]. They cover a range of topics, including expansion of the universe [
16], inflation [
22,
23,
24,
31,
33], the cosmological constant [
25,
26], dark energy [
29], spontaneous symmetry breaking [
19,
27], rolling tachyons [
15,
17], trapped ions [
30], condensation in magnetic compactification [
34], and the possibility of tachyonic neutrinos [
28,
32].
Pavšič [
4] clarified and analyzed tachyon topics that he identified as misconceptions and confusing. For example, the conventional view is that tachyons have imaginary mass. By contrast, tachyons in pRQT have real mass. Furthermore, mass-state transitions in pRQT provide a mechanism for creating, annihilating, or detecting tachyons. Comparisons of pRQT with alternative theories suggest directions for future work in pRQT. They also provide an opportunity for comparing and testing different theories, as illustrated in [
35,
36].