This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Testing the polarization of gravitational wave background with LISA-TianQin network

Yu Hu    Pan-Pan Wang    Yu-Jie Tan    Cheng-Gang Shao 11footnotetext: Corresponding author.
Abstract

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.

1 Introduction

Since the first gravitational wave (GW) signal GW150914 was detected by Advanced LIGO in 2015 [1], Advanced LIGO and later Advanced Virgo have detected more and more GWs sourced from compact binary coalescences[2, 3, 4, 5, 6]. At the same time, this also implies that there should be many weak GWs that cannot be recognized by detectors. The combined weak signal from the population of compact binary constitutes the stochastic gravitational wave background (SGWB). In addition to the astrophysical sources, there are many ways to generate SGWB in the early Universe, such as cosmological phase transitions [7, 8], inflation [9, 10, 11, 12], cosmic strings [13, 14], etc. The detection of the GWB can provide us with information on the astronomical distribution [15, 16] and cosmology [17, 18, 19, 20, 21], and also provide an opportunity to test the theory of gravity [22, 23].

Pulsar Timing Arrays (PTA) has accumulated more than a decade of data, and is expected to detect SGWB in the nHz band in the near future [24, 25, 26, 27]. In the Hz hand, the ground-based laser interferometers give an upper limits of fractional energy density of SGWB ΩGW5.8×109\Omega_{\text{GW}}\leq 5.8\times 10^{-9} [28]. The future space-based interferometers such as LISA [29], TianQin [30], Taiji [31] and DECIGO [32], will be able to detect SGWB with high sensitivity in the mHz band [33, 34, 35]. Once we have detected the SGWB, we next need to know what information can be obtained from it. An important role of SGWB is to test the theory of gravity. General relativity (GR) predicts that there only exists two tensor polarizations for gravitational wave, the plus and cross modes. However, there are additional four polarizations allowed by the generic metric theories of gravity, including two vector modes and two scalar modes[36, 37, 38, 39, 40, 41, 42, 43]. The observation of vector or scalar modes would cast doubt on general relatively, and the absence could also be used to constrain modified gravity [44]. If parity is considered, there is circular polarization in the SGWB, describing the asymmetry of the two tensor polarizations [45, 46, 47, 48].

Research on the detection of polarization modes of the SGWB has become a hot topic, as more and more modified theories of gravity are proposed. For PTA, the detectability of non-GR polarizations of the SGWB was first investigated in [49]. After that, more detailed extension can be found in [50, 51]. No evidence of non-GR polarizations of SGWB has been found in more than a decade of PTA data. The constrains of the amplitude or energy density for non-GR modes in SGWB at frequency of 1/yr can be found in [52, 53, 54]. On the other hand, the ground-based gravitational-wave detection network is gradually forming, as more and more detectors join in. It has the potential to detect the SGWB produced by compact binary mergers. Data from Advanced LIGO’s and Advanced Virgo’s three observing run can constrain the fractional energy density of different polarization modes at Hz band [55, 56, 57]. However, the ability of the ground-based laser interferometer network to study the polarizations of SGWB is limited. The current sensitivity of ground-based detectors is limited enough to detect the SGWB. What more, the two kind of scalar modes are completely different, one is the transverse and the other is longitudinal. Unfortunately, the responses of the ground-based laser interferometer to scalar-breathing and scalar-longitudinal modes are completely degenerate, which means that the two modes cannot be distinguished, no matter how sensitive the detectors are [58]. However, the two scalar polarizations are of a completely different nature, and they cannot be converted into one another via a rotational coordinate transformation along the direction of propagation (whereas two tensor modes or two vector modes can). The physical images behind the appearance of scalar breathing and longitudinal modes are distinct. For example, in the scalar-tensor theory of gravity, there exists only one extra breathing mode if the scalar field is massless, or a mixture of breathing mode and longitudinal mode if the scalar field is massive [59]. It is therefore necessary to distinguish between the two scalar modes in the detector.

For the future space-based gravitational-wave detectors, the situation is different. The degeneracy of response between the breathing and longitudinal modes is broken at relatively high frequencies [60, 61], which implies that the space-based detectors have potential to distinguish breathing and longitudinal modes of gravitational waves. Besides, space-based detectors can detect signals from a much larger range of frequencies, compared to ground-based detectors. The abundance of sources in the sensitive band and the sufficiently high sensitivity of the detectors ensure that the polarization analysis can be performed. What more, the relative orientation of two space-based detectors may change as they are in different positions in their respective orbits. For example, for the LISA-TianQin network, the normal vector of the constellation plane of LISA is vary with time and that of TianQin points to a fixed direction [30]. This means that the overlap reduction function (ORF), the transfer function between the spectrum of SGWB and the power spectrum of cross correlation signal, will vary accordingly. In this way, it is easier to distinguish between different polarization modes, which can be inferred from the viewpoint that the detectors can be regarded as different detectors at different positions.

For the space-based detectors, the laser phase noise is usually orders of magnitude higher than other noises due to the mismatch of arm lengths, and also much larger than the gravitational wave signal. Fortunately, the time delay interferometry (TDI) can be used to suppress the laser phase noise [62, 63, 64, 65]. It is worth mentioning that three noise quadrature channels can be constructed, called A, E and T. The T channel is relatively insensitive to the gravitational-wave compared with other channels. So the readout of T channel can be used to model the noise in order to subtract the noise from the A and E channels to get the SGWB. This is called the null channel method [66, 67, 68]. However, the persuasiveness of the null channel is limit, it is required that the cross-correlation signals are detected in the data of two detectors to claim detection of SGWB. The cross-correlation analysis based on TDI combination is a standard method for space-based detectors to detect the SGWB. However, there is a lack of study on the performance of the space-based detectors for SGWB with different polarizations, as well as the treatment of the time varying effect. Among the promising space-based detectors, the difference in the orbital configuration of LISA and TianQin is most significant, so the time-varying effect of LISA-TianQin network is the most pronounced. In this paper, we investigate the detection capability of the LISA-TianQin network for SGWB with different polarization, and propose a method inspired by the time-varying effect to distinguish different polarization modes from their mixed data.

The outline of the paper is as follows. In section 2, we review the SGWB in general metric theories of gravity and introduce the LISA-TianQin network. In section 3, we review the correlation analysis for detecting SGWB and calculate the overlap reduction function for LISA-TianQin network. In section 4, we study the sensitivity and detectability for the SGWB of alternative polarizations. Then, in section 5, we consider the method to separation the polarizations for LISA-TianQin network. Finally, a discussion is presented in in section 6.

2 SGWB statistic and LISA-TianQin network

2.1 Stochastic background of non-GR polarizations

The metric perturbations corresponding to SGWB can be expressed as a superposition of plane waves of different frequencies from different directions [68]:

hab(t,x)=𝑑fd2Ωn^hab(f,n^)ei2πf(t+n^x/c).h_{ab}(t,\vec{x})=\int_{-\infty}^{\infty}df\int d^{2}\Omega_{\hat{n}}h_{ab}(f,\hat{n})e^{i2\pi f(t+\hat{n}\cdot\vec{x}/c)}. (2.1)

The fourier coefficients hab(f,n^)h_{ab}(f,\hat{n}) are random variables, whose statistic is significant. In generic metric theory, the coefficients can be expanded in terms of the six spin-2 polarization tensors:

hab(f,n^)=AhA(f,n^)eabA(n^),h_{ab}(f,\hat{n})=\sum_{A}h_{A}(f,\hat{n})e^{A}_{ab}(\hat{n}), (2.2)

where A={+,×,X,Y,B,L}A=\{+,\times,X,Y,B,L\} represents different polarization modes, where +,×{+,\times} represent tensor modes predicted by general relativity, and X,Y{X,Y} and B,L{B,L} represent vector and scalar modes allowed by the general metric theory of gravity. Explicitly, the six spin-2 polarization tensors are

eab+(n^)=\displaystyle e^{+}_{ab}(\hat{n})= θ^aθ^bϕ^aϕ^b,eab×(n^)=θ^aϕ^b+ϕ^aθ^b,\displaystyle\hat{\theta}_{a}\hat{\theta}_{b}-\hat{\phi}_{a}\hat{\phi}_{b},\quad e^{\times}_{ab}(\hat{n})=\hat{\theta}_{a}\hat{\phi}_{b}+\hat{\phi}_{a}\hat{\theta}_{b}, (2.3)
eabX(n^)=\displaystyle e^{X}_{ab}(\hat{n})= θ^an^b+n^aθ^b,eabY(n^)=ϕ^an^b+n^aϕ^b,\displaystyle\hat{\theta}_{a}\hat{n}_{b}+\hat{n}_{a}\hat{\theta}_{b},\quad e^{Y}_{ab}(\hat{n})=\hat{\phi}_{a}\hat{n}_{b}+\hat{n}_{a}\hat{\phi}_{b},
eabB(n^)=\displaystyle e^{B}_{ab}(\hat{n})= θ^aθ^b+ϕ^aϕ^b,eabL(n^)=2n^an^b,\displaystyle\hat{\theta}_{a}\hat{\theta}_{b}+\hat{\phi}_{a}\hat{\phi}_{b},\quad e^{L}_{ab}(\hat{n})=\sqrt{2}\hat{n}_{a}\hat{n}_{b},

and θ^\hat{\theta}, ϕ^\hat{\phi} are the standard angular unit vectors tangent to the sphere:

n^\displaystyle\hat{n} =(sinθcosϕ,sinθsinϕ,cosθ),\displaystyle=(\sin\theta\cos\phi,\sin\theta\sin\phi,\cos\theta), (2.4)
θ^\displaystyle\hat{\theta} =(cosθcosϕ,cosθsinϕ,sinθ),\displaystyle=(\cos\theta\cos\phi,\cos\theta\sin\phi,-\sin\theta),
ϕ^\displaystyle\hat{\phi} =(sinϕ,cosϕ,0).\displaystyle=(-\sin\phi,\cos\phi,0).

The statistical properties of the SGWB are described by the probability distribution of the metric perturbations. In this work, we assume that the SGWB is Gaussian, stationary and isotropic. And without loss of generality we can assume that the background has zero mean hA(f,n^)=0\left\langle h_{A}(f,\hat{n})\right\rangle=0. So all the information is encoded in the quadratic expectation:

hA(f,n^)hA(f,n^)=18πShA(f)δ(ff)δAAδ2(n^,n^),\left\langle h_{A}(f,\hat{n})h_{A^{\prime}}^{*}\left(f^{\prime},\hat{n}^{\prime}\right)\right\rangle=\frac{1}{8\pi}S^{A}_{h}(f)\delta\left(f-f^{\prime}\right)\delta_{AA^{\prime}}\delta^{2}\left(\hat{n},\hat{n}^{\prime}\right), (2.5)

where ShA(f)S^{A}_{h}(f) can be regarded as the component corresponding to the AA polarization of a one-sided gravitational-wave strain power spectral density function. We further assume that both the tensor and vector modes are unpolarized, which implies that

Sh+\displaystyle S^{+}_{h} =Sh×=ShT/2,\displaystyle=S^{\times}_{h}=S^{T}_{h}/2, (2.6)
ShX\displaystyle S^{X}_{h} =ShY=ShV/2.\displaystyle=S^{Y}_{h}=S^{V}_{h}/2.

However, the two scalar modes should be considered as two independent polarization modes, since one is the longitudinal and the other is transverse. It is worth noting that some models predict the presence of parity violating SGWB sources [69, 70], which can be recognized with the interferometers [71, 72, 73].

The function ShA(f)S^{A}_{h}(f), which characterizes the spectral shape of the SGWB within each polarization sector, can be detected directly without assuming a model. However, the amplitude of SGWB for each polarization is characterized by the fractional energy density [74],

ΩgwA(f)=1ρcdρgwAdlnf,\Omega^{A}_{\mbox{gw}}(f)=\frac{1}{\rho_{c}}\frac{d\rho^{A}_{\mbox{gw}}}{d\ln f}, (2.7)

defined as the energy density per logarithmic frequency bin, normalized by the critical energy density of the closed Universe ρc3c2H02/8πG\rho_{c}\equiv 3c^{2}H_{0}^{2}/8\pi G. Here GG is the gravitational constant, and H0=67.4km s1Mpc1H_{0}=67.4\text{km s}^{-1}\text{Mpc}^{-1} is the Hubble constant [75]. In general relatively, the relation between ShA(f)S^{A}_{h}(f) and ΩgwA(f)\Omega^{A}_{\mbox{gw}}(f) is [74]

ΩgwA(f)=2π23H02f3ShA(f).\Omega^{A}_{\mbox{gw}}(f)=\frac{2\pi^{2}}{3H_{0}^{2}}f^{3}S^{A}_{h}(f). (2.8)

In alternative theories of gravity, eq. (2.8) may not hold unless the stress-energy of gravitational waves also obeys Isaacson’s formula [76]:

ρgw=c232πGh˙ab(t,x)h˙ab(t,x).\rho_{\mbox{gw}}=\frac{c^{2}}{32\pi G}\left\langle\dot{h}_{ab}(t,\vec{x})\dot{h}^{ab}(t,\vec{x})\right\rangle. (2.9)

In this case, ΩgwA(f)\Omega^{A}_{\mbox{gw}}(f) can be understood as a function of the observable ShA(f)S^{A}_{h}(f) rather than the fractional energy density.

Many theoretical models of SGWB predict that the shape of ΩgwA(f)\Omega^{A}_{\mbox{gw}}(f) can be modeled as power laws [68], such that

ΩgwA(f)=Ω0αA(ff0)αA.\Omega^{A}_{\mbox{gw}}(f)=\Omega^{\alpha_{A}}_{0}\left(\frac{f}{f_{0}}\right)^{\alpha_{A}}. (2.10)

Here Ω0αA\Omega^{\alpha_{A}}_{0} is the amplitude of polarization AA at a reference frequency f0f_{0} and αA\alpha_{A} is the corresponding spectral index. For instance, the tensor polarization background from compact binary coalescences is modeled by power law with index αT=2/3\alpha_{T}=2/3 [56] and for the inflationary cosmic background is αT=0\alpha_{T}=0 [77].

2.2 LISA-TianQin network

The LISA and TianQin are proposed space GW missions targeting to detect the GW in the frequency band 0.1 mHz – 1 Hz. The difference is that LISA is heliocentric orbit and TianQin is geocentric. In addition, the relative angle between their detecter plane will vary with time. TianQin has a geocentric orbit and consists of three satellite formations in a nearly equilateral triangle. Accurate to the first order, the coordinates of the three satellites of TianQin are [78]

