引力波天文IV：数据分析方法

引力波天文系列文章将介绍引力波能观测到什么，如何观测，以及基本的数据分析方法。侧重于引力波的空间探测和分析，但核心的测量原理、仪器响应以及数据分析方法基本都是通用的。

• 研究目标：波源概述(基本波源及频谱划分)
• 探测技术：响应与灵敏度、空间探测技术
• 数据分析：数据分析方法、数据分析实践

本文介绍引力波数据的分析方法。

数据分析基础

上面推导的频域响应是严格的，但只针对特定的时刻：

$$s(t)|_{t_{\rm orbit}} = \mathcal{F}^{-1}\{ \tilde{s}(f)|_{t_{\rm orbit}}\}$$

只有$t=t_{\rm orbit}$的值才对应实际观测。随着$t_{\rm orbit}$改变，探测器位置改变，$\tilde{s}(f)$改变。
实际观测数据$\bar{s}(t_{\rm orbit})$是一系列不同位置处$s(t)$在对应时刻取值所组成的序列，对它做傅里叶变换得到的是？怎么得到前面推导的$\tilde{s}(f)$？

注意：对于双星绕转或并和等系统，$s(t)$是有傅里叶变换的。但探测器噪声$n(t)$以及随机背景信号$s(t)$都是随机过程，属于能量信号，严格讲是没有傅里叶变换的(积分发散)，只有功率谱，这也是为什么会引入特征应变$h_c(f)$。这里只是个记号，不求严谨。

$$\begin{aligned} d(t) = s(t) + n(t); ~~~ s(t) \equiv F^P(t) * h_P(t)\\ \tilde{d}(f) = \tilde{s}(f) + \tilde{n}(f); ~~~ \tilde{s}(f) = F^P(f) \tilde{h}_P(f) \end{aligned}$$

信噪比

$$\begin{aligned} d(t) = F^P(t) * h_P(t) + n(t)\\ \tilde{d}(f) = F^P(f) \tilde{h}_P(f) + \tilde{n}(f) \end{aligned}$$

在描述引力波信号时，不同偏振模式不能简单合并，有各自不同的转移函数，而且一般地$F^P$是复值函数。但不同引力波信号的功率(能量)可以直接相加：

$$\begin{aligned} S_h(f) = \sum_P |\tilde{h}_P(f)|^2 \leftrightarrow S_h(f) = \frac{1}{2}\sum_P |\tilde{h}_P(f)|^2 \end{aligned}$$

对各态历经的平稳随机过程，有两种等价的自(互)相关：

• 一种是系综平均：$E\{ d_I(t)d_J(t+\tau) \} ~~~ \big\langle d_I(t)d_J(t+\tau)\big\rangle$
• 一种是时间平均：$\lim_{T\rightarrow\infty} \frac{1}{T}\int_{-T/2}^{T/2} d_I(t)d_J(t+\tau) dt ~~~~ d_I(t) \star d_J(t+\tau)$
  相比函数的互相关$\int_{-\infty}^{\infty} f(t) g(t+\tau) dt$，多了对时间的平均？？为什么
  不同于一般互相关定义，这里互相关是包含时间平均的，具体参考Creighton & Anderson. 2011.

$$\langle x(t)x(t+\tau)\rangle = r^x(\tau), ~~~~ \langle \tilde{x}(f)\tilde{x}^*(f')\rangle = S(f)\delta(f-f')$$

$$\langle x^2(t)\rangle = r^x(0) = \int S(f)df, ~~~~ \langle |\tilde{x}(f)|^2\rangle = S(f)\delta(0)$$

通过探测信号自相关或互相关计算(互)功率谱，与
自相关$r^d(t_1, t_2) = E\{ d(t_1) d(t_2) \}; ~~ r^s(t_1, t_2) = E\{ s(t_1) s(t_2) \}$
互相关$r^d_{IJ}(t_1, t_2) = E\{ d_I(t_1) d_J(t_2) \}; ~~ r^s_{IJ}(t_1, t_2) = E\{ s_I(t_1) s_J(t_2) \}$
其中期望对应系综平均

对平稳随机过程自相关函数只与时间差有关，不随具体计算的时间点变化。
对各态历经过程，系综平均等于时间平均

自相关$r^s(t) = r^s(t_1-t_2) = \left\langle s(t) s(t) \right\rangle,~~~ S(f) = \tilde{s}(f)\tilde{s}^*(f) = |\tilde{s}(f)|^2$
互相关$r^s_{IJ}(t) = r^s_{IJ}(t_1 - t_2) = \left\langle s_I(t) \star s_J(t) \right\rangle,~~~ S_{IJ}(f) = \tilde{s}_I(f)\tilde{s}_J^*(f)$

$$r^s(t) = \int S(f) e^{i 2 \pi f t} df,~~~ \left\langle s^2(t) \right\rangle = r^s(0) = \int N(f) df$$

$$\left\langle s(t) \star s(t) \right\rangle \leftrightarrows \left\langle \tilde{s}(f)\tilde{s}^*(f) \right\rangle \leftrightarrows S(f)$$

$$r^s_{IJ}(t) = \int S_{IJ}(f) e^{i 2 \pi f t} df,~~~ \left\langle s_I(t)s_J(t) \right\rangle = r^s_{IJ}(0) = \int S_{IJ}(f) df$$

对于随机背景如果不做时间延迟，相关就是信号相乘并对时间积分，由于是随机过程，需要求系综平均，即多次测量求平均。噪声不相关求平均为0。

$$\left\langle d_I(t) d_J(t) \right\rangle = \left\langle s_I(t) s_J(t) \right\rangle$$

$$\begin{aligned} \left\langle d_I(t) d_J(t) d_I(t') d_J(t') \right\rangle =& \left\langle s_I(t)s_I(t') s_J(t)s_J(t') \right\rangle + \left\langle n_I(t) n_I(t') n_J(t)n_J(t') \right\rangle\\ &+ \left\langle s_I(t)s_I(t') n_J(t)n_J(t') \right\rangle + \left\langle n_I(t)n_I(t') s_J(t)s_J(t') \right\rangle \end{aligned}$$

$$\left\langle s_I(t)s_I(t') s_J(t)s_J(t') \right\rangle \leftrightarrow \left\langle s_I(t) s_J(t) \right\rangle\left\langle s_I(t') s_J(t') \right\rangle \leftrightarrow \left\langle s_I(t) s_I(t') \right\rangle\left\langle s_J(t) s_J(t') \right\rangle$$

$$\begin{aligned} &\left\langle d_I(t) d_J(t) d_I(t') d_J(t') \right\rangle - \left\langle s_I(t) s_J(t) \right\rangle\left\langle s_I(t') s_J(t') \right\rangle \\ &=\left\langle n_I(t) n_I(t') n_J(t)n_J(t') \right\rangle+ \left\langle s_I(t)s_I(t') n_J(t)n_J(t') \right\rangle + \left\langle n_I(t)n_I(t') s_J(t)s_J(t') \right\rangle\\ &=\left\langle n_I(t) n_I(t')\right\rangle \left\langle n_J(t)n_J(t') \right\rangle + \left\langle s_I(t)s_I(t')\right\rangle \left\langle n_J(t)n_J(t') \right\rangle + \left\langle n_I(t)n_I(t')\right\rangle \left\langle s_J(t)s_J(t') \right\rangle\\ \end{aligned}$$

在弱信号假设下$\left\langle s(t)s(t')\right\rangle \ll \left\langle n(t)n(t') \right\rangle$

$$\left\langle d_I(t) d_J(t) d_I(t') d_J(t') \right\rangle - \left\langle d_I(t) d_J(t) \right\rangle^2 \approx \left\langle n_I(t) n_I(t') \right\rangle \left\langle n_J(t)n_J(t') \right\rangle$$

考虑到引力波信号与噪声不相关：

$$r(t) = d \star d = s \star s + n \star n; ~~~ r_{IJ}(t) = d_I \star d_J = s_I \star s_J + n_I \star n_J$$

如果进一步假设不同探测器噪声不相关：

$$r(t) = s \star s + n \star n; ~~~ r_{IJ}(t) = s_I \star s_J$$

$$\left\langle d_1 d_2 \right\rangle = \left\langle s_1 s_2\right\rangle + \left\langle n_1 n_2\right\rangle + \left\langle s_1 n_2\right\rangle + \left\langle n_1 s_2\right\rangle$$

轨道平均 v.s. 方位平均
地基探测器：地球自转+公转
空间探测器：探测器自转+公转，卫星三角在探测器平面内自转，

信号功率谱描述

$$\begin{aligned} S(f) = |\tilde{s}(f)|^2 = \tilde{s}(f)\tilde{s}^*(f), ~~~S_h(f) = \textcolor{red}{\frac{1}{2}??} \sum_P |\tilde{h}_P(f)|^2 \end{aligned}$$

其中，$S_{\rm \tiny GW}(f)$为引力波信号原始功率为不同偏振模式信号功率之和。

由此可定义引力波的功率响应函数：

$$\boxed{\mathcal{R}(f) = \frac{S(f)}{S_h(f)} = \frac{\tilde{s}(f)\tilde{s}^*(f)}{\textcolor{red}{\frac{1}{2}??} \sum_P |\tilde{h}_P(f)|^2}}$$

通常说的引力波响应函数指的就是功率转移函数(power transfer function)

这里要有一个R(f)的曲线图，覆盖从PTA到地基观测的所有波段，参考Romano & Cornish 2017 P74

显然这里$\tilde{s}(f), S(f), \mathcal{R}(f)$都是依赖方位角及偏振角的函数。一般情况下，难以化简，但若对偏振角求平均

多探测器联合

$$\begin{aligned} \begin{pmatrix} F^{+}\\ F^{\times} \end{pmatrix} = \mathcal{R}_{2\psi} \begin{pmatrix} D^{+} \\ D^{\times} \end{pmatrix} = \begin{pmatrix} \cos 2\psi & -\sin 2\psi \\ \sin 2\psi & \cos 2\psi \end{pmatrix} \begin{pmatrix} D^{+} \\ D^{\times} \end{pmatrix} \end{aligned}$$

$$\begin{aligned} &\small F^{+} {F^{+}}^* = \cos^2 2\psi D^{+}{D^{+}}^* - \frac{1}{2}\sin 4\psi (D^{+} {D^{\times}}^* + {D^{+}}^*D^{\times} ) + \sin^2 2\psi D^{\times} {D^{\times}}^*\\ &\small F^{\times} {F^{\times}}^* = \sin^2 2\psi D^{+}{D^{+}}^* + \frac{1}{2}\sin 4\psi (D^{+} {D^{\times}}^* + {D^{+}}^*D^{\times} ) + \cos^2 2\psi D^{\times} {D^{\times}}^*\\ &\small F^{+} {F^{\times}}^* = \frac{1}{2}\sin 4\psi \left( D^{+}{D^{+}}^* - D^{\times}{D^{\times}}^* \right) + \cos^2 2\psi D^{+} {D^{\times}}^* - \sin^2 2\psi {D^{+}}^* D^{\times}\\ &\small {F^{+}}^* F^{\times} = \frac{1}{2}\sin 4\psi \left( D^{+}{D^{+}}^* - D^{\times}{D^{\times}}^* \right) + \cos^2 2\psi {D^{+}}^* D^{\times} - \sin^2 2\psi D^{+} {D^{\times}}^*\\ \end{aligned}$$

对于长周期信号，随着轨道运动
对轨道/探测器方位求平均$\left\langle D^{+} {D^{\times}}^* \right\rangle = \left\langle {D^{+}}^* D^{\times} \right\rangle$，从而有：

$$\begin{aligned} &\small \left\langle F^{+} {F^{+}}^*\right\rangle = \cos^2 2\psi \left\langle D^{+}{D^{+}}^*\right\rangle - \sin 4\psi \left\langle D^{+} {D^{\times}}^*\right\rangle + \sin^2 2\psi \left\langle D^{\times} {D^{\times}}^*\right\rangle\\ &\small \left\langle F^{\times} {F^{\times}}^*\right\rangle = \sin^2 2\psi \left\langle D^{+}{D^{+}}^*\right\rangle + \sin 4\psi \left\langle D^{+} {D^{\times}}^*\right\rangle + \cos^2 2\psi \left\langle D^{\times} {D^{\times}}^*\right\rangle\\ &\small \left\langle F^{+} {F^{\times}}^*\right\rangle = \left\langle {F^{+}}^* F^{\times}\right\rangle = \frac{1}{2}\sin 4\psi \left( \left\langle D^{+}{D^{+}}^*\right\rangle - \left\langle D^{\times}{D^{\times}}^*\right\rangle \right) + \cos 4\psi \left\langle D^{+} {D^{\times}}^*\right\rangle \end{aligned}$$

对长周期的单频信号(双白矮星)

进一步的，如果对偏振角求平均有：

