[論文レビュー] Asymptotic Analysis of Complex LASSO via Complex Approximate Message Passing (CAMP)

Arian Maleki, Laura Anitori+2 more|arXiv (Cornell University)|Aug 1, 2011

Sparse and Compressive Sensing Techniques被引用数 15

ひとこと要約

本稿は、圧縮センシングにおける複素数値LASSO問題を解くための複素数近似メッセージパッシング（CAMP）を導入し、状態遷移フレームワークを複素数領域に拡張する。CAMPおよび複素数LASSOの正確な漸近的性能限界（位相遷移とノイズ感受性）を導出する。実数値LASSOと比較して、高比率のアンダーサンプリング領域において、複素数処理を併用することで復元性能が2倍向上することを示す。

ABSTRACT

Recovering a sparse signal from an undersampled set of random linear measurements is the main problem of interest in compressed sensing. In this paper, we consider the case where both the signal and the measurements are complex. We study the popular reconstruction method of $\\ell_1$-regularized least squares or LASSO. While several studies have shown that the LASSO algorithm offers desirable solutions under certain conditions, the precise asymptotic performance of this algorithm in the complex setting is not yet known. In this paper, we extend the approximate message passing (AMP) algorithm to the complex signals and measurements and obtain the complex approximate message passing algorithm (CAMP). We then generalize the state evolution framework recently introduced for the analysis of AMP, to the complex setting. Using the state evolution, we derive accurate formulas for the phase transition and noise sensitivity of both LASSO and CAMP.

研究の動機と目的

• 複素ガウス測定行列を用いた圧縮センシングにおける複素数値LASSOの漸近的性能を分析すること。
• 近似メッセージパッシング（AMP）アルゴリズムを複素数領域に拡張し、複素数近似メッセージパッシング（CAMP）を導出すること。
• 性能予測のため、状態遷移フレームワークを複素数値システムに一般化すること。
• 実部と虚部を別々に処理するのと比較して、同時に処理することによる復元性能の向上を定量すること。
• i.i.d.ガウス測定行列下でのCAMPおよび複素数LASSOの理論的位相遷移およびノイズ感受性の公式を確立すること。

提案手法

• 複素数信号および測定値に対する繰り返し更新と複素数ソフトスレッショングを用いて、複素数版の近似メッセージパッシング（AMP）アルゴリズム、すなわちCAMPを導出する。
• CAMPの漸近的挙動を追跡するため、複素数状態遷移（CSE）フレームワークを導入し、各反復における平均二乗誤差および信号対雑音比をモデル化する。
• 複素数ソフトスレッショングのリスク関数を定義し、その凹型および単調性を証明することで、ミニマックス解析を可能にする。
• 状態遷移フレームワークを用いて、CAMPおよび複素数LASSOの位相遷移とノイズ感受性の閉形式表現を導出する。
• 信号振幅の最小最大リスクを有界化するための最悪の事前分布を特定し、その極限でデルタ関数がリスクを最大にするのを証明する。
• リスク関数が信号位相に依存せず、振幅と雑音分散にのみ依存することを証明し、漸近的解析の簡略化を可能にする。

実験結果

リサーチクエスチョン

• RQ1 複素数値測定および信号を用いた場合、複素数LASSOの漸近的位相遷移挙動はどのように変化するか？
• RQ2 CAMPの性能は、実数値LASSO（r-LASSO）と比較して、スパarsity回復限界においてどのように異なるか？
• RQ3 高次元極限におけるCAMPおよび複素数LASSOのノイズ感受性は何か？
• RQ4 状態遷移フレームワークを複素数値システムに厳密に拡張でき、アルゴリズムの性能を予測できるか？
• RQ5 i.i.d.ガウス測定行列下での複素数LASSOの最小最大リスクは何か？また、信号振幅と雑音にどのように依存するか？

主な発見

• CAMPおよび複素数ベースパーシュート（c-BP）の位相遷移は、実数値LASSO（r-LASSO）の2倍である。これは、同じ条件下でCAMPが2倍のアンダーサンプリング率で信号を復元できることを意味する。
• CAMPのノイズ感受性は解析的に導出され、信号対雑音比とスレッショングパラメータに依存することが示され、状態遷移を用いて閉形式表現が得られた。
• 複素数LASSOの最小最大リスクは有界であり、信号振幅が極めて大きな値に集中するデルタ分布の極限で達成される。これは、極端な振幅が最悪ケース性能を支配することを確認する。
• 複素数ソフトスレッショングのリスク関数は信号位相に依存せず、振幅と雑音分散にのみ依存する。これにより、漸近的解析が簡略化され、位相不変の性能予測が可能になる。
• CAMPの状態遷移フレームワークは厳密に確立され、i.i.d.ガウス測定行列に対して性能を正確に予測できることを示した。シミュレーションにより、より広範な確率的行列集合に対しても有効であることが確認された。
• 理論的結果は、複素数LASSOにおける実部と虚部の同時処理が、特に高比率のアンダーサンプリング領域において顕著な性能向上をもたらすことを確認した。