[论文解读] 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和时频弥散信道的基础。通过Weyl-Heisenberg框架理论与线性代数，证明了仅当信道为欠覆盖信道（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与时频弥散信道理论统一于一个根植于Gabor工作的共同时频（TF）框架下。
• 证明时频搬移算子可同时建模无线与水下通信中的多径传播与多普勒效应。
• 确立从输入-输出测量中唯一辨识时频弥散系统的条件。
• 表明Weyl-Heisenberg框架理论可实现连续时间系统中的最优脉冲设计、容量分析与信道估计。
• 提供基于线性代数的、易于理解的时频通信基本结果表述。

提出的方法

• 将时频弥散信道建模为时频搬移算子𝕄_ν𝔻_τ的加权叠加，表示延迟与多普勒频移。
• 将OFDM表示为基于Gabor（Weyl-Heisenberg）函数集的调制，使用原型脉冲在时频域的平移。
• 利用扩散函数S(τ,ν)描述时频域中的信道冲激响应，其定义域位于时延-多普勒平面内。
• 应用本征椭球波函数对有限时间区间内的带限信号建模，实现维数约简。
• 将输入-输出关系转化为线性系统y = Xs，其中X将探测信号的时频搬移映射为输出系数。
• 通过X的列满秩建立可辨识性，要求满足欠覆盖条件dₕ = 4τ_maxν_max ≤ 1

实验结果

研究问题

• RQ1 能否通过统一的时频框架解释OFDM与时频弥散信道的理论基础？
• RQ2 在何种条件下，可从输入-输出测量中唯一辨识时频弥散信道？
• RQ3 时延-多普勒平面中扩散函数支持区域如何影响系统可辨识性？
• RQ4 探测信号的自模糊函数在确保信道估计条件良好方面起什么作用？
• RQ5 Weyl-Heisenberg框架理论如何用于设计最优脉冲并分析非相干容量？

主要发现

• 当且仅当其扩散函数支持区域满足dₕ = 4τ_maxν_max ≤ 1（即为欠覆盖信道）时，时频弥散系统才可辨识。
• 扩散函数中非零项的数量受|𝒮| = ⌈4τ_maxν_maxBD⌉限制，而可辨识性要求|𝒮| ≤ N = ⌈BD⌉，从而导出欠覆盖条件。
• 具有快速衰减自模糊函数的探测信号x(t)可确保x(t)的时频搬移分量近似正交，从而改善系统矩阵X的条件数。
• 在有限维信号空间中，输入-输出关系表示为y = Xs，其中y为输出向量，s为扩散函数样本向量，X包含时频搬移信号的系数。
• 该结果可推广至散射型扩散函数支持：即使事先未知支持区域，只要总支持区域面积不超过1，即可保证可辨识性。
• 该框架可恢复经典结果，如Kailath的可辨识性条件，且使用现代时频与框架理论工具。