$$\overline{ \left\langle F^P {F^{P'}}^* \right\rangle } = {\small \frac{ \left\langle {\left|D^{+}\right|}^2\right\rangle + \left\langle {\left|D^{\times}\right|}^2\right\rangle}{2} } \delta_{PP'}$$

$$\overline{ \left\langle F^+ {F^+}^* \right\rangle } = \overline{ \left\langle F^\times {F^\times}^* \right\rangle } = {\small \frac{ \left\langle {\left|D^{+}\right|}^2\right\rangle + \left\langle {\left|D^{\times}\right|}^2\right\rangle}{2} }$$

$$\overline{ \left\langle F^+ {F^\times}^* \right\rangle } = \overline{ \left\langle F^\times {F^+}^* \right\rangle } = 0$$

对方位角和偏振角平均后所有偏振交叉项都为零，且两种偏振模式的(平均)功率响应相同。

$$\tilde{s}(f)\tilde{s}^*(f) = \sum_P \overline{ \left\langle F^P {F^{P'}}^* \right\rangle } |\tilde{h}_P(f)|^2$$

由于对偏振角以及方位角平均后有$\overline{ \left\langle F^+ {F^+}^* \right\rangle } = \overline{ \left\langle F^\times {F^\times}^* \right\rangle }$，从而响应函数：

$$\mathcal{R}(f, \hat{k}) = \frac{\tilde{s}(f)\tilde{s}^*(f)}{\sum_P |\tilde{h}_P(f)|^2} = \overline{\left\langle F^+ {F^+}^*\right\rangle} = \overline{\left\langle F^\times {F^\times}^*\right\rangle} = {\small \frac{ \left\langle {\left|D^{+}\right|}^2\right\rangle + \left\langle {\left|D^{\times}\right|}^2\right\rangle}{2} }$$

$$\mathcal{R}(f, \hat{k}) = \frac{\tilde{s}(f)\tilde{s}^*(f)}{\textcolor{red}{\frac{1}{2}??} \sum_P |\tilde{h}_P(f)|^2} = \sum_P \overline{\left\langle F^P {F^P}^*\right\rangle} = \left\langle {\left|D^{+}\right|}^2\right\rangle + \left\langle {\left|D^{\times}\right|}^2\right\rangle$$

引力波频谱描述：$S_h, Ω, h_c$

检测与参数推断

最佳滤波/匹配滤波
信号探测能力/灵敏度曲线
Fisher信息矩阵
MCMC

探测器联合观测

联合分析()：多台探测器数据合并，最佳信噪比及对应的参数限制
利用所有探测器的数据纳入同一统计量，计算最佳匹配模板。“综合孔径”(Aperture Synthesis)
对于模板确定的波源，如致密双星并和系统，联合观测的信噪比就是各探测器之和，Fisher信息矩阵也是各探测器之和？。

$$\rho^2 = \sum_I \rho_I^2, \mathcal{I}_{ij} = \sum_I \mathcal{I}^I_{ij}$$

N个(全同)探测器的网络相比单探测器，最佳匹配滤波的信噪比提升为$\sqrt{N}$倍

定义

$$\mathbb{S}^{\rm tot} = \frac{\sum \lambda_i \mathbb{S}^{(i)}}{\sum_i \lambda_i}$$

其中 $\lambda_i$ 的取值需要使得整体信噪比 $\frac{\mu_{\mathbb{S}_{\rm tot}}}{\sigma_{\mathbb{S}_{\rm tot}}}$ 最大化。

$$\mu_{\mathbb{S}^{(i)}} = T^{(i)}\int df S_h(f) \Gamma_{IJ}(f), ~~~ \sigma_{\mathbb{S}^{(i)}} = T^{(i)}\int df N_I^{(i)}(f)N_J^{(i)}(f) \tilde{Q}(f)\tilde{Q}^*(f)$$

$$\left\langle \left(\sum \lambda_i \mathbb{S}^{(i)} \right)^2\right\rangle \rightarrow \sum \lambda^2_i \left\langle { \mathbb{S}^{(i)}}^2\right\rangle$$

$$\mu_{\mathbb{S}^{\rm tot}} = \frac{\sum \lambda_i \mu_{\mathbb{S}^{(i)}} }{\sum_i \lambda_i}, ~~~ \sigma_{\mathbb{S}^{\rm tot}} = \frac{\sqrt{\sum \lambda^2_i \sigma^2_{\mathbb{S}^{(i)}} } }{\sum_i \lambda_i}$$

$$\rho = \frac{ \mu_{\mathbb{S}^{\rm tot}} }{ \sigma_{\mathbb{S}^{\rm tot}} } = \frac{ \sum_i \lambda_i \mu_{\mathbb{S}^{(i)}} }{ \sqrt{\sum_i \lambda^2_i \sigma^2_{\mathbb{S}^{(i)}} } } = \frac{\left\langle \lambda \big| \sigma^{-2} \right\rangle}{\sqrt{\left\langle \lambda \big| \lambda \right\rangle}}$$

其中$\left\langle a \big| b \right\rangle \equiv \sum_i a_i b_i \sigma_i^2 T^{(i)}$，当$\lambda_i = \sigma_i^{-2}$时总信噪比最大：

$$\rho = \sqrt{\sum_i \frac{ T^{(i)}\mu }{ \sigma^2_i}} = \sqrt{\sum_i {\rho_{\tiny IJ}^{(i)}}^2}$$

三角定位：
直观定性的，两个探测器的空间定位是天球面上的一个环带，三台探测器时两个环带交叉，对应天球面上两个不同方位的小区域。
具体定量的，从Fisher参数推断角度理解，Fisher信息矩阵是参数协方差矩阵的倒数，总参数协方差为

$$\Sigma_{ij} = \frac{\prod \Sigma^I_{ij}}{\sum \Sigma^I_{ij}}$$

在参数空间中参数等概率曲面为椭球，参数观测误差越大，对应方向的轴越长。
协方差是相乘关系，因此只要不同探测器的参数不存在兼并，即参数长轴方向有区别，联合分析就可以显著提升对参数误差的限制。

一致性分析(Coincidence Analysis)：独立分析各探测数据，对比确认探测器中一致的候选事件。

相关分析：相干coherence v.s. 相关correlation
上面讨论的都是数据与模板匹配，这里是数据与数据匹配

$$\int_{-T/2}^{T/2} dt_1 \int_{-T/2}^{T/2} dt_2 ~ d_I(t_1) d_J(t_2) Q(t_1 - t_2)$$

参考随机噪声，最佳滤波信噪比：

$$\rho_{\tiny IJ} = \langle \mathcal{R} \rangle \sqrt{T} \sqrt{\int df \frac{ \gamma_{IJ}^2(f) S^2_h(f)}{N_I(f) N_J(f)} }$$

$$S_h(f) = f |\tilde{h}_c(f)|^2 = \frac{1}{\langle \mathcal{R} \rangle} f |\tilde{s}_c(f)|^2$$

$$\rho_{\tiny IJ} = \sqrt{T} \sqrt{\int df ~ f^2 \gamma_{IJ}^2(f) \frac{ |\tilde{s}_c(f)|^2}{N_I(f)} \frac{ |\tilde{s}_c(f)|^2}{N_J(f)} }$$

$f^2$项开根号后与$\sqrt{T}$也抵消不了，量纲不对？？？
这里是对角向积分过后的结果，对于点源而言是不需要的！！
这里的相关分析和前面的联合分析的区别和联系，信噪比会比匹配滤波显著低吗？？？
同样需要知道$S_h(f)$的先验，以确定最佳滤波；重叠约化函数
对比匹配滤波的信噪比

$$\rho_{\tiny IJ} = \sqrt{\int df \frac{ |\tilde{s}(f)|^2}{N(f)} }, |\tilde{s}(f)|^2 = \mathcal{R}(f)S_h(f)$$

随机过程的相关函数
对各态历经的平稳随机过程，有两种等价的自(互)相关：

• 一种是系综平均：$E\{ n_I(t)n_J(t+\tau) \}, \big\langle n_I(t)n_J(t+\tau)\big\rangle$
• 一种是时间平均：$\lim_{T\rightarrow\infty} \frac{1}{T}\int_{-T/2}^{T/2} n_I(t)n_J(t+\tau) dt$
  注意，相比确定性函数的互相关$\int_{-\infty}^{\infty} f(t) g(t+\tau) dt$，这里随机过程互相关多了对时间平均。从各态历经角度理解，系综平均等于时间平均，这里的$\frac{1}{T}$来自对时间平均；而直观地，不同于通常函数，对于随机过程，当$T\rightarrow\infty$积分是发散的，除以$T$整体结果才收敛。随机过程是功率信号，能量积分发散，需要除以时间得到功率；相对的，对确定性的能量信号，能量有限，反而不能除以(无限长的)时间。

考虑到随机过程能量发散，并不存在傅里叶变换，但形式上可记为$\tilde{n}(f)$。

随机过程能量发散(功率信号)，$\tilde{n}(f)$是发散的，但功率谱密度有限

$$\left\langle \tilde{n}(f) \tilde{n}^*(f') \right\rangle = \delta(f-f')S_n(f)$$

$$\left\langle \tilde{n}(f) \tilde{n}^*(f) \right\rangle = \delta(0)S_n(f) \rightarrow \infty$$

对于确定信号？？？

信噪比与误报率
假设目标信号服从正态分布，对于信噪比阈值，在统计上有：

$$\rho_{\rm threshold} = \sqrt{2}\Big({\rm erfcinv}(2\alpha_{\rm FAR})-{\rm erfcinv}[2(1-\beta_{\rm FNR})]\Big)$$

这里$\alpha_{\rm FAR},\beta_{\rm FNR}$分别为预设的误报率(False alarm rate)和漏报率(False negative rate)，$1-\beta_{\rm FNR}$对应于信号探测率。信号探测的误报和漏报率都取千分之一，则对应信噪比阈值约6.2，引力波观测中信噪比阈值通常取6 ~ 8。

对于随机背景，多探测器互相关，通常取信噪比阈值2，对应95%以上的置信度(误报率5%以下)，单探测器自相关，信噪比阈值则约定为5。

特征应变强度

$\delta$函数与$\rm sinc$函数

$$\begin{aligned} \delta(x) &= \lim_{\varepsilon\rightarrow\infty} \frac{1}{|\varepsilon|\sqrt{\pi} } e^{-\frac{x^2}{\varepsilon^2}} = \lim_{\varepsilon\rightarrow\infty} \frac{1}{2 \varepsilon} e^{-\frac{|x|}{\varepsilon}} = \lim_{\varepsilon\rightarrow0} \frac{\sin\left(\frac{x}{\varepsilon}\right)}{\pi x} = \lim_{\varepsilon\rightarrow 0} \frac{\sin\left(\frac{\pi x}{\varepsilon}\right)}{\pi x}\\ &= \lim_{\varepsilon\rightarrow 0} \frac{1}{\varepsilon}{\rm sinc}\left(\frac{x}{\varepsilon}\right) = \lim_{\varepsilon\rightarrow \infty} \frac{1}{\varepsilon} ~ {\rm rect}\left(\frac{x}{\varepsilon}\right) = \lim_{\varepsilon\rightarrow 0} \varepsilon ~ {\rm rect}\left(\varepsilon x\right) \end{aligned}$$

$$\boxed{\begin{gathered} \int_{-T/2}^{T/2} e^{-i 2\pi f t} dt = \int {\rm rect}\left({\small \frac{t}{\footnotesize T}}\right) e^{-i 2\pi f t} dt = T {\rm sinc}(Tf)\\ \delta(x) = \lim_{T\rightarrow\infty} \int_{-T/2}^{T/2} e^{-i 2\pi f t} dt = \lim_{T\rightarrow\infty} T {\rm sinc}(Tf) \end{gathered}}$$

$$\begin{gathered} \delta_T(f) \equiv T {\rm sinc}(Tf) = \frac{\sin(\pi Tf)}{\pi f}\\ \delta_T(0) = T, ~~~ \lim_{T\rightarrow\infty}\delta_T(f) = \delta(f) \end{gathered}$$

$$\begin{aligned} \sigma_{\mathbb{S}} &= \int_{-T/2}^{T/2} dt \int_{-T/2}^{T/2} dt' \int df \int df' e^{i 2\pi f (t-t')} e^{-i 2\pi f' (t-t')} N_I(f) N_J(f')\\ &= \int df \int df' N_I(f) N_J(f') \int_{-T/2}^{T/2} dt \int_{-T/2}^{T/2} dt' e^{i2\pi f(t-t')} e^{i2\pi f'(t-t')} \\ &= \int df \int df' ~ N_I(f) N_J(f') ~ \delta^2_T(f-f')\\ &\approx \int df \int df' ~ N_I(f) N_J(f') ~ \delta(f-f') ~ \delta_T(f-f')\\ &= \int df ~ N_I(f) N_J(f) ~ \delta_T(0)\\ &= T \int df ~ N_I(f) N_J(f)\\ \end{aligned}$$

噪声功率谱作为频率的函数，在Hz的尺度上变动，而信号的观测时间$T$在月的量级，对应$\delta_T(f) = T {\rm sinc}(Tf)$中心主峰宽度$\sim \frac{1}{T}$，远小于噪声功率谱变化尺度。在上面的计算中其中的一个$\delta_T(f)$被近似替换为$\delta(f)$。

$$\int_{-T/2}^{T/2} dt \int_{-T/2}^{T/2} dt' e^{i 2\pi f (t-t')} e^{-i 2\pi f' (t-t')} \leftrightarrow \delta^2_T(f-f')???$$

准周期连续源

波源简介

Monochromatic
旋转中子星、双白矮星、EMRI系统(FastEMRIWaveform)

方法概述

对于单频信号，理想情况下，直接傅里叶变换，频谱峰值即对应信号频率，实际情况则复杂很多。假设信号很弱，积累足够信噪比需要1年时间，为保证DFT后信号落入单个频率区间，观测时间内信号频率演化需小于DFT的频率分辨率，即$\dot{f}T_{\rm obs}\lesssim 1/T_{\rm obs} \sim 30\rm nHz$，$\dot{f}\lesssim 1/T^2_{\rm obs} \sim 10^{-15}\rm Hz/s$。即便不考虑探测器运动引入的多普勒调制，波源本身由于引力波辐射导致的频率演化通常也不满足该要求，而且信号越强，演化越明显。显然，只有对多普勒调制及波源演化都进行建模和修正之后，简单的傅里叶分析才可行，而这需要对波源位置及参数有足够精确先验，如电磁观测精确建模的波源。

对周期性信号的搜索，根据观测目标可分为靶向搜索、定向搜索以及全天搜索，分别对应波源已知(方位及频率)、方位已知以及波源未知三种情况。根据计算方法又可分为全相干法和半相干法：全相干法一次性分析所有观测数据，考虑信号频率和相位跨越全部观测时间的演化以及探测器噪声的变化；半相干法则是将数据分段，每段内进行相干分析(同时考虑频率和相位演化)，各数据段之间则忽略相位的演化，非相干叠加。

显然，全相干法具有更好的灵敏度，但通常并不现实，下面从波源的模板和定位两方面估算。对于波源本身，将其相位演化一般性地展开：

$$\phi(t) \approx \phi_0 + 2\pi \left[f_s(t-t_0) + \frac{1}{2}\dot{f}_s(t-t_0)^2 + \frac{1}{6}\ddot{f}_s(t-t_0)^3\right]$$

假设要求在相干时间$T \sim t-t_0$内，模型对相位的预测偏差不超过$\Delta\phi$，则粗略地，对频率及其导数误差要求为：

$$\Delta f_s \sim \frac{1}{2\pi}\frac{\Delta\phi}{T}, ~~~~ \Delta \dot{f}_s \sim \frac{2}{2\pi}\frac{\Delta\phi}{T^2}, ~~~~ \Delta \ddot{f}_s \sim \frac{6}{2\pi}\frac{\Delta\phi}{T^3}$$

这大致对应于模板精度的需求，从而近似到二阶导，所需模板数量将$\sim T^6$，考虑到模板匹配的计算量同样正比于相干时间$T$，总计量算$\sim T^7$。这只是粗略估算，实际中并不会如此极端，低阶效应主导时无需考虑更高阶效应，比如对于二阶导数$\ddot{f}_s$，只有当相干时间足够长时影响才显著。除了波源本身演化，探测器运动引入的多普勒调制是另一个重要因素，且依赖于具体波源方位，不同方位需要使用不同修正，大致地：

$$\Delta\theta \sim \frac{\frac{1}{2}\Delta f_s}{f_s v_{\perp}/c} \sim \frac{1}{2 v_{\perp}/c} \frac{1}{f_s T}, ~~~~ \Delta\Omega \sim (\Delta\theta)^2$$

其中$v_{\perp}$是探测器速度在垂直波源方向上的投影。由此多普勒修正的模板数$\sim f_s^2 T^2$，结合前面波源本身模板的需求，随着相干时间增加，计算量将迅速上升，因此全相干分析只有在电磁观测或半相干法提供了足够精确的参数先验情况下才有可能实现。

实际中通常是基于半相干法的层级搜索(Hierarchical Search)，即先在完整参数空间中使用相对粗略的模板快速搜索，之后在潜在目标区域精细化搜索，以平衡搜索精度和计算量需求，具体地可大致分为搜索、否决和证认三个阶段：

• 搜索：基于半相干法全局参数搜索(Search Pipeline)
  显然半相干分析会降低探测灵敏度，且不同的搜索策略会有所区别，但大致地，对给定的观测时间，假设数据分为$N$段，对信号应力强度的灵敏度损失$\sim N^\frac{1}{4}$。
  • $\mathcal{F}$-统计量：GCT、Wave、
  • 频谱分析：弱相干法PowerFlux/Falcon、互相关法Cross-Correlation
  • 时频谱分析：霍夫变换SkyHough/FrequencyHough
    频谱分析基于频谱构建统计量，时频谱法则更关注频率演化，通过对二值化时频谱进行霍夫变换，定位频率演化曲线。
  • 维特比算法：Viterbi search
  • 机器学习
• 否决：通过后处理(Post-Processing)分析，消除误报
  后处理的核心是参数聚类(Clustering)以及一致性分析(Coincidence)，其中一致性分析可在同一探测器不同时间段或不同探测器之间进行。
  • 一致性否决
  • $\chi^2$卡方否决
  • 窄带噪声否决
  • 零假设否决
• 证认：增加相干时间，对候选波源进行后随(Follow-up)证认
  后随证认本质是用更高精度对候选信号进行分析，基本的策略是增加相干时间，提升参数网格精度，或基于候选区间对目标参数进行采样(非网格化方法)。具体实现可分为单阶段或多阶段(精度依次提升)，数据可复用旧数据或使用新观测数据。
  • 旧数据 v.s. 新数据：证认阶段可复用旧数据或使用新的观测数据。
  • 单阶段 v.s. 多阶段：
  注意，后随认证阶段增加了分析结果的信噪比和可靠性，但无法提升探测灵敏度，灵敏度完全取决于半相干分析阶段的搜索策略。增加相干时间在增加相位一致性要求的同时也提升了频谱的频率分辨率？[两者是一个东西吗？]。

搜索算法

相干分析：外差法、重采样、狄利克雷滤波、时域分析、五矢量法、$\mathcal{F}$-统计量
半相干法：stack-slide、PowerFlux、HoughTransform、stacked $\mathcal{F}$-statistic

$\mathcal{F}$-统计量
服从卡方分布，而非F分布，与通常的F检验不同？

滑动堆栈Stack-slide
Stack：对功率平方求和
霍夫变换Hough Transform：搜索频率演化曲线

时频谱：短时傅里叶变换
“白化”：噪声功率谱估计并非通常的Welch法，而是对周期图进行移动平均，近似于Daniell法。
二值化：阈值、峰值
变换：拉东变换(Radon Transform)、霍夫变换(Hough Transform)

随机背景信号

波源简介

能谱/分数能量密度谱

假设背景是稳态、各向同性、无偏振；高斯
稳态：随机信号的统计性质不随时间演化，具体的，互相关信号只与时间差有关而于具体时间选择无关。
各向同性：信号源自分布相对均匀的遥远天体或早期宇宙过程，与本地物质不存在关联。
无偏振：各方向偏振强度相等，没有明确的“主”偏振方向。
圆偏振涉及的是两种偏振模式的相位差，这里所谓的“无偏振”是指偏振角随机分布，或者说只是无线偏振，两者并不矛盾？

高斯性：多个探测器信号$s(t)$的联合概率密度函数为多元正态分布。对于高斯稳态随机过程，假设均值为零，统计性质完全由其功率谱(自相关函数/二阶距)描述。
对于稳定高斯随机过程，其性质完全由均值(一阶矩)和互相关/自相关(二阶矩)决定。也意味着N点关联可表示为两点关联乘积之和(均值通常设为零)。
其合理性源自大数定律，
根据大数定律，任意足够多的独立随机变量之和都渐近服从正态分布，而与随机变量本身分布无关。因此对于大量独立天体源叠加而成的随机背景，高斯假设是合理的，对于相互关联的早期宇宙源？或少数天体源的叠加则需要谨慎。

在长波近似下，地基观测
在短波近似下，就是Hellings-Downs(HD)曲线。
PTA中观测量通常为多普勒红移(对应频率变化)，而非应变响应(对应相位变化)。
此时$z(t) = $

对于单个探测器而言，随机背景与探测器噪声原则是没法区分的，因此对于随机背景的探测通常需要多个探测器互相关，或者对于仪器噪声有准确的测量或模型描述。

随机背景分析

• 多探测器互相关：多个探测器进行联合观测
• 探测器噪声先验：通过零通道获取噪声信息

$$h_{ab}(t, \vec{r}) = \int df \int \tilde{h}_{ab}(f, \hat{k})e^{-i 2\pi f (t-\hat{k}\cdot\frac{\vec{r}}{c})}$$

$\tilde{h}_{ab}(f, \hat{k}) = \sum_P \tilde{h}_P(f, \hat{k})e_{ab}^P(\hat{k})$
$\sum_P e_{ab}^P e_{ab}^P = 4$

$$\overline{\left\langle \tilde{h}_P(f,\hat{k})\tilde{h}^*_{P'}(f',\hat{k}') \right\rangle} = \frac{1}{4\pi} \delta(f-f')~\delta^2(\hat{k},\hat{k}')~\delta_{PP'}~S_h(f)$$

$\delta^2(\hat{k},\hat{k}') = \delta(\cos\theta-\cos\theta')\delta(\varphi-\varphi')$

$$\int d^2\hat{k}~d^2\hat{k}' \overline{\left\langle \tilde{h}_P(f,\hat{k})\tilde{h}^*_{P'}(f',\hat{k}') \right\rangle} = \delta(f-f')~\delta_{PP'}~S_h(f)$$

$d^2\hat{k}' = d\cos\theta d\varphi$

$$\frac{1}{2}\int d^2\hat{k}~d^2\hat{k}'\left[\overline{\left\langle \tilde{h}_+(f,\hat{k})\tilde{h}^*_+(f',\hat{k}') \right\rangle} + \overline{\left\langle \tilde{h}_\times(f,\hat{k})\tilde{h}^*_\times(f',\hat{k}') \right\rangle}\right] = \delta(f-f')~ S_h(f)$$

$$\left\langle \tilde{h}_P(f)\tilde{h}^*_{P'}(f') \right\rangle = \int d^2\hat{k}~d^2\hat{k}'\overline{\left\langle \tilde{h}_P(f,\hat{k})\tilde{h}^*_{P'}(f',\hat{k}') \right\rangle} = \delta(f-f')~\delta_{PP'} S_h(f)$$

