[논문 리뷰] A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus

Martin Grohe, Sandra Kiefer|arXiv (Cornell University)|2019. 01. 01.

Advanced Graph Theory Research참고 문헌 35인용 수 1

한 줄 요약

이 논문은 유사성 오일러 유전수 $g$를 가진 표면에 매장된 그래프의 위스페일러-레만(WL) 차원에 대해 선형 상계를 확립한다. 초임계 브리지의 구조와 그 부착 패턴을 정교한 동형사상 확장 추론 기법을 사용해 분석함으로써, 오일러 유전수 $g$를 가진 그래프의 WL 차원은 최대 $4g + 3$이며, 옹호 표면의 경우 최대 $2g + 3$임을 증명한다.

ABSTRACT

The Weisfeiler-Leman (WL) dimension of a graph is a measure for the inherent descriptive complexity of the graph. While originally derived from a combinatorial graph isomorphism test called the Weisfeiler-Leman algorithm, the WL dimension can also be characterised in terms of the number of variables that is required to describe the graph up to isomorphism in first-order logic with counting quantifiers. It is known that the WL dimension is upper-bounded for all graphs that exclude some fixed graph as a minor (Grohe, JACM 2012). However, the bounds that can be derived from this general result are astronomic. Only recently, it was proved that the WL dimension of planar graphs is at most 3 (Kiefer, Ponomarenko, and Schweitzer, LICS 2017). In this paper, we prove that the WL dimension of graphs embeddable in a surface of Euler genus $g$ is at most $4g+3$. For the WL dimension of graphs embeddable in an orientable surface of Euler genus $g$, our approach yields an upper bound of $2g+3$.

연구 동기 및 목표

• 유전수 $g$를 가진 그래프의 위스페일러-레만(WL) 차원에 대해 날카로운 상계를 도출하는 것.
• 기존의 평면 그래프에 대한 결과(WL 차원 ≤ 3)를 임의의 표면에 매장된 그래프로 확장하는 것.
• 고정된 미니어를 배제하는 그래프에 대한 일반적 상계를 향상시키기 위해 위상적 구조를 활용하는 것.
• 표면에 매장된 그래프에서 초임계 브리지에 대한 동형사상 확장 기법을 정교화하는 것.
• 옹호 표면과 비옹호 표면 간의 WL 차원 상계에서의 차이를 규명하는 것.

제안 방법

• 오일러 유전수 $g$를 가진 표면에 매장된 그래프에서 초임계 브리지의 구조를 분석하는 것.
• 브리지의 유형과 부착 패턴을 분류하여 동형사상 불변 색칠을 정의하는 것.
• 브리지 부착을 체계적으로 다루면서 코어 부분그래프 간의 부분 동형사상을 전체 동형사상으로 확장하는 것.
• 비결정 브리지와 그 이중성 간의 전단사 사상으로 동형사상 하에서의 구조적 불변성을 유지하는 것.
• 오일러 유전수에 대한 귀납법을 적용하며, 특히 옹호 표면의 경우 유전수를 2씩 줄여가며 상계를 정밀화하는 것.
• 옹호 표면는 오일러 유전수가 항상 짝수이므로, $4g+3$에서 $2g+3$으로 상계를 향상시킬 수 있음을 활용하는 것.

실험 결과

연구 질문

• RQ1 오일러 유전수 $g$를 가진 표면에 매장된 그래프의 최대 위스페일러-레만 차원은 얼마인가?
• RQ2 일반 표면에 비해 옹호 표면에 매장된 그래프의 WL 차원 상계는 향상시킬 수 있는가?
• RQ3 초임계 브리지의 구조적 복잡도는 WL 차원에 어떤 영향을 미치는가?
• RQ4 오일러 유전수와 같은 위상적 불변량을 사용해 WL 차원을 어느 정도로 제한할 수 있는가?
• RQ5 상계 $4g+3$는 날카로운가, 아니면 더 정교한 구조 분석을 통해 줄일 수 있는가?

주요 결과

• 오일러 유전수 $g$를 가진 임의의 그래프의 위스페일러-레만 차원은 최대 $4g + 3$이다.
• 오일러 유전수 $g$를 가진 옹호 표면에 매장된 그래프의 WL 차원은 최대 $2g + 3$이다.
• 옹호 표면의 상계는 유전수를 2씩 줄이며 귀납적으로 유도되며, 동형사상 확장 과정을 정밀화함으로써 달성된다.
• 이 증명은 브리지 유형과 부착 패턴을 분석함으로써 코어 부분그래프에서 전체 그래프로의 동형사상 체계적 확장을 기반으로 한다.
• 이 결과는 고정된 미니어를 배제하는 그래프에 대한 일반적 상계보다 향상되었으며, 이 경우 상계는 천문학적 크기의 값으로만 도출된다.
• 저자들은 상계가 $3g + 3$ 또는 심지어 $2g + 3$으로도 줄일 수 있을 것으로 추측하며, 새로운 기법을 통해 추가 정밀화의 여지가 있음을 시사한다.