Semidefinite Implementations of the Proximal Point Algorithm and Consequences for Progressive Decoupling in Optimization

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