[论文解读] Subspace Alignment Chains and the Degrees of Freedom of the Three-User MIMO Interference Channel

Chenwei Wang, Tiangao Gou+1 more|arXiv (Cornell University)|Sep 20, 2011

Antenna Design and Optimization被引用 9

一句话总结

本文确定了任意 $M_T \times M_R$ 天线配置下三用户 MIMO 干扰信道的精确自由度（DoF），表明 DoF 由 $d(M,N) = \min\left(\frac{M}{2-1/\kappa}, \frac{N}{2+1/\kappa}\right)$ 给出，其中 $M = \min(M_T,M_R)$，$N = \max(M_T,M_R)$，且 $\kappa = \lceil M/(N-M) \rceil$。可实现性依赖于线性波束成形以及通过缩放因子 $q$ 实现的空间扩展，以使 $qd(M,N)$ 为整数，同时识别出子空间对齐链为 DoF 的根本瓶颈。

ABSTRACT

We show that the 3 user M_T x M_R MIMO interference channel has d(M,N)=min(M/(2-1/k),N/(2+1/k)) degrees of freedom (DoF) normalized by time, frequency, and space dimensions, where M=min(M_T,M_R), N=max(M_T,M_R), k=ceil{M/(N-M)}. While the DoF outer bound is established for every M_T, M_R value, the achievability is established in general subject to normalization with respect to spatial-extensions. Given spatial-extensions, the achievability relies only on linear beamforming based interference alignment schemes with no need for time/frequency extensions. In the absence of spatial extensions, we show through examples how essentially the same scheme may be applied over time/frequency extensions. The central new insight to emerge from this work is the notion of subspace alignment chains as DoF bottlenecks. The DoF value d(M,N) is a piecewise linear function of M,N, with either M or N being the bottleneck within each linear segment. The corner points of these piecewise linear segments correspond to A={1/2,2/3,3/4,...} and B={1/3,3/5,5/7,...}. The set A contains all values of M/N and only those for which there is redundancy in both M and N. The set B contains all values of M/N and only those for which there is no redundancy in either M or N. Our results settle the feasibility of linear interference alignment, introduced by Cenk et al., for the 3 user M_T x M_R MIMO interference channel, completely for all values of M_T, M_R. Specifically, the linear interference alignment problem (M_T x M_R, d)^3 (as defined in previous work by Cenk et al.) is feasible if and only if d<=floor{d(M,N)}. With and only with the exception of the values M/N\in B, we show that for every M/N value there are proper systems that are not feasible. Our results show that M/N\in A are the only values for which there is no DoF benefit of joint processing among co-located antennas at the transmitters or receivers.

研究动机与目标

• 确定任意 $M_T \times M_R$ 天线配置下三用户 MIMO 干扰信道的精确自由度（DoF）。
• 通过表征在空间扩展下的 DoF，解决所有 $M_T, M_R$ 值下线性干扰对齐的可行性。
• 识别出子空间对齐链为 MIMO 干扰信道中限制 DoF 的根本瓶颈。
• 通过分析 $M$ 和 $N$ 中的冗余性，阐明‘合理系统’与‘可行系统’之间差异的原因。
• 建立当 $M/N \in \mathcal{A} = \{1/2, 2/3, 3/4, \dots\}$ 时 DoF 达到最大值，此时联合处理不再带来增益，因为已达到最大冗余性。

提出的方法

• 通过使用多个对称的导频辅助（genie-aided）配置，提出 DoF 外部边界，以限制干扰泄漏。
• 引入子空间对齐链的概念，作为干扰对齐中的结构性瓶颈，其中子空间在用户之间以链式方式重叠。
• 通过将所有 $M_T, M_R$ 缩放一个因子 $q$ 实现空间扩展，使 $qd(M,N)$ 为整数，从而在不使用时频扩展的情况下，通过线性波束成形实现可实现性。
• 基于子空间重叠深度和冗余性分析，推导出 DoF 表达式 $d(M,N) = \min\left(\frac{M}{2-1/\kappa}, \frac{N}{2+1/\kappa}\right)$，其中 $\kappa = \lceil M/(N-M) \rceil$。
• 通过分段线性段分析边界情况，其中 $\mathcal{A}$ 和 $\mathcal{B}$ 作为标记 $M$ 和 $N$ 中冗余性与非冗余性的关键集合。
• 在多个链层级上应用导频辅助边界，通过求和不等式推导出紧致的 DoF 上限，尤其在 $|X_{a_0}| \neq |X_{c_0}|$ 的非对称情形下表现更优。

实验结果

研究问题

• RQ1 对于任意 $M_T \times M_R$ 天线配置的三用户 MIMO 干扰信道，其精确自由度（DoF）是多少？
• RQ2 如何在不使用时域或频域扩展的情况下实现线性干扰对齐？空间扩展在此过程中起到什么作用？
• RQ3 何种结构性特征——子空间对齐链——在 DoF 特征刻画中构成根本瓶颈？
• RQ4 为何某些‘合理系统’无法实现？$M$ 和 $N$ 中的冗余性如何解释这一差异？
• RQ5 在哪些 $M/N$ 取值下，共址天线之间的联合处理具有优势，而在哪些情况下没有？

主要发现

• 三用户 MIMO 干扰信道的 DoF 精确为 $d(M,N) = \min\left(\frac{M}{2-1/\kappa}, \frac{N}{2+1/\kappa}\right)$，其中 $M = \min(M_T,M_R)$，$N = \max(M_T,M_R)$，且 $\kappa = \lceil M/(N-M) \rceil$。
• DoF 值 $d(M,N)$ 在 $M$ 和 $N$ 上呈分段线性，每个分段中 $M$ 或 $N$ 作为瓶颈，具体取决于 $M/N$ 的比值。
• 当 $M/N \in \mathcal{A} = \{1/2, 2/3, 3/4, \dots\}$ 时，$M$ 和 $N$ 均达到最大冗余性，意味着共址天线之间的联合处理无法带来 DoF 增益。
• 当 $M/N \in \mathcal{B} = \{1/3, 3/5, 5/7, \dots\}$ 时，$M$ 或 $N$ 均无冗余性，因此这些是约束最紧的配置。
• 线性干扰对齐问题 $(M_T \times M_R, d)^3$ 可行当且仅当 $d \leq \lfloor d(M,N) \rfloor$，解决了先前工作中长期存在的疑问。
• 通过空间扩展因子 $q$，仅使用线性波束成形即可实现 $qd(M,N)$ 个 DoF，无需依赖信道扩展或时频变化。