[论文解读] Moments of isotropic measures and optimal projective codes

Alexey Glazyrin|arXiv (Cornell University)|Apr 25, 2019

Mathematical Approximation and Integration参考文献 70被引用 4

一句话总结

本文提出了一种线性规划框架，用于推导实数、复数和四元数空间中各向同性测度矩的紧上界，进而建立投影码中 $p$-框架能量的新下界。关键结果通过证明 $K^d$ 中各向同性测度的 $q$-阶矩被限制在 $\beta^q + \frac{1 - \beta^q}{M}$ 以内，解决了 Bukh 和 Cox 的一个猜想，其中等号在 $d = 2,3,7,23$（$K=\mathbb{R}$）、$d=3$（$K=\mathbb{H}$）以及在 $K=\mathbb{C}$ 情况下猜想对所有 $d$ 成立时达到，$\beta = \sqrt{\frac{1}{d + 2(dim_{\mathbb{R}}K)^{-1}}}$ 且 $M = d + \frac{d^2 - d}{2} dim_{\mathbb{R}}K$。

ABSTRACT

In this paper, we use the linear programming approach to find new upper bounds for the moments of isotropic measures. These bounds are then utilized for finding lower packing bounds and energy bounds for projective codes. We also show that the obtained energy bounds are sharp for several infinite families of codes.

研究动机与目标

• 将线性规划方法扩展至 $\mathbb{R}^d$、$\mathbb{C}^d$ 和 $\mathbb{H}^d$ 中各向同性测度的矩进行有界处理。
• 利用这些矩界推导投影码中 $p$-框架能量势的新的下界。
• 解决 Bukh 和 Cox 关于各向同性测度首阶矩界紧致性的猜想。
• 构造无穷多组投影码，使得推导出的能量界是紧致的。
• 通过 Gale 变换与 Hölder 不等式，推广投影码与紧框架之间的对偶性。

提出的方法

• 将 Yudin 型线性规划方法适配于 $K = \mathbb{R}, \mathbb{C}, \mathbb{H}$ 的 $K^d$ 中的各向同性测度。
• 推导出 $q$-阶矩在 $q \in [1,2]$ 时的一般线性规划上界。
• 使用上界 $\beta^q + \frac{1 - \beta^q}{M}$，其中 $\beta = \sqrt{\frac{1}{d + 2(dim_{\mathbb{R}}K)^{-1}}}$ 且 $M = d + \frac{d^2 - d}{2} dim_{\mathbb{R}}K$。
• 将矩界应用于推导投影码上 $p$-框架能量势的下界。
• 通过紧框架的 Gale 对偶性导出的一族单参数 Gram 矩阵构造最小化配置。
• 通过证明在极大投影单形上的均匀分布时等号成立，验证界值的紧致性。

实验结果

研究问题

• RQ1 在 $K = \mathbb{R}, \mathbb{C}, \mathbb{H}$ 时，$K^d$ 中各向同性测度的 $q$-阶矩的最优上界是什么？
• RQ2 线性规划方法能否被扩展以推导投影码上 $p$-框架势能的紧致能量界？
• RQ3 Bukh 和 Cox 关于各向同性测度首阶矩界紧致性的猜想是否成立？
• RQ4 对于哪些无穷多组投影码，所推导出的能量界是紧致的？
• RQ5 Gale 对偶性能否通过函数不等式将投影码的能量与紧框架联系起来？

主要发现

• 在 $K^d$ 中，各向同性测度的 $q$-阶矩上界为 $\beta^q + \frac{1 - \beta^q}{M}$，其中 $\beta = \sqrt{\frac{1}{d + 2(dim_{\mathbb{R}}K)^{-1}}}$ 且 $M = d + \frac{d^2 - d}{2} dim_{\mathbb{R}}K$。
• 该上界仅在极大投影单形上的均匀分布时达到紧致性，这些单形存在于 $K = \mathbb{R}$ 时 $d = 2,3,7,23$，$K = \mathbb{H}$ 时 $d = 3$，且在 $K = \mathbb{C}$ 时猜想对所有 $d$ 均存在。
• 本文通过证明 Bukh 和 Cox 的首阶矩界是本研究一般结果在 $q = 1$ 时的特例，解决了他们的猜想。
• 利用矩界，推导出 $\mathbb{R}^d$、$\mathbb{C}^d$ 和 $\mathbb{H}^d$ 中投影码的 $p$-框架能量势的新下界。
• 构造了无穷多组投影码，使得推导出的能量界是紧致的，包括 $\mathbb{R}^4$ 中 6 点码的一族单参数最小化 Gram 矩阵。
• 对于 $\mathbb{R}^4$ 中的 6 点码，最小化配置形成一条由参数 $\alpha = 1 + \frac{1}{1 + 2^{\frac{p-2}{p-1}}}$ 参数化的矩阵线段，其中 $\alpha \in [\frac{4}{3}, \frac{3}{2}]$，共产生 32 个不同的最小化 Gram 矩阵。