[論文レビュー] Self-similar dilatation structures and automata

Marius Buliga|ArXiv.org|Sep 14, 2007

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

ひとこと要約

本稿では、2進木の境界上に存在する自己相似な拡大構造—位相的にカントール集合に同相—が、連続的かつ等長写像値をとる関数 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

研究の動機と目的

• 2進木の境界上に存在する自己相似な拡大構造を特徴づけること。ここで、境界はカントール集合に位相同型である。
• 自己相似な距離構造と自己組織化理論との間の関係を確立すること。具体的には、このような構造が相互作用する自己組織化のネットワークを生成することを示すこと。
• 自己相似な拡大構造に関連する等長写像値関数 W が、シフトに関して一様連続性および自己相似性を満たすことを証明すること。
• 自己相似性を用いて、距離空間における線形性の概念を一般化すること。具体的には、拡大構造の観点から線形性を定式化すること。

提案手法

• 本稿では、無限の2進語 $X^\rho$ として特定される2進木の境界—ここで $X = \{0,1\}$—を、基礎となる距離空間として用いる。
• 自己相似性および滑らかさの条件を満たす拡大写像 $\nu$ の族を備えた拡大構造 $(X^\rho, d, \nu)$ を定義する。
• 自己相似性は、すべての $\alpha \in X$, $x,y \in X^\rho$ に対して $\delta_{2}^{\alpha x}\alpha y = \alpha \delta_{2}^{x}y$ という恒等式によって形式化される。
• 関数 $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)$ を導出する。この関係から、$\bar{\mu}(\varepsilon) = C^{-1}\varepsilon$ が2進の $\varepsilon$ に対して成り立つことが示され、線形スケーリングの挙動が裏付けられる。

実験結果

リサーチクエスチョン

• RQ1 2進木の境界上に存在する自己相似な拡大構造を、代数的および幾何的にどのように特徴づけられるか？
• RQ2 自己相似な拡大構造とカントール集合上に存在する自己組織化との関係は何か？
• RQ3 拡大構造に関連する等長写像値関数 $W$ が、一様連続的かつ自己相似的であることを示せるか？
• RQ4 拡大構造における自己相似性は、距離空間における線形性の概念をどの程度一般化するか？
• RQ5 関数 $W$ の滑らかさが、線形スケーリングのモジュラスを伴う一様連続性条件をどのように導くか？

主な発見

• 定理6.10 は、任意の $X^\rho$ 上の自己相似な拡大構造が、すべての $q \in X^*$ および $x \in X^\rho$ に対して $W_{|q|+1}^{qx} = W^x$ を満たす関数 $W^x = W_1^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$（2進）に対して $\bar{\mu}(\varepsilon) = C^{-1}\varepsilon$ を意味し、線形スケーリング挙動が裏付けられる。
• 自己相似な拡大構造が、定義6.9におけるシフト写像 $\hat{0}, \hat{1}$ の線形性と同値であることが示され、自己相似性が一般化された線形性に結びつく。
• 本稿では、定義6.4 における意味で、等長写像値関数 $W$ が滑らかであることが確立されており、これは連続性およびスケーリング性の導出に不可欠である。
• 本研究は、幾何解析（拡大構造）と自己組織化理論との間の橋渡しを提供しており、自己相似構造が自然にカントール集合上に相互作用する自己組織化を生み出すことを示している。