The second day of ISMP started (for me) with the session I organized and chaired.
The first talk was by Michael Goldman on Continuous Primal-Dual Methods in Image Processing. He considered the continuous Arrow-Hurwitz method for saddle point problems
with convex in the first and concave in the second variable. The continuous Arrow-Hurwitz method consists of solving
His talk evolved around the problem if comes from a functional which contains the total variation, namely he considered
with the additional constraints and . For the case of he presented a nice analysis of the problem including convergence of the method to a solution of the primal problem and some a-posteriori estimates. This reminded me of Showalters method for the regularization of ill-posed problems. The Arrow-Hurwitz method looks like a regularized version of Showalters method and hence, early stopping does not seem to be necessary for regularization. The related paper is Continuous Primal-Dual Methods for Image Processing.
The second talk was given by Elias Helou and was on Incremental Algorithms for Convex Non-Smooth Optimization with Applications in Image Reconstructions. He presented his work on a very general framework for problems of the class
with a convex function and a convex set . Basically, he abstracted the properties of the projected subgradient method. This consists of taking subgradient descent steps for followed by projection onto iteratively: With a subgradient this reads as
he extracted the conditions one needs from the subgradient descent step and from the projection step and formulated an algorithm which consists of successive application of an “optimality operator” (replacing the subgradient step) and a feasibility operator (replacing the projection step). The algorithm then reads as
and he showed convergence under the extracted conditions. The related paper is , Incremental Subgradients for Constrained Convex Optimization: a Unified Framework and New Methods.
The third talk was by Jerome Fehrenbach on Stripes removel in images, apllications in microscopy. He considered the problem of very specific noise which is appear in the form of stripes (and appears, for example, “single plane illumination microscopy”). In fact he considered a little more general case and the model he proposed was as follows: The observed image is
i.e. the usual sum of the true image and noise . However, for the noise he assumed that it is given by
i.e. it is a sum of different convolutions. The are kind of shape-functions which describe the “pattern of the noise” and the are samples of noise processes, following specific distributions (could be white noise realizations, impulsive noise or something else)-. He then formulated a variational method to identify the variables which reads as
Basically, this is the usual variational approach to image denoising, but nor the optimization variable is the noise rather than the image. This is due to the fact that the noise has a specific complicated structure and the usual formulation with is not feasible. He used the primal-dual algorithm by Chambolle and Pock for this problem and showed that the method works well on real world problems.
Another theme which caught my attention here is “optimization with variational inequalities as constraints”. At first glance that sounds pretty awkward. Variational inequalities can be quite complicated things and why on earth would somebody considers these things as side conditions in optimization problems? In fact there are good reasons to do so. One reason is, if you have to deal with bi-level optimization problems. Consider an optimization problem
with convex and (omitting regularity conditions which could be necessary to impose) depending on a parameter . Now consider the case that you want to choose the parameter in an optimal way, i.e. it solves another optimization problem. This could look like
In other words: We con reformulate (2) as