[论文解读] Colouring the Sphere

Chris Godsil, Joseph Zaks|arXiv (Cornell University)|Jan 2, 2012

Advanced Graph Theory Research参考文献 1被引用 6

一句话总结

该论文通过证明在 R³ 中单位球面上的图（顶点为正交单位向量）的色数恰好为四，解决了彼得·弗兰克尔提出的一个问题。此外，它进一步表明，由具有有理坐标单位向量诱导的子图是 3-可染色的，采用基于 2-进赋值的染色方法，该方法保持了正交性约束。

ABSTRACT

Let $G$ be the graph with the points of the unit sphere in $\mathbb{R}^3$ as its vertices, by defining two unit vectors to be adjacent if they are orthogonal as vectors. We present a proof, based on work of Hales and Straus chromatic number of this graph is four. We also prove that the subgraph of G induced by the unit vectors with rational coordinates is 3-colourable.

研究动机与目标

• 确定图 G 的色数，其顶点为 R³ 中的单位向量，边连接正交的向量对。
• 研究是否存在一种 3-染色方法，使得正交向量被赋予不同颜色。
• 分析由单位球面上有理点诱导的 G 的子图的色数。
• 探讨图染色、非阿基米德赋值以及 Q 和 R 上的射影几何之间的联系。
• 证明尽管整个球面图需要四种颜色，但有理点子图可实现保持正交性约束的 3-染色。

提出的方法

• 使用反证法证明，任何 G 的 3-染色都将诱导实射影平面上的 3-染色，并施加直线染色约束。
• 应用关于域上非阿基米德赋值的已知结果，特别是 Q 上的 p-进赋值，以构造潜在的染色方案。
• 分析 Q 上的 2-进赋值，以定义有理射影平面的 3-染色，该染色诱导出球面上有理点的染色。
• 通过轴向染色和八分量之间的对称性，显式构造整个球面图的 4-染色。
• 通过检查大圆和八分量上的颜色分配，验证 4-染色确保正交向量获得不同颜色。
• 利用旋转动力学和无理旋转角（例如满足 sin α = 3/5 的 α）证明每个颜色类在有理点中的稠密性。

实验结果

研究问题

• RQ1 在 R³ 中单位球面上定义的图 G 的色数是多少，其边连接正交单位向量？
• RQ2 是否存在一种 G 的 3-染色方法，使得正交向量被赋予不同颜色？
• RQ3 由单位球面上有理坐标单位向量诱导的 G 的子图是否是 3-可染色的，同时保持正交性约束？
• RQ4 非阿基米德赋值，特别是 Q 上的 p-进赋值，如何与有理射影平面及球面的 3-染色相关联？
• RQ5 在球面上有理点的 3-染色中，颜色类是否在全空间中保持稠密？

主要发现

• 在 R³ 中单位球面上、以正交关系为边的图 G 的色数恰好为四。
• 通过使用射影平面 3-染色和 p-进赋值的反证法，证明不存在使正交向量颜色不同的 G 的 3-染色。
• 通过 2-进赋值，有理点子图是 3-可染色的，颜色类由坐标的奇偶性定义。
• 在有理点的 3-染色中，每个颜色类在单位球面上都是稠密的，通过无理旋转生成稠密轨道得以证明。
• 在有理点子图中存在单色圆，具体指那些与固定同色有理向量保持恒定内积的向量集合。
• G 存在 4-染色的事实意味着存在有限 4-色子图，尽管本文未显式构造出此类有限子图。