[論文レビュー] Heuristic and computer calculations for the magnitude of metric spaces

Simon Willerton|ArXiv.org|Oct 28, 2009

Mathematical Dynamics and Fractals参考文献 3被引用数 11

ひとこと要約

本稿では、ユークリッド空間内のコンパクトな距離空間の大きさが、内接体積を用いて定義される幾何的測度論的評価関数「ペンギン評価」に漸近的に一致することを、ヒューリスティックかつ計算的証拠によって提示する。正方形、円板、立方体といった凸集合では、大きさはペンギン評価と非常に近いが、トーラスやシエルピンスキー・ギャスケットといった非凸的・フラクタル的集合では、大きさは評価に漸近的に近づくか、ハウスドルフ次元に整合するべきべき乗則に従う。

ABSTRACT

The notion of the magnitude of a compact metric space was considered in arXiv:0908.1582 with Tom Leinster, where the magnitude was calculated for line segments, circles and Cantor sets. In this paper more evidence is presented for a conjectured relationship with a geometric measure theoretic valuation. Firstly, a heuristic is given for deriving this valuation by considering 'large' subspaces of Euclidean space and, secondly, numerical approximations to the magnitude are calculated for squares, disks, cubes, annuli, tori and Sierpinski gaskets. The valuation is seen to be very close to the magnitude for the convex spaces considered and is seen to be 'asymptotically' close for some other spaces.

研究の動機と目的

• ユークリッド空間内のコンパクトな距離空間の大きさの漸近的挙動を調査すること。
• 凸部分集合の大きさが、内接体積に基づく幾何的測度論的関数であるペンギン評価に等しいという予想を検証すること。
• 非凸的およびフラクタル的集合の大きさが、漸近的に包含除外原理を満たすかどうかを調査すること。
• トーラスやシエルピンスキー・ギャスケットのような複雑な形状の大きさを、有限距離空間近似を用いて数値的に近似すること。

提案手法

• R^n の大きな開部分集合における大きさの主要寄与項のヒューリスティックを導出し、vol(X)/(n! ω_n) のスケーリングに従うことを示す。
• P(X) = Σ_{i=0}^n μ_i(X)/(i! ω_i) としてペンギン評価 P(X) を定義する。ここで μ_i は内接体積、ω_i は単位 i-球の体積である。
• コンピュータ代数システム（Maple）を用いて、ユークリッド的形状を近似する最大25,000点の有限距離空間の大きさを計算する。
• 正方形、円板、立方体、中空領域、トーラス、シエルピンスキー・ギャスケットの計算された大きさをペンギン評価およびべき乗則モデルと比較する。
• 自己同型性および包含除外原理を用いて、シエルピンスキー・ギャスケットのようなフラクタル集合の漸近的挙動をモデル化する。
• シエルピンスキー・ギャスケットに対して、t^{log_2 3} を含む関数形に数値データをフィットさせ、乗数関数がほぼ一定であると仮定する。

実験結果

リサーチクエスチョン

• RQ1 R^n の凸コンパクト部分集合 K に対して、|K| = P(K) が成り立つかどうか。
• RQ2 トーラスや中空領域のような非凸集合に対して、スケール t → ∞ のとき、大きさがペンギン評価に漸近的に近づくか。
• RQ3 フラクタル的集合に対して、|tX| の漸近的成長率がハウスドルフ次元に対応するか。
• RQ4 シエルピンスキー・ギャスケットのようなフラクタル的集合の大きさは、ハウスドルフ次元とほぼ一定の関数を含むべき乗則でモデル化可能か。
• RQ5 フラクタル的集合の大きさ展開における主要項の係数が定数ではなく、ほぼ一定の関数であるか。

主な発見

• 正方形、円板、立方体といった凸集合に対して、計算された大きさはペンギン評価 P(X) と非常に良好に一致しており、凸 K に対して |K| = P(K) であるという予想を支持する。
• トーラスや中空領域といった非凸集合に対し、t → ∞ のとき、大きさはペンギン評価に漸近的に近づくが、有限スケールではわずかな差異が観察された。
• シエルピンスキー・ギャスケットの数値的近似から、|S_t| が (1/3)t^{log_2 3} + 3/2 のように漸近的に増加することが示され、ハウスドルフ次元 log_2 3 を支配するべき乗則に整合する。
• シエルピンスキー・ギャスケットの大きさの漸近的挙動は、|tX| − p(t) → 0 (t → ∞) であるという予想を支持する。ここで p(t) は f(t)t^{dim_H} の形の関数であり、f(t) はほぼ一定である。
• カントール集合の大きさは、以前に t^{log_3 2} に漸近的に増加し、係数がほぼ一定であることが示されていたが、このパターンはシエルピンスキー・ギャスケットに対しても同様の挙動として拡張される。
• 結果から、一般の R^n のコンパクト部分集合における大きさ展開の主要項はハウスドルフ次元によって支配され、フラクタル的状況では係数が定数ではなくほぼ一定の関数である可能性が示唆される。