$$\left\langle \tilde{h}_+(f)\tilde{h}^*_+(f') \right\rangle = \left\langle \tilde{h}_\times(f)\tilde{h}^*_\times(f') \right\rangle = \delta(f-f')~ S_h(f)$$

$$\frac{1}{2}\left(\left\langle \tilde{h}_+(f)\tilde{h}^*_+(f') \right\rangle + \left\langle \tilde{h}_\times(f)\tilde{h}^*_\times(f') \right\rangle\right) = \delta(f-f')~ S_h(f)$$

$S_h(f)$是偏振平均的功率谱，如果便是为单边谱，则$1/2$抵消了，成了求和？如果考虑更多偏振模式？$\Omega_GW$表示随机引力波能量占比，应该是对偏振求和？

$$\boxed{ \left\langle h_{ab}(t)h^{ab}(t)\right\rangle = 4 \int df S_h(f) }???$$

$$\left\langle h_+^2(t) + h_\times^2(t)\right\rangle = 2 \int df S_h(f) ~~~~~~~ h_{ab}h^{ab}=2(h_+^2 + h_\times^2)$$

$$S_h(f) = f^2 h^2_c(f), \frac{\left\langle h_+^2(t) + h_\times^2(t)\right\rangle}{2} = \int df f h_c(f)$$

$$S_h(f) = \frac{3H_0^2}{4\pi^2 f^3} \Omega_{\rm \tiny GW}(f)$$

$S_h(f)$似乎有两种定义方式，一种是各种偏振模式的平均，一种是各种偏振模式的求和。对$+, \times$模式就相差两倍，因此会看到有的文章使用$S_h(f) = \frac{3H_0^2}{2\pi^2 f^3} \Omega_{\rm \tiny GW}(f)$。跟单边功率谱或双边功率谱似乎是没有关系的，因为如果这里$S_h$是单边的，双边的应该是1/2而非2倍。如果考虑更多偏振模式，这里应该就不再是2倍的关系？

$$S_h(f) = \left\langle \tilde{h}_P(f, \hat{k})\tilde{h}^*_P(f, \hat{k}) \right\rangle, ~~~ S_h(f) = 4\pi \overline{\left\langle \tilde{h}_P(f)\tilde{h}^*_P(f) \right\rangle}$$

$$\left\langle \tilde{n}(f)\tilde{n}^*(f')\right\rangle_T = N(f)\delta(f-f')$$

注意$\left\langle \tilde{n}(f) \tilde{n}^*(f) \right\rangle = \delta(0) N(f) \rightarrow \infty$ 趋向无穷大，而非等于$N(f)$！

$$\boxed{\left\langle n(t) n(t') \right\rangle \leftrightarrow \left\langle \tilde{n}(f) \tilde{n}^*(f') \right\rangle}$$

$$\begin{aligned} \left\langle n(t) n(t') \right\rangle &= \left\langle \int n(f) e^{i2\pi f t} df \int n^*(f') e^{-i2\pi f' t'} df' \right\rangle\\ &= \int df \int df'\left\langle n(f) n^*(f') \right\rangle e^{i2\pi f t} e^{-i2\pi f' t'}\\ &= \int df \int df'N(f)\delta(f-f') e^{i2\pi f t} e^{-i2\pi f' t'}\\ &= \int df N(f) e^{i2\pi f (t-t')}\\ \end{aligned}$$

$$\left\langle n(t) n(t') \right\rangle = r^n(t-t') = \int N(f) e^{i2\pi f(t-t')} df$$

$$\left\langle n^2(t) \right\rangle = \left\langle n(t) n(t) \right\rangle = r^n(0) = \int N(f) df$$

平稳随机过程的系综平均等于时间平均

分析方法

单个探测器观测
如果对探测器噪声有明确的先验信息，则可通过功率超出得到随机背景的能谱$S(f) = S_d(f) - N(f), S_h(f) = \frac{S(f)}{\mathcal{R}(f)}$，最初宇宙微波背景的发现就是因为观测到了不能被任何仪器噪声所解释的信号。但现实中，仪器噪声通常很难准确描述，因此这个方法并不可靠，尤其是在弱信号强噪声的情况，引力波背景的地面探测就是这种情况。不过对于空间探测，根据理论推算系内白矮星的随机背景信号在相应频段会显著超出仪器噪声。
另一种情况则是，对仪器噪声能有精确测量，引力波信号虽然难以屏蔽，但对于三角构型可以构建，压制引力波信号，被称为零通道(null channel)，对称Sagnac组合就是这种情况。此时可以将零通道作为仪器噪声基准，通过不同通道噪声转换关系(转移函数)得到数据通道的噪声。$S(f) = S_d(f) - H(f)N(f)$

对于随机背景而言，单个探测情况下，时间积分对于信噪比提升是没有帮助的。探测器运行后，如果能测到马上就会被测量，反之如果测不到，持续再长时间也测不到。但增加观测时长的好处在于可以提升频率的分辨率，从而对于频谱形状有更好的限制。

$$d(t) = s(t) + n(t), ~~~ \langle d^2(t) \rangle = \langle s^2(t) \rangle + \langle n^2(t)\rangle$$

$$\langle s^2(t) \rangle = \int df S(f) = \langle\mathcal{R}\rangle \int df S_h(f) ; ~~~ \langle n^2(t)\rangle = \int df N(f)$$

$$\rho^2 \equiv \left(\frac{S}{N}\right)^2 = \frac{S(f)}{N(f)} = \langle \mathcal{R}\rangle \frac{S_h(f)}{N(f)}$$

对于背景信号，无法使用匹配滤波，因为随机背景并没有确定的波形$h(t)$。而如果有多个探测器，可以在不同探测器的信号之间进行匹配。

$$s_I(t) = \int df \int d\hat{k} ~ D_I^{ab} \tilde{h}_{ab}(f, \hat{k}) e^{i 2\pi f (t-\hat{k}\cdot\frac{\vec{r}_I}{c})}$$

$$\tilde{s}_I(f) = \int d\hat{k} ~ D_I^{ab} \tilde{h}_{ab}(f, \hat{k}) e^{-i 2\pi f \hat{k}\cdot\frac{\vec{r}_I}{c}}$$

因为观测时间有限，傅里叶变换后出现sinc函数，但在关注的频段上可将其替换为$\delta$函数？？？？
Even on a relatively short stretch of data with, say, T = 103 s, at f = 10 Hz we have f T = 104. Over the whole useful bandwidth of ground-based detectors we can therefore replace sinc by a Dirac delta,

2个探测器联合观测
定义随机变量

$$\mathbb{S} \equiv \int_{-T/2}^{T/2} d_I(t)d_J(t) dt$$

这里定义的$\mathbb{S}$，相比互相关函数的零点值(未时间平移)$r_{IJ}(0)$，少了取极限以及时间平均操作，是有限观测时长，未做时间平均的“互相关”，仍是随机变量。

$$\rho^2 = \left(\frac{\mu_{\mathbb{S}}}{\sigma_{\mathbb{S}}}\right)^2 = \frac{\langle\mathbb{S}\rangle^2}{\langle\mathbb{S}^2\rangle - \langle\mathbb{S}\rangle^2}$$

$$\langle\mathbb{S}\rangle = \left\langle \int_{-T/2}^{T/2} d_I(t)d_J(t) dt \right\rangle = \int_{-T/2}^{T/2} \big\langle s_I(t)s_J(t)\big\rangle dt = T \big\langle s_I(t)s_J(t)\big\rangle$$

$$\left\langle s_1(t)s_2(t)\right\rangle = r^s_{IJ}(0) = \int df S_{IJ}(f)$$

假设IJ方位指向完全一致(但噪声独立) $S_{IJ}(f) = S(f) = \langle \mathcal{R} \rangle S_h(f) = \frac{2}{5}S_h(f)$

$$\langle \mathcal{R} \rangle = \sum_P \overline{\left\langle F^P {F^P}^*\right\rangle} = \sum_P \int \frac{d\psi}{2\pi} \int \frac{d^2\hat{k}}{4\pi}~ F^P(\hat{k}; \psi) {F^P}^*(\hat{k}; \psi) = \frac{2}{5}$$

$$\int \frac{d\psi}{2\pi} F^+(\hat{k}; \psi) = \int \frac{d\psi}{2\pi} {F^\times}(\hat{k}; \psi); ~~~ \overline{\left\langle {F^+}^2\right\rangle} = \overline{\left\langle {F^+}^2\right\rangle} = \frac{1}{5}$$

$$\begin{aligned} \langle\mathbb{S}^2\rangle &= \left\langle \int_{-T/2}^{T/2} dt \int_{-T/2}^{T/2} dt' ~ d_I(t)d_J(t)d_I(t')d_J(t') \right\rangle \end{aligned}$$

在弱信号假设下，可进行简化近似：

$$\begin{aligned} \sigma^2_\mathbb{S} &= \langle\mathbb{S}^2\rangle - \langle\mathbb{S}\rangle^2 \\ &= \int_{-T/2}^{T/2} dt \int_{-T/2}^{T/2} dt' ~ \big\langle d_I(t)d_J(t)d_I(t')d_J(t') \big\rangle - \big\langle s_I(t)s_J(t)\big\rangle\big\langle s_I(t')s_J(t')\big\rangle\\ &\approx \int_{-T/2}^{T/2} dt \int_{-T/2}^{T/2} dt' ~\big\langle n_I(t)n_I(t') n_J(t)n_J(t') \big\rangle\\ &= \int_{-T/2}^{T/2} dt \int_{-T/2}^{T/2} dt' ~\big\langle n_I(t)n_I(t')\big\rangle \big\langle n_J(t)n_J(t') \big\rangle\\ \end{aligned}$$

$$\begin{aligned} \big\langle n_I(t)n_I(t')\big\rangle = r^n(t-t') = \int df e^{i2\pi f(t-t')} N_I(f)\\ \end{aligned}$$

$$\begin{aligned} \sigma^2_\mathbb{S} &\approx \int_{-T/2}^{T/2} dt \int_{-T/2}^{T/2} dt' ~\big\langle n_I(t)n_I(t')\big\rangle \big\langle n_J(t)n_J(t') \big\rangle\\ &= \int_{-T/2}^{T/2} dt \int_{-T/2}^{T/2} dt' ~\big\langle n_I(t)n_I(t')\big\rangle \big\langle n_J(t)n_J(t')\big\rangle^*\\ &= \int_{-T/2}^{T/2} dt \int_{-T/2}^{T/2} dt' \int df \int df' e^{i2\pi f(t-t')} e^{-i2\pi f'(t-t')} N_I(f) N^*_J(f')\\ &= \int_{-T/2}^{T/2} dt \int_{-T/2}^{T/2} dt' \int df \int df' e^{i2\pi f(t-t')} e^{-i2\pi f'(t-t')} N_I(f) N_J(f')\\ &= \int_{-T/2}^{T/2} dt \int_{-T/2}^{T/2} dt' \int df \int df' N_I(f) N_J(f')???\\ \end{aligned}$$

这里利用了$n_J(t)$和$N_J(f)$均为实函数，消去了指数项。

$$\begin{aligned} \sigma^2_\mathbb{S} &\approx \int df \int df' \delta^2(f-f') N_I(f) N_J(f')???\\ \end{aligned}$$

$$\begin{aligned} \sigma^2_\mathbb{S} &\approx T \int df N_I(f) N_J(f)\\ \end{aligned}$$

$$\rho_{\tiny IJ} =\frac{\mu_{\mathbb{S}}}{\sigma_{\mathbb{S}}} =\sqrt{T} \frac{ \displaystyle \int df S_{IJ}(f) }{\displaystyle \sqrt{\int df N_I(f) N_J(f) } } = \langle\mathcal{R}\rangle\sqrt{T} \frac{ \displaystyle \int df S_h(f) }{\displaystyle \sqrt{\int df N_I(f) N_J(f) } }$$

这里假设了探测器位置指向相同，即重叠约化函数$\gamma_{IJ}(f) =1$。当探测器位置或指向不同时需要考虑重叠约化因子。
而且这个信噪比也并非$\gamma_{IJ}(f) =1$时的最佳信噪比，最佳滤波：

$$\mathbb{S} \equiv \int_{-T/2}^{T/2}dt \int_{-T/2}^{T/2} dt' ~ d_I(t)d_J(t')Q(t-t')$$

$$\mathbb{S} = \int df \int df' ~ \delta_T(f-f') \tilde{d}_I(f) \tilde{d}^*_J(f')\tilde{Q}(f)$$

$$\mathbb{S} = \int df \int df' ~ \delta_T(f-f') \tilde{d}_I(f) \tilde{d}^*_J(f')\tilde{Q}(f')$$

$$\mathbb{S} = \int df \int df' ~ \delta_T(f-f') \tilde{d}_I(f) \tilde{d}^*_J(f')\tilde{Q}^*(f')$$

$Q(t-t')$为对称实函数， $\tilde{Q}(-f) = \tilde{Q}^*(f)$。

$$\mu_\mathbb{S} = \langle \mathbb{S} \rangle = \int df \int df' ~ \delta_T(f-f') \big\langle\tilde{s}_I(f) \tilde{s}^*_J(f')\big\rangle \tilde{Q}(f) = \langle\mathcal{R}\rangle T \int df ~ S_h(f) \tilde{Q}(f)$$

$$\sigma^2_\mathbb{S} = T \int df N_I(f) N_J(f) \tilde{Q}(f)\tilde{Q}^*(f)$$

$$\rho_{\tiny IJ}^2 = \frac{ \mu^2_\mathbb{S}}{\sigma^2_\mathbb{S}} = \langle\mathcal{R}\rangle^2 T \frac{ \left[\displaystyle \int df ~ S_h(f) \tilde{Q}^*(f) \right]^2 }{ \displaystyle \int df N_I(f) N_J(f) \tilde{Q}(f)\tilde{Q}^*(f) }$$

柯西-施瓦兹不等式或者定义内积

$$\langle A|B\rangle = \int df A^*(f) B(f) N_I(f) N_J(f)$$

$$\rho_{\tiny IJ}^2 = \langle\mathcal{R}\rangle^2 T \frac{ \left\langle \tilde{Q}\Big|\frac{S_h(f)}{ N_I(f) N_J(f)} \right\rangle^2 }{ \left\langle \tilde{Q}|\tilde{Q}\right\rangle }$$

分子是$\tilde{Q}$矢量模方，显然当$\tilde{Q}$与$\frac{S_h(f)}{N_I(f)N_J(f)}$共线时信噪比取最大：

$$\tilde{Q}(f) = q \frac{S_h(f)}{N_I(f)N_J(f)}$$

$$\rho_{\tiny IJ}^2 = \langle\mathcal{R}\rangle^2 T \left\langle \frac{S_h(f)}{ N_I(f) N_J(f)} \Big|\frac{S_h(f)}{ N_I(f) N_J(f)} \right\rangle$$

$$\rho_{\tiny IJ} = \langle \mathcal{R} \rangle \sqrt{T} \sqrt{\int df \frac{ S^2_h(f)}{N_I(f) N_J(f)} }$$

需要注意的是，这里得到的信噪比只是理论最优值，其中最佳滤波$\tilde{Q}(f)$依赖于仪器噪声谱$N(f)$及背景信号谱$S_h(f)$，而$S_h(f)$或者说$\Omega_{\rm \tiny GW}$是预先未知的，因此需要额外先验信息。天体物理波源背景通常预期为幂率谱，比如致密双星系统叠加的背景谱$\Omega_{\rm \tiny GW}\propto f^{2/3}$，旋转中子星$\Omega_{\rm \tiny GW}\propto f^{2}$。实际处理数据时可以尝试不同幂指数，搜索最高信噪比。对于宇宙学背景，理论预言上除了源自暴涨的平谱，还有早期宇宙一阶相变的分段幂率谱，以及其他物理机制产生的具有特征频率的单峰背景信号，各种信号叠加在一起，问题会变得复杂。

最初的结果相当于取滤波函数$Q(t-t')=\delta(t-t'); \tilde{Q}(f) = 1$。如果假设背景噪声分数密度谱为常数$\Omega_{\rm \tiny GW}(f) = \Omega_0$，$\tilde{Q}(f) \propto \frac{\Omega_0 f^{-3}}{N_I(f)N_J(f)}$
频域函数形状(绘图)
时域函数形状(绘图)

与单探测器相比：假设$N_I(f) = N_J(f)$，且噪声及信号功率谱在目标频段范围内与频率无关，从而

$$\rho_{\tiny IJ} = \langle \mathcal{R} \rangle \sqrt{T} \sqrt{\int df \frac{ S^2_h(f)}{N_I(f) N_J(f)} } \sim \langle \mathcal{R} \rangle \sqrt{T} \frac{ S_h(f)}{N(f)} \sqrt{\int_{\rm band} df} = \langle \mathcal{R} \rangle \sqrt{T 2\Delta f} \frac{S_h(f)}{N(f)}$$

对比单探测器情况，相差$\sqrt{T 2\Delta f} \sim 8\times10^3 \sqrt{\frac{T}{1 \rm yr}} \sqrt{\frac{\Delta f}{1 \rm Hz}}$倍，其中$\Delta f$为探测器的(单边)频带宽度。对于空间探测器而言$\Delta f \sim 1 \rm Hz$，一年积分时间信噪比将提升约四个量级。

这意味着时间小于带宽分之一的情况下，互相关的信噪比反而不如单个探测器，该如何理解？？？

对于地面探测器，(单边)带宽约150Hz，对应时间1/300秒，对于秒量级的双黑洞信号并和信号，互相关似乎并不降低信噪比，为什么不做相关？？如果考虑到重叠约化？？

与通常的匹配滤波作对比

最后，考虑探测器位置或指向不同时的重叠约化函数。

$$\mathbb{S} = \int df \int df' ~ \delta_T(f-f') \tilde{d}_I(f) \tilde{d}^*_J(f')\tilde{Q}^*(f')$$

$$\langle \mathbb{S} \rangle = \int df \int df' ~ \delta_T(f-f') \big\langle \tilde{s}_I(f) \tilde{s}^*_J(f')\big\rangle \tilde{Q}^*(f')$$

$$\tilde{s}_I(f) = \int d^2\hat{k} ~ D_I^{ab} \tilde{h}_{ab}(f, \hat{k}) e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I}{c}} = \sum_P \int d^2\hat{k} ~ F^P_I(\hat{k}) \tilde{h}_P(f, \hat{k}) e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I}{c}}$$

$$\begin{aligned} \big\langle \tilde{s}_I(f) \tilde{s}^*_J(f')\big\rangle &= \small \sum_P \sum_{P'} \int d^2\hat{k}\int d^2\hat{k}' ~ F^P_I(\hat{k})F^{P'}_J(\hat{k}') \big\langle \tilde{h}_P(f, \hat{k})\tilde{h}^*_{P'}(f', \hat{k}') \big\rangle e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I-\vec{r}_J}{c}}\\ &= \frac{1}{4\pi}\delta(f-f')S_h(f) \sum_P \int d^2\hat{k} ~ F^P_I(\hat{k})F^P_J(\hat{k}) e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I-\vec{r}_J}{c}}\\ &= \delta(f-f')S_h(f) \Gamma_{IJ}(f)\\ \end{aligned}$$

$$\boxed{\Gamma_{IJ}(f) = \sum_P \int \frac{d^2\hat{k}}{4\pi} \int \frac{d\psi}{2\pi} ~ F^P_I(\hat{k})F^P_J(\hat{k}) e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I-\vec{r}_J}{c}}; ~~~ \gamma_{IJ}(f) = \frac{\Gamma_{IJ}(f)}{\Gamma_{IJ}(f)|_{\rm aligned}}}$$

$$\Gamma_{IJ}(f)\big|_{\rm aligned} = \sum_P \int \frac{d^2\hat{k}}{4\pi} \int \frac{d\psi}{2\pi} ~ F^P_I(\hat{k})F^P_J(\hat{k})\big|_{\rm aligned} = \langle \mathcal{R}\rangle = \frac{2}{5}$$

注意这里$\langle \mathcal{R}\rangle$为直角迈克逊干涉对全天方位的平均响应，对于非直角情况为$\frac{2}{5}\sin^2\Upsilon$，$\Upsilon$为干涉臂张角。此外，这里$\Gamma_{IJ}(f)$定义中包含了对方位$\hat{k}$的全天平均$\frac{1}{4\pi}$，因此归一化因此 $\Gamma_{IJ}(f)|_{\rm aligned} = \frac{2}{5}$。文献中另一种常见形式是对全天积分而未进行平均，此时归一化因子 $\Gamma_{IJ}(f)|_{\rm aligned} = \frac{8\pi}{5}$

$$\begin{aligned} \langle \mathbb{S} \rangle &= \int df \int df' ~ \delta_T(f-f') \big\langle \tilde{s}_I(f) \tilde{s}^*_J(f')\big\rangle \tilde{Q}^*(f')\\ & = \int df \int df' ~ \delta_T(f-f') \delta(f-f') S_h(f) \langle\mathcal{R}\rangle \gamma_{IJ}(f)\\ &= \langle\mathcal{R}\rangle T \int df ~ S_h(f) \gamma_{IJ}(f) \end{aligned}$$

$$\begin{aligned} \sigma^2_{\langle \mathbb{S} \rangle} &= \langle \mathbb{S}^2 \rangle - \langle \mathbb{S} \rangle^2\\ &\approx \int df \int df' \int df_1 \int df'_1 ~ \delta_T(f-f') \delta_T(f_1-f'_1)\\ & ~~~~~~~~ \times \big\langle \tilde{n}_I(f) \tilde{n}^*_J(f') \tilde{n}_I(f_1) \tilde{n}^*_J(f'_1)\big\rangle \tilde{Q}(f')\tilde{Q}(f'_1)\\ &= \int df \int df' \int df_1 \int df'_1 ~ \delta_T(f-f') \delta_T(f_1-f'_1)\\ & ~~~~~~~~ \times \big\langle \tilde{n}_I(f) \tilde{n}_I(f_1) \big\rangle \big\langle\tilde{n}^*_J(f) \tilde{n}^*_J(f'_1)\big\rangle \tilde{Q}(f')\tilde{Q}(f'_1)\\ &= \int df \int df' \int df_1 \int df'_1 ~ \delta_T(f-f') \delta_T(f_1-f'_1)\\ & ~~~~~~~~ \times \big\langle \tilde{n}_I(f) \tilde{n}^*_I(-f_1) \big\rangle \big\langle\tilde{n}^*_J(f') \tilde{n}_J(-f'_1)\big\rangle \tilde{Q}(f')\tilde{Q}(f'_1)\\ &= \int df \int df' \int df_1 \int df'_1 ~ \delta_T(f-f') \delta_T(f_1-f'_1)\\ & ~~~~~~~~ \times \delta(f+f_1)N_I(f) \delta(f'+f'_1)N_J(f') \tilde{Q}(f')\tilde{Q}(f'_1)\\ &= \int df \int df' ~ \delta_T(f-f') \delta_T(f'-f)~ N_I(f) N_J(f') \tilde{Q}(f')\tilde{Q}(-f')\\ &= \int df \int df' ~ \delta_T(f-f') \delta(f-f')~ N_I(f) N_J(f') \tilde{Q}(f')\tilde{Q}^*(f')\\ &= T \int df N_I(f) N_J(f) \tilde{Q}(f)\tilde{Q}^*(f)\\ \end{aligned}$$

