[論文レビュー] Shellable drawings and the cylindrical crossing number of $K_n$

Bernardo M. Ábrego, Oswin Aichholzer+3 more|arXiv (Cornell University)|Sep 14, 2013

Computational Geometry and Mesh Generation参考文献 7被引用数 4

ひとこと要約

本稿では、完全グラフ $K_n$ の s-可解描画の概念を導入し、$s \geq 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$ 個の交差を達成することで、ハリー＝ハイル予想を証明する。主な貢献は、従来別個に研究されてきたシリンダーデザイン、$x$-有界デザイン、単調デザイン、2ページ描画—これらすべてが s-可解であることを示し、それらのクラスにおける予想される交差数が正当化されることを確認したことである。

ABSTRACT

The Harary-Hill Conjecture States that the number of crossings in any drawing of the complete graph $ K_n $ in the plane is at least $Z(n):=\frac{1}{4}\left\lfloor \frac{n}{2} ight floor \left\lfloor\frac{n-1}{2} ight floor \left\lfloor \frac{n-2}{2} ight floor\left\lfloor \frac{n-3}{2} ight floor$. In this paper, we settle the Harary-Hill conjecture for {\em shellable drawings}. We say that a drawing $D$ of $ K_n $ is {\em $ s $-shellable} if there exist a subset $ S = \{v_1,v_2,\ldots,v_ s\}$ of the vertices and a region $R$ of $D$ with the following property: For all $1 \leq i < j \leq s$, if $D_{ij}$ is the drawing obtained from $D$ by removing $v_1,v_2,\ldots v_{i-1},v_{j+1},\ldots,v_{s}$, then $v_i$ and $v_j$ are on the boundary of the region of $D_{ij}$ that contains $R$. For $ s\geq n/2 $, we prove that the number of crossings of any $ s $-shellable drawing of $ K_n $ is at least the long-conjectured value Z(n). Furthermore, we prove that all cylindrical, $ x $-bounded, monotone, and 2-page drawings of $ K_n $ are $ s $-shellable for some $ s\geq n/2 $ and thus they all have at least $ Z(n) $ crossings. The techniques developed provide a unified proof of the Harary-Hill conjecture for these classes of drawings.

研究の動機と目的

• 完全グラフ $K_n$ の広範な描画クラスに対してハリー＝ハイル予想を解消するため、構造的性質である可解性を統一的に導入すること。
• s ≥ n/2 を満たす s-可解描画が、予想される最小交差数 $Z(n)$ を達成することを示すこと。
• 2ページ描画とシリンダーデザインに関する先行研究を統合し、これらがすべて s-可解描画の特殊な場合であることを示すこと。
• 単調および $x$-有界描画に対して下界を拡張し、これらが従来別個に証明されていたことを確認すること。

提案手法

• 部分集合 $S = \{v_1, \dots, v_s\}$ と領域 $R$ を用いて、$i < j$ に対して頂点 $v_i$ と $v_j$ が、特定の頂点を除いた部分描画 $D_{ij}$ において $R$ を含む領域の境界上にあるような s-可解描画の概念を導入する。
• サイクル $C = v_1v_2\dots v_s$ を用いて可解性の十分条件を確立し、$v_1v_s$ が交差を含まず、辺 $v_kv_{k+1}$ が $i < k$ かつ $j > k+1$ を満たす $v_iv_j$ のみと交差するようにする。
• サイクル条件を満たす描画が s-可解であることを証明し、これにより主要定理の適用が可能になることを示す。
• シリンダーデザインに、サイズが少なくとも $n/2$ の交差のないサイクルが存在することを示し、したがって s-可解であり、ハリー＝ハイルの境界を満たすことを示す。
• $x$-有界および単調描画がサイクル条件を満たすことを示し、したがって s-可解であり、$Z(n)$ 個以上の交差を達成することを示す。
• 一般に、$s \geq n/2$ である s-可解描画は少なくとも $Z(n)$ 個の交差を持つことを用いて、先行研究を統合的かつ一般化する。

実験結果

リサーチクエスチョン

• RQ1 既知の構成を超えて、広範な描画クラスに対してハリー＝ハイル予想を証明できるか？
• RQ2 シリンダーデザイン、$x$-有界、単調、2ページ描画はすべて最小交差数 $Z(n)$ を達成するか？
• RQ3 これらの描画の本質的特徴を捉え、交差数の下界を示す統一的構造的性質は存在するか？
• RQ4 可解性条件を用いて、2ページ描画に関する先行結果を他の描画タイプに一般化できるか？
• RQ5 レムマ 5 のサイクル条件を満たすすべての描画は、$s \geq n/2$ を満たす s-可解描画をもたらすか？

主な発見

• s ≥ n/2 を満たす $K_n$ のすべての s-可解描画は、少なくとも $Z(n)$ 個の交差を持つ。これは、このクラスにおけるハリー＝ハイル予想の確認である。
• シリンダーデザインは $s \geq n/2$ を満たす s-可解描画であるため、少なくとも $Z(n)$ 個の交差を持つ。
• $K_n$ のすべての $x$-有界描画はレムマ 5 の条件を満たし、したがって s-可解である。これにより、少なくとも $Z(n)$ 個の交差を持つことが示される。
• 単調描画は $x$-有界描画の部分集合であるため、同様に少なくとも $Z(n)$ 個の交差を持つ。
• 2ページ描画はシリンダーデザインの退化形であり、したがって可解性により $Z(n)$ の下界を継承する。
• 本稿は、複数の描画クラスにわたるハリー＝ハイル予想の統一的証明を提供し、長年の未解決事項を解決した。