[論文レビュー] One-pth Riordan Arrays in the Construction of Identities

Tian-Xiao He|arXiv (Cornell University)|Oct 31, 2020

Advanced Combinatorial Mathematics参考文献 17被引用数 4

ひとこと要約

本稿では、p=2 の場合に既に研究済みの半 Riordan 行列の一般化として、1/p 乗 Riordan 行列を導入し、関数合成を用いて標準的 Riordan 行列から構成する。A-列の母関数が (A(t))^p であることを導出し、一般化された Chu–Vandermonde 恒等式や Fuss–Catalan 数との関係を含む新しい組合せ的恒等式を導出する。Riordan 行列理論を用いて恒等式を体系的に生成・検証する手法を提供する。

ABSTRACT

For an integer $p\geq 2$ we construct vertical and horizontal one-pth Riordan arrays from a Riordan array. When $p=2$, one-pth Riordan arrays reduced to well known half Riordan arrays. The generating functions of the $A$-sequences of vertical and horizontal one-pth Riordan arrays are found. The vertical and horizontal one-pth Riordan arrays provide an approach to construct many identities. They can also be used to verify some well known identities readily.

研究の動機と目的

• 整数 p ≥ 2 に対して、以前 p=2 の場合に研究済みの半 Riordan 行列の概念を 1/p 乗 Riordan 行列へ一般化すること。
• 垂直および水平的 1/p 乗 Riordan 行列を用いた、新しい組合せ的恒等式を体系的に構成する手法の開発。
• 1/p 乗 Riordan 行列の A-列母関数を導出し、元の行列の A-列母関数 A(t) に対して (A(t))^p であることを示すこと。
• これらの行列が、一般化された Chu–Vandermonde 恒等式や Gould 恒等式などの既知の恒等式を検証・導出するのにどのように利用できるかを示すこと。
• Riordan 行列理論の適用範囲を、Fuss–Catalan 数を含むより広いクラスの組合せ的数列および恒等式へ拡張すること。

提案手法

• 与えられた Riordan 行列 (g, f) から、Fuss–Catalan 母関数 F_p(t) を用いた関数合成により、垂直および水平的 1/p 乗 Riordan 行列を構成する。
• 新しい母関数を定義する：g̃(t) = g(φ(t)) / (1 - t·Z(f(t))·φ(t)) および f̃(t) = t·F_p^p(t)，ここで φ(t) は f(t) の合成逆関数である。
• 新しい行列の A-列母関数が、元の行列の A-列母関数 A(t) に対して (A(t))^p であることを導出する。
• Riordan 行列の基本定理（FTRA）を用い、列ベクトル変換と母関数の合成を関連付ける。
• Lagrange の逆公式を適用して f̃(t) の係数を計算し、[t^n]f̃(t) = 1/n * binom(pn, n-1) が得られ、f̃(t) = F_p(t) - 1 であることを示す。
• 定理 4.2 を用いて、二項係数の積の和を含む一般恒等式を導出し、一般化された Chu–Vandermonde 恒等式および Gould 恒等式に至る。

実験結果

リサーチクエスチョン

• RQ1 任意の整数 p ≥ 2 に対して、与えられた Riordan 行列 (g, f) から 1/p 乗 Riordan 行列を体系的に構成する方法は何か？
• RQ2 1/p 乗 Riordan 行列の A-列母関数は何か？また、元の行列の A-列母関数とはどのように関係しているか？
• RQ3 1/p 乗 Riordan 行列を用いて、Chu–Vandermonde や Gould 恒等式などの既知の組合せ的恒等式を導出または検証できるか？
• RQ4 1/p 乗 Riordan 行列と Fuss–Catalan 数との関係は何か？これはパスカル行列の場合をどのように一般化するか？
• RQ5 新しい行列 (g̃, f̃) の構造は、係数抽出および母関数の操作によってどのように新しい恒等式を導出可能にするか？

主な発見

• 1/p 乗 Riordan 行列 (g̃, f̃) の A-列母関数は、元の行列 (g, f) の A-列母関数 A(t) に対して (A(t))^p である。
• 新しい行列の母関数 f̃(t) は f̃(t) = t·F_p^p(t) で与えられ、その係数は [t^n]f̃(t) = 1/n * binom(pn, n-1) であり、Fuss–Catalan 数に対応する。
• 恒等式 ∑_{j=s}^n (s/j) * binom(pj, j-s) * binom(p(n-j)+r, n-j-k+s) = binom(pn+r, n-k) は、1/p 乗行列に定理 4.2 を適用した直接の結果として得られる。
• s=1 の場合、恒等式は ∑_{j=1}^n (1/(pj+1)) * binom(pj+1, j) * binom(p(n-j)+r, n-j-k+1) = binom(pn+r, n-k) に簡略化され、Chu–Vandermonde 恒等式の一般化形である。
• インデックスのシフトとパラメータの代入により、導出された恒等式は [8] の式 (5.62) と一致し、既知の結果と整合していることが確認される。
• パラメータの代入により、Gould 恒等式 ∑_{i=0}^n (r/(r-qi)) * binom(r-qi, i) * binom(p+qi, n-i) = binom(r+p, n) が正確に回復され、この手法が既知の恒等式の検証に強力であることが示された。