Lorentz-Violating Gravity Models and the Linearized Limit

: Many models in which Lorentz symmetry is spontaneously broken in a curved spacetime do so via a “Lorentz-violating” (LV) vector or tensor ﬁeld, which dynamically takes on a vacuum expectation value and provides additional local geometric structure beyond the metric. The kinetic terms of such a ﬁeld will not necessarily be decoupled from the kinetic terms of the metric, and will generically lead to a set of coupled equations for the perturbations of the metric and the LV ﬁeld. In some models, however, the imposition of certain additional conditions can decouple these equations, yielding an “effective equation” for the metric perturbations alone. The resulting effective equation may depend on the metric in a gauge-invariant way, or it may be gauge-dependent. The only two known models yielding gauge-invariant effective equations involve differential forms; I show in this work that the obvious generalizations of these models do not yield gauge-invariant effective equations. Meanwhile, I show that a gauge-dependent effective equation may be obtained from any “tensor Klein–Gordon” model under similar assumptions. Finally, I discuss the implications of this work in the search for Lorentz-violating gravitational effects.


Introduction
The prospect of Lorentz symmetry violation has received a fair amount of attention in recent years [1]. In the realm of particle physics on flat spacetime, the Standard Model Extension (SME) [2] has been developed as a descriptive framework for violations of Lorentz symmetry. The original Standard Model Lagrangian can be thought of as including all possible gauge-invariant and Lorentz-invariant combinations of local field operators up to some power-counting renormalizability cutoff, each with its own coefficient; it is then a matter of determining these coefficients via experiments. In general, a particular experiment will not be sensitive to a single coefficient in the Standard Model Lagrangian, but will instead place bounds on one or more combinations of these coefficients, with different experiments being sensitive to different combinations.
The SME "extends" the Standard Model by allowing the combinations of the field operators appearing in the Lagrange density to be Lorentz tensors instead of Lorentz scalars. The "minimal" SME contains all operators which are power-counting renormalizable; the "non-minimal" sector of the SME includes operators of higher powers as well. Since the overall Lagrange density must still be a scalar, this means that the "coefficients" of these new tensor operators must be tensors as well, contracted with the operators to form a Lorentz scalar. It then becomes an experimental question to measure the components of these coefficient tensors in some fiducial reference frame (usually taken to be the sun-centered reference frame [3].) As with the original Standard Model, a given experiment will be sensitive to some particular combinations of the components of the coefficient tensors. In the same sense that the original Standard Model action contains "all possible low-energy physics" that is consistent with the underlying gauge groups, locality, and Lorentz symmetry, the SME action contains "all possible low-energy physics" that is consistent with the underlying gauge groups and locality, but including frame-dependent effects. The general philosophy of the particle physics SME has been to remain agnostic concerning the underlying details of the "new physics" that might give rise to Lorentz-violating effects and simply focus on the phenomenological consequences that can arise from these violations; it is designed to be a framework rather than a model.
Given the utility of this framework in the arena of particle physics, one might wonder whether a similar framework could be devised for gravitational physics as well. After all, both particle physics and general relativity take Lorentz symmetry as one of their fundamental axioms, and a violation of Lorentz symmetry could show up in either realm. However, the path from the action to experimental signatures is significantly less straightforward in the gravitational sector than in the particle physics sector. As a result, it is not as clear that the existing framework for the "gravity sector of the SME" actually captures all possible signatures for Lorentz violation in the same way that the "particle physics sector of the SME" captures all possible signatures for Lorentz violation in particle physics.
The purpose of the present work is to argue that the range of models that can be analysed within the "minimal gravity sector of the SME", as it exists, is limited. In particular, there are only two known models in this category, and their obvious generalizations do not fall into the same category. In contrast, a broad class of models containing a Lorentz-violating field can be cast into a more general form which lies outside the minimal gravity sector of the SME. While it remains an open (and ill-defined) question whether these latter models are viable, these results suggest that a broader framework for Lorentz violation in the gravitational regime may be necessary.

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 Λ = 0); the second through fourth terms are "small" couplings of tensors u, s ab , and t abcd 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., c = 8πG =h = 1). The tensors u, s ab , and t abcd 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, s ab , and t abcd 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 ξ i . By adjusting the size of ξ, we can hope to "tune" the Lorentz-violating effects. Finally, the "potential" term consists of a potential energy V(Ψ ··· ) 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 g ab 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 g ab ? 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 ∇ a 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 δg 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 F i 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 (g ab = η ab ) and a constant LV field (∇Ψ = 0). 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 δV δΨ g→η = 0.
As a particularly simple example, suppose V is a single-argument function that depends only on a Lorentz invariant X(Ψ) constructed from Ψ ··· and the metric g ab . In such an case, these equations become and and are satisfied if V(X) = 0 and V (X) = 0. 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 δG and δR 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 h ab → h ab + L v η ab andψ ··· →ψ ··· + L vΨ ··· , where v a is the vector field generating the diffeomorphism and L v 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 h ab , 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:

1.
We can obtain a linearized second-order equation for h ab 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].

2.
We cannot obtain a linearized second-order equation for h ab 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.