rnTQ=r0TQ+RnTQ,\vec{r}^{TQ}_{n}=\vec{r}^{TQ}_{0}+\vec{R}^{TQ}_{n}, (2.11)

where r0TQ=(x0TQ,y0TQ,z0TQ)\vec{r}^{TQ}_{0}=(x^{TQ}_{0},y^{TQ}_{0},z^{TQ}_{0}) is the geocentric coordinate,

x0TQ\displaystyle x^{TQ}_{0} =RcosαTQ+12eTQR(cos2αTQ3),\displaystyle=R\cos\alpha_{TQ}+\frac{1}{2}e^{TQ}R(\cos 2\alpha_{TQ}-3), (2.12)
y0TQ\displaystyle y^{TQ}_{0} =RsinαTQ+12eTQRsin2αTQ,\displaystyle=R\sin\alpha_{TQ}+\frac{1}{2}e^{TQ}R\sin 2\alpha_{TQ},
z0TQ\displaystyle z^{TQ}_{0} =0,\displaystyle=0,

and RnTQ=(XnTQ,YnTQ,ZnTQ)\vec{R}^{TQ}_{n}=(X^{TQ}_{n},Y^{TQ}_{n},Z^{TQ}_{n}) are the coordinates of the satellites in the geocentric coordinate system,

XnTQ\displaystyle X^{TQ}_{n} =R1(cosϕssinθssinαn+cosαnsinϕs),\displaystyle=R_{1}\left(\cos\phi_{s}\sin\theta_{s}\sin\alpha_{n}+\cos\alpha_{n}\sin\phi_{s}\right), (2.13)
YnTQ\displaystyle Y^{TQ}_{n} =R1(sinϕssinθssinαncosαncosϕs),\displaystyle=R_{1}\left(\sin\phi_{s}\sin\theta_{s}\sin\alpha_{n}-\cos\alpha_{n}\cos\phi_{s}\right),
ZnTQ\displaystyle Z^{TQ}_{n} =R1sinαncosαn.\displaystyle=-R_{1}\sin\alpha_{n}\cos\alpha_{n}.

Here R=1AUR=1\text{AU}, eTQ=0.0167e^{TQ}=0.0167, αTQ=2πfmtα0\alpha_{TQ}=2\pi f_{m}t-\alpha_{0}, fm=1/yrf_{m}=1/\text{yr}, α0=102.9\alpha_{0}=102.9^{\circ}, αn=2πfsct+κn\alpha_{n}=2\pi f_{sc}t+\kappa_{n}, κn=2/3(n1)π\kappa_{n}=2/3(n-1)\pi, R1=1×108mR_{1}=1\times 10^{8}m, θs=4.7\theta_{s}=-4.7^{\circ}, ϕs=120.5\phi_{s}=120.5^{\circ}, fsc=1/(3.64days)f_{sc}=1/(3.64\text{days}) and n=1,2,3n=1,2,3 respectively denotes one of the three satellites. The detector plane orientation is fixed as (cosθscosϕs,cosθssinϕs,sinθs)(\cos\theta_{s}\cos\phi_{s},\cos\theta_{s}\sin\phi_{s},\sin\theta_{s}) and the arm length is LTQ=3×108mL^{TQ}=\sqrt{3}\times 10^{8}\text{m}. The displacement measurement noise SxTQ=1×1012m/Hz1/2\sqrt{S^{TQ}_{x}}=1\times 10^{-12}\text{m}/\text{Hz}^{-1/2} and the residual acceleration noise SaTQ=1×1015m s2/Hz1/2\sqrt{S^{TQ}_{a}}=1\times 10^{-15}\text{m s}^{-2}/\text{Hz}^{-1/2}. LISA has a heliocentric orbit at 2020^{\circ} behind the Earth. The satellite formation consists of three satellites to form an approximate equilateral triangle [79], and the coordinates of the three LISA satellites are rnLS=(xnLS,ynLS,znLS)r^{LS}_{n}=(x^{LS}_{n},y^{LS}_{n},z^{LS}_{n}), namely,

xnLS\displaystyle x^{LS}_{n} =RcosαLS+12eLSR(cos(2αLSκn)3cosκn),\displaystyle=R\cos\alpha_{LS}+\frac{1}{2}e^{LS}R\left(\cos\left(2\alpha_{LS}-\kappa_{n}\right)-3\cos\kappa_{n}\right), (2.14)
ynLS\displaystyle y^{LS}_{n} =RsinαLS+12eLSR(sin(2αLSκn)3sinκn),\displaystyle=R\sin\alpha_{LS}+\frac{1}{2}e^{LS}R\left(\sin\left(2\alpha_{LS}-\kappa_{n}\right)-3\sin\kappa_{n}\right),
znLS\displaystyle z^{LS}_{n} =3eLSRcos(αLSκn),\displaystyle=-\sqrt{3}e^{LS}R\cos(\alpha_{LS}-\kappa_{n}),

where αLS=αTQ20\alpha_{LS}=\alpha_{TQ}-20^{\circ} and eLS=0.0048e^{LS}=0.0048. The detector plane is inclined to the orbit plane by 6060^{\circ} and the arm length is LLS=2.5×109mL^{LS}=2.5\times 10^{9}\text{m}. The displacement measurement noise SxLS=1.5×1011m/Hz1/2\sqrt{S^{LS}_{x}}=1.5\times 10^{-11}\text{m}/\text{Hz}^{-1/2} and the residual acceleration noise SaLS=3×1015m s2/Hz1/2\sqrt{S^{LS}_{a}}=3\times 10^{-15}\text{m s}^{-2}/\text{Hz}^{-1/2}.

2.3 Noise and response for time delay interferometry

Refer to caption
Figure 1: The configuration of the space-based laser interferometry consists of laser sources and links.

There are six laser links between the three satellites. Laser noise can be effectively reduced by constructing time delay interferometry combinations. Any TDI combination can be expressed in terms of a polynomial of the delay operator acting on the six received signals,

sTDI=iPisi.s_{TDI}=\sum_{i}P_{i}s_{i}. (2.15)

Here i=1,2,3,1,2,3i=1,2,3,1^{\prime},2^{\prime},3^{\prime} represents a link respectively: 212\rightarrow 1, 323\rightarrow 2, 131\rightarrow 3, 313\rightarrow 1, 121\rightarrow 2, 232\rightarrow 3. The detector configuration is illustrated in figure 1. The time delay operator is defined as Disj(t)=sj(tLi/c)D_{i}s_{j}(t)=s_{j}(t-L_{i}/c), and converted to the frequency domain to D~i=ei2πfLi/c\tilde{D}_{i}=e^{-i2\pi fL_{i}/c}. For example, the coefficients of the first-generation TDI Michelson combination XX are given by

P1\displaystyle P_{1} =D221,P2=0,P3=D2D332\displaystyle=D_{2^{\prime}2}-1,P_{2}=0,P_{3}=D_{2^{\prime}}-D_{33^{\prime}2^{\prime}} (2.16)
P1\displaystyle P_{1^{\prime}} =1D33,P2=D223D3,P3=0,\displaystyle=1-D_{33^{\prime}},P_{2^{\prime}}=D_{2^{\prime}23}-D_{3},P_{3^{\prime}}=0,

which represents a laser interferometry link:

[12131][13121].[1\rightarrow 2\rightarrow 1\rightarrow 3\rightarrow 1]-[1\rightarrow 3\rightarrow 1\rightarrow 2\rightarrow 1].

The equivalent expressions for Michelson channel YY and ZZ can be obtained by permuting the label {1,2,3}\{1,2,3\}. Three noise-orthogonal channels can be constrained by the linear combinations of X,Y,ZX,Y,Z,

A=ZX2,E=X2Y+Z6,T=X+Y+Z3.A=\frac{Z-X}{\sqrt{2}},E=\frac{X-2Y+Z}{\sqrt{6}},T=\frac{X+Y+Z}{\sqrt{3}}. (2.17)

After removing the phase noise, there are residual acceleration noise and displacement measurement noise in the TDI combination. The power spectral densities (PSDs) of the remaining noises is

Pn,TDI=\displaystyle P_{n,TDI}= 1L2[C1Sx(1+(2mHz/f)4)\displaystyle\frac{1}{L^{2}}\left[C_{1}S_{x}\left(1+(2\text{mHz}/f)^{4}\right)\right. (2.18)
+(2C1+C2cosβ)Sa(1+(0.4mHz/f)2)(1+(f/8mHz)2)(2πf)4],\displaystyle\left.+(2C_{1}+C_{2}\cos\beta)\frac{S_{a}\left(1+(0.4\text{mHz}/f)^{2}\right)\left(1+(f/8\text{mHz})^{2}\right)}{(2\pi f)^{4}}\right],

where β=2πfL/c\beta=2\pi fL/c and the coefficients

C1\displaystyle C_{1} =i|P~i|2,\displaystyle=\sum_{i}|\tilde{P}_{i}|^{2}, (2.19)
C2\displaystyle C_{2} =(P~1P~2+P~2P~3+P~3P~1).\displaystyle=\Re(\tilde{P}_{1}\tilde{P}^{*}_{2^{\prime}}+\tilde{P}_{2}\tilde{P}^{*}_{3^{\prime}}+\tilde{P}_{3}\tilde{P}^{*}_{1^{\prime}}).

For example, the PSD of XX channel is

Pn,X=\displaystyle P_{n,X}= 16sin2βL2[Sx(1+(2mHz/f)4)\displaystyle\frac{16\sin^{2}\beta}{L^{2}}\left[S_{x}\left(1+(2\text{mHz}/f)^{4}\right)\right. (2.20)
+Sa(1+(0.4mHz/f)2)(1+(f/8mHz)2)(2πf)4(3+cos2β)].\displaystyle\left.+\frac{S_{a}\left(1+(0.4\text{mHz}/f)^{2}\right)\left(1+(f/8\text{mHz})^{2}\right)}{(2\pi f)^{4}}(3+\cos 2\beta)\right].

The PSDs of X and A channel for LISA and TianQin are shown in figure 2.

Refer to caption
Figure 2: The PSD Pn(f)P_{n}(f) for different channels. The solid and dashed lines denote the X and A channels respectively. And we adopt the red/blue to label the LISA/TianQin.

Since the gravitational waves are weak, it is accurate enough to calculate the detecter response to the linear order. In frequency domain, the gravitational waves signal can be expressed as [68]

h~(f)=d2Ωn^AFA(f,n^)hA(f,n^),\tilde{h}(f)=\int d^{2}\Omega_{\hat{n}}\sum_{A}F^{A}(f,\hat{n})h_{A}(f,\hat{n}), (2.21)

the response function FA(f,n^)=Rab(f,n^)eabA(n^)F^{A}(f,\hat{n})=R^{ab}(f,\hat{n})e^{A}_{ab}(\hat{n}). The response for any TDI channel (2.15) is

RTDIab=iPiRab(f,n^,u^i,ri),R_{TDI}^{ab}=\sum_{i}P_{i}R^{ab}\left(f,\hat{n},\hat{u}_{i},\vec{r}_{i}\right), (2.22)

where Rab(f,n^,u^i,ri)R^{ab}\left(f,\hat{n},\hat{u}_{i},\vec{r}_{i}\right) is the impulse response of a single arm, u^i\hat{u}_{i} is the direction unit vector of the arm and ri\vec{r}_{i} is the midpoint of arm. Here the choose of ri\vec{r}_{i} is different from the literature for the convenience of calculation, such that the impulse response become [80]

Rab(f,n^,u^,r)=12uaub𝒯u^(f,n^u^)ei2πfn^r/c,R^{ab}(f,\hat{n},\hat{u},\vec{r})=\frac{1}{2}u^{a}u^{b}\mathcal{T}_{\hat{u}}(f,\hat{n}\cdot\hat{u})e^{i2\pi f\hat{n}\cdot\vec{r}/c}, (2.23)

where

𝒯(f,n^u^)\displaystyle\mathcal{T}(f,\hat{n}\cdot\hat{u}) ci2πfL11+n^u^[eiπfLc(n^u^)eiπfLc(2+n^u^)]\displaystyle\equiv\frac{c}{i2\pi fL}\frac{1}{1+\hat{n}\cdot\hat{u}}\left[e^{\frac{i\pi fL}{c}(\hat{n}\cdot\hat{u})}-e^{-\frac{i\pi fL}{c}(2+\hat{n}\cdot\hat{u})}\right] (2.24)
=eiπfLcsinc(πfLc[1+n^u^])\displaystyle=e^{-\frac{i\pi fL}{c}}\operatorname{sinc}\left(\frac{\pi fL}{c}[1+\hat{n}\cdot\hat{u}]\right)

is the transfer function.

3 Correlation analysis

3.1 Cross-correlation signal

Usually, the SGWB is very weak, which is masked by the noise of the detector, and the characteristics are close to the noise. So it is difficult to distinguish the noise and the GWB signal in a single detector. The correlation analysis is a powerful method to detect SGWB [74]. We review this method and apply it to the LISA-TianQin network in this section.

We start with the output signals of the two detectors,

sI(t)=hI(t)+nI(t),\displaystyle s_{I}(t)=h_{I}(t)+n_{I}(t), (3.1)
sJ(t)=hJ(t)+nJ(t),\displaystyle s_{J}(t)=h_{J}(t)+n_{J}(t),

where I,JI,J respect TianQin and LISA in this paper. And the correlation signal is

SIJ=T/2T/2𝑑tsI(t)sJ(t),S_{IJ}=\int_{-T/2}^{T/2}dts_{I}(t)s_{J}(t), (3.2)

or in frequency domain

SIJ=𝑑f𝑑fδT(ff)s~I(f)s~J(f),S_{IJ}=\int_{-\infty}^{\infty}df\int_{-\infty}^{\infty}df^{\prime}\delta_{T}\left(f-f^{\prime}\right)\tilde{s}_{I}(f)\tilde{s}_{J}^{*}\left(f^{\prime}\right), (3.3)

where δT(f)=T/2T/2𝑑tei2πft=sin(πfT)πf\delta_{T}(f)=\int_{-T/2}^{T/2}dte^{-i2\pi ft}=\frac{\sin(\pi fT)}{\pi f}. Assume that the two detector noises are uncorrelated, the mean of the correlation signal is

