[論文レビュー] Robust Polyhedral Regularization

Jalal Fadili, Gabriel Peyré+1 more|arXiv (Cornell University)|Sep 9, 2013

Sparse and Compressive Sensing Techniques参考文献 7被引用数 4

ひとこと要約

本稿は、ノイズ下での線形逆問題における多面体正則化のロバストな回復の十分条件を確立する。ノイズが有界であるとき、真の解と回復された解が同じ多面体的面にあるように保証する、正則化の単位球の幾何的性質に基づく同定可能性基準を導入する。主な結果は、正則化パラメータを適切に選ぶと、ℓ2回復誤差がノイズレベルに比例することを示しており、ℓ1およびℓ∞型ペナルティに対する既知の結果を一般化する。

ABSTRACT

Publication in the conference proceedings of SampTA, Bremen, Germany, 2013

研究の動機と目的

• 有界ノイズ摂動下での線形逆問題における多面体正則化のロバスト性保証を確立すること。
• ℓ1および分析ℓ1正則化の既存の安定性結果を、任意の多面体ノルムに一般化すること。
• ℓ∞およびℓ1−ℓ∞を含む多様な正則化タイプにおける回復安定性を分析する統一的な枠組みを提供すること。
• 真の信号のH-サポート（面）が回復された解においても保存されることを保証する十分条件を導出すること。
• 提案された基準のもとで、ℓ2回復誤差がノイズレベルに比例することを定量すること。

提案手法

• 多面体ゲージの部分微分に含まれる活性な超平面の集合として、ベクトルのH-サポートを定義する。
• 測定演算子Φが活性な超平面行列H∗_Iの核上で単射であることを保証する制限的単射性条件（CI）を定義する。
• 疑似逆行列と活性部分空間の直交補空間への射影を含む線形計画問題として、同定可能性基準 ICH(I) を提案する。
• ソース条件と部分微分解析を用いて、正則化問題の一次最適性条件を導出する。
• 真の信号x0、ノイズw、射影作用素Γ⊥_Iを用いて、解x⋆の明示的表現を導出する。
• ICH(I) > 0 かつ λ が特定の範囲内に選ばれるとき、解x⋆がx0と同じ面にあることが確立される。

実験結果

リサーチクエスチョン

• RQ1 有界ノイズ下で、多面体正則化は真の信号のH-サポートをどの程度保つのか？
• RQ2 一般の多面体正則化において、ℓ2回復誤差はノイズレベルの関数としてどのように上界を定められるか？
• RQ3 正則化の単位球の幾何的性質は、回復安定性を決定づける役割を果たすか？
• RQ4 ℓ1および分析ℓ1正則化の安定性保証を、ℓ∞やℓ1−ℓ∞などの他の多面体ノルムに一般化できるか？
• RQ5 面の保存を保証する正則化パラメータλの正確な範囲は何か？

主な発見

• 同定可能性基準 ICH(I) > 0 が満たされれば、回復された解x⋆が真の信号x0と同じ多面体的面にあることが十分に保証される。
• ICH(I) > 0 かつ正則化パラメータλが cI||w||2 < λ < T ˜cI を満たすとき、解x⋆は一意的であり、suppH(x⋆) = suppH(x0) を満たす。
• λ をノイズレベルに比例して選ぶと、ℓ2回復誤差 ||x⋆ − x0||2 は O(||w||2) に比例する。
• この基準は、ℓ1および分析ℓ1正則化に対する既知の結果を一般化し、ℓ∞およびℓ1−ℓ∞正則化の特殊ケースとしても適用可能である。
• ノイズなしの場合、ICH(I) > 0 であれば、x0は等式制約付き問題 (P0(y)) の一意解であることが示される。
• 基準 ICH(I) は、疑似逆行列と活性部分空間への射影作用素を含む線形計画問題を用いて計算可能である。