3.
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 h ab .
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.

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 1 ···a n : a completely antisymmetric tensor of rank (n, 0). 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 Ψ {a} is an n-form, then (dΨ) {a} is an (n + 1)-form defined in abstract-index notation as It is not hard to show that this quantity is independent of the derivative operator ∇ a 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 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 Ψ ab Ψ cd abcd as well as the tensor norm Ψ ab Ψ ab . In general, such an invariant only exists if n = d/2, where d is the dimension of the spacetime. The arguments which follow can be generalized to such cases straightforwardly). In the former work, the ξ 1 term does not exist and ξ 2 is unconstrained; in the latter work, the condition (19) (with n = 2) 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 Ψ a are contracted using an "effective metric" constructed out of the spacetime metric g ab and Ψ a 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 λ ≡ V (Ψ 2 ), δ(Ψ 2 ) is the linear variation in Ψ 2 , and the tensor (dψ) {a} ≡ δ(dΨ) {a} is defined similarly to (16). (Note that for any tensor t {b} which vanishes in the background, ∇ a t {b} = ∂ a t {b} + O( 2 )).
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 ∇ [a R bc]de = 0. At linear order, this becomes ∂ [a δR bc]de = 0, and taking the traces of this equation implies that 2∂ [a δR b]c = ∂ d δR dcab and 2∂ a δR ab = ∂ b δR. 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 δ(Ψ 2 ) only deviates by a small amount (i.e., O(ξ i )) 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 λδ(Ψ 2 ) is O(ξ i ), 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 (dψ {a} ) = O(ξ i ).
As an aside, the identity (26) can also be derived elegantly using the language of differential forms. Define d and δ as the exterior derivative and codifferential on the manifold (note that this δ is an operator that takes n-forms to (n − 1)-forms, and is distinct from the usage of δ to denote linearized perturbations in this work.) The kinetic term in (20) can be written as δdψ ψ ψ. We then have dδ(dψ ψ ψ) = (dδ + δd)(dψ ψ ψ), since d 2 = 0. This operator acting on (dψ ψ ψ) is the so-called Laplace-de Rham operator, which differs from the "conventional" tensor Laplacian = ∇ a ∇ a 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 (dψ) {a} remains O(ξ i ) 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)  . 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 O(ξ i ), and the third term is already of the desired form. It is the second derivatives of Ψ {a} that arise in (29) (the terms contracted with (B (i) ) ab cde f {g} ) that we need to eliminate. Explicitly, these tensors are If we can show that these tensors contracted with δ(∇ (c ∇ d) Ψ e f {g} ) are automatically O(ξ i ), then we will be able to write down an approximate equation, correct to O(ξ i ), that only contains various contractions of the linearized Riemann tensor with the background values ofΨ {a} . 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 δΨ 2 is O(ξ i ), implies that is O(ξ i ) as well. This allows us to eliminate any terms where we have contractedΨ e f {g} with δ(∇ (c ∇ d) Ψ e f {g} ) 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 O(ξ i ).
Enforcing the curl condition (28) allows us to eliminate more of the above derivatives. We havē Since we are assuming that (dψ) {a} is O(ξ i ) throughout the spacetime, and since the first term on the right-hand side is also O(ξ i ) via the massive mode condition, we conclude that as well. We conclude that any contraction of the formΨ c f {g} orΨ d f {g} (and by symmetry,Ψ ce{g} or Ψ de{g} ) with δ(∇ (c ∇ d) Ψ e f {g} ) will also be of the form O(ξ i ); 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 η g 1 ···g n s 1 ···s n ≡ η s 1 g 1 · · · η s n g n . If we contract (36) with the tensor η q (aΨ b) r{s} , then we obtain 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 n > 2. 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 δ(∇ c ∇ d Ψ e f {g} ). Thus, a Lorentz-violating model including an n-form LV field with n > 2 cannot be analysed in the SME gravitational framework. The exceptions are the lowest-rank cases of n = 1 and n = 2. For n = 1, the ξ 1 term (30) does not exist, and the kinetic term in the LV equation of motion contracted with η (a cΨ b) is simply These terms are exactly the remaining terms in (31) in this case, and so all non-curvature terms in (29) are O(ξ 2 ) or higher. For n = 2, the remaining terms in (30) and (31) can be combined to equal the terms explicitly written out in (37) (recalling from (19) that 4ξ 1 = ξ 2 in this case.) The remaining terms in (20) are all of the form O(ξ i ), either explicitly or via the massive mode condition, and thus, all non-curvature terms in (29) are O(ξ 2 i ) or higher. It is worth taking stock of all of the assumptions that have gone into obtaining these effective equations. Only in two cases (n = 1, and n = 2 in the case 4ξ 1 = ξ 2 ) 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).

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" h ab → h ab + ∂ (a ξ b) , 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 Ψ {b} is now an arbitrary rank-(n, 0) tensor field without any particular symmetry structure. Note the absence of any particular explicit coupling between the LV field Ψ {b} and the Riemann tensor in the Lagrangian. The linearized equation of motion for the LV field in such a model is with λ = V (Ψ 2 ), as before. In terms of the perturbationsψ {a} and h ab , the first term above becomes However, in the standard harmonic gauge Moreover, in terms of the perturbations, we have ...a n h a i b .
(The negative sign arises from δ(g ab ) = −η ac η bd h cd .) 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: ..a n h a i c ≈ 0.
In other words, via a choice of boundary condition, the LV field perturbationsψ {a} can be written in terms of the background tensor valuesΨ {a} and the metric perturbations h ab . 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 ∂ bh ab (whereh ab = h ab − 1 2 η ab h) 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 h ab 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.

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 n = 1 or n = 2.
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 Σ ab . It is conjectured in that work that models in which Σ ab 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 ξ i 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 D ··· [h] is some second-order differential operator acting on h ab , 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 O(E 2 ), 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 O(E 2 ). Given that spacetime-anisotropic deviations from the weak-field GR solution are currently bounded to about one part in 10 11 [1], this implies that the vacuum expectation value for Ψ could be no larger than about 10 −5 m P ≈ 10 12 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 h ab , 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.
Funding: This research received no external funding.