[論文レビュー] Non-Asymptotic Rates for Manifold, Tangent Space, and Curvature Estimation

Eddie Aamari, Clément Levrard|arXiv (Cornell University)|May 2, 2017

Topological and Geometric Data Analysis参考文献 19被引用数 61

ひとこと要約

本論文は、ノイズのあるサンプルから多様体、接空間、曲率を推定するための非漸近的ミニマックスレートを導出する。局所多項式推定量と正のリーチを持つ k-regularity モデルを用いる。

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.

研究の動機と目的

• ノイズのあるサンプルから幾何量の推定（多様体、接空間、曲率）を、ミニマックスで非漸近的な枠組みで研究する動機を提示する。
• 正のリーチを持つ C^k-サブ多様体モデルを導入して、正則性とグローバル幾何を定量化する。
• 局所多項式推定量を提案して、多様体、接空間、曲率推定を共同で扱う。
• n、d、k、リーチに依存するレートを、環境次元 D とは独立に示すミニマックスの上界と下界を導出する。

提案手法

• 正のリーチ tau_min を持つ C^k_{tau_min,L} モデルを定義して、局所的なパラメトライズと曲率を制御する。
• 観測ノイズを捉えるテュービナルノイズモデル P^k(tau_min,L, f_min, f_max)(sigma) を定式化する。
• 演算子ノルム制約の下で、射影 pi と高次テンソル T_2,...,T_{k-1} を共同で推定する局所多項式推定スキームを開発する。
• 射影子とテンソルの最適化を非凸の制約付き最適化として、接空間推定量 hat{T}_j と高次項を得る。
• M と推定量 hat{M} の接空間、二次基本形式、Hausdorff距離の非漸近的誤差界を導出する。
• 条件付き Assouad 型引数による下界を提供して、定義されたモデル上でミニマックス最適性を確立する。

実験結果

リサーチクエスチョン

• RQ1 n 個のサンプルから接空間 T_YM、第二基本形式 II_Y^M、そして多様体 M を推定する際の非漸近的ミニマックスレートはどれか？
• RQ2 これらのレートは内在次元 d、外部次元 D、正規性レベル k、リーチ tau_min にどう依存するか？
• RQ3 局所多項式の統一フレームワークは、3つの幾何量（多様体、接空間、曲率）を同時に推定できるか？
• RQ4 正のリーチ（tau_min>0）を要件として、整合推定を実現する必要性はどの程度か、ノイズレベル sigma はレートにどう影響するか？
• RQ5 提案された推定量は、 tubular ノイズと C^k 正則性の下でミニマックス下界にどれくらい近いか？

主な発見

• tau_min>0 の下で、接空間の推定誤差が (1/n)^{(k-1)/d}、二次基本形式が (1/n)^{(k-2)/d}、Hausdorff 距離が (1/n)^{k/d} のようにスケールする上界と下界を示す。
• 外部次元 D はレートに影響せず、影響するのは固有次元 d、正則性 k、サンプルサイズ n のみである。
• ノイズ sigma が制御されている場合、pi とテンソル T_2,...,T_{k-1} を適合させる局所多項式推定量は、上記レートを高い確率で達成する。
• 下界（洗練された Assouad 補題による）は、上界と定数のみが異なる程度に一致し、モデルの下で接空間と曲率推定のミニマックス最適性を確立する。
• リーチ tau_min の重要な役割を示し、テュービナルノイズ sigma が存在するとレートが緩やかに劣化することを示し、sigma ~ (1/n)^{alpha/d} のとき正則性 alpha に整合する。