89477fe2b0a16fa4.tex
1: \begin{abstract}
2: Belief Propagation algorithms are instruments used broadly to solve graphical model optimization and statistical inference problems. In the general case of a loopy Graphical Model, Belief Propagation is a heuristic which is quite successful in practice, even though its empirical success, typically, lacks theoretical guarantees. This paper extends the short list of special cases where correctness and/or convergence of a Belief Propagation algorithm is proven.
3: 
4: We generalize formulation of Min-Sum Network Flow problem by relaxing the flow conservation (balance) constraints and then proving that the Belief Propagation algorithm converges to the exact result.
5: %Belief Propagation (BP) algorithms are instruments used broadly to solve graphical model optimization and statistical inference problems. In the general case of a loopy Graphical Model (GM) BP is a heuristic which is quite successful in practice, even though its empirical success, typically, lacks theoretical guarantees. This paper extends the short list of special cases where correctness and/or convergence of a BP algorithm is proven.
6: 
7: %We generalize formulation of Min-Sum Network Flow problem, for which convergence and correctness of BP was established in \cite{gamarnik2012belief}, by relaxing the flow conservation (balance) constraints and then proving that the BP algorithm of \cite{gamarnik2012belief} converges to the exact result.
8: 
9: \end{abstract}
10: