[論文レビュー] Time-Frequency Foundations of Communications

Gerald Matz, Helmut Bölcskei+1 more|arXiv (Cornell University)|Jul 17, 2013

Mathematical Analysis and Transform Methods参考文献 39被引用数 10

ひとこと要約

本稿は、通信における時間周波数（TF）フレームワークを確立し、OFDMおよびTF分散チャネルの背後にある要因がTFシフトであることを示している。Weyl-Heisenbergフレーム理論と線形代数を用いて、チャネル推定を解ける線形系としてモデル化することで、システム同定が可能となるのは、スパarsity条件を満たすチャネル（dₕ ≤ 1）に限ることを証明している。

ABSTRACT

In the tradition of Gabor's 1946 landmark paper [1], we advocate a time-frequency (TF) approach to communications. TF methods for communications have been proposed very early (see the box History). While several tutorial papers and book chapters on the topic are available (see, e.g., [2]-[4] and references therein), the goal of this paper is to present the fundamental aspects in a coherent and easily accessible manner. Specifically, we establish the role of TF methods in communications across a range of subject areas including TF dispersive channels, orthogonal frequency division multiplexing (OFDM), information-theoretic limits, and system identification and channel estimation. Furthermore, we present fundamental results that are stated in the literature for the continuous-time case in simple linear algebra terms.

研究の動機と目的

• OFDMとTF分散チャネル理論を、Gaborの業績に根ざした共通の時間周波数（TF）フレームワークで統合すること。
• TFシフト作用素が、無線および水中通信における多径伝播およびドップラー効果をモデル化できることを示すこと。
• TF分散系が入力出力測定値から一意に同定可能となる条件を確立すること。
• Weyl-Heisenbergフレーム理論が、連続時間系における最適パルス設計、容量解析、およびチャネル推定を可能にすることを示すこと。
• 時間周波数通信分野の基本的結果を、線形代数に基づく明快な定式化で提示すること。

提案手法

• TF分散チャネルを、時間周波数シフト作用素 𝕄_ν𝔻_τ の重み付き重ね合わせとしてモデル化し、遅延とドップラー周波数シフトを表現する。
• Gabor（Weyl-Heisenberg）関数集合への変調としてOFDMを表現し、プロトタイプパルスを時間および周波数でシフトすることで実現する。
• スパreading関数 S(τ,ν) を用いて、遅延-ドップラー平面におけるチャネルインパルス応答をTFドメインで記述する。
• 帯域制限された信号を有限時間区間でモデル化するために、プロラート・スフェロイド波関数を適用し、次元削減を可能にする。
• 入出力関係を線形系 y = Xs に翻訳し、Sounding信号のTFシフトを出力係数にマップする行列Xを定義する。
• Xのフル列ランクにより同定可能性を確立し、これには underspread 条件 dₕ = 4τ_maxν_max ≤ 1 が必要である。

実験結果

リサーチクエスチョン

• RQ1 一貫した時間周波数フレームワークは、OFDMおよびTF分散チャネルの基礎を説明できるか？
• RQ2 TF分散チャネルが入出力測定値から一意に同定可能となる条件は何か？
• RQ3 遅延-ドップラー平面におけるスパreading関数のサポート領域が、システム同定可能性に与える影響は何か？
• RQ4 Sounding信号の自己アンビグアティ関数が、良好な条件数を持つチャネル推定を保証するために果たす役割は何か？
• RQ5 Weyl-Heisenbergフレーム理論を用いて、最適パルス設計と非coherent容量解析をどのように行えるか？

主な発見

• TF分散系は、スパreading関数サポート領域が dₕ = 4τ_maxν_max ≤ 1 を満たす、すなわち underspread である場合に限り同定可能である。
• スパreading関数に非ゼロ成分の数は |𝒮| = ⌈4τ_maxν_maxBD⌉ で上限が与えられ、同定可能性には |𝒮| ≤ N = ⌈BD⌉ が必要であり、これにより underspread 条件が導かれる。
• 自己アンビグアティ関数が急激に減衰するSounding信号 x(t) を用いることで、x(t) のTFシフトがほぼ直交的となり、行列Xの条件数が改善される。
• 有限次元信号空間における入出力関係は、y = Xs として表され、yは出力ベクトル、sはスパreading関数サンプルのベクトル、XはTFシフト信号の係数を含む。
• 散乱したスパreading関数サポートに対しても一般化可能であり、サポート総面積が1未満であれば、サポートの事前知識がなくても同定可能である。
• 本フレームワークは、現代のTF理論およびフレーム理論的ツールを用いて、Kailathの同定可能性条件といった古典的結果を回復する。