GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ)...

30
KAGRA 重力波データ解析スクール @ RESCEU 2014 重力波データ解析手法 ~データが出てから見つけるまで~ 神田展行(大阪市立大学) 4/18/2014

Transcript of GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ)...

Page 1: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

重力波データ解析手法 ~データが出てから見つけるまで~

神田展行(大阪市立大学) 4/18/2014

Page 2: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

講義要諦重力波検出器は、重力波の信号をデータに残す

重力波検出器は、検出器の雑音もデータに残す。

データには、信号と雑音が同時に記録されている。

雑音の中から、信号を特定(identify)しなければならない。 →マッチドフィルター法

時系列(time series)と周波数領域(frequency domain)

周波数スペクトル、パワースペクトル密度

重力波の特徴的な波形(コンパクト連星合体) 2

Page 3: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

重力波検出器

3

時空の歪みによって、自由質点(ここでは鏡)の間の世界距離が変化、レーザー光の干渉(明暗)が変化する

これを電気信号で取り出し、記録する。

(実際にはもっと複雑。川村さんの講義にて。)

Page 4: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

重力波検出器

3

時空の歪みによって、自由質点(ここでは鏡)の間の世界距離が変化、レーザー光の干渉(明暗)が変化する

これを電気信号で取り出し、記録する。

(実際にはもっと複雑。川村さんの講義にて。)

Page 5: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

重力波検出器

3

時空の歪みによって、自由質点(ここでは鏡)の間の世界距離が変化、レーザー光の干渉(明暗)が変化する

これを電気信号で取り出し、記録する。

(実際にはもっと複雑。川村さんの講義にて。)

Page 6: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

重力波検出器

3

時空の歪みによって、自由質点(ここでは鏡)の間の世界距離が変化、レーザー光の干渉(明暗)が変化する

これを電気信号で取り出し、記録する。

(実際にはもっと複雑。川村さんの講義にて。)

Page 7: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

重力波検出器

3

時空の歪みによって、自由質点(ここでは鏡)の間の世界距離が変化、レーザー光の干渉(明暗)が変化する

これを電気信号で取り出し、記録する。

(実際にはもっと複雑。川村さんの講義にて。)

Page 8: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

観測データ信号は「時系列」で得られる。

!

データは離散値で記録される。

!

標本化(サンプリング)

装置の出力は電気信号。しかるべき換算をして、時空の歪みに戻す。(cf: キャリブレーション)

4

2

1

0

-1

重力波振幅 [×10-22 ]

-20ms -15ms -10ms -5ms 0ms 5ms時間 [秒]

h(t)

h(ti)

v(t)� h(t)

Page 9: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

標本化(サンプリング)

5

-1.0

-0.8

-0.5

-0.2

0.0

0.2

0.5

0.8

1.0

1.000.950.900.850.800.750.700.650.600.550.500.450.400.350.300.250.200.150.100.050.00

連続量 標本化(サンプリング)データ

時間 [s]

大きさ

(電圧、時空の歪み、等々)

サンプリング間隔�T

サンプリング周波数

fs =1

�T

最小量子化単位

Page 10: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

検出器雑音装置や環境に起因する「雑音(ノイズ, noise)」が在る。

雑音にはいろいろあるが、乱数的な振る舞いをするものが多い。そのような場合、時系列のままで特徴づけて扱うのが少々面倒…

6これはTAMA300のもの。

n(t)

Page 11: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

信号と雑音観測で得られるのは、雑音+重力波信号

!

どうやって重力波 を見つけるか?

Search 探索 → 長時間の観測を対象に

Identification, Tag 同定、印(札)を付ける → 何時に?

Extraction 取り出す → 波形の情報=重力波源の情報7

s(t) = h(t) + n(t)

h(t)

Page 12: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

重力波の信号を見つけるには? (SIGNAL IDENTIFICATION)

探すべき重力波の波形を知っていること

雑音の性質を知っていること

8

Page 13: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

NOTE: フーリエ変換時系列 <==> 周波数領域

9

cf: 日野幹雄「スペクトル解析」朝倉書店 ほか

X(�) =12�

� �

��x(t)e�i�tdt

x(t) =� �

��X(�)ei�td�

x(f) =� �

��x(t)e�2�iftdt

x(t) =� �

��x(f)e2�iftdf

フーリエ変換 !

フーリエ逆変換

