ガウス信念伝搬法 - gabp: gaussian belief propagation...gabp: gaussian belief propagation...
TRANSCRIPT
ガウス信念伝搬法GaBP: Gaussian Belief Propagation
衣斐信介,高橋拓海[email protected]
大阪大学大学院工学研究科SITA2018: 第 41回情報理論とその応用シンポジウム
2018年 12月 19日
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 1 / 64
目次
1 信号モデル
2 信号検出
3 LLR-GaBP
4 MF-GaBP
5 適応スケールビリーフ
6 多値変調
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 2 / 64
信号モデル (1)
MIMO通信路
y = Hx + z (1)
送信 (未知)ベクトル: x = [x1, . . . , xM]T
受信 (観測)ベクトル: y =[y1, . . . , yN
]T
雑音(誤差)ベクトル: z = [z1, . . . , zN]T
通信路(写像)行列:
H =
h1,1 . . . h1,M...
. . ....
hN,1 . . . hN,M
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 3 / 64
信号モデル (2)
送信 (未知)ベクトル送信シンボル xm: 集合 X = χ0, · · · , χq, · · · , χQ−1の内,一つの要素を等確率(1/Q)でとる送信ベクトル x: 直積集合 XM = χ0, · · · ,χ j, · · · ,χQM−1の内,一つの要素を等確率(1/QM)でとる
各要素 xm は独立に生起
雑音 (誤差)ベクトル確率密度関数(PDF)は平均ベクトル µ,共分散行列 Ωの N 次元ガウス分布に従う
p (z|µ,Ω) =1
πN |Ω| exp[−(z − µ)HΩ−1(z − µ)
](2)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 4 / 64
信号モデル (3)
受信(観測)ベクトル平均ベクトル µ = Hχ j,共分散行列 Ω = N0IN を仮定
通信路行列 Hと雑音分散 N0 の推定は完全(確定値)
確率密度関数(PDF)は
py|x(y|χ j
)=
1(πN0)N exp
[−|z − Hχ j|2
N0
](3)
マルチユーザ検出(MUD: Multi-User Detection)受信ベクトル yを観測した上で,送信ベクトル xが何であったかを知りたい!
Given y,H, N0
Find x (4)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 5 / 64
目次
1 信号モデル
2 信号検出
3 LLR-GaBP
4 MF-GaBP
5 適応スケールビリーフ
6 多値変調
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 6 / 64
最大事後確率(MAP)検出
事後確率(a-posteriori probability)Px|y[χ j|y
]受信ベクトル yを観測した上での,送信ベクトル xが候補ベクトル χ j に一致する確率
例えば,QPSK (X = χ0, χ1, χ2, χ3)で送信アンテナ数 M が 2本のとき,J = |X|M = 16の候補ベクトルに対する事後確率が存在
最大事後確率 (MAP: Maximum A-posteriori Probability)検出受信機における信号検出の判定誤り率最小化の最適解
x = arg maxχ j∈XM
Px|y[χ j | y
](5)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 7 / 64
最尤(ML)検出
ベイズの定理
Px|y[χ j | y
]=
py|x(y | χ j
)Px[χq]
py (y)∝ py|x
(y | χ j
)Px[χ j] (6)
※確率密度関数 py (y)は xに依存しないため定数
最尤検出生起確率 Px[χ j]が等確率の場合:
x = arg maxχ j∈XM
py|x(y|χ j
)(7)
※対数関数 lnが単調増加関数であることに着目すると,最小ユークリッド距離を探索する問題
x = arg maxχ j∈XM
ln py|x(y|χ j
)= arg max
χ j∈XM
−∣∣∣y − Hχ j
∣∣∣2N0
= arg minχ j∈XM
∣∣∣y − Hχ j
∣∣∣2S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 8 / 64
線形推定
最尤検出の問題点事後確率の全探索の場合,Qと M の値が大きいと,探索数 J = |X|M = QM が膨大なものに
線形空間フィルタ
x =WHy =WHHx +WH z ≜ Ξx + v (8)
フィルタ出力の等価通信路行列は,Ξ =WHH雑音成分の共分散行列は,Ω = EzvvH = N0WWH
MF (Matched Filter)推定: WH = HH
ZF (Zero Forcing)推定: WH =[HHH
]−1HH
MMSE (Minimum MSE)推定: WH = HH[HHH + N0IN
]−1
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 9 / 64
線形推定+最尤検出(1)線形推定ベクトルに基づく最尤検出
x = arg maxχ j∈XM
px|x(x|χ j
)= arg min
χ j∈XM
(x − Ξχ j
)HΩ−1
(x − Ξχ j
)(= arg min
χ j∈XM
∣∣∣y − Hχ j
∣∣∣2) (9)
※上式を用いたとしても,最尤検出の演算量が減るわけではない
近似: Ξ と Ωの非対角成分を無視x = arg min
χ j∈XM
(x − ΞDχ j
)H (ΩD
)−1 (x − ΞDχ j
)= arg min
χ j∈XM
M∑m=1
∣∣∣∣xm − ξm,m
[χ j
]m
∣∣∣∣2 (10)
xm = arg minχq∈X
∣∣∣xm − ξm,mχq
∣∣∣2 (総探索数 : MQ) (11)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 10 / 64
線形推定+最尤検出(2)※確率密度関数を式変形
px|x(x|χ j
)∝ exp
[−(x − Ξχ j)HΩ−1(x − Ξχ j)
]∝ exp
[2ℜ
xHΩ−1Ξχ j
− χH
j ΞHΩ−1Ξχ j
]≜ exp
[2ℜ
xHΨχ j
− χH
j Υχ j
]ただし,
Φ = Ω−1Ξ, Υ = ΞHΩ−1Ξ (12)
MF
Φ = IM/N0, Υ = HHH/N0 (13)
ZF
Φ = HHH/N0, Υ = HHH/N0 (14)S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 11 / 64
線形推定+最尤検出(3)
特別な場合PSK信号: |xm|2 = Es
Υ = HHH/N0 が対角行列
χHj Υχ j = const.
p(x|χ j
)∝ exp
[2ℜ
xHΦχ j
− χH
j Υχ j
]∝ exp
[2ℜ
xHΦχ j
]Φ = HHH/N0 (ZF), Ψ = IM (MF)なので,
PSK信号でかつ G = HHHが対角行列のとき,xm = arg min
χq∈Xℜ
−ϕm,m x∗mχq
(15)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 12 / 64
大システム極限 (チャネル硬化効果)
圧縮率 ρ = N/M が定数,hn,m ∼ CN(0, 1)のとき
limN→∞
HHHN= IM (16)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 13 / 64
ビット誤り率 (1)
シミュレーション諸元変調方式 QPSK
送信アンテナ数 2, 4, 8, 16受信アンテナ数 128
通信路 レイリー通信路推定 完全同期 完全
MLと ZFの特性が同等:多受信アンテナ数は,演算量低減に有効
圧縮率 N/M が低いと,MF特性は MLと比べて劣化:N が無限大ではない場合,厳密にはグラム行列 HHH が単位行列ではない
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 14 / 64
ビット誤り率 (2)
送信アンテナ数(空間多重数)が 10以下であれば,ZFの利用が妥当
受信アンテナ数が複数あるのであれば,将来的には,もう少し送信アンテナ数(空間多重数)を増やしたい!! =>確率伝搬法による多次元信号検出が有効
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 15 / 64
ビット誤り率 (3)
送信アンテナ数(空間多重数)が 10以下であれば,ZFの利用が妥当受信アンテナ数が複数あるのであれば,将来的には,もう少し送信アンテナ数(空間多重数)を増やしたい!! =>確率伝搬法による多次元信号検出が有効対数尤度比(LLR)に基づく繰り返し信号処理である PDA(繰り返し 8回)と GaBP(繰り返し 16回)が有効S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 16 / 64
目次
1 信号モデル
2 信号検出
3 LLR-GaBP
4 MF-GaBP
5 適応スケールビリーフ
6 多値変調
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 17 / 64
LLR-GaBPの構成
入力:受信シンボル yn
1 SC:ソフトキャンセラ2 LG: LLR生成器3 BG:ビリーフ生成器4 SG:ソフトシンボル生成器
出力:結合 LLR βm
ビットと事前ビリーフ(LLR)
c =[lT1 , . . . , cT
m, . . . , cTM
]T, cm =
[cm,1, . . . , cm,i, . . . , cm,I
]T
ln =[lTn,1, . . . , lT
n,m, . . . , lTn,M
]T,ln,m =
[ln,m,1, . . . , ln,m,i, . . . , ln,m,I
]T
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 18 / 64
SC:ソフト干渉キャンセラ
受信シンボル
yn = hnx + zn, hn =[hn,1, . . . , hn,m, . . . , hn,M
](17)
ソフト干渉キャンセル
yn,m = yn − hn xn,m (18)
送信ベクトル xの条件付き期待値(確定値)
xn =[xn,1, . . . , xn,m, . . . , xn,M
]T= Ex|ln=lnx
=∑χ j∈XM
χ jPx|ln[χ j|ln] (19)
xn,m =[xn,1, . . . , xn,m−1, 0, xn,m+1 . . . , xn,M
]T (20)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 19 / 64
LG: LLR生成 (1)
対数尤度比 (LLR: Log Likelihood Ratio)
事後: γn,m,i = lnPcm,i |yn,m,ln,m
[1 | yn,m, ln,m
]Pcm,i |yn,m,ln,m
[0 | yn,m, ln,m
]= ln
∑χq∈X|cm,i=1 Pxm |yn,m,ln,m
[χq | yn,m, ln,m
]∑χ′q∈X|cm,i=0 Pxm |yn,m,ln,m
[χ′q | yn,m, ln,m
]= ln
∑χq∈X|cm,i=1 pyn,m |xm
(yn,m | χq
)pln,m |xm
(ln,m | χq
)∑χ′q∈X|cm,i=0 pyn,m |xm
(yn,m | χ′q
)pln,m |xm
(ln,m | χ′q
)(21)
外部: αn,m,i = γn,m,i − ln,m,i (22)
事前: ln,m,i = lnpln,m,i |cmi
(ln,m,i|1
)pln,m,i |cmi
(ln,m,i|0
) (23)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 20 / 64
LG: LLR生成 (2)
確率密度関数 pyn,m|xm
(yn,m | χq
)ソフト干渉キャンセラ出力をガウス近似:yn,m = hn,mxm + νn,m
pyn,m |xm
(yn,m | χq
)=
1πψn,m
exp[−|yn,m − hn,mxm|2
ψn,m
](24)
ただし,
νn,m = yn − hn xn,m = hn
(xm − xn,m
)+ zn (25)
ψn,m = Exm |ln=ln
Ezn
|νn,m|2
= hn∆n,mhH
n + N0 (26)
∆n,m = diag[δn,1, . . . , δn,m−1, 0, δn,m+1, . . . , δn,M
](27)
δn,m = Exm |ln=ln
|xm|2
− |xn,m|2 (= Es − |xn,m|2 : PSK) (28)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 21 / 64
LG: LLR生成 (3)
確率密度関数 pln,m|xm
(ln,m | χq
)仮定:事前 LLR ln,m,1, · · · , ln,m,I のランダム成分が独立
pln,m |xm
(ln,m | χq
)=
I∏i=1
pln,m,i |cm,i
(ln,m,i | [χq]i
)(29)
ただし,[χq]i は送信シンボル χq を形成するためのビットベクトルの第 i要素仮定:一貫性条件を満たすガウス分布:ln,m,i = µn,m(2cm,i − 1) + νn,m(νn,m の分散が 2µn,m)
pln,m,i |cm,i
(ln,m,i | [χq]i
)∝ exp
[−
(ln,m,i − µn,m(2[χq]i − 1))2
4µn,m
]∝ exp
[− ln,m,i
2(2[χq]i − 1)
](30)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 22 / 64
BG:事前ビリーフ生成 (1)
グレイ符号化 QPSKの場合αn,m,1 = ωn,mℜ
h∗n,myn,m
(31)
αn,m,2 = ωn,mℑh∗n,myn,m
(32)
ωn,m =2√
2Es
hn∆n,mhHn + N0
(33)
結合 LLR(受信ダイバーシチ合成)
βm,i =
N∑n=1
αn,m,i (34)
無符号化: βm,i を硬判定して,ビットの検出値 cm,i を得る
符号化: βm,i を通信路復号器に入力
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 23 / 64
BG:事前ビリーフ生成 (2)
SID (Self Iterative Detection)外部ビリーフ
λn,m,i = βm,i − αn,m,i (35)
ダンピング(制振)処理
ln,m,i = ηλ(k)n,m,i + (1 − η)λ(k−1)
n,m,i , (0 < η ≤ 1) (36)
ただし,λ(k)n,m,i は繰り返し数 k 回目で得られる λn,m,i
IDD (Iterative Detection and Decoding)βm,i の結合 LLR系列を通信路復号器に入力し,その出力であるLLRを SIDの βm,i に置き換えて,SIDと同様の処理
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 24 / 64
SG:ソフトシンボル(条件付き期待値)生成
演算量(QM)そもそも演算量が MLDと同等
xn = Ex|ln=lnx =∑χ j∈XM
χ jPx|ln[χ j|ln] (37)
仮定:グレイ符号 QPSKを利用事前 LLR ln,m,1, ln,m,2 のランダム成分が独立一貫性条件を満たすガウス分布: ln,m,i = µn,m(2cm,i − 1) + νn,m
(νn,m の分散が 2µn,m)
計算量 (MN)
xn,m =
√Es
2
(tanh
[ln,m,1
2
]+ j tanh
[ln,m,2
2
])(38)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 25 / 64
目次
1 信号モデル
2 信号検出
3 LLR-GaBP
4 MF-GaBP
5 適応スケールビリーフ
6 多値変調
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 26 / 64
MF-GaBPの構成
問題点そもそも大システム極限が成り立たない場合,GaBPで用いた近似が成り立たない...LLRを頑張って求めたとしても,恩恵が得られるか?
代替策LLRの代わりに,整合フィルタ出力を使う
1 SC:ソフトキャンセラ2 MF:整合フィルタ3 BG:ビリーフ生成器4 SG:ソフトシンボル生成器
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 27 / 64
MF:整合フィルタ,BG:事前ビリーフ生成 (1)
MFビリーフ (確率のようなガウス性の信念)
αn,m = h∗n,myn,m, βm =
N∑n=1
αn,m (39)
βm を硬判定することで,送信シンボルの検出値 xm を得る
βm の尤度関数から LLRを算出し,通信路復号器へ入力する
事前ビリーフ生成
ln,m = βm − αn,m (40)
外部値を用いることで,繰り返し検出の収束特性が改善可能
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 28 / 64
BG:事前ビリーフ生成 (2)
事前ビリーフベクトル
ln =[βn,1, . . . , βn,m, . . . , βn,M
]T= (Θn − Γn) x + ϕn (41)
ただし,Θn =
N∑i=1,i,n
hHi hi = HHH − hH
n hn, (42)
Γn =
N∑i=1,i,n
Λi∆i (43)
※ Λi は hHi hi の対角成分を 0と置いた,非対角成分のみを持つ行列
∆n = diag[
xn,1
x1, . . . ,
xn,m
xm, . . . ,
xn,M
xM
](44)
ϕn =
N∑i=1,i,n
hHi zi (45)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 29 / 64
BG:事前ビリーフ生成 (3)等価雑音成分の共分散行列:
Eϕnϕ
Hn
= N0
N∑i=1,i,n
hHi hi = N0Θn (46)
確率密度関数
pln |x(ln|χ j) ∝ exp[2ℜ
lHn Ξnχ j
− χH
j Φnχ j
](47)
ただし, Ξn =1
N0Θ−1
n (Θn − Γn) (48)
Φn = ΞHn (Θn − Γn) (49)
xn = 0のとき, Ξn =1
N0IM, Φn =
1N0Θn (50)
xn = xのとき,Ξn =1
N0Θ−1
n ΘDn , Φn = Ξ
Hn Θ
Dn (51)
※ ΘDn は Θn の対角成分のみを抽出した対角行列
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 30 / 64
SG:ソフトシンボル生成 (1)
大システム極限
limN→∞
Θn
N − 1
= lim
N→∞
HHH − hH
n hn
N − 1
= IM (52)
この対角化効果により,
Ξn ≈1
N0IM, Φn ≈
N − 1N0
IM (53)
その結果,
ソフトシンボル生成
xn =∑χ j∈XM
χ j
exp[
2N0ℜ
lHn χ j
]∑χ′j∈XM exp
[2
N0ℜ
lHn χ′j
] (54)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 31 / 64
SG:ソフトシンボル生成 (2)
ソフトシンボル(低演算量)
xn,m =
√Es
2
(tanh
[l′In,m
]+ j tanh
[l′Qn,m
])(55)
l′In,m =
√2Es
N0ℜ
ln,m, l′Qn,m =
√2Es
N0ℑ
ln,m
(56)
注意Θの対角近似精度が十分であれば式(56)を利用可能Θが完全に対角行列であれば,もはや GaBPの必要はなく MF推定で十分GaBPを用いることで,ある程度の非対角成分を許容可能
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 32 / 64
目次
1 信号モデル
2 信号検出
3 LLR-GaBP
4 MF-GaBP
5 適応スケールビリーフ
6 多値変調
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 33 / 64
ビリーフのモデル誤差と外れ値
GaBPの問題点受信アンテナ素子数の減少およびフェージング相関による通信路硬化効果の弱化
ビリーフのモデル誤差に起因して生成関数でつくったソフトシンボルレプリカが条件付き期待値から乖離
影響緩和にはビリーフのダンピング,スケーリング,ノード選択が有効S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 34 / 64
適応スケールビリーフ (ASB: adaptively scaled belief) (1)
事前ビリーフのガウス信号表現
l′n,m = l′In,m + jl′Qn,m = ωn,mxm + κn,m (57)
利得 ωn,m =√
2EsN0
∑Ni=1,i,n |hi,m|2,雑音 κn,m =
√2EsN0
∑Ni=1,i,n h∗i,mνi,m
雑音 κn,m の異常強調が発生 ->誤った硬判定レプリカ
ビリーフスケーリング典型的なスケーリング:
l′′n,m = b · l′n,m = bωn,m ·[xm + ϕn,m
], ϕn,m =
κn,m
ωn,m(58)
適応スケーリング:Hによるランダム変動を正規化により安定化した後に aによりスケーリング
l′′n,m =a
cωn,m· l′n,m =
ac· [xm + ϕn,m
], c =
√Es (59)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 35 / 64
適応スケールビリーフ (2)
シンボルレプリカとスケーリングパラメータ aの関係性
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 36 / 64
適応スケールビリーフ (2)
シンボルレプリカとスケーリングパラメータ aの関係性
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 37 / 64
適応スケールビリーフ (2)
シンボルレプリカとスケーリングパラメータ aの関係性
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 38 / 64
適応スケールビリーフ (3)
パラメータ aの動的設定
a = f (k) = 1 +kK
(60)
K: 繰り返し回数k : 繰り返しインデックス
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 39 / 64
ノード選択法
通信路行列が有相関 MIMOの場合には,
β(k′−1 ,t)n,m =
∑i∈At\n
α(k′−1)i,m +
∑j∈Bt\n
α(k′)j,m (61)
At: 未更新ノードインデックスの集合
Bt: 更新済みノードインデックスの集合
ビリーフ更新のスケジューリング各セット内の空間相関の影響が小さくなるように分類し,そのセットごとにビリーフを順次更新することで空間相関の影響を緩和
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 40 / 64
シミュレーション諸元
Parameter ValuesMIMO antenna configuration (M,N) = ( 25, 25 ), ( 36, 36 )
Modulation Gray-coded QPSKChannel code Not utilized
Num. of GaBP iterations 16Channel model Quasi-Static Rayleigh Channel
( ρ = 0.5 )Channel estimation Perfect
※有相関通信路にはクロネッカーモデルを用いる√N ×√
N の正方配置隣り合うアンテナ素子間の相関係数は ρ=0.5相関強度は距離に対して指数的に減少
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 41 / 64
ビット誤り率特性
※青:25 × 25,橙 36 × 36
MMSE:ベースライン
Expectation Propagation (EP) :逆行列演算を用いる強力なBP(ただし,ダンピング無し)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 42 / 64
ビット誤り率特性
※青:25 × 25,橙 36 × 36
MMSE:ベースライン
Expectation Propagation (EP) :逆行列演算を用いる強力なBP(ただし,ダンピング無し)
従来の MF-GaBP
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 43 / 64
ビット誤り率特性
※青:25 × 25,橙 36 × 36
MMSE:ベースライン
Expectation Propagation (EP) :逆行列演算を用いる強力なBP(ただし,ダンピング無し)
MF-GaBP
GaBP w/ Typical scaling :従来の SNRごとに最適化した固定スケーリング手法を適用
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 44 / 64
ビット誤り率特性
※青:25 × 25,橙 36 × 36
MMSE:ベースライン
Expectation Propagation (EP) :逆行列演算を用いる強力なBP(ただし,ダンピング無し)
MF-GaBP
GaBP w/ Typical scaling :従来の SNRごとに最適化した固定スケーリング手法を適用
GaBP w/ ASB: ASBを適用
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 45 / 64
BER=10−5を満たすための所要 Es/N0
MMSE :ベースライン
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 46 / 64
BER=10−5を満たすための所要 Es/N0
GaBP: GaBP w/o ASB
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 47 / 64
BER=10−5を満たすための所要 Es/N0
GaBP w/ ASB (a = 1.5): スケーリングパラメータを固定した場合の ASB
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 48 / 64
BER=10−5を満たすための所要 Es/N0
GaBP w/ ASB ( linear ): 動的な線形基準でパラメータを変化させた場合の ASB
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 49 / 64
計算量
MF-GaBPはEPの約 1~2%程度の演算量にもかかわらず,ASBを適用することで EPより良好な特性を達成できる
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 50 / 64
目次
1 信号モデル
2 信号検出
3 LLR-GaBP
4 MF-GaBP
5 適応スケールビリーフ
6 多値変調
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 51 / 64
高多値変調(LLR-GaBP)
問題点:ビット間相関による対角近似精度の低下周波数利用効率の向上には 16QAM以上の多値変調は必須1つの送信シンボルに含まれるビット間でビリーフに強い相関が生じる (ビット間相関)
送信ベクトルx = AbA: 変調行列b: 両極性ビット
受信ベクトルy = HAb + z≜ H′b + z
H′: 等価通信路行列
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 52 / 64
シンボル尤度伝搬(1)
シンボル尤度伝搬として捉えるBG:ソフト干渉キャンセラ出力を事前ビリーフとして扱う
ln,m =[y1,m, . . . , yn−1,m, 0, yn+1,m, . . . , yN,m
]T (62)
確率密度関数:干渉残留+雑音成分をガウス近似
pln,m |xm
(ln,m|χq
)=
N∏i=1,i,n
pyi,m |xm
(yi,m|χq
)(63)
pyn,m |xm
(yn,m|xm
) ∝ exp[−|yn,m − hn,mxm|2
ψn,m
](64)
SG:ソフトシンボル生成
xn,m =∑χq∈X
χqPxm |ln,m[χq|ln,m
](65)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 53 / 64
シンボル尤度伝搬(2)
問題点ガウス近似の精度が十分でない場合,ビリーフに深刻なモデル誤差が生じ,検出性能が低下(このままの形では ASBを適用できない)
ソフトシンボル生成の演算量が Qに伴い指数的に増加
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 54 / 64
事前ビリーフの再定義
BG:事前ビリーフ βn,m(χq)
pln,m |Xm
(ln,m|χq
)∝ exp
− N∑i=1, i,n
∣∣∣yi,m − hi,mχq
∣∣∣2ψi,m
∝ exp[βn,m(χq)
](66)
に基づき,βn,m(χq) =
N∑i=1, i,n
2ℜχ∗qh∗i,myi,m
− |hi,m|2|χq|2
ψi,m(67)
SG:ソフトシンボル生成
xn,m =∑χq∈X
χq
exp[βn,m(χq)
]∑χ′q∈X exp
[βn,m(χ′q)
] (68)
再定義事前ビリーフ βn,m(χq)を介して信念伝搬法を動作していると解釈
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 55 / 64
適応スケールビリーフ
BG:適応スケールビリーフ事前ビリーフのガウス信号表現
βn,m(χq) = χq
[(xm −
12χq
)ωn,m + κn,m
], ωn,m =
N∑i=1, i,n
2|hi,m|2ψi,m
(69)
瞬時通信路状態に応じたスケーリング
β′n,m(χq) =a
c2ωn,m· βn,m(χq)(70)
c =√
Es/10 (16QAM)
パラメータ aの更新
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 56 / 64
シミュレーション諸元
Parameter ValuesMIMO antenna configuration (M,N) = ( 16, 32 )
Modulation Gray-coded X-QAM(X = 16, 64, 256)
Channel code Not utilizedNum. of GaBP iterations 32
Channel model Quasi-Static Rayleigh ChannelChannel estimation PerfectScaling parameter a Optimized at BER = 10−6
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 57 / 64
ビット誤り率特性
シンボル尤度 GaBP (ASB適用なし) :外れ値に起因してエラーフロアが発生
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 58 / 64
ビット誤り率特性
シンボル尤度 GaBP (ASB適用)
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 59 / 64
ビット誤り率特性
シンボル尤度 GaBP (ASB適用) + tanhに基づくソフトシンボル近似生成関数
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 60 / 64
まとめ: AMPとどこが違う? (1)
AMPの更新式
xt+1 = ηt
(xt + HHut
)(71)
ut = y − Hxt +1ρ⟨η′t−1
(HHut−1 + xt−1
)⟩ut−1 (72)
ただし, ここでの通信路係数は hn,m ∼ CN(0, 1/N)また,初期値 x0 = 0, u−1 = 0
圧縮率 ρ = N/Mηt(·): 判定関数xt ∈ CM: xの仮判定値ut ∈ CM:干渉残留成分
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 61 / 64
まとめ: AMPとどこが違う? (2)
例えば,Onsager項を無視すると
xt+1 = ηt
(xt + HHut
)(73)
ut = y − Hxt (74)
式変形
xt+1 = ηt
(xt + HH (
y − Hxt))= ηt
(xt + HHy − HHHxt
)= ηt
(HHy −
(HHH − IM
)xt)
(75)
なんとなく,外部ビリーフではなく事後ビリーフを事前ビリーフとしている GaBPに見える?当然,性能は悪い.S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 62 / 64
まとめ: AMPとどこが違う? (2)
例えば,大システム極限が成立しない状況(中規模)Onsager項は何らかのダンピングに見える?
xt+1 = ηt
(xt + HHut
)(76)
ut = y − Hxt + atut−1 (77)
AMPと GaBPの直感的な違いAMPの Onsager項の役割を,GaBPでは外部ビリーフ生成とダンピングが担っている
一般的な AMPでは繰り返し毎に 1つのベクトルを返すのに対し,GaBPでは各受信アンテナに異なるビリーフを与える(ノード選択法の適用が可能)
ASB-GaBPは判定関数を繰り返しの度に更新
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 63 / 64
まとめ
1 信号モデル
2 信号検出
3 LLR-GaBP
4 MF-GaBP
5 適応スケールビリーフ
6 多値変調
*5 T.Takahashi, S. Ibi, S. Sampei "Design of Criterion for AdaptivelyScaled Belief in Iterative Large MIMO Detection," IEICE Trans onCommun., Vol.E102-B,No.2, Feb. 2019.*6 T.Takahashi, S. Ibi, S. Sampei "Design of Adaptively Scaled Belief inMulti-Dimensional Signal Detection for Higher-Order Modulation," IEEETransactions on Communications (Early Access).
S.IBI (Osaka Univ.) GaBP 2018年 12月 19日 64 / 64