 Pulsar timing

The mature experiment uses channel-template comparison, pulsar dedispersion, GPS clock-offset transfer, Solar system barycenter corrections and connected pulse counts.^[ref]

For a geometric illustration, let a perfectly uniform source emit pulse $n$ at $t_n=t_0+n{P}_s$, with spin period $P_s$, and let $z_1$ increase away from the observer. At leading order in orbital velocity divided by the speed of light, an extra path length $z_1$ adds ${\Delta }_R=z_1/c$. Consecutive arrivals then obeyA receding source has $v_{\parallel }>0$ and a longer apparent period. This derivation isolates the geometric Doppler effect; a precision relativistic clock model also needs gravitational redshift and time dilation.