フーリエ変換 !

フーリエ逆変換

x(f) = 2�X(�)

x(f)x(t)

�f振動数[Hz] , 角振動数 [rad/s]

Page 14: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

NOTE: (注意) フーリエ変換、逆変換の定義について変換、逆変換はexpの肩の符号が逆だが、そもそも対称的に定義されていて、どちらを「逆」にするかは定義の問題

例えば、小出昭一郎「物理現象のフーリエ解析」(東京大学出版会) では、空間 x, 時間 t それぞれの場合で、以下:

!

!

!

高速フーリエ変換のプログラムでは

中身は、変換も逆変換も同じ

FFTW => (A)定義、Numerical Receipt C =>(B)定義10

f(x) =1�2�

� �

��F (k)eikxdk

F (k) =1�2�

� �

��f(x)e�ikxdx

f(t) =1�2�

� �

��F (�)e�i�td�

F (�) =1�2�

� �

��f(t)ei�tdt

変換 (A) 逆変換

変換 (B) 逆変換

ei(kx��t)

Page 15: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

NOTE: パワースペクトル密度信号x(t)のエネルギー

Parseval の等式:

平均パワー

パワースペクトル密度 (power spectrum density) : P(f)

周波数 fとf+df の間に存在するパワー P(f) df

11

� �

��x(t)2dt =

� �

��x(f)2df

x2 =� �

��P (f)df

P (f) = limT��

�1T

X(f) X�(f)�

<=これが「原義」かな

P (f) = limT��

E�

1T

X(f) X�(f)�変動する信号なら

E[ ] は期待値(アンサンブル平均)

x(t)の単位[m]

tの単位 [s] として…

[m2]

[m2 /Hz]

x2 = limT��

1T

� T/2

�T/2x(t)2dt

Page 16: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

NOTE : 自己相関関数(auto-correlation function) とパワースペクトル(片側、両側)

自己相関関数

!

Wiener-Khintchineの関係:

!

!

!

この後、雑音の片側パワースペクトル密度:Sn(f ) [/Hz]とします。

12

C(t, �) = E[x(t) x(t + �)]定常確率仮定なら→

P (f) =� �

��C(�)e�2�if�d�

C(�) = x(t) x(t + �)

= limT��

1T

� T/2

�T/2x(t) x(t + �)dt

E(f) = 4� �

0C(�) cos 2�if�d�

両側スペクトル 片側スペクトルE(f) = 2P (f) [m2 /Hz]

Sn(f) = n(f)n�(f)↑(計量の歪みと等価に換算した検出器の)

Page 17: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

KAGRAの雑音スペクトル

13

10-24

10-23

10-22

10-21

10-20

stra

in e

quiv

alen

t noi

se s

pect

rum

[1/rH

z]

10 100 1000frequency [Hz]

KAGRA sensitivity limit VRSE(D) VRSE(B)

Sensitivity limit = Strain equivalent noise (amplitude average) spectrum

�S

n(f

)[1

/�H

z]

Page 18: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

14

10-24

10-23

10-22

10-21

10-20

10-19

10-18

10-17

10-16

10-15

Stra

in s

pect

rum

(eq

uiva

lent

noi

se s

pect

rum

) [1

/rH

z]

100

101

102

103

104

Frequency [Hz]

ある一回の雑音スペクトル ���������������������

期待値

|n(f)|�

Sn

Page 19: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

コンパクト連星合体の重力波波形「チャープ波形」

15

やっと重力波…

-2

-1

0

1

2

x10-2

4

4.03.83.63.43.23.0s

h(t)

連星軌道周期:Porb

t=0での連星軌道周期:P0

重力波の周期:PGW

重力波の角振動数:�

重力波の振幅:A

軌道半径:R

連星質量:m1,m2

チャープ質量:M

最低次で様子を確認しておこうPorb(t) =

�P 8/3

0 � 83kt

�3/8

k =965c5

(2�)8/3(GM)5/3

M = (m1m2)3/5(m1 + m2)�1/5

Porb(t) = 2PGW (t)

ケプラー則 G(m1m2) =�

2�

Porb

�2

R3 (R ~ 108 m)

Page 20: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

16

h(t) = A(t) cos(�(t))

A(t) =2(GM)5/3

c4r

��

PGW (t)

�2/3

Φ:位相時間

時間

周波数

