[논문 리뷰] Walking into an absolute sum

Hans J. H. Tuenter|ArXiv.org|2006. 06. 04.

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

한 줄 요약

이 논문은 합 $ S_r(n) = \sum_{k=0}^{2n} \binom{2n}{k} |n-k|^r $ 에 대한 추측을 증명한다. 홀수 $ r = 2r+1 $ 에 대해 $ S_r(n) = P_r(n) \cdot n \binom{2n}{n} $ 이고, 짝수 $ r = 2r $ 에 대해 $ S_r(n) = Q_r(n) \cdot 2^{2n-r} $ 라는 식이 성립하며, 여기서 $ P_r(n) $ 와 $ Q_r(n) $ 는 차수 $ r $ 의 정수 계수 다항식이다. 주요 결과는 Genocchi 수와 Dumont-Foata 다항식에 깊은 연결을 설정하며, 이 합들이 대칭 이항 확률 보행에서 원점으로부터의 절대 거리의 모멘트와 관련이 있음을 밝힌다.

ABSTRACT

We investigate a combinatorial sum that can be interpreted as the moments of a random variate, measuring the absolute distance to the origin in a symmetric Bernoulli random walk. These sums can be characterized by polynomials related to the Dumont-Foata polynomials. The sums corresponding to the odd moments have a connection to the Gandhi polynomials and Genocchi numbers.

연구 동기 및 목표

• 추측을 해결한다: $ S_{2r+1}(n) $ 이 $ \binom{2n}{n} $ 과 차수 $ r+1 $ 의 상수항 계수가 1인 다항식의 곱인지 확인하며, 이것이 상수항 계수가 1이 아니지만 여전히 정수 계수 다항식임을 보인다.
• 합 $ S_r(n) $ 에 대한 재귀 관계를 유도하여, 홀수 $ r $ 에 대해 다항식 $ P_r(n) $ 과 짝수 $ r $ 에 대해 $ Q_r(n) $ 을 체계적으로 계산할 수 있도록 한다.
• 다항식 $ P_r(n) $ 과 $ Q_r(n) $ 이 알려진 조합적 수열, 특히 Genocchi 수와 Dumont-Foata 다항식과 어떻게 연결되는지 규명한다.
• 합 $ S_r(n) $ 이 대칭 이항 확률 보행에서 $ 2n $ 단계 후 원점으로부터의 절대 거리의 모멘트로 해석될 수 있음을 제시한다.

제안 방법

• 모든 $ r \geq 0 $ 에 대해 성립하는 재귀 관계 $ S_{r+2}(n) = n^2 S_r(n) - 2n(2n-1) S_r(n-1) $ 를 유도하며, $ S_0(n) = 2^{2n} $ 과 $ S_1(n) = n \binom{2n}{n} $ 로 시작한다.
• 대체 $ S_{2r+1}(n) = P_r(n) \cdot n \binom{2n}{n} $ 를 사용하여 $ P_r(n) $ 에 대한 재귀 관계를 유도한다: $ P_{r+1}(n) = n^2(P_r(n) - P_r(n-1)) + n P_r(n-1) $, 초기 조건 $ P_0(n) = 1 $.
• 대체 $ S_{2r}(n) = Q_r(n) \cdot 2^{2n-r} $ 를 사용하여 $ Q_r(n) $ 에 대한 재귀 관계를 유도한다: $ Q_{r+1}(n) = 2n^2(Q_r(n) - Q_r(n-1)) + n Q_r(n-1) $, 초기 조건 $ Q_0(n) = 1 $.
• 다항식 $ P_r(n) $ 과 $ Q_r(n) $ 가 차수 $ r $ 의 정수 계수 다항식이며, 각각 주계수로 $ r! $ 과 $ \frac{(2r)!}{2^r r!} $ 을 갖는다는 것을 증명한다.
• $ P_r(n)/n $ 과 $ Q_r(n)/n $ 의 상수항이 각각 Genocchi 수와 탄젠트 수와 관련된 수열과 일치함을 규명한다.
• $ S_r(n) $ 이 대칭 이항 확률 보행에서의 절대 위치의 스케일링된 모멘트로 해석되며, 중심극한정리에 따라 반정규분포와 연결됨을 제시한다.

실험 결과

연구 질문

• RQ1 $ S_{2r+1}(n) $ 이 $ \binom{2n}{n} $ 곱하기 차수 $ r+1 $ 의 다항식과 일치하는가? 만약 그렇다면, 이 다항식의 성질은 무엇인가?
• RQ2 합 $ S_r(n) $ 을 지배하는 재귀적 구조는 무엇이며, 이를 통해 $ P_r(n) $ 과 $ Q_r(n) $ 을 어떻게 생성할 수 있는가?
• RQ3 다항식 $ P_r(n) $ 과 $ Q_r(n) $ 은 알려진 조합적 수열, 특히 Genocchi 수와 Dumont-Foata 다항식과 어떻게 관련되어 있는가?
• RQ4 $ S_r(n) $ 의 확률적 해석은 무엇이며, 대칭 보행에서 절대 거리의 모멘트와 어떻게 관련되어 있는가?
• RQ5 $ S_r(n) $ 의 渐近적 행동은 무엇이며, 반정규분포의 모멘트와 어떻게 일치하는가?

주요 결과

• 추측에 따르면 $ S_{2r+1}(n) $ 이 $ \binom{2n}{n} $ 곱하기 상수항 계수가 1인 다항식이지만, 이는 잘못된 것으로 드러났다. 대신 $ S_{2r+1}(n) = P_r(n) \cdot n \binom{2n}{n} $ 이며, 여기서 $ P_r(n) $ 은 정수 계수 다항식이며 차수 $ r $, 주계수 $ r! $ 을 갖는다.
• 짝수 인덱스에 대해 $ S_{2r}(n) = Q_r(n) \cdot 2^{2n-r} $ 이며, 여기서 $ Q_r(n) $ 은 정수 계수 다항식이며 차수 $ r $, 주계수 $ \frac{(2r)!}{2^r r!} $ 을 갖는다.
• $ P_r(n)/n $ 의 상수항은 Genocchi 수 $ G_{2r} $ 와 일치하며, $ Q_r(n)/n $ 의 상수항은 탄젠트 수와 관련된 수열 $ 2^{r-1} G_{2r} / r $ 과 일치한다.
• $ P_r(n) $ 의 주계수는 $ r! $ 이므로, $ r = 0 $ 과 $ r = 1 $ 를 제외한 모든 $ r $ 에 대해 $ P_r(n) $ 은 상수항 계수가 1이 아니다; 마찬가지로 $ r \geq 2 $ 에서 $ Q_r(n) $ 도 상수항 계수가 1이 아니다.
• 합 $ S_r(n) $ 은 대칭 이항 확률 보행에서의 절대 거리 $ |Y_{2n}| $ 의 $ r $-번째 모멘트와 직접적으로 관련되어 있으며, $ \mathbb{E}[|Y_{2n}|^r] = 2^{-2n + r} S_r(n) $ 이다.
• 점점 커지는 $ n $ 에 대해 $ S_r(n) \sim \frac{\Gamma((r+1)/2)}{\Gamma(1/2)} \cdot 2^{2n} n^{r/2} $ 로 수렴하며, 중심극한정리에 따라 반정규분포의 극한과 일치한다.