The Laser Interferometer Space Antenna (LISA) is a European Space Agency mission that aims to measure gravitational waves in the millihertz range. Laser frequency noise enters the interferometric measurements and dominates the expected gravitational signals by many orders of magnitude. Time-delay interferometry (TDI) is a technique that reduces this laser noise by synthesizing virtual equal-arm interferometric measurements. Laboratory experiments and numerical simulations have confirmed that this reduction is sufficient to meet the scientific goals of the mission in proof-of-concept setups. In this paper, we show that the on-board antialiasing filters play an important role in TDI's performance when the flexing of the constellation is accounted for. This coupling was neglected in previous studies. To reach an optimal reduction level, filters with vanishing group delays must be used on board or synthesized off-line. We propose a theoretical model of the residual laser noise including this flexing-filtering coupling. We also use two independent simulators to produce realistic measurement signals and compute the corresponding TDI Michelson variables. We show that our theoretical model agrees with the simulated data with exquisite precision. Using these two complementary approaches, we confirm TDI's ability to reduce laser frequency noise in a more realistic mission setup. The theoretical model provides insight on filter design and implementation.

The Laser Interferometer Space Antenna (LISA) is a European Space Agency mission that aims to measure gravitational waves in the millihertz range. The three-spacecraft constellation form a nearly-equilateral triangle, which experiences flexing along its orbit around the Sun. These time-varying and unequal armlengths require to process measurements with Time-Delay Interferometry (TDI) to synthesize a virtual equal-arm interferometer, and reduce the otherwise-overwhelming laser frequency noise. Algorithms compatible with such TDI combinations have recently been proposed in order to suppress the phase fluctuations of the onboard ultra-stable oscillators (USO) used as reference clocks. In this paper, we present a method to compute improved algorithms, which provide exact cancellation of the USO noise for a large class of TDI combinations, even for time-varying armlengths, if we neglect Doppler effects. We account for errors present in the sideband signals used in the algorithm, and include a new step to reduce it. We propose analytic models for the power spectral densities of residual noises, including residual clock noise due to the filters used on board to downsample data before telemetry. We present the results of simulations, which include realistic USO noise. We show that our model agrees very well with the simulated data, and that our algorithms are able to reduce clock jitter well below other noises, and the mission requirements.