[논문 리뷰] Embedding proper ultrametric spaces into $\ell_p$ and its application to nonlinear Dvoretzky's theorem

Kei Funano|arXiv (Cornell University)|2012. 03. 08.

Advanced Topology and Set Theory참고 문헌 10인용 수 3

한 줄 요약

이 논문은 중첩된 닫힌 공으로 구성된 재귀적 분할 및 좌표 할당 방법을 사용하여, 모든 적절한 초거리공간이 임의의 $p \geq 1$에 대해 $\ell_p$에 등장하는 등거리 매핑을 갖는다고 증명한다. 응용으로써, 비선형 Dvoretzky 정리의 $\ell_p$-버전을 수립하여, 모든 컴팩트 거리공간이 등거리를 2에 가깝게 제어할 수 있는 부분집합을 포함함을 보여준다.

ABSTRACT

We prove that every proper ultrametric space isometrically embeds into $\ell_p$ for any $p\geq 1$. As an application we discuss an $\ell_p$-version of nonlinear Dvoretzky's theorem.

연구 동기 및 목표

• 분리 가능한 초거리공간의 $\ell_p$에 대한 등거리 매핑 문제인 Lemin의 문제를 적절한 초거리공간의 부분류에 국한하여 해결하기 위해.
• 컴팩트 초거리공간의 계층적 분할을 이용한 $\ell_p$ 공간으로의 등거리 매핑을 구성하는 새로운 방법을 수립하기 위해.
• 매핑 결과를 응용하여, 힐베르트 공간과 $\ell_1$-설정에서 이전에 얻어진 결과들을 확장한 $\ell_p$-공간에서의 비선형 Dvoretzky 유사 정리 유도하기 위해.

제안 방법

• 반경이 엄격히 감소하는 닫힌 공들로 구성된 컴팩트 초거리공간의 중첩된 분할 가족을 구성하기 위해.
• 반경의 $p$제곱 차이를 기반으로 하여 각 공 내의 선택된 점들에 $\ell_p$ 내에서 직교 좌표를 할당하여 등거리성과 직교성을 확보하기 위해.
• 완비성과 밀도의 성질을 이용하여 가산 밀집부분집합에서 전체 공간으로의 매핑 확장하기 위해.
• 초거리공간의 삼각부등식에 기반하여, 구성에 의해 모든 거리가 정확히 유지됨을 증명하기 위해.
• 주요 매핑 결과를 Mendel과 Naor의 비선형 Dvoretzky 정리에 적용하여, 등거리도 제어가 가능한 $\ell_p$-버전의 정리 도출하기 위해.
• 임의의 그래프 기반 거리공간을 사용하여 등거리도 한계의 날카러움을 보여주며, 2보다 작은 등거리도는 부분집합의 하우스도르프 차원을 0으로 강제함을 입증하기 위해.

실험 결과

연구 질문

• RQ1 모든 적절한 초거리공간은 임의의 $p \geq 1$에 대해 $\ell_p$에 등거리 매핑을 갖는가?
• RQ2 이러한 매핑의 존재는 $\ell_p$-공간에서 비선형 Dvoretzky 유사 정리의 가능성을 허용하는가?
• RQ3 비선형 Dvoretzky 정리에서의 등거리도 한계 2는 $\ell_p$-매핑에서 날카로운가, 아니면 향상시킬 수 있는가?
• RQ4 거리공간의 하우스도르프 차원과 $\ell_p$에 소수의 등거리도로 매핑 가능한 부분집합의 차원 사이의 관계는 무엇인가?
• RQ5 임의의 그래프 기반 거리공간을 사용하여, 2보다 작은 등거리도의 불가능성 결과를 $\ell_p$-공간으로 확장할 수 있는가?

주요 결과

• 모든 적절한 초거리공간은 임의의 $p \geq 1$에 대해 $\ell_p$에 등거리 매핑을 갖는다. 이는 이 클래스에 대해 Lemin의 문제를 해결한다.
• 매핑는 중첩된 닫힌 공들로 이루어진 공간의 재귀적 분할과 반경 차이의 $p$제곱 기반 직교 좌표 할당을 통해 구성된다.
• 이 방법은 결과적으로 $c_0$에 대한 등거리 매핑을 부산물로 얻으며, 이는 이전의 구성과 다름을 보인다.
• $\ell_p$-버전의 비선형 Dvoretzky 정리가 수립된다: 모든 컴팩트 거리공간은 $\ell_p$에 등거리도 $2+\varepsilon$로 매핑되는 닫힌 부분집합 $S$를 포함하며, 이때 $\dim_H(S) \geq \frac{c\varepsilon}{\log(1/\varepsilon)}\dim_H(X)$이다.
• 임의의 $p \geq 1$에 대해, 임의의 부분집합이 $\ell_p$에 등거리도 2보다 작게 매핑될 경우 반드시 하우스도르프 차원이 0이 되는 컴팩트 거리공간이 존재한다.
• 등거리도 한계 2는, 이보다 낮추면 매핑된 부분집합이 하우스도르프 차원에서 무시무시하게 작아지므로 날카로운 것으로 간주된다.