[論文レビュー] A curious polynomial interpolation of Carlitz-Riordan's $q$-ballot numbers

Frédéric Chapoton, Jiang Zeng|arXiv (Cornell University)|Nov 27, 2013

Advanced Combinatorial Mathematics参考文献 11被引用数 1

ひとこと要約

本稿では、$ q $-整数における評価時にカルツィット＝リオーダンの$ q $-ボールト数を補間する$ q $-差分方程式によって定義される多項式列$ C_n(x|q) $を導入する。主な貢献は、組合せ的再帰関係と、その係数が再び$ q $-ボールト数である基底展開であり、これら多項式の背後にある深いつながりを示している。

ABSTRACT

We study a polynomial sequence $C_n(x|q)$ defined as a solution of a $q$-difference equation. This sequence, evaluated at $q$-integers, interpolates Carlitz-Riordan's $q$-ballot numbers. In the basis given by some kind of $q$-binomial coefficients, the coefficients are again some $q$-ballot numbers. We obtain in a combinatorial way another curious recurrence relation for these polynomials.

研究の動機と目的

• カルツィット＝リオーダンの$ q $-ボールト数を$ \mathbb{Q}(q) $係数の多項式列として$ x $に関して補間する$ q $-差分方程式の構成。
• これらの多項式が$ q $-整数で評価された際の性質を調査し、$ q $-ボールト数と関連付けること。
• $ C_n(x|q) $を$ q $-二項係数$ \binom{x}{k}_q $の基底で展開し、その係数の組合せ的構造を明らかにすること。
• 古典的ケース$ q = 1 $でも成り立つ新しい再帰関係を、組合せ的議論によって導出し、証明すること。
• 係数の正値性と、$ C_n(x|q) $の分子のニュートン多面体の幾何構造に関する未解決問題を探索すること。

提案手法

• Hahn作用素$ \Delta_q $を用いて、$ \Delta_q C_{n+1}(x|q) = q C_n(q^2 x + q + 1|q) $という$ q $-差分方程式により多項式列$ C_n(x|q) $を定義する。
• Hahn作用素の定義$ \Delta_q f(x) = \frac{f(1 + qx) - f(x)}{1 + (q - 1)x} $を用いて、再帰関係を$ C_n(qx + 1|q) $を含む等価な形に表現する。
• $ q $-整数$ [k]_q $における$ C_n([k]_q|q) $の評価を行い、それが$ q^{kn + \frac{n(n+1)}{2}} f(k+n, n|q^{-1}) $に等しいことを証明し、多項式と$ q $-ボールト数の関係を確立する。
• $ C_n(x|q) $を$ q $-二項係数$ \binom{x}{k}_q $の基底で展開し、その係数が自身$ q $-ボールト数であることを示す。
• 先頭の垂直ステップの高さに基づく場合分けを伴う、点付き格子路の組合せ的分解を用いて、$ C_n(x|q) $の新しい再帰関係を確立する。
• 生成関数を面積と高さの重み付き格子路の和として解釈することで、再帰関係の組合せ的証明を提供する。

実験結果

リサーチクエスチョン

• RQ1 カルツィット＝リオーダンの$ q $-ボールト数は、$ \mathbb{Q}(q) $係数の$ x $に関する多項式列として補間可能か？ さらに、$ q $-整数での評価が$ q $-ボールト数を回復するか？
• RQ2 $ C_n(x|q) $を$ q $-二項係数$ \binom{x}{k}_q $の基底で展開した際の係数の構造は何か？ そして、それらは$ q $-ボールト数とどのように関係しているか？
• RQ3 $ q = 1 $の古典的ケースに一般化される非自明な再帰関係は存在するか？ そして、その再帰関係は組合せ的証明によって示せるか？
• RQ4 $ C_n(x|q) $の分子のニュートン多面体の形状は何か？ その上側境界の傾きは予測可能なパターンに従うか？
• RQ5 $ C_n(x|q) $の係数は、既約分数形で正値であるか？ その正値性は証明可能か、あるいは予想可能か？

主な発見

• $ x = [k]_q $における$ C_n(x|q) $の評価は、$ C_n([k]_q|q) = q^{kn + \frac{n(n+1)}{2}} f(k+n, n|q^{-1}) $を満たし、$ q $-整数における$ q $-ボールト数$ f(n,k|q) $を補間する。
• $ C_n(x|q) $を基底$ \binom{x}{k}_q $で展開した際の係数は、自身$ q $-ボールト数である。具体的には、$ C_n(x|q) = \sum_{k=0}^{n-1} f(n-k, k|q) \cdot q^{k(k-1)/2} \binom{x}{k}_q $と表される。
• 組合せ的証明に基づき、$ C_n(x|q) $の新しい再帰関係が確立された：$ n C_n(x|q) = (2n - 1 + x) C_{n-1}(x|q) + \sum_{j=0}^{n-3} (n - j - 2) C_j(x|q) C_{n-1-j}(x|q) $（$ n \geq 2 $）。
• $ q = 1 $のとき、再帰関係は$ n C_n(x|1) = (2n - 1 + x) C_{n-1}(x|1) + \sum_{j=0}^{n-3} (n - j - 2) C_j C_{n-1-j}(x|1) $に簡略化され、多項式$ C_n(x|1) $はカタラン数の母関数の倍数である。
• $ C_n(x|q) $の最高次の係数は$ \frac{q^{n^2}}{[1]_q [2]_q \cdots [n]_q} $であり、$ C_n(x|q) $の既約分数形における分子はすべての係数が正であると予想されている。
• $ C_n(x|q) $の分子のニュートン多面体の上側境界の傾きは、奇数$ 1, 3, \dots, 2n - 3 $に対応し、規則的な幾何的構造を示唆している。