[논문 리뷰] Non-Asymptotic Rates for Manifold, Tangent Space, and Curvature Estimation

Eddie Aamari, Clément Levrard|arXiv (Cornell University)|2017. 05. 02.

Topological and Geometric Data Analysis참고 문헌 19인용 수 61

한 줄 요약

본 논문은 로컬 다항 추정기와 양의 도달 반경을 갖는 k-정규성 모델을 이용하여 노이즈가 섞인 샘플로부터 다양체, 접공간, 곡률을 추정하는 비점근적 minimax 속도를 도출한다.

ABSTRACT

Given an $n$-sample drawn on a submanifold $M \\subset \\mathbb{R}^D$, we derive optimal rates for the estimation of tangent spaces $T\\_X M$, the second fundamental form $II\\_X^M$, and the submanifold $M$.After motivating their study, we introduce a quantitative class of $\\mathcal{C}^k$-submanifolds in analogy with H{\\"o}lder classes.The proposed estimators are based on local polynomials and allow to deal simultaneously with the three problems at stake. Minimax lower bounds are derived using a conditional version of Assouad's lemma when the base point $X$ is random.

연구 동기 및 목표

• 노이즈가 있는 샘플에서 기하학적 양(다양체, 접공간, 곡률)을 minimax적이고 비점근적인 프레임워크에서 추정하려는 연구를 동기화한다.
• 정규성 및 전역 기하를 정량화하기 위해 양의 도달 반경을 가진 C^k-부분다양체 모델을 도입한다.
• 다양체, 접공간, 곡률 추정을 같이 다루는 로컬 다항 추정기를 제안한다.
• 주변 차원 D에 독립적으로 속도가 샘플 수 n, 내재 차원 d, 규칙성 지수 k, 그리고 도달 반경에 어떻게 의존하는지 보이는 minimax 상한 및 하한을 도출한다.

제안 방법

• 국소 매개변수화와 곡률을 제어하기 위해 양의 도달 반경 tau_min를 갖는 C^k_{tau_min,L} 모델을 정의한다.
• 관찰 노이즈를 포착하기 위해 튜뷸러 노이즈 모델 P^k(tau_min,L, f_min, f_max)(sigma)을 형식화한다.
• 연산자-노름 제약하에 투사 π와 고차 텐서 T_2,...,T_{k-1}를 함께 추정하는 로컬 다항 추정 체계를 개발한다.
• 투사 및 텐서에 대한 제약된(비선형) 최적화를 사용하여 접공간 추정값 hat{T}_j 및 고차 항들을 얻는다.
• 다음에 대한 비점근 오차 상한을 도출한다: 접공간, 두 번째 기본 형태, 그리고 M과 추정값 hat{M} 사이의 Hausdorff 거리.
• 정의된 모델에서 minimax 최적성을 입증하기 위해 조건부 Assouad류 논거를 통해 하한을 제공한다.

실험 결과

연구 질문

• RQ1 샘플 수 n에서 접공간 T_YM, 두 번째 기본 형태 II_Y^M, 그리고 다양체 M를 추정하기 위한 비점근적 minimax 속도는 무엇인가?
• RQ2 이 속도들은 내재 차원 d, 주변 차원 D, 규칙성 수준 k, 그리고 도달 반경 tau_min에 어떻게 의존하는가?
• RQ3 하나의 로컬 다항 프레임워크가 세 가지 기하량(다양체, 접공간, 곡률)을 동시에 추정할 수 있는가?
• RQ4 일관된 추정을 달성하기 위한 양의 도달 반경(tau_min>0)의 필요성은 무엇이며, 노이즈 수준 sigma가 속도에 어떻게 영향을 미치는가?
• RQ5 제안된 추정기가 tubular 노이즈와 C^k 규칙성 하에서 minimax 하한에 얼마나 근접한가?

주요 결과

• 본 논문은 tau_min>0일 때 접공간의 추정 오차가 (1/n)^{(k-1)/d}, 두 번째 기본 형태는 (1/n)^{(k-2)/d}, Hausdorff 거리는 (1/n)^{k/d}로 스케일링된다는 상한 및 하한을 보인다.
• 주변 차원 D는 속도에 영향을 주지 않으며, 오직 내재 차원 d, 규칙성 지수 k, 샘플 수 n만이 중요하다.
• Pi와 텐서 T_2,...,T_{k-1}를 피팅하는 로컬 다항 추정기가 노이즈 sigma가 제어될 때 높은 확률로 명시된 속도를 달성한다.
• 정교한 Assouad 보조정리를 통한 하한이 상한과 상수 차이만 남기고 일치하여, 모델하에서 접공간 및 곡률 추정의 minimax 최적성을 확립한다.
• 도달 반경 tau_min의 중요성을 보여주고, 튜뷸랄 노이즈 sigma가 존재할 때 속도가 우아하게 감소하며, sigma가 (1/n)^{alpha/d}로 가정될 때 규칙성 지수 alpha와 일치한다는 점을 보여준다.