$$\rho_{\tiny IJ}^2 = \langle\mathcal{R}\rangle^2 T_{\rm obs} \frac{ \left\langle \tilde{Q}\Big|\frac{\gamma_{IJ}(f) S_h(f)}{ N_I(f) N_J(f)} \right\rangle^2 }{ \left\langle \tilde{Q}|\tilde{Q}\right\rangle }$$

$$\tilde{Q}(f) = q \frac{\gamma_{IJ}(f) S_h(f)}{N_I(f)N_J(f)}$$

$$\rho_{\tiny IJ}^2 = \langle\mathcal{R}\rangle^2 T_{\rm obs} \left\langle \frac{\gamma_{IJ}(f) S_h(f)}{ N_I(f) N_J(f)} \Big|\frac{\gamma_{IJ}(f) S_h(f)}{ N_I(f) N_J(f)} \right\rangle$$

$$\boxed{\rho_{\tiny IJ} = \langle \mathcal{R} \rangle \sqrt{T_{\rm obs}} \sqrt{\int df \frac{ \gamma_{IJ}^2(f) S^2_h(f)}{N_I(f) N_J(f)} } }$$

$$\rho_{\tiny IJ} = \langle R\rangle \sqrt{T_{\rm obs}} \sqrt{\int df \left( \frac{\gamma_{IJ}(f) \Omega_{\rm \tiny GW}(f)}{ \Omega_{n_{IJ}}(f) }\right)^2 }$$

其中$\Omega_{n_{IJ}}(f) \equiv \frac{3H_0^2}{4\pi^2} f^{-3} N_I(f)N_J(f)$

$T_{\rm obs}$

$$\mathbb{S} = \int df \int df' ~ \delta_T(f-f') \tilde{d}_i(f) \tilde{d}^*_j(f') \tilde{Q}(f')$$

$$\begin{aligned} \langle \mathbb{S}^2\rangle - \langle \mathbb{S}\rangle^2 &= \int df \int df'\int df_1 \int df'_1 ~ \delta_T(f-f')\delta_T(f_1-f'_1)\tilde{Q}(f')\tilde{Q}(f'_1)\\ &~~~~~\left[\langle\tilde{d}_i(f) \tilde{d}^*_j(f')\tilde{d}_i(f_1) \tilde{d}^*_j(f'_1)\rangle - \langle\tilde{d}_i(f) \tilde{d}^*_j(f')\rangle \langle\tilde{d}_i(f_1) \tilde{d}^*_j(f'_1)\rangle\right] \end{aligned}$$

$$\begin{aligned} \langle \mathbb{S}_{ij}\mathbb{S}_{kl}\rangle - \langle \mathbb{S}_{ij}\rangle \langle \mathbb{S}_{kl}\rangle &= \int df \int df'\int df_1 \int df'_1 ~ \delta_T(f-f')\delta_T(f_1-f'_1)\tilde{Q}(f')\tilde{Q}(f'_1)\\ &~~~~~\left[\langle\tilde{d}_i(f) \tilde{d}^*_j(f')\tilde{d}_k(f_1) \tilde{d}^*_l(f'_1)\rangle - \langle\tilde{d}_i(f) \tilde{d}^*_j(f')\rangle \langle\tilde{d}_k(f_1) \tilde{d}^*_l(f'_1)\rangle\right] \end{aligned}$$

(Orlando et al. 2021) The four-point correlators is expressed as a sum of products of two-point correlators using the Wick theorem.

假设$i, k$和$j, l$非别为LISA、Taiji指标，从而必然有$i \neq j, k \neq l$以及$i \neq l, k \neq j$。

$$\begin{aligned} \langle \mathcal{C}_{ij}(f, f') \mathcal{C}^*_{kl}(f_1, f'_1)\rangle &= \langle \tilde{d}_i(f) \tilde{d}^*_j(f') \tilde{d}^*_k(f_1) \tilde{d}_l(f'_1) \rangle \\ &= \langle \tilde{d}_i \tilde{d}^*_j \rangle \langle \tilde{d}^*_k \tilde{d}_l \rangle + \langle \tilde{d}_i \tilde{d}_l \rangle \langle \tilde{d}^*_k \tilde{d}^*_j \rangle + \langle \tilde{d}_i \tilde{d}^*_k \rangle \langle \tilde{d}^*_j \tilde{d}_l \rangle \end{aligned}$$

$$\begin{aligned} \langle \mathcal{C}_{ij}\mathcal{C}^*_{kl}\rangle - \langle\mathcal{C}_{ij} \rangle \langle \mathcal{C}^*_{kl} \rangle &= \langle \tilde{d}_i \tilde{d}_l \rangle \langle \tilde{d}^*_k \tilde{d}^*_j \rangle + \langle \tilde{d}_i \tilde{d}^*_k \rangle \langle \tilde{d}^*_j \tilde{d}_l \rangle\\ &= \langle \tilde{s}_i \tilde{s}_l \rangle \langle \tilde{s}^*_k \tilde{s}^*_j \rangle + \langle \tilde{s}_i \tilde{s}^*_k + \tilde{n}_i \tilde{n}^*_k \rangle \langle \tilde{s}^*_j \tilde{s}_l + \tilde{n}^*_j \tilde{n}_l\rangle\\ &= \Gamma_{il} \frac{1}{2}S_h(f) \delta(f-f'_1) ~ \Gamma_{kj} \frac{1}{2}S_h(f_1)\delta(f_1-f') \\ &~~~ + \frac{1}{2}[\Gamma_{ik} S_h(f) + \delta_{ik}N_i(f)]\delta(f-f_1)~\times\\ &~~~~~~~~\frac{1}{2}[\Gamma_{jl} S_h(f') + \delta_{jl} N_j(f')]\delta(f'-f'_1) \end{aligned}$$

仅考虑对角元有：

$$\begin{aligned} \frac{1}{4}\delta_{ij, kl} \Big\{& \left[\Gamma_{ij} S_h(f)\right]^2 \delta(f-f'_1)\delta(f_1-f') \\ &+ \frac{1}{2}[\mathcal{R}_i S_h(f) + N_i(f)]\delta(f-f_1)~[\mathcal{R}_j S_h(f) + N_j(f)]\delta(f'-f'_1)\Big\}\\ \end{aligned}$$

弱信号近似：

$$\begin{aligned} \langle \mathcal{C}_{ij} \mathcal{C}^*_{kl}\rangle - \langle\mathcal{C}_{ij} \rangle \langle \mathcal{C}^*_{kl} \rangle &= \langle \tilde{n}_i \tilde{n}^*_k \rangle \langle \tilde{n}^*_j \tilde{n}_l\rangle = \frac{1}{4} \delta_{ik}\delta_{jl} N_i(f)\delta(f-f_1)~ N_j(f)\delta(f'-f'_1) \end{aligned}$$

配合$\mathbb{S}$协方差中积分及 $\delta_T(f-f'), \delta_T(f_1-f'_1)$ 可以将这里的$\delta$约化。

$$\begin{aligned} &\langle \tilde{n}_i(f) \tilde{n}^*_k(f_1) \rangle \langle \tilde{n}^*_j(f') \tilde{n}_l(f'_1) \rangle \\ &= \iint \langle x_i(t) x^*_k(t_1)\rangle e^{i 2\pi f t} e^{-i 2\pi f_1 t_1} dt dt_1 \iint \langle x_j(t') x^*_l(t'_1) \rangle e^{-i 2\pi f' t'} e^{i 2\pi f'_1 t'_1} dt'dt'_1 \\ &= \int e^{-i 2\pi (f_1-f) t} dt \int r_i (\tau) \delta_{ik} e^{i 2\pi f_1 \tau}d\tau \int e^{-i 2\pi (f'-f'_1) t'}dt' \int r_j(\tau') \delta_{jl} e^{i 2\pi f'_1 \tau'}d\tau'\\ &= \delta(f_1-f) \delta_{ik} \frac{1}{2}N_i(f_1) \delta(f'-f'_1)\delta_{jl} \frac{1}{2}N(f'_1)\\ &= \frac{1}{4} \delta_{ij,kl} \delta(f-f_1) N_i(f) \delta(f'-f'_1) N(f')\\ \end{aligned}$$

$\mathbb{S}$均值为两重积分，有1个$\delta_T$，对应谱也有1个$\delta$；方差为四重积分，有2个$\delta_T$，对应这里还有2个$\delta$。

$$\langle \mathcal{C}_{ij} \mathcal{C}^*_{kl}\rangle - \langle\mathcal{C}_{ij} \rangle \langle \mathcal{C}^*_{kl} \rangle = \frac{1}{4}T_{\rm obs} N_i(f)N_j(f)$$

---

$$\tilde{s}(f) = \int d\hat{k} D^{ab}\tilde{h}_{ab}(f, \hat{k}) e^{-i2\pi f \hat{k}\cdot\frac{\vec{r}}{c}}$$

$$\tilde{s}(f) = \sum_{P=R,L} \int d\hat{k} D^{ab}\tilde{h}_P(f, \hat{k}) e^P_{ab} e^{-i2\pi f \hat{k}\cdot\frac{\vec{r}}{c}}$$

$$\tilde{s}(f) = \sum_{P=R,L} \int d\hat{k} F^P \tilde{h}_P(f, \hat{k}) e^{-i2\pi f \hat{k}\cdot\frac{\vec{r}}{c}}$$

$$\mathbb{S} = \int df \int df' ~ \delta_T(f-f') \tilde{d}_I(f) \tilde{d}^*_J(f')\tilde{Q}^*(f')$$

$$\langle \mathbb{S} \rangle = \int df \int df' ~ \delta_T(f-f') \big\langle \tilde{s}_I(f) \tilde{s}^*_J(f')\big\rangle \tilde{Q}^*(f')$$

$$\tilde{s}_I(f) = \int d^2\hat{k} ~ D_I^{ab} \tilde{h}_{ab}(f, \hat{k}) e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I}{c}} = \sum_P \int d^2\hat{k} ~ F^P_I(\hat{k}) \tilde{h}_P(f, \hat{k}) e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I}{c}}$$

$$\begin{aligned} \big\langle \tilde{s}_I(f) \tilde{s}^*_J(f')\big\rangle &= \small \sum_P \sum_{P'} \int d^2\hat{k}\int d^2\hat{k}' ~ F^P_I(\hat{k})F^{P'}_J(\hat{k}') \big\langle \tilde{h}_P(f, \hat{k})\tilde{h}^*_{P'}(f', \hat{k}') \big\rangle e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I-\vec{r}_J}{c}}\\ &= \frac{1}{4\pi}\delta(f-f')S_h(f) \sum_P \int d^2\hat{k} ~ F^P_I(\hat{k})F^P_J(\hat{k}) e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I-\vec{r}_J}{c}}\\ &= \delta(f-f')S_h(f) \Gamma_{IJ}(f)\\ \end{aligned}$$

