[論文レビュー] The Density Formula: One Lemma to Bound Them All

Michael Kaufmann, Boris Klemz+4 more|arXiv (Cornell University)|Nov 10, 2023

Computational Geometry and Mesh Generation被引用数 4

ひとこと要約

本稿では、密度式と呼ばれる統一的な組合せ的道具を導入し、トポロジカルグラフ図における辺、頂点、交差、セルサイズの関係を定式化することで、さまざまな非平面的グラフクラスにおける辺密度のタイトな上界を導出する。実数値パラメータ t を用いてこの式をパラメータ化することで、複雑な場合分けに頼らずに、k-平面的、RAC、ファン交差、準平面的、k+-実面グラフなどのクラスに対して最適または近似的に最適な上界を確立する手法が可能になる。特に、1曲がきおよび2曲がきRACグラフに対する初めてのタイトな上界が得られ、極値例の新たな構成も可能となる。

ABSTRACT

We introduce the Density Formula for (topological) drawings of graphs in the plane or on the sphere, which relates the number of edges, vertices, crossings, and sizes of cells in the drawing. We demonstrate its capability by providing several applications: we prove tight upper bounds on the edge density of various beyond-planar graph classes, including so-called $k$-planar graphs with $k=1,2$, fan-crossing / fan-planar graphs, $k$-bend RAC-graphs with $k=0,1,2$, quasiplanar graphs, and $k^+$-real face graphs. In some cases ($1$-bend and $2$-bend RAC-graphs and fan-crossing / fan-planar graphs), we thereby obtain the first tight upper bounds on the edge density of the respective graph classes. In other cases, we give new streamlined and significantly shorter proofs for bounds that were already known in the literature. Thanks to the Density Formula, all of our proofs are mostly elementary counting and mostly circumvent the typical intricate case analysis found in earlier proofs. Further, in some cases (simple and non-homotopic quasiplanar graphs), our alternative proofs using the Density Formula lead to the first tight lower bound examples.

研究の動機と目的

• 非平面的グラフクラスにおける辺密度のタイトな上界を導出するための一般的かつ再利用可能な手法の開発。
• 従来の証明がしばしば複雑な場合分けに依存していたという限界を克服し、特定のグラフクラスに特化した証明に依存しないこと。
• 単一の組合せ的枠組みを用いて、非平面的グラフ理論における既存の結果を統合的かつ簡潔に整理すること。
• 密度式が等号を満たす状況を分析することで、タイトな極値例の構造的性質を同定すること。
• 未解決のケース、例えば単純かつ非ホモトープな準平面的グラフに対して、新たなタイトな下界例を構成すること。

提案手法

• 連結なグラフ図における辺、頂点、交差、セルサイズを結ぶパラメータ化された方程式として、密度式を提唱する。
• 実数パラメータ t を用いて式を調整し、辺密度の上界（例：t = 5 で 5n − 10 の上界）を導出可能にする。
• 小さなセル（サイズ ≤4）を数え上げ、それらに交差を割り当てることで、総辺数の上界を導出する。
• 密度式を用いて、k-平面的、RAC、ファン交差、準平面的、k+-実面グラフなど、多数の非平面的クラスに対して上界を導出する。
• 極値図を構成することで、上界のタイトさを証明する。特に1曲がきおよび2曲がきRACグラフ、準平面的グラフに対して有効である。
• 式の等号成立状況を分析することで、最適グラフの構造的制約（例：k+-実面グラフでは平面性）を同定する。

実験結果

リサーチクエスチョン

• RQ1 多様な非平面的グラフクラスにわたって、タイトな辺密度上界を導出するための単一で統一的な式を用いることは可能か？
• RQ2 密度式は、従来の辺密度上界証明における複雑な場合分けを簡略化または置き換えることができるか？
• RQ3 極値グラフが密度式の等号を満たすために満たすべき構造的性質は何か？
• RQ4 密度式を用いて、未解決のケース（例：単純かつ非ホモトープな準平面的グラフ）に対して新たなタイトな下界例を構成できるか？
• RQ5 式が最適な上界を導くために必要なセルサイズと交差数の条件は何か？

主な発見

• 本稿では、連結な1曲がきRACグラフに対して、辺数が5n − 10であるタイトな上界を確立し、既知の最良の下界と一致する。
• 2曲がきRACグラフに対して、10n − 19本の辺という新たな上界を導出し、加法的定数の差異を除いてタイトである。さらに、10n − 54本の辺を達成する無限族の図が構成された。
• 非ホモトープな準平面的グラフに対する初めてのタイトな下界例が構成され、8n − 20本の辺を達成する。
• 単純な準平面的グラフに対しては、6.5n − 20本の辺を達成する族が構成され、既知の上界と一致する。
• 密度式は、k ≥3 であるk+-実面グラフのすべてのタイトな例が平面的でなければならないことを明らかにした。
• 本手法は、すべてのタイトな単純な準平面的グラフの例において、平面的辺が完全マッチングを形成していることを同定した。