[논문 리뷰] Reduced bandwidth: a qualitative strengthening of twin-width in minor-closed classes (and beyond)

Édouard Bonnet, O‐joung Kwon외 1명|arXiv (Cornell University)|2022. 02. 24.

Advanced Graph Theory Research인용 수 12

한 줄 요약

이 논문은 감소된 대역폭을 쌍둥이 폭보다 더 강한 질적 측면에서 강화한 개념으로 정의하며, 모든 감소 시퀀스에서 발생하는 빨간 그래프의 최대 대역폭의 최소값으로 정의한다. 모든 진정한 미니처-폐쇄 그래프 클래스, 특히 평면 그래프와 유사도가 제한된 유클리드 유니지를 가진 그래프들 역시 유계 감소된 대역폭을 가짐을 증명한다. 이는 이전의 쌍둥이 폭 결과보다 더 날카로운 정량적 상한을 제공하며, 평면 그래프의 경우 감소된 대역폭이 최대 466이고, 유클리드 유니지 γ를 가진 지도 그래프의 경우 O(γ⁴)임을 보여준다.

ABSTRACT

In a reduction sequence of a graph, vertices are successively identified until the graph has one vertex. At each step, when identifying $u$ and $v$, each edge incident to exactly one of $u$ and $v$ is coloured red. Bonnet, Kim, Thomassé and Watrigant [J. ACM 2022] defined the twin-width of a graph $G$ to be the minimum integer $k$ such that there is a reduction sequence of $G$ in which every red graph has maximum degree at most $k$. For any graph parameter $f$, we define the reduced $f$ of a graph $G$ to be the minimum integer $k$ such that there is a reduction sequence of $G$ in which every red graph has $f$ at most $k$. Our focus is on graph classes with bounded reduced bandwidth, which implies and is stronger than bounded twin-width (reduced maximum degree). We show that every proper minor-closed class has bounded reduced bandwidth, which is qualitatively stronger than an analogous result of Bonnet et al.\ for bounded twin-width. In many instances, we also make quantitative improvements. For example, all previous upper bounds on the twin-width of planar graphs were at least $2^{1000}$. We show that planar graphs have reduced bandwidth at most $466$ and twin-width at most $583$. Our bounds for graphs of Euler genus $γ$ are $O(γ)$. Lastly, we show that fixed powers of graphs in a proper minor-closed class have bounded reduced bandwidth (irrespective of the degree of the vertices). In particular, we show that map graphs of Euler genus $γ$ have reduced bandwidth $O(γ^4)$. Lastly, we separate twin-width and reduced bandwidth by showing that any infinite class of expanders excluding a fixed complete bipartite subgraph has unbounded reduced bandwidth, while there are bounded-degree expanders with twin-width at most 6.

연구 동기 및 목표

• 감소된 대역폭을 새로운 그래프 파라미터로 정의하고 연구함으로써, 감소 시퀀스에서 최대 차수 대신 대역폭에 초점을 맞춰 쌍둥이 폭을 강화하는 것.
• 모든 진정한 미니처-폐쇄 그래프 클래스가 감소된 대역폭을 유계로 가지며, 이는 쌍둥이 폭이 유계인 것보다 질적으로 더 강력한 조건임을 확립하는 것.
• 특정 그래프 클래스, 특히 평면 그래프와 유클리드 유니지가 제한된 그래프들에 대해 감소된 대역폭과 쌍둥이 폭의 개선된 정량적 상한을 제공하는 것.
• 감소된 대역폭과 다른 그래프 파라미터 간의 관계를 연구하며, 특히 그래프 거듭제곱과 여집합의 맥락에서 고려하는 것.
• 감소된 대역폭이 유계이지만 쌍둥이 폭이 무한대일 수 있는 무한한 그래프 가족을 구성함으로써 감소된 대역폭과 쌍둥이 폭 사이의 стрict한 계층관계를 입증하는 것.

제안 방법

