[論文レビュー] The magnitude of metric spaces

Tom Leinster|arXiv (Cornell University)|Dec 29, 2010

Topological and Geometric Data Analysis参考文献 45被引用数 42

ひとこと要約

この論文は、濃度やオイラー特性を一般化するカテゴリカルな不変量として、距離空間の大きさを導入し、体積、表面積、次元といった古典的幾何不変量と深く関係していることを示している。ユークリッド空間のコンパクトな凸集合に対しては、大きさが内在的体積を係数に持つ多項式であると予想されており、積分幾何学の主要な不変量を統合する。

ABSTRACT

Magnitude is a real-valued invariant of metric spaces, analogous to the Euler characteristic of topological spaces and the cardinality of sets. The definition of magnitude is a special case of a general categorical definition that clarifies the analogies between various cardinality-like invariants in mathematics. Although this motivation is a world away from geometric measure, magnitude, when applied to subsets of R^n, turns out to be intimately related to invariants such as volume, surface area, perimeter and dimension. We describe several aspects of this relationship, providing evidence for a conjecture (first stated in arXiv:0908.1582) that magnitude subsumes all the most important invariants of classical integral geometry.

研究の動機と目的

• 豊かに被演算された圏、特に距離空間における普遍的な不変量としての大きさを定義し、研究すること。
• 大きさと体積、周囲、次元といった古典的幾何不変量との関係を確立すること。
• ユークリッド空間内の凸体のすべての内在的体積が大きさに統合されることを示唆する証拠を提供すること。
• 測度を用いない新しい定義を通じて、カテゴリカルなサイズの概念と積分幾何学を結びつけること。

提案手法

• 豊かに被演算された圏の文脈におけるオイラー特性のカテゴリカルな一般化を通じて、大きさを定義する。
• 距離行列を用いた行列逆行列の公式を用いて、有限距離空間に定義を特化する。
• 有限近似とフーリエ解析を用いて、コンパクトな距離空間への大きさの拡張を行う。
• メケスの正定値空間に関する結果を応用し、体積を用いた大きさの下界を導出する。
• スケーリングされた空間の漸近的解析を用いて、次元や内在的体積といった幾何不変量を抽出する。
• ハドウィガーの定理をフレームワークとして用い、大きさが内在的体積の線形結合であると予想する。

実験結果

リサーチクエスチョン

• RQ1 距離空間の大きさは、体積や表面積といった幾何不変量とどのように関係しているか？
• RQ2 大きさは、ユークリッド空間内の凸体のすべての内在的体積を回復できるか？
• RQ3 スケーリングにおける大きさの漸近的挙動は何か？ そして、幾何的次元をどのように反映するか？
• RQ4 大きさはコンパクトな凸集合上で値関数であるか？ もしそうならば、内在的体積とどのように関係するか？
• RQ5 コンパクトな凸集合の大きさは、スケーリングパラメータの多項式として表され、係数が内在的体積に関連しているか？

主な発見

• 長さ $ t $ の線分の大きさは $ 1 + t/2 $ であり、大きさから長さが回復される。
• $ \mathbb{R}^N $ 内のコンパクトな凸集合に対して、大きさの次元（$ |tA| $ の成長率）は $ N $ に等しく、位相的次元が回復される。
• コンパクト集合 $ A \subseteq \mathbb{R}^N $ の大きさに対する下界は $ \operatorname{Vol}(A) / \int_{\mathbb{R}^N} e^{-\|x\|} dx $ で与えられ、細かい近似の極限で等号が成り立つ。
• コンパクトな凸集合 $ A \subseteq \ell_2^N $ に対して $ |A| = \sum_{i=0}^N \frac{1}{i! \omega_i} V_i(A) $ であるという予想は、漸近的成長、下界、および球、立方体、円盤についての数値的証拠によって支持されている。
• 大きさが凸集合上で値関数であると予想されており、もしそうならばハドウィガーの定理により、それは内在的体積の線形結合であると導かれるが、係数はまだ不明である。
• 広範な証拠にもかかわらず、$ \mathbb{R}^N $（$ N \geq 2 $）内の任意の凸体の大きさは未だに不明であり、実数直線の部分集合を除いては未知のままである。