MM algorithm

The MM algorithm is an iterative optimization method which exploits the convexity of a function in order to find its maxima or minima. The MM stands for “Majorize-Minimization” or “Minorize-Maximization”, depending on whether the desired optimization is a minimization or a maximization. Despite the name, MM itself is not an algorithm, but a description of how to construct an optimization algorithm.

The expectation–maximization algorithm can be treated as a special case of the MM algorithm.^[1]^[2] However, in the EM algorithm conditional expectations are usually involved, while in the MM algorithm convexity and inequalities are the main focus, and it is easier to understand and apply in most cases.^[3]

History

The historical basis for the MM algorithm can be dated back to at least 1970, when Ortega and Rheinboldt were performing studies related to line search methods.^[4] The same concept continued to reappear in different areas in different forms. In 2000, Hunter and Lange put forth "MM" as a general framework.^[5] Recent studies^[who?] have applied the method in a wide range of subject areas, such as mathematics, statistics, machine learning and engineering.^{[citation needed]}

Algorithm

The MM algorithm works by finding a surrogate function that minorizes or majorizes the objective function. Optimizing the surrogate function will either improve the value of the objective function or leave it unchanged.

Taking the minorize-maximization version, let $f(\theta )$ be the objective concave function to be maximized. At the $m$ step of the algorithm, $m=0,1...$ , the constructed function $g(\theta |\theta _{m})$ will be called the minorized version of the objective function (the surrogate function) at $\theta _{m}$ if

g(\theta |\theta _{m})\leq f(\theta ){\text{ for all }}\theta

g(\theta _{m}|\theta _{m})=f(\theta _{m})

Then, maximize $g(\theta |\theta _{m})$ instead of $f(\theta )$ , and let

\theta _{m+1}=\arg \max _{\theta }g(\theta |\theta _{m})

The above iterative method will guarantee that $f(\theta _{m})$ will converge to a local optimum or a saddle point as $m$ goes to infinity.^[6] By the above construction