arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2602.20529cs.ITeess.SPmath.IT
收藏

关于整数强迫预编码的最优性:几何视角与多项式时间算法

Integer-Forcing Precoding: A Geometric Perspective and Low-Complexity Algorithm Design

Beihang University(北京航空航天大学);Pengcheng Laboratory(鹏城实验室);Shenzhen Institute of Beihang University(北京航空航天大学深圳研究院);College of Cyber Security, Jinan University(暨南大学网络空间安全学院);School of Information Science and Engineering, Southeast University(东南大学信息科学与工程学院)

Junren Qin, Fan Jiang, Tao Yang, Shanxiang Lyu, Rongke Liu, Shi Jin

AI总结:

本文提出了一种多项式时间算法,通过几何结构分解解决整数强迫预编码的最优整数矩阵和功率缩放矩阵联合优化问题。

摘要:

整数矩阵A和功率缩放矩阵D的联合优化是实现整数强迫(IF)预编码容量接近性能的核心。然而,这个问题已知是NP难的,构成了一个根本性的计算瓶颈。在本文中,我们揭示了该问题的解空间具有内在的几何结构:它可以被划分为有限数量的锥形区域,每个区域与一个不同的满秩整数矩阵A相关联。利用这种分解,我们将NP难问题转化为对这些区域的搜索,并提出了多锥嵌套随机模式搜索(MCN-SPS)算法。我们的主要理论结果是MCN-SPS在计算复杂度为O(K⁴logKlog₂(r₀))的情况下找到近优解,该复杂度在用户数量K中是多项式级别的。数值模拟证实了理论分析并展示了该算法的有效性。

英文摘要:

The joint coefficient--scaling design of integer-forcing (IF) precoding couples a full-rank integer coefficient matrix with a positive diagonal scaling matrix, resulting in a mixed discrete--continuous optimization problem. We first distinguish the original full-rank formulation and its finite-field invertibility requirement from the unimodular restriction studied in the subsequent analysis. Under this restriction, we formulate coefficient selection as the unimodular minimum-sum basis problem (UMSBP). By parameterizing the scaling matrix with its normalized diagonal vector, we define a deterministic exact single-output UMSBP oracle whose preimages partition the scaling manifold into disjoint coefficient-labelled regions. The restricted objective is consequently represented as the lower envelope of fixed-coefficient quadratic functions. Based on this formulation, we derive an exact decomposition into fixed-coefficient scaling optimization, coefficient-consistency verification, cross-region exploration, and candidate comparison. We prove that exact UMSBP evaluation is NP-hard through a polynomial-time reduction from exact Euclidean CVP. For a fixed coefficient matrix, we derive an equivalent convex formulation, its normalized stationarity condition, and a matrix-balancing interpretation. Under the stated positivity and finite-projective-diameter condition

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