[논문 리뷰] A generalization of the Grid Theorem

Jim Geelen, Benson Joeris|arXiv (Cornell University)|2016. 09. 28.

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

한 줄 요약

이 논문은 클리크 합성의 순서가 θ 미만인 방식으로 정의된 트리 폭의 일반화된 개념인 θ-트리 폭을 소개하고, 충분히 큰 θ-트리 폭을 가진 그래프가 큰 완전 이분 그래프 미니처 $K_{\theta,n}$ 또는 $(\theta;n)$-휠 미니처를 포함함을 증명한다. 주요 기여는 이 틀을 통해 로버트슨과 세이먼의 격자 정리의 새로운, 자가 포함된 증명을 제시한 것으로, 고 θ-연결성에 대해 피할 수 없는 미니처를 확립한다.

ABSTRACT

A graph has tree-width at most $k$ if it can be obtained from a set of graphs each with at most $k+1$ vertices by a sequence of clique sums. We refine this definition by, for each non-negative integer $θ$, defining the $θ$-tree-width of a graph to be at most $k$ if it can be obtained from a set of graphs each with at most $k+1$ vertices by a sequence of clique sums on cliques of size less than $θ$. We find the unavoidable minors for the graphs with large $θ$-tree-width and we obtain Robertson and Seymour's Grid Theorem as a corollary.

연구 동기 및 목표

• 클리크 합성의 순서를 θ 미만으로 제한함으로써 고전적 트리 폭 개념을 개선하고 θ-트리 폭을 도입한다.
• 큰 θ-트리 폭을 가진 그래프를 특성화하기 위해 피할 수 없는 미니처 구조를 규명하고, 격자 정리를 일반화한다.
• θ-연결된 정점 집합과 $K_{\theta,n}$ 및 $(\theta;n)$-휠과 같은 특정한 미니처 구조의 존재 간의 연관성을 확립한다.
• 새로운 틀을 사용하여 로버트슨과 세이먼의 격자 정리를 새로운 독립적 증명으로 제시한다.
• 이전의 3-연결 및 내부적으로 4-연결된 그래프에 대한 피할 수 없는 미니처 결과를 통합하고 확장한다.

제안 방법

• θ-트리 폭을 정의한다: 그래프가 최대 $k+1$개의 정점으로 구성된 그래프들을 순서가 $\theta$ 미만인 클리크 합성으로 구성될 수 있는 최소 $k$로 정의한다.
• θ-연결된 집합을 도입한다: 크기가 $\leq \theta$인 임의의 두 부분집합이 $|X|$개의 정점 분리 경로로 연결되는 정점 집합이다.
• $(\theta;n)$-휠을 구성한다: 크기가 $n$인 큰 θ-연결된 집합을 가진 그래프의 가족으로, 트리 복사본, 순환 연결 및 외부 연결을 사용한다.
• 접합 미니처와 목걸이 구조(개선된, 균형 잡힌, 거의 균형 잡힌)를 사용하여 연결성 모델링 및 미니처 구조 추출한다.
• 하위모듈라 분리 부등식과 재귀적 분해를 적용하여 연결성을 통제하고 미니처를 추출한다.
• 크기가 충분히 큰 θ-연결된 집합은 함수 $f_{9.1}(\theta,n)$를 통해 유도되는 크기 조건을 만족할 경우, $K_{\theta,n}$-미니처 또는 $(\theta;n)$-휠 미니처를 강제로 유도함을 증명한다.

실험 결과

연구 질문

• RQ1 큰 θ-트리 폭을 가진 그래프에서 피할 수 없는 미니처는 무엇인가?
• RQ2 θ-트리 폭은 θ-연결된 정점 집합과 그 구조적 함의와 어떻게 관련되는가?
• RQ3 격자 정리는 θ-트리 폭 틀을 통해 독립적으로 유도될 수 있는가?
• RQ4 크기가 큰 θ-연결된 집합에서 유도되는 미니처는 무엇이며, 어떻게 체계적으로 추출할 수 있는가?
• RQ5 목걸이 구조와 접합 미니처는 어떻게 $K_{\theta,n}$ 또는 $(\theta;n)$-휠 미니처의 식별을 촉진하는가?

주요 결과

• 모든 $\theta, n \geq 3$에 대해 함수 $f_{9.1}(\theta,n)$가 존재하여, 크기가 $f_{9.1}(\theta,n)$ 이상인 θ-연결된 집합을 가진 그래프는 $K_{\theta,n}$-접합 미니처를 포함하거나 $(\theta;n)$-휠을 포함한다. 이 경우 $\theta$-연결된 집합 내에 크기가 $n$인 독립 집합 또는 고리 전이 집합이 존재한다.
• $(\theta;n)$-휠은 크기가 $n$인 θ-연결된 집합을 포함함을 확인하여, 이들이 θ-연결성에 대한 극단적 예로서의 역할을 함을 입증한다.
• 그래프 $G$의 θ-트리 폭이 $\omega$ 이하일 조건은, 최대 θ-연결된 집합 $U$의 크기가 $\omega < |U| \leq \binom{\omega+1}{\theta-1}(\theta-1)$를 만족할 때 성립하며, 이는 정밀한 정량적 관계를 확립한다.
• 격자 정리는 추론으로 도출된다: $\theta = 2n^{2n} + n^2$일 때, 크기가 $m \geq f_{\text{main-local}}(\theta, n^2)$인 $m$-연결된 집합을 가진 그래프는 $n \times n$-격자 미니처를 포함한다. 이는 $K_{n^2,n^2}$-미니처가 존재하지 않는다고 가정할 때 성립한다.
• 증명은 $G$가 $K_{n^2,n^2}$-미니처를 포함하지 않으며 큰 θ-연결된 집합을 가진다면 반드시 $(\theta;n^2)$-휠을 포함해야 하며, 기저 트리에 차수 $\geq n^2$인 정점이 존재하면 변형을 통해 $K_{n^2,n^2}$-미니처로 수축되므로 모순이 발생함을 보여준다.
• 이 틀은 이전의 3-연결 및 내부적으로 4-연결된 그래프에 대한 피할 수 없는 미니처 결과를 일반화하여, 이들이 정리 1.1의 특수한 경우임을 보여준다.