Abstract:The ability to make independent detections of the signatures of exoplanets with complementary telescopes and instruments brings a new potential for robust identification of exoplanets and precision characterization. We introduce PEXO, a package for Precise EXOplanetology to facilitate the efficient modeling of timing, astrometry, and radial velocity data, which will benefit not only exoplanet science but also various astrophysical studies in general. PEXO is general enough to account for binary motion and stellar reflex motions induced by planetary companions and is precise enough to treat various relativistic effects both in the solar system and in the target system. We also model the post-Newtonian barycentric motion for future tests of general relativity in extrasolar systems. We benchmark PEXO with the pulsar timing package TEMPO2 and find that PEXO produces numerically similar results with timing precision of about 1 ns, space-based astrometry to a precision of 1 μas, and radial velocity of 1 μm s−1 and improves on TEMPO2 for decade-long timing data of nearby targets, due to its consideration of third-order terms of Roemer delay. PEXO is able to avoid the bias introduced by decoupling the target system and the solar system and to account for the atmospheric effects that set a practical limit for ground-based radial velocities close to 1 cm s−1. Considering the various caveats in barycentric correction and ancillary data Required to realize cm s−1 modeling, we recommend the preservation of original observational data. The PEXO modeling package is available at GitHub (https://github.com/phillippro/pexo) and Zenodo (Feng et al. 2019).

Using the pulsar timing software package, TEMPO2

Tempo2, a new pulsar timing package. II: The timing model and precision estimates

TEMPO2, a New Pulsar Timing Package. III: Gravitational Wave Simulation

Temponest: A Bayesian Approach to Pulsar Timing Analysis

PINT: A Modern Software Package for Pulsar Timing

Algorithmic Pulsar Timing

Algorithmic Pulsar Timer for Binaries

DSPSR: Digital Signal Processing Software for Pulsar Astronomy

Installation and Use of Pulsar Search Software

TiEMPO: Open-source time-dependent end-to-end model for simulating ground-based submillimeter astronomical observations

Improving pulsar timing precision through superior Time-of-Arrival creation

The Parkes Pulsar Timing Array Project: Second data release

Improving pulsar-timing solutions through dynamic pulse fitting

The International Pulsar Timing Array: Second Data Release

Characterizing the effects of pulse shape changes on pulsar timing precision

PINT: Maximum-likelihood estimation of pulsar timing noise parameters

HiTempo: a platform for time-series analysis of remote-sensing satellite data in a high-performance computing environment

Reducing instrumental errors in Parkes Pulsar Timing Array data

PEXO: A Global Modeling Framework for Nanosecond Timing, Microarcsecond Astrometry, and Μm S−1 Radial Velocities