Belief propagation (BP) was only supposed to work for treelike networks but works surprisingly well in many applications involving networks with loops, including turbo codes. However, there has been little understanding of the algorithm or the nature of the solutions it finds for general graphs.
We show that BP can only converge to a stationary point of an approximate free energy, known as the Bethe free energy in statistical physics. This result characterizes BP fixed-points and makes connections with variational approaches to approximate inference.
More importantly, our analysis lets us build on the progress made in statistical physics since Bethe's approximation was introduced in 1935. Kikuchi and others have shown how to construct more accurate free energy approximations, of which Bethe's approximation is the simplest. Exploiting the insights from our analysis, we derive generalized belief propagation (GBP) versions of these Kikuchi approximations. These new message passing algorithms can be significantly more accurate than ordinary BP, at an adjustable increase in complexity. We illustrate such a new GBP algorithm on a grid Markov network and show that it gives much more accurate marginal probabilities than those found using ordinary BP.
[1]
Judea Pearl,et al.
Probabilistic reasoning in intelligent systems - networks of plausible inference
,
1991,
Morgan Kaufmann series in representation and reasoning.
[2]
Jung-Fu Cheng,et al.
Turbo Decoding as an Instance of Pearl's "Belief Propagation" Algorithm
,
1998,
IEEE J. Sel. Areas Commun..
[3]
Brendan J. Frey,et al.
Graphical Models for Machine Learning and Digital Communication
,
1998
.
[4]
Yoshiyuki Kabashima,et al.
Belief propagation vs. TAP for decoding corrupted messages
,
1998
.
[5]
Michael I. Jordan,et al.
Loopy Belief Propagation for Approximate Inference: An Empirical Study
,
1999,
UAI.
[6]
William T. Freeman,et al.
Learning low-level vision
,
1999,
Proceedings of the Seventh IEEE International Conference on Computer Vision.
[7]
Thomas J. Richardson,et al.
The geometry of turbo-decoding dynamics
,
2000,
IEEE Trans. Inf. Theory.