$$\overline{\left\langle \tilde{h}_P(f,\hat{k})\tilde{h}^*_{P'}(f',\hat{k}') \right\rangle} = \frac{1}{4\pi} \delta(f-f')~\delta^2(\hat{k},\hat{k}')~\delta_{PP'}~S_h(f)$$

对于有圆偏振情况，上述结果不再成立！此时：

$$\begin{pmatrix} \langle \tilde{h}_+(f, \hat{k}) \tilde{h}_+^*(f', \hat{k}')\rangle & \langle \tilde{h}_+(f, \hat{k}) \tilde{h}_\times^*(f', \hat{k}')\rangle \\ \langle \tilde{h}_+^*(f, \hat{k}) \tilde{h}_\times(f', \hat{k}')\rangle & \langle \tilde{h}_\times(f, \hat{k}) \tilde{h}_\times^*(f', \hat{k}')\rangle \end{pmatrix} = \frac{\delta(f-f')~\delta^2(\hat{k},\hat{k}')}{4\pi} \begin{pmatrix} I + Q & U-iV \\ U + iV & I-Q \end{pmatrix}$$

$$I = \langle |\tilde{h}_+|^2 + |\tilde{h}_\times|^2\rangle /2, ~~~ Q = \langle |\tilde{h}_+|^2 - |\tilde{h}_\times|^2\rangle /2$$

$$U = \langle \tilde{h}_+\tilde{h}_\times^* + \tilde{h}_+^*\tilde{h}_\times\rangle /2, ~~~ V= i\langle \tilde{h}_+\tilde{h}_\times^* - \tilde{h}_+^*\tilde{h}_\times\rangle /2$$

其中$Q, U$对应线偏振的强度差异，分别为当前坐标下$xy$与斜$45^\circ$方向线偏振，即$\tilde{h}_+,\tilde{h}_\times$的差异，以及旋转$\frac{\pi}{4}$后两个相对的张量方向的差异。当基矢旋转时，$Q,U$具有自旋$\pm 4$，多级矩展开时从4阶矩开始，对于各向同性的背景，两者取值均为0。$I$为背景总强度，$V$对应左右旋信号的差异，即总体圆偏振强度，两者在基矢旋转时保持不变。从而对于各项同性背景有

$$\begin{pmatrix} \langle \tilde{h}_+(f, \hat{k}) \tilde{h}_+^*(f', \hat{k}')\rangle & \langle \tilde{h}_+(f, \hat{k}) \tilde{h}_\times^*(f', \hat{k}')\rangle \\ \langle \tilde{h}_+^*(f, \hat{k}) \tilde{h}_\times(f', \hat{k}')\rangle & \langle \tilde{h}_\times(f, \hat{k}) \tilde{h}_\times^*(f', \hat{k}')\rangle \end{pmatrix} = \frac{\delta(f-f')~\delta^2(\hat{k},\hat{k}')}{4\pi} \begin{pmatrix} I & -iV \\ iV & I \end{pmatrix}$$

当没有总体圆偏振，才回归到最初的公式。
引入左右旋的张量基，及对应的左右旋应力张量。

$$\begin{gathered} \bm{e}^R = \frac{\bm{e}^+ + i\bm{e}^\times}{\sqrt{2}}, ~~~~~ \bm{e}^L = \frac{\bm{e}^+ - i\bm{e}^\times}{\sqrt{2}}\\ h_R = \frac{h_+ - i h_\times}{\sqrt{2}}, ~~~~~ h_L = \frac{h_+ + i h_\times}{\sqrt{2}}\\ \end{gathered}$$

$$h_{ab} = h_+ \bm{e}^+ + h_\times \bm{e}^\times = h_R~\bm{e}^R + h_L~\bm{e}^L$$

$$\begin{gathered} \langle \tilde{h}_R \tilde{h}_R^*\rangle + \langle \tilde{h}_L \tilde{h}_L^*\rangle = \langle \tilde{h}_+ \tilde{h}_+^*\rangle + \langle \tilde{h}_\times \tilde{h}_\times^*\rangle\\ \langle \tilde{h}_R \tilde{h}_R^*\rangle - \langle \tilde{h}_L \tilde{h}_L^*\rangle = i\left[\langle \tilde{h}_+ \tilde{h}_\times^*\rangle - \langle \tilde{h}_\times \tilde{h}_+^*\rangle\right] \end{gathered}$$

$$\begin{gathered} I(f) = \frac{1}{2}[S_R(f) + S_L(f)], ~~~ V(f) = \frac{1}{2}[S_R(f) - S_L(f)]\\ S_R(f) = I(f) + V(f), ~~~ S_L(f) = I(f) - V(f)\\ {\rm \color{red} v.s. }\\ I(f) = S_R(f) + S_L(f), ~~~ V(f) = S_R(f) - S_L(f)\\ S_R(f) = \frac{1}{2}[I(f) + V(f)], ~~~ S_L(f) = \frac{1}{2}[I(f) - V(f)]\\ \end{gathered}$$

写作左右旋形式则有：

$$\begin{pmatrix} \langle \tilde{h}_R(f, \hat{k}) \tilde{h}_R^*(f', \hat{k}')\rangle & \langle \tilde{h}_R(f, \hat{k}) \tilde{h}_L^*(f', \hat{k}')\rangle \\ \langle \tilde{h}_R^*(f, \hat{k}) \tilde{h}_L(f', \hat{k}')\rangle & \langle \tilde{h}_L(f, \hat{k}) \tilde{h}_L^*(f', \hat{k}')\rangle \end{pmatrix} = \frac{\delta(f-f')~\delta^2(\hat{k},\hat{k}')}{4\pi} \begin{pmatrix} I+V & 0 \\ 0 & I-V \end{pmatrix}$$

或者简写做

$$\left\langle \tilde{h}_P(f,\hat{k})\tilde{h}^*_{P'}(f',\hat{k}') \right\rangle = \frac{1}{4\pi} \delta(f-f')~\delta^2(\hat{k},\hat{k}')~\delta_{PP'}~S_P(f)$$

注意此时左右旋对应各自$S_P(f)$，而不再是同一个功率谱。

当存在园偏振时，$F^P$不再是实数

$$\begin{aligned} \big\langle \tilde{s}_I(f) \tilde{s}^*_J(f')\big\rangle &= \small \sum_P \sum_{P'} \int d^2\hat{k}\int d^2\hat{k}' ~ F^P_I(\hat{k})F^{P'*}_J(\hat{k}') \big\langle \tilde{h}_P(f, \hat{k}) \tilde{h}^*_{P'}(f', \hat{k}') \big\rangle e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I-\vec{r}_J}{c}}\\ &= \delta_{f, f'}\sum_P \int d^2\hat{k} ~ F^P_I(\hat{k})F^{P*}_J(\hat{k}) S_P(f) e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I-\vec{r}_J}{c}} \end{aligned}$$

$$F_I^R F_J^{R*} = D_{ab}D_{cd} e_{ab}^{R}e_{cd}^{R*} = D_I^{ab}D_J^{cd} [e_{ab}^{+}e_{cd}^{+} + e_{ab}^{\times}e_{cd}^{\times} - i e_{ab}^+e_{cd}^\times + i e_{ab}^\times e_{cd}^+]$$

$$F_I^L F_J^{L*} = D_{ab}D_{cd} e_{ab}^{R}e_{cd}^{R*} = D_{ab}D_{cd} [e_{ab}^{+}e_{cd}^{+} + e_{ab}^{\times}e_{cd}^{\times} + i e_{ab}^+e_{cd}^\times - i e_{ab}^\times e_{cd}^+]$$

$$\langle \tilde{s}_I(f) \tilde{s}^*_J(f')\rangle = 4\pi \langle\mathcal{R}\rangle \left[\gamma_{IJ}^I(f) I(f) + \gamma_{IJ}^V(f) V(f) \right]\delta_{f, f'}$$

$$\gamma_{IJ}^{I}(f) = D_I^{~~ab} D_J^{~~cd} \frac{1}{\langle\mathcal{R}\rangle} \int \frac{d^2\hat{k}}{4\pi} ~ \left(e^+_{ab} e^+_{cd} + e^\times_{ab} e^\times_{cd}\right) e^{i\hat{k}\cdot \hat{z}~\imath}$$

$$\gamma_{IJ}^{V}(f) = D_I^{~~ab} D_J^{~~cd} \frac{i}{\langle\mathcal{R}\rangle} \int \frac{d^2\hat{k}}{4\pi} ~ \left(e^+_{ab} e^\times_{cd} - e^\times_{ab} e^+_{cd}\right) e^{i\hat{k}\cdot \hat{z}~\imath}$$

$$\mathcal{D}^V_{ij,kl}(f,f') = \frac{\tilde{d}_i(f)\tilde{d}^*_j(f')}{\mathcal{R}^I_{ij}} - \frac{\tilde{d}_k(f)\tilde{d}^*_l(f')}{\mathcal{R}^I_{kl}}$$

$$\Big\langle \mathcal{D}^V_{ij,kl}(f,f') \Big\rangle = \frac{\langle \tilde{s}_i(f) \tilde{s}^*_j(f')\rangle}{\mathcal{R}^I_{ij}} - \frac{\langle \tilde{s}_k(f) \tilde{s}^*_l(f')\rangle}{\mathcal{R}^I_{ij}} = \left(\frac{\mathcal{R}^V_{ij}}{\mathcal{R}^I_{ij}}-\frac{\mathcal{R}^V_{kl}}{\mathcal{R}^I_{kl}}\right)V(f)\delta(f-f')$$

$$\mathbb{S}^V = \int df\int df' ~ \delta_T(f-f') \mathcal{D}^V_{ij,kl}(f,f') Q_{ij,kl}(f)$$

$$\begin{aligned} \langle\mathbb{S}^V\rangle &= \int df\int df' ~ \delta_T(f-f')\Big\langle \mathcal{D}^V_{ij,kl}(f,f') \Big\rangle Q_{ij,kl}(f)\\ &= \int df ~ \delta_T(0) \left(\frac{\mathcal{R}^V_{ij}}{\mathcal{R}^I_{ij}}-\frac{\mathcal{R}^V_{kl}}{\mathcal{R}^I_{kl}}\right)V(f) Q_{ij,kl}(f)\\ &= T \int df ~ \left(\frac{\mathcal{R}^V_{ij}}{\mathcal{R}^I_{ij}}-\frac{\mathcal{R}^V_{kl}}{\mathcal{R}^I_{kl}}\right)V(f) Q_{ij,kl}(f) \end{aligned}$$

$$\begin{aligned} \mathbb{S}^V_{\rm total} =& \sum_{ij,kl}\int df\int df' ~ \delta_T(f-f') \mathcal{D}^V_{ij,kl}(f,f') Q_{ij,kl}(f)\\ =& \sum_{ij,kl}\int df\int df' ~ \delta_T(f-f') \left[\frac{\tilde{d}_i(f)\tilde{d}^*_j(f')}{\mathcal{R}^I_{ij}} - \frac{\tilde{d}_k(f)\tilde{d}^*_l(f')}{\mathcal{R}^I_{kl}}\right] Q_{ij,kl}(f)\\ =& \sum_{ij}\int df\int df' ~ \delta_T(f-f') \tilde{d}_i(f)\tilde{d}^*_j(f') W_{ij}(f) \end{aligned}$$

$$\begin{aligned} \langle \mathbb{S}^V_{\rm total} \rangle=& \sum_{ij,kl}\int df\int df' ~ \delta_T(f-f') \Big\langle \mathcal{D}^V_{ij,kl}(f,f')\Big\rangle Q_{ij,kl}(f)\\ =& \sum_{ij,kl}\int df\int df' ~ \delta_T(f-f') \left(\frac{\mathcal{R}^V_{ij}}{\mathcal{R}^I_{ij}}-\frac{\mathcal{R}^V_{kl}}{\mathcal{R}^I_{kl}}\right)V(f)\delta(f-f') Q_{ij,kl}(f)\\ =& \sum_{ij}\int df ~ \delta_T(0) \mathcal{R}^V_{ij} V(f) W_{ij}(f) \end{aligned}$$

$$\begin{aligned} \langle \mathbb{S}^V_{\rm total} \rangle=& \sum_{ij}\int df\int df' ~ \delta_T(f-f') \big\langle \tilde{d}_i(f)\tilde{d}^*_j(f')\big\rangle W_{ij}(f)\\ = & \sum_{ij}\int df ~ \delta_T(0) 4\pi \langle\mathcal{R}\rangle \Big[ \gamma_{IJ}^I(f) I(f) + \gamma_{IJ}^V(f) V(f) \Big] W_{ij}(f) \end{aligned}$$

$$\begin{aligned} & \sum_{ij} \gamma_{ij}^I(f) I(f) W_{ij}(f) = \sum_{ij} \gamma_{ij}^I(f) I(f) \frac{\gamma_{ij}^V(f) V(f)}{N_i(f)N_j(f)}\\ & \boxed{\sum_{ij} \gamma_{ij}^I(f) \gamma_{ij}^V(f) = 0} \end{aligned}$$

$$\begin{aligned} \langle(\mathbb{S}^V_{\rm total})^2\rangle = & \int df\int df'\int df_1\int df'_1 ~ \delta_T(f-f') \delta_T(f_1-f'_1) \\ & \sum_{ij} \sum_{kl} \Big\langle\tilde{d}_i(f)\tilde{d}^*_j(f') \tilde{d}^*_k(f)\tilde{d}_l(f')\Big\rangle W_{ij}(f)W^*_{kl}(f_1)\\ \approx & \int df\int df'\int df_1\int df'_1 ~ \delta_T(f-f') \delta_T(f_1-f'_1) \\ & \sum_{ij} \sum_{kl} \Big\langle\tilde{n}_i(f)\tilde{n}^*_j(f') \tilde{n}^*_k(f)\tilde{n}_l(f')\Big\rangle W_{ij}(f)W^*_{kl}(f_1)\\ = & \int df~ \delta_T(0) \delta_T(0) \sum_{ij} N_{i}(f)N_j(f) W_{ij}(f)W^*_{ij}(f) \end{aligned}$$

$$\tilde{Q}(f) = q \frac{\gamma_{IJ}^I(f) I(f) + \gamma_{IJ}^V(f) V(f)}{N_I(f)N_J(f)}???$$

$$\tilde{Q}_I(f) = q \frac{\gamma_{IJ}^I(f) I(f)}{N_I(f)N_J(f)}???$$

$$\tilde{Q}_V(f) = q \frac{\gamma_{IJ}^V(f) V(f)}{N_I(f)N_J(f)}???$$

$$\rho_{\tiny IJ}^2 = \langle\mathcal{R}\rangle^2 T_{\rm obs} \left\langle \frac{\gamma_{IJ}^I(f) I(f) + \gamma_{IJ}^V(f) V(f)}{ N_I(f) N_J(f)} \Big|\frac{\gamma_{IJ}^I(f) I(f) + \gamma_{IJ}^V(f) V(f)}{ N_I(f) N_J(f)} \right\rangle$$

$$\boxed{\rho_{\tiny IJ} = \langle \mathcal{R} \rangle \sqrt{T_{\rm obs}} \sqrt{\int df \frac{ \Big[\gamma_{IJ}^I(f) I(f) + \gamma_{IJ}^V(f) V(f)\Big]^2}{N_I(f) N_J(f)} } }$$

$$\mathcal{C}_{ij}(f) = \tilde{d}_i(f)\tilde{d}^*_j(f)$$

$$\mathcal{C}_{ij} = \tilde{d}_i\tilde{d}^*_j = \tilde{s}_i\tilde{s}^*_j + \tilde{s}_i\tilde{n}^*_j + \tilde{n}_i\tilde{s}^*_j + \tilde{n}_i\tilde{n}^*_j$$

对应前面数据互相关此，有$f=f'$, 对应$\delta(f-f')=\delta(0)$，对于有限时间的观测数据 $\delta(0)\rightarrow T_{\rm obs}$

$$\langle \mathcal{C}_{ij}(f)\rangle = 4\pi\langle\mathcal{R}\rangle T_{\rm obs} [\gamma^I_{ij} I(f) + \gamma^V_{ij} V(f)]$$

$$\left\langle\begin{pmatrix} \mathcal{C}_{AA} \\ \mathcal{C}_{AE}\\ \mathcal{C}_{EA} \\ \mathcal{C}_{EE} \end{pmatrix}\right\rangle = 4\pi\langle\mathcal{R}\rangle T_{\rm obs} \begin{pmatrix} \gamma^I_{AA} & \gamma^V_{AA} \\ \gamma^I_{AE} & \gamma^V_{AE} \\ \gamma^I_{EA} & \gamma^V_{EA} \\ \gamma^I_{EE} & \gamma^V_{EE} \end{pmatrix} \begin{pmatrix} I\\ \\ V \end{pmatrix}$$

$$\langle\mathcal{C}\rangle = 4\pi\langle\mathcal{R}\rangle T_{\rm obs} \mathcal{M} \mathcal{S}, ~~~~~ \mathcal{S} = \frac{1}{4\pi\langle\mathcal{R}\rangle T_{\rm obs}} \mathcal{M}^{-1} \langle\mathcal{C}\rangle$$

这里$\mathcal{C}$为随机变量，均值为上式。为简化协方差矩阵，将每个探测器对$ij$记为单一标号$\kappa$，则有：

$$\mathcal{N}_{\kappa\kappa'} (f,f') = \langle \mathcal{C}_\kappa(f) \mathcal{C}^*_{\kappa'}(f')\rangle - \langle\mathcal{C}_\kappa(f)\rangle \langle\mathcal{C}^*_{\kappa'}(f')\rangle$$

在弱信号近似下：

$$\mathcal{N}_{\kappa\kappa'(f,f')} \approx \langle \bm{n}_\kappa(f,f') \bm{n}^*_{\kappa'}(f, f') \rangle = N_{\kappa}(f) \delta_{\kappa,\kappa'} \delta(f-f')$$

即噪声的协方差矩阵 $\mathcal{N}$ 为对角阵。注意，这里 $\bm{n}_\kappa(f,f')$ 为一对探测器的噪声信号相关，即$n_i(f) n^*_j(f')$，从而 $\langle \bm{n}_\kappa(f,f') \bm{n}^*_{\kappa'}(f, f') \rangle = \langle n_i(f) n^*_j(f) n^*_k(f') n_l(f') \rangle$，只有当$ij$与$kl$相同，即$\kappa$与$\kappa'$相等(且$f=f'$)时，结果才非零，此时取值为$N_i(f) N_j(f)$，这里记作$N_\kappa(f)$。

这里$\delta(0)\rightarrow T_{\rm obs}$，同样会出现时间。

最终对于信号$\mathcal{S}$，引力波探测互相关数据$\mathcal{C}$的似然函数：

$$p(\mathcal{C}|\mathcal{S}) \propto \exp\left[-\frac{1}{2} \Big(\mathcal{C}- 4\pi\langle\mathcal{R}\rangle T_{\rm obs} \mathcal{M} \mathcal{S}\Big)^T \left(T_{\rm obs}\mathcal{N}\right)^{-1} \Big(\mathcal{C}- 4\pi\langle\mathcal{R}\rangle T_{\rm obs} \mathcal{M} \mathcal{S}\Big)\right]$$

对$\mathcal{S}$求导，可得到$\mathcal{S}$的最大化似然估计：

$$4\pi\langle\mathcal{R}\rangle T_{\rm obs} \mathcal{M}^T \left(T_{\rm obs}\mathcal{N}\right)^{-1} \Big(\mathcal{C}- 4\pi\langle\mathcal{R}\rangle T_{\rm obs} \mathcal{M} \hat{\mathcal{S}}\Big) + \Big(\mathcal{C}- 4\pi\langle\mathcal{R}\rangle T_{\rm obs} \mathcal{M} \hat{\mathcal{S}}\Big)^T \left(T_{\rm obs}\mathcal{N}\right)^{-1} 4\pi\langle\mathcal{R}\rangle T_{\rm obs} \mathcal{M} = 0$$

$$\hat{\mathcal{S}} = \mathcal{F}^{-1} X, ~~~~ \mathcal{F} = 4\pi\langle\mathcal{R}\rangle T_{\rm obs} \mathcal{M}^T \left(T_{\rm obs}\mathcal{N}\right)^{-1} 4\pi\langle\mathcal{R}\rangle T_{\rm obs}\mathcal{M}, X = 4\pi\langle\mathcal{R}\rangle T_{\rm obs} \mathcal{M}^T \left(T_{\rm obs}\mathcal{N}\right)^{-1} \mathcal{C}$$

这里$\mathcal{F}$是Fisher信息矩阵，具体参考下面正态分布Fisher信息矩阵的结论（目标参数为$\mathcal{S}$，物理模型对参数的求导为$4\pi\langle\mathcal{R}\rangle T_{\rm obs} \mathcal{M}$），由此信号协方差矩阵：

$$\mathcal{F} = (4\pi\langle\mathcal{R}\rangle)^2 T_{\rm obs} \mathcal{M}^T \mathcal{N}^{-1} \mathcal{M}, ~~~~ X = 4\pi\langle\mathcal{R}\rangle \mathcal{M}^T \mathcal{N}^{-1} \mathcal{C}$$

$$\mathcal{F} = (4\pi\langle\mathcal{R}\rangle)^2 T_{\rm obs} \begin{pmatrix} \sum \frac{(\gamma^I_\kappa)^2}{N_\kappa} & \sum \frac{\gamma^I_\kappa\gamma^V_\kappa}{N_\kappa}\\ \sum \frac{\gamma^V_\kappa\gamma^I_\kappa}{N_\kappa} & \sum \frac{(\gamma^V_\kappa)^2}{N_\kappa} \end{pmatrix}$$

$$\Sigma \approx \mathcal{F}^{-1}$$

$$\mathcal{F}^{-1}_{II} = \frac{\mathcal{F}_{VV}}{|\mathcal{F}|}, ~~~~ \mathcal{F}^{-1}_{VV} = \frac{\mathcal{F}_{II}}{|\mathcal{F}|}$$

$$SNR_I^2 = \int df \frac{\hat{I}^2(f)}{\sigma^2_{\hat{I}}(f)} = (4\pi\langle\mathcal{R}\rangle)^2 T_{\rm obs} \int df \frac{|\mathcal{F}|}{\mathcal{F}_{VV}}I^2$$

$$SNR_V^2 = \int df \frac{\hat{V}^2(f)}{\sigma^2_{\hat{V}}(f)} = (4\pi\langle\mathcal{R}\rangle)^2 T_{\rm obs} \int df \frac{|\mathcal{F}|}{\mathcal{F}_{II}}V^2$$

$$SNR_I^2 =(4\pi\langle\mathcal{R}\rangle)^2 T_{\rm obs} \int df \frac{\big[\sum_\kappa (\gamma^I_\kappa)^2/N_\kappa\big] \big[\sum_\kappa (\gamma^V_\kappa)^2/N_\kappa\big] - \big(\sum_\kappa \gamma^I_\kappa\gamma^V_\kappa/N_\kappa\big)^2}{\sum_\kappa (\gamma^V_\kappa)^2/N_\kappa} I^2$$

$$SNR_V^2 =(4\pi\langle\mathcal{R}\rangle)^2 T_{\rm obs} \int df \frac{\big[\sum_\kappa (\gamma^I_\kappa)^2/N_\kappa\big] \big[\sum_\kappa (\gamma^V_\kappa)^2/N_\kappa\big] - \big(\sum_\kappa \gamma^I_\kappa\gamma^V_\kappa/N_\kappa\big)^2}{\sum_\kappa (\gamma^I_\kappa)^2/N_\kappa} V^2$$

对于LISA-Taiji联网，四个有效通道对的噪声功率完全相同，从而：

$$SNR_I^2 =(4\pi\langle\mathcal{R}\rangle)^2 T_{\rm obs} \int df \frac{\big[\sum_\kappa (\gamma^I_\kappa)^2\big] \big[\sum_\kappa (\gamma^V_\kappa)^2\big] - \big(\sum_\kappa \gamma^I_\kappa\gamma^V_\kappa\big)^2}{\sum_\kappa (\gamma^V_\kappa)^2} I^2/N$$

$$SNR_V^2 =(4\pi\langle\mathcal{R}\rangle)^2 T_{\rm obs} \int df \frac{\big[\sum_\kappa (\gamma^I_\kappa)^2\big] \big[\sum_\kappa (\gamma^V_\kappa)^2\big] - \big(\sum_\kappa \gamma^I_\kappa\gamma^V_\kappa\big)^2}{\sum_\kappa (\gamma^I_\kappa)^2} V^2/N$$

此时可引入有效重叠约化函数，更直观地描述探测器网络对于I、V分量的灵敏度

$$\gamma_{I, \rm eff} = \sqrt{\frac{\big[\sum_\kappa (\gamma^I_\kappa)^2\big] \big[\sum_\kappa (\gamma^V_\kappa)^2\big] - \big(\sum_\kappa \gamma^I_\kappa\gamma^V_\kappa\big)^2}{\sum_\kappa (\gamma^V_\kappa)^2}} = \sqrt{\sum_\kappa (\gamma^I_\kappa)^2 - \frac{\big(\sum_\kappa \gamma^I_\kappa\gamma^V_\kappa\big)^2}{\sum_\kappa (\gamma^V_\kappa)^2}}$$

$$\gamma_{V, \rm eff} = \sqrt{\frac{\big[\sum_\kappa (\gamma^I_\kappa)^2\big] \big[\sum_\kappa (\gamma^V_\kappa)^2\big] - \big(\sum_\kappa \gamma^I_\kappa\gamma^V_\kappa\big)^2}{\sum_\kappa (\gamma^I_\kappa)^2}} = \sqrt{\sum_\kappa (\gamma^V_\kappa)^2 - \frac{\big(\sum_\kappa \gamma^I_\kappa\gamma^V_\kappa\big)^2}{\sum_\kappa (\gamma^I_\kappa)^2}}$$

$$SNR_I^2 =(4\pi\langle\mathcal{R}\rangle)^2 T_{\rm obs} \int df \frac{\gamma^2_{I, \rm eff} I^2}{N}$$

$$SNR_V^2 =(4\pi\langle\mathcal{R}\rangle)^2 T_{\rm obs} \int df \frac{\gamma^2_{V, \rm eff} V^2}{N}$$

在背景各项异性的天图分析中，这里$X$通常被称为脏图(dirty map)，$\hat{S}$则称为净图(clean map)。$X = \mathcal{M}^T\mathcal{N}^{-1}\mathcal{C} \sim \mathcal{M}^T\mathcal{N}^{-1}\mathcal{M}\mathcal{S} \sim \mathcal{F}\mathcal{S}$，包含了信号与探测器关联响应，即重叠约化函数的卷积(频域相乘等于时域卷积)，以及噪声，而$\hat{S}$则时经过去卷积出的信号。

如果背景是完全圆偏振的，$I(f) = \pm V(f)$，无需要再拆分两者，从而两个探测器的重叠约化可取为$\gamma^I_{IJ} \pm \gamma^V_{IJ}$，总的有效重叠约化为

$$\sqrt{\sum_\kappa \left( \gamma^I_\kappa \pm \gamma^V_\kappa \right)^2} = \sqrt{\sum_\kappa ( \gamma^I_\kappa)^2 + \sum_\kappa ( \gamma^I_\kappa)^2 \pm 2\sum_\kappa \gamma^I_\kappa\gamma^V_\kappa}$$

critical frequency $f = \frac{c}{2 D}\sim 1.5\rm mHz$ Wang 2021??

Fisher信息
得分函数 对数似然的梯度

$$s(\theta;x) \equiv \nabla_\theta \log p(x; \theta)$$

这里下脚标$\theta$代表在参数空间(对参数$\theta$各分量)求梯度，而非方向导数。得分函数反映了似然函数/模型在特定$\theta$处对参数变化的敏感程度。但其具体取值依赖随机变量$x$，对$x$的分布求期望，在真实参数处平均取值为0。此时，得分函数的方差/协方差矩阵更好的反映了平均的敏感程度，被称为Fisher信息(矩阵)。

$$\begin{aligned} E(s|\theta) &= \int \nabla_\theta \log p(x; \theta) ~ p(x;\theta) dx\\ &= \int \nabla_\theta p(x; \theta) dx = \nabla_\theta \int p(x; \theta) dx\\ & = 0\\ E(s s^T|\theta) &= \int \Big[\nabla_\theta \log p(x; \theta) ~ \nabla_\theta^T \log p(x; \theta)\Big] ~ p(x; \theta) dx\\ &= \int \nabla_\theta~ p(x; \theta) ~ \nabla_\theta^T \log p(x; \theta) dx\\ &= \int \left\{\nabla_\theta \Big[p(x;\theta) ~ \nabla_\theta^T \log p(x; \theta)\Big] - p(x;\theta)~ \nabla_\theta \nabla_\theta^T \log p(x; \theta)\right\}dx\\ &= \int \nabla_\theta \nabla_\theta^T p(x; \theta) dx - \int p(x;\theta)~ \nabla_\theta \nabla_\theta^T \log p(x; \theta)dx\\ &= \nabla_\theta \nabla_\theta^T \int p(x; \theta) dx - \int p(x;\theta)~ \nabla_\theta \nabla_\theta^T \log p(x; \theta)dx\\ &= - E\left(\nabla_\theta \nabla_\theta^T \log p(x; \theta) \Big| \theta\right) \end{aligned}$$

这里$\nabla \nabla^T$对应黑赛矩阵，有时也被简记为$\nabla^2$^wiki，注意与通常的拉普拉斯算符区分。
根据上述推导：

$$\small \boxed{\Gamma \equiv {\rm Cov}(s) = E\left( \nabla_\theta \log p(x; \theta) ~ \nabla_\theta^T \log p(x; \theta) \Big| \theta\right) = - E\left( \nabla_\theta \nabla_\theta^T \log p(x; \theta) \Big| \theta\right)}$$

上述两种表达都可用于计算Fisher信息矩阵，根据具体情况选择，无法解析计算也可通过蒙特卡罗多次采样求均值近似。在参数空间中对数似然在峰值，即真实参数附近梯度为0，此时黑赛矩阵反映了曲率，或者说度规张量。因此，Fisher信息矩阵在几何上，对应于参数空间中对数似然超曲面在真实参数附近的曲率，也即前面讲的参数敏感程度。注意，得分函数作为对数似然的导数，与具体的采样或观测数据有关，但其期望及方差仅由分布决定，与具体数据无关。
$\footnotesize {\rm Var}(X+Y) = E\left\{[X+Y - E(X)-E(Y)]^2\right\} = {\rm Var}(X) + {\rm Var}(Y) + 2{\rm Cov}(X,Y)$。对于相互独立的随机变量，协方差为0，从而独立随机变量和的方差为各自方差之和。对于多个独立事件，似然函数为所有事件似然概率的乘积，从而得分函数为各自得分函数之和。进而得分函数的方差，即总的Fisher信息矩阵，为各自信息矩阵之和。概括起来，对于独立事件，Fisher信息矩阵具有可加性。尤其是对于独立同分布的观测数据，N次观测的Fisher信息矩阵为单次观测的N倍。
这种可加性对于先验信息同样成立，参考下面的克拉美-罗下界，对于无偏估计，Fisher信息对应参数分布协方差矩阵的逆。由此，对参数先验分布的协方差矩阵求逆可获得先验Fisher信息，将其与由似然函数获得的信息相加，即为总的后验Fisher信息，再次取逆可得到参数的后验分布的协方差。实际中通常只对个别参数有先验分布，此时可近似将参数方差的倒数与Fisher信息矩阵对应的对角元相加。
进一步的，信息可加性还可用于不同实验结果的整合。这些实验可涉及不同的模型以及观测量，尤其是可能存在不同的冗余参数，为避免合并矩阵维度过高，可边缘化(marginalize)冗余参数，但需要注意不同实验的冗余参数间是否存在关联性：对于无关的冗余参数，可先对相应参数进行边缘化操作，之后对边缘化之后的Fisher信息矩阵求和；对相同或相关的冗余参数，则必须先对Fisher信息矩阵求和，再边缘化冗余参数。边缘化参数需先求逆计算协方差矩阵，从中移除冗余参数，再进行逆运算获得边缘化后的Fisher信息矩阵。这其中的问题在于反复求逆，数值上不太稳定，另一种选择是$\overline{\Gamma} = \Gamma_{pp} - \Gamma_{pr}\Gamma_{rr}^{-1}\Gamma_{rp}$，这里下标指示了Fisher矩阵的不同分块，$p$代表目标参数，$r$代表冗余参数。
注意：参数边缘化需要从协方差矩阵中移除参数，与之相对的，直接从Fisher信息矩阵中移除参数所对应的是完全固定相关参数。

克拉美-罗下界(Cramér–Rao Bound, CRB)

多维参数情况，参照柯西-施瓦茨不等式的矩阵形式$\langle u,u \rangle \succeq \langle u,v \rangle \langle v,v \rangle^{-1}\langle v,u\rangle$：

$${\rm Cov}(\hat{\theta}|\theta) \ge {\rm Cov}(\hat{\theta}, s|\theta) {\rm Cov}(s)^{-1} {\rm Cov}(s, \hat{\theta}|\theta)$$

$$\begin{aligned} {\rm Cov}(s, \hat{\theta} | \theta) &= E\left\{ \big[s -E(s)\big] \big[\hat{\theta}-E(\hat{\theta})\big]^T \bigg|\theta \right\}\\ &= E\left\{ s \big[\hat{\theta}-E(\hat{\theta})\big]^T \bigg|\theta \right\} = E(s~ \hat{\theta}^T|\theta) - E(s|\theta) E(\hat{\theta}|\theta)^T\\ &= E(s~ \hat{\theta}^T|\theta) = \int \Big[\nabla_\theta \log p(x; \theta)\Big] ~ \hat{\theta}^T p(x; \theta) dx\\ &= \int \Big[\nabla_\theta ~ p(x; \theta)\Big] ~ \hat{\theta}^T dx = \nabla_\theta \int p(x; \theta) \hat{\theta}^T dx\\ &= \nabla E(\hat{\theta}|\theta)\\ {\rm Cov}(\hat{\theta}, s | \theta) &= E(\hat{\theta} s^T|\theta) = E(s \hat{\theta}^T|\theta)^T = \left[\nabla E(\hat{\theta}|\theta)\right]^T \end{aligned}$$

从而，参数估计协方差的下界为：

$$\Sigma_{\hat{\theta}} \equiv {\rm Cov}(\hat{\theta}|\theta) \ge \left[\nabla E(\hat{\theta}|\theta)\right] ^T ~ \Gamma^{-1} ~ \nabla E(\hat{\theta}|\theta)$$

在给定$\theta$情况下，假设$\hat{\theta}$为无偏估计，有$E(\hat{\theta}|\theta)=\theta$，从而${\rm Cov}(s, \hat{\theta}|\theta) = I$，为单位矩阵。此时，协方差下界简化为Fisher信息矩阵的逆：

$$\Sigma_{\hat{\theta}} \ge \Gamma^{-1}$$

实际应用时，若Fisher信息矩阵的逆难以计算，也可直接计算Fisher信息矩阵对角元的倒数，获得关于参数方差的宽松下界^wiki ： ${\sigma^2}_{\hat{\theta}} = (\Sigma_{\hat{\theta}})_{ii} \ge (\Gamma^{-1})_{ii} \ge (\Gamma_{ii})^{-1}$。此外需注意，Fisher信息矩阵并非所实际能获得精度的下界，该结论仅针对无偏估计，利用一些有偏估计量反而可能获得更好的参数限制。

对于正态分布$p(x;\theta) = \frac{1}{ \sqrt{(2\pi)^k|\Sigma(\theta)|} } \exp \left\{-\frac{1}{2}[x-\mu(\theta)]^T\Sigma(\theta)^{-1} [x-\mu(\theta)]\right\}$。对应的Fisher信息矩阵可参考Wikipedia：

$$\Gamma_{ij} = \Big[(\nabla \mu)^T \Sigma^{-1} \nabla \mu\Big]_{ij} + \frac{1}{2}{\rm Tr}\Big[\Sigma_\theta^{-1}~(\partial_{\theta_i}\Sigma) ~\Sigma^{-1} ~ (\partial_{\theta_j}\Sigma)\Big]$$

其中$\rm Tr$为求迹。注意，这里$\Sigma$为残差/噪声的协方差，维度对应于数据维度，不要与前面所讨论的参数估计协方差混淆。后者对于无偏估计，以信息矩阵的逆$\Gamma^{-1}$为下界，维度对应参数维度。暂时忽略后一项，这里前一项反映了参数变换时Fisher信息矩阵的变换：变量$x$变换至$\theta$，对应于Fisher信息矩阵$\Gamma_\theta = (\nabla_\theta x)^T \Gamma_x \nabla_\theta x$。注意在$x, \theta$均为多维变量时，$\nabla_\theta x$即变量代换的雅可比矩阵。考虑到$x$的协方差为$\Sigma$，对应Fisher信息$\Sigma^{-1}$，而变量代换通过模型$\mu(\theta)$体现，最终$\theta$信息矩阵为$(\nabla \mu)^T \Sigma^{-1} \nabla \mu$，其逆对应新参数的协方差。
数据分析时，$x$为观测数据，$\mu(\theta)$对应信号的物理模型，$\nabla \mu$为模型对参数的梯度。若各次观测的噪声无关，$\theta$仅为物理参数，而残差的协方差$\Sigma$与物理参数无关，因此信息矩阵仅有前一项。反之，如果多次观测噪声相关，$\theta$包含物理参数$\alpha$及噪声参数$\beta$，同时噪声与信号不相关(两者不依赖共同参数)，则Fisher信息矩阵为分块对角：其中物理参数部分，与残差噪声无关，因此后一项为0；噪声参数部分，与物理信号无关，因此前一项为0。

引力波分析中，假设噪声为稳态高斯过程，一次具体观测(relization)的似然概率：

$$p(d|\theta) \propto \exp\left[ -\frac{1}{2} \int df \frac{[\tilde{d}(f)-\tilde{s}(f;\theta)]^*[\tilde{d}(f)-\tilde{s}(f;\theta)]}{1/2S_n(f)} \right]$$

这里$1/2S_n(f)$为不同频率处探测器噪声功率，即相应频率的噪声方差。指数上对$f$的积分，相当于不同频率处概率相乘，对应不同时间全部观测的总体概率。
引入内积定义

$$\langle a|b\rangle \equiv \int \frac{\tilde{a}^*(f)\tilde{b}(f)}{1/2 S_n(f)}df = 4\mathfrak{R} \int_0^\infty \frac{\tilde{a}^*(f)\tilde{b}(f)}{S_n(f)}df$$

上述似然概率可简化为：

$$p(d|\theta) \propto \exp\left[ -\frac{1}{2} \langle d-s(\theta)|d-s(\theta)\rangle \right]$$

对于多探测联合观测，可类似定义

$$\langle A|B\rangle \equiv 4\mathfrak{R} \int_0^\infty \tilde{A}^\dagger(f) \mathcal{N}^{-1} \tilde{B}(f) df$$

这里$\mathcal{N}$探测器噪声协方差矩阵，$\langle \tilde{n}_a(f) \tilde{n}^*_b(f')\rangle = \frac{1}{2}\mathcal{N}_{ab}\delta(f-f')$。假设不同探测器间噪声不相关，则$\mathcal{N}$为对角阵，$\langle \tilde{n}_a(f) \tilde{n}^*_b(f')\rangle = \frac{1}{2}\mathcal{N}_{ab}\delta_{a,b}\delta(f-f')$。
根据正态分布的结论，如果不考虑对$f$的积分，对单个频率$\Gamma = (\nabla s)^\dagger (\frac{1}{2}\mathcal{N})^{-1} \nabla s$。而考虑到Fisher信息的可加性：

$$\Gamma = \int df (\nabla s)^\dagger~ (1/2~\mathcal{N})^{-1} ~\nabla s = \langle \nabla s|\nabla s\rangle$$

也可直接由Fisher信息的定义式出发，以单探测器情况为例：

$$\begin{aligned} \Gamma &= E\left[ \nabla_\theta \log p(d; \theta) ~ \nabla_\theta^T \log p(d; \theta) \Big| \theta\right]\\ &= E\Big[ \left\langle \nabla s \big|d - s\right\rangle ~ \left\langle d - s\big|\nabla s\right\rangle\Big] = E\Big[ \left\langle \nabla s \big|n\right\rangle ~ \left\langle n\big|\nabla s\right\rangle\Big]\\ &= E\left[\int df \frac{\nabla \tilde{s}(f;\theta)^\dagger \tilde{n}(f)}{1/2S_n(f)} \int df' \frac{\tilde{n}^*(f') \nabla \tilde{s}(f';\theta)}{1/2S_n(f')}\right]\\ &= \int df df' \frac{\nabla \tilde{s}(f;\theta)^\dagger \nabla \tilde{s}(f';\theta)}{1/2S_n(f)} \frac{E\big[\tilde{n}(f) \tilde{n}^*(f')\big]}{1/2S_n(f')}\\ &= \int df df' \frac{\nabla \tilde{s}(f;\theta)^\dagger \nabla \tilde{s}(f';\theta)}{1/2S_n(f)} \delta(f-f')\\ &= \int df \frac{\nabla \tilde{s}(f;\theta)^\dagger \nabla \tilde{s}(f;\theta)}{1/2S_n(f)} = \left\langle \nabla s \big| \nabla s\right\rangle \end{aligned}$$

这里利用了噪声性质$\left\langle\tilde{n}(f)\tilde{n}^*(f')\right\rangle = \frac{1}{2}S_n(f)\delta(f-f')$。除此之外，还可从小量展开角度理解。假设参数先验为均匀分布，则后验分布$p(\theta|d) \propto p(d|\theta)$。考虑参数最大似然估计$\hat{\theta}$接近真实参数$\theta$，在$\hat{\theta}$附近对参数分布/统计模型展开到两阶：

$$\begin{aligned} p(\theta|d) \underset{\sim}{\propto} \exp\bigg\{ -\frac{1}{2} \Big[ &\left\langle d-s(\hat{\theta})\big|d-s(\hat{\theta})\right\rangle - 2\left\langle d-s(\hat{\theta})\big|\nabla s(\theta)\right\rangle (\theta-\hat{\theta}) \\ &- (\theta-\hat{\theta})^T \left\langle d-s(\hat{\theta})\big|\nabla \nabla^T s(\theta)\right\rangle (\theta-\hat{\theta}) \\ &+ (\theta-\hat{\theta})^T \left\langle \nabla s(\theta)\big|\nabla s(\theta)\right\rangle (\theta-\hat{\theta})\Big]\bigg\} \end{aligned}$$

忽略零阶的常数项；考虑到最大似然处导数(梯度)为0，即$\langle d-s(\hat{\theta})|\nabla s\rangle = 0$，第二项为0；同时，在高信噪比情况，$|d-s(\hat{\theta}|\ll s$，忽略第三项，最终：

$$p(\theta|d) \underset{\sim}{\propto} \exp\left[-\frac{1}{2}(\theta-\hat{\theta})^T \left\langle \nabla s \big| \nabla s\right\rangle (\theta-\hat{\theta}) \right]$$

对比正态分布公式$p(\theta) \propto \exp\left[-\frac{1}{2} (\theta-\hat{\theta})^T \Sigma^{-1} (\theta-\hat{\theta})\right]$，可得：

$$\Sigma = \left\langle \nabla s \big| \nabla s\right\rangle^{-1} = \Gamma^{-1}$$

注意，展开是在$\hat{\theta}$附近进行的，因此计算梯度/Fisher信息矩阵时需要代入$\hat{\theta}$。这里我们展开到两阶并忽略了高阶项(第三项)，本质上是做了信号的线性近似$s(\theta) \approx s(\hat{\theta}) + \nabla s|_{\hat{\theta}} ~~ (\theta-\hat{\theta})$。高信噪比的要求也是信号线性近似成立的条件。

在文献中，引力波观测响应信号通常用$h$表示，因此更常见的为如下分量表达

$$\boxed{\Gamma_{ab}= \left\langle \frac{\partial h}{\partial \theta^a}\bigg|\frac{\partial h}{\partial \theta^b}\right\rangle = \left\langle \partial_{\theta_a} h\Big|\partial_{\theta_b} h\right\rangle = \left\langle \partial_a h\big|\partial_b h\right\rangle}$$

实际应用中，常见问题是Fisher信息矩阵存在奇异(行列式为0)或病态(行列式接近0)，无法直接取逆或者逆矩阵在数值上不稳定。其中数值不稳定性可通过在信息矩阵中引入随机微扰，检查逆矩阵(协方差)的取值变化。存在问题时，通常需要先检查Fisher信息矩阵是否适用，参数间是否存在简并组合。应对的经验措施包括：移除简并参数、引入先验信息、修改量纲或取对数使不同参数在数量级上接近、提高算法的数值精度，以及引入对信息矩阵的高阶修正等。
关于先验，当信息矩阵对参数限制较弱，所给方差接近其先验$\sim (\theta_{\max}-\theta_{\min})^2$，以及参数存在明显简并时，引入先验信息的效果会很显著。对于正态分布，先验的引入相对简单；对于常用的均匀分布，则可能需要借助蒙特卡罗模拟获得更准确的结果，具体可参考Vallisneri (2008)。同时文中提供了似然函数的失配因子，用于作为信号线形近似(高信噪比)假设自洽性的判据，还进一步分析了更高阶展开。

最后，除了前面所关注的预测实验对于模型参数的限制能力(方差/置信区间)，Fisher信息矩阵还常用于确定样本量(实验设计)，以及基于预期置信区间构建假设检验。利用Fisher信息矩阵还可构建贝叶斯分析中的Jeffrey无信息先验，此外，某些模型选择方法同样依赖Fisher信息矩阵。

---

重叠约化函数(Overlap reduction function)
以太阳质心系为参考，地基观测、空间观测探测器都在做轨道运动，区别只是地基观测探测器都位于地球上，距离小(相应的频段也高)，两者重叠约化函数对比起来差别有多大？？
PTA则是探测器的一端(地球)在做轨道运动，又是如何考虑轨道调制？

$$\begin{aligned} \langle \tilde{s}_I(f) \tilde{s}_J^*(f')\rangle &= \delta(f-f') S_{IJ}(f)\\ \langle \tilde{h}(f) \tilde{h}^*(f')\rangle &= \delta(f-f') S_{h}(f)\\ \overline{\langle \tilde{h}_P(f, \hat{k}) \tilde{h}_{P'}^*(f', \hat{k}')\rangle} &= \frac{1}{4\pi}\delta(f-f')\delta(\hat{k},\hat{k}')\delta_{PP'} S_{h}(f)\\ \int d^2\hat{k}d^2\hat{k}'\overline{\langle \tilde{h}_P(f, \hat{k}) \tilde{h}_{P'}^*(f', \hat{k}')\rangle} &= \frac{1}{4\pi}\delta(f-f')\delta(\hat{k},\hat{k}')\delta_{PP'} S_{h}(f)\\ S_{IJ}(f) = \Gamma_{IJ}(f)S_h(f) &= \langle \mathcal{R} \rangle \gamma_{IJ}(f)S_h(f) \end{aligned}$$

$$\boxed{\Gamma_{IJ}(f) = \frac{S_{IJ}(f)}{S_h(f)} = \frac{\tilde{s}_I(f)\tilde{s}_J^*(f)}{\sum_P |\tilde{h}_P(f)|^2} }$$

注意，互相关不满足交换律，在频域$S_{IJ}(f) = S^*_{JI}(f)$，对应时域$r_{IJ}(t) = r^*_{JI}(-t)$，对于实信号$r_{IJ}(t) = r_{JI}(-t)$。对应于重叠约化函数则是$\Gamma_{IJ}(f) = \Gamma_{JI}^*(f)$。

定性分析，对于相同位置、相同指向的探测器，探测到的信号完全重叠，归一化重叠函数为1，回归自相关；若探测器位置不同，探测到的信号间将存在相对延迟，若指向不同则各偏振的响应将有区别，最终信号重叠减弱。

$$\boxed{D^P(f) = D^{ab} e_{ab}^P; ~~~ D^{ab} = \frac{1}{2}\left[\hat{x}^i \hat{x}^j ~\mathcal{T}(f, \hat{k} \cdot \hat{x}) - \hat{y}^i \hat{y}^j ~\mathcal{T}(f, \hat{k} \cdot \hat{y})\right]}$$

$$D_{\rm SSB}^P(f, t) = D^P(f, t) e^{-i2\pi f\hat{k}\cdot\frac{\vec{r}_{\rm det}}{c}}$$

$$D^P = D^{ab} e_{ab}^P; ~~~ D^{ab} = \frac{1}{2}\left(\hat{x}^i \hat{x}^j - \hat{y}^i \hat{y}^j\right)$$

$$D^+(t), D^{\times}(t)$$

$\left\langle D_I^{+} {D_J^{\times}}^* \right\rangle \leftrightarrow \left\langle {D_I^{+}}^* D_J^{\times} \right\rangle ???$

$$\begin{aligned} &\small \left\langle F_I^{+} {F_J^{+}}^*\right\rangle = \cos^2 2\psi \left\langle D^{+}{D^{+}}^*\right\rangle - \sin 4\psi \left\langle D^{+} {D^{\times}}^*\right\rangle + \sin^2 2\psi \left\langle D^{\times} {D^{\times}}^*\right\rangle\\ &\small \left\langle F_I^{\times} {F_J^{\times}}^*\right\rangle = \sin^2 2\psi \left\langle D^{+}{D^{+}}^*\right\rangle + \sin 4\psi \left\langle D^{+} {D^{\times}}^*\right\rangle + \cos^2 2\psi \left\langle D^{\times} {D^{\times}}^*\right\rangle\\ &\small \left\langle F^{+} {F^{\times}}^*\right\rangle = \left\langle {F^{+}}^* F^{\times}\right\rangle = \frac{1}{2}\sin 4\psi \left( \left\langle D^{+}{D^{+}}^*\right\rangle - \left\langle D^{\times}{D^{\times}}^*\right\rangle \right) + \cos 4\psi \left\langle D^{+} {D^{\times}}^*\right\rangle \end{aligned}$$

$$\boxed{ \Gamma_{IJ}(f, \hat{k}) = \sum_P \overline{\left\langle {F_{\rm \tiny SSB}}_I^P { {F_{\rm \tiny SSB}}_J^P }^*\right\rangle} = \sum_P \overline{\left\langle F_I^P {F_J^P}^* e^{- i 2\pi f\hat{k}\cdot\frac{\vec{r}_{I}-\vec{r}_{J}}{c}}\right\rangle}}$$

This is because the two independent Michelson interferometers that one can synthesize from the six links of the standard equilateral LISA configuration are rotated at 45° with respect to one another, leading to zero cross correlation for an isotropic gravitational-wave background for frequencies below about c/2L=3×10^-2 Hz [17].

通过特解理解基本性质：
当$f = 0$，探测器平面不重叠时，重叠约化取不到1！！！只有探测器平面重合时低频时才趋向±1！！
当两个探测器指向呈45°，重叠约化会模值比较低吗？？
当两个探测器指向呈90°，重叠约化在低频时趋向负值

探测器位置相同，但指向不一致
探测器位置相同，但平面有夹角
探测器保持平行，但有一定距离

$$\gamma_{IJ}(f) = \frac{1}{\langle\mathcal{R}\rangle} \int \frac{d^2\hat{k}}{4\pi} \int \frac{d\psi}{2\pi} ~ D_I^{~~ab} e_{ab}(\hat{k}) D_J^{~~cd} e_{cd}(\hat{k}) e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I-\vec{r}_J}{c}}$$

