FunctionalProduct.proximal

property FunctionalProduct.proximal

Proximal factory of the functional.

Notes

The proximal operator of a function f is an operator defined as

prox_{\sigma f}(x) = \sup_{y} \left\{ f(y) -
\frac{1}{2\sigma} \| y-x \|_2^2 \right\}.

Proximal operators are often used in different optimization algorithms, especially when designed to handle nonsmooth functionals.

A proximal factory is a function that, when called with a step length \sigma, returns the corresponding proximal operator.

The nonsmooth solvers that make use of proximal operators to solve a given optimization problem take a proximal factory as input, i.e., a function returning a proximal operator. See for example forward_backward_pd.

In general, the step length \sigma is expected to be a positive float, but certain functionals might accept more types of objects as a stepsize:

  • If a functional is a SeparableSum, then, instead of a positive float, one may call the proximal factory with a list of positive floats, and the stepsize are applied to each component individually.

  • For certain special functionals like L1Norm and L2NormSquared, which are not implemented as a SeparableSum, the proximal factory will accept an argument which is element-like regarding the domain of the functional. Its components must be strictly positive floats.

A stepsize like (\sigma_1, \ldots, \sigma_n) coincides with a matrix-valued distance according to Section XV.4 of [HL1993] and the rule

M = \mathrm{diag}(\sigma_1^{-1}, \ldots, \sigma_n^{-1})

or the Bregman-proximal according to [E1993] and the rule

h(x) = \langle x, M x \rangle.

References

[HL1993] Hiriart-Urruty J-B, and Lemaréchal C. Convex analysis and minimization algorithms II. Advanced theory and bundle methods. Springer, 1993.

[E1993] Eckstein J. Nonlinear proximal point algorithms using Bregman functions, with applications to convex programming. Mathematics of Operations Research, 18.1 (1993), pp 202–226.