[論文レビュー] Invariance of the spark, NSP order and RIP order under elementary transformations of matrices

Jiawang Yi, Guanzheng Tan|arXiv (Cornell University)|Feb 10, 2015

Sparse and Compressive Sensing Techniques参考文献 12被引用数 5

ひとこと要約

本稿は、圧縮センシングにおけるスパーク、ノルム空間性質（NSP）の順序、および制限等長性性質（RIP）の順序という3つの主要な性質に、基本的な行列変換がどのように影響するかを調査する。本稿では、列加算変換を除くすべての基本的行および列操作に対して、これらの性質が不変であることを証明し、特定の行列積がスパース復元の保証を維持することを示している。主な貢献は、感応行列との積をとる際にこれらの性質を保持する行列のクラスを同定することにある。

ABSTRACT

The theory of compressed sensing tells us that recovering all k-sparse signals requires a sensing matrix to satisfy that its spark is greater than 2k, or its order of the null space property (NSP) or the restricted isometry property (RIP) is 2k or above. If we perform elementary row or column operations on the sensing matrix, what are the changes of its spark, NSP order and RIP order? In this paper, we study this problem and discover that these three quantitative indexes of sensing matrices all possess invariance under all matrix elementary transformations except column-addition ones. Putting this result in form of matrix products, we get the types of matrices which multiply a sensing matrix and make the products still have the same properties of sparse recovery as the sensing matrix. According to these types of matrices, we made an interesting discovery that sensing matrices with deterministic constructions do not possess the property universality which belongs to sensing matrices with random constructions.

研究の動機と目的

• 基本的行列変換が、スパーク、NSPの順序、RIPの順列という圧縮センシングの核となる性質に与える影響を分析すること。
• 感応行列がスパース信号を復元できる能力を維持する変換を特定すること。
• 感応行列との積をとる際に、そのスパース復元特性を保持する行列の種類を同定すること。
• 変換の不変性という観点から、決定論的と確率的感応行列構成法を対比すること。

提案手法

• 本研究では、感応行列のスパーク、NSPの順序、RIPの順序に対する基本的行および列操作の影響を分析する。
• 本稿では、スパーク、NSPの順序、RIPの順序が、列加算変換を除くすべての基本的行操作および大多数の列操作に対して不変であることを証明する。
• 本稿では、感応行列との積をとる際にこれらの性質を保持する行列の集合を、行列積の表現を用いて特徴づける。
• 代数的および構造的解析を通じて、変換下での行列の性質の理論的不変性を確立する。
• 解析は、正確なkスパース信号復元に必要な条件を特に含む、圧縮センシング理論に裏打ちされている。
• 結果は、行列構造と性質に関する形式的数学的推論に基づいて導出されており、実験的検証は一切含まれない。

実験結果

リサーチクエスチョン

• RQ1 基本的行および列操作は、感応行列のスパークにどのように影響するか？
• RQ2 ノルム空間性質（NSP）の順序は、基本的行列変換に対して不変のまま保たれるか？
• RQ3 制限等長性性質（RIP）の順序は、すべての種類の基本的行列操作に対して保持されるか？
• RQ4 どの種類の行列が、感応行列との行列積をとる際に、そのスパース復元特性を保持するか？
• RQ5 なぜ決定論的感応行列は、行列変換の文脈において確率的構成法ほど普遍的ではないのか？

主な発見

• 感応行列のスパークは、列加算変換を除くすべての基本的行および列操作に対して不変である。
• ノルム空間性質（NSP）の順序は、列加算変換を除くすべての基本的変換に対して不変のまま保たれる。
• 制限等長性性質（RIP）の順序は、列加算変換を除くすべての基本的変換に対して保持される。
• スパーク、NSP、RIPの性質を保持する行列積は、列加算変換を含まない行列のクラスによって特徴づけられる。
• 決定論的感応行列は、変換不変性という観点から確率的構成法ほど普遍的ではない。これは、列加算変換に対して感受性を示すためである。