Faktorgraphen und Message Passing

Faktorgraphen und Message Passing

Faktorgraphen

Regeln

allg_sys-Faktorgraph.drawio (1)

Beispiel

allg_sys-Faktorgraph_Bsp.drawio

Message Passing

Definiere Nachricht an einer Kante

allg_sys-Nachricht.drawio (1)

Schnitt zur Aufteilung eines Systems in 2 Teile

allg_sys-System_Schnitt.drawio (1)

Betrachtung von Block mit einem Eingang und einem Ausgang

allg_sys-Block.drawio (2)

Gegeben: RxR_x und LyL_y

Ry(y)=∫f(y∣x)β‹…Rx(x)dxLx(x)=∫f(y∣x)β‹…Ly(y)dy \begin{aligned} &R_{y}(y)=\int f(y \mid x) \cdot R_{x}(x) d x \\ &L_{x}(x)=\int f(y \mid x) \cdot L_{y}(y) d y \end{aligned}

Speizialfall: Lineares System

y=Hxβ‡’f(y∣x)=Ξ΄(yβˆ’Hx) \begin{aligned} y &= Hx\\ \Rightarrow f(y \mid x) &= \delta(y - Hx) \end{aligned} Ry(y)=∫δ(yβˆ’Hx)Rx(x)dx∣g(x):=yβˆ’Hx,gβ€²(x)=βˆ’H,x1=yH=∫1∣H∣δ(xβˆ’yH)Rx(x)dx=1∣H∣Rx(yH) \begin{aligned} R_y(y) &= \int \delta(y-Hx) R_x(x) dx \quad \mid g(x):=y-Hx, g^\prime(x) = -H, x_1 = \frac{y}{H}\\ &= \int \frac{1}{|H|} \delta(x - \frac{y}{H}) R_x(x) dx \\ &= \frac{1}{|H|} R_x(\frac{y}{H}) \end{aligned} Lx(x)=∫f(y∣x)Ly(y)dy=∫δ(yβˆ’Hx)β‹…Ly(y)dy=Ly(Hβ‹…x) \begin{aligned} L_{x}(x) &=\int f(y \mid x) L_{y}(y) d y \\ &=\int \delta(y-H x) \cdot L_{y}(y) d y \\ &=L_{y}(H \cdot x) \end{aligned}

Beispiel

allg_sys-Message_Passing_Bsp.drawio
  • Gegeben: x^β€Ύ4\underline{\hat{x}}_4

  • Gesucht: f(xβ€Ύ2∣x^β€Ύ4)f(\underline{x}_2 \mid \underline{\hat{x}}_4)

  • Ziel: Rekursive Berechnung der Nachrichten

  • Direkt gegeben:

    R1(xβ€Ύ1)=f1(xβ€Ύ1)L3(xβ€Ύ3)=f(x^β€Ύ4∣xβ€Ύ3) R_{1}\left(\underline{x}_{1}\right)=f_{1}\left(\underline{x}_{1}\right) \quad L_{3}\left(\underline{x}_{3}\right)=f\left(\underline{\hat{x}}_{4} \mid \underline{x}_{3}\right)
  • BenΓΆtigt: L2(xβ€Ύ2)L_2(\underline{x}_2) und R2(xβ€Ύ2)R_2(\underline{x}_2)

    R2(xβ€Ύ2)=∫f(xβ€Ύ2∣xβ€Ύ1)R1(xβ€Ύ1)dxβ€Ύ1L2(xβ€Ύ2)=∫f(xβ€Ύ3∣xβ€Ύ2)L3(xβ€Ύ3)dxβ€Ύ3 \begin{aligned} &R_{2}\left(\underline{x}_{2}\right)=\int f\left(\underline{x}_{2} \mid \underline{x}_{1}\right) R_{1}\left(\underline{x}_{1}\right) d \underline{x}_{1} \\ &L_{2}\left(\underline{x}_{2}\right)=\int f\left(\underline{x}_{3} \mid \underline{x}_{2}\right) L_{3}\left(\underline{x}_{3}\right) d \underline{x}_{3} \end{aligned}

β‡’\Rightarrow Fusionsergebnis:

f(xβ€Ύ2∣x^β€Ύ4)∝L2(xβ€Ύ2)β‹…R2(xβ€Ύ2) f\left(\underline{x}_{2} \mid \underline{\hat{x}}_{4}\right) \propto L_{2}\left(\underline{x}_{2}\right) \cdot R_{2}\left(\underline{x}_{2}\right)