[論文レビュー] On k-resonant fullerene graphs

Dong Ye, QI Zhong-bin+1 more|ArXiv.org|Jan 9, 2008

Graph theory and applications参考文献 26被引用数 5

ひとこと要約

本稿では、フラーレングラフのすべての六角形が共鳴的であることを確立し、すべてのリープフラッグフラーレングラフが2-共鳴的であることを証明する。さらに、3-共鳴的フラーレングラフは最大で60頂点をもち、そのようなグラフをすべて構成した。これら9つのグラフは、すべてのk ≥ 3に対してk-共鳴的である。これらの9つの3-共鳴的フラーレンのセクステット多項式が計算され、それらの共鳴パターンの完全な代数的特徴付けが得られた。

ABSTRACT

A fullerene graph $F$ is a 3-connected plane cubic graph with exactly 12 pentagons and the remaining hexagons. Let $M$ be a perfect matching of $F$. A cycle $C$ of $F$ is $M$-alternating if the edges of $C$ appear alternately in and off $M$. A set $\mathcal H$ of disjoint hexagons of $F$ is called a resonant pattern (or sextet pattern) if $F$ has a perfect matching $M$ such that all hexagons in $\mathcal H$ are $M$-alternating. A fullerene graph $F$ is $k$-resonant if any $i$ ($0\leq i \leq k$) disjoint hexagons of $F$ form a resonant pattern. In this paper, we prove that every hexagon of a fullerene graph is resonant and all leapfrog fullerene graphs are 2-resonant. Further, we show that a 3-resonant fullerene graph has at most 60 vertices and construct all nine 3-resonant fullerene graphs, which are also $k$-resonant for every integer $k>3$. Finally, sextet polynomials of the 3-resonant fullerene graphs are computed.

研究の動機と目的

• フラーレングラフのすべての六角形が共鳴的であるかどうかを特定すること、すなわち、その辺がマッチングの辺と非マッチングの辺が交互に並ぶような完全マッチングに含まれるかどうかを検証すること。
• フラーレングラフにおけるk-共鳴性、特にk = 2およびk = 3の場合の性質を調査し、k-共鳴的フラーレンの構造的制約を特徴づけること。
• すべての3-共鳴的フラーレングラフを構成し、それらがすべてのk ≥ 3に対してk-共鳴的であることを示すことにより、ベンゼノイド系から非双対的フラーレンへ既知の結果を拡張すること。
• 9つの3-共鳴的フラーレンのセクステット多項式を計算し、指定されたサイズのすべての共鳴パターンを列挙可能にする。

提案手法

• 完全マッチングが存在することを示すために、ツッテの1因子定理を用い、六角形を削除した部分グラフが完全マッチングをもつことを証明することで、フラーレングラフのすべての六角形が共鳴的であることを示した。
• 中心部分グラフと面の独立性の概念を用い、共鳴パターンを、ある完全マッチングMに対して同時にM-交互な互いに素な六角形の集合として定義した。
• サイクル的5辺連結な3正則グラフの構造的解析を用い、12個の五角形をもつ3連結な3正則グラフにおける任意の6サイクルが、中心的であるか、または残りのグラフが双対的であることを証明した。
• 対称性と網羅的列挙を用い、その部分グラフ構造とマッチング性を分析することで、C60、F48、および60頂点以下の他のグラフを含む、すべての3-共鳴的フラーレンを同定した。
• 各3-共鳴的フラーレンの構造から導かれる代数的表現を用い、互いに素な六角形の独立集合の数を数えることで、セクステット多項式を計算した。
• すべての可能な互いに素な六角形の集合に対して明示的な完全マッチングを構成することで、k-共鳴性を検証し、それらがすべて共鳴パターンであることを保証した。

実験結果

リサーチクエスチョン

• RQ1 フラーレングラフのすべての六角形は共鳴的か。すなわち、完全マッチングMに対してM-交互なサイクルに含まれるか。
• RQ2 すべてのリープフラッグフラーレングラフは2-共鳴的か。すなわち、任意の2つの互いに素な六角形が共鳴パターンを形成するか。
• RQ3 3-共鳴的フラーレングラフの頂点数の最大値は何か。また、そのようなすべてのグラフは何か。
• RQ4 すべての3-共鳴的フラーレングラフは、すべてのk ≥ 3に対してk-共鳴的か。
• RQ5 3-共鳴的フラーレングラフのセクステット多項式は何か。それらはどのようにして各サイズの共鳴パターンの数を符号化しているか。

主な発見

• ツッテの1因子定理とグラフの巡回的5辺連結性を用いた証明により、フラーレングラフのすべての六角形が共鳴的であることが示された。
• すべてのリープフラッグフラーレングラフは2-共鳴的であり、任意の2つの互いに素な六角形が共鳴パターンを形成する。
• 3-共鳴的フラーレングラフは最大で60頂点をもち、そのようなグラフは正確に9つ存在する：F20, F24, F28, F32, F36¹, F36², F40, F48, およびC60。
• これらの9つの3-共鳴的フラーレンは、すべての整数k ≥ 3に対してk-共鳴的であり、ベンゼノイド系やコロノイド系で観察されたパターンを拡張した。
• 9つの3-共鳴的フラーレンのセクステット多項式が明示的に計算された：B_F20(x) = 1, B_F24(x) = (x+1)², B_F28(x) = (2x+1)², B_F32(x) = (3x+1)², B_F36¹(x) = 2x⁴ + 16x³ + 20x² + 8x + 1, B_F36²(x) = (x² + 4x + 1)², B_F40(x) = (5x² + 5x + 1)², および B_F48(x) = (2x³ + 9x² + 7x + 1)²。
• C60のセクステット多項式は B_C60(x) = 5x⁸ + 320x⁷ + 1240x⁶ + 1912x⁵ + 1510x⁴ + 660x³ + 160x² + 20x + 1 として確認され、先行研究の結果と一致した。