Randomly initialized EM algorithm for two-component Gaussian mixture achieves near optimality in O(√n) iterations

We analyze the classical EM algorithm for parameter estimation in the symmetric two-component Gaussian mixtures in d dimensions. We show that, even in the absence of any separation between components, provided that the sample size satisfies n=Omega(d log3 d), the randomly initialized EM algorithm converges to an estimate in at most O(√n) iterations with high probability, which is at most O((fracd log3 nn)1/4) in Euclidean distance from the true parameter and within logarithmic factors of the minimax rate of (fracdn)1/4. Both the nonparametric statistical rate and the sublinear convergence rate are direct consequences of the zero Fisher information in the worst case. Refined pointwise guarantees beyond worst-case analysis and convergence to the MLE are also shown under mild conditions. This improves the previous result of Balakrishnan et al citeBWY17 which requires strong conditions on both the separation of the components and the quality of the initialization, and that of Daskalakis et al citeDTZ17 which requires sample splitting and restarting the EM iteration.