[논문 리뷰] Subdivision rule constructions on critically preperiodic quadratic matings

Mary Wilkerson|arXiv (Cornell University)|2016. 01. 26.

semigroups and automata theory참고 문헌 6인용 수 6

한 줄 요약

이 논문은 허버드 트리와 외부 사슬 역학을 이용하여 임계적으로 전주기적인 1차 다항식의 비하이퍼볼릭 매칭을 위한 유한 분할 규칙 구축을 제안한다. 매칭의 위상구조를 의사등각선 상의 변 길이 할당으로 모델링함으로써, 의사등각선이 존재하지 않을 경우조차도 이러한 매칭의 역학을 명시적으로 구축하는 분할 규칙을 제공하며, 비하이퍼볼릭 케이스에서 기존 알고리즘의 실패를 보완하는 조합론적 대안을 제시한다.

ABSTRACT

Mating is an operation that identifies the domains of a polynomial pair in order to obtain a new map on the resulting quotient space. The dynamics of the mating are then dependent on the two polynomials and the manner in which the quotient space was defined, which can be difficult to visualize. This research addresses using Hubbard trees and finite subdivision rules as tools to examine quadratic matings with preperiodic critical points. In many cases, discrete parameter information on such quadratic pairs can be translated into topological information on the dynamics of their mating. The central theorems in this work provide methods for explicitly constructing subdivision rules that model non-hyperbolic matings. We follow with several examples and connections to the current literature.

연구 동기 및 목표

• 비하이퍼볼릭 임계적으로 전주기적인 1차 다항식 매칭을 모델링하기 위한 조합론적 방법을 개발하는 것.
• 메두사와 같은 기존 알고리즘이 비하이퍼볼릭 케이스에서 발산하는 데서 비롯되는 제한을 해결하는 것.
• 이러한 매칭의 위상적 및 역학적 구조를 포착하는 유한 분할 규칙 구축을 제공하는 것.
• 의사등각선의 역할과 비조르드 곡선 케이스에서의 실패를 탐구함으로써 매칭 이론의 범위를 확장하는 것.

제안 방법

• 두 개의 임계적으로 전주기적인 1차 다항식의 허버드 트리에서 유한 분할 규칙의 1-스켈레톤을 구축한다.
• 카라테오도리 반연속성을 이용해 외부 사슬의 각도와 착륙점의 변화를 추적함으로써 향후 역학과의 일致를 확보한다.
• 임계 궤도의 구조에서 유도된 임계점 간격에 기반해 의사등각선 상의 변 길이를 할당한다.
• 모듈로 1에서 θ(p_i) = θ(p_0) + Σv_k 와 θ(p_i) ≡ θ(E(p_i)) mod 1을 만족하는 함수 θ를 정의한다.
• 핵심 구축을 적용하여 두 타일링을 생성하며, 이의 1-스켈레톤은 매칭의 몫 공간을 근사한다.
• 등각선이 압착되어 조르드 곡선이 아닌 경우를 분석하여, 의사등각선이 존재하지 않더라도 분할 규칙이 여전히 유효함을 보여준다.

실험 결과

연구 질문

• RQ1 비하이퍼볼릭 임계적으로 전주기적인 1차 다항식 매칭에 대해 유한 분할 규칙을 명시적으로 구축할 수 있는가?
• RQ2 외부 사슬 역학과 허버드 트리의 구조는 이러한 매칭에서 분할 규칙의 구축에 어떻게 기여하는가?
• RQ3 의사등각선이 존재하는 조건은 무엇이며, 존재하지 않을 경우 어떻게 구축을 적응시킬 수 있는가?
• RQ4 등각선이 압착되어 비조르드 곡선이 되는 경우에도 분할 규칙 프레임워크가 매칭을 모델링할 수 있는가?
• RQ5 이 방법은 메두사와 같은 기존 알고리즘을 비하이퍼볼릭 매칭에 대해 어떻게 보완하거나 확장할 수 있는가?

주요 결과

• 핵심 구축은 의사등각선이 조르드 곡선이 아니더라도 비하이퍼볼릭 매칭에 대해 유한 분할 규칙을 성공적으로 생성한다.
• f_{1/6} ◯ f_{1/6} 매칭의 경우, 변 길이 할당과 외부 각도 계산을 통해 의사등각선이 확인되며, θ(p_0) = 1/6, θ(p_1) = 1/3, θ(p_2) = 2/3, θ(p_3) = 5/6를 도출한다.
• 이 방법은 외부 각도가 θ(p_i) ≡ 2θ(p_j) mod 1을 만족하는 점을 임계값으로 식별하며, p_0와 p_3가 임계값임을 확인한다.
• f_{1/6} ◯ f_{13/14}와 같은 케이스에서는 임계점의 식별으로 인해 등각선이 비조르드 곡선으로 압착되지만, 분할 규칙 구축은 여전히 유효하다.
• 구축을 통해 생성된 두 타일링은 매칭의 몫 공간을 근사하며, 1-스켈레톤은 유리 함수의 역학을 모델링한다.
• 이 방법은 계산 비용이 큰 기존 방법의 대안이 되며, 계산 도구 없이도 저복잡도 매칭의 사상 행동을 스케치할 수 있도록 한다.