370 likes | 535 Views
Total Variation and related Methods Numerical Schemes. Numerical schemes . Usual starting point are variational formulation or optimality condition Which formulation to be used: Primal ? Dual ? Primal-Dual ? We aim to give a unified perspective on all such methods. General setup .
E N D
Total Variation Numerical schemes • Usual starting point are variational formulation or optimality condition • Which formulation to be used: • Primal ? • Dual ? • Primal-Dual ? • We aim to give a unified perspective on all such methods
Total Variation General setup • Consider Variational Problem
Total Variation General Setup • Particular form of K
Total Variation General Setup • Introduce „gradient“ variable and constraint
Total Variation General Setup • Minimization problem
Total Variation General Setup • Optimality
Total Variation General Setup • Form of F
Total Variation Linear Analogue • F quadratic
Total Variation Iterative Schemes for Solution of TV Problems • Mainly three classes of iterative schemes: • Fixed point methods • Thresholding methods • Newton Methods
Total Variation 1. Fixed point methods • Solve first and third equation exactly in each step • (possibly with preconditioning for A*A ) • Do fixed-point iteration for w instead of second equation
Total Variation 1. Fixed point methods • Rewrite subgradient relation in some form • Eliminating v
Total Variation 1. Fixed point methods • Matrix form
Total Variation 2. Thesholding methods • Solve first equation exactly in each step • (possibly with preconditioning for A*A ) • Do fixed-point iteration for v instead of second equation • Possibly add a damping term in w for the last equation
Total Variation 2. Thesholding methods • C is damping matrix, possible perturbation • T is thresholding operator
Total Variation 2. Newton type methods • Approximate F in a reasonably smooth way and perform (inexact) • Newton iteration • Linearized coupled system solved in each iteration step
Total Variation 2. Newton type methods • For consistency (superlinear convergence)
Total Variation 2. Newton type methods • Matrix form
Total Variation Singular case • Our case has the same structure except the nonlinearity and multi-valuedness in the second equation • Several numerical approaches and distinctions can be understood by approximating the pointwise relation
Total Variation Primal Approximation • Simple approach: approximate F by smooth functionEquation q equals derivative of this smooth function • Example for Euclidean norm:
Total Variation Primal Approximation • General approach to obtain a differentiable approximation with Lipschitz gradient is Moreau-Yosida regularization • Example for Euclidean norm: Huber norm
Total Variation Fixed point form • Alternative without approximation
Total Variation Fixed point form • Leads to shrinkage
Total Variation Fixed point form • Equivalent fixed point relation
Total Variation SOCP / LP formulations • Roughly introduce new variable f and inequalitySubgradients characterized by minimization ofNote: we want to minimize f + something, hence optimal solution will always satisfies
Total Variation SOCP / LP formulations • Example: usual total variation, F equals Euclidean normConstraint is a quadratic (second-order cone) condition
Total Variation SOCP / LP formulations • Example: anisotropic TVAnalogous introduction, now many f yields even LP
Total Variation SOCP / LP formulations: Interior Points • Interior point methods further approximate the constrained problemvia an unconstrained problem with additional barrier term • ( - log of the constraint) enforcing that the solution is in the interior of the constraint set • This can be rewritten as using a smoothed version of F
Total Variation Dual Approaches • Alternative interpretation of subgradient relation
Total Variation Dual approaches • Primal and bidual are the same under suitable conditions
Total Variation Dual Approximation • Penalty Methods
Total Variation Dual Approximation • Barrier methods
Total Variation Dual Fixed Point • Construct fixed-point form
Total Variation Dual Fixed Point • Adding constants we see that q minimizes
Total Variation Dual Fixed Point for Primal Relation • Consider primal relation in special case
Total Variation Dual Fixed Point for Primal Relation • Fixed point equation