[論文レビュー] Packing Planes in Four Dimensions and Other Mysteries

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

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

ひとこと要約

本稿では、n次元部分空間（平面）をm次元ユークリッド空間に最適に配置するための新規なアプローチを提示する。弦距離（chordal distance）を微分可能指標として用いることで、70個の平面が8次元空間に、18個の平面が4次元空間に配置された極めて対称的な配置が発見された。主な貢献は、クラッフォード群（Clifford group）による群論的構成法であり、理論的限界に達する配置を生成し、高次元ユークリッド空間内の球面への埋め込み定理を用いて最適性を証明している。

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) $ 内の任意の配置が、$ D = (m+2)(m-1)/2 $ 次元の $ \mathbb{R}^D $ 内の球面の部分集合に対応することを示し、最適性の証明を可能にする。
• ガウスの二項係数 $ \binom{i}{k}_2 $ を用いて、完全特異部分空間から生成される不変部分空間の数を数え上げ、パラメータ化する。

実験結果

リサーチクエスチョン

• RQ1 測地線距離の微分不能性があるにもかかわらず、弦距離がグラスマン多様体空間における配置最適化に有効に用いられるか？
• RQ2 G(8,4) や G(4,2) などの高次元空間における平面の最適配置の構造的性質および対称性は何か？
• RQ3 クラッフォード群からの群論的構成法によって、理論的最適限界に達する無限族のグラスマン多様体配置を生成できるか？
• RQ4 正八面体型（orthoplex）および単体型（simplex）の限界がグラスマン多様体配置のサイズに対してタイトな上限を提供するか？ また、それらを構成的に達成できるか？
• 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個の平面が生成され、これも正八面体型限界に一致する。
• $ m^2 + m - 2 $ 個の点を持つ、$ G(2^m, 2^{m-1}) $ 内の無限族の配置が構成され、正八面体型限界に一致する。
• 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点配置を一般化するものである。