[논문 리뷰] Extremal graphs for clique-paths

Roman Glebov|arXiv (Cornell University)|2011. 11. 30.

Advanced Graph Theory Research참고 문헌 5인용 수 12

한 줄 요약

이 논문은 클리크-경로 $P_{k,r}$—$k$개의 간선으로 이루어진 경로에서 각 간선이 $r$-클리크로 확장된 구조($r \geq 3$)를 피하는 $n$-정점 그래프의 최대 간선 수를 결정한다. 충분히 큰 $n$에 대해, 최대 간선 수를 갖는 그래프는 $G_{n,k,r}$와 동형임을 보이며, 이는 크기 $\lfloor (k-1)/2 \rfloor$의 클리크와 투란 그래프 $T_{n-f,r-1}$를 결합한 구조이며, $k$가 짝수일 경우 추가 간선을 포함한다. 이 결과는 최대 간선 수의 정확한 값을 도출하고, 최대 간선 수를 갖는 그래프의 유일한 구조를 규명한다.

ABSTRACT

In this paper we deal with a Turán-type problem: given a positive integer n and a forbidden graph H, how many edges can there be in a graph on n vertices without a subgraph H? How does a graph look like if it has this extremal edge number? The forbidden graph in this article is a clique-path: a path of length k where each edge is extended to an r-clique, r >2. We determine both the extremal number and the extremal graphs for sufficiently large n.

연구 동기 및 목표

• 클리크-경로 $P_{k,r}$를 부분그래프로 포함하지 않는 $n$-정점 그래프의 정확한 최대 간선 수를 결정하는 것. 여기서 $P_{k,r}$는 $k$-경로의 각 간선이 $r$-클리크로 확장된 구조이며, $r \geq 3$이다.
• 충분히 큰 $n$에 대해 최대 간선 수를 갖는 모든 $P_{k,r}$-자유 그래프의 구조를 규명하는 것.
• 기존의 클리크 및 스타-또는 경로 유사 구조를 넘어서, 더 복잡한 클리크 확장 구조로의 최대 간선 이론 결과를 확장하는 것.
• 조건을 만족하는 그래프에서 최대 간선 수를 갖는 그래프 구조인 $G_{n,k,r}$가 유일함을 입증하는 것.

제안 방법

• $G_{n,k,r}$를 크기 $f = \lfloor (k-1)/2 \rfloor$의 클리크와 투란 그래프 $T_{n-f,r-1}$의 결합으로 구성하며, $k$가 짝수일 경우 추가 간선을 포함한다.
• $P_{k,r}$-자유 그래프가 최대 간선 수에 가까운 경우 반드시 $G_{n,k,r}$와 동형임을 보이기 위해 안정성 방법과 최대 간선 이론 기법을 적용한다.
• 이웃 및 공통 이웃 분석을 통해 '범죄자'(큰 독립집합 $S$에 대해 높은 차수를 갖는 정점)를 식별하고, 차수 및 교차 제약 조건을 통해 그 수를 근사한다.
• 삼각형과 간선의 $P$-회피 확장 기법을 이용해 귀납적으로 $P_{k,r}$ 부분그래프를 구성함으로써, 너무 많은 이러한 정점 또는 간선이 존재할 경우 금지된 구성이 발생함을 증명한다.
• 에르되시-스톤의 점근적 결과와 시몬وفي츠의 안정성 방법을 적용하여 문제를 최소 차수의 높은 그래프로 단순화한다.
• 최대 간선 수를 갖는 비-$G_{n,k,r}$ 그래프가 존재한다고 가정하고, 연결자 확장을 통해 $P_{k,r}$ 부분그래프를 구성함으로써 $P_{k,r}$-자유성에 위배됨을 모순을 통해 증명한다.

실험 결과

연구 질문

• RQ1 $r \geq 3$일 때, $n$-정점 그래프에서 클리프-경로 $P_{k,r}$를 부분그래프로 포함하지 않는 최대 간선 수는 얼마인가?
• RQ2 충분히 큰 $n$에 대해 최대 간선 수를 갖는 그래프의 유일한 구조는 무엇인가?
• RQ3 크기 $\lfloor (k-1)/2 \rfloor$의 클리크와 투란 그래프 $T_{n-f,r-1}$를 결합하여 만든 최대 간선 그래프 $G_{n,k,r}$는 $P_{k,r}$의 형성을 어떻게 방지하는가?
• RQ4 일반적으로 $k$가 짝수일 경우 추가 간선을 추가하면 최대 간선 구조에 어떤 영향을 미치는가?
• RQ5 최대 간선 수를 갖는 그래프는 $G_{n,k,r}$로 유일하게 특징지을 수 있으며, 이는 유일하게 최대 간선 수를 갖는 그래프인가?

주요 결과

• 모든 $n > 16k^8r^{11}$에 대해, $P_{k,r}$-자유 그래프에서 최대 간선 수는 정확히 $G_{n,k,r}$와 동형일 때에만 달성되며, 이는 크기 $f = \lfloor (k-1)/2 \rfloor$의 클리크와 투란 그래프 $T_{n-f,r-1}$의 결합이며, $k$가 짝수일 경우 추가 간선이 포함된다.
• $G_{n,k,r}$는 부분그래프로 $P_{k,r}$를 포함하지 않으며, 이는 각 $r$-클리크가 추가된 클리크 또는 추가 간선에서 적어도 한 정점을 포함하고 있으며, 최대 클리크-경로 길이가 $k-1$에 불과해 요구되는 $k$개의 간선에 못 미친다.
• $g_{n,k,r}$개의 간선을 초과하는 $P_{k,r}$-자유 그래프는 반드시 $P_{k,r}$ 부분그래프를 포함하므로, $G_{n,k,r}$의 최대성은 입증된다.
• '범죄자'(큰 독립집합 $S$에서 높은 이웃 수를 갖는 정점)의 수는 $\lfloor (k-1)/2 \rfloor$ 이하이며, 이 값은 정확한 상한이다.
• $k$가 짝수일 경우 $L_i$ 집합(독립집합 내 잠재적 추가 간선)에는 최대 한 개의 간선만 존재할 수 있고, $k$가 홀수일 경우 독립집합이 되어야 하며, 이는 $P_{k,r}$ 부분그래프 형성이 위험하기 때문이다.
• 최대 간선 구조는 동형을 제외하고 유일하다: $F$와 $S$ 사이의 모든 간선이 존재해야 하며, $S$는 완전한 $(r-1)$-분할 투란 그래프여야 하며, $F$는 완전 그래프여야 하며, $k$가 짝수일 경우 추가 간선이 존재해야 한다.