[論文レビュー] Discontinuities of the minimizers of the weighted or anisotropic total variation for image reconstruction

Khalid Jalalzai|arXiv (Cornell University)|Jan 31, 2014

Numerical methods in inverse problems参考文献 28被引用数 8

ひとこと要約

本稿は、画像のノイズ除去のための重み付きおよび異方的全 variation モデルにおける最小化解の滑らかさと不連続構造を調査する。滑らかな異方的全 variation は既存の不連続性を保存する（先行研究の拡張）が、Lipschitz 継続的重み関数は元の画像に存在しなかった新たな不連続性を生じさせ、跳躍高さが低下するという直感に反する現象を示している。この現象は最小面積理論および数値シミュレーションにより確認された。

ABSTRACT

The study of the regularity of the minimizer of the weighted anisotropic total variation with a general fidelity term is at the heart of this paper. We generalized some recent results on the inclusion of the discontinuities of the minimizer of the image denoising problem. In particular, we proved that for well-chosen weights and anisotropies, it is actually possible to create discontinuities that were not contained in the original image. We also observed a reduced jump property at the discontinuities of the minimizer. To prove these results we used some regularity theorems for minimal surfaces that we had to adapt to our setting. We also illustrated our theoretical results with several numerical simulations.

研究の動機と目的

• 全 variation ノイズ除去における不連続性保存に関する先行研究を、重み付きおよび異方的エネルギーへ一般化すること。
• 最小化プロセスによって、元の画像に不連続性が存在しなくても、新たな不連続性が生成されるかどうかを調査すること。特に非滑らかな重み関数下での挙動を対象とする。
• 最小化過程における不連続点におけるジャンプ高さの挙動を分析すること、特に対照度の直感に反する低下現象に注目する。
• 非一様的で、異方的かつ重み付き全 variation の設定へ、coarea 公式および最小面積の正則性技法を拡張すること。
• 正則化パrameter に関する不連続性および階段状効果の進化を理解する理論的基盤を確立すること。

提案手法

• 最小面積理論からの正則性定理を、重み付きおよび異方的全 variation 関数への文脈へ適応する。
• 最小化解の等高線を分析し、等高線同士の接触によって不連続性の生成を検出するため、coarea 公式を用いる。
• 楕円型 PDE の正則性結果および幾何学的測度論の道具を用いて、不連続性集合の構造を研究する。
• Φ(x,Du) と Ψ(x,u(x)) の積分を最小化する変分的定式化を採用する。ここで Φ は滑らかで楕円型、Ψ は厳密に凸かつ強制的である。
• Lipschitz 連続重み関数 w(x) の下で、最小化解が元のデータ g に存在しなかった不連続性を示す可能性があることを証明する。
• Euler-Lagrange 条件および ∞-ノルム推定を用いて、異なる正則化パrameter λ と μ の下での最小化解を比較する。

実験結果

リサーチクエスチョン

• RQ1 元の画像に不連続性が存在しなくても、重み付き異方的全 variation 機能の最小化によって不連続性が生成されることがあるか？
• RQ2 重み付き TV 正則化下でノイズ除去プロセス中に不連続点におけるジャンプ高さ（コントラスト）は増加するか、減少するか？
• RQ3 最小化解の不連続性集合は、正則化パrameter λ に関して単調に減少するか？
• RQ4 coarea 公式および最小面積理論は、非一様的で、異方的かつ重み付き全 variation モデルにおいて、不連続性の包含を証明するために効果的に適応可能か？
• RQ5 一般の重み付き異方的全 variation 設定下での等高線および不連続性集合の正則性はいかなるものか？

主な発見

• 滑らかな楕円型異方性および一般の適合項を想定した場合、最小化解の不連続性は元の画像の不連続性に含まれる。これは Chambolle 他らの結果の一般化である。
• 重み関数 w(x) が僅かに Lipschitz 連続である場合、元の画像 g に存在しなかった新たな不連続性が生成される可能性がある。
• 最小化過程において不連続点におけるジャンプ高さが低下する。これは特に高周波数成分が強い領域で顕著な直感に反する結果である。
• ジャンプサイズが ε を超過する不連続性集合は、正則化パrameter λ の増加とともに単調減少列を形成する。
• 異なる λ 値における最小化解の差の ∞-ノルムは有界であるため、∞-ノルム推定を用いて不連続性集合を比較可能である。
• 重み付きケースにおける等高線の正則性は、電流理論に依存せずに、簡略化されたアプローチにより直接的に証明可能である。