[논문 리뷰] Subsets of Rectifiable curves in Hilbert Space-The Analyst's TSP

Raanan Schul|ArXiv.org|2006. 02. 28.

Advanced Numerical Analysis Techniques참고 문헌 10인용 수 10

한 줄 요약

이 논문은 무한차원 힐버트 공간으로 분석가의 여행하는 판매원 정리(Analyst's Traveling Salesman Theorem)를 확장하여, 어떤 집합이 리만가능 곡선 위에 있을 조건을 증명한다. 그 조건은 지역 평탄도를 측정하는 기하학적 제곱함수의 ℓ² 노름이 유한한 경우에 해당한다. 주요 결과는 이 존스 유형의 제곱함수의 ℓ² 노름이 주어진 집합을 포함하는 연결된 집합들의 하우스도르프 길이의 하한과 비교 가능하다는 것으로, 이는 환경 차원에 관계없이 성립한다.

ABSTRACT

We study one dimensional sets (Hausdorff dimension) lying in a Hilbert space. The aim is to classify subsets of Hilbert spaces that are contained in a connected set of finite Hausdorff length. We do so by extending and improving results of Peter Jones and Kate Okikiolu for sets in $\R^d$. Their results formed the basis of quantitative rectifiability in $\R^d$. We prove a quantitative version of the following statement: a connected set of finite Hausdorff length (or a subset of one), is characterized by the fact that inside balls at most scales around most points of the set, the set lies close to a straight line segment (which depends on the ball). This is done via a quantity, similar to the one introduced in \cite{Jones90}, which is a geometric analog of the Square function. This allows us to conclude that for a given set $K$, the $\ell_2$ norm of this quantity (which is a function of $K$) has size comparable to a shortest (Hausdorff length) connected set containing $K$. In particular, our results imply that, with a correct reformulation of the theorems, the estimates in \cite{Jones90,Okik92} are {\bf independent of the ambient dimension}.

연구 동기 및 목표

• 유한한 하우스도르프 길이를 가진 리만가능 곡선 위에 놓인 힐버트 공간의 부분집합을 특성화하기 위해.
• 피터 존스와 케이트 옥키쿨루의 결과를 ℝᵈ에서 무한차원 힐버트 공간으로 일반화하기 위해.
• 힐버트 공간에서 분석가의 여행하는 판매원 문제의 정량적 버전을 수립하기 위해.
• 기하학적 제곱함수(존스의 β-수와 유사한 것)의 ℓ² 노름이 주어진 집합을 포함하는 연결된 집합의 최소 길이를 제어함을 보여주기 위해.
• 기하학적 추정치가 환경 차원에 관계없이 성립함을 증명하여, ℝᵈ의 결과를 힐버트 공간으로 확장하기 위해.

제안 방법

• 다양한 척도에서 집합의 평탄도를 측정하는 β-수를 사용하여 기하학적 제곱함수를 정의한다.
• 모든 척도에서 분석하기 위해 넷 기반 커버링을 이용한 다중해상도 구조의 공집합을 사용한다.
• 이중화 유사 분해와 停止시간(스톱타임) 추론을 이용해 비평탄 및 거의 평탄한 호로 분해한다.
• 아르젤라-아스콜리 정리를 적용하여 근사 곡선의 수렴하는 부분수열을 추출하고, 이로써 극한이 리만가능 곡선임을 보장한다.
• 골라브의 정리와 투영 추론을 사용하여 극한에서 하우스도르프 길이가 유지됨을 보이며, 주어진 집합을 포함하는 가장 짧은 연결된 집합의 존재를 증명한다.
• 제곱함수의 ℓ² 노름과 주어진 집합을 포함하는 모든 연결된 집합의 하우스도르프 길이 하한 사이의 비교를 수립한다.

실험 결과

연구 질문

• RQ1 힐버트 공간의 어떤 부분집합들이 유한한 하우스도르프 길이를 가진 리만가능 곡선 위에 놓여 있는가?
• RQ2 분석가의 여행하는 판매원 정리는 ℝᵈ에서 무한차원 힐버트 공간으로 확장될 수 있는가?
• RQ3 기하학적 제곱함수(β-수에 기반)의 노름이 유한한가의 여부가 집합이 유한 길이의 리만가능 곡선 위에 있는지의 여부와 정확히 일치하는가?
• RQ4 분석가의 TSP에서의 추정치는 무한 차원에서도 환경 차원에 관계없이 성립하는가?
• RQ5 제곱함수의 ℓ² 노름과 주어진 집합을 포함하는 연결된 집합의 최소 하우스도르프 길이 사이의 관계는 무엇인가?

주요 결과

• 힐버트 공간의 집합 $ K $ 가 유한한 하우스도르프 길이를 가진 리만가능 곡선 위에 있을 조건은 기하학적 제곱함수(β-수에 기반)의 ℓ² 노름이 유한한 경우에 한하여 성립한다.
• 제곱함수의 ℓ² 노름은 주어진 집합을 포함하는 모든 연결된 집합의 하우스도르프 길이 하한과 비교 가능하며, 이는 유일한 상수를 가진다.
• 증명 과정에서 존스(1990)와 옥키쿨루(1992)의 추정치가 환경 차원에 관계없이 성립함을 보이며, 이는 힐버트 공간으로까지 확장됨을 의미한다.
• 아르젤라-아스콜리 정리와 골라브의 정리를 통해 $ K $ 를 포함하는 가장 짧은 연결된 집합(극한에서의 최소 스패닝 트리, MST)의 존재가 증명된다.
• 극한 곡선이 리만가능 곡선이며, 그 리만가법 상수가 $ 32 \mathcal{H}^1(\Gamma) $ 이하로 유계임을 보였다. 여기서 $ \Gamma $ 는 최소 연결 집합이다.
• 구성 과정에서 $ 2^{-n} $-넷과 다중해상도 가족을 사용하여 모든 척도에서 평탄도를 제어하고, 수렴하는 리만가능 곡선을 보장한다.