Infinitely many holes in connectedness loci for collinear affine iterated function systems

기술 요약: 공선형 아핀 반복 함수 체계의 연결성 로커스 내 무한한 구멍들

문제 정의
본 논문은 특정 가계의 아핀 반복 함수 체계(IFS)에 대한 연결성 로커스(connectedness loci)의 위상을 조사한다. 이 체계들은 복소 평면 상에서 등간격 평행 이동을 갖는 $n$개의 공선형 사상(collinear maps)으로 정의된다. 정수 $n \ge 2$에 대하여, IFS는 $t$가 집합 $A_n = \{-n+1, -n+3, \dots, n-1\}$을 순회할 때 $f_t(z) = t + z/c$로 주어진다. 연결성 로커스 $M_n$은 끌개(attractor) $E(c, n)$이 연결된 매개변수 $c \in \mathbb{C} \setminus \mathbb{D}$ (여기서 $\mathbb{D}$는 열린 단위 원판)의 집합이다.

$n=2$인 경우(두 개의 사상)는 Calegari, Koch, Walker에 의해 이미 연구되었으며, 그들은 렌더마ization(renormalization) 점에 축적되는 무한히 많은 "구멍"(로커스의 여집합의 유계 연결 성분)의 존재를 증명하였다. 본 논문은 $n \ge 3$인 경우 $M_n$의 상태가 미해결 과제였던 추측이었다. 본 논문의 목적은 모든 $n \ge 2$에 대하여 $M_n$이 무한히 많은 구멍을 포함함을 증명하는 것이다.

방법론 및 프레임워크
저자들은 산술적 근 이론(arithmetic root theory)과 동반 프리프린트 [4]에서 유도된 기하학적 "유한 포획(finite-capture)" 기술을 결কে 조합하여 사용한다.

1. 산술적 정식화: 연결성 로커스 $M_n$은 비주항 계수가 정수 구간 $D_n = \{-n+1, \dots, n-1\}$에 속하는 단항 다항식의 근들의 폐쇄(closure)로 특징지어진다. 이 동치 관계는 "표식점(marked-point)" 기준에 의존한다: $c \in M_n$일 필요충분조건은 $2c$가 차이 끌개(difference attractor) $E(c, N)$에 속하는 것이다 (여기서 $N = 2n-1$).
2. 기하학적 트랩(Trap)과 인클로저(Enclosure): 증명은 표준적인 "트랩" $C_0(c)$ (0을 중심으로 하는 열린 평행사변형)와 "폐쇄 인클로저" $E_{enc}(c, N)$를 활용한다.
   • 내부 인증: 만약 매개변수 $c$가 $2c$의 유한 역궤도(inverse orbit)를 트랩 $C_0(c)$ 내부로 착륙시킨다면, $c$는 $M_n$의 내부에 있다.
   • 외부 인증: 만약 $2c$의 유한 역 트리(inverse tree)가 빈 집합이 된다면 (즉, 인클로저 내에 허용 가능한 역 궤도가 더 이상 남아있지 않으면), $c \notin M_n$이다.
3. 루프 증거 구축: 구멍의 존재를 증명하기 위해, 저자들은 "루프 증거" $(\Gamma, c^*)$를 구축한다. 이는 조르단 곡선 $\Gamma \subset M_n$과 $\Gamma$의 유계 성분 내부에 있는 증거 매개변수 $c^*$로 구성되며, $c^* \notin M_n$이다. 이러한 쌍의 존재는 $\Gamma$ 내부에 구멍이 존재함을 의미한다.

핵점 기여 및 구축
본 논문의 핵심은 "정상 가족(stationary family)"의 구멍을 구축하는 것이다.

