[논문 리뷰] Coarse embeddability into Banach spaces

Mikhail I. Ostrovskii|ArXiv.org|2008. 02. 25.

Advanced Operator Algebra Research참고 문헌 49인용 수 19

한 줄 요약

이 논문은 유계 기하 구조를 가진 메트릭 공간들이 바나흐 공간으로의 코arse 임베딩에 대해 연구한다. 특히 이러한 공간들이 힐버트 공간이나 다른 바나흐 공간으로 코arse로 임베딩 가능한지 여부를 중심으로 다룬다. 논문은 ℓ₂로의 코arse 비임베딩이 확장자 유사한 구조를 포함함을 보이며, ℓ₂가 가장 어렵지 않다는 것을 입증하고, 특정 바나흐 공간의 슈하르 데컴포지션을 가진 공간들로의 ℓ₁ 임베딩에 대한 리프시츠 상수의 새로운 구성과 추정치를 제시한다.

ABSTRACT

The main purposes of this paper are (1) To survey the area of coarse embeddability of metric spaces into Banach spaces, and, in particular, coarse embeddability of different Banach spaces into each other; (2) To present new results on the problems: (a) Whether coarse non-embeddability into $\ell_2$ implies presence of expander-like structures? (b) To what extent $\ell_2$ is the most difficult space to embed into?

연구 동기 및 목표

• 메트릭 공간의 바나흐 공간으로의 코arse 임베딩 이론을 조사하며, 특히 유계 기하 구조를 가진 공간들에 대해 중점적으로 다룬다.
• ℓ₂로의 코arse 비임베딩이 확장자 유사한 구조의 존재를 의미하는지 조사한다.
• ℓ₂가 코arse 임베딩에서 가장 어려운 바나흐 공간인 정도를 평가한다.
• 유한 차원 부분공간들의 슈하르 데컴포지션을 가진 바나흐 공간들로의 ℓ₁의 리프시츠 임베딩에 관한 새로운 결과를 제시한다.
• 무한 차원 바나흐 공간을 임베딩할 때 드보레츠키의 정리와 기본 수열 구성 기법이 수행하는 역할을 분석한다.

제안 방법

• 제어 함수 ρ₁과 ρ₂를 사용한 코arse 임베딩을 정의하며, ρ₁(d(x,y)) ≤ d(f(x),f(y)) ≤ ρ₂(d(x,y)) 를 만족하고 limᵣ→∞ρ₁(r) = ∞ 를 만족한다.
• 유계 기하 구조와 국소적으로 유한한 메트릭 공간의 개념을 활용하여 임베딩의 차단 요소를 분석한다.
• P. 엔플로의 작업에 기반한 구성 기법을 활용하고, 이를 특정 국소적으로 유한한 공간들이 힐버트 공간으로 비임베딩 가능함을 보이도록 응용한다.
• Cheeger 상수가가 0에서 떨어져 있는 유한한 정규 연결 그래프의 가족인 확장자들을 사용하여, ℓₚ (1 ≤ p < ∞) 로의 코arse 임베딩의 장애물로 삼는다.
• ℓ₂ⁿᵢ 부분공간들의 슈하르 데컴포지션을 가진 바나흐 공간 Y로의 리프시츠 사상 φ를 구성하며, ||a||_Z 와 ||b||_Z 를 포함한 노름 비교를 통해 그 리프시츠 상수와 그 역의 리프시츠 상수를 추정한다.
• 드보레츠키의 정리와 기본 수열 기법을 적용하여, 임의의 무한 차원 바나흐 공간이 유한 차원 ℓ₂ⁿᵢ 부분공간들의 슈하르 데컴포지션을 가진 공간과 동형인 부분공간을 포함함을 보인다.

실험 결과

연구 질문

• RQ1 ℓ₂로의 코arse 비임베딩은 메트릭 공간 내에 확장자 유사한 구조의 존재를 의미하는가?
• RQ2 유계 기하 구조를 가진 메트릭 공간의 코arse 임베딩에서 ℓ₂는 어느 정도로 가장 어려운 바나흐 공간인가?
• RQ3 모든 무한 차원 바나흐 공간이 유한 차원 ℓ₂ⁿᵢ 부분공간들의 슈하르 데컴포지션을 가진 공간과 동형인 부분공간을 포함하는가?
• RQ4 특정 슈하르 데컴포지션을 가진 바나흐 공간들로의 ℓ₁ 임베딩에 대한 리프시츠 상수의 정밀 추정치는 무엇인가?
• RQ5 일부 국소적으로 유한한 메트릭 공간들이 힐버트 공간으로 비임베딩 가능함을 확장자들을 통해 특성화할 수 있는가?

주요 결과

• ℓ₂로의 코arse 비임베딩은 확장자 유사한 구조의 존재를 암시한다. 그로모프의 관찰에 따르면, 등장사상 복사본을 포함하는 공간은 1 ≤ p < ∞ 인 ℓₚ 로 코arse로 임베딩될 수 없다.
• ℓ₂는 가장 어렵지 않은 공간이다. ℓ₂ⁿᵢ 부분공간들의 슈하르 데컴포지션을 가진 바나흐 공간들로 특정 메트릭 공간들이 코arse로 임베딩될 수 있다.
• ℓ₂ⁿᵢ 부분공간들의 슈하르 데컴포지션 {Yᵢ} ≅ ℓ₂ⁿᵢ 를 가진 바나흐 공간 Y로의 리프시츠 임베딩 φ를 구성하였으며, ||a||_Z 와 ||b||_Z 를 포함한 노름 비교를 통해 그 리프시츠 상수를 유도하였다.
• ||a - b||_Z 가 ||a||_Z - ||b||_Z 보다 훨씬 클 경우, 특히 ||a - b||_Z ≥ 5(||a||_Z - ||b||_Z) 일 때, 임베딩 φ의 역의 리프시츠 상수가 제어 가능하다.
• ||a||_Z - ||b||_Z ≥ ||a - b||_Z / 5 인 경우, 임베딩에서의 노름 기여의 합은 ||φ(a) - φ(b)||_Y 에 대해 최소 ||a - b||_Z / 5 의 하한을 제공한다.
• 드보레츠키의 정리와 기본 수열 기법을 사용하여, 임의의 무한 차원 바나흐 공간이 유한 차원 ℓ₂ⁿᵢ 부분공간들의 슈하르 데컴포지션을 가진 공간과 동형인 부분공간을 포함함을 보였으며, 이러한 공간들로의 코arse 임베딩을 가능하게 한다.