[论文解读] Borsuk's Conjecture Fails in Dimensions 321 and 322

Oleg Pikhurko|ArXiv.org|Feb 12, 2002

Limits and Structures in Graph Theory参考文献 6被引用 7

一句话总结

本文证明了在维度321时，博苏克猜想不成立，即构造出一个在ℝ³²¹中的集合，该集合无法被划分为少于333个直径更小的子集。通过在李希 lattice 的单位向量上使用组合论证，作者识别出一个位于321维仿射子空间中的大子集，利用辛里希斯已知的直径界，确立了f(321)的下限。

ABSTRACT

Borsuk's conjecture states that any bounded set in R^n can be partitioned into n+1 sets of smaller diameter. It is known to be false for all n bigger or equal to 323. Here we show that Borsuk's conjecture fails in dimensions 321 and 322. (This result has been independently discovered by Hinrichs and Richter.)

研究动机与目标

• 确定博苏克猜想失效的最小维度，即满足f(n) > n + 1的最小n。
• 在先前结果的基础上，进一步改进n₀ = min{n ∈ ℕ | f(n) > n + 1}的上界。
• 证明f(321) ≥ 333，表明猜想在维度321及更高维均不成立。
• 通过在322维仿射子空间中构造类似集合，将结果推广至维度322。

提出的方法

• 利用李希 lattice Λ₂₄ 及其单位向量子集M，通过三种坐标模式明确描述该子集。
• 应用线性映射Φ: ℝ²⁴ → ℝ³²⁴，将M嵌入ℝ³²⁴，保持与直径相关的几何性质。
• 构造一个二部图G，其顶点为M中的向量与{1,…,24}的三元子集，当三个坐标绝对值相等时连接向量与三元组。
• 使用双重计数法证明存在某个三元子集{k,l,m}，其关联的M中向量不少于116,424个，从而形成子集N ⊂ M。
• 证明Φ(N)位于ℝ³²⁴中的一个321维仿射子空间中，且Φ(M)的直径保持不变，如辛里希斯所建立。
• 应用辛里希斯的结果：任何直径小于diam(Φ(M))的Φ(M)子集至多包含350个元素，由此推导出f(321)的下限。

实验结果

研究问题

• RQ1 满足f(n) > n + 1的最小维度n是多少，即博苏克猜想失效的最小维度？
• RQ2 能否将n₀的上界降低至323以下，即此前已知的最佳界？
• RQ3 在ℝ³²¹中是否存在一个有界集合，其划分需超过322个严格更小直径的子集？
• RQ4 在李希 lattice 中是否存在类似构造，可在维度321和322中产生反例？

主要发现

• 本文确立了f(321) ≥ 333，证明博苏克猜想在维度321时不成立。
• 构造了一个子集N ⊂ M，满足|N| ≥ 116,424，使得Φ(N)位于ℝ³²⁴中的一个321维仿射子空间中。
• Φ(N)的直径等于Φ(M)的直径，且由于任何更小直径的子集至多包含Φ(M)的350个点，因此至少需要116,424 / 350 > 332个部分。
• 该结果意味着对所有n ≥ 321，均有f(n) > n + 1，因此博苏克猜想在321维及更高维均不成立。
• 通过类似构造，得到一个大小为143,136的子集K ⊂ M，使得Φ(K)位于一个322维仿射子空间中，从而推出f(322) ≥ 409。
• 该结果经辛里希斯与里希特独立验证，他们亦声称通过在集合L = {(x₁,…,x₂₄) ∈ M | x₁ = x₂}上使用不同构造，证明了n₀ ≤ 298。