| The max-product algorithm, which attempts to compute the most probable assignment (MAP) of a given probability distribution via a distributed, local message passing scheme, has recently found applications in convex minimization and combinatorial optimization. Unfortunately, the max-product algorithm is not guaranteed to converge and, even if it does, is not guaranteed to produce the MAP assignment. Many alternative message passing schemes have been proposed to overcome these difficulties (e.g. TEMP, MPLP, max-sum diffusion). These algorithms can be viewed as coordinate ascent schemes over different duals of a linear programming formulation of the MAP problem. If these algorithms converge to a unique assignment, then this assignment is guaranteed to be the maximum of the objective function. Although these algorithms provide stronger guarantees than max-product upon convergence, they do not always converge to a unique assignment, and in some instances, the dual optimization problem that results provides a trivial upper bound on the maximizing assignment.;In this work, we provide a systematic study of message passing algorithms for the related problem of minimizing an arbitrary real-valued objective function: from graphical models to reparameterization, reparameterization to lower bounds, and from lower bounds to convergent message passing algorithms. We generalize the known results by providing conditions under which the assignments produced by message passing algorithms can correspond to local and global optima, by providing a combinatorial characterization of when these message passing schemes can actually solve the minimization problem, and by providing a new convergent and correct message passing algorithm, called the splitting algorithm, that contains many of the known convergent message passing algorithms as a special case.;These ideas allow us to expand the usefulness of the splitting algorithm beyond the limits of other message passing algorithms. We show that there are examples of convex minimization problems on which convergent message passing algorithms fail to produce a minimizing assignment but that the splitting algorithm succeeds. We use graph covers and our conditions for local optimality to provide conditions under which the splitting algorithm can be used to solve general convex (as well as submodular) minimization problems. These observations lead us to a generalization of diagonal dominance for arbitrary convex functions. |
