[논문 리뷰] Self-Similar Jordan Arcs Which Do Not Satisfy OSC

Andrei Tetenov, Kirill Kamalutdinov외 1명|arXiv (Cornell University)|2015. 12. 01.

Mathematical Dynamics and Fractals참고 문헌 2인용 수 10

한 줄 요약

이 논문은 R³에서 오픈 세트 조건(ROC)을 위반하지만 일점 교차 성질을 만족하는 자기유사 조르단 곡선을 구성한다. 이는 유한 교차 성질이 3차원에서 ROC를 함의하지는 않음을 보여준다. 수정된 자식 구조와 복소 곱셈군의 조밀한 부분군을 분석하여, 비-WSF(약한 분리 성질)를 유지하면서도 단순한 위상적 구조를 유지하는 유사 변환 체계를 변형함으로써 이러한 곡선의 존재를 증명한다.

ABSTRACT

It was proved in 2007 by C.Bandt and H.Rao that if a system $S = \{S_1 , ..., S_m \}$ of contraction similarities in $R^2$ with a connected attractor $K$ has the finite intersection property, then it satisfies OSC. We construct a self-simiilar Jordan arc in $R^3$, defined by a system $S$ , which does not satisfy OSC and at the same time has one-point intersection property.

연구 동기 및 목표

• R³에서 유한 교차 성질이 오픈 세트 조건(ROC)을 함의하는가라는 열린 문제를 해결하기 위해.
• 자기유사 체계의 아트랙터가 조르단 곡선이지만 ROC를 만족하지 않는 명시적 예를 구성하기 위해.
• 이러한 체계에서 약한 분리 성질(WSP)도 위반됨을 보여, 기존의 ROC에 대한 반례를 WSP로 확장하기 위해.

제안 방법

• 자식 구조를 활용하여 정점과 서명 제약 조건을 갖는 R³ 내 자기유사 곡선을 정의한다.
• 유사 변환에 대해 기하 조건(A1–A6)을 도입하여 아트랙터가 조르단 곡선이 되고 교차가 제어됨을 보장한다.
• 일반 위치 정리(정리 2)를 적용하여 곡선 교차를 유도하는 매개변수 값의 하우스도르프 차원을 유계화한다.
• Barnsley의 콜라주 정리(제안 3)를 기반으로 한 변형 결과를 사용하여 체계의 소규모 변형 하에서 비-리프시츠 성질이 유지됨을 제어한다.
• 복소 곱셈군의 두 번째 유형인 2생성자 조밀한 부분군의 성질을 활용하여 매개변수 공간에서 조밀한 궤도 행동을 보장한다.
• 두 번째 유형의 조밀한 부분군에 관한 정리 4를 활용하여 항등사상에 수렴하는 사상의 수열을 구성함으로써 WSP 위반을 입증한다.

실험 결과

연구 질문

• RQ1 R²에서 그렇듯이 R³에서 유한 교차 성질이 오픈 세트 조건(ROC)을 함의하는가?
• RQ2 R³에서 자기유사 조르단 곡선을 ROC를 위반하면서도 교차가 제어되는 방식으로 구성할 수 있는가?
• RQ3 자기유사 체계가 WSP를 위반하면서도 아트랙터로 조르단 곡선을 생성할 수 있는가?
• RQ4 복소 곱셈군의 조밀한 부분군은 이러한 병리적 예를 구성하는 데 어떤 역할을 하는가?
• RQ5 유사 변환 체계의 소규모 변형이 비-WSF를 유지하면서도 단순한 위상적 구조를 유지할 수 있는가?

주요 결과

• 논문은 R³ 내 수축 사상의 자기유사 체계 S = {S₁,…,Sₘ}를 구성하여 그 아트랙터가 R³ 내 조르단 곡선 γ ⊂ R³임을 보였다.
• 체계 S는 일점 교차 성질을 만족하지만 오픈 세트 조건(ROC)을 만족하지 않는다.
• 항등사상에 수렴하는 사상의 수열이 존재함으로써 WSP가 위반됨을 보였다.
• 아트랙터 γ는 조르단 곡선이므로 단순하고 자기교차가 없는 연속 곡선임을 의미한다.
• 이 구성은 교차가 제어된 자식 기반 체계에 기반하며, 교차가 발생하는 매개변수 공간의 하우스도르프 차원이 ≤ 2/α 이하임을 보였다. 여기서 α > 3/4이다.
• C² 내 두 번째 유형의 조밀한 부분군의 생성자가의 조밀성이 보장되므로, 이러한 체계의 존재가 보장되며, 이는 매개변수 공간에서 필요한 역학적 행동을 보장한다.