1: \begin{abstract}

2: A popular approach to the MAP inference problem in graphical models is to minimize an upper bound obtained from a dual linear programming or Lagrangian relaxation by (block-)coordinate descent.

3: Examples of such algorithms are max-sum diffusion and sequential tree-reweighted message passing.

4: Convergence properties of these methods are currently not fully understood.

5: They have been proved to converge to the set characterized by local consistency of active constraints, with unknown convergence rate; however, it was not clear if the iterates converge at all (to any single point). We prove a stronger result (which was conjectured before but never proved): the iterates converge to  a fixed point of the algorithm.

6: Moreover, we show that they achieve precision $\varepsilon>0$ in $\mathcal{O}(1/\varepsilon)$ iterations.

7: % \vv{En route to the main result,} we introduce a technique proving convergence of the minimization of maxima of affine functions by coordinate descent under a weak assumption and show that some popular coordinate descent algorithms are special cases of this problem which allowed us to resolve a long standing open problem conjectured e.g., in~\cite{Werner-PAMI07}

8: We first prove this for a version of coordinate descent applied to a general piecewise-affine convex objective, using a novel proof technique. 

9: Then we demonstrate the generality of this approach by reducing some popular coordinate-descent algorithms to this problem.

10: Finally we show that, in contrast to our main result, a similar version of coordinate descent applied to a constrained optimization problem need not converge.

11: \end{abstract}

12: