[논문 리뷰] Symmetrized poly-Bernoulli numbers and combinatorics

Toshiki Matsusaka|arXiv (Cornell University)|2020. 03. 27.

Advanced Mathematical Identities참고 문헌 11인용 수 6

한 줄 요약

이 논문은 대칭화된 다중 베르누이 수와 두먼-푸아타 다항식 사이의 새로운 조합적 항등식을 확립하며, 정수 점 $k$ 에서 대칭화된 다중 베르누이 수의 교대 합이 $k! \cdot (-1)^{n/2} G_n(1,1,k)$ 와 같음을 증명한다. 여기서 $G_n(1,1,k)$ 는 $x=y=1, z=k$ 에서 평가된 $n$ 번째 두먼-푸아타 다항식이다. 이 결과는 기존의 제노치 수 항등식을 일반화하며, 정수 인자에서 다중 베르누이 수의 대각합에 대한 통합된 조합적 해석을 제공한다.

ABSTRACT

Poly-Bernoulli numbers are one of generalizations of the classical Bernoulli numbers. Since a negative index poly-Bernoulli number is an integer, it is an interesting problem to study this number from combinatorial viewpoint. In this short article, we give a new combinatorial relation between symmetrized poly-Bernoulli numbers and the Dumont-Foata polynomials.

연구 동기 및 목표

• 정수 $k \geq 0$ 에서 다중 베르누이 수의 대각합에 대한 조합적 해석을 제공하여, $k=0$ 과 $k=1$ 에 대한 기존 결과를 확장한다.
• Sakurai 가 제기한 질문을 해결한다: 아라카와-카네코 및 카네코-사쿠라이-츠무라 항등식을 임의의 양의 정수 $k$ 로 일반화할 수 있는가?
• 대칭화된 다중 베르누이 수와 두먼-푸아타 다항식 $G_n(x,y,z)$ 사이의 정확한 대수적 및 조합적 관계를 수립한다.

제안 방법

• 제2종 스타링 수와 계승의 포함을 통해 대칭화된 다중 베르누이 수 $\mathscr{B}_m^{(-\ell)}(k)$ 를 명시적 공식으로 정의한다.
• 제2종 스타링 수의 생성함수 항등식을 사용하여 교대 합 $\sum_{\ell=0}^n (-1)^\ell \mathscr{B}_{n-\ell}^{(-\ell)}(k)$ 를 분석한다.
• 재귀 관계를 검증하기 위해 보조 함수 $\tilde{G}_n(k) = \frac{(-1)^{n/2}}{k!} \sum_{\ell=0}^n (-1)^\ell \mathscr{B}_{n-\ell}^{(-\ell)}(k)$ 를 도입한다.
• $\tilde{G}_n(k)$ 가 간다 다항식 $G_n(z)$ 와 동일한 재귀 관계를 만족함을 증명한다. 즉, $G_{n+2}(z) = z(z+1)G_n(z+1) - z^2 G_n(z)$ 이며, 초기 조건은 $G_0(z)=1$, $G_1(z)=0$ 이다.
• 생성함수 변환과 계수 추출을 통해 재귀 관계 하에서 합이 0이 됨을 보여주어 항등식을 확인한다.
• 두먼-푸아타 다항식 $G_n(x,y,z)$ 의 알려진 성질, 즉 대칭성과 총기(일대일 매핑에 제약 조건이 있는 전사 사상)를 통한 조합적 해석을 활용한다.

실험 결과

연구 질문

• RQ1 정수 $k \geq 0$ 에 대해 대각합 항등식 $\sum_{\ell=0}^n (-1)^\ell B_{n-\ell}^{(-\ell-1)}(1) = (-1)^{n/2} G_n$ 을 일반화할 수 있는가?
• RQ2 정수 $k$ 에서 교대 합 $\sum_{\ell=0}^n (-1)^\ell \mathscr{B}_{n-\ell}^{(-\ell)}(k)$ 에 대한 조합적 해석이 존재하는가?
• RQ3 대칭화된 다중 베르누이 수 $\mathscr{B}_m^{(-\ell)}(k)$ 는 $k=0$ 과 $k=1$ 의 경우를 통합하는 균일한 조합적 모델을 갖는가?
• RQ4 두먼-푸아타 다항식 $G_n(x,y,z)$ 의 재귀적 구조를 활용하여 다중 베르누이 수에 대한 새로운 항등식을 유도할 수 있는가?

주요 결과

• 주요 결과는 모든 $n,k \geq 0$ 에 대해 항등식 $\sum_{\ell=0}^n (-1)^\ell \mathscr{B}_{n-\ell}^{(-\ell)}(k) = k! \cdot (-1)^{n/2} G_n(1,1,k)$ 이며, $n$ 이 홀수일 경우 양변이 0이 된다.
• $k=1$ 일 때, $\mathscr{B}_m^{(-\ell)}(1) = B_m^{(-\ell-1)}(1)$ 이고 $G_n(1,1,1) = G_n$ 이므로, 이 항등식은 기존 결과 $\sum_{\ell=0}^n (-1)^\ell B_{n-\ell}^{(-\ell-1)}(1) = (-1)^{n/2} G_n$ 을 복원한다.
• $k=0$ 일 때, $\mathscr{B}_m^{(-\ell)}(0) = B_m^{(-\ell)}(0)$ 이고 $n > 0$ 이면 $G_n(1,1,0) = 0$ 이므로, 항등식은 아라카와-카네코 항등식 $\sum_{\ell=0}^n (-1)^\ell B_{n-\ell}^{(-\ell)}(0) = 0$ 을 $n > 0$ 에 대해 복원한다.
• 증명은 정규화된 합 $\tilde{G}_n(k)$ 가 간다 다항식 $G_n(z)$ 와 동일한 재귀 관계를 만족함을 보여, 생성함수 기법을 통해 항등식을 확인한다.
• 계수 $a_{n,j} = \sum_{\ell=j}^{n-j} (-1)^\ell \left\{ \begin{smallmatrix} n-\ell+1 \\ j+1 \end{smallmatrix}\right\} \left\{ \begin{smallmatrix} \ell+1 \\ j+1 \end{smallmatrix}\right\}$ 는 $n$ 이 홀수일 때 0이 되며, 재귀 관계 $a_{n+2,j} = (j+1)^2 a_{n,j} - a_{n,j-1}$ 를 만족한다. 이는 증명의 핵심이다.
• 대칭화된 다중 베르누이 수 $\mathscr{B}_m^{(-\ell)}(k)$ 는 명시적으로 $\sum_{j=0}^{\min(m,\ell)} j!(k+j)! \left\{ \begin{smallmatrix} m+1 \\ j+1 \end{smallmatrix}\right\} \left\{ \begin{smallmatrix} \ell+1 \\ j+1 \end{smallmatrix}\right\}$ 로 주어지며, 이는 증명에서의 대수적 조작을 가능하게 한다.