On the local structure of spacetime in ghost-free bimetric theory and massive gravity

The ghost-free bimetric theory describes interactions of gravity with another spin-2 field in terms of two Lorentzian metrics. However, if the two metrics do not admit compatible notions of space and time, the formulation of the initial value problem becomes problematic. Furthermore, the interaction potential is given in terms of the square root of a matrix which is in general nonunique and possibly nonreal. In this paper we show that both these issues are evaded by requiring reality and general covariance of the equations. First we prove that the reality of the square root matrix leads to a classification of the allowed metrics in terms of the intersections of their null cones. Then, the requirement of general covariance further restricts the allowed metrics to geometries that admit compatible notions of space and time. It also selects a unique definition of the square root matrix. The restrictions are compatible with the equations of motion. These results ensure that the ghost-free bimetric theory can be defined unambiguously and that the two metrics always admit compatible 3+1 decompositions, at least locally. In particular, these considerations rule out certain solutions of massive gravity with locally Closed Causal Curves, which have been used to argue that the theory is acausal.


Introduction and summary
Despite the overwhelming observational and theoretical evidence for physics beyond the standard model and general relativity, the absence of detailed observational data has so far hindered finding the underlying theory through the phenomenological model building. An alternative approach has been to investigate possible theoretical frameworks for the new physics guided by consistency requirements such as causal evolution and the absence of ghost instabilities, a well developed example being string theory.

JHEP05(2018)099
To recapitulate the situation from the low energy point of view, the standard model contains multiplets of spin-0, spin- 1 2 , and spin-1 fields, and the multiplet structure (with the associated symmetries, broken or exact) are critical for the consistency and viability of the model. In contrast, general relativity is a theory of a single massless spin-2 field. The low energy limits of superstring theories and other grand unification schemes lead to similar field contents; characterized by a single massless spin-2 field, and a proliferation of lower spin multiplets. Hence, in the search for field theories beyond GR, a complementary approach would be to consider theories of gravity with extra spin-2 fields, in part motivated by the observation that many of the new physics signals are gravity related. Irrespective of their phenomenological relevance, it is an interesting theoretical question to find out if such theories could exist at all, or if GR is the unique (classically) consistent theory of a spin-2 field. This question has attracted considerable attention since the early works on massive [1,2] and interacting spin-2 fields [3], 1 but remains unresolved so far. 2 The stumbling blocks to be avoided are instabilities, such as the Boulware-Deser (BD) ghost [2], and problems with causality due to nonminimal couplings of the metric. Ghost-free theories of massive gravity [6,7] and interacting spin-2 fields [8,9] have now been constructed, but the complete classical consistency of these theories needs to be further investigated.
In this paper we consider the ghost-free bimetric theory [8] which is a theory of the gravitational metric g µν , in the presence of an extra spin-2 field f µν , and without the BD ghost. We address two potentially debilitating problems that are inherent in the construction of such theories and show that both are avoided by the natural requirements of the reality of the action and its general covariance. Our results also apply to ghost-free massive gravity [6,7] which is obtainable from bimetric theory on freezing the dynamics of f µν . However, in this case the implications are somewhat weaker. Here we briefly elaborate on the problems to be resolved and then present a brief summary of our results.
In formulating the ghost-free bimetric theory one encounters two potential problems that could render the theory ill-defined from the outset. One of the problems relates to the compatibility of the notions of space and time for the two metrics g µν and f µν . Since each metric has an Einstein-Hilbert term in the action, as dictated by the absence of ghost, they come with their respective notions of space and time which, a priori, may not be compatible with each other. For example, if in any 3+1 decomposition a common spacelike hypersurface does not exist, then formulating the dynamics of the theory as time evolution of initial data on a spatial hypersurface becomes problematic from the outset.
Another problem is that the interaction potential between the metrics g µν and f µν is given in terms of a matrix S µ ν defined through the equation S 2 = g −1 f . The solutions are the matrix square roots S = g −1 f , which are nonunique and possibly nonreal. To define the theory unambiguously, one must require S to be real and also provide a criterion to specify it uniquely. Then one has to find the corresponding restrictions on g µν and f µν and ensure that they are consistent with the dynamics. JHEP05(2018)099

Summary of results
The main result of this paper is a theorem showing that the reality condition on the equations leads to a classification of the allowed g µν and f µν configurations based on how their null cones intersect. Then compatibility with general covariance further restricts the allowed configurations to metrics g µν and f µν that admit compatible notions of space and time, consistent with the equations of motion. General covariance also leads to a unique definition of the square root matrix. This is elaborated below.
To ensure that the bimetric equations always yield real g µν and f µν as solutions, we require that only configurations for which the matrix g −1 f admits real square roots are allowed. This requirement is converted into conditions on g and f , and leads to four classes allowed metric configurations classified as Type I to Type IV (including some subtypes). Each metric Type has a geometric significance. In Type I-III configurations, the metrics g µν and f µν have null cones that always intersect such that they have common timelike and common spacelike directions, hence the metrics admit compatible notions of space and time. In Type IV, the null cones touch only along two null directions (the simplest example being g = diag(−1, 1, 1, 1), f = diag(1, −1, 1, 1)) and the metrics do not admit compatible notions of space and time. In all other cases where the null cones do not intersect as above, g −1 f does not admit any real square root.
For Type I-IV configurations the real square roots S = g −1 f are not unique. In particular, Type IV metrics only admit (an infinite number of) nonprimary real square roots. For nonprimary roots, S µ ν does not transform as a (1,1) tensor and the theory will violate general covariance. To show that other configurations cannot dynamically evolve into Type IV, we note that, for Type IV metrics, S coincides with branch cuts of the square root function and, around such configurations, the variation δS is ill-defined. Hence such metrics are also excluded by the variational principle and the correct implementation of the equations of motion. We conclude that Type IV metrics are precluded by general covariance and this is consistent with the equations of motion.
For the remaining Type I-III configurations, in general, g −1 f admits multiple real primary square roots. In particular, there is a unique principal root which is always primary and, hence, always consistent with general covariance. But the remaining nonprincipal roots can continuously degenerate into nonprimary roots in certain regions of the configuration space where S µ ν will not transform as a (1,1) tensor. Hence, requiring that the theory must always respect general covariance for generic field configurations, implies that S = g −1 f must be defined as the unique real principal square root matrix which exists only for Type I-III metric configurations.
The above results ensure that (i) the ghost-free bimetric theory can be defined unambiguously in terms of the principal real square root matrix, and that (ii) the two metrics always admit compatible notions of spacetime and compatible 3+1 decompositions, at least locally. However, it should be emphasized that this does not yet address the well-posedness of the initial value problem and causal evolution, which need to be further investigated.
Finally, we comment on the issues of superluminality and causality in bimetric theory and massive gravity. In particular, we point out that some analyses of acausality in massive JHEP05(2018)099 gravity that indicate the presence of (local) closed causal curves involve configurations that are precluded by the definition of the theory described here.
The rest of this paper is organized as follows: in section 1.2 we review the origin of square root matrix in spin-2 interactions. In section 2 we state and prove the theorem on real square roots and interpret the resulting classification of allowed metrics in terms of the intersections of their null cones. The immediate implications for compatible 3+1 decompositions are discussed in section 2.4. In section 3 we discuss the restrictions that lead to a unique definition of the square root matrix, as the principle root, based on general covariance. The geometric significance of the principal square root is explained in section 3.2. In section 4 we comment on causality and superluminality issues in general and then show that massive gravity backgrounds with local closed causal curves considered in the literature are disallowed configurations. Finally, section 5 is devoted to a brief discussion of our results. Many technical details are relegated to the appendices.

