[논문 리뷰] The combinatorial cost

Gábor Elek|ArXiv.org|2006. 08. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 3인용 수 26

한 줄 요약

이 논문은 균일하게 유계된 차수를 가진 유한 그래프 수열에 대해 측도적 동치관계 불변량—비용과 β-불변량—의 조합적 유사체를 도입한다. 큰 둘레를 가진 그래프 수열에 대해 비용이 간선 밀도의 극한과 같음을 증명하고, 잔여적으로 유한한 군에서의 랭크 기울기와 mod p 호몰로지 기울기와 이러한 불변량들을 연결하며, 카일리 그래프 수열의 초유한성은 기저 군의 애너빌리티를 특징짓는다는 것을 증명한다.

ABSTRACT

We study the combinatorial analogues of the classical invariants of measurable equivalence relations. We introduce the notion of cost and $β$-invariants (the analogue of the first $L^2$-Betti number introduced by Gaboriau) for sequences of finite graphs with uniformly bounded vertex degrees and examine the relation of these invariants and the rank gradient resp. mod $p$ homology gradient invariants introduced by Lackenby for residually finite groups.

연구 동기 및 목표

• 균일하게 유계된 차수를 가진 유한 그래프 수열에 대해 측도적 동치관계 불변량—비용과 β-불변량—의 조합적 유사체를 정의하고 연구한다.
• 이러한 그래프 불변량과 잔여적으로 유한한 군의 고전적 불변량, 예를 들어 랭크 기울기와 mod p 호몰로지 기울기 사이의 연결 고리를 확립한다.
• 그래프 수열에 대한 초유한성의 개념을 도입하고 분석하며, 측도적 동치관계 이론과 유사성을 부각한다.
• 큰 둔지 그래프 수열의 비용이 간선 밀도의 극한과 같음을 증명하여 가보리의 정리를 조합적 설정으로 확장한다.
• 유한 생성 잔여적으로 유한한 군의 애너빌리티를 그에 대응하는 카일리 그래프 수열의 초유한성으로 특징짓는다.

제안 방법

• 정점 차수가 균일하게 유계된 그래프 수열을 정의하고, 간선 밀도 극한 $ e(\text{cal G}) $ 를 $ \liminf_{n\to\infty} \frac{|E(G_n)|}{|V(G_n)|} $ 로 정의한다.
• 비용 $ c(\text{cal G}) $ 는 $ \text{cal G} $ 와 동치인 모든 그래프 수열 $ \text{cal H} $ 에 대해 $ e(\text{cal H}) $ 의 하한으로 정의되며, 여기서 동치는 거리의 상호 쿼시이소메트리성을 의미한다.
• $ \beta_K $-불변량을 $ \inf_q \liminf_{n\to\infty} \frac{|E(G_n)| - \dim_K C_K^q(G_n)}{|V(G_n)|} - 1 $ 으로 정의하여, 짧은 순환 외의 간선의 점근적 밀도를 측정한다.
• 사이클 공간 차원 $ \dim_K C_K^q(G_n) $ 를 사용하여 짧은 순환에 속하지 않는 간선의 비율을 정량화하고, 이를 $ \beta_K $-불변량과 연결한다.
• $ \beta_K(\text{cal G}) + 1 \leq c(\text{cal G}) $ 를 증명하여 비용이 $ \beta $-불변량을 상향으로 제한함을 보인다.
• 그래프 수열의 초유한성이 비용 1을 암시하고, 모든 그래프 수열이 초유한한 동치 수열을 가짐을 넷 기반 분해와 스패닝 트리의 방법을 통해 증명한다.

실험 결과

연구 질문

• RQ1 유계된 차수를 가진 그래프 수열에 대한 조합적 비용과 $ \beta $-불변량은 측도적 동치관계 이론의 고전적 불변량과 어떻게 관련이 있는가?
• RQ2 큰 둘레를 가진 그래프 수열의 비용과 그 간선 밀도 극한 사이의 관계는 무엇인가?
• RQ3 그래프 수열의 $ \beta $-불변량은 잔여적으로 유한한 군의 랭크 기울기와 mod p 호몰로지 기울기와 어떻게 관련이 있는가?
• RQ4 그래프 수열의 초유한성은 그 기저 군의 군론적 성질로 어떻게 특징지을 수 있는가?
• RQ5 어떤 조건에서 그래프 수열의 비용이 간선 밀도 극한과 같아지는가?

주요 결과

• 모든 큰 둘레 그래프 수열 $ \text{cal G} $ 에 대해 비용이 $ c(\text{cal G}) = e(\text{cal G}) $ 를 만족하며, 가보리의 정리를 조합적 설정으로 확장한다.
• $ \beta_K $-불변량은 $ \beta_K(\text{cal G}) + 1 \leq c(\text{cal G}) $ 를 만족하여 비용이 $ \beta $-불변량을 지배함을 보인다.
• 유한 표현 잔여적으로 유한한 군 $ \Gamma $ 에 대해 첫 번째 $ L^2 $-베티 수는 $ \beta^{1}_{(2)}(\Gamma) = \beta_{\mathbb{Q}}(\text{cal G}) \leq \text{mod } p\text{-homology grad} \leq c(\text{cal G}) - 1 $ 를 만족하며, 군 불변량과 그래프 수열을 연결한다.
• 모든 그래프 수열은 초유한한 동치 수열을 가지며, 초유한성이 비용 1을 암시함으로써 측도적 동치관계 이론의 결과를 일반화한다.
• 유한 생성 잔여적으로 유한한 군의 관련 카일리 그래프 수열은 그 군이 애너빌리티일 때이고 그때에만 초유한하다. 이는 콘네스–펠드만–위스의 조합적 유사체를 증명한다.