[論文レビュー] Paraunitary Matrices

Barry Hurley, Ted Hurley|arXiv (Cornell University)|May 3, 2012

Image and Signal Denoising Methods参考文献 12被引用数 4

ひとこと要約

本稿では、信号処理において重要な役割を果たすパラユニタリ行列を構成するための新しい代数的枠組みを提示する。この枠組みは、完全直交idempotent集合と関連する行列構造を用い、非可分な多次元パラユニタリ行列の設計を可能にする。また、行列のたんぐル（tangle）と擬似パラユニタリ行列を導入し、さまざまな体上でのこのような行列のランクと行列式に関する理論的結果を提示する。

ABSTRACT

Design methods for paraunitary matrices from complete orthogonal sets of idempotents and related matrix structures are presented. These include techniques for designing non-separable multidimensional paraunitary matrices. Properties of the structures are obtained and proofs given. Paraunitary matrices play a central role in signal processing, in particular in the areas of filterbanks and wavelets.

研究の動機と目的

• 完全直交idempotent集合を用いたパラユニタリ行列の一般化された構成法の開発。
• 多次元因数分解定理が存在しない非可分な多次元パラユニタリ行列の設計という課題への対処。
• 行列のたんぐル（tangle of matrices）という新しい行列構造の導入と分析。これは独立した数学的関心をもつ可能性を有する。
• この枠組みを擬似パラユニタリ行列へ拡張し、有限インパulse応答（FIR）システムと関連付ける。
• idempotent分解から構成されたパラユニタリ行列の行列式とランクの性質に関する正確な公式の導出。

提案手法

• 群環や一般の環における完全直交idempotent集合からパラユニタリ行列を構成し、idempotentと対合（involution）の代数的性質を活用する。
• 行列のたんぐル（tangle of matrices）—idempotentに基づく行列の積を含む新しい行列構成法—を用いて、多次元におけるパラユニタリ構造を生成する。
• WW^* = pI_n を満たす擬似パラユニタリ行列を定義・分析する。ここで p は変数 z の単項式であり、標準的なパラユニタリ条件を一般化する。
• 群環の表現論を用いて、体の特性が群の位数を割り切らない場合に完全直交idempotent集合を生成する。
• A = a_1E_1 + ... + a_kE_k という分解を用い、idempotent E_i が直交する場合に行列式および可逆性の公式を導出する。
• C、R、Q、F_q などの体に特化した構成を実施し、ウェーブレット、フィルタバンク、符号理論への応用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 群環のような代数的構造において、完全直交idempotent集合からパラユニタリ行列を体系的に構成する方法は何か？
• RQ2 多次元因数分解定理が存在しないにもかかわらず、非可分な多次元パラユニタリ行列を設計するための構造的性質は何か？
• RQ3 行列のたんぐル（tangle of matrices）はパラユニタリ系を生成する上で果たす役割は何か？また、その内在的な代数的意義はあるか？
• RQ4 パラユニタリ行列のランクと行列式は、その成分であるidempotent成分のランクとどのように関係するか？
• RQ5 擬似パラユニタリ行列は、FIRシステムや正則ハダマード行列へどのように橋渡しを行うか？

主な発見

• E_i が完全直交idempotent集合であるとき、A = a_1E_1 + ... + a_kE_k の行列式は |A| = a_1^{\text{rank}(E_1)} ... a_k^{\text{rank}(E_k)} で与えられる。
• 直交idempotent行列の和のランクは、個々のランクの和に等しい：\text{rank}(E_1 + ... + E_k) = \text{rank}(E_1) + ... + \text{rank}(E_k)。
• A = a_1E_1 + ... + a_kE_k が可逆であるための必要十分条件は、すべての係数 a_i ≠ 0 であることであり、その逆行列は A^{-1} = \frac{1}{a_1}E_1 + ... + \frac{1}{a_k}E_k で与えられる。
• char(F) ∤ |G| を満たす場合、群環 FG におけるidempotent集合からパラユニタリ行列を構成可能である。
• パラユニタリ行列の変数を特異化することで、正則な実または複素ハダマール行列の系列が得られ、ウォルシュ＝ハダマール行列を含む。
• F_{n×n}[\bf{z}] 上の擬似パラユニタリ行列は WW^* = pI_n を満たし、p は単項式である。標準的なパラユニタリ行列や他の擬似パラユニタリ構造から導出可能である。