[论文解读] Self-similar dilatation structures and automata

Marius Buliga|ArXiv.org|Sep 14, 2007

semigroups and automata theory参考文献 2被引用 7

一句话总结

本文证明了在二元树边界上（拓扑上等价于康托集）的自相似伸缩结构，通过一个连续的、取值于等距同构的函数 W，诱导出一个相互作用的自动机网络。关键结果是定理 6.10，该定理由自相似伸缩结构导出的树边界上的自相似作用是均匀连续的，且推广了非欧几里得自相似度量空间中的线性行为。

ABSTRACT

We show that on the boundary of the dyadic tree, any self-similar dilatation structure induces a web of interacting automata. This is a short version, for publication, of the paper arXiv:math/0612509v2

研究动机与目标

• 刻画与康托集同胚的二元树边界上的自相似伸缩结构。
• 通过证明此类结构能生成一个相互作用自动机网络，建立自相似度量结构与自动机理论之间的联系。
• 证明与自相似伸缩结构相关联的等距同构取值函数 W 在平移下满足一致连续性和自相似性。
• 通过将自相似性与伸缩结构意义下的线性性关联，推广度量空间中线性概念的定义。

提出的方法

• 本文使用二元树的边界作为基础度量空间，将其识别为无限二进制词的集合 $X^\rho$，其中 $X = \{0,1\}$。
• 定义一个伸缩结构 $(X^\rho, d, \ u)$，其中 $\nu$ 是满足自相似性和光滑性条件的一族伸缩映射。
• 自相似性通过恒等式 $\delta_{2}^{\alpha x}\alpha y = \alpha \delta_{2}^{x}y$ 对所有 $\alpha \in X$，$x,y \in X^\rho$ 来形式化。
• 从伸缩结构构造函数 $W: \mathbb{N}^* \times X^\rho \to \mathrm{Isom}(X^\rho)$，并证明其光滑且具有自相似性。
• 定理 6.5 将伸缩结构与连续的等距同构取值函数 $W$ 联系起来；定理 6.10 证明 $W^x = W_1^x$ 满足一致连续性和自相似性。
• 证明依赖于 $W$ 的光滑性，并利用连续性模推导出线性缩放性质 $\bar{\mu}(2^k \varepsilon) = 2^k \bar{\mu}(\varepsilon)$，这意味着对二进制 $\varepsilon$ 有 $\bar{\mu}(\varepsilon) = C^{-1}\varepsilon$。

实验结果

研究问题

• RQ1 如何代数与几何地刻画二元树边界上的自相似伸缩结构？
• RQ2 自相似伸缩结构与康托集上自动机之间存在何种关系？
• RQ3 能否证明与伸缩结构相关联的等距同构取值函数 $W$ 满足一致连续性和自相似性？
• RQ4 在伸缩结构中，自相似性在多大程度上推广了度量空间中线性性的概念？
• RQ5 函数 $W$ 的光滑性如何导致具有线性缩放连续性模的一致连续性条件？

主要发现

• 定理 6.10 证明了任意 $X^\rho$ 上的自相似伸缩结构均诱导出一个函数 $W^x = W_1^x$，满足对所有 $q \in X^*$ 和 $x \in X^\rho$ 有 $W_{|q|+1}^{qx} = W^x$，从而确立了在平移下的自相似性。
• 函数 $W^x$ 是一致连续的：对任意 $\lambda > 0$，若 $d(x,x') \leq \lambda$，则存在 $C > 0$ 使得 $d(W^x(y), W^{x'}(y)) \leq C\lambda$，这证明了输入 $x$ 的利普希茨连续性。
• 函数 $W^x$ 的连续性模 $\bar{\mu}(\varepsilon)$ 满足 $\bar{\mu}(2^k \varepsilon) = 2^k \bar{\mu}(\varepsilon)$，这意味着对二进制 $\varepsilon = 1/2^p$ 有 $\bar{\mu}(\varepsilon) = C^{-1}\varepsilon$，从而确认了线性缩放行为。
• 自相似伸缩结构被证明等价于定义 6.9 中的平移映射 $\hat{0}, \hat{1}$ 的线性性，从而将自相似性与广义线性性联系起来。
• 本文确立了等距同构取值函数 $W$ 满足定义 6.4 中的光滑性，这对推导连续性与缩放性质至关重要。
• 该构造在几何分析（伸缩结构）与自动机理论之间建立了桥梁，表明自相似结构自然地在康托集上产生相互作用的自动机。