Search

Time Delay Interferometry (TDI) is often utilized in the data pre-processing of space-based gravitational wave detectors, primarily for suppressing laser frequency noise. About twenty years ago, assuming armlengths remain constant over time, researchers presented comprehensive mathematical descriptions for the first-generation and modified first-generation TDI. However, maintaining a steady distance between satellites is pragmatically challenging. Hence, the operator equation that neutralizes laser frequency noise, though provided, was deemed difficult to resolve. In this paper, we solve this equation in the context of a non-static scenario where distances between spacecrafts vary over time. Surprisingly, contrary to what previous researchers thought, the study reveals that the equation has only the zero solution, which suggests that no nonzero TDI combination can entirely suppress laser frequency noise under time-varying armlengths. This necessitates the persistent search for second-generation TDI combinations through alternative methods besides directly solving the operator equation. We establish the connections between TDI combinations of different generations and propose a search strategy for finding higher-generation TDI combinations by using generators of lower-generation TDI. The findings contribute to the ongoing discussion on gravitational waves and provide a novel insight into the hurdles faced in space-based gravitational wave detection., Comment: accepted by Physical Review D

We study the dynamics of the critical collapse of a spherically symmetric scalar field. Approximate analytic expressions for the metric functions and matter field in the large-radius region are obtained. In the central region, owing to the boundary conditions, the equation of motion for the scalar field is reduced to the flat-spacetime form., Comment: 8 pages, 5 figures

Inspired by the combinatorial algebraic approach proposed by Dhurandhar {\it et al.}, we propose two novel classes of second-generation time-delay interferometry (TDI) solutions and their further generalization. The primary strategy of the algorithm is to enumerate specific types of residual laser frequency noise associated with second-order commutators in products of time-displacement operators. The derivations are based on analyzing the delay time residual when expanded in time derivatives of the armlengths order by order. It is observed that the solutions obtained by such a scheme are primarily captured by the geometric TDI approach and therefore possess an intuitive interpretation. Nonetheless, the fully-symmetric Sagnac and Sagnac-inspired combinations inherit the properties from the original algebraic approach, and subsequently lie outside of the scope of geometric TDI. We explicitly show that novel solutions, distinct from existing ones in terms of both algebraic structure and sensitivity curve, are encountered. Moreover, at its lowest order, the solution is furnished by commutators of relatively compact form. Besides the original Michelson-type solution, we elaborate on other types of solutions such as the Monitor, Beacon, Relay, Sagnac, fully-symmetric Sagnac, and Sagnac-inspired ones. The average response functions, residual noise power spectral density, and sensitivity curves are evaluated for the obtained solutions. Also, the relations between the present scheme and other existing algorithms are discussed., Comment: 22 pages, 4 figures

A crucial challenge to the ongoing endeavor of spaceborne gravitational wave (GW) detection resides in the laser phase noise, typically 7 to 8 orders of magnitude above the inevitable noise. The arm locking technique was proposed to suppress the noise in pre-stabilized laser beams. Based on the feedback control theory, it is implemented by appropriate design of the signal routing architecture, particularly the controllers' transfer functions. Theoretically and experimentally, the technique has been demonstrated to be capable of suppressing the laser phase noise by approximately 2-4 orders of magnitude while taking into account various aspects such as the gain and distribution of nulls in the Bode plot and the laser frequency pulling associated with the Doppler frequency subtraction. Consequently, the resultant noise floor is composed of the sources attributed to the clock jitter, optical bench motion, test mass fluctuations, shot-noise phase fluctuations at the photodetectors, whereas the magnitudes of these noises largely remain unchanged during the process. Besides, the original GW signals are deformed through the arm-locking control loop and therefore bear specific features governed by the associated arm-locking scheme. Nonetheless, the remaining laser phase noise from the arm-locking feedback routing settles within the capability threshold of the time-delay interferometry (TDI). In this regard, it is generally understood that the output of arm locking furnishes the input of TDI, through which the residual noise is further reduced to the desired level at a post-processing stage. In this work, we investigate the specific schemes regarding how the arm locking output is processed further by the TDI algorithm. Specific forms of the TDI combinations are derived in accordance with suppressed laser phase noise and deformed signals of GW.

We generalize the combinatorial algebraic approach first proposed by Dhurandhar et al. to construct various classes of modified second-generation time-delay interferometry (TDI) solutions. The main idea behind the algorithm is to enumerate, in a given order, a specific type of commutator between two monomials defined by the products of particular time-displacement operators. On the one hand, the above commutators can be systematically rewritten as the elements of a left ideal, defined by the l.h.s. of the relevant equation for the TDI solution. On the other hand, these commutators are shown to vanish if we only keep up the first-order contributions regarding the rate of change of armlengths. In other words, each commutator furnishes a valid TDI solution pertaining to the given type of modified second-generation combinations. In this work, the original algorithm, which only involves time-delay operators, is extended by introducing the time-advance ones and then utilized to seek solutions of the Beacon, Relay, Monitor, Sagnac, and fully symmetric Sagnac types. We discuss the relation between the present scheme's solutions and those obtained by the geometric TDI approach, a well-known method of exhaustion of virtual optical paths. In particular, we report the results on novel Sagnac-inspired solutions that cannot be straightforwardly obtained using the geometric TDI algorithm. The average response functions, floor noise power spectral densities, and sensitivity functions are evaluated for the obtained solutions.

