[論文レビュー] Deterministic Designs with Deterministic Guarantees: Toeplitz Compressed Sensing Matrices, Sequence Designs and System Identification

Venkatesh Saligrama|ArXiv.org|Jun 30, 2008

Sparse and Compressive Sensing Techniques参考文献 20被引用数 17

ひとこと要約

本稿では、黄金比などの無理数に基づく高次チープシーケンスから構成される、決定論的で無限長のシーケンス族を提案する。これらのシーケンスは、均一に減衰する自己相関とドップラー耐性を示す。連分数理論とディオファントス近似理論を活用することで、著者らは、これらのシーケンスから構築されたトーペリッツ行列が、最悪ケースの自己相関が多項式的減衰を示す制限等長性性質（RIP）を満たすことを証明した。これにより、構造化されたセンシング行列を用いた線形システム同定における、保証付きの復元が可能になる。

ABSTRACT

In this paper we present a new family of discrete sequences having "random like" uniformly decaying auto-correlation properties. The new class of infinite length sequences are higher order chirps constructed using irrational numbers. Exploiting results from the theory of continued fractions and diophantine approximations, we show that the class of sequences so formed has the property that the worst-case auto-correlation coefficients for every finite length sequence decays at a polynomial rate. These sequences display doppler immunity as well. We also show that Toeplitz matrices formed from such sequences satisfy restricted-isometry-property (RIP), a concept that has played a central role recently in Compressed Sensing applications. Compressed sensing has conventionally dealt with sensing matrices with arbitrary components. Nevertheless, such arbitrary sensing matrices are not appropriate for linear system identification and one must employ Toeplitz structured sensing matrices. Linear system identification plays a central role in a wide variety of applications such as channel estimation for multipath wireless systems as well as control system applications. Toeplitz matrices are also desirable on account of their filtering structure, which allows for fast implementation together with reduced storage requirements.

研究の動機と目的

• 線形システム同定のための圧縮センシングにおいて、保証付きの復元性能を持つ決定論的かつ構造化されたセンシング行列の不足を解消すること。
• スパースなFIRシステム同定に使用可能な、均一に減衰する自己相関とドップラー耐性を有するシーケンスの設計。
• このようなシーケンスから構築されたトーペリッツ行列が、決定論的保証付きで制限等長性性質（RIP）を満たすことを確立すること。
• 連分数とフィボナッチに基づく近似を用いて、メモリ効率の高い実装可能な構築手法の提供。
• ランダムなトーペリッツ行列の限界を克服し、理論的性能バウンドを有する決定論的代替手法を提供すること。

提案手法

• 黄金比などの無理数を用いて高次チープシーケンスを構築し、均一に減衰する自己相関特性を達成する。
• 連分数理論およびディオファントス近似の結果を応用し、最悪ケースの自己相関減衰率が多項式的であることを界磁する。
• これらのシーケンスからトーペリッツ行列を構築し、部分行列のスペクトル解析を用いてその制限等長性性質（RIP）を分析する。
• 連分数の収束値（例：黄金比に対してフィボナッチ数）を用いて、無理数位相の高精度な有理数近似を、低メモリコストで生成する。
• 区間 $[n^{ heta_1}, n^{ heta_2}]$ 内の大きなタイプの整数の数が $ n $ に対して多項式的スケーリングすることを示し、これによりRIPバウンドの導出を支援する。
• 周波数シフトに対して自己相関が不変であるため、ドップラーシフトに対して耐性があることを確認する。

実験結果

リサーチクエスチョン

• RQ1 有限長の自己相関係数が多項式的減衰率で一様に減少するような決定論的シーケンスを構築可能か？
• RQ2 このようなシーケンスから構築されたトーペリッツ行列が、保証付きで制限等長性性質（RIP）を満たすか？
• RQ3 連分数近似を用いることで、低メモリかつ低計算コストで効率的な構築が可能か？
• RQ4 無理数の選択（例：黄金比）がRIP性能および自己相関減衰率に与える影響は？
• RQ5 提案されたシーケンスおよび行列は、スパースなFIRチャネルを含むシステム同定タスクに有効に利用可能か？

主な発見

• すべての有限長シーケンスの最悪ケース自己相関係数は、多項式的減衰率 $ n^{- heta} $ で減少し、黄金比の場合は $ heta = 3/8 $ である。
• これらのシーケンスから構築されたトーペリッツ行列は、保証付きのバウンドを有する制限等長性性質（RIP）を満たし、安定なスパース信号の復元を可能にする。
• 区間 $[n^{ heta_1}, n^{ heta_2}]$ 内の大きなタイプの整数の数が $ n $ に対して多項式的スケーリングすることを示し、これによりRIPバウンドの導出が支援される。
• 収束値の対数的スケーリングのおかげで、黄金比はRIP性能に中程度の改善をもたらす。
• モンテカルロシミュレーションにより、条件数（最大固有値と最小固有値の比）が有界であり、測定数が増加するにつれて改善することが確認され、実用的な安定性が裏付けられる。
• フィボナッチ数を用いた構築により、$ heta t^3 $ の任意に良い有理数近似が、低メモリおよび計算コストで効率的に生成可能である。