[논문 리뷰] Proof of a conjecture of Stanley about Stern's array

David E Speyer|arXiv (Cornell University)|2019. 01. 18.

Algorithms and Data Compression참고 문헌 2인용 수 4

한 줄 요약

이 논문은 리처드 스탠리의 추측을 증명한다. 즉, 스텐의 배열의 $ n $-번째 행에 속한 항들을 $ r $-번째 거듭제곱하여 합한 $ s_n^r = \bigsum_k \biglangle n \\atop k \big angle^r $는 이전에 알려진 $ r/2 + O(1) $보다 훨씬 짧은 길이의 동차 선형 재귀관계를 만족한다. 이는 $ r/3 + O(1) $의 길이를 가진다. 증명은 생성함수, $ \text{SL}(2,\bbZ) $ 위에서의 선형대수학, 모듈라 군의 표현 이론을 사용하여 선형 연산자 $ \tilde{\rho}^* $의 고유값 추정을 통해 재귀관계의 구조를 분석한다.

ABSTRACT

Stanley, building on work of Stern, defined an array of numbers by the recurrence $s(n, 2k) = s(n-1, k)$, $s(n, 2k+1) = s(n-1, k) + s(n-1, k+1)$. Stanley showed that, for each positive integer $r$, the sequence $s_n^r:= \sum_k s(n,k)^r$ obeys a homogeneous linear recurrence in $n$ of length $r/2+O(1)$. Numerical evidence, however, suggested that $s_n^r$ obeys shorter recurrences, of length $r/3+O(1)$. We prove Stanley's conjecture.

연구 동기 및 목표

• 스탠리의 추측을 해결한다. 즉, 스텐의 배열의 항들의 $ r $-번째 거듭제곱 합인 $ s_n^r $이 이전에 알려진 $ r/2 + O(1) $가 아니라 $ r/3 + O(1) $의 길이를 가진 선형 재귀관계를 만족한다는 것을 증명한다.
• 스텐의 배열에서 거듭제곱 합의 재귀관계를 뒷받침하는 대수적 구조를 선형 연산자와 군의 표현을 통해 이해한다.
• 재귀관계 길이를 결정하는 선형 연산자 $ \tilde{\rho}^* $의 고유값의 중복도에 대한 날카운 경계를 수립한다.
• 다항식 공간의 대칭 및 반대칭 부분공간을 분석하여, 짝수 및 홀수 $ r $에 대해 재귀관계 길이의 경계를 더욱 정밀하게 조정한다.
• 특성다항식과 재귀관계 연산자의 블록 대각화를 사용하여, 짝수와 홀수 $ r $에 대해 $ s_n^r $의 분석을 통합한다.

제안 방법

• 합 $ s_n^r = \bigsum_k \biglangle n \\atop k \big\rangle^r $를 정의한다. 여기서 $ \big\langle n \\atop k \big\rangle $는 재귀적 삽입 규칙에 의해 생성된 스텐의 배열의 항들이다.
• 차수 $ r $의 동차다항식 위에 작용하는 선형 연산자 $ \tilde{\rho}^* $를 도입한다. 이는 $ \tilde{\rho}^*(f)(x,y) = f(x+y, x) $로 정의되며, 다항식 공간 위에서의 작용을 분석한다.
• $ \text{SL}(2,\bbZ) $의 작용을 $ \tilde{\rho}^* $, $ \tau^* $, $ \rho^* $를 통해 사용하여 $ s_n^r $의 재귀관계를 모델링하고, 문제를 고유값 분석으로 환원한다.
• 불변 부분공간 $ X $, $ Y^+ $, $ Y^- $의 차원을 계산하고 포함배제 원리를 적용하여 그 교차의 차원을 경계함으로써, 고유값 $ \rho = \tilde{\rho}^* $의 중복도에 하한을 부여한다.
• 대칭 및 반대칭 형태 $ \tilde{\rho}_{\text{sym}}^* $를 분석하고, 차원을 반으로 줄이는 몫공간을 식별하여 재귀관계 경계를 더욱 정밀하게 조정한다.
• 블록 대각화와 재귀관계 연산자 $ \tilde{\rho}_{\text{sym}}^* $의 특성다항식을 사용하여 재귀관계 길이를 유도한다. 이에 따라 $ s_n^r $이 길이 $ r/3 + O(1) $의 재귀관계를 만족함을 보인다.

실험 결과

연구 질문

• RQ1 스텐의 배열의 $ n $-번째 행에 속한 항들의 $ r $-번째 거듭제곱 합인 $ s_n^r = \bigsum_k \big\langle n \\atop k \big\rangle^r $는 수치적으로 예상된 바와 같이 길이 $ r/3 + O(1) $의 선형 재귀관계를 만족하는가?
• RQ2 재귀관계 길이를 결정하는 정확한 대수적 구조는 무엇이며, 관련된 선형 연산자 $ \tilde{\rho}^* $의 고유값은 어떻게 이를 결정하는가?
• RQ3 다항식 공간의 대칭 및 반대칭 부분공간은 짝수 및 홀수 $ r $에 대해 재귀관계 길이에 어떻게 영향을 미치는가?
• RQ4 스텐의 배열의 거듭제곱 합의 재귀관계 길이를 $ \text{SL}(2,\bbZ) $의 표현 이론을 통해 유계할 수 있는가? 특히 $ \tilde{\rho}^* $가 동차다항식 위에 작용하는 방식을 통해?
• RQ5 최소한의 재귀관계 길이는 무엇이며, 이는 이전에 알려진 $ r/2 + O(1) $의 경계와 비교해 어떻게 되는가? 이 경계는 날카로운가?

주요 결과

• 합 $ s_n^r = \bigsum_k \big\langle n \\atop k \big\rangle^r $는 길이 $ r/3 + O(1) $의 동차 선형 재귀관계를 만족하며, 이는 스탠리의 추측을 확인한다.
• 일반적인 경우에 재귀관계 길이의 하한은 $ \tfrac{r}{3} + [-1, \tfrac{1}{3}, \tfrac{5}{3}]_r $이며, 대칭적인 경우는 $ \tfrac{r}{6} + [-1, -\tfrac{1}{3}, \tfrac{1}{3}]_r $이다.
• 고유값 $ \rho = \tilde{\rho}^* $의 중복도는 부분공간 $ X \bigcap Y^+ $ 및 $ X \bigcap Y^- $의 교차 차원에 대한 추정을 통해 경계지며, 이로 인해 $ \tfrac{r}{6} + [0, -\tfrac{1}{3}, \tfrac{4}{3}, -1, \tfrac{2}{3}, \tfrac{1}{3}]_r $ 및 유사한 값이 $ Y^- $에 대해 유도된다.
• 홀수 $ r $의 경우 재귀관계 길이는 $ \tfrac{r}{3} + [4, \tfrac{10}{3}, \tfrac{8}{3}]_r $로 경계지며, 이는 $ \tilde{\rho}_{\text{sym}}^* $의 특성다항식에서 유도된다.
• 대칭형 $ \tilde{\rho}_{\text{sym}}^* $는 차원을 반으로 줄이며, $ s_n^r $의 재귀관계 길이가 $ \tfrac{r}{6} + [-1, -\tfrac{1}{3}, \tfrac{1}{3}]_r $로 경계지며, 이는 $ r/3 $의 스케일링을 확인한다.
• 재귀관계가 $ s_n = \bigsum_{j=1}^\nu a_j s_{n-j} + b + c(-1)^n $의 형태를 가지며, $ r $이 증가함에 따라 $ \nu \to r/3 $가 되므로, 점근적 경계가 확인된다.