[논문 리뷰] Graph minors and metric spaces

Agelos Georgakopoulos, Panos Papasoglu|arXiv (Cornell University)|2023. 05. 12.

Topological and Geometric Data Analysis인용 수 5

한 줄 요약

이 논문은 그래프 미니처와 메트릭 공간 간의 거친 기하학적 프레임워크를 제안하며, 유한 그래프 H의 '지방성 미니처'를 갖지 않는 그래프 또는 길이 공간은 H를 미니처로 갖지 않는 그래프와 퀼라이소메트릭임을 주장한다. K₃, K₄⁻ 및 별과 같은 작은 그래프에 대해 추측을 증명하고, 멕너의 정리와 코너링의 정리와 같은 고전적 정리의 메트릭 버전을 수립하며, 에르되시–포사 정리와 하린의 격자 정리의 거친 형태를 제안한다.

ABSTRACT

We present problems and results that combine graph-minors and coarse geometry. For example, we ask whether every geodesic metric space (or graph) without a fat $H$ minor is quasi-isometric to a graph with no $H$ minor, for an arbitrary finite graph $H$. We answer this affirmatively for a few small $H$. We also present a metric analogue of Menger's theorem and Konig's ray theorem. We conjecture metric analogues of the Erdos--Posa Theorem and Halin's grid theorem.

연구 동기 및 목표

• 기하군 이론과 그래프 이론의 개념을 통합하는 그래프 미니처 이론의 거친 기하학적 유사체를 수립하기 위해.
• 메트릭 공간에서 지방성 미니처가 없을 경우, 그 공간이 주어진 미니처를 갖지 않는 공간과 퀄라이소메트릭임을 증명할 수 있는지 조사하기 위해.
• 맥너의 정리와 코너링의 정리와 같은 고전적 그래프 이론 결과를 거친 기하학적 맥락으로 확장하기 위해.
• 에르되시–포사 정리와 하린의 격자 정리와 같은 주요 정리의 거친 유사체를 제안하고 탐구하기 위해.
• 점근적 미니처가 군 기하학에 미치는 영향, 특히 평면성과 트리 폭과의 관계를 고려하기 위해.

제안 방법

• 브랜치 집합들이 거리 K 이상 떨어져 있는 방식으로 정의된 K-지방성 미니처를 거친 기하학적 그래프 미니처의 형태로 도입한다.
• 큰 스케일 기하학적 구조를 비교하기 위해 퀄라이소메트리 관계를 중심 등가 관계로 사용한다.
• 특히 그로모프의 점근적 차원과 퀄라이소메트리 불변성을 활용하여 거친 기하학과 기하군 이론의 기법을 적용한다.
• 나이스-립시츠 임베딩과 변형 기반 맵을 사용하여 메트릭 공간을 트리나 평면 그래프와 같은 간단한 구조로의 임베딩을 분석한다.
• 기존의 퀄라트리와 퀄라카티에 관한 결과를 활용하여 주요 추측의 특수 케이스를 증명한다.
• 점근적 미니처의 호메오모르피 불변성을 활용하여 1-스켈레톤이 호메오모르픽인 그래프들은 점근적으로 동치임을 보인다.

실험 결과

연구 질문

• RQ1 지오데식 메트릭 공간이 어떤 유한한 미니처 H를 갖지 않으며, 어떤 K에 대해 K-지방성 H 미니처도 갖지 않을 경우, 그 공간이 H를 미니처로 갖지 않는 그래프와 퀄라이소메트릭일 조건은 무엇인가?
• RQ2 맥너의 정리나 코너링의 정리와 같은 고전적 그래프 이론 정리를 점근적 미니처를 통해 거친 기하학으로 일반화할 수 있는가?
• RQ3 에르되시–포사 정리의 거친 유사체가 존재하는가? 즉, 많은 수의 서로 겹치지 않는 K₃ 미니처가 존재할 경우, 대규모 스케일에서 유한 크기의 충격 집합이 존재하는가?
• RQ4 점근적 격자 미니처가 존재하지 않을 경우, 거친 의미에서 트리 폭이 유한한가?
• RQ5 군의 카일리 그래프의 평면성이 점근적 K₅ 또는 K₃,₃ 미니처의 부재성에 의해 특징지어질 수 있는가?

주요 결과

• H = K₃인 경우 추측이 성립하며, 링거의 퀄라트리 특성화를 기반으로 기존 결과의 더 짧은 대체 증명이 가능하다.
• H = K₄⁻인 경우 추측이 확인되었으며, 이는 이전의 퀄라카티 및 외평면 그래프에 관한 연구를 확장한 것이다.
• H = K₁,ₘ(별)인 경우가 해결되었으며, K-지방성 별을 갖지 않는 그래프는 이러한 별을 갖지 않는 그래프와 퀄라이소메트릭임을 보였다.
• 두 유한 그래프 H₁과 H₂가 1-복합체로서 호메오모르픽일 경우 점근적으로 동치임을 증명하였으며, 이는 경로와 사이클에 대해 추측이 성립함을 의미한다.
• 추측에 따르면, 그래프가 카투스와 퀄라이소메트릭임과 외평면 그래프와 퀄라이소메트릭임이 서로 동치임을 의미하며, 이를 통해 셰파이 등이 이전에 확보한 결과를 새로운 방식으로 확인한다.
• 코너링의 광선 정리의 거친 유사체를 제시하고, 하린의 격자 정리의 잠재적 거친 형태에 대해 논의한다.