Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Contents
1 Some general things (Angelo) 1
2 Three channels 3
2.1 A fairly general template . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.1.1 A first approximation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.1.2 An alternative approximation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.1.3 Merging the two approximations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1
Nikos Karnesis, Mauro Pieroni Notes 2019
T
sin [(f − f 0 ) π (T − τ )]
Z
= dτ (2 cos [(f + f 0 ) πτ ]) hs (t + τ ) s (t)i
0 (f − f 0 ) π
The last two pieces in the integrand are even functions of τ so we can write the integral on a symmetric
integration domain as
T
sin [(f − f 0 ) π (T − |τ |)]
Z
0
∗ 0
hs̃(f )s̃ (f )i = dτ 0
hs (t + τ ) s (t)ieiπ(f +f )τ (1.4)
−T (f − f ) π
Since τ ∼ 1/∆f T then the first function can be extracted from the integral which becomes
T
sin [(f − f 0 ) πT ]
Z
0
hs̃(f )s̃∗ (f 0 )i ' dτ hs (t + τ ) s (t)ieiπ(f +f )τ (1.5)
(f − f 0 ) π −T
We can show that the first term is the usual (truncated) delta function δT (f − f 0 ) which for T → ∞ can be
traded with a Dirac delta and so the two point function reads
Z T Z ∞
hs̃(f )s̃∗ (f 0 )i = δT (f − f 0 ) dτ hs (t + τ ) s (t)iei2πf τ = δ (f − f 0 ) dτ hs (t + τ ) s (t)iei2πf τ (1.6)
−T −∞
2
Nikos Karnesis, Mauro Pieroni Notes 2019
2 Three channels
The standard LISA output channels A, E and T are constructed as
1 ˜
d˜A = 2dX − d˜Y − d˜Z ,
3
1
˜
dE = √ d˜Z − d˜Y ,
3
1
d˜T = d˜X + d˜Y + d˜Z . (2.1)
3
We can thus write the conversion from d˜i = (d˜X , d˜Y , d˜Z ) with a rotation matrix c of form
2
− 13 − 31
3
cOi = 0 − √13 √13 . (2.2)
1 1 1
3 3 3
where the O index labels the rows and the i index labels the columns.
With this, we can now express the two point correlations in A, E, T as:
1 h ˜ ˜∗ i
hd˜A d˜∗A i = 4hdX dX i + hd˜Y d˜∗Y i + hd˜Z d˜∗Z i − 2(hd˜X d˜∗Y i + hd˜∗X d˜Y i) − 2(hd˜X d˜∗Z i + hd˜∗X d˜Z i) + (hd˜Y d˜∗Z i + hd˜∗Y d˜Z i) ,
9
˜ ˜ 1 h ˜ ˜∗ i
∗
hdE dE i = hdZ dZ i + hd˜Y d˜∗Y i − (hd˜Z d˜∗Y i + hd˜∗Z d˜Y i) ,
3
˜ ˜ 1 h ˜ ˜∗ i
∗
hdT dT i = hdX dX i + hd˜Y d˜∗Y i + hd˜Z d˜∗Z i + (hd˜X d˜∗Y i + hd˜∗X d˜Y i) + (hd˜X d˜∗Z i + hd˜∗X d˜Z i) + (hd˜Y d˜∗Z i + hd˜∗Y d˜Z i) .
9
1 h i
˜ ˜
hdA dE i = √ −2hd˜X d˜∗Y i + 2hd˜X d˜∗Z i + hd˜Y d˜∗Y i − hd˜Y d˜∗Z i + hd˜Z d˜∗Y i − hd˜Z d˜∗Z i ,
∗
3 3
1 h ˜ ˜∗ i
hd˜A d˜∗T i = 2hdX dX i − hd˜Y d˜∗Y i − hd˜Z d˜∗Z i + 2hd˜X d˜∗Y i − hd˜Y d˜∗X i + 2hd˜X d˜∗Z i − hd˜Z d˜∗X i − (hd˜Y d˜∗Z i + hd˜Z d˜∗Y i) ,
9
1 h i
hd˜E d˜∗T i = √ hd˜Z d˜∗Z i − hd˜Y d˜∗Y i − hd˜Y d˜∗X i + hd˜Z d˜∗X i + hd˜Z d˜∗Y i − hd˜Y d˜∗Z i .
3 3
(2.3)
Up to this point we have only assumed signal and noise to be Gaussian and signal and noise to be uncorrelated.
Ω 4π 2 f 3
Ñij (f ) = Ñij (f ) (2.6)
3(H/h)2
with H denoting the Hubble parameter, h the dimensionless Hubble parameter and Ñij (f ) are the
TDI X Y Z and correlations as labeled by the indexes i, j of the instrument which is connected to the
strain as Sn ≡ N/R.
3
Nikos Karnesis, Mauro Pieroni Notes 2019
Notice that if I substitute eq. (2.4) and eq. (2.5) into eq. (4.1) I get (at the same frequency and zero elsewhere):
Notice that R̃XX , R̃Y Y and R̃ZZ are real and positive for all frequencies while R̃XY , R̃XZ and R̃Y Z are real
and negative at small frequency and real and oscillating at larger frequencies! This is what will make the
response function in T equal to zero at small frequency!!
Substituting eq. (2.4) and eq. (2.9) into eq. (2.7) I get (at the same frequency and zero elsewhere):
4
Nikos Karnesis, Mauro Pieroni Notes 2019
1 nh i
hd˜T d˜∗T i = Ω
R̃XX + R̃Y Y + R̃ZZ Ph + Ñ(XX) Ω
+ Ñ(Y Ω
Y ) + Ñ(ZZ) +
9 h i h i h i o
∗ ∗
+ R̃XY + R̃XY Ph + R̃XZ + R̃XZ Ph + R̃Y Z + R̃Y∗ Z Ph .
1 nh i o
hd˜A d˜∗E i = √ −2R̃XY + 2R̃XZ − R̃Y Z + R̃∗Y Z + R̃Y Y − R̃ZZ Ph + Ñ(Y Ω Ω
Y ) − Ñ(ZZ) ,
3 3
1 nh i
hd˜A d˜∗T i = Ω
2R̃XX − R̃Y Y − R̃ZZ Ph + 2Ñ(XX) Ω
− Ñ(Y Ω
Y ) − Ñ(ZZ) +
9 h i o
∗ ∗
+ 2R̃XY − R̃XY + 2R̃XZ − R̃XZ − R̃Y Z − R̃Y∗ Z Ph ,
1 nh i
hd˜E d˜∗T i = √ Ω
R̃ZZ − R̃Y Y Ph + Ñ(ZZ) Ω
− Ñ(Y Y) +
3 3
h i o
∗ ∗
+ −R̃XY + R̃XZ + R̃Y∗ Z − R̃Y Z Ph . (2.11)
Again, the signs of the response functions in X, Y, Z should make in T equal to zero at small frequency, as
expected.
5
Nikos Karnesis, Mauro Pieroni Notes 2019
6
Nikos Karnesis, Mauro Pieroni Notes 2019
1n h i o
hd˜E d˜∗E i = Ω
2R̃XX Ph (f ) + 2Ñ(XX) ∗
(f ) − R̃XY + R̃XY Ph (f ) ,
3
1n h i o
hd˜T d˜T i =
∗ Ω
3R̃XX Ph (f ) + 3Ñ(XX) ∗
(f ) + 3 R̃XY + R̃XY Ph (f ) .
9
1 nh i o
hd˜A d˜E i =
∗
√ −R̃XY + R̃XY ∗
Ph ,
3 3
1 nh i o
hd˜A d˜∗T i = ∗
R̃XY − R̃XY Ph (f ) = 0 ,
3
1 nh ∗ i o
hd˜E d˜∗T i = √ R̃XY − R̃XY Ph (f ) = 0 . (2.13)
3 3
In this approximation the noise cancels out in the cross correlations of different channels, moreover, since
the responses are real, all the cross correlations are zero! A test of this is shown in fig. 2.2.
7
Nikos Karnesis, Mauro Pieroni Notes 2019
notice that in the case of a single channel that we treated in [?], ΩN is precisely the sensitivity curve.
Matching this definition with the system in section 3 we get:
∗ ∗
2 1 R̃XY + R̃XY 2 1 R̃XY + R̃XY
RAA = − , REE = − ,
3 3 R̃XX 3 3 R̃XX
∗ ∗
1 1 R̃XY + R̃XY 1 R̃XY − R̃XY
RT T = + . RAE =− √ , (3.2)
3 3 R̃XX 3 3 R̃XX
∗ ∗
1 R̃XY − R̃XY 1 R̃XY − R̃XY
RAT = , RET =− √ ,
3 R̃XX 3 3 R̃XX
With these approximations eq. (2.3) reduces to:
1n h i h io
hd˜A d˜∗A i = 6R̃XX Ph + 6ÑXXΩ
− 3 R̃XY + R̃XY∗
Ph − 3 ÑXYΩ Ω∗
+ ÑXY ,
9
1 n h i h io
hd˜E d˜∗E i = 2R̃XX Ph − R̃XY + R̃XY ∗
Ph + 2ÑXXΩ
− ÑXYΩ Ω∗
+ ÑXY ,
3
1 n h i h io
hd˜T d˜∗T i = 3R̃XX Ph + 3ÑXXΩ
+ 3 R̃XY + R̃XY∗
Ph + 3 ÑXYΩ Ω∗
+ ÑXY .
9
1 nh i o
hd˜A d˜∗E i = √ −R̃XY + R̃XY∗
Ph − ÑXY + ÑXY ∗
,
3 3
1 nh i h io
hd˜A d˜∗T i = ∗
R̃XY − R̃XY Ph + ÑXY − ÑXY∗
,
3
1 nh i o
hd˜E d˜∗T i = √ −R̃XY + R̃XY∗ ∗
Ph + ÑXY − ÑXY . (3.3)
3 3
notice that since Rij is real, Rij is zero off-diagonal, and also:
" #
2 3 Ω Ω Ω∗
4π f 2 Ñ 1 Ñ + Ñ
h2 ΩN,AA = h2 ΩN,EE ≡ XX
− XY XY
, (3.4)
3(H/h)2 3 R̃XX 3 R̃XX
" #
2 4π 2 f 3 Ω
1 ÑXX Ω
1 ÑXY Ω∗
+ ÑXY
h ΩN,T T ≡ + , (3.5)
3(H/h)2 3 R̃XX 3 R̃XX
" #
2 2 4π 2 f 3 1 ÑXYΩ
− ÑXYΩ∗
h ΩN,AE = h ΩN,ET ≡ − √ (3.6)
3(H/h)2 3 3 R̃XX
" #
2
√ 2 4π 2 f 3 Ω
1 ÑXY Ω∗
− ÑXY
h ΩN,AT = − 3 h ΩN,AE ≡ (3.7)
3(H/h)2 3 R̃XX
(3.8)
Given some analytical expressions for the response functions we can thus write a simple Gaussian likeli-
hood to describe our data:
!2
NChunks X X Dij,k − Rij h2 ΩGW (fk , θ) ~ − h2 ΩN,ij (fk , ~n)
− ln L = , (3.9)
2 i,j
σij,k
k
8
Nikos Karnesis, Mauro Pieroni Notes 2019
where the index k runs over the data points, the indexes i, j run over the different channels and σij,k is the
estimated error on the data point k in the combination of channels i, j.
9
Nikos Karnesis, Mauro Pieroni Notes 2019
Figure 3.1: My data compared with theoretical expectations. What I am plotting is abs of the data after
coarse graining. Notice that doing abs and then coarse grain is not equivalent because that loses track of the
relative phases!!
10
Nikos Karnesis, Mauro Pieroni Notes 2019
together with the fact that since d(t) is real, which implies d(f ˜ ) = d˜∗ (−f ) (which also holds for signal and
noise). These imply that the two point correlation function in real space is:
Z ∞Z ∞h i
0
hd(t)d(t)i = ˜ 0 )i + ei(f −f 0 )t hd(f
˜ )d(f
ei(f +f )t hd(f ˜ )d˜∗ (f 0 )i + e−i(f −f 0 )t hd˜∗ (f )d(f
˜ 0 )i + e−i(f +f 0 )t hd˜∗ (f )d˜∗ (f 0 )i df df 0
0 0
(4.3)
and recalling that assuming a statistical isotropic SGWB and a noise which is uncorrelated between different
frequencies we can define the power spectra1 as something like:
we can immediately see2 that the only terms which contribute to the correlators in time domain are:
Z ∞Z ∞h i Z ∞
i(f −f 0 )t ˜ ˜∗ 0 −i(f −f 0 )t ˜∗ ˜ 0 0
hd(t)d(t)i = e hd(f )d (f )i + e hd (f )d(f )i df df = 2 [N (f ) + R(f )S(f )] df ,
0 0 0
(4.5)
as it should be. Notice that in eq. (4.4) I assumed both the signal and the noise spectra to be real. For
example, this is not the case for correlations between different channels! However, this is not going to be a
problem since, given the correlators:
which is fine.
1 N.B. what I called N (f ) is the TDI X in units of Ω! More on this is said in section 2.1.1
2 Since both f and f 0 are positive, for the two terms without * or with two * the condition set by the δ is never satisfied.
11