Global and Exact Integer-Valued Image Approximation

Post date: Dec 12, 2010 5:20:59 AM

By the pioneering work of Nikolova, Esedoglu and Chan, TV-L1 based image approximation leads to the exact and global optimal image u(x) in {0,1} when the input image f(x) is binary, e.g. f(x) in {0,1}. In this work, we extend the Nikolova et al's elegant result both in theory and numerics. We show that when the input image f(x) is integer valued, i.e. f(x) in {l1, ..., ln} which just properly models the most common case of gray-scale images, TV-L1 image approximation also leads to the global and exact optimum u*(x) in {l1, ..., ln}. This means one can always find the exactly and globally optimal image u(x) which takes values in the same value set.

To achieve this nice result, we fist propose the equivalent dual model of TV-L1. With helps of the coarea theorem of the total-variation function, the result can be derived. In addition, the dual model of TV-L1 can naturally lead to a fast numerical algorithm based on the standard multiplier method. Potential applications can be found in image denoising and image segmentation.

Related works: