[論文レビュー] Fundamental Limits of Blind Deconvolution Part I: Ambiguity Kernel

Sunav Choudhary, Urbashi Mitra|arXiv (Cornell University)|Nov 14, 2014

Blind Source Separation Techniques参考文献 19被引用数 16

ひとこと要約

この論文は、持ち上げられた線形畝込み演算子のランク2のゼロ空間を測度論的にタイトで、部分的にパrametricで再帰的に構造化された曖昧性カーネルとして特徴付けることにより、ブラインド畝込みの根本的限界を確立する。非制約空間におけるほとんどすべての信号ペアが同定不能であることを証明し、スパarsity制約がなくてもブラインド畝込みは本質的に不適切に定式化されている強い否定的結果を明らかにする。同定不能な解は次元 m+n の高次元集合を形成する。

ABSTRACT

Blind deconvolution is an ubiquitous non-linear inverse problem in applications like wireless communications and image processing. This problem is generally ill-posed, and there have been efforts to use sparse models for regularizing blind deconvolution to promote signal identifiability. Part I of this two-part paper characterizes the ambiguity space of blind deconvolution and shows unidentifiability of this inverse problem for almost every pair of unconstrained input signals. The approach involves lifting the deconvolution problem to a rank one matrix recovery problem and analyzing the rank two null space of the resultant linear operator. A measure theoretically tight (parametric and recursive) representation of the key rank two null space is stated and proved. This representation is a novel foundational result for signal and code design strategies promoting identifiability under convolutive observation models. Part II of this paper analyzes the identifiability of sparsity constrained blind deconvolution and establishes surprisingly strong negative results on scaling laws for the sparsity-ambiguity trade-off.

研究の動機と目的

• ブラインド畝込みの曖昧性空間を数学的に厳密かつ測度論的にタイトに特徴付けること。
• 非制約空間におけるほとんどすべての信号ペアに対して、スパarsity制約がなくてもブラインド畝込みが同定不能であることを示すこと。
• 双線形畝込み観測モデル下での同定可能な信号およびコードを設計するための基礎的枠組みを提供すること。
• 標準的なスパarsity制約が、ブラインド畝込みにおける本質的同定不能性を克服するには不十分であることを確立すること。
• ランダム化プリコーディングや非標準的スパarsityを用いたシステム再設計を通じて同定性を達成する動機を与えること。

提案手法

• 双線形演算子変換を用いてブラインド畝込み問題をランク1行列回復問題に持ち上げる。
• 持ち上げられた領域における線形畝込み写像のランク2ゼロ空間を分析し、曖昧性を特徴付ける。
• 測度論的にタイトな、部分的にパrametricで再帰的に構造化されたゼロ空間の新規表現を構築する。
• 回転型曖昧性を示す構成的数値例を用いて、同定不能な信号ペアを生成する双線形関数の性質を提示する。
• ルベーグ測度論を適用し、同定不能ペアが信号空間 R^m × R^n において次元 m+n の集合を形成することを示す。
• 一般の双線形問題とは異なり、線形畝込みの代数的単純性に依拠することで、ゼロ空間の明示的パラメータ化が可能になる。

実験結果

リサーチクエスチョン

• RQ1 ブラインド畝込みにおける曖昧性カーネルの正確な構造は何か？ その次元はどの程度か？
• RQ2 制約を課さない状況下で、ほとんどすべての信号ペアに対してブラインド畝込みが一意に同定可能か？
• RQ3 なぜ標準的なスパarsity事前分布は、標準的スパarsityモデル下でもブラインド畝込みの同定性を保証できないのか？
• RQ4 同定不能性の結果は実数体上でも安定しており、代数的閉包の仮定なしに成り立つか？
• RQ5 曖昧性カーネルを完全に特徴付けることで、非ランダム化コード設計による同定性を可能にすることができるか？

主な発見

• ブラインド畝込みの曖昧性カーネルには、ルベーグ測度の下でほとんど至る所で同定不能な次元 m+n の集合が含まれる。
• 同定不能性は、モデル次数やスパarsityの結果ではなく、線形畝込み演算子固有のものであり、m,n ≥ 5 に対しても成立する。
• 構成的例により、2つの線形独立な信号ペアが同一の畝込みを生成できることを示し、非一意性を証明する。
• 本論文は、畝込み演算子のランク2ゼロ空間のパラメータ化および再帰的表現を確立し、新規な解析的ツールを提供する。
• 本研究の同定不能性結果は、先行研究を上回る強さを持つ：一般性や制限的仮定の下での成立ではなく、ほとんど至る所で成立する。
• 曖昧性カーネルの次元が正確に m+n であることが示され、高次元信号空間において問題が根本的に不適切に定式化されていることが示される。