[논문 리뷰] Some determinants involving incomplete Fubini numbers

Takao Komatsu, Jósé L. Ramírez|arXiv (Cornell University)|2018. 02. 17.

Advanced Mathematical Identities참고 문헌 15인용 수 4

한 줄 요약

이 논문은 행렬식 표현을 통해 고전적 Fubini 수의 자연스러운 확장으로서 제한된 및 관련 Fubini 수를 도입하며, Trudi의 항등식과 행렬 역행렬을 이용해 새로운 명시적 공식을 유도한다. 일반화된 Fubini 수에 대한 새로운 행렬식 항등식을 수립하고, Toeplitz-Hessenberg 행렬과 주된 소행렬식을 통해 닫힌 표현식을 제공한다.

ABSTRACT

We study some properties of restricted and associated Fubini numbers. In particular, they have the natural extensions of the original Fubini numbers in the sense of determinants. We also introduce modified Bernoulli and Cauchy numbers and study characteristic properties.

연구 동기 및 목표

• 제한된 및 관련 Fubini 수를 블록 크기 제약 조건이 있는 방식으로 도입함으로써 고전적 Fubini 수를 확장하는 것.
• 행렬 이론 기법을 사용하여 이러한 일반화된 Fubini 수에 대한 새로운 행렬식 표현을 도출하는 것.
• 수정된 Bernoulli 수와 Cauchy 수를 도입하고, 그 특성적 성질을 행렬식 항등식을 통해 연구하는 것.
• Trudi의 공식과 행렬 역행렬을 적용하여 이 수열들에 대한 명시적 조합 수식을 얻는 것.
• 고전적 Fubini 수의 행렬식 표현을 고차수 생성함수와 주된 소행렬식으로 일반화하는 것.

제안 방법

• 재귀 관계를 통해 수열과 Toeplitz-Hessenberg 행렬을 연결하는 일반 행렬식 항등식(정리 1)을 활용한다.
• Trudi의 공식을 적용하여 생성함수의 항으로부터 유도된 항을 가진 행렬의 행렬식으로 일반화된 Fubini 수를 표현한다.
• 항들 $ t_{i,j} = \frac{(-1)^{i-1}}{i!} $ ($ i \geq j $) 와 초대각선에 1을 가지는 Toeplitz-Hessenberg 행렬 $ T_n $ 을 구성한다.
• 생성함수의 계수를 행렬식으로 표현하기 위해 $ T_n^{-1} $ 의 역행렬을 유도한다.
• 주된 소행렬식을 사용하여 일반화된 Fubini 수 $ F_{n-l+1}^{(l+1)} $ 과 관련된 합을 표현한다.
• 행렬 블록 행렬식 항등식을 적용하여 $ T_n $ 의 특성 다항식을 분해하고 계산하며, 이를 일반화된 Fubini 수와 연결한다.

실험 결과

연구 질문

• RQ1 제한된 및 관련 Fubini 수는 어떻게 행렬식 항등식으로 표현될 수 있는가?
• RQ2 일반화된 Fubini 수와 특정 Toeplitz-Hessenberg 행렬의 주된 소행렬식 사이의 관계는 무엇인가?
• RQ3 수정된 Bernoulli 수와 Cauchy 수는 고전적 것들과 유사한 행렬식 공식으로 표현될 수 있는가?
• RQ4 $ T_n $ 의 특성 다항식의 계수는 일반화된 Fubini 수와 어떻게 관련되어 있는가?
• RQ5 Trudi의 공식은 이러한 수열에 대한 명시적 조합 수식을 도출하는 데 어떤 역할을 하는가?

주요 결과

• 제한된 Fubini 수 $ F_{n,\text{res}}^{(m)} $ 는 행렬식 $ \left| \frac{(-1)^{j-1} B_{j,\leq m}^{*}}{j!} \right| $ 으로 주어지며, 여기서 $ B_{j,\leq m}^{*} $ 는 수정된 Bernoulli 수이다.
• 관련 Fubini 수 $ F_{n,\text{ass}}^{(m)} $ 는 $ \left| \frac{(-1)^{j-1} B_{j,\geq m}^{*}}{j!} \right| $ 으로 표현되며, 여기서 $ B_{j,\geq m}^{*} $ 는 수정된 Bernoulli 수이다.
• 행렬 $ \begin{bmatrix} 1 & & \\ \frac{-B_{1,\leq m}^{*}}{1!} & 1 & \\ \cdots & \cdots & \ddots \end{bmatrix} $ 의 역행렬이 하부 대각선에 $ \frac{1}{k!} $ 이 있는 하부 Hessenberg 행렬임을 보였다.
• 일반화된 Fubini 수 $ \frac{F_{n-l+1}^{(l+1)}}{(n-l+1)!} $ 는 $ T_n $ 의 특성 다항식에서 $ x^l $ 의 계수와 부호를 제외하고 일치한다.
• $ T_5 $ 에 대해 특성 다항식은 $ -x^5 + 5x^4 - 12x^3 + \frac{33}{2}x^2 - \frac{77}{6}x + \frac{541}{120} $ 이며, $ x^1 $ 의 계수는 $ \frac{F_5^{(2)}}{5!} = \frac{77}{6} $ 와 일치한다.
• 행렬 $ T_n $ 의 모든 순서 $ n-l $ 의 주된 소행렬식의 합은 $ S_{n-l} = \sum_{j_1+\cdots+j_{l+1}=n-l} \prod_{i=1}^{l+1} \frac{F_{j_i+1}}{(j_i+1)!} $ 로 주어지며, 이는 일반화된 Fubini 수와 연결된다.