[論文レビュー] A 64-dimensional two-distance counterexample to Borsuk's conjecture

Thomas Jenrich|arXiv (Cornell University)|Aug 1, 2013

Digital Image Processing Techniques参考文献 3被引用数 8

ひとこと要約

本稿は、64次元の416ベクトルからなる2距離集合を提示し、その直径を小さくするための部分集合に71個未満に分割できないことを示しており、64次元におけるボルスィの予想に対する最初の明示的2距離反例を提供する。この構成は、$G_2(4)$強正則グラフと独自のプログラム（G24CHK）による計算的検証を活用しており、以前の65次元反例から最小次元を1つ低くした。

ABSTRACT

In 1933 Karol Borsuk asked whether each bounded set in the n-dimensional Euclidean space can be divided into n+1 parts of smaller diameter. The diameter of a set is defined as the supremum (least upper bound) of the distances of contained points. Implicitly, the whole set is assumed to contain at least two points. The hypothesis that the answer to that question is positive became famous under the name Borsuk's conjecture. Beginning with Jeff Kahn and Gil Kalai, from 1993 to 2003 several authors have proved that in certain (almost all) high dimensions such a division is not generally possible. In a paper published in 2013, Andriy V. Bondarenko constructed a 65-dimensional two-distance set of 416 vectors that cannot be divided into less than 84 parts of smaller diameter. That was not just the first known two-distance counterexample to Borsuk's conjecture but also a considerable reduction of the lowest known dimension the conjecture fails in in general. This article presents a 64-dimensional subset of the vector set mentioned above that cannot be divided into less than 71 (by A. Bondarenko 72) parts of smaller diameter, that way delivering a two-distance counterexample to Borsuk's conjecture in dimension 64. The contained proof relies on the results of some (combinatorial) calculations. The additionally (in the source package) provided small computer program G24CHK needs about one second for that task on a 1 GHz Intel PIII. Meanwhile a short paper by this author and Andries E. Brouwer that follows the principal idea of this article but avoids the extensive computational part has been submitted to The Electronic Journal of Combinatorics.

研究の動機と目的

• 64次元ユークリッド空間における2距離集合を構成し、ボルスィの予想（任意の有界集合はn次元空間でn+1個の直径が小さい部分集合に分割可能である）に反する例を提示すること。
• ボルスィの予想が成立しない最小次元を低くするために、65次元の例から改善し、64次元での反例を構成すること。
• 64次元における2距離集合が、71個未満の直径が小さい部分集合に分割できないことを、計算的に検証された明示的構成により提示すること。
• $G_2(4)$強正則グラフの幾何的表現が、高い対称性と直径制約を持つ集合を生成し、効率的な分割を妨げる理由を示すこと。

提案手法

• パラメータ (416, 100, 36, 20) の $G_2(4)$強正則グラフは、隣接行列と固有値分解を用いて65次元空間内の416個のベクトルとして実現可能である。
• ベクトルは、固有値 -4 に対応する固有空間への射影によって64次元空間に埋め込まれ、環境次元を65から64に削減しながら、対象間の距離を保存する。
• 集合の直径は、ベクトル間の二乗距離を計算することで分析され、隣接頂点間では144（距離12）、非隣接頂点間では192（距離13.856）となり、2距離集合を形成する。
• 320個のベクトルからなる部分集合 $C$ が特定され、5個の頂点からなる64個のクリークに分割され、それぞれの同型集合（iso-sets）の共通部分が3個であることが保証され、直径が小さい64個の部分集合への有効な分割が可能となる。
• 独自のPascalプログラムG24CHKを用いて構造を検証：グラフの構築、同型集合の計算、および部分集合 $B_1$、$B_2$、$B_3$、$C$ 間の隣接度数の確認。
• 証明は、部分集合 $C$ のベクトルの張る空間の次元が63以下であることに依拠しており、これは $C$ の直径が元の集合より小さい部分集合に分割できる最小数が64であることを示唆する。一方、64分割が有効であることは、全集合に対しては71個の部分集合が必要であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 64次元ユークリッド空間における2距離集合を、ボルスィの予想に反する形で構成可能か？
• RQ2 64次元における2距離集合を、直径が小さい部分集合に分割するのに必要な最小数は何か？
• RQ3 $G_2(4)$グラフの64次元における幾何的表現が、分割によって低下しない一定の下限に達する直径を持つ集合を生成するか？
• RQ4 計算的手法により、64次元の2距離集合が71個未満の直径が小さい部分集合に分割できないことを検証可能か？
• RQ5 65次元の既知の反例の次元を、2距離集合を用いて64次元にまで低くできるか？

主な発見

• 64次元における416ベクトルの2距離集合が構成され、その直径を小さくするための部分集合に71個未満に分割できないことが示され、64次元におけるボルスィの予想に対する反例を提供する。
• 計算的検証により、この集合を覆うために必要な直径が小さい部分集合の最小数は71個であることが確認された。この検証にはG24CHKプログラムが使用された。
• 集合は、416頂点とパラメータ (416, 100, 36, 20) を持つ $G_2(4)$強正則グラフに基づき、固有値 -4 の固有空間への射影によって64次元に埋め込まれた。
• 320個のベクトルからなる部分集合 $C$ の次元は63以下であるため、直径が小さい64個の部分集合に分割可能であるが、全集合に対しては少なくとも71個の部分集合が必要である。
• G24CHKプログラムは、1GHzのIntel PIII上で1秒未満で実行され、隣接度数と部分集合構造の検証に成功し、分割制約を確認した。
• この構成により、2距離反例としての既知の最小次元が65から64に低くされた。これにより、以前の65次元例に残されていたギャップが埋められた。