没有偏振的交叉项

$$\gamma_{IJ}(f) = \frac{1}{\langle\mathcal{R}\rangle} \sum_P \int \frac{d^2\hat{k}}{4\pi} \int \frac{d\psi}{2\pi} ~ F^P_I(\hat{k})F^P_J(\hat{k}) e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I-\vec{r}_J}{c}}$$

$$\gamma_{IJ}(f) = \frac{1}{\langle\mathcal{R}\rangle} \sum_P \int \frac{d^2\hat{k}}{4\pi} \int \frac{d\psi}{2\pi} ~ D_I^{~~ab} e^P_{ab}(\hat{k}) D_J^{~~cd} e^P_{cd}(\hat{k}) e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I-\vec{r}_J}{c}}$$

如果不是轨道平均的，为什么不含时？如果是轨道平均过的，探测器方位$\vec{r}$该怎么定义
？

$D^{ab}$依赖于$\hat{k}\cdot\hat{x}$，这里将$D^{ab}$从积分中提出来，暗含了低频近似。

$$\gamma_{IJ}(f) = \frac{D_I^{~~ab} D_J^{~~cd} }{\langle\mathcal{R}\rangle} \sum_P \int \frac{d^2\hat{k}}{4\pi} \int \frac{d\psi}{2\pi} ~ e^P_{ab}(\hat{k}) e^P_{cd}(\hat{k}) e^{-i2\pi f \hat{k}\cdot \frac{\vec{r}_I-\vec{r}_J}{c}}$$