The origin of square root matrix in spin-2 interactions
On general grounds, a theory of the gravitational metric g µν interacting with another spin-2 field f µν has an action of the form, Here, R g is the curvature scalar of g µν and the potential V can depend on the fields only through the matrix g −1 f and its inverse, as required by general covariance. The Lagrangian L f contains the kinetic terms for f µν and may also depend on g µν . Dropping L f and specifying f µν by hand, say, f µν = η µν , gives massive gravity in a fixed background. However, besides the five helicities of the massive spin-2 field g µν , generally such a theory also propagates a Boulware-Deser (BD) ghost [2]. Similar arguments also imply the existence of a ghost in the theory with a dynamical f µν . The challenge is to find a ghost-free combination of V and L f . The historical approach to the ghost problem, briefly described below, also sheds light on the structure of the ghost-free theory. In the massive gravity case, the choice f µν = η µν breaks general covariance. The broken symmetry can be restored by the Stückelberg trick which amounts to replacing η µν by its coordinate transformation, The coordinate functions φ a (x) are the Stückelberg fields. On decomposing these as φ a = x a +∂ a π +A a , and taking a certain flat space limit, refs. [10,11] pointed out that a ghost in the original massive gravity implies an unhealthy theory for the scalar field π(x). Namely, on setting g µν = η µν and A a (x) = 0, the replacement (1.2) amounts to,

JHEP05(2018)099
or, in an obvious matrix notation, g −1 η → (1 + ∂∂π) 2 . Then V (g −1 η) in (1.1) becomes a higher derivative Lagrangian for π(x). If this has terms with more than two time derivatives, it will suffer from an Ostrogradsky instability (an unbounded nonpositive Hamiltonian) [12]. This instability was correlated to the BD ghost of the original nonlinear theory [10]. To find a ghost-free theory, the authors in [11] required that in the limit (1.3), V should not produce terms with more than two time derivatives of π(x) and, hence, the derivatives must appear in the antisymmetric combinations, This is a necessary condition for the absence of ghost in massive gravity. It is easy to see that this condition also uniquely determines the nonlinear form of V (g −1 η) since (1.3) implies the reverse replacement, Then, eliminating the ∂ µ ∂ ν π factors through this replacement, gives the desired potential. This was implemented in [6], based on an alternative analysis of [13], which also verified the absence of the ghost at the next order. A compact general expression, based directly on (1.4) and valid for any f µν is [14], The parameters β n are linear combinations of the α n in (1.4), and e n (S) are the elementary symmetric polynomials of the eigenvalues of the matrix S whose explicit forms are not needed here. Note that the potential is uniquely determined by the necessary condition (1.4) of [11] for the absence of ghost in a specific limit. Although the reasoning is valid for f µν = η µν , we keep f µν general. An unusual feature of V is that it depends on the square root of the matrix g −1 f , which is, in general, nonunique and not necessarily real. 3 Given the potential V , one can show the absence of the BD ghost in the fully nonlinear theory [7,9,15,16]. Further work on the ghost problem in massive gravity can be found in [17][18][19][20].
Finally, the field f µν can be rendered dynamical without reintroducing the BD ghost only through an Einstein-Hilbert action. The ghost-free theory of two interacting spin-2 fields is then given by [8], A Hamiltonian analysis [8,9] shows that this theory propagates seven modes which decompose into a massive and a massless spin-2 fluctuation around Einstein backgrounds [22]. 3 The reasoning that leads to (1.5) assumes (1 + ∂∂π) 2 = 1 + ∂∂π, analogous to √ x 2 = x, whereas, on specifying a branch, √ x 2 = ±|x|. The difference can be ignored for small ∂∂π. Early works also use a binomial expansion for (1 + h) 1/2 , discussed in section 5.

JHEP05(2018)099
However, the ghost analysis in [7-9, 15, 16] relies on the assumption that the two metrics admit simultaneous 3+1 decompositions in terms of lapse and shift variables. The complete validity of this assumption follows from the results of the present paper. For a review of the subsequent developments in the field, see [23,24].
The g and f metrics can be minimally coupled (as in GR) to two different types of matter. As long as these matter types do not interact directly with each other, the theory remains ghost-free. If we identify g µν as the gravitational metric, then m f /m g → ∞ is the massive gravity limit [8,25], while m f /m g → 0 is the General Relativity limit [26].

Theorem on real square roots and intersecting null cones
In this section we first outline two potential problems that could render bimetric theory ill-defined, and then prove a theorem that addresses both issues. The implications are discussed in the following sections.

Statement of the problem
The previous section emphasized two main features of the ghost-free bimetric theory (1.7), namely, its dependence on the square root matrix S = g −1 f , and that both metrics g µν and f µν have Einstein-Hilbert terms in the action. These lead to two potential problems: 1. A square root matrix function S defined through S 2 = g −1 f is not unique and not necessarily real. It can be primary or nonprimary, furthermore, primary square roots have multiple branches (as many as 16 for a 4 × 4 matrix), and the nonprimary ones are infinite in number (appendix A contains an overview of matrix square roots). Thus, without a rule for dealing with the square root, the theory is ambiguously specified. To avoid this, the definition of the theory must include a requirement that g −1 f has real square roots, and also a prescription for selecting one of the roots (similar to requiring invertibility of g µν ). Then the question is what restrictions this choice of S imposes on g and f . 4 2. By definition, g µν and f µν are Lorentzian metrics of signature (1,3). In general, two such metrics may not admit simultaneous proper 3+1 decompositions even locally, that is, they may not admit compatible notions of space and time, leading to potential inconsistencies outlined below.
Recall that in General Relativity (GR) there always exist local coordinate systems in which the metric g µν admits a proper 3+1 decomposition, that is, with a real lapse function N and a positive definite spatial metric g ij (see, for example, [28]). This provides the spacelike hypersurfaces on which initial data can be specified for local evolution. On restricting to globally hyperbolic spacetimes, such 3+1 decompositions can be extended JHEP05(2018)099 globally [29,30]. Also, the Einstein-Hilbert action naturally splits g µν into dynamical g ij and the nondynamical N, N i variables, consistent with the 3+1 decomposition. The existence of a global time allows for a Hamiltonian formulation of the theory [31,32]. The two Einstein-Hilbert terms in the bimetric action (1.7) indicate that, for each metric, a 3+1 decomposition is still relevant for isolating its dynamical content. The absence of compatible 3+1 splits for the two metrics then leads to inconsistent evolution equations, even locally. For example, when such metrics couple to their respective matter sectors, there may not exist common hypersurfaces for specifying initial data for both sectors. Hence, consistent time evolution requires that the metrics admit compatible 3+1 decompositions (although this alone is not enough for the Cauchy problem to be wellposed). Note that in massive gravity, where the f metric is nondynamical, the existence of compatible 3+1 decompositions is not a requirement, unless the theory is regarded as a bimetric limit.
The situation is easily illustrated in terms of the null cones of the two metrics, with a few examples shown in figure 1 (a longer list is given later). 5 The null cones in case (a) have common timelike directions within their intersection, but no common spacelike hypersurfaces, hence they do not admit simultaneous proper 3+1 decompositions. In cases (b) and (c), the two metrics admit compatible 3+1 decompositions with real lapses and common spatial hypersurfaces. However, in case (b) the choice of time and space directions is not unique as the time axis can be chosen either vertically or horizontally. As a result, the notion of time orientation is not unique (an upward time axis aligns with the future of g and f cones, whereas a horizontal time axis could align with the future of g and past of f ). Only in case (c) the null cones are interlocked along common timelike directions within their intersection and have the same relative time orientation. Case (d) is a coordinate transformation of (c) and admits proper 3+1 splits for correctly chosen spatial hypersurfaces. In the fol- 5 We use the term of null cone instead of light cone. To be specific, at a point p on a spacetime manifold M , a null cone is a subset of the tangent space at p ∈ M . Relative to some metric, it is a set of all null vectors at p, excluding the zero vector. The interior of a null cone is a set of all timelike vectors while its exterior is a set of all spacelike vectors at p. A surface element through p is called spacelike if and only if its normal is timelike, and null if and only if its normal is null. A spacelike surface is one which is spacelike everywhere. A spacelike surface element through p does not intersect the null cone, i.e., it contains only the zero vector and separates the two parts of the null cone into past and future.  lowing it is enough to consider metrics up to diffeomorphisms, so cases (c) and (d) are not distinguished. 6

