[논문 리뷰] Extremal graph for intersecting odd cycles

Xinmin Hou, Yu Qiu외 1명|arXiv (Cornell University)|2015. 10. 28.

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

한 줄 요약

이 논문은 교차하는 홀수 길이의 사이클을 갖는 그래프의 극값 그래프를 결정하며, 충분히 큰 n에 대해 k개의 교차하는 q-사이클(홀수 q ≥ 5)을 포함하지 않는 그래프에서 간선 수의 최댓값은 유일하게 투란 그래프 T_{n,2}에 하나의 부분집합에 완전 이분 그래프 K_{k-1,k-1}가 삽입된 그래프에서 달성됨을 증명한다. 극값 간선 수는 e(T_{n,2}) + (k-1)^2이며, 이는 이전의 교차하는 삼각형과 클리크에 대한 결과를 일반화한다.

ABSTRACT

An extremal graph for a graph $H$ on $n$ vertices is a graph on $n$ vertices with maximum number of edges that does not contain $H$ as a subgraph. Let $T_{n,r}$ be the Turán graph, which is the complete $r$-partite graph on $n$ vertices with part sizes that differ by at most one. The well-known Turán Theorem states that $T_{n,r}$ is the only extremal graph for complete graph $K_{r+1}$. Erdös et al. (1995) determined the extremal graphs for intersecting triangles and Chen et al. (2003) determined the maximum number of edges of the extremal graphs for intersecting cliques. In this paper, we determine the extremal graphs for intersecting odd cycles.

연구 동기 및 목표

• n개의 정점으로 이루어진 그래프에서 k개의 교차하는 길이 q ≥ 5인 홀수 길이 사이클을 포함하지 않는 그래프에서 간선 수를 최대화하는 극값 그래프를 결정하는 것.
• 이전의 교차하는 삼각형과 클리크에 대한 극값 그래프 결과를 홀수 길이의 교차하는 사이클의 경우로 일반화하는 것.
• 크기가 큰 n에 대해 정확한 극값 간선 수를 확립하고, 유일한 극값 그래프의 구조를 규명하는 것.
• 극값 그래프가 크기가 큰 n에 대해 유일하게 투란 그래프 T_{n,2}에 K_{k-1,k-1}가 하나의 부분집합에 삽입된 구조임을 증명하는 것.

제안 방법

• n개의 정점에서 구성된 완전한 균형 잡힌 2-분할 그래프인 투란 그래프 T_{n,2}를 기반 구조로 사용한다.
• T_{n,2}에 하나의 부분집합에 K_{k-1,k-1}가 삽입된 그래프의 가족 F_{n,k}를 도입한다.
• 레마 2.1을 통한 차수 및 매칭 수 제약 조건과 레마 2.2의 안정성 결과를 활용한 극값 그래프 이론 기법을 적용한다.
• 구조적 분석과 모순 추론을 통해 극값 그래프는 반드시 하나의 부분집합에 K_{k-1,k-1}를 포함하고 다른 부분집합에는 내부 간선이 없어야 한다는 것을 보여준다.
• 차수 합과 매칭 수의 경계를 이용해 가능한 구성 요소를 제한하고 유일성을 증명한다.
• 레마 2.4와 관찰 2.3을 적용하여 최대 차수 ≤ 2인 부분그래프의 간선 수를 경계하고 매칭 수를 제어한다.

실험 결과

연구 질문

• RQ1 n개의 정점으로 이루어진 그래프에서 길이 q ≥ 5인 k개의 교차하는 홀수 길이 사이클을 피하는 최대 간선 수는 얼마인가?
• RQ2 크기가 큰 n에 대해 이 최대 간선 수를 달성하는 유일한 극값 그래프의 구조는 무엇인가?
• RQ3 교차하는 홀수 길이 사이클에 대한 극값 그래프 결과는 이전의 교차하는 삼각형과 클리크에 대한 결과를 어떻게 일반화하는가?
• RQ4 극값 그래프가 투란 그래프 T_{n,2}에 하나의 부분집합에 완전 이분 그래프가 삽입된 구조로 구성되는 조건은 무엇인가?
• RQ5 왜 간선 수가 정확히 e(T_{n,2}) + (k-1)^2이며, 왜 이 구조가 유일한 극값 그래프인가?

주요 결과

• 모든 n ≥ n₁(k,q)에 대해, C_{k,q}에 대한 극값 간선 수 ex(n, C_{k,q})는 e(T_{n,2}) + (k-1)^2과 같다.
• C_{k,q}에 대한 유일한 극값 그래프는 T_{n,2}에 K_{k-1,k-1}가 하나의 부분집합에 삽입된 구조로 이루어진 가족 F_{n,k}에 속한다.
• 충분히 큰 n에 대해 극값 그래프는 동형을 제외하고 유일하다.
• 증명은 극값 그래프가 반드시 하나의 부분집합에 완전한 균형 잡힌 이분 그래프 K_{k-1,k-1}를 포함하고 다른 부분집합에는 내부 간선이 없어야 한다는 것을 확립한다.
• 삽입된 K_{k-1,k-1}에 포함된 간선 수 (k-1)^2는 날카롭고, 이 값을 초과하면 C_{k,q}의 복제본이 생성된다.
• 이 결과는 에르되시 등(1995)의 정리 1.1에서 k-팬에 대한 결과를 홀수 길이 q ≥ 5인 교차하는 홀수 길이 사이클의 경우로 일반화한다.