[论文解读] Counterexamples to Borsuk's conjecture on spheres of small radii

Андрей Борисович Купавский, А. М. Райгородский|arXiv (Cornell University)|Oct 3, 2010

Digital Image Processing Techniques参考文献 6被引用 5

一句话总结

该论文在高维欧氏空间中构造了半径 r > 1/2 的球面上 Borsuk 猜想的反例。证明了对于任意 r > 1/2，存在一个维度 d₀，使得对所有 d ≥ d₀，存在一个位于球面 Sᵣ^{d−1} 上、直径为 1 的集合，无法被划分为 d+1 个更小直径的子集，从而否定了此类球面上的 Borsuk 猜想，并表明所需部分数的增长快于 d 的线性增长。

ABSTRACT

In this work, the classical Borsuk conjecture is discussed, which states that any set of diameter 1 in the Euclidean space $ {\mathbb R}^d $ can be divided into $ d+1 $ parts of smaller diameter. During the last two decades, many counterexamples to the conjecture have been proposed in high dimensions. However, all of them are sets of diameter 1 that lie on spheres whose radii are close to the value $ {1}{\sqrt{2}} $. The main result of this paper is as follows: {\it for any $ r > {1}{2} $, there exists a $ d_0 $ such that for all $ d \ge d_0 $, a counterexample to Borsuk's conjecture can be found on a sphere $ S_r^{d-1} \subset {\mathbb R}^d $.

研究动机与目标

• 证明在高维空间中，位于半径 r > 1/2 的球面上、直径为 1 的集合的 Borsuk 猜想不成立。
• 展示 Borsuk 猜想的反例不仅存在于接近半径 1/√2 的球面上，也存在于距离半径 1/2 任意近的球面上。
• 建立将此类集合划分为更小直径部分的最小部分数的下界，表明当 d 足够大时，该值超过 d+1。
• 确定 r(d) = 1/2 + φ(d) 的临界行为，其中猜想失效或成立，从而缩小已知界限之间的差距。

提出的方法

• 在 ℝ^d 中的球面 Sᵣ^{d−1} 上构造直径为 1 的有限集合，其中 r > 1/2。
• 使用极值组合学与多项式优化技术，对划分直径为 1 的集合所需的最小部分数 f_r(d) 进行上界估计。
• 应用先前关于 Borsuk 问题研究中多项式方法的变体，聚焦于在特定多项式类上最大化 |h(−n)|/h(n)。
• 通过从整数格 ℤⁿ 中选取具有固定 ℓ²-范数的子集，提出一种在球面上构造集合的新方法，以确保直径一致。
• 分析所得集合 Ω′ 的维数，以改进对 f_r(d) 的界限，表明对于固定的 r > 1/2，其增长快于 d 的任意多项式。
• 使用渐近分析确定 r(d) = 1/2 + φ(d) 的临界行为，根据 φ(d) = o(1) 和 φ(d) = O(1/d) 区分 f_r(d) > d+1 或 f_r(d) ≤ d+1 的情形。

实验结果

研究问题

• RQ1 Borsuk 猜想是否可以被证伪，即使在 r 接近 1/2 的半径 r > 1/2 的球面上，对直径为 1 的集合也成立？
• RQ2 f_r(d)，即划分位于 Sᵣ^{d−1} 上直径为 1 的集合所需的更小直径部分的最小数量，其渐近增长速率如何？
• RQ3 是否存在一个阈值函数 r(d) = 1/2 + φ(d)，使得对足够大的 d 有 f_r(d) > d+1，且 φ(d) 的最小可能值是多少？
• RQ4 该构造能否被改进，以提高 r > 1/2 时 f_r(d) 的下界，特别是在 r(d) → 1/2（当 d → ∞）的区域？
• RQ5 作为 r(d) 的函数，f_r(d) ≤ d+1 与 f_r(d) > d+1 的精确边界在哪里？

主要发现

• 对于任意 r > 1/2，存在 d₀(r)，使得对所有 d ≥ d₀，存在一个集合 Ω ⊂ Sᵣ^{d−1}，其直径为 1，但无法被划分为 d+1 个更小直径的子集。
• 对于任意 r > 1/2，当 d 足够大时，有 f_r(d) > d+1，且实际上 f_r(d) ≥ (c + δ)^{√[2k]{d}}，其中 c > 1，δ = o(1)，k ∈ ℕ。
• 当 r(d) = 1/2 + φ(d) 且 φ(d) ≥ c (ln ln d)/ln d（c > 0 足够大）时，对所有充分大的 d，有 f_r(d) > d+1。
• 若 r(d) = 1/2 + φ(d) 且 φ(d) = O(1/d)，则 f_r(d) ≤ d+1，表明在此阈值处行为发生急剧转变。
• φ(d) = O(1/d) 与 φ(d) = Θ((ln ln d)/ln d) 之间的差距仍为开放问题，表明此处存在一个临界区域，f_r(d) 的行为可能发生改变。