[논문 리뷰] Low Polynomial Exclusion of Planar Graph Patterns

Jean‐Florent Raymond, Dimitrios M. Thilikos|arXiv (Cornell University)|2013. 05. 30.

Advanced Graph Theory Research참고 문헌 19인용 수 4

한 줄 요약

이 논문은 휠, 듀얼 휠, 경로폭-2 그래프, 야트 그래프를 포함한 특정 평면 그래프 패턴을 소수로 포함하지 않는 그래프에 대해 저차수 다항식 상한을 트리너비에 대해 확립한다. 각각 트리너비가 O(h), O(h² log²h), O(h²), O(h⁴) 이하로 유계됨을 증명하며, 이는 이전의 지수적 상한에 비해 크게 향상되었고, 소수폐쇄 그래프 가족에서 다항식 격자 배제에 대한 이해를 진전시킨다.

ABSTRACT

The celebrated grid exclusion theorem states that for every $h$-vertex planar graph $H$, there is a constant $c_{h}$ such that if a graph $G$ does not contain $H$ as a minor then $G$ has treewidth at most $c_{h}$. We are looking for patterns of $H$ where this bound can become a low degree polynomial. We provide such bounds for the following parameterized graphs: the wheel ($c_{h}=O(h)$), the double wheel ($c_{h}=O(h^2\cdot \log^{2} h)$), any graph of pathwidth at most 2 ($c_{h}=O(h^{2})$), and the yurt graph ($c_{h}=O(h^{4})$).

연구 동기 및 목표

• 고정된 평면 소수 H를 배제하는 그래프의 트리너비가 |V(H)|에 대해 저차수 다항식으로 유계될 수 있는지 규명하는 것.
• 기존에 알려진 격자 제거 정리에서 지수적 또는 초다항적 상한을 개선하기 위해 특정 평면 그래프 가족에 대해 다항식 트리너비 상한을 규명하는 것.
• 휠, 듀얼 휠, 야트 그래프와 같은 특정 구조적 평면 그래프에 대해 날카롭거나 거의 날카로운 상한을 확립하는 것.
• 람누지안 그래프 및 기타 극한 구조를 분석하여 이러한 상한의 최적성 여부를 조사하는 것.

제안 방법

• 구조적 그래프 이론과 소수 포함 주장의 조합을 사용하여, 특정 평면 패턴을 소수로 포함하지 않는 그래프의 트리너비를 분석한다.
• 높은 트리너비는 특정 하위구조의 존재를 강제한다는 사실을 활용하여, 소수 포함를 위한 충분조건을 유도하기 위해 격자 소수 정리의 변종을 적용한다.
• 야트 그래프에 대한 증명은 높은 트리너비를 가진 그래프 내부에 콤비 유사 구조를 구성하고, 부분수열 주장으로 필요한 소수를 추출하는 데 의존한다.
• 듀얼 휠과 경로폭-2 그래프의 경우, 재귀적 분해와 소수 닫힘 성질을 활용하여 트리너비를 배제된 패턴의 크기로 유계한다.
• 목표 소수를 시뮬레이션하는 데 사용되는, 콤 C에 대한 그래프 가족 Λ(C)의 세밀한 구성이 포함되어 있다.
• 고지름과 큰 트리너비를 가진 람누지안 그래프를 사용하여 하한을 도출하며, 일부 상한이 渐近적으로 날카로움을 보여준다.

실험 결과

연구 질문

• RQ1 평면 소수 H를 배제하는 그래프의 트리너비가 |V(H)|에 대해 다항식으로 유계될 수 있으며, 만약 그렇다면 최적의 차수는 무엇인가?
• RQ2 순서 h인 휠 그래프 H에 대해 트리너비 상한이 다항식인지, 그리고 O(h)로 향상될 수 있는가?
• RQ3 듀얼 휠과 야트 그래프 가족에 대해 최적의 다항식 상한은 무엇이며, 이러한 상한은 날카로운가?
• RQ4 격자 제거 정리가 일반 경우보다 훨씬 우수한 다항식 트리너비 상한을 제공하는 구조적 평면 그래프 클래스가 존재하는가?
• RQ5 람누지안 그래프와 같은 극한 그래프 구성이 특정 소수 가족의 배제에 대해 최적의 다항식 차수를 하한으로 설정하는 데 사용될 수 있는가?

주요 결과

• 순서 h인 휠을 소수로 포함하지 않는 임의의 그래프의 트리너비는 O(h) 이하로 유계되며, 이는 상수 인자 측면에서 날카롭다.
• 순서 h인 듀얼 휠에 대해 트리너비는 O(h² log²h) 이하로 유계되며, 이는 이전의 지수적 상한보다 향상되었다.
• 경로폭이 2 이하인 그래프가 소수로 배제될 경우, 주어진 그래프의 트리너비는 O(h²) 이하로 유계된다.
• 순서 h인 야트 그래프는 주어진 그래프의 트리너비가 O(h⁴) 이하일 때에만 소수로 배제되며, 이는 이 가족에 대해 처음으로 얻어진 다항식 상한이다.
• 특정 소수 가족을 배제할 경우 트리너비 상한에 대해 Ω(h log h)의 하한을 제공하며, 이는 일부 클래스에 대해 최적의 차수일 수 있음을 시사한다.
• 저자들은 듀얼 휠에 대해 상한이 O(h)로 최적일 것이라 추측하며, 경로폭-1 및 야트 유사 가족에 대해 Ω(h log h)의 하한이 날카로울 것이라 주장한다.