Structural EM: Convergence Properties
Theorem: The SEM procedure converges in score:
Theorem: Convergence point is a local maxima:
If Gn = G infinitely often, then, ?G, the limit of the parameters in the subsequence with structure G, is a stationary point in the parameter space of G.