[论文解读] Heuristic and computer calculations for the magnitude of metric spaces

Simon Willerton|ArXiv.org|Oct 28, 2009

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

一句话总结

本文提供了启发式与计算证据，表明欧氏空间中紧致度量空间的基数在渐近意义上与通过内在体积定义的几何测度论泛函——企鹅泛函（penguin valuation）相匹配。对于正方形、圆盘和立方体等凸集，基数与企鹅泛函极为接近；而对于环面和谢尔宾斯基垫片等非凸集与分形集，基数渐近趋近于该泛函，或遵循与豪斯多夫维数一致的幂律。

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.

研究动机与目标

• 研究欧氏空间中紧致度量空间基数的渐近行为。
• 检验关于凸子集基数等于基于内在体积的几何测度论泛函——企鹅泛函的猜想。
• 探索非凸与分形集的基数是否渐近满足包含-排斥原理。
• 通过有限度量空间近似，数值逼近环面与谢尔宾斯基垫片等复杂形状的基数。

提出的方法

• 推导大范围开子集基数主部贡献的启发式方法，表明其缩放为 vol(X)/(n! ω_n)。
• 定义企鹅泛函 P(X) = Σ_{i=0}^n μ_i(X)/(i! ω_i)，其中 μ_i 为内在体积，ω_i 为单位 i-球的体积。
• 使用计算机代数系统（Maple）计算最多包含 25,000 个点的有限度量空间的基数，以近似欧氏形状。
• 将正方形、圆盘、立方体、圆环、环面与谢尔宾斯基垫片的计算基数与企鹅泛函及幂律模型进行比较。
• 应用自相似性与包含-排斥原理，对谢尔宾斯基垫片等分形集的渐近行为进行建模。
• 将数值数据拟合至包含 t^{log_2 3} 的函数形式，假设乘法函数近乎常数。

实验结果

研究问题

• RQ1 欧氏空间中紧致凸子集的基数是否等于企鹅泛函 P(X)？
• RQ2 对于环面与圆环等非凸集，当尺度 t → ∞ 时，基数是否渐近趋近于企鹅泛函？
• RQ3 基数 |tX| 的渐近增长速率是否对应于 X 的豪斯多夫维数，特别是对于分形集？
• RQ4 谢尔宾斯基垫片等分形集的基数是否可由包含豪斯多夫维数与近乎常数函数的幂律模型描述？
• RQ5 分形集基数展开中首项系数是否为近乎常数函数，而非常数？

主要发现

• 对于正方形、圆盘与立方体等凸集，计算得到的基数与企鹅泛函 P(X) 显示出极佳拟合，支持凸集 K 满足 |K| = P(K) 的猜想。
• 对于环面与圆环等非凸集，当 t → ∞ 时，基数渐近趋近于企鹅泛函，有限尺度下仅存在微小偏差。
• 谢尔宾斯基垫片的数值近似表明 |S_t| 的渐近增长形式为 (1/3)t^{log_2 3} + 3/2，与由豪斯多夫维数 log_2 3 决定的幂律一致。
• 谢尔宾斯基垫片基数的渐近行为支持猜想：当 t → ∞ 时，|tX| − p(t) → 0，其中 p(t) 为 f(t)t^{dim_H} 形式的函数，且 f 几乎为常数。
• 此前已证明康托集的基数渐近增长为 t^{log_3 2}，且系数近乎常数；该模式在谢尔宾斯基垫片中亦得到类似表现。
• 结果表明，一般紧致子集在 R^n 中的基数展开中，首项系数由豪斯多夫维数决定，且在分形情况下为近乎常数函数，而非常数。