[论文解读] Degrees of Freedom of MIMO X Networks: Spatial Scale Invariance, One-Sided Decomposability and Linear Feasibility

Hua Sun, Chunhua Geng+2 more|arXiv (Cornell University)|Jul 25, 2012

Advanced MIMO Systems Optimization参考文献 17被引用 5

一句话总结

该论文解决了每个发射机和接收机均具有 A 根天线的 MIMO X 网络的自由度（DoF），证明其可实现 $ A \cdot \frac{MN}{M+N-1} $ 的 DoF。论文建立了单边可分解性——即仅将发射机或仅将接收机分解为单天线节点而不损失 DoF——并确认了空间尺度不变性以及无需符号扩展的干扰对齐线性可行性。

ABSTRACT

We show that an M X N user MIMO X network with A antennas at each node has AMN/(M+N-1) degrees of freedom (DoF), thus resolving in this case a discrepancy between the spatial scale invariance conjecture (scaling the number of antennas at each node by a constant factor will scale the total DoF by the same factor) and a decomposability property of overconstrained wireless networks. While the best previously-known general DoF outer bound is consistent with the spatial invariance conjecture, the best previously-known general DoF inner bound, inspired by the K user MIMO interference channel, was based on the decomposition of every transmitter and receiver into multiple single antenna nodes, transforming the network into an AM X AN user SISO X network. While such a decomposition is DoF optimal for the K user MIMO interference channel, a gap remained between the best inner and outer bound for the MIMO X channel. Here we close this gap with the new insight that the MIMO X network is only one-sided decomposable, i.e., either all the transmitters or all the receivers (but not both) can be decomposed by splitting multiple antenna nodes into multiple single antenna nodes without loss of DoF. The result is extended to SIMO and MISO X networks as well and in each case the DoF results satisfy the spatial scale invariance property. In addition, the feasibility of linear interference alignment is investigated based only on spatial beamforming without symbol extensions. Similar to MIMO interference networks, we show that when the problem is improper, it is infeasible.

研究动机与目标

• 解决 MIMO X 网络中空间尺度不变性与可分解性之间长期存在的矛盾。
• 弥合用户数超过两个时 MIMO X 网络已知 DoF 内界与外界之间的差距。
• 建立仅使用空间波束成形（无需符号扩展）实现线性干扰对齐的可行性。
• 证明在 MIMO X 网络中，当干扰项数量超过自由度时（即非正规系统），线性对齐不可行。

提出的方法

• 引入单边可分解性概念，即仅将发射机或仅将接收机分解为单天线节点而不损失 DoF。
• 提出一种新颖的分解策略，通过仅关注发射机或接收机来保持 DoF，而非同时关注两者。
• 应用超越域扩张理论，证明非正规干扰对齐系统不可行。
• 通过分析干扰对齐条件的秩，推导出 DoF 表达式 $ A \cdot \frac{MN}{M+N-1} $。
• 采用基于矩阵的干扰对齐条件，涉及信道矩阵 $ \mathbf{H}^{[ki]}_{(1)} $、$ \mathbf{H}^{[ki]}_{(2)} $ 等，并在域扩张上构造一个多项式 $ p $。
• 使用基于迹的多项式展开，证明非零多项式 $ p $ 不可能在所有情况下恒为零，从而在 $ N_e > N_v $ 时导致矛盾。

实验结果

研究问题

• RQ1 对于用户数超过两个的 MIMO X 网络，空间尺度不变性猜想是否成立？
• RQ2 MIMO X 网络能否在不损失 DoF 的情况下分解为 SISO X 网络？若能，其条件是什么？
• RQ3 在 MIMO X 网络中，仅使用空间波束成形（无需符号扩展）是否可行实现线性干扰对齐？
• RQ4 什么决定了 MIMO X 网络中干扰对齐的可行性——具体而言，何时其不可行？
• RQ5 单边可分解性如何解决过约束 MIMO X 网络中空间尺度不变性与可分解性之间的矛盾？

主要发现

• 具有 $ A $ 根天线的 $ M \times N $ MIMO X 网络的 DoF 恰好为 $ A \cdot \frac{MN}{M+N-1} $，确认了空间尺度不变性。
• MIMO X 网络具有单边可分解性：仅将发射机或仅将接收机分解为单天线节点而不损失 DoF。
• 对于 SIMO 和 MISO X 网络，相同的 DoF 表达式成立，并满足空间尺度不变性。
• 当仅依赖空间波束成形时，非正规系统（即 $ N_e > N_v $）中的线性干扰对齐不可行。
• 不可行性证明基于超越域扩张理论，表明在通用信道矩阵上，非零多项式不可能恒为零。
• 该结果弥合了已知 MIMO X 网络 DoF 内界与外界之间的差距，解决了先前文献中提出的开放问题。