Convergence of the EM algorithm via proximal techniques

Abstract

The EM algorithm assures monotone decrease of the incomplete data negative log-likelihood [30], but convergence of the iterates may fail in various ways [78]. Without coercivity iterates may escape to infinity while values converge. Even when iterates stay bounded, they may still fail to converge, cycle [76], or generate a continuum of accumulation points. Convergence analysis is further complicated when iterates tend to the boundary of the natural parameter domain, where the likelihood is typically not well-behaved.