[論文レビュー] Polynomial Triangles Revisited

Nour-Eddine Fahssi|arXiv (Cornell University)|Feb 1, 2012

Mathematics and Applications参考文献 36被引用数 16

ひとこと要約

本稿は、多項式の整数乗から得られる係数の配列（多項式の三角形）を体系的かつ包括的に研究し、パスカルの三角形を一般化する。組合せ的モデル（格子路、スピン鎖、分配問題）、新しい恒等式および母関数の導出、熱力学的極限におけるエントロピー密度関数の分析を通じて、トリノミアル係数を用いたフィボナッチ数やエルミート多項式に対する新しい公式が得られる。

ABSTRACT

A polynomial triangle is an array whose inputs are the coefficients in integral powers of a polynomial. Although polynomial coefficients have appeared in several works, there is no systematic treatise on this topic. In this paper we plan to fill this gap. We describe some aspects of these arrays, which generalize similar properties of the binomial coefficients. Some combinatorial models enumerated by polynomial coefficients, including lattice paths model, spin chain model and scores in a drawing game, are introduced. Several known binomial identities are then extended. In addition, we calculate recursively generating functions of column sequences. Interesting corollaries follow from these recurrence relations such as new formulae for the Fibonacci numbers and Hermite polynomials in terms of trinomial coefficients. Finally, properties of the entropy density function that characterizes polynomial coefficients in the thermodynamical limit are studied in details.

研究の動機と目的

• 多項式の三角形について体系的な論考を提供すること。これは二項係数の一般化であり、パスカルの三角形を拡張するものである。
• 制限付き分配、格子路、スピン鎖などのモデルを通じて、多項式係数の組合せ的解釈を確立すること。
• 古典的な二項恒等式を多項式係数へと拡張し、新たな漸化式を導出すること。
• 熱力学的極限におけるエントロピー密度関数を用いて、多項式の三角形の漸近的挙動を分析すること。
• トリノミアル係数を用いて、フィボナッチ数やエルミート多項式といった特殊関数の新しい閉形式表現を導出すること。

提案手法

• 生成関数 $[t^n](p_{\bf a}(t))^k$ を用いて多項式係数を定義する。ここで $p_{\bf a}(t) = \sum_{i=0}^m a_i t^i$ である。
• 係数 $t^n$ の係数を表すベクトル添字付き二項記号 ${k \choose n}_{\bf a}$ を導入する。
• 特に $m=2$（トリノミアルの場合）に対して、母関数を用いて列列の再帰的関係を確立する。
• エントロピー密度関数 $h^{(\bf a)}(\rho)$ を、$\frac{1}{k} \ln {k \choose n}_{\bf a}$ の熱力学的極限として定義する。ここで $\rho = n/k$ である。
• モーメント生成関数とその逆関数を用いてエントロピー関数を分析し、厳密な下に凸性と単調性を示す。
• 同次性に基づく恒等式を導出するため、微分方程式 $\Theta_{\bf a} \frac{1}{k} \ln {k \choose n}_{\bf a} = 1$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 多項式の三角形は、パスカルの三角形の一般化として、どのように体系的に構築され、特徴づけられるか？
• RQ2 格子路、分配、スピン鎖などの組合せ的モデルは、多項式係数によって何を数えるのか？
• RQ3 古典的な二項恒等式は多項式係数へと拡張可能か？また、どのような新しい恒等式が導かれるか？
• RQ4 多項式係数の配列の漸近的挙動は、熱力学的極限においてどのように振る舞い、エントロピー密度関数によってどのように記述されるか？
• RQ5 フィボナッチ数やエルミート多項式といった特殊関数は、これらの多項式の三角形を用いてトリノミアル係数で表現可能か？

主な発見

• エントロピー密度関数 $h^{(\bf a)}(\rho)$ は厳密に下に凸であり、$\rho = \mu = \mathbb{E}[\xi]$ で最大値をとる。ここで $\mu$ は関連する確率変数の平均である。
• エントロピー密度関数は $\rho < \mu$ で単調増加し、$\rho > \mu$ で単調減少する。これは係数分布の単峰性を反映している。
• $\lim_{\rho \to 0} h^{(\bf a)}(\rho) = \ln a_0$ および $\lim_{\rho \to m} h^{(\bf a)}(\rho) = \ln a_m$ の極限が導出され、$a_0, a_m \geq 1$ のとき非負性が示される。
• トリノミアル係数を用いてフィボナッチ数の新しい公式が導出され、既知の二項恒等式の拡張が達成された。
• 再帰関係を用いて、トリノミアル係数によるエルミート多項式の新たな表現が得られた。
• 微分方程式 $\Theta_{\bf a} \frac{1}{k} \ln {k \choose n}_{\bf a} = 1$ は普遍的に成り立ち、係数系の同次性を反映している。