μ=SIJ=𝑑f𝑑fδT(ff)h~I(f)h~J(f).\mu=\langle S_{IJ}\rangle=\int_{-\infty}^{\infty}df\int_{-\infty}^{\infty}df^{\prime}\delta_{T}\left(f-f^{\prime}\right)\left\langle\tilde{h}_{I}(f)\tilde{h}_{J}^{*}\left(f^{\prime}\right)\right\rangle. (3.4)

Combining eq. (2.5) and eq. (2.21),

h~I(f)h~J(f)=12δ(ff)A={T,V,B,L}ΓIJA(f)ShA(f),\left\langle\tilde{h}_{I}(f)\tilde{h}_{J}^{*}\left(f^{\prime}\right)\right\rangle=\frac{1}{2}\delta\left(f-f^{\prime}\right)\sum_{A=\{T,V,B,L\}}\Gamma_{IJ}^{A}(f)S_{h}^{A}(f), (3.5)

where the overlap reduction functions are

ΓIJT(f)=\displaystyle\Gamma^{T}_{IJ}(f)= 18πd2Ωn^A=+,×FIA(f,n^)FJA(f,n^),\displaystyle\frac{1}{8\pi}\int d^{2}\Omega_{\hat{n}}\sum_{A={+,\times}}F^{A}_{I}(f,\hat{n})F^{A*}_{J}(f,\hat{n}), (3.6)
ΓIJV(f)=\displaystyle\Gamma^{V}_{IJ}(f)= 18πd2Ωn^A=X,YFIA(f,n^)FJA(f,n^),\displaystyle\frac{1}{8\pi}\int d^{2}\Omega_{\hat{n}}\sum_{A={X,Y}}F^{A}_{I}(f,\hat{n})F^{A*}_{J}(f,\hat{n}),
ΓIJB(f)=\displaystyle\Gamma^{B}_{IJ}(f)= 14πd2Ωn^FIB(f,n^)FJB(f,n^),\displaystyle\frac{1}{4\pi}\int d^{2}\Omega_{\hat{n}}F^{B}_{I}(f,\hat{n})F^{B*}_{J}(f,\hat{n}),
ΓIJL(f)=\displaystyle\Gamma^{L}_{IJ}(f)= 14πd2Ωn^FIL(f,n^)FJL(f,n^).\displaystyle\frac{1}{4\pi}\int d^{2}\Omega_{\hat{n}}F^{L}_{I}(f,\hat{n})F^{L*}_{J}(f,\hat{n}).

We will calculate the ORFs in next subsection. So the mean of signal is

μ=T2𝑑fAΓIJA(f)ShA(f).\mu=\frac{T}{2}\int_{-\infty}^{\infty}df\sum_{A}\Gamma_{IJ}^{A}(f)S_{h}^{A}(f). (3.7)

Assume that the signal is much smaller than the noise, such that

s~i(f)si(f)n~i(f)ni(f)=12δ(ff)Pi(f).\left\langle\tilde{s}_{i}^{*}(f)s_{i}^{*}\left(f^{\prime}\right)\right\rangle\approx\left\langle\tilde{n}_{i}^{*}(f)n_{i}^{*}\left(f^{\prime}\right)\right\rangle=\frac{1}{2}\delta\left(f-f^{\prime}\right)P_{i}(f). (3.8)

The variance is

σ2=SIJ2SIJ2T4𝑑fPI(f)PJ(f).\sigma^{2}=\left\langle S_{IJ}^{2}\right\rangle-\langle S_{IJ}\rangle^{2}\approx\frac{T}{4}\int_{-\infty}^{\infty}dfP_{I}(f)P_{J}(f). (3.9)

So the signal-to-noise ratio (SNR) is

ρ=μσ=T𝑑fAΓIJA(f)ShA(f)𝑑fPI(f)PJ(f).\rho=\frac{\mu}{\sigma}=\sqrt{T}\frac{\int_{-\infty}^{\infty}df\sum_{A}\Gamma_{IJ}^{A}(f)S_{h}^{A}(f)}{\sqrt{\int_{-\infty}^{\infty}dfP_{I}(f)P_{J}(f)}}. (3.10)

A prerequisite for the cross-correlation analysis is that the ORFs remain constant for the duration of observation. LISA-TianQin does not meet this condition, so some improvements need to be made. The total observation time TT is divided into NN segments, with each segment ΔT\Delta T. ΔT\Delta T need to be greater than the light travel time between the two detectors and less than the time scale over which the ORF will vary. Therefore, ORFs in each segment can be treated as constants, labeled as ΓIJ,kA(f)\Gamma_{IJ,k}^{A}(f), and the cross-correlation analysis could be performance. The SNR for each segment is

ρk=ΔT𝑑fAΓIJ,kA(f)ShA(f)𝑑fPI(f)PJ(f),\rho_{k}=\sqrt{\Delta T}\frac{\int_{-\infty}^{\infty}df\sum_{A}\Gamma_{IJ,k}^{A}(f)S_{h}^{A}(f)}{\sqrt{\int_{-\infty}^{\infty}dfP_{I}(f)P_{J}(f)}}, (3.11)

and the total SNR for observation time TT reads

ρtotal=k=1Nρk2.\rho_{total}=\sqrt{\sum_{k=1}^{N}\rho_{k}^{2}}. (3.12)

3.2 Overlap reduction function

The overlap reduction function can be interpretation as the response of correlation of two detectors to the isotropic SGWB [68]. The overlap reduction function mainly depends on three factors: detector similarity, separation and orientation relative to one another. In the past literature, one usually considers two identical detectors placed in difference location. In fact, for detectors like LISA-TianQin, the different arm lengths result in slightly different frequency bands for their respective responses, which is an important factor leading to the reduction of ORF. On the other hand, changes in orbits cause ORFs to change over time. In addition, the small-antenna limit that applies to ground-based detectors is no longer always applicable to space-based detectors in the detection band. For example, the characteristic frequencies f=c/(2L)f=c/(2L) for LISA and TianQin are 0.06Hz0.06\text{Hz} and 0.86Hz0.86\text{Hz} respectively. the small-antenna limit required that the frequency much smaller than the characteristic frequencies. However, the most sensitive frequency band of LISA-TianQin is 10310^{-3}Hz – 10110^{-1} Hz, so the small antenna limit is not always satisfied. Based on the above considerations, the ORF of LISA-TianQin network deserves a careful discussion.

For any TDI channel, the ORF for AA polarization is

ΓTDIA(f)\displaystyle\Gamma_{TDI}^{A}(f) =18πd2Ωn^AFIA(f,n^)FJA(f,n^)\displaystyle=\frac{1}{8\pi}\int d^{2}\Omega_{\hat{n}}\sum_{A}F_{I}^{A}(f,\hat{n})F_{J}^{A^{*}}(f,\hat{n}) (3.13)
=18πi,jPI,iPJ,jd2Ωn^ARIab(f,n,u^I,i,rI,i)RJcd(f,n,u^J,j,rJ,j)eabAecdA\displaystyle=\frac{1}{8\pi}\sum_{i,j}P_{I,i}P_{J,j}^{*}\int d^{2}\Omega_{\hat{n}}\sum_{A}R_{I}^{ab}\left(f,n,\hat{u}_{I,i},\vec{r}_{I,i}\right)R_{J}^{cd^{*}}\left(f,n,\hat{u}_{J,j},\vec{r}_{J,j}\right)e_{ab}^{A}e_{cd}^{A}
=ei2(βJβI)32πi,jPI,iPJ,ju^I,iau^I,ibu^J,jcu^J,jdΓabcdA(αij,βI,βJ,u^I,i,u^J,j,sij),\displaystyle=\frac{e^{\frac{i}{2}\left(\beta_{J}-\beta_{I}\right)}}{32\pi}\sum_{i,j}P_{I,i}P_{J,j}^{*}\hat{u}_{I,i}^{a}\hat{u}_{I,i}^{b}\hat{u}_{J,j}^{c}\hat{u}_{J,j}^{d}\Gamma^{A}_{abcd}\left(\alpha_{ij},\beta_{I},\beta_{J},\hat{u}_{I,i},\hat{u}_{J,j},s_{ij}\right),

where βI=2πfLI/c\beta_{I}=2\pi fL_{I}/c , βJ=2πfLJ/c\beta_{J}=2\pi fL_{J}/c and

ΓabcdA\displaystyle\Gamma^{A}_{abcd} (αij,βI,βJ,u^I,i,u^J,j,s^ij)=d2Ωn^eiαijn^s^ij\displaystyle\left(\alpha_{ij},\beta_{I},\beta_{J},\hat{u}_{I,i},\hat{u}_{J,j},\hat{s}_{ij}\right)=\int d^{2}\Omega_{\hat{n}}e^{-i\alpha_{ij}\hat{n}\cdot\hat{s}_{ij}} (3.14)
×Asinc(βI2[1+n^u^I,i])sinc(βJ2[1+n^u^J,j])eabAecdA.\displaystyle\times\sum_{A}\operatorname{sinc}\left(\frac{\beta_{I}}{2}\left[1+\hat{n}\cdot\hat{u}_{I,i}\right]\right)\operatorname{sinc}\left(\frac{\beta_{J}}{2}\left[1+\hat{n}\cdot\hat{u}_{J,j}\right]\right)e_{ab}^{A}e_{cd}^{A}.

Here αij=2πfsij/c\alpha_{ij}=2\pi fs_{ij}/c, sij|Δxij|=|rJ,jrI,i|s_{ij}\equiv\left|\Delta\vec{x}_{ij}\right|=\left|\vec{r}_{J,j}^{\prime}-\vec{r}_{I,i}\right| and s^ij=Δxij/sij\hat{s}_{ij}=\Delta\vec{x}_{ij}/s_{ij}. To keep the definition consistent, the sum means eab+ecd++eab×ecd×e_{ab}^{+}e_{cd}^{+}+e_{ab}^{\times}e_{cd}^{\times} for A=TA=T, eabXecdX+eabYecdYe_{ab}^{X}e_{cd}^{X}+e_{ab}^{Y}e_{cd}^{Y} for A=VA=V, 2eabBecdB2e_{ab}^{B}e_{cd}^{B} for A=BA=B and 2eabLecdL2e_{ab}^{L}e_{cd}^{L} for A=LA=L. In this way, the ORF of any TDI channel can be disassembled and calculated between two separate arms. In general, the integral in eq. (3.14) can not be calculated analytically. In the short antenna limit β,β1\beta,\beta^{\prime}\ll 1, it can be calculated analytically [81, 74]. The result is

ΓabcdA(0)(α,s^)\displaystyle\Gamma_{abcd}^{A(0)}(\alpha,\hat{s}) =AA(0)(α)δabδcd+BA(0)(α)(δacδbd+δbcδad)\displaystyle=A^{A(0)}(\alpha)\delta_{ab}\delta_{cd}+B^{A(0)}(\alpha)\left(\delta_{ac}\delta_{bd}+\delta_{bc}\delta_{ad}\right) (3.15)
+CA(0)(α)(δabscsd+δcdsasb)\displaystyle+C^{A(0)}(\alpha)\left(\delta_{ab}s_{c}s_{d}+\delta_{cd}s_{a}s_{b}\right)
+DA(0)(α)(δacsbsd+δadsbsc\displaystyle+D^{A(0)}(\alpha)\left(\delta_{ac}s_{b}s_{d}+\delta_{ad}s_{b}s_{c}\right.
+δbcsasd+δbdsasc)+EA(0)(α)sasbscsd,\displaystyle\left.+\delta_{bc}s_{a}s_{d}+\delta_{bd}s_{a}s_{c}\right)+E^{A(0)}(\alpha)s_{a}s_{b}s_{c}s_{d},

where the coefficients is

XA(0)=(M(0))1YA(0).X^{A(0)}=(M^{(0)})^{-1}Y^{A(0)}. (3.16)

Here,

XA(0)=[AA(0)BA(0)CA(0)DA(0)EA(0)],M(0)=[96641624416264882416824412241],X^{A(0)}=\left[\begin{array}[]{c}A^{A(0)}\\ B^{A(0)}\\ C^{A(0)}\\ D^{A(0)}\\ E^{A(0)}\end{array}\right],M^{(0)}=\left[\begin{array}[]{rrrrr}9&6&6&4&1\\ 6&24&4&16&2\\ 6&4&8&8&2\\ 4&16&8&24&4\\ 1&2&2&4&1\\ \end{array}\right], (3.17)

and

YT(0)=32π[0j0(α)02j1(α)/αj2(α)/α2],Y^{T(0)}=32\pi\left[\begin{array}[]{c}0\\ j_{0}(\alpha)\\ 0\\ 2j_{1}(\alpha)/\alpha\\ j_{2}(\alpha)/\alpha^{2}\end{array}\right], (3.18)
YV(0)=32π[0j0(α)0j0(α)j1(α)/αj1(α)/α4j2(α)/α2],Y^{V(0)}=32\pi\left[\begin{array}[]{c}0\\ j_{0}(\alpha)\\ 0\\ j_{0}(\alpha)-j_{1}(\alpha)/\alpha\\ j_{1}(\alpha)/\alpha-4j_{2}(\alpha)/\alpha^{2}\end{array}\right], (3.19)
YB(0)=32π[j0(α)j0(α)2j1(α)/α2j1(α)/α2j2(α)/α2],Y^{B(0)}=32\pi\left[\begin{array}[]{c}j_{0}(\alpha)\\ j_{0}(\alpha)\\ 2j_{1}(\alpha)/\alpha\\ 2j_{1}(\alpha)/\alpha\\ 2j_{2}(\alpha)/\alpha^{2}\end{array}\right], (3.20)
YL(0)=16π[j0(α)2j0(α)2j1(α)/α2j0(α)4j1(α)/α4j0(α)(8/α21)j2(α)j1(α)/α].Y^{L(0)}=16\pi\left[\begin{array}[]{c}j_{0}(\alpha)\\ 2j_{0}(\alpha)\\ 2j_{1}(\alpha)/\alpha-2j_{0}(\alpha)\\ 4j_{1}(\alpha)/\alpha-4j_{0}(\alpha)\\ \left(8/\alpha^{2}-1\right)j_{2}(\alpha)-j_{1}(\alpha)/\alpha\end{array}\right]. (3.21)

So the ORF of any TDI channel in the small antenna limit is

