[논문 리뷰] On the separation profile of infinite graphs

Itaï Benjamini, Oded Schramm외 1명|arXiv (Cornell University)|2010. 04. 06.

Geometric and Algebraic Topology참고 문헌 15인용 수 3

한 줄 요약

이 논문은 무한 그래프, 특히 카일리 그래프와 하이퍼볼릭 공간에 대해 분리 프로파일을 군락 기하학적 불변량으로 도입한다. 유한한 분리는 유계 트리너비와 등가임을 증명하고, 다양한 군들에 대한 분리 함수를 도출한다 (예: 자유군의 곱에 대해 $n / \log n$, $\mathbb{Z}^d$에 대해 $n^{(d-1)/d}$). 또한 $\mathbb{Z}^2$에서 $\mathbb{Z}$ 위의 램플라이터 군으로의 준정규 사상이 존재하지 않음을 보이며, 분리를 점근적 차원과 조화 함수와 연결한다.

ABSTRACT

Initial steps in the study of inner expansion properties of infinite Cayley graphs and other infinite graphs, such as hyperbolic ones, are taken, in a flavor similar to the well-known Lipton-Tarjan square root separation result for planar graphs. Connections to relaxed versions of quasi-isometries are explored, such as regular and semiregular maps.

연구 동기 및 목표

• 무한 그래프 및 경로 메트릭 공간에 대해 분리 프로파일을 정의하고 분석하는 것.
• 핵심 무한 그래프, 즉 중간 성장성을 가진 군의 카일리 그래프, 하이퍼볼릭 공간, 그래프의 곱 등에 대한 분리 함수를 결정하는 것.
• 분리 프로파일, 정규 및 준정규 사상, 점근적 차원 및 조화 함수와 같은 불변량 간의 관계를 탐색하는 것.
• 정점 전이적 그래프에 대해 선형 또는 $n/\log n$ 분리가 가능한 최대 성장률인지 조사하는 것.
• 특정 공간 간에 준정규 사상이 존재하는지에 대한 구조적 질문을 다루는 것, 예를 들어 $\mathbb{Z}^2$와 $\mathbb{Z}$ 위의 램플라이터 군 사이의 사상 여부.

제안 방법

• 크기가 $x$인 모든 부분그래프에 대해, 각 부분그래프를 크기가 최대 $x/2$인 컴포넌트로 분리하기 위해 필요한 최소 정점 컷의 상한으로 분리 함수 $\text{sep}_G(x)$를 정의한다.
• 정규 및 준정규 사상의 개념을 사용하여 다양한 공간 간의 분리 프로파일을 연결하며, 이러한 사상 하에서 분리는 단조 비감소적임을 보인다.
• $\mathbb{Z}^2$에서의 쿼라 레벨 세트와 컴포넌트 성장의 개념을 적용하여, $\mathbb{Z}$ 및 램플라이터 군으로의 준정규 사상이 존재하지 않음을 증명한다.
• 점근적 차원 이론을 활용하여, $X \to_{\text{s-reg}} Y$이면 $\text{asdim}(X) \leq \text{asdim}(Y)$임을 보이고, 이를 통해 특정 사상이 불가능함을 제거한다.
• 구체적 예시 분석: $\mathbb{Z}^d$는 분리가 $n^{(d-1)/d}$이며, $T \times T$는 분리가 $n / \log n$이며, 하이퍼볼릭 그래프의 분리는 상수이거나 최소한 로그 수준 이상으로 증가한다.
• 유한한 분리는 유계 트리너비임을 증명하고, 유한한 분리를 가지는 그래프의 구조를 특성화한다.

실험 결과

연구 질문

• RQ1 전이적 또는 카일리 그래프에 의해 실현 가능한 분리 함수는 무엇이며, 이러한 그래프에 대해 가능한 성장률은 무엇인가?
• RQ2 정점 전이적 그래프에 대해 $n/\log n$이 가능한 최대 분리 성장률인가, 아니면 선형 분리가 가능할 수 있는가?
• RQ3 1보다 작은 스펙트럴 반경과 약한 분리 조건이 동시에 성립할 경우, 비상수 유계 조화 함수의 존재가 보장되는가?
• RQ4 $\mathbb{Z}^2$에서 $\mathbb{Z}$ 위의 램플라이터 군으로 준정규 사상이 존재하는가, 그리고 이는 점근적 차원과 분리 프로파일에 대해 어떤 함의를 갖는가?
• RQ5 $\mathbb{H}^2$에서 $T \times \mathbb{Z}$로 준정규 사상이 존재하는가, 그리고 이는 군락 기하학적 불변량과 어떻게 관련되는가?

주요 결과

• $\mathbb{Z}^d$의 분리 함수는 $n^{(d-1)/d}$이며, 차원에 대한 거듭제곱 법칙 의존성을 보여준다.
• 두 정규 트리의 곱인 $T \times T$는 분리 함수가 $\asymp n / \log n$이며, 다항식 성장과 로그 성장 사이의 날카운 경계를 나타낸다.
• 그래프에서 유한한 분리는 유계 트리너비와 동치이며, 이는 구조적 특성화를 제공한다.
• 쿼라 레벨 세트에서 컴포넌트 성장이 유계가 아니므로, $\mathbb{Z}^2$에서 $\mathbb{Z}$로의 준정규 사상이 존재하지 않으며, 따라서 $\mathbb{Z}$ 위의 램플라이터 군으로의 사상도 존재하지 않는다.
• 그로모프-하이퍼볼릭 그래프의 경우, 분리 함수는 상수이거나 최소한 로그 수준 이상으로 증가하므로, 갭 정리가 성립한다.
• 점근적 차원은 준정규 사상 하에서 단조 비감소적이며, 이 성질은 특정 사상(예: $n > m$일 때 $\mathbb{Z}^n$에서 $\mathbb{Z}^m$으로의 사상)을 제거한다. 이는 위상적 장벽을 제공한다.