Definition of causally coupled and null coupled metrics
We introduce some terminology to distinguish two types of null cone intersections. Let M be a manifold equipped with two arbitrary Lorentzian metric tensors f and g, each of signature (1, n). Consider their null cones at some point p ∈ M . We say that f and g (or their null cones) are causally coupled at p if and only if there exists, through p, a common timelike vector and a common spacelike surface element relative to both f and g. Examples are shown in figure 2(a). We say that f and g (or their null cones) are null coupled at p if and only if there neither exists a common timelike vector nor a common spacelike surface element relative to both f and g at p, i.e., when the null cones touch along two null directions. Examples are shown in figure 2 For comparison, figure 3 shows typical cases when f and g are neither causally coupled nor null coupled. The above definitions are local statements about the topology of null cones, independent of the coordinate system. Recall that the interior (and the exterior) of a null cone is an open set, and that the intersection of two open sets is an open set. When the f and g null cones are causally coupled, their interiors and exteriors intersect so that one can always find an inner cone inside the intersection of their interiors. Similarly one can always find an outer cone the interior of which contains the null cones of both f and g. A special case is when one null cone is contained within the other. 6 Besides the tangent space null cones, given by gµν v µ v ν = 0, one may also consider cotangent, or momentum space null cones, g µν kµkν = 0. The momentum space null cones corresponding to figure 1(a) have the topology of case (b) and vice versa. Only in the intersecting case (c), the tangent and the cotangent space null cones have similar topology.

Statement and proof of the theorem
We now state the main result of this paper as a theorem and provide a proof.
Theorem. Let f and g be two regular Lorentzian metric tensors. A real square root of A ≡ g −1 f exists if and only if f and g are either causally coupled or null coupled.
As described in appendix A, a matrix can have several real primary square roots and an infinite number of nonprimary roots. The theorem applies regardless of which one of these is chosen, but it also provides a classification of the real roots. Then, as explained in the next section, the requirement of general covariance, leads to a unique choice for the square root.
Here we prove that the reality of g −1 f is sufficient for f and g to be causally coupled or null coupled (this is the "only if " part of the theorem). The proof of the necessary condition is less instructive and is relegated to appendix C. The strategy of the sufficiency proof is first to state the conditions under which A admits real square roots and then, for A = g −1 f , to find the corresponding restrictions on g and f using a theorem on the canonical form of a pair of matrices. We work locally at some point p of a manifold of finite dimension d = 1 + n, with 1 time and n ≥ 1 space dimensions. f µν and g µν are nonsingular real symmetric tensors. Locally, congruences Z T gZ and Z T f Z, with real Z, are equivalent to coordinate transformations at p.

Reality of the square root matrix
All eigenvalues of g and f are real, but the matrix A = g −1 f is not symmetric and can have complex eigenvalues. Let us denote its real eigenvalues by λ k , 1 ≤ k ≤ q, and the complex ones, which come in conjugate pairs, by a k ± i b k , k ≥ q + 1. A may not be diagonalizable, but it always has a Jordan normal form (see section 2.3.2). A real square root √ A exists only in the following two cases (see theorems 1.23, 1.26 and 1.29 in [33], see also [34,35]): 1. No eigenvalue of A lies on the negative real axis R − . This restricts real eigenvalues to λ k > 0, 1 ≤ k ≤ q, but there is no restriction on complex eigenvalues.
2. The matrix A has real negative eigenvalues λ k < 0, but each such eigenvalue appears in an even number of Jordan blocks of the same size.
A can be put in Jordan normal form, A = ZA J Z −1 , by some appropriate transformation Z. Then, by definition, where the square roots √ A J can be explicitly computed by standard methods (see appendix A).
√ A is a real matrix only in the above two cases even when it has complex eigenvalues, hence the action and the equations of motion will be real. Below we convert the above conditions on A into restrictions on g and f and express them in terms of null cone intersections.

Canonical form for a pair of symmetric matrices
The transformation Z that converts A to its Jordan normal form A = ZA J Z −1 is not unique. For A = g −1 f , the arbitrariness in Z can be used to put g and f in a specific form, Z T gZ, Z T f Z, determined by the structure of A J . This is accomplished by a theorem JHEP05(2018)099 on canonical pair form, a proof of which can be found in [36]. 7 Then, conditions on the Jordan normal form of g −1 f can be converted into restrictions on g and f .
The theorem on canonical pair form states that, given nonsingular real symmetric matrices g and f , there always exists a real, nonsingular transformation Z that converts g −1 f to its Jordan normal form and, at the same time, puts g and f in specific forms, 3) The first line is simply the Jordan normal form of g −1 f where J k are the n k × n k Jordan blocks (for 1 ≤ k ≤ q) corresponding to the real eigenvalues λ k of A, while C k are the n k × n k real Jordan blocks (for k ≥ q + 1 and even n k ) corresponding to the pairs of complex conjugate eigenvalues a k ± i b k of A, The transformation Z in (2.1) is not uniquely fixed since there are many matrices that commute with Jordan form on the right hand side. The freedom in choosing Z is just enough to transform g as in equation (2.2), where k ∈ {±1} are possible signs related to the signature of g, and E k = E −1 k is the n k × n k exchange (or reversal) matrix, Here, dim E k = dim J k for k ≤ q and dim E k = dim C k for k > q. Finally, given g −1 f and g, f can be computed to be (2.3). While all eigenvalues of f and g are necessarily real, this may not hold for g −1 f . Nonetheless, all matrices in the theorem are real, including Z. We again emphasize that, at any point p, the congruence or similarity transformation Z can be interpreted as a local coordinate transformation. In fact, since Z T gZ in (2.2) is the Lorentz frame metric η, at most in a nondiagonal form, Z coincides with the vielbein of the metric g in such a Lorentz basis.

Proof by enumeration
Using the above decomposition, we now enumerate all possible types of matrices g and f subject to the conditions that the real eigenvalues λ k of g −1 f are restricted by the reality JHEP05(2018)099 of g −1 f , as specified in subsection 2.3.1, while the complex eigenvalues are unrestricted. Also the following obvious restrictions apply: 1. Let ρ − (ρ + ) denote the number of negative (positive) eigenvalues of a matrix. Then, 2. The number and type of Jordan blocks may vary, yet they always satisfy dim E k = dim J k for k ≤ q, corresponding to real eigenvalues λ k , and dim E k = dim C k for k > q, corresponding to the complex eigenvalues a k ± i b k .
The signature of g, decomposed as in (2.2), imposes the following condition on the E k 's, where, for the matrices E k given by (2.5) one has, Thus, up to permutations of the blocks, Z T gZ can only have a finite number of possible forms which restrict Z T f Z accordingly, given the Jordan form of g −1 f . Denoting Z T gZ and Z T f Z as g and f for brevity, all the possibilities are enumerated below. Here, we focus on 3 + 1 dimensions for definiteness, but the results easily generalize to n + 1 dimensions.
has only one negative k , which we can assume to be 1 = −1. Then, dim J k = 1 implies g −1 f = diag(λ 1 , λ 2 , λ 3 , λ 4 ) and f = diag(−λ 1 , λ 2 , λ 3 , λ 4 ), with real λ k . The reality of the square root requires the following: (i) Either all λ k > 0, or, (ii) there exists one pair of negative eigenvalues λ i = λ j < 0 with other λ k > 0, or (iii) more than one pair of type λ i = λ j < 0, and other λ k > 0. Finally, ρ − (f ) = 1 allows at most one negative pair ruling out (iii) and also requires the negative pair to include λ 1 . Thus only two types of configurations are allowed (with λ, λ k > 0), contains either a 2×2 J 1 block or a 2×2 C 1 block, with the remaining J k being one dimensional. Then the reality of the square root and ρ − (f ) = 1 leads to (λ, λ k > 0, b = 0), The case with 1 = −1 corresponds to Type IIa with the sign of the 2×2 block reversed. When 1 = 1 the f null cone is inside the g null cone and vice versa for 1 = −1. But except for the interchange of the metrics, the topology of the intersection remains unchanged.