ΓTDIA0(f)\displaystyle\Gamma_{TDI}^{A0}(f) =ei2(βJβI)32πi,jPI,iPJ,j{AA(0)(αij)\displaystyle=\frac{e^{\frac{i}{2}\left(\beta_{J}-\beta_{I}\right)}}{32\pi}\sum_{i,j}P_{I,i}P_{J,j}\left\{A^{A(0)}(\alpha_{ij})\right. (3.22)
+2BA(0)(αij)(1+u^I,iu^J,j)\displaystyle+2B^{A(0)}(\alpha_{ij})\left(1+\hat{u}_{I,i}\cdot\hat{u}_{J,j}\right)
+CA(0)(αij)((u^I,is^ij)2+(u^J,js^ij)2)\displaystyle+C^{A(0)}(\alpha_{ij})\left(\left(\hat{u}_{I,i}\cdot\hat{s}_{ij}\right)^{2}+\left(\hat{u}_{J,j}\cdot\hat{s}_{ij}\right)^{2}\right)
+4DA(0)(αij)(u^I,iu^J,j)(u^I,is^ij)(u^J,js^ij)\displaystyle+4D^{A(0)}(\alpha_{ij})\left(\hat{u}_{I,i}\cdot\hat{u}_{J,j}\right)\left(\hat{u}_{I,i}\cdot\hat{s}_{ij}\right)\left(\hat{u}_{J,j}\cdot\hat{s}_{ij}\right)
+EA(0)(αij)(u^I,is^ij)2(u^J,js^ij)2}.\displaystyle\left.+E^{A(0)}(\alpha_{ij})\left(\hat{u}_{I,i}\cdot\hat{s}_{ij}\right)^{2}\left(\hat{u}_{J,j}\cdot\hat{s}_{ij}\right)^{2}\right\}.

Notice that there is an extra phase factor ei2(βJβI)e^{\frac{i}{2}\left(\beta_{J}-\beta_{I}\right)}, due to the difference in the arm lengths of LISA and TianQin. For LISA-TianQin network, the phase factor ei2πf/65mHze^{i2\pi f/65\text{mHz}} can not ne ignored in the detection band.

Since the small antenna limit may not work well, we extend it slightly. We expand the eq. (3.14) as a Taylor series of the frequency ff. To the zeroth order term is the expression for the small antenna approximation above. Expanding to the next order, we obtain that

ΓabcdA2\displaystyle\Gamma_{abcd}^{A2} (αij,βI,βJ,u^I,i,u^J,j,s^ij)=ΓabcdA(0)(αij,s^ij)\displaystyle\left(\alpha_{ij},\beta_{I},\beta_{J},\hat{u}_{I,i},\hat{u}_{J,j},\hat{s}_{ij}\right)=\Gamma_{abcd}^{A(0)}\left(\alpha_{ij},\hat{s}_{ij}\right) (3.23)
+ΓabcdA(2)(αij,βI,u^I,i,s^ij)+ΓabcdA(2)(αij,βJ,u^J,j,s^ij),\displaystyle+\Gamma_{abcd}^{A(2)}\left(\alpha_{ij},\beta_{I},\hat{u}_{I,i},\hat{s}_{ij}\right)+\Gamma_{abcd}^{A(2)}\left(\alpha_{ij},\beta_{J},\hat{u}_{J,j},\hat{s}_{ij}\right),

where

ΓdbcdA(2)(α,β,u^,s^)\displaystyle\Gamma_{dbcd}^{A(2)}(\alpha,\beta,\hat{u},\hat{s}) =16d2Ωn^(β2[1+n^u^])2\displaystyle=-\frac{1}{6}\int d^{2}\Omega_{\hat{n}}\left(\frac{\beta}{2}[1+\hat{n}\cdot\hat{u}]\right)^{2} (3.24)
×AeabAecdAeiαn^s^.\displaystyle\times\sum_{A}e_{ab}^{A}e_{cd}^{A}e^{-i\alpha\hat{n}\cdot\hat{s}}.

Following the same method, we construct it with δab\delta_{ab}, sas_{a} and uau_{a} under the premise of ensuring its symmetry. Then solve the linear equations for the coefficients, we can get the ORF of the second order. The details of calculation are provided in appendix A.

Refer to caption
Refer to caption
Figure 3: The tensor ORF of the XX channel for LISA-TianQin network. The real and imaginary parts of ORF are the left and right respectively, and the time is t=0t=0.
Refer to caption
Figure 4: The different polarization ORF of the AA channel for LISA-TianQin network. The ORF curve is plotted for that t=0t=0. And the real and imaginary parts are represented by different types of curves.
Refer to caption
Figure 5: The comparison of the A channel ORF of two scalar modes for t=0t=0. The left-hand side is the real part, and the right-hand side is the imaginary part.
Refer to caption
Figure 6: The ORF at different times. The left and right sides from top to bottom are the real and imaginary parts of the ORF at t=0t=0, t=1dayt=1\text{day} and t=yr/2t=\text{yr}/2 respectively.

In order to quantify the accuracy of the expand ORF, we compared the zero-order (small antenna approximation) and second-order with numerical integration, as shown in figure 3, taking the XX channel as an example . For frequencies below the characteristic frequency f<c/(2LLS)=0.06Hzf<c/(2L^{LS})=0.06\text{Hz}, the second-order expression is more accurate than the zero-order expression, which is in good agreement with the numerical integration. If the phase factor ei2(βJβI)e^{\frac{i}{2}\left(\beta_{J}-\beta_{I}\right)} is ignored, the zero-order accuracy will be even worse. For frequencies above the characteristic frequency f>c/(2LLS)=0.06Hzf>c/(2L^{LS})=0.06\text{Hz}, the accuracy of second-order is worse compared with zero-order, since the error of second-order grows faster than zero-order’s. To improve accuracy, we choose to splice the two at the characteristic frequency,

