[论文解读] Semidefinite programming, harmonic analysis and coding theory

Christine Bachoc|arXiv (Cornell University)|Sep 25, 2009

graph theory and CDMA systems参考文献 36被引用 18

一句话总结

本文提出一个通用框架，利用紧致群上的调和分析与半定规划（SDP），强化编码理论中的经典线性规划（LP）界。通过引入基于正交多项式导出的调和矩阵的三元点SDP约束，实现了对码大小的更紧上界——在二元码和球面码等特定情形下，证明其严格优于LP界。

ABSTRACT

These lecture notes where presented as a course of the CIMPA summer school in Manila, July 20-30, 2009, Semidefinite programming in algebraic combinatorics. This version is an update June 2010.

研究动机与目标

• 通过在三元点上引入半定规划约束，推广Delsarte在线性规划方法在编码理论中的应用。
• 利用紧致群的表示理论，为双点齐次空间与对称空间构建统一的调和分析框架。
• 为关键空间（如汉明空间与球面）显式计算调和矩阵与正定函数。
• 通过利用群表示与正交多项式导出的SDP约束，强化经典LP界，推导出更紧的码大小上界。
• 通过在二元码、Johnson空间与球面码中的显式计算，展示该方法的有效性，证明其优于LP界。

提出的方法

• 利用Peter-Weyl定理与紧致群上的调和分析，将函数空间分解为不可约表示。
• 引入调和矩阵 $ E_k(x,y) $ 与 $ F_k(x,y,z) $，其对所有码 $ C $ 均为半正定，源自群不变核。
• 利用正交多项式（如Krawtchouk多项式、Gegenbauer多项式）将调和矩阵的元素表示为距离 $ d(x,y), d(x,z), d(y,z) $ 的函数。
• 构建一个SDP规划，变量 $ x_{a,b,c} $ 表示具有给定两两距离的三元组数量，受对称性、非负性与半正定性约束。
• 施加约束 $ \sum T_k(a,b,c) x_{a,b,c} \succeq 0 $ 与 $ \sum T_k(a,b,c)(t(a,b,c)x_{0,c,c} - x_{a,b,c}) \succeq 0 $，其中 $ T_k $ 为 $ F_k $ 的系数矩阵，以保证正定性。
• 通过利用群作用下的对称性与不变性（如 $ S_n $、$ O(n) $）将问题约化为有限维SDP，实现计算上的可行性。

实验结果

研究问题

• RQ1 三元点上的半定规划约束如何改进编码理论中经典线性规划的界？
• RQ2 紧致群上的调和分析在构造对称空间的正定函数与调和矩阵中起何作用？
• RQ3 调和矩阵 $ E_k(x,y) $ 与 $ F_k(x,y,z) $ 如何与汉明空间与球面空间中的正交多项式及群表示相关联？
• RQ4 在何种情形下SDP界严格优于LP界？码空间的何种结构特征促成此改进？
• RQ5 该框架能否系统性地应用于非二元码、Grassmann空间及其他超越汉明与球面空间的对称空间？

主要发现

• 由调和矩阵 $ F_k(x,y,z) = E_k(x-z,y-z) $ 导出的三元点SDP约束，可得到比经典LP方法更紧的码大小上界。
• 在二元汉明空间 $ H_n $ 中，SDP规划包含LP规划作为其约束子集，且SDP条件的总和等价于LP条件，通过 $ B_k(x,y) = \sum_z E_k(x-z,y-z) $ 实现。
• 在特定小维度情形下，SDP界严格优于LP界，如Schrijver（2001）所展示，并进一步扩展至Johnson空间与球面码。
• 推导出系数矩阵 $ T_k(a,b,c) $ 的显式公式，以二项式系数与权重分布表示，支持计算实现。
• 该方法可推广至其他对称空间，如Johnson空间 $ J_n^w $、球面 $ S^{n-1} $ 与Grassmann空间，具有类似SDP形式。
• 该框架通过利用表示理论工具与Bochner定理下的正定函数，统一了对各类字母表与几何结构下码的分析。