利用TT规范下$e_{ab}$的对称无迹性质可获得该积分的解析解，具体推导可参考 Flanagan(1993) 以及 Allen & Romano (1999)，这里仅做简单介绍。将探测器连线 $\vec{r}_{IJ} = \vec{r}_{J} - \vec{r}_{I}$ 的方向矢量记为$\hat{z}$，引力波在探测器间传播的相位延迟记为$\imath \equiv 2\pi f r_{\tiny IJ}/c$，引入张量

$$\gamma_{abcd}(\imath, \hat{z}) \equiv \frac{1}{\langle\mathcal{R}\rangle} \sum_P \int \frac{d^2\hat{k}}{4\pi} e^P_{ab}(\hat{k})e^P_{cd}(\hat{k}) e^{i \hat{k}\cdot \hat{z}~\imath}; ~~~ \gamma_{IJ}(f) = D_I^{~~ab} D_J^{~~cd}\gamma_{abcd}$$

为求解$\gamma_{abcd}$，可先将其表示为$\delta_{ab}$和$z_a$的一般性组合，考虑到$\gamma_{abcd}$对于$a \leftrightarrow b$、$c \leftrightarrow d$、$ab \leftrightarrow cd$的指标交换对称，且对于$a, b$、$c, d$指标对无迹，最终：

$$\begin{aligned} \gamma_{abcd}(\imath, \hat{z}) =& ~ A(\imath)\delta_{ab}\delta_{cd} + B(\imath)(\delta_{ac}\delta_{bd} + \delta_{bc}\delta_{ad}) + C(\imath)(\delta_{ab}z_c z_d + \delta_{cd}z_a z_b)\\ & + E(\imath)(\delta_{ac}z_b z_d + \delta_{ad}z_b z_c + \delta_{bc}z_a z_d + \delta_{bd}z_a z_c) + F(\imath) z_a z_b z_c z_d \end{aligned}$$

即考虑到对称性，最一般形式下，$\gamma_{abcd}$可表示为五个不同张量的组合。将五个张量分别与上式缩并可以得到对应系数的不同组合，而直接与$\gamma_{abcd}$定义式缩可得到对应的组合结果，缩并后积分都相对简单，可直接求解：

$$\begin{aligned} \begin{pmatrix} 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{pmatrix} \begin{pmatrix} A\\ B\\ C\\ E\\ F \end{pmatrix} = \begin{pmatrix} 0\\ 20~j_0\\ 0\\ 40~\imath^{\tiny -1} j_1\\ 20~\imath^{\tiny -2} j_2 \end{pmatrix} \end{aligned}$$

同时，利用探测器张量“对称无迹”的特性，对于$\gamma_{IJ}$有：

$$\begin{aligned} \gamma_{IJ} &= D_I^{~~ab} D_J^{~~cd}\gamma_{abcd}\\ & = D_I^{~~ab} {D_J}^{cd} (2B ~\delta_{ac}\delta_{bd} + 4E ~ \delta_{ac}z_b z_d + F z_a z_bz_c z_d)\\ & \sout{= 2B ~ D_I^{~~ab} {D_J}_{ab} + 4E ~ D_I^{~~ab} {D_J}_a^{~~c} z_b z_c + F D_I^{~~ab}z_a z_b ~ {D_J}^{cd} z_c z_d} \end{aligned}$$

求解方程组，得到对应系数$B, E, F$，并带入上式，最终：

