[논문 리뷰] Functorial orbit counting

Apisit Pakapongpun, Thomas Ward|ArXiv.org|2009. 01. 17.

Mathematical Dynamics and Fractals참고 문헌 12인용 수 7

한 줄 요약

이 논문은 동역계에서 닫힌 궤도를 세는 데 대한 함자적 프레임워크를 제안하며, 궤도 구조를 궤도 모노이드와 생성함수와 같은 대수적 구조물과 연결한다. 이는 곱, 분리합집합, 반복과 같은 사상에 대한 연산이 궤도 수 세기 수열에 자연스러운 변환을 유도함으로써, 동역계, 산술 반군, 피보나치, 분할, 루카스 수와 같은 조합 수열 간의 깊은 연결 고리를 드러낸다.

ABSTRACT

We study the functorial and growth properties of closed orbits for maps. By viewing an arbitrary sequence as the orbit-counting function for a map, iterates and Cartesian products of maps define new transformations between integer sequences. An orbit monoid is associated to any integer sequence, giving a dynamical interpretation of the Euler transform.

연구 동기 및 목표

• 동역계에서 궤도 수 세기 문제를 함자적 접근법으로 다루며, 사상들을 대상으로 간주하고 궤도 수 세기 함수를 불변량으로 간주하는 것.
• 카르테시안 곱, 분리합집합, 반복과 같은 기본적인 동역계 연산이 궤도 수 세기 수열에 어떻게 작용하는지 특성화하는 것.
• 궤도 모노이드를 통한 오일러 변환의 동역학적 해석을 수립하여 고정점 수를 궤도의 중복도와 연결하는 것.
• 특히 선형 재귀 수열과 산술 반군과의 관련성에서 궤도 모노이드의 성장 및 구조적 성질을 탐구하는 것.
• 다양한 조합 수열(예: 피보나치, 분할, 루카스 수)이 특정 사상의 궤도 수 세기 함수로서 자연스럽게 나타남을 보여주는 것.

제안 방법

• 유한 개의 각 순서 고정점을 갖는 사상 $T: X \to X$의 범주 $\mathfrak{M}$을 정의하고, 각 사상에 대해 궤도 수 세기 수열 $\mathcal{O}_T(n)$을 부여한다.
• 닫힌 궤도로 생성되는 자유 아벨 모노이드인 궤도 모노이드 $\mathcal{G}_T$를 도입하며, 궤도 $\tau$에 대해 길이 $|\tau|$를 할당하는 무게 함수 $\partial$를 정의한다.
• 모비우스 역행렬 공식을 사용하여 고정점 수 $\mathcal{F}_T(n)$와 궤도 수 $\mathcal{O}_T(n)$ 사이의 관계를 $\mathcal{O}_T(n) = \frac{1}{n}\sum_{d|n} \mu(n/d)\mathcal{F}_T(d)$ 로 기술한다.
• 생성함수를 정의한다: 동역계 제타 함수 $\zeta_T(s) = \exp\sum_{n\geq1} \frac{s^n}{n}\mathcal{F}_T(n)$ 와 궤도 딜리클레 급수 $\mathsf{d}_T(s) = \sum_{n\geq1} \frac{\mathcal{O}_T(n)}{n^s}$ 로, 항등식 $\zeta_T(s) = \prod_\tau (1 - s^{\vert\tau\vert})^{-1}$ 와 $\mathsf{d}_T(s)\zeta(s+1) = \sum_{n\geq1} \frac{\mathcal{F}_T(n)}{n^{s+1}}$ 를 얻는다.
• 성장 분석을 위해 $\pi_T(N) = |\{\tau : |\tau| \leq N\}|$ 과 $\mathcal{M}_T(N) = \sum_{|\tau|\leq N} e^{-h|\tau|}$ 를 고려하며, 소수 정리 및 메르텐스 유형 정리와의 점근적 관계를 규명한다.
• 함자성 확립: $\mathcal{F}_{T_1 \times T_2} = \mathcal{F}_{T_1} \mathcal{F}_{T_2}$, $\mathsf{d}_{T_1 \sqcup T_2} = \mathsf{d}_{T_1} + \mathsf{d}_{T_2}$, $\zeta_{T_1 \sqcup T_2} = \zeta_{T_1} \zeta_{T_2}$, 그리고 $\mathcal{F}_{T^k}(n) = \mathcal{F}_T(kn)$.

실험 결과

연구 질문

• RQ1 표준적인 동역계 연산인 곱, 분리합집합, 반복이 사상의 궤도 수 세기 수열에 어떻게 작용하는가?
• RQ2 궤도 수 세기 함수의 배경이 되는 대수적 구조는 무엇이며, 산술 반군과 어떻게 관련되어 있는가?
• RQ3 기존에 조합론적으로만 이해되던 오일러 변환은 궤도 모노이드를 통해 어떻게 동역학적으로 해석할 수 있는가?
• RQ4 궤도 수의 성장률이 동역계 맥락에서 제타 함수와 딜리클레 급수와 어떻게 관련되어 있는가?
• RQ5 기존에 알려진 조합 수열(예: 피보나치, 분할, 루카스 수)이 명시적인 사상의 궤도 수 세기 함수로서 얼마나 자연스럽게 나타나는가?

주요 결과

• 사상 $T$에 관련된 궤도 모노이드 $\mathcal{G}_T$ 는 그 닫힌 궤도로 생성되는 자유 아벨 모노이드와 동형이며, 무게 함수는 궤도 길이의 합을 나타낸다.
• 황금비 이동에서 $\mathcal{G}_T(n)$ 은 $(n+1)$-번째 피보나치 수와 같으며, 따라서 $\mathcal{G}_T$ 는 수열 A000045이다.
• 만약 $\mathsf{d}_T(s) = \zeta(s)$ 이면, $\mathcal{G}_T(n)$ 은 정수 분할 수를 세는 분할 함수 A000041와 같다.
• 기호 $a$개로 이루어진 전체 이동의 경우 $\mathcal{F}_T(n) = a^n - a^{n-1}$ 이고, $\mathcal{G}_T(n) = a^n - a^{n-1}$ 이므로, $\mathcal{F}_T$ 가 차수 1이지만 $\mathcal{G}_T$ 는 여전히 차수 2 선형 재귀를 만족함을 보여준다.
• 정수환 $\mathbb{Z}[1/6]$ 상에서 $r \mapsto \frac{2}{3}r$ 의 쌍대 사상에 대해 $\mathcal{F}_T(n) = 3^n - 2^n$ 이고 $\mathcal{G}_T(n) = 3^{n-1}$ 이므로, $\mathcal{G}_T$ 는 A000245이며, 차수 1 선형 재귀를 만족한다.
• 예제 2.5의 이차 사상의 궤도 모노이드는 2의 거듭제곱으로 분할하는 수를 세는 이진 분할 함수 A018819와 같다.