[논문 리뷰] A method for determining the mod-$p^k$ behaviour of recursive sequences

Christian Krattenthaler, Thomas W. Müller|arXiv (Cornell University)|2015. 08. 11.

Advanced Combinatorial Mathematics참고 문헌 15인용 수 9

한 줄 요약

이 논문은 대수적 미분방정식으로 정의된 조합적 수열에 대해 소수의 거듭제곱 $p^k$ 모듈로에서 합동식을 계산하는 일반적인 방법을 제시한다. 해를 $p$-진 급수 $\Phi_p(z) = \sum_{n \geq 0} z^{p^n}$ 에 대한 다항식으로 표현하고, 보조 급수 $H_{b_1,\dots,b_r}(z)$ 의 선형 독립성과 계수 추출 기법을 활용하여, 푸시–카탈란 수, 크레버라스 걷기, 비교결 그래프, 블로섬 나무 등에 대해 임의의 소수 거듭제곱 모듈로에서 명시적인 합동식을 도출한다.

ABSTRACT

We present a method for obtaining congruences modulo powers of a prime number~$p$ for combinatorial sequences whose generating function satisfies an algebraic differential equation. This method generalises the one by Kauers and the authors [Electron. J. Combin. 8(2) (2012), Art. P37; arXiv:1107.2015] from $p=2$ to arbitrary primes. Our applications include congruences for numbers of non-crossing graphs and numbers of Kreweras walks modulo powers of~$3$, as well as congruences for Fuß-Catalan numbers and blossom tree numbers modulo powers of arbitrary primes.

연구 동기 및 목표

• 모듈로 $2^k$ 합동식을 계산하는 방법을 임의의 소수 거듭제곱 $p^k$ 로 일반화하기.
• 대수적 미분방정식을 만족하는 수열에 대해 $p^k$ 모듈로에서 합동식을 유도하는 체계적인 프레임워크 개발하기.
• $\Phi_p(z)$ 의 거듭제곱에서 계수를 효율적으로 추출하기 위해 선형 독립인 보조 급수 $H_{b_1,\dots,b_r}(z)$ 로 분해하는 것 가능하게 하기.
• 비교결 그래프, 크레버라스 걷기, 블로섬 나무 등 구체적인 조합적 수열에 이 방법을 적용하여 $p^k$ 모듈로에서 새로운 합동식 도출하기.

제안 방법

• 다양한 대수적 미분급수의 해를 $\mathbb{Z}$ 위에서 다항식으로 표현하고, 계수는 $\mathbb{Z}[z,z^{-1}]$ 에 속하도록 $\Phi_p(z)$ 의 다항식으로 표현하기.
• 다양한 $\Phi_p(z)$ 의 거듭제곱을 분해하기 위해 보조 급수 $H_{b_1,\dots,b_r}(z) = \sum_{n_1 > \cdots > n_r \geq 0} z^{b_1 p^{n_1} + \cdots + b_r p^{n_r}}$ 를 도입하기.
• 매개변수가 $p$ 와 서로소일 경우, $1$ 과 $H_{b_1,\dots,b_r}(z)$ 가 $\mathbb{Z}[z,z^{-1}]$ 와 $\mathbb{Z}/p^k\mathbb{Z}[z,z^{-1}]$ 위에서 선형 독립임을 증명하기.
• 모든 $H_{b_1,\dots,b_r}(z)$ 가 독립 기저 급수에 대한 $\mathbb{Z}[z,z^{-1}]$-선형 조합으로 표현될 수 있음을 보여주기.
• 초함수 항등식과 Pfaff–Saalschütz 공식을 활용하여 $H_{b_1,\dots,b_r}(z)$ 에서 계수 추출을 위한 효과적인 알고리즘 수립하기.
• 이 프레임워크를 적용하여 푸시–카탈란 수와 블로섬 나무 수와 같은 수열에 대해 $p^k$ 모듈로에서 명시적인 합동식 도출하기.

실험 결과

연구 질문

• RQ1 모듈로 $2^k$ 합동식을 계산하는 방법을 임의의 소수 거듭제곱 $p^k$ 로 일반화할 수 있는가?
• RQ2 $\Phi_p(z)$ 가 모듈로 $p^k$ 에서 만족하는 다항식의 최소 차수는 무엇이며, 이를 어떻게 유계로 제한할 수 있는가?
• RQ3 조합적 응용을 위해 $\Phi_p(z)$ 거듭제곱의 계수를 모듈로 $p^k$ 에서 효율적으로 추출할 수 있는가?
• RQ4 비교결 그래프와 크레버라스 걷기와 같은 조합적 수열에 대해 $3^k$ 모듈로에서 새로운 합동식을 유도할 수 있는가?
• RQ5 매개변수 $k$ 가 소수의 거듭제곱일 때, 이 방법이 푸시–카탈란 수와 블로섬 나무 수에 대해 명시적인 합동식을 도출할 수 있는가?

주요 결과

• 논문은 $\Phi_p(z)$ 가 $\mathbb{Z}[z]$ 위에서 초월적이지만, 모듈로 $p^k$ 에서는代수적임을 증명하여 $p^k$-합동식에 대한 체계적인 접근 가능하게 한다.
• 기존에 추측된 $\Phi_p(z)$ 의 모듈로 $p^k$ 에서 최소 차수는 하한으로 증명되었지만, 반드시 날카로운 상한은 아니다.
• 정점 수가 $n$ 인 비교결 그래프의 수에 대해 $3^k$ 모듈로에서 합동식을 도출하였으며, 이는 이전의 $p=2$ 경우 결과를 확장한 것이다.
• 새로운 방법을 사용하여 평면상에서 길이 $n$ 인 크레버라스 걷기의 수에 대해 $3^k$ 모듈로에서 합동식을 확보하였다.
• $k = p^m$ 일 때, 푸시–카탈란 수 $F(n;k) = \frac{1}{n}\binom{kn}{n-1}$ 에 대해 모듈로 $p^k$ 에서 명시적인 합동식을 증명하였다.
• 매개변수 $p$-진 블로섬 나무의 흰색 노드 수가 $n$ 인 경우, $B(n;p) = \frac{p+1}{n((p-1)n+2)}\binom{pn}{n-1}$ 으로 주어질 때, 모듈로 $p^k$ 에서 합동식이 확립되었다.