[논문 리뷰] Regularity properties of the Stern enumeration of the rationals

Bruce Reznick|ArXiv.org|2006. 10. 19.

semigroups and automata theory참고 문헌 11인용 수 25

한 줄 요약

이 논문은 모든 양의 유리수를 정확히 한 번씩 나열하는 재귀 정수 수열인 슈테른 수열의 규칙성 성질을 조사한다. 평균 비율 $ s(n)/s(n+1) $ 이 $ \frac{3}{2} $ 임을 증명하고, 임의의 $ d $ 에 대해 쌍 $ (s(n) \mod d, s(n+1) \mod d) $ 가 모듈로 $ d $ 에서 가능한 잔여류 집합 위에서 균일하게 분포되어 있음을 보이며, 모듈로 $ d $ 에서 값의 빈도에 대한 정확한 점근적 밀도 공식을 제시한다.

ABSTRACT

The Stern sequence (s(n)) is defined by s(0) = 0, s(1) = 1, s(2n) = s(n), s(2n+1) = s(n) + s(n+1). Stern showed in 1858 that gcd(s(n),s(n+1)) = 1, and that for every pair of relatively prime positive integers (a,b), there exists a unique n so that s(n) = a and s(n+1) = b. We show that, in a strong sense, the average value of s(n)/s(n+1) is 3/2, and that for all d, (s(n),s(n+1)) is uniformly distributed among all feasible pairs of congruence classes modulo d. More precise results are presented for d = 2 and 3.

연구 동기 및 목표

• 슈테른 유리수 나열에서 비율 $ \frac{s(n)}{s(n+1)} $ 의 평균값을 규명하는 것.
• 모듈로 $ d \geq 2 $ 에서 연속 쌍 $ (s(n) \mod d, s(n+1) \mod d) $ 의 분포를 조사하는 것.
• 카운팅 함수 $ T(N;d,i) = \#\{n < N : s(n) \equiv i \pmod{d}\} $ 에 대한 정확한 점근적 공식 유도.
• 특수 케이스 $ d = 3 $ 의 분석: 정확한 공식과 차이 $ T(N;3,1) - T(N;3,2) $ 의 경계.
• 작은 정수 모듈로에서 수열의 더 깊은 구조적 대칭성과 재귀 패턴 탐색, 다양한 모듈로에 대해 카운팅 함수의 등가성에 대한 추측 포함.

제안 방법

• 스테른 수열을 생성하기 위해 재귀 정의 $ s(0) = 0 $, $ s(1) = 1 $, $ s(2n) = s(n) $, $ s(2n+1) = s(n) + s(n+1) $ 를 사용한다.
• 생성함수와 선형 재귀를 적용하여, 특히 $ d = 2 $ 와 $ d = 3 $ 에 대해 $ s(n) \mod d $ 의 분포를 분석한다.
• 유도법과 이진 배열의 구조적 분석을 활용하여, $ \mathcal{S}_d $, 즉 모듈로 $ d $ 에서 서로소인 잔여류 쌍의 집합 위에서 $ (s(n) \mod d, s(n+1) \mod d) $ 가 균일하게 분포됨을 증명한다.
• 선형 재귀의 특성 다항식을 사용하여 $ T(2^r; 3, 0) $ 의 정확한 공식을 도출함으로써 $ \mathcal{O}(\sqrt{N}) $ 오차 항을 확보한다.
• 함수 $ \Delta(N) = T(N;3,1) - T(N;3,2) $ 를 도입하고, 이 값이 $ \{0,1,2,3\} $ 내에 유계임을 증명하며, 값은 $ S_3(n) = (s(n) \mod 3, s(n+1) \mod 3) $ 의 값에 의해 결정됨을 보인다.
• 모듈로 산술과 $ n $ 의 홀짝성에 따른 케이스 분석을 통해 $ \Delta(2N) = \Delta(4N) $ 를 증명함으로써, 분포 성질에 대한 귀납적 증명을 가능하게 한다.

실험 결과

연구 질문

• RQ1 슈테른 유리수 나열에서 $ \frac{s(n)}{s(n+1)} $ 의 평균값은 무엇인가요?
• RQ2 모듈로 $ d $ 에서 쌍 $ (s(n) \mod d, s(n+1) \mod d) $ 는 서로소 잔여류 쌍의 집합 위에서 얼마나 균일하게 분포되어 있나요?
• RQ3 유계 $ n $ 에 대해 $ s(n) \equiv i \pmod{d} $ 를 만족하는 수의 점근적 밀도 $ r_{d,i} $ 는 무엇인가요?
• RQ4 d = 3 인 경우, 차이 $ T(N;3,1) - T(N;3,2) $ 의 정확한 행동 양상은 무엇인가요?
• RQ5 다른 모듈로 $ d_1, d_2 $ 에 대해 카운팅 함수 $ T(2^r; d_1, i) $ 와 $ T(2^r; d_2, i) $ 간에 더 깊은 구조적 동치 관계가 존재하는가요?

주요 결과

• 비율 $ \frac{s(n)}{s(n+1)} $ 의 평균값은 $ \frac{3}{2} $ 이며, 합 $ \sum_{n=0}^{N-1} \frac{s(n)}{s(n+1)} = \frac{3N}{2} + \mathcal{O}(\log^2 N) $ 이다.
• 모든 $ d \geq 2 $ 에 대해 수열 $ (s(n) \mod d, s(n+1) \mod d) $ 는 $ \mathcal{S}_d $, 즉 $ \gcd(i,j,d) = 1 $ 를 만족하는 쌍 $ (i,j) $ 의 집합 위에서 균일하게 분포된다.
• 카운팅 함수 $ T(N;d,i) $ 는 $ T(N;d,i) = r_{d,i} N + \mathcal{O}(N^{\tau_d}) $ 를 만족하며, 여기서 $ \tau_d < 1 $ 이고, $ r_{d,i} $ 는 $ d $ 와 $ i $ 의 소인수를 포함하는 곱공식으로 명시적으로 주어진다.
• d = 2 인 경우, $ s(n) $ 이 짝수일 때 정확히 $ n \equiv 0 \pmod{3} $ 이며, $ T(N;2,0) $ 의 오차 항은 $ \mathcal{O}(1) $ 이므로 $ \tau_2 = 0 $ 이다.
• d = 3 인 경우, 차이 $ \Delta(N) = T(N;3,1) - T(N;3,2) $ 는 $ \{0,1,2,3\} $ 내에 유계이며, 그 값은 오직 $ S_3(n) = (s(n) \mod 3, s(n+1) \mod 3) $ 의 값에 의해 결정된다.
• 정확한 공식이 $ T(2^r;3,0) $ 에 대해 도출되었으며, $ \mathcal{O}(\sqrt{N}) $ 오차 항이 최적임을 보이며, 재귀의 특성 다항식은 $ T^3 - T^2 - 4 $ 이고, 그 근은 $ 2, \mu, \bar{\mu} $ 이다.