Relativistic theory for picosecond time transfer in the vicinity of Earth

The problem of light propagation is treated in a geocentric reference system with the goal of ensuring picosecond accuracy for time transfer techniques using electromagnetic signals in the vicinity of the Earth. We give an explicit formula for a one way time transfer, to be applied when the spatial coordinates of the time transfer stations are known in a geocentric reference system rotating with the Earth. This expression is extended, at the same accuracy level of one picosecond, to the special cases of two way and LASSO time transfers via geostationary satellites.