[论文解读] Fullerene graphs of small diameter

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

Fullerene Chemistry and Applications被引用 4

一句话总结

本文構造了一個無限族的富勒烯圖，其直徑不超過 $\sqrt{4n/3}$，從而反駁了 Andova 和 Škrekovski 提出的猜想，即任何具有 $n$ 個頂點的富勒烯圖的直徑至少為 $\lfloor\sqrt{5n/3}\rfloor - 1$。該構造方法利用了從六度三角剖分圖出發、經由特定方式識別頂點所形成的平面對偶圖，形成類似納米碟的結構，從而使其在尺寸上實現最小直徑。

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$.

研究动机与目标

• 探討富勒烯圖的直徑，特別是其是否能實現小於猜想值的直徑。
• 挑戰 Andova 和 Škrekovski 提出的猜想，即任何具有 $n$ 個頂點的富勒烯圖的直徑至少為 $\lfloor\sqrt{5n/3}\rfloor - 1$。
• 透過利用平面三角剖分圖的幾何與圖論性質，構造出具有小直徑的富勒烯圖的顯式族。
• 證明類似於碟形（納米碟）的富勒烯圖可實現遠小於具有二十面體對稱性的圖的直徑。

提出的方法

• 透過取無限六度三角剖分圖中以極點 $n$ 和 $s$ 為中心的半徑 $r$ 球的兩個副本，並將其外環以 $t$ 個位置的循環移位方式識別，構造對偶圖 $D^*_{r,t}$。
• 根據頂點到極點的距離定義 $D^*_{r,t}$ 中頂點的緯度 $\varphi(u)$，其中 $n$ 的緯度為 $r$，$s$ 的緯度為 $-r$，赤道的緯度為 0。
• 使用長度為 $4r$ 的封閉路徑 $W = P_u \cup P_v$ 連接 $\{u_1,u_2\}$ 到 $\{v_1,v_1'\}$，其中 $P_u$ 和 $P_v$ 分別是從 $n$ 到 $s$ 經過區域 $A$ 和 $B$ 的面的長度為 $2r$ 的路徑。
• 應用引理 2 來界定原富勒烯圖中的距離：$\operatorname{dist}_G(A,B) \leq 2\operatorname{dist}_{G^*}(u,v) + 3$，其中對偶圖中的路徑 $P^*$ 的邊界大小滿足 $|\delta(P^*)| \leq 6 + 4k$。
• 證明相關面在對偶圖中的距離至多為 $2r - 2$，進而得出原圖距離的上界為 $4r - 1$ 或 $4r$。
• 證明 $D_{r,t}$ 的直徑至多為 $4r$，且因 $n = 12r^2$，故可得直徑上界為 $\sqrt{4n/3}$。

实验结果

研究问题

• RQ1 對於足夠大的 $n$，富勒烯圖能否實現小於 $\lfloor\sqrt{5n/3}\rfloor - 1$ 的直徑？
• RQ2 類似於碟形（納米碟）的富勒烯圖是否具有小於具有二十面體對稱性的圖的直徑？
• RQ3 富勒烯圖的直徑下界猜想是否緊緻，或可進一步改進？
• RQ4 具有 $n$ 個頂點的富勒烯圖的最小可能直徑是多少？能否透過幾何對稱的構造方式實現？

主要发现

• 本文構造了一個無限族的富勒烯圖 $D_{r,t}$，其具有 $12r^2$ 個頂點，且直徑至多為 $4r$，當 $n = 12r^2$ 時，該直徑即為 $\sqrt{4n/3}$。
• 直徑上界 $\sqrt{4n/3}$ 對所有 $n \geq 300$ 均嚴格小於猜想值 $\lfloor\sqrt{5n/3}\rfloor - 1$，從而反駁了該猜想。
• 該猜想的最小反例具有 300 個頂點，對應於 $r = 5$ 且 $t = 1$。
• 對偶圖構造確保所有面均為三角形，且以外環的循環移位 $t$ 進行識別，維持了平面性與三連通性。
• $D_{r,t}$ 的自同構群為 $D_6$，除非 $r = 2t$，此時變為 $D_{6d}$，顯示其對稱性隨 $t$ 而變化。
• 證明依賴於透過封閉路徑界定對偶圖距離，並應用圖與其對偶圖之間的一般距離不等式，證明當 $r \geq 2$ 時，富勒烯圖中的距離至多為 $4r$。