[論文レビュー] On signal reconstruction without noisy phase

Radu Bălan, Pete Casazza+1 more|ArXiv.org|Dec 20, 2004

Mathematical Analysis and Transform Methods参考文献 18被引用数 47

ひとこと要約

本稿は、位相情報に依存せずに信号を正確に再構成できる、有限次元ヒルベルト空間における新しいパーセバルフレームのクラスを構築する。主な結果として、複素フレームが $ M \geq 4N - 2 $ 個のベクトルを持つ場合、モジュラス写像がグローバル位相を除き一般に単射であることが示され、音声処理分野における長年の予想を裏付ける。

ABSTRACT

We construct new classes of Parseval frames for a Hilbert space which allow signal reconstruction from the absolute value of the frame coefficients. As a consequence, signal reconstruction can be done without using noisy phase or its estimation. This verifies a longstanding conjecture of the speech processing community.

研究の動機と目的

• 位相情報やその推定に依存せずに信号再構成が可能であるという、音声処理分野における長年の予想を解消すること。
• グローバル位相を除き一意的な信号再構成が可能な有限次元パーセバルフレームを構築すること。
• 実ヒルベルト空間および複素ヒルベルト空間におけるモジュラス写像の単射性を満たすために必要なフレームベクトルの最小数を特定すること。
• 非線形写像 $ \mathbb{M} $ がグローバル位相を除き単射となる理論的条件を確立すること。

提案手法

• 信号からそのフレーム係数の絶対値への写像を定義する非線形写像 $ \mathbb{M}_a: H \to \ell^2(\mathbb{I}) $ を構築する。
• グローバル位相を同一視する空間 $ H_r = H / \sim $ を定義し、位相不変な信号表現をモデル化する。
• 誘導写像 $ \mathbb{M}: H_r \to \ell^2(\mathbb{I}) $ の単射性を解析し、絶対値データから位相を除き一意に信号を再構成できるかを評価する。
• 代数幾何学的手法を用いて、モジュラス再構成条件を満たす $ N $ 次元部分空間の集合 $ X \subset \mathrm{Gr}(N,M)^\mathbb{C} $ の多様体を研究する。
• 条件 $ |\sum v_j u_{i,j}|^2 = |\sum \lambda_j v_j u_{i,j}|^2 $ から導かれる方程式系に対して次元数え上げの議論を適用し、制約条件の独立性を示す。
• フレーム作用素 $ S = T^*T $ 及びその可逆性を用いて、位相情報がある場合の再構成式を導出し、これを絶対値のみの再構成に拡張する。

実験結果

リサーチクエスチョン

• RQ1 信号は、そのフレーム係数の絶対値のみから、グローバル位相因子を除き一意に再構成可能か？
• RQ2 複素ヒルベルト空間におけるモジュラス写像 $ \mathbb{M} $ が単射となるために必要なフレームベクトルの最小数は何か？
• RQ3 信号がグローバル位相を除き一意に特定できるようなパーセバルフレームのクラスが存在するか？
• RQ4 $ \mathbb{C}^N $ 内のフレームベクトルの幾何的配置は、絶対値写像の単射性にどのように影響するか？

主な発見

• 複素フレームが $ M \geq 4N - 2 $ 個のベクトルを持つ場合、$ \mathbb{C}^N / \mathbb{T}^1 $ 上でモジュラス写像 $ \mathbb{M}^\mathcal{F} $ は一般に単射であり、位相なしの信号再構成が可能である。
• モジュラス再構成条件を満たす $ \mathrm{Gr}(N,M)^\mathbb{C} $ 内の $ N $ 次元部分空間の集合は、実次元が高々 $ 2N(M-N) + 3N - 3 - (M-N) $ であるが、$ M \geq 4N - 2 $ のときには空集合になる。
• $ M \geq 2N $ のとき、$ \mathbb{M}^\mathcal{F} $ に対して一意でない逆像を持つ信号の集合は、実コディメンションが少なくとも $ 4N - 3 - M $ 以上であるため、一意再構成は余りの開集合で成立する。
• 複素の場合、$ M = 2N - 1 $ 個のベクトルを持つフレームでは $ \mathbb{M}^\mathcal{F} $ が単射にはならないことが示され、$ M \geq 2N $ が必要であることが証明された。
• 証明は、$ M = 2N - 1 $ のとき、常にフレーム係数空間内で不重複な台を持つ非自明な信号が存在し、単射性が破られるという事実に依拠している。
• 本結果により、音声処理分野における長年の予想、すなわち信号再構成に位相推定が不要であるという仮説が裏付けられた。