• 고스트 평행사변형(Ghost Parallelograms): 저자들은 깊이 $m$인 고스트 평행사변형을 다섯 개의 단어 $(d^{(1)}, d^{(2)}, d^{(3)}, d^{(4)}; w)$의 튜플로 정의한다. 여기서 네 개의 모퉁이 단어는 허용 가능하지만(집합 $A_N$에 속함), 중간점 단어 $w$는 허용 불가능하다(홀수 숫자를 포함하여 $A_N$에 속하지 않음).
• 기초 구성: 각 $n \ge 3$에 대하여, 길이 18인 네 개의 허용 가능한 단어 세트가 구축된다. 이들의 중간점 단어 $w_1$은 10번째 위치에 홀수 숫자를 가지므로 고스트 단어가 된다. 이에 대응하는 네 개의 차트(chart) 경계는 $M_n$ 내의 조르단 곡선 $\Gamma_{n,1}$을 형성한다.
• 정상 수송(Stationary Transport): 길이가 $m$인 단어를 길이 $m+3$인 단어로 매핑하는 렌더마ization 연산자 $R$이 정의된다. 이 연산자는 중간점 관계와 "고스트" 성질(첫 번째 홀수 숫자가 이동하지만 여전히 홀수로 남음)을 보존한다. 이 연산자를 반복 적용함으로써, 저자들은 깊이 $m_k = 3k + 15$를 갖는 증가하는 깊이의 고스트 평행사변형들의 무한 수열을 생성한다.
• 증거 매개변수: 각 레벨 $k$에 대하여, 중간점 단어 $w_k$는 다항식 $W_{w_k}(c)$를 정의한다. 저자들은 "증거 박스" $B_n$ 내에 $W_{w_k}$의 유일한 근 $c_{n,k}$가 존재함을 증명한다.
  • 루셰의 정리(Rouché's theorem)와 명시적인 대수적 경계값을 사용하여, $c_{n,k}$가 레벨 $k$에서의 네 가지 허용 가능한 차트의 경계로 형성된 조르단 곡선 $\Gamma_{n,k}$ 내부에 있음을 보인다.
  • 또한, $c_{n,k}$의 역 트리가 유한한 깊이에서 빈 집합이 되기 때문에 ($T_{m_k-1}(c_{n,k}) = \emptyset$), $c_{n,k} \notin M_n$임을 증명한다.

결과

1. 무한한 구멍들: 모든 $n \ge 2$에 대하여, 연결성 로커스 $M_n$은 무한히 많은 구멍을 가진다.
   • $n=2$의 경우, 매개변수의 반전과 Calegari–Koch–Walker의 기존 연구를 통해 결과가 도출된다.
   • $n \ge 3$의 경우, 홀수 $k$에 대한 서로 소인 구멍들의 무한 수열 $(\Gamma_{n,k}, c_{n,k})$를 구축함으로써 증명된다.
2. 대수적 축적점: 증거 매개변수 수열 $c_{n,k}$는 $k \to \infty$로 감에 따라 유일한 극한점 $\xi_n$으로 수렴한다.
   • 이 극한점 $\xi_n$은 증거 박스 $B_n$ 내의 명시적인 13차 다항식 $Q_n(c)$의 유일한 영점이다.
   • $\xi_n$은 $M_n$의 경계 위에 있으며 ($\xi_n \in \partial M_n$), 최대 13차의 대수적 수이다.
   • $\xi_n$의 모든 근방에는 $M_n$의 무한히 많은 서로 다른 구멍들이 포함되어 있다.

의의 및 주장
본 논문은 더 많은 사상을 가진 공선형 아핀 IFS의 연결성 로커스의 위상에 관한 추측을 해결한다고 주장한다.

• 일반화: 두 개의 사상을 갖는 경우($n=2$)의 알려진 현상을 모든 $n \ge 3$으로 확장한다.
• 메커니즘: $n=2$인 경우의 메커니즘이 특정 두 사상의 기하학에 묶여 있는 것과 달리, 본 논문은 "고스트 공백(ghost vacancy)"(허용 불가능한 중간점 단어로 인해 누락된 중심 차트)의 수송에 기반한 "정상적(stationary)" 메커니즘을 보여준다. 이 메커니즘은 모든 $n \ge 3$에 대해 균일하다.
• 인증: 구멍들을 엄밀하게 확립하기 위해 시각적 검사가 아닌 정확한 대수적 인증(부호 체크, 근의 개수, 비교차 검증)에 의존한다.
• 극한점: 이 구멍들이 축적되는 정형적인 대수적 경계점 $\xi_n$을 식별함으로써, 이러한 체계에 대한 렌더마ization 거동에 대한 정밀한 구조적 설명을 제공한다.

본 논문은 새로운 응용이나 실험적 설정을 제안하지 않으며, 그 기여는 순수하게 이론적이며, 반복 함수 체계의 매개변수 공간의 프랙탈 위상에 대한 이해를 진전시키는 데 있다.