[論文レビュー] Incoherent dictionaries and the statistical restricted isometry property

Shamgar Gurevich, Ronny Hadani|ArXiv.org|Sep 9, 2008

Mathematical Analysis and Transform Methods参考文献 33被引用数 8

ひとこと要約

本稿は、直交基底の互いに素な直和として構成される非一様辞書に対する統計的制限等長性（SRIP）を導入する。サイズ $ n = p^{1-\varepsilon} $ のランダム部分集合に対して、グラム行列が恒等行列から大きく逸脱する確率が非常に低く、固有値がウィグナー半円分布に従うことが示され、ヒーゼンベルクおよびオシレーター辞書のような決定論的辞書におけるRIPの理論的裏付けが得られる。

ABSTRACT

In this article we present a statistical version of the Candes-Tao restricted isometry property (SRIP for short) which holds in general for any incoherent dictionary which is a disjoint union of orthonormal bases. In addition, under appropriate normalization, the eigenvalues of the associated Gram matrix fluctuate around 1 according to the Wigner semicircle distribution. The result is then applied to various dictionaries that arise naturally in the setting of finite harmonic analysis, giving, in particular, a better understanding on a remark of Applebaum-Howard-Searle-Calderbank concerning RIP for the Heisenberg dictionary of chirp like functions.

研究の動機と目的

• 決定論的で非一様な辞書に適用可能な統計的制限等長性（SRIP）の定式化を目的とする。
• このような辞書における原子のランダム部分集合のグラム行列のスペクトル的挙動を分析すること。
• 有限調和解析から生じる大規模で構造的な辞書における制限等長性の理論的根拠を提供すること。
• 決定論的辞書が臨界的領域 $ n = \alpha p $ において $ \delta_1, \delta_2 \ll 1 $ を満たすという長年の未解決問題を解決すること。
• ランダム部分辞書のグラム行列の固有値の統計的挙動を明らかにし、それらをウィグナー半円分布と関連付けること。

提案手法

• 直交基底の互いに素な直和として構成される辞書 $ \mathfrak{D} $ に対して、統計的制限等長性（SRIP）を定義する。
• サイズ $ n = p^{1-\varepsilon} $ のランダム部分集合 $ S \subset \mathfrak{D} $ に対して、作用素ノルム $ \| \mathbf{G}(S) - \mathrm{Id}_S \| $ を分析し、$ p^{-\varepsilon/2} $ のオーダーで減少することを高確率で示す。
• スペクトルフラクチュエーションを調べるために、正規化誤差作用素 $ \mathbf{E}(S) = (p/n)^{1/2}(\mathbf{G}(S) - \mathrm{Id}_S) $ を導入する。
• $ p \to \infty $ のとき、$ \mathbf{E}(S) $ のスペクトル分布が確率的にウィグナー半円分布に収束することを証明する。
• ヒーゼンベルク、オシレーター、拡張オシレーター辞書の3つの自然な辞書に結果を適用し、すべてが必要な構造的および非一様性条件を満たしていることを示す。
• 有限調和解析および表現論（ヘイゼンベルク＝ヴェイル表現）の道具を用いて、分析の理論的枠組みを確立する。

実験結果

リサーチクエスチョン

• RQ1 非一様で、直交基底の互いに素な直和として構成される辞書に対して、統計的制限等長性（SRIP）が成立するか？
• RQ2 このような設定において、ランダム部分辞書のグラム行列の固有値は1のまわりでどのようにフラクチュエートするか？
• RQ3 大規模な $ p $ の極限において、正規化されたグラム行列の偏差のスペクトル分布はウィグナー半円分布に確率的に収束するか？
• RQ4 ヒーゼンベルク、オシレーター、および拡張オシレーター辞書は、サイズ $ n = p^{1-\varepsilon} $ の部分辞書に対して、高確率でSRIPを満たすか？
• RQ5 決定論的で非一様な辞書におけるグラム行列の固有値の統計的挙動は何か？ そして、それはランダム行列理論とどのように関連するか？

主な発見

• 任意の $ k \in \mathbb{N} $ に対して、$ \| \mathbf{G}(S) - \mathrm{Id}_S \| \geq p^{-\varepsilon/2} $ となる確率は $ C(k) p^{1 - \varepsilon k / 2} $ で抑えられ、$ p \to \infty $ のとき0に収束する。
• 正規化誤差作用素 $ \mathbf{E}(S) $ のスペクトル分布は、$ p \to \infty $ のとき確率的にウィグナー半円分布 $ \rho_{SC}(x) = (2\pi)^{-1} \sqrt{4 - x^2} \cdot \mathbf{1}_{[-2,2]}(x) $ に収束する。
• 結果はヒーゼンベルク辞書 $ \mathfrak{D}_H $、オシレーター辞書 $ \mathfrak{D}_O $、拡張オシレーター辞書 $ \mathfrak{D}_{EO} $ に適用可能であり、これらはすべて直交基底の互いに素な直和であり、$ \mu = 1 $ または $ \mu = 4 $ の $ \mu $-非一様性を満たす。
• サイズ $ n = p^{1-\varepsilon} $ のランダム部分辞書のグラム行列の固有値フラクチュエーションは、決定論的辞書であるにもかかわらず、ウィグナー半円法則に従う統計的支配を受ける。
• 本分析により、ヒーゼンベルク辞書が臨界的領域でRIPを満たす可能性があるという経験的観察の理論的裏付けが得られ、Applebaum-Howard-Searle-Calderbankの指摘を解消する。
• 確率バウンドにおける定数 $ C(k) $ は非一様係数 $ \mu $ に依存するため、$ \mu $ が小さいほどよりタイトなバウンドが得られ、結果として $ \mu $ は実用的応用における重要な設計パrameterである。