[논문 리뷰] Planar Tur\'an number of the 6-cycle

Debarun Ghosh, Ervin Győri외 3명|arXiv (Cornell University)|2020. 04. 29.

Limits and Structures in Graph Theory참고 문헌 5인용 수 4

한 줄 요약

이 논문은 평면 트라날 수 $\mathrm{ex}{\mathcal{P}}(n, C_6)$에 대해 $\frac{5}{2}n - 7$의 날카운 상계를 확립하며, 이는 이전의 $\frac{18(n-2)}{7}$의 상계를 향상시킨 것이다. 저자들은 최소 차수 3인 2-연결 $C_6$-자유 평면 그래프의 구조적 분석을 통해 이를 증명하였고, 무한히 많은 $n \equiv 2 \pmod{5}$에 대해 등호를 만족하는 최적화 그래프를 구성하여 날카로움을 확인하였다.

ABSTRACT

Let ${\ m ex}_{\\mathcal{P}}(n,T,H)$ denote the maximum number of copies of $T$ in an $n$-vertex planar graph which does not contain $H$ as a subgraph. When $T=K_2$, ${\ m ex}_{\\mathcal{P}}(n,T,H)$ is the well studied function, the planar Tur\\'an number of $H$, denoted by ${\ m ex}_{\\mathcal{P}}(n,H)$. The topic of extremal planar graphs was initiated by Dowden (2016). He obtained sharp upper bound for both ${\ m ex}_{\\mathcal{P}}(n,C_4)$ and ${\ m ex}_{\\mathcal{P}}(n,C_5)$. Later on, Y. Lan, et al. continued this topic and proved that ${\ m ex}_{\\mathcal{P}}(n,C_6)\\leq \\frac{18(n-2)}{7}$. In this paper, we give a sharp upper bound ${\ m ex}_{\\mathcal{P}}(n,C_6) \\leq \\frac{5}{2}n-7$, for all $n\\geq 18$, which improves Lan's result. We also pose a conjecture on ${\ m ex}_{\\mathcal{P}}(n,C_k)$, for $k\\geq 7$.

연구 동기 및 목표

• 6-사이클 $C_6$에 대한 평면 트라날 수 $\mathrm{ex}_{\mathcal{P}}(n, C_6)$의 알려진 상계를 향상시키는 것.
• 무한히 많은 $n$에 대해 명시적인 최적화 그래프 구성으로 달성 가능한 날카로운 경계를 확립하는 것.
• 특히 $C_4$, $C_5$, $C_6$와 같은 작은 사이클을 초월하여 최적화 평면 그래프 이론의 프레임워크를 확장하는 것.
• 더 긴 사이클 $C_\ell$ ($\ell \geq 7$)에 대한 평면 트라날 수에 대한 일반적 추측을 제안하는 것.

제안 방법

• 2-연결이고 $C_6$-자유이며, $\delta(G) \geq 3$ 이고 $n \geq 6$인 평면 그래프에 대해, 블록 분해와 차수 기반 부등식을 사용하여 Theorem 2를 증명: $e(G) \leq \frac{5}{2}n - 7$.
• 오일러의 공식과 면/정점 차수 제약 조건을 사용하여, 모든 면의 길이가 7이고 정점의 차수가 2 또는 3인 기본 그래프 $G_0$를 분석.
• 기본 그래프 $G_0$의 각 변을 분할하고, 거리 2인 정점 사이에 현을 추가하여 중간 그래프 $G'$를 구성함. 이는 평면성과 사이클 구조를 유지하면서 제어 가능.
• 그래프의 블록에 대해 유사 분배(Discharging)-유사 추론을 적용하여 $5v(G) - 2e(G)$를 유계화함. $n \geq 18$일 때 이 값이 최소 14임을 보여, $e(G) \leq \frac{5}{2}n - 7$를 유도.
• 등호가 성립하는 최적화 그래프를 구성하기 위해, $n \equiv 2 \pmod{5}$에 대해 $v(G) = \frac{18n+14}{5}$ 이고 $e(G) = 9n$ 인 그래프의 가족을 사용.
• 이 구성 방식을 일반화하여, $\ell$-정규 면 구조와 정점 차수 제어를 바탕으로 $\ell \geq 7$에 대해 $\mathrm{ex}_{\mathcal{P}}(n, C_\ell)$에 대한 공식을 추측함.

실험 결과

연구 질문

• RQ1 6-사이클을 부분그래프로 포함하지 않는 $n$-정점 평면 그래프의 간선 수에 대한 최선의 가능한 상계는 무엇인가요?
• RQ2 기존의 경계 $\mathrm{ex}_{\mathcal{P}}(n, C_6) \leq \frac{18(n-2)}{7}$는 향상시킬 수 있으며, 만약 그렇다면 얼마나 향상될 수 있나요?
• RQ3 새로운 경계 $\frac{5}{2}n - 7$의 등호가 성립하는 $n$의 값은 무엇이며, 이러한 최적화 그래프는 명시적으로 구성할 수 있나요?
• RQ4 더 긴 사이클 $C_\ell$ ($\ell \geq 7$)에 대한 평면 트라날 수에 일반적인 패턴이나 공식이 존재하는가요?

주요 결과

• 논문은 날카로운 상계를 확립: $\mathrm{ex}_{\mathcal{P}}(n, C_6) \leq \frac{5}{2}n - 7$ for all $n \geq 18$.
• 이 경계는 란 등이 확립한 이전의 최선의 경계인 $\frac{18(n-2)}{7}$를 향상시킨다.
• $n \equiv 2 \pmod{5}$인 경우, $v(G) = \frac{18n+14}{5}$ 이고 $e(G) = 9n$ 인 $C_6$-자유 평면 그래프가 존재하며, 이는 경계 $\frac{5}{2}n - 7$에 등호를 만족한다.
• 최적화 그래프는 모든 면의 길이가 7이고 정점의 차수가 2 또는 3인 기본 그래프 $G_0$에서 시작하여, 변 분할과 현 삽입을 적용함으로써 구성된다.
• 증명은 그래프의 블록 구조를 분석하고, $n \geq 18$일 때 $5v(G) - 2e(G) \geq 14$임을 보여, 간선 수 경계를 이끌어냄.
• 저자들은 $\ell \geq 7$에 대해, 충분히 큰 $n$에 대해 $\mathrm{ex}_{\mathcal{P}}(n, C_\ell) \leq \frac{3(\ell-1)}{\ell}n - \frac{6(\ell+1)}{\ell}$임을 추측하며, 일반화된 구성에 기반한다.