[논문 리뷰] Numerical Analogues of Aronson's Sequence

Benoit Cloitre, N. J. A. Sloane외 1명|arXiv (Cornell University)|2003. 05. 21.

Mathematics and Applications참고 문헌 5인용 수 6

한 줄 요약

이 논문은 아론슨의 수열의 새로운 수치적 유사체를 제안하며, n이 수열에 포함되는 것은 오직 a(n)이 홀수일 때에만이 되도록, 엄격히 증가하는 방식으로 탐욕적으로 구성된 수열을 정의한다. 주요 결과는 이 수열의 제곱, a(a(n))가 모든 n ≥ 1에 대해 2n + 3과 일치한다는 것으로, 깊이 있는 구조적 성질을 드러내며 아론슨 변환을 통해 새로운 일반화를 가능하게 한다.

ABSTRACT

Aronson's sequence 1, 4, 11, 16, ... is defined by the English sentence ``t is the first, fourth, eleventh, sixteenth, ... letter of this sentence.'' This paper introduces some numerical analogues, such as: a(n) is taken to be the smallest positive integer greater than a(n-1) which is consistent with the condition ``n is a member of the sequence if and only if a(n) is odd.'' This sequence can also be characterized by its ``square'', the sequence a^(2)(n) = a(a(n)), which equals 2n+3 for n >= 1. There are many generalizations of this sequence, some of which are new, while others throw new light on previously known sequences.

연구 동기 및 목표

• 아론슨의 자기참조 수열과 유사한 새로운 수치적 수열을 정의하고 분석하며, 언어적 자기참조를 홀짝성 조건으로 대체한다.
• 모든 수열에 대해 역 아론슨 변환의 존재성과 유일성을 확립하여, 변환된 수열로부터 원래 수열을 재구성할 수 있도록 한다.
• 다중 연속 항에 의존하는 조건으로 조건을 일반화하여 셀룰러 오토마타와의 관계를 탐색한다.
• 이 수열의 제곱, a(a(n))가 모든 n ≥ 1에 대해 2n + 3과 일치함을 증명하여 정확하고 우아한 구조적 정체성을 드러낸다.
• 아론슨 변환과 그 역변환을 통해 자기참조 수열을 체계적으로 생성하고 분석할 수 있는 프레임워크를 제공한다.

제안 방법

• a(n)을 a(n−1)보다 큰 가장 작은 정수로 정의하며, n이 수열에 포함되는 것은 오직 a(n)이 홀수일 때에만이 되도록 한다.
• 탐욕 알고리즘을 사용하여 항을 계산하며, 증분 ε ∈ {1,2}는 a(n−1)의 홀짝성과 n이 수열에 포함되는지 여부에 의해 결정된다.
• 수열의 '제곱'을 a(a(n))로 정의하고, 주요 수열에 대해 모든 n ≥ 1에 대해 a(a(n)) = 2n + 3임을 증명한다.
• 수열 α의 아론슨 변환을 β로 정의하며, α가 β의 아론슨 변환이라고 할 때, 역 변환이 존재하고 유일함을 증명한다.
• 수열의 포함 여부와 누적 최댓값에 기반하여 '뜨거운'(포함됨) 및 '차가운'(제외됨) 행을 채우는 표기 알고리즘을 통해 역 아론슨 변환을 구성한다.
• 조건을 다중 항에 의존하도록 일반화하여, 예를 들어 a(n)과 a(n+1)가 모두 홀수여야 한다는 조건을 적용하고, 이를 만족하는 수열을 연구한다.

실험 결과

연구 질문

• RQ1 조건 'n이 수열에 포함되려면 a(n)이 홀수여야 한다'에 의해 정의된 수열의 구조는 어떻게 되는가?
• RQ2 이 수열의 제곱, a(a(n))의 행동은 어떠한가? 그리고 이를 닫힌 형태로 표현할 수 있는가?
• RQ3 주어진 수열에 대해 역 아론슨 변환이 유일하게 정의되고 알고리즘적으로 계산될 수 있는가?
• RQ4 다중 항에 의존하거나 다른 모듈로를 사용하는 조건의 일반화는 어떻게 새로운 자기참조 수열을 도출하는가?
• RQ5 원래 수열과 그 역 아론슨 변환 사이의 관계는 무엇이며, 이는 수열의 제곱과 어떻게 다를까?

주요 결과

• 조건 'n이 수열에 포함되려면 a(n)이 홀수여야 한다'에 의해 정의된 수열은 모든 n ≥ 1에 대해 a(a(n)) = 2n + 3를 만족하며, 정확하고 우아한 정체성을 드러낸다.
• 역 아론슨 변환은 존재하고 유일하며, 수열의 포함 여부와 누적 최댓값에 기반하여 '뜨거운' 및 '차가운' 행을 채우는 구축 알고리즘을 통해 계산할 수 있다.
• 제곱 수열의 역 아론슨 변환은 {1}, {3}, {5–8}, {16–24}, {26–35} 등의 세그먼트로 구성되며, k가 제곱수이면 특정한 분해 방식을 따른다.
• 소수의 역 아론슨 변환은 유사한 세그먼트 구조를 가지며, 하위 와이스호프 수열의 역 아론슨 변환은 황금률 φ를 포함한 명시적 공식으로 주어진다.
• 원래 수열 {a(n)}의 역 아론슨 변환은 홀수 수열이며, a(a(n)) = 2n + 3임을 보여주며, 이는 역 변환이 수열의 제곱과 같지 않음을 시사한다.
• 예를 들어 'n이 수열에 포함되려면 a(n)이 홀수여야 하고 a(n−1)이 짝수여야 한다'는 일반화 조건은 간격이 2 또는 3인 일정한 간격을 가지는 수열을 도출하며, 이는 예측 가능한 구조적 행동을 나타낸다.