Out[30]=

-10 -8 -6 -4 -2 0

0.5

1.0

1.5

2.0

Out[31]=

-10 -8 -6 -4 -2 0

0.2

0.4

0.6

0.8

1.0 振幅 A(t)

(単位はarbitrary )

h(t ; m1,m2, t0, ...)Remark !!!

Page 21: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

波形探索!!1. 到来時刻 t0 を知らない。

Ans : しらみつぶし

マッチドフィルター

2. 星の質量を知らない。

Ans : 考えられる質量範囲でのいろいろな波形

理論予想波形(テンプレート)群17

h(t ; m1,m2, t0, ...)

Page 22: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

マッチドフィルター[超入門編]

18

理論予想波形と観測データの相関をとってみる。τに到来したと思って、

観測データ:s(t) = A0 h(t� t0) + n(t)簡単のため、質量については「当たり」を得ているとする。

τをすこしづづ動かすかわりに、s, h のフーリエ変換を用いて、

�(�) =� �

��s(t) h(t� �)dt

�(�) =� �

��s(t) h(t� �)dt

=� �

��s(f) h�(f) e2�if�df

正しいτのとき、

ρが大きくなるはず!

Page 23: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

19

雑音の多い周波数では寄与を小さく、 雑音の少ない周波数では寄与を大きく!

�(�) = 2� �

0

s(f) h�(f)Sn(f)

e2�if�df: Wiener Optimal Filter

(ウィナー最適フィルタ)

あとは、大きなρを探すだけ。

�(�) = 2� �

0

s(f) h�(f)Sn(f)

df

テンプレートに到来時刻もいっしょにいれて考えるなら、 τ=0として、以下でも等価。

Page 24: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

観測周波数帯

20

�(�) = 2� �

0

s(f) h�(f)Sn(f)

df

0Hz - ∞ は…

�(�) = 2� fMax

fmin

s(f) h�(f)Sn(f)

df

fmin - fMax [Hz] にしましょう。決める要素は、

(1) 重力波そのものの周波数

(2) KAGRAの感度曲線(これは本当は(1)に合わせて検出器を作る)

これらに合わせて、データを取る時点や計算するときに:

サンプリング周波数

データ長

Page 25: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

21

10-24

10-23

10-22

10-21

10-20

stra

in e

quiv

alen

t noi

se s

pect

rum

[1/rH

z]

10 100 1000frequency [Hz]

KAGRA sensitivity limit VRSE(D) VRSE(B)重力波のスペクトル

fmin fMax ???

連星合体の場合、

fmin : KAGRAの低周波の雑音が大きくなってしまうあたり

fMax : ISCO

Page 26: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

データについての条件ナイキスト周波数 fN [Hz]

ナイキスト(Nyquist)の標本化定理: 「ナイキスト周波数の整数倍の周波数の波は、標本化データから再現できない

条件:

データ長 T [sec]

FFTの周波数分解能は、総データ長[sec]の逆数

条件A:

条件B:データ長はテンプレート長より長いこと22

fN =12fs

fN > fMax

T >1

fmin

Page 27: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

23

5

4

3

2

1

0-100 -50 0 50 100

ms

-100

-50

50

100x1

0-24

-100 -50 50 100ms 時間 [msec]

時間 [msec]

s(t)

例: マッチドフィルターをかけますと….

Page 28: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

それでは皆さんも演習でやってみましょう!23

5

4

3

2

1

0-100 -50 0 50 100

ms

-100

-50

50

100x1

0-24

-100 -50 50 100ms 時間 [msec]

時間 [msec]

s(t)

例: マッチドフィルターをかけますと….

Page 29: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

APPENDIX

Page 30: GWDAschool lecture kanda - 東京大学...(ウィナー最適フィルタ) あとは、大きなρを探すだけ。( )= 2 0 s˜(f ) h˜ (f ) S n (f ) df テンプレートに到来時刻もいっしょにいれて考えるなら、!

KAGRA 重力波データ解析スクール @ RESCEU 2014

ISCO (INNER-MOST STABLE CIRCULAR ORBIT, 最内安定円軌道)

25

BH周りを周る質点の半径方向のeffectiveなポテンシャル

V (r) = �GM

r+

h2

2r2� ah2

2r3

角運動量 h, シュバルツシルト半径 a

内山龍雄「一般相対性理論」裳華房より