[논문 리뷰] Fullerene graphs of small diameter

Diego Nicodemos, Matěj Stehlı́k|arXiv (Cornell University)|2016. 04. 07.

Fullerene Chemistry and Applications인용 수 4

한 줄 요약

이 논문은 $n$ 개의 정점으로 구성된 풀러렌 그래프의 지름이 최소 $\lfloor\sqrt{5n/3}\rfloor - 1$임을 주장하는 안도바와 스크레코브스키의 추측을 반증하면서, 지름이 최대 $\sqrt{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$ 개의 정점으로 구성된 모든 풀러렌 그래프의 지름이 최소 $\lfloor\sqrt{5n/3}\rfloor - 1$임을 주장하는 추측에 도전한다.
• 평면 삼각형 분할의 기하학적 및 그래프 이론적 성질을 활용하여 지름이 작은 풀러렌 그래프의 명시적 가족을 구성한다.
• 이cos하에드랄 대칭을 가진 그래프보다 나노디스크 형태를 띠는 풀러렌 그래프가 훨씬 작은 지름을 달성할 수 있음을 보여준다.

제안 방법

• 무한한 6-정규 삼각형 분할에서 극점 $n$ 과 $s$ 를 중심으로 반지름 $r$ 인 두 개의 공을 취하고, 외곽 고리들을 $t$ 단위만큼 순환적으로 이동시켜 식별함으로써 이중 그래프 $D^*_{r,t}$ 를 구성한다.
• $D^*_{r,t}$ 의 정점에 대해 극점에서의 거리에 기반한 위도 $\varphi(u)$ 를 정의하며, $n$ 은 $r$, $s$ 는 $-r$, 적도는 위도 0에 위치한다.
• 두 정점 $\{u_1,u_2\}$ 와 $\{v_1,v_1'\}$ 를 연결하는 길이 $4r$ 의 닫힌 순회 $W = P_u \cup P_v$ 를 사용한다. 여기서 $P_u$ 와 $P_v$ 는 각각 면 $A$ 와 $B$ 를 거쳐 $n$ 에서 $s$ 로 가는 길이 $2r$ 의 경로이다.
• 이중 그래프에서의 거리에 대한 부등식을 적용하여 원래의 풀러렌 그래프에서의 거리를 유계화한다: $\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^2$ 이므로 이는 지름 상한으로 $\sqrt{4n/3}$ 을 얻는다.

실험 결과

연구 질문

• RQ1 큰 $n$ 에 대해 풀러렌 그래프가 $\lfloor\sqrt{5n/3}\rfloor - 1$ 보다 작은 지름을 가질 수 있는가?
• RQ2 나노디스크 형태를 띠는 풀러렌 그래프는 이코사하에드랄 대칭을 가진 그래프보다 더 작은 지름을 가질 수 있는가?
• RQ3 풀러렌 그래프의 지름에 대한 추측된 하한값은 정확한가, 아니면 개선될 수 있는가?
• RQ4 $n$ 개의 정점으로 구성된 풀러렌 그래프의 최소 가능한 지름은 무엇이며, 기하학적으로 대칭적인 구성으로 이를 달성할 수 있는가?

주요 결과

• 논문은 $12r^2$ 개의 정점과 지름이 최대 $4r$ 인 무한한 풀러렌 그래프의 가족 $D_{r,t}$ 를 구성한다. $n = 12r^2$ 일 때 이는 $\sqrt{4n/3}$ 이다.
• 지름 상한 $\sqrt{4n/3}$ 은 모든 $n \geq 300$ 에 대해 추측된 $\lfloor\sqrt{5n/3}\rfloor - 1$ 보다 엄격히 작으며, 이는 추측을 반증한다.
• 추측에 대한 최소 반례는 300개의 정점을 가지며, 이는 $r = 5$ 와 $t = 1$ 에 해당한다.
• 이중 그래프 구성은 모든 면이 삼각형임을 보장하며, 외곽 고리를 $t$ 만큼 이동시켜 식별함으로써 평면성과 3-연결성을 유지한다.
• $D_{r,t}$ 의 자기동형군은 $r = 2t$ 가 아닐 경우 $D_6$ 이며, $r = 2t$ 일 경우 $D_{6d}$ 로 변형되며, 이는 $t$ 에 따라 대칭성이 변화함을 나타낸다.
• 증명은 닫힌 순회를 통한 이중 거리 유계화와 그래프와 그 이중 그래프 사이의 일반적인 거리 부등식을 적용함으로써 이루어지며, $r \geq 2$ 일 때 원래 그래프에서의 거리는 최대 $4r$ 이다.