• 감소 시퀀스를 정의함: 정점의 융합을 반복하는 과정에서 정점 하나에만 연결된 간선은 빨간색으로 칠해지며, 각 단계에서 빨간 그래프가 형성됨.
• 감소된 대역폭을 정의함: 모든 감소 시퀀스에 대해 형성된 빨간 그래프의 최대 대역폭 중 최소값으로 정의함.
• 구조적 그래프 이론과 미니처-폐쇄 성질을 활용하여, 미니처-폐쇄 클래스에서 감소 시퀀스 동안의 빨간 그래프의 대역폭을 유계로 제한함.
• 그래프 흐트러짐 이론과 임베딩 이론 기법을 적용하여 평면 그래프와 유클리드 유니지가 제한된 그래프에 대한 상한을 유도함. 기존의 분해 정리들을 활용함.
• 평면 그래프 및 지도 그래프에 대해 구체적인 감소 시퀀스를 구성함으로써, 감소된 대역폭에 대한 제시된 상한을 달성함. 경로 유사한 빨간 그래프 구조를 활용함.
• 극한 그래프 이론과 확산 그래프 구성 기법을 활용하여, 감소된 대역폭이 무한대일 수 있음을 입증함. 이는 쌍둥이 폭이 유계이지만 감소된 대역폭이 무한대일 수 있음을 보여주며, 두 파라미터 사이의 엄격한 분리가 있음을 확립함.

실험 결과

연구 질문

• RQ1 감소된 대역폭은 미니처-폐쇄 그래프 클래스에서 쌍둥이 폭보다 질적으로 더 강력한 측정 기준이 될 수 있는가?
• RQ2 평면 그래프와 유클리드 유니지가 제한된 그래프에 대해 감소된 대역폭의 가장 날카로운 상한은 무엇인가?
• RQ3 진정한 미니처-폐쇄 클래스에 속하는 그래프의 거듭제곱 역시 감소된 대역폭이 유계일까? 만약 그렇다면, 정량적 상한은 무엇인가?
• RQ4 감소된 대역폭과 유사하게, 컴포넌트 쌍둥이 폭과 클리크-폭 간의 알려진 관계에 해당하는 자연스러운 그래프 파라미터는 존재하는가?
• RQ5 고정된 완전 이분부분그래프를 포함하지 않는 단조 그래프 클래스에서 감소된 대역폭이 무한대일 수 있는가? 이는 쌍둥이 폭이 유계일 수 있음에도 불구하고 가능할까?

주요 결과

• 모든 진정한 미니처-폐쇄 그래프 클래스는 감소된 대역폭이 유계이며, 이는 쌍둥이 폭이 유계인 것보다 더 강력한 조건이다.
• 평면 그래프는 감소된 대역폭이 최대 466이며, 쌍둥이 폭은 최대 583으로, 이전의 2^1000 수준의 상한보다 크게 향상되었다.
• 유클리드 유니지 γ를 가진 그래프는 감소된 대역폭이 O(γ)이며, 이는 유니지에 대해 선형적 의존성을 보인다.
• 진정한 미니처-폐쇄 클래스에 속하는 그래프의 거듭제곱 역시 감소된 대역폭이 유계이며, 유클리드 유니지 γ를 가진 지도 그래프의 경우 감소된 대역폭은 O(γ⁴)이다.
• 차수 유계 확산 그래프의 무한한 가족이 존재하며, 이들의 쌍둥이 폭은 최대 6이지만 감소된 대역폭은 무한대이다. 이는 감소된 대역폭이 쌍둥이 폭보다 엄격히 더 강력하다는 것을 입증한다.
• n-정점 그래프 중 (≥n)-하향분할을 포함하는 그래프 클래스는 감소된 대역폭이 최대 2이다. 이는 감소된 대역폭이 이분부분미니처를 배제하는 클래스에서 선형 확산과 밀접하게 연관되어 있을 수 있음을 시사한다.