Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: the question of the causal behavior of superluminal propagations has been often debated , in rather different contexts : tachyonic particles ( e.g. @xcite ) , field theories @xcite and quantum induced superluminal propagations @xcite . the issue is however controversial , even on specific contexts , and we intend to clarify it .    we will focus on classical field theories _ whose full action is lorentz invariant _ ( or diffeomorphism invariant whenever einstein s gravity is taken into account ) . in that case , superluminal behavior can only arises from spontaneous breaking of local lorentz invariance by non trivial backgrounds ( or vacua ) . superluminal behavior then occurs when some sector of the theory is left unbroken , so that some degrees of freedom can propagate faster than other ones @xcite . superluminal propagations induced by vacuum polarization provide well - known examples of this phenomenon . note that we define superluminal behavior as going faster than gravitons [ i.e. , gravitational waves ] . we denote @xmath0 the speed of gravitons in vacuum . this maybe unconventional definition will not affect our arguments . in the standard theory of gravity photons propagate along the gravitational metric so that this definition is the usual one in that case . our general analysis will enable us to investigate the causal behavior of any field coupled to standard gravity . we will illustrate our arguments in three important cases : k - essence scalar fields , bimetric theories of gravity and quantum induced superluminal propagations . we will make constant use of many important ideas and tools that were developed in order to investigate the causal behavior of gr , and we refer notably to @xcite .    in sec . [ causalite ] , we analyze in detail the meaning of causality in classical field theories . we stress the important role played by the notions of chronology , time arrow and cauchy problem in its definition . as an illustration , we show how causality is usually formulated in the theory of general relativity ( gr ) . we stress that superluminal propagations are automatically discarded if one assumes that causality should be defined with respect to the chronology induced by the gravitational metric . this _ postulate _ actually `` sets the [ gravitational ] metric apart from the other fields on @xmath1 and gives it its distinctive geometrical character '' @xcite . this prior assumption can not be supported by any mathematical reason but only by experiment . if superluminal propagations were found in the laboratory , it would thus _ not _ mean that causality , locality , or the entire framework of special relativity would be lost , but simply that the gravitational field does not have any fundamental geochronological character . in particular , causality should not be expressed in terms of the chronology induced by the gravitational metric field . as a consequence , it is necessary to drop such prior assumptions to address the issue of the causal behavior of superluminal fields . in sec . [ causalityandsuperluminalbehav ] we thus look for a minimal expression of causality in which no prior chronology is assumed . in that framework , superluminal propagations are generically allowed .    before moving to superluminal and causal theories , we display two well known examples of noncausal theories and notably the tachyonic one . it enables us to stress how noncausal behaviors are related to constraints on initial data . we also comment on the causal paradoxes that arise in a non causal theory . we finally briefly investigate what kind of field theory can lead to superluminal propagation . we consider in sec . [ sectionkessence ] a k - essence scalar field @xmath2 , which can propagate superluminally along an effective metric @xmath3 $ ] . we find that the scalar field is causal provided that the spacetime embedded with the effective metric @xmath4 is globally hyperbolic . here @xmath4 is the effective metric evaluated on a solution @xmath5 to the field equation ( the background ) . this condition puts some generic constraints on the free function defining the theory , and is generally satisfied on reasonable backgrounds . we emphasize that the claim that such scalar fields are not causal even on globally hyperbolic backgrounds @xcite can only hold if a prior role is attributed to the gravitational ( or flat ) metric , an assumption that , we believe , was implicit in these works . the only threat for causality actually lies in global properties of backgrounds @xcite , and this can be related to the so - called chronology protection conjecture .    in sec . [ bimetrictheories ] , we investigate the question of causality in a bimetric theory of gravity , in which the matter sector is universally coupled to a metric @xmath6 that can differ from the einstein - hilbert metric @xmath7 . these two metrics generally define two distinct `` causal '' cones . photons can travel faster than gravitons , and conversely . if causality is defined with respect to the chronology induced by the gravitational metric , then causality forces the matter metric @xmath6 to define a cone which coincide or lie within the gravitational cone , and conversely . these two choices of chronology have been considered in the literature , thus leading to opposite requirements on the theory . this will illustrate the fact that there is no clear reason why a metric , or a chronology , should be preferred to the other . we argue that the theory is actually causal if no prior chronology is assumed , but the solution to the cauchy problem depends , of course , on the precise dynamics of the matter sector .    in sec . [ sectionqed ] , we briefly show how our analysis apply to the case of quantum induced superluminal propagations . this enables us to conclude that superluminal velocities do not threaten causality , a point that were still controversial . let us emphasize that the question of causality in k - essences or bimetric theories is not just of academical interest , since these theories have drawn much attention recently . quite generally , it is claimed that causality forces one of the cone to be wider than the others ones ( be it the gravitational or the matter one ) @xcite and this puts some constraints on the theory . our motivated definition of causality will however not support these claims . such a k - essence scalar field was notably used as a ( dynamical ) dark energy fluid responsible of the late time acceleration of the universe @xcite , as well as a fluid that drives inflation @xcite . it is also used as a new gravitational field in addition to the metric one in some relativistic theories of modified newtonian dynamics ( mond ) , that are intended to account for the mass discrepancy at astrophysical scales without invoking dark matter @xcite . some of these models were notably discarded because of the presence of superluminal propagations . bimetric theories are also an essential piece of some recent mond - like theories @xcite ( see also @xcite ) . moreover , it represents the best motivated framework that reproduces a varying speed of light scenario @xcite that may address the problems of standard cosmology in a rather different way than inflation does . indeed some vsl theories , in which the speed of light @xmath0 is replaced by a changing velocity @xmath8 _ inside _ the equation of motions @xcite , however interesting phenomenologically , are not satisfying theoretically @xcite ( the resulting theory can not be derived from an action ) .    in the last section [ applications ] , we consider some applications of our work to these field theories . we investigate the links between causality and stability in k - essences theories . we show that ( k - essence ) ghosts stabilization might suffer from a serious problem . we also show that , if one reproduces the mond phenomenology with the help of a k - essence scalar field , then a slight modification of milgrom s law is necessary for the theory to be causally well - behaved . it leads to a non trivial modification of the phenomenology in the very low acceleration regime . we also comment on a simpler theory that reproduces the mond phenomenology , using only one scalar field . the initial value formulation of this theory has still to be checked and we leave it for further work . we briefly show how this framework can account for the pioneer anomaly , and we finally make some comments about vsl theories . we use , throughout the paper , the sign conventions of @xcite and notably the mostly @xmath9 signature . the flat metric is denoted @xmath10 or @xmath11 in a coordinate system . we denote @xmath7 the gravitational metric field ( which obeys the einstein equation ) and @xmath6 the matter metric to which matter field couples . unless specified , indices are moved with the help of the gravitational metric @xmath7 . in the present paper , we are interested in the superluminal behavior of some matter fields in a gr - like context . the metric field @xmath7 follows the dynamics induced by the einstein - hilbert action . by spacetime we will always mean a couple ( @xmath12 ) , where @xmath1 is a four - dimensional differentiable manifold and @xmath13 some non degenerate lorentzian metric on it . a superluminal signal , _ by definition _ , propagates along spacelike curves of the gravitational metric @xmath7 . by causality we usually mean the ability to find a cause to an effect . since cause and effects are both described in terms of some physical variables , the usual principle of causality states that physical variables should be unambiguously determined at a given time from their values at a time before . we also demand that this retrodiction can be converted forward in time , so that we should also be able to predict a future situation from a present one . the principle of causality thus requires that determinism holds `` in both directions of time '' . causality demands the existence and uniqueness of solutions to the equations of motion given some initial data . in mathematical words , equations of motion must have a well - posed cauchy problem , or initial value formulation . note that this definition shows that a time - ordering , or chronology , must exist between two spacetime points that are causally connected . unlike newton s theory where a global chronology preexists to dynamics because of the prior topology assigned to spacetime , namely @xmath14 , field theories ( including einstein s gravity ) do _ not _ involve a preexistent notion of time and chronology . on the contrary , any relativistic field @xmath15 defines its own chronology on @xmath1 by means of the metric @xmath16 along which it propagates . any lorentzian metric indeed induces a local chronology in the tangent space through the usual special relativistic notions of absolute ( i.e. , lorentz invariant ) future and past . let us consider one particular field @xmath17 that propagates along a metric @xmath13 . it is important to note that this metric may not induce a global chronology on the whole spacetime . this is the case if local causal cones of @xmath13 are distributed on the manifold in such a way that there exists a curve over @xmath1 which is everywhere future - directed timelike but closed . in that case , the field @xmath17 propagates along a closed curve and an event could be _ both _ the cause and the effect of another event . causality requires that it does not happen . the strongest way to prevent it is to require the global hyperbolicity exists @xcite . it can then be proved that the spacetime has the topology of @xmath18 , so that a global time function , i.e. , a global chronology exists . ] of the spacetime ( @xmath12 ) . let us emphasize that causality also requires a notion of time flow . it is indeed worth recalling that even if the above metric @xmath13 defines a global notion of future and past , we have also to require that the field @xmath17 can only propagate in the future . if it could , on the contrary , propagate both in future and in past , one could always form a closed timelike curve with it . on the other hand , global hyperbolicity is enough to guarantee that no closed _ future - directed _ timelike curves ( cftc ) exists .    when there is a finite number of metrics @xmath16 on @xmath1 , the discussion of global properties is slightly more involved , see sec . [ causalityandsuperluminalbehav ] . let us illustrate the previous discussion . in gr , causality is generally expressed by the following properties @xcite :    1 .   the gravitational metric @xmath7 must define a global chronology on spacetime . 2 .   `` the null cones of the matter equations coincide or lie within the null cone of the spacetime metric @xmath7 '' . @xcite 3 . the whole set of equations of motion must admit a well - posed cauchy problem . the point ( a ) guarantees the existence of a global time ordering on @xmath1 and the point ( c ) is the formal expression of determinism . note that it is a non trivial mathematical property of systems of differential equations . its satisfaction in gr therefore critically depends on the precise dynamics of the matter sector . the point ( b ) excludes faster - than - graviton propagation . equivalently then , it means that any initial data set on spacelike hypersurfaces with respect to the gravitational metric @xmath7 are allowed . since the metric @xmath7 defines a global chronology on spacetime , so does any other metric @xmath16 associated to the propagation of some matter fields ) is globally hyperbolic and if @xmath19 is a metric whose null cone coincide or lie within the null cone of the metric @xmath13 _ everywhere on _ @xmath1 , then ( @xmath20 ) is globally hyperbolic . ] . the conditions ( a ) and ( b ) therefore ensures that no cftc exist for any metric ( be it @xmath7 or any metric @xmath16 ) . let us emphasize that , in the above formulation ( a)(c ) , the gravitational metric field clearly plays a preferred role . both conditions ( a ) and ( b ) are such that causality is actually defined with respect to the chronology induced by the metric @xmath7 . this can be understood as a `` _ _ postulate _ _ which sets the metric * g * apart from the other fields on @xmath1 and gives it its distinctive geometrical character '' ( @xcite @xmath21 , emphasis added ) . the chronology defined by @xmath7 is thus assumed to be a preferred one on @xmath1 . this postulate is however arguable because , as we pointed out , any relativistic field induces its own chronology on spacetime . it notably means that if a signal made of waves of some field @xmath15 propagates between two spacetime points , then these points can be time - ordered with the help of the metric @xmath16 , and causality may be preserved even if the field propagates superluminally . the gravitational metric field @xmath7 is just one particular field on @xmath1 and there is no clear reasons why it should be favored . let us finally stress that the three conditions ( a)(c ) are actually not sufficient to guarantee ( usual ) causality . indeed , if information were allowed to travel as well forward as backward in time , as it is the case in any time reversal invariant theories , then it would be always possible to have information running along a closed curve in spacetime . thus the absence of cftc does not suffice to guarantee the usual notion of causality , unless one specifies that a _ flow _ of time exists and that information can only go forward in time . the three points ( a)(c ) are clearly time - reversal invariant statements and therefore can not address this issue . note that both classical and quantum field theories are time - reversal invariant so that they may not be considered as `` causal '' in the usual sense . the emergence of the flow of time from thermodynamics in quantum field theory is a quite involved question that we will not consider here . in the present paper , we will therefore restrict ourselves to such a time - reversal invariant notion of causality , but one should keep in mind that thermodynamics may be the key to understand fully the ( coarse - grained ) notion of causality .      we stressed that superluminal behaviors are automatically discarded by the above postulate . one may try to justify it by arguing that , since @xmath7 reduces locally to @xmath10 and therefore gives to the tangent space its special relativistic ( minkowskian ) structure , going faster than gravitons would `` undermine the entire framework of relativity theory '' @xcite . let us however stress that any other metric @xmath16 can also be reduced locally to its fundamental form in adapted `` inertial '' coordinates . these coordinates transform under the action of the lorentz group @xmath22 with an invariant speed @xmath23 _ that can differ from _ @xmath0 , if the cones of @xmath16 and @xmath7 do not coincide [ due for instance to some spontaneous breaking of local lorentz invariance , see sec .  [ causatheoriessuperluminiques ] ] . these coordinates are actually relevant if one uses rods and clocks made of the field @xmath17 that propagates along @xmath13 . the fact that @xmath7 reduces locally to the flat spacetime metric can therefore not be used to claim that @xmath7 should be a preferred field on @xmath1 . we will come back to this important point later , see sec . [ bimetricsuperlum ] . we may therefore drop the above postulate and look for a minimal expression of causality in which no prior chronology is assumed . let us consider a collection of fields @xmath15 that propagate along some metrics @xmath16 ( gravity included ) . we are led to the picture of a finite set of `` causal '' cones at each points of spacetime . we do not want to prefer one metric with respect to the others , because there is no reason why , locally , some sets of coordinates , or some rods and clocks should be preferred : coordinates are meaningless in gr . the cones defined by the metrics @xmath16 may therefore be in any relative position with respect to one another . moreover , these cones may even tip over each others depending on the location on spacetime . we have however to guarantee that no signal can propagate along a closed curve . for this it is not sufficient to require the global hyperbolicity of each spacetime ( @xmath24 ) . indeed , fields may interact together , and we may form a physical signal which propagates on spacetime along different metrics . we shall rather define a extended notion of future - directed timelike curves , by requiring that at each point of the curve , the tangent vector is future - directed timelike with respect to _ at least _ one of the metrics @xmath16 . such a construction have been already advocated in @xcite . all the ( extended ) notions of future , past , domains of dependence , achronal sets , cauchy surfaces , global hyperbolicity then follow . this corresponds to a `` mixed '' notion of chronology : a point @xmath25 is in the ( extended ) future of @xmath26 if it is in the future of @xmath26 for at least one of the metrics @xmath16 , see fig . ( [ figurefuture ] ) . a spacetime interval is thus spacelike in the extended sense if it is spacelike with respect to _ all _ metrics @xmath16 . the hatched part shows the extended future defined by two metrics ( solid and dashed lines ) in the case where one metric defines a wider cone than the other one ( left ) , and in the opposite case ( right).,width=6 ]    causality then requires that a global ( mixed ) chronology on spacetime exists . in other words , spacetime must be globally hyperbolic in that extended sense . this straightforward generalization enables us to express the miniminal formulation of causality by the following properties :    1 .   the mixed chronology defined by the set of metrics @xmath16 must be a global chronology on spacetime . the whole set of equations of motion must admit a well - posed cauchy problem . the formulation of causality ( a)(c ) is immediately obtained from these more general requirements whenever the matter light cones coincide or lie within the gravitational one . we thus see that fields can propagate superluminally without threatening causality provided that we do not refer to any preferred chronology on spacetime . the cauchy problem of some field @xmath17 will be well posed depending on the precise equation of motion , and if initial data are set on surfaces that are spacelike with respect to the metric @xmath13 along which it propagates . moreover , if we are interested in the whole theory ( gravity included ) , the cauchy problem will be well posed if initial data are set on surfaces that are spacelike in the extended sense , that is _ spacelike with respect to all metrics @xmath16 _ ) . it must be stressed that , in gr , the fact that @xmath7 defines a global chronology can not be proved , for the reason that local physics does not determine the topology of spacetime , which could however prevent the existence of a global chronology . this the case for instance , of non time - orientable spacetimes . moreover , there exists exact solutions to the einstein equations that do not describe globally hyperbolic spacetimes , as explicitly shown by the kerr solution , which possess closed timelike curves , or gdel s universe . einstein equations thus admit solutions that violate causality . this difficulty is entirely subsumed into the so - called chronology protection conjecture @xcite that asserts that the local laws of physics are such that they prevent the formation of cftcs in spacetime . this has not been proved yet , so that we usually assume from the beginning that spacetime ( @xmath27 ) is globally hyperbolic . as long as the conjecture is not proved , such a restriction is not dynamical , but of epistemological nature@xcite . let us stress that in our extended framework , and notably in presence of superluminal matter fields , we will not be able to prove either that the condition ( a ) holds . we will have to _ assume _ that spacetime is globally hyperbolic in the extended sense . again , if we were able to prove the chronology protection conjecture , we would not have to make such a non trivial assumption . we will discuss further this point in sec . [ kessencesglobal ] .    in other words , the condition ( a ) will have to be imposed by hand , just as in gr . as we already explained , we will not consider the issue of the existence of the flow of time , and thus , in the following , we will mostly be concerned by the point ( b ) . we provide in the next section two examples of theories that do not admit a well - posed cauchy problem . it enables us to show the deep relationship between non causal behaviors , closed curves in spacetime and constraints on initial data . an obviously non causal theory is an elliptic klein - gordon scalar field with an equation of motion @xmath28 , and where the metric @xmath13 has the signature @xmath29 . this elliptic equation does not have a well posed cauchy problem . it can be simply interpreted as the fact that this euclidean metric does not select the time coordinate as special compared to the spatial one . there is thus no available notion of propagation and initial data on three - surfaces can not be propagated in four dimensions . on the contrary , a lorentzian signature for @xmath13 guarantees that the equation is hyperbolic and that , by virtue of well - known theorems @xcite , the cauchy problem is well posed . we consider now the more interesting case of tachyonic particles . by tachyons we mean particles or signals that can be sent at a superluminal speed relative to the emitter ) ] . as correctly recognized in many papers in the literature , tachyons are not causal ( see , e.g. @xcite ) . indeed , they can always be used construct closed curves in spacetime along which a ( tachyonic ) signal propagate . consider for instance an observer @xmath30 who sends at time @xmath31 a signal to observer @xmath32 ( event @xmath33 ) , who in turn sends a signal back to @xmath30 , at time @xmath34 ( event @xmath35 ) . this last signal can be received by @xmath30 at a time @xmath36 ( event @xmath37 ) , if signals can be sent from @xmath32 at a superluminal speed and if @xmath30 and @xmath32 are in some relative motion at a speed @xmath38 , see fig . ( [ figuretachyons ] ) . information can therefore propagate along the closed curve in spacetime ( @xmath39 ) . the closed curve followed by the tachyonic signal viewed in the rest frame of @xmath30 . the tachyon is sent by @xmath30 at time @xmath31 ( event @xmath33 ) and received by @xmath32 at time @xmath34 ( event @xmath35 ) . since @xmath32 moves with respect to @xmath30 , the tachyonic signal he sends back to @xmath30 is actually received before it was sent , at time @xmath40 ( event @xmath37 ) . the thin line represents the minkowski cone , and horizontal and vertical lines are the space and time axis in the frame of @xmath30.,width=6 ]    the theory is not causal because an event along this curve will influence itself , after the signal had gone one time round the curve . such an event is thus not freely specifiable , and we see that propagation of information along a closed curve in spacetime _ always _ lead to constraints on initial data . on the contrary , if the cauchy problem were well posed for such a theory , it would notably mean that there exists surfaces on which initial data can be freely specified ( up to possible constraints arising from gauge invariance , if any ) and unambiguously evolved with time . it shows that the present theory can not possess a well posed cauchy problem .      before going further , let us comment the previous experimental device . suppose ( situation @xmath41 ) that , if @xmath32 receives a signal from @xmath30 , he sends a signal backwards in time to @xmath30 . then @xmath30 receives a signal at time @xmath42 and is thereby _ forced _ to send a signal to @xmath32 an instant later . it explicitly shows the constraints that appear in the case of propagations along closed curves . a temporal ( or causal ) paradox can even arise if we consider the following experimental device ( situation @xmath43 ) : when @xmath32 receives a signal from @xmath30 , he sends him back a signal , and @xmath30 sends a signal to @xmath32 _ only if _ he did not receive anything from @xmath32 . one may wonder what happens in that case . if @xmath30 receives a signal from @xmath32 , he will not send a signal to @xmath32 who in turn would not send a signal back to @xmath30 , and this contradicts the hypothesis . the other possibility , when @xmath30 does not receive anything from @xmath32 , is also inconsistent . this is in fact a version of the famous `` grandfather paradox '' . remarkably , there is no answer to the above question `` what happens ? '' . it is however immediate to see that this question implicitly assumes that the knowledge of the initial data at time @xmath42 for instance ( @xmath30 receives a signal from @xmath32 or not ) is enough to determine what will happen `` later '' along the curve . this question thus assumes that causality ( or determinism ) holds , whereas it can not even be defined , since there is no available notion of time - ordering along a closed curve . on the contrary , we have seen that such a closed curve leads to constraints on initial data . the event at time @xmath42 is strongly correlated to itself so that the only relevant question reads `` are any of the two initial conditions : @xmath30 receives -or does not receive- a signal from @xmath32 allowed ? '' . clearly the answer to this last question is negative . let us emphasize that situation @xmath43 ( the grandfather s paradox ) is often taken as an example of bad causal behavior induced by tachyonic particles ( or accordingly , induced by the use of time machines ) . this point is however not justifiable because the paradox only arises if we ask the wrong question . this experimental device simply _ can not _ exist since there is no initial data consistent with it . there is nothing to do here with causality , but only with logics : temporal paradoxes do not exist . on the other hand , the noncausal situation @xmath41 can exist ( constrained initial data exists that correspond to this experiment ) . tachyonic particles propagate superluminally and violate causality . this does not mean however that any superluminal propagations does . indeed , the closed curve in fig . ( [ figuretachyons ] ) can only be constructed if the speed of the tachyonic signal depends on the speed of the emitter in the rest frame of @xmath32 , and then deduces , using a lorentz boost , that it travels backward in time in the frame of @xmath30 , see @xcite . ] . this is not the case in metric description of superluminal propagations that we will mostly be concerned with .    here we wish to investigate briefly what may look like a field theory that involves superluminal propagation . in a theory whose whole action is lorentz - invariant , the only possibility to open up the causal cones is to modify the propagational part of the dispersion relation . it can be achieved by adding higher - order derivatives in the action , but unless these terms arise from the low energy limit of some uv - complete theory , the theory is generically unstable @xcite . superluminal behavior for instance arises from quantum corrections to electrodynamics in non trivial vacua , see sec . [ sectionqed ] . on the other hand , we could still have second order , but nonlinear , equations of motions . we will consider two examples of such theories in the following sections . this nonlinearity , which is essential to obtain unusual dispersion relations , leads to a background - dependent cauchy problem . accordingly , lorentz invariance of the action is spontaneously broken through non trivial backgrounds and it allows superluminal propagations . note also that the speed of small perturbations around the background only depends on the background and _ not _ of the motion of the emitter . superluminal signals in field theories are not tachyonic in the sense indicated in the previous section . note that we could also have considered non - lorentz invariant lagrangians like @xmath44 , where @xmath45 . we will not consider such lagrangian in the present paper . in practice , the theories we will consider will lead to similar field equations , but only through a spontaneous breaking of local lorentz invariance by non trivial backgrounds . let us consider a so - called k - essence scalar field theory , whose action reads @xmath46.\ ] ] where @xmath47 and @xmath48 and @xmath49 are some functions , @xmath50 some mass scale and @xmath51 . hereafter we also take @xmath52 . note that the more general form @xmath53 is often considered , but the following arguments also apply to this case . let us first neglect the coupling to gravity which will be considered later , and consider that @xmath7 is flat . the field equation then reads @xmath54 where the effective metric @xmath55 is given by @xmath56 and a prime denotes derivation with respect to @xmath57 . scalar waves propagate inside the `` scalar cone '' defined by this effective metric . this cone generally differs from the gravitational one unless @xmath58 , see sec . [ superluminalkessence ] . this equation is a special case of quasilinear second order differential equation . a theorem due to leray then proves @xcite that this equation has a well posed cauchy problem if spacetime ( @xmath59 ) is globally hyperbolic , where @xmath4 is the effective metric evaluated on a solution @xmath5 to the field equation eq . ( [ eqchampkessencemat ] ) . hereafter , we will refer to @xmath5 as the background . the initial data have to be specified on three - surfaces that are spacelike with respect to the background metric @xmath4 , in deep connection with the discussion of sec . [ causalityandsuperluminalbehav ] . a necessary but not sufficient condition for global hyperbolicity is the lorentzian signature of the background metric @xmath4 , which notably ensures that the field equation is hyperbolic . by diagonalization of the matrix @xmath4 , we find that its signature is @xmath60 everywhere over @xmath1 if and only if    [ condhyperkessencemat ] @xmath61 @xmath62    where @xmath63 . _ in particular _ , if the function @xmath48 is such that the above inequalities are satisfied for all @xmath57 , the metric @xmath4 will have a signature @xmath60 on any background . notice that the sign of the above inequalities eq . ( [ condhyperkessencemat ] ) can be reversed . this would however correspond to a metric @xmath4 with signature @xmath64 and the scalar waves would carry negative energy . the theory would therefore be unstable when coupled to other fields ( notably gravity ) . we exclude here this possibility , although it should be stressed that it comes from a stability argument , and not from some causal requirement . in presence of gravity the cauchy problem has to be solved simultaneously for the gravitational variables and for the matter ones . it has been proved ( see for instance @xcite ) that the cauchy problem is well posed if matter fields satisfy `` reasonable '' equations of motion and if the stress - energy tensor of the matter fields only involve matter variables , the gravitational metric , and their first derivatives . this is notably the case of k - essence theories , as can be easily checked . locally therefore , the whole theory has a well - posed cauchy problem .      the analysis of the characteristic of the field equation eq . ( [ eqchampkessencemat ] ) shows that the scalar field propagates superluminally if @xmath65 , where we used that @xmath66 by virtue of eq . ( [ condhyperpositive ] ) . as it will be useful later , let us remind that any field which propagates along an effective metric of the form ( up to some positive conformal factor ) : @xmath67 where @xmath32 and @xmath68 are respectively some scalar and vector field , is superluminal if @xmath69 . notice that the opposite sign for @xmath32 is found in @xcite because of the opposite choice of signature . the above theorem and our analysis of the meaning of causality in sec .  [ causalite ] enable us to conclude that k - essences theories are causal in flat spacetime whenever the background ( @xmath70 ) is globally hyperbolic , even in presence of superluminal scalar waves . again , this conclusion holds only if we do not refer to any preferred chronology . it was however claimed @xcite that k - essences theories are not causal even if the background is globally hyperbolic . here we emphasize that these claims can only be supported by the postulate that the gravitational ( here , the flat ) metric induces a preferred chronology on @xmath1 , a point that , we believe , is implicitly assumed in these references . the main argument which rules out superluminal propagations is indeed that the cauchy problem for the scalar field is not well posed for initial data that are set on surfaces which are spacelike _ with respect to the flat metric _ but timelike or null with respect to the background metric . in that case , initial data can not be evolved because of caustics @xcite , and the hamiltonian formalism is singular @xcite . let us however stress that it is not surprising in view of leray s theorem , since it proves that initial data surfaces for the scalar field must be spacelike _ with respect to the background metric_. if initial data are set on these surfaces , the theory is free of such singular behaviors . this claim therefore only arises from an unadapted choice of initial data surfaces , i.e. , from the postulate that the gravitational metric defines a preferred chronology . this postulate actually prevents _ any _ superluminal propagation , as we explained in sec . [ causalitegr ] . in such a case , superluminal behavior is ruled out _ from the beginning _ , but not by some intrinsic ( mathematical ) arguments . the only threat for causality lies in fact in global properties of the background . it has been correctly recognized in @xcite that the spacetime ( @xmath71 ) may not be always globally hyperbolic . in particular closed timelike curves ( with respect to the effective metric ) could exist . let us first stress that in general however , the spacetime ( @xmath59 ) is globally hyperbolic . it is notably the case in trivial backgrounds @xmath72 , and in non trivial but homogeneous ( in a certain lorentz frame ) backgrounds @xmath73 , which may be relevant in a cosmological context . note that these backgrounds have to be solutions to the equation of motion eq . ( [ eqchampkessencemat ] ) . in the first case , @xmath5 has thus to be an extremum of the potential , whereas in the second one , @xmath5 is not constant in spacetime and the potential must be flat over some range , or more simply vanish . in these two important cases , the spacetime ( @xmath74 ) is globally hyperbolic and , by virtue of the previous theorem , the cauchy problem is well posed and the theory is causal .    since the global hyperbolicity of spacetime ( @xmath75 ) must be assumed in gr , as we explained in sec . [ causaliteglobal ] , we may as well assume that spacetime is globally hyperbolic in the extended sense , see sec . [ causalityandsuperluminalbehav ] . such an assumption obviously requires that eq . ( [ condhyperkessencemat ] ) hold , and automatically ensure that the whole theory of the k - essence scalar field and gravity is causal . the relevant cauchy surfaces in that case are hypersurfaces that are spacelike with respect to all metrics ( gravitational , scalar and others matter metrics ) . note that this is a non trivial ( and maybe arguable ) assumption . let us however stress that it must also be assumed in the context of gr and standard matter alone so that the fact that non trivial global properties may break causality does not appear to be rooted in superluminal propagations . this assumption may actually be linked to the chronology protection conjecture , as shown by the following example . let us consider the highly non trivial and non globally hyperbolic background invoked in @xcite . it consists of two `` bubbles '' of non trivial backgrounds @xmath76 that move rapidly in opposite directions with a finite impact parameter . the space is otherwise empty ( trivial background @xmath77 ) . small scalar perturbations thus travel superluminally inside the two bubbles , and along null rays of the flat metric outside them . the fact that the two bubbles are in relative motion implies the existence of cftc ( timelike with respect to the background metric @xmath4 ) . it should however be stressed that such a background is _ not _ relevant since it is not a solution to the equation of motion eq . ( [ eqchampkessencemat ] ) . indeed , the derivative of the field @xmath5 is not continuous at the transition between the bubbles and the empty space . some dirac - like source terms should be added to the equation of motion to accommodate such a background . on the contrary , a physical solution involving such two bubbles should exhibit a continuous transition from their interior to the empty space . of course it may turns out that even in this more realistic situation the background is still not globally hyperbolic , but the contrary could also happen , and it would be an illustration of the chronology protection conjecture . we did not try to perform this analysis , but it may be interesting . a very similar case was discussed in @xcite in the context of casimir experiment , see sec . [ sectionqed ] . note that an analogous case has also been found in the context of gr by gott @xcite , who showed that two straight infinite cosmic strings moving in opposite directions with a finite impact parameter lead to the formation of cftc in spacetime . again , it shows that these difficulties with causality at a global level already exists in the context of gr and subluminal matter , and should not be related to some intrinsic problems of superluminal propagations . by multi - metric theories of gravity we mean theories of gravity in which some degrees of freedom of the matter sector are coupled to some matter metrics @xmath78 distinct from the gravitational one @xmath7 . the fact that different matter fields are coupled to different metrics breaks the weak equivalence principle ( wep ) , which has been tested with great accuracy . as a special case , a bimetric theory of gravity is a theory where all the matter fields are coupled to the same metric @xmath6 . this ensures that the wep is satisfied . gr is just the special case @xmath79 . a typical example is scalar - tensor theories of gravity in which @xmath80 , at each point of @xmath1 , and where @xmath81 is a smooth real - valued function over @xmath1 . dynamics of the scalar field @xmath81 arises from a standard kinetic term ( but could also be of k - essence type ) . because of the conformal relationship between @xmath7 and @xmath6 , the two cones defined by these two metrics coincide , and there is no superluminal propagations .    in general however , we could have non conformal relation between these two metrics . consider for instance , the so - called disformal relation @xcite @xmath82 where @xmath30 and @xmath32 are some functions of the scalar quantity @xmath83 , and @xmath84 is a vector field . when this matter metric is of lorentzian signature , the matter light - cone ( defined by @xmath6 ) can be wider than the gravitational cone ( defined by @xmath7 ) , depending on the sign of @xmath32 . this disformal relation is an essential piece of some recent relativistic field theories of the mond paradigm @xcite .      throughout this paper , we defined superluminality as the propagation along spacelike curves of the gravitational metric . but we could also have defined it as going faster than light ( photons ) . these definitions coincide in gr but not in bimetric theories since @xmath85 . in that framework , there are two opposite definitions of superluminal behaviors . photons can travel faster than gravitational waves and conversely . it is thus not clear which of these two superluminal behavior we have to worry about . this is closely related , again , to the choice of a preferred chronology . if one assumes that the gravitational metric field induces a preferred chronology with respect to which causality should be defined , then , as in sec . [ causalitegr ] , the matter light - cone must coincide or lie within the gravitational one everywhere on spacetime . it was , on the contrary , claimed in @xcite that , since rods and clocks are made of matter , the matter metric @xmath6 should be somewhat favored , in the sense that in order to preserve causality , no propagations should escape the matter light - cone . in particular , this cone should be wider than the gravitational one . very interesting is the fact that this postulate is the exact opposite of the previous one . it is perhaps the best way to show that there is no clear reason why one metric should be preferred to the other . this confusion can be easily understood . let us go further in the discussion of sec . [ causalityandsuperluminalbehav ] . whenever @xmath6 is lorentzian and disformally related to @xmath7 , we have at hand two metrics which reduce locally to constant metrics @xmath86 and @xmath87 . as a consequence , there exist two classes of inertial coordinates for which one of these two metrics _ but not both _ , reduce to its fundamental form @xmath10 . inertial coordinates of each class transform under the action of the lorentz group @xmath22 with a _ _ different invariant speed _ _ , see @xcite . ] . let us emphasize that in gr , superluminality is defined as the propagation on spacelike curves with respect to the gravitational metric mainly because the latter is thought to be `` the '' spacetime metric , since it reduces locally to @xmath10 . we already stressed in sec . [ causalityandsuperluminalbehav ] that any lorentzian can actually take this form locally , so that it could also be viewed as the spacetime metric . the framework of bimetric theories considerably enlighten this point . in a sense , indeed , we have two `` natural '' metrics and there is simply no way to decide which of these two metrics should be `` the '' spacetime metric . accordingly , there are two natural chronologies and two locally invariant speeds . the above two classes of inertial coordinates corresponds to rods and clocks made of matter or gravitons . bimetric theories thus clearly show the irrelevance of postulating a preferred chronology . let us also stress that without such a postulate , the notion of superluminal behavior becomes itself irrelevant . the only point , as far as bimetric theories are concerned , is actually that the ratio of the speed of gravitational waves to the speed of photons for instance , vary in space and time . this is the reason why such a framework should be considered as the best motivated one that reproduces varying speed of light theories , see sec . [ bimetricvsl ] .      following the discussion of sec .  [ causalityandsuperluminalbehav ] , let us define causality by ( a)(c ) . it is clear that the matter metric has to be lorentzian for the cauchy problem to be well posed . this condition reads @xmath88 and @xmath30 must be non zero . we wrote the conformal factor as @xmath89 in order to ensure that matter fields carry positive energy . the matter stress - energy tensor only depends on the matter fields , the vector field , the gravitational metric , and their first derivatives . depending on the precise form of the action of the vector and matter fields , the whole set of equations of motion ( including gravity ) may be a diagonal , second order , and quasilinear hyperbolic system . note that when @xmath84 is given by the gradient of a scalar field @xmath90 , the initial value formulation of the scalar equation is a quite involved question , see sec . [ bimetricscalaire ] . on the other hand , when @xmath84 is a `` true '' vector field , the cauchy problem is generically well posed and is thereby not diagonal . it does not mean however that the cauchy problem is not well posed , but rather than a careful analysis is in order . generic vector field actions have been considered in @xcite ( and references therein ) . ] . we have also to consider the global structure of spacetime . as in the case of gr , or gr and k - essences , we have to assume that spacetime is globally hyperbolic in the extended sense of sec . [ causalityandsuperluminalbehav ] . this assumption , together with the above conditions on equations of motion of the matter fields and the vector field ensures that the whole theory is causal . in quantum electrodynamics , effects of temperature , electromagnetic or gravitational backgrounds , or boundaries ( e.g. casimir plates ) break local lorentz invariance at the loop level through vacuum polarization , thus leading , in some cases , to faster - than-@xmath0 light propagation @xcite ; see also @xcite and references therein . note that these results are derived within some range of approximation using the effective action formalism , up to the one or two loop level . generically the results only hold at frequencies less than the electron mass @xmath91 . one therefore only derives the phase velocity of soft photons , whereas the actually relevant speed is the wavefront velocity , which is the phase velocity at infinite frequency and which corresponds to the analysis of the characteristics @xcite . the computation of wavefront velocities is a non - perturbative task that we will not be concerned with . an argument based on the standard kramers - kronig relation @xcite actually gives some hints on the value of the wavefront velocity . in the case of casimir vacua , it was shown that the wavefront velocity might be greater than @xmath0 in the direction orthogonal to the plates ( breaking of lorentz invariance by the boundaries ) . the wavefront velocity has to be equal to @xmath0 in the parallel direction because lorentz invariance is left unbroken in that direction , at least if the casimir plates are infinite ( or if boundary effects are negligible ) . let us assume the validity of this result . of course , `` light does not travel faster than light '' , but the point is that gravity does not see the plates in first approximation , so that lorentz invariance is not broken in the gravitational sector and gravitons still propagate at the velocity @xmath0 . the ratio of the speed of photons to the one of gravitons is thus greater than one . our discussion of sec . [ causalite ] enables to give an immediate answer to the question of causality in that case . it can be shown that photons propagate inside the plates along an effective metric of the form of eq . ( [ metriqueeffective ] ) , where @xmath32 is some positive constant in that case , and @xmath68 is the unit spacelike vector orthogonal to the plates ( see @xcite and references therein ) . outside the plates , photons propagate along the flat metric @xmath10 ( here we neglect curvature ) . it was correctly recognized in @xcite that such a metric is stably causal , so that photons _ can not _ propagate along closed curves , contrary to the claim made in @xcite ( see also the criticism of @xcite ) . actually , this spacetime is even globally hyperbolic and therefore _ perfectly causal _ , even if photons propagate faster - than-@xmath0 inside the plates . causality may however be lost if two casimir vacua are moving rapidly towards each other @xcite . in that case , spacetime may possess cftc ( with respect to the effective metric ) . this case is strictly analogous to the case of two bubbles made of non trivial background in k - essence theory , see sec . [ kessencesglobal ] . authors of @xcite then invoked the chronology protection conjecture , and notably noted that the two casimir vacua should be confined within plates that can not be infinite , so that non trivial boundaries effects may prevent the formation of cftc . we essentially reached the same conclusion in sec . [ kessencesglobal ] . similar arguments may be applied to others vacua . in particular , note that vacuum polarization induces some effective metric along which photons propagate . this effective metric only differs from the flat one by terms of order @xmath92 where @xmath93 is the fine structure constant . these corrections are therefore small ( at least in `` reasonable '' vacua ) , so that the effective metric is still lorentzian and the spacetime is still globally hyperbolic . we briefly comment some applications of our results to recent interesting developments on possible modification of gravity . k - essence scalar field theories have been suggested as promising candidates of the dark energy fluid @xcite ( see also the review @xcite and relevant references therein ) . such an effective action can also be motivated by the low energy regime of some string theories @xcite . the hyperbolicity conditions eq . ( [ condhyperkessencemat ] ) on the function @xmath48 have been correctly derived in the literature , but in a different way ( except in @xcite ) . authors usually require the stability of scalar perturbations around some backgrounds . it depends on the reality of the `` sound speed '' @xmath94 and is thus equivalent to the lorentzian character of the effective metric @xmath55 . this ( un)stability is therefore directly related to the hyperbolic ( resp . elliptic ) character of the scalar field equation . note that the signature can still be @xmath60 or @xmath64 . authors then demand that these small perturbations carry positive energy , and it implies @xmath95 . here we wish to stress that these results also arise from the analysis of causality , and , moreover , that they are actually non - perturbative results . it can be shown , indeed , that the positivity of the whole hamiltonian and not only the one of perturbations , is guaranteed whenever the two conditions eq .  ( [ condhyperkessencemat ] ) hold @xcite . unusual kinetic terms have also been considerably debated because phantom scalar fields can reproduce an equation of state @xmath96 @xcite , which indeed reads @xmath97 whenever the density @xmath98 is positive @xmath99 is equivalent to @xmath100 . thus only phantom ( ghost ) matter can lead to super - acceleration of the universe . since ghosts are usually associated with a fatal instability at the quantum level and notably in the uv regime , authors have suggested a stabilization mechanism of the ghost field at the uv scale . the function @xmath48 could be such that @xmath101 ( we reestablish the mass scale @xmath50 ) . in that case the ghost only appear at low energy @xmath102 , but could be stabilized at higher energies by higher - order terms , and the timescale of the instability can be made arbitrarily high @xcite . such a mechanism may however suffers serious diseases . notice indeed that the sign of @xmath103 must change for some values of @xmath104 and the squared sound speed may become negative . accordingly , the effective metric may become euclidean and the cauchy problem will not well posed anymore . the hyperbolicity seems however still guaranteed if @xmath105 also changes of sign at the same value @xmath104 . notice that the function @xmath48 must then be quite fine - tuned : @xmath104 may be equal to @xmath106 or @xmath104 must be a turning point as well as an inflexion point of @xmath48 . moreover , in that already fine tuned case , the effective metric becomes totally degenerate ( vanishes ) at the point @xmath104 . there is a caustic , and the theory is not well defined . it has been shown in @xcite that this point @xmath104 is however not reached through the cosmic evolution ( or at a time @xmath107 ) , and the theory may thus be free of singular behaviors . however the cosmological background is not the only relevant one . the theory must also apply at local ( e.g. astrophysical ) scales , and we expect the scalar field to have some inhomogeneities . local physics then drives @xmath57 to positive values , and the above singular point @xmath104 will generically be crossed . moreover , at a quantum level , it is not clear if we can still make sense of summing momentum from zero to some cutoff , whereas the propagator is not defined for some value of the momentum .    in conclusion , k - essences field theories are quite relevant causal theories that can account for the dynamics of the dark energy fluid with an equation of state @xmath108 . on the other hand , k - essences phantom theories , even if stabilized , suffer serious diseases and it is very unlikely that such a fluid could drive the super - acceleration of the universe @xmath99 , if any . note that it was recently found that inhomogeneities of the matter distribution in the universe may be described by an effective scalar field which could be a phantom in certain cases @xcite . because only effective , this field does not suffer from quantum instabilities . k - essences theories are also used to account for the mass discrepancy in galaxies and clusters , without the need for dark matter . milgrom @xcite first pointed out that rotation curves of spiral galaxies exhibit a discrepancy at an universal acceleration scale @xmath109 , and therefore that a modification of newton dynamics ( mond ) of the form @xmath110 where @xmath111 is the newtonian gravitational field and @xmath112 the acceleration , could account for the observed discrepancy without dark matter . the @xmath113 function must behave asymptotically as @xmath114 if @xmath115 and @xmath116 if @xmath117 . the @xmath113 function is otherwise free . the choice @xmath118 is a quite standard one which fits well the data . such a behavior in the low acceleration regime automatically leads to flat rotation curves far from the source , and also reproduces the well established tully - fisher law @xmath119 , where @xmath120 is the plateau velocity and @xmath121 is the luminosity of the galaxy . this successful phenomenology @xcite can be reproduced with the help of relativistic aquadratic lagrangians ( raqual ) @xcite , i.e. , a k - essence scalar field . consider indeed a scalar field @xmath2 coupled to matter via a conformal metric @xmath122 . the scalar field equation then reads @xmath123 where @xmath124 is the covariant derivative corresponding to the metric @xmath7 , @xmath125 is newton s constant appearing in the eintein - hilbert action , and @xmath126 is the trace of the stress - energy tensor of the matter fields ( defined by variation and contraction with respect to @xmath7 ) . if we consider a static distribution of matter @xmath127 , this equation reduces to a static modified poisson equation for the scalar gravitational potential @xmath2 : @xmath128 it is then clear , after restoring the appropriate dimensionfull constants , that the function @xmath129 plays the role of the milgrom s function @xmath130 . note that @xmath131 in the static case . if we require that @xmath132 behaves as @xmath57 if @xmath133 , and as @xmath134 if @xmath135 , we thus recover the mond phenomenology . note that , since the @xmath113 function is generally taken as a monotonic ( increasing ) function of its argument , the second derivative of @xmath48 is positive and the scalar waves propagate superluminally . the theory were thus thought to be acausal @xcite . we however argued in sec . [ causalite ] and sec . [ sectionkessence ] that this conclusion is correct only if the gravitational metric defines a favored chronology , an assumption that may be dropped . a critical point is however that the free function @xmath48 ( related to @xmath113 ) must satisfy the conditions eq . ( [ condhyperkessencemat ] ) . it is however immediate to note that the asymptotic conditions on @xmath113 implies that when @xmath57 goes to @xmath106 , @xmath103 and @xmath136 also go to zero and the effective metric is completely degenerate . what it means is that , in such a theory , in an astrophysical context , there must exist around each galaxy or cluster a singular surface on which the scalar degree of freedom does not propagate . the reason is that , near the source , @xmath57 must be positive , but negative far from it due to the cosmological background . this theory can therefore not lead to a consistent picture of local physics imbedded into a cosmological background . this major objection also applies to the recent relativistic model of mond of @xcite . a trivial modification of the asymptotic form of the @xmath113 function however cures the problem . let us consider that @xmath137 if @xmath117 , or equivalently that @xmath138 if @xmath135 . it ensures that the theory is well behaved at the transition between local and cosmological physics . this slight modification induces a significant change in the phenomenology because there is a return to a newtonian behavior very far from the source , with a renormalized value of the gravitational constant . such a theory thus predicts that rotation curves are only approximatively flat on a finite range of @xmath139 , and current data requires @xmath140 to be at most of order @xmath141 . more details on this can be found in @xcite . interestingly , in that kind of theory , mond only appears as an intermediate regime between two newtonian ones only differing by the value of the gravitational constant , the transition , driven by the scalar field , occurring at milgrom s acceleration scale . mond - like theories of gravity must also predict enhanced light deflection in order to be consistent with the data . in the previous theory however , the conformal coupling of the scalar field to the matter metric implies that light is not coupled to the scalar field because of the conformal invariance of electromagnetism in four dimensions . this led authors to consider more general bimetric theory of gravity in which matter is coupled to a disformal metric of the type eq . ( [ disformalmetric ] ) @xcite . in these first models , the vector field @xmath84 in eq . ( [ disformalmetric ] ) was assumed to be the gradient of the k - essence scalar field , and @xmath30 and @xmath32 were some functions of @xmath2 and @xmath57 . it was however proved that when the matter light - cone is wider than the gravitational one ( see sec .  [ bimetrictheories ] ) then there is actually less light deflection than in gr . we have seen however that causality does not require the matter light - cone to be wider than the gravitational one . on the contrary , it could be inside the gravitational one and the light deflection would be enhanced ( compared to gr ) . such a framework is therefore relevant for relativistic theories of the mond paradigm , as we stress in @xcite . the cauchy problem is very likely to be well posed , since the ( einstein ) equation of the metric field is still diagonalized , hyperbolic and of the second order . the scalar field equation in vacuum has a well - posed cauchy problem . the scalar field equation inside the matter is however quite complicated and is not diagonalized . the cauchy problem inside the matter is thus a quite involved question , but we expect that some generic requirements on the free functions @xmath30 and @xmath32 and on energy conditions of the matter sector will guarantee it , and by the way , that the whole theory has a well posed cauchy problem . this is left for further investigation ( see also @xcite ) . let us briefly consider another application of bimetric theories of gravity . conventional physics did not succeeded so far in explaining the anomalous motion of the two pioneer spacecrafts @xcite that experience a small anomalous acceleration ( roughly directed towards the sun ) . unconventional theories of gravity could however explain it . the two pioneer spacecrafts are moving along geodesics of the matter metric @xmath6 , and we shall look for a slight modification of the schwarzschild solution to explain the pioneer anomaly . it is worth noting that this anomaly was detected soon after jupiter s flyby @xcite so that we have to check that the suggested modification is compatible with the motion of outer planets . outer planets are moving along quasi - circular orbits , and are thereby mostly sensitive to the time - time component of the matter metric @xmath142 . very sensitive tests of kepler s third law @xcite then put stringent bounds on the deviation from the leading order of the time - time component of the schwarzschild metric . these bounds are actually too small to account for the pioneer anomaly . this fact leads to the wrong statement in @xcite that the pioneer anomaly can not be of gravitational origin . this is indeed not justifiable since the two spacecrafts evolve on hyperbolic trajectories and are thereby also sensitive to the radial - radial component of the matter metric , which is not well constrained in the outer solar system . let us stress that , if spherical symmetry is assumed , a slight modification of @xmath143 compared to the schwarzschild solution is the only way to give the pioneer anomaly a gravitational origin in a metric theory of gravity . this was notably realized in @xcite . here we provide , with the help of bimetric theories of gravity , a framework that realizes this modification of the radial - radial component . the action of the theory is given by the eintein - hilbert action , a canonical action for the scalar field , and the matter fields are coupled to the matter metric @xmath144 where @xmath57 is still defined by eq . ( [ defdex ] ) . as we already stressed , non trivial properties of @xmath30 , @xmath32 and energy conditions of the matter sector may be required to ensure the hyperbolicity of the scalar equation inside matter . in addition , the matter metric has to be lorentzian and this reads @xmath145 . in a static and spherical symmetric situation , we have @xmath146 and @xmath147 . the bare metric @xmath7 is given by the solution of einstein equations and it can be shown that it coincides with the schwarzschild solution to the leading order . this theory is thus a realization of the above phenomenology . such models predict `` pioneer - like '' anomalies in the precession of perihelion that could notably be found in precise measures of the orbit of mars . more details on the pioneer anomaly and disformal theories can be found in @xcite . the first varying speed of light theories were constructed by replacing @xmath0 by @xmath8 in the equations of motion of gr , where @xmath148 could be the cosmic time @xcite . this however leads to equations of motion that do not conserve stress - energy anymore . in other words , this theory can not be obtained from a variational principle @xcite . some authors thus made use of the disformal matter metric eq . ( [ metriquedisfscalaire ] ) to reproduce vsl within a consistent framework @xcite . note that in all of these models , the free functions were taken as constants @xmath149 and @xmath150 . let us stress that if one insists on the weak equivalence principle there can not be any coupling between @xmath2 and the standard model matter other than through the matter metric . then , by varying the action with respect to @xmath2 , one finds that the scalar field is not created by the matter sources ( @xmath151 is always a solution ) . the scalar field can only be generated by some ( non constant ) function @xmath152 , like in scalar - tensor theories . note also that the choice of @xmath153 in these works does not guarantee the lorentzian character of the matter metric , which can actually be euclidean in a cosmological background such that @xmath154 . one could however circumvent this problem by arguing that the theory is only an effective model valid for @xmath155 , and where @xmath50 could be of the order of the gut s scale . as we already stressed , the initial value formulation of the scalar field equation in such models is a quite involved question . this point has not been pointed out although the existence of an initial value formulation is a basic requirement that must be checked in order to give any sense to such vsl models . let us finally remark that , since the fine structure constant @xmath93 is proportional to the inverse of the speed of light , it has been argued that vsl theories could also account for the variation of @xmath93 with cosmic time , if any @xcite . however , in this bimetric framework of vsl theories , if one analyzes atomic rays at some redshift by usual techniques , one is observing electromagnetic phenomenon using matter rods and clocks , so that no variations of @xmath93 are actually observable . the fact that the ratio of the speed of light to the speed of gravitational waves varies in space and time does not lead to a variation of @xmath93 ( if it is measured in the usual way ) , but simply to a redefinition of the redshift @xmath156 of distant objects . we provided a careful analysis of the meaning of causality in classical field theories . this led us to the conclusion that superluminal behaviors are generically found to be non causal _ only if _ one refers to a _ prior _ chronology on spacetime . this postulate actually states that , locally , some sets of inertial coordinates must be preferred ones , and this appears to be in great conflict with the spirit of general relativity , and more precisely with the spirit of general covariance . on the contrary , we derived in sec . [ causalityandsuperluminalbehav ] , by means of the conditions ( a)(c ) , a formulation of causality in which coordinates are still physically meaningless . note that while referring to a preferred chronology may seem natural in gr since all fields ( both gravity and matter ) propagate along the gravitational metric @xmath7 , it becomes somewhat unnatural whenever spontaneous breaking of lorentz invariance occur , be it driven by quantum polarization ( and in general , the solution of field equations ) , nonlinearities of some new fields , etc . the resulting spacetime is generically endowed with a finite set of lorentzian metrics @xmath16 which may not be conformally related to each others . in that case rods and clocks made of different fields lead to different systems of coordinate that do not transform under the same lorentz group . there is not only one , but at least two invariant speeds in that case . note that it would be misleading to think that there is a preferred lorentz invariance in the theory because of the symmetry of the action . actually , in a gr - like context , the action is not lorentz invariant but diffeomorphism invariant . this notably means that all local system of coordinates are equivalent . on the contrary , the existence of a preferred chronology means that ( as far as causality is concerned ) there exists some preferred class of inertial coordinates , or equivalently some preferred rods and clocks . this seems to be physically unacceptable .    as a consequence , one _ can not _ refer to causality in order to assert that nothing can travel faster than one of these speeds . accordingly , causality does not require one of these metric to define a wider cone than the others everywhere on spacetime . bimetric theories of gravity greatly enlightened this point , since both the gravitational and the matter metric could be used to define a `` natural '' chronology on spacetime . depending on the choice made , one then finds that nothing can travel faster than gravity or light . these two opposite requirements can be found in the literature .    on the contrary , our definition of causality in which no prior chronology is assumed ( by means of our `` mixed '' chronology , see sec.[causalityandsuperluminalbehav ] ) , enables a causal theory to involve `` superluminal '' propagations . actually the very notion of superluminal behavior is no more meaningful in that framework , and the only point is that some degrees of freedom can propagate faster than other ones . moreover the causal cones may even tip over each other depending on the location on spacetime . as an application , in k - essences theories , causality does _ not _ require the sign of @xmath157 to be fixed ( and notably negative ) , and , in bimetric theory causality does not require either the gravitational light - cone to be wider than the matter one ( nor conversely ) . what actually requires causality is first that the equations of motion have a well - posed cauchy problem . this strongly depends on the precise form of the dynamics , and throughout this paper we used classical results @xcite on that subject . we also discussed in detail the fact that global properties of spacetimes may break causality . we pointed out that this already occurs in standard gr _ so that it can not be related to some intrinsic disease of superluminal propagation_. we discuss three very similar cases : gott s cosmic strings @xcite , the two bubbles of non trivial vacua in k - essences theories @xcite and the two casimir experiments of @xcite . what thus became clear was that such non trivial global properties may be actually suppressed by subtle boundaries effects . this would be an illustration of the chronology protection conjecture . r. c. tolman _ the theory of relativity of motion _ ( university of california press , berkeley , 1917 ) g. a. benford , d. l. book and w. a. newcomb , phys . rev . d**2 * * , 263 ( 1970 ) s. liberati , s. sonego and m. visser , annals phys.*298 * , 167 ( 2002 ) a. d. dolgov and i. d. novikov , phys . lett . b**442 * * , 82 ( 1998 ) m. yu konstantinov , russ . j. * 45 * , 23 ( 2002 ) ; g - qc/9810019 y. aharonov , a. komar and l. susskind , phys . rev . * 182 * , 1400 ( 1969 ) a. adams , n. arkani - hamed , s. dubovsky , a. nicolis and r. rattazzi , _ causality , analyticity and an ir obstruction to uv completion _ , hep - th/0602178 e. a. lim , phys . d**71 * * , 063504 ( 2005 ) c. bonvin , c. caprini , r. durrer _ a no - go theorem for k - essences dark energy _ , astro - ph/0606584 j. w. elliott , g. d. moore and h. stoica , jhep 0508 , 066 ( 2005 ) j. d. bekenstein , phys . d**48 * * , 3641 ( 1992 ) j. d. bekenstein , astrophys . j. * 429 * , 480 ( 1994 ) j. d. bekenstein , phys . d**70**,083509 ( 2004 ) i. t. drummond and s. j. hathrell , phys . d**22**,343 ( 1980 ) ; k. scharnhorst , phys . lett . b**236 * * , 354 ( 1990 ) ; j. i. lattore , p. pascual and r. tarrach , nucl . phys . b**437 * * , 60 ( 1995 ) ; w. dittrich and h. gies , phys . d**58 * * , 025004 ( 1998 ) g. m. shore , venice 2002 time and matter , 45 - 66 ; gr - qc/0302116 k. scharnhorst , annalen phys . * 7 * , 700 ( 1998 ) j.  w. moffat , found . * 23 * , 411 ( 1993 ) s. w. hawking and g. f. r. ellis , _ the large scale structure of spacetime _ , cambridge university press ( 1973 ) r. m. wald , _ general relativity _ , the university of chicago press ( 1984 ) m.  a. clayton and j.  w. moffat , int . phys . d**11 * * , 187 ( 2002 ) j. d. bekenstein and m. milgrom , astrophys.j . * 286 * , 7 ( 1984 ) t. chiba , t. okabe and m. yamaguchi , phys . rev d**62 * * , 023511 ( 2000 ) ; c. armendriz - picn , v. mukhanov and p.j . steinhardt , phys . rev d**63 * * , 103510 ( 2001 ) c. armendriz - picn , t. damour and v. mukhanov , phys . lett . b**458 * * , 219 ( 1999 ) m. milgrom , astrophys . j. * 270 * , 365 ( 1983 ) r. h. sanders , astrophys . j. * 480 * , 492 ( 1997 ) i. t. drummond , _ variable light - cone theory of gravity _ , gr - qc/9908058 ; i. t. drummond , phys . rev . d**63**,043503 ( 2001 ) m. a. clayton and j. w. moffat , phys . lett . b**460 * * , 263 ( 1999 ) ; m. a. clayton and j. w. moffat , phys . lett . b**477 * * , 269 ( 2000 ) b. a. bassett , s. liberati , c. molina - pars and m. visser , phys . rev . d**62 * * , 103518 ( 2000 ) j. d. barrow and j. magueijo , phys . lett . b**443 * * , 104 ( 1998 ) ; j. d. barrow , phys . rev . d**59 * * , 043515 ( 1999 ) ; a. albrecht and j. magueijo , phys . rev . d**59 * * , 043516 ( 1999 ) ; j. d. barrow and j. magueijo , class . * 16 * , 1435 ( 1999 ) g. f. r. ellis and j .- p . uzan , am . * 73 * , 240 ( 2005 ) c.  w. misner , k.  s. thorne and j.  a. wheeler , _ gravitation _ ( freeman , san francisco , 1973 ) . s. w. hawking , phys . d**46 * * , 603 ( 1992 ) e. bois and e. trelut , _ limpact de la structure chrono - gomtrique de lespace - temps sur la causalit . _ , astro - ph/0304520 j. z. simon , phys . rev . d**41 * * , 3720 ( 1990 ) ; r. p. woodard _ avoiding dark energy with 1/r modifications of gravity _ , astro - ph/0601672 r. courant and d. hilbert , _ methods of mathematical physics , vol ii _ , interscience , new york ( 1962 ) j. r. gott , phys . . lett . * 66 * , 1126 ( 1991 ) t. jacobson and d. mattingly , phys . rev . d**64 * * , 024028 ( 2001 ) e. j. copeland , m. sami and s. tsujikawa , _ dynamics of dark energy _ , hep - th/0603057 c. armendariz - picon and e. a. lim , `` haloes of k - essence '' jcap 0508 ( 2005 ) j .- p . bruneton and g. esposito - farse , _ field - theoretical formulations of mond - like gravity _ , to be published . r. r. caldwell , phys . b**545 * * , 23 - 29 ( 2002 ) s. m. carroll , m. hoffman and m. trodden , phys . d**68 * * , 023509 ( 2003 ) j. m. cline , s. jeon and g. d. moore , phys . rev . d**70 * * , 043543 ( 2004 ) n. arkani - hamed , h - c . cheng , m. a. luty and s. mukohyama , jhep 0405 , 074 ( 2004 ) t. buchert , j. larena and j - m . alimi , _ correspondence between kinematical backreaction and scalar field cosmologies - the ` morphon field ' _ , gr - qc/0606020 r. h. sanders ans s. s. mcgaugh , ann . . astrophys . * 40 * , 263 ( 2002 ) j. d. anderson , p. a. laing , e. l. lau , a. s. liu , m. m. nieto and s. g. turyshev , phys . rev . d**65 * * , 082004 ( 2002 ) ; v. t. toht and s. g. turyshev _ the pioneer anomaly : seeking an explanation in newly recovered data _ gr - qc/0603016 c. talmadge , j .- p . berthias , r. w. hellings and e. m. standish , phys . 61 * , 1159 ( 1988 ) k. tangen , _ could the pioneer anomaly have a gravitational origin ? _ , gr - qc/0602089 m .- t . jaekel and s. reynaud , mod . * * , 1047 ( 2005 ) ; m .- t . jaekel and s. reynaud , class . * 23 * , 777 ( 2006 ) n. kaloper , phys . b**583 * * , 1 - 13 ( 2004 ) j. k. webb , v. v. flambaum , c. w. churchill , m. j. drinkwater and j. d. barrow , phys . lett . * 82 * , 884 ( 1999 ) a. v. ivanchik , e. rodriguez , p. petitjean and d.a . varshalovich , astron . lett . * 28 * , 423 ( 2002 )
Abstract:

Answer: field theories whose full action is lorentz invariant ( or diffeomorphism invariant ) can exhibit superluminal behaviors through the breaking of local lorentz invariance . quantum induced superluminal velocities are well - known examples of this effect . the issue of the causal behavior of such propagations is somewhat controversial in the literature and we intend to clarify it . we provide a careful analysis of the meaning of causality in classical relativistic field theories , and we stress the role played by the cauchy problem and the notions of chronology and time arrow . we show that superluminal behavior threaten causality only if a prior chronology on spacetime is chosen . in the case where superluminal propagations occur , however , there is at least two non conformally related metrics on spacetime and thus two available notions of chronology . these two chronologies are on equal footing and it would thus be misleading to choose _ ab initio _ one of them to define causality . rather , we provide a formulation of causality in which no prior chronology is assumed . we argue this is the only way to deal with the issue of causality in the case where some degrees of freedom propagate faster than others . we actually show that superluminal propagations do not threaten causality . as an illustration of these conceptual issues , we consider two field theories , namely k - essences scalar fields and bimetric theories of gravity , and we derive the conditions imposed by causality . we discuss various applications such as the dark energy problem , mond - like theories of gravity and varying speed of light theories .