$$\boxed{\begin{aligned} \gamma'_{abcd} &\equiv 2B ~\delta_{ac}\delta_{bd} + 4E ~ \delta_{ac}z_b z_d + F z_a z_bz_c z_d = \jmath_0 ~\delta_{ac}\delta_{bd} + \jmath_1 ~ \delta_{ac}z_b z_d + \jmath_2 z_a z_bz_c z_d\\ \begin{pmatrix} \jmath_0 \\ \jmath_1 \\ \jmath_2 \end{pmatrix} &= \begin{pmatrix} 2B \\ 4E \\ F \end{pmatrix} = 5 \begin{pmatrix} ~1 & -2 & ~1\\ -2 & ~8 & -10\\ ~1/2 & -5 & ~35/2 \end{pmatrix} \begin{pmatrix} j_0\\ \imath^{\tiny -1}j_1\\ \imath^{\tiny -2}j_2 \end{pmatrix} = \frac{1}{7} \begin{pmatrix} ~14 & -20 & ~1\\ 0 & ~60 & -10\\ 0 & 0 & ~35/2 \end{pmatrix} \begin{pmatrix} j_0\\ j_2\\ j_4 \end{pmatrix} \end{aligned}}$$

其中$j_n$为球贝塞尔函数，自变量为$\imath = 2\pi f r_{\tiny IJ}/c$，相应的$\jmath_n$也是$\imath$的函数。

对于和球面相切的迈克尔逊干涉仪(地基探测器)，利用对称性，张量缩并可得到简化。具体结果如下(Flanagan 1993)，其中$\beta$为两台干涉仪相对球心的张角，两台探测器可通过大圆连接，$\sigma_1, \sigma_2$是探测器顶角平分线在各自平面内相对该大圆切线的转角(逆时针)。

$$\begin{aligned} \gamma_{IJ}(f) &= \Theta_1(\imath, \beta)\cos[2(\sigma_1-\sigma_2)] + \Theta_2(\imath, \beta)\cos[2(\sigma_1+\sigma_2)]\\ \Theta_1(\imath, \beta) &= \cos^4\frac{\beta}{2} g_0(\imath)\\ \Theta_2(\imath, \beta) &= -\sin^4\frac{\beta}{2} g_0(\imath) + \cos\beta g_1(\imath) + g_2(\imath)\\ \begin{pmatrix} g_0 \\ g_1 \\ g_2 \end{pmatrix}&= \frac{5}{16} \begin{pmatrix} -9 & -6 & ~~9 & 3 & 1\\ 45 & ~6 & -45 & 9 & 3\\ ~60 & -16 & -60 & 36 & -4\\ \end{pmatrix} \begin{pmatrix} \frac{\cos\imath}{\imath^4} \\ \frac{\cos\imath}{\imath^2} \\ \frac{\sin\imath}{\imath^5}\\ \frac{\sin\imath}{\imath^3}\\ \frac{\sin\imath}{\imath} \end{pmatrix}\\ &= \frac{5}{16} \begin{pmatrix} ~1 & 6 & 3\\ ~~3 & -6 & -15\\ -4 & 16 & -20 \end{pmatrix} \begin{pmatrix} j_0\\ \imath^{\tiny -1}j_1\\ \imath^{\tiny -2}j_2\\ \end{pmatrix}\\ \\ & = \frac{1}{112} \begin{pmatrix} 112 & 80 & ~3\\ ~0 & -120 & -15\\ ~0 & ~120 & -20 \end{pmatrix} \begin{pmatrix} j_0\\ j_2\\ j_4\\ \end{pmatrix} \end{aligned}$$

Allen & Romano 1999中指出，Flanagan 1993的一般性结果存在笔误，该错误是否被延续到了该结果仍有待验证

所有结论都是在低频近似下，$f < c/2L \sim 60 \rm mHz$

当频率趋于零$f \rightarrow 0$，$g_0, g_1, g_2$在零点分别取$1, 0, 0$，此时$\gamma_{IJ} = \cos[2(\sigma_1-\sigma_2)]\cos^4\frac{\beta}{2} - \cos[2(\sigma_1 + \sigma_2)]\sin^4\frac{\beta}{2}$。

探测器位置相同，但指向不一致
当探测器位于同一位置$r_{IJ} \rightarrow 0$，$\beta = 0$，$g_0, g_1, g_2$在零点分别取$1, 0, 0$，此时$\gamma_{IJ} = \cos[2(\sigma_1-\sigma_2)]$。
LISA或太极的A、E通道呈45°，即$\sigma_1-\sigma_2 = \frac{\pi}{4}$，因此对于各向同性的随机背景，当个探测器A、E通道间重叠为0！这是复合预期的，A、E通道的构建本身就要求噪声独立，而随机背景本身与噪声类似。

探测器距离$\vec{r}_{IJ}$
探测器连线与探测器I、II所张平面的夹角$\beta_1, \beta_2$
探测器连线在探测器I、II平面投影与探测器顶角平分线夹角$\sigma_1, \sigma_2$
探测器连线与探测器I、II平面交线的夹角$\chi$

信号探测能力

$$\boxed{\rho_{\tiny IJ} = \langle \mathcal{R} \rangle \sqrt{T_{\rm obs}} \sqrt{\int df \frac{ \gamma_{IJ}^2(f) S^2_h(f)}{N_I(f) N_J(f)} } }$$

这里可引入有效功率谱：

$$S_{\rm eff}(f) \equiv \frac{\sqrt{N_I(f)N_J(f)}}{\langle\mathcal{R}\rangle \gamma_{IJ}(f)}, ~~~ \Omega_{\rm eff}(f) = \frac{4\pi^2}{3H_0^2} f^3 S_{\rm eff}(f)$$

同时记频域平均$\left\langle ... \right\rangle_f \equiv \frac{\int_{f_{\min}}^{f_{\max}} ... df}{ 2\int_{f_{\min}}^{f_{\max}} df} = \frac{\int_{f_{\min}}^{f_{\max}} ... df}{2f_{\rm band}}$，噪比就可表示为：

$$\rho = \sqrt{T} \sqrt{2f_{\rm band}} \sqrt{\left\langle\frac{S^2_h(f)}{S^2_{\rm eff}(f)}\right\rangle_f } = \sqrt{N_{\rm bins}} \sqrt{\left\langle\frac{S^2_h(f)}{S^2_{\rm eff}(f)}\right\rangle_f }$$

假设探测器完全重合，则$S_{\rm eff}(f) = \frac{N(f)}{\langle\mathcal{R}\rangle}= S_n(f)$，从而

$$\rho = \sqrt{T} \sqrt{2f_{\rm band}} ~ \rho_{\rm single} = 8 \times 10^3 \left(\frac{T}{1\rm yr}\right)^{1/2} \left(\frac{f_{\rm band}}{1\rm Hz}\right)^{1/2} \rho_{\rm single}$$

空间探测器频带宽度大概就是$1\rm Hz$，一年观测信噪比提升约$8 \times 10^3$倍。地基探测器频带约$150\rm Hz$，一年观测信噪比提升约$1 \times 10^5$倍
跟Maggiore结果差了$\sqrt{2}$倍，提升是$1 \times 10^5$倍
考虑正负频率，频率带宽为只考虑正频率的2倍！！
$S_{\rm eff}(f)$对应于单台探测器的$S_n(f)$，可作为与单台
但真正的提升在于前面的时间和频带宽度项。

假设背景信号的功率密度谱服从幂率分布$\Omega_{\rm \tiny GW} = \Omega_\alpha \left(\frac{f}{f_c}\right)^\alpha$，$f_c$为特征频率。给定信噪比阈值，根据上面的最优信噪比，可以给出对$\Omega_\alpha$的下限：

$$\Omega_{\alpha_{\rm threshold}} = \frac{\rho_{\rm threshold}}{\langle R\rangle \sqrt{T_{\rm obs}} } f_c^{\alpha} ~ \frac{4\pi^2}{3H_0^2} \left[\int df \frac{\gamma_{IJ}^2(f)f^{2\alpha-6} }{N_I(f)N_J(f)}\right]^{-1/2}$$

$$\begin{aligned}\Omega_{\alpha_{\rm threshold}} = \frac{\rho_{\rm threshold}}{\langle R\rangle \sqrt{T_{\rm obs}} } f_c^{\alpha} ~ \left[\int df \left( \frac{ \gamma_{IJ}(f) f^{\alpha} }{ \Omega_{n_{IJ}}(f) } \right)^2 \right]^{-1/2} \end{aligned}$$

对任意谱指数，通过上述公式都可得到$\Omega_\alpha$的下限，进而绘制出对应的$\Omega_{\rm \tiny GW}$的谱线，遍历所有谱指数$\alpha$可以得到一系列幂率直线。这些幂率谱的上包络就可以作为探测器，在给定信噪比下，对任意幂率噪声探测极限的综合指标，被称为幂率积分(power-law integrated, PLI) 灵敏度曲线(Thrane & Romano 2013)。

$$\begin{aligned} \Omega_{\rm \tiny PLI}(f) &\equiv \max_\alpha\left[ \Omega_{\alpha_{\rm threshold}} \left(\frac{f}{f_c}\right)^\alpha \right]\\ &= \frac{\rho_{\rm threshold}}{\langle R\rangle\sqrt{T_{\rm obs}} } ~ \frac{4\pi^2}{3H_0^2} ~ \max_\alpha \left\{ \left[\int df \frac{\gamma_{IJ}^2(f)f^{2\alpha-6} }{N_I(f)N_J(f)}\right]^{-1/2} f^\alpha \right\} \end{aligned}$$

$$\begin{aligned} \Omega_{\rm \tiny PLI}(f) &\equiv \max_\alpha\left[ \Omega_{\alpha_{\rm threshold}} \left(\frac{f}{f_c}\right)^\alpha \right]\\ &= \frac{\rho_{\rm threshold}}{\langle R\rangle\sqrt{T_{\rm obs}} } \max_\alpha \left\{ \left[\int df \left( \frac{ \gamma_{IJ}(f) f^{\alpha} }{ \Omega_{n_{IJ}}(f) } \right)^2 \right]^{-1/2} f^\alpha \right\} \end{aligned}$$

原则上，对$S_{h_{\rm PIL}}(f)$也可以定义类似的幂率积分灵敏度曲线，这条曲线与上面的$\Omega_{\rm \tiny PIL}$曲线直接转换得到的结果一致吗？相差多少？

显然，幂率积分灵敏度只适用于背景能量密度谱服从幂率分布的情况，对于单峰分布等其他常见能谱并不具有意义。于是最近有人提出了另一种指标——峰值积分(peak-integrated, PI)灵敏度曲线(Schmitz 2020)。
其基本想法也很简单：幂率谱的优势是谱的形状和强度是天然分离的，而一般性能谱，谱形也会受模型参数影响，与强度是耦合的。在对信噪比贡献最多的峰值附近，谱形近似不依赖模型参数，通常可近似为分段幂率：

$$\Omega_{\rm \tiny GW}(f) = \Omega_{\rm peak}(\bm{p}) \mathcal{S}(f; f_{\rm peak})$$

这里$\Omega_{\rm peak}(\bm{p})$是峰值谱值，取决于随机背景的物理模型参数$\bm{p}$，$\mathcal{S}$是峰值附近的谱形函数，与模型参数无关(仅由基本的产生机制决定)，一般可用分段幂率函数近似。

$$\Omega_{\rm peak_{\rm threshold}} = \frac{\rho_{\rm threshold}}{\langle R\rangle \sqrt{T_{\rm obs}} } ~ \left[\int df \left( \frac{ \gamma_{IJ}(f) \mathcal{S}(f; f_{\rm peak}) }{ \Omega_{n_{IJ}}(f) } \right)^2 \right]^{-1/2}$$

最后，对所有可能的峰值频率取值计算上述阈值，就可以得到其作为频率的函数：

$$\Omega_{\rm PI}(f) \equiv \Omega_{\rm peak_{\rm threshold}}(f_{\rm peak})$$

注意，虽然$\mathcal{S}$不依赖模型参数，但显然是依赖具体模型选择的，因此峰值积分灵敏度针对谱形不同的宇宙学背景理论需要分别计算对应的灵敏度曲线。作为对比，幂率积分灵敏度同样也只是适用于预言幂率谱的理论。

对于多种背景混叠情况可以计算总体灵敏度吗，纵轴取什么？？

2个探测器N段数据

$${\rho_{\tiny IJ}^2}^{(i)} = T^{(i)} \int df ~ \frac{\Gamma_{IJ}^2(f)S^2_h(f)}{N_I^{(i)}N_J^{(i)}(f)}$$

$$\rho^2 = \sum_i {\rho_{\tiny IJ}^{(i)}}^2 = \int df ~ \Gamma_{IJ}^2(f)S^2_h(f) \sum_{i} \frac{T^{(i)}}{N_I^{(i)}(f)N_J^{(i)}(f)} \sim N {\rho^2}^{(i)}$$

N个探测器联合观测
对于多个探测器可以两两互相关，最优的整体信噪比为全部组合信噪比平方和开根号：

$$\boxed{\rho^2 = \sum_I \sum_{J<I} \rho_{\tiny IJ}^2, ~~~ \rho = \sqrt{\sum_I \sum_{J<I} \rho_{\tiny IJ}^2} \sim \sqrt{\frac{N(N-1)}{2}} \rho_{\tiny IJ} \propto N \rho_{\tiny IJ}}$$

注意，根据前面的讨论，对于随机背景信号，互相关信噪比$\gg$自相关的信噪比，因此这里不用考虑探测器自相关。同时由于N个探测器，有$\frac{N(N-1)}{2}$个独立组合，信噪比提升接近N倍，而非前面确定性信号$\sqrt{N}$倍。直觉上如何理解？从信息角度理解，对于模板已知的信号，单探测器匹配滤波所提供的信息已足够多，增加探测器提升有限；对于随机背景，信号本身形式未知，增加探测器提供的信息更多。

带入两个探测器信噪比，展开有：

$$\begin{aligned} \rho &= \left[\sum_{I}\sum_{I<J} T_{ {\rm obs}_{IJ} } \int df ~ \frac{\Gamma_{IJ}^2(f) S^2_h(f) }{N_I(f)N_J(f)}\right]^{-1/2} \\ &= \left[\int df ~ S^2_h(f) \sum_{I}\sum_{I<J} \frac{T_{ {\rm obs}_{IJ} }\Gamma_{IJ}^2(f)}{N_I(f)N_J(f)}\right]^{-1/2} \\ &= \langle\mathcal{R}\rangle \sqrt{T_{\rm obs}} \left[\int df ~ S^2_h(f) \sum_{I}\sum_{I<J} \frac{\gamma_{IJ}^2(f)}{N_I(f)N_J(f)}\right]^{-1/2} \end{aligned}$$

$$\begin{aligned} \rho &= \langle\mathcal{R}\rangle \sqrt{T_{\rm obs}} \left[\int df ~ \Omega_{\rm \tiny GW}^2(f) \sum_{I}\sum_{I<J} \left(\frac{\gamma_{IJ}(f)}{\Omega_{n_{IJ}}(f)}\right)^2\right]^{-1/2} \end{aligned}$$

其中$T_{IJ}$为$I, J$探测器同时观测的时间，这里假设所有探测器观测时间都保持相同。对应的幂率积分灵敏度曲线为：

$$\boxed{\begin{aligned} \Omega_{\rm PLI}(f) &= \max_\alpha\left[ \Omega_{\alpha_{\rm threshold}} \left(\frac{f}{f_c}\right)^\alpha \right]\\ &= \frac{\rho_{\rm threshold}}{\langle R\rangle\sqrt{T}} ~ \frac{4\pi^2}{3H_0^2} ~ \max_\alpha \left\{ \left[ \int df \sum_{I}\sum_{I<J} \frac{\gamma_{IJ}^2(f) f^{2\alpha-6}}{N_I(f)N_J(f)}\right]^{-1/2} f^\alpha \right\} \end{aligned}}$$

$$\boxed{\begin{aligned} \Omega_{\rm PLI}(f) &= \max_\alpha\left[ \Omega_{\alpha_{\rm threshold}} \left(\frac{f}{f_c}\right)^\alpha \right]\\ &= \frac{\rho_{\rm threshold}}{\langle R\rangle\sqrt{T_{\rm obs}}} ~\max_\alpha \left\{ \left[ \int df \sum_{I}\sum_{I<J} \left(\frac{\gamma_{IJ}(f) f^{\alpha}}{\Omega_{n_{IJ}}(f)}\right)^2\right]^{-1/2} f^\alpha \right\} \end{aligned}}$$

$$\small\begin{aligned} \ln \Omega_{\rm PLI}(f) &= \max_\alpha\Big[ \ln \Omega_{\alpha_{\rm threshold}} - \alpha \ln f_c + \alpha \ln f \Big]\\ &= \ln \left(\frac{\rho_{\rm threshold}}{\langle R\rangle\sqrt{T}} ~ \frac{4\pi^2}{3H_0^2}\right) + \max_\alpha \left[\alpha \ln f - \frac{1}{2} \ln\left(\int df \sum_{I}\sum_{I<J} \frac{\gamma_{IJ}^2(f) f^{2\alpha-6}}{N_I(f)N_J(f)}\right)\right] \end{aligned}$$

$$\small\begin{aligned} \ln \Omega_{\rm PLI}(f) &= \max_\alpha\Big[ \ln \Omega_{\alpha_{\rm threshold}} - \alpha \ln f_c + \alpha \ln f \Big]\\ &= \ln \left(\frac{\rho_{\rm threshold}}{\langle R\rangle\sqrt{T_{\rm obs}}} \right) + \max_\alpha \left\{\alpha \ln f - \frac{1}{2} \ln\left[\int df \sum_{I}\sum_{I<J} \left(\frac{\gamma_{IJ}(f) f^{\alpha}}{\Omega_{n_{IJ}}(f)}\right)^2\right]\right\} \end{aligned}$$

除了上面的两两关联，多探测器情况，还可以直接全部一起关联，计算最佳滤波。比如四个探测器的“四点”关联，以及进一步扩展到任意偶数探测器的整体关联。其中的关键是信号作为零均值高斯随机变量，相互关联(交叉中心矩)可以拆解为两两关联相乘，并对所有置换组合求和。

$$\langle s_1 s_2 ... s_{2N}\rangle = \underbrace{\langle s_1 s_2\rangle \langle s_3 s_4\rangle ... \langle s_{2N-1} s_{2N}\rangle + \text{all possible permutations}}_{(2N-1)(2N-3)...1 ~ \text{terms}}$$

对于仪器噪声，由于不同探测器不相关仍只有自相关项。从而计算信噪比时，分子是互功率谱乘积对所有组合求和，分子则是所有噪声谱乘积，最终信噪比平方就是两两信噪比平方乘积对所有组合求和。

$$\rho^2 \approx \underbrace{\rho^2_{12}~\rho^2_{34}...\rho^2_{2N-1, 2N} + \text{all possible permutations}}_{(2N-1)(2N-3)...1 ~ \text{terms}}$$

注意这里的信噪比是不能与两两相关情况直接对比的，多变量相关与两变量相关对应的信号是不同的，前者是后者的N次方，开方后才可对比，或者统一转换为$\Omega_{\alpha_{\rm threshold}}$对比探测能力。对比可发现，多探测器整体关联的探测能力总是低于探测器两两组合情况(Allen & Romano 1999)，因此整体关联并非好选择。最后，原则上奇数个探测器也可以关联，但这里的拆分只针对偶数，奇数要如何进行拆分？

高阶效应

• 非高斯
• 非各向同性：主要由与本地物质分布耦合的源造成，如银河系的双白矮星
  • 辐射计(点源)：不进行立体角积分，计算不同方向的信号强度
  • 球谐展开：

  $$e^{i\hat{k}\cdot\hat{z}} = 4\pi\sum_{\ell=0}^\infty \sum_{m=-\ell}^{\ell} i^{\ell} ~ j_{\ell}(k r) ~ Y_\ell^m(\hat{z}) ~ {Y_\ell^m}^*(\hat{k})$$

  球谐展开中，指标$l$代表对角度的划分，取值越大划分的角尺度越细，对应越高阶的多极矩，如$l=0$为各向同性成分(单极)，$l=1$为偶极分量；$m$代表了多极矩的方位指向，或者说在特定方向的投影情况，考虑到方位角共划分了$l+1$份，因此$m$只需要取$-l,...,0,...,l$，基于这$2l+1$种正交解即可组合出所有其余方位。

  $$\gamma_{IJ}(f) = \frac{1}{\langle\mathcal{R}\rangle} \int \frac{d^2\hat{k}}{4\pi} \int \frac{d\psi}{2\pi} ~ D_I^{~~ab} e_{ab}(\hat{k}) D_J^{~~cd} e_{cd}(\hat{k}) e^{i\hat{k}\cdot \hat{z}~\imath}$$

  $$\gamma_{\ell m}(f, \hat{k}) = \frac{1}{\langle\mathcal{R}\rangle} ~ D_I^{~~ab} e_{ab}(\hat{k}) D_J^{~~cd} e_{cd}(\hat{k}) e^{i\hat{k}\cdot \hat{z}~\imath}$$

  • 相位相干测量
• 存在圆偏振：

  $$\begin{gathered} \bm{e}^R = \frac{\bm{e}^+ + i\bm{e}^\times}{\sqrt{2}}, ~~~~~ \bm{e}^L = \frac{\bm{e}^+ - i\bm{e}^\times}{\sqrt{2}}\\ I(f) = S_R(f) + S_L(f), ~~~ V(f) = S_R(f) - S_L(f), ~~ \chi(f) = \frac{V(f)}{I(f)}\\ \mathcal{R}^I(f) = R_R(f) + R_L(f), ~~~~~ V(f) = S_R(f) - S_L(f) \end{gathered}$$

噪声存在相关时可借助维纳滤波、贝叶斯参数估计等进行改善
非稳态、非高斯会导致统计量非最优，但仍有效；非各向同性会引入偏置

这里的正负号有待确认

$$\gamma_{IJ}^{V}(f) = \frac{1}{\langle\mathcal{R}\rangle} \int \frac{d^2\hat{k}}{4\pi} ~ i\left(F^+_I F^\times_J - F^\times_I F^+_J\right) e^{i\hat{k}\cdot \hat{z}~\imath}$$

$$\gamma_{IJ}^{V}(f) = \frac{1}{\langle\mathcal{R}\rangle} \int \frac{d^2\hat{k}}{4\pi} ~ i\left(D_I^{~~ab} e^+_{ab} D_J^{~~cd} e^\times_{cd} - D_I^{~~ab} e^\times_{ab} D_J^{~~cd} e^+_{cd}\right) e^{i\hat{k}\cdot \hat{z}~\imath}$$

$$\gamma_{IJ}^{V}(f) = i D_I^{~~ab} D_J^{~~cd} \frac{1}{\langle\mathcal{R}\rangle} \int \frac{d^2\hat{k}}{4\pi} ~ \left(e^+_{ab} e^\times_{cd} - e^\times_{ab} e^+_{cd}\right) e^{i\hat{k}\cdot \hat{z}~\imath}$$

参照之前的做法，引入张量

$$\begin{aligned} \gamma^V_{abcd}(\imath, \hat{z}) &\equiv \frac{i}{\langle\mathcal{R}\rangle} \int \frac{d^2\hat{k}}{4\pi} \left(e^+_{ab} e^\times_{cd} - e^\times_{ab} e^+_{cd}\right) e^{i \hat{k}\cdot \hat{z}~\imath}\\ \gamma^V_{IJ}(f) &= D_I^{~~ab} D_J^{~~cd} \gamma^V_{abcd} \end{aligned}$$

之前的$\gamma^V_{abcd}$只考虑的是$e^+_{ab}e^+_{cd} + e^\times_{ab}e^\times_{cd}$，这里是交叉相减。最核心的是这里$\gamma^V_{abcd}$中$ab \leftrightarrow cd$反对称，借助反称张量$w_{ab} = \epsilon_{abc}z^c$有：

$$\begin{aligned} \gamma^V_{abcd}(\imath, \hat s) = & \hat{B}(\imath)\ (w_{ac} \delta_{bd}+ w_{ad}\delta_{bc}+w_{bc}\delta_{ad}+ w_{bd}\delta_{ac}) +\hat{C}(\imath)\ (\delta_{ab}z_c z_d - \delta_{cd}z_a z_b)\\ & + \hat{D}(\imath)\ (w_{ac}z_b z_d+w_{ad}z_b z_c+w_{bc}z_a z_d+w_{bd}z_a z_c) \end{aligned}$$

将三个张量基分别与上式缩并可以得到对应系数的不同组合，而直接与$\gamma_{abcd}$定义式缩可得到对应的组合结果，缩并后积分都相对简单，可直接求解：

$$\begin{aligned} \begin{pmatrix} 40 & 0 & 8\\ 0 & 4 & 0\\ 8 & 0 & 8\\ \end{pmatrix} \begin{pmatrix} B\\ C\\ D\\ \end{pmatrix} = -40 \begin{pmatrix} j_1\\ 0\\ \imath^{\tiny -1} j_2 \end{pmatrix} \end{aligned}$$

$$\begin{aligned} \begin{pmatrix} B \\ D \end{pmatrix} &= -\frac{5}{4} \begin{pmatrix} ~1 & -1 \\ -1 & ~5 \end{pmatrix} \begin{pmatrix} j_1\\ \imath^{\tiny -1}j_2 \end{pmatrix} = -\frac{1}{4} \begin{pmatrix} ~4 & -1\\ ~0 & ~5 \end{pmatrix} \begin{pmatrix} j_1\\ j_3 \end{pmatrix} \end{aligned}$$

$$\gamma_{IJ}^{V}(f) = \left[ (\cos\beta-1)j_1(\imath) + \left(\frac{7}{8} + \frac{3}{8}\cos\beta\right)j_3(\imath)\right] \sin\frac{\beta}{2} \sin[2(\sigma_1 + \sigma_2)]$$

另一方面，利用探测器张量“对称无迹”的特性，对于$\gamma_{IJ}$有：

$$\begin{aligned} \gamma_{IJ} &= D_I^{~~ab} D_J^{~~cd}\gamma^V_{abcd} = D_I^{~~ab} {D_J}^{cd} \left(4B ~w_{ac}\delta_{bd} + 4D ~ w_{ac} z_b z_d\right)\\ \end{aligned}$$

对于等边三角构型的空间引力波探测器网络(LISA-Taiji)，考虑到A、E通道，总体(平方)响应为：

$$Y_{IJ} = \gamma^2_{AA'} + \gamma^2_{AE'} + \gamma^2_{EA'} + \gamma^2_{EE'}$$

带入上面$\gamma_{IJ}$表达式，记$4B, 4D$为$b_0, b_1$有：

$$\begin{aligned} Y_{IJ} &= b_0b_0X_{00} + b_0b_1X_{01} + b_1b_0X_{10} + b_1b_1X_{11}\\ X_{00} &= \sum_{I=A,E} \sum_{J=A',E'} \left(D_I^{~~ab} {D_J}^{cd} w_{ac}\delta_{bd}\right)^2 \\ X_{01} = X_{10} &= \sum_{I=A,E} \sum_{J=A',E'} \left(D_I^{~~ab} {D_J}^{cd} w_{ac}\delta_{bd}\right) \left(D_I^{~~ij} {D_J}^{kl} w_{ik} z_j z_l\right)\\ X_{11} &= \sum_{I=A,E} \sum_{J=A',E'} \left(D_I^{~~ab} {D_J}^{cd} w_{ac} z_b z_d\right)^2 \end{aligned}$$

事实可以证明$Y_{IJ}$以及$X_{ij}$不依赖引力波探测器在探测平面内的具体指向，旋转不变。从而探测器张量所提供信息完全由探测器平面法矢量 $\hat{e}_I, \hat{e}_J$ 决定(长波近似)，进而 $Y_{IJ}, X_{ij}$ 完全由 $\hat{e}_I, \hat{e}_J, \hat{z}$ 决定，总共六个自由度。考虑到随机背景的各向同性，探测器网络的整体的三维旋转不影响探测，因此影响整体响应只有三个自由度，简单起见可选择用三个单位矢量的内积(夹角)表示。

值得注意的
探测器连线矢量反向时，V分量的辅助张量会反号，但V分量的重叠约化不受影响？对应探测器的互换？？
探测器平面法矢量反号，交叉项乘积会反号，但因为有平方，等效ORF不受影响，只与平面夹角有关
超过$\pi/2$的矢量夹角以及负的夹角都与$0 \sim \pi/2$的矢量夹角效果等价

当频率趋于零$f \rightarrow 0$，$j_1, j_3$在零点取0，此时$\gamma^V_{IJ} = 0$；当探测器位于同一位置$r_{IJ} \rightarrow 0$，同样有$\gamma^V_{IJ} = 0$。

$\sigma_1 = \sigma_2 = 0$
A-A, E-E
A-E, E-A

$$\chi(f) = \frac{V(f)}{I(f)} = \frac{\Omega_V(f)}{\Omega_I(f)}$$

根据误差传递公式，$c = \frac{a}{b}$，若$a, b$不相关，有$\frac{\sigma_c}{\mu_c} = \sqrt{\left(\frac{\sigma_a}{\mu_a}\right)^2 + \left(\frac{\sigma_b}{\mu_b}\right)^2}$：???

$$\rho^2_{\chi} = \frac{\rho^2_V~\rho^2_I}{\rho^2_V + \rho^2_I}$$

• 非GR偏振模式

  $$\begin{aligned} \bm{e}^{\circ} &= \hat{u} \otimes \hat{u} + \hat{v}\otimes \hat{v}\\ \bm{e}^{l} &= \hat{k}\otimes \hat{k} \\ \bm{e}^{x} &= \hat{u} \otimes \hat{k} - \hat{k}\otimes \hat{u}\\ \bm{e}^{y} &= \hat{v}\otimes \hat{k} + \hat{k}\otimes \hat{v} \end{aligned}$$

前景及噪声扣除
Pieroni & Barausse 2020
Adams & Cornish 2014, Adams & Cornish 2010
Tinto et al. 2001, Hogan & Bender 2001