Abstract
We describe here how planetary ephemerides are built in the framework of General Relativity and how they can be used to test alternative theories. We focus on the definition of the reference frame (space and time) in which the planetary ephemeris is described, the equations of motion that govern the orbits of solar system bodies and electromagnetic waves. After a review on the existing planetary and lunar ephemerides, we summarize the results obtained considering full modifications of the ephemeris framework with direct comparisons with the observations of planetary systems, with a specific attention for the PPN formalism. We then discuss other formalisms such as Einstein-dilaton theories, the massless graviton and MOND. The paper finally concludes on some comments and recommendations regarding misinterpreted measurements of the advance of perihelia.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The current definition of what is an ephemeris is a table giving the future positions of a planet, comet, or satellite. By extension, it also includes the dynamical framework from which the planetary positions and velocities are estimated. This framework includes not only the dynamical modeling and the reference system with which the motion is described, but also the sample of observations used for adjusting the constants of the model. In this review, we will mainly focused on ephemerides of planets, but there are also ephemerides of natural and artificial satellites, small bodies (comets, asteroids) and pulsars.
With the 19th century and the golden age of the big refractors (Verdet 1990), the astrometry of planets has known a significant improvement, leading to an increased accuracy of the dynamical theories describing their motions. Together with these improvements, came the inconsistencies between very accurate observed positions of planets, such as Uranus, and the classical Newtonian modeling of gravity. In the case of Uranus, a significant—even at this epoch—difference of several seconds of arc between its observed positions and the positions proposed by the models, based on Newton’s laws, opens the door to a major controversy of the century. Why the Uranus orbit does not match with the observations when, for instances, comet ephemerides are able to predict accurately their return in the visible sky? Since 1821, the explanation of an unknown planet perturbing the orbit of Uranus has been proposed. A hunt for the unseen planet started with an intensification in 1844 and the hidden celestial object, called Neptune, was finally discovered in 1846 by Galle in Berlin at the location that was predicted by Le Verrier and Addams. This episode signs the paramount of classical celestial mechanics of the 19th century. However, an other problem remains: the orbit of Mercury. At the beginning of the 20th century, catalogs of planetary observations have been built with a worldwide effort and provided angular positions for almost one century with accuracies below the level of few seconds of arc. During this period, when no direct measure of the planetary distance was possible, the constraints on the size of the planetary orbits were obtained thanks to the long interval of observations and precise determination of the mean motions, and consequently, with the third Kepler law, of the semi-major axis.
In the case of Mercury, the observed variation of the Mercury orbit was far too important to be left unexplained in comparison to the observational accuracy of the end of the 19th century and the beginning of the 20th century. Following the example of Neptune and Uranus, people proposed the existence of another hidden object, called Vulcain, perturbing the orbit of Mercury the same way that Neptune perturbs the one of Uranus. The problem was that no one was able to observe Vulcain. Some proposed that the planet could be always located on the other side of the sun relative to the earth, making it impossible to be seen from earth. Others proposed a modification of Newton’s potential equation. However, it was Einstein who ultimately explained Mercury orbit, positing that gravity was not a force, but a result of the spacetime curvature caused by the mass of celestial bodies (Einstein 1915).
Decades later, thanks to the remote exploration of the solar system, planetary ephemerides have evolved with high accurate astrometric observations obtained for planet and natural satellites thanks to the navigation tracking of spacecraft (s/c) orbiting these systems. Table 1 gives a good comparison between three generations of planetary ephemerides developed at key stages of their evolution: from the end of the classical Newtonian celestial mechanics (Gaillot and Le Verrier 1913), to the beginning of the space regular exploration (Standish 1983) and up to the present time (Park et al. 2021; Fienga et al. 2019).
Since the beginning of the space exploration, general relativity has been continuously tested with planetary orbits, for instance, using the first direct radar measurements on the telluric planet surfaces (Shapiro 1964). These measurements were the first direct estimations of the Earth–Venus, Mercury or Mars distances used as direct constraints in the construction of planetary ephemerides (Ash et al. 1967; Standish et al. 1976). With the Apollo and Lunokhod missions on the Moon and the installation of light reflecting corner cubes, a new step is reached as centimetric measures of the Earth–Moon distances are obtained with Lunar Laser Ranging (LLR) since then, with regular improvement of the measurement accuracy (Murphy et al. 2008; Turyshev et al. 2013b; Courde et al. 20170. In 1983, the first tracking data from the Viking landers on Mars have been included in the numerical integration of the Mars orbit at JPL (Newhall et al. 1983). With these measurements and those of the first Pioneer and Voyager flybys of the Jovian and Saturnian systems, the accuracy of the planetary ephemerides enters into the age of kilometer accuracies for the planets and few tens of centimeter for the Moon thanks to LLR. At this level of accuracy, the modelisation of the planetary dynamics was upgraded including asteroid perturbations of the 5 biggest objects, Mars rotation improvement but also figure-figure effect for the modelling of the Earth–Moon tidal deformations (Standish 2001). Since 2010, the s/c tracking measurements are still improving thanks to the installation of more efficient transpondeurs. It is now possible to study the orbit of Mars with an accuracy of less than a meter and since 2016 to have a monitoring of Jupiter and Saturn orbits with an accuracy of tens of meters.
With these accuracies, the complexity of the dynamical model increases and it is clear that the solar system becomes a more and more interesting tool for testing general relativity or alternative theories of gravity. First tests of general relativity with modern planetary ephemerides have started in 1978 (Anderson et al. 1978) with regular improvements since then.
In this review, we will focus on planetary ephemerides, setting aside the topic of gravity tests using the Earth–Moon system due to its complexity. Our incomplete understanding of the Moon internal structure significantly limits, indeed, the testing of alternative theories. But in order to introduce these limitations, a detailed presentation of the complex mechanisms between the internal structure of the Moon, its deformations, general relativity and their impacts on LLR observations (at very close frequencies) has to be done, and we think that it is out of the scope of the present work.
Here, we first explain how a planetary ephemeris is built from its native relativistic framework. We give the dynamical model and the data sets used for its fits as well as the problematics related to the fit itself. We try, at this stage, to give an introduction to some of the concepts hidden behind the construction of planetary ephemerides. We then review classic results obtained in the general relativity and post-Newtonian limits for the modern period. In a third part, we discuss state-of-the-art approaches for directly confronting alternative theories of gravity with planetary observations in the most consistent possible way. Finally we give a quick overview of other types of tests, deduced by interpreting planetary ephemeris accuracy at the light of different gravitational frameworks. We will try to convince the readers that such results have to be considered with a lot of caution because of the lack of consistency between the framework with which the planetary ephemeris is built and the one proposed by the authors.
Finally, we acknowledge that this review may have limitations. We apologize in advance for any inadvertent omissions in the references and welcome feedback from our readers.
2 Basic concepts behind planetary ephemerides
2.1 Prerequisites: a brief primer on general relativity
In classical Newtonian mechanics, space and time are treated as absolute concepts. For instance, the time span is assumed to be uniform throughout the universe. But the main lesson from general relativity is that not only space and time are relative notions rather than absolute ones, but also that the structure formed by space and time is curved by the energy of matter. This notably means that the very notion of distances in space and time depends on the observer, and also that observation may be impacted by the curvature of spacetime. This implies a wide range of subtleties when one describes motions at a level at which Newton’s theory is no longer accurate enough. In what follows, we provide a brief summary of what is required to understand those subtleties.
2.1.1 Newton’s theory
According to the first law of motion in Newton’s theory, an inertial motion is an uniform motion in a straight line. As a consequence, free fall motions are not inertial in Newton’s theory, but are accelerated by the gravitational force \(\varvec{F}\). This force acts between every massive objects and reads
where M is the equivalent to the charge in Coulomb’s law, but for gravity and G the constant of gravitation.Footnote 1M is usually named gravitational mass, since it is related to the gravitational force. According to the second law of motion, the acceleration that follows from this force is
where \(m_A\) is the inertial mass of the body A. Namely, to accelerate a body A with acceleration \(\varvec{a}_A\), a force \(\varvec{F}_{AB}\) needs to be applied, regardless of the type of force in question-it could be gravitational or electrostatic etc. Just as one would not expect a relationship between the charge q in the electrostatic force and the inertial mass, one should not anticipate a relationship between the gravitational “charge” M and the inertial mass m. However, observations indicate otherwise, compelling Newton to postulate the equivalence of gravitational and inertial mass. This is known as the equivalence principle.
A common way to derive the equation of motion in classical mechanics is through the definition of a Lagrangian of motion—of the general form \(L = K - V\), where K is the kinetic energy and V the potential energy. The Lagrangian of motion in the theory of Newton reads
where v is the velocity of the moving object and U is the Newtonian potential that satisfies the Poisson equation
where \(\rho _m\) is the mass density of the gravitational sources.Footnote 2 For instance, for a sum of spherical bodies A,
is solution of Eq. (4),with \(x^i\) and \(x^i_A(t)\) the positions of the moving object and of the gravitational sources A, respectively, where
Indeed, applying the Euler–Lagrange equation
on \(L_N\) leads to Newton’s equation of motion
which reproduces Eq. (2) with Eq. (1) for \(M=m\). In the Newtonian framework, the speed of light, c, and the constant of gravitation, G, are constants. Time and space are universal and space is flat.
2.1.2 Proper time in special relativity
At the onset of the XXth century, a group of physicists understood that time and space were not separate concepts, but instead, composed a singular entity known as spacetime. In this new understanding, time and space became relative notions, and the structure of spacetime, according to Minkowski, possessed a Lorentzian nature—which means that the variation of the proper time of an observer follows
where \(\eta _{\alpha \beta }\) is named the Minkowski metric, and \(\{t,\varvec{x} \}\) inertial and non-rotating coordinate systems.Footnote 3 Throughout the text, we use the metric signature \((-,+,+,+)\) and Einstein’s summation notational convention—which is such that \(A_\sigma B^\sigma := \sum _\sigma A_\sigma B^\sigma\). The variable c will be identified in Sect. 2.1.9 as the speed of light, but more fundamentaly, it fixes the causal structure of the flat spacetime equation Eq. (9). Lorentz transformations of special relativity are simply the coordinate transformations that leave the structure of the metric Eq. (9) unchanged. They read
where \(v^2 = \varvec{v} \cdot \varvec{v}\) and where \(\varvec{v}\) is the velocity between the two inertial reference frames, and with the Lorentz factor \(\gamma\) defined as
Contrary to popular wisdom, it is Eq. (9)—not the Lorentz transformations equation Eq. (10)—that is needed to derive the difference in time elapsed between two twins in Langevin’s twin paradox.Footnote 4 Let us assume a pair of observers that are at the same location at the spacetime events A and B, but one of the observer stays at rest while the other accelerates to leave and return to the other observer (see Fig. 1).
In terms of the reference frame of the observer at rest \(\{\tau ^r, \varvec{x}\}\), the accelerated observer’s proper time \(\tau ^a\) between the two events A and B reads
according to Eq. (9), with \(\varvec{v} = d \varvec{x} /d\tau ^r\), and where \(C_{AB}\) is the accelerated trajectory of the accelerated observer in the reference frame of the observer at rest. Given a trajectory \(C_{AB}\), one can derive the proper time of the accelerated observer elapsed between the events A and B. It is worth noting that Eq. (12) would not maintain the same form if one attempts to derive the proper time elapsed for the rest observer from the coordinates of the accelerated observer. This is because the Minkowski metric [Eq. (9)] does not remain invariant for an accelerated reference frame \(\{\tau ^a, \varvec{X}\}\). In the proper reference frame of an accelerated (but non-rotating) observer, the metric Eq. (9) would instead read (Ni and Zimmermann 1978)
where \(\varvec{a}\) is the acceleration of the proper reference frame of an accelerated observer. This fact alone dispels any paradox, as the situations of the two observers are distinct both physically and mathematically. From Eq. (12), one can infer that the elapsed proper time of an observer who has been accelerated between two arbitrary spacetime events A and B is always smaller than the elapsed proper time of an observer at rest \(\tau ^a_{AB} < \tau ^r_{AB}\). In other words, this means that for an inertial observer the following action
is maximal, where \(L_{SR}\) is, therefore, the Lagrangian of motion of special relativity:
2.1.3 Free fall and proper time in general relativity
In general relativity, the free fall of a point mass m aslo maximizes the proper time \(\tau\), but which is now defined by
where \(C_{AB}\) means that the integration is taken along a given path between the spacetime positionsFootnote 5A and B of the observer.Footnote 6 In cartesian coordinates for instance, one has \(x^i = (x,y,z)\). \(g_{\alpha \beta }\) is the spacetime metric, which depends on the position, and which represents the curvature of spacetime. As we will see below, the metric is solution of the Einstein-Hilbert equation of general relativity.
The definition of the proper time for an observer in Eq. (16) is true whether or not the motion of the observer is accelerated. It is important to keep in mind that unlike in Newton’s theory, a free falling observer in general relativity has an inertial motion—that is, it is not accelerated. In general relativity, inertial bodies follow geodesics of spacetime that correspond to free fall trajectories. This is forced upon the theory by the equivalence principle, which states that the inertial mass is indeed equivalent to the gravitational mass.
But since the free fall of an observer maximizes its proper time, it means that Eq. (16) has to be an extremum in the case of a free fall motion. It means that the path \(C_{AB}\) between the events A and B must be such that it extremizes Eq. (16). As a consequence, it must follow the Least Action PrincipleFootnote 7 of Lagrangian mechanics that demandes the extremization of an action defined upon a Lagrangian. Indeed, from Eq. (16), one can define the following action
where \(v^\alpha = c~ dx^\alpha / dx^0 = dx^\alpha / dt\) is a velocity expressed in terms of the coordinates \(\{x^{\alpha }\}\) and where the Lagrangian reads
The Least Action Principle demands that \(\delta S =0\). Given a specific spacetime metric \(g_{\alpha \beta }\), one can therefore compute the equations of motion by applying the Euler-Lagrange equation on Eq. (18). The equation can also be applied on the formal definition of equation (18) and one then gets the general form—that is, for all spacetime metrics—of the equations of motion (for massive point particles) that reads
where
is named the Christoffel connection with \(g^{\gamma \sigma }\), the contravariant metric—which is such that \(g_{\alpha \sigma } g^{\sigma \beta }=\delta _{\alpha \beta }\), where \(\delta\) is the Kronecker symbol. Besides, an accelerated trajectory would read
where \(F^\alpha\) is the force responsible for the acceleration.
2.1.4 Einstein equation and the Newtonian approximation
The spacetime metric is curved by the energy of matter according to the Einstein equation that reads
where \(R_{\alpha \beta }\) is the Ricci tensor (see Sect. 2.1.5) defined as
and
is the Ricci scalar, and \(T_{\alpha \beta }\) is the stress-energy tensor of the material fields—which we will define in Sect. 2.1.6. The stress-energy tensor represents the energy content of the matter fields that generate the curvature of spacetime. Otherwise, we will see below that G corresponds to the constant of Newton, also known as the gravitational constant.
The Newtonian approximation
In the Newtonian formalism given in Sect. 2.1.1, we assume that the speed of the considered bodies is small with respect to the speed of light \(v^2/c^2 \ll 1\). Let us add the constant \(-mc^2\) to this Lagrangian, which does not impact the equation of motion, but which is such that one reproduces the Lagrangian of motion of special relativity equation Eq. (15) at leading order when \(U=0\), that is
Now, the Lagrangian of motion for the theory of Newton reads
Let us stress that for an orbit, one has \(v^2/c^2 \sim U/c^2 \ll 1\) in the theory of Newton. This approximation ought to remain valid at leading order in general relativity in the weak field limit. As a consequence, for now on, we will use the notation \({\mathcal {O}}(c^{-2n})\) to refer to both \({\mathcal {O}}(v^{2n}/c^{2n})\) and \({\mathcal {O}}(U^n/c^{2n})\). Since the theory of Newton is already accurate in the solar system, we expect the theory of general relativity to reproduce the trajectories of the Newtonian theory at leading order. Therefore, one expects that there exists a spacetime metric that reproduces the Lagrangian equation Eq. (26) at leading order. One can check that injecting the following metric in Eq. (18)
where ds is the spacetime line element defined as \(ds^2 = g_{\alpha \beta } dx^\alpha dx^\beta\), gives back the Lagrangian of motion of the theory of Newton equation Eq. (26), up to corrections of order \({\mathcal {O}}(c^{-4})\). Therefore, one expects the metric in Eq. (27) to be solution of general relativity at leading order for the kind of weakly gravitating sources that we have in the solar system.Footnote 8 It can be indeed verified that by injecting the metric Eq. (27) in the Einstein-Hilbert equation Eq. (23), the resulting differential equation reads
where \(\rho _m\) is the mass density of the gravitational sources defined as \(\rho _m = T^{00}/c^2 + {\mathcal {O}}(c^{-2})\). It corresponds to Newton’s universal law of gravitation as long as G is indeed the gravitational constant. One has therefore identified G in Eq. (22) to Newton’s constant from the weak-field and slowly moving limit of the theory that leads to the same field equation as Newton’s theory at leading order.
Therefore, general relativity produces the same trajectories at leading order as Newton’s theory. This is called the Newtonian approximation of general relativity.
However, let us stress that even at this level of approximation, the two theories differ drastically—in a way that can be tested at the experimental level already. Indeed, in general relativity, the variation of an observer proper time \(d\tau\) [Eq. (27)] with respect to the proper time of another observer depends explicitly on their different positions in a gravitational potential U. This means that two observers at different locations in the gravitational potential will not agree on the evolution of time. This effect, although minute, can be tested if one has accurate enough clocks. In other words, had we developed atomic clocks with sufficient precision prior to our ability to observe the motions of celestial bodies in the solar system, we could have confirmed the superiority of general relativity over Newton’s theory. This could have been achieved by comparing the frequencies of two clocks located at different positions relative to the geoid. However, due to our atmosphere’s transparency, astronomers identified the limitations of Newton’s theory through the anomalous advance of Mercury’s perihelion—see Table 1 for the numerical value of this advance—before quantum physicists could create sufficiently accurate atomic clocks. We will further discuss the advance of the perihelion of Mercury in Sect. 2.1.8.
Finally, one can see in Eq. (27) that space it flatFootnote 9 at leading order, such that free fall trajectories in the solar system are essentially the consequence of the curvature of the temporal dimension, not the spatial one.
Gauge invariance of Newton’s equation and the definition of coordinate times
Newton’s equation Eq. (28) is notably invariant under the following change of the potential:
where \(a_k(t)\) and b(t) are arbitrary three-vector and scalar that depend on time.Footnote 10 One often says that the Eq. (28) is invariant under the change of gauge defined by Eq. (29).
The change of gauge in Eq. (29) corresponds to a change of the coordinate time being used to describe a motion. This is a major difference with respect to Newton’s theory where there is a unique time. A coordinate time is simply a mathematical construction of a time that can be related to the proper time of an observer, but not necessarily. For instance, it can simply be defined according to purely mathematical criteria, such as the simplicity of the field equations.
In order to illustrate the dependence of the Newtonian potential to the coordinate time being used, let us define a coordinate time that would correspond to the proper time of an imaginary observer that is so remote from the barycenter of the solar system that it can be at rest with respect to the solar system because the potential of the solar system and its gradient at their location is negligible. Assuming that this imaginary observer is indeed at rest with respect to the solar system, this means that the coordinate time t corresponds to the (fictional) proper time \(\tau\) such that \(dt = d\tau\) at the location of this (fictional) observer. The Newtonian potential in this gauge—or, equivalently, with this coordinate time—reads
where \(m_A\) and \(x^i_A(t)\) are the masses and the positions of the bodies A. Alternatively, one could define a coordinate time that corresponds to a (fictional) observer that would be at rest at the center of the coordinate system \(x^i = 0\). In this gauge, the Newtonian potential would instead read
because having \(dt = d\tau\) in Eq. (27) at the center imposes \(U(x^i=0)=0\), and being at rest imposes \(\vec \nabla U |_{x^i=0}=0\). The transformation from the potential expressed in the coordinate time of a remote observer to the potential expressed in the coordinate time of an observer at the center of the coordinate system takes the form of Eq. (29) with
This notably means that the leading order of the equation of general relativity is invariant under specific changes of time coordinate. As we will see in Sect. 2.1.5, this is a leftover of the invariance of general relativity through a change of coordinate system. It is really important to notice that while the field equation Eq. (28) is invariant under some changes of the coordinate time, the actual solution of the potential is not, as one can check from Eqs. (30) and (31).
In the coordinate time defined as the proper time of the fictional remote observer \(t=\tau _r\), the proper time of fictional observer at the center of the coordinate system \(\tau _o\) reads
provided that they are indeed at rest with one another. See Sect. 3.2.2 for a discussion on the coordinate times that are used by the community, following the IAU recommendations (Soffel 2003).
Dependence of a coordinate time to the trajectories of the gravitational bodies
Equation (33) teaches us something very important. Depending on its definition, a coordinate time can depend explicitly on the trajectories of the gravitational bodies \(\textbf{x}_A(t)\). As a consequence, in order to define such a coordinate time in practice, it is necessary to estimate the positions of the celestial bodies over time with enough accuracy.
But why would one want to define such a coordinate time if it means that one must already have an accurate knowledge of the trajectories of the gravitational bodies in order to define it? Simply because one has to define such a coordinate time in order to compare different observations made at various locations by several observers. The proper time of each observer is indeed different and the differences between the various proper times depend on the observers’ relative trajectories in the gravitational potential. Therefore, in order to compare the various observations, one first has to define a coordinate time that will be used to transform the proper time of every observer to this coordinate time, such that after the transformation, all the observations are expressed in a common time. We will see in Sect. 2.1.7 that at the post-Newtonian level—or, the next-to-leading order—similar considerations must be taken into account for the definition of space.
Any definition of a coordinate time could be used in theory. However, in practice, a coordinate time is usually defined as being the proper time of a fictional observer at some convenient location in the solar system, such as at its barycenter or at the geoid of the Earth. Such coordinate times are defined by the International Astronomical Union, as we will further discuss in Sect. 3.2.2.
But since one needs to know the trajectories of the gravitational bodies in the solar system in order to construct this coordinate time, it means that one needs to use planetary ephemerides to construct such a time. Therefore, planetary ephemerides actually deliver the coordinate times defined by the International Astronomical Union to the community, as discussed more in details in Sect. 3.2.2.
Rotating reference frames
The Newtonian approximation of the spacetime metric in general relativity assumes the form of Eq. (27) only within a specific category of coordinate systems, typically referred to as inertial frames. Notably, the coordinate system must be kinematically non-rotating relative to distant celestial objects such as quasars. This suggests that the rotation (or absence thereof) of a local reference frame must be defined in relation to exceedingly distant objects. In support of his theory, Newton posited this coincidence as evidence of an absolute space, serving as the stage for dynamic events and providing a reference for defining rotation. In contrast, figures such as Leibniz and later Mach, contended that this apparent coincidence reveals that inertia is relative, depending more on the universe matter content than on an absolute space. Heavily influenced by these perspectives, Einstein proposed the principle of relativity of inertia, later referred to as Mach’s principle (Einstein 1918). This principle stipulates that spacetime is wholly determined by its matter content. Considering general relativity accommodates vacuum solutions, whether Einstein’s theory satisfies the principle of relativity of inertia remains debated (Barbour and Pfister 1995). However, practically speaking, the solar system asymptotic metric must be integrated into the larger spacetime metric effectively generated by distant sources. This requirement accounts for why inertial reference frames are non-rotating relative to very remote sources in general relativity—considering they can be approximated as stationary due to their minimal relative angular velocity in the sky over certain timescales.
2.1.5 Invariance of the laws through a change of coordinate system
Tensors
The tensorial nature of the Einstein–Hilbert equation Eq. (22) enforces the covariance principle,Footnote 11 which demands that the laws of Nature do not depend on the choice of the coordinate system. Indeed, tensorial equations—such as Eq. (22)—are invariant under change of coordinates. A tensor is defined by the way it transforms under a change of coordinates. A tensor W, with n contravariant indices and m covariant indices transform as
Tensorial equations are manifestly invariant under coordinate change, that is:
Because the metric field is a tensor, one can notably verify with Eq. (34) that the line-element ds defined from the metric as follows
is invariant under coordinate change when integrated along a world-line. Indeed, the proper time of an observer cannot depend on any coordinate system as it is a measured quantity. Let us note however, that according to this definition, the Christoffel connection defined in Eq. (20) is not a tensor as it transforms as follow:
One can also check that the difference between two connections is a tensor. What the covariance principle means in particular is that the laws of physics are independent with respect to the observer, whether the observer is inertial or not. While this is very satisfying at the fundamental level, it also implies an intrinsic ambiguity about the coordinates that one can use, as they are all equivalent in principle.
Observables
Certain coordinate systems can result in what are known as spurious effects. These are essentially false effects arising solely from the coordinate system and do not reflect reality. Determining whether an effect is genuine or spurious can be challenging unless all calculations are made with respect to actual observables. Parameters referred to as observables are independent of the coordinate system, and therefore, can correspond to quantities that an observer can directly measure. These include values such as the proper time elapsed for an observer between two events, or, as we will discuss shortly, the angle between two light cones at the observer’s location. On the contrary, it is very important to keep in mind that positions, trajectories, or velocities, are not observables, but have to be reconstructed from observations after assuming a specific coordinate system—as well, as we will see, as a model for the dynamics of bodies and light.
Observables are scalar quantitites
According to Eq. (34), the only type of tensors that do not depend on the coordinate system are scalars, which are such that
Tensors, if not scalars, therefore cannot represent observable quantities.
Positions in two dimensions: projection on the celestial sphere From an observer’s perspective, the only tangible element related to the spatial distribution of any distant object is the relative angular separation in the sky between the images of two objects. This measurement can be made without reference to any specific coordinate system. This angular separation corresponds to angles between the light cones connecting the distant objects to the observer at the observer’s location, as shown in Fig. 2.
However, observers typically project at their location the vector of the light cones, which join the distant objects to the observer’s location, onto a coordinate-dependent representation of their celestial spheres. This process is where coordinate systems become to be used. Importantly, it must be noted that the relative position (angle) of the same distant objects as viewed by two different observers can vary. This is because in general relativity, both time and space are relative to the observer and to its gravitational environment. Hence, there is no such thing as absolute positions. In simpler terms, the celestial spheres for different observers differ in general. Although this effect is minute for observers in the solar system, it nonetheless needs to be accounted for in modern astrometry.
In practical terms, an object location on the celestial sphere is determined by observing the angular separation in the sky between the object and reference points like quasars, from the perspective of the observer. Indeed, due to their extremely remote location, the apparent movement of these reference points is negligible at the present level of accuracy for the astrometric measurements for these objects (see Sect. 3.2.3), and they can therefore indeed serve as static reference points (or astrometric candle light).
However, there is another significant effect to consider, which is also illustrated in Fig. 2: the propagation of light is not generally linear. This means that if an observer sees a remote object at a particular location on his celestial sphere, it doesn’t imply that the object is actually at that position on the sphere. This effect is referred to as gravitational lensing (or deflection of light in the solar system) and is due to the fact that light propagates on null-geodesics, see Sect. 2.1.9—which are not straight lines in general. Although its impact is relatively weak for objects within the solar system, it highlights the inherent difficulty of attributing positions on the celestial sphere in general relativity.
Hence, assigning a two-dimensional position to an object in general relativity not only necessitates the definition of a coordinate system, but also requires a model of the gravitational field through which light has propagated. Consequently, any position in general relativity is model-dependent and is essentially a reconstruction from observations.
The third dimension: range There are various methods to infer the distance between a remote object and an observer. For s/c, the most accurate technique is typically the measure of the time delay between the emission of a signal in the direction of the spacecraft and the reception of the returned signal by the probe (ranging). Essentially, this involves measuring the round-trip time of an electromagnetic signal emitted at a given frequency between an observer and a spacecraft. Given that the signal propagates at a constant speed in vacuum, this propagation time can be converted into a distance. However, while the signal indeed travels at the speed of light in a vacuum locally, its propagation time measured by a given observer can be affected by the gravitational field localised between the source of emission and this observer, along the trajectory of the electromagnetic signal. As a result, even when a the signal follows a straight line between two points, the propagation time would not correspond to the Euclidean distance between these points divided by the speed of light. This effect is known as the Shapiro delay—See Sect. 2.1.9.
Therefore, determining distances through ranging techniques not only depends on the specific choice of the coordinate system considered but also depends on the knowledge one has on the gravitational potential in the solar system. Consequently, distances are both model and theory dependent. Indeed, the potential in the solar system is reconstructed by solving the field equations of a given theory—e.g. Equation (27)—after assuming a specific model for the solar system that “sources” the field equations—e.g. the right hand side of Eq. (27).
Let us stress in particular that a modification of the field equations of general relativity therefore implies the need for a new analysis of the measures, leading to a new determination of the distances.
The need of conventions for coordinate systems Because space and time are relative, for various observers to compare their respective observations and agree on the positions of bodies, they must define a set of coordinates that allows to convert their respective observations in terms of positions in space and time. This is the role of the IAU recommendations that we will discuss in Sect. 3.2.
2.1.6 The action of general relativity
Just as the equations of motion can be derived from the Euler–Lagrange equation, the field equation of general relativity can be derived from a Lagrangian density that is defined based on the metric field and the various material fields. The key difference lies in the type of dynamical variables used in the Lagrangian: instead of using position and velocity as dynamical variables, one considers the fields and their derivatives as dynamical variables in the case of a Lagrangian density.Footnote 12 One can define the action of general relativity as follows
where g is the metric determinant, \({\mathcal {L}}_m\) the Lagrangian density of matter fields, and \(\kappa = 8 \pi G / c^4\) the coupling constant between matter and curvature. In order to derive the Euler–Lagragian equation, R is treated as a functional constructed upon the metric field and its derivative—see Eq. (24). \({\mathcal {L}}_m\) is then a functional constructed upon the matter fields and their derivative. For instance, for an electromagnetic field one has
where \(\mu _0\) is the magnetic permeability of vacuum, and \(A^\alpha\) is the electromagnetic four-vector. Let us note that one has \(A^\alpha = (\phi /c,\varvec{A})\) where \(\phi\) is the scalar potential and \(\varvec{A}\) the vector potential of classical electromagnetism, form which one can compute the electric and magnetic fields (Jackson 1998).
Defining a theory from its action rather than from its equations is convenient because it allows one to be sure that the theory possesses conservation laws for the considered theory, which derive from Noether’s theorem that states that every symmetry of a Lagrangian implies the existence of a conservation law (Noether 1918; Wald 1984). Therefore, most modern theories are defined from an action, although there are some exceptions—such as MOND, see Sect. 4.7.
Applying the principle of least action on the action (39), one recovers the Einstein–Hilbert equation of general relativity Eq. (22), with
where \(\delta\) stands for a variational derivative. It is worth noting that from Noether’s theorem, the diffeomorphism invariance—that is, the invariance under change of coordinates—of the matter Lagrangian \({\mathcal {L}}_m\) implies the (covariant) conservation of the stress-energy tensor
where \(\nabla _\sigma\) is the covariant derivative defined as followed for a tensor X with k contravariant indices and l covariant indices:
This is, of course, consistent with the geometrical fact that \(\nabla _\sigma G^{\mu \sigma }=0\), with \(G^{\mu \nu }= R^{\mu \nu } - 1/2~ g^{\mu \nu } R\), the Einstein tensor, where \(R^{\mu \nu }\) is the contravariant Ricci tensor defined from the covariant Ricci tensor \(R_{\mu \nu }\) and the contravariant metric tensor \(g^{\mu \nu }\) as \(R^{\mu \nu } = g^{\mu \alpha } g^{\nu \beta } R_{\alpha \beta }\).
2.1.7 The post-Newtonian approximation of general relativity and gauge invariance
First, let us recall that the metric of general relativity at the Newtonian level, for a reference frame that is not kinematically rotating with respect to distant celestial bodies,Footnote 13 reads
such that one indeed has
at leading order. The truncation between leading and next-to-leading orders in Eqs. (44)–(46) are made with respect to the equation of motion that derives from the Lagrangian of motion Eq. (18). Indeed, the Lagrangian of motion with Eqs. (44)–(46) reads
One can show that a set of coordinate systems exists in general relativity that are such that, at next-to-leading order, the metric reads (Damour et al. 1991)
where w and \(w^i\) are gravitational potentials. This is the so-called post-Newtonian metric of general relativity, in conformally cartesian coordinates.Footnote 14 Assuming this metric, the field equation of general relativity reduces to
where \(\sigma = c^{-2} (T^{00}+T^{kk})\) and \(\sigma ^i = c^{-1} T^{0i}\), such that \(\sigma\) and \(\sigma ^i\) are zeroth order quantities—because \(T^{\mu \nu } = {\mathcal {O}}(c^2,c,c^0)\) in the weak-field and slowly moving approximation.Footnote 15
Post-Newtonian gauge invariance
One can check that the equations Eqs. (52)–(53) are invariant under the following transformations
where \(\lambda\) is an arbitrary differential function. Indeed, while the form of the metric in Eqs. (49)–(51) completely fixes the type of spatial coordinates being considered, it leaves a freedom at the level of the time coordinate. This gauge invariance indeed corresponds to a shift of the time variable
After having imposed a non-kinematically-rotating frame with respect to distant celestial objects (such as quasars), a central world-line and the use of conformally cartesian coordinates, Eq. (56) is a remaining freedom of our coordinate system.
Harmonic gauge
The International Astronomical Union recommends (Soffel 2003) the use of harmonic coordinates that are such that
However, because of the use of conformally cartesian coordinates, the space component of this condition \(g^{\alpha \beta } \Gamma ^i_{\alpha \beta }={\mathcal {O}}(c^{-4})\) is already satisfied, and one is left with the time component of this condition that, considering the metric Eqs. (49)–(51), reduces to
With this condition, Eqs. (52)–(53) reduce to
where \(\square _m\) and \(\triangle w_i\) are respectively the d’Alembertian and Laplacian of the usual flat Minkowski spacetime:
where for instance, \(\triangle = \partial ^2_{xx}+\partial ^2_{yy}+\partial ^2_{zz}\) in Cartesian coordinates.
2.1.8 The Einstein–Infeld–Hoffman–Droste–Lorentz equation of motion
Up to corrections that can be taken into account at a later stage, celestial bodies in the solar system can be approximated as being non-rotating point particles. This approximation has been explored for the first time by Lorentz and Droste (1917a, 1917b)—translated in Lorentz and Droste (1937)—and re-derived later by Einstein et al. (1938). The stress-energy tensor for point particles is simply the stress-energy tensor of a dust fluid
where \(u^\alpha = dx^\alpha / d\tau\) is the proper four-velocity of the fluid. In terms of conserved mass along the fluid geodesics \(dm_A/d\tau = 0\), it reads
where \(\delta ^{(3)}\) is the 3-dimensional delta function, and \(v^\alpha = dx^\alpha /dt\) the coordinate four-velocity of the fluid, such that \(u^\alpha = u^0 v^\alpha / c\). Equation (63) used the fact that \(u_\mu \nabla _\sigma T^{\mu \sigma } =0\) —which follows from Eq. (42)—such that one has the usual Newtonian conservation of the mass density \(\partial _\sigma (\rho ^* v^\sigma )=\partial _t \rho ^* + \partial _i (\rho ^* v^i)=0\) for the density \(\rho ^*:= \sqrt{-g} \rho _m u^0/c\). Solving the Einstein–Hilbert equation (22) with this approximation, and in the harmonic gauge Eq. (58), leads to the metric in Eqs. (49)–(51) with
where
where \(\varvec{r}_A=\varvec{x}-\varvec{x}_A(t)\), \(r_A= |\varvec{r}_A|\), and
with \(r_{AB}= |\varvec{x}_B - \varvec{x}_A |\). We should note that this corresponds to the metric recommended by the International Astronomical Union (Soffel 2003), subject to corrections accounting for the fact that celestial bodies are not point-like but extended objects, and that these bodies possess angular momentum relative to the frame that is fixed with respect to distant objects, such as quasars. Fortunately, these corrections are numerically small, such that they can safely be added a posteriori at the leading order, without impacting the calculation of the next-to-leading order.
Now, injecting this metric into the definition of the Lagrangian of motion Eq. (18), one gets for a test particle B the following Lagrangian of motion
Injecting this Lagrangian into the Euler–Lagrange equation Eq. (7), one finally gets the Einstein–Infeld–Hoffman–Droste–Lorentz (EIHDL) equation of motion given in Eq. (90) in Sect. 3.3.
The advance of perihelion of Mercury
When focusing solely on the two-body problem, one can examine the secular changes of the orbital elements by treating the \(c^{-4}\) term in the equation of motion Eq. (90) as perturbations to Keplerian orbits. For instance, the secular advance of a perihelion in the two-body problem can be expressed as follows
where a is the Keplerian semi-major axis, e the eccentricity and \(m_i\) the mass of the body i.
2.1.9 The propagation of light in general relativity
From the Lagrangian of a free electromagnetic field Eq. (40), one derives the following equation for the free electromagnetic field in a curved spacetime
where \(\nabla _\sigma\) defines the covariant derivatives associated to the Christoffel connection Eq. (43). Using the definition of the electromagnetic tensor in Sect. 2.1.6, and translating the 4-vector potential in terms of electric and magnetic fields (Jackson 1998), one recovers the equations of Maxwell for free electromagnetic fields if spacetime is flat—that is \(\Box _m \vec E=0\) and \(\Box _m \vec B=0\), where \(\Box _m\) is the usual D’Alembertian of flat Minkowski spacetimes defined in Eq. (61). Considering the Lorenz gauge \(\nabla _\sigma A^\sigma = 0\), Eq. (69) reduces to
where one defines the covariant D’Alembertian as \(\Box = g^{\sigma \epsilon } \nabla _\sigma \nabla _\epsilon\). Now, let us expand the 4-vector potential as follows (Misner et al. 1973)
where \({\mathfrak {R}}\{X\}\) means the real part of X. The leading order in the \(\epsilon\) expansion corresponds to the geometric optics approximation. It induces that
where the wave-vector is defined as \(k^\alpha := g^{\alpha \sigma } \partial _\sigma \theta\) and
Equation (72) means that in the geometric optics limit, electromagnetic waves follow spacetime geodesics
where \(\lambda\) is an affine parameter of the geodesics, such that \(k^\alpha = dx^\alpha / d\lambda\). Equation (73) means that those geodesics are such that the line element is null (\(ds^2 =0\)) along the trajectories of the electromagnetic waves in the geometric optics approximation. One therefore generically says that light follows null-geodesics, although this is in fact correct only in the geometric optics approximation. The fact that \(ds^2=0\) along the geodesics of light implies that the trajectory lies on the null spacetime cones, which define the causal structure of spacetime. In other words, the speed of light is indeed equivalent to the speed c appearing in the definition of the line element Eq. (36). But it also means that there is no notion of proper time for light since the line element \(ds^2 = - c^2 d\tau ^2\) is null along their geodesics.
Null-geodesics and astrometric observables
Because electromagnetic waves follow null-geodesics of a curved spacetime in the geometric optic approximation, the trajectories of electromagnetic waves are curved in general, notably leading to the deflection mentioned in Sect. 2.1.5 and represented in Fig. 2.
One side of astrometry is about determining the projection of the positions of celestial bodies on the celestial sphere as they are seen by an observer, based on their angular measurements. Indeed, as detailed in Sect. 2.1.5, what measures an observer are the angles between the null-cones that link them to the sources of the observed electromagnetic waves.
As explained notably in Hees et al. (2014a), one way to get a covariant definitionFootnote 16 of the position of the electromagnetic sources in the celestial sphere as it appears for an observer, is to use the tetrad formalism (Misner et al. 1973; Klioner and Kopeikin 1992), by giving the direction of observation of an incoming electromagnetic wave in a tetrad E comoving with the observer \({\mathcal {O}}_{{\mathcal {B}}}\), as one can see in Fig. 3. We write \(E^\mu _{\langle \alpha \rangle }\) the components of this tetrad, where \(\langle \alpha \rangle\) corresponds to the tetrad index and \(\mu\) is a normal tensor index that can be lowered and raised by use of the metric. The tetrad is assumed to be orthonormal so that
\(\eta\) being the flat Minkowski metric, and the vector \(E^\mu _{\langle 0 \rangle }\) is chosen to be timelike, such that \(E^\mu _{\langle i \rangle }\) is spacelike. Then, the wave-vector \(k_\mu = g_{\mu \nu } k^\nu\) becomes in the tetrad frame associated to the observer
The incident direction of the wave in the tetrad frame is given by the following normalization
This quantity is the actual astrometric observable at the location of the observer. For more details, we refer the reader to Misner et al. (1973), Klioner and Kopeikin (1992), and Hees et al. (2014a).
The other side of astrometry is about determining the distance of remote objects, which leads us to the concept of the Shapiro delay.
Shapiro delay
In the solar system, most of the time, the trajectory of light can be approximated as being straight lines at leading order.Footnote 17 That is, one has \(x^i(t) = n^i c (t-t_e) + x^i_e + {\mathcal {O}}(c^{-2})\)—where e stands for the emission, and \(n^i\) is a constant normalized vector. One can use this information in order to compute the coordinate time elapsed between the emission and the reception of light, without the need to actually solve the geodesic equation (74). From the null condition Eq. (73), one has, indeed, that \(ds^2 = 0\) between the emission and the reception of the electromagnetic wave. This means that \(g_{\mu \nu } dx^\nu dx^\mu =0\), where \(g_{\mu \nu }\) is given by Eqs. (49)–(51). However, since light travels at the speed of light, \(v^i/c\) is not a negligible quantity, and it is necessary to maintain the same order of development in terms of \(c^{-n}\) in the metric to account for all the relevant terms at a given order for the propagation of light. As a result, when considering deviations from the trajectory of light relative to special relativity up to the order \({\mathcal {O}}(c^{-3})\), the relevant metric is
where \(U = w + {\mathcal {O}}(c^{-2})\)—see Eqs. (28) and (52). Integrating over this equation, one gets the coordinate time elapsed between the emission and the reception \(T_{er} = t_r-t_e\)
where the integration is taken along the straight line \(x^i(t) = n^i (t-t_e) + x^i_e\) that connects the emission and the reception events. It appears as if light experiences a delay due to the presence of a gravitational field. This delay is known as the Shapiro delay, named after Irwin Shapiro who was the first to predict this effect (Shapiro 1964). More on this delay in Sect. 3.4.1.
Hence, the Shapiro delay has to be taken into account in order to recover the distance—in terms of a given coordinate system—from the measured round-trip propagation time. This means that distances constructed from observations not only depend on the coordinate system being used, but also depend on the model for the gravitational potential U along the trajectory of the electromagnetic wave.
It is crucial to have in mind that what is typically probed by solar system experiments—such as in Bertotti et al. (2003b)—is not so much the delay in Eq. (79), but rather its variation as the observed electromagnetic signal traverses different sections of the gravitational potential U.Footnote 18 More specifically, these experiments usually probe the delay variation with respect to the the minimum distance between the electromagnetic signal trajectory and the gravitating body (also called impact parameter). For a comprehensive discussion on this topic, we direct readers to Chapter 6.3 in Wald (1984).
2.1.10 Alternative gravitational theories
All the aspects of the aforementioned content may be subject to modifications in an alternative theory to general relativity—see Sect. 4. Hence, one must exercise caution when considering alternative theories of gravity, as the introduced modifications can impact the entire modeling process—from the definition of the coordinate system, to the equations of motion of light and massive bodies—and consequently the analysis of the observations.
2.2 Basics on ephemeris
An ephemeris is a table of positions and velocities given at different time steps. One can compute an ephemeris for artificial satellites, planetary bodies (planets, natural satellites, asteroids, comets...) but also pulsars. In order to provide to the user accurate estimations of the dynamical states of the considered body, several ingredients are necessary.
First, one needs to agree upon a set of both time and space coordinates given in a properly defined frame. This frame will be preferably inertial and the coordinate system will give an easily understandable representation of the body motion. This coordinate system will also be used to confront the dynamical modeling of the motion to the observations (see in step 3). The selection of the frame—in which the motion and the observations will be described—and its characterisation in space and time (metrics) will constitute the step 1 of the ephemeris construction (red boxes in Fig. 4).
Second, we shall identify and develop the appropriate dynamical model for describing the most accurately the motion of the bodies. This step (black box in Fig. 4) requires the writing of an equation of motion according to the frame defined in the step 1. In the dynamical modeling, one must include all the gravitational perturbations expected for the considered system. A numerical integration of the equations of motion is also usually performed in order to provide to the users positions and velocities for discrete times. Analytical resolutions were also proposed up to the beginning of the 21st century but stopped when the planetary observations became too accurate in regards to the size of the analytical series (see for example Fienga and Simon 2005).
At this step, one may consider that the ephemeris is built. However, in particular in the solar system, the localisation of the object of interest has been monitored by observers and a comparison between its modeled and observed dynamical states (positions and velocities) is used for improving the model and then, to continue the process of construction of the ephemeris.
It is important to stress that the transformation from computed positions and velocities to observed quantities (direct radar range to the planetary surface, s/c navigation range and frequency shift, angular positions, pulsar time of arrival) requires some hypothesis on the space and time coordinate system in play and on how the observations have been obtained (see for example the Shapiro delay in Sect. 4.2.5 or Sect. 3.5). The data used for building planetary ephemerides are then not independent from the framework used for describing gravity.
In a third step, we consider the information on the positions and/or velocities obtained by the observers. As explained previously, and as it will be described in details in Sect. 3.4 in the case of planetary ephemerides, these informations are deduced from observations that can be ranges, frequency shifts, angular positions relative to reference stellar or quasi-stellar objects (part of astrometric catalogues or not) in different wavelengths (from optical to radio), in most of the cases centered on Earth or on specific locations at its surface. In general, at this step (blue boxes in Fig. 4), the observations are closely analysed in order to remove outliers, and to identify and correct potential biases and systematics.
The forth step (orange box in Fig. 4) is the confrontation between the observed quantities analysed at step 3 and the same quantities estimated with the dynamical model at step 2. From this comparison, are obtained the residuals, which are the differences between model and observations. In order to have the most accurate modelisation of the observed positions, one looks for minimizing the residuals by considering different causes:
-
a mismodeling in the motion of the body. In this case, the step 2 has to be reconsidered and the dynamical modeling modified for example by adding more perturbations.
-
parameters used in the model that are not close enough from their real values. The model is then corrected by updating the values of the parameters.
-
some systematics or bias in the observations were not accounted for properly and still remain in the residuals. A modification of step 4 is then necessary.
It is of course not easy to isolate the different causes of the residuals. But, nevertheless, in order to reduce the differences obtained at step 4, one systematically starts with correcting the parameters of the model by using either a classic least squares method or a Bayesian approach (see for example the discussion in Sect. 3.5). Once the model has its parameters updated considering the current set of observations, if residuals still present some signatures different from white noise, one can investigate the correctness of the dynamical modeling or the data analysis procedure. This very generic procedure—that can be used for a wide set of natural or artificial bodies—can be sketched by Fig. 4. This figure shows that the definition of the frame in which will be described both the motion and the observations is a crucial step for the prediction of the dynamical status of whatever object, from artificial satellites to quasi-stellar objects.
With the improvement of the measurement accuracy on planetary positions and velocities, the Newtonian paradigm of an universe with flat Cartesian coordinate systems and straight photon path failed to explain the observations. As discussed in introduction, the first evidence of the Newtonian failure was the case of the advance of perihelia of Mercury, explained by Einstein (1915). On Table 1, are compared the accuracies reached by three generations of planetary ephemerides and the advance of perihelia as predicted by general relativity. It is immediately visible that even with the Gaillot ephemerides in the late 19th century (Gaillot 1888; Gaillot and Le Verrier 1913), after three years of observations, the accumulated advance of perihelia for Mercury (1.29 s of arc) is greater than the observational accuracy of this epoch (1 s of arc). This leads to the choice of general relativity as a preferred framework over Newton’s laws.
However, other frameworks can also be proposed for describing the most accurate astrometric observations of planets in our solar system. In most cases, these alternative theories tend asymptotically to general relativity in the context of our weak field solar system.
In Sect. 4, we review the alternative gravity models for which dedicated planetary ephemerides have been constructed and published in existing literature. We prioritize these models because we believe that only a fully developed ephemeris, as described in Fig. 4, can conclusively constrain, or even rule out, an alternative theory of gravitation. For a detailed discussion with examples, we refer to Sect. 5.
3 Planetary and lunar ephemerides in general relativity
3.1 State-of-the-art for planetary and lunar ephemerides
The motion of the planets and asteroids in our solar system can be solved directly by the numerical integration of their equations of motion, or with analytical approximations of their orbits. As it has been shown in Fienga and Simon (2005), the analytical models for the main planet orbits are not accurate enough (due to the limited number of terms in the series) in comparison with the meter level uncertainties reached by the modern observations of planets. Therefore, in the following, we will only consider the planetary ephemerides in their numerical form.
Based on the first preliminary versions of the numerical integration of planetary motions (Devine and Dunham 1966; Ash et al. 1967), the DE96 JPL ephemerides (Standish et al. 1976) was first of the known and widely distributed accurate numerical ephemerides fitted to observations developed by JPL. These were followed by DE102 (Standish 1983), DE200 (Standish 1990), DE403 (Standish 1995) and DE405 (Standish 2001). All these ephemerides are numerically integrated with a variable step-size, variable-order, Adams method. Their dynamical model includes point-mass interactions between the eight planets and Pluto, the Sun and a diverse number of asteroids, relativistic PPN effects (Moyer 1971, 2000) and lunar librations (Newhall et al. 1983). Since DE96, regular improvements have been added to the DE ephemerides. Ephemerides such as DE421 (Folkner et al. 2008), DE430 (Folkner et al. 2014) and DE440 (Park et al. 2021) have been constructed and fitted with increasingly dense sets of space mission tracking data. Numerical ephemerides have also been developed at the Institute of Applied Astronomy of the Russian Academy of Sciences (EPM) and at the Observatory of Paris and the Côte d’Azur Observatory (INPOP). They are based on a dynamical model similar to the JPL one but with specific characteristics, in particular regarding the interactions between the main planets and the asteroids. Several possible additional contributions have been included in the EPM ephemerides such as the interactions of Trans-Neptunian Objects (TNOs) by the mean of one or several rings (Pitjeva and Pitjev 2018) and the influence with the Jupiter Trojens (Pitjeva and Pitjev 2020). The EPM ephemerides, are fitted to optical, radar and space tracking data and have an accuracy comparable to the JPL ephemerides (Krasinsky et al. 1988; Krasinskii et al. 1993; Pitjeva 2001, 2005a; Pitjeva and Pitjev 2014). They have been intensively used for estimating PPN parameters and the hypothetical secular variation of the gravitational constant (Pitjeva 1993, 2005b; Pitjeva et al. 2021). Since 2003, INPOP planetary ephemerides are developed, integrating numerically the Einstein–Infeld–Hoffman–Droste–Lorentz (EIHDL) equation, as proposed by Moyer (1971, 2000) (see Sect. 3), and fitting the parameters of the dynamical model to the most accurate planetary observations. The main INPOP releases are INPOP08 (Fienga et al. 2009), INPOP10a (Fienga et al. 2011a), INPOP17a (Viswanathan et al. 2017), and INPOP19a (Fienga et al. 2019). For this family of ephemerides, a specific care has been brought on the consistency between the GR framework defined by the IAU and the actual equations of motion and time-scale used in the ephemerides. In particular in 2009, INPOP08 (Fienga et al. 2009) was the first ephemeris built with consistent planetary orbits and time-scales (see Sect. 3.2.2). In 2010, INPOP10a (Fienga et al. 2011a) was also the first to fit the gravitational mass of the Sun instead of the astronomical unit for consistency reasons.
These three families of planetary ephemerides differ in the dynamical model (see Sect. 3.3.2) such as the number of point-mass objects (more or less main-belt asteroids, TNOs) to consider in the EIHDL point-mass interaction, additional accelerations to implement (Lense–Thirring acceleration, TNOs rings, Trojan rings, etc.) as well as in the size of the planetary datasets used for the adjustments of the models (see Sect. 3.4) and by the way this adjustment is performed (see Sect. 3.5). Table 2 summarises these distinctions. However, it is important to stress that, despite their specific characteristics, the accuracy of these models are very close to each other and involve towards an even closer consistency.
3.2 Reference frame theory in general relativity
The general relativistic framework of the planetary ephemerides since 2006 is the one summarized by the IAU2000 and IAU2006 conventions (Soffel 2003; Petit and Luzum 2010).
Because general relativity is a covariant theory, an infinite set of coordinate systems could be used in principle in order to describe space-time events—see Sect. 2.1. The International Astronomical Union (IAU) has therefore set the standard coordinate systems that people are recommended to use, notably through the IAU2000 recommendations (Soffel 2003). Two main reference systems have been defined, as well as the transformation between one another: the barycentric celestial reference system (BCRS) and the geocentric celestial reference system (GCRS). Both reference systems are defined at the post-Newtonian level and use the harmonic gauge. Beyond the harmonic gauge condition, the freedom in chosing the coordinate systems is further reduced by fixing the form and properties of the metric and the gravitational potentials.
Planetary ephemerides are integrated in the BCRS and are linked to the realization of ICRS, by VLBI observations of s/c orbiting planets (see Sect. 3.2.3).
3.2.1 General relativity barycentric metric
The BCRS is defined with the coordinates (ct,\(x^i\)), where \(t=\)TCB (see Sect. 3.2.2). The metric is taken to be kinematically fixed with respect to distant quasi stellar objects (QSO). The catalog gathering QSO astrometric positions and velocities used as fixed standards for the definition of the kinematically fixed BCRS is the International Celestial Reference Frame (ICRF) (Ma et al. 1998; Fey et al. 2015; Charlot et al. 2020). The general form of the BCRS metric is taken to be the following Soffel (2003) (see Sect. 2.1.7 for details on its derivation)
where w and \(w_{i}\) are respectively a scalar gravitational potential and a vector potential, c being the speed of light. The harmonic gauge conditions then imply that the potentials w and \(w_i\) satisfy the following equations:
where \(\sigma\) and \(\sigma ^i\) are the gravitational mass and mass current defined upon the stress-energy tensor:
In this definition, the gravitational perturbations induced by other bodies in the vicinity of the solar system (stars, galaxies, dark matter, dark energy) are ignored. The solar system is considered as an isolated system—which is possible in general relativity, thanks to the equivalence principle and the resulting “effacement of internal degrees of freedom in the global problem and of the external world in the local system” (Damour 1989; Klioner and Soffel 2000), but not in general for alternative theories of gravity—e.g. not in MOND (Milgrom 2009, 2014), see Sect. 4.7. For a solar system composed by non-rotating point-mass objects, the previous barycentric potentials are \(w=\sum _{A} w_{A}\) and \(w^{i}=\sum _{A} w^{i}_{A}\) with
where \(\mu _A:=G m_A\) is the gravitational parameter of the body A, \(\varvec{r}_{AT}\) is the relative position of body T with respect to A, \(r_{AT}=|\varvec{r}_{AT}|\) and \(\varvec{v}_A\) is the coordinate velocity of body A while \(\varvec{a}_A\) is its coordinate acceleration in the BCRS.
The same type of framework can be defined for a reference system centered on the Earth center of mass and leads to the definition of the Geocentric Celestial Reference System (GCRS). The GCRS is suitable in practice for the modeling of processes in the vicinity of the Earth, whereas the metrics of Eqs. (80) and (84) will be used for modeling the light propagation and motion of celestial objects in the solar system in the BCRS.
The coordinate transformations between the BCRS and the GCRS involve a complicated set of functions that are defined in the resolution B1.3 of the IAU2000 resolution (Soffel 2003).
3.2.2 Time-scales in the solar system
The time-scales in the BCRS and GCRS are denoted by TCB and TCG, respectively (Soffel 2003). The relation between TCB and TCG are given in Soffel (2003). At the Earth level, the Terrestrial Time (TT) has been defined in order to remain close to the realized atomic time (TAI). It differs from the TCG by a constant rate (Soffel 2003).
Likewise, at the level of the solar system barycenter, the TDB is defined as a linear transformation of the TCB. The relations between the various time scales is shown in Fig. 5.
The difference between TT and TDB is produced by planetary ephemerides, by integrating the following equation together with the equations of motion (Klioner 2008; Fienga et al. 2009)
with \(L_{B}\) and \(L_{G}\) are defining constants for TDB relatively to TCB and TT relatively to TCG, respectively (see e.g. Klioner 2008, Petit and Luzum 2010 for the full definition) and where
following the notations of Eq. (84). Park et al. (2021), terms related to the perturbations induced by the oblateness of the Sun were also added in the DE440 (TT-TDB) computation.
Finally, planetary observations are also related to time. Following the IERS conventions (Petit and Luzum 2010), those observations obtained on the ground are given in UTC, related to TDB by TT and TAI. The observations obtained in other planetary systems (e.g. positions of a spacecraft orbiting Mercury) are, up to now, given also in UTC as the differences between the coordinate time defined for the corresponding planetary system (in the previous example, Mercury) and TDB or TT, are not significant at the present day accuracy. However, with missions such as Bepi-Colombo, it will be necessary to account for the local gravitational potential in the definition of the observational time scales (e.g. Turyshev et al. 2013a, Nelson and Ely 2006, Milani et al. 2002). In conclusion, it is important to keep in mind that the various measured proper times are converted beforehands into coordinate times—according to the laws of general relativity.
3.2.3 Inertial frame
The coordinate frame of the planetary and lunar ephemerides is linked to the International Celestial Reference System (ICRS) by its current realization achieved by VLBI measurements of the positions of extragalactic radio sources (e.g., quasars) defined in the ICRF (Standish 1998b). The planetary orbits are tied to ICRF because the observations used for their adjustment have been obtained in the ICRF. For the inner planets, the VLBI observations of Venus and Mars-orbiting missions give a tie with an accuracy better than the milliarcsecond (Fienga et al. 2011a; Folkner et al. 2014). For the outer planets, the link is maintained with the same level of uncertainty thanks the VLBI observations of Jones et al. (2019), Fienga et al. (2011a), and Folkner et al. (2014) orbiting Jupiter and Saturn, respectively. Some other methods have been investigated for enhancing the link between planetary ephemerides and ICRF. In particular, one can notice the use of Lunar Laser Ranging observations (Pavlov 2020) and the use of GAIA DR2 asteroid positions (Deram et al. 2022). The tie between the planetary ephemerides frame and ICRF is confirmed to be sub-mas level accuracy in both approaches.
3.2.4 Definition of the solar system barycenter (SSB)
The definition of the solar system barycenter at the origin of the time of integration is based on the hypothesis of the conservation of the energy of the dynamical system composed by the planets, the Moon and the asteroids (including Trans-Neptunian Objects) in the solar system. The position R and the velocity V of the center of mass are then invariant. Using the notation of DE430 (Folkner et al. 2014), it comes
where \(\varvec{r}_i\) and \(\varvec{v}_i\) being respectively its barycentric position and velocity vectors of the planet i. \(\mu ^*\) is given by
with \(\mu _i\) the product of the gravitational constant G with the inertial mass of the body i. The term \(\dot{\mu }^*_i\) is not included in DE430 nor DE440 ephemerides (Folkner et al. 2014; Park et al. 2021) but is accounted for in the INPOP ephemerides (Fienga et al. 2008). The positions and velocities of the SSB are then obtained by integration of the following equations and up to the \(\hbox {c}^{-2}\) order,
In the INPOP formalism (Fienga et al. 2008), Eqs. (89) and (88) are solved only at the initial step of the planetary integration and a constant vector in positions and velocities is subtracted to all the body positions and velocities for having R and V to 0. Once the frame is centered on the SSB defined by Eq. (89) at J2000 (inital date of integration for INPOP epehemerides), the equations of motion of the solar system bodies and of the Sun are integrated in this fixed frame. The method described here is used by the INPOP planetary ephemerides since INPOP08 (Fienga et al. 2008). In JPL DE430 ephemerides (Folkner et al. 2014), the Sun initial coordinates are set up such as R and V are 0, the equations of motion of the Sun, the Moon, planets, and asteroids being then integrated in the fixed frame. In the former JPL DE versions, such as DE421 (Folkner et al. 2008), the Sun coordinates were set up at each step of integration for maintaining R and V to 0 all along the integration process. A description of the successive SSB implementations for older JPL versions can be found in Folkner et al. (2014) and discussions concerning possible uncertainties are presented in Fienga et al. (2008) and Folkner et al. (2014). It is interesting to note that, for the tests of the Equivalence Principle (Sect. 4.2), \(\mu _i\) of Eqs. (89) and (88) will still correspond to the product of G with the inertial mass of the body. It will then differ from the gravitational mass used for computing the planetary acceleration as in Eq. (90).
3.3 The dynamical model
3.3.1 Point-mass interactions
In the context of Soffel (2003) and of the metric defined in Eqs. (80) and (84), one can then, in the mass-monopole approximation, write the equations of motion of bodies as well as the conservation laws satisfied by the SSB as given in Damour and Vokrouhlický (1995). In BCRS, the equation of motion for the point-mass interaction is given by
This equation is known as the Einstein–Infeld–Hoffmann–Droste–Lorentz (EIHDL) equation of motion, and it is numerically integrated for obtaining the modern planetary ephemerides in general relativity at the first post-Newtonian \(\hbox {c}^{-2}\) level. Additional accelerations induced by the oblateness of the Sun (Sect. 3.3.4) or frame dragging effects (Sect. 3.3.3) are also accounted for in order to describe the motion of the planets at the level of accuracy required by the modern space mission observations. Other multipole moments than the Sun quandrupole moment are negligeable at the current level of accuracy.
3.3.2 Asteroid perturbations
Differences in the number of point-mass perturbations exist between planetary ephemerides. Table 2 summarizes them by splitting the case of the Main-Belt asteroids (MBA) on the one hand, and of the Trans-Neptunian objetcs (TNO) on the other hand. The problem of the modelisation of the MBA perturbations on the inner planet orbits has been addressed since DE405 (Standish 2001). The issue is that there is a considerable number of objects (at least 250,000), for which the masses are unknown, that can potentially interact gravitationally with the inner planets (mainly Mars). With DE405 (Standish 1998a), 5 asteroids (Ceres, Pallas, Vesta, Iris and Bamberga) have been identified as the main perturbers associated with an averaging of the effect induced by the rest of the MBA based on taxonomic classifications. But this modelisation shows its limits with the improvement of the accuracy of the Mars-orbiter tracking data (Standish and Fienga 2002). Williams (1984) proposed a list of 343 individual objects among the MBA gathering the most perturbing asteroids to consider for the construction of accurate planetary ephemerides. That list has been confirmed by Kuchynka and Folkner (2013) and since DE430 this is the Williams (1984) objects that are taken into account in DE and INPOP planetary ephemerides, with their masses individually fitted to observations together with the initial conditions of planet orbits, the mass of the Sun and the Earth–Moon mass ratio (Folkner et al. 2014; Fienga et al. 2019). A detailed description of the complexity of such an adjustment is out of the scope of this review but more comments on the accuracy obtained for these mass determinations can be found in Kuchynka and Folkner (2013) and Fienga et al. (2020a). In order to overcome this problem, but also to reduce the time cost of integrating an important number of objects, it has been proposed to substitute or to complement the MBA individual point-mass contribution by a global ring potential.
The first ring modelisation was proposed by Krasinsky et al. (2002) as a static ring fixed at 2.8 AU from the SSB. An updated model maintaining the total linear and angular momenta of the system has been implemented in Fienga et al. (2009) and Kuchynka et al. (2010) as a way to account for additional MBA contribution associated with a shorter list of individual point-mass perturbers. This approach has not be retained for MBA in DE (Folkner et al. 2014) and INPOP (since INPOP13c (Fienga et al. 2014)) ephemerides but kept in EPM ones associated with individual mass and density determinations for 3 classes of MBA (Pitjeva and Pitjev 2018).
After the introduction of the Juno and Cassini tracking data, it became clear that the perturbations induced by the TNO have to be included in the model. Pitjeva and Pitjev (2018), Di Ruscio et al. (2020b) and Park et al. (2021), individual point-mass perturbations of the most massive and binary Trans-Neptunian objects have been added together with a circular ring for accounting for the average effect of the rest of the TNO. However as the TNO orbits are more eccentric than the MBA ones, Fienga et al. (2021a) had introduced, instead of a circular ring, 500 individual point-mass TNO perturbers with observed orbitsFootnote 19 but of equal mass. This latest assumption simplifies the adjustment as only one parameter (the total mass spread over 500 objects) is used and fitted for characterising the TNO perturbations.
The full 1PN general relativity equation of motion is only taken into account for the first biggest MBA (Ceres, Pallas, Vesta, Iris and Bamberga). For the rest of the MBA and the TNO point-mass interactions, the perturbations on the planet orbits, and on the other asteroid orbits, are estimated at the Newtonian level only. This is done in order to reduce the computational cost, but it is consistent with the overall PN perturbative approach—given that those perturbations are already very small at the Newtonian level, such that their contributions at the post-Newtonian level are negligible.
3.3.3 Lense–Thirring acceleration
The Lense–Thirring (LT) acceleration induced by the Sun rotation has been recently added in modern planetary ephemerides (Pitjeva and Pitjev 2018; Park et al. 2021; Fienga et al. 2021b). Its new introduction is justified by the accuracy reached by space missions, especially those close to the Sun and Mercury such as Messenger and BepiColombo (Genova et al. 2018). It also has been shown that it helps for disentangling the PPN parameters for their contribution to the planetary motions (Fienga et al. 2021a).
Iorio et al. (2011) has also shown that this effect contributes to about 10\(\%\) of the dynamical acceleration induced by the shape of the Sun in General relativity (see Sect. 3.3.4). The acceleration induced by the Lense–Thirring effect generated by a central body (here the Sun) at the first post-Newtonian approximation is given by
where G is the gravitational constant, c the speed of light, \(\varvec{S}\) is the Sun angular momentum such as \(\varvec{S} = S \, \varvec{k}\) where \(\varvec{k}\) is the direction of the Sun rotation pole defined according to the IAU right ascension and declination (Archinal et al. 2018), \(\varvec{r}\) and \(\varvec{v}\) are the position and velocity vectors of the planet relative to the Sun and \(\gamma\) is the PPN parameter for the light deflection, equal to 1 in general relativity. The Lense–Thirring effect hence depends on the Sun angular momentum, \(\varvec{S}\) that can be obtained by considering different models for the Sun rotation including both the rotation of the convective region well constrained by helioseismology and the rotation of the Sun core (see Fienga et al. 2021a for discussion).
3.3.4 Shape of the sun
Among the solar multipole moments, only the degree 2 order 0 term of the spherical harmonic decomposition of the Sun gravity field, \(\hbox {J}_{2}^{\odot }\)—which is identified to the oblateness of the Sun— leads to a significant impact on the planetary ephemerides at the current level of accuracy. The \(\hbox {J}_{2}^{\odot }\) induces an acceleration \(\varvec{a}_{J_{2}^{\odot }}=({a}^x_{J_{2}^{\odot }},{a}^y_{J_{2}^{\odot }},{a}^z_{J_{2}^{\odot }})\) to be added to EIHDL Eq. (90) such as (Sharma et al. 2016; Ivashkin 2021):
where \(\mu _{\odot }\) and \(\hbox {R}_{\odot }\) are the gravitational parameter and the radius of the Sun, respectively, r is the heliocentric distance of the planet, (x, y, z) being its heliocentric coordinates.
It is common to see in the literature dealing with geodesy and geophysics the contribution of \(\hbox {J}_{2}^{\odot }\) as time variations of the osculating elements of the perturbed orbit such as (Kaula 1966; Bertotti et al. 2003a):
with a, e, n and i are the semi-major axis, the eccentricity, the mean motion and the inclination of the planetary orbit impacted by the oblateness of the Sun. M is the planet mean anomaly. We give these equations Eq. (93) as a simple illustration of the type of contribution one may get from the Sun quadrupole. It is then clear that the major contribution of this quadrupole term is on the advance of nodes \(\dot{\Omega }\) and perihelia \(\dot{\omega }\) of the planetary orbits. This system of equations is also somehow useful to apprehend the potential correlations that may appear between the Sun quadrupole moment and the semi-major axis and eccentricity.
Figure 6 shows \(J_{2}^{\odot }\) values deduced from planetary ephemerides including or not the Lense–Thirring contribution. It is clear, from this figure, that the introduction of the Lense–Thirring acceleration in the model improves significantly the \(J_{2}^{\odot }\) determinations. The values obtained with LT (Fienga et al. 2021a; Park et al. 2017) are indeed closer to the ones issued from helioseismologic surveys (Pijpers 1998; Antia et al. 2008) than those obtained before the LT introduction (Fienga et al. 2019; Iorio et al. 2011; Viswanathan et al. 2017; Fienga et al. 2014; Folkner et al. 2014; Fienga et al. 2011a, 2009). In general relativity, the difference in \(J_{2}^{\odot }\) with or without LT is of about about 7–10\(\%\).
As it will be developed in Sect. 4.1, the introduction of gravity theories that are different but close to general relativity induces modifications of the previous Eqs. (90)–(92). In this context, the value of \(J_{2}^{\odot }\) can also be determined with planetary ephemerides in the PPN framework, like given in Table 5. But we will see that the value of \(J_{2}^{\odot }\) can be strongly correlated to the value of non-general relativity parameters, and in particular the PPN parameter \(\beta\) (Milani et al. 2002)—as one can get an intuition from Eq. (100). In Sect. 4.1, we will see that the determination of the Sun oblateness when one includes PPN deviations plays a key role in the context of the global adjustment of planetary ephemerides.
3.4 Planetary datasets
The modern planetary ephemerides are characterised by the role of planet positions deduced from spacecraft missions either by navigation tracking or by the use of radio science data. In both cases, it is the distance between a station on the ground and a spacecraft orbiting of flying over a planet that is used for the construction of planetary ephemerides. The angular position between the same spacecraft and an extra-galactic source (generally a reference beacon for the construction of the inertial frame, ICRF) is also of great importance for the adjustment of the planetary ephemerides as it allows the tie of the planetary planes to the ICRF (see Sect. 3.2.3). Optical meridian transit and CCD angular positions are mainly kept for the constraint on the outer planet orbits. A full description of the different data sets used for the construction of the planetary ephemerides can be found in Folkner et al. (2014) and Fienga et al. (2009) and regular updates are presented for every new releases such as for DE440 (Park et al. 2021) or INPOP19a (Di Ruscio et al. 2020b). Table 3 gives the different data sets used for the construction of INPOP21a (Fienga et al. 2021b), counting a total of about 200,000 observations, this number of course varying from one ephemeris to another. Very similar datasets have been used by DE440 (Park et al. 2021).
3.4.1 Time delay of the propagation of light
The propagation of light is affected by the curvature of spacetime. Although the trajectory of light is bent in gravitational potentials, this bending is negligible for radio science in the solar system,Footnote 20 and the main effect is known as the Shapiro delay: the propagation time between two points is not simply the Euclidean BCRS distance over the speed of light between an emission point e and a reception point r, but it also involves a delay in general relativity that depends on the gravitational potentials as follows (Moyer 2000)
where the R is the Euclidean coordinate distance, \(\varvec{n}=(\varvec{r}_r-\varvec{r}_e)/\Vert \varvec{r}_r-\varvec{r}_e\Vert\), \(\varvec{r}_{iA}=\varvec{r}_i-\varvec{r}_A\) and \(r_{iA}=\Vert \varvec{r}_{iA}\Vert\) with \(i=e\) or r. Note that Eq. (94) slightly differs from the actual Shapiro equation through the \(c^{-2}\) terms in the logarithm function. It has lately been realized that this version of the Shapiro delay—rather than the usual equation without the additional \(c^{-2}\) terms in the logarithm—allows to account for the so-called second order time propagation enhanced terms, which can become numerically significant for particular conjunction situations despite formally being next-to-leading-order (or \(c^{-4}\)) terms (Ashby and Bertotti 2010; Linet and Teyssandier 2016). In practice, the difference between the two versions of the Shapiro delay is irrelevant for current planetary ephemerides.
However, it has been realized during the last decade that for close solar conjunctions, additional enhanced \(c^{-4}\) terms may no longer be negligeable, in particular for BepiColombo MORE (Mercury Orbiter radio science Experiment) (Hees et al. 2014a; Cappuccio et al. 2021) measurements. As a consequence, for close conjunction events, one might have to go beyond Eq. (94) and use a full second order time propagation time formula. This will be challenging in many different ways —see Appendix A. For planetary ephemeris construction, BepiColombo MORE experiment should provide range measurements up to close to 5\(^{\circ }\) to the Sun, that is, close to conjunction (Fienga et al. 2021a). For such close-to-the-Sun observations, a specific analysis will have to be done in order to account for the neglected terms of Eq. (94), but in the framework defined by the IAU (harmonic gauge).
In any case, when one deals with an alternative theory of gravity, one has to take care of the consistency between the different levels of construction of the ephemeris: modifying the Shapiro delay or the equation of motion for massive bodies is not without consequences on the other.
3.4.2 Radio science and navigation data
This type of data represent more than 65% of the full data sample used for the construction of the planetary ephemerides. It gathers measurements of distances in terms of time delays obtained during orbital or flyby phases of space missions, either during the regular navigation process, or during specific scientific sessions dedicated to radio science experiments. In this latter case, a detailed assessment of the capabilities of the radio transpondeur used for the re-emission of the captured signal is needed for the analysis (see e.g. Cappuccio et al. 2020). The measurement is the time differences between the time of emission of the signal by a ground-based antenna, the time of capture by the transponder on board of a spacecraft, the time of re-emission by this transponder after amplification and the time of reception of the transmitted signal by the same or a different ground-based antenna. Using a known orbit of the spacecraft around or near the planet, it is then possible to deduce the planetary range measurement, by accounting for the distance between the spacecraft and the centre of mass of the planet estimated during the s/c orbit determination. The accuracy of the range constraints deduced from the radio science and navigation data is then strongly dependant on the uncertainties of the spacecraft orbit determination.
The distribution of the data per missions is given in Fig. 7. In numbers, the Mars orbiter observations dominate, followed by the Venus tracking data. In terms of accuracy, the Mars data also lead the fit together with the less numerous but important tracking data of the Juno mission orbiting Jupiter as well as the Cassini radio science and tracking data for Saturn. The predominance in numbers and accuracy of the Mars observations on the planetary ephemerides data sample explain why some tests of general relativity have been said to be driven by the Mars orbit (Will 2018a), whereas Bernus et al. (2019) stressed also the importance of the outer planet radio science experiments.
Furthermore, in term of gravitational framework, these observations are also given in the framework used for studying the motion of the spacecraft around the planet. This framework is usually general relativity and discussions have been held regarding the consistency of testing alternative theories of gravity with observational constraints obtained in general relativity (see Verma et al. 2014). The most simple way to solve this problem is to operate the spacecraft orbit determination (OD) in the same framework as the one of the alternative theories to be tested. But as the s/c navigation is regularly interrupted, even during orbital phases, by engine boosts or attitude corrections, introducing significant changes in the orbit, OD is usually done over a short duration of time (from few hours to few days), in between these manoeuvres. Most of the time, up to now, alternative theories of gravity start to significantly differ from general relativity over longer time intervals. But it is clear that with the increase of the accuracy in the s/c orbit tracking, the modified general relativity that one wants to test should also be implemented during the OD process. See for example De Marchi and Cascioli (2020).
In parallel to the radar tracking, navigation teams also acquire positions of the spacecraft relative to extra-galactic sources by using facilities also dedicated to VLBI observations. This type of observations, called Delta -DOR, represent less than 1\(\%\) of the full data sample but they are crucial for linking the ephemeris reference frame to the ICRF (see Sect. 3.2.3). The first were obtained in 1981 (Donivan and Newhall 1981) with the Viking Mars lander. Technical description related to the production of this type of observations can be found in Folkner et al. (1994) and Moyer (2000). The most recent planetary ephemerides account for a total of about 300 VLBI positions, mainly extracted from the tracking data of Mars, Venus, Jupiter and Saturn orbiters with accuracies about less than 1 milliarcsecond of degree (mas) (Jones et al. 2011, 2019; Park et al. 2021).
3.4.3 Angular ground-based observations
Finally, the observational data base is completed by the optical observations of outer planets. This set constitutes about 35\(\%\) of the full data sample, and, despite their uncertainties, are crucial for Uranus and Neptune. For these two planets, only 1 flyby per planet has been acquired during the Voyager missions, leading to a weak constraint for several decade-long orbits. Direct transit observations of planets or satellites are part of the optical data samples as well as astrometric positions deduced from CCD observations and photographic plates. Both planet and satellite positions are included. In the case of satellite astrometry, the position of the planetary barycenter is deduced using satellite ephemerides (see Camargo et al. 2022). The long-term (several decades) behaviour of outer planet orbits is then driven by the planet barycenter equation of motion as given in Eq. (96), but also by the satellite dynamics. Additionally, depending on the reference frames used for the data publications, different algorithms are applied for transforming the astrometric positions (for example given in FK3, FK4 or FK5) to ICRF. Such transformations guarantee, at the level of accuracy of the optical data (about 50 to 100 mas), the link between the INPOP outer planet frame and ICRF. VLBI observations enforce this link at the VLBI accuracy which means a factor of at least 100 compared to the optical tie. On Fig. 7 are given an example (for INPOP21a) of the percentages of optical observations per planet. A specific tag is made on the data sample provided by Camargo et al. (2022) who did a new reduction of astrometric long-term observations of the Uranian main satellites obtained at the Pico dos Dias from 1982 to 2011, using the Gaia EDR3 as reference.
3.5 Fitting procedures
The main construction of planetary ephemerides uses a classic least squares approach. The total number of fitted parameters can be found in Table 2. It changes from one ephemeris to an other, depending the perturbations included in the model and the observational parametrizations required for the data analysis. Thus, to the parameters presented in Table 2, spacecraft bias accounting for additional transpondeur delays or additional ground-station delays (Kuchynka et al. 2012) have also to be added as well as parameters related to solar plasma corrections (Verma et al. 2013; Pitjeva et al. 2021).
Complementary methods have been proposed to make accuracy assessments, to overcome the problems of high correlated parameters, in particular in the frame of testing alternative theories of gravity (see Sect. 4), or of multiple correlations between parameters, as in the case of the determination of asteroid masses (Fienga et al. 2020a). In the context of computing threshold values for the violation of general relativity, Fienga et al. (2015) had tested genetic algorithm approaches for identifying sets of parameters (PPN \(\beta\), \(\gamma\), the Sun oblateness \(\hbox {J}_{2}^{\odot }\) and secular variations of the gravitational mass of the Sun, \(\dot{\mu }/{\mu }\)) with which planetary ephemerides can be computed and fitted to the observations with an comparable accuracy to the ephemeris (in this case INPOP15a) built in general relativity. Different approaches based on \(\chi ^{2}\) analysis with fixed PPN or alternative theory parameters have been investigated as well, using random walk exploration methods associated with various cost functions (Bernus et al. 2019, 2020, 2022; Fienga et al. 2021a). These methods have in common to be very conservative and to give larger constraints than those obtained with the least square procedures. See Sect. 4.1 for the full discussion.
A final but important comment is about the masses used for the construction of the ephemerides
Most of the planetary masses are not obtained during the construction of the planetary ephemerides but during the orbit determination of one or several spacecraft flying in planetary systems (see Table 4). They are obtained by combination of data from different missions and techniques, usually in the general relativity framework. For example, in the case of Neptune and Uranus, it is even a combination of Voyager radio tracking data, ground-based optical observations and images acquired by the s/c that leads to the determination of the mass of the planetary system. The s/c orbit and gravity field (mass) determinations are complex as they depend on various sources of interactions from solar radiation pressure, atmospheric dragging, maneuver residual accelerations to non-stochastic accelerations. For that reason, these s/c orbit and gravity field determinations are usually done independently from the planetary ephemerides.Footnote 21 These masses are therefore obtained in the framework of the s/c orbit and of the gravity field determination algorithm, which assumes generally general relativity. Only, the gravitational mass of the Sun, the ratio between the mass of the Earth and the mass of the Moon (invariant to any change of the gravitational constant) as well as a variable number of asteroid gravitational masses (see Sect. 3.3.2) are, in fact, estimated during the planetary ephemeris adjustment. In the case of a test of the violation of the Equivalence principle, the fact that some of the masses used in the ephemeris are obtained in the general relativity framework can introduce an inconsistency in the method. In principle, it should be necessary to consider a more global approach, including the s/c orbit determination in the same framework than the one of the planetary ephemeris. So far, such an attempt was only operated for Parametrized post-Newtonian tests (see Sect. 4.1).
4 Tests of alternative theoretical frameworks with planetary ephemeris
Thanks to the accuracy of the most recent observations but also to the more than one century long data span, planetary ephemerides are excellent tools for testing general relativity and its alternatives. In principle, if the model of gravity is not accurate enough, or does not well represent the physics as seen by the observations, it should then lead to a deterioration of the differences (residuals) between observed and computed quantities—deduced from the ephemeris. When the deterioration of residuals built with an alternative theory becomes statistically significant with respect to the residuals obtained in the general relativity framework, one can say that it disfavors the alternative theoretical framework—or favors general relativity over its alternative. On the opposite, if the residuals obtained with an alternative theory are significantly improved—that is, if there are significantly smaller—in comparison to the one obtained in the general relativity framework, it favors the alternative theory. However, so far, this has never occurred.
In the following sections, we will explore various theories or phenomenologies that have been scrutinized using planetary ephemerides. The selection of certain theories or phenomenologies to test, rather than others, can be driven by several considerations. One of them could be the historical circumstances. For example, the Parametrized Post-Newtonian (PPN) framework was developed during the early stages of the general relativity testing era and has since been widely employed in tests involving planetary ephemerides.
Another factor could be the complexity of the task, both in terms of numerical computations and statistical methodology. The larger the number of parameters to constrain a theory has, the larger the dimension of the theoretical space there is to examine. Additionally, there is an increasing risk of introducing multiple correlations between the parameters of the theory, as well as between these parameters and those of the solar system (i.e., masses). Given that it can take up to eight hours of computation to adjust the solar system parameters of the ephemeris at a single point in the parameter space (Mariani et al. 2023), achieving a densely filled parameter space becomes highly computationally demanding if the parameter space dimension is greater than one. Moreover, the statistical methodology also grows more complex with an increase in the number of parameters to constrain.
There is also the risk of missing a genuine detection-that is, obtaining better residuals in an alternative theory than in general relativity for a specific parameter value-if the parameter space of alternative theories explored is too sparsely populated. Therefore, it is of paramount importance to have a densely filled parameter space, which consequently makes computational time requirements escalate with the number of parameters to constrain. In the case of a classic least square approach, the risk of high correlations between parameters associated with the observational uncertainties also limit the possible theories to be tested. As a result, tests are often conducted on theories or phenomenologies that hinge on few parameters only.
4.1 Parametrized post-Newtonian framework
For many metric theories—that is, theories for which the additional gravitational fieldsFootnote 22 do not couple to matter directly, such that the theories satisfy the weak equivalence principle by design—all the differences with respect to general relativity can be taken into account through parameters that appear in front of the gravitational potentials in the metric (Will 2014, 2018b). This is the case for instance for scalar-tensor theories, vector-tensor theories, or tensor-vector-scalar theories, and notably TeVeS (Will 2014). Indeed, because the weak equivalence principle is enforced by hand by imposing that the additional gravitational fields do not couple to matter directly, particles still follow geodesics of the metric and proper time is still defined from the metric only.Footnote 23
Many theories then turn out to generate the same type of metrics, where the differences with respect to general relativity can be parametrized by a set of a few parameters in the metric only—which values depend upon the theory considered. This comes in handy, as it allows to derive all the equations necessary in planetary ephemerides—that are, the time-scale definitions, the motion of celestial bodies and the Shapiro delay—from a single original parametrized metric. This whole framework is therefore called the parametrized post-Newtonian (PPN) formalism.
Nevertheless, as it will be discussed in Sect. 4.1.2, the coordinate system being used for planetary ephemerides matters, and one has to make sure that the coordinate system being used for alternative theories is compatible at the required level of accuracy with the IAU standards used to convert observables (e.g. the roundtrip of an electromagnetic signal measured in terms of the proper time of the local clock) into spatial and temporal coordinate positions (e.g. the distanceFootnote 24 of a spacecraft with respect to the ground-based station being used).
Among the 10 PPN parameters discussed in Will (2014) and Will (2018b), we shall first only consider the Eddington–Robertson–Schiff parameters \(\gamma\) and \(\beta\), because most of the planetary ephemerides to this date focused on those parameters. A complete description of the PPN parameters will be discussed in Sect. 4.1.4. Let us write the metric as follows (Klioner and Soffel 2000)
In general relativity, the PPN parameters \(\beta\) and \(\gamma\) equal to one, but not for alternative theories in general.
The form of the metric given in Eq. (95) is not sufficient in order to completely fix the coordinate system, and one has to impose an additional constraint (or gauge) in order to specify the metric field equations—see, e.g., Klioner and Soffel (2000). Since the IAU recommends the coordinates (or gauge) to be harmonic for general relativity (Soffel 2003), it seems relevant to consider harmonic coordinates for alternative theories as well, such that (at least) the coordinate systems of the alternative theory reduce to the IAU coordinate systems in the limit for which both theories cannot be distinguished at the level of accuracy of the observations.
Ambiguity of the definition of harmonic coordinates
The very definition of what one may call harmonic coordinates can be ambiguous for alternative theories of gravity. For instance, for scalar-tensor theories, one can impose the usual post-Newtonian harmonic conditions—\(g^{\alpha \beta }\Gamma ^0_{\alpha \beta }=0\)—either in the Jordan frame, or in the conformal Einstein frame (Damour and Esposito-Farese 1992; Kopeikin and Vlasov 2004; Minazzoli and Chauvineau 2011; Will 2018b; Kopeikin 2019). But both choices reduce to the general relativity harmonic coordinate in the limit for which the difference between general relativity and the scalar-tensor theory becomes negligeable (e.g. for the Brans–Dicke parameter that is such that \(\omega \rightarrow \infty\)). Imposing the harmonic conditions in the Einstein frame has been shown to lead to more convenient properties (Damour and Esposito-Farese 1992; Kopeikin and Vlasov 2004; Minazzoli and Chauvineau 2011; Kopeikin 2019), notably with respect to the full theory of reference frames (Kopeikin and Vlasov 2004). However, this definition of harmonic coordinates then becomes theory-dependent (Will 2018b). In order to alleviate the ambiguity, Kopeikin and Vlasov (2004); Kopeikin (2019) used the name “Nutku gauge”—or “conformal harmonic gauge”—when the harmonic conditions are imposed on the metric in the Einstein frame rather than in the Jordan frame. Will (2018b), it corresponds to the “generalized harmonic gauge”.
4.1.1 Equations of motion, Lense–Thirring and Shapiro delay
In harmonic coordinates, the EIHDL equation of motion in the barycentric frame [Eq. (90)] reads as followsFootnote 25
with \(\gamma\) and \(\beta\), the Parametrized Post Newtonian (PPN) parameters. They are equal to 1 in general relativity, such that one recovers the usual EIHDL Eq. (90) in that case.
Additionally, directly from the metric Eq. (95), one can deduce that the Shapiro delay becomes
with the same notations as Eq. (94).
The Lense–Thirring acceleration is also modified and reads:
with the notation of Eq. (91).
It is also important to stress that only the PPN parameter \(\gamma\) appears in the Shapiro delay formula that is used for the computation of the propagation time of light and doppler shift (see Sect. 3.4). As a consequence, the impact of this parameter can be more easily disentangled from the effect of other parameters, in particular with conjunction events for which one directly probes the differential evolution of Eq. (97) with respect to evolution of the impact parameter during the conjunction (Bertotti et al. 2003b). This disentangling of the \(\gamma\) parameter is also enhanced by the LT contribution, which depends on \(\gamma\).
Since the first radar echos obtained from the Mercury surface (Shapiro 1964), it has been possible to evaluate the departure from unity of the PPN parameters in the context of the planetary orbit computation. Such estimations are done during the construction of the planetary ephemerides when the initial conditions of the planetary orbits are fitted to observations with a least square procedure (Ash et al. 1967; Standish et al. 1976), together with other parameters such asteroid masses.
4.1.2 Time-scales
As mentioned in Sect. 3.2.2, planetary ephemerides produce the difference between the TT and the TDB. In the PPN framework, Eq. (86) has to be modified as follows (Manche 2011)
Comments on reference frame theory in alternative theories
The difficult subject of reference frame systems in alternative theories has not been investigated systematically. In fact, it has been explored explicitly only for a class of massless scalar-tensor theories “à la Brans–Dicke” (Kopeikin and Vlasov 2004), after some previous effort to characterize it in a general standard post-Newtonian approach (Klioner and Soffel 2000). Fortunately in practice, the differences between coordinate systems in general relativity versus PPN framework are numerically negligible—notably given the already tight constraints that one already has on the PPN parameters.
4.1.3 Constraints and correlations
An important discussion related to the PPN parameter determinations using least square methods is the correlations between \(\beta\), \(\gamma\) and other contributions to the planetary accelerations. This problem has been pointed out a long time ago (Anderson et al. 1978) but it is still vivid today. In particular, if we consider the analytical expression of the advance of the perihelia for planetary orbits \(\Delta {\dot{\varpi }}_{PLA}\), as given in Will (2014), the two main contributions of this equation are the PPN term \((2+2\gamma -\beta )\) and a term giving the impact of the Sun oblateness \(J_{2}^{\odot }\). But we can also add the main belt asteroid contribution and the LT effect defined in Sect. 3.3.3, such as per orbit, one gets (Bertotti et al. 2003a)
where \(a_{AST},e_{AST}, \mu _{AST}\) are respectively the asteroid orbit semi-major axis and eccentricity and its gravitational mass perturbing the planet orbits (main-belt and trans-neptunian objects), a, e are the semi-major axis and eccentricity of the planet orbit and finally, c and \(\mu \odot\) are the speed of light and the gravitational parameter of the Sun. This latest quantity can be time-varying as discussed in Sect. 4.3. \(\Delta {\dot{\varpi }}_{LT}(S, \gamma )\) is the Lense–Thirring effect presented in Sect. 3.3.3. A discussion about other contributing terms such as PN cross-terms, de Sitter precession and 2PN crossterms has been proposed by Will (2018). The conclusion is that these 3 additional contributions could have some importances in the coming years with the Bepi-Colombo mission. In any case, they are implicitely taken into account when numerically integrating the EIHDL equation of motion.
Note that Eq. (100) is an analytical approximation of the perihelia advance rate that is useful in order to get a sense of some of the correlations that may arise between different quantities. The actual value would have to be inferred from the numerical integration of the equations of motion in the solar system with the total acceleration, \(\varvec{a}_T^{\text {total}}\):
where \(\varvec{a}_T, \varvec{a}_{J_{2}^{\odot }},\varvec{a}_{LT}\) are the point-mass interaction acceleration given in Eq. (96), the acceleration induced by the oblateness of the Sun Eq. (92) and the Lense–Thirring acceleration Eq. (98) respectively, \(IC_{SS}\) stands for the initial conditions of the numerical integration for the solar system bodies, including asteroids.
It is rather understandable from Eq. (100) that there can be some level of correlation between, e.g., the semi-major axis (which follows from the initial conditions in the numerical integration) and the post-Newtonian parameters \(\gamma\) and \(\beta\). One can also see that for disentangling the different contributions, it is more efficient to have several orbits with significantly different semi-major axis a and eccentricities e as the PPN acceleration depends on a when the Sun oblateness acceleration depends on \(a^{2}\) [see Eqs. (100) and (93)]. It is also interesting to compare the Sun \(J_{2}^{\odot }\) determinations obtained in general relativity—equivalent to consider \(\beta\) and \(\gamma\) fixed to one—presented on Fig. 6 with the those obtained in adding the PPN parameters \(\beta\) and \(\gamma\) into the global planetary fit as on Fig. 9. It appears first that, besides the differences between ephemerides, the general relativity estimations (with \(\beta\) and \(\gamma\) fixed to unity) have globally reduced error bars (i.e. less uncertainty induced by less correlation), as one can see, for example, with INPOP20a (\(2.218 \pm 0.03\) in general relativity versus \(2.165 \pm 0.12\) in PPN), or the partial fit obtained by Genova et al. (2018) (\(2.271 \pm 0.003\) in general relativity versus \(2.246 \pm 0.02\) in PPN). Secondly, biases affect also the \(J_{2}^{\odot }\) determinations obtained with fitted PPN parameters as these latest can be significantly different from the \(J_{2}^{\odot }\) values obtained in general relativity. These bias are due to the correlations between the PPN parameters and \(J_{2}^{\odot }\). In the case of the Earth–Moon system, the relation is even more complex as it also includes the tidal contributions depending on the internal structures of the two bodies.
In order to overcome the problem of the correlations between the parameters, other methods of inversion such as random walk exploration or Genetic Algorithm have been proposed (see Sect. 3.5). They usually give more conservative constraints than the direct least square method as it is visible on Table 5 and Fig. 8. On these table and figure, one can find the estimations of PPN parameters \(\beta\) and \(\gamma\) determinations based on planetary ephemerides. Three families of determinations are proposed. The first noted FF gathers least square fitted evaluations of PPN parameters, \(J_{2}^{\odot }\) and secular variation of the gravitational parameter of the Sun, \(\mu _{\odot }\). As discussed previously on Sects. 3.3.4 and 3.5, these parameters are strongly correlated and thus are affected by biases (see Figs. 6, 9) and underestimated uncertainties. The second type of determinations given on Table 5 with the label PF are the one deduced with one (at least) of these parameters fixed in the planetary ephemeris adjustment. These estimations are less correlated than the FF ones and give more reliable assessments but are limited to only one value (usually either \(\gamma\) or \(J_{2}^{\odot }\) are fixed and \(\beta\) is fitted). Finally, the latest category is obtained by Genetic Algorithm (Fienga et al. 2015) or random walk exploration (Fienga et al. 2021a). They investigate the space of parameters more largely than the two former methods, leading to usually larger intervals for possible general relativity violations. On Table 5, values obtained in the context of one single planet analysis (Mercury) with only one single spacecraft (MESSENGER) data analysis (Genova et al. 2018) are also given for comparisons. The obtained results show smaller uncertainties than the planetary determinations but might be affected by possible biases. As it was shown in the Eq. (100), the use of multiple orbits favors the disentangling of the different planetary contributions. Moreover, the value of \(\beta\) is obtained by introducing the Nordvedt relation Eq. (126) in the equation of motion and in the fitting procedure which supposes to consider only metric theories and increases the correlations between the fitted parameters (see Sect. 4.2).
Finally, as one can see on Fig. 8, all the PPN estimations obtained with the three methods are consistent with general relativity, with no significant departure from unity for \(\beta\) and \(\gamma\). By considering the common overlaps of all the recently published intervals obtained with planetary ephemerides, the two following constraints are obtained:
These values represent an improvement of about 3 orders of magnitude for \(\gamma\) and \(\beta\) in comparison to the historic first determination of Anderson et al. (1978). We can expect the same type of improvements in the coming years, especially with the outcomes of the BepiColombo mission (Imperi et al. 2018; De Marchi and Cascioli 2020).
4.1.4 The extended PPN formalism
SPN gauge versus harmonic gauge
Usually, the extended standard post-Newtonian formalism assumes a gauge (or coordinate system) that is quite different from the one recommended by the IAU that is called the standard post-Newtonian (SPN) gauge. In general relativity already, while the harmonic conditionFootnote 26 at the post-Newtonian level reads
the SPN conditions read (Damour et al. 1991)
It implies that the field equations are modified, such that, instead of Eqs. (81)–(82), one has (Damour et al. 1991)
The difference between the potentials in the harmonic and the SPN gauges reads (Soffel 2003)
with
In terms of coordinates, the transformation between the two coordinate systems reads (Klioner and Soffel 2000; Will 2018b)
While both gauges can be used in principle, the harmonic gauge has been found to be much more convenient for deriving the reference frame theory in the solar system (Damour et al. 1991), such that harmonic coordinates have been used in the reference frame theory upon which the IAU recommendations have been built. A thorough comparison between the two coordinate systems in the full PPN framework can be found in Will (2018b).
Full PPN metric in harmonic gauge
The full PPN framework considers all the possible different potentials that could contribute to the metric, assuming that the Newtonian potential is the leading potential—which may not be the case for a massive gravity theory for instance, see Sect. 4.4. Furthermore, the PPN framework can only deal with theories for which the Weak Equivalence Principle has been enforced by hand by requiring that the additional gravitational fields do not appear in the material part of the action. In the PPN framework, test particles indeed follow the geodesics of space-time, meaning that matter reacts to the space-time metric only. While this is necessary in order to have a theory for which all test particles fall alike by construction, one could question the theoretical relevance of such a restriction (Damour 2012)—see Weak Equivalence Principle in Sect. 4.2.
The full PPN metric in harmonic coordinatesFootnote 27 reads (Will 2018b):
with
where \(\varvec{w}\) is the coordinate velocity of the PPN coordinate system relative to the mean rest frame of the universe, and with the following metric potentials
where \(\rho ^*:=\rho u^0 \sqrt{-g}\) is the “conserved” mass densityFootnote 28—in the sense that it satisfies the Newtonian conservation equation \(\partial _t \rho ^* + \partial _j (\rho ^* v^j) = 0\).Footnote 29 The whole set of PPN parameters is \(\gamma , \beta , \xi , \alpha _1, \alpha _2, \alpha _3, \zeta _1, \zeta _2, \zeta _3, \zeta _4\). The parameter \(\xi\) is non-zero in any theory of gravity that predicts preferred-location effects such as a galaxy-induced anisotropy in the local gravitational constant GL (also called “Whitehead” effects); \(\alpha _1, \alpha _2, \alpha _3\) measure whether or not the theory predicts post-Newtonian preferred-frame effects; \(\alpha _3, \zeta _1, \zeta _2, \zeta _3, \zeta _4\) measure whether or not the theory predicts violations of global conservation laws for total momentum (Will 2014).
Untill now, the full PPN framework has not been investigated with planetary ephemerides. First, one would have to derive the equation of motion in harmonic coordinates for point-mass interations that follows from the more general hydrodynamical situation depicted in Eqs. (112)–(122). Also, let us stress that the issue of the definition of the SSB has to be carefully checked, notably for the parameters that correspond to a violation of the conservation laws of momentum. Finally, the more the parameters, the more computationally demanding the study is, and one therefore has to think about the best way(s) to explore and constrain the landscape of parameters. Hence, several studies still seem to be needed before being able to constrain the full PPN framework with planetary ephemerides.
Nevertheless, measurements of PPN parameters other than \(\beta\) and \(\gamma\) such as \(\alpha _{1}, \alpha _{2}, \zeta _{1}\),in the weak field regime, have been proposed early, by Anderson et al. (1978), and in the context of the mission BepiColombo by Milani et al. (2002) and De Marchi and Cascioli (2020), using Mercury orbit. As explained in Will (2014), the contribution of the preferred-frame parameters are included in the ratio between the planet mass and the Sun mass, leading to contributions to a maximum of 1\(\times 10^{-4}\) for Jupiter and 1\(\times 10^{-7}\) for Mercury. De Marchi and Cascioli (2020) expect a constraint for \(\alpha _1\) at the level of \(10^{-7}\) and up to 7 \(\times 10^{-8}\) for \(\alpha _{2}\), with BepiColombo and future Venus missions. These estimations are obtained with covariance analysis of tracking observations of s/c orbiting planets. They are interesting as they estimate the capabilities of future missions for disentangling of the PPN contributions on the planetary motions.
In the strong field regime, constraints have been obtained for the parameters \(\alpha _{1}, \alpha _{3}\) and \(\zeta _{2}\) using pulsar timing (Stairs 2003).
4.2 Equivalence principle
While a deviation for particles with different compositions falling equally in a given gravitational field would indicate a violation of the Weak Equivalence Principle (WEP), a deviation for extended bodies with different gravitational self-energies would be a sign of a violation of the Gravitational Weak Equivalence Principle (GWEP), which is part of the Strong Equivalence Principle (SEP) as defined in Will (2018b). In all cases, with planetary ephemerides, one seeks to check the Universality of Free Fall (UFF)—that is, to check whether or not all bodies fall alike in a given gravitational potential. Such violations naturally occur in various modifications of general relativity, and in particular in theories with more than four dimensions like in string theories (Damour and Polyakov 1994; Damour et al. 2002), for which the constants of the standard model of particles turn out to be dynamical entities (Damour and Donoghue 2010; Damour 2012).
As we will see, the violations of both the WEP and GWEP have in common the fact that the equation of motion at the Newtonian level reads as follows
where \(\delta _T\) and \(\delta _{AT}\) are coefficients that depend on the composition of the bodies T and A, for the case of the violation of the WEP only. For the case of the violation of the GWEP only, \(\delta _T\) depends on the ratio between the gravitational and inertial masses and \(\delta _{AT}=0\)—such that
where \(m^G\) and \(m^I\) are the gravitational and inertial masses respectively. Note that \(\mu ^G_A\) is the gravitational parameter constructed with the gravitational mass \(m^G_A\) such as \(\mu ^G_A=(1+\delta _A) \mu _A^I\), where \(\mu ^I_A {:= G m^I_A}\) is the gravitational parameter obtained with the inertial mass \(m^I_A\). Equation (123) is the most general equation that still satisfies Newton’s third law of motion (Viswanathan et al. 2018). As we will see in Sect. 4.6, one can have both a violation of the WEP and the GWEP at the same time—that is, \(\delta _T\) can depend both on the composition of the body T and on its internal gravitational energy.
The equivalence principle is currently tested at different scales: on the one hand on the laboratory scale for WEP with the torsion balance and MICROSCOPE, and on the other hand, the astronomical scale for GWEP with LLRFootnote 30 and compact objects — at the level of about 10\(^{-13}\) with torsion balances (Adelberger et al. 2003a), 10\(^{-15}\) with the MICROSCOPE experiment (Touboul et al. 2022) and 10\(^{-14}\) with LLR (Williams et al. 2012; Viswanathan et al. 2018; Biskupek et al. 2021).
The latest LLR results (Biskupek et al. 2021) are more accurate that what can be achieved with the sensitivity of planetary ephemerides as discussed in Viswanathan et al. (2018). We give however a brief overview of the equations at stake below, mainly in the perspective of the BepiColombo mission that should lead to a significant improvement of the sensitivity of planetary ephemerides on the tests of the equivalence principle.
Finally, it is interesting to note that constraints on the violation of SEP have been obtained in strong field regime, mainly using the chronometry of millisecond pulsars. For a deeper dive into this captivating subject, we direct the reader to Kramer et al. (2021), Freire et al. (2012), and Voisin et al. (2020).
4.2.1 The case of metric theories
While metric theories satisfy the WEP by design (see Sect. 4.1), they do not satisfy the SEP in general—in the sense that bodies with different gravitational self-energies would not follow the same trajectories in general (Nordtvedt 1968a, b). This notably induces that for extended bodies with enough gravitational self-energy such as planets, the ratio between their gravitational and the inertial masses is no longer one as in general relativity, but instead depends on the body self-gravitational energy that can be approximated for uniformly distributed spherical bodies as follows
where \(R_T\) is the radius of the astronomical body T and \(m^{G}_T\) is its gravitational mass. The parameter \(\eta\), known at the Nordtvedt parameter, quantifies the possible violation of the SEP and can be fitted together with the rest of the planetary and lunar ephemeris parameters. In the most generic case, \(\eta\) can be seen as an independent parameter and be introduced in Eq. (125), common to all the bodies. However, in the case of the metric theories, it can be related to the PPN parameters such as (Will 2018b):
Although note that only the cases for which \(\alpha _1=0\) and \(\alpha _2=0\) have been considered in planetary ephemerides so far—see Sect. 4.1.4 for a discussion on the extended parametrized post-Newtonian framework. In principle, the introduction of Eq. (126) in the global adjustment of planetary ephemerides should increase the correlations between \(\beta\), \(\gamma\), \(\eta\) and the other ephemeris parameters, including \(J_{2}^{\odot }\) (Ashby et al. 2007). However, simulations for the MORE BepiColombo experiment indicate a significant improvement of the \(\beta\), \(J_{2}^{\odot }\) and \(\eta\) correlation (from 0.9 to 0.3) thanks to the high accuracy of the Mercury-Earth range measurements that should be obtained (few tens of centimeters) by the mission (Milani et al. 2002; De Marchi et al. 2016; Imperi et al. 2018; De Marchi and Cascioli 2020). Finally, recent attempt using Messenger tracking data leads to a measurement of \(\eta\) at the level of 7 \(\times 10^{-5}\) but this estimation has been done in considering only the Mercury orbit (Genova et al. 2018). Even in these very favorable conditions, it gives a slightly less restrictive limit than the latest LLR evaluation from Biskupek et al. (2021) with a deduced \(\eta\) value of 5 \(\times 10^{-5}\).
4.2.2 The case of non-metric theories
As discussed in Sect. 4.1, metric theories satisfy the WEP because the additional gravitational fields (beyond the metric) do not couple directly to matter. However, one could question the reason why additional gravitational fields would not couple to matter. Indeed, at the fundamental level, there does not seem to be any reason to expect that outcome (Damour 2012). Moreover, extra-gravitational fields with non-minimal couplings to matter are ubiquitous in various attempts to unify the whole set of fundamental interactions in physics—such as in Kaluza-Klein or superstring theories (Damour 2012), for instance. Finally, such non-minimal couplings can also appear from radiative quantum corrections of theories that satisfy the WEP at the classical level (Armendariz-Picon and Penco 2012)—whereas the WEP in general relativity is immune to quantum corrections due to the specific symmetries of general relativity (Armendariz-Picon and Penco 2012). Therefore, it seems that beyond general relativity, violations of the WEP should be expected at some level—either at the classical level already, or from quantum corrections to the classical action.
Decoupling mechanisms
Since the equivalence principle is observed to be satisfied with an ever increasing level of accuracy, non-metric theories need to possess mechanisms that are able to hide the effects of the additional gravitational fields in the solar system. They are often called “decoupling” or “screening” mechanisms.Footnote 31 They can take their roots from the fact that the additional fields are simply massive enough to propagate over very short distances only—such as what happens with flux compactification in string theory (Douglas and Kachru 2007)—or from the suppression of the coupling during the evolution of the universe—such as the Damour–Nordtvedt decoupling mechanism (Damour and Nordtvedt 1993; Damour and Polyakov 1994)—or from the dependence of the effective mass, or coupling, of the additional gravitational field to the local density—such as the chameleon and symmetron mechanisms (Khoury and Weltman 2004; Hinterbichler and Khoury 2010)—or from non-perturbative effects—such as the Vainstein mechanism (Vainshtein 1972; Babichev and Deffayet 2013)—or simply from exact cancellations in the field equations—such as the intrinsic decoupling (Minazzoli and Hees 2013, 2016) that notably appears in entangled relativity (Arruga et al. 2021).
4.2.3 The equivalence principle in a planet-satellite system
Considering the generic Eq. (123), we can deduce for the couple of the bodies T and A that the difference between their accelerations toward the Sun S reads
with \({{\bar{m}}_{AT}}\equiv m^G_A + m^G_T+ (\delta _T+\delta _{TA})m^G_A+(\delta _A+\delta _{TA}) m^G_T\). For gravitationally bounded systems like the Earth–Moon system, one can further approximate both distances appearing in this last term as being approximately equal, such that the relevant term in order to check a potential violation of the EP through a violation of the universality of free fall (UFF) is
where E, S and M stand for the Earth, the Sun and the Moon respectively, and with
Equation (128) was introduced in Williams et al. (2012) for theories that violate the GWEP only, for which \(\Delta _{\rm{ESM}} = \Delta _{\rm{EM}}\) such that
In that case, Eq. (128) becomes
4.2.4 The equivalence principle at planetary scale
At planetary scale, Eqs. (128) or (131) are not valid anymore. Indeed, planets are at different distances from the Sun and EP tests cannot be limited to the differences between two accelerations. In that case, one has to use the more general Eq. (123) instead.
A confusion can occur when defining the SSB because the gravitational parameters that appear in the equations of motion are constructed with the gravitational masses; whereas the gravitational parameters that are used to define the SSB should be constructed with the inertial masses, as pointed out in Milani et al. (2002) and Genova et al. (2018)—see also Sect. 4.6. It was an issue in particular for previous versions of planetary ephemerides, such as Folkner et al. (2008), where the SSB positions and velocities were estimated at each step of integration with the gravitational parameters appearing in the equations of motion.
However, as explained in Sect. 3.2.4, in planetary ephemerides such as INPOP08 (Fienga et al. 2008) and the followings, the SSB position and velocity are estimated once, before integrating the motion of planets, using planetary initial conditions, inertial masses and Eqs. (89) and (88). As explained in Sect. 4.6, Bernus et al. (2022) have checked with a specific theory that violates both the WEP and the GWEP that those equations indeed remain the ones that characterize the SSB at the required level of accuracy for planetary ephemerides—provided that inertial masses are used for the definitions and not gravitational masses—as originally suggested in Milani et al. (2002) and Genova et al. (2018).
4.2.5 Comment on the mass in the Shapiro delay equation
As soon as the SEP is violated, there is a potential ambiguity about the gravitational parameter that appears in the Shapiro delay Eq. (97). Indeed, the gravitational parameter in the Shapiro delay could either be constructed on the inertial mass, or on the gravitational mass. As we will see in Sect. 4.6 Eqs. (157)–(158), one can derive from first principles that the gravitational parameter that appears in the Shapiro delay is the one built upon the inertial mass, that is \(\mu ^I_A = G m^I_A = (1-\delta _A) G m^G_A\), with:
There is a somewhat simple explanation to that. One must recall that the original Nordtvedt effect was derived for the sum of point particles of (inertial) mass m that are gravitationally bounded together. The metric is bent by those masses m, and the sum of all the masses corresponds to the inertial mass of the overall body that is composed from all thoses masses, to lowest order (Nordtvedt 1968b). Since the Shapido delay simply derives from the null condition \(ds^2=0\) for light, the Shapiro delay must depend on this sum of inertial masses. What the Nordtvedt effect tells additionally, is that the center of mass of this collection of masses does not follow the same trajectory as would an inertial mass, but follows the trajectory given by the following equation instead
4.2.6 The issue of time in non-metric theories
The issue with theories that violate the WEP is that they usually also violate the local position invariance (Uzan 2011), such that the behaviour of clocks not only may be modified with respect to general relativity depending on the position in the gravitational field, but also may depend on the clock composition. Therefore, one may expect that this should complicate the tests of such theories with planetary ephemerides, given that positions of astronomical bodies are given in one of the coordinate times recommended by the IAU, and which are perfectly independent of the composition of the clocks that has been used. Fortunately, the local position invariance is tested to a very high level of accuracy on Earth with various atomic clocks (Rosenband et al. 2008; Guéna et al. 2012; Leefer et al. 2013; Godun et al. 2014; Huntemann et al. 2014). Indeed, thanks to the eccentricity of the Earth’s orbit, one can probe a potential variation of the ratio between the frequencies of atomic clock with different compositions depending on the variation of the local value of the Sun’s gravitational field. Because the local position invariance is tested with atomic clocks at a level of accuracy that is far beyond what is used in space navigation, one can neglect this potential effect in planetary ephemerides.
4.3 Variation of the gravitational constant G
With respect to the subject of the potential variation of constants (Uzan 2011), planetary and lunar ephemerides have been mostly used for testing an hypothetical variation of Newton’s constant G, or a related value, the Astronomical Unit (Hellings et al. 1983; Anderson et al. 1987, 1989; Pitjeva 1993).
Before 2012 and the decision by the International Astronomical Union (Capitaine et al. 2012) to redefine the Astronomical Unit (AU) as a constant with a fixed value, the AU was indeed part of the parameters estimated during the construction of planetary ephemerides. The Gauss constant k was fixed (Standish 2001) and the AU was estimated from this equation
where D is the length of the day and \(GM_{\odot }\) is the gravitational parameter of the Sun. In this context, AU values and its hypothetical time variations have been estimated with planetary fit by Krasinsky and Brumberg (2004). In the same manner, an estimation of \(\frac{{\dot{G}}}{G}\) was also obtained, together with the value of AU. A first test of such a variation has been initiated by Hellings et al. (1983), using the data obtained with the Viking mission on Mars. On a regular basis, the planetary ephemerides were then published with updates for \(\frac{{\dot{G}}}{G}\) based on a global adjustment including also AU and PPN parameters (Pitjeva 1993; Standish 2001; Pitjeva 2005b). Results are gathered in Table 6.
After 2012, the AU has been fixed to 149597870700 m, closing the door to the estimation of \(\rm{d}{AU}/\rm{d}t\), but leading to a more consistent determination of the gravitational parameter of the Sun, \(GM_{\odot }\) noted \(\mu _{\odot }\), now fitted in planetary ephemerides. As it is reviewed in Uzan (2011), some theories propose that the gravitational constant can vary with time. Thus, an hypothetical variation of G in time has been introduced in the planetary ephemerides, but it is not straightforward since it affects both the planetary and the Sun gravitational parameters \(\mu\).
For the planets, because they do not lose or gain mass, the time variation of G induces a direct variation of the gravitational parameter \(\mu _P\) such \(\dot{\mu }_{P}/\mu _{P} = {\dot{G}}/G\). For the Sun, its intrinsic mass loss \(\dot{M_{\odot }}\) has also to be considered. As a consequence, the following equations are added to the system of equations integrated numerically during the planetary ephemerides construction
where \({\mu }_\odot\) is the gravitational paramater of the Sun and
with \(\mu _{P}\) is the gravitational parameter of bodies other than the Sun.
At each step t of the numerical integration of the planetary equations of motion, the following quantities are estimated:
where \(t_0\) is the date of the origin of the planetary ephemeris. Let us note that the gravitational parameter \(\mu (t)\) also appears in the computation of the Shapiro delay (see Sect. 3.4.1). In this case, the value of \(\mu (t)\), corresponding to the date of the observation, is computed with Eq. (141) and re-introduced in the Shapiro Eq. (94).
\(M_{\odot }(t_0)\) is the mass of the Sun fitted during the construction of the ephemeris, and \(G(t_0)\) is the Newtonian gravitation constant as defined by the IAU (Luzum et al. 2011). The effect of the time variation of G being largely induced by the gravitational parameter of the Sun more that the ones of the planets, one then deduces the value of \({\dot{G}}/G\) by considering its impact of the Sun contribution [Eq. (136)] and a fixed value for the Sun total mass loss, \(\frac{\dot{M_{\odot }}}{M_{\odot }}\). Pitjeva and Pitjev (2012) have proposed an interval of values for the total solar mass loss of
This estimation considers the mass loss by the Sun, but also the mass gained by falling materials (comets, asteroids etc...). Pinto et al. (2011) have estimated a mean mass loss from wind emission of charged particles during the 11-year solar cycle:
instead of Eq. (142). In 2021, a detailed evaluation of Pitjeva et al. (2021) gives
This value accounts for the solar wind radiation as well as the accumulation of interplanetary dust falling on the Sun together with comets. The authors conclude that the value of \(\frac{\dot{M_{\odot }}}{M_{\odot }}\) in Pitjeva and Pitjev (2012) is overestimated.
On Table 6, are gathered the values of \(\dot{\mu _\odot }/{\mu \odot }\) obtained by different authors jointly with PPN parameter estimations as well as the \({\dot{G}}/G\) deduced using the value of \(\frac{\dot{M_{\odot }}}{M_{\odot }}\) specified in the same Table. It is important to stress that the correlations between the PPN parameters, \(\dot{\mu _{\odot }}/{\mu _{\odot }}\) and the other fitted parameters of the planetary ephemerides being non zero (see e.g. Table 6 from Fienga et al. 2015), the values given in Table 6 have to be considered as part of a global fit, and consequently they are planetary ephemeris dependent. Direct adjustments with all parameters fitted together (Pitjeva and Pitjev 2013; Pitjeva et al. 2021), partial fits (Konopliv et al. 2011; Fienga et al. 2021a) but also random walk exploration algorithms have been used for obtaining constraints on \(\dot{\mu _{\odot }}/{\mu _{\odot }}\), given in Table 6. As explained in Sects. 3.5 and 4.1, the partial fit consists to fix one PPN parameter and then fit \(\dot{\mu _{\odot }}/{\mu _{\odot }}\) together with the rest of the planetary parameters. The random walk exploration algorithm fixes the PPN parameters and \(\dot{\mu _{\odot }}/{\mu _{\odot }}\) according to random values, and performs a regular fit for the rest of the planetary parameters. The obtained ephemerides are then selected according to different statistical criteria (Fienga et al. 2015, 2021a). The latest two approaches (partial fit and random walk exploration algorithms) give larger intervals of possible values than the direct fit of all parameters, as one can see in Table 6.
One can also mention \({\dot{G}}/G\) estimations deduced, not directly from planetary ephemerides, but from the adjustment of one single planet orbit during the analysis of radar tracking data analysis of one given space mission. This is the case for example with Mercury and the MESSENGER data operated by Genova et al. (2018), noted MSG in Table 6. In this work, it has to be stressed that only Mercury orbit was considered in the analysis. Nevertheless, in all the cases produced in Table 6, no clear indication of a time variation of G is visible, despite the improvements of the planetary ephemerides and of the estimation of the solar mass loss (Pitjeva et al. 2021). Finally, other technics or methods have been used for measuring possible variations of the gravitational constant, G. One can cite for example, the determination of \({\dot{G}}/G\) deduced from pulsar timing (Stairs 2003; Zhu et al. 2015, 2018; Kramer et al. 2021). The obtained limit is then one order of magnitude greater (e.g. \(|\dot{G}/G |< 0.9 \times 10^{-12}\) \(\hbox {yr}^{-1}\) from Zhu et al. 2018) than the one obtained with planetary ephemerides although the gravitational regimes are quite different (strong field regime for the pulsar measurements and weak field for planetary ephemerides).
4.4 Massive gravity
Unlike in electromagnetism—like with the Proca theory (de Rham 2014; Proca 1936)—, there is not a unique definition for what massive gravity might entail (de Rham 2014). In field theory, massive interactions typically result in a Yukawa suppression of these interactions at the scale of the Compton wavelength. However, due to its tensorial rather than vectorial nature, this may not necessarily be the case for a fully consistent theory of massive gravity (de Rham 2014). Nonetheless, from a phenomenological perspective, it is possible to test whether a Yukawa suppression of gravitational potentials occurs within the solar system. Formally, this would lead to the following modification of the Newtonian potential (Will 2018a)
which can be developped as Bernus et al. (2019)
after a convenient change of coordinate system that absorbs the constant term in the gravitational potential—which has no impact on the observables.
As discussed in Sect 4.5, this modification is different from a fifth force, for which the new potential is an affine function of the Yukawa suppression instead of a linear function (Fischbach et al. 1992; Will 2014). Fifth forces usually originate from the existence of an additional gravitational field that is massive—e.g. a massive scalar field (Wagoner 1970; Hees et al. 2018)—rather than considering that the field equation on the metric perturbation itself has a mass term. Indeed, Eq. (145) is solution of a massive gravitational potential equation that reads
Obviously, as long as \(\lambda _g\) is big enough, the gravitational phenomenology in the Newtonian regime can reduce to the one of general relativity to any given level of accuracy. Also, if \(\lambda _g\) is large enough that only the leading order correction in Eq. (146) has a significant contribution to the metric, one can assume that only the Newtonian part of the post-Newtonian expansion is modified with respect to the equations of motion in general relativity Eq. (90).
In that situation, the equation of motion only has one extra term with respect to the usual EIHDL equation Eq. (96) that reads Bernus et al. (2019)
and further assuming that light still propagates along null geodesics, the Shapiro delay reads (Bernus et al. 2019)
where \(c(t_r-t_e)_{GRT}\) corresponds to the general relativity light time given in Eq. (94), b is the minimal distance between the light path and the central body (here the Sun). This expression is an approximation at \(\hbox {c}^{-2}\) level, the additional terms induced by gravitational field mass being negligible relative to the present day accuracy for commonly admitted \(\lambda _g\) (with \(\lambda _g> 2.8 \times 10^{12}\) km (Will 2018a, 1998)).
Likewise, from Eq. (146), the difference between a clock A and a BCRS time t still is
up to terms of order \({\mathcal {O}}{(\lambda _g^{-2} c^{-2})}\). For instance, assuming a conservative bound of \(\lambda _g> 2 \times 10^{12}\) km, the correction to Eq. (150) at the surface of the Earth would be less than \(10^{-17} (\sim R_\oplus ^2/\lambda _g^2\text {, where } R_\oplus \text { is the radius of the Earth})\) time less than the contribution of the last term in the bracket of Eq. (150)—that is, far beyond what can be achieved with present clocks stability (Guena et al. 2012).
By analogy with standard quantum physics, the Compton length can also be interpreted in terms of a mass of the graviton \(m_g\) following the relation:
with \(\hbar\) the Planck constant, and c the speed of light. Will (2018a) proposed to use solar system ephemerides to improve the constraints on \(\lambda _g\) in the Newtonian limit. The starting point was that a massive gravitational field should lead to a modification of the perihelion advance of solar system bodies. Hence, based on current constraints on the perihelion advance of Mars derived from Mars Reconnaissance Orbiter (MRO) data, Will estimates that the Compton wavelength should be bigger than \((1.4 - 2.7) \times 10^{14}\)km (resp. \(m_g < (4-8) \times 10^{-24}\) eV/\(c^2\)), depending on the specific analysis. However, making an estimation from quantities derived from ephemerides that assumed other theorerical frameworks—here, the perihela advances per orbit and their uncertainty in either general relativity or PPN frameworks—cannot account for the fact that the mass of the graviton is correlated to the various parameters of the ephemeris (e.g. masses, semi-major axes etc.). While a graviton with a non-zero mass may impact the solar system dynamics, so also does a change of the various other parameters of the ephemerides. Because of the correlation between \(m_g\) (or \(\lambda _g\)) and other parameters, any modification induced by a non-null value of \(m_g\) may—at least in part—be reabsorbed by the modification of other parameters of the ephemerides.
In order to overcome this issue, Bernus et al. (2019, 2020) and Mariani et al. (2023) have built planetary ephemerides fully developed in the massive gravity framework of Eq. (145) and fitted over the data sample of INPOP17a, INPOP19a and INPOP21a respectively. The results of these investigations are given on Table 7.
Bernus et al. (2019, 2020) had used a method of random walk exploration that is more conservative that the Monte Carlo Markov Chain (MCMC) algorithm used by Mariani et al. (2023). With the same random walk exploration method, but using the updated INPOP21a ephemerides, Mariani et al. (2023) obtained a constraint that is 3 times smaller than Bernus et al. (2020). This improvement is induced by the use in INPOP21a of the latest Juno and Mars orbiter tracking data up to 2020 as well as a fit of the Moon-Earth system to LLR observations also up to 2020. By improving the procedure with MCMC, Mariani et al. (2023) was able to push the limit of detection of the mass of the graviton at a new level, with a constraint at \(1.01 \times 10^{-24} \; \text{eV} c^{-2}\) (resp. \(\lambda _g \ge 122.48 \times 10^{13} \; \text{km}\)) with a 99.7% confidence level.
It is somewhat interesting to compare these constraints to the ones deduced from the observation of gravitational waves. Indeed, it is assumed that a massive gravitational field that leads to Eq. (147) might also modify the dispersion relation of gravitational waves as follows (Abbott et al. 2021; Will 1998)
where E and p are the energy and momentum of the wave.
Such a modified dispersion relation causes gravitational waves frequency modes to propagate at different speeds, leading to an overall modification of the phase morphology of gravitational waves with respect to the general relativity predictions. Since the morphology of gravitational wave phase has been consistent with general relativity so far, it led to severe constraints on the value of \(m_g\) that are reproduced on Table 7.
Even if a massive gravity theory actually leads to both the phenomenological consequences represented in Eqs. (147) and (152), there is absolutely no reason for the constraints from ephemerides on the one hand, and from gravitational waves on the other hand, to be at the same level accuracy.
Each type of constraints is relevant on its own right given that they test different phenomenologies—that is, Eq. (145) versus Eq. (152)—which may (or may not) be related, depending on the underlying massive gravity theory that one is considering. For instance, screening mechanisms that kick-in for high density environments—such as the Vainshtein mechanism (Babichev and Deffayet 2013)—may impact Eq. (145) and not Eq. (152). This notably seems to be the case for ghost-free massive gravity (de Rham 2014).
4.5 Yukawa potential and fifth force
Whereas one can imagine that the metric field itself has a mass—see Sect. 4.4—it is also possible to imagine the existence of additional gravitational fields that are massive, while the metric field would remain massless. In such situations, the potential often.Footnote 32 becomes an affine function of the Yukawa suppression as follows (Wagoner 1970; Fischbach et al. 1992; Will 2014)
where \(\alpha\) is the strength (relative to gravity) and \(\lambda\) the range of the force. This type of modifications of the Newtonian potential is often referred to as a fifth force (Will 2014). Depending on whether the additional massive field couples universally to matter or not, the fifth force can be either composition-dependent or independent (Will 2014).
Solar system tests—such as the ones realised with planetary ephemerides—usually focus on composition independent models. Konopliv et al. (2011), constraints on the Yukawa potential were deduced from the analysis of Mars orbiter tracking data and from the construction of a Mars updated ephemeris. Figure 10 shows that already in 2011, the constraints from planetary ephemerides were at the level of the constraints from lunar ephemerides. As explained in Bernus et al. (2019), in the limit \(\lambda \gg r\) and with \(\alpha > 0\), one can use the constraints given in Sect 4.4 for the test of massive graviton, in order to deduce constraints on the Yukawa potential. These constraints are given in Table 7 and Fig. 10. The green lines on this figure show the improvements of the new generation of planetary ephemerides relative to the one use in Konopliv et al. (2011), as well as the new limits obtained at solar system scale. A new limit (labelled IBC) obtained by simulating the introduction of BepiColombo MORE experiments as predicted by De Marchi and Cascioli (2020) and Fienga et al. (2022) is also indicated. Let note that, because fifth force models in Eq. (153) depend on two parameters (\(\alpha\) and \(\lambda\)), whereas the massive graviton models in Eq. (145) depend on only one (\(\lambda _g\)), the mapping between the two breaks down for small Compton wavelength. This explains why the green lines in Fig. 10 are restricted to the right part of the plot.
4.6 Einstein-dilaton theories
The case of Einstein-dilaton theories is somewhat very interesting for the phenomology of alternative theories in the solar system, because it allows one to consistently derive the equations of motion, Shapiro delay and conserved quantities in a framework that leads to a violation of both the WEP and the GWEP.
Einstein-dilaton theories are scalar-tensor theories that violate the WEP at the fundamental level, because they possess at least one massless scalar-field that couples non-minimally to matter fields. They are somewhat expected as being the low energy effective gravitational action of string theories (Damour and Polyakov 1994; Damour et al. 2002)Footnote 33—and other higher than four dimensional theories (Overduin and Wesson 1997)—which generically predict the existence of one (or several) additional scalar-field(s) that mediates gravity: the dilaton field (and the moduli fields that come from the compactification of the extra-dimensions in string theories). Tests of Einstein-dilaton theories with planetary motions have been proposed by Damour and Donoghue (2011) based on the equations of Damour and Donoghue (2010). The first results for the massless dilaton with planetary ephemerides have been published in Bernus et al. (2022).
4.6.1 Equations of motion and Shapiro delay
The general action for an Einstein-dilaton theoryFootnote 34 may be written as (Minazzoli and Hees 2016; Bernus et al. 2022)
where \({\mathcal {L}}_{\rm{SM}}\) is the Lagrangian density of matter described by the standard model of particle physics and \({\mathcal {L}}_{\rm{int}}\) the Lagrangian density of the interactions between the dilaton field \(\varphi\) and matter. Such interactions can be parametrized by arbitrary functions of the scalar-field as follows
where \(F_{\mu \nu }\) is the Faraday tensor, \(G^a_{\mu \nu }\) is the gluons tensor, e and \(g_3\) are respectively the photons and the gluons coupling constants, \(\beta _e(e)=\lambda \partial \ln e/\partial \lambda\) and \(\beta _3(g_3)=\lambda \partial \ln g_3/\partial \lambda\) are their respective beta functions relative to the quantum scale invariance violation, where \(\lambda\) is the energy scale of the considered physical processes, \(m_i\) is the fermion mass, \(\psi _i\) their spinor, and \(\gamma _{m_i}=-\lambda \partial \ln m/\partial \lambda\) is the beta function relative to the dimensional anomaly of the fermion masses coupled to the gluons. The \(D_i(\varphi )\) functions describe the different couplings between the matter fields and the dilaton. This Lagrangian density is a straightforward non-linear generalisation of the action considered by Damour and Donoghue (2010).Footnote 35
Assuming a linear coupling—such as in Damour and Donoghue (2010)—and at leading order in the composition dependent effects, the acceleration reads (Bernus et al. 2022)
Equation (156) depends on \(\gamma =(1-\alpha _0^2)/(1+\alpha _0^2)\) and \(\delta _A=\delta _A^d+\delta _A^N\) with \(\delta _A^d=\alpha _0{\tilde{\alpha }}_A/(1+\alpha _0^2)\) and \(\delta _A^N=(\gamma -1)\omega _A\mid /{\tilde{m}}_Ac^2\) where \(\omega _A\) is the self-gravitational energy of the body A. The fundamental parameters on top of which they are built are \(\alpha _0\), the universal coupling constant, and \({\tilde{\alpha }}_A=d_{\hat{m}}Q_{\hat{m}}^A+d_{\delta m}Q_{\delta m}^A+d_{m_e}Q_{m_e}^A+d_eQ_e^A\), where \(Q_{\hat{m}}^A\), \(Q_{\delta m}^A\), \(Q_{m_e}^A\), and \(Q_e^A\) are the dilatonic charges, estimated according to the composition of the considered bodies. In these equations, A stands for the planet to consider, \(\mu _A\) being its gravitational parameter. Bernus et al. (2022) simplify the problem by considering two average charges for the telluric and gaseous bodies only, because of the similar dilatonic charges for these two classes of objects. This approximation leads to the reduction of the number of the tested parameters from 10 to 3 for the linear coupling case: \(\alpha _{0}\), \({\tilde{\alpha }}_{T}\), \({\tilde{\alpha }}_{G}\), for which T and G stand for telluric and gaseous bodies respectively. Let note that \(\mu _A\) is here the product of G with the gravitational mass \(m^G_A\).
From there, one has to also account for different effects, such as the Nordvedt effect that (in the case of the linear coupling) reads \(\delta _A^N=- (1-\gamma )\frac{3\mu _A}{5R_Ac^2}\) with \(R_A\) the planet radius, or the modification of the time travel that, at the required level of accuracy, reads (Bernus et al. 2022)
Let us note that
at the required level of accuracy, where \(\mu _A^I\) is the gravitational parameter constructed with the inertial mass, such that \(\mu ^I_A = (1-\delta _A) \mu _A\). This means that the mass involved in the Shapiro delay is the inertial mass and not the gravitational mass—as already discussed in Sect. 4.2.5.
4.6.2 Conserved quantities and the definition of the SSB
From the Lagrangian formulation of the equations of motion, Bernus et al. (2022) show that the following barycenter constant vector is a first integral of the equations of motion
where
are the coordinates of the relativistic barycenter of the system and
is the velocity of the barycenter motion. h is the conserved energy—whose value does not affect what follows but can be found in Bernus et al. (2022)—and \(\varvec{P}\) is the conserved linear momentum that reads
From Eq. (162), one can see that the sum at leading order is over the gravitational parameter based on the inertial mass \(\mu _A^I\), because one has \(\mu _A^I = \mu _A (1-\delta _A)\) at leading order. This can be used in order to check what has been discussed in Sect. 4.2.4. Let us note that it is consistent with Klioner (2016), and with Damour and Vokrouhlický (1995) in the \(\delta _A=0\) limit.
4.6.3 Results
In Bernus et al. (2022), the planetary ephemerides used were INPOP19a (Fienga et al. 2019) and, as in Fienga et al. (2020b), after integrating Eq. (156) for all bodies, the orbits are adjusted to planetary observations and statistical criteria (cost functions) are applied for selecting the distribution of the tested parameters for which deduced ephemerides are compatible with instrumental uncertainties. The obtained results for the linear coupling parameters are given in Table 8.
At 3-\(\sigma\), Bernus et al. (2022) obtained constraints at the level of 10\(^{-4}\) for \(\alpha _0\) and \(\alpha _G\) and 10\(^{-5}\) for \(\alpha _T\). These results reflect the better accuracy reached for the telluric planets in planetary ephemerides thanks mainly to Mars orbiters. They should be improved by the future Bepi-Colombo measurements of Mercury orbit.
4.7 MOND
The modified Newtonian dynamics (MOND) is a framework that modifies Newtonian dynamics \(\varvec{a}=\varvec{g}_N\) (where \(\varvec{a}\) is the acceleration of a test particle and \(\varvec{g}_N\) is the Newtonian gravitational field) by \(\varvec{a}=\varvec{g}\) with (Milgrom 1983, 2014)
where the interpolating function \(\mu\) is a function of the ratio \(g/a_0\) between the norm of the gravitational field g and the MOND acceleration scale \(a_0\). It was developed as an alternative explanation of the galactic rotation curves and the empirical Tully-Fisher relation without relying on dark matter haloes (Milgrom 1983). Several attempts to verify this framework at scales different from the galactic one have been made in the past years (Milgrom 2009; Blanchet and Novak 2011; Magueijo and Bekenstein 2007; Skordis and Złośnik 2021). In the solar system, three main consequences of the MOND phenomenology have been studied (Milgrom 1983; Hees et al. 2014a). Two of them have been shown to be negligible considering uncertainties of planetary mean motions (Sereno and Jetzer 2006). The last one is not negligible however, and is known as the External Field Effect (EFE) (Milgrom 2009, 2010; Blanchet and Novak 2011). The effect stems from the non-linearity of MOND equations, and—at leading order in the multipole expansion (Blanchet and Novak 2011)—it induces an anomalous quadrupolar correction to the Newtonian potential \(\delta \Phi (Q_2)\) that reads (Milgrom 2009)
where \(\theta\) could be the angle pointing either toward the Galactic center, or toward the Newtonian galactic field—depending on the model considered (Hees et al. 2014b). This factor \(\hbox {Q}_{{2}}\) changes with the shape of the MOND coupling functions and, in the solar system, Blanchet and Novak (2011) estimated that the values of \(\hbox {Q}_{{2}}\) can vary from 3.8 \(\times\) 10\(^{-26}\) to 4.1 \(\times\) 10\(^{-26}\) \(\hbox {s}^{-2}\), and then evaluated that it would therefore lead to additional advances of perihelia up to 5.81 mas.\(\hbox {cy}^{-1}\) for Saturn and even bigger values for Uranus (\(-10.94\) mas.\(\hbox {cy}^{-1}\)). Milgrom (2009) had also proposed additional Saturn perihelion precession rate of about 1.8 mas.\(\hbox {cy}^{-1}\). Nevertheless—as notably emphasized in Blanchet and Novak (2011)—it is not consistent to take into account only a particular MOND effect, like perihelion precession, and to compare it with constraints obtained in other frameworks, such as the PPN framework. To tackle this issue, Hees et al. (2014b) re-adjusted the parameters of planetary ephemeris when the EFE is taken into account. Hees et al. (2014b), the anomalous quadrupolar correction enters directly as a modification of the space-time metric that reads:
with \(dl^2 \equiv dx^2+dy^2+dz^2\), because this is what one ought to expect from a relativistic realisation of MOND dynamics. Using this new definition of the metric, Hees et al. (2014b) introduced modifications into the EIHDL equations of motion and in the Shapiro delay. An alternative planetary ephemeris has been built in this new framework and has been adjusted to observations. A specific focus has been brought on the Saturn orbit as it is supposed to be the most affected by the MOND modification (as also estimated by Hees et al. (2014b),) but also the most constrained by accurate observations (in this case Cassini tracking data). By fitting directly \(Q_2\) with the rest of the planetary parameters, Hees et al. (2014b) obtained a constraint on \(Q_2\) of about \((3 \pm 3 ) \times 10^{-27}\) \(\hbox {s}^{-2}\), which excludes a important interval of \(Q_2\) values computed theoretically in Blanchet and Novak (2011) for various MOND interpolating functions \(\mu\). Considering other coupling functions, it is still possible to maintain a MOND formalism in the solar system but at the cost of very limited possibilities of couplings. This result is consistent with Milgrom (2009) for which the predicted perihelion precession for Saturn, estimated for coupling functions \(\mu _{\alpha }\) with \(\alpha > 1/3\), was significantly smaller than in Blanchet and Novak (2011).
5 Inconsistent tests with ephemeris outputs
In the literature, it is possible to find a wide range of constraints supposedly deduced from planetary ephemerides. There are of two types:
The first type of tests are those considering residuals obtained after the modifications of the equations of motion of the planetary systems—by, for example, introducing additional terms produced by general relativity-like linearization of an alternative theory—but without re-adjusting the newly modified dynamical system to observations. This approach is equivalent to not considering any attempt to improve the ephemerides as described in Fig. 4 in Sect. 2.2. It is clearly an issue because any modification of the dynamical model must be re-adjusted to observations before any interpretation of the obtained residuals. In essence, any comparison of a simulation, which presupposed the parameters of the solar system bodies inferred in a different theoretical framework, with the observations, will likely overestimate the deviations in the new theoretical framework. This would primarily be because the simulation did not use the most appropriate set of parameters for the solar system bodies-which are, those that minimize the residuals, and which are obtained through readjustment in a given framework. We can refer the reader to the extensive discussion of this very basic concept applied to the massive gravity problem and notably presented in the supplementary materials of Bernus et al. (2019).
The second category of indirect tests involves what we will term as derived quantities, as explained in Sect. 5.1. We will discuss these indirect tests in detail in the upcoming section.
5.1 Definitions
Several quantities can be provided as outputs of a given planetary ephemeris, notably in order to give an idea of the accuracy of that ephemeris with respect to specific aspects of the solar system phenomenology—such as, for instance, the values of the perihelion and node advances per orbit for a given astronomical body, and their uncertainties; or the secular variation of the gravitational constant \(\dot{G}/G\) and its uncertainty. We shall call those quantities derived quantities in what follows.
Derived quantities could also be the values and uncertainties of parameters such as the post-Newtonian parameters \(\gamma\) and \(\beta\), or of the Compton wavelength in massive gravity, or in the context of a fifth force. Table 9 gives a non-exhaustive series of examples of possible interpretations of planetary ephemeris derived quantities for testing alternative theories. It falls outside the scope of this review to detail theories that have not been confronted and re-adjusted against planetary observations but have only considered the derived quantities defined above. The reason for limiting this review to fully tested theories, as presented in Sect. 4, is our belief that the published constraints listed in Table 9 yield to unrealistic constraints, as we will explain in Sects. 5.3 and 5.4. In particular, considering only derived quantities or un-fitted residuals is equivalent to neglecting that these latest were obtained in a given framework (usually general relativity), with instrumental uncertainties and correlations between parameters.
5.2 The case of the advance of the perihelia and nodes
It is traditional when one investigates possible laws of gravitation in the solar system to follow the Einstein’s steps and to consider supplementary advances in the planetary orbital angles (mainly perihelion and node). Several methods have been developed in the past fifty years in order to estimate possible remaining advances in planetary perihelia and nodes that can be fully explained by general relativity.
The most direct method (e.g. presented in Pitjeva and Pitjev 2013) is the adjustment of a quantity \(\Delta \varpi\) or \(\Delta \Omega\) (respectively supplementary advances of perihelia and node) for all of the planetary orbits or only for some of them, together with the rest of the planetary and relativistic parameters (masses, Sun oblateness, initial conditions, PPN parameters...). One can get an intuition from Eq. (100) that the fit of such derived quantities is affected by strong correlations between various parameters of the ephemeris, such that the results are plagued with biases and underestimated uncertainties.
The second approach is to introduce possible rotations of the planetary planes while considering \(\Delta \varpi\) or \(\Delta \Omega\) fixed, and to build new planetary ephemerides integrated with these fixed additional rotations and fitted to observations. The result is then the limit of possible rotations that one can add without degrading the planetary residuals (see Fienga et al. 2018). The advantage with the method is the uncorrelated estimation of maximum value for \(\Delta \varpi\) or \(\Delta \Omega\), the drawback is that what is obtained is only an upper bound.
Finally, a third method consists in averaging planetary orbits (Park et al. 2017) for obtaining residual precession of the perihelia. In this case, as for the two former methods, the deduced residual precession could be induced by a violation of general relativity, but also—and more likely—by some other sources of uncertainties (i.e unmodeled asteroid perturbations).
Table 10 gathers some of the recently obtained values for \(\Delta \varpi\), following the three methods described above. However, based on the arguments presented in this Sect. 5, the direct interpretation of these quantities, \(\Delta \varpi\) or \(\Delta \Omega\), in terms of possible violation of general relativity is strongly discouraged.
Estimation of the dark matter density in the solar system
An example of misleading conclusion can be taken from the dark matter density estimation. Pitjeva and Pitjev (2013), direct estimations of the density of the dark matter inside the orbit of Saturn have been tested using two different implementations. The first one consists in adding an additional acceleration to the equations of motion of the EPM planetary ephemerides such as:
where \(\mu _{M(R)}\) is the gravitational parameter of an additional matter in a sphere of radius R around the Sun. It turned out that such a direct modeling is highly affected by the uncertainties induced by the asteroid masses and no conclusive measurement of the mass of dark matter inside the solar system has been obtained in using Eq. (166). The second attempt in Pitjeva and Pitjev (2013) was from the secular advance of perihelia \(d \varpi _{A}^{DM}\) following the equation from Khriplovich and Pitjeva (2006)
where \(\Delta \varpi _{A}^{DM}\) is the supplementary advance of perihelia of the planet A induced by dark matter of density \(\rho _{DM}\), supposed uniformly distributed at the planetary distances, \(e_{A}\) being the eccentricity of the orbit. The most stringent constraint gives a density for the dark matter up to the Saturn orbit of about \(\rho _{DM} < 1.1 \times 10^{-20}\) g \(\hbox {cm}^{-3}\), leading to a dark matter mass smaller than 7.1 \(\times 10^{-11}\) solar mass. It is interesting to note that this estimation is 5 orders of magnitude higher than the density for local dark matter halo proposed by McMillan (2011), Weber and de Boer (2010) and Wardana et al. (2020) and estimated either by galactic simulations or by fit to observations (including Gaia DR2 in Wardana et al. 2020). The third approach is in the interpretation of the secular variation of the Sun gravitational mass as a combination of several phenomena including the fall of dark matter towards the Sun (Press and Spergel 1985; Lundberg and Edsjö 2004; Blennow et al. 2018). In the scenario of dark matter falling into the Sun, the mass of the Sun should decrease less rapidly. However one can discuss the difficulty of disentangling the different contributions from dust and comets falling into the Sun and plasma ejecta that have to be accounted for in the Sun mass equation (see Sect. 4.3 for discussion). An attempt has been proposed by Kardashev et al. (2005) but leading to a constraint of few percents of the sun mass that can be assimilated to falling dark matter. This value is even bigger than the one proposed by Pitjeva and Pitjev (2013) and is therefore not in agreement with the expected estimations for local dark matter density.
Recently, Belbruno and Green (2022) simulated the impact of dark matter located in the galactic halo on the motion of objects in the solar system. Their conclusions are that only objects located in the outer solar system (after 80 AU), or objects situated in saddle points, can allow a detection. This is consistent with what has been already discussed, for example, by Klioner and Soffel (1993). Finally, in Sect. 4.7, the determination of \(Q_2\) obtained by Hees et al. (2014b) can also be seen as a measurement of the Galactic potential acting on the solar system, either induced by the stellar population or induced by dark matter. This value presented in Sect. 4.7, shows a clear lack of sensitivity of planetary ephemeris for the detection of the tidal interactions coming from our galaxy.
All these results favour the fact that planetary ephemerides are not yet accurate enough to measure local dark matter influences in the solar system.
5.3 What can often be found in the literature
Most of the bounds in the literature do not come from planetary ephemerides developed in a given theoretical or phenomenological framework, but instead they use the uncertainty on derived quantities as an input of the maximum tolerated departure from general relativity that would be compatible with observations. For instance, if the uncertainty on the perihelion advance per orbit for a given astronomical body and a given ephemeris is less than a specific value, it is often assumed that any modification of gravity has to induce an effect that is less than this former limit. Therefore, if one computes that a specific theory should induce an effect on, e.g., the perihelion advance per orbit for an astronomical body that is bigger than the uncertainty on this derived quantity, then it is often claimed that this constraint rules out this specific theory.
At first sight, it seems like a reasonable thing to do. Unfortunately, doing this is problematic for the simple reason that derived quantities are obtained assuming a specific theoretical framework, and that there is no guarantee that the adjusted parameters of the ephemeris (masses, initial conditions etc.) would be the same in another theoretical framework. Even more, it is not impossible, a priori, that another theoretical framework actually leads to smaller residuals than general relativity after adjusting the parameters of the ephemeris in this framework—which would mean that this alternative to general relativity is favoured by the data for the considered model of the solar system.
In other words, while one would claim to have derived a constraint on an alternative theory from a derived quantity, actually one could very well have missed a signal in favour of the alternative theory instead—which is precisely the opposite of giving a constraint. This shows that using derived quantities as an input to constrain alternatives to general relativity is not trustworthy in general.
The only way to compare the merit of two different theoretical frameworks is to compare statistically the accuracy of the ephemerides adjusted to the data in each theoretical framework—that is, the statistical amplitude of their residuals. If the ephemeris in a given theoretical framework has significantly better (i.e. smaller) residuals than in another theoretical framework, then it means that the former is favoured by the data within the planetary model considered. Different planetary models—see e.g. Sections 3.3.2 and 3.3.4—might also lead to different answers with this respect.
5.4 Why consistency matters
The reason why the adjusted parameters of an ephemeris (masses, initial conditions etc.) are in general different when one considers an alternative theory to general relativity is because all the parameters of the ephemeris, the ones describing gravity (e.g. PPN parameters, Compton wavelength of the Yukawa suppression etc.) and the ones describing the bodies themselves and their orbits (masses, initial conditions, shapes etc.), are more or less correlated to one another. The high degree of correlation is also somewhat accentuated by the specific symmetry of planetary orbits, because most of the motions are close to the ecliptic plane (and with relatively low eccentricities), which limits the disentanglement of the effects of different parameters during the fit of the ephemeris parameters—as one can get an intuition from the approximated analytical expression, for instance, of the advance of the node Eq. (100).
This is exemplified notably with the oblateness of the Sun \(J_{2}^{\odot }\) in Figs. 6 and 9.Footnote 36 Indeed, due to the high level of correlations between the oblateness of the Sun and the PPN parameters \(\gamma\) and \(\beta\), both the adjusted value of the \(J_{2}^{\odot }\) and its uncertainty are affected when \(\gamma\) and \(\beta\) are not set to 1 a priori (see Sect. 4.1 for a full discussion).
From a formal perspective, Eq. (100) gives a good illustration of the problem in terms of perihelion advance per planetary orbit. Because many different parameters contribute to the advance, if an advance is, say, induced by a parameter related to the description of gravity beyond what is acceptable in terms of deviation with respect to the data, the fit will often lead to a modification of other parameters in order to compensate for this unacceptable contribution—such that, in the end, the final solution remains as close as possible to the data (i.e. the residuals are minimised).
As long as the statistical properties of the residuals of the ephemerides in distinct theoretical frameworks are not significantly different, one cannot say which of the two theoretical frameworks better explains the observations. This tells why one cannot simply estimate the modification of the perihelion advance per orbit in an alternative theory and compare it with the output value obtained while assuming general relativity.
Another example is given by the Compton wavelength of a Yukawa suppression of the Newtonian potential in a massive gravity framework—see Sect. 4.4. An illustration of the high degree of correlations between parameters is given by Bernus et al. (2019) in a table—reproduced here in Table 11—that gathers the correlations between the Compton wavelength and some of the solar system parameters for the INPOP17a planetary model.
Furthermore, statistics of the residuals for several planets were also displayed by Bernus et al. (2019) in order to show their evolution if one assumes that the solar system parameters are given by fits obtained when assuming general relativity instead of re-adjusting them in the massive gravity framework. The conclusion of this investigation is that not adjusting planetary ephemeris parameters within the framework of massive gravity would have led to an overestimation of the constraint on the value of the Compton wavelength by about one order of magnitude.
The Pioneer anomaly
Finally, one can discuss the case of the Pioneer anomaly. For some years, the unexplained supplementary acceleration detected during the navigation of Pioneer 10 and 11 escaping the solar system, keeps the community active in looking for some possible violations of GR that could produce such a phenomena. The reader can see Turyshev and Toth (2010) for a complete review. Among the alternative theories that were proposed to explain the Pioneer anomaly, some also impact the orbits of outer planets. Most of the authors just consider the effect of the induced modification of the planetary equations of motion without considering the new adjustment that one should do for adapting the initial conditions to this new model (Lecian and Montani 2009; Iorio 2009, 2010). Page et al. (2009); Standish (2010) and Fienga et al. (2010) show that the modification required for explaining the Pioneer acceleration anomaly induced, after fit, residuals marginally compatible with the observational accuracies reached at this epoch (before the inputs of the Juno mission). These results restricted severely the possibility of such modifications impacting also planetary orbits. After that, only remained the alternative theories that were affecting the s/c orbit but not the planetary bodies. Another attempt to explain the Pioneer anomaly within the boundaries of conventional physics that does not affect the motion of the planetary bodies was put forward by Kopeikin (2012). In their proposal, the Pioneer effect was perceived as the cosmological consequence of a quadratic divergence between the time scales of electromagnetic wave propagation within the Doppler tracking system and the atomic clocks on Earth. However, Bertolami et al. (2010) and Turyshev et al. (2012) conclusively demonstrated that the Pioneer acceleration can be explained by considering the distinct thermal properties of each spacecraft face. Either way, the Pioneer anomaly thus serves as a compelling illustration of the importance of developing a fully consistent model when testing alternative theories to General Relativity, and ensuring that this model is fitted to observations-a step that is undeniably crucial.
6 Future directions
6.1 Theory
On the theory side, many aspects of alternative theories remain to be studied and implemented in planetary ephemerides. Theorists do not lack of new ideas, and therefore one should not fall short of new theories to investigate with planetary ephemerides. However, not all existing theories that can lead to significant variations in the solar system have been constrained with planetary ephemerides yet. As an example, not even the full PPN framework Eqs. (114)–(122) have been completely investigated so far with planetary ephemerides. This is not a surprise given the many parameters involved, and given that the more parameters to test, the more difficult, and computationally demanding, the study is—and also the worse the constraints on each parameter are.
Another example can also be given with the case of Brans-Dicke-like scalar-tensor theories. A considerable portion of Brans-Dicke-like scalar-tensor theories—that is, theories defined by \({\mathcal {L}}_{int}=0\) in Eq. (154)Footnote 37—have been exquisitely constrained by observations of binary pulsars, owing to a strong field effect that cannot occur within the solar system. Specifically, with certain selections for the function \(\omega (\phi )\), the scalar-field within compact objects like neutron stars can be amplified through a nonlinear effect known as scalarization (Damour and Esposito-Farese 1993; Damour and Esposito-Farèse 1996). This effect should lead to a significant violation of the Strong Equivalence PrincipleFootnote 38—see Sect. 4.2.1—that is not seen in binary pulsars. For a deeper dive into this captivating subject, we direct the reader to Kramer et al. (2021), Freire et al. (2012) and Voisin et al. (2020).
The PPN framework in Sect. 4.1 encompasses this class of theories with \(\gamma = (1+\omega (\varphi _0))/(2+\omega (\varphi _0))\), where \(\varphi _0\) is the asymptotic value of \(\varphi _0\) at the edge of the solar system,Footnote 39 and \(\beta -1 = \omega '(\varphi _0) (3+2\omega (\varphi _0))^{-2} (4+2\omega (\varphi _0))^{-1}\). The constraints on \(\gamma\) and \(\beta\) obtained with planetary ephemerides in the PPN framework are given in Fig. 8.
However, those constraints assume that \(\gamma\) and \(\beta\) are independent parameters in the field equations—which lead to the definition of the time and space coordinate system, the equation of motion [see Eq. (90)] and of the Shapiro delay [see Eq. (97)]—while they are not independent in those scalar-tensor theories whenever \(\beta \ne 1\)—that is \(\omega '(\varphi _0) \ne 0\)—given that \(\omega (\varphi _0)\) appears in both \(\gamma\) and \(\beta\).
As a consequence, one cannot directly convert the constraints in Fig. 8 in terms of constraints on \(\omega (\varphi _0)\) and \(\omega '(\varphi _0)\). Therefore, it would be interesting to test those specific theories with planetary ephemerides in order to compare with the constraints with binary pulsars, in the regions of the theory space where one does not have the non-linear strong-field scalarization effect. For instance, assuming \(\omega (\varphi )=\omega _{BD}\)—that is, \(\omega '(\varphi _0)=0\) and \(\beta = 1\)—tests involving pulsars lead to \(\omega _{BD}>130\times 10^3\) (Voisin et al. 2020)—although note that this value depends on the unknown equations of state of neutron stars.
Considering the constraint on \(\gamma\) obtained with the Cassini experiment (Bertotti et al. 2003b), the limit on \(\omega (\varphi _0)\) instead is \(\omega (\varphi _0) > 40\times 10^3\). This threshold should also be better than what is currently possible with planetary ephemerides—but perhaps not too far from what will be possible with the additional data from Bepi-Colombo.
A general reminder of Sect. 5 is that, while the PPN framework serves as a highly convenient phenomenological apparatus for testing alternative theories, its limitation lies in its inability to accommodate potential dependencies between PPN parameters (such as the discussed above or the one of Sect. 4.6) that could emerge within a given theory. For example, in Brans-Dicke-like scalar-tensor theories, there is a certain degree of interdependence at the level of the field equations between \(\gamma\) and \(\beta\) since they both depend on the parameter \(\omega (\varphi _0)\) of the theory.
Consequently, one has to keep in mind that it is not generally possible to directly translate constraints obtained on PPN parameters to potential underlying theories-unless the theory predicts the parameters to be independent at the level of the field equations of the considered theory (e.g. Scalar-Tensor, massive gravity, etc.). Therefore, to establish constraints on the parameters of a specific theory—like \(\omega (\varphi _0)\) and \(\omega '(\varphi _0)\)— one should directly test that particular theory.
6.2 Observation
In terms of observations, much progress is anticipated, particularly in light of active or future planetary missions such as BepiColombo. This mission will orbit Mercury for more than a year and will provide unprecedented accurate measures of the Mercury-Earth distance, and consequently, will produce stringent new limits on deviations from general relativity. A lot of publications propose to include Bepi-Colombo range simulations in order to provide possible new constraints on classic general relativity tests, such as advance of the Mercury perihelion, PPN parameter estimations, SEP or alternative tests (Milani et al. 2002; Ashby et al. 2007; De Marchi et al. 2016; Imperi et al. 2018; De Marchi and Cascioli 2020; van der Zwaard and Dirkx 2022; Fienga et al. 2021a, 2022). As previously explained, a specific care should be taken on the consistency between the definition of the considered framework (e.g. harmonics versus non-harmonics gauges, definition of the solar system barycenter...), the tests performed and the claimed accuracy. The question of consistencies and correlations between astronomical constraints and general relativity tests in the full PPN context will then become even more urgent to address.
On the other side of the solar system, missions towards gas giants and outer solar system will also be interesting for testing another types of general relativity violation such as dark sector violations or dark matter clumps (Bergé et al. 2021, 2018).
Finally, among more exploratory projects, LISA-like configurations for interplanetary laser distance measurements between telluric planets (Earth, Mars and Venus) have been proposed as a way to gain accuracy in planetary ephemerides and sensitivity to general relativity violations such as the secular variations of the gravitational constant (Smith et al. 2018). Despite the technical challenges of such project (Bills and Skillman 2022; Bills and Gorski 2022), the outcome of these measurements would indeed impact the global accuracy of the ephemerides, improve significantly the Bepi-Colombo results but also allow for better constraints on the distribution of mass in the solar system.
7 Summary
This paper describes how the planetary ephemerides are built in the framework of General Relativity and how they can be used to test alternative theories. It focuses specifically on the dependencies that exist behind the definition of the reference frame (space and time) in which the planetary ephemeris is described, the equations of motion that govern the orbits of solar system bodies and electromagnetic waves. This paper then summarizes the results obtained considering consistent modifications of the ephemeris framework with direct comparisons with the observations of planetary systems. The PPN formalism is the one that has been the most heavily tested, and the results of its confrontation with planetary astrometry constitutes the most developed part. The paper then moves on to specific alternatives to general relativity such as Einstein-dilaton theories, a massive graviton phenomenology and MOND. The paper finally concludes on some comments and recommendations regarding misinterpreted estimations of the advance of perihelia, giving examples such as the Pioneer anomaly interpretation or some attempts to measure dark matter in the solar system.
As we hope this paper demonstrates, the consistency of the planetary ephemeris framework is a crucial aspect in the field of testing alternative theories. Misinterpretations of results obtained in the general relativity framework can lead to significant errors (e.g. Pioneer anomaly) or over optimistic constraints (e.g. mass of the graviton).
Notes
Indeed, Coulomb’s law between two charges reads \(|\varvec{F}_{12} |= k_C |q_1||q_2|/r^2_{12}\), where \(k_C\) is Coulomb’s constant.
Note that the potential energy with this definition of the gravitational potential indeed reads \(V=-mU\), such that one indeed verifies that \(L_N = K - V\) in Eq. (3).
Non-rotating with respect to what will be the subject of a discussion in Sect. 2.1.4.
Langevin’s twin paradox presents a scenario in which one twin travels to space at a high speed and returns to find the other twin has aged more. This highlights the relativistic effect of time dilation, as described in the theory of special relativity. The paradox’s essence is rooted in a perceived contradiction: both twins should ostensibly observe the other with a similar relative motion, which would therefore result in the same ‘anomalous’ aging effect for both when solely using Lorentz’s transformations Eq. (10) in the derivation.
Also named “events”.
Let us note that we use the mostly plus convention for the signature of the metric (\(-+++\)), and that we use the Einstein summation convention, such that \(X_\sigma Y^\sigma := \sum _{\sigma =0}^3 X_\sigma Y^\sigma\). \(x^\alpha =(ct,x^i)=(ct, \vec x)=(ct, \varvec{x})\), where \(i=1,2,3\).
The Least Action Principle might be more appropriately termed the Extremum Action Principle, since it primarily requires that the variation of the action remains null: \(\delta S = 0\). This implies that the action is at an extremum.
As opposed to a neutron star or a black-hole.
Space is Euclidean in Eq. (27), such that it satisfies the Pythagorean theorem.
Adding any term \(\delta U\) that is such that \(\Delta \delta U =0\) leaves Newton’s equation invariant.
Or, principle of relativity (Einstein 1918).
Note that mathematicians typically refer to \(\sqrt{-g} {\mathcal {L}}\) as a density because \({\mathcal {L}}\) is a scalar and a scalar multiplied by the square root of the determinant corresponds to a mathematical object referred to as a density of weight \(-1\); however, physicists typically refer to \({\mathcal {L}}\) as a density, as it carries the dimension of an energy density and is frequently associated with the definitions of kinetic and potential energy densities.
Beyond rotating coordinate systems, it’s noteworthy that one could also define and utilize coordinate systems with shear, instead of pseudo-cartesian coordinate systems. However, such systems are rarely used because they would notably complicate the calculations, and likely also hinder understanding.
The name conformally cartesian stems from the fact that one has \(g_{00}g_{ij} = - \delta _{ij}+{\mathcal {O}}(c^{-4})\)—that is, the space-space component of metric \(g_{ij}\) multiplied by a conformal factor (here, the time-time component of the metric \(g_{00}\)) is flat up to \(c^{-4}\) corrections. It’s worth noting that such coordinate systems generally do not exist in general in theories other than general relativity—at least when the metric considered still defines the proper time \(d\tau ^2 = - g_{\alpha \beta } dx^\alpha dx^\beta\) and not a conformal frame.
One can verify that with the stress energy tensor of dust, which reads \(T^{\alpha \beta } = - \rho _m u^\alpha u^\beta\), where \(\rho _m\) is the rest mass density and \(u^\alpha = dx^\alpha /d\tau\), such that \(u^0 \sim c\).
That is, a definition that is invariant under change of coordinate systems.
This approximation holds true when one is sufficiently distant from the gravitational lensing regime, but starts to fail near this regime, resulting in the emergence of the so-called enhanced terms during the derivation of light trajectory in geometric configurations where this approximation is only marginally accurate (Ashby and Bertotti 2010; Linet and Teyssandier 2016). For a brief discussion on this matter, we refer to Sect. 3.4.1.
extracted from the astord database (Moskovitz et al. 2022).
Because it is a second order effect in the post-Newtonian development of the propagation time.
Even if iterations are sometimes necessary.
Sometimes called “degrees of freedom” in the theoretical literature.
Technically, a theory satisfies the weak equivalence principle if it exists a conformal (or disformal) representation for which the metric is the only gravitational field that appears in the matter Lagragian density according to the comma-goes-to-semicolon rule (Misner et al. 1973). For instance, the additional scalar-field appears in the matter Lagrangian density in the Brans–Dicke theory when written in the Einstein representation (or frame), but not in the (original) Jordan representation. Hence, because of the latter, the Brans-Dicke theory satisfies the weak equivalence principle.
Which is dependent upon the coordinate system being used.
However, the transformations between the barycentric and geocentric reference frames slightly depend on the specific type of harmonic coordinates being used Kopeikin and Vlasov (2004).
Defined here as a “Nutku gauge”, that is \(\partial _\nu [(1+(1+\gamma )U)\sqrt{-g} g^{\mu \nu }]=0\), and not \(\partial _\nu [\sqrt{-g} g^{\mu \nu }]=0\)—see discussion on the ambiguity of the definition of harmonic coordinates in Sect. 4.1.
\(\rho\) is the density of rest mass of a fluid element as measured in a local, freely falling, momentarily comoving frame. One has \(\rho = \sigma + {\mathcal {O}}(c^{-2})\), where \(\sigma\) is defined in Eq. (83).
Note that one therefore has \(X=\chi +{\mathcal {O}}(c^{-2})\).
LLR tests also include a WEP contribution as the Earth and Moon have different compositions (Adelberger 2001).
Note that decoupling and screening mechanisms have been proposed first and foremost for theories that do satisfy the WEP, often in order to be able to explain the acceleration of the expansion of the universe without impacting with the well-constrained solar system phenomenology.
But not always (Hees et al. 2018)
Let us note, however, that the current consensus among string theorists is that all the scalar fields acquire a potential through the moduli stabilization mechanism (Douglas and Kachru 2007), such that they mediate gravity with a very small range instead of being of infinite range—unlike the part of gravity that is mediated by the metric field.
Although note that in Damour and Donoghue (2010), the dilaton fields does not couple to all the trace terms—that is, the classical part of the trace in addition to all the relevant quantum trace anomalies. However, it has been shown in Nitti and Piazza (2012) that it is much more convenient to consider the parametrization in Eq. (155) because it recovers the fact that in the limit of metric theories, the dilaton field couples to the total trace, as it should. Indeed, with this parametrization, metric theories corresponds to \(D_i=D_j \forall i,j\). The fact that in metric theories, any gravitational scalar degree of freedom must couple to the total trace is a property of conformal couplings. This is consistent to the fact that the mass of a composite object equals the total trace of the fields that compose the particle due to the constraint that the internal stresses all vanish (this is true even if some of the internal forces do not contribute to the trace, such as classical electromagtetism) (Nitti 2022).
Indeed, strictly speaking, Brans-Dicke theories are an even more restricted group, which is such that \({\mathcal {L}}_{int}=0\) and \(\omega (\varphi )=\omega _{BD}\) in Eq. (154).
Even, occasionally, with large values of \(\omega (\varphi _0)\).
Which could vary over cosmological times.
Note that there can be two distinct versions of harmonic coordinates in scalar-tensor theories, based on whether the harmonic gauge condition \(g^{\alpha \beta } \Gamma ^\sigma _{\alpha \beta }=0\) is imposed on the metric in the Jordan frame or in the Einstein frame (Minazzoli and Chauvineau 2011; Deng and Xie 2012). This further complicates the discussion on the coordinate systems to be used in alternative theories.
References
Abbott BP et al [LIGO Scientific Collaboration and Virgo Collaboration] (2019) GWTC-1: a gravitational-wave transient catalog of compact binary mergers observed by LIGO and Virgo during the first and second observing runs. Phys Rev X 9(3):031040. https://doi.org/10.1103/PhysRevX.9.031040. arXiv:1811.12907
Abbott R et al [LIGO Scientific Collaboration, Virgo Collaboration, and KAGRA Collaboration] (2023) GWTC-3: compact binary coalescences observed by LIGO and Virgo during the second part of the third observing run. Phys Rev X 13(4):041039. https://doi.org/10.1103/PhysRevX.13.041039
Adelberger EG (2001) New tests of Einstein’s equivalence principle and Newton’s inverse-square law. Class Quantum Grav 18(13):2397–2405. https://doi.org/10.1088/0264-9381/18/13/302
Adelberger EG, Fischbach E, Krause DE, Newman RD (2003) Constraining the couplings of massive pseudoscalars using gravity and optical experiments. Phys Rev D 68(6):062002. https://doi.org/10.1103/PhysRevD.68.062002
Adelberger EG, Heckel BR, Nelson AE (2003) Tests of the gravitational inverse-square law. Annu Rev Nucl Part Sci 53:77–121. https://doi.org/10.1146/annurev.nucl.53.041002.110503. arXiv:hep-ph/0307284
Anderson JD, Keesey MSW, Lau EL, Standish JEM, Newhall XX (1978) Tests of general relativity using astrometric and radio metric observations of the planets. Acta Astronaut 5:43–61
Anderson JD, Colombo G, Espsitio PB, Lau EL, Trager GB (1987) The mass, gravity field, and ephemeris of Mercury. Icarus 71:337–349. https://doi.org/10.1016/0019-1035(87)90033-9
Anderson JD, Borderies NJ, Campbell JK, Dunne JA, Ellis J, Hellings RW, Lau EL, Preston RA, Traxler MR, Williams JG, Yoder CF, Chandler JF, Reasenberg RD, Shapiro II, Berthias JP, Blamont J, Linkin VM, Kerzhanovich VV, Akim EL, Ivanov NM (1989) Testing general relativity with Landers on the Martian satellite Phobos. Adv Space Res 9(9):71–74. https://doi.org/10.1016/0273-1177(89)90009-4
Antia HM, Chitre SM, Gough DO (2008) Temporal variations in the Sun’s rotational kinetic energy. Astron Astrophys 477(2):657–663. https://doi.org/10.1051/0004-6361:20078209. arXiv:0711.0799
Arakida H (2010) Influence of dark matter on light propagation in solar system. Adv Space Res 45:1007–1014. https://doi.org/10.1016/j.asr.2009.11.012. arXiv:0810.2827
Archinal BA, Acton CH, A’Hearn MF, Conrad A, Consolmagno GJ, Duxbury T, Hestroffer D, Hilton JL, Kirk RL, Klioner SA, McCarthy D, Meech K, Oberst J, Ping J, Seidelmann PK, Tholen DJ, Thomas PC, Williams IP (2018) Report of the IAU working group on cartographic coordinates and rotational elements: 2015. Celest Mech Dyn Astron 130(3):22. https://doi.org/10.1007/s10569-017-9805-5
Armendariz-Picon C, Penco R (2012) Quantum equivalence principle violations in scalar-tensor theories. Phys Rev D 85:044052. https://doi.org/10.1103/PhysRevD.85.044052
Arruga D, Rousselle O, Minazzoli O (2021) Compact objects in entangled relativity. Phys Rev D 103(2):024034. https://doi.org/10.1103/PhysRevD.103.024034. arXiv:2011.14629
Ash ME, Shapiro II, Smith WB (1967) Astronomical constants and planetary ephemerides deduced from radar and optical observations. Astron J 72:338. https://doi.org/10.1086/110230
Ashby N, Bertotti B (2010) Accurate light-time correction due to a gravitating mass. Class Quantum Grav 27(14):145013. https://doi.org/10.1088/0264-9381/27/14/145013. arXiv:0912.2705
Ashby N, Bender PL, Wahr JM (2007) Future gravitational physics tests from ranging to the BepiColombo Mercury planetary orbiter. Phys Rev D 75(2):022001. https://doi.org/10.1103/PhysRevD.75.022001
Babichev E, Deffayet C (2013) An introduction to the Vainshtein mechanism. Class Quantum Grav 30(18):184001. https://doi.org/10.1088/0264-9381/30/18/184001. arXiv:1304.7240
Babichev E, Deffayet C (2013) An introduction to the vainshtein mechanism. Class Quantum Grav 30(18):184001. https://doi.org/10.1088/0264-9381/30/18/184001
Barbour J, Pfister H (1995) Mach’s principle: from Newton’s bucket to quantum gravity. EInstein Studies, vol 6. Birkhäuser, Boston
Belbruno E, Green J (2022) When leaving the Solar system: Dark matter makes a difference. Mon Not R Astron Soc 510(4):5154–5163. https://doi.org/10.1093/mnras/stab3781. arXiv:2201.06575
Bergé J, Baudis L, Brax P, Chiow SW, Christophe B, Doré O, Fayet P, Hees A, Jetzer P, Lämmerzahl C, List M, Métris G, Pernot-Borràs M, Read J, Reynaud S, Rhodes J, Rievers B, Rodrigues M, Sumner T, Uzan JP, Yu N (2021) The local dark sector. Exp Astron 51(3):1737–1766. https://doi.org/10.1007/s10686-021-09734-8. arXiv:1909.00834
Bergé J, Christophe B, Foulon B, Hardy E, Pernot-Borras M (2018) ISLAND: the inverse square law and Newtonian dynamics space explorer. In: 42nd COSPAR Scientific Assembly, vol 42, pp H0.3–6–18. arXiv:1809.00698
Bernus L, Minazzoli O, Fienga A, Gastineau M, Laskar J, Deram P (2019) Constraining the mass of the graviton with the planetary ephemeris INPOP. Phys Rev Lett 123(16):161103. https://doi.org/10.1103/PhysRevLett.123.161103. arXiv:1901.04307
Bernus L, Minazzoli O, Fienga A, Gastineau M, Laskar J, Deram P, Di Ruscio A (2020) Constraint on the Yukawa suppression of the Newtonian potential from the planetary ephemeris INPOP19a. Phys Rev D 102(2):021501. https://doi.org/10.1103/PhysRevD.102.021501. arXiv:2006.12304
Bernus L, Minazzoli O, Fienga A, Hees A, Gastineau M, Laskar J, Deram P, Di Ruscio A (2022) Constraining massless Dilaton theory at Solar system scales with the planetary ephemeris INPOP. Phys Rev D 105(4):044057. https://doi.org/10.1103/PhysRevD.105.044057
Bertolami O, Francisco F, Gil PJS, Páramos J (2010) Estimating radiative momentum transfer through a thermal analysis of the pioneer anomaly. Space Sci Rev 151(1–3):75–91. https://doi.org/10.1007/s11214-009-9589-3. arXiv:0809.2633
Bertone S, Minazzoli O, Crosta M, Le Poncin-Lafitte C, Vecchiato A, Angonin MC (2014) Time transfer functions as a way to validate light propagation solutions for space astrometry. Class Quantum Grav 31(1):015021. https://doi.org/10.1088/0264-9381/31/1/015021. arXiv:1306.2367
Bertotti B, Iess L, Tortora P (2003) A test of general relativity using radio links with the Cassini spacecraft. Nature 425(6956):374–376. https://doi.org/10.1038/nature01997
Bertotti B, Farinella P, Vokrouhlick D (2003) Physics of the solar system—dynamics and evolution. space physics, and spacetime structure. https://doi.org/10.1007/978-94-010-0233-2
Bills BG, Gorski KM (2022) Sensitivity and antenna pattern for an interplanetary laser trilateration network. Planet Space Sci 215:105423. https://doi.org/10.1016/j.pss.2022.105423
Bills B, Skillman D (2022) Planetary orbit dynamics via trilateration: prospectus for an interplanetary scale ring laser gyro with nominal area of 1 square AU. Planet Space Sci 214:105415. https://doi.org/10.1016/j.pss.2022.105415
Biskupek L, Müller J, Torre JM (2021) Benefit of new high-precision LLR data for the determination of relativistic parameters. Universe 7(2):34. https://doi.org/10.3390/universe7020034. arXiv:2012.12032
Blanchet L, Novak J (2011) External field effect of modified Newtonian dynamics in the Solar system. Mon Not R Astron Soc 412:2530–2542. https://doi.org/10.1111/j.1365-2966.2010.18076.x. arXiv:1010.1349
Blennow M, Clementz S, Herrero-Garcia J (2018) The distribution of inelastic dark matter in the sun. Eur Phys J C 78(5):386. https://doi.org/10.1140/epjc/s10052-018-5863-4
Burrage C, Sakstein J (2018) Tests of chameleon gravity. Living Rev Relativ 21(1):1. https://doi.org/10.1007/s41114-018-0011-x
Camargo JIB, Veiga CH, Vieira-Martins R, Fienga A, Assafin M (2022) The five largest satellites of Uranus: astrometric observations spread over 29 years at the Pico dos Dias Observatory. Planet Space Sci 210:105376. https://doi.org/10.1016/j.pss.2021.105376. arXiv:2112.02167
Capitaine N, Klioner S, McCarthy D (2012) The re-definition of the astronomical unit of length: reasons and consequences. In: IAU joint discussion 7, 28 IAU General Assembly, Beijing
Cappuccio P, Notaro V, di Ruscio A, Iess L, Genova A, Durante D, di Stefano I, Asmar SW, Ciarcia S, Simone L (2020) Report on first inflight data of BepiColombo’s Mercury orbiter radio science experiment. IEEE Trans Aerospace Electron Syst 56(6):4984–4988. https://doi.org/10.1109/TAES.2020.3008577
Cappuccio P, di Stefano I, Cascioli G, Iess L (2021) Comparison of light-time formulations in the post-Newtonian framework for the BepiColombo MORE experiment. Class Quantum Grav 38(22):227001. https://doi.org/10.1088/1361-6382/ac2b0a. arXiv:2201.05092
Charlot P, Jacobs CS, Gordon D, Lambert S, de Witt A, Böhm J, Fey AL, Heinkelmann R, Skurikhina E, Titov O, Arias EF, Bolotin S, Bourda G, Ma C, Malkin Z, Nothnagel A, Mayer D, MacMillan DS, Nilsson T, Gaume R (2020) The third realization of the international celestial reference frame by very long baseline interferometry. Astron Astrophys 644:A159. https://doi.org/10.1051/0004-6361/202038368. arXiv:2010.13625
Courde C, Torre JM, Samain E, Martinot-Lagarde G, Aimar M, Albanese D, Exertier P, Fienga A, Mariey H, Metris G, Viot H, Viswanathan V (2017) Lunar laser ranging in infrared at the Grasse laser station. Astron Astrophys 602:A90. https://doi.org/10.1051/0004-6361/201628590. arXiv:1704.06443
Damour T (1989) The problem of motion in Newtonian and Einsteinian gravity. In: Hawking SW, Israel W (eds) Three hundred years of gravitation. Cambridge University Press, pp 128–198
Damour T (2012) Theoretical aspects of the equivalence principle. Class Quantum Grav 29(18):184001. https://doi.org/10.1088/0264-9381/29/18/184001. arXiv:1202.6311
Damour T, Donoghue JF (2010) Equivalence principle violations and couplings of a light Dilaton. Phys. Rev. D 82(8):084033. https://doi.org/10.1103/PhysRevD.82.084033. arXiv:1007.2792
Damour T, Donoghue JF (2011) Spatial variation of fundamental couplings and lunar laser ranging. Class Quantum Grav 28(16):162001. https://doi.org/10.1088/0264-9381/28/16/162001
Damour T, Esposito-Farese G (1992) Tensor-multi-scalar theories of gravitation. Class Quantum Grav 9(9):2093–2176. https://doi.org/10.1088/0264-9381/9/9/015
Damour T, Esposito-Farese G (1993) Nonperturbative strong-field effects in tensor-scalar theories of gravitation. Phys Rev Lett 70(15):2220–2223. https://doi.org/10.1103/PhysRevLett.70.2220
Damour T, Esposito-Farèse G (1996) Tensor-scalar gravity and binary-pulsar experiments. Phys Rev D 54(2):1474–1491. https://doi.org/10.1103/PhysRevD.54.1474
Damour T, Nordtvedt K (1993) Tensor-scalar cosmological models and their relaxation toward general relativity. Phys Rev D 48:3436–3450. https://doi.org/10.1103/PhysRevD.48.3436
Damour T, Polyakov AM (1994) String theory and gravity. Gen Relat Grav 26:1171–1176. https://doi.org/10.1007/BF02106709. arXiv:gr-qc/9411069
Damour T, Vokrouhlický D (1995) Conservation laws for systems of extended bodies in the first post-Newtonian approximation. Phys Rev D 52(8):4455–4461. https://doi.org/10.1103/PhysRevD.52.4455. arXiv:gr-qc/9503041
Damour T, Soffel M, Xu C (1991) General-relativistic celestial mechanics. I. Method and definition of reference systems. Phys Rev D 43(10):3273–3307. https://doi.org/10.1103/PhysRevD.43.3273
Damour T, Piazza F, Veneziano G (2002) Violations of the equivalence principle in a dilaton-runaway scenario. Phys Rev D 66(4):046007. https://doi.org/10.1103/PhysRevD.66.046007. arXiv:hep-th/0205111
Damour T, Polyakov AM (1994) The string dilation and a least coupling principle. Nucl Phys B 423(2):532–558. https://doi.org/10.1016/0550-3213(94)90143-0
de Felice A, Tsujikawa S (2010) f(R) theories. Living Rev Relativ 13:3. https://doi.org/10.12942/lrr-2010-3
De Marchi F, Cascioli G (2020) Testing general relativity in the solar system: present and future perspectives. Class Quantum Grav 37(9):095007. https://doi.org/10.1088/1361-6382/ab6ae0. arXiv:1911.05561
De Marchi F, Tommei G, Milani A, Schettino G (2016) Constraining the Nordtvedt parameter with the BepiColombo Radioscience experiment. Phys. Rev. D. 93(12):123014. https://doi.org/10.1103/PhysRevD.93.123014. arXiv:1605.07822
de Rham C (2014) Massive gravity. Living Rev Relat 17:7. https://doi.org/10.12942/lrr-2014-7. arXiv:1401.4173
Deng XM, Xie Y (2012) Two-post-Newtonian light propagation in the scalar-tensor theory: an \(n\)-point mass case. Phys Rev D 86:044007. https://doi.org/10.1103/PhysRevD.86.044007
Deram P, Fienga A, Verma AK, Gastineau M, Laskar J (2022) Gaia-DR2 asteroid observations and INPOP planetary ephemerides. Celest Mech Dyn Astron 134(3):32. https://doi.org/10.1007/s10569-022-10084-6. arXiv:2203.01586
Devine CJ, Dunham DW (1966) The ephemerides of the earth-moon barycenter, Venus, Mars and Mercury considering the earth and the moon as separate bodies. Tech. rep., JPL Technical Memorandum 33-232
Di Ruscio A, Fienga A, Durante D, Iess L, Laskar J, Gastineau M (2020) Analysis of Cassini radio tracking data for the construction of INPOP19a: a new estimate of the Kuiper belt mass. Astron Astrophys 640:A7. https://doi.org/10.1051/0004-6361/202037920
Di Ruscio A, Durante D, Iess L (2020a) Mass of the saturnian system from Cassini tracking data, private communication
Donivan FF, Newhall XX (1981) Delta VLBI observations of Mars Viking Lander I. Bull Am Astron Soc 13:555
Douglas MR, Kachru S (2007) Flux compactification. Rev Mod Phys 79:733–796. https://doi.org/10.1103/RevModPhys.79.733
Durante D, Parisi M, Serra D, Zannoni M, Notaro V, Racioppa P, Buccino DR, Lari G, Gomez Casajus L, Iess L, Folkner WM, Tommei G, Tortora P, Bolton SJ (2020) Jupiter’s gravity field halfway through the Juno Mission. Geophys Res Lett 47(4):e86572. https://doi.org/10.1029/2019GL086572
Einstein A (1915) Zur allgemeinen Relativitätstheorie. Sitzungsber Königl Preuss Akad Wiss Berlin 1915:778–786
Einstein A (1918) Prinzipielles zur allgemeinen relativitätstheorie. Ann Phys 360(4):241–244. https://doi.org/10.1002/andp.19183600402
Einstein A, Infeld L, B H (1938) The gravitational equations and the problem of motion. Ann Math 39(1):65–100. https://doi.org/10.2307/1968714
Fey AL, Gordon D, Jacobs CS, Ma C, Gaume RA, Arias EF, Bianco G, Boboltz DA, Böckmann S, Bolotin S, Charlot P, Collioud A, Engelhardt G, Gipson J, Gontier AM, Heinkelmann R, Kurdubov S, Lambert S, Lytvyn S, MacMillan DS, Malkin Z, Nothnagel A, Ojha R, Skurikhina E, Sokolova J, Souchay J, Sovers OJ, Tesmer V, Titov O, Wang G, Zharov V (2015) The second realization of the international celestial reference frame by very long baseline interferometry. Astron J 150(2):58. https://doi.org/10.1088/0004-6256/150/2/58
Fienga A, Simon JL (2005) Analytical and numerical studies of asteroid perturbations on solar system planet dynamics. Astron Astrophys 429:361–367. https://doi.org/10.1051/0004-6361:20048159
Fienga A, Manche H, Laskar J, Gastineau M (2008) INPOP06: a new numerical planetary ephemeris. Astron Astrophys 477:315–327. https://doi.org/10.1051/0004-6361:20066607
Fienga A, Laskar J, Morley T, Manche H, Kuchynka P, Le Poncin-Lafitte C, Budnik F, Gastineau M, Somenzi L (2009) INPOP08, a 4-D planetary ephemeris: from asteroid and time-scale computations to ESA Mars Express and Venus Express contributions. Astron Astrophys 507:1675–1686. https://doi.org/10.1051/0004-6361/200911755. arXiv:0906.2860
Fienga A, Laskar J, Kuchynka P, Manche H, Desvignes G, Gastineau M, Cognard I, Theureau G (2011) The INPOP10a planetary ephemeris and its applications in fundamental physics. Celest Mech Dyn Astron 111:363–385. https://doi.org/10.1007/s10569-011-9377-8. arXiv:1108.5546
Fienga A, Laskar J, Exertier P, Manche H, Gastineau M (2015) Numerical estimation of the sensitivity of INPOP planetary ephemerides to general relativity parameters. Celest Mech Dyn Astron 123:325–349. https://doi.org/10.1007/s10569-015-9639-y
Fienga A, Avdellidou C, Hanuš J (2020) Asteroid masses obtained with INPOP planetary ephemerides. Mon Not R Astron Soc 492(1):589–602. https://doi.org/10.1093/mnras/stz3407
Fienga A, Di Ruscio A, Bernus L, Deram P, Durante D, Laskar J, Iess L (2020) New constraints on the location of P9 obtained with the INPOP19a planetary ephemeris. Astron Astrophys 640:A6. https://doi.org/10.1051/0004-6361/202037919
Fienga A, Bernus L, Minazzoli O, Hees A, Bigot L, Herrera C, Herrera C, Mariani V, Di Ruscio A, Mary D (2022) INPOP Planetary ephemerides and applications in the frame of the BepiColombo mission including new constraints on the graviton mass and dilaton parameters. In: Auge E, Dumarchez J, Tran Thanh Van J (eds) Proceedings, 56nd Rencontres de Moriond on Gravitation: La Thuile, Italy, January 30–February 6, 2022, ARISF. arxiv:2211.04881
Fienga A, Bigot L, Mary D, Deram P, Di Ruscio A, Bernus L, Gastineau M, Laskar J (2021a) Evolution of INPOP planetary ephemerides and Bepi-Colombo simulations. In: Celletti A et al (eds) Multi-scale (time and mass) dynamics of space objects. IAU Symposium, vol 364. Cambridge University Press, pp 31–51
Fienga A, Deram P, Di Ruscio A, Viswanathan V, Camargo JIB, Bernus L, Gastineau M, Laskar J (2021b) INPOP21a planetary ephemerides. Notes Sci Tech Inst Mec Celest 110
Fienga A, Deram P, Viswanathan V, Di Ruscio A, Bernus L, Durante D, Gastineau M, Laskar J (2019) INPOP19a planetary ephemerides. Notes Sci Tech Inst Mec Celest 109
Fienga A, Laskar J, Kuchynka P, Le Poncin-Lafitte C, Manche H, Gastineau M (2010) Gravity tests with INPOP planetary ephemerides. In: Klioner SA, Seidelmann PK, Soffel MH (eds) Relativity in fundamental astronomy: dynamics, reference frames, and data analysis, IAU Symposium, vol 261. Cambridge University Press, pp 159–169. https://doi.org/10.1017/S1743921309990330. arXiv:0906.3962
Fienga A, Laskar J, Manche H, Gastineau M (2018) Tests of GR with INPOP15a planetary ephemerides: estimations of possible supplementary advances of perihelia for Mercury and Saturn. In: Bianchi M, Jansen RT, Ruffini R (eds) Proceedings of the 14th Marcel Grossmann meeting. World Scientific, pp 3694–3695. https://doi.org/10.1142/9789813226609_0482
Fienga A, Laskar J, Manche H, Gastineau M, Verma A (2014) New INPOP release: INPOP13c. https://www.imcce.fr/recherche/equipes/asd/inpop/download13c
Fienga A, Laskar J, Manche H, Kuchynka P, Desvignes G, Gastineau M, Cognard I, Thereau G (2011b) The planetary ephemerides INPOP10a and its applications in fundamental physics. Celest Mech Dyn Astron 111:363. https://doi.org/10.1007/s10569-011-9377-8
Fischbach E, Gillies GT, Krause DE, Schwan JG, Talmadge C (1992) Non-Newtonian gravity and new weak forces: an index of measurements and theory. Metrologia 29(3):213–260. https://doi.org/10.1088/0026-1394/29/3/001
Folkner WM, Williams JG, Boggs DH (2008) JPL planetary and lunar ephemerides DE421. JPL Interoffice Memorandum IOM 343R-08-003
Folkner WM, Charlot P, Finger MH, Williams JG, Sovers OJ, Newhall X, Standish EM Jr (1994) Determination of the extragalactic-planetary frame tie from joint analysis of radio interferometric and lunar laser ranging measurements. Astron Astrophys 287:279–289
Folkner WM, Williams JG, Boggs DH, Park RS, Kuchynka P (2014) The planetary and lunar ephemerides 2950 DE430 and DE431. 1 IPN Progress Report 42–196
Freire PCC, Wex N, Esposito-Farèse G, Verbiest JPW, Bailes M, Jacoby BA, Kramer M, Stairs IH, Antoniadis J, Janssen GH (2012) The relativistic pulsar-white dwarf binary PSR J1738+0333—II. The most stringent test of scalar-tensor gravity. Mon Not R Astron Soc 423(4):3328–3343. https://doi.org/10.1111/j.1365-2966.2012.21253.x
Frère JM, Ling FS, Vertongen G (2008) Bound on the dark matter density in the Solar System from planetary motions. Phys Rev D 77(8):083005. https://doi.org/10.1103/PhysRevD.77.083005. arXiv:astro-ph/0701542
Füzfa A, Alimi JM (2007) Toward a unified description of dark energy and dark matter from the abnormally weighting energy hypothesis. Phys. Rev. D 75(12):123007. https://doi.org/10.1103/PhysRevD.75.123007. arXiv:astro-ph/0702478
Gaillot A (1888) Théorie analytique du mouvement des planètes. — Expression générale des perturbations qui sont du troisième ordre par rapport aux masses. Bull Astron Ser I 5:377–384. https://doi.org/10.3406/bastr.1888.10148
Gaillot AM, Le Verrier UJ (1913) Addition a la théorie du mouvement de Jupiter de Le Verrier: tables rectifiées du mouvement de Jupiter. Ann l’Observ Paris 31:1
Gao S, Wald RM (2000) Theorems on gravitational time delay and related issues. Class Quantum Grav 17(24):4999–5008. https://doi.org/10.1088/0264-9381/17/24/305. arXiv:gr-qc/0007021
Genova A, Mazarico E, Goossens S, Lemoine FG, Neumann GA, Smith DE, Zuber MT (2018) Solar system expansion and strong equivalence principle as seen by the NASA MESSENGER mission. Nat Commun 9:289. https://doi.org/10.1038/s41467-017-02558-1
Godun RM, Nisbet-Jones PBR, Jones JM, King SA, Johnson LAM, Margolis HS, Szymaniec K, Lea SN, Bongs K, Gill P (2014) Frequency ratio of two optical clock transitions in \(^{171}\)Yb\(^{+}\) and constraints on the time variation of fundamental constants. Phys Rev Lett 113(21):210801. https://doi.org/10.1103/PhysRevLett.113.210801. arXiv:1407.0164
Guena J, Abgrall M, Rovera D, Laurent P, Chupin B, Lours M, Santarelli G, Rosenbusch P, Tobar ME, Li R, Gibble K, Clairon A, Bize S (2012) Progress in atomic fountains at LNE-SYRTE. IEEE Trans Ultrason Ferroelectr Freq Control 59(3):391–409. https://doi.org/10.1109/TUFFC.2012.2208
Guéna J, Abgrall M, Rovera D, Rosenbusch P, Tobar ME, Laurent P, Clairon A, Bize S (2012) Improved tests of local position invariance using Rb87 and Cs133 fountains. Phys Rev Lett 109(8):080801. https://doi.org/10.1103/PhysRevLett.109.080801. arXiv:1205.4235
Hees A, Bertone S, Le Poncin-Lafitte C (2014a) Relativistic formulation of coordinate light time, Doppler, and astrometric observables up to the second post-Minkowskian order. Phys Rev D 89(6):064045. https://doi.org/10.1103/PhysRevD.89.064045. arXiv:1401.7622
Hees A, Folkner WM, Jacobson RA, Park RS (2014b) Constraints on modified Newtonian dynamics theories from radio tracking data of the Cassini spacecraft. Phys Rev D 89(10):102002. https://doi.org/10.1103/PhysRevD.89.102002. arXiv:1402.6950
Hees A, Minazzoli O, Savalle E, Stadnik YV, Wolf P (2018) Violation of the equivalence principle from light scalar dark matter. Phys Rev D 98(6):064051. https://doi.org/10.1103/PhysRevD.98.064051. arXiv:1807.04512
Hellings RW, Adams PJ, Anderson JD, Keesey MS, Lau EL, Standish JEM, Canuto VM, Goldman I (1983) Experimental test of the variability of G using Viking Lander ranging data. Phys Rev Lett 51(18):1609–1612. https://doi.org/10.1103/PhysRevLett.51.1609
Hinterbichler K, Khoury J (2010) Screening long-range forces through local symmetry restoration. Phys Rev Lett 104(23):231301. https://doi.org/10.1103/PhysRevLett.104.231301. arXiv:1001.4525
Huntemann N, Lipphardt B, Tamm C, Gerginov V, Weyers S, Peik E (2014) Improved limit on a temporal variation of m\(_{p}\)/m\(_{e}\) from comparisons of Yb\(^{+}\) and Cs atomic clocks. Phys Rev Lett 113(21):210802. https://doi.org/10.1103/PhysRevLett.113.210802. arXiv:1407.4408
Imperi L, Iess L, Mariani MJ (2018) An analysis of the geodesy and relativity experiments of BepiColombo. Icarus 301:9025. https://doi.org/10.1016/j.icarus.2017.09.008
Iorio L (2009) The recently determined anomalous perihelion precession of Saturn. Astron J 137(3):3615–3618. https://doi.org/10.1088/0004-6256/137/3/3615. arXiv:0811.0756
Iorio L (2010) The perihelion precession of Saturn, planet X/Nemesis and MOND. Open Astron J 3:1–6. https://doi.org/10.2174/1874381101003010001. arXiv:0907.4514
Iorio L, Lichtenegger HIM, Ruggiero ML, Corda C (2011) Phenomenology of the Lense–Thirring effect in the solar system. Astrophys Space Sci 331(2):351–395. https://doi.org/10.1007/s10509-010-0489-5. arXiv:1009.3225
Ivashkin VV (2021) The influence of the Earth’s oblateness on the energy integral and some characteristics of a spacecraft’s orbit. Cosm Res 59(5):324–327. https://doi.org/10.1134/S001095252105004X
Jackson JD (1998) Classical electrodynamics, 3rd edn. Wiley
Jacobson R (2021a) The orbits of the major saturnian satellites,the trajectories of spacecraft at saturn, the gravity field of the saturnian system, and the orientation of Saturn’s pole, private communication to Horizon/NAIF/Dragonfly
Jacobson R (2021b) The orbits of the regular Jovian satellites and the orientation of the pole of Jupiter, private communication to Horizon/NAIF
Jacobson RA (2009) The orbits of the Neptunian satellites and the orientation of the pole of Neptune. Astron J 137(5):4322–4329. https://doi.org/10.1088/0004-6256/137/5/4322
Jacobson RA (2014) The orbits of the Uranian satellites and rings, the gravity field of the Uranian system, and the orientation of the pole of Uranus. Astron J 148(5):76. https://doi.org/10.1088/0004-6256/148/5/76
Jones DL, Fomalont E, Dhawan V, Romney J, Folkner WM, Lanyi G, Border J, Jacobson RA (2011) Very long baseline array astrometric observations of the Cassini spacecraft at Saturn. Astron J 141:29. https://doi.org/10.1088/0004-6256/141/2/29. arXiv:1012.0264
Jones D, Folkner W, Park R, Jacobs C, Romney J, Dhawan V (2019) Constraining Jupiter’s orbit with VLBA astrometry of Juno. In: American Astronomical Society Meeting Abstracts, vol 233, p 302.01
Kardashev NS, Tutukov AV, Fedorova AV (2005) Limits on the mass of dark matter in the Sun from a model for the modern Sun and its previous evolution. Astron Rep 49(2):134–143. https://doi.org/10.1134/1.1862360
Kaula WM (1966) Theory of satellite geodesy: applications of satellites to geodesy. Blaisdell Publishing, Waltham, MA
Khoury J, Weltman A (2004) Chameleon cosmology. Phys Rev D 69(4):044026. https://doi.org/10.1103/PhysRevD.69.044026. arXiv:astro-ph/0309411
Khriplovich IB, Pitjeva EV (2006) Upper limits on density of dark matter in Solar system. Int J Mod Phys D 15(4):615–618. https://doi.org/10.1142/S0218271806008462. arXiv:astro-ph/0601422
Klioner SA (2016) Parametrized post-Newtonian equations of motion of N mass monopoles with the SEP violation. arXiv e-prints arXiv:1607.00183
Klioner SA (2008) Relativistic scaling of astronomical quantities and the system of astronomical units. Astron Astrophys 478(3):951–958. https://doi.org/10.1051/0004-6361:20077786
Klioner SA, Kopeikin SM (1992) Microarcsecond astrometry in space: relativistic effects and reduction of observations. Astron J 104:897. https://doi.org/10.1086/116284
Klioner S, Soffel M (1993) Note on the influence of dark matter on the motion of the solar system. Phys Lett A 184(1):41–44. https://doi.org/10.1016/0375-9601(93)90343-X
Klioner SA, Soffel MH (2000) Relativistic celestial mechanics with PPN parameters. Phys Rev D 62(2):024019. https://doi.org/10.1103/PhysRevD.62.024019. arXiv:gr-qc/9906123
Konopliv AS, Banerdt WB, Sjogren WL (1999) Venus gravity: 180th degree and order model. Icarus 139(1):3–18. https://doi.org/10.1006/icar.1999.6086
Konopliv AS, Yoder CF, Standish EM, Yuan DN, Sjogren WL (2006) A global solution for the Mars static and seasonal gravity, Mars orientation, Photos and Deimos masses, and Mars ephemeris. Icarus 182:23–50. https://doi.org/10.1016/j.icarus.2005.12.025
Konopliv AS, Asmar SW, Folkner WM, Karatekin Ö, Nunes DC, Smrekar SE, Yoder CF, Zuber MT (2011) Mars high resolution gravity fields from MRO, Mars seasonal gravity, and other dynamical parameters. Icarus 211:401–428. https://doi.org/10.1016/j.icarus.2010.10.004
Konopliv AS, Park RS, Folkner WM (2016) An improved JPL Mars gravity field and orientation from Mars orbiter and lander tracking data. Icarus 274:253–260. https://doi.org/10.1016/j.icarus.2016.02.052
Konopliv AS, Park RS, Ermakov AI (2020) The Mercury gravity field, orientation, love number, and ephemeris from the MESSENGER radiometric tracking data. Icarus 335:113386. https://doi.org/10.1016/j.icarus.2019.07.020
Kopeikin SM (2012) Celestial ephemerides in an expanding universe. Phys Rev D 86(6):064004. https://doi.org/10.1103/PhysRevD.86.064004
Kopeikin SM (2019) Covariant equations of motion of extended bodies with arbitrary mass and spin multipoles. Phys Rev D 99(8):084008. https://doi.org/10.1103/PhysRevD.99.084008
Kopeikin S, Vlasov I (2004) Parametrized post-Newtonian theory of reference frames, multipolar expansions and equations of motion in the N-body problem. Phys Rep 400(4–6):209–318. https://doi.org/10.1016/j.physrep.2004.08.004. arXiv:gr-qc/0403068
Kramer M, Stairs IH, Manchester RN, Wex N, Deller AT, Coles WA, Ali M, Burgay M, Camilo F, Cognard I, Damour T, Desvignes G, Ferdman RD, Freire PCC, Grondin S, Guillemot L, Hobbs GB, Janssen G, Karuppusamy R, Lorimer DR, Lyne AG, McKee JW, McLaughlin M, Münch LE, Perera BBP, Pol N, Possenti A, Sarkissian J, Stappers BW, Theureau G (2021) Strong-field gravity tests with the double pulsar. Phys Rev X 11(4):041050. https://doi.org/10.1103/PhysRevX.11.041050
Krasinskii GA, Pit’eva EV, Sveshnikov ML, Chuniaeva LI (1993) The motion of major planets from observations 1769 1988 and some astronomical constants. Celest Mech Dyn Astron 55(1):1–23. https://doi.org/10.1007/BF00694392
Krasinsky GA, Brumberg VA (2004) Secular increase of astronomical unit from analysis of the major planet motions, and its interpretation. Celest Mech Dyn Astron 90(3–4):267–288. https://doi.org/10.1007/s10569-004-0633-z
Krasinsky GA, Novikov FA, Scripnichenko VI (1988) Problem oriented language for ephemeris astronomy and its realisation in the system era. Celest Mech 45(1–3):219–229. https://doi.org/10.1007/BF01229005
Krasinsky GA, Pitjeva EV, Vasilyev MV, Yagudina EI (2002) Hidden mass in the asteroid belt. Icarus 158:98–105. https://doi.org/10.1006/icar.2002.6837
Kuchynka P, Folkner WM (2013) A new approach to determining asteroid masses from planetary range measurements. Icarus 222(1):243–253. https://doi.org/10.1016/j.icarus.2012.11.003
Kuchynka P, Laskar J, Fienga A, Manche H (2010) A ring as a model of the main belt in planetary ephemerides. Astron Astrophys 514:A96. https://doi.org/10.1051/0004-6361/200913346. arXiv:1004.3119
Kuchynka P, Folkner W, Konopliv A (2012) Station-specific errors in mars ranging measurements. Tech. rep., IPN Progress Report
Lecian OM, Montani G (2009) Implications of non-analytic f(R) gravity at solar system scales. Class Quantum Grav 26(4):045014. https://doi.org/10.1088/0264-9381/26/4/045014. arXiv:0807.4428
Leefer N, Weber CTM, Cingöz A, Torgerson JR, Budker D (2013) New limits on variation of the fine-structure constant using atomic dysprosium. Phys Rev Lett 111(6):060801. https://doi.org/10.1103/PhysRevLett.111.060801. arXiv:1304.6940
Linet B, Teyssandier P (2016) Time transfer functions in Schwarzschild-like metrics in the weak-field limit: a unified description of Shapiro and lensing effects. Phys Rev D 93(4):044028. https://doi.org/10.1103/PhysRevD.93.044028. arXiv:1511.04284
Linet B, Teyssandier P (2013) New method for determining the light travel time in static, spherically symmetric spacetimes. Calculation of the terms of order G\(^{3}\). Class Quantum Grav 30(17):175008. https://doi.org/10.1088/0264-9381/30/17/175008. arXiv:1304.3683
Lorentz HA, Droste J, Versl K (1917a) De beweging van een stelsel lichamen onder den invloed van hunne onderlinge aantrekking, behandeld volgens de theorie van Einstein. I. Akad Wet Amsterdam 26:392
Lorentz HA, Droste J, Versl K (1917b) De beweging van een stelsel lichamen onder den invloed van hunne onderlinge aantrekking, behandeld volgens de theorie van Einstein. II. Akad Wet Amsterdam 26:649
Lorentz HA, Droste J (1937) The motion of a system of bodies under the influence of their mutual attraction, according to Einstein’s theory, Springer, Dordrecht, pp 330–355. https://doi.org/10.1007/978-94-015-3445-1_11
Lundberg J, Edsjö J (2004) Weakly interacting massive particle diffusion in the solar system including solar depletion and its effect on Earth capture rates. Phys Rev D 69(12):123505. https://doi.org/10.1103/PhysRevD.69.123505. arXiv:astro-ph/0401113
Luzum B, Capitaine N, Fienga A, Folkner W, Fukushima T, Hilton J, Hohenkerk C, Krasinsky G, Petit G, Pitjeva E, Soffel M, Wallace P (2011) The IAU 2009 system of astronomical constants: the report of the IAU working group on numerical standards for Fundamental Astronomy. Celest Mech Dyn Astron 110:293–304. https://doi.org/10.1007/s10569-011-9352-4
Ma C, Arias EF, Eubanks TM, Fey AL, Gontier AM, Jacobs CS, Sovers OJ, Archinal BA, Charlot P (1998) The international celestial reference frame as realized by very long baseline interferometry. Astron J 116(1):516–546. https://doi.org/10.1086/300408
Magueijo J, Bekenstein J (2007) Testing strong MOND behavior in the solar system. Int J Mod Phys D 16(12a):2035–2053. https://doi.org/10.1142/S021827180701153X
Manche H (2011) Modele dynamique des ephemerides inpop et ajustement aux donnees LLR. PhD thesis, Observatoire de Paris. https://www.imcce.fr/content/medias/publications/publications-recherche/theses-habilitations/docs/Manche_These.pdf
Mariani V, Fienga A, Minazzoli O, Gastineau M, Laskar J (2023) Bayesian test of the mass of the graviton with planetary ephemerides. Phys Rev D 108:024047. https://doi.org/10.1103/PhysRevD.108.024047. arXiv:2306.07069
McMillan PJ (2011) Mass models of the Milky Way. Mon Not R Astron Soc 414(3):2446–2457. https://doi.org/10.1111/j.1365-2966.2011.18564.x
Merkowitz SM (2010) Tests of gravity using lunar laser ranging. Living Rev Relat 13:7
Milani A, Vokrouhlický D, Villani D, Bonanno C, Rossi A (2002) Testing general relativity with the BepiColombo radio science experiment. Phys Rev D 66(8):082001. https://doi.org/10.1103/PhysRevD.66.082001
Milgrom M (2009) MOND effects in the inner Solar system. Mon Not R Astron Soc 399(1):474–486. https://doi.org/10.1111/j.1365-2966.2009.15302.x
Milgrom M (2014) The MOND paradigm of modified dynamics. Scholarpedia 9(6):31410. https://doi.org/10.4249/scholarpedia.31410revision #197699
Milgrom M (1983) A modification of the Newtonian dynamics as a possible alternative to the hidden mass hypothesis. ApJ 270:365–370. https://doi.org/10.1086/161130
Milgrom M (2010) Quasi-linear formulation of MOND. Mon Not R Astron Soc 403(2):886–895. https://doi.org/10.1111/j.1365-2966.2009.16184.x. arXiv:0911.5464
Minazzoli O (2012) 2PN/RM gauge invariance in Brans-Dicke-like scalar-tensor theories. Class Quantum Grav 29(23):237002. https://doi.org/10.1088/0264-9381/29/23/237002. arXiv:1210.3073
Minazzoli O, Chauvineau B (2011) Scalar-tensor propagation of light in the inner solar system including relevant c\(^{-4}\) contributions for ranging and time transfer. Class Quantum Grav 28(8):085010. https://doi.org/10.1088/0264-9381/28/8/085010. arXiv:1007.3942
Minazzoli O, Hees A (2013) Intrinsic Solar System decoupling of a scalar-tensor theory with a universal coupling between the scalar field and the matter Lagrangian. Phys Rev D 88(4):041504. https://doi.org/10.1103/PhysRevD.88.041504. arXiv:1308.2770
Minazzoli O, Hees A (2016) Dilatons with intrinsic decouplings. Phys Rev D 94:064038. https://doi.org/10.1103/PhysRevD.94.064038
Minazzoli O, Johnson-McDaniel NK, Sakellariadou M (2019) Shortcomings of Shapiro delay-based tests of the equivalence principle on cosmological scales. Phys Rev D 100:104047. https://doi.org/10.1103/PhysRevD.100.104047
Misner CW, Thorne KS, Wheeler JA (1973) Gravitation. WH Freedman
Moskovitz NA, Wasserman L, Burt B, Schottland R, Bowell E, Bailen M, Granvik M (2022) The astorb database at Lowell observatory. Astron Comput 41:100661. https://doi.org/10.1016/j.ascom.2022.100661. arXiv:2210.10217
Moyer T (1971) DPODP manual. IOM 3215-37, JPL
Moyer T (2000) Formulation for observed and computed values of deep space network data types for navigation. Monography of deep space communications and navigation series, vol 2. JPL, Pasadena
Murphy TW, Adelberger EG, Battat JBR, Carey LN, Hoyle CD, Leblanc P, Michelsen EL, Nordtvedt K, Orin AE, Strasburg JD, Stubbs CW, Swanson HE, Williams E (2008) The apache point observatory lunar laser-ranging operation: instrument description and first detections. PASP 120:20–37. https://doi.org/10.1086/526428. arXiv:0710.0890
Nelson RA, Ely TA (2006) Relativistic transformations for time synchronization and dissemination in the solar system. In: 38th Annual Precise Time and Time Interval (PTTI) Meeting
Newhall XX, Standish JEM, Williams JG (1983) DE 102: a numerically integrated ephemeris of the moon and planets spanning forty-four centuries. Astron Astrophys 125(1):150–167
Ni WT, Zimmermann M (1978) Inertial and gravitational effects in the proper reference frame of an accelerated, rotating observer. Phys Rev D 17(6):1473–1476. https://doi.org/10.1103/PhysRevD.17.1473
Nitti F (2022) Notes on the mass of bound objects. Private communication
Nitti F, Piazza F (2012) Scalar-tensor theories, trace anomalies, and the QCD frame. Phys Rev D 86:122002. https://doi.org/10.1103/PhysRevD.86.122002
Noether E (1918) Invariante Variationsprobleme. Nachr König Gesellsch Wiss Gött 235–237
Nordtvedt K (1968) Equivalence principle for massive bodies. I. Phenomenology. Phys Rev 169:1014–1016. https://doi.org/10.1103/PhysRev.169.1014
Nordtvedt K (1968) Equivalence principle for massive bodies. II. Theory. Phys Rev 169:1017–1025. https://doi.org/10.1103/PhysRev.169.1017
Nordtvedt KL (1994) Cosmic acceleration of Earth and the Moon by dark matter. Astrophys J 437:529–531. https://doi.org/10.1086/175016
Overduin JM, Wesson PS (1997) Kaluza–Klein gravity. Phys Rep 283(5):303–378. https://doi.org/10.1016/S0370-1573(96)00046-4. arXiv:gr-qc/9805018
Page GL, Wallin JF, Dixon DS (2009) How well do we know the orbits of the outer planets? ApJ 697(2):1226–1241. https://doi.org/10.1088/0004-637X/697/2/1226. arXiv:0905.0030
Park RS, Folkner WM, Konopliv AS, Williams JG, Smith DE, Zuber MT (2017) Precession of Mercury’s perihelion from ranging to the MESSENGER spacecraft. Astron J 153(3):121. https://doi.org/10.3847/1538-3881/aa5be2
Park RS, Folkner WM, Williams JG, Boggs DH (2021) The JPL planetary and lunar ephemerides DE440 and DE441. Astron J 161(3):105. https://doi.org/10.3847/1538-3881/abd414
Pavlov D (2020) Role of lunar laser ranging in realization of terrestrial, lunar, and ephemeris reference frames. J Geodesy 94(1):5. https://doi.org/10.1007/s00190-019-01333-y
Petit G, Luzum B (2010) IERS conventions (2010). IERS Tech Note 36:1
Pijpers FP (1998) Helioseismic determination of the solar gravitational quadrupole moment. Mon Not R Astron Soc 297(3):L76–L80. https://doi.org/10.1046/j.1365-8711.1998.01801.x. arXiv:astro-ph/9804258
Pinto RF, Brun AS, Jouve L, Grappin R (2011) Coupling the Solar dynamo and the Corona: wind properties, mass, and momentum losses during an activity cycle. Astrophys J 737:72. https://doi.org/10.1088/0004-637X/737/2/72. arXiv:1106.0882
Pitjeva EV (1993) Experimental testing of relativistic effects, variability of the gravitational constant and topography of Mercury surface from radar observations 1964 1989. Celest Mech Dyn Astron 55(4):313–321. https://doi.org/10.1007/BF00692991
Pitjeva EV (2001) Modern numerical ephemerides of planets and the importance of ranging observations for their creation. Celest Mech Dyn Astron 80:249–271. https://doi.org/10.1023/A:1012289530641
Pitjeva EV (2005) High-precision ephemerides of planets: EPM and determination of some astronomical constants. Sol Syst Res 39(3):176–186. https://doi.org/10.1007/s11208-005-0033-2
Pitjeva EV (2005) Relativistic effects and solar oblateness from radar observations of planets and spacecraft. Astron Lett 31(5):340–349. https://doi.org/10.1134/1.1922533
Pitjeva EV, Pitjev NP (2012) Changes in the Sun’s mass and gravitational constant estimated using modern observations of planets and spacecraft. Sol Syst Res 46(1):78–87. https://doi.org/10.1134/S0038094612010054. arXiv:1108.0246
Pitjeva EV, Pitjev NP (2013) Relativistic effects and dark matter in the Solar system from observations of planets and spacecraft. Mon Not R Astron Soc 432:3431–3437. https://doi.org/10.1093/Mon.Not.R.Astron.Soc./stt695. arXiv:1306.3043
Pitjeva EV, Pitjev NP (2014) Development of planetary ephemerides EPM and their applications. Celest Mech Dyn Astron 119(3–4):237–256. https://doi.org/10.1007/s10569-014-9569-0
Pitjeva EV, Pitjev NP (2018) Mass of the Kuiper belt. Celest Mech Dyn Astron 130(9):57. https://doi.org/10.1007/s10569-018-9853-5. arXiv:1810.09771
Pitjeva EV, Pitjev NP (2020) Masses of the Trojan groups of Jupiter. Astron Lett 45(12):855–860. https://doi.org/10.1134/S1063773719120041
Pitjeva EV, Pitjev NP, Pavlov DA, Turygin CC (2021) Estimates of the change rate of solar mass and gravitational constant based on the dynamics of the Solar system. Astron Astrophys 647:A141. https://doi.org/10.1051/0004-6361/202039893. arXiv:2201.09804
Press WH, Spergel DN (1985) Capture by the sun of a galactic population of weakly interacting, massive particles. ApJ 296:679–684. https://doi.org/10.1086/163485
Proca A (1936) Sur la théorie ondulatoire des électrons positifs et négatifs. J Phys Radium 7(7):347–353
Rosenband T, Hume DB, Schmidt PO, Chou CW, Brusch A, Lorini L, Oskay WH, Drullinger RE, Fortier TM, Stalnaker JE, Diddams SA, Swann WC, Newbury NR, Itano WM, Wineland DJ, Bergquist JC (2008) Frequency ratio of Al\(^{+}\) and Hg\(^{+}\) single-ion optical clocks; metrology at the 17th decimal place. Science 319:1808. https://doi.org/10.1126/science.1154622
Sereno M, Jetzer P (2006) Dark matter versus modifications of the gravitational inverse-square law: results from planetary motion in the Solar system. Mon Not R Astron Soc 371(2):626–632. https://doi.org/10.1111/j.1365-2966.2006.10670.x. arXiv:astro-ph/0606197
Shapiro II (1964) Fourth test of general relativity. Phys Rev Lett 13:789–791. https://doi.org/10.1103/PhysRevLett.13.789
Sharma J, Ratanpal BS, Pirzada UM, Shah V (2016) Motion of satellite under the effect of oblateness of earth and atmospheric drag. arXiv e-prints. https://doi.org/10.48550/arXiv.1610.02156. arXiv:1610.02156
Skordis C, Złośnik T (2021) New relativistic theory for modified Newtonian dynamics. Phys Rev Lett 127:161302. https://doi.org/10.1103/PhysRevLett.127.161302
Smith DE, Zuber MT, Mazarico E, Genova A, Neumann GA, Sun X, Torrence MH, Mao Dd (2018) Trilogy, a planetary geodesy mission concept for measuring the expansion of the solar system. Planet Space Sci 153:127–133. https://doi.org/10.1016/j.pss.2018.02.003
Soffel M (2003) The IAU 2000 resolutions for astrometry, celestial mechanics, and metrology in the relativistic framework: explanatory supplement. Astron J 126:2686–2706
Stairs IH (2003) Testing general relativity with pulsar timing. Living Rev Relat 6(1):4. https://doi.org/10.12942/lrr-2003-5
Standish JEM (1983) The JPL “long ephemeris”, DE102/LE51. In: Markellos VV, Kozai Y (eds) IAU Colloq. 74: dynamical trapping and evolution in the solar system. Astrophysics and space science library, vol 106. Springer, Dordrecht, pp 47–50. https://doi.org/10.1007/978-94-009-7214-8_5
Standish JEM (1995) Planetary ephemerides DE403. Tech. Rep. 314.10-127. JPL, Pasadena
Standish JEM (1998a) JPL planetary and lunar ephemerides DE405. JPL Interoffice Memorandum IOM 312.F-98-048
Standish JEM (1998b) Linking the dynamical reference frame to the ICRF. Highl Astron 11:310
Standish JEM (2001) The JPL DE405 planetary and lunar ephemerides. JPL, Pasadena
Standish JEM (2010) Testing alternate gravitational theories. In: Klioner SA, Seidelmann PK, Soffel MH (eds) Relativity in fundamental astronomy: dynamics, reference frames, and data analysis, IAU Symposium, vol 261. Cambridge University Press, USA, pp 179–182. https://doi.org/10.1017/S1743921309990354
Standish JEM, Keesey MSW, Newhall XX (1976) JPL development ephemeris 96. Tech. Rep. 32-1603. JPL, Pasadena
Standish JEM (1990) The observational basis for JPL’s DE 200, the planetary ephemerides of the astronomical almanac. Astron Astrophys 233:252–271
Standish JEM, Fienga A (2002) Accuracy limit of modern ephemerides imposed by the uncertainties in asteroid masses. Astron Astrophys 384:322–328. https://doi.org/10.1051/0004-6361:20011821
Steinhardt PJ, Wesley D (2009) Dark energy, inflation, and extra dimensions. Phys Rev D 79(10):104026. https://doi.org/10.1103/PhysRevD.79.104026. arXiv:0811.1614
Touboul P, Métris G, Rodrigues M, Bergé J, Robert A, Baghi Q, André Y, Bedouet J, Boulanger D, Bremer S, Carle P, Chhun R, Christophe B, Cipolla V, Damour T, Danto P, Demange L, Dittus H, Dhuicque O, Fayet P, Foulon B, Guidotti PY, Hagedorn D, Hardy E, Huynh PA, Kayser P, Lala S, Lämmerzahl C, Lebat V, Liorzou F, List M, Löffler F, Panet I, Pernot-Borràs M, Perraud L, Pires S, Pouilloux B, Prieur P, Rebray A, Reynaud S, Rievers B, Selig H, Serron L, Sumner T, Tanguy N, Torresi P, Visser P (2022) Result of the MICROSCOPE weak equivalence principle test. Class Quantum Grav 39(20):204009. https://doi.org/10.1088/1361-6382/ac84be. arXiv:2209.15488
Turyshev SG, Toth VT (2010) The Pioneer Anomaly. Living Rev Relat 13(1):4. https://doi.org/10.12942/lrr-2010-4. arXiv:1001.3686
Turyshev SG, Toth VT, Kinsella G, Lee SC, Lok SM, Ellis J (2012) Support for the thermal origin of the pioneer anomaly. Phys Rev Lett 108(24):241101. https://doi.org/10.1103/PhysRevLett.108.241101. arXiv:1204.2507
Turyshev SG, Toth VT, Sazhin MV (2013) General relativistic observables of the GRAIL mission. Phys Rev D 87(2):024020. https://doi.org/10.1103/PhysRevD.87.024020. arXiv:1212.0232
Turyshev SG, Williams JG, Folkner WM, Gutt GM, Baran RT, Hein RC, Somawardhana RP, Lipa JA, Wang S (2013) Corner-cube retro-reflector instrument for advanced lunar laser ranging. Exp Astron 36(1–2):105–135. https://doi.org/10.1007/s10686-012-9324-z. arXiv:1210.7857
Uzan JP (2003) Tests of gravity on astrophysical scales and variation of the constants. Ann Henri Poincaré 4:347–369. https://doi.org/10.1007/s00023-003-0927-9
Uzan JP (2011) Varying constants, gravitation and cosmology. Living Rev Relat 14(1):2. https://doi.org/10.12942/lrr-2011-2. arXiv:1009.5514
Vainshtein AI (1972) To the problem of nonvanishing gravitation mass. Phys Lett B 39:393–394. https://doi.org/10.1016/0370-2693(72)90147-5
van der Zwaard R, Dirkx D (2022) The influence of dynamic solar oblateness on tracking data analysis from past and future mercury missions. Remote Sens 14(17):4139. https://doi.org/10.3390/rs14174139
Verdet JP (1990) Une histoire de l’astronomie. Éditions du Seuil
Verma AK, Fienga A, Laskar J, Issautier K, Manche H, Gastineau M (2013) Electron density distribution and solar plasma correction of radio signals using MGS, MEX, and VEX spacecraft navigation data and its application to planetary ephemerides. Astron Astrophys 550:A124. https://doi.org/10.1051/0004-6361/201219883. arXiv:1206.5667
Verma AK, Fienga A, Laskar J, Manche H, Gastineau M (2014) Use of MESSENGER radioscience data to improve planetary ephemeris and to test general relativity. Astron Astrophys 561:A115. https://doi.org/10.1051/0004-6361/201322124. arXiv:1306.5569
Viswanathan V, Fienga A, Minazzoli O, Bernus L, Laskar J, Gastineau M (2018) The new lunar ephemeris INPOP17a and its application to fundamental physics. Mon Not R Astron Soc 476:1877–1888. https://doi.org/10.1093/mnras/sty096. arXiv:1710.09167
Viswanathan V, Fienga A, Gastineau M, Laskar J (2017) INPOP17a planetary ephemerides. Notes Sci Tech Inst Mec Celest 108
Voisin G, Cognard I, Freire PCC, Wex N, Guillemot L, Desvignes G, Kramer M, Theureau G (2020) An improved test of the strong equivalence principle with the pulsar in a triple star system. Astron Astrophys 638:A24. https://doi.org/10.1051/0004-6361/202038104
Wagoner RV (1970) Scalar-tensor theory and gravitational waves. Phys Rev D 1(12):3209–3216. https://doi.org/10.1103/PhysRevD.1.3209
Wald RM (1984) General relativity. The University of Chicago Press
Wardana MD, Wulandari H, Khatami AH (2020) Determination of the local dark matter density using K-dwarfs from Gaia DR2. EPJ Web Conf 240:04002. https://doi.org/10.1051/epjconf/202024004002
Weber M, de Boer W (2010) Determination of the local dark matter density in our galaxy. Astron Astrophys 509:A25. https://doi.org/10.1051/0004-6361/200913381
Will CM (2018a) Solar system versus gravitational-wave bounds on the graviton mass. Class Quantum Grav 35(17):17LT01. https://doi.org/10.1088/1361-6382/aad13c
Will CM (2018b) Theory and experiment in gravitational physics, 2nd edn. Cambridge University Press. https://doi.org/10.1017/9781316338612
Will CM (1998) Bounding the mass of the graviton using gravitational-wave observations of inspiralling compact binaries. Phys Rev D 57(4):2061–2068. https://doi.org/10.1103/PhysRevD.57.2061. arXiv:gr-qc/9709011
Will CM (2014) The confrontation between general relativity and experiment. Living Rev Relat 17(1):4. https://doi.org/10.12942/lrr-2014-4. arXiv:1403.7377
Will CM (2018) New general relativistic contribution to Mercury’s perihelion advance. Phys Rev Lett 120(19):191101. https://doi.org/10.1103/PhysRevLett.120.191101. arXiv:1802.05304
Williams JG (1984) Determining asteroid masses from perturbations on Mars. Icarus 57:1–13. https://doi.org/10.1016/0019-1035(84)90002-2
Williams JG, Turyshev SG, Boggs DH (2012) Lunar laser ranging tests of the equivalence principle. Class Quantum Grav 29(18):184004. https://doi.org/10.1088/0264-9381/29/18/184004. arXiv:1203.2150
Zhu WW, Desvignes G, Wex N, Caballero RN, Champion DJ, Demorest PB, Ellis JA, Janssen GH, Kramer M, Krieger A, Lentati L, Nice DJ, Ransom SM, Stairs IH, Stappers BW, Verbiest JPW, Arzoumanian Z, Bassa CG, Burgay M, Cognard I, Crowter K, Dolch T, Ferdman RD, Fonseca E, Gonzalez ME, Graikou E, Guillemot L, Hessels JWT, Jessner A, Jones G, Jones ML, Jordan C, Karuppusamy R, Lam MT, Lazaridis K, Lazarus P, Lee KJ, Levin L, Liu K, Lyne AG, McKee JW, McLaughlin MA, Osłowski S, Pennucci T, Perrodin D, Possenti A, Sanidas S, Shaifullah G, Smits R, Stovall K, Swiggum J, Theureau G, Tiburzi C (2018) Tests of gravitational symmetries with pulsar binary J1713+0747. Mon Not R Astron Soc 482(3):3249–3260. https://doi.org/10.1093/mnras/sty2905
Zhu WW, Stairs IH, Demorest PB, Nice DJ, Ellis JA, Ransom SM, Arzoumanian Z, Crowter K, Dolch T, Ferdman RD, Fonseca E, Gonzalez ME, Jones G, Jones ML, Lam MT, Levin L, McLaughlin MA, Pennucci T, Stovall K, Swiggum J (2015) Testing theories of gravitation using 21-year timing of pulsar binary J1713+0747. ApJ 809(1):41. https://doi.org/10.1088/0004-637X/809/1/41. arXiv:1504.00662
Zschocke S (2016) Light propagation in the gravitational field of one arbitrarily moving pointlike body in the 2PN approximation. Phys Rev D 94:124007. https://doi.org/10.1103/PhysRevD.94.124007
Zschocke S (2022) Light propagation in 2PN approximation in the monopole and quadrupole field of a body at rest: initial value problem. Phys Rev D 105(2):024040. https://doi.org/10.1103/PhysRevD.105.024040. arXiv:2201.06296
Acknowledgements
The authors thank Aurélien Hees and Vincenzo Mariani for their valuable inputs on the initial versions of the paper. OM expresses also gratitude to Francesco Nitti, Federico Piazza, and Aurélien Hees for stimulating discussions on the relationship between composite particle mass and quantum trace anomalies. AF thanks L. Blanchet, A. Hees, E. Gourgoulhon, S. Reynaud, P. Wolf and C. Will for their supports, comments, discussions all these years. AF is also debtfull to J. Laskar and M. Gastineau for the development of the INPOP planetary ephemerides. Finally, AF is grateful to the French Space Agency and Observatoire de la Côte d’azur for the financial supports.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Derivation of the Shapiro delay at the \(c^{-4}\) level, and related issues
Appendix A: Derivation of the Shapiro delay at the \(c^{-4}\) level, and related issues
In the following lines, we indicate some arguments stressing the complexity of keeping a consistent framework for the derivation of the Shapiro delay at the \(c^{-4}\) level in the general data analysis framework of planetary ephemerides.
Indeed, although there are several \(c^{-4}\) formulae given in the literature already, e.g. Ashby and Bertotti (2010), Deng and Xie (2012), Linet and Teyssandier (2013), Hees et al. (2014a), Linet and Teyssandier (2016), Cappuccio et al. (2021) and Zschocke (2022), most of them are not consistent with the coordinate system recommanded by the IAU—the harmonic gauge—that is used in planetary ephemerides in order to describe the motion of celestial bodies. Hence, one still has to convert those propagation time formulae in the harmonic coordinate system. For instance, many \(c^{-4}\) Shapiro equations are derived from an isotropic metric (Ashby and Bertotti 2010; Linet and Teyssandier 2013; Hees et al. 2014a; Linet and Teyssandier 2016; Cappuccio et al. 2021), whereas the metric in harmonic coordinates is not isotropic at the full \(c^{-4}\) level, even for a spherical object at the center of the coordinate system—see, e.g., Minazzoli (2012) for the difference between harmonic and isotropic coordinate metrics at the \(c^{-4}\) level in the framework of general relativity and scalar-tensor theories. A second order (\(c^{-4}\)) propagation time formula with harmonic coordinates has recently been derived in Zschocke (2022), but it assumes general relativity and a single body at rest. In general, most of the propagation time formulae in the literature indeed simplify the problem by assuming staticity of the celestial bodies during the propagation of light, whereas one may have to go beyond this approximation at the required level of accuracy (Bertone et al. 2014; Zschocke 2016). A \(c^{-4}\) propagation formula in harmonic coordinatesFootnote 40 for light in the solar system—that is, with many moving bodies—has been derived in Minazzoli and Chauvineau (2011) and Deng and Xie (2012) in the framework of general relativity and scalar-tensor theories, but the actual propagation time that results from it remains to be derived. Otherwise, a \(c^{-4}\) propagation time formula for light rays in harmonic coordinates, but restricted to one arbitrarely moving pointlike body, has been derived in Zschocke (2016).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fienga, A., Minazzoli, O. Testing theories of gravity with planetary ephemerides. Living Rev Relativ 27, 1 (2024). https://doi.org/10.1007/s41114-023-00047-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s41114-023-00047-0