[논문 리뷰] Expanders are order diameter non-hyperbolic

Anton Malyshev|arXiv (Cornell University)|2015. 01. 30.

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

한 줄 요약

이 논문은 확산 그래프가 고르모프의 의미에서 초구형이 아니라는 것을 증명한다. 초구형 상수 δΓ가 지름과 함께 선형적으로 증가함을 보이며, δΓ = Ω(diam Γ)임을 보인다. 이 증거는 지오데식선을 따라 중심 실린더를 제거했을 때 거리 왜곡의 비교를 통해 이루어지며, 확산 그래프에서는 초구형이 지름에 대해 비선형적으로 스케일링될 수 없음을 보여준다.

ABSTRACT

We show that expander graphs must have Gromov-hyperbolicity at least proportional to their diameter, with a constant of proportionality depending only on the expansion constant and maximal degree. In other words, expanders contain geodesic triangles which are $Ω(\mathop{ m diam} Γ)$-thick.

연구 동기 및 목표

• 확산 가족이 점점 커질수록 지오데식 삼각형이 고정된 δ에 대해 거의 확실히 δ-박자임을 증명할 수 있는지 여부를 해결하기 위해.
• 이전의 Gromov-초구형성에 대한 하한 bound인 O(log |Γ| / log log |Γ|)를 넘어서 더 강력한 Ω(log |Γ|) 하한을 보여줌으로써, 확산 그래프에 대한 Gromov-초구형성 상수 δΓ에 대한 기존 하한을 향상시키기 위해.
• 초구형 상수 δΓ가 지름에 대해 선형적으로 의존함을 이용하여, 어떤 확산 그래프 가족도 수렴형이 트리가 될 수 없음을 증명하기 위해.
• 지오데식선에서 중심 실린더를 제거했을 때의 거리 왜곡이 초구형 공간과 확산 그래프에서 어떻게 다를 수 있는지 비교하여, 초구형 공간에서는 경로 길이가 최소 exp(Ω(R/δ)) = exp(Ω(diam(Γ)/δ))로 증가하지만, 확산 그래프에서는 상수 요인 왜곡만 발생함을 보여주기 위해.

제안 방법

• 확산 그래프 내에서 두 정점 p와 q 사이의 지오데식선에 대해 중심 실린더를 반지름 R ≈ diam(Γ)/3으로 설정한다.
• 강력한 확산 성질로 인해 연결성이 유지되므로, 확산 그래프에서는 이러한 실린더 제거로 인해 d(p,q) 거리가 상수 요인 이내로 증가함을 보인다.
• 반면에 δ-초구형 공간에서는 이러한 실린더 제거로 인해 p에서 q로 가는 모든 경로의 길이가 exp(Ω(R/δ)) = exp(Ω(diam(Γ)/δ))의 요인만큼 증가한다.
• δΓ가 diam(Γ)에 대해 비선형일 경우 모순이 발생함을 도출함으로써, δΓ = Ω(diam(Γ))임을 결론짓는다.
• 초구형 공간의 기하학적 보조정리(예: 지오데식선의 δ-근접 영역을 피하는 경로는 지수적으로 길어진다)를 활용한다.
• 귀납법과 가장 가까운 점 사영을 사용하여 δ-초구형 공간에서 중심 지오데식선 세그먼트를 피하는 경로의 길이를 유계함을 보이며, ℓ(γ) ≥ δ·2^{R/δ}를 증명한다.

실험 결과

연구 질문

• RQ1 고정된 δ에 대해 |Γ| → ∞일 때, 확산 그래프 가족이 지오데식 삼각형이 거의 확실히 δ-박자일 수 있는가?
• RQ2 확산 그래프의 Gromov-초구형성 상수 δΓ에 대한 최선의 가능한 하한은 그 지름에 대해 어떻게 표현될 수 있는가?
• RQ3 확산 그래프의 확산성과 지름 성질을 고려할 때, 가족이 수렴형이 트리가 될 수 있는가?
• RQ4 공간의 중심 실린더(구가 아니라)를 제거했을 때, 초구형 공간과 확산 그래프에서의 거리 왜곡은 어떻게 다를까?
• RQ5 δ-초구형 공간에서 지오데식선 세그먼트의 δ-근접 영역을 피하는 경로의 최소 길이는 얼마이며, 이는 세그먼트로부터의 거리에 따라 어떻게 스케일링되는가?

주요 결과

• 확산 그래프의 Gromov-초구형성 상수는 δΓ = Ω(diam(Γ))를 만족하며, 이는 지름에 대해 선형적으로 증가함을 의미한다.
• 이전의 하한 δΓ = Ω(log |Γ| / log log |Γ|) 및 δΓ = Ω(log |Γ|)를 초월하여, 더 강력한 Ω(diam(Γ)) 하한을 보여줌으로써 기존 결과를 향상시킨다.
• 이 결과는 트리가 0-초구형이므로, 어떤 확산 그래프 가족도 수렴형이 트리가 될 수 없다는 것을 암시한다.
• δ-초구형 공간에서 지오데식선 세그먼트의 R-근접 영역을 피하는 모든 경로는 최소 δ·2^{R/δ} 이상의 길이를 가져야 하며, 이는 R/δ에 대해 지수적으로 증가한다.
• 핵심 기하 보조정리는, 지오데식선 pq 위의 점 r가 경로 γ로부터 거리 R만큼 떨어져 있을 경우 ℓ(γ) ≥ δ·2^{R/δ}임을 보여주며, 이는 도착 경로 길이에 대한 지수하한을 확립한다.
• 이전 증명에서 존재하던 로그 인자들을 피하기 위해 구가 아니라 실린더 이웃 영역을 사용함으로써, 더 날카로운 초구형성 하한을 도출할 수 있었다.