2. Linearized Equations for Lorentz-Violating Gravity
A framework for the study of Lorentz symmetry violation in the context of gravity was developed by Kostelecký & Bailey [
4], and much experimental work in the years since has searched for the effects described within this framework (see [
5] for a review.) This framework attempts to follow the method taken by the particle physics sector of the SME by obtaining a Lorentz-violating equation of motion for the metric perturbations of a flat background, and then examining the phenomenology of the modified metrics. One begins by assuming a gravitational action of the form
Here, the first term is the standard Einstein–Hilbert action (with
); the second through fourth terms are “small” couplings of tensors
u,
, and
to the Ricci scalar, trace-free Ricci tensor, and Weyl tensor, respectively; and the final term encodes the dynamics of the fields other than the metric (we use reduced Planck units, i.e.,
). The tensors
u,
, and
are “coupled” to the spacetime curvature in this action, much as the particle physics SME coefficients are coupled to the fermion and boson fields. One would therefore expect that an action of this form could give rise to Lorentz-violating effects in gravitational physics. (As in [
4], we restrict attention here to a Riemann spacetime with vanishing torsion, rather than the more general case of Riemann–Cartan spacetime. We also restrict attention to the “minimal” sector of the gravitational SME, in which higher derivatives of the Riemann tensor do not appear in the Lagrangian).
However, some important differences between this action and the particle physics SME action immediately arise. In particular, it is difficult to write down an action that includes a fixed background tensor (“prior geometry”) in the context of a model with a dynamical metric. The equations of motion resulting from this prior geometry can easily violate the Bianchi identities, leading to a mathematically inconsistent model [
6] (however, see [
7] for a recent discussion of how these difficulties might be evaded).
For this reason, it has generally been assumed that the objects
u,
, and
in (
1) are not fixed background tensors, but are instead constructed from some
dynamical tensor which we denote as
(the dots here denote a generic index structure). As this field is intended to dynamically provide us with the extra geometric background structure required for Lorentz symmetry violation, we refer to
as the
Lorentz-violating field (or
LV field). Similar approaches have been proposed for the spontaneous breaking of another spacetime symmetry, namely scale-invariance [
8,
9]. However, as the fields used there were scalars, the issues outlined in this work do not arise.
In this picture, diffeomorphism symmetry is broken spontaneously: while the underlying action is assumed to be diffeomorphism-invariant, a certain class of solutions to the equations of motion have some or all of this symmetry broken. Since the SME focuses on local field operators, it is natural to assume that the underlying theory arises from a locally constructed Lagrangian as well. Finally, I assume that the full equations of motion resulting from this action are second-order. The condition that the action be locally constructed and diffeomorphism-invariant implies that the Lagrangian must be locally constructed from the metric, the Riemann tensor (and its derivatives), and the symmetrized derivatives of the other fields [
10]; the condition that the equations of motion be second-order then prohibits any derivatives of the Riemann tensor or more than two derivatives of the other fields from appearing in any term in the Lagrangian. The full action is thus of the following form:
In (
2), we divided the terms that could appear in a general action into three broad categories; the action (
2) could, in principle, include multiple expressions of each type. The “kinetic” terms determine the dynamics of
; by choosing different combinations of cross-contractions and traces of the tensor
, we can obtain different dynamics for the LV field. The “coupling” terms allow for a direct coupling between
and the curvature, with each term multiplied by a coupling constant
. By adjusting the size of
, we can hope to “tune” the Lorentz-violating effects. Finally, the “potential” term consists of a potential energy
for the field
. Each of these terms must be a spacetime scalar, with all of the indices in each term fully contracted.
To investigate the linearized limit of an action of the form (
2), we must first vary the action with respect to the metric
and the LV field
to obtain the equations of motion. An important question arises: which of the three types of term (kinetic, coupling, or potential) contribute when we vary the action with respect to
? It turns out that all three types of terms will vary when we vary the metric:
The kinetic terms can vary in two ways when we change the metric. The more obvious way is that the full contraction of the tensor
with itself may require some raising and lowering of indices, which requires an implicit use of the metric or the inverse metric; these terms will change when the metric is varied. A more subtle point (but in some ways a more important one) is that the covariant derivative operator
also varies when the metric is varied. One could also consider Palatini-type theories, where the connection is viewed as a variable independent from the metric. As the correspondence between the “metric” and “Palatini” versions of a generalized gravity theory is not straightforward [
11], I focus on the “metric” versions here for simplicity.
The coupling terms explicitly depend on the Riemann tensor, which varies with the metric. As with the kinetic terms, they can also contain implicit factors of the metric or inverse metric that arise from index raising and lowering.
The potential term must be a spacetime scalar constructed out of ; this will again usually require the raising and lowering of ’s indices, and so, implicitly depends on the metric.
The variation of the kinetic terms and coupling terms is particularly problematic. For the kinetic terms, the variation of the fields will yield something of the form (with indices temporarily suppressed)
which is integrated by parts in the second step. Note, in particular, that the coefficient of
generically contains second derivatives of
; thus, second derivatives of
will appear in the Einstein equation. Similarly, variation of the coupling terms will yield terms of the form
All told, then, a generic action of the form (
2) gives rise to equations of motion that are of schematically of the form
where
G stands for the Einstein tensor,
R stands for the Riemann tensor, and the
functions are some combinations (not necessarily invariants) of the LV field
. The combinations of second derivatives that appear in the modified Einstein Equation (
5a) will generically not be the same as those that appear in the equation of motion (
5b) for
itself; this is indicated by the use of the prime on the second derivatives of
in the Einstein equation.
In the particle physics sector of the SME, the Lorentz-violating tensor coefficients are assumed to be constant throughout all of the flat spacetime, and to arise from the vacuum expectation value of the LV tensor field. We therefore require that there exists a solution to the equations of motion (5) with a flat metric (
) and a constant LV field (
). It is not too hard to see that if the metric is flat and the tensor field is constant, the equations of motion from (
2) will reduce to the form
and
As a particularly simple example, suppose
V is a single-argument function that depends only on a Lorentz invariant
constructed from
and the metric
. In such an case, these equations become
and
and are satisfied if
and
. By constructing the potential appropriately, we can find models where there exist backgrounds consisting of a flat metric and a constant but non-zero LV field. We denote the background value of
as
.
The linearized limit of our model is found by looking at linearized perturbations about this background:
This results in a set of linearized equations of the form
where
and
stand for the linearized Einstein and Riemann tensors, respectively, and the ellipses in these equations contain terms that do not depend on the derivatives of
h or
. Throughout this paper, we use
to denote the linear-order perturbation of a quantity of the flat background.
Since our full Lagrangian (
2) is diffeomorphism invariant, the linearized equations are invariant under the infinitesimal diffeomorphisms
and
, where
is the vector field generating the diffeomorphism and
is the Lie derivative along this vector field. In terms of familiar index notation, these transformations are
These can be thought of as gauge transformations for the linearized fields; perturbations of this form do not contain any physical information.
The ultimate goal in this process is to obtain a second-order partial differential equation for
h alone, without reference to the LV fluctuations
. To do this, we must be able to eliminate the terms that are dependent on
and its derivatives from (
11a). We have certain tools at our disposal for this task. We may impose gauge conditions on
, rewrite antisymmetrized derivatives of
in terms of the Riemann tensor, or apply the linearized tensor equation (
11b). We may also choose to restrict our solution space by imposing boundary conditions on various combinations of fields. Depending on the exact forms of the equations (11), we can envision three possibilities:
We can obtain a linearized second-order equation for
that is manifestly gauge-invariant. Since the linearized Riemann tensor contains all of the “gauge-invariant information” encoded in the linearized metric, this means that the resulting equation is simply of the form
The process for obtaining this equation may (and, in the examples below, will) require boundary conditions to be set, but should not rely on any particular choice of gauge. Equations of this type are sometimes taken as the starting point for the study of Lorentz violation in gravitational physics [
12,
13], while remaining agnostic about the underlying model of Lorentz violation. However, it has also been pointed out that not all LV gravity models lead to such an equation [
14].
We cannot obtain a linearized second-order equation for
alone that is gauge-invariant, but we can find some particular gauge that allows us to eliminate
from the Equation (
11b). Again, the imposition of some appropriate set of boundary conditions may be necessary.
The Equations (
11a) and (
11b) are inextricably coupled. This means that we cannot write down a second-order equation for the metric alone without knowing the behavior of the LV field as well. In such a case, it could, in principle, still be possible to solve Equation (
11b) for
in terms of
h and whatever other fields are present by Green’s functions; one could then insert this solution for
into (
11a). However, the resulting equation would include some kind of integral over spacetime and would not result in a local second-order partial differential equation for
.
As a shorthand, we can call these types of equations “Type I”, “Type II”, and “Type III”, respectively. In general, it is not immediately clear from simple examination of the action (
2) whether a particular model will yield equations of a particular type; one must generally work through the above process to find out. If we can obtain a Type I or Type II equation, we can, in principle, solve for the metric without having detailed knowledge of the LV field dynamics. In a model for which only Type III equations can be found, on the other hand, one must have knowledge of the LV field dynamics in order to figure out the weak-field limit; it is difficult to “remain agnostic” about the dynamics of the new fields (as one could with a Type I equation) and still make meaningful predictions.
3. n-Form Fields
As examples of models in which Type I equations can be obtained, I first consider the class of models where the LV field is an
n-form field
: a completely antisymmetric tensor of rank
. For what follows, it is useful to denote a sequence of indices with braces, for example, we denote
The number of indices in a pair of braces should usually be evident from the context.
A particular feature of
n-forms is that it is possible to define a natural notion of differentiation (the exterior derivative) that is independent of the metric. If
is an
n-form, then
is an
-form defined in abstract-index notation as
It is not hard to show that this quantity is independent of the derivative operator
used. One might imagine that this will make one’s life easier; since the derivative is independent of the metric, the terms involving the second derivatives of the LV field in (
5a)—and therefore in (
11a)—will not arise. However, while this property is necessary for obtaining a decoupled equation for the metric, it is not sufficient.
We can use the exterior derivative to construct a kinetic term for a Lorentz-violating
n-form field
:
where
and
In what follows, we also find it necessary to require that
Both the bumblebee model described in [
6] and the tensor models described in [
15] fall into this category, using a one-form or a two-form (respectively) as the LV field. (The models in [
15] can also include a potential that depends on the invariant
as well as the tensor norm
. In general, such an invariant only exists if
, where
d is the dimension of the spacetime. The arguments which follow can be generalized to such cases straightforwardly). In the former work, the
term does not exist and
is unconstrained; in the latter work, the condition (
19) (with
) is found to be necessary to obtain a “decoupled” effective equation. The generalized bumblebee models described in [
14] are also of this general form, with the modification that the indices in the kinetic term for the one-form
are contracted using an “effective metric” constructed out of the spacetime metric
and
itself.
To understand how the full decoupling of the equations can be accomplished in this case, we must first look at the linearized equation of motion for the LV field. This is
where
,
is the linear variation in
, and the tensor
is defined similarly to (
16). (Note that for any tensor
which vanishes in the background,
In general, the derivatives present in the linearized LV equation of motion (
11b) (Equation (
20) in the present case) are the only tools we have to eliminate the derivatives of
in the linearized Einstein Equation (
11a). However, the structure of the kinetic term for an
n-form field leads to two auxiliary conditions which turn out to be crucial for the decoupling. First, if we take the divergence of (
20), the kinetic term identically vanishes and we obtain
However, the Riemann tensor satisfies the Bianchi identity
. At linear order, this becomes
, and taking the traces of this equation implies that
and
. Splitting up the antisymmetrizers in (
21) and applying the Bianchi identities lets us rewrite the second and third terms as
Since we assume the condition (
19) applies to the coupling constants, this means that (
21) simplifies greatly:
A possible solution to this equation (though not the only one) is that the quantity in square brackets vanishes:
I call this the “massive mode condition”, since it effectively requires that
only deviates by a small amount (i.e.,
) from zero. Note, however, that this condition can only be applied if (
19) holds; for a general set of coupling constants, imposing such a condition would be more poorly motivated.
The second condition can be found by taking the “curl” of (
20). Since we now know that we can choose a solution such that
is
, the linearized Equation (
20) reduces to
If we take the antisymmetrized derivative of the left-hand side, we obtain
where the second term in the middle step vanishes due to the antisymmetrization over the partial derivatives. Thus, we have
As an aside, the identity (
26) can also be derived elegantly using the language of differential forms. Define
and
as the exterior derivative and codifferential on the manifold (note that this
is an operator that takes
n-forms to
-forms, and is distinct from the usage of
to denote linearized perturbations in this work.) The kinetic term in (
20) can be written as
. We then have
, since
. This operator acting on
is the so-called
Laplace–de Rham operator, which differs from the “conventional” tensor Laplacian
by (at most) various contractions of the curvature with the
n-form.
Equation (
27) is a hyperbolic differential equation on our manifold, and via an appropriate choice of boundary conditions, we can require that the linearized field strength
remains
throughout our spacetime:
I call this condition the “curl condition”. As with the massive mode condition (
24), it must be noted that this condition is not true for the most general solution of the equation (
27) from which it stems.
With these in mind, we can now attempt to decouple the
n-form fluctuations from the metric fluctuations. The linearized Einstein equations in this case are of the form
where the
and
tensors are constructed out of the background fields
and
. (Recall from above that the antisymmetrized second derivative of
can be written in terms of contractions of the Riemann tensor with
.) It is important here to note that there are no terms that arise involving the second derivatives of
at
. For a generic model, such terms would arise from the variation in the kinetic term for the LV field, since the covariant derivative operator is dependent on the metric. However, the field strength (
16) is independent of the metric, and so it evades this obstacle.
Assuming the massive mode condition (
24) holds, we can replace the second term in (
29) with curvature terms multiplied by coefficients of
, and the third term is already of the desired form. It is the second derivatives of
that arise in (
29) (the terms contracted with
) that we need to eliminate. Explicitly, these tensors are
If we can show that these tensors contracted with are automatically , then we will be able to write down an approximate equation, correct to , that only contains various contractions of the linearized Riemann tensor with the background values of . This is the desired form of the equations of motion underlying the gravitational sector of the SME.
Enforcing the massive mode condition (
24), under which
is
, implies that
is
as well. This allows us to eliminate any terms where we have contracted
with
in the linearized equations of motion. In particular, this guarantees that both terms arising from (
32) do not contribute to the equations of motion at
.
Enforcing the curl condition (
28) allows us to eliminate more of the above derivatives. We have
Since we are assuming that
is
throughout the spacetime, and since the first term on the right-hand side is also
via the massive mode condition, we conclude that
as well. We conclude that any contraction of the form
or
(and by symmetry,
or
) with
will also be of the form
; this eliminates the first two terms of (
31).
What remains are (
30) and the last two terms of (
31), and the only tool we have not yet used is the equation of motion itself. The kinetic term in (
20) can be rewritten as
where
. If we contract (
36) with the tensor
, then we obtain the tensor
contracted with the tensor
where the ellipses stand for terms involving permutations where two or more of the indices
d,
e, and
f are attached to the background LV field
, along with one of the free indices
a or
b. Such terms only exist if
. These latter terms do not arise in linearized Einstein Equations (
29). Further, they cannot be eliminated via the auxiliary conditions (
33) or (
35), as these conditions require
to be fully contracted with the perturbation
. Thus, a Lorentz-violating model including an
n-form LV field with
cannot be analysed in the SME gravitational framework.
The exceptions are the lowest-rank cases of
and
. For
, the
term (
30) does not exist, and the kinetic term in the LV equation of motion contracted with
is simply
These terms are exactly the remaining terms in (
31) in this case, and so all non-curvature terms in (
29) are
or higher. For
, the remaining terms in (
30) and (
31) can be combined to equal the terms explicitly written out in (
37) (recalling from (
19) that
in this case.) The remaining terms in (
20) are all of the form
, either explicitly or via the massive mode condition, and thus, all non-curvature terms in (
29) are
or higher.
It is worth taking stock of all of the assumptions that have gone into obtaining these effective equations. Only in two cases (
, and
in the case
) can this procedure be completed. In both cases, auxiliary conditions concerning the solutions—namely, (
24) and (
28)—are required to obtain a linearized metric equation that fully eliminates the LV field perturbations from the linearized Einstein equation. A general linearized solution will not satisfy these conditions, and will therefore not obey the effective equation derived by this procedure. Moreover, while the arguments leading to these auxiliary conditions can be generalized to higher-rank
n-forms, the conditions are insufficient to eliminate the LV field perturbations from the equations of motion. It seems unlikely that a general action for a LV
n-form field (
17) can be reduced to an effective equation of the form (
14).
4. Tensor Klein–Gordon Fields
It may occur that we cannot write an analog of the linearized Einstein equation solely in terms of the linearized Riemann tensor in a model containing an LV field. However, we can still hope to find an equation of motion for the linearized metric that, while not invariant under the “gauge transformations” , is at least decoupled from any explicit dependence on the fluctuations of the LV field. Such an equation is what I called a “Type II” equation above.
An example of a class of models that can yield such equations are the “tensor Klein–Gordon” actions, of the form
where
is now an arbitrary rank-
tensor field without any particular symmetry structure. Note the absence of any particular explicit coupling between the LV field
and the Riemann tensor in the Lagrangian. The linearized equation of motion for the LV field in such a model is
with
, as before. In terms of the perturbations
and
, the first term above becomes
However, in the standard harmonic gauge
(where
), we have
Moreover, in terms of the perturbations, we have
(The negative sign arises from
.) Putting this all together, the linearized equation of motion for the LV field is (in the harmonic gauge)
This is a hyperbolic equation for the quantity in parentheses above, which means that if we choose the appropriate boundary conditions, we can make the said quantity as small as we want:
In other words, via a choice of boundary condition, the LV field perturbations
can be written in terms of the background tensor values
and the metric perturbations
. The LV field perturbations can therefore be completely eliminated from the linearized Einstein Equation (
11a) in favor of the metric perturbations. The result will be an equation which holds only in harmonic gauge, but which does not contain any explicit dependence on the LV field fluctuations. While such an equation will not fit into the gravitational framework of the SME, one could still analyze the resulting equation in terms of its predicted post-Newtonian effects, its predictions for gravitational wave propagation, and so forth. The linearized metric found in Section IV.B of [
4], for example, is the linearized metric for a model containing a Lorentz-violating “vector Klein–Gordon” field, and in obtaining that metric, the same assumption (
45) concerning the perturbations of the LV field is made.
This result for tensor Klein–Gordon models could be generalized to other gauges; for example, the result (
42) would still hold in which
(where
) is equal to the gradient of some scalar function
f, rather than vanishing as assumed in the harmonic gauge. Imposing a different gauge choice would yield an effective equation of motion for
that appears superficially different from the equation obtained in the original gauge. However, the solutions to this new equation should simply be the solutions of the original equation modified by a gauge transformation; the choice of gauge would not cause a change in the physically measurable aspects of the metric.
Finally, we note that as with the differential forms in
Section 3, the most general solutions to the linearized equations of motion will not obey (
45), and will therefore not necessarily obey the effective equation derived from it.
5. Discussion
In general, the Euler–Lagrange equations for a model containing both a tensor field and a dynamical metric contain coupled kinetic terms, and if the tensor field takes on a vacuum expectation value in flat spacetime, this coupling will persist in the linearized equations about this background. One can try to evade this by using an
n-form field for which the “natural” kinetic term for the field (involving the tensor norm of the field strength) does not couple directly to the metric perturbations. With such an equation of motion for the linearized metric in hand, one could proceed to follow the analysis of [
4], looking for the observational signatures of Lorentz violation of the types derived there. However, this assumption is not sufficient to fully “decouple” the equations; one must also restrict attention to the solutions satisfying (
24) and (
35), and even in such instances, the decoupling only occurs when
or
.
Even granting these assumptions, it appears that the great majority of models one can write down in which a vector or tensor field takes on a vacuum expectation value do not yield Type I equations. To date, only the two above-mentioned models have been found to yield equations of Type I, and their obvious generalizations to higher-rank differential forms fail to yield a decoupled, gauge-invariant equation for the linearized metric. (One could generalize the two-form fields in [
15] in the same way that the “generalized bumblebee models” of [
14] generalized the original bumblebee model [
6]; see the discussion following (
18). It seems likely that such a model could yield Type I equations as well, though this remains to be shown rigorously.) If the linearized equations are Type II or III, the form of the linearized metric will almost certainly differ from the predicted linearized metric in the SME, and thus, the experimental signatures of this model will not match those of the SME. Such models would have to be analyzed on a case-by-case basis from first principles. Indeed, in [
4], the second derivatives of the fields that cannot be eliminated are implicitly placed into a divergence-free tensor
. It is conjectured in that work that models in which
does not vanish “may even be generic”; the current work lends credence to this conjecture.
In the particle physics sector of the SME, the size of the coefficients of the Lorentz-violating terms in the action bears directly on the size of the effects that are physically observed. One would therefore naïvely expect that an action of the form (
2) containing a “small” coupling term would lead to “small” violations of Lorentz symmetry. For the known models [
6,
14,
15] that yield Type I equations, this is effectively the case—small values of the coefficients
lead to small contributions to the linearized equations of motion.
In contrast, the size of the Lorentz-violating effects in a model yielding a Type II or Type III equation may not be determined by the size of the “coupling” terms in the action. For example, the tensor Klein–Gordon models described in
Section 4 have no coupling terms at all, but give rise to an effective equation with a kinetic term of the form
where
is some second-order differential operator acting on
, and the indices of the two
tensors are contracted with this operator in some way. The difference between this equation of motion and the linearized Einstein equation is therefore governed by coefficients of
, where
E is the energy scale of the LV field’s vacuum expectation value in reduced Planck units. Since these deviations would increase with the magnitude of the background field, one could, in principle, completely exclude such models via both precision gravitational experiments (thereby excluding sufficiently large energy scales) and accelerator experiments (excluding sufficiently small energy scales).
Of course, the gap between “sufficiently large” and “sufficiently small” may be quite large indeed. As a very rough estimate, one might assume that a linearized metric solving (
46) would differ from the weak-field GR solution by deviations of
. Given that spacetime-anisotropic deviations from the weak-field GR solution are currently bounded to about one part in
[
1], this implies that the vacuum expectation value for
could be no larger than about
GeV, nowhere near the current bounds from accelerator experiments.
It is also possible that a model that yields Type II or Type III equations will be phenomenologically non-viable for reasons other than the form of its linearized metric. The tensor Klein–Gordon fields in
Section 4, for example, include a kinetic term that is of indeterminate sign, and do not contain any gauge degrees of freedom. This is likely to lead to a Hamiltonian that is unbounded below, running a strong risk of runaway solutions. Thus, while it may be possible to find a linearized metric in a Type II model (as was done for the vector Klein–Gordon model in [
4]), such a solution would need to be checked for stability. Similarly, while a Type II equation can be reduced to a single equation involving the metric perturbation
, the number of physical degrees of freedom of the metric may be different from those of a metric obeying a Type I equation; the lack of gauge symmetry in a Type II equation means that degrees of freedom that correspond to gauge transformations in a Type I equation may now become physically meaningful. The extra propagating modes arising in such a model could be used to constrain it or rule it out.
One might conjecture that all viable Lorentz-violating models of gravity yield equations of Type I. Unless we simply
define a “viable model” to be one that can yield linearized equations of Type I—which is somewhat tautological, and requires clear motivation—we must have a clear idea of what we mean by “viable”. The criteria for a model to be viable on purely theoretical grounds are something of a judgement call. Most physicists would probably agree that a model with a Hamiltonian that is unbounded below is probably not a good one, but whether or not one should be interested in a model with extra metric degrees of freedom is more open to debate. Many other possible criteria for a “viable” model could be proposed, depending on the context one is interested in. Moreover, such a conjecture elides the fact that a given model may have some linearized solutions that obey such an equation and some that do not; in the known examples [
6] and [
15], extra conditions on the linearized solutions are needed to obtain a“Type I” equation. Without a more precise and well-motivated statement of the properties of a viable model, and justifications for any necessary auxiliary conditions on the linearized solutions, this “conjecture” is really more of a hope.
The SME framework has been incredibly useful for discussing the signatures of Lorentz violation in the realm of particle physics. Any self-consistent model of Lorentz violation in particle physics can be mapped onto one or more coefficients in the SME action (either in the minimal or the non-minimal versions of the framework), and there is a well-developed machinery that maps these coefficients into experimental results. In the realm of particle physics, therefore, the SME can legitimately claim to be a mature framework for the study of violations of Lorentz symmetry.
In contrast, the gravitational sector of the SME does not yet have this same status. Under certain assumptions, certain
n-form models mentioned above do fit within the SME gravity framework developed in [
4]. However, if one starts with a particular action involving a dynamical metric and a tensor field with a vacuum expectation value, one cannot easily discern which of the above three types it falls into. There is no way to determine this other than to go through the long process of deriving the perturbational equations of motion (11) and trying to eliminate the LV tensor fluctuations from the linearized Einstein equation. Even then, the process is not guaranteed to be straightforward. It may rely on subtle auxiliary conditions (such as the massive mode condition (
24) or the curl condition (
28)) that are not immediately evident from the linearized equations of motion and that a general linearized solution of the equations of motion may not satisfy. Finally, there is no guarantee that any particular model will result in a linearized equation that yields the same linearized gravity phenomenology as a Type I equation; the experimental signatures of Type II and Type III models can, in principle, be totally different from those of the well-studied Type I models. It is therefore unclear that the gravitational sector of the SME has the same level of phenomenological universality that the particle physics sector of the SME enjoys.