For the IBM-1 model the first term alone results in a convex, but not strictly convex minimization problem 2 .
eM-like iterative methods generally do not reach the minimum: they are doing block coordinate descent (Bertsekas, 1999, chap.