[論文レビュー] Symmetric identities for an analogue of Catalan polynomials

Taekyun Kim, Dae San Kim+1 more|arXiv (Cornell University)|Jun 15, 2016

Advanced Mathematical Identities参考文献 6被引用数 5

ひとこと要約

この論文は、p進整数上のフェルミオン的p進積分を用いて、Catalan多項式の類似物であるw-Catalan多項式の対称的恒等式を導出する。主な貢献は、w-Catalan多項式と一般化されたStirling型和を結びつける新規の対称的恒等式であり、乗法公式や関数的対称性への応用を含む。

ABSTRACT

In this paper, we consider an analogue of Catalan polynomials and give some identities of symmetry for those polynomials by using fermionic $p$-adic integrals on the ring of $p$-adic integers

研究の動機と目的

• p進解析を用いてCatalan多項式を一般化されたw-Catalan多項式の枠組みへと拡張すること。
• フェルミオン的p進積分を用いて、w-Catalan多項式と一般化されたStirling和を含む対称的恒等式を確立すること。
• p進積分の対称性を応用して、Catalan多項式の関数方程式および乗法型公式を導出すること。
• p進手法を用いて、既知のCatalan数および多項式の恒等式を統一的かつ一般化すること。
• p進積分表現を用いて、w-Catalan多項式の代数的および算術的性質を調査すること。

提案手法

• p進整数環Z_p上のフェルミオン的p進積分を用いて、w-Catalan多項式の母関数を定義する。
• 恒等式 ∫_{Z_p} f(x) dμ_{-1}(x) = lim_{N→∞} Σ_{x=0}^{p^N−1} f(x)(−1)^x を用いて、対称的関数方程式を導出する。
• 二重フェルミオン的p進不変積分を適用して、w-Catalan多項式の母関数の積を関連付ける。
• 対称的恒等式を符号化するために、一般化和 S_{k,d}(w−1) = Σ_{i=0}^{w−1} binom(di/2, k)(−1)^i を導入する。
• 同じp進積分表現をtの累乗で二通りに展開し、それらを等置することで対称的恒等式を導出する。
• 母関数の変形と係数比較を用いて、C_{n,w}(x) と S_{k,d}(w−1) を含む恒等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 p進積分を用いて、Catalan多項式の類似物に対する対称的恒等式をどのように導出できるか？
• RQ2 p進手法を用いてCatalan多項式を一般化してw-Catalan多項式とした際、どのような関数的対称性が生じるか？
• RQ3 フェルミオン的p進積分は、Catalan多項式の乗法型公式の導出をどのように支援するか？
• RQ4 一般化されたStirling型和 S_{k,d}(w−1) は、w-Catalan多項式の対称的恒等式の確立において果たす役割は何か？
• RQ5 p進積分の対称性を用いて、C_{n,w₁}(w₂x) と C_{n,w₂}(w₁x) の間に対称的恒等式を確立できるか？

主な発見

• 定理1は、奇数d ≥ 1に対して、対称的恒等式 C_n(d) + C_n = 2^{2n+1} Σ_{i=0}^{d−1} binom(i/2, n)(−1)^{n−i} を確立する。
• 定理2は、奇数w₁, w₂に対して、対称的恒等式 Σ_{l=0}^n (−4)^{n−l} C_{l,w₁}(w₂x) S_{n−l,w₂}(w₁−1) = Σ_{l=0}^n (−4)^{n−l} C_{l,w₂}(w₁x) S_{n−l,w₁}(w₂−1) を証明する。
• 系3は乗法公式を与える：w₁=1のとき、C_n(w₂x) = Σ_{l=0}^n (−4)^{n−l} C_{l,w₂}(x) S_{n−l}(w₂−1) が成り立つ。
• 定理5は、奇数w₁, w₂に対して、対称的恒等式 Σ_{l=0}^{w₁−1} (−1)^l C_{n,w₁}(w₂x + w₂/w₁ l) = Σ_{l=0}^{w₂−1} (−1)^l C_{n,w₂}(w₁x + w₁/w₂ l) を確立する。
• 定理5においてw₂=1とすると、乗法公式 C_n(w₁x) = Σ_{l=0}^{w₁−1} (−1)^l C_{n,w₁}(x + 1/w₁ l) が得られる。
• 本論文は、p進積分の対称性を介して、パラメータw₁とw₂の交換に対してw-Catalan多項式が対称的関数方程式を満たすことを確認している。