[논문 리뷰] Width of l^p balls

Antoine Gournay|arXiv (Cornell University)|2007. 11. 02.

Point processes and geometric inequalities참고 문헌 6인용 수 4

한 줄 요약

이 논문은 ε-임bedding을 통해 n차원 다면체에 대한 l^p 구의 Urysohn 폭을 조사하며, Hadamard 행렬, Borsuk-Ulam 정리, 메우르기 등과 같은 도구를 활용하여 경계를 도출한다. 1 ≤ p ≤ 2 인 경우 3차원에서 폭의 완전한 특성화를 제공한다.

ABSTRACT

We say a map f:X o Y is an \epsilon-embedding if it is continuous and the diameter of the fibres is less than \epsilon. This type of maps is used in the notion of Urysohn width (sometimes referred to as Alexandrov width), a_n(X). It is the smallest real number such that there exists an \epsilon-embedding from X to a n-dimensional polyhedron. Surprisingly few estimations of these numbers can be found, and one of the aims of this paper is to present some. Following Gromov, we take the slightly different point of view by looking at the smallest dimension n for which there exists a \epsilon-embedding to a polyhedron of dimension n. While bounds are obtained using Hadamard matrices, the Borsuk-Ulam theorem, the filling radius of spheres, and lower bounds for the diameter of sets of n+1 points not contained in a hemisphere (obtained by methods very close to those of Ivanov and Pichugov). We are also able to give a complete description in dimension 3 for 1 \leq p \leq 2.

연구 동기 및 목표

• ε-임bedding 하에서 다면체 목표의 최소 차원을 측정하는 기하적 불변량인 l^p 구의 Urysohn 폭을 추정하는 것.
• 고급 위상수학적 및 기하학적 기법을 적용하여 기존에 제한된 Urysohn 폭의 경계를 확장하는 것.
• 1 ≤ p ≤ 2 인 경우 3차원에서 l^p 구의 폭에 대한 완전한 기술을 제공하는 것.

제안 방법

• 섬세한 거리가 ε 이하인 연속적인 사상인 ε-임bedding의 개념을 사용하여 Urysohn 폭을 정의하고 계산하는 것.
• 대척점 구성에 의해 폭의 하한을 도출하기 위해 Borsuk-Ulam 정리를 적용하는 것.
• 구의 메우르기를 활용하여 다면체 목표의 최소 차원을 추정하는 것.
• Hadamard 행렬을 사용하여 명시적인 ε-임bedding을 구성하고 폭의 상한을 도출하는 것.
• Ivanov와 Pichugov의 방법을 따르며, 반구에 포함되지 않는 n+1개의 점의 집합의 지름을 분석하는 것.
• 위상수학적 및 거리 기반 도구를 통합하여 1 ≤ p ≤ 2 인 경우 3차원에서 완전한 특성화를 달성하는 것.

실험 결과

연구 질문

• RQ1 1 ≤ p ≤ 2 인 경우 3차원에서 l^p 구의 Urysohn 폭은 무엇이며, p에 따라 어떻게 변화하는가?
• RQ2 Borsuk-Ulam 정리와 Hadamard 행렬은 어떻게 l^p 구의 Urysohn 폭을 경계짓는 데 사용될 수 있는가?
• RQ3 구의 메우르기는 ε-임bedding에 대한 다면체 목표의 최소 차원을 추정하는 데 어떤 역할을 하는가?
• RQ4 반구에 포함되지 않는 n+1개의 점의 구성은 폭의 하한을 어떻게 기여하는가?

주요 결과

• 논문은 1 ≤ p ≤ 2 인 경우 3차원에서 l^p 구의 Urysohn 폭에 대한 완전한 기술을 제공하며, 이 특정 케이스에서 문제를 해결한다.
• Ivanov와 Pichugov의 방법에 유사한 방식으로, 반구에 포함되지 않는 n+1개의 점의 집합의 지름을 기반으로 폭의 하한이 도출된다.
• Borsuk-Ulam 정리는 l^p 구의 폭에 대한 비자명한 하한을 확립하는 데 적용된다.
• Hadamard 행렬을 사용하여 명시적인 ε-임bedding을 구성함으로써 폭의 상한이 도출된다.
• 구의 메우르기는 ε-임bedding에 대한 다면체 목표의 최소 차원을 추정하는 데 기여한다.