since their discovery in 1967 , radio pulsars have provided insights into physics on length scales covering the range from 1 m ( giant pulses from the crab pulsar ) to 10 km ( neutron star ) to kpc ( galactic ) to hundreds of mpc ( cosmological ) . pulsars present an extreme stellar environment , with matter at nuclear densities , magnetic fields of 10 g to nearly 10 g , and spin periods ranging from 1.5 ms to 8.5 s. the regular pulses received from a pulsar each correspond to a single rotation of the neutron star . it is by measuring the deviations from perfect observed regularity that information can be derived about the neutron star itself , the interstellar medium between it and the earth , and effects due to gravitational interaction with binary companion stars . in particular , pulsars have proved to be remarkably successful laboratories for tests of the predictions of general relativity ( gr ) . the tests of gr that are possible through pulsar timing fall into two broad categories : setting limits on the magnitudes of parameters that describe violation of equivalence principles , often using an ensemble of pulsars , and verifying that the measured post - keplerian timing parameters of a given binary system match the predictions of strong - field gr better than those of other theories . long - term millisecond pulsar timing can also be used to set limits on the stochastic gravitational - wave background ( see , e.g. , [ 73 , 86 , 65 ] ) , as can limits on orbital variability in binary pulsars for even lower wave frequencies ( see , e.g. , [ 20 , 78 ] ) . however , these are not tests of the same type of precise prediction of gr and will not be discussed here . this review will present a brief overview of the properties of pulsars and the mechanics of deriving timing models , and will then proceed to describe the various types of tests of gr made possible by both single and binary pulsars . the properties and demographics of pulsars , as well as pulsar search and timing techniques , are thoroughly covered in the article by lorimer in this series . this section will present only an overview of the topics most important to understanding the application of pulsar observations to tests of gr . radio pulsars were firmly established to be neutron stars by the discovery of the pulsar in the crab nebula ; its 33-ms period was too fast for a pulsating or rotating white dwarf , leaving a rotating neutron star as the only surviving model [ 108 , 53 ] . the 1982 discovery of a 1.5-ms pulsar , psr b1937 + 21 , led to the realization that , in addition to the  young  crab - like pulsars born in recent supernovae , there exists a separate class of older  millisecond  or  recycled  pulsars , which have been spun up to faster periods by accretion of matter and angular momentum from an evolving companion star . ( see , for example ,   and   for reviews of the evolution of such binary systems . ) it is precisely these recycled pulsars that form the most valuable resource for tests of gr . the exact mechanism by which a pulsar radiates the energy observed as radio pulses is still a subject of vigorous debate . the basic picture of a misaligned magnetic dipole , with coherent radiation from charged particles accelerated along the open field lines above the polar cap [ 55 , 128 ] , will serve adequately for the purposes of this article , in which pulsars are treated as a tool to probe other physics . while individual pulses fluctuate severely in both intensity and shape ( see figure 1 ) , a profile  integrated  over several hundred or thousand pulses ( i.e. , a few minutes ) yields a shape  a  standard profile ( there is generally some evolution of pulse profiles with frequency , but this can usually be taken into account . ) it is the reproducibility of time - averaged profiles that permits high - precision timing . figure 1 
 top : 100 single pulses from the 253-ms pulsar b0950 + 08 , demonstrating pulse - to - pulse variability in shape and intensity . bottom : cumulative profile for this pulsar over 5 minutes ( about 1200 pulses ) ; this approaches the reproducible standard profile . top : 100 single pulses from the 253-ms pulsar b0950 + 08 , demonstrating pulse - to - pulse variability in shape and intensity . bottom : cumulative profile for this pulsar over 5 minutes ( about 1200 pulses ) ; this approaches the reproducible standard profile . ( stairs , unpublished . ) 
  of some importance later in this article will be models of the pulse beam shape , the envelope function that forms the standard profile . the collection of pulse profile shapes and polarization properties have been used to formulate phenomenological descriptions of the pulse emission regions . at the simplest level ( see , e.g. ,   and other papers in that series ) , the classifications can be broken down into gaussian - shaped regions with little linear polarization and some circular polarization , and double - peaked  cone  regions with stronger linear polarization and s - shaped position angle swings in accordance with the  rotating vector model while these models prove helpful for evaluating observed changes in the profiles of pulsars undergoing geodetic precession , there are ongoing disputes in the literature as to whether the core / cone split is physically meaningful , or whether both types of emission are simply due to the patchy strength of a single emission region ( see , e.g. , ) . a short description of pulsar observing techniques is in order . as pulsars have quite steep radio spectra ( see , e.g. , ) , they are strongest at frequencies f0 of a few hundred mhz . at these frequencies , the propagation of the radio wave through the ionized interstellar medium ( ism ) can have quite serious effects on the observed pulse . multipath scattering will cause the profile to be convolved with an exponential tail , blurring the sharp profile edges needed for the best timing . figure 2 shows an example of scattering ; the effect decreases with sky frequency as roughly f0 - 4 ( see , e.g. , ) , and thus affects timing precision less at higher observing frequencies . a related effect is scintillation : interference between the rays traveling along the different paths causes time - and frequency - dependent peaks and valleys in the pulsar s signal strength . the decorrelation bandwidth , across which the signal is observed to have roughly equal strength , is related to the scattering time and scales as f04 ( see , e.g. , ) . there is little any instrument can do to compensate for these effects ; wide observing bandwidths at relatively high frequencies and generous observing time allocations are the only ways to combat these problems . figure 2pulse profile shapes for psr j1740 - 3052 at multiple frequencies , aligned by pulse timing . all observations taken with the green bank telescope   ( stairs , unpublished ) , except for the 660-mhz profile which was acquired at the parkes telescope [ 9 , 122 ] . pulse profile shapes for psr j1740 - 3052 at multiple frequencies , aligned by pulse timing . all observations taken with the green bank telescope   ( stairs , unpublished ) , except for the 660-mhz profile which was acquired at the parkes telescope [ 9 , 122 ] . another important effect induced by the ism is the dispersion of the traveling pulses . acting as a tenuous electron plasma , the ism causes the wavenumber of a propagating wave to become frequency - dependent . by calculating the group velocity of each frequency component , it is easy to show ( see , e.g. , ) that lower frequencies will arrive at the telescope later in time than the higher - frequency components , following a 1/f law . the magnitude of the delay is completely characterized by the dispersion measure ( dm ) , the integrated electron content along the line of sight between the pulsar and the earth . all low - frequency pulsar observing instrumentation is required to address this dispersion problem if the goal is to obtain profiles suitable for timing . one standard approach is to split the observing bandpass into a multichannel  filterbank ,  to detect the signal in each channel , and then to realign the channels following the 1/f law when integrating the pulse . however , when the ratio of the pulse period to its dm becomes small , much sharper profiles can be obtained by sampling the voltage signals from the telescope prior to detection , then convolving the resulting time series with the inverse of the easily calculated frequency - dependent filter imposed by the ism . as a result , the pulse profile is perfectly aligned in frequency , without any residual dispersive smearing caused by finite channel bandwidths . in addition , full - stokes information can be obtained without significant increase in analysis time , allowing accurate polarization plots to be easily derived . this  coherent dedispersion  technique   is now in widespread use across normal observing bandwidths of several tens of mhz , thanks to the availability of inexpensive fast computing power ( see , e.g. , [ 10 , 66 , 123 ] ) . some of the highest - precision experiments described below have used this approach to collect their data . figure 3pulse profile of the fastest rotating pulsar , psr b1937 + 21 , observed with the 76-m lovell telescope at jodrell bank observatory . the top panel shows the total - intensity profile derived from a filterbank observation ( see text ) ; the true profile shape is convolved with the response of the channel filters . the lower panel shows the full - stokes observation with a coherent dedispersion instrument [ 126 , 123 ] . total intensity is indicated by black lines , and linear and circular power by red and blue lines , respectively . the coherent dedispersion observation results in a much sharper and more detailed pulse profile , less contaminated by instrumental effects and more closely resembling the pulse emitted by the rotating neutron star . pulse profile of the fastest rotating pulsar , psr b1937 + 21 , observed with the 76-m lovell telescope at jodrell bank observatory . the top panel shows the total - intensity profile derived from a filterbank observation ( see text ) ; the true profile shape is convolved with the response of the channel filters . the lower panel shows the full - stokes observation with a coherent dedispersion instrument [ 126 , 123 ] . total intensity is indicated by black lines , and linear and circular power by red and blue lines , respectively . the coherent dedispersion observation results in a much sharper and more detailed pulse profile , less contaminated by instrumental effects and more closely resembling the pulse emitted by the rotating neutron star . much better timing precision can be obtained with these sharper pulses . once dispersion has been removed , the resultant time series is typically folded modulo the expected pulse period , in order to build up the signal strength over several minutes and to obtain a stable time - averaged profile . the pulse period may not be very easily predicted from the discovery period , especially if the pulsar happens to be in a binary system . the goal of pulsar timing is to develop a model of the pulse phase as a function of time , so that all future pulse arrival times can be predicted with a good degree of accuracy . the profile accumulated over several minutes is compared by cross - correlation with the  standard profile  for the pulsar at that observing frequency . a particularly efficient version of the cross - correlation algorithm compares the two profiles in the frequency domain . once the phase shift of the observed profile relative to the standard profile is known , that offset is added to the start time of the observation in order to yield a  time of arrival  ( toa ) that is representative of that few - minute integration . in practice , observers frequently use a time- and phase - stamp near the middle of the integration in order to minimize systematic errors due to a poorly known pulse period . as a rule , pulse timing precision is best for bright pulsars with short spin periods , narrow profiles with steep edges , and little if any profile corruption due to interstellar scattering . with a collection of toas in hand , it becomes possible to fit a model of the pulsar s timing behaviour , accounting for every rotation of the neutron star . based on the magnetic dipole model [ 108 , 53 ] , the pulsar is expected to lose rotational energy and thus  spin down  . the primary component of the timing model is therefore a taylor expansion of the pulse phase  with time t : 
 ( 1)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \phi = { \phi _ 0 } + \nu ( t - { t_0 } ) + \frac{1}{2}\dot \nu { ( t - { t_0})^2 } +   \ldots , 
 $ $ \end{document } 
 where 0 and t0 are a reference phase and time , respectively , and the pulse frequency  is the time derivative of the pulse phase . note that the fitted parameters  and  and the magnetic dipole model can be used to derive an estimate of the surface magnetic field b sin  : 
 ( 2)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 b\sin \alpha = { \left ( { \frac { { - 3i\dot \nu { c^3}}}{{8{\pi ^2}{r^6}{\nu ^3 } } } } \right)^{1/2 } } \approx 3.2 \times { 10^{19}}{\left ( { \frac { { - \dot \nu } } { { { \nu ^3 } } } } \right)^{1/2}}{\rm{g , } } 
 $ $ \end{document } 
 where  is the inclination angle between the pulsar spin axis and the magnetic dipole axis , r is the radius of the neutron star ( about 10 cm ) , and the moment of inertia is i10 g cm . in turn , integration of the energy loss , along with the assumption that the pulsar was born with infinite spin frequency , yields a  characteristic age c for the pulsar : 
 ( 3)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { \tau _ c } = - \frac{\nu } { { 2\dot \nu } } . $ $ \end{document } 
  equation ( 1 ) refers to pulse frequencies and times in a reference frame that is inertial relative to the pulsar . toas derived in the rest frame of a telescope on the earth must therefore be translated to such a reference frame before equation ( 1 ) can be applied . the best approximation available for an inertial reference frame is that of the solar system barycentre ( ssb ) . even this is not perfect ; many of the tests of gr described below require correcting for the small relative accelerations of the ssb and the centre - of - mass frames of binary pulsar systems . but certainly for the majority of pulsars it is adequate . the required transformation between a toa at the telescope  and the emission time t from the pulsar is 
 ( 4)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 t = \tau - d/{f^2 } + { \delta _ { { \rm{r } } \odot } } + { \delta _ { { \rm{e } } \odot } } - { \delta _ { { \rm{s } } \odot } } - { \delta _ { \rm{r } } } - { \delta _ { \rm{e } } } - { \delta _ { \rm{s}}}. 
 $ $ \end{document } 
 here d / f accounts for the dispersive delay in seconds of the observed pulse relative to infinite frequency ; the parameter d is derived from the pulsar s dispersion measure by d = dm/2.4110 hz , with dm in units of pc cm and the observing frequency f in mhz . the roemer term r takes out the travel time across the solar system based on the relative positions of the pulsar and the telescope , including , if needed , the proper motion and parallax of the pulsar . the einstein delay e accounts for the time dilation and gravitational redshift due to the sun and other masses in the solar system , while the shapiro delay s expresses the excess delay to the pulsar signal as it travels through the gravitational well of the sun  a maximum delay of about 120 s at the limb of the sun ; see   for a fuller discussion of these terms . the terms r , e , and s in equation ( 4 ) account for similar delays within the pulsar binary system , if needed , and will be discussed in section 2.3.2 below . most observers accomplish the model fitting , accounting for these delay terms , using the program @@page11tempo . the correction of toas to the reference frame of the ssb requires an accurate ephemeris for the solar system . it is also clear that accurate time - keeping is of primary importance in pulsar modeling . general practice is to derive the time - stamp on each observation from the observatory s local time standard  typically a hydrogen maser  and to apply , retroactively , corrections to well - maintained time standards such as utc(bipm ) , universal coordinated time as maintained by the bureau international des poids et mesures in paris . the terms r , e , and s in equation ( 4 ) , describe the  roemer  , the majority of binary pulsar orbits are adequately described by five keplerian parameters : the orbital period pb , the projected semi - major axis  , the eccentricity e , and the longitude  and epoch t0 of periastron . the angle  is measured from the line of nodes  where the pulsar orbit intersects the plane of the sky . in many cases , one or more relativistic corrections to the keplerian parameters early relativistic timing models , developed in the first years after the discovery of psr b1913 + 16 , either did not provide a full description of the orbit ( see , e.g. , ) , or else did not define the timing parameters , in a way that allowed deviations from gr to be easily identified ( see , e.g. , [ 49 , 58 ] ) . the best modern timing model [ 33 , 133 , 43 ] incorporates a number of  post - keplerian  timing parameters which are included in the description of the three delay terms , and which can be fit in a completely phenomenological manner . the delays are defined primarily in terms of the phase of the orbit , defined by the eccentric anomaly u and true anomaly ae(u ) , as well as  , pb , and their possible time derivatives . these are related by 
 ( 5)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 u - e\sin u = 2\pi \left [ { \left ( { \frac{{t - { t_0}}}{{{p_{\rm{b } } } } } } \right ) - \frac{{{{\dot p}_{\rm{b}}}}}{2}{{\left ( { \frac{{t - { t_0}}}{{{p_{\rm{b } } } } } } \right)}^2 } } \right ] , 
 $ $ \end{document } 
 ( 6)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { a_{\rm{e}}}(u ) = 2\arctan \left [ { { { \left ( { \frac{{1 + e}}{{1 - e } } } \right)}^{1/2}}\tan \frac{u}{2 } } \right ] , 
 $ $ \end{document } 
 ( 7)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \omega = { \omega _ 0 } + \left ( { \frac{{{p_{\rm{b}}}\dot \omega } } { { 2\pi } } } \right){a_{\rm{e}}}(u ) , 
 $ $ \end{document } 
 where 0 is the reference value of  at time t0 . the delay terms then become : 
 ( 8)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { \delta _ { \rm{r } } } = x\sin \omega ( \cos u - e(1 + { \delta _ r } ) ) + x{(1 - { e^2}{(1 + { \delta _ \theta } ) ^2})^{1/2}}\cos \omega \sin u , 
 $ $ \end{document } 
 ( 9)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { \delta _ { \rm{e } } } = \gamma \sin u , 
 $ $ \end{document } 
 ( 10)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { \delta _ { \rm{s } } } = - 2r\ln \left\ { { 1 - e\cos u - s\left [ { \sin \omega ( \cos u - e ) + { { ( 1 - { e^2})}^{1/2}}\cos \omega \sin u } \right ] } \right\}. 
 $ $ \end{document } 
 here  represents the combined time dilation and gravitational redshift due to the pulsar s orbit , and r and s are , respectively , the range and shape of the shapiro delay . together with the orbital period derivative b and the advance of periastron  , they make up the post - keplerian timing parameters that can be fit for various pulsar binaries . a fuller description of the timing model also includes the aberration parameters r and  , but these parameters are not in general separately measurable . the interpretation of the measured post - keplerian timing parameters will be discussed in the context of double - neutron - star tests of gr in section 4 . equivalence principles are fundamental to gravitational theory ; for full descriptions , see , e.g. ,   or . newton formulated what may be considered the earliest such principle , now called the  weak equivalence principle it states that in an external gravitational field , objects of different compositions and masses will experience the same acceleration . the einstein equivalence principle ( eep ) includes this concept as well as those of lorentz invariance ( non - existence of preferred reference frames ) and positional invariance ( non - existence of preferred locations ) for nongravitational experiments . this principle leads directly to the conclusion that non - gravitational experiments will have the same outcomes in inertial and in freely - falling reference frames . the strong equivalence principle ( sep ) adds lorentz and positional invariance for gravitational experiments , thus including experiments on objects with strong self - gravitation . as gr incorporates the sep , and other theories of gravity may violate all or parts of it , it is useful to define a formalism that allows immediate identifications of such violations . the parametrized post - newtonian ( ppn ) formalism was developed   to provide a uniform description of the weak - gravitational - field limit , and to facilitate comparisons of rival theories in this limit . this formalism requires 10 parameters ( ppn ,  ,  , 1 , 2 , 3 , 1 , 2 , 3 , and 4 ) , which are fully described in the article by will in this series , and whose physical meanings are nicely summarized in table 2 of that article . ( note that ppn is not the same as the post - keplerian pulsar timing parameter  ) damour and esposito - farse [ 38 , 36 ] extended this formalism to include strong - field effects for generalized tensor - multiscalar gravitational theories . this allows a better understanding of limits imposed by systems including pulsars and white dwarfs , for which the amounts of self - gravitation are very different . here , for instance , 1 becomes \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$${\hat \alpha _ 1 } = { \alpha _ 1 } + { \alpha ' _ 1}({c_1 } + { c_2 } ) + \ldots , $ $ \end{document } , where ci describes the  compactness  of mass mi . the compactness can be written 
 ( 11)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { c_i } = - 2\frac{{\partial \ln { m_i}}}{{\partial \ln g } } \simeq - { \left ( { \frac{{2{e^{{\rm{grav}}}}}}{{m{c^2 } } } } \right)_i } , 
 $ $ \end{document } 
 where g is newton s constant and eigrav is the gravitational self - energy of mass mi , about -0.2 for a neutron star ( ns ) and -10 for a white dwarf ( wd ) . pulsar timing has the ability to set limits on 1 , which tests for the existence of preferred - frame effects ( violations of lorentz invariance ) ; 3 , which , in addition to testing for preferred - frame effects , also implies non - conservation of momentum if non - zero ; and 2 , which is also a non - conservative parameter . pulsars can also be used to set limits on other sep - violation effects that constrain combinations of the ppn parameters : the nordtvedt (  gravitational stark  ) effect , dipolar gravitational radiation , and variation of newton s constant . the current pulsar timing limits on each of these will be discussed in the next sections . table 1 summarizes the ppn and other testable parameters , giving the best pulsar and solar - system limits . table 1ppn and other testable parameters , with the best solar - system and binary pulsar tests . physical meanings and most of the solar - system references are taken from the compilations by will . references : ppn , solar system : ;  , solar system : ;  , solar system : ; 1 , solar system : , pulsar : ; 2 , solar system : [ 105 , 152 ] ; 3 , solar system : , pulsar : ; 2 , pulsar : ; 3 , solar system : [ 15 , 152 ] ;  , net , solar system : , pulsar : ; 
 \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$${\left ( { { \alpha _ { { c_1 } } } - { \alpha _ 0 } } \right)^2}$$\end{document } , pulsar : ;  / g , solar system : [ 45 , 115 , 59 ] , pulsar : .parameterphysical meaningsolar - system testlimitpulsar testlimit 
  
 ppn 
 space curvature produced by unit rest massvlbi , light deflection ; measures |ppn1|310 
  
 non - linearity in superposition law for gravityperihelion shift of mercury ; measures |1|310 
  
 preferred - location effectssolar alignment with ecliptic410 
  
 1 
 preferred - frame effectslunar laser ranging10ensemble of binary pulsars1.410 
  
 2 
 preferred - frame effectssolar alignment with ecliptic410 
  
 3 
 preferred - frame effects and nonconservation of momentumperihelion shift of earth and mercury210ensemble of binary pulsars1.510 
  
 1 
 non - conservation of momentumcombined ppn limits210 
  
 2 
 non - conservation of momentumlimit on p for psr b1913 + 16410 
  
 3 
 non - conservation of momentumlunar acceleration10 
  
 4 
 non - conservation of momentumnot independent , netgravitational stark effectlunar laser ranging10ensemble of binary pulsars910 
 \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$${\left ( { { \alpha _ { { c_1 } } } - { \alpha _ 0 } } \right)^2}$$\end{document } 
 pulsar coupling to scalar fielddipolar gravitational radiation for psr b0655 + 642.710 
  / g 
 variation of newton s constantlaser ranging to the moon and mars610 yrchanges in chandrasekhar mass4.810 yr 
  ppn and other testable parameters , with the best solar - system and binary pulsar tests . physical meanings and most of the solar - system references references : ppn , solar system : ;  , solar system : ;  , solar system : ; 1 , solar system : , pulsar : ; 2 , solar system : [ 105 , 152 ] ; 3 , solar system : , pulsar : ; 2 , pulsar : ; 3 , solar system : [ 15 , 152 ] ;  , net , solar system : , pulsar : ; 
 \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$${\left ( { { \alpha _ { { c_1 } } } - { \alpha _ 0 } } \right)^2}$$\end{document } , pulsar : ;  / g , solar system : [ 45 , 115 , 59 ] , pulsar : . the possibility of direct tests of the sep through lunar laser ranging ( llr ) experiments was first pointed out by nordtvedt . as the masses of earth and the moon contain different fractional contributions from self - gravitation , a violation of the sep would cause them to fall differently in the sun s gravitational field . this would result in a  polarization  of the orbit in the direction of the sun . llr tests have set a limit of ||<0.001 ( see , e.g. , [ 45 , 147 ] ) , where  is a combination of ppn parameters : 
 ( 12)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \eta = 4\beta - \gamma - 3 - \frac{{10}}{3}\xi - { \alpha _ 1 } + \frac{2}{3}{\alpha _ 2 } - \frac{2}{3}{\zeta _ 1 } - \frac{1}{3}{\zeta _ 2}. 
 $ $ \end{document } 
  the strong - field formalism instead uses the parameter i , which for object i  may be written as 
 ( 13)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \begin{array}{*{20}{l } } 
 { { { \left ( { \frac{{{m_{{\rm{grav}}}}}}{{{m_{{\rm{inertial } } } } } } } \right)}_i } = 1 + { \delta _ { \rm{i}}}}\\ 
 { \ \ \ \ \ \ \ \ \ \ \ \ \ \ = 1 + \eta { { \left ( { \frac{{{e^{{\rm{grav}}}}}}{{m{c^2 } } } } \right)}_i } + \eta ' \left ( { \frac{{{e^{{\rm{grav}}}}}}{{m{c^2 } } } } \right)_i^2 +   \ldots . } \end{array } 
 $ $ \end{document } 
 pulsar - white - dwarf systems then constrain net=pulsarcompanion . if the sep is violated , the equations of motion for such a system will contain an extra acceleration netg , where g is the gravitational field of the galaxy . as the pulsar and the white dwarf fall differently in this field , this netg term will influence the evolution of the orbit of the system . for low - eccentricity orbits , by far the largest effect will be a long - term forcing of the eccentricity toward alignment with the projection of g onto the orbital plane of the system . thus , the time evolution of the eccentricity vector will not only depend on the usual gr - predicted relativistic advance of periastron (  ) , but will also include a constant term . damour and schfer   write the time - dependent eccentricity vector as 
 ( 14)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { \rm{\mathbf{e}(}}t{\rm { ) = } } { { \rm{\mathbf{e}}}_{\rm{f } } } + { { \rm{\mathbf{e}}}_{\rm{r}}}(t ) , 
 $ $ \end{document } 
 where er(t ) is the -induced rotating eccentricity vector , and ef is the forced component . in terms of net , the magnitude of ef may be written as [ 41 , 145 ] 
 ( 15)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \left| { { { \rm{\mathbf{e}}}_{\rm{f } } } } \right| = \frac{3}{2}\frac{{{\delta _ { { \rm{net}}}}{{\rm{\mathbf{g } } } _ \bot } } } { { \dot \omega a(2\pi /{p_{\rm{b } } } ) } } , 
 $ $ \end{document } 
 where g is the projection of the gravitational field onto the orbital plane , and a = x / sin i is the semi - major axis of the orbit . for small - eccentricity systems , this reduces to 
 ( 16)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \left| { { { \bf{e}}_{\rm{f } } } } \right| = \frac{1}{2}\frac{{{\delta _ { { \rm{net}}}}{{\bf{g } } _ \bot } { c^2}}}{{fgm{{(2\pi /{p_{\rm{b}}})}^2 } } } , 
 $ $ \end{document } 
 where m is the total mass of the system , and , in gr , f=1 and g is newton s constant . clearly , the primary criterion for selecting pulsars to test the sep is for the orbital system to have a large value of pb2/e , greater than or equal to 10 days . however , as pointed out by damour and schfer   and wex , two age - related restrictions are also needed . first of all , the pulsar must be sufficiently old that the -induced rotation of e has completed many turns and er(t ) can be assumed to be randomly oriented . this requires that the characteristic age c be 2/ , and thus young pulsars can not be used . secondly ,  itself must be larger than the rate of galactic rotation , so that the projection of g onto the orbit can be assumed to be constant . according to wex , this holds true for pulsars with orbital periods of less than about 1000 days . converting equation ( 16 ) to a limit on net requires some statistical arguments to deal with the unknowns in the problem . first is the actual component of the observed eccentricity vector ( or upper limit ) along a given direction . damour and schfer   assume the worst case of possible cancellation between the two components of e , namely that |ef||er| . with an angle  between g and er ( see figure 4 ) , they write |ef|e/(2sin(/2 ) ) . wex [ 145 , 146 ] corrects this slightly and uses the inequality 
 ( 17)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \begin{array}{*{20}{c } } 
 { \left| { { { \rm{\mathbf{e}}}_{\rm{f } } } } \right| \le e{\xi _ 1}\left ( \theta \right),}&\ \ \ \ \ { { \xi _ 1}\left ( \theta \right ) = \left\ { { \begin{array}{*{20}{l } } 
 { 1/\sin \theta } & { { \rm{for\ } } \theta \in \left [ { 0,\pi /2 } \right),}\\ 
 1&{{\rm{for\ } } \theta \in \left [ { \pi /2,3\pi /2 } \right],}\\ 
 { - 1/\sin \theta } & { { \rm{for\ } } \theta \in \left ( { 3\pi /2,2\pi } \right ) , } 
 \end{array } } \right . } ,  is assumed to have a uniform probability distribution between 0 and 2. 
 figure 4polarization  of a nearly circular binary orbit under the influence of a forcing vector 
 g , showing the relation between the forced eccentricity 
 ef , the eccentricity evolving under the general - relativistic advance of periastron 
 er(t ) , and the angle . ( after . ) polarization  of a nearly circular binary orbit under the influence of a forcing vector 
 g , showing the relation between the forced eccentricity 
 ef , the eccentricity evolving under the general - relativistic advance of periastron 
 er(t ) , and the angle . ( after . ) next comes the task of estimating the projection of g onto the orbital plane . the projection can be written as 
 ( 18)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \left| { { \mathbf{g } _ \bot } } \right| = \left| \mathbf{g } \right|{\left [ { 1 - { { \left ( { \cos i\cos \lambda + \sin i\sin \lambda \sin \omega } \right)}^2 } } \right]^{1/2 } } , 
 $ $ \end{document } 
 where i is the inclination angle of the orbital plane relative to the line of sight ,  is the line of nodes , and  is the angle between the line of sight to the pulsar and g . the values of  and |g| can be determined from models of the galactic potential ( see , e.g. , [ 83 , 1 ] ) . the inclination angle i can be estimated if even crude estimates of the neutron star and companion masses are available , from statistics of ns masses ( see , e.g. , ) and/or a relation between the size of the orbit and the wd companion mass ( see , e.g. , ) . however , the angle  is also usually unknown and also must be assumed to be uniformly distributed between 0 and 2. damour and schfer   use the psr b1953 + 29 system and integrate over the angles  and  to determine a 90% confidence upper limit of net<1.110 . wex   uses an ensemble of pulsars , calculating for each system the probability ( fractional area in - space ) that net is less than a given value , and then deriving a cumulative probability for each value of net . in this way he derives net<510 at 95% confidence however , this method may be vulnerable to selection effects ; perhaps the observed systems are not representative of the true population . given a value of net , an upper limit on || is obtained from equation ( 17 ) . a monte carlo simulation of the expected pulsar population ( assuming a range of masses based on evolutionary models and a random orientation of (  ) then yields a certain fraction of the population that agree with this limit on || . this is slightly weaker than wex s previous limit but derived in a more rigorous manner . prospects for improving the limits come from the discovery of new suitable pulsars , and from better limits on eccentricity from long - term timing of the current set of pulsars . in principle , measurement of the full orbital orientation ( i.e. ,  and i ) for certain systems could reduce the dependence on statistical arguments thus , even though the required angles have in fact been measured for the millisecond pulsar j0437 - 4715 , its comparatively large observed eccentricity of 210 and short orbital period mean it will not significantly affect the current limits . a non - zero 1 implies that the velocity w of a binary pulsar system ( relative to a  universal background reference frame given by the cosmic microwave background , or cmb ) will affect its orbital evolution . in a manner similar to the effects of a non - zero net , the time evolution of the eccentricity will depend on both  and a term that tries to force the semi - major axis of the orbit to align with the projection of the system velocity onto the orbital plane . the analysis proceeds in a similar fashion to that for net , except that the magnitude of ef is now written as [ 34 , 18 ] 
 ( 19)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \left| { { { \rm{\mathbf{e}}}_{\rm{f } } } } \right| = \frac{1}{{12}}{\hat \alpha _ 1}\left| { \frac{{{m_1 } - { m_2}}}{{{m_1 } + { m_2 } } } } \right|\frac{{\left| { { w _ \bot } } \right|}}{{{{\left [ { g({m_1 } + { m_2})(2\pi /{p_{\rm{b } } } ) } \right]}^{1/3 } } } } , 
 $ $ \end{document } 
 where w is the projection of the system velocity onto the orbital plane . the angle  , used in determining this projection in a manner similar to that of equation ( 18 ) , is now the angle between the line of sight to the pulsar and the absolute velocity of the binary system . the figure of merit for systems used to test 1 is pb1/3/e . as for the net test , the systems must be old , so that c2/ , and  must be larger than the rate of galactic rotation . examples of suitable systems are psr j2317 + 1439 [ 27 , 18 ] with a last published value of e<1.210 in 1996 , and psr j1012 + 5307 , with e<810 . this latter system is especially valuable because observations of its white - dwarf component yield a radial velocity measurement , eliminating the need to find a lower limit on an unknown quantity . this is comparable in magnitude to the weak - field results from lunar laser ranging , but incorporates strong field effects as well . tests of 3 can be derived from both binary and single pulsars , using slightly different techniques . a non - zero 3 , which implies both a violation of local lorentz invariance and non - conservation of momentum , will cause a rotating body to experience a self - acceleration aself in a direction orthogonal to both its spin s and its absolute velocity w : 
 ( 20)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { { \rm{\mathbf{a}}}_{{\rm{self } } } } = - \frac{1}{3}{\hat \alpha _ 3}\frac{{{e^{{\rm{grav}}}}}}{{(m{c^2})}}\mathbf{w } \times { \mathbf{\omega } _ { \rm{s}}}. 
 $ $ \end{document } 
 thus , the self - acceleration depends strongly on the compactness of the object , as discussed in section 3 above . an ensemble of single ( isolated ) pulsars can be used to set a limit on 3 in the following manner . for any given pulsar , it is likely that some fraction of the self - acceleration will be directed along the line of sight to the earth . such an acceleration will contribute to the observed period derivative  via the doppler effect , by an amount 
 ( 21)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { { \dot p}_{{{\hat \alpha } _ 3 } } } = \frac{p}{c}\bf{\hat n } \cdot { \bf{a}_{{\rm{self } } } } , 
 $ $ \end{document } 
 where n is a unit vector in the direction from the pulsar to the earth . the analysis of will   assumes random orientations of both the pulsar spin axes and velocities , and finds that , on average , \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$\left| { { { \dot p}_{{{\hat \alpha } _ 3 } } } } \right| \simeq 5 \times { 10^ { - 5}}\left| { { { \hat \alpha } _ 3 } } \right|$$\end{document } , independent of the pulse period . the sign of the 3 contribution to  , however , may be positive or negative for any individual pulsar ; thus , if there were a large contribution on average , one would expect to observe pulsars with both positive and negative total period derivatives . young pulsars in the field of the galaxy ( pulsars in globular clusters suffer from unknown accelerations from the cluster gravitational potential and do not count toward this analysis ) all show positive period derivatives , typically around 10 s / s . thus , the maximum possible contribution from 3 must also be considered to be of this size , and the limit is given by |3|<210 . bell   applies this test to a set of millisecond pulsars ; these have much smaller period derivatives , on the order of 10s / s . here , it is also necessary to account for the  shklovskii effect    in which a similar doppler - shift addition to the period derivative results from the transverse motion of the pulsar on the sky : 
 ( 22)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { \dot p_{{\rm{pm } } } } = p{\mu ^2}\frac{d}{c } , 
 $ $ \end{document } 
 where  is the proper motion of the pulsar and d is the distance between the earth and the pulsar . the distance is usually poorly determined , with uncertainties of typically 30% resulting from models of the dispersive free electron density in the galaxy [ 132 , 30 ] . nevertheless , once this correction ( which is always positive ) is applied to the observed period derivatives for isolated millisecond pulsars , a limit on |3| on the order of 10 results [ 16 , 19 ] . in the case of a binary - pulsar  white - dwarf system , the combined accelerations affect both the velocity of the centre of mass of the system ( an effect which may not be readily observable ) and the relative motion of the two bodies . the relativemotion effects break down into a term involving the coupling of the spins to the absolute motion of the centre of mass , and a second term which couples the spins to the orbital velocities of the stars . the second term induces only a very small , unobservable correction to pb and  . the first term , however , can lead to a significant test of 3 . both the compactness and the spin of the pulsar will completely dominate those of the white dwarf , making the net acceleration of the two bodies effectively 
 ( 23)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { { \rm{\mathbf{a}}}_{{\rm{self } } } } = \frac{1}{6}{\hat \alpha _ 3}{c_{\rm{p}}}{\rm{\mathbf{w } } } \times { \mathbf{\omega } _ { { \rm{sp } } } } , 
 $ $ \end{document } 
 where cp and sp denote the compactness and spin angular frequency of the pulsar , respectively , and w is the velocity of the system . for evolutionary reasons ( see , e.g. , ) , the spin axis of the pulsar may be assumed to be aligned with the orbital angular momentum of the system , hence the net effect of the acceleration will be to induce a polarization of the eccentricity vector within the orbital plane . the forced eccentricity term may be written as 
 ( 24)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \left| { { { \rm{\mathbf{e}}}_{\rm{f } } } } \right| = { \hat \alpha _ 3}\frac{{{c_{\rm{p}}}\left| \mathbf{w } \right|}}{{24\pi } } \frac{{p_{\rm{b}}^2}}{p}\frac{{{c^2}}}{{g({m_1 } + { m_2})}}\sin \beta , 
 $ $ \end{document } 
 where  is the ( unknown ) angle between w and sp , and p is , as usual , the spin period of the pulsar : p=2/sp . the figure of merit for systems used to test 3 is pb2/(ep ) . the additional requirements of c2/ and  being larger than the rate of galactic rotation also hold . the 95% confidence limit derived by wex   for an ensemble of binary pulsars is 3<1.510 , much more stringent than for the single - pulsar case . it will contribute , along with 3 , to an acceleration of the centre of mass of a binary system [ 149 , 152 ] 
 ( 25)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { { \rm{\mathbf{a}}}_{{\rm{cm } } } } = \left ( { { \alpha _ 3 } + { \zeta _ 2 } } \right)\frac{{\pi { m_1}{m_2}\left ( { { m_1 } - { m_2 } } \right)}}{{{p_{\rm{b}}}{{\left [ { \left ( { { m_1 } + { m_2 } } \right)a\left ( { 1 - { e^2 } } \right ) } \right]}^{3/2}}}}e\ { { \rm{\mathbf{n}}}_{\rm{p } } } , 
 $ $ \end{document } 
 where np is a unit vector from the centre of mass to the periastron of m1 . this acceleration produces the same type of doppler - effect contribution to a binary pulsar s  as described in section 3.2.2 . in a small - eccentricity system , this contribution would not be separable from the  intrinsic to the pulsar . however , in a highly eccentric binary such as psr b1913 + 16 , the longitude of periastron advances significantly  for psr b1913 + 16 , it has advanced nearly 120 since the pulsar s discovery . in this case , the projection of acm along the line of sight to the earth will change considerably over the long term , producing an effective second derivative of the pulse period . this p is given by [ 149 , 152 ] 
 ( 26)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \ddot p = \frac{p}{2}\left ( { { \alpha _ 3 } + { \zeta _ 2 } } \right){m_2}\sin i{\left ( { \frac{{2\pi } } { { { p_{\rm{b } } } } } } \right)^2}\frac{{x\left ( { 1 - x } \right)}}{{{{\left ( { 1 + x } \right)}^2}}}\frac{{e\dot \omega \cos \omega } } { { { { \left ( { 1 - { e^2 } } \right)}^{3/2 } } } } , 
 $ $ \end{document } 
 where \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$x = { m_1}/{m_2}$$\end{document } is the mass ratio of the two stars and an average value of cos is chosen . as of 1992 , the 95% confidence upper limit on p was 410 s [ 133 , 149 ] . as 3 is orders of magnitude smaller than this ( see section 3.2.2 ) , this can be interpreted as a limit on 2 alone . although psr b1913 + 16 is of course still observed , the infrequent campaign nature of the observations makes it difficult to set a much better limit on p ( j. taylor , private communication , as cited in ) . the other well - studied double - neutron - star binary , psr b1534 + 12 , yields a weaker test due to its orbital parameters and very similar component masses . a complication for this test is that an observed p could also be interpreted as timing noise ( sometimes seen in recycled pulsars ) or else a manifestation of profile changes due to geodetic precession [ 79 , 75 ] . general relativity predicts gravitational radiation from the time - varying mass quadrupole of a binary pulsar system . the spectacular confirmation of this prediction will be discussed in section 4 below . gr does not , however , predict dipolar gravitational radiation , though many theories that violate the sep do . in these theories , dipolar gravitational radiation results from the difference in gravitational binding energy of the two components of a binary . for this reason , neutron - star  white - dwarf binaries are the ideal laboratories to test the strength of such dipolar emission . the expected rate of change of the period of a circular orbit due to dipolar emission can be written as [ 152 , 35 ] 
 ( 27)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { \dot p_{{\rm{b \ dipole } } } } = - \frac{{4{\pi ^2}{g_*}}}{{{c^3}{p_{\rm{b}}}}}\frac{{{m_1}{m_2}}}{{{m_1 } + { m_2}}}{\left ( { { \alpha _ { { c_1 } } } - { \alpha _ { { c_2 } } } } \right)^2 } , 
 $ $ \end{document } 
 where g*=g in gr , and \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$${\alpha _ { { c_i}}}$$\end{document } is the coupling strength of body ( similar expressions can be derived when casting b dipole in terms of the parameters of specific tensor - scalar theories , such as brans - dicke theory . equation ( 27 ) , however , tests a more general class of theories . ) of course , the best test systems here are pulsar  white - dwarf binaries with short orbital periods , such as psr b0655 + 64 and psr j1012 + 5307 , where \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$${\alpha _ { { c_1 } } } \gg { \alpha _ { { c_2}}}$$\end{document } so that a strong limit can be set on the coupling of the pulsar itself . for psr b0655 + 64 , damour and esposito - farse   used the observed limit of \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { \dot p_{\rm{b } } } = \left ( { 1 \pm 4 } \right ) \times { 10^ { - 13 } } 
 $ $ \end{document }   to derive \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$${\left ( { { \alpha _ { { c_1 } } } - { \alpha _ 0 } } \right)^2 } < 3 \times { 10^ { - 4}}\left ( { 1 - \sigma } \right)$$\end{document } , where 0 is a reference value of the coupling at infinity . more recently , arzoumanian   has set a somewhat tighter 2- upper limit of \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$\left| { { { \dot p}_{\rm{b}}}/{p_{\rm{b } } } } \right| < 1 \times { 10^ { - 10}}\ { \rm{y}}{{\rm{r}}^ { - 1}}$$\end{document } , or \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$\left| { { { \dot p}_{\rm{b } } } } \right| < 2.7 \times { 10^ { - 13}}$$\end{document } , which yields \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$${\left ( { { \alpha _ { { c_1 } } } - { \alpha _ 0 } } \right)^2 } < 2.7 \times { 10^ { - 4}}$$\end{document}. for psr j1012 + 5307 , a  shklovskii  correction ( see   and section 3.2.2 ) for the transverse motion of the system and a correction for the ( small ) predicted amount of quadrupolar radiation must first be subtracted from the observed upper limit to arrive at \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$${\dot p_{\rm{b } } } = \left ( { - 0.6 \pm 1.1 } \right ) \times { 10^ { - 13}}$$\end{document } and \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$${\left ( { { \alpha _ { { c_1 } } } - { \alpha _ 0 } } \right)^2 } < 4 \times { 10^ { - 4}}$$\end{document } at 95% confidence . it should be noted that both these limits depend on estimates of the masses of the two stars and do not address the ( unknown ) equation of state of the neutron stars . limits may also be derived from double - neutron - star systems ( see , e.g. , [ 148 , 151 ] ) , although here the difference in the coupling constants is small and so the expected amount of dipolar radiation is also small compared to the quadrupole emission . however , certain alternative gravitational theories in which the quadrupolar radiation predicts a positive orbital period derivative independently of the strength of the dipolar term ( see , e.g. , [ 117 , 99 , 85 ] ) are ruled out by the observed decreasing orbital period in these systems . other pulsar  white - dwarf systems with short orbital periods are mostly found in globular clusters , where the cluster potential will also contribute to the observed b , or in interacting systems , where tidal effects or magnetic braking may affect the orbital evolution ( see , e.g. , [ 4 , 50 , 100 ] ) . however , one system that offers interesting prospects is the recently discovered psr j1141 - 6545 , which is a young pulsar with white - dwarf companion in a 4.75-hour orbit . in this case , though , the pulsar was formed after the white dwarf , instead of being recycled by the white - dwarf progenitor , and so the orbit is still highly eccentric . this system is therefore expected both to emit sizable amounts of quadrupolar radiation  b could be measurable as soon as 2004    and to be a good test candidate for dipolar emission . theories that violate the sep by allowing for preferred locations ( in time as well as space ) may permit newton s constant g to vary . in general , variations in g are expected to occur on the timescale of the age of the universe , such that \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$\dot g / g \sim { h_0 } \sim 0.7 \times { 10^ { - 10}}\ { \rm{y}}{{\rm{r}}^ { - 1}}$$\end{document } , where h0 is the hubble constant . three different pulsar - derived tests can be applied to these predictions , as a sep - violating time - variable g would be expected to alter the properties of neutron stars and white dwarfs , and to affect binary orbits . by affecting the gravitational binding of neutron stars , a non - zero  would reasonably be expected to alter the moment of inertia of the star and hence change its spin on the same timescale . goldman   writes 
 ( 28)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { \left ( { \frac{{\dot p}}{p } } \right)_{\dot g } } = { \left ( { \frac{{\partial \ln i}}{{\partial \ln g } } } \right)_n}\frac{{\dot g}}{g } , 
 $ $ \end{document } 
 where i is the moment of inertia of the neutron star , about 10 g cm , and n is the ( conserved ) total number of baryons in the star . by assuming that this represents the only contribution to the observed  of psr b0655 + 64 , in a manner reminiscent of the test of 3 described above , goldman then derives an upper limit of \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$\left| { \dot g / g } \right| \le \left ( { 2.2 - 5.5 } \right ) \times { 10^ { - 11}}\;{\rm{y}}{{\rm{r}}^ { - 1}}$$\end{document } , depending on the stiffness of the neutron star equation of state . arzoumanian   applies similar reasoning to psr j2019 + 2425 , which has a characteristic age of 27 gyr once the  shklovskii  correction is applied . again , depending on the equation of state , the upper limits from this pulsar are \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$\left| { \dot g / g } \right| \le \left ( { 1.4 - 3.2 } \right ) \times { 10^ { - 11}}\;{\rm{y}}{{\rm{r}}^ { - 1}}$$\end{document } . these values are similar to those obtained by solar - system experiments such as laser ranging to the viking lander on mars ( see , e.g. , [ 115 , 59 ] ) . shklovskii  and galactic - acceleration corrections are taken into account , have similarly large characteristic ages ( see , e.g. , [ 28 , 137 ] ) . the effects on the orbital period of a binary system of a varying g were first considered by damour , gibbons , and taylor , who expected 
 ( 29)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { \left ( { \frac{{{{\dot p}_{\rm{b}}}}}{{{p_{\rm{b } } } } } } \right)_{\dot g } } = - 2\frac{{\dot g}}{g}. 
 $ $ \end{document } 
 applying this equation to the limit on the deviation from gr of the b for psr 1913 + 16 , they found a value of \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$\dot g / g = ( 1.0 \pm 2.3 ) \times { 10^ { - 11}}\;{\rm{y}}{{\rm{r}}^ { - 1}}$$\end{document}. nordtvedt   took into account the effects of  on neutron - star structure , realizing that the total mass and angular momentum of the binary system would also change . the corrected expression for b incorporates the compactness parameter ci and is 
 ( 30)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { \left ( { \frac{{{{\dot p}_{\rm{b}}}}}{{{p_{\rm{b } } } } } } \right)_{\dot g } } = - \left [ { 2 - \left ( { \frac{{{m_1}{c_1 } + { m_2}{c_2}}}{{{m_1 } + { m_2 } } } } \right ) - \frac{3}{2}\left ( { \frac{{{m_1}{c_2 } + { m_2}{c_1}}}{{{m_1 } + { m_2 } } } } \right ) } \right]\frac{{\dot g}}{g}. 
 $ $ \end{document } 
 ( note that there is a difference of a factor of -2 in nordtvedt s definition of ci versus the damour definition used throughout this article . ) nordtvedt s corrected limit for psr b1913 + 16 is therefore slightly weaker . a better limit actually comes from the neutron - star  white - dwarf system psr b1855 + 09 , with a measured limit on b of ( 0:61.2)10 . using equation ( 29 ) , this leads to a bound of \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$\dot g / g = ( - 9 \pm 18 ) \times { 10^ { - 12}}\;{\rm{y}}{{\rm{r}}^ { - 1}}$$\end{document } , which arzoumanian   corrects using equation ( 30 ) and an estimate of ns compactness to \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$\dot g / g = ( - 1.3 \pm 2.7 ) \times { 10^ { - 11}}\;{\rm{y}}{{\rm{r}}^ { - 1}}$$\end{document}. prospects for improvement come directly from improvements to the limit on b . even though psr j1012 + 5307 has a tighter limit on b , its shorter orbital period means that the  limit it sets is a factor of 2 weaker than obtained with psr b1855 + 09 . the chandrasekhar mass , mch , is the maximum mass possible for a white dwarf supported against gravitational collapse by electron degeneracy pressure . its value  about 1.4m  comes directly from newton s constant : \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$${m_{{\rm{ch } } } } \sim { \left ( { \hbar c / g } \right)^{3/2}}/m_{\rm{n}}^2$$\end{document } , where  is planck s constant and mn is the neutron mass . all measured and constrained pulsar masses are consistent with a narrow distribution centred very close to mch : 1.350.04m . thus , it is reasonable to assume that mch sets the typical neutron star mass , and to check for any changes in the average neutron star mass over the lifetime of the universe . thorsett   compiles a list of measured and average masses from 5 double - neutron - star binaries with ages ranging from 0.1 gyr to 12 or 13 gyr in the case of the globular - cluster binary b2127 + 11c . using a bayesian analysis , he finds a limit of \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$\dot g / g = ( - 0.6 \pm 4.2 ) \times { 10^ { - 12}}\;{\rm{y}}{{\rm{r}}^ { - 1}}$$\end{document } at the 95% confidence level , the strongest limit on record . the solid lines show predicted changes in the average neutron star mass corresponding to hypothetical variations in g , where 
 -12=10 implies \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$\dot g / g = 10 \times { 10^ { - 12}}\;{\rm{y}}{{\rm{r}}^ { - 1}}$$\end{document}. ( from , used by permission . ) 
  measured neutron star masses as a function of age . the solid lines show predicted changes in the average neutron star mass corresponding to hypothetical variations in g , where 
 -12=10 implies \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$\dot g / g = 10 \times { 10^ { - 12}}\;{\rm{y}}{{\rm{r}}^ { - 1}}$$\end{document}. ( from , used by permission . ) while some cancellation of  observed  mass changes might be expected from the changes in neutron - star binding energy ( cf . section 3.4.2 above ) , these will be smaller than the mch changes by a factor of order the compactness and can be neglected . also , the claimed variations of the fine structure constant of order \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$\delta \alpha /\alpha \simeq - 0.72 \pm 0.18 \times { 10^ { - 5}}$$\end{document }   over the redshift range 0.5<z<3.5 could introduce a maximum derivative of 1/(c)d(c)/dt of about 510 yr and hence can not influencee the chandrasekhar mass at the same level as the hypothesized changes in g. one of the five systems used by thorsett has since been shown to have a white - dwarf companion , but as this is one of the youngest systems , this will not change the results appreciably . the recently discovered psr j1811 - 1736 , a double - neutron - star binary , has a characteristic age of only c1 gyr and , therefore , will also not significantly strengthen the limit . ongoing searches for pulsars in globular clusters stand the best chance of discovering old double - neutron - star binaries for which the component masses can eventually be measured . the best - known uses of pulsars for testing the predictions of gravitational theories are those in which the predicted strong - field effects are compared directly against observations . as essentially point - like objects in strong gravitational fields , neutron stars in binary systems provide extraordinarily clean tests of these predictions . this section will cover the relation between the  post - keplerian  timing parameters and strong - field effects , and then discuss the three binary systems that yield complementary high - precision tests . in any given theory of gravity , the post - keplerian ( pk ) parameters can be written as functions of the pulsar and companion star masses and the keplerian parameters . as the two stellar masses are the only unknowns in the description of the orbit , it follows that measurement of any two pk parameters will yield the two masses , and that measurement of three or more pk parameters will over - determine the problem and allow for self - consistency checks . it is this test for internal consistency among the pk parameters that forms the basis of the classic tests of strong - field gravity . it should be noted that the basic keplerian orbital parameters are well - measured and can effectively be treated as constants here . in general relativity , the equations describing the pk parameters in terms of the stellar masses are ( see [ 33 , 133 , 43 ] ) : 
 ( 31)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \dot \omega = 3{\left ( { \frac{{{p_{\rm{b}}}}}{{2\pi } } } \right)^ { - 5/3}}{\left ( { { t _ \odot } m } \right)^{2/3}}{\left ( { 1 - { e^2 } } \right)^ { - 1 } } , 
 $ $ \end{document } 
 ( 32)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \gamma = e{\left ( { \frac{{{p_{\rm{b}}}}}{{2\pi } } } \right)^{1/3}}t _ \odot ^{2/3}{m^ { - 4/3}}{m_2}\left ( { { m_1 } + 2{m_2 } } \right ) , 
 $ $ \end{document } 
 ( 33)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { { \dot p}_{\rm{b } } } = - \frac{{192\pi } } { 5}{\left ( { \frac{{{p_{\rm{b}}}}}{{2\pi } } } \right)^ { - 5/3}}\left ( { 1 + \frac{{73}}{{24}}{e^2 } + \frac{{37}}{{96}}{e^4 } } \right){\left ( { 1 - { e^2 } } \right)^ { - 7/2}}t _ \odot ^{5/3}{m_1}{m_2}{m^ { - 1/3 } } , 
 $ $ \end{document } 
 ( 34)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 r = { t _ \odot } { m_2 } , 
 $ $ \end{document } 
 ( 35)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 s = x{\left ( { \frac{{{p_{\rm{b}}}}}{{2\pi } } } \right)^ { - 2/3}}t _ \odot ^ { - 1/3}{m^{2/3}}m_2^ { - 1}. 
 $ $ \end{document } 
 where ssin i , \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$m = { m_1 } + { m_2}$$\end{document } and \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$${t _ \odot } \equiv g{m _ \odot } /{c^3 } = 4.925490947\;\mu { \rm{s}}$$\end{document}. other theories of gravity , such as those with one or more scalar parameters in addition to a tensor component , will have somewhat different mass dependencies for these parameters . the prototypical double - neutron - star binary , psr b1913 + 16 , was discovered at the arecibo observatory   in 1974 . over nearly 30 years of timing , its system parameters have shown a remarkable agreement with the predictions of gr , and in 1993 hulse and taylor received the nobel prize in physics for its discovery [ 61 , 131 ] . in the highly eccentric 7.75-hour orbit , the two neutron stars are separated by only 3.3 light - seconds and have velocities up to 400 km / s . this provides an ideal laboratory for investigating strong - field gravity . for psr b1913 + 16 , three pk parameters are well measured : the combined gravitational red - shift and time dilation parameter  the advance of periastron  , and the derivative of the orbital period , b . the orbital parameters for this pulsar , measured in the theory - independent  dd  system , are listed in table 2 [ 133 , 144 ] . 
 table 2 
 orbital parameters for psr b1913 + 16 in the dd framework , taken from [ 
 144 
 ] . parametervalueorbital period pb ( d)0.322997462727(5)projected semi - major axis x ( s)2.341774(1)eccentricity e0.6171338(4)longitude of periastron  ( deg)226.57518(4)epoch of periastron t0 ( mjd)46443.99588317(3)advance of periastron  ( deg yr)4.226607(7)gravitational redshift  ( ms)4.294(1)orbital period derivative ( b ) ( 10)-2.4211(14 ) 
 
 orbital parameters for psr b1913 + 16 in the dd framework , taken from [ 
 144 
 ] . a second useful timing formalism is  ddgr  [ 33 , 43 ] , which assumes gr to be the true theory of gravity and fits for the total and companion masses in the system , using these quantities to calculate  theoretical thus , one can make a direct comparison between the measured dd pk parameters and the values predicted by ddgr using the same data set ; the parameters for psr b1913 + 16 agree with their predicted values to better than 0.5% . the classic demonstration of this agreement is shown in figure 6 , in which the observed accumulated shift of periastron is compared to the predicted amount . figure 6 
 the parabola indicates the predicted accumulated shift in the time of periastron for psr b1913 + 16 , caused by the decay of the orbit . the parabola indicates the predicted accumulated shift in the time of periastron for psr b1913 + 16 , caused by the decay of the orbit . ( from [ 
 144 
 ] , courtesy joel weisberg . ) 
  in order to check the self - consistency of the overdetermined set of equations relating the pk parameters to the neutron star masses , it is helpful to plot the allowed m1m2 curves for each parameter and to verify that they intersect at a common point . figure 7 displays the  and  curves for psr b1913 + 16 ; it is clear that the curves do intersect , at the point derived from the ddgr mass predictions . 
 figure 7mass - mass diagram for the psr b1913 + 16 system , using the  and  parameters listed in table 
 2 . the lines intersect at the point given by the masses derived under the ddgr formalism . mass - mass diagram for the psr b1913 + 16 system , using the  and  parameters listed in table 
 2 . the lines intersect at the point given by the masses derived under the ddgr formalism . clearly , any theory of gravity that does not pass such a self - consistency test can be ruled out . however , it is possible to construct alternate theories of gravity that , while producing very different curves in the m1m2 plane , do pass the psr b1913 + 16 test and possibly weak - field tests as well . such theories are best dealt with by combining data from multiple pulsars as well as solar - system experiments ( see section 4.4 ) . the first is that the unknown radial velocity of the binary system relative to the ssb will necessarily induce a doppler shift in the orbital and neutron - star spin periods . this will change the observed stellar masses by a small fraction but will cancel out of the calculations of the pk parameters . the second is that the measured value of the orbital period derivative b 
 is contaminated by several external contributions . damour and taylor   consider the full range of possible contributions to b and calculate values for the two most important : the acceleration of the pulsar binary centre - of - mass relative to the ssb in the galactic potential , and the  shklovskii  v / r effect due to the transverse proper motion of the pulsar ( cf . section 3.2.2 ) . both of these contributions have been subtracted from the measured value of b before it is compared with the gr prediction . it is our current imperfect knowledge of the galactic potential and the resulting models of galactic acceleration ( see , e.g. , [ 83 , 1 ] ) which now limits the precision of the test of gr resulting from this system . a second double - neutron - star binary , psr b1534 + 12 , was discovered during a drift - scan survey at arecibo observatory in 1990 . this system is quite similar to psr b1913 + 16 : it also has a short ( 10.1-hour ) orbit , though it is slightly wider and less eccentric . psr b1534 + 12 does possess some notable advantages relative to its more famous cousin : it is closer to the earth and therefore brighter ; its pulse period is shorter and its profile narrower , permitting better timing precision ; and , most importantly , it is inclined nearly edge - on to the line of sight from the earth , allowing the measurement of shapiro delay as well as the 3 pk parameters measurable for psr b1913 + 16 . table 3 
 orbital parameters for psr b1534 + 12 in the dd framework , taken from [ 
 125 
 ] . parametervalueorbital period pb ( d)0.420737299122(10)projected semi - major axis x ( s)3.729464(2)eccentricity e0.2736775(3)longitude of periastron  ( deg)274.57679(5)epoch of periastron t0 ( mjd)50260.92493075(4)advance of periastron  ( deg yr)1.755789(9)gravitational redshift  ( ms)2.070(2)orbital period derivative ( b ) ( 10)-0.137(3)shape of shapiro delay s0.975(7)range of shapiro delay r ( s)6.7(1.0 ) 
 
 orbital parameters for psr b1534 + 12 in the dd framework , taken from [ 
 125 
 ] . 
  as for psr b1913 + 16 , a graphical version of the internal consistency test is a helpful way to understand the agreement of the measured pk parameters with the predictions of gr . it is obvious that the allowed - mass region derived from the observed value of b does not in fact intersect those from the other pk parameters . this is a consequence of the proximity of the binary to the earth , which makes the  shklovskii  contribution to the observed b much larger than for psr b1913 + 16 . the magnitude of this contribution depends directly on the poorly known distance to the pulsar . at present , the best independent measurement of the distance comes from the pulsar s dispersion measure and a model of the free electron content of the galaxy , which together yield a value of 0.70.2 kpc . if gr is the correct theory of gravity , then the correction derived from this distance is inadequate , and the true distance can be found by inverting the problem [ 17 , 121 ] . ne2001  galactic model   incorporates the gr - derived distance to this pulsar and hence can not be used in this case . ) it is possible that , in the long term , a timing or interferometric parallax may be found for this pulsar ; this would alleviate the b discrepancy . the gr - derived distance is in itself interesting , as it has led to revisions of the predicted merger rate of double - neutron - star systems visible to gravitational - wave detectors such as ligo ( see , e.g. , [ 121 , 7 , 71 ] )  although recent calculations of merger rates determine the most likely merger rates for particular population models and hence are less vulnerable to distance uncertainties in any one system . figure 8mass - mass diagram for the psr b1534 + 12 system . labeled curves illustrate 68% confidence ranges of the dd parameters listed in table 
 3 . the filled circle indicates the component masses according to the ddgr solution . the kinematic correction for assumed distance 
 \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$d = { \rm{0}}{\rm{.7 } } \pm { \rm{0}}{\rm{.2}}\;{\rm{kpc}}$$\end{document } 
 has been subtracted from the observed value of b ; the uncertainty on this kinematic correction dominates the uncertainty of this curve . a slightly larger distance removes the small apparent discrepancy between the observed and predicted values of this parameter . ( after . ) 
  mass - mass diagram for the psr b1534 + 12 system . labeled curves illustrate 68% confidence ranges of the dd parameters listed in table 
 3 . the filled circle indicates the component masses according to the ddgr solution . the kinematic correction for assumed distance 
 \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$d = { \rm{0}}{\rm{.7 } } \pm { \rm{0}}{\rm{.2}}\;{\rm{kpc}}$$\end{document } 
 has been subtracted from the observed value of b ; the uncertainty on this kinematic correction dominates the uncertainty of this curve . a slightly larger distance removes the small apparent discrepancy between the observed and predicted values of this parameter . ( after . ) despite the problematic correction to b , the other pk parameters for psr b1534 + 12 are in excellent agreement with each other and with the values predicted from the ddgr - derived masses . an important point is that the three parameters  ,  , and s ( shape of shapiro delay ) together yield a test of gr to better than 1% , and that this particular test incorporates only  quasi - static  strong - field effects . this provides a valuable complement to the mixed quasi - static and radiative test derived from psr b1913 + 16 , as it separates the two sectors of the theory . there are three other confirmed double - neutron - star binaries at the time of writing . psr b2127 + 11c [ 2 , 3 ] is in the globular cluster m15 . while its orbital period derivative has been measured , this parameter is affected by acceleration in the cluster potential , and the system has not yet proved very useful for tests of gr , though long - term observations may demonstrate otherwise . the two binaries psrs j1518 + 4904   and j1811 - 1736   have such wide orbits that , although  is measured in each case , prospects for measuring further pk parameters are dim . in several circular pulsar white - dwarf binaries , one or two pk parameters have been measured  typically  or the shapiro delay parameters  but these do not over - constrain the unknown masses . the existing system that provides the most optimistic outlook is again the pulsar  white - dwarf binary psr j1141 - 6545 , for which multiple pk parameters should be measurable within a few years  although one may need to consider the possibility of classical contributions to the measured  from a mass quadrupole of the companion . because of their different orbital parameters and inclinations , the double - neutron - star systems psrs b1913 + 16 and b1534 + 12 provide somewhat different constraints on alternative theories of gravity . taken together with some of the limits on sep violation discussed above , and with solar - system experiments , they can be used to disallow certain regions of the parameter space of these alternate theories . this approach was pioneered by taylor et al . , who combined pk - parameter information from psrs b1913 + 16 and b1534 + 12 and the damour and schfer result on sep violation by psr b1855 + 09   to set limits on the parameters  and  of a class of tensor - biscalar theories discussed in   ( figure 9 ) . in this class of theories , gravity is mediated by two scalar fields as well as the standard tensor , but the theories can satisfy the weak - field solar - system tests . strong - field deviations from gr would be expected for non - zero values of  and  , but the theories approach the limit of gr as the parameters  and  approach zero . figure 9portions of the tensor - biscalar - plane permitted by timing observations of psrs b1913 + 16 , b1534 + 12 , and b1855 + 09 up to 1992 . values lying above the curve labeled  a  are incompatible with the measured  and  parameters for psr b1913 + 16 . the curves labeled  b  and  d  give the allowed ranges of  and  for psrs b1913 + 16 and b1534 + 12 , respectively , fitting for the two neutron - star masses as well as  and  , using data available up to 1992 . the vertical lines labeled c  represent limits on  from the sep - violation test using psr b1855 + 09 . ( reprinted by permission from nature ,  1992 , macmillan publishers ltd . ) portions of the tensor - biscalar - plane permitted by timing observations of psrs b1913 + 16 , b1534 + 12 , and b1855 + 09 up to 1992 . values lying above the curve labeled  a  are incompatible with the measured  and  parameters for psr b1913 + 16 . the curves labeled  b  and  d  give the allowed ranges of  and  for psrs b1913 + 16 and b1534 + 12 , respectively , fitting for the two neutron - star masses as well as  and  , using data available up to 1992 . the vertical lines labeled c  represent limits on  from the sep - violation test using psr b1855 + 09 . ( reprinted by permission from nature ,  1992 , macmillan publishers ltd . ) a different class of theories , allowing a non - linear coupling between matter and a scalar field , was later studied by damour and esposito - farse [ 35 , 37 ] . the function coupling the scalar field  to matter is given by \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$a\left ( \phi \right ) = \exp \left ( { { \tfrac{1}{2}}{\beta _ 0}{\phi ^2 } } \right)$$\end{document } , and the theories are described by the parameters 0 and 0=00 , where 0 is the value that  approaches at spatial infinity ( cf . these theories allow significant strong - field effects when 0 is negative , even if the weak - field limit is small . they are best tested by combining results from psrs b1913 + 16 , b1534 + 12 ( which contributes little to this test ) , b0655 + 64 ( limits on dipolar gravitational radiation ) , and solar - system experiments ( lunar laser ranging , shapiro delay measured by viking , and the perihelion advance of mercury ) . currently , for most neutron - star equations of state , the solar - system tests set a limit on 0 ( 02<10 ) that is a few times more stringent than those set by psrs b1913 + 16 and b0655 + 64 , although the pulsar observations do eliminate large negative values of 0 . with the limits from the pulsar observations improving only very slowly with time , it appears that solar - system tests will continue to set the strongest limits on 0 in this class of theories , unless a pulsar  black - hole system is discovered . if such a system were found with a  10-m black hole and an orbital period similar to that of psr b1913 + 16 ( 8 hours ) , the limit on 0 derived from this system would be about 50 times tighter than that set by current solar - system tests , and 10 times better than is likely to be achieved by the gravity probe b experiment . 
 figure 10the parameter space in the non - linear 0 , 0 
 gravitational theory , for neutron stars described by a polytrope equation of state . the regions below the various curves are allowed by various pulsar timing limits , by solar - system tests (  1pn  ) , and by projected ligo / virgo observations of ns - ns and ns - bh inspiral events . ( from ; used by permission . ) 
  the parameter space in the non - linear 0 , 0 
 gravitational theory , for neutron stars described by a polytrope equation of state . the regions below the various curves are allowed by various pulsar timing limits , by solar - system tests (  1pn  ) , and by projected ligo / virgo observations of ns - ns and ns - bh inspiral events . the shaded region is allowed by all tests . the plane and limits are symmetric about 0=0 . a different and complementary test of gr has recently been permitted by the millisecond pulsar psr j0437 - 4715 . at a distance of only 140 pc , it is the closest millisecond pulsar to the earth , and is also extremely bright , allowing root - mean - square timing residuals of 35 ns with the 64-m parkes telescope , comparable to or better than the best millisecond pulsars observed with current instruments at the 300-m arecibo telescope . the proximity of this system means that the orbital motion of the earth changes the apparent inclination angle i of the pulsar orbit on the sky , an effect known as the annual - orbital parallax . this results in a periodic change of the projected semi - major axis x of the pulsar s orbit , written as 
 ( 36)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 x\left ( t \right ) = { x_0}\left [ { 1 + \frac{{\cot i}}{d}{{\rm{\mathbf{r } } } _ \oplus } \left ( t \right ) \cdot \mathbf{\omega } ' } \right ] , 
 $ $ \end{document } 
 where r(t ) is the time - dependent vector from the centre of the earth to the ssb , and  is a vector on the plane of the sky perpendicular to the line of nodes . a second contribution to the observed i and hence x comes from the pulsar system s transverse motion in the plane of the sky : 
 ( 37)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 { { \dot x}_{{\rm{pm } } } } = - x\cot i\mu \cdot \mathbf{\omega } ' , 
 $ $ \end{document } 
 where  is the proper motion vector . by including both these effects in the model of the pulse arrival times , both the inclination angle i and the longitude of the ascending node  can be determined . as sin i is equivalent to the shape of the shapiro delay in gr ( pk parameter s ) , the effect of the shapiro delay on the timing residuals can then easily be computed for a range of possible companion masses ( equivalent to the pk parameter r in gr ) . the variations in the timing residuals are well explained by a companion mass of 0.2360.017m ( figure 11 ) . the measured value of  , together with i , also provide an estimate of the companion mass , 0.230.14m , which is consistent with the shapiro - delay value . figure 11solid line : predicted value of the shapiro delay in psr j0437 - 4715 as a function of orbital phase , based on the observed inclination angle of 429. for such low - eccentricity binaries , much of the shapiro delay can be absorbed into the orbital roemer delay ; what remains is the  pb/3 periodicity shown . the points represent the timing residuals for the pulsar , binned in orbital phase , and in clear agreement with the shape predicted from the inclination angle . solid line : predicted value of the shapiro delay in psr j0437 - 4715 as a function of orbital phase , based on the observed inclination angle of 429. for such low - eccentricity binaries , much of the shapiro delay can be absorbed into the orbital roemer delay ; what remains is the  pb/3 periodicity shown . the points represent the timing residuals for the pulsar , binned in orbital phase , and in clear agreement with the shape predicted from the inclination angle . ( reprinted by permission from nature , 2001 , macmillan publishers ltd . ) while this result does not include a true self - consistency check in the manner of the double - neutron - star tests , it is nevertheless important , as it represents the only case in which an independent , purely geometric determination of the inclination angle of a binary orbit predicts the shape of the shapiro delay . it can thus be considered to provide an independent test of the predictions of gr . a complete discussion of gr effects in pulsar observations must mention geodetic precession , though these results are somewhat qualitative and do not ( yet ) provide a model - free test of gr . in standard evolutionary scenarios for double - neutron - star binaries ( see , e.g. , [ 21 , 109 ] ) , both stellar spins are expected to be aligned with the orbital angular momentum just before the second supernova explosion . after this event , however , the observed pulsar s spin is likely to be misaligned with the orbital angular momentum , by an angle of the order of 20 . a similar misalignment may be expected when the observed pulsar is the second - formed degenerate object , as in psr j1141 - 6545 . as a result , both vectors will precess about the total angular momentum of the system ( in practice the total angular momentum is completely dominated by the orbital angular momentum ) . the evolution of the pulsar spin axis s1 can be written as [ 40 , 14 ] 
 ( 38)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \frac{{d{{\rm{\mathbf{s}}}_1}}}{{dt } } = \mathbf{\omega } _ 1^{{\rm{spin } } } \times { { \rm{\mathbf{s}}}_1 } , 
 $ $ \end{document } 
 where the vector 1spin is aligned with the orbital angular momentum . its magnitude is given by 
 ( 39)\documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$$ 
 \omega _ 1^{{\rm{spin } } } = \frac{1}{2}{\left ( { \frac{{{p_{\rm{b}}}}}{{2\pi } } } \right)^ { - 5/3}}\frac{{{m_2}(4{m_1 } + 3{m_2})}}{{(1 - { e^2}){{({m_1 } + { m_2})}^{4/3}}}}t _ \odot ^{2/3 } , 
 $ $ \end{document } 
 where \documentclass[12pt]{minimal } 
				 \usepackage{amsmath } 
				 \usepackage{wasysym } 
				 \usepackage{amsfonts } 
				 \usepackage{amssymb } 
				 \usepackage{amsbsy } 
				 \usepackage{mathrsfs } 
				 \usepackage{upgreek } 
				 \setlength{\oddsidemargin}{-69pt } 
				 \begin{document}$${t _ \odot } \equiv g{m _ \odot } /{c^3 } = 4.905490947\;\mu { \rm{s}}$$\end{document } , as in section 4.1 . this predicted rate of precession is small ; the three systems with the highest 1spin values are : 
 psr j1141 - 6545 at 1.35 yr , psr b1913 + 16 at 1.21 yr , psr b1534 + 12 at 0.52 yr . 
 the primary manifestation of this precession is expected to be a slow change in the shape of the pulse profile , as different regions of the pulse emission beam move into the observable region . psr j1141 - 6545 at 1.35 yr , psr b1913 + 16 at 1.21 yr , psr b1534 + 12 at 0.52 yr . evidence for long - term profile shape changes is in fact seen in psrs b1913 + 16 and b1534 + 12 . for psr b1913 + 16 , profile shape changes were first reported in the 1980s , with a clear change in the relative heights of the two profile peaks over several years ( figure 12 ) . interestingly , although a simple picture of a cone - shaped beam might lead to an expectation of a change in the separation of the peaks with time , no evidence for this was seen until the late 1990s , at the effelsberg 100-m telescope , by which point the two peaks had begun to move closer together at a rather fast rate . kramer   used this changing peak separation , along with the predicted precession rate and a simple conal model of the pulse beam , to estimate a spin - orbit misalignment angle of about 22 and to predict that the pulsar will disappear from view in about 2025 ( see figure 13 ) , in good agreement with an earlier prediction by istomin   made before the peak separation began to change . recent results from arecibo   confirm the gist of kramer s results , with a misalignment angle of about 21. both sets of authors find there are four degenerate solutions that can fit the profile separation data ; two can be discarded as they predict an unreasonably large misalignment angle of  180-22=158 , and a third is eliminated because it predicts the wrong direction of the position angle swing under the rotating vector model . the main area of dispute is the actual shape of the emission region ; while weisberg and taylor find an hourglass - shaped beam ( see figure 14 ) , kramer maintains that a nearly circular cone plus an offset core is adequate ( see figure 15 ) . in any event , it is clear that the interpretation of the profile changes requires some kind of model of the beam shape . kramer [ 81 , 82 ] lets the rate of precession vary as another free parameter in the pulse - shape fit , and finds a value of 1.20.2. this is consistent with the gr prediction but still depends on the beam - shape model and is therefore not a true test of the precession rate . figure 12 
 changes in the observed pulse profile of psr b1913 + 16 throughout the 1980s , due to a changing line - of - sight cut through the emission region of the pulsar . figure 13 
 top : change in peak separation of the relativistic double - neutron - star binary psr b1913 + 16 , as observed with the arecibo ( solid points , [ 
 141 
 ] ) and effelsberg ( open circles , [ 
 80 
 ] ) telescopes . figure 14 
 hourglass - shaped beam for psr b1913 + 16 derived from the symmetric - component analysis of [ 
 143 
 ] . figure 15 
 alternate proposed beam shape for psr b1913 + 16 , consisting of a symmetric cone plus an offset core . the red lines indicate an example cut through the emission region , as well as the predicted pulse peak ratio and separation as functions of time . ( after [ 
 81 
 ] , courtesy michael kramer . ) 

 
 changes in the observed pulse profile of psr b1913 + 16 throughout the 1980s , due to a changing line - of - sight cut through the emission region of the pulsar . top : change in peak separation of the relativistic double - neutron - star binary psr b1913 + 16 , as observed with the arecibo ( solid points , [ 
 141 
 ] ) and effelsberg ( open circles , [ 
 80 
 ] ) telescopes . hourglass - shaped beam for psr b1913 + 16 derived from the symmetric - component analysis of [ 
 143 
 ] . ( taken from [ 
 143 
 ] ; used by permission . ) 
 
 alternate proposed beam shape for psr b1913 + 16 , consisting of a symmetric cone plus an offset core . the red lines indicate an example cut through the emission region , as well as the predicted pulse peak ratio and separation as functions of time . psr b1534 + 12 , despite the disadvantages of a more recent discovery and a much longer precession period , also provides clear evidence of long - term profile shape changes . these were first noticed at 1400 mhz by arzoumanian [ 5 , 8 ] and have become more obvious at this frequency and at 430 mhz in the post - upgrade period at arecibo . the principal effect is a change in the low - level emission near to the main pulse ( figure 16 ) , though related changes in polarization are now also seen . as this pulsar shows polarized emission through most of its pulse period , it should be possible to form a better picture of the overall geometry than for psr b1913 + 16 ; this may make it easier to derive an accurate model of the pulse beam shape . figure 16 
 evolution of the low - level emission surrounding the main pulse of psr b1534 + 12 , over a period of nearly 10 years , as measured with the arecibo telescope [ 
 96 
 ] . evolution of the low - level emission surrounding the main pulse of psr b1534 + 12 , over a period of nearly 10 years , as measured with the arecibo telescope [ 
 96 
 ] . ( stairs et al . , unpublished . ) 
  as for other tests of gr , the pulsar  white - dwarf binary psr j1141 - 6545 promises interesting results . as noted by the discoverers , the region of sky containing this pulsar had been observed at the same frequency in an earlier survey , but the pulsar was not seen , even though it is now very strong . it is possible that interference corrupted that original survey pointing , or that a software error prevented its detection , but it is also plausible that the observed pulsar beam is evolving so rapidly that the visible beam precessed into view during the 1990s . the tremendous success to date of pulsars in testing different aspects of gravitational theory leads naturally to the question of what can be expected in the future . improvements to the equivalence - principle violation tests will come from both refining the timing parameters of known pulsars ( in particular , limits on eccentricities and orbital period derivatives ) and the discovery of further pulsar  white - dwarf systems . potentially coalescing pulsar white - dwarf binaries , such as psrs j1141 - 6545 , j0751 + 1807 , and 1757 - 5322 , bear watching from the point of view of limits on dipolar gravitational radiation . another worthy , though difficult , goal is to attempt to derive the full orbital geometry for ultra - low - eccentricity systems , as has been done for psr j0437 - 4715 ; this would quickly lead to significant improvements in the eccentricity - dependent tests . the orbital - period - derivative measurements of double - neutron - star binaries are already limited more by systematics ( galactic acceleration models for psr b1913 + 16 , and poorly known distance for psr b1534 + 12 ) than by pulsar timing precision . however , with improved galactic modeling and a realistic expectation of an interferometric ( vlbi ) parallax for psr b1534 + 12 , there is still hope for testing more carefully the prediction of quadrupolar gravitational radiation from these systems . the other timing parameters , equally important for tests of the quasi - static regime , can be expected to improve with time and better instrumentation , such as the wider - bandwidth coherent dedispersion systems now being installed at many observatories ( see , e.g. , [ 68 , 129 ] ) . especially exciting would be a measurement of the elusive shapiro delay in psr b1913 + 16 ; the longitude of periastron is now precessing into an angular range where it may facilitate such a measurement . in the last few years , surveys of the galactic plane and 
 anking regions , using the 64-m parkes telescope in australia , have discovered several hundred new pulsars ( see , e.g. , [ 91 , 48 ] ) , including several new circular - orbit pulsar  white - dwarf systems [ 46 , 47 , 26 ] and the eccentric pulsar a complete reprocessing of the galactic plane survey with improved interference filtering is in progress ; thus there is still hope that a truly new system such as a pulsar  black - hole binary may emerge from this large survey . several ongoing smaller surveys of small regions and globular clusters ( see , e.g. , [ 25 , 113 ] ) are also finding a number of new and exotic binaries , some of which may eventually turn out to be useful for tests of gr . the possible recent appearance of psr j1141 - 6545 and the predicted disappearance of psr b1913 + 16 due to geodetic precession make it worthwhile to periodically revisit previously surveyed parts of the sky in order to check for newly - visible exotic binaries . over the next several years , large - scale surveys are planned at arecibo   and the new 100-m green bank telescope , offering the promise of over 1000 new pulsars including interesting binary systems . the sensitivity of these surveys will of course be dwarfed by the potential of the proposed square kilometre array radio telescope , which will be sensitive to pulsars clear through our galaxy and into neighbouring galaxies such as m31 . the next 10 or 20 years promise to be exciting times for pulsar searchers and for those looking to set ever - more - stringent limits on deviations from general relativity .
pulsars of very different types , including isolated objects and binaries ( with short- and long - period orbits , and white - dwarf and neutron - star companions ) provide the means to test both the predictions of general relativity and the viability of alternate theories of gravity . 
 this article presents an overview of pulsars , then discusses the current status of and future prospects for tests of equivalence - principle violations and strong - field gravitational experiments .