[論文レビュー] 1-Planar Unit Distance Graphs

Panna Gehér, Gézá Tóth|arXiv (Cornell University)|Oct 2, 2023

Computational Geometry and Mesh Generation被引用数 1

ひとこと要約

本稿は、すべての辺が単位長の線分で、かつ各辺が最大で1回ずつ交差する平面図形に描かれた1-平面的単位距離グラフにおける最大辺数について、鋭い上限を確立する。このようなn頂点のグラフは、最大で3n − 4√n/15本の辺を持つことが示され、0-平面的（マッチ棒グラフ）の場合の既知の上限にほぼ一致する。また、k-平面的およびk-準平面的単位距離グラフについての構成と上限も提示し、これらの幾何的グラフクラスにおける辺密度および正則性に関する未解決問題を解消する。

ABSTRACT

A matchstick graph is a plane graph with edges drawn as unit distance line segments. This class of graphs was introduced by Harborth who conjectured that a matchstick graph on n vertices can have at most ⌊3n-√{12n-3}⌋ edges. Recently his conjecture was settled by Lavollée and Swanepoel. In this paper we consider 1-planar unit distance graphs. We say that a graph is a 1-planar unit distance graph if it can be drawn in the plane such that all edges are drawn as unit distance line segments while each of them are involved in at most one crossing. We show that such graphs on n vertices can have at most 3n-∜{n}/10 edges.

研究の動機と目的

• 1-平面的単位距離グラフにおける最大辺数の鋭い上界および下界を確立すること。
• 結果を1-平面的制約を超えてk-平面的およびk-準平面的単位距離グラフへ一般化すること。
• 特にr = 5の場合に、r-正則1-平面的単位距離グラフの存在性と辺密度を調査すること。
• 交差数が有界な幾何的グラフクラスにおける辺の成長率および構造的限界に関する未解決問題に取り組むこと。
• k-平面的およびk-準平面的単位距離グラフについて、改善された構成と理論的上限を提供すること。

提案手法

• 交差を含む辺の集合を解析するため、最大平面部分グラフG₀と残りの辺E₁にグラフを分解する。
• 特に三角形面に注目した組合せ論的議論を用いて、交差する辺が導入する半辺数を制限する。
• Erdősの単位距離問題からの幾何的・組合せ論的技法を応用し、(k−1)n − o(n)本の辺を持つk-準平面的グラフを構成する。
• 交差関係における辺の同値類が、長さが有界な有向パスを形成することを証明し、互いに交差する辺の対数を制限する。
• 極値的グラフ理論および幾何的インシデント境界を用いて、k-平面的およびk-準平面的設定における辺数の上界を導出する。
• 辺集合のブロック分解を用い、nおよびkの関数としての総辺数を制限し、k-準平面的グラフでは4knという上界に到達する。

実験結果

リサーチクエスチョン

• RQ1 1-平面的単位距離グラフにおける最大辺数が、マッチ棒グラフのものよりΩ(√n)多くなることはあるか？
• RQ2 漸近的に3n本を超える1-平面的単位距離グラフの構成は存在するか？
• RQ3 5-正則なマッチ棒グラフが存在しないのと同様に、5-正則な1-平面的単位距離グラフは存在するか？
• RQ4 k-平面的単位距離グラフにおける最大辺数uk(n)の漸近的成長は何か？
• RQ5 k-準平面的単位距離グラフの上界4knは、特定のkやnに対して改善または鋭くできるか？

主な発見

• n頂点の1-平面的単位距離グラフにおける最大辺数は、3n − 4√n/15以下である。これは、マッチ棒グラフの既知の境界にほぼ一致する。
• u₁(n)の下界は⌊3n − √(12n − 3)⌋で、これは鋭く、1本の交差を許容しても辺数の増加は最小限に抑えられる。
• k-準平面的単位距離グラフでは、最大辺数vk(n)は4kn未満であることが保証され、kに関して線形上界が得られる。
• (k−1)n − o(n)本の辺を持つ構成により、k = 2^O(log n / log log n)の場合にk-準平面的の上界がほぼ鋭いことが示された。
• k-平面的単位距離グラフではuk(n) ≤ c√(kn)という上界が確立され、Roteの構成により、下界も2^Ω(log k / log log k)nで一致する。
• r ≥ 6の場合、r-正則な1-平面的単位距離グラフは存在せず、r = 5の正則グラフの存在は構造的制約があるものの未解決のままである。