[논문 리뷰] Lipschitz equivalence of self-similar sets with exact overlaps

Kan Jiang, Songjing Wang외 1명|arXiv (Cornell University)|2018. 08. 27.

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'$의 모듈이 기약성 증명에서 어떤 역할을 하는가?

주요 결과

• 자기유사 집합 $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\}$인 경우, 그러한 리프시츠 동치는 존재하지 않는다.