[论文解读] Lecture notes: Semidefinite programs and harmonic analysis

Frank Vallentin|ArXiv.org|Sep 11, 2008

Complexity and Algorithms in Graphs参考文献 69被引用 10

一句话总结

本文提出了一种基于调和分析的对称性约简技术，用于半定规划（SDPs），可高效求解在群作用下不变的大规模SDP问题。通过应用Peter-Weyl定理与Bochner的刻画定理，该方法将大规模对称SDP转化为维度显著降低的块对角形式，从而在编码理论与球面堆积等应用中实现显著的计算加速。

ABSTRACT

Lecture notes for the tutorial at the workshop HPOPT 2008 - 10th International Workshop on High Performance Optimization Techniques (Algebraic Structure in Semidefinite Programming), June 11th to 13th, 2008, Tilburg University, The Netherlands.

研究动机与目标

• 开发一种通用且显式的简化方法，用于处理在群作用下不变的半定规划（SDPs）问题。
• 将半定规划与调和分析相连接，特别是通过Peter-Weyl定理与Bochner定理。
• 通过利用对称性与块对角结构，实现对大规模SDP（尤其是无穷维SDP）的高效计算。
• 为近期在组合与几何堆积问题中SDP界的进展提供理论基础。
• 通过具体应用展示该方法的实用性，包括距离图的theta函数，以及码与球面码的线性规划界。

提出的方法

• 利用群不变性，将可行解限制为在群作用Γ下不变的解，从而实现任意最优解的对称化。
• 使用Bochner的刻画定理，将Γ-不变的正定矩阵表示为以不可约表示为索引的块对角矩阵。
• 将核函数K(x,y)表示为内积⟨F_k, Z_k(x,y)⟩的和，其中F_k为正定块矩阵，Z_k为固定基矩阵。
• 将原始SDP转化为等价的块对角SDP，其变量为F_1,…,F_l，大小分别为m_1×m_1,…,m_l×m_l，从而将问题规模从|V|×|V|降低至∑m_k。
• 利用Peter-Weyl定理将群代数分解为不可约表示，实现SDP的块对角化。
• 利用对称张量与齐次多项式之间的等距同构，将表示理论与多项式优化及调和多项式联系起来。

实验结果

研究问题

• RQ1 如何利用调和分析系统性地简化在群作用下不变的半定规划？
• RQ2 Peter-Weyl定理在将不变核空间分解为不可约分量中起到何种作用？
• RQ3 Bochner定理如何通过块对角结构刻画Γ-不变的正定矩阵？
• RQ4 块对角化在编码理论与球面堆积等问题的SDP中如何降低计算复杂度？
• RQ5 该框架如何扩展至紧致度量空间（如单位球面或哈密顿立方体）上的无穷维SDP？

主要发现

• 该对称性约简技术将一个|V|×|V|的大型SDP转化为等价的块对角SDP，总维度为∑m_k，其中m_k为对称群Γ的不可约表示的维数。
• 该方法通过利用群不变性与调和分析，实现了对紧致度量空间上距离图的Lovász theta函数的高效计算。
• 在哈密顿立方体上，该方法通过布尔立方体上的傅里叶分析，基于对称张量与单项式，导出二元码的线性规划界。
• 在单位球面上，该方法利用调和多项式与正交群不变性，为球面码提供线性规划界。
• 对称张量与齐次多项式之间的同构保持内积，并与正交群作用可交换，确保了表示的一致性。
• 该框架支持无穷维SDP，为未来几何与组合优化研究提供了强大工具。