[论文解读] 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)$ 中的自相似集构造图-定向结构，以分析其几何与代数性质。
• 利用 Falconer 和 Marsh 方法中导出的比值的对数共轭性，关联这些集合的缩放参数。
• 应用维数多项式 $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'$ 的模在不可约性论证中起到何种作用？

主要发现

• 仅当存在整数 $k \geq 2$，使得 $x^{2k} - nx^k + m$ 在 $\mathbb{Z}[x]$ 中可约时，类 $\mathcal{A}(\lambda,n,m)$ 中的自相似集 $E$ 才可能与尘埃型自相似集具有利普希茨等价性。
• 若 $m$ 不是满足 $a \in \mathbb{N}$ 且 $i \geq 2$ 的完全幂 $a^i$，则 $E$ 不可能与任何尘埃型自相似集具有利普希茨等价性。
• $P(x^k)$ 的可约性意味着 $m$ 必须是完全幂，这是通过分析其因式常数项及其模约束得出的。
• 证明依赖于反证法：假设 $P(x^k)$ 不可约，将与某个因式常数项的整数性产生矛盾。
• 假设 $P(x)$ 在 $\mathbb{Z}$ 上不可约，并利用该假设推导出 $P(x^k)$ 不能整除具有非负整数系数的某些多项式。
• 结果表明，对于 $m \in \{2,3,5,6,7,10,11,12,13,14,15,17,\dots\}$，此类利普希茨等价性均不存在。