[論文レビュー] Fullerene graphs of small diameter

Diego Nicodemos, Matěj Stehlı́k|arXiv (Cornell University)|Apr 7, 2016

Fullerene Chemistry and Applications被引用数 4

ひとこと要約

本稿は、n 個の頂点を持つフラーレングラフの直径が常に ⌊√(5n/3)⌋ - 1 以上であるとされたアンドヴァとシュレコフスキーの予想を、直径が √(4n/3) 未満である無限族のフラーレングラフを構成することで反証した。この構成では、6正則な三角形分割から導かれる特定の三角形分割の平面的双対を用い、頂点を巡回的に同一視することでナノディスクに類似した構造を形成し、サイズに比して直径を最小化している。

ABSTRACT

A fullerene graph is a cubic bridgeless plane graph with only pentagonal and hexagonal faces. We exhibit an infinite family of fullerene graphs of diameter $\sqrt{4n/3}$, where $n$ is the number of vertices. This disproves a conjecture of Andova and Škrekovski [MATCH Commun. Math. Comput. Chem. 70 (2013) 205-220], who conjectured that every fullerene graph on $n$ vertices has diameter at least $\lfloor \sqrt{5n/3} floor-1$.

研究の動機と目的

• フラーレングラフの直径を調査し、特に予想された値未満の直径を達成できるかを検討する。
• アンドヴァとシュレコフスキーが提起した、n 個の頂点を持つ任意のフラーレングラフの直径が少なくとも ⌊√(5n/3)⌋ - 1 以上であるという予想に挑戦する。
• 平面的三角形分割の幾何学的およびグラフ理論的性質を活用して、直径が小さいフラーレングラフの明示的族を構成する。
• フラーレングラフがディスクに類似した形状（ナノディスク）をとることで、イコサヘドラル対称性を持つものよりも顕著に小さい直径を達成できることを示す。

提案手法

• 無限に続く6正則三角形分割における半径 r の球体（極 n と s を中心とする）2つをとり、それらの外周を t 位置分の巡回シフトで同一視することで、双対グラフ $D^*_{r,t}$ を構成する。
• 頂点 u の緯度 $\varphi(u)$ を極からの距離に基づいて定義し、n が r、s が -r、赤道が緯度 0 となるようにする。
• 頂点集合 {u₁,u₂} から {v₁,v₁'} へ至る長さ 4r の閉路 W = Pᵤ ∪ Pᵥ を用いる。ここで Pᵤ と Pᵥ は、A と B の面を通る n から s への長さ 2r のパスである。
• 補題2を適用して元のフラーレングラフにおける距離を評価する：$\operatorname{dist}_G(A,B) \leq 2\operatorname{dist}_{G^*}(u,v) + 3$ であり、双対におけるカットサイズ $|\delta(P^*)| \leq 6 + 4k$ を用いる。
• 関連する面間の双対距離が 2r - 2 未満であることを示し、これにより元のグラフにおける距離が 4r - 1 または 4r 未塔であると結論づける。
• D_{r,t} の直径が 4r 未塔であることを証明し、n = 12r² であることから、直径の上限として √(4n/3) が得られる。

実験結果

リサーチクエスチョン

• RQ1 n が十分に大きい場合、フラーレングラフは ⌊√(5n/3)⌋ - 1 よりも小さい直径を達成できるか？
• RQ2 ディスクに類似した形状（ナノディスク）のフラーレングラフは、イコサヘドラル対称性を持つものよりも直径が小さいか？
• RQ3 フラーレングラフの直径に関する予想された下界はタイトか、それとも改善可能か？
• RQ4 n 個の頂点を持つフラーレングラフの最小直径は何か？ また、幾何学的対称性を持つ構成によって達成可能か？

主な発見

• 本稿は、12r² 個の頂点と直径が 4r 未塔である無限族のフラーレングラフ D_{r,t} を構成した。n = 12r² のとき、直径の上限は √(4n/3) に一致する。
• 直径の上限 √(4n/3) は、すべての n ≥ 300 において、予想された ⌊√(5n/3)⌋ - 1 よりも厳密に小さいため、予想を反証した。
• 予想の反例として最小のものは 300 頂点であり、r = 5 かつ t = 1 の場合に対応する。
• 双対グラフの構成により、すべての面が三角形となり、外周の同一視に際してのシフト t が、平面性と3連結性を保つ。
• D_{r,t} の自己同型群は、r = 2t でない限り D₆ であるが、r = 2t の場合は D_{6d} に拡張され、t に応じて対称性が変化することが示された。
• 証明は、閉路による双対距離の評価と、グラフとその双対の間の一般距離不等式の適用に依拠しており、r ≥ 2 のとき、フラーレングラフにおける距離は 4r 未塔であることが示された。