[论文解读] Proof of Schur's conjecture in $\mathbb R^d$

Andrey Kupavskii, Alexandr Polyanskii|arXiv (Cornell University)|Feb 15, 2014

Limits and Structures in Graph Theory参考文献 8被引用 3

一句话总结

本文证明了 $\mathbb{R}^d$ 中的舒尔猜想，表明任意在 $n$ 个顶点上的直径图最多包含 $n$ 个大小为 $d$ 的团。证明依赖于一个关键的几何引理，该引理涉及 $\mathbb{R}^d$ 中单位正则单形及其相互距离的性质，证明了任意两个这样的单形要么至少共享 $d-2$ 个顶点，要么来自不同单形的一对顶点之间的距离大于 1。该结果可推广至半径 $r > 1/\sqrt{2}$ 的球面上的直径图。

ABSTRACT

In this paper we prove Schur's conjecture in $\mathbb R^d$, which states that any diameter graph $G$ in the Euclidean space $\mathbb R^d$ on $n$ vertices may have at most $n$ cliques of size $d$. We obtain an analogous statement for diameter graphs with unit edge length on a sphere $S^d_r$ of radius $r>1/\sqrt 2$. The proof rests on the following statement, conjectured by F. Morić and J. Pach: given two unit regular simplices $Δ_1,Δ_2$ on $d$ vertices in $\mathbb R^d$, either they share $d-2$ vertices, or there are vertices $v_1\in Δ_1,v_2\in Δ_2$ such that $\|v_1-v_2\|>1$. The same holds for unit simplices on a $d$-dimensional sphere of radius greater than $1/\sqrt 2$.

研究动机与目标

• 解决舒尔猜想，即 $\mathbb{R}^d$ 中任意 $n$ 个顶点的直径图最多包含 $n$ 个大小为 $d$ 的团。
• 建立舒尔猜想在半径 $r > 1/\sqrt{2}$ 的球面上的球面对应形式。
• 证明 F. Morić 与 J. Pach 关于 $\mathbb{R}^d$ 中单位正则单形相互距离的几何猜想。
• 为理解欧氏空间与球面上直径图的极值性质提供统一框架。

提出的方法

• 证明一个几何引理：$\mathbb{R}^d$ 中的两个单位正则单形要么共享 $d-2$ 个顶点，要么来自不同单形的一对顶点之间的距离 $>1$。
• 在球面雷诺劳克斯单形上使用递归投影论证，通过降低包含某点的区域的维度，同时增加其与固定顶点的距离。
• 应用球面余弦定理的版本，并通过三角不等式在球面与欧氏几何中的比较进行度量分析。
• 通过几何投影与度量空间中的距离比较，隐式使用 Kirszbraun 定理。
• 通过连续形变论证与半径相关的度量控制，将欧氏情形的结果转移至球面情形。
• 在凸包边界上使用归纳法与极值点分析，以在几何约束下最大化距离。

实验结果

研究问题

• RQ1 任意在 $\mathbb{R}^d$ 中具有 $n$ 个顶点的直径图是否最多包含 $n$ 个大小为 $d$ 的团？
• RQ2 舒尔猜想能否推广至半径 $r > 1/\sqrt{2}$ 的球面上的直径图？
• RQ3 若两个 $\mathbb{R}^d$ 中的单位正则单形不共享 $d-2$ 个顶点，是否必存在来自不同单形的一对顶点，其距离 $>1$？
• RQ4 在大半径下，球面度量约束是否保持直径图中 $d$-团数量的极值界？

主要发现

• 舒尔猜想在 $\mathbb{R}^d$ 中被完全解决：任意 $n$ 个顶点的直径图最多包含 $n$ 个大小为 $d$ 的团。
• 对于半径 $r > 1/\sqrt{2}$ 的球面 $S^d_r$，舒尔猜想的球面对应形式成立，即直径图最多包含 $n$ 个大小为 $d$ 的团。
• F. Morić 与 J. Pach 的几何猜想已得证：$\mathbb{R}^d$ 中的两个单位正则单形要么共享 $d-2$ 个顶点，要么存在一对顶点（分别来自不同单形）之间的距离 $>1$。
• 该结果可推广至半径 $r > 1/\sqrt{2}$ 的球面 $d$-单形（边长为单位长度）的情形，结论在相互距离与团数方面保持一致。
• 通过在球面区域上迭代投影与距离最大化的方法，有效降低了维度，同时保持或增加了与固定点的距离。
• 该方法在直径图中 $d$-团数量上建立了紧致界，证实了离散几何中一个长期存在的猜想。