[论文解读] Fractals in Noncommutative Geometry

Daniele Guido, Tommaso Isola|ArXiv.org|Feb 27, 2001

Mathematical Dynamics and Fractals参考文献 13被引用 12

一句话总结

本文提出了一种非交换几何框架，通过谱三元组定义分形维数与测度，使用广义奇异迹而非标准对数Dixmier迹。研究证明，|D|⁻¹的奇异可迹指数所确定的维数与自相似分形的经典的Hausdorff维数一致，并为ℝⁿ中的极限分形构造了一个新的谱三元组，通过非交换积分恢复Hausdorff测度。

ABSTRACT

To any spectral triple (A,D,H) a dimension d is associated, in analogy with the Hausdorff dimension for metric spaces. Indeed d is the unique number, if any, such that |D|^-d has non trivial logarithmic Dixmier trace. Moreover, when d is finite non-zero, there always exists a singular trace which is finite nonzero on |D|^-d, giving rise to a noncommutative integration on A. Such results are applied to fractals in R, using Connes' spectral triple, and to limit fractals in R^n, a class which generalises self-similar fractals, using a new spectral triple. The noncommutative dimension or measure can be computed in some cases. They are shown to coincide with the (classical) Hausdorff dimension and measure in the case of self-similar fractals.

研究动机与目标

• 通过定义Hausdorff维数与测度的非交换类比，将非交换几何扩展至如分形等奇异空间。
• 将奇异迹的应用从对数Dixmier迹推广至更广泛的情形，以捕捉更一般的分形标度行为。
• 为ℝⁿ中的极限分形构造一个新的谱三元组，该构造与Connes的原始构造不同，但能产生一致的非交换测度。
• 证明该框架所导出的非交换维数与测度在自相似情况下与经典Hausdorff维数与测度完全一致。

提出的方法

• 本文将谱三元组的维数定义为唯一的指数d，使得|D|⁻ᵈ具有非平凡的对数Dixmier迹。
• 引入紧算子的奇异可迹指数概念，利用ℓ∞上的广义极限来定义B(H)上的奇异迹。
• 基于相似映射的离散逼近与点对关联的有限维希尔伯特空间，为ℝⁿ中的极限分形构造一个新的谱三元组。
• 狄拉克算子D被定义为：其本征值与每个尺度下分形剩余部分的大小成正比，而非与空洞成正比。
• 作为|D|⁻ᵈ上的奇异迹，构造了非交换Hausdorff-Besicovitch泛函，从而在代数A上诱导出一个线性泛函。
• 对于平移分形，谱维数通过公式d = limsupₙ (∑₁ⁿ log pₖ) / (∑₁ⁿ log 1/λₖ) 计算，其中pₖ与λₖ分别为第k尺度下相似变换的数量与缩放参数。

实验结果

研究问题

• RQ1 分形的Hausdorff维数能否通过谱三元组作为非交换维数被恢复？
• RQ2 与仅使用对数Dixmier迹相比，使用广义奇异迹是否能提供更稳健且更通用的分形测度框架？
• RQ3 能否为ℝⁿ中的极限分形构造一个新的谱三元组，使其关联的非交换测度与经典极限测度一致？
• RQ4 在平移分形情况下，由谱三元组导出的非交换测度是否在分形的内部等距变换下保持不变？

主要发现

• 谱三元组的非交换维数d是唯一的指数，使得|D|⁻ᵈ具有非平凡的对数Dixmier迹，且该d与自相似分形的经典的Hausdorff维数一致。
• 对于满足开集条件的自相似分形，非交换d维Hausdorff泛函恰好对应于经典的d维Hausdorff测度。
• 为极限分形构造的新谱三元组所产生的非交换测度，对|D|⁻¹的任意奇异可迹指数α，均与具有参数α的极限测度一致。
• 对于满足可数分支开集条件的平移分形，谱维数由d = limsupₙ (∑₁ⁿ log pₖ) / (∑₁ⁿ log 1/λₖ) 给出，且其关联测度是唯一在内部等距变换下不变的概率测度。
• 谱三元组的构造不依赖于初始点x,y的选择，且非交换测度在C(F)（分形上连续函数空间）上非平凡。