[論文レビュー] Phase Retrieval for Sparse Signals

Yang Wang, Zhiqiang Xu|arXiv (Cornell University)|Oct 3, 2013

Advanced X-ray Imaging Techniques被引用数 3

ひとこと要約

この論文は、マグニチュードのみの測定からスパース信号を回復するための理論的基盤を確立し、k-スパースな位相再構成において、2k個の一般の実ベクトルと4k−2個の一般の複素ベクトルが十分であることを証明している。また、ℓ₁最小化のためのヌル空間性質を導入し、それがk-スパース再構成において成功するための必要十分条件であることを示しており、文献において初めてそのような条件を提示している。

ABSTRACT

The aim of this paper is to build up the theoretical framework for the recovery of sparse signals from the magnitude of the measurement. We first investigate the minimal number of measurements for the success of the recovery of sparse signals without the phase information. We completely settle the minimality question for the real case and give a lower bound for the complex case. We then study the recovery performance of the $\ell_1$ minimization. In particular, we present the null space property which, to our knowledge, is the first sufficient and necessary condition for the success of $\ell_1$ minimization for $k$-sparse phase retrievable.

研究の動機と目的

• マグニチュードのみの測定からk-スパース信号を成功裏に回復するための最小測定数を特定すること。
• ℓ₁最小化におけるスパース位相再構成の理論的枠組みを確立し、特にその成功条件を明らかにすること。
• ℓ₁最小化がk-スパース信号を位相再構成で成功裏に回復するための必要十分条件となるヌル空間性質を導出すること。
• 実数の場合のk-スパース位相再構成における最小性の問題を解決し、複素数の場合にはタイトな下界を提供すること。

提案手法

• 実数値信号の場合、m ≥ 2k個の一般の測定がk-スパース位相再構成において必要かつ十分であることを証明すること。
• 複素数の場合、m ≥ 4k−2個の一般のベクトルがk-スパース位相再構成において十分であることを確立し、この境界がタイトであると仮説を立てること。
• 位相再構成におけるℓ₁最小化のためのヌル空間性質を導入し、圧縮センシングにおける既知の結果を一般化すること。
• フレーム行列解析と同値類構造を用いて、ヌル空間上の分割に基づく条件を通じて位相再構成可能性を特徴付けること。
• 測定インデックスの分割における特定の比条件を満たす非自明なヌルベクトルの非存在と位相再構成可能性との同値性を証明すること。
• ユニモジュラー同値性と複素ベクトル空間構造を活用し、スパース同値類上でのマグニチュード写像の単射性の必要十分条件を導出すること。

実験結果

リサーチクエスチョン

• RQ1 実数の場合、マグニチュードのみの測定から一意にk-スパース信号を回復するための最小測定数は何か？
• RQ2 複素数の場合、k-スパース位相再構成に必要な最小測定数は何か？また、4k−2は最適な境界か？
• RQ3 測定行列がどのような条件を満たせば、ℓ₁最小化がマグニチュードデータからk-スパース信号を成功裏に回復できるか？
• RQ4 ℓ₁最小化がスパース位相再構成で成功するための必要十分条件となるヌル空間性質を定式化できるか？
• RQ5 ヌルベクトルに対する分割に基づく条件は、スパース同値類上でのマグニチュード測定写像の単射性とどのように関係するか？

主な発見

• 実数値信号の場合、m ≥ 2k個の一般の測定がk-スパース位相再構成において必要かつ十分であり、この境界は鋭い。
• 複素数の場合、m ≥ 4k−2個の一般のベクトルがk-スパース位相再構成において十分であり、著者らはこの境界がタイトであると仮説を立てている。
• 本論文は、実数および複素数領域におけるk-スパース位相再構成において、ℓ₁最小化が成功するための必要十分条件となる最初の既知のヌル空間性質を提示している。
• ヌル空間性質は、測定インデックスの分割における特定の比条件を満たす非自明なヌルベクトルの非存在を通じて定式化されている。
• 測定インデックスの分割における特定の比条件を満たす非自明なヌルベクトルの非存在と位相再構成可能性との同値性は、実数および複素数の場合の両方で厳密に証明されている。
• k ≪ dのとき、k-スパース信号の位相再構成は、フル次元位相再構成（複素数では4d−4）に比べてはるかに少ない測定数で可能であることが示されており、測定数を4k−2に削減できる。