알제브라적 의존수와 생성 IFS의 개수에 관한 새로운 정량적 해석

초록

본 논문은 먼지형(self‑similar) 집합의 ‘알제브라적 의존수’를 그 집합의 구간 간격(gap) 길이 집합에 내재된 무한 기하급수열의 공비 로그가 생성하는 벡터 공간 차원으로 직접 정의한다. 이를 통해 구간 길이 정보를 이용해 생성 IFS의 최소 개수를 하한으로 제시하고, 동일한 방법을 그래프‑지시 자기유사 구조(GD‑IFS)에도 확장한다.

상세 분석

논문은 먼저 IFS와 강분리조건(SSC)을 만족하는 먼지형 집합 K에 대해 기존 연구(Elekes‑Keleti‑Máthé)가 제시한 ‘알제브라적 의존수’를 재해석한다. 기존 정의는 모든 생성 IFS의 수축비 로그가 생성하는 Q‑벡터 공간 차원에서 1을 뺀 값이었다. 저자는 구간 길이 집합 GL(K)를 정의하고, 그 안에 존재하는 무한 기하급수열들의 공비 r에 대해 log r을 취한 집합을 고려한다. 핵심은 ‘비율 분석(ratio analysis)’ 기법을 이용해 GL(K) 안의 임의의 작은 θ에 대해 R_{GL(K)}(θ) (θ를 포함하는 무한 기하급수열들의 공비 집합)가 수축비 집합 X의 Q‑멱집합 X^{Q*+}에 포함된다는 점을 보이는 것이다(Lemma 3.4). 이를 통해
 span {log r : r∈R_{GL(K)}(θ)} = span log X
가 성립함을 증명하고, 알제브라적 의존수는 바로 이 벡터 공간 차원에서 1을 뺀 값이라는 ‘내재적 정량적 특성화’를 제시한다(Theorem 3.6).

또한, 이 특성을 이용해 GL(K)의 구조만 알면 생성 IFS의 최소 개수를 추정할 수 있다. 구체적으로, GL(K) 를 두 유한 집합 Λ, Γ 로 분해한 뒤 GL(K)=Γ