[논문 리뷰] Three analogues of Stern's diatomic sequence

Sam Northshield|arXiv (Cornell University)|2015. 03. 11.

Advanced Mathematical Theories and Applications참고 문헌 8인용 수 3

한 줄 요약

이 논문은 슈테른의 이진형 순열의 세 가지 새로운 유사체를 소개하고 분석한다. 각 유사체는 구조적 수정을 통해 정의되며, 덧셈을 비표준 이진 연산 $ x \oplus y = x + y + \sqrt{4xy + 1} $로 대체하고, 황금률과 관련된 보완적 베아티 수열을 통해 재색인화하며, 이진 숫자의 개수를 제켄도르프 표현의 자릿수 개수로 대체한다. 주요 기여는 제켄도르프 자릿수 개수를 사용해 정의된 새로운 정수 순열 $ c_n $의 발견으로, 이는 패도반 유형의 재귀관계를 만족하고 슈테른 순열과 깊은 구조적 유사성을 보인다.

ABSTRACT

We generalize Stern's diatomic sequence in three ways.

연구 동기 및 목표

• 세 가지 새로운 슈테른의 이진형 순열 유사체를 소개하고 분석함—각각 기본적인 구성 요소인 이진 연산, 색인 구조, 자릿수 세는 함수를 수정함.
• 제켄도르프 표현에서 $ n $의 항 수를 사용해 정의된 새로운 순열 $ c_n $이 정수임을 증명하고, 패도반 수열과 유사한 재귀관계를 만족함을 확립함.
• 이 유사체들의 조합적 성질과 재귀적 성질을 탐구함—특히 피보나치 수열과 라마누잔의 $ R_n $과 같은 알려진 수열과의 관계에 초점함.
• 이 순열들의 행동에 관한 열린 문제를 제기함—최소값, 부등식, 고차수 재귀로의 일반화 가능성 등.

제안 방법

• 비표준 이진 연산 $ x \oplus y = x + y + \sqrt{4xy + 1} $를 사용해 새로운 순열 $ b_n $을 정의하고, 재귀관계 $ b_{2n} = b_n $, $ b_{2n+1} = b_n \oplus b_{n+1} $를 제시하며, $ \sigma = \frac{1 + \sqrt{5}}{2} $일 때 $ \mathbb{Z}[\sigma] $ 내의 대수적 정수를 통해 정수성을 증명함.
• 보완적 베아티 수열 $ \alpha(n) = \lfloor n\phi - 1/\phi^2 \rfloor $, $ \beta(n) = \lfloor n\phi^2 + \phi \rfloor $로 색인화된 순열 $ R_n $을 도입함—$ R_n $은 $ n $을 서로 다른 피보나치 수의 합으로 나타내는 방법의 수를 세는 것으로 정의됨.
• 수열 $ c_n $을 $ n $의 제켄도르프 표현에 포함된 항의 수 $ s_F(n) $를 사용해 정의하고, $ c_n $을 서명된 차이 문자열 $ \Delta_{[0,n)} = s_{[0,n)} - \overline{s}_{[0,n)} $에 대해 $ \sigma $의 거듭제곱의 합으로 표현함.
• 모든 $ k \leq F_{n-2} $에 대해 항등식 $ c_{F_{n+2}+k} = c_k + c_{F_n + k} + c_{F_{n-1} + k} $가 성립함을 증명하여 패도반 유형의 재귀관계를 확립함.
• $ \sigma $의 성질(특히 $ \sigma^{-1} + \sigma = 1 $)과 문자열 연산(연결, 역순, 점별 이동)을 사용해 제켄도르프 기반 표현을 다루고 재귀관계를 유도함.
• 패턴을 드러내기 위해 '압축 배열' 시각화를 제시함—각 열이 일정 계수를 갖는 선형 재귀관계를 만족하는 것처럼 보이며, 더 깊은 구조적 규칙성이 존재할 가능성을 시사함.

실험 결과

연구 질문

• RQ1 제켄도르프 표현에서 $ n $의 항 수를 사용해 정의된 순열 $ c_n $은 패도반 또는 피보나치 재귀관계와 유사한 재귀관계를 만족하는가?
• RQ2 모든 $ n $에 대해 부등식 $ c_{\sigma_2(n)+1} \geq c_{\lfloor n\phi^2 \rfloor} \geq \cdots \geq c_n \geq 0 $가 성립하는가? 그리고 압축 배열의 각 행에서 최솟값이 왼쪽 끝 원소에서 발생하는가?
• RQ3 열의 재귀 패턴—$ j=1,2,3 $일 때 $ x_{n+1} = x_n + x_{n-1} - x_{n-j} $—을 $ j=4 $로 일반화할 수 있는가? 이 진전 배경에 통합 원리가 존재하는가?
• RQ4 순열 $ c_n $이 $ c_n \geq 0 $ 이며 모든 항이 정수임을 고려할 때, 이는 어떤 조합적 또는 수론적 대상을 세는가?
• RQ5 새로운 순열 $ c_n $과 관련된 함수 방정식이나 콘웨이의 상자 함수 또는 민코프스키의 질문 표지 함수와 유사한 프랙탈 구조가 존재하는가?

주요 결과

• 제켄도르프 표현에서 $ n $의 항 수를 사용해 정의된 순열 $ c_n $은 항상 정수이며, 이는 $ \mathbb{Z}[\sigma] $ 내의 대칭적 합으로서 복소수 켤레 변환에 대해 불변인 대수적 정수에서 유래하기 때문이다.
• 모든 $ k \leq F_{n-2} $에 대해 항등식 $ c_{F_{n+2}+k} = c_k + c_{F_n + k} + c_{F_{n-1} + k} $가 성립함을 증명하여, 이 순열이 패도반 유형의 재귀관계를 만족함을 입증함.
• 압축 배열의 첫 번째 열, $ x_n = c_{F_n} $로 정의된 순열은 패도반 재귀관계 $ x_{n+2} = x_n + x_{n-1} $를 만족함으로써, 알려진 정수 순열과 깊은 구조적 연결을 확인함.
• 압축 배열의 각 열이 형태 $ x_{n+1} = x_n + x_{n-1} - x_{n-3} $의 선형 재귀관계를 만족하는 것처럼 보이며, 이는 다양한 자릿수 세는 함수로 정의된 순열들 사이에 일반적인 패턴이 존재함을 시사함.
• $ c_n $은 부등식 $ c_n \geq 0 $를 만족하며, 압축 배열의 각 행에서 최솟값이 왼쪽 끝 원소에서 발생하는 것처럼 보이지만, 이는 아직 추측에 머물러 있음.
• 논문은 재귀 패턴의 잠재적 일반화를 규명함—$ s_F(n) $, $ s_2(n) $, $ R_n $을 사용해 정의된 순열들은 각각 $ j=3,1,2 $를 갖는 재귀관계를 만족함을 확인하여, 점점 증가하는 $ j $를 갖는 이러한 순열들의 계층적 구조가 존재할 가능성을 시사함.