[논문 리뷰] Expansion properties of metric spaces not admitting a coarse embedding into a Hilbert space

Mikhail I. Ostrovskii|ArXiv.org|2009. 03. 03.

Advanced Operator Algebra Research참고 문헌 7인용 수 3

한 줄 요약

이 논문은 하이버트 공간으로의 코arse 임베딩이 불가능한 국소적으로 유한한 거리 공간에서 약한 팽창 성질을 확립한다. 이러한 공간은 가중 측도 하에 제어 가능한 정점 경계 성장률을 가지는 부분그래프를 포함한다. 주요 결과는 이러한 부분그래프의 팽창 유사 행동에 대한 정량적 하한을 제시하는 것으로, 비임베딩 가능한 공간이 약한 팽창자(weak expander)를 포함한다는 추측을 뒷받침한다.

ABSTRACT

The main purpose of the paper is to find some expansion properties of locally finite metric spaces which do not embed coarsely into a Hilbert space. The obtained result is used to show that infinite locally finite graphs excluding a minor embed coarsely into a Hilbert space. In an appendix a direct proof of the latter result is given.

연구 동기 및 목표

• 하이버트 공간으로의 코arse 임베딩이 불가능한 국소적으로 유한한 거리 공간에서 팽창 유사 성질을 규명하는 것.
• 이러한 공간이 약한 팽창자 가족을 포함하는지 여부를 밝혀내는 것 — 기하군론과 거리기하학에서 오랫동안 미해결된 문제.
• L₁로의 코arse 임베딩이 위반되는 집합에서 유도된 부분그래프에 대한 정량적 팽창 조건을 제공하는 것.
• 유계 기하를 가진 비코arse 임베딩 가능한 공간이 약한 팽창자를 포함한다는 추측을, 더 약한 팽창 성질을 증명함으로써 지지하는 것.
• 부록에서 무한한 국소적으로 유한한 그래프가 어떤 미니멀을 제외할 경우 하이버트 공간으로의 코arse 임베딩이 직접적으로 증명되는 방법을 제시하는 것.

제안 방법

• M에 포함된 유한 부분집합 M_n ⊂ M과 M_n × M_n 위의 확률 측도 μ_n을 구성하여, 리프시츠 함수의 L₁-노름에 대한 균일한 상한을 만족시킨다.
• 거리 d_M을 사용해 거리 s 이내의 정점 간에 간선을 가진 그래프 G(n,s)를 정의하며, 연결성을 제어한다.
• μ_n에서 유도된 M_n 위의 가중 측도 ν_n을 도입하고, 유도된 부분그래프 F에서의 정점 경계 δ_F A를 분석한다.
• 좋은 부분그래프가 존재하지 않는다고 가정하고, 저경계 집합을 반복적으로 제거하는 순차적 고갈 과정을 통해 모순을 도출한다.
• θ ∈ {−1,1}^p에 따라 인덱싱된 1-리프시츠 함수 f_θ를 구성하고, 확률 공간에서의 평균을 통해 L₁에 임베딩한다.
• KPR93의 결과를 적용하여 그래프를 지름이 유계인 성분으로 분해하고, L₁-값 함수들의 가중합을 통해 L₁로의 코arse 임베딩을 구성한다.

실험 결과

연구 질문

• RQ1 하이버트 공간으로의 코arse 임베딩이 불가능한 국소적으로 유한한 거리 공간은 그 유한 부분집합에서 어떤 형태의 팽창을 보일 수 있는가?
• RQ2 완전한 팽창자가 존재하지 않더라도, 이러한 공간에서 유도된 그래프에 대해 약한 팽창 성질을 확립할 수 있는가?
• RQ3 가중 측도 하에 유도된 부분그래프에서 정점 경계 성장률에 대한 정량적 하한이 존재하는가?
• RQ4 L₁로의 코arse 임베딩이 불가능한 것은 공간 내에서 팽창 유사한 구조적 특징의 존재를 의미하는가?
• RQ5 이 틀을 통해 어떤 미니멀을 제외한 무한한 국소적으로 유한한 그래프가 하이버트 공간으로의 코arse 임베딩이 직접적으로 증명될 수 있는가?

주요 결과

• s > 8D 이고 2n > s 이면, 그래프 G(n,s)는 d_M-지름이 적어도 n - s/2 이상인 유도된 부분그래프 F를 포함하며, F의 임의의 부분집합 A(그리고 d_M-지름이 더 작은)에 대해 ν_n(δ_F A) > φ(D,s)ν_n(A) 를 만족한다. 여기서 φ(D,s) = s/(4D) - 2 이다.
• 팽창 조건은 n에 대해 균일하며, 팽창 인자 φ(D,s)는 D와 s에만 의존하고 s에 대해 선형으로 증가한다.
• 이 구성은 공간을 L₁로의 코arse 임베딩을 유도하며, 임베딩 노름은 ||φ(u) - φ(v)||_{L₁} ≤ 3d(u,v) 와 d(u,v) ≥ d_{2^i, r} 이면 ||φ(u) - φ(v)||_{L₁} ≥ (4/3)^i ε_r 를 만족한다.
• 증명은 무한한 국소적으로 유한한 그래프가 어떤 미니멀을 제외할 경우 하이버트 공간으로의 코arse 임베딩이 가능함을 부록에서 직접 구성함으로써 확립한다.
• 결과는 비코arse 임베딩 가능한 유계 기하를 가진 공간이 약한 팽창자를 포함한다는 추측을 지지하며, 더 약하지만 정량적으로 제어 가능한 팽창 성질을 증명한다.
• 핵심 부등식 ∫_{Ω_Δ} |F_{Δ,u}| dω ≥ ε_r Δ 는 L₁-노름이 Δ에 따라 증가함을 보장하며, 이는 코arse 임베딩 조건을 가능하게 한다.