1. Introduction
The small but energetic community of physicists who study the possibility [
1] that neutrinos are tachyons has a variety of issues to deal with. There is the problem of searching existing data, both terrestrial and astrophysical, for hints of tachyonic behavior [
2,
3,
4]. There are attempts to explain dark energy and dark matter in terms of tachyonic neutrinos [
5]. At a more technical level, there is the question of constructing a sensible quantum theory of neutrinos as tachyons [
5,
6,
7,
8].
This paper addresses yet another issue: is it possible to understand the existence of tachyons as the manifestation of some underlying symmetry? After all, gauge bosons must exist in order to implement gauge invariance. Additionally, the fermions are arranged in multiplets of the gauge symmetries in the Standard Model. Could neutrinos as tachyons likewise be mandated by the imposition of some sort of symmetry?
We propose a positive answer to this question, in the form of what we call Light-Cone Reflection symmetry (or LCR for short). In this work, we shall define LCR, exhibit a theory of fermions that is LCR-invariant, and discuss some of its properties. However, we shall defer discussion of exactly how the theory is to be connected to the Standard Model.
LCR is defined in the context of Very Special Relativity (or VSR for short), as introduced more than 15 years ago by Cohen and Glashow [
9,
10]. Specifically we use the sim(2) realization of VSR, which is the maximal possibility. Sim(2) is a proper subgroup of the Lorentz group, which means that the theory we consider is not fully Lorentz invariant. However, as Cohen and Glashow explained, VSR does capture most of the desired ingredients of special relativity, and there have been many papers written since their work that explore the idea that VSR, not the full Lorentz group, is the symmetry actually realized in Nature [
11,
12,
13,
14,
15].
We have defined LCR, and studied some of its properties, in eprints that have appeared over the last decade [
16,
17,
18,
19]. In this paper we incorporate some of that work, and we go on to demonstrate a new result, that LCR, although itself a discrete transformation, imposes a continuous gauge symmetry on the theory, which we explicitly describe.
With the help of auxiliary fields that we call simulons, we can construct a Lagrangian that embodies both VSR and LCR symmetries, incorporating, in addition, the chiral symmetry that was present in Cohen and Glashow’s original work on VSR. We find that this Lagrangian has the potential to include a further gauge symmetry, which we show how to implement. We also point out that a particular version of the Lagrangian admits solutions that explicitly exhibit the symmetry between tachyons and ordinary particles that is expected as a result of LCR.
2. VSR
In realizing the sim(2) version of VSR, the breaking of the Lorentz group is accomplished by introducing a null 4-vector , and demanding invariance of the theory under those Lorentz transformations that either leave invariant or scale it by a constant factor (the latter are boosts in the direction). It is convenient to choose coordinates so that . Our metric is .
Defining light-cone coordinates
and
, we have
The 4-parameter sim(2) group of transformations is given explicitly by
- (1)
Rotations in the x-y plane;
- (2)
Boosts in the z direction:
- (3)
and
- (4)
One sees that is unchanged by transformations (1), (3) and (4), and scales by under transformation (2).
Cohen and Glashow used VSR to construct an equation for neutrinos:
Among its properties is that the usual relativistic dispersion formula,
is maintained. In addition, even though the equation describes a massive particle, it possesses a chiral symmetry:
The equation is, however, non-local, because of the factor in the denominator. It is not possible to construct a local VSR invariant theory using only fields that transform under representations of the Lorentz group. Below we shall cast the theory in local form by introducing simulon fields, which scale under boosts in the direction.
Although Cohen and Glashow did not mention it, their equation for the neutrino can apply either to ordinary particles ( or to tachyons ( In the latter case, however, there is a caveat: the denominator can never vanish for timelike, but this is no longer true if it is spacelike. Hence, for tachyons, those for which must be treated with caution.
3. LCR
Making use of the vector
, we define the LCR transformation as follows:
We observe that it has the properties
and
inspiring the name Light-Cone Reflection. Under LCR,
. For timelike
,
can never vanish, so in fact LCR maps the entire interior of the light cone into its exterior, with the hyperplane
removed.
By construction, LCR commutes with the sim(2) transformations. It does not, however, commute with translations. As defined, it is the reflection in a particular light cone, one whose apex is at . However, we want a symmetry that allows reflection in a light cone whose apex is located at an arbitrary spacetime point.
One way to proceed is to compute the commutators of translations with LCR and attempt to make sense of the resulting infinite-dimensional algebra. However, this is not necessary, because we can simply infer the result. In order to accommodate translations, LCR must be extended to the following symmetry group:
First, transformations that are connected to the identity, parameterized by a set of functions
:
Second, a component parameterized by a set of functions
:
The original LCR transformation belongs to the second set, with
The group multiplication laws are:
- (1)
Two transformations a transformation with parameter
- (2)
A transformation followed by a transformation a transformation with parameter
- (3)
A transformation followed by a transformation a transformation with parameter
- (4)
Two transformations a transformation with parameter
From (4) we note that squaring a transformation returns the identity, so each transformation is a reflection of a sort.
A reflection in the light cone with apex at
can be carried out either by first translating by
and then making the original LCR transformation, or by making a
type transformation, with parameter
where
,
and then translating by
. This indicates that the full set of
and
type transformations is necessary for the symmetry group to close.
4. Constructing the Lagrangian
We now proceed to construct a Lagrangian that embodies the symmetries we have discussed above. We will not seek to impose the full gauge symmetry, but only the original LCR. However, we expect, and will confirm, that the resulting Lagrangian will be invariant under the full set of gauge transformations.
We begin with a Lagrangian that was put forward by Alvarez and Vidal [
20] to yield the Cohen-Glashow VSR-invariant wave equation for the neutrino. As we have noted, this can only be done with the use of auxiliary fields, not all of which transform covariantly under Lorentz transformations.
In our notation, the Alvarez-Vidal Lagrangian reads
Here, represents the neutrino, whereas and are auxiliary fields. is a normal spinor, but is a simulon; it picks up an extra factor of under boosts in the direction, to compensate for the way that scales under those transformations. If one integrates out and one obtains a non-local Lagrangian that yields the Cohen-Glashow equation for .
In general, in a term of the Lagrangian in which appears, at least one of the fields must be a simulon in order to compensate for the scaling of under a boost in the direction. In the case of Equation (11), cannot be a simulon because of the first term, so in the mass term we must choose to be the simulon, a choice which also renders the ( terms VSR invariant, assuming that is an ordinary spinor and not a simulon.
is VSR-invariant, but not LCR invariant, for two reasons: (1) as can easily be seen, ( is odd under LCR; and (2) the expression is not invariant under LCR. We shall deal with these in turn.
To compensate for the change in sign in we specify that one of and is odd under LCR, and the other even. We choose to be odd. However, then the term will change sign. We fix this by replacing with a pair of fields, and , which are even and odd under LCR, respectively, and coupling to and to .
To deal with , we need to replace with a “covariant” derivative . We assume that transform simply under LCR: ) when . Hence, the requirement is that .
We look for
in the form
and we see that
must transform under LCR as
where
. We want
to transform as an ordinary vector under VSR, so
must be a simulon, to compensate for the scaling of
.
This still leaves some latitude in choosing
. The minimal choice is
with
transforming as a scalar simulon under VSR, and as
under LCR. It is also subject to the additional constraint (consistent with its simulon nature)
The resulting covariant derivative, , obeys and Because of these properties, there is no possible kinetic energy term for with the requisite symmetries, so is necessarily an auxiliary field that can be eliminated from the equations of motion. Indeed, using , we can implement the constraint
by writing
and then we can change coordinates to
Under this transformation,
becomes
i.e., the covariant derivative becomes an ordinary derivative in the new coordinates.
Another choice for the covariant derivative is to let
be a more normal vector field,
, with the transformation law given above. Because (
, we can impose the additional constraint
, which will be preserved under LCR. Then, the corresponding covariant derivative,
has the property
.
To construct a kinetic term for
, one might be tempted to mimic ordinary gauge theory and define
Under LCR,
, so one could imagine using
, where
is some constant, as the kinetic energy term. However, under VSR,
transforms as a simulon, i.e., it scales under boosts in the
direction, so the proposed term is not VSR-invariant. In fact, a suitable, if unconventional, kinetic term for
is
which is LCR invariant because (
.
We assemble these ingredients to construct the appropriate generalization of the Alvarez-Vidal Lagrangian. We also generalize the mass term, allowing for both Dirac and Majorana masses. The result is:
where
Here, is whichever covariant derivative is chosen to define the theory, either or or perhaps yet another possibility, and is a kinetic-energy term appropriate to that . As mentioned above, for there is no non-vanishing choice for . Thus definitely does not represent any additional degrees of freedom in the theory. For in , we do have the kinetic term of Equation (21), but in quantizing a VSR invariant theory, it is natural to use light-cone quantization and to choose as the evolution parameter. Since , this so-called kinetic term does not contain derivatives with respect to the evolution parameter, and hence is purely an auxiliary field that does not describe new degrees of freedom. One is tempted to conjecture that perhaps and ultimately describe the same physics, but a proof of this conjecture is beyond the scope of the present work.
As usual, the charge-conjugate field to any fermion field
is defined by
where
is the charge-conjugation matrix satisfying
5. Properties of the Lagrangian
By construction,
is invariant under both VSR and LCR. It is not difficult to check that
is also invariant under the larger gauge group of
and
transformations. We find that with
the required transformations for
are
for a
transformation, and
for a
transformation. In the case of
this amounts to
for a
transformation, and
for a
transformation, remembering that
also exhibits a chiral symmetry, in which
If we choose as the covariant derivative, then, as remarked above, we can go to special coordinates (essentially replacing by ), denoted by primes, in which becomes an ordinary derivative. The equations of motion are then linear, and one can look for exact solutions.
In particular, as described in [
17], one can find solutions that depend only on
and
, which reduces the problem to a 2-dimensional one. Solving the equations of motion, and identifying the d’Alembertian in this 2-dimensional space with the mass-squared operator, one finds the spectrum [
17]
where
and
are defined in terms of the mass parameters in the Lagrangian:
and
The important take-away is that the spectrum exhibits symmetry between positive (non-tachyonic) and negative (tachyonic) values, as might be expected for a theory that possesses LCR invariance. It has not been proved whether this symmetry persists in more complicated realizations of LCR, for example when the derivative is used instead of . However, it seems unlikely that tachyons would disappear entirely from the spectrum.
6. Further Gauge Invariance
As first discussed in [
18] and [
19], we want to consider transformations of the form
where
We have used the fact that since is a null vector. Here, and are real parameters. In , the index runs over all four fermi fields in the Lagrangian, i.e., and . We begin by allowing each of them to transform with their own parameters and . Invariance of under these transformations requires the use of , but imposes no restrictions on the parameters. Invariance of the terms in requires that and .
The mass terms containing are automatically invariant, because of the explicit factor of . However, we find that the two remaining mass terms, which couple to , impose incompatible constraints. The term requires and , whereas invariance of the term demands and .
Since these requirements cannot be realized simultaneously, the only way to achieve invariance of the theory under these transformations is to set either or to zero. We have to truncate the mass term given in Equation (25).
For definiteness, we set to zero. Having realized invariance under the global transformations, we want now to promote them to gauge transformations.
We do this in the simplest possible manner, by requiring that the gauge parameters be independent of
, so that the
term is automatically gauge invariant. The only gauge variance of the Lagrangian then comes from
. To compensate, we introduce a pair of gauge fields,
and
, and an additional term to the Lagrangian:
Under the transformations described above, but now with the
’s and
’s depending on
, we impose the transformations
which will render the full
invariant. Since we have introduced only a single pair of gauge fields, we must implement the restrictions
and
. We could have included separate gauge coupling parameters for each of the terms, but, for simplicity, we have chosen one overall parameter
.
To insure the hermiticity of
, we must require
which are consistent with the gauge transformations since
.
and
are simulons, so a suitable kinetic term for them is
where
is a conveniently chosen constant.
The generators of these new transformations, and , combine with the generator of the chiral transformation, , to form the algebra of rotations and translations in the plane. In order for to be invariant under a chiral transformation, and must transform as a chiral doublet.
7. Conclusions
Our main goal in this paper has been to investigate a symmetry, LCR, that relates tachyons and ordinary subluminal particles. Imposition of this symmetry would then be a way to motivate the appearance of tachyons in Nature.
The most likely application of this idea is to the spectrum of neutrinos. Because LCR is realized in the context of VSR, it would amount to a trade: for neutrinos, we sacrifice full Lorentz invariance, but we gain LCR symmetry plus the gauge symmetry that goes along with it when we include translations. In addition, we see the possibility of further gauge invariance, related to the chiral symmetry, that would qualify as a kind of non-standard neutrino interaction.
In the simple example where the spectrum of the theory was computed, we found that there was symmetry between the tachyons and the ordinary particles, bolstering the expectation that an LCR-invariant theory must contain tachyons. Intriguingly, Ehrlich [
2] has found that, at least with our current knowledge of the neutrino masses, a spectrum in which there is symmetry between tachyons and non-tachyons is still experimentally viable. A possible test may come from the KATRIN experiment [
21], because the heaviest neutrino in this scenario is of the order of 0.5 eV/c
2, if we assume the existence of a sterile neutrino with mass of about 1 eV/c
2, for which there is some evidence from short baseline experiments [
22].
The major challenge that lies ahead is to combine the dynamics described in this paper with a suitable extension of the Standard Model. It is often said that neutrino masses provide the one definitive case of beyond-the-Standard-Model physics. However, neutrino interactions are still described, successfully, in the usual way, via coupling to the and bosons. If LCR is to play a role in the physics of neutrinos, we need to demonstrate how the Lagrangian constructed in this paper can be meshed with the Standard Model into a convincing whole.