[論文レビュー] Lipschitz equivalence of self-similar sets with exact overlaps

Kan Jiang, Songjing Wang+1 more|arXiv (Cornell University)|Aug 27, 2018

Mathematical Dynamics and Fractals参考文献 9被引用数 6

ひとこと要約

本稿は、クラス $\mathcal{A}(\lambda,n,m)$ に属する正確な重なりを有する自己相似集合が、強い分離条件を満たすダスト状自己相似集合とリーマン同等であるための必要条件を確立する。グラフ指向的構造と次元多項式の非可約性を用いて、このような同等性が、ある $k \geq 2$ に対して $x^{2k} - nx^k + m$ が $\mathbb{Z}[x]$ 内で可約であることを意味することを証明する。これにより、$m$ が $i \geq 2$ を満たす $a^i$ の形の完全乗数でなければならないことが導かれる。これは重なりを有する自己相似集合におけるリーマン同等の構造的障害を提供する。

ABSTRACT

In this paper, we study a class $\mathcal{A}(λ,n,m)$ of self-similar sets with $m$ exact overlaps generated by $n$ similitudes of the same ratio $ λ$. We obtain a necessary condition for a self-similar set in $\mathcal{A}(λ,n,m)$ to be Lipschitz equivalent to a self-similar set satisfying the strong separation condition, i.e., there exists an integer $ k\geq 2$ such that $x^{2k}-mx^{k}+n$ is reducible, in particular, $m$ belongs to $\{a^{i}:a\in \mathbb{N}$ with $i\geq 2\}.$

研究の動機と目的

• クラス $\mathcal{A}(\lambda,n,m)$ に属する正確な重なりを有する自己相似集合が、強い分離条件を満たすダスト状自己相似集合とリーマン同等である条件を特定すること。
• このようなリーマン同等性を許容するパラメータ $n$, $m$, $\lambda$ の構造的制約を特定すること。
• 多項式 $x^{2k} - nx^k + m$ の $\mathbb{Z}[x]$ における可約性を用いた数論的障害を確立すること。

提案手法

• クラス $\mathcal{A}(\lambda,n,m)$ の自己相似集合に対してグラフ指向的構造を構築し、その幾何的・代数的性質を分析する。
• ファルコナーとマーシュの手法から導かれる比の対数的可換性を用いて、集合のスケーリングパラメータを関連付ける。
• 次元多項式 $P(x) = x^2 - nx + m$ を適用し、その非可約性を分析してハウスドルフ次元の性質を推論する。
• もし $P(x^k)$ が $\mathbb{Z}[x]$ 内で非可約であれば、根モジュール解析による背理法を用いて、ダスト状集合とのリーマン同等性が不可能であることを証明する。
• 可約性の分析により、$P(x^k)$ の因子の定数項とそのモジュール制約を用いて、$m = a^i$（$a \in \mathbb{N}$, $i \geq 2$）であることを示す。
• $|Q_1(0)| = |\beta^{u_1} (\beta')^{v_1}|^{1/q} \in \mathbb{N}$ であるという事実を用いて、$m$ が完全乗数でなければならないことを導出する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、正確な重なりを有する自己相似集合がダスト状自己相似集合とリーマン同等である可能性があるか。
• RQ2 パラメータ $n$, $m$, $k$ に対して、$x^{2k} - nx^k + m$ が $\mathbb{Z}[x]$ 上で可約であることを保証する代数的条件は何か。
• RQ3 なぜ $P(x^k) = x^{2k} - nx^k + m$ の可約性は、$m$ が $i \geq 2$ を満たす $a^i$ の形の完全乗数でなければならないことを意味するのか。
• RQ4 次元多項式 $P(x)$ の非可約性は、ダスト状集合とのリーマン同等性の非存在にどのように関係するか。
• RQ5 代数的共役 $\beta'$ のモジュールが非可約性の議論において果たす役割は何か。

主な発見

• 自己相似集合 $E \in \mathcal{A}(\lambda,n,m)$ がダスト状自己相似集合とリーマン同等であるのは、ある整数 $k \geq 2$ に対して $x^{2k} - nx^k + m$ が $\mathbb{Z}[x]$ 内で可約である場合に限る。
• $m$ が $a \in \mathbb{N}$ および $i \geq 2$ を満たす $a^i$ の形の完全乗数でない限り、$E$ はいかなるダスト状自己相似集合ともリーマン同等でない。
• $P(x^k)$ の可約性は、その因子の定数項とそのモジュール制約の分析により、$m$ が完全乗数でなければならないことを示す。
• 証明は背理法に依存する：$P(x^k)$ が非可約であると仮定すると、因子の定数項の整数性と矛盾する。
• $\mathbb{Z}$ 上での $P(x)$ の非可約性を仮定し、$P(x^k)$ が非負整数係数の多項式を割り切れないことを導出する。
• この結果により、$m \in \{2,3,5,6,7,10,11,12,13,14,15,17,\dots\}$ の場合、このようなリーマン同等性は存在しないことが示される。