[논문 리뷰] A q-analogue of Catalan Hankel determinants

Masao Ishikawa, Hiroyuki Tagawa외 1명|arXiv (Cornell University)|2010. 09. 10.

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

한 줄 요약

이 논문은 q-하이퍼지오메트릭 수열 $\mu_n = \frac{(aq;q)_n}{(abq^2;q)_n}$를 사용하여 카탈란 하 Hankel 행렬식의 q-해석을 제시하며, 격자 경로 수세기, 수직 다항식, 기본 하이퍼지오메트릭 급수를 통해 하 Hankel 행렬식 $\det(\mu_{i+j})_{0\leq i,j\leq n-1}$의 닫힌 형식 공식을 수립한다. 주요 결과는 q-Pochhammer 기호와 조합적 가중치를 포함하는 명시적 곱 공식을 통해 고전적 카탈란 행렬식 항등식을 q-설정으로 일반화한다.

ABSTRACT

In this paper we shall survey the various methods of evaluating Hankel determinants and as an illustration we evaluate some Hankel determinants of a q-analogue of Catalan numbers. Here we consider $\frac{(aq;q)_{n}}{(abq^{2};q)_{n}}$ as a q-analogue of Catalan numbers $C_{n}=\frac1{n+1}\binom{2n}{n}$, which is known as the moments of the little q-Jacobi polynomials. We also give several proofs of this q-analogue, in which we use lattice paths, the orthogonal polynomials, or the basic hypergeometric series. We also consider a q-analogue of Schröder Hankel determinants, and give a new proof of Moztkin Hankel determinants using an addition formula for ${}_2F_{1}$.

연구 동기 및 목표

• 고전적 카탈란 하 Hankel 행렬식 항등식을 q-하이퍼지오메트릭 수열을 사용하여 q-해석으로 확장하기.
• 격자 경로, 수직 다항식, 기본 하이퍼지오메트릭 급수를 활용한 동일한 하 행렬식 항등식에 대한 다수의 증명 제공하기.
• 비음수 정수 $t$에 대해 이동한 하 Hankel 행렬식 $\det(\mu_{i+j+t})$로 결과 일반화하기.
• q-해석의 카탈란 수와 수직 다항식, 특히 작은 q-Jacobi 다항식 간의 관계 탐색하기.
• 유사한 기법을 사용하여 슈뢰더 및 모츠킨 하 Hankel 행렬식의 q-해석 수립하기.

제안 방법

• 작은 q-Jacobi 다항식의 모멘트로 나타나는 $\mu_n = \frac{(aq;q)_n}{(abq^2;q)_n}$를 통해 카탈란 수의 q-해석 정의하기.
• 비교적 교차하지 않는 격자 경로와 가중치가 부여된 단계를 통해 하 Hankel 행렬식을 평가하기 위해 Lindström-Gessel-Viennot 보조정리 활용하기.
• 수직 다항식 이론과 연분수를 적용하여 행렬식 항등식 유도하기.
• 특히 $_2\phi_1$ 및 $_2F_1$을 포함하는 기본 하이퍼지오메트릭 급수 항등식을 활용하여 행렬식 평가 증명하기.
• Desnanot-Jacobi 여인수 행렬 정리로 q-해석 하 Hankel 행렬식에 대한 재귀 관계 유도하기.
• $_2F_1$에 대한 덧셈 공식을 사용하여 모츠킨 하 Hankel 행렬식의 q-해석 수립하기.

실험 결과

연구 질문

• RQ1 카탈란 수에 대한 고전적 하 Hankel 행렬식 $\det(C_{i+j})$의 q-해석은 무엇인가요?
• RQ2 q-해석 $\mu_n = \frac{(aq;q)_n}{(abq^2;q)_n}$에 대해 하 행렬식 $\det(\mu_{i+j})$는 어떻게 닫힌 형식으로 평가할 수 있나요?
• RQ3 동일한 하 행렬식 항등식에 대해 조합적(격자 경로), 대수적(수직 다항식), 하이퍼지오메트릭(기본 급수) 증명 방식이 통합될 수 있나요?
• RQ4 이동한 색인 $\mu_{i+j+t}$에 대한 하 행렬식의 구조는 어떻게 되며, 비이동된 경우로 일반화되는가요?
• RQ5 스도르 및 모츠킨 수의 q-해석은 하 행렬식과 어떻게 관련되며, 유사한 방법으로 그 행렬식 항등식을 도출할 수 있나요?

주요 결과

• 하 행렬식 $\det(\mu_{i+j})_{0\leq i,j\leq n-1}$는 $a^{n(n-1)/2} q^{n(n-1)(2n-1)/6} \prod_{k=1}^n \frac{(q,aq,bq;q)_{n-k}}{(abq^{n-k+1};q)_{n-k}(abq^2;q)_{2(n-k)}}$로 주어진다.
• 이동한 색인에 대해 $\det(\mu_{i+j+t})_{0\leq i,j\leq n-1}$는 $\left(\frac{(aq;q)_t}{(abq^2;q)_t}\right)^n$과 추가적인 q-Pochhammer 항목을 포함하는 곱으로 표현된다.
• $_2F_1$에 대한 덧셈 공식을 사용하여 모츠킨 하 Hankel 행렬식의 q-해석을 증명하였으며, $\det(M_{i+j})$의 값이 1임을 도출하였다.
• 큰 슈뢰더 하 행렬식 $\det(S_{i+j})$는 $2^{n(n-1)/2}$와 같으며, $\det(S_{i+j+1}) = 2^{n(n+1)/2}$임을 보였고, $\det(S_{i+j+2})$에 대한 새로운 공식을 유도하였다.
• 델랑노 수 하 행렬식에 대한 추측된 항등식을 제안한다: $\det(D(i+j,i+j)) = 2^{\binom{n+1}{2} - 1}$이며, 더 높은 이동에 대해서도 유사한 공식이 존재한다.
• 논문은 $\det S^{(0)}_n(1)$이 재귀 관계 $\det S^{(0)}_n(1) = 2^{n(n+1)/2} - (2n+3)2^{n(n-1)/2} - 2^{(n-1)n/2}$를 만족함을 증명하였으며, 이는 알려진 값과 일치한다.