Factor Graph
Factor Graph
A factor graph is a bipartite graph representing the factorization of a function. In probability theory and its
applications, factor graphs are used to represent factorization of a probability distribution function, enabling
efficient computations, such as the computation of marginal distributions through the sum-product
algorithm. One of the important success stories of factor graphs and the sum-product algorithm is the
decoding of capacity-approaching error-correcting codes, such as LDPC and turbo codes.
Factor graphs generalize constraint graphs. A factor whose value is either 0 or 1 is called a constraint. A
constraint graph is a factor graph where all factors are constraints. The max-product algorithm for factor
graphs can be viewed as a generalization of the arc-consistency algorithm for constraint processing.
Definition
A factor graph is a bipartite graph representing the factorization of a function. Given a factorization of a
function ,
Factor graphs can be combined with message passing algorithms to efficiently compute certain
characteristics of the function , such as the marginal distributions.
Examples
Consider a function that factorizes as follows:
,
with a corresponding factor graph shown on the right. Observe that the factor graph has a cycle. If we
merge into a single factor, the resulting factor graph will be a tree. This is an
important distinction, as message passing algorithms are usually exact for trees, but only approximate for
graphs with cycles.
where the notation means that the summation goes over all the variables, except . The messages of
the sum-product algorithm are conceptually computed in the vertices and passed along the edges. A
message from or to a variable vertex is always a function of that particular variable. For instance, when a
variable is binary, the messages over the edges incident to the corresponding vertex can be represented as
vectors of length 2: the first entry is the message evaluated in 0, the second entry is the message evaluated
in 1. When a variable belongs to the field of real numbers, messages can be arbitrary functions, and special
care needs to be taken in their representation.
The Hammersley–Clifford theorem shows that other probabilistic models such as Bayesian networks and
Markov networks can be represented as factor graphs; the latter representation is frequently used when
performing inference over such networks using belief propagation. On the other hand, Bayesian networks
are more naturally suited for generative models, as they can directly represent the causalities of the model.
See also
Belief propagation
Bayesian inference
Bayesian programming
Conditional probability
Markov network
Bayesian network
Hammersley–Clifford theorem
External links
Loeliger, Hans-Andrea (January 2004), "An Introduction to Factor Graphs]" (http://www.isiwe
b.ee.ethz.ch/papers/arch/aloe-2004-spmagffg.pdf) (PDF), IEEE Signal Processing
Magazine, 21 (1): 28–41, Bibcode:2004ISPM...21...28L (https://ui.adsabs.harvard.edu/abs/20
04ISPM...21...28L), doi:10.1109/MSP.2004.1267047 (https://doi.org/10.1109%2FMSP.2004.
1267047), S2CID 7722934 (https://api.semanticscholar.org/CorpusID:7722934)
dimple (http://dimple.probprog.org/) an open-source tool for building and solving factor
graphs in MATLAB.
Loeliger, Hans-Andrea (2008), An introduction to Factor Graphs (http://people.binf.ku.dk/~tha
melry/MLSB08/hal.pdf) (PDF)
References
Clifford (1990), "Markov random fields in statistics", in Grimmett, G.R.; Welsh, D.J.A. (eds.),
Disorder in Physical Systems, J.M. Hammersley Festschrift (http://www.statslab.cam.ac.uk/~
grg/books/hammfest/3-pdc.ps) (postscript), Oxford University Press, pp. 19–32,
ISBN 9780198532156
Frey, Brendan J. (2003), "Extending Factor Graphs so as to Unify Directed and Undirected
Graphical Models" (https://dl.acm.org/doi/abs/10.5555/2100584.2100615), in Jain, Nitin
(ed.), UAI'03, Proceedings of the 19th Conference in Uncertainty in Artificial Intelligence,
Morgan Kaufmann, pp. 257–264, arXiv:1212.2486 (https://arxiv.org/abs/1212.2486),
ISBN 0127056645
Kschischang, Frank R.; Frey, Brendan J.; Loeliger, Hans-Andrea (2001), "Factor Graphs and
the Sum-Product Algorithm", IEEE Transactions on Information Theory, 47 (2): 498–519,
CiteSeerX 10.1.1.54.1570 (https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.15
70), doi:10.1109/18.910572 (https://doi.org/10.1109%2F18.910572).
Wymeersch, Henk (2007), Iterative Receiver Design (http://www.cambridge.org/us/catalogu
e/catalogue.asp?isbn=9780521873154), Cambridge University Press, ISBN 978-0-521-
87315-4