[論文レビュー] Intrinsic Metrics: Nearest Neighbor and Edge Squared Distances.

Timothy Chu, Gary L. Miller+1 more|arXiv (Cornell University)|Sep 22, 2017

Topological and Geometric Data Analysis参考文献 34被引用数 1

ひとこと要約

この論文は、エッジ・スクェアド距離と最近傍距離の等価性を証明しており、形式が異なっていても（離散的か連続的か）、同じ距離測度をもたらすことを示している。キルツブラウンの定理を用いて、離散的・連続的距離の間の基礎的リンクを確立し、同一分布独立標本における最近傍距離が自然な密度に基づく距離関数の定数近似であることを示している。

ABSTRACT

Some researchers have proposed using non-Euclidean metrics for clustering data points. Generally, the metric should recognize that two points in the same cluster are close, even if their Euclidean distance is far. Multiple proposals have been suggested, including the Edge-Squared Metric (a specific example of a graph geodesic) and the Nearest Neighbor Metric. In this paper, we prove that the edge-squared and nearest-neighbor metrics are in fact equivalent. Previous best work showed that the edge-squared metric was a 3-approximation of the Nearest Neighbor metric. This paper represents one of the first proofs of equating a continuous metric with a discrete metric, using non-trivial discrete methods. Our proof uses the Kirszbraun theorem (also known as the Lipschitz Extension Theorem and Brehm's Extension Theorem), a notable theorem in functional analysis and computational geometry. The results of our paper, combined with the results of Hwang, Damelin, and Hero, tell us that the Nearest Neighbor distance on i.i.d samples of a density is a reasonable constant approximation of a natural density-based distance function.

研究の動機と目的

• エッジ・スクェアド距離と最近傍距離が等価であるかどうかという未解決の問題を解消すること。
• 離散的距離（最近傍）と連続的距離（エッジ・スクェアド）を厳密に結びつける証明を提供すること。これは、距離幾何学において非常にまれで非自明な結果である。
• 最近傍距離をクラスタリングに用いる理論的基盤を強化すること。最近傍距離が自然な密度に基づく距離関数を定数近似することを示す。
• キルツブラウンの定理を用いて、非ユークリッド的でデータ駆動型の文脈において、距離の等価性を確立すること。

提案手法

• 証明は、リプシッツ拡張定理（キルツブラウンの定理）を活用し、距離空間間のリプシッツ関数を拡張することで、離散的・連続的距離の比較を可能にする。
• 著者たちは、最近傍距離をグラフ測地線として分析し、各点の最近傍点を接続エッジとして扱う。
• エッジ・スクェアド距離が、エッジ重みを距離の二乗とするグラフにおける最短経路として定義され、最近傍距離と同一の距離的性質を満たすことを示す。
• 証明は、二つの距離の間のバイリプシッツ埋め込みを構築し、キルツブラウン枠組み下での等価性を示している。
• 関数解析と計算幾何学の道具を組み合わせて、離散的・連続的距離空間の間の橋渡しを図っている。

実験結果

リサーチクエスチョン

• RQ1 エッジ・スクェアド距離と最近傍距離は数学的に等価か？
• RQ2 最近傍距離のような離散的距離が、連続的で密度に基づく距離関数を厳密に近似できるか？
• RQ3 キルツブラウンの定理は、離散的・連続的距離の間の等価性を証明するための実用的理論枠組みを提供できるか？
• RQ4 最近傍距離は、自然な密度に基づく距離関数に対してどの程度の近似品質を示すか？

主な発見

• エッジ・スクェアド距離と最近傍距離は数学的に等価であり、メトリック学における長年の未解決問題が解決された。
• 証明により1-近似（正確な等価性）が確立され、以前の3-近似結果を上回る。
• キルツブラウンの定理は、離散的・連続的距離の間の非自明な理論的接続を可能にし、この文脈では画期的な応用である。
• 密度のi.i.d.標本における最近傍距離が、自然な密度に基づく距離関数の定数近似であることが示され、ホワン、ダミェリン、ヘイロの結果と組み合わせて確認された。