ΓTDIA(f)={ΓTDIA0(f)fc/(2LLS)ΓTDIA2(f)f<c/(2LLS).\Gamma^{A}_{TDI}(f)=\begin{cases}\Gamma_{TDI}^{A0}(f)&f\geq c/(2L^{LS})\\ \Gamma_{TDI}^{A2}(f)&f<c/(2L^{LS})\end{cases}. (3.25)

They are smooth at the connection point, both equal to 0. This concatenated expression has high enough precision for SGWB data analysis. The detector is insensitive to frequency bands above the characteristic frequency due to loud noise and low response for SGWB. Also, even if the numerical integration method is used, the calculation for frequencies above the characteristic frequency is very slow and the result is inaccurate, due to the rapid oscillation caused by the high frequency.

In figure 4, we show the ORF of AA channel for different polarizations. We choose not to normalize the ORF, because normalization is thankless for the TDI combination of the LISA-TianQin network. Unlike ground-based detectors, TDI combinations are insensitive to low frequencies because of the virtual equal arm interferometric measurements. Actually, the ORF should be proportional to βIβJ\beta_{I}\beta_{J}. On the other hand, it is not trivial to define them co-located for any TDI channel, since LISA and TianQin have different arm lengths. Furthermore, the ORF of different polarizations also share some common characteristics. Their zero point distributions are similar: fnc/(2|Δx|)f\approx nc/(2|\Delta\vec{x}|), f=nc/(2LI)f=nc/(2L_{I}) and f=nc/(2LJ)f=nc/(2L_{J}). Due to the different arm lengths of the two detectors, TianQin is still sensitive in the frequency band f>c/(2LLS)60mHzf>c/(2L^{LS})\approx 60\text{mHz}, so the ORF does not decay rapidly to 0 beyond f=c/(2LLS)60mHzf=c/(2L^{LS})\approx 60\text{mHz}. The peak in the frequency band of 60mHz to 860mHz is mainly contributed by the response of Tianqin, although it has virtually no contribution to the SNR due to the intense noise. As the frequency continues to increase, the ORF will continue to decay, which is determined by the properties of the spherical Bessel function.

It is well acknowledged that the angular antenna response of the Michelson interferometer-type detector to breathing and longitudinal modes is degenerate at low frequency approximations, namely, FL(f,n^)=2FB(f,n^)F^{L}(f,\hat{n})=\sqrt{2}F^{B}(f,\hat{n}). This results in the degeneracy of the ORFs for the two scalar polarizations in the low frequency range, with a quantitative relationship of ΓL=2ΓB\Gamma^{L}=2\Gamma^{B}. However, as the frequency increases, the degeneracy between them is removed as shown in figure 5. This implies that it is possible to resolve two scalar modes through the LISA-TianQin network. The key point is that the degeneracy is broken, not how different the ORFs of the two scalar modes are, as distinguishing between the two modes requires different correlation channels to provide more information. As the quantitative relationship of ΓL=2ΓB\Gamma^{L}=2\Gamma^{B} always remains in the low frequency range, it does not provide any information to distinguish between the two scalar modes, regardless of the number of correlated channels added. In the high frequency range, the relationship of ΓL=2ΓB\Gamma^{L}=2\Gamma^{B} is no longer maintained, which means that the ratio of ΓL\Gamma^{L} and ΓB\Gamma^{B} for different correlation channels may vary. This provides the possibility of distinguishing between breathing and longitudinal modes.

What more, we plot the ORF for different polarizations at different times in figure 6. The time-varying property makes data analysis more difficult, but also increases the chance of resolving different polarizations. Correlations at different locations can be used as multi-correlation channels to distinguish between the four polarizations. Based on this idea, an algorithm can be developed to achieve the separation of different polarizations. And the accuracy of a polarization identification depends on how different the rate of change in time of its ORF is from other modes’. Details are provided in section 5.

4 Sensitivity for the background of alternative polarizations

Refer to caption
Figure 7: The SNR of power-law SGWB with different amplitude ΩA\Omega^{A} and index αA\alpha^{A} for different polarizations. The reference frequency is choose to be f0=1mHzf_{0}=1\text{mHz}. The A channel is chosen for calculation here and the rest of the article.
Refer to caption
Figure 8: The normalized SNR as a function of the cutoff frequency.

4.1 Optimal filter

In addition to the naive method of directly correlating the output of two detecters in section 3, the idea of matched filter is often used to improve the SNR. Matched filtering starts by multiplying the correlation signal (3.3) by a filter function,

Sm=𝑑f𝑑fδT(ff)s~I(f)s~J(f)Q(f).S_{m}=\int^{\infty}_{-\infty}df\int^{\infty}_{-\infty}df^{\prime}\delta_{T}(f-f^{\prime})\tilde{s}_{I}(f)\tilde{s}^{*}_{J}(f^{\prime})Q(f). (4.1)

The SNR is [74]

ρm2=T(3H022π2)2(Q,AΓIJA(f)ΩhA(f)f3PI(f)PJ(f))2(Q,Q),\rho_{m}^{2}=T\left(\frac{3H_{0}^{2}}{2\pi^{2}}\right)^{2}\frac{(Q,\frac{\sum_{A}\Gamma_{IJ}^{A}(f)\Omega^{A}_{h}(f)}{f^{3}P_{I}(f)P_{J}(f)})^{2}}{(Q,Q)}, (4.2)

where the inner product of AA and BB is defined as (A,B)𝑑fA(f)B(f)PI(f)PJ(f)(A,B)\equiv\int_{-\infty}^{\infty}dfA^{*}(f)B(f)P_{I}(f)P_{J}(f). And the optimal filter is

Q(f)AΓIJA(f)ΩhA(f)f3PI(f)PJ(f),Q(f)\propto\frac{\sum_{A}\Gamma_{IJ}^{A}(f)\Omega^{A}_{h}(f)}{f^{3}P_{I}(f)P_{J}(f)}, (4.3)

when mean that the model and the actual energy-density spectrum match. The resulting optimal SNR is given by

ρoT3H022π2[𝑑f|AΓIJA(f)ΩhA(f)|2f6PI(f)PJ(f)]1/2.\rho_{o}\approx\sqrt{T}\frac{3H_{0}^{2}}{2\pi^{2}}\left[\int^{\infty}_{-\infty}df\frac{\left|\sum_{A}\Gamma_{IJ}^{A}(f)\Omega^{A}_{h}(f)\right|^{2}}{f^{6}P_{I}(f)P_{J}(f)}\right]^{1/2}. (4.4)

The premise of the above expression is that the noise amplitude is much larger than the signal. In general, it will be modified to [82]

ρo=T3H022π2[𝑑f|AΓIJA(f)ΩhA(f)|2f6M(f)]1/2,\rho_{o}=\sqrt{T}\frac{3H_{0}^{2}}{2\pi^{2}}\left[\int^{\infty}_{-\infty}df\frac{\left|\sum_{A}\Gamma_{IJ}^{A}(f)\Omega^{A}_{h}(f)\right|^{2}}{f^{6}M(f)}\right]^{1/2}, (4.5)

where

M(f)\displaystyle M(f) =PI(f)PJ(f)+Sh(f)(PI(f)ΓJJ(f)+PJ(f)ΓII(f))\displaystyle=P_{I}(f)P_{J}(f)+S_{h}(f)\left(P_{I}(f)\Gamma_{JJ}(f)+P_{J}(f)\Gamma_{II}(f)\right) (4.6)
+Sh2(f)(ΓIJ2(f)+ΓII(f)ΓJJ(f)).\displaystyle+S^{2}_{h}(f)\left(\Gamma^{2}_{IJ}(f)+\Gamma_{II}(f)\Gamma_{JJ}(f)\right).

Once again, considering the time-varying effect of LISA-TianQin, the total SNR after segmented processing is

ρo,total=T3H022π2[𝑑f|AΓ~IJA(f)ΩhA(f)|2f6M(f)]1/2,\rho_{o,total}=\sqrt{T}\frac{3H_{0}^{2}}{2\pi^{2}}\left[\int^{\infty}_{-\infty}df\frac{\left|\sum_{A}\tilde{\Gamma}_{IJ}^{A}(f)\Omega^{A}_{h}(f)\right|^{2}}{f^{6}M(f)}\right]^{1/2}, (4.7)

where the average ORFs is defined as

Γ~IJA(f)=1Nk=1N|ΓIJ,kA(f)|2.\tilde{\Gamma}_{IJ}^{A}(f)=\frac{1}{N}\sqrt{\sum_{k=1}^{N}|\Gamma_{IJ,k}^{A}(f)|^{2}}. (4.8)

Assuming that the spectrum of SGWB is power-law, the optimal SNR calculated by eq. (4.4) can be used to evaluate the detection capability of LISA-TianQin network for SGWB. We show the SNR of SGWB with different polarizations in figure 7, where the observation time is chosen as T=1yrT=1\text{yr} and the TDI channel is selected as channel A here and the rest of the article. The result shows that the LISA-TianQin network is more sensitive to tensor and vector polarizations than the two scalar polarizations. For example, for the same spectral index αA=2/3\alpha^{A}=2/3, in order to achieve a SNR of 10, the amplitudes at reference frequency for different polarizations are required to be: Ω0T=8.59×1012\Omega_{0}^{T}=8.59\times 10^{-12}, Ω0V=7.58×1012\Omega_{0}^{V}=7.58\times 10^{-12}, Ω0B=1.71×1011\Omega_{0}^{B}=1.71\times 10^{-11} and Ω0L=8.61×1012\Omega_{0}^{L}=8.61\times 10^{-12} . In addition, in order to find the most sensitive frequency band of LISA-TianQin, we define a normalized SNR as a function of the cutoff frequency,

ρ^o(fcut)=1ρoT3H022π2[20fcut𝑑f|AΓA(f)ΩhA(f)|2f6PI(f)PJ(f)]1/2.\hat{\rho}_{o}(f_{\text{cut}})=\frac{1}{\rho_{o}}\sqrt{T}\frac{3H_{0}^{2}}{2\pi^{2}}\left[2\int^{f_{\text{cut}}}_{0}df\frac{\left|\sum_{A}\Gamma^{A}(f)\Omega^{A}_{h}(f)\right|^{2}}{f^{6}P_{I}(f)P_{J}(f)}\right]^{1/2}. (4.9)

We show the function ρ^o(fcut)\hat{\rho}_{o}(f_{\text{cut}}) in figure 8 where the power-law SGWB with spectrum index αA=2/3\alpha_{A}=2/3 are assumed. The results show that the frequency band that contributes the most to the SNR of background from compact binary coalescences is 1mHz10mHz1\text{mHz}-10\text{mHz}. The contribution of high-frequency bands to the SNR is negligible, with each polarization SNR of more than 0.06Hz accounting for 8.5×1088.5\times 10^{-8}, 6.5×1086.5\times 10^{-8}, 7.7×1087.7\times 10^{-8} and 1.1×1071.1\times 10^{-7}, respectively. This reflects the fact that strong noise prevents high-frequency bands from being accurately detected at present. The error of the ORF in high frequency region does not matter. Of course, as detector technology advances, noise levels decrease, the development of high-precision ORFs in high frequency region is necessary to detect potential high-frequency sources. Also note that the curves for the scalar-breathing and the scalar-longitudinal mode are the same, since their responses are the same at low frequency approximations. If we increase the spectrum index, which means that the high frequency part of the SGWB is louder, the curves for the scalar-breathing and the scalar-longitudinal mode will be differentiated.

4.2 Parameter estimation accuracy

Refer to caption
Figure 9: The uncertainties of the amplitude ΩA\Omega^{A} and index αA\alpha^{A} for different polarizations. The uncertainties of the index αA\alpha^{A} are calculated with suitable amplitude parameters such that the SNR is 10.

Under the premise that the model is accurate, the optimal filter can not only improve the signal-to-noise ratio, but also provide an estimate of the model parameters. When the SNR is high enough, the Fisher information matrix (FIM) can be used to evaluate parameter estimation accuracy [83]. The FIM is defined by

Fab=T𝑑f(AΓA(f)ShA(f)θa)(AΓA(f)ShA(f)θb)PI(f)PJ(f),F_{ab}=T\int^{\infty}_{-\infty}df\frac{(\sum_{A}\Gamma^{A}(f)\frac{\partial S^{A}_{h}(f)}{\partial\theta_{a}})(\sum_{A}\Gamma^{A*}(f)\frac{\partial S^{A}_{h}(f)}{\partial\theta_{b}})}{P_{I}(f)P_{J}(f)}, (4.10)

and the estimate error of a parameter Δθa\Delta\theta_{a} is estimated from the inverse of FIM

Δθa=Faa1.\Delta\theta_{a}=\sqrt{F_{aa}^{-1}}. (4.11)

There are a total of eight parameters we need to estimate for a power law model that includes all polarizations. And the parameter estimation errors are given by

ΔΩ0A\displaystyle\Delta\Omega^{A}_{0} =1T2π23H02[𝑑f|ΓA(f)|2(f/f0)2αAf6PI(f)PJ(f)]1/2,\displaystyle=\frac{1}{\sqrt{T}}\frac{2\pi^{2}}{3H_{0}^{2}}\left[\int^{\infty}_{-\infty}df\frac{|\Gamma^{A}(f)|^{2}(f/f_{0})^{2\alpha_{A}}}{f^{6}P_{I}(f)P_{J}(f)}\right]^{-1/2}, (4.12)
ΔαA\displaystyle\Delta\alpha_{A} =1T2π23H021Ω0A[2𝑑f|ΓA(f)|2(f/f0)2αAln(f/f0)f6PI(f)PJ(f)]1/2.\displaystyle=\frac{1}{\sqrt{T}}\frac{2\pi^{2}}{3H_{0}^{2}}\frac{1}{\Omega^{A}_{0}}\left[2\int^{\infty}_{-\infty}df\frac{|\Gamma^{A}(f)|^{2}(f/f_{0})^{2\alpha_{A}}\ln(f/f_{0})}{f^{6}P_{I}(f)P_{J}(f)}\right]^{-1/2}.

The uncertainties of the amplitude ΩA\Omega^{A} and index αA\alpha^{A} for different polarizations are shown in figure 9. In general, the accuracies of the amplitude parameters for tensor and vector are higher than the two scalar polarizations. This means they are easier to detect. The uncertainties of the index are plotted with suitable amplitude parameters such that the SNR is 10. In such a case, the spectral parameter estimation accuracy of the two scalar modes is higher. Another point worth noting is that the uncertainty curves of the scalar-breathing mode and the scalar-longitudinal mode almost overlap because their ORFs are degenerate at low frequencies. And when the exponent increases, which means that the high frequency signal is stronger, the curves are not overlapping, because the degeneracy breaks at high frequency.

5 Polarization separation

If the alternative polarization really exists, different polarization modes will be mixed in the cross-correlation signal. We need suitable methods to distinguish difference modes in the cross-correlation signal. One possible approach is Bayesian model selection proposed in [23], which is adopted to detect alternative polarization background in the cross-correlation data of ground-based detecter [55, 56, 57]. This approach is efficient and easy to implement. However, it may be prone to bias if the model does not fit well with the true background.

If one want to get away from being bound by model assumptions, there is a intuitive method to separate polarizations using multiple detecters pairs [58]. Different detector pairs have different ORFs, which breaks the degeneracy between different polarizations and provides enough degrees of freedom to separate different polarizations. Notably, this approach can be implemented independently for each frequency bin. The accuracy of the results for each frequency bin depends on the corresponding signal and noise strength. However, this method requires a higher signal-to-noise than the previous method. Another disadvantage is that multiple detector pairs naturally mean that more than two detectors are required.

Since the LISA-TianQin network varies with orbits, their ORFs for difference polarizations varies accordingly as see in section 3. So their correlation signals at different positions respond differently to different polarizations, which means that it can be equivalently regarded as different detector pairs at different times. There is an opportunity to extract different polarization patterns from the data from the two detectors, using a similar approach to the multi-detector based approach [58].

The key point is to break the coupling of different polarizations in the data through multiple correlation channels. If data for nn detectors is available, a total of N=n(n1)/2N=n(n-1)/2 correlation channels can be constructed as

Zij(f)s~i(f)s~j(f),Z_{ij}(f)\propto\tilde{s}_{i}(f)\tilde{s}^{*}_{j}(f), (5.1)

where 1i<jn1\leq i<j\leq n. These statistics satisfy

𝒁(𝒇)=𝑴[ΩT(f)ΩV(f)ΩB(f)ΩL(f)],\left\langle\bm{Z(f)}\right\rangle=\bm{M}\begin{bmatrix}\Omega^{T}(f)\\ \Omega^{V}(f)\\ \Omega^{B}(f)\\ \Omega^{L}(f)\end{bmatrix}, (5.2)

where 𝒁(𝒇)=[Z12(f),Z13(f),,Z(n1)n(f)]T\bm{Z(f)}=[Z_{12}(f),Z_{13}(f),...,Z_{(n-1)n}(f)]^{T} and

𝑴=[Γ12TΓ12VΓ12BΓ12LΓ13TΓ13VΓ13BΓ13LΓ(n1)nTΓ(n1)nVΓ(n1)nBΓ(n1)nL]\bm{M}=\begin{bmatrix}\Gamma^{T}_{12}&\Gamma^{V}_{12}&\Gamma^{B}_{12}&\Gamma^{L}_{12}\\ \Gamma^{T}_{13}&\Gamma^{V}_{13}&\Gamma^{B}_{13}&\Gamma^{L}_{13}\\ ...&...&...&...\\ \Gamma^{T}_{(n-1)n}&\Gamma^{V}_{(n-1)n}&\Gamma^{B}_{(n-1)n}&\Gamma^{L}_{(n-1)n}\\ \end{bmatrix} (5.3)

is the detecter correlation matrix. If the rank of the matrix is greater than or equal to 4, rank(𝑴)4\text{rank}(\bm{M})\geq 4, the polarization components can be separated by inverting eq. (5.2), namely,

[Ω^T(f)Ω^V(f)Ω^B(f)Ω^L(f)]=𝑴(𝒇)1𝒁(𝒇).\begin{bmatrix}\hat{\Omega}^{T}(f)\\ \hat{\Omega}^{V}(f)\\ \hat{\Omega}^{B}(f)\\ \hat{\Omega}^{L}(f)\end{bmatrix}=\bm{M(f)}^{-1}\left\langle\bm{Z(f)}\right\rangle. (5.4)

In this way, the spectrum of each polarization component can be reconstructed from the detector data by eq. (5.4). However, the degeneracy of ORFs of two scalar polarizations for ground-based causes the rank of the detector correlation matrix to be at most 3. So the SGWB detected by the ground-based detector network can only be separated into tensor, vector and scalar components.

Two space-based detectors may achieve the capabilities of the above-mentioned ground-based detector network to distinguish polarizations in SGWB. It is only necessary to replace the different correlation channels with the correlation of the two space-based detectors at different positions. Below we use another description of maximum likelihood estimation mentioned in [68] to obtain the same result. First, the data is divided into NN segments (indexed by ii), and the duration of each segment of data ΔT\Delta T satisfies the condition that it is greater than the light travel time between the two detectors and less than the time scale of the ORF changes. A cross-correlation statistic can be constructed as

C^i(f)=2ΔT2π23H02f3s~1,i(f)s~2,i(f),\hat{C}_{i}(f)=\frac{2}{\Delta T}\frac{2\pi^{2}}{3H_{0}^{2}}f^{3}\tilde{s}_{1,i}(f)\tilde{s}^{*}_{2,i}(f), (5.5)

normalized such that the statistic’s mean is

C^i(f)=AΓiA(f)ΩA(f),\left\langle\hat{C}_{i}(f)\right\rangle=\sum_{A}\Gamma_{i}^{A}(f)\Omega^{A}(f), (5.6)

where ΓiA(f)\Gamma_{i}^{A}(f) is the ORF for i-th segment data. The statistic 𝑪^(𝒇)=[C^1(f),C^2(f),,C^N(f)]T\bm{\hat{C}(f)}=[\hat{C}_{1}(f),\hat{C}_{2}(f),...,\hat{C}_{N}(f)]^{T} acts as the role of different correlation channels 𝒁(𝒇)\bm{Z(f)}. And the variance is

σi2(f)=12ΔTΔf(2π23H02)2f6P1,i(f)P2,i(f)\sigma_{i}^{2}(f)=\frac{1}{2\Delta T\Delta f}\left(\frac{2\pi^{2}}{3H_{0}^{2}}\right)^{2}f^{6}P_{1,i}(f)P_{2,i}(f) (5.7)

where Δf\Delta f is the frequency bin width, P1,i(f)P_{1,i}(f) and P2,i(f)P_{2,i}(f) are the noise power spectral density of detectors.

The likelihood function for 𝑪^(𝒇)\bm{\hat{C}(f)} is

[𝑪^(𝒇)|𝒜]exp[iNf|C^i(f)AΓiA(f)ΩA(f)|22σi2(f)],\mathcal{L}[\bm{\hat{C}(f)}|\mathcal{A}]\propto\text{exp}\left[-\sum_{i}^{N}\sum_{f}\frac{|\hat{C}_{i}(f)-\sum_{A}\Gamma_{i}^{A}(f)\Omega^{A}(f)|^{2}}{2\sigma_{i}^{2}(f)}\right], (5.8)

where 𝒜=[ΩT(f),ΩV(f),ΩB(f),ΩL(f)]T\mathcal{A}=[\Omega^{T}(f),\Omega^{V}(f),\Omega^{B}(f),\Omega^{L}(f)]^{T} represent the fractional energy density of different polarizations. Equivalently, we can write it as

[𝑪^(𝒇)|𝒜]exp[12(𝑪^𝑴𝒜)𝒩1(𝑪^𝑴𝒜)],\mathcal{L}[\bm{\hat{C}(f)}|\mathcal{A}]\propto\exp\left[-\frac{1}{2}(\bm{\hat{C}}-\bm{M}\mathcal{A})^{\dagger}\mathcal{N}^{-1}(\bm{\hat{C}}-\bm{M}\mathcal{A})\right], (5.9)

where the detector correlation matrix becomes

𝑴=[Γ1TΓ1VΓ1BΓ1LΓ2TΓ2VΓ2BΓ2LΓNTΓNVΓNBΓNL].\bm{M}=\begin{bmatrix}\Gamma^{T}_{1}&\Gamma^{V}_{1}&\Gamma^{B}_{1}&\Gamma^{L}_{1}\\ \Gamma^{T}_{2}&\Gamma^{V}_{2}&\Gamma^{B}_{2}&\Gamma^{L}_{2}\\ ...&...&...&...\\ \Gamma^{T}_{N}&\Gamma^{V}_{N}&\Gamma^{B}_{N}&\Gamma^{L}_{N}\\ \end{bmatrix}. (5.10)

And the noise covariance matrix is 𝒩ij=δijσi2(f)\mathcal{N}_{ij}=\delta_{ij}\sigma_{i}^{2}(f).

Refer to caption
Figure 10: The efficient overlap functions for different polarizations.
Refer to caption
Figure 11: Equivalent sensitivity curves of different polarization components.
Refer to caption
Figure 12: The reconstructed spectrum for each polarizations by the equivalent multi-detector-based method. The data contains tensor and breathing polarisations: ΩT=8.59×1012(f/1mHz)2/3\Omega^{T}=8.59\times 10^{-12}(f/1\text{mHz})^{2/3} and ΩB=1.71×1011(f/1mHz)2/3\Omega^{B}=1.71\times 10^{-11}(f/1\text{mHz})^{2/3}. The red dashed line represents the actual injected spectrum, and the light blue solid line represents the reconstructed spectrum.

The maximum-likelihood estimator for the fractional energy density of different polarizations are [68]

𝒜^=F1X,\hat{\mathcal{A}}=F^{-1}X, (5.11)

where F=M𝒩1MF=M^{\dagger}\mathcal{N}^{-1}M, X=M𝒩1C^X=M^{\dagger}\mathcal{N}^{-1}\hat{C} are the Fisher matrices and ’dirty’ map for this analysis. The maximum-likelihood estimator 𝒜^\hat{\mathcal{A}} is equivalent to eq. (5.4), which is easier to calculate in practice and avoids finding the inverse of a huge matrix. After the data is available, the reconstructed spectrum of each polarization component can be obtained by calculating eq. (5.11) for each frequency. The error will be determined by the detector noise at that frequency and the degeneracy of ORFs of different polarizations. Specifically, the marginalized uncertainties of the maximum-likelihood estimates are given by the inverse of the Fisher matrices,

σΩA2=𝒜𝒜AA=(F1)AA.\sigma^{2}_{\Omega^{A}}=\left\langle\mathcal{A}\mathcal{A}^{\dagger}\right\rangle_{AA}=(F^{-1})_{AA}. (5.12)

Without loss of general, we assume that the noise power spectrum for different time segments are equal. The Fisher matrix is

FAB=iΓiAΓiB/σi2.F_{AB}=\sum_{i}\Gamma_{i}^{A}\Gamma_{i}^{B*}/\sigma_{i}^{2}. (5.13)

And the efficient overlap function can be defined by

ΓeffA(f)σΩA1σi=σi(F1)AA,\Gamma_{\text{eff}}^{A}(f)\equiv\sigma^{-1}_{\Omega^{A}}\sigma_{i}=\frac{\sigma_{i}}{\sqrt{(F^{-1})_{AA}}}, (5.14)

which can reflect the intensity of the response to different polarization components. The efficient overlap functions for LISA-TianQin network are shown in figure 10. The effective overlap functions of the two scalar components are significantly lower than that of tensors and vectors, due to the similar ORFs of scalar-breathing and scalar-longitudinal modes. In order to quantify the sensitivity of this method to different polarization components, detector noise should also be included. This is the role of uncertainties σΩA\sigma_{\Omega^{A}}, which are shown in figure 11. For a certain frequency ff, the intensity of AA component must meet ΩA(f)>σΩA(f)\Omega^{A}(f)>\sigma_{\Omega^{A}}(f) to be recognized.

To visually measure the method’s ability to distinguish between different polarizations, an overall SNR can be defined as

SNReffA\displaystyle\text{SNR}_{\text{eff}}^{A} =[0𝑑f|ΓeffA(f)ΩhA(f)|2σi2]1/2\displaystyle=\left[\int_{0}^{\infty}df\frac{|\Gamma^{A}_{\text{eff}}(f)\Omega_{h}^{A}(f)|^{2}}{\sigma_{i}^{2}}\right]^{1/2} (5.15)
=ΔT3H022π2[20𝑑f|ΓeffA(f)ΩhA(f)|2f6PI(f)PJ(f)]1/2.\displaystyle=\sqrt{\Delta T}\frac{3H_{0}^{2}}{2\pi^{2}}\left[2\int^{\infty}_{0}df\frac{\left|\Gamma_{\text{eff}}^{A}(f)\Omega^{A}_{h}(f)\right|^{2}}{f^{6}P_{I}(f)P_{J}(f)}\right]^{1/2}.

By convention, a SNR of 10 is considered to be a signal extract from the data. For an astronomical background spectrum with index α=2/3\alpha=2/3, the amplitudes at reference frequency, f0=1mHzf_{0}=1\text{mHz}, for different polarizations are required to be: Ω0T=1.27×1011\Omega_{0}^{T}=1.27\times 10^{-11}, Ω0V=9.55×1012\Omega_{0}^{V}=9.55\times 10^{-12}, Ω0B=1.43×1010\Omega_{0}^{B}=1.43\times 10^{-10} and Ω0L=7.23×1011\Omega_{0}^{L}=7.23\times 10^{-11} . Comparing with the results of optimal SNR, we find that the ability of the method to resolve vector polarization is the best, followed by tensor. The ability to distinguish two scalars is the worst, and the SNR is equivalent to 12% of the optimal SNR. For comparison, for the flat spectral index α=0\alpha=0, the amplitudes for different polarizations need to exceed: Ω0T=2.90×1011\Omega_{0}^{T}=2.90\times 10^{-11}, Ω0V=2.59×1011\Omega_{0}^{V}=2.59\times 10^{-11}, Ω0B=3.61×1010\Omega_{0}^{B}=3.61\times 10^{-10} and Ω0L=1.84×1010\Omega_{0}^{L}=1.84\times 10^{-10} .

To verify the ability of the above method in resolving polarization modes, we apply it to the simulated data of different situations. Notably, we simulated a mixture of tensor and breathing modes to examine whether it can distinguish between breathing and longitudinal modes. We simulate a year of data and divided it into 3600 segments, and the noise is generated according to eq. (5.7). The spectrum injected into each piece of data are ΩT=8.59×1012(f/1mHz)2/3\Omega^{T}=8.59\times 10^{-12}(f/1\text{mHz})^{2/3} and ΩB=1.71×1011(f/1mHz)2/3\Omega^{B}=1.71\times 10^{-11}(f/1\text{mHz})^{2/3}. The parameters are choose such that individual tensor and scalar-breathing components both correspond to an optimal SNR of 10, mixed together with an optimal SNR of 15. The spectrum for each polarization reconstructed with eq. (5.11) is shown in figure 12. The spectral accuracy of the reconstructed spectrum in the frequency domain 103Hz102Hz10^{-3}\text{Hz}-10^{-2}\text{Hz} is relatively high. It can be concluded that in the most sensitive frequency band, the different modes can indeed be distinguished. Even two scalar modes are capable of distinguishing, but the accuracy is worse than tensor or vector modes.

Refer to caption
Figure 13: The reconstructed spectrum for each polarizations by the equivalent multi-detector-based method in the case of all four modes. The spectra of each polarization are: ΩT=1.42×1011(f/1mHz)2/3\Omega^{T}=1.42\times 10^{-11}(f/1\text{mHz})^{2/3}, ΩV=1.62×1011\Omega^{V}=1.62\times 10^{-11}, ΩB=1.71×1011(f/1mHz)2/3\Omega^{B}=1.71\times 10^{-11}(f/1\text{mHz})^{2/3} and ΩL=8.61×1012(f/1mHz)2/3\Omega^{L}=8.61\times 10^{-12}(f/1\text{mHz})^{2/3}.
Refer to caption
Figure 14: The comparison of the reconstructed spectrum with observation time T=1yearsT=1\text{years} and T=5yearsT=5\text{years}. The injected spectra are the same as in figure 13.

As discussed above, the separate breathing mode of the two scalar modes will not be mistaken for longitudinal mode. Furthermore, some alternative theories of gravity would predict more complex mixed polarizations. On the other hand, the spectral index for different polarizations may be different. Therefore, we simulate a more complex case with all four polarizations at the same time, in which the spectral index of the vector mode is set to distinguish it from the other three. The special spectrum injected into the data are: ΩT=1.42×1011(f/1mHz)2/3\Omega^{T}=1.42\times 10^{-11}(f/1\text{mHz})^{2/3}, ΩV=1.62×1011\Omega^{V}=1.62\times 10^{-11}, ΩB=1.71×1011(f/1mHz)2/3\Omega^{B}=1.71\times 10^{-11}(f/1\text{mHz})^{2/3} and ΩL=8.61×1012(f/1mHz)2/3\Omega^{L}=8.61\times 10^{-12}(f/1\text{mHz})^{2/3}. The indices for tensor, breathing and longitudinal modes are set to 2/32/3, while the spectra of vector mode is set to be flat, namely, αV=0\alpha_{V}=0. As shown in figure 13, the spectra of each polarization are correctly reconstructed. The noise of the breathing and longitudinal modes is significantly greater than that of the other two modes, but each can be identified independently. The reconstructed polarization spectrum fall exactly near the injected true value, and the difference between the polarizations is only the strength of noise.

figure 14 shows the result of increasing the observation time for the same signal, where the parameters of the signal are exactly the same as figure 13, and the observation time is increased to 5 years. The SNR increases with observation time, specifically SNRT\text{SNR}\propto\sqrt{T}. Equivalently, five times the observation time would reduce the uncertainty by a factor of 2.2. This behavior is clearly presented in figure 14. The noise of the reconstruction spectrum observed over five years is significantly reduced for the same signal.

The simulation results verify the ability of the equivalent multi-detector-based method to separate different polarizations. The reconstructed spectrum for each polarization obtain by this method falls near the true value, and the uncertainty depends on the noise of the detector and the correlation between one component and other polarization component in the correlation matrix in eq. (5.10). It may be misunderstood that this correlation between different polarized components refers to their ORF similarity. In fact, it does not matter how many times the ORF for one mode is that for the other, what matters is how different the values of each of them change at different positions in orbit. For example, the degeneracy of breathing and longitudinal modes in the low frequency band results in the ORF for longitudinal mode being twice that of the breathing mode. But the key point is that this double relationship is always maintained in the low frequency band, regardless of how the detectors move. For high frequency bands, the degenerate relation is broken, and the ORFs of breathing and longitudinal modes have the opportunity to vary with time differently. The time-varying effect has been encapsulated in the equivalent ORFs ΓeffA(f)\Gamma_{\text{eff}}^{A}(f) constructed by the inverse of correlation matrix, which could quantifies the ability to separate polarization.

6 Discussion

In this paper, we studied the detectability of alternative polarizations of SGWB with LISA-TianQin network. The different orbits of LISA and TianQin make them very different from ground-based detectors. The relative orientation of their orbital planes changes with time, which means that the ORF will vary accordingly. In other words, the SGWB signal in their cross-correlation signal varies over time. This will pose certain challenges for data analysis. On the other hand, LISA-TianQin has advantages for resolving polarization modes in SGWB in principle.

TDI technology is applied to space gravitational wave detectors to suppress laser phase noise. Based on the small antenna approximation, we obtain the ORF of the second-order expansion of the frequency for any TDI channel. This method can be applied to any laser interferometric detector, even with different configurations and different arm lengths. For the LISA-TianQin network, the accuracy can be effectively improved in its most sensitive frequency band. Then we study the detectability of alternative polarizations in SGWB with LISA-TianQin network. We calculated the signal-to-noise ratio and parameter estimation accuracy of power-law SGWB with different polarization modes.

Once the SGWB is detected, it is necessary to distinguish different polarization modes from it. An equivalent multi-detector-based approach can be applied on the LISA-TianQin network, thanks to its special orbital variation. The ORFs of the LISA-TianQin network are different at different times, so they can be equivalently regarded as different detectors. In fact, the cross-correlated signals at different times form a system of linear equations for different polarization modes. In turn, the system of equations can be solved to obtain different polarization modes, including the influence of noise of course. Although this method does not rely on model assumptions, it requires a high signal-to-noise ratio. Its resolution at a certain frequency bar is affected by the degeneracy of the ORFs for different polarizations in addition to noise at that frequency bar. what’s more, it has more advantages in distinguishing scalar-breathing mode and scalar-longitudinal mode.

Our proposed method for resolving polarization relies on the change of relative orientation of the two detectors over time, with LISA-TianQin being the most pronounced due to differences in orbital configuration. However, our analysis can be extended to include any space-based detector. We will compare the resolution capabilities of different detector pairs and evaluate the ability improvement of multi-detector network cooperation as future work.

Appendix A Second order overlap reduction function of any TDI channel

The ORF frequency second-order expansion of any TDI channel requires the calculation of coefficients

ΓabcdA(2)(α,β,u^,s^)=16d2Ωn^(β2[1+n^u^])2AeabAecdAeiαn^s^.\Gamma_{abcd}^{A(2)}(\alpha,\beta,\hat{u},\hat{s})=-\frac{1}{6}\int d^{2}\Omega_{\hat{n}}\left(\frac{\beta}{2}[1+\hat{n}\cdot\hat{u}]\right)^{2}\sum_{A}e_{ab}^{A}e_{cd}^{A}e^{-i\alpha\hat{n}\cdot\hat{s}}. (A.1)

According to the symmetry of the index, we construct it with δab\delta_{ab}, sas_{a} and uau_{a}:

ΓabcdA(2)\displaystyle\Gamma_{abcd}^{A(2)} (α,β,u^)=AA(2)δabδcd+BA(2)(δacδbd+δbcδad)+C1A(2)(δabscsd+δcdsasb)\displaystyle(\alpha,\beta,\hat{u})=A^{A(2)}\delta_{ab}\delta_{cd}+B^{A(2)}\left(\delta_{ac}\delta_{bd}+\delta_{bc}\delta_{ad}\right)+C_{1}^{A(2)}\left(\delta_{ab}s_{c}s_{d}+\delta_{cd}s_{a}s_{b}\right) (A.2)
+C2A(2)(δabucud+δcduaub)+D1A(2)(δacsbsd+δadsbsc+δbcsasd+δbdsasc)\displaystyle+C_{2}^{A(2)}\left(\delta_{ab}u_{c}u_{d}+\delta_{cd}u_{a}u_{b}\right)+D_{1}^{A(2)}\left(\delta_{ac}s_{b}s_{d}+\delta_{ad}s_{b}s_{c}+\delta_{bc}s_{a}s_{d}+\delta_{bd}s_{a}s_{c}\right)
+D2A(2)(δacubud+δadubuc+δbcuaud+δbduauc)+E1A(2)sasbscsd+E2A(2)uaubucud\displaystyle+D_{2}^{A(2)}\left(\delta_{ac}u_{b}u_{d}+\delta_{ad}u_{b}u_{c}+\delta_{bc}u_{a}u_{d}+\delta_{bd}u_{a}u_{c}\right)+E_{1}^{A(2)}s_{a}s_{b}s_{c}s_{d}+E_{2}^{A(2)}u_{a}u_{b}u_{c}u_{d}
+E3A(2)(uaubscsd+sasbucud)+E4A(2)(uaucsbsd+uaudsbsc+ubucsasd+ubudsasc).\displaystyle+E_{3}^{A(2)}\left(u_{a}u_{b}s_{c}s_{d}+s_{a}s_{b}u_{c}u_{d}\right)+E_{4}^{A(2)}\left(u_{a}u_{c}s_{b}s_{d}+u_{a}u_{d}s_{b}s_{c}+u_{b}u_{c}s_{a}s_{d}+u_{b}u_{d}s_{a}s_{c}\right).

Contracting the expression with δabδcd\delta^{ab}\delta^{cd}, (δacδbd+δbcδad)\left(\delta^{ac}\delta^{bd}+\delta^{bc}\delta^{ad}\right),\dots,
(uaucsbsd+uaudsbsc+ubucsasd+ubudsasc)\left(u^{a}u^{c}s^{b}s^{d}+u^{a}u^{d}s^{b}s^{c}+u^{b}u^{c}s^{a}s^{d}+u^{b}u^{d}s^{a}s^{c}\right), the linear system of equations for the coefficients AA(2)A^{A(2)}, BA(2)B^{A(2)}, \dots, E4A(2)E_{4}^{A(2)} is obtained, which can be expressed as matrix equations as

M(2)XA(2)=YA(2).M^{(2)}X^{A(2)}=Y^{A(2)}. (A.3)

Here

M(2)=[9666441124η2624441616224η24(1+η2)6482+6η288η222η22(1+η2)8η2642+6η288η282η222(1+η2)8η241688η2244+20η244η28η24+12η24168η284+20η2244η248η24+12η21222η244η21η42η24η2122η224η24η412η24η224η22(1+η2)2(1+η2)8η28η22η22η22(1+η4)8η24η24(1+η2)8η28η24+12η24+12η24η24η28η24(1+η2)2],M^{(2)}=\left[\begin{array}[]{cccccccccccc}9&6&6&6&4&4&1&1&2&4\eta^{2}\\ 6&24&4&4&16&16&2&2&4\eta^{2}&4\left(1+\eta^{2}\right)\\ 6&4&8&2+6\eta^{2}&8&8\eta^{2}&2&2\eta^{2}&2\left(1+\eta^{2}\right)&8\eta^{2}\\ 6&4&2+6\eta^{2}&8&8\eta^{2}&8&2\eta^{2}&2&2\left(1+\eta^{2}\right)&8\eta^{2}\\ 4&16&8&8\eta^{2}&24&4+20\eta^{2}&4&4\eta^{2}&8\eta^{2}&4+12\eta^{2}\\ 4&16&8\eta^{2}&8&4+20\eta^{2}&24&4\eta^{2}&4&8\eta^{2}&4+12\eta^{2}\\ 1&2&2&2\eta^{2}&4&4\eta^{2}&1&\eta^{4}&2\eta^{2}&4\eta^{2}\\ 1&2&2\eta^{2}&2&4\eta^{2}&4&\eta^{4}&1&2\eta^{2}&4\eta^{2}\\ 2&4\eta^{2}&2\left(1+\eta^{2}\right)&2\left(1+\eta^{2}\right)&8\eta^{2}&8\eta^{2}&2\eta^{2}&2\eta^{2}&2\left(1+\eta^{4}\right)&8\eta^{2}\\ 4\eta^{2}&4\left(1+\eta^{2}\right)&8\eta^{2}&8\eta^{2}&4+12\eta^{2}&4+12\eta^{2}&4\eta^{2}&4\eta^{2}&8\eta^{2}&4\left(1+\eta^{2}\right)^{2}\end{array}\right],
XA(2)=[AA(2),BA(2),C1A(2),C2A(2),D1A(2),D2A(2),E1A(2),E2A(2),E3A(2),E4A(2)]1,X^{A(2)}=\left[A^{A(2)},B^{A(2)},C_{1}^{A(2)},C_{2}^{A(2)},D_{1}^{A(2)},D_{2}^{A(2)},E_{1}^{A(2)},E_{2}^{A(2)},E_{3}^{A(2)},E_{4}^{A(2)}\right]^{-1},

where η=u^s^\eta=\hat{u}\cdot\hat{s}. And the coefficients in YA(2)Y^{A(2)} can be calculated by contracting eq. (A.1) with δabδcd\delta^{ab}\delta^{cd}, (δacδbd+δbcδad)\left(\delta^{ac}\delta^{bd}+\delta^{bc}\delta^{ad}\right),\dots For example,
YT(2)(1)=16d2Ωn^(β2[1+n^u^])2A=+,×eabAecdAδabδcdeiαn^s^=0Y^{T(2)}(1)=-\frac{1}{6}\int d^{2}\Omega_{\hat{n}}\left(\frac{\beta}{2}[1+\hat{n}\cdot\hat{u}]\right)^{2}\sum_{A=+,\times}e_{ab}^{A}e_{cd}^{A}\delta^{ab}\delta^{cd}e^{-i\alpha\hat{n}\cdot\hat{s}}=0. The solution of coefficient XA(2)X^{A(2)} is

XA(2)=(M(2))1YA(2).X^{A(2)}=(M^{(2)})^{-1}Y^{A(2)}. (A.4)

The coefficients YA(2)Y^{A(2)} for tensor, vector, scalar-breathing and scalar-longitudinal modes are

YT(2)=4πβ23[0j0(α)+(2iη1/α)j1(α)+η2j2(α)00(3α2+4iηα+1)j2(α)+η4j4(α)+(6η2α+2iη(η21))j3(α)3j1(α)α(2(η22)5α2+4iηα)j2(α)+2η2j3(α)α2j1(α)α{(8α3+2iηα2η2α)j3(α)+(11α2+2iη(η21)α)j4(α)+(η4+4η252α+14iη(η21)2)j5(α)+18(η2+1)(η21)2j6(α)}(η2+1)j4(α)α2+(2(η25)α3+2iηα2)j3(α)(15η46η21)j4(α)2α2+(824η2α3+2iη(5η23)α2)j3(α)(2(3η46η2+7)α2+2iη(η21)α)j4(α)+(6η226α3+2i(3η3+η)α2)j3(α)+(η41)j5(α)α],Y^{T(2)}=\frac{4\pi\beta^{2}}{3}\left[\begin{array}[]{c}0\\ -j_{0}(\alpha)+(2i\eta-1/\alpha)j_{1}(\alpha)+\eta^{2}j_{2}(\alpha)\\ 0\\ 0\\ \left(\frac{3}{\alpha^{2}}+\frac{4i\eta}{\alpha}+1\right)j_{2}(\alpha)+\eta^{4}j_{4}(\alpha)+\left(-\frac{6\eta^{2}}{\alpha}+2i\eta\left(\eta^{2}-1\right)\right)j_{3}(\alpha)-\frac{3j_{1}(\alpha)}{\alpha}\\ \left(\frac{2\left(\eta^{2}-2\right)}{5\alpha^{2}}+\frac{4i\eta}{\alpha}\right)j_{2}(\alpha)+\frac{2\eta^{2}j_{3}(\alpha)}{\alpha}-\frac{2j_{1}(\alpha)}{\alpha}\\ \left\{\begin{aligned} &\left(-\frac{8}{\alpha^{3}}+\frac{2i\eta}{\alpha^{2}}-\frac{\eta^{2}}{\alpha}\right)j_{3}(\alpha)+\left(\frac{11}{\alpha^{2}}+\frac{2i\eta\left(\eta^{2}-1\right)}{\alpha}\right)j_{4}(\alpha)\\ &+\left(\frac{-\eta^{4}+4\eta^{2}-5}{2\alpha}+\frac{1}{4}i\eta\left(\eta^{2}-1\right)^{2}\right)j_{5}(\alpha)+\frac{1}{8}\left(\eta^{2}+1\right)\left(\eta^{2}-1\right)^{2}j_{6}(\alpha)\end{aligned}\right\}\\ \frac{\left(\eta^{2}+1\right)j_{4}(\alpha)}{\alpha^{2}}+\left(\frac{2\left(\eta^{2}-5\right)}{\alpha^{3}}+\frac{2i\eta}{\alpha^{2}}\right)j_{3}(\alpha)\\ \frac{\left(15\eta^{4}-6\eta^{2}-1\right)j_{4}(\alpha)}{2\alpha^{2}}+\left(\frac{8-24\eta^{2}}{\alpha^{3}}+\frac{2i\eta\left(5\eta^{2}-3\right)}{\alpha^{2}}\right)j_{3}(\alpha)\\ \left(\frac{2\left(3\eta^{4}-6\eta^{2}+7\right)}{\alpha^{2}}+\frac{2i\eta\left(\eta^{2}-1\right)}{\alpha}\right)j_{4}(\alpha)+\left(\frac{-6\eta^{2}-26}{\alpha^{3}}+\frac{2i\left(3\eta^{3}+\eta\right)}{\alpha^{2}}\right)j_{3}(\alpha)+\frac{\left(\eta^{4}-1\right)j_{5}(\alpha)}{\alpha}\end{array}\right],
YV(2)=4πβ23[0η2j2(α)+(2iη1α)j1(α)j0(α)00(14α2+8iηα)j2(α)12(η2+1)2j4(α)+(10η2+6αi(η3+η))j3(α)(η213α2+8iηα)j2(α)+(6η2+10α2iη)j3(α)+(η21)j4(α){(10α3+6iηα2)j3(α)+(9η2+7α2+iη(η23)α)j4(α)+(15η418η212αiη3(η21))j5(α)+12(η2η6)j6(α)}(η29α3+6iηα2)j3(α)+(4(η2+3)α22iηα)j4(α)+(η21)j5(α)α(1030η2α3+4iη(4η21)α2)j3(α)+(15η2(η2+2)13α24iη(2η21)α)j4(α)+(15η4)j5(α)α{(11η229α3+4iη(η2+5)α2)j3(α)+(3η4+4η2172αiη(η21))j5(α)+(3η4+35η2+26α2iη(3η2+5)α)j4(α)+12(1η4)j6(α)}],Y^{V(2)}=\frac{4\pi\beta^{2}}{3}\left[\begin{array}[]{c}0\\ \eta^{2}j_{2}(\alpha)+\left(2i\eta-\frac{1}{\alpha}\right)j_{1}(\alpha)-j_{0}(\alpha)\\ 0\\ 0\\ \left(-\frac{14}{\alpha^{2}}+\frac{8i\eta}{\alpha}\right)j_{2}(\alpha)-\frac{1}{2}\left(\eta^{2}+1\right)^{2}j_{4}(\alpha)+\left(\frac{10\eta^{2}+6}{\alpha}-i\left(\eta^{3}+\eta\right)\right)j_{3}(\alpha)\\ \left(\frac{-\eta^{2}-13}{\alpha^{2}}+\frac{8i\eta}{\alpha}\right)j_{2}(\alpha)+\left(\frac{6\eta^{2}+10}{\alpha}-2i\eta\right)j_{3}(\alpha)+\left(-\eta^{2}-1\right)j_{4}(\alpha)\\ \left\{\begin{aligned} &\left(-\frac{10}{\alpha^{3}}+\frac{6i\eta}{\alpha^{2}}\right)j_{3}(\alpha)+\left(\frac{9\eta^{2}+7}{\alpha^{2}}+\frac{i\eta\left(\eta^{2}-3\right)}{\alpha}\right)j_{4}(\alpha)\\ &+\left(\frac{15\eta^{4}-18\eta^{2}-1}{2\alpha}-i\eta^{3}\left(\eta^{2}-1\right)\right)j_{5}(\alpha)+\frac{1}{2}\left(\eta^{2}-\eta^{6}\right)j_{6}(\alpha)\end{aligned}\right\}\\ \left(\frac{-\eta^{2}-9}{\alpha^{3}}+\frac{6i\eta}{\alpha^{2}}\right)j_{3}(\alpha)+\left(\frac{4\left(\eta^{2}+3\right)}{\alpha^{2}}-\frac{2i\eta}{\alpha}\right)j_{4}(\alpha)+\frac{\left(-\eta^{2}-1\right)j_{5}(\alpha)}{\alpha}\\ \left(\frac{10-30\eta^{2}}{\alpha^{3}}+\frac{4i\eta\left(4\eta^{2}-1\right)}{\alpha^{2}}\right)j_{3}(\alpha)+\left(\frac{15\eta^{2}\left(\eta^{2}+2\right)-13}{\alpha^{2}}-\frac{4i\eta\left(2\eta^{2}-1\right)}{\alpha}\right)j_{4}(\alpha)+\frac{\left(1-5\eta^{4}\right)j_{5}(\alpha)}{\alpha}\\ \left\{\begin{aligned} &\left(\frac{-11\eta^{2}-29}{\alpha^{3}}+\frac{4i\eta\left(\eta^{2}+5\right)}{\alpha^{2}}\right)j_{3}(\alpha)+\left(\frac{-3\eta^{4}+4\eta^{2}-17}{2\alpha}-i\eta\left(\eta^{2}-1\right)\right)j_{5}(\alpha)\\ &+\left(\frac{3\eta^{4}+35\eta^{2}+26}{\alpha^{2}}-\frac{i\eta\left(3\eta^{2}+5\right)}{\alpha}\right)j_{4}(\alpha)+\frac{1}{2}\left(1-\eta^{4}\right)j_{6}(\alpha)\end{aligned}\right\}\end{array}\right],
YB(2)=4πβ23[(η2+1)j2(α)+(2iη4α)j1(α)(η2+1)j2(α)+(2iη4α)j1(α)(12α2+4iηα)j2(α)+(η41)j4(α)+(106η2α+2iη(η21))j3(α)2(η2+1)j3(α)α+(2(η27)α2+4iηα)j2(α)(12α2+4iηα)j2(α)+(η41)j4(α)+(106η2α+2iη(η21))j3(α)2(η2+1)αj3(α)+(2(η27)α2+4iηα)j2(α){(16α3+4iηα2)j3(α)+(2218η2α2+4iη(η21)α)j4(α)+14(η2+1)(η21)2j6(α)+(η4+6η25α+12iη(η21)2)j5(α)}2(η2+1)α2j4(α)+(4(η25)α3+4iηα2)j3(α)(2(3η46η2+7)α2+2iη(η21)α)j4(α)+(2i(3η3+η)α26η2+26α3)j3(α)+(η41)αj5(α)(21η418η2+13α2+2iη(η21)α)j4(α)+(2(27η2+5)α3+2iη(13η25)α2)j3(α)+(η41)αj5(α)]Y^{B(2)}=\frac{4\pi\beta^{2}}{3}\left[\begin{array}[]{c}\left(\eta^{2}+1\right)j_{2}(\alpha)+\left(2i\eta-\frac{4}{\alpha}\right)j_{1}(\alpha)\\ \left(\eta^{2}+1\right)j_{2}(\alpha)+\left(2i\eta-\frac{4}{\alpha}\right)j_{1}(\alpha)\\ \left(-\frac{12}{\alpha^{2}}+\frac{4i\eta}{\alpha}\right)j_{2}(\alpha)+\left(\eta^{4}-1\right)j_{4}(\alpha)+\left(\frac{10-6\eta^{2}}{\alpha}+2i\eta\left(\eta^{2}-1\right)\right)j_{3}(\alpha)\\ \frac{2\left(\eta^{2}+1\right)j_{3}(\alpha)}{\alpha}+\left(\frac{2\left(\eta^{2}-7\right)}{\alpha^{2}}+\frac{4i\eta}{\alpha}\right)j_{2}(\alpha)\\ \left(-\frac{12}{\alpha^{2}}+\frac{4i\eta}{\alpha}\right)j_{2}(\alpha)+\left(\eta^{4}-1\right)j_{4}(\alpha)+\left(\frac{10-6\eta^{2}}{\alpha}+2i\eta\left(\eta^{2}-1\right)\right)j_{3}(\alpha)\\ \frac{2\left(\eta^{2}+1\right)}{\alpha}j_{3}(\alpha)+\left(\frac{2\left(\eta^{2}-7\right)}{\alpha^{2}}+\frac{4i\eta}{\alpha}\right)j_{2}(\alpha)\\ \left\{\begin{aligned} &\left(-\frac{16}{\alpha^{3}}+\frac{4i\eta}{\alpha^{2}}\right)j_{3}(\alpha)+\left(\frac{22-18\eta^{2}}{\alpha^{2}}+\frac{4i\eta\left(\eta^{2}-1\right)}{\alpha}\right)j_{4}(\alpha)\\ &+\frac{1}{4}\left(\eta^{2}+1\right)\left(\eta^{2}-1\right)^{2}j_{6}(\alpha)+\left(\frac{-\eta^{4}+6\eta^{2}-5}{\alpha}+\frac{1}{2}i\eta\left(\eta^{2}-1\right)^{2}\right)j_{5}(\alpha)\end{aligned}\right\}\\ \frac{2\left(\eta^{2}+1\right)}{\alpha^{2}}j_{4}(\alpha)+\left(\frac{4\left(\eta^{2}-5\right)}{\alpha^{3}}+\frac{4i\eta}{\alpha^{2}}\right)j_{3}(\alpha)\\ \left(\frac{2\left(3\eta^{4}-6\eta^{2}+7\right)}{\alpha^{2}}+\frac{2i\eta\left(\eta^{2}-1\right)}{\alpha}\right)j_{4}(\alpha)+\left(\frac{2i\left(3\eta^{3}+\eta\right)}{\alpha^{2}}-\frac{6\eta^{2}+26}{\alpha^{3}}\right)j_{3}(\alpha)+\frac{\left(\eta^{4}-1\right)}{\alpha}j_{5}(\alpha)\\ \left(\frac{21\eta^{4}-18\eta^{2}+13}{\alpha^{2}}+\frac{2i\eta\left(\eta^{2}-1\right)}{\alpha}\right)j_{4}(\alpha)+\left(-\frac{2\left(27\eta^{2}+5\right)}{\alpha^{3}}+\frac{2i\eta\left(13\eta^{2}-5\right)}{\alpha^{2}}\right)j_{3}(\alpha)+\frac{\left(\eta^{4}-1\right)}{\alpha}j_{5}(\alpha)\end{array}\right]

and

YL(2)=4πβ23[12(η2+1)j2(α)+(iη2α)j1(α)(η2+1)j2(α)+(2iη4α)j1(α)(8α2+6iηα)j2(α)(η2+1)η2j4(α)+(13η2+1α2iη3)j3(α)(2η26α2+6iηα)j2(α)+(5η2+9α2iη)j3(α)(η2+1)j4(α)(16α2+12iηα)j2(α)2(η2+1)η2j4(α)+2(13η2+1α2iη3)j3(α)(4(η2+3)α2+12iηα)j2(α)+2(5η2+9α2iη)j3(α)2(η2+1)j4(α){(18α3+15iηα2)j3(α)+(3(33η2+1)2α210iη3α)j4(α)+12(η6+η4)j6(α)+(η2(13η2+3)α+iη5)j5(α)}{(3(13η2+21)2α210iηα)j4(α)+(6(η2+2)α3+30iη2α2)j3(α)+(7η2+9α+iη)j5(α)+12(η2+1)j6(α)}{2(13η2+5α3+3iη(2η2+3)α2)j3(α)+(9η4+22η2+1α+2iη3)j5(α)+(12η4+77η2+13α22iη(7η2+3)α)j4(α)+(η4+η2)j6(α)}{(4(13η2+5)α3+12iη(2η2+3)α2)j3(α)+2(9η4+22η2+1α+2iη3)j5(α)+2(12η4+77η2+13α22iη(7η2+3)α)j4(α)+2(η4+η2)j6(α)}]Y^{L(2)}=\frac{4\pi\beta^{2}}{3}\left[\begin{array}[]{c}\frac{1}{2}\left(\eta^{2}+1\right)j_{2}(\alpha)+\left(i\eta-\frac{2}{\alpha}\right)j_{1}(\alpha)\\ \left(\eta^{2}+1\right)j_{2}(\alpha)+\left(2i\eta-\frac{4}{\alpha}\right)j_{1}(\alpha)\\ \left(-\frac{8}{\alpha^{2}}+\frac{6i\eta}{\alpha}\right)j_{2}(\alpha)-\left(\eta^{2}+1\right)\eta^{2}j_{4}(\alpha)+\left(\frac{13\eta^{2}+1}{\alpha}-2i\eta^{3}\right)j_{3}(\alpha)\\ \left(\frac{-2\eta^{2}-6}{\alpha^{2}}+\frac{6i\eta}{\alpha}\right)j_{2}(\alpha)+\left(\frac{5\eta^{2}+9}{\alpha}-2i\eta\right)j_{3}(\alpha)-\left(\eta^{2}+1\right)j_{4}(\alpha)\\ \left(-\frac{16}{\alpha^{2}}+\frac{12i\eta}{\alpha}\right)j_{2}(\alpha)-2\left(\eta^{2}+1\right)\eta^{2}j_{4}(\alpha)+2\left(\frac{13\eta^{2}+1}{\alpha}-2i\eta^{3}\right)j_{3}(\alpha)\\ \left(-\frac{4\left(\eta^{2}+3\right)}{\alpha^{2}}+\frac{12i\eta}{\alpha}\right)j_{2}(\alpha)+2\left(\frac{5\eta^{2}+9}{\alpha}-2i\eta\right)j_{3}(\alpha)-2\left(\eta^{2}+1\right)j_{4}(\alpha)\\ \left\{\begin{aligned} &\left(-\frac{18}{\alpha^{3}}+\frac{15i\eta}{\alpha^{2}}\right)j_{3}(\alpha)+\left(\frac{3\left(33\eta^{2}+1\right)}{2\alpha^{2}}-\frac{10i\eta^{3}}{\alpha}\right)j_{4}(\alpha)\\ &+\frac{1}{2}\left(\eta^{6}+\eta^{4}\right)j_{6}(\alpha)+\left(-\frac{\eta^{2}\left(13\eta^{2}+3\right)}{\alpha}+i\eta^{5}\right)j_{5}(\alpha)\end{aligned}\right\}\\ \left\{\begin{aligned} &\left(\frac{3\left(13\eta^{2}+21\right)}{2\alpha^{2}}-\frac{10i\eta}{\alpha}\right)j_{4}(\alpha)+\left(-\frac{6\left(\eta^{2}+2\right)}{\alpha^{3}}+\frac{30i\eta}{2\alpha^{2}}\right)j_{3}(\alpha)\\ &+\left(-\frac{7\eta^{2}+9}{\alpha}+i\eta\right)j_{5}(\alpha)+\frac{1}{2}\left(\eta^{2}+1\right)j_{6}(\alpha)\end{aligned}\right\}\\ \left\{\begin{aligned} &2\left(-\frac{13\eta^{2}+5}{\alpha^{3}}+\frac{3i\eta\left(2\eta^{2}+3\right)}{\alpha^{2}}\right)j_{3}(\alpha)+\left(-\frac{9\eta^{4}+22\eta^{2}+1}{\alpha}+2i\eta^{3}\right)j_{5}(\alpha)\\ &+\left(\frac{12\eta^{4}+77\eta^{2}+13}{\alpha^{2}}-\frac{2i\eta\left(7\eta^{2}+3\right)}{\alpha}\right)j_{4}(\alpha)+\left(\eta^{4}+\eta^{2}\right)j_{6}(\alpha)\end{aligned}\right\}\\ \left\{\begin{aligned} &\left(-\frac{4\left(13\eta^{2}+5\right)}{\alpha^{3}}+\frac{12i\eta\left(2\eta^{2}+3\right)}{\alpha^{2}}\right)j_{3}(\alpha)+2\left(-\frac{9\eta^{4}+22\eta^{2}+1}{\alpha}+2i\eta^{3}\right)j_{5}(\alpha)\\ &+2\left(\frac{12\eta^{4}+77\eta^{2}+13}{\alpha^{2}}-\frac{2i\eta\left(7\eta^{2}+3\right)}{\alpha}\right)j_{4}(\alpha)+2\left(\eta^{4}+\eta^{2}\right)j_{6}(\alpha)\end{aligned}\right\}\end{array}\right]

respectively.

Combining eq. (3.13), eq. (A.1) and eq. (A.2), we get the ORF frequency second-order expansion,

ΓIJA2(\displaystyle\Gamma_{IJ}^{A2}( f)=ei2(βJβI)32πi,jPI,iPJ,j{AA(0)+AIA(2)+AJA(2)+2(BA(0)+BIA(2)+BJA(2))(u^I,iu^J,j)2\displaystyle f)=\frac{e^{\frac{i}{2}(\beta_{J}-\beta_{I})}}{32\pi}\sum_{i,j}P_{I,i}P_{J,j}\bigg{\{}A^{A(0)}+A^{A(2)}_{I}+A^{A(2)}_{J}+2\left(B^{A(0)}+B^{A(2)}_{I}+B_{J}^{A(2)}\right)\left(\hat{u}_{I,i}\cdot\hat{u}_{J,j}\right)^{2} (A.5)
+(CA(0)+CI,1A(2)+CJ,1A(2))((u^I,is^ij)2+(u^J,js^ij)2)+(CI,2A(2)+CJ,2A(2))((u^I,iu^J,j)2+1)\displaystyle+\left(C^{A(0)}+C_{I,1}^{A(2)}+C_{J,1}^{A(2)}\right)\left(\left(\hat{u}_{I,i}\cdot\hat{s}_{ij}\right)^{2}+\left(\hat{u}_{J,j}\cdot\hat{s}_{ij}\right)^{2}\right)+\left(C_{I,2}^{A(2)}+C_{J,2}^{A(2)}\right)\left(\left(\hat{u}_{I,i}\cdot\hat{u}_{J,j}\right)^{2}+1\right)
+4(DA(0)+DI,1A(2)+DJ,1A(2))(u^I,iu^J,j)(u^I,is^ij)(u^J,js^ij)+4(DI,2A(2)+DJ,2A(2))(u^I,iu^J,j)2\displaystyle+4\left(D^{A(0)}+D_{I,1}^{A(2)}+D_{J,1}^{A(2)}\right)\left(\hat{u}_{I,i}\cdot\hat{u}_{J,j}\right)\left(\hat{u}_{I,i}\cdot\hat{s}_{ij}\right)\left(\hat{u}_{J,j}\cdot\hat{s}_{ij}\right)+4\left(D_{I,2}^{A(2)}+D_{J,2}^{A(2)}\right)\left(\hat{u}_{I,i}\cdot\hat{u}_{J,j}\right)^{2}
+(EA(0)+EI,1A(2)+EJ,1A(2))(u^I,is^ij)2(u^J,js^ij)2+(EI,2A(2)+EJ,2A(2))(u^I,iu^J,j)2\displaystyle+\left(E^{A(0)}+E_{I,1}^{A(2)}+E_{J,1}^{A(2)}\right)\left(\hat{u}_{I,i}\cdot\hat{s}_{ij}\right)^{2}\left(\hat{u}_{J,j}\cdot\hat{s}_{ij}\right)^{2}+\left(E_{I,2}^{A(2)}+E_{J,2}^{A(2)}\right)\left(\hat{u}_{I,i}\cdot\hat{u}_{J,j}\right)^{2}
+EI,3A(2)((u^js^ij)2+(u^I,is^ij)2(u^I,iu^J,j)2)+EJ,3A(2)((u^I,is^ij)2+(u^J,js^ij)2(u^I,iu^J,j)2)\displaystyle+E_{I,3}^{A(2)}\left(\left(\hat{u}^{\prime}_{j}\cdot\hat{s}_{ij}\right)^{2}+\left(\hat{u}_{I,i}\cdot\hat{s}_{ij}\right)^{2}\left(\hat{u}_{I,i}\cdot\hat{u}_{J,j}\right)^{2}\right)+E_{J,3}^{A(2)}\left(\left(\hat{u}_{I,i}\cdot\hat{s}_{ij}\right)^{2}+\left(\hat{u}_{J,j}\cdot\hat{s}_{ij}\right)^{2}\left(\hat{u}_{I,i}\cdot\hat{u}_{J,j}\right)^{2}\right)
+4(EI,4A(2)+EJ,4A(2))(u^I,iu^J,j)(u^I,is^ij)(u^J,js^ij)}.\displaystyle+4\left(E_{I,4}^{A(2)}+E_{J,4}^{A(2)}\right)\left(\hat{u}_{I,i}\cdot\hat{u}_{J,j}\right)\left(\hat{u}_{I,i}\cdot\hat{s}_{ij}\right)\left(\hat{u}_{J,j}\cdot\hat{s}_{ij}\right)\bigg{\}}.

Acknowledgments

This work is supported by the National Key R&D Program of China under Grant No. 2022YFC2204602, the Natural Science Foundation of China (Grants No. 12247154, No. 11925503), the Postdoctoral Science Foundation of China (Grant No. 2022M711259), Guangdong Major project of Basic and Applied Basic Research (Grant No. 2019B030302001).

References