While general relativity predicts only two tensor modes for gravitational wave polarization, general metric theories of gravity allows up to four additional modes, including two vector and two scalar modes. Observing the polarization modes of gravitational waves could provide a direct test of the modified gravity. The stochastic gravitational wave background (SGWB), which may be detected by space-based laser-interferometric detectors at design sensitivity, will provide an opportunity to directly measure alternative polarization. In this paper, we investigate the performance of the LISA-TianQin network for detecting alternative polarizations of stochastic backgrounds, and propose a method to separate different polarization modes. First, we generalize the small antenna approximation to compute the overlap reduction functions for SGWB with arbitrary polarization, which is suitable for any time-delay interferometry combination. Then we analyze the detection capability of LISA-TianQin for SGWB with different polarizations. Based on the LISA-TianQin orbital characteristics, we propose a method to distinguish different polarization modes from their mixed data. Compared with ground-based detectors, the LISA-TianQin network is more capable of resolving polarizations of SGWB. In particular, the LISA-TianQin network has the potential to resolve two scalar modes that ground-based detectors cannot.

Pulsar timing array (PTA) is expected to detect gravitational wave background (GWB) in the nanohertz band within the next decade. This provides an opportunity to test the gravity theory and cosmology. A typical data analysis method to detect GWB is cross-correlation analysis. The overlap reduction function (ORF) plays an important role in the correlation data analysis of GWB. The present approach to dealing with the intricate integration in ORF is to use short-wave approximation to drop out the tricky terms. In this paper, we provide the full analytic expression of the ORF for PTA without any approximation for all possible polarizations allowed by modifications of general relativity. Compared with the numerical simulation and short-wave approximation, our results are more efficient and widely applicable. Especially for the scalar-longitudinal mode where the short-wave approximation is not available, our analytical expression is particularly significant.

The time delay interferometry (TDI) is an algorithm proposed to suppress the laser frequency noise in space-borne gravitational wave detectors. As a post-processing technique, it is implemented by constructing a virtual equal arm interferometer through an appropriate combination of the time-shifted data streams. Such an approach is tailored to the intrinsic feature of the space-based gravitational wave detection, namely, the distances between spacecraft are governed by the orbit dynamics and thus can not be held constant. Among different implementations, the geometric TDI was introduced as a method of exhaustion to evaluate the second-generation TDI combinations. The applications of the algebraic approach based on computational algebraic geometry, on the other hand, are mostly restricted to the first and the modified first-generation TDI. Besides, geometric TDI furnishes an intuitive physical interpretation about the synthesis of the virtual optical paths. In this paper, the geometric TDI is utilized to investigate the modified second-generation TDI combinations in conjunction with a ternary search algorithm. The distinction between the second-generation and modified second-generation TDI solutions is elaborated regarding the rate of change of the arm lengths with respect to the opposite cyclic directions. For the sixteen-link combinations, forty second-generation TDI solutions are recovered, among which nine of them are identified as the modified second-generation ones.

The ongoing development of the space-based laser interferometer missions is aiming at unprecedented gravitational wave detections in the millihertz frequency band. The spaceborne nature of the experimental setups leads to a degree of subtlety regarding the otherwise overwhelming laser frequency noise. The cancellation of the latter is accomplished through the time-delay interferometry technique. Moreover, to eventually achieve the desired noise level, the phase fluctuations of the onboard ultra-stable oscillator must also be suppressed. This can be fulfilled by introducing sideband signals which, in turn, give rise to an improved cancellation scheme accounting for the clock-jitter noise. Nonetheless, for certain Sagnac-type interferometry layouts, it can be shown that resultant residual clock noise found in the literature can be further improved. In this regard, we propose refined cancellation combinations for two specific clock noise patterns. This is achieved by employing the so-called geometric time-delay interferometry interpretation. It is shown that for specific Sagnac combinations, the residual noise diminishes significantly to attain the experimentally acceptable sensitivity level. Moreover, we argue that the derived combination, in addition to the existing ones in the literature, furnishes a general-purpose cancellation scheme that serves for arbitrary time-delay interferometry combinations. The subsequential residual noise will only involve factors proportional to the commutators between the delay operators. Our arguments reside in the form of the clock noise expressed in terms of the coefficients of the generating set of the first module of syzygies, the linear combination of which originally constitutes the very solution for laser noise reduction.