Efficient Computation of Overlap Reduction Functions for Pulsar Timing Arrays.

Pulsar timing arrays seek and study gravitational waves (GWs) through the angular two-point correlation function of timing residuals they induce in pulsars. The two-point correlation function induced by the standard transverse-traceless GWs is the famous Hellings-Downs curve, a function only of the angle between the two pulsars. Additional polarization modes (vector or scalar) that may arise in alternative-gravity theories have different angular correlation functions.