[논문 리뷰] The Toothpick Sequence and Other Sequences from Cellular Automata

David Applegate, Omar E. Pol외 1명|arXiv (Cornell University)|2010. 04. 18.

Cellular Automata and Applications참고 문헌 6인용 수 7

한 줄 요약

이 논문은 물감 줄자 배열과 관련된 세포자동기계를 소개하고 분석하며, 물감 줄자 수와 활성 세포 수에 대한 재귀 공식과 생성함수를 유도한다. 이는 분수적 성장 패턴을 드러내며, $\prod_{k\geq 0}(1+x^{2^{k}-1}+2x^{2^{k}})$ 형태의 새로운 생성함수를 수립하고, 세르피ńsk이 삼각형과의 연결고리로 제시하며, OEIS에 기록된 수열에 대한 명시적 공식을 제공한다.

ABSTRACT

A two-dimensional arrangement of toothpicks is constructed by the following iterative procedure. At stage 1, place a single toothpick of length 1 on a square grid, aligned with the y-axis. At each subsequent stage, for every exposed toothpick end, place an orthogonal toothpick centered at that end. The resulting structure has a fractal-like appearance. We will analyze the toothpick sequence, which gives the total number of toothpicks after n steps. We also study several related sequences that arise from enumerating active cells in cellular automata. Some unusual recurrences appear: a typical example is that instead of the Fibonacci recurrence, which we may write as a(2+i) = a(i) + a(i+1), we set n = 2^k+i (0 <= i < 2^k), and then a(n)=a(2^k+i)=2a(i)+a(i+1). The corresponding generating functions look like Prod{k >= 0} (1+x^{2^k-1}+2x^{2^k}) and variations thereof.

연구 동기 및 목표

• 2차원 세포자동기계 규칙에서 유도된 물감 줄자 수열의 구조적 특성과 재귀적 성격을 규명한다.
• 물감 줄자 수열 및 관련 수열에 대한 생성함수와 명시적 공식을 도출한다.
• 물감 줄자 구조와 분수 패턴, 특히 세르피ńsk이 삼각형 간의 관계를 탐색한다.
• 8-이웃 및 울람-워버튼 변형을 포함한 다른 세포자동기계로 분석를 일반화한다.
• 재귀 및 생성함수 기법을 활용하여 이러한 자동기계에서 활성 세포의 계산과 열거를 체계적으로 수행할 수 있는 방법을 제공한다.

제안 방법

• 물감 줄자 구성 규칙 정의: 각 단계에서 기존 물감 줄자의 노출된 끝부분에 수직으로 물감 줄자를 놓는다.
• 주요 물감 줄자 수열의 재귀 관계를 도출하기 위해 '모서리 수열' 변형을 도입한다.
• 성장 패턴을 모델링하기 위해 재귀식 $a(2^k + i) = 2a(i) + a(i+1)$ 를 사용한다. ($0 \leq i < 2^k$)
• 수열에 대한 생성함수 형태 $x(\alpha + \beta x)\prod_{k \geq \varepsilon}(1 + \gamma x^{2^k - 1} + \delta x^{2^k})$ 를 도출한다.
• 이진 숫자 패턴을 통해 생성함수와 세르피ńsk이 삼각형 간의 연결고리를 설정한다.
• 이 방법을 8-이웃 및 울람-워버튼 모델을 포함한 다른 세포자동기계에 적용하여 새로운 재귀식과 수열을 도출한다.

실험 결과

연구 질문

• RQ1 2차원 물감 줄자 자동기계에서 각 단계에서 추가되는 물감 줄자 수를 지배하는 재귀 관계는 무엇인가?
• RQ2 물감 줄자 수열의 생성함수는 닫힌 형태로 어떻게 표현할 수 있으며, 그 구조적 의미는 무엇인가?
• RQ3 물감 줄자 수열과 세르피ńsk이 삼각형 또는 기타 분수 패턴 간의 관계는 무엇인가?
• RQ4 관련된 세포자동기계(예: 8-이웃, 울람-워버튼)의 성장 패턴은 어떻게 비교되며, 이들의 수열은 동일하게 특성화될 수 있는가?
• RQ5 재귀 및 생성함수 프레임워크를 활용하여 이러한 자동기계에서 활성 세포 수에 대한 명시적 공식을 유도할 수 있는가?

주요 결과

• 물감 줄자 수열 $t(n)$은 단계 $n$에서 추가되는 물감 줄자 수를 세며, 초기 값 $t(0)=0$, $t(1)=1$, $t(2)=2$ 를 만족하는 재귀식 $t(2^k + i) = 2t(i) + t(i+1)$ 를 만족한다. ($0 \leq i < 2^k$)
• 단계 $n$ 이후의 총 물감 줄자 수 $T(n)$ 는 $T(n) = \sum_{i=0}^n t(i)$ 로 주어지며, $T(64) = 2731$, $T(53) = 1379$ 이다.
• 물감 줄자 수열의 생성함수는 $\sum_{n \geq 1} t(n) x^n = x(1 + 2x) \prod_{k \geq 1} (1 + x^{2^k - 1} + 2x^{2^k})$ 이다.
• 이 수열은 분수적 성질을 띠며, $n \to \infty$ 일 때 점점 더 $T(n) \sim \frac{3}{2} n \log_2 n$ 로 수렴한다.
• 8-이웃 세포자동기계의 경우, 켜진 세포 수 $v(n)$ 은 $v(2^k + i) = 4v_2(i)$ 를 만족한다. ($1 \leq i < 2^k$), $v(1) = 1$, $v(2) = 8$, $v(8) = 121$ 이다.
• 논문은 이전에 OEIS에 기록되지 않은, 2의 거듭제곱을 기반으로 한 곱셈 형태의 새로운 생성함수 클래스를 수립한다.