JHEP05(2018)099
Type Segre char. One E k with n k = 3. Here, the only allowed configuration is with 3×3 blocks E 1 , J 1 , In all the above cases g −1 has the same matrix as g; hence, reintroducing the factors of Z, the matrix of Z −1 g −1 f Z can be easily computed. The enumeration (2.9)-(2.12) is valid for all spatial dimensions n ≥ 1, while the presence of Type III is restricted to n ≥ 2. 8 Finally, the explicit construction of a common timelike vector and a common spacelike surface element for each Type is given in appendix B, completing the sufficiency proof. A comprehensive overview of the allowed configurations is given in table 1 with the Segre characteristics of g −1 f shown in the second column. 9 The possible configurations of the metrics are easily visualized in terms of the intersections of their null cones. The Z transformation deforms the cones, but does not change the nature of their intersections. For each Type, the null cones are depicted, by example, in figure 4 in a convenient coordinate system.
From figure 4 it is obvious that for the configuration Types I-III, the null cones are causally coupled, while in Type IV, they are null coupled (using the terminology of section 2.2). The permitted configuration types I-IV correspond to the null cone intersections depicted in figure 4 for all allowed values of the parameters λ, λ k , a, b. This is easy to verify analytically using the equations in appendix B, or simply by plotting the null cones for different parameter values.
Of the allowed configurations in 4 dimensions, only Type I and Type IIb can involve the full set of 20 components in f and g, with 16 components in Z and 4 components in Z T f Z. But the maximum number of independent field components is 18 for Type III, 8 In dimensions higher than d = 2, only a common positive definite part of the two metrics is affected by the additional positive eigenvalues. 9 The Segre characteristic is a descending list of integers that correspond to the sizes of the blocks in a Jordan normal form where complex blocks are designated by zz instead. The integers representing submatrices with the same eigenvalue are listed together in parentheses; for example, [ (21)  and 19 for Type IIa and Type IV. In section 3 we show that Type IV is an isolated class. However the other configurations are not isolated as discussed in the last paragraph of section 3.4. Explicit examples of the allowed configurations are the two metric ansätze considered in [42], for which null cones belong to subsets of Type IIa and Type I.

Implications of the theorem
The immediate implication of the above theorem is that the reality of bimetric equations of motion restricts the metrics to be either causally coupled (Type I-III) or null coupled (Type IV), as depicted in figure 4. Causally coupled metrics admit simultaneous proper 3+1 decompositions, hence, the equations of motion can be recast as time evolution equations, as a first step towards formulating the Cauchy problem. The interlocking of the null cones ensures that if the spacetime manifold is time-orientable with respect to the metric g, then it is also time-orientable with respect to f and vice versa. Null coupled (Type IV) metrics do not admit simultaneous proper 3+1 decompositions and would be problematic if allowed by the theory. Some of these issues will be discussed later. The simplest realization of such configurations is g = diag(−1, 1, 1, 1), f = diag(1, −1, 1, 1). In general relativity, the metric also admits a d'Inverno-Stachel-Smallwood (DSS) 2+2 decomposition [43,44], and initial data can be specified on a pair of null hypersurfaces. Since null coupled metrics share two null hyperplanes, they admit simultaneous 2+2 decompositions but still remain problematic. The next section shows that Type IV configurations can and should be consistently discarded.
Metrics that are neither causally coupled nor null coupled, as in figure 3, result in complex equations of motion and are disallowed. If such configurations occurred, timeorientability with respect to one metric would not ensure the same for the other metric. Note that, although the configuration in figure 3(b) seems to be a limit of the causally coupled Type IIb cones in figure 4, with the intersection shrunk to zero, in reality, it is not obtainable from any configuration with real g −1 f . Instead, it arises from metrics parameterized as Type IIa in (2.11), but with λ < 0, corresponding to a nonreal g −1 f .

Unique choice of the square root matrix
The reality condition alone does not determine square root matrix S = g −1 f uniquely. In this section we show that general covariance uniquely restrict S to the primary square root JHEP05(2018)099 on the principal branch, ruling out, in particular, the null coupled (type IV) configurations. This is shown to be consistent with the equations of motion, insuring that the two metrics admit compatible notions of space and time.

Choice of square root matrix from general covariance
The bimetric equations of motion have the form, 10 where G g and G f denote the Einstein tensors for g and f metrics, respectively, and the coefficients c g n and c f n are functions of Tr(S m ). Under general coordinate transformations x µ →x µ , the matrix A µ ν = g µλ f λν transforms as a (1,1) tensor toÃ( The bimetric equations will transform covariantly only if S = √ A also transforms as a (1,1) tensor, which requires that, Nonprimary square roots do not satisfy this property and hence can be discarded by the requirement of general covariance. We now show that this leads to a unique choice for the square root matrix. The nature of the square root of A is determined by its Jordan normal form A J (see appendix A). First, note that for Type IV configurations, A J = diag(−λ, −λ, λ 3 , λ 4 ) and its primary square roots contain the 2×2 blocks ± diag(iλ 1/2 , iλ 1/2 ). These are nonreal in a real basis and are ruled out by the reality condition. On the other hand, square roots containing the 2×2 blocks ± diag(iλ 1/2 , −iλ 1/2 ) have a real form in an appropriate basis which is the reason why Type IV metrics are not ruled out by the reality condition. However, the latter roots are nonprimary and violate general covariance. Thus, Type IV configurations do not admit real square roots that preserve general covariance.
In the remaining Type I-III configurations, A has no negative real eigenvalue, hence it admits multiple real primary square roots. Let us denote its distinct eigenvalues by λ i and the corresponding Jordan blocks by J i (there are 2 to 4 such blocks depending on the configuration). Then, A J = diag(J 1 , · · · , J s ). Assuming that the eigenvalues in different Jordan blocks are distinct, the different primary square roots are, Here, J  To summarize, requiring reality and general covariance of the equations restricts g −1 f uniquely to be the principal real square root which is always a primary matrix function. In particular, Type IV configurations are disallowed since their only real square roots are nonprimary. The allowed configurations are the causally coupled metrics (Type I-III) which always admit compatible 3+1 decompositions. In subsection 3.3 we will show that disallowing Type IV metrics is consistent with the equations of motion and is, in fact, also required by the variational principle.

Geometric significance of the principal root
To see the geometrical meaning of the principal square root, consider the covariant tensor, which is symmetric and nonsingular. For the principal square root, h is Lorentzian with the same signature as g and f , and its null cone contains the intersection of the null cones of g and f . This is depicted in figure 5, for Type I-IV metrics, with the h null cone shown in green. The explicit expressions are given in appendix B. The metric h can be regarded as the geometric mean of g and f , as shown in appendix D (for a more detailed analysis of h µν see [21]). 11 As discussed above, h is not a tensor in Type IV. This property of h µν can be exploited to find coordinates compatible with the 3+1 decompositions of both metrics. In general relativity, as null cones tilt during evolution, one may need to adjust the coordinate system to maintain a proper 3+1 decomposition, for example, across a blackhole horizon. In bimetric theory similar situations arise also for the relative tilt of the two null cones, as illustrated in figure 6. Let us start with a coordinate system where both metrics admit proper 3+1 decompositions in figure 6 (a), i.e., g 00 < 0 and f 00 < 0. In Gaussian coordinates adapted to g, a 'horizontal' hypersurface (the dashed 11 At the linearized level, h is a combination of massive and massless modes [22]. But minimal coupling of matter to h is not ghost-free since the vacuum energy contribution | det h| = (| det g/ det f |) 1/4 is not found in the ghost-free bimetric potential. line) is initially spacelike with respect to both metrics. As the f null cone tilts and hits the spacelike surface (b), its lapse and shifts become infinite simultaneously. Beyond that, in (c), its lapse becomes imaginary (f 00 > 0), and f ij becomes indefinite. This can be avoided by adapting the coordinates to h instead. Namely, a time direction at the 'center' of the h null cone is always within the intersection of the g and f null cones, and a hypersurface transverse to it is always spacelike with respect to all three metrics. One can implement this by starting from the local coordinates of subsection 2.3.2 which puts f and g in the canonical pair form, and then change to a new basis where h is, say, in Gaussian normal form. In such a basis, both f and g will have a proper 3+1 decomposition. 12 Implementing this in massive gravity with a fixed f µν requires the Stückelberg fields.

Type IV metrics as limits of Type IIb
Type IV configurations are not an isolated class in the algebraic sense, but arise as limits of Type IIb metrics. Here we point out that when Type IIb metrics degenerate into Type IV, S = g −1 f develops a branch cut. As will be argued in the next subsection, a consequence is that Type IV metrics are not valid solutions in bimetric theory. Type IIb metrics arise when g −1 f has complex eigenvalues, a ± i b = λ(cos θ ± i sin θ), with b = 0 or λ > 0 , θ = 0, π. Then, in a real Jordan basis, equation (2.12) gives, For brevity, we again use g for Z T gZ, etc., since the Z factors do not alter the outcome. The nontrivial block of this is a rotation matrix. On the other hand, Type IV metrics (2.10) arise when g −1 f has a pair of real negative eigenvalues, 12 It is instructive to revisit the ghost analysis of [15] in the light of this discussion. There, initially one starts with a 3+1 type decomposition without specifying the sign of f 00 . The decomposition is proper only if f 00 < 0 so that the lapse M = (−f 00 ) −1/2 is real. Then a real square root exists if x = −f 00 −n i fijn j > 0 for the given n i (see eqs. (3.22) and (3.30) in [15], also [46]). However, x > 0 holds not only for proper 3+1 decompositions but also when f 00 > 0, since then fij is indefinite. The present analysis shows that this case corresponds to a bad coordinate choice, and that at long as x > 0, a frame always exists in which the decomposition is proper. Clearly, Type IV can arise from Type IIb when θ → π, or equivalently, a < 0 and b → 0 (the limit θ → 0 leading to Type I is harmless here). We are interested in S = g −1 f in this limit. Let us first consider the square root √ a + i b ≡ √ λ √ cos θ + i sin θ. On the principal branch it has the real and imaginary parts, 13 Here, √ z denotes the principal root of z (another branch of the square root is − √ a + i b). These quantities are plotted in figure 7, for 0 ≤ θ ≤ 2π. The quantity Im √ a + i b is discontinuous at θ = π, corresponding to the branch cut along the real negative axis on the complex plane, whereas Re √ a + i b is continuous but not differentiable at the branch cut. By convention, the square root of −1 is chosen as + i. Now, the principal square root of g −1 f for Type IIb configurations (3.5) can be explicitly evaluated (see also [33,35]), and contains the 2×2 block, Here, u and v are the null cone coordinates x 0 ± x 1 corresponding to the form of g µν in (2.12). From figure 7 it is clear that at θ = π, when Type IIb goes over to Type IV, the diagonal elements S u u , S v v are not smooth while the off-diagonal elements S u v , S v u are discontinuous. Thus, at θ = π (Type IV), the variation of the square root matrix S with respect to θ is not defined. The same holds for the bimetric potential V (S). 13 Recall that on the principal branch, the real part of √ a + i b is positive while its imaginary part has the same sign as b. Thus, the principal square root of e i θ is sgn(cos θ 2 ) e i θ/2 and not just e i θ/2 .

The absence of null coupled (Type IV) configurations
So far we have argued that Type IV configurations could be discarded on the ground that they lead to the violation of general covariance. This justifies not using them as initial conditions, or as ansatz for finding solutions. However, since Type IV metrics can also arise as limits of Type IIb, they can be discarded consistently only if the equations of motion do not evolve Type IIb metrics into Type IV. Here we show that this is indeed the case and that the theory does not admit null coupled (Type IV) configurations as solutions due to the square root branch cut. This is illustrated with a simple example from mechanics. The variation of the bimetric action (1.7) with respect to continuous functions g µν has the form δ g S = d 4 x(G g µν +V g µν )δg µν , where G g µν is the Einstein tensor and V g µν arises from the variation of the potential √ −gV . Provided that V g µν are also continuous functions, the fundamental lemma of calculus of variations states that requiring δ g S = 0 leads to the equations of motion (similarly for f µν ), Let us assume that these admit solutions g and f that evolve into Type IV configurations in some region Σ of spacetime. But in this region, the potential V could not have been varied to produce the V g µν (V f µν ) in δ g S (δ f S), hence the above equations do not apply in Σ. This is a consequence of S = g −1 f being the principal square root where Type IV coincides with a branch cut.
In the parameterization of the previous subsection, the branch cut is at θ(x) = π which, generically, corresponds to a 3 dimensional hypersurface Σ characterized by the normal ∂ µ θ(x). Since the variation of √ −g V (S) is discontinuous at θ(x) = π, the variational principle can be applied piecewise for θ(x) < π and θ(x) > π, or formally, on both sides of the hypersurface defined by θ(x) = π, to yield two sets of equations of motion, where S < and S > are S evaluated on two sides of the branch cut. But there are no equation valid at θ = π. Note that the Bianchi constraints ∇ g µ V gµ ν = 0 and ∇ f µ V f µ ν = 0 are also not valid at θ = π. The variational principle does not lead to equations of motion valid for Type IV metrics showing that such configurations are not valid solutions of bimetric equations.
If a Type IIb solution, say, for θ < π, approaches Type IV, it must either be reflected back at the branch cut, or must be matched across θ = π to another Type IIb configuration for θ > π, in the spirit of junction conditions with no need for equations valid at θ = π. Which of the two scenarios is actually realized is not addressed here. Matching Type IIb configurations across Type IV could potentially lead to a problem with the relative time orientation of the two metrics, but restricting S to a single branch also preserves the relative time orientations (as discussed in appendix E).
Here we do not attempt to analyze the behavior of bimetric solutions near the branch cut in more detail, but it is instructive to illustrate the situation with an example. A simple JHEP05(2018)099 mechanical system displaying a similar behavior is given by the action, defined on the principal branch of √ x 2 = |x|. This describes a charge in a constant electric field along the x-axis which abruptly reverses direction at x = 0. The variation of the action is discontinuous at x = 0 and the variational principle yields the equation of motion, (3.14) with no equation valid at x = 0. However, continuous solutions can be easily obtained by matching the two parabolic solutions at x = 0. For λ < 0, the solution crosses x = 0 at most once. For λ > 0, the solution x(t) is an array of alternating concave and convex parabolas matched at x = 0, describing a particle oscillating about x = 0. In the mechanical system (3.14), the discontinuity at x = 0 is to be regarded as the outcome of a coarse graining approximation. At the microscopic level, the electric field of strength λ cannot be reversed abruptly but will change direction over a thin layer around x = 0. Equations (3.14) then provide an effective description at large distances. In analogy, the appearance of Type IV discontinuity may be regarded as an indication of the effective nature of bimetric theory, signaling the need for new degrees of freedom at a more fundamental level. 14 Finally, it is worth noting that in the analysis of perturbations in massive gravity [47], one needs to solve the matrix equation δ(S 2 ) = S δS +δS S to express δS in terms of δ(S 2 ). By a theorem of Sylvester, a unique solution exists if and only if σ(S) ∩ σ(−S) = ∅, i.e., when S and −S have no common eigenvalues. This property is not satisfied by Type IV metrics, which were then excluded from the analysis. Another implication of Sylvester's theorem is that for general perturbations δg µν and δf µν around Type I-III configurations, a corresponding δS exists, hence, these configurations are not isolated.

Remarks on causality and superluminality
To put our results in perspective, we briefly comment on the problems of causality and superluminality in bimetric theory. We also discuss the implications for some studies of acausality in massive gravity [48][49][50][51][52]. For convenience, the condition for bimetric theory to have meaningful dynamics can be stated in two steps.
• The covariant equations (3.10) must be writable as time evolution equations with spatial hypersurfaces for specifying initial data, at least locally. As discussed earlier, this is not self-evident in a bimetric setup.
• The initial data must uniquely determine the solutions at later times, thereby implying causality.

JHEP05(2018)099
We have addressed the first requirement, showing that the theory admits 3+1 decompositions compatible with both metrics. This provides the necessary setup for addressing the second condition, but the well-posedness of the initial value problem is not addressed here and remains an open question. However, one can already note aspects of the bimetric theory that differ from general relativity, but may not necessarily imply lack of causality. If the initial conditions (specified over an appropriate domain of dependence) uniquely determine the solution at later times then the dynamics will be causal even if the theory contains "faster than light" propagation, as explained in detail in [53]. In such cases, the equations will determine a causal cone which need not coincide with the null cone of a gravitational metric, say, g µν . Then, superluminality with respect to g µν will not necessarily indicate causality violation. In traditional single metric theories, including in general relativity, the equations of motion encode a causal cone that coincides with the null cone of g µν which thus determines the causal structure. However, as emphasized in [53], this need not be the case in more general setups. In [54] the possibility of superluminal propagation without causality violation has been discussed in a class of scalar field theories. For discussions of similar issues in some other bimetric scenarios see [55,56].
In the ghost-free bimetric theory, one expects that the Einstein-Hilbert term for each metric allows for propagation at least within the null cone of that metric. This alone means that, whenever the two null cones do not coincide, the theory could allow for the propagation of, say, f -metric perturbations or matter, outside the null cone of the g-metric, and vice versa. Interactions introduce further complexities, but spacelike propagation with respect to either or both metrics is still expected. However, as indicated above, this is not necessarily a violation of causality, provided the initial value problem is well-posed. This problem has not yet been analyzed in a conclusive way for bimetric theory. For most practical purposes, where the theory should be close to GR, the effects of propagation outside the null cone of the gravitational metric can be suppressed. Also, since observable matter couples minimally only to a single metric, say, g µν , in a ghost-free way, it is primarily sensitive to the null cone of this gravitational metric. For cosmologically relevant solutions, the g and f null cones approach each other at late times.
In any case, it should be emphasized that the bimetric potential is the spin-2 analogue of the Proca mass for vector fields, √ −gg µν A µ A ν , indicating that the theory may be incomplete in the absence of some extra Higgs-like degrees of freedom. It is possible that, in the spin-2 case, ignoring the extra degrees of freedom could cause pathologies even at the classical level. One may also have to further restrict the allowed solutions by imposing the analog of energy and hyperbolicity conditions, as in general relativity.

On the studies of acausality in massive gravity
Here, after a brief review of massive gravity in the vielbein formulation and of its initial value formulation, we point out that a number of arguments for acausal propagation in the theory is based on the Type IV and other inadmissible configurations. Thus more work, perhaps on the lines of [48], is needed to clarify the causal properties of the theory (see also [57,58]).

JHEP05(2018)099
Massive gravity theories can arise as limits of bimetric theory (m f → ∞ at fixed m g ) around classes of solutions that admit such a limit [59]. In practice, one simply drops |f |R f from the bimetric action (1.7) and treats f =f as nondynamical (e.g.,f = η, [6] or any fixedf , [14,15]). 15 In terms of vielbeins e a µ and d a µ , corresponding to metrics g µν and f µν , the interaction potential becomes [4,60], 4 n=0 β n a 1 ···ana n+1 ···a 4 µ 1 ···µnµ n+1 ···µ 4 d a 1 µ 1 · · · d an µn e a n+1 µ n+1 · · · e a 4 µ 4 . (4.1) A symmetrization constraint, d µ[a e µ b] = 0, implies g −1 f = e −1 d, insuring equivalence to the metric formulation. Although the vielbein form seems simpler to manipulate, in reality, solving the symmetrization constraint involves the same level of complication as computing a square root matrix. When f is nondynamical, there is no a priori requirement for using compatible 3+1 decompositions for f and g. However, such decompositions always exist and must be employed when the theory is regarded as a bimetric limit. Below we comment on some analysis of the initial value problem, superluminality, and acausality in massive gravity, carried out mostly in the vielbein formulation.
The initial value problem in massive gravity was addressed in [48], by selecting a time direction and expressing the equations in the quasilinear form A ab ∂ t φ b = F a , where A ab and F a are functions of the dynamical fields φ a and their spatial derivatives. The well-posedness of the initial value problem then requires that the matrix A is invertible, so that all φ a have well-defined evolution equations. However, if the theory admits field configurations such that det A = 0, then time evolution will not be well-defined. Further analysis can shed light on whether valid acausal configurations can arise in massive gravity, or if further restrictions are needed. In any case, the analysis of [48] shows that configurations with det A = 0 are not a generic feature of the theory, as had been suggested earlier.
Superluminality and acausality in massive gravity have been studied in reference [49] and related works by searching for characteristic surfaces (corresponding to maximum speed signals) that are spacelike with respect to g µν . Propagation along such a surface would be superluminal with respect to g µν . Although this, by itself, does not imply acausality, [49] argues that specific examples can be constructed where superluminality leads to the formation of local Closed Causal Curves (CCC). Here, we show that these arguments rely on disallowed field configurations corresponding to the nonprincipal square roots.
Spacelike characteristic surfaces (with timelike normals) exist if an associated characteristic matrix, say, ∆, obtained from the equations of motion, satisfies det ∆ = 0. 16 Reference [49] contains two examples of field configurations that are supposed to give det ∆ = 0. In the first example, this condition reduces to −3m 2 /2 + l 00 K j K j = 0, for some vectors K j . It is stated that if the normal to the characteristic surface (which has JHEP05(2018)099 been taken to be timelike with respect to g µν ) is not timelike with respect to f µν , then l 00 is positive. Then the equation becomes a difference of positive terms and can be satisfied; hence the superluminality. However, this scenario is not realized by the allowed configurations. In our conventions, l µν = (gh −1 g) µν , where h = gS is the metric in (3.4), depicted in figure 5. As is obvious from the figures (and can be explicitly verified from the equations in full generality), any coordinate system in which g and f admit compatible 3+1 decompositions leads to l 00 < 0. For example, in Gaussian normal coordinates adapted to g, l 00 = h 00 = −N −2 h < 0, where N h denotes the lapse of h. Obviously, l 00 = h 00 < 0 as long as the spatial hypersurface is spacelike with respect to h µν (even for a time direction outside the null cone of h). As the h null cone tilts away from the g null cone, the f null cone will hit the spatial hypersurface (invalidating the coordinate system choice) before l 00 turns positive. Hence, in this example, the superluminality constraint is not satisfied.
The second example in [49] is about the formation of Closed Causal Curves (CCC), which would imply violation of local causality. This is elaborated further in [50]. However, this construction requires that g and f are Type IV metrics which, as shown above in section 3, are not valid solutions of the theory.
Reference [52] provides new examples of backgrounds that exhibit superluminality and Closed Causal Curves, and which are not Type IV configurations. However, these correspond to choosing a nonprincipal square root which is ruled out if massive gravity is regarded as a limit of bimetric theory (but could be allowed if no extra symmetries are required). These examples amount to choosing the vielbeins as (e a µ ) = diag(A, B, C, −B) and (d a µ ) = diag(1, 1, 1, 1). Note that the metric g = e T ηe does not distinguish between vielbein e above and some e = diag(A, B, C, B) which result in opposite volume orientations det(e) = − det(e ). Also in both cases, S 2 = g −1 f = diag(A −2 , B −2 , C −2 , B −2 ). But the square root matrix S is sensitive to the difference; S = e −1 d is a primary square root, whereas S = e −1 d is a nonprimary one which we have ruled out. 17 Hence, to conclude this section, the above references do not prove that massive gravity violates causality through the formation of local CCCs, especially, when the theory is regarded as a limit of bimetric theory and defined as outlined above. Settling the question of causality in bimetric theory requires more accurate analysis that takes into account the validity of the field configurations, and of the 3+1 decompositions. For alternative approaches see, for example, [62].

Discussion
Here we briefly highlight some ramifications and limitations of our results, and the relation to the vielbein formulations.
The above results show the validity of the proofs of the absence of the BD ghosts in massive gravity and bimetric theory. The proofs were carried out in the Hamiltonian formulation assuming that the two metrics admitted simultaneous 3+1 decompositions [7-9, 15, 63] (for a detailed analysis see [64]). The analysis here shows that this is fully 17 The statement in [52], that a bimetric theory cannot be consistently coupled to matter without destroying its degree of freedom count, is inaccurate since ghost-free matter couplings are well known [8].

JHEP05(2018)099
adequate since all allowed configurations admit such a decomposition. The ghost analysis has also been carried out in covariant forms for massive gravity [19,51] and, bimetric theory [65]. In these analyses too, except for massive gravity models with β 3 = 0, one needs to invoke 3+1 decomposition to verify the validity of the constraints.
Early studies of ghost in massive gravity involved working with a binomial series expansion of √ 1 + H that holds for configurations perturbatively close to g µν = η µν [6]. As long as H remains perturbative, this is consistent with restricting the square root to the principal branch (since 1−x and |1−x| are the same for x < 1 but not for x > 1). However, if the square root is defined without restricting to a specific branch (so that √ e i θ = e i θ/2 , rather than √ e i θ = | e i θ/2 |), then its variation is continuous and Type IV metrics become regular solutions of the field equations. Restricting the square root to the principal branch avoids this problem. The choice of the branch for the square root matrix may also be restricted by ghost considerations and by requiring backgrounds with certain symmetries as in [70] for the case of Lorentz invariant massive gravity.
The results also clarify the meaning of the vielbein symmetrization condition d µ[a e µ b] = 0 [4], sometimes called the Deser-van Nieuwenhuizen gauge, although it is known not to be a gauge condition. Since solving this condition is equivalent to finding the matrix square root S [66], it involves the same challenges of multiple solutions and the choice of branch, with the same resolutions as proposed here. Our results show that the symmetrization condition can be regarded as a gauge condition only when the two vielbeins have intersecting nullcones. Real solutions do not exist otherwise. This also provides a physical justification for imposing the symmetrization condition by hand in theories where they are not necessarily implied by the equations of motion, such as in the vielbein formulation of bimetric theory with all β n = 0, [60,67] or in [68]. Conversely, when a vielbein pair cannot be symmetrized by a Lorentz transformation, the corresponding null-cones do not intersect in the ways described here.
The presented Theorem 2.3, which connects the algebraic existence of the square root g −1 f with the local geometrical relations between the null cones of f and g, is actually more general. In fact, the proof applies to any function F (g −1 f ) which requires that the eigenvalues of g −1 f are not on R − . For example, F (X) can be taken as the function X ξ ≡ exp(ξ log X) for a real ξ.
As emphasized, the statements in this paper are local and can serve as a first step towards studying causality and the initial value problem at the global level. Since global hyperbolicity is a reasonable condition in the context of GR, the logical extension would be to define a notion of simultaneous global hyperbolicity for a manifold equipped with two metrics and consistent with the bimetric equations of motion. Causality in massive gravity has recently been considered in [62] from a different point of view.
Also, as pointed out, the appearance of the branch cut associated with Type IV (and the analogy with a discontinuous electric field) could be an indication of the effective nature of the theory and could shed light on the nature of the extra degrees of freedom that have been integrated out. Then one expects that this may also have ramifications for the specific form of the quantum completion of the theory [69].

A The square root matrix function
Here we collect some properties of the square root matrix function that are used in the text of the paper (see, for example, [33]). Given an ordinary scalar function F (x) and a matrix A, one can construct a matrix function F (A). An example is F (x) = √ x , leading to the matrix square root, To make this precise, consider transforming A to its Jordan normal form, Z −1 AZ = diag(J 1 , . . . , . . . , J s ), where J i ≡ J i (λ i ) is the Jordan block corresponding to the eigenvalue λ i which could be real or complex. Then, the precise meaning of F (A) is a matrix which, in the same Jordan basis, reads (Definitions 1.2 in [33] and 6.2.4 in [35]), where, Here F (λ k ) is the scalar function and F (n) denotes its n-th derivative. When the stem function F (x) has multiple branches, the same branch must be chosen within each block.
. . . 3) The ± signs in front of the matrix reflect explicitly the possible choices of branch for λ 1/2 i which must be the same within a given block. For a real matrix A, its complex eigenvalues come in conjugate pairs and, by Theorem 3.4.5 in [41], the corresponding Jordan blocks J k (λ), J k (λ * ) can be written in a real form C k (a, b) in a real basis Z, as in equation (2.1).
The conditions for the reality of √ A are stated in subsection 2.3.1.

JHEP05(2018)099
Primary, nonprimary and principal square roots. A primary square root is specified by the condition that, if the eigenvalues appearing in two or more Jordan blocks of A are equal, then in F (A) the same branch must be chosen for all such blocks. For the remaining blocks with unequal eigenvalues, the choice of branch is unrestricted leading to multiple primary square roots. All these are expressible as polynomials in the matrix A and have useful properties, in particular, under a similarity transformation Q, they satisfy, For other functions F (x) with multiple branches, the corresponding primary matrix functions F (A) are defined in a similar way. If the matrix A has no eigenvalues on the negative real axis R − , then among its primary square roots there is a unique one with all eigenvalues in the open right half-plane, corresponding to choosing the principal branch for all blocks F (J k ). This is the principal square root of A which is real when A is real.
Nonprimary square roots arise when A has equal eigenvalues that appear in different Jordan blocks, and we do not choose the same branch for the corresponding F (J k ). Then A will have an infinite number of nonprimary square roots. An important feature of nonprimary matrix functions is that do not obey equation (A.4).
If a matrix A has negative eigenvalues, then it cannot have any real primary square root, though it could have nonreal primary or real nonprimary real roots. Furthermore, a principal square root cannot be nonprimary.
A simple instructive example is the 2×2 identity matrix A = I 2 with two equal eigenvalues +1. The primary square roots are ±I 2 and satisfy (A.4), with +I 2 being the principal square root. A nonprimary square root is diag(+1, −1) which clearly violates (A.4). In fact, Q −1 diag(+1, −1)Q generates an infinite number of nonprimary square roots of I 2 .

B Types of blocks in the theorem
In this section, we scrutinize all the allowed configurations and explicitly construct a common timelike vector and a common spacelike surface element relative to both metrics (exhibiting the causally coupled case), or alternatively show that such construction is not possible (resulting in two common null hyperplanes, i.e., exhibiting the null coupled case). This finalizes the sufficiency proof of the theorem. In the process, we also calculate the explicit form of a congruence that diagonalizes the metric of the geometric mean, h = gS.
Let us denote Z T f Z, Z T gZ and Z T hZ simply as f , g and h. The assumed parameter space is λ, λ k > 0, a ∈ R, b = 0 ∈ R. Here, it is enouth to work in 2 + 1 dimensions where all configurations of interest are realized, and where the null-cones can be easily visualized. The components of vectors in a tangent space (of which the null cones are subsets) will be denoted by t ≡ x 0 , x ≡ x 1 and y ≡ x 2 . In the following, the quadratic form h = gS will be diagonalized by an additional congruence X, so that the common timelike vector for f , g and h is always set to τ = X · (1, 0, 0) T while the common spacelike surface element to Σ = X · (0, x, y) T .

JHEP05(2018)099
Type I. This is the case where g −1 f could be fully diagonalized, and, Here, the null cones of f and g are centered (without the shifts) and may or may not intersect (depending on the combinations of λ k ≷ 1). Obviously, a congruence X which diagonalizes h is identity, and, Type IIa. The diagonalization of g −1 f is suppressed by the presence of a common tangent plane for the null cones of f and g. In this case, g is given in null coordinates, where 0 < p < 1 for λ > 0. Consequently, Type IIb. The null cone of f is rotated and dilated by a, b, where we can parameterize a = λ cos θ, b = λ sin θ with λ = √ a 2 + b 2 > 0 and θ = 0 ∈ (−π, π). (For Type IIb, necessarily b = 0, otherwise we have Type I or Type IV.) Then, g = diag( 0 1 1 0 , 1), f = diag( λ sin θ λ cos θ λ cos θ −λ sin θ , λ 2 ), (B.10) h = diag(λ 1/2 sgn(cos ϕ) sin ϕ |cos ϕ| |cos ϕ| − sgn(cos ϕ) sin ϕ , λ A congruence X which diagonalizes h reads, where cos ϕ > 0 for the principal branch. Therefore,

JHEP05(2018)099
Type III. This is the case where the diagonalization is suppressed by the presence of a common 'saddle' tangent plane for the null cones of f and g. Here, g is given in the null coordinates of t, y, A congruence X which diagonalizes h reads, This gives, Type IV. This is a special case where, The relation −t 2 + x 2 = −(t 2 − x 2 ) implies that the interior one null cone is in the exterior of the other, which does not allow the existence of a common timelike vector nor a common spacelike surface element. The intersection of the cones is set of null vectors τ = (t, ±t, 0). The two common surface elements are null hyperplanes Σ 1 = (−x, x, y) and Σ 2 = (x, −x, y).

C Proof of the necessary condition
In this section, we show that if g µν and f µν are causally coupled or null coupled, then the matrix g −1 f has a real square root. For the null coupled case, the existence of two null hyperplanes makes possible to write the metrics in the form (B.21), which is obviously sufficient for the existence of a real square root. On the other hand, for the causally coupled case, since there exists a common spacelike hypersurface, we can find a coordinate frame where we have the simultaneous proper 3+1 decomposition of both the metrics g and f , given by (in matrix notation), Here, N and M are the lapses, ν and µ are the shifts, andg andf are the spatial restrictions of g and f , respectively. Now, let X = (t, x) T be a nonzero vector in the tangent space which belongs to the null cone of the metric g that is defined by X T gX = 0, or equivalently,

JHEP05(2018)099
Note that x and ν are spatial vectors. Sinceg is positive definite, we can always find (by Cholesky decomposition) a lower-triangular e (a spatial vielbein) such thatg = e Tδ e wherẽ δ denotes the spatial Euclidean metric of the local Lorentz frame. In terms of e, (C.2) can be written in a more symmetric form, where we introduced a real parameter α for which α 2 = 1 defines the null cone, while α 2 < 1 defines its interior. By further introducing a local Lorentz frame spatial vector u, we can write (C.3) as u Tδ u = α 2 , and parameterize the null cone as the set of all null rays, that is generated by vectors u on a unit sphere |u| 2 ≡ u Tδ u = u a δ ab u b = α 2 = 1. In such case, the open set (a soft ball) α 2 < 1 correspondingly defines the null cone interior. 18 The local vector u is, of course, determined up to an O(3) rotation that keeps the spatial Euclidean metricδ invariant, i.e.,δ = R Tδ R. Geometrically, the spatial metric g (or the corresponding e) will deform a S 2 -sphere |u| 2 = 1 ("the light front" at fixed time) into an ellipsoid, further scaled by the lapse N (the local passage of time) which will finally be centered at the shift −ν (that corresponds to shear of time relative to the spacelike hypersurface). Now, let us parameterize the interiors of null cones g and f by u 1 and u 2 , respectively. Then, if the interiors of the null cones intersect, there exists some α for which we can find a common u = −Ru 1 = u 2 (up to a spatial rotation R) so that, which is the sufficient condition for the existence of the real square root [46].

JHEP05(2018)099
The upper triangular strip form in (A.2) implies that h F in (D.2) is symmetric, h F = h T F , for any stem function F . 19 Hence, a covariant tensor associated with h F can function as a metric. When F is on the principal branch, h F has the same signature as f and g. Now, take the specific stem function, for a real ξ. For this stem, we can define the composite metric, where, in particular: g 0 = g, g 1 = f , and for ξ = 1/2 (taking the principal square root), Here, we used A # B to denote the geometric mean of A and B (section 2.4 in [33]). For the null cones, the term geometric mean is well justified, since one has, in terms of the spatial partsf ,g,h and the lapses M , N and H of f , g and h, respectively, where the γ-factor ranges 0 < γ −1 = √ x ≤ 1, [46]. It is easy to verify that the set of all g ξ stays closed under the binary operation, g ξ = g ξ 1 # g ξ 2 = g ξ 1 (g −1 ξ 1 g ξ 2 ) 1/2 = g (g −1 f ) (ξ 1 +ξ 2 )/2 = g (ξ 1 +ξ 2 )/2 , (D.7) especially on the segment ξ, ξ 1 , ξ 2 ∈ [0, 1]. This makes possible the ordering g ξ 1 ≺ g ξ 2 ⇔ ξ 1 < ξ 2 , and g = g 0 ≺ g ξ ≺ g 1 = f for 0 < ξ < 1. Finally, note that the null cones of all metrics g ξ are causally coupled to each other.

E Absence of relative time orientation flip
As shown in the main text, Type IV metrics are obtainable as a limit of Type IIb when θ → π. Although, as argued in the text, Type IV metrics cannot arise as valid solutions, on the face of it, crossing θ = π could lead to a problem with time orientability. Here we show that this is not the case. Geometrically, in terms of IIb null cones in figure 4, θ is the angle between the left edge of the blue cone and the right edge of the red cone. Initially, for θ < π, the null cones have common timelike directions within their intersection. As θ → π, the intersection shrinks to zero, and the null cones touch along two null directions (Type IV in figure 4). One null direction is a limit of the common timelike vectors while the other null direction was initially on a spacelike hypersurface. If θ increases beyond π the null cones intersect again, in a new IIb configuration. However, now what was the future cone of f intersects with the past cone of g, so seemingly the two metrics develop opposite time orientations.

JHEP05(2018)099
This problem will not arise if the transition through θ = π is accompanied by a time reversal for the f metric. This is not prohibited for the following reason. The new common time directions for θ > π are not continuations of the old timelike directions for θ < π. Rather, they arise from the Type IV null direction that originated from spacelike directions for θ < π. Similarly, the spatial hypersurfaces for θ > π arise from the Type IV null direction that was initially timelike (In principle, a 2+2 decomposition can describe such a transition through θ = π). This lack of continuity in the common time directions allows for a reinterpretation of time orientation. Below we show that specifying a branch for the square root matrix indeed implements this mechanism, ensuring that the time orientations of f and g remain compatible.
When a Type IIb configuration crosses θ = π into a new Type IIb configuration, one encounters a potential problem with the relative time-orientability of the two metrics, as discussed above. We now show that the transition through θ = π is accompanied by time and space reflections of the f metric (in our parametrization) so that the relative time orientations of the two metrics remain unchanged. This can be seen directly by noting that while the f metric of Type IIb (as parametrized in (2.12)) is continuous at θ = π, its vielbein is not and exhibits the time and space reflections. The f vielbein can be easily obtained as follows. Associated with a complex number z, consider the matrix, where C(1) is the identity matrix. Then the following equations hold, where the last equation follows from (3.9). The reversal matrix associates a metric to z, f (z) ≡ 0 1 1 0 C(z),f (z) =f (1) C(z),f (z) =f T (z) .

(E.3)
Note thatf (1) ≡η is the 2×2 Minkowski metric in the null frame andf (z) is the 2×2 block of the metric f in (2.12). Since C(z) = C( √ z) C( √ z) andf (1) C( √ z) is symmetric, we can write,f = C( √ z) Hence, up to local Lorentz transformations, the vielbein off =L TηL is given bŷ But C( √ z) is the square root matrix (3.9) which is discontinuous at θ = π. Then, from (3.7) and (3.8) it is obvious that, The sign change across θ = π is due to a reflection in the time and in a space direction and ensures that the future cones of f and g continue intersecting. Embedding this setup in four dimensions and taking the congruence Z into account replaces the f vielbein by LZ but does not change the above conclusions.

JHEP05(2018)099
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.