[论文解读] Packing Planes in Four Dimensions and Other Mysteries

N. J. A. Sloane|ArXiv.org|Aug 2, 2002

Cellular Automata and Applications参考文献 15被引用 15

一句话总结

本文提出了一种新颖的方法，利用弦距离作为可微分度量，在 m 维欧几里得空间中构造 n 维子空间（平面）的最优排列，从而发现了高度对称的配置，例如 8 维空间中的 70 个平面和 4 维空间中的 18 个平面。关键贡献是通过克莱夫福德群的群论构造方法，生成满足理论界限的排列，并通过高维欧几里得空间中球面的嵌入定理证明其最优性。

ABSTRACT

How should you choose a good set of (say) 48 planes in four dimensions? More generally, how do you find packings in Grassmannian spaces? In this article I give a brief introduction to the work that I have been doing on this problem in collaboration with A. R. Calderbank, J. H. Conway, R. H. Hardin, E. M. Rains and P. W. Shor. We have found many nice examples of specific packings (70 4-spaces in 8-space, for instance), several general constructions, and an embedding theorem which shows that a packing in Grassmannian space G(m,n) is a subset of a sphere in R^D, where D = (m+2)(m-1)/2, and leads to a proof that many of our packings are optimal. There are a number of interesting unsolved problems.

研究动机与目标

• 解决在 R^m 中寻找 N 个 n 维子空间的最优排列问题，以最大化其相互之间的角分离度。
• 通过引入弦距离作为测地距离在格拉斯曼空间中不可微性问题的更优优化度量，克服该问题。
• 利用群作用（特别是克莱夫福德群）在格拉斯曼空间 G(m,n) 中显式构造高度对称的打包配置。
• 通过将打包嵌入高维欧几里得空间中的球面，证明某些打包的最优性。

提出的方法

• 使用弦距离 $ d_c(P,Q) = \sqrt{\sum_{i=1}^n \sin^2 \theta_i} $ 作为测地距离的可微分替代度量，用于数值优化。
• 应用数值优化技术，在格拉斯曼空间中搜索具有最大最小弦距离的打包配置。
• 利用克莱夫福德群在向量空间 $ V $ 上的作用，从 $ \bar{E} $ 的完全奇异子空间生成不变子空间，从而获得结构化的打包配置。
• 推导出一个构造定理（定理 3），在 $ G(2^i, 2^k) $ 中生成 $ N = 2^{i-k} \binom{i}{k}_2 \prod_{j=k}^{i-1}(2^j + 1) $ 个平面，最小距离为 $ d = 2^{(k-1)/2} $。
• 利用嵌入定理证明，任何 $ G(m,n) $ 中的打包都对应于 $ \mathbb{R}^D $ 中的一个球面子集，其中 $ D = (m+2)(m-1)/2 $，从而实现最优性证明。
• 利用高斯二项式系数 $ \binom{i}{k}_2 $ 对由完全奇异子空间生成的不变子空间数量进行计数和参数化。

实验结果

研究问题

• RQ1 尽管测地距离在格拉斯曼空间中不可微，弦距离是否能有效用于优化打包？
• RQ2 在高维空间（如 G(8,4) 或 G(4,2)）中，平面最优打包的结构和对称性特征是什么？
• RQ3 能否通过克莱夫福德群的群论构造方法生成满足理论最优界限的无限组格拉斯曼打包？
• RQ4 正八面体界和单纯形界是否为格拉斯曼打包大小的紧致界限，且能否被构造性地实现？
• RQ5 是否存在无限组满足正八面体界的打包配置，存在于 $ G(2^m, 2^{m-1}) $ 中，且可递归构造？

主要发现

• 该构造在 $ G(8,4) $ 中生成了 70 个平面，弦距离 $ d = 2^{(k-1)/2} = 2^{1/2} $，达到正八面体界，因此被证明为最优。
• 当 $ i=2, k=1 $ 时，该构造在 $ G(4,2) $ 中生成了 18 个平面，同样达到正八面体界。
• 构造出一个无限组打包配置，存在于 $ G(2^m, 2^{m-1}) $ 中，包含 $ m^2 + m - 2 $ 个点，且达到正八面体界。
• 当 $ k=0 $ 时，该构造在 $ G(2^i,1) $ 中生成 $ (2+2)(2^2+2)\cdots(2^i+2) $ 条直线，最小角为 $ \pi/4 $，与已知的巴恩斯-沃特定理结果一致。
• 本文通过球面嵌入定理证明了 $ G(4,2) $ 中的 18 点打包和 $ G(8,4) $ 中的 70 点打包为最优。
• 对于 $ G(p, (p-1)/2) $，存在满足单纯形界的打包配置的猜想，包含 $ p(p+1)/2 $ 个点，推广了 $ G(7,3) $ 中的 28 点打包。