[논문 리뷰] On Curling Numbers of Integer Sequences

Benjamin Chaffin, John P. Linderman외 2명|arXiv (Cornell University)|2012. 12. 25.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 9

한 줄 요약

이 논문은 2와 3로만 이루어진 이진 수열의 특수한 경우인 컬링 수 추측을 조사하며, 1에 도달하기 전의 최대 尾 길이 Ω(n)을 결정하기 위한 계산 프레임워크를 제안한다. 컬링 수와 尾 길이에 따라 수열을 수량화하기 위해 조합 함수 c(n,k)와 t(n,i)를 도입하고, n ≤ 80에 대해 추측적 결과를 제시하며, c(n,1)에 대한 구조적 정리와 재귀 관계를 제시한다.

ABSTRACT

Given a finite nonempty sequence S of integers, write it as XY^k, where Y^k is a power of greatest exponent that is a suffix of S: this k is the curling number of S. The Curling Number Conjecture is that if one starts with any initial sequence S, and extends it by repeatedly appending the curling number of the current sequence, the sequence will eventually reach 1. The conjecture remains open. In this paper we discuss the special case when S consists just of 2's and 3's. Even this case remains open, but we determine how far a sequence of n 2's and 3's can extend before reaching a 1, conjecturally for n <= 80. We investigate several related combinatorial problems, such as finding c(n,k), the number of binary sequences of length n and curling number k, and t(n,i), the number of sequences of length n which extend for i steps before reaching a 1. A number of interesting combinatorial problems remain unsolved.

연구 동기 및 목표

• 2와 3로만 이루어진 수열의 제한된 경우에 대해 컬링 수 추측을 조사하며, 이 추측은 아직 증명되지 않은 상태이다.
• n ≤ 80에 대해 1에 도달하기 전의 최대 尾 길이 Ω(n) — 즉, 2와 3로 이루어진 가장 긴 수열의 길이 — 를 결정한다.
• c(n,k)를 통해 길이 n인 수열 중 컬링 수가 k인 수열의 수를 세고, t(n,i)를 통해 정확히 i단계 동안 1에 도달하지 못하는 n길이의 수열의 수를 세는 것을 목표로 한다.
• 고려할 만한 컬링 수를 가진 수열의 구조를 분석하기 위해 원시 수열과 강건한 원시 수열과 같은 조합 도구를 개발한다.
• 최대 尾 길이를 갖는 '좋은' 시작 수열의 패턴과 성질을 식별하고, 그러한 수열을 구성하기 위한 알고리즘을 제안한다.

제안 방법

• 수열 S의 컬링 수 cn(S)를 정의한다. 이는 S = XY^k 를 만족하는 최대 지수 k로, Y^k 가 S의 접미어인 경우이다.
• 1에 도달하기 전의 최대 尾 길이를 갖는 2와 3로 이루어진 수열을 찾기 위해 재귀적 구성과 백트래킹 알고리즘을 사용한다.
• 보조 함수로, 원시 수열에 대한 p(n,k)와 강건한 원시 수열에 대한 p′(n,k)를 도입하여 c(n,k)를 분해한다.
• 정리 8과 정리 20를 이용해 p(n,k)와 p′(n,k)를 바탕으로 c(n,k)에 대한 정확한 공식을 유도한다. 이는 조합적 분해를 통해 이루어진다.
• Fine-Wilf 정리와 구조적 보조정리를 적용하여 컬링 수가 1인 수열의 성질을 증명하며, 특히 c(n,1)에 초점을 맞춘다.
• 차수 함수 d(n,k) = 2c(n−1,k) − c(n,k) 를 사용하여 c(n,k) 표에 숨겨진 패턴을 드러내고, 수량화 과정을 안내한다.

실험 결과

연구 질문

• RQ1 n개의 2와 3로 이루어진 수열이 1에 도달하기 전의 최대 尾 길이 Ω(n)은 얼마이며, 그러한 최적 수열은 어떤 구조적 성질을 갖는가?
• RQ2 길이 n인 이진 수열 중 컬링 수가 1인 수열의 수 c(n,1)에 대해 닫힌 형태 또는 재귀 기반 공식을 유도할 수 있는가?
• RQ3 정확히 i단계 동안 1에 도달하지 못하는 n길이의 수열의 수 t(n,i)에 대해 재귀 관계나 생성 함수가 존재하는가?
• RQ4 관측된 t(n,i) 값의 분포를 더 잘 설명하기 위해 확률 모델을 개발할 수 있는가?
• RQ5 '이중으로 부패한'(doubly rotten) 수열 — 즉, 오랫동안 높은 컬링 수 상태를 유지하는 수열 — 이 존재하는가? 그러한 수열이 존재하기 위한 구조적 조건은 무엇인가?

주요 결과

• Ω(n)은 n ≤ 48에 대해 정확히 계산되었고, n ≤ 80까지 추측적으로 연장되었으며, 최대 尾 길이가 n에 대해 비선형적으로 증가하는 것으로 나타났다.
• c(n,1) — 길이 n인 수열 중 컬링 수가 1인 수열의 수 — 는 n ≤ 200까지 재귀 관계를 사용해 계산되었지만, 아직 닫힌 형태의 공식은 알려져 있지 않다.
• 정리 8과 정리 20는 원시 수열과 강건한 원시 수열을 기반으로 c(n,k)에 대한 정확한 표현식을 제공하며, n ≤ 104까지 컬링 수의 완전한 수량화를 가능하게 한다.
• 차수 함수 d(n,k) = 2c(n−1,k) − c(n,k) 는 c(n,k) 표에 숨겨진 규칙성을 드러내며, 더 깊은 조합적 구조가 존재할 가능성을 시사한다.
• A217209(즉, t(n,i))에 속하는 수열은 n ≤ 48까지 완전히 수량화되었으며, 尾 길이의 분포는 균일하지 않고 다중 모달성을 보였다.
• 구조적 정리(예: 정리 13–15)는 컬링 수가 1인 수열에 대해 필요 및 충분 조건을 설정하며, 특히 접미어와 접두어의 겹침을 기반으로 한다.