半正定値の近接項を使う最適化算法の収束条件

The proximal point algorithm for finding a zero of a maximal monotone mapping is the engine that drives augmented Lagrangian methods and various splitting schemes in convex optimization, where proximal terms that are merely positive semidefinite can be helpful in preconditioning. Here a semidefinite extension of that algorithm is developed with new features which guarantee convergence, typically even linear convergence, in broader territory than previously foreseen. Moreover, inexact minimization is allowed in the subproblems in a variable-metric implementation which might open up quasi-Newton-like approaches. The key to the extension is applying an advanced form of the positive definite proximal point algorithm to a projected monotone mapping derived from the given mapping, and combining that with a completion step. For this to work, the maximality of the projected mapping is essential, but maximality is not automatic. The circumstances that guarantee maximality are definitively analyzed and convenient criteria for maximality are thereby identified. Consequences of the extended algorithm are worked out for application to convex inf-projection, augmented Lagrangian steps, and bracketed progressive decoupling based on Spingarn's partial inverse as a scheme for problem decomposition.