No abstract uploaded!

No abstract uploaded!

In this paper, we analyze the minimization of seminorms ∥L · ∥ on R^n under the constraint of a bounded I-divergence D(b,H·) for rather general linear operators H and L. The I-divergence is also known as Kullback–Leibler divergence and appears in many models in imaging science, in particular when dealing with Poisson data but also in the case of multiplicative Gamma noise. Often H represents, e.g., a linear blur operator and L is some discrete derivative or frame analysis operator. A central part of this paper consists in proving relations between the parameters of I-divergence constrained and penalized problems. To solve the I-divergence constrained problem, we consider various first-order primal–dual algorithms which reduce the problem to the solution of certain proximal minimization problems in each iteration step. One of these proximation problems is an I-divergence constrained least-squares problem which can be solved based on Morozov’s discrepancy principle by a Newton method. We prove that these algorithms produce not only a sequence of vectors which converges to a minimizer of the constrained problem but also a sequence of parameters which converges to a regularization parameter so that the corresponding penalized problem has the same solution. Furthermore, we derive a rule for automatically setting the constraint parameter for data corrupted by multiplicative Gamma noise. The performance of the various algorithms is finally demonstrated for different image restoration tasks both for images corrupted by Poisson noise and multiplicative Gamma noise.

Let M be a compact Riemannian manifold, π : \tilde{M} → M be the universal covering and ω be a smooth 2-form on M with π^∗ω cohomologous to zero. Suppose the fundamental group π_1(M) satisfies certain radial quadratic (resp. linear) isoperimetric inequality, we show that there exists a smooth 1-form η on \tilde{M} of linear (resp. bounded) growth such that π^∗ω = dη. As applications, we prove that on a compact Kahler manifold (M,ω) with π^∗ω cohomologous to zero, if π_1(M) is CAT(0) or automatic (resp. hyperbolic), then M is Kahler non-elliptic (resp. Kahler hyperbolic) and the Euler characteristic (−1)^{dim_RM/2χ(M) ≥ 0 (resp. >0).

On a K-unstable toric variety we show the existence of an optimal destabilising convex function. We show that if this is piecewise linear then it gives rise to a decomposition into semistable pieces analogous to the Harder-Narasimhan filtration of an unstable vector bundle. We also show that if the Calabi flow exists for all time on a toric variety then it minimizes the Calabi functional. In this case the infimum of the Calabi functional is given by the supremum of the normalized Futaki invariants over all destabilising test-configurations, as predicted by a conjecture of Donaldson.