470 likes | 585 Vues
Explore the utilization of factor graphs in modeling signals, covering Gaussian message passing, auxiliary variables, marginal computation, message passing rules, Gaussian message types, linear state space models, and message computation beyond sum-product rules.
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