[논문 리뷰] Forcing large complete minors in infinite graphs

Maya Stein, José Zamora|arXiv (Cornell University)|2011. 02. 02.

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

한 줄 요약

이 논문은 국소 유한 그래프가 아닌 일반적인 무한 그래프로 고전적인 강제 이론을 확장하여, 상대적 끝 차수라는 일반화된 개념을 도입함으로써 유한 그래프에서 큰 완전 미니처를 강제하는 고전적 결과를 무한 그래프로 확장한다. 가산 많은 끝을 가진 무한 그래프에서 최소 정점 차수와 최소 상대적 끝 차수의 조합 조건이 충분히 높을 경우, 큰 완전 위상 미니처를 포함함을 증명한다. 이는 Mader의 정리와 Kostochka-Bollobás-Thomason 정리를 무한 설정으로 일반화한다.

ABSTRACT

It is well-known that in finite graphs, large complete minors/topological minors can be forced by assuming a large average degree. Our aim is to extend this fact to infinite graphs. For this, we generalise the notion of the relative end degree, which had been previously introduced by the first author for locally finite graphs, and show that large minimum relative degree at the ends and large minimum degree at the vertices imply the existence of large complete (topological) minors in infinite graphs with countably many ends.

연구 동기 및 목표

• 고전적인 결과인 높은 평균 차수로 유한 그래프에서 큰 완전 미니처를 강제하는 것을 무한 그래프로 확장한다.
• 무한 트리의 존재로 인해 최소 정점 차수만으로는 무한 그래프에서 큰 미니처를 강제할 수 없기 때문에 이를 해결한다.
• 무한 그래프의 끝에서의 조밀도를 측정하는 상대적 끝 차수 개념을 도입하고 체계화한다.
• 높은 최소 정점 차수와 높은 최소 상대적 끝 차수의 조합이 가산 많은 끝을 가진 무한 그래프에서 큰 완전 위상 미니처를 강제함을 증명한다.
• 정점과 끝의 차수 조건을 조합한 조건을 사용하여 Mader의 정리와 Kostochka-Bollobás-Thomason 정리를 무한 설정으로 일반화한다.

제안 방법

• 가산 많은 끝을 가진 임의의 무한 그래프로 국소 유한 그래프에서의 상대적 끝 차수 개념을 일반화한다.
• 끝 ω에 대한 상대 차수를, ω로 수렴하는 ω-영역의 수열 (Hi)에 대해 liminf |∂eHi| / |∂vHi| 의 하한으로 정의한다.
• G의 모든 정점 차수와 상대적 끝 차수의 최솟값으로서 조합 최소 차수 δV,Ω(G)를 정의한다.
• 평균 차수가 점점 증가하는 유한 부분그래프 Si의 재귀적 구성 방법을 사용하여 집합의 시퀀스를 구축한다.
• 유한성 렘마(Kőnig의 무한성 렘마)를 적용하여, 평균 차수가 유계인 부분그래프에 무한 레이저가 존재할 경우 모순을 이끌어낸다.
• 서로소 유한 집합 F ∈ F 와 그들의 분리 성질을 활용하여 연결성과 차수 성장을 제어한다.

실험 결과

연구 질문

• RQ1 고전적인 결과인 높은 평균 차수가 유한 그래프에서 큰 완전 미니처를 강제하는 것을 무한 그래프로 확장할 수 있는가?
• RQ2 무한 그래프에서 큰 완전 미니처를 강제하기 위해 높은 최소 정점 차수 외에 어떤 추가적인 구조 조건이 필요한가?
• RQ3 무한 그래프에서 무한으로 향하는 조밀도를 포착할 수 있는 방식으로 끝 차수 개념을 어떻게 체계화할 수 있는가?
• RQ4 정점과 끝의 차수를 조합한 조건이 가산 많은 끝을 가진 무한 그래프에서 큰 완전 위상 미니처의 존재를 보장하는가?
• RQ5 상대적 끝 차수는 무한 그래프의 미니처 정리에서 평균 차수의 적절한 대체로 간주될 수 있는가?

주요 결과

• 논문은 δV,Ω(G) > c1k√log k 이면 완전 그래프 Kk 가 G의 미니처임을 확립한다.
• 위상 미니처의 경우, δV,Ω(G) > c2k² 이면 Kk 가 G의 위상 미니처임을 증명하며, 이는 유한 그래프의 결과를 무한 그래프로 확장한다.
• 부분그래프 G′ 에서 무한한 정점 수를 가진 레이저가 존재한다는 것은 구성과 모순되며, 따라서 과정는 유한 부분그래프로 끝나야 하며 이는 높은 평균 차수를 가진다.
• Si의 구성은 G′[Si] 내의 정점 평균 차수가 m−k+1 를 초과하게 하며, 이는 충분한 조밀도를 가진 유한 부분그래프가 존재함을 의미한다.
• 상대적 끝 차수는 끝에서의 조밀도를 강력하게 측정하며, 무한 그래프에서 조밀도가 무한으로 산산이 흩어지는 것을 방지한다.
• 증명은 유한 부분그래프의 재귀적 구성과 Kőnig의 무한성 렘마를 활용하여, 큰 미니처가 존재하지 않는다는 가정에서 모순을 이끌어낸다.