# The meaning of convergence in Variational Inference?

My friend and I are discussing about the convergence of Variational Inference, especial for Expectation Propagation method. After running some loops, the likelihood of my graphical model can be plotted like the below figure (the x axis is the number of iteration and the y axis is the likelihood value). When the likelihood is convergent(after 15 iterations), the distributions of variables in my probabilistic graphical model are also convergent.

My friend says that we can use the value of variable that maximize the likelihood. I do not agree because I think the convergent value should be chosen. If we use the value that maximize the likelihood, why do we need the convergence of inference algorithm? What is the meaning of convergence in Variational Inference? However, I do not have any theory evidence for my opinion.

Would you please give me some hints / proof / paper / book to reject or support my point? • Can you compute the likelihood if convergence has not been achieved? AFAIK at least for ordinary loopy belief propagation the assumptions that are used for calculating the partition function only hold when the model is calibrated/converged. – ziggystar Sep 3 '13 at 14:04
• Hi ziggystar, when the inference is not convergent, Matlab always returns Not-a-number(NaN) for likelihood because the parameters of variable in model are all NaN. I have to tune the parameters to ensure the convergence. In case of not convergence, the likelihood goes to the peak and then fluctuates sometimes before NaN, so my friend says we still can use the value at the peak but I do not agree. – tndoan Sep 3 '13 at 14:24
• See my answer. I don't know how matlab calculates the likelihood. But I suppose the values for non-converged states are no good estimates of the likelihood. – ziggystar Sep 3 '13 at 14:28
• Did you come to any conclusion? – ziggystar Sep 13 '13 at 10:04
• @ziggystar: in Yedidia's paper, at the end of part III, he said that at the fixed point, the believe are in feasible set. So I think we should not focus on the intermediate result, and the convergent value is the final choice. Do you have any comment? – tndoan Sep 16 '13 at 3:07

At least for (loopy) Belief Propagation (BP), the formula used to compute the partition function only holds at the convergence point. Note that in the following I'm talking about BP and the Bethe approximation. But similar things hold for Generalized Belief Propagation (GBP) and the Kikuchi approximation. Expectation Propagation is a special case of GBP (see one of the references).

## Reasoning

Yedidia showed that the stationary points of the Bethe approximation to the free energy are exactly fixed points of the BP algorithm.

The Bethe approximation is a variational approximation to the true free energy of the problem (negative logarithm of the partition function).

I suppose you use exactly this correspondence to calculate your likelihood. The formula is a sum of three terms involving entropies of variables, local entropies of factor nodes and local expectations of factor nodes. If this is the case, then it is unclear how the value you get by applying this formula to a non-converged BP-run relates to the true likelihood.

The following sentence is taken from Yedidia et al.:

Indeed, the marginalization constraints are typically not satisfied at intermediate iterations of BP; it is only at a BP fixed point that the beliefs necessarily obey all the consistency constraints.

This basically means that in general the intermediate (non-converged) states of BP do not correspond to proper beliefs and are thus some kind of garbage. (Note added: those aren't proper beliefs even when converged, see next paragraph).