470 likes | 574 Views
The Factor Graph Approach to Model-Based Signal Processing. Hans-Andrea Loeliger. Outline. Introduction Factor graphs Gaussian message passing in linear models Beyond Gaussians Conclusion. Outline. Introduction Factor graphs Gaussian message passing in linear models Beyond Gaussians
E N D
The Factor Graph Approach to Model-Based Signal Processing Hans-Andrea Loeliger
Outline • Introduction • Factor graphs • Gaussian message passing in linear models • Beyond Gaussians • Conclusion
Outline • Introduction • Factor graphs • Gaussian message passing in linear models • Beyond Gaussians • Conclusion
Introduction • Engineers like graphical notation • It allow to compose a wealth of nontrivial algorithms from tabulated “local” computational primitive
Outline • Introduction • Factor graphs • Gaussian message passing in linear models • Beyond Gaussians • Conclusion
Factor Graphs • A factor graph represents the factorization of a function of several variables • Using Forney-style factor graphs
Factor Graphscont’d • Example:
Factor Graphscont’d • Forney-style factor graph (FFG); (b) factor graph as in [3]; • (c) Bayesian network; (d) Markov random field (MRF)
Factor Graphscont’d • Advantages of FFGs: • suited for hierarchical modeling • compatible with standard block diagram • simplest formulation of the summary-product message update rule • natural setting for Forney’s result on FT and duality
Auxiliary Variables • Let Y1 and Y2 be two independent observations of X:
Modularity and Special Symbols • Let and with Z1, Z2 and X independent • The “+”-nodes represent the factors and
Outline • Introduction • Factor graphs • Gaussian message passing in linear models • Beyond Gaussians • Conclusion
Computing Marginals • Assume we wish to compute • For example, assume that can be written as
Sum-Product Rule • The message out of some node/factor along some edge is formed as the product of and all incoming messages along all edges except , summed over all involved variables except
Arrows and Notation for Messages • denotes the message in the direction of the arrow • denotes the message in the opposite direction
Max-Product Rule • The message out of some node/factor along some edge is formed as the product of and all incoming messages along all edges except , maximized over all involved variables except
Scalar Gaussian Message • Message of the form: • Arrow notation: / is parameterized by mean / and variance /
Vector Gaussian Messages • Message of the form: • Message is parameterized • either by mean vector m and covariance matrix V=W-1 • or by W and Wm
Vector Gaussian Messagescont’d • Arrow notation: is parameterized by and or by and • Marginal: is the Gaussian with mean and covariance matrix
General Linear State Space Model Cont’d • If is nonsingular and -forward and -backward • If is singular and -forward and -backward
General Linear State Space Model Cont’d • By combining the forward version with backward version, we can get
Outline • Introduction • Factor graphs • Gaussian message passing in linear models • Beyond Gaussians • Conclusion
Message Types • A key issue with all message passing algorithms is the representation of messages for continuous variables • The following message types are widely applicable • Quantization of continuous variables • Function value and gradient • List of samples
Message Typescont’d • All these message types, and many different message computation rules, can coexist in large system models • SD and EM are two example of message computation rules beyond the sum-product and max-product rules
Steep Descent as Message Passing • Suppose we wish to find
Steep Descent as Message Passing Cont’d • Steepest descent: where s is a positive step-size parameter
Steep Descent as Message Passing Cont’d • Gradient messages:
Outline • Introduction • Factor graphs • Gaussian message passing in linear models • Beyond Gaussians • Conclusion
Conclusion • The factor graph approach to signal processing involves the following steps: • Choose a factor graph to represent the system model • Choose the message types and suitable message computation rules • Choose a message update schedules
Reference [1] H.-A. Loeliger, et al., “The factor graph approach to model-based signal processing” [2] H.-A. Loeliger, “An introduction to factor graphs,” IEEE Signal Proc. Mag., Jan. 2004, pp.28-41 [3] F.R. Kschischang, B.J. Fery, and H.-A. Loeliger, “Factor graphs and the sum-product algorithm,” IEEE Trans. Inform. Theory, vol. 47, pp.498-519