[論文レビュー] The 2-page crossing number of $K_n$

Bernardo M. Ábrego, Oswin Aichholzer+3 more|arXiv (Cornell University)|Jun 25, 2012

Computational Geometry and Mesh Generation参考文献 12被引用数 6

ひとこと要約

本稿は、完全グラフ $K_n$ の2ページ交叉数が正確に $Z(n) = \frac{1}{4}\left\lfloor\frac{n}{2}\right\rfloor\left\lfloor\frac{n-1}{2}\right\rfloor\left\lfloor\frac{n-2}{2}\right\rfloor\left\lfloor\frac{n-3}{2}\right\rfloor$ に一致することを証明し、長年の予想を裏付ける。著者らは、$k$-エッジおよび $\leq\leq k$-エッジの位相的一般化を導入し、非幾何的図形に対しても組合せ的ツールを拡張し、交叉数を最小化する2ページブック図形の特徴付けを示した。偶数 $n$ に対しては同値性の意味で一意であり、奇数 $n$ に対しては指数的多様性を示した。主結果として、$K_n$ に対する2ページ交叉数問題が解決された。

ABSTRACT

Around 1958, Hill described how to draw the complete graph $K_n$ with [Z(n) :=1/4\lfloor \frac{n}{2} floor \lfloor \frac{n-1}{2} floor \lfloor \frac{n-2}{2}% floor \lfloor \frac{n-3}{2} floor] crossings, and conjectured that the crossing number $\crg (K_{n})$ of $K_n$ is exactly Z(n). This is also known as Guy's conjecture as he later popularized it. Towards the end of the century, substantially different drawings of $K_{n}$ with Z(n) crossings were found. These drawings are \emph{2-page book drawings}, that is, drawings where all the vertices are on a line $\ell$ (the spine) and each edge is fully contained in one of the two half-planes (pages) defined by $\ell$. The \emph{2-page crossing number} of $K_{n} $, denoted by $ν_{2}(K_{n})$, is the minimum number of crossings determined by a 2-page book drawing of $K_{n}% $. Since $\crg(K_{n}) \leν_{2}(K_{n})$ and $ν_{2}(K_{n}) \le Z(n)$, a natural step towards Hill's Conjecture is the %(formally) weaker conjecture $ν_{2}(K_{n}) = Z(n)$, popularized by Vrt'o. %As far as we know, this natural %conjecture was first raised by Imrich Vrt'o in 2007. %Prior to this paper, results known for $ν_2(K_n)$ were basically %the same as for $\crg (K_n)$. Here In this paper we develop a novel and innovative technique to investigate crossings in drawings of $K_{n}$, and use it to prove that $ν_{2}(K_{n}) = Z(n) $. To this end, we extend the inherent geometric definition of $k$-edges for finite sets of points in the plane to topological drawings of $K_{n}$. We also introduce the concept of ${\leq}{\leq}k$-edges as a useful generalization of ${\leq}k$-edges and extend a powerful theorem that expresses the number of crossings in a rectilinear drawing of $K_{n}$ in terms of its number of $(\le k)$-edges to the topological setting.

研究の動機と目的

• 2ページ交叉数 $\nu_2(K_n)$ が $Z(n)$ に等しいという予想を検証する。これはヒルの有名な交叉数予想の弱い形である。
• $K_n$ の抽象的図形に一般化された幾何的概念（$k$-エッジ、$\leq k$-エッジ）を位相的枠組みで定式化する。
• すべての交叉数を最小化する2ページブック図形を特徴づけ、それらの数をホメオモーフィズムおよび同型の意味で同定する。
• 直線的図形から得られた結果を拡張し、$\leq\leq k$-エッジを用いた位相的交叉数公式を確立する。
• 計算的列挙に依存せずに、$\nu_2(K_n) = Z(n)$ を構造的・組合せ的証明で示す。

提案手法

• 良い図形における三角形の向きを用いてエッジの向きを定義することで、$k$-エッジの位相的一般化を導入し、幾何的設定を超えた組合せ的解析を可能にする。
• $\leq\leq k$-エッジを、位相的図形における累積的エッジ数を捉えるために、$\leq k$-エッジの一般化として定義する。
• 位相的図形における交叉数公式の位相的バージョンを証明し、$\leq\leq k$-エッジを用いて交叉数を表現する。これは、既知の直線的図形における結果を拡張する。
• 一般化された $\leq\leq k$-エッジフレームワークを用いて、2ページブック図形における交叉数の下界を導出する。
• $Z(n)$ 個の交叉を達成する2ページブック図形の明示的族を構成し、新開発のエッジ数カウント機構を用いてそれが最小交叉であることを証明する。
• 対称性および自己同型の議論を適用し、非同値図形を分類し、偶数 $n$ に対して一意性、奇数 $n$ に対して指数的増加を示す。

実験結果

リサーチクエスチョン

• RQ1 2ページ交叉数 $\nu_2(K_n)$ の正確な値は何か？ それは $Z(n)$ に等しいか？
• RQ2 $k$-エッジの概念を幾何的図形から位相的図形に一般化する方法は何か？ これにより $K_n$ の組合せ的解析がどのように可能になるか？
• RQ3 偶数および奇数 $n$ に対して、交叉数を最小化する2ページブック図形の構造と数は何か？
• RQ4 幾何的図形で成立する不等式 $E_{\leq k}(P) \geq 3\binom{k+2}{2}$ は、一般に位相的図形に対しても成り立つか？ そうでない場合、証明を可能にする代替枠組みは何か？
• RQ5 2ページ図形の対称性および自己同型は、非同値な交叉数最小図形の数にどのように影響するか？

主な発見

• 2ページ交叉数 $\nu_2(K_n)$ は正確に $Z(n)$ に等しく、$\nu_2(K_n) = Z(n)$ であるという予想がすべての $n$ に対して裏付けられた。
• 偶数 $n$ に対しては、同値性の意味で、交叉数を最小化する2ページブック図形は一意に定まる。
• 奇数 $n$ に対しては、少なくとも $2^{(n-5)/2}$ 個の非ホメオモーフィックな交叉数を最小化する2ページブック図形が存在し、$n=37$ まで正確な数が計算された。
• 非同値な交叉数最小2ページ図形の数は漸近的に約 $2^{0.54n}$ に成長し、下界 $2^{(n-5)/2}$ に近く、非常に近い。
• 幾何的図形で成立する不等式 $E_{\leq k}(D) \geq 3\binom{k+2}{2}$ は、一般に位相的図形では成り立たないため、$\leq\leq k$-エッジの導入が不可欠であった。
• 対称性に基づく構成により、交叉数を最小化する図形の明示的特徴づけが達成され、すべてのこのような図形が、ある基本図形を群作用によって生成することが示された。