[論文レビュー] Colouring the Sphere

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

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

ひとこと要約

本稿は、ピーター・フラニクラルが提起した問題を解決し、R³における単位球面上のグラフ—頂点が直交する単位ベクトルである—の彩色数が正確に4であることを証明している。さらに、座標が有理数である単位ベクトルからなる部分グラフは、2進付値に基づく彩色により3彩色可能であり、直交制約を保つことを示している。

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.

研究の動機と目的

• R³内の単位ベクトルを頂点とし、直交するペア間に辺をもつグラフGの彩色数を特定すること。
• 直交するベクトルが異なる色を持つようなGの3彩色が存在するかを調査すること（すなわち、直交制約を満たす彩色）。
• 単位球面上の有理数点からなるGの部分グラフの彩色数を分析すること。
• グラフ彩色、非アーチメデス的付値、およびQおよびR上の射影幾何学との関係を調査すること。
• 全球面グラフは4色で十分であるが、有理数点は直交制約を保ったまま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の彩色数は正確に4である。
• 背理法を用いて、直交するベクトルが異なる色を持つようなGの3彩色は存在しないことが示された。これには、射影平面の3彩色とp進付値の応用が用いられた。
• 有理数点からなるGの部分グラフは、2進付値を用いて3彩色可能であり、色クラスは座標の偶奇性によって定義される。
• 有理数点の3彩色における各色クラスは、無理数回転により稠密な軌道を生成することによって、単位球面において稠密であることが示された。
• 有理数点部分グラフには単色の円が存在する。具体的には、固定された同じ色の有理数ベクトルと一定の内積を保つベクトルの集合である。
• Gの4彩色の存在は、有限の4彩色部分グラフの存在を示唆するが、本稿ではそのような有限部分グラフは明示的に構成されていない。