[논문 리뷰] Linear Connectivity Forces Large Complete Bipartite Minors: the Patch for the Large Tree-Width Case

Jan-Oliver Fröhlich, Theodor Müller|ArXiv.org|2009. 06. 15.

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

한 줄 요약

이 논문은 Böhme 등이 선형적으로 높은 연결성을 가진 그래프에서 큰 완전 이분 그래프 미니처를 유도한다는 증명의 격차를 엄밀하게 메운다. 특히 트리 폭이 큰 그래프에서의 경우에 대해, 그들의 증명에서 사용한 증명되지 않은 구조 정리 대신 Robertson과 Seymour의 원래 구조 정리를 직접 적용함으로써, 임베딩된 코어 그래프 내에 큰 폭의 바위(바위)를 확보함으로써, 필요한 복합체 구조를 보장함으로써 주요 결과가 원래의 가정 하에서 유효함을 입증한다.

ABSTRACT

The recent paper "Linear Connectivity Forces Large Complete Bipartite Minors" by Boehme et al. relies on a structure theorem for graphs with no H-minor. The sketch provided of how to deduce this theorem from the work of Robertson and Seymour appears to be incomplete. To fill this gap, we modify the main proof of that paper to work with a mere restatement of Robertson and Seymour's original results instead.

연구 동기 및 목표

• Böhme 등의 논문에서 완전 이분 그래프 미니처에 관한 정리 1.1의 증명에서 발생하는 심각한 격차를 해결하기 위해.
• 그들의 논증에서 증명되지 않은 구조 정리(정리 4.2)를 Robertson과 Seymour의 원래 구조 정리를 직접 적용함으로써 대체하기 위해.
• 임베딩된 코어 그래프 내에 큰 폭의 바위가 존재함을 보장하기 위해.
• 원래의 프레임워크 내에서 작동하는 자가 일관된, 올바른 논증을 제공함으로써 Böhme 등이 주장한 주요 결과를 재확인하기 위해.
• 코어 그래프에서 낮은 차수를 가진 정점들을 기반으로 핵심 정점들을 정의하고, 이에 기반해 $ n_2 $-폭 바위의 존재를 증명하기 위해.

제안 방법

• Böhme 등의 논문와 일치하는 용어로 Robertson과 Seymour의 구조 정리를 재기재하여 직접 적용 가능하도록 한다.
• 바위를 선형 순서가 있는 사회(society)와 제약된 접합 집합을 가진 연결된 경로 분해를 갖는 그래프로 정의한다.
• $ \alpha $-근접 임베딩 개념을 사용하여, 정점 집합(apex sets), 큰 바위(연결되어 있고 접합 집합이 높음), 작은 바위(길이 ≤ 3)를 포함한다.
• 코어 그래프 $ G_0 $ 내에서 차수 < 7인 사회 정점들을 핵심 사회 정점으로 정의하여 오일러 특성 수식의 정밀도를 높인다.
• 임베딩된 코어 그래프 $ G_0 $에 대해 오일러 공식을 적용하고, 간선과 면의 수에 대한 경계를 사용하여 핵심 정점의 수에 하한을 도출한다.
• 코어 5를 사용하여 큰 월 미니처가 바위와 애플렉스 집합을 교차하는 분기 집합의 수를 제한하고, $ G_0 $가 너무 작을 경우 모순이 발생함을 보인다.

실험 결과

연구 질문

• RQ1 Böhme 등이 고체 폭이 큰 그래프에서 큰 임베딩된 월의 존재를 유도하기 위해 사용한 구조 정리는 엄밀하게 성립하는가?
• RQ2 그들의 증명되지 않은 정리 4.2에 의존하지 않고도, 임베딩된 코어 그래프 내에 큰 폭의 바위가 존재함을 증명할 수 있는가?
• RQ3 핵심 정점의 수정된 정의를 사용할 경우 오일러 특성 수식의 논증이 유효한가?
• RQ4 Robertson과 Seymour의 기본 결과만을 사용하여 원래의 정리 1.1의 증명을 복구할 수 있는가?
• RQ5 수정된 프레임워크 하에서 정리 1의 결과로, 연쇄와 이격된 복합체가 사회 정점에 이격된 물갈이를 갖는다는 것이 도출되는가?

주요 결과

• 코어 그래프 $ G_0 $는 $ n_1 $개 이상의 정점을 가져야 하며, 否면 큰 월 미니처의 분기 집합 수가 요구되는 $ r^2 $ 수와 부합하지 않는다.
• 최대 $ g $개의 작은 바위가 존재할 수 있다. 각각은 최대 3개의 정점으로 분리되며, 월 미니처에 기여하는 분기 집합의 수가 적다.
• 코어 그래프 $ G_0 $ 내의 핵심 사회 정점의 수는 $ \frac{1}{7}|G_0| - 2(a+1)g - ask $ 를 초과하여, 상당한 수의 핵심 정점이 존재함을 보장한다.
• $ n_2 $-폭 바위가 존재함을 의미하며, 이는 그 사회에 최소 $ n_2 $개의 핵심 정점이 포함되어 있음을 뜻하며, 이는 미니처 구축에 충분하다.
• 큰 바위의 연쇄와 이격된 복합체가 존재함은 정리 1에 의해 보장되며, 이는 미니처 구축 과정이 정상적으로 진행됨을 보장한다.
• 핵심 정점의 수정된 정의와 오일러 공식 논증이 이제 유효해져 원래 증명의 핵심 단계가 재확인된다.