[論文レビュー] $B$-expansion of pseudo-involution in the Riordan group

E. Burlachenko|arXiv (Cornell University)|Jul 4, 2017

Advanced Combinatorial Mathematics参考文献 3被引用数 5

ひとこと要約

本稿では、リーマン群内の擬代入に関して、$B$-列の母関数$B(x)$を用いて$g^m(x)$の係数を表現する、新規の$B$-展開公式を導入する。関数方程式$g(x) = 1 + xg(x)B(x^2g(x))$から導かれる再帰的構造を活用することで、多項係数に類似した係数を含む、組合せ的に豊かな展開が得られ、$B(x)$から$g(x)$の明示的計算が可能となり、一般化された二項級数との深い関係が明らかになる。

ABSTRACT

Each numerical sequence $\left( {{b}_{0}},{{b}_{1}},{{b}_{2}},... ight)$ with the generating function $B\left( x ight)$ defines the pseudo-involution in the Riordan group $\left( 1,xg\left( x ight) ight)$ such that $g\left( x ight)=1+xg\left( x ight)B\left( {{x}^{2}}g\left( x ight) ight)$. In the present paper we realize a simple idea: express the coefficients of the series ${{g}^{m}}\left( x ight)$ in terms of the coefficients of the series $B\left( x ight)$. Obtained expansion has a bright combinatorial character, sheds light on the connection of the pseudo-involution in the Riordan group with the generalized binomial series, and is also useful for finding the series $g\left( x ight)$ by the given series $B\left( x ight)$. We compare this expansion with the similar expansion for the sequence $\left( 1,{{a}_{1}},{{a}_{2}},... ight)$ with the generating function $A\left( x ight)$ such that $g\left( x ight)=A\left( xg\left( x ight) ight)$.

研究の動機と目的

• リーマン群内の擬代入に対して、$g^m(x)$の係数を$B$-列の母関数$B(x)$の形で体系的に表現する手法を確立すること。
• 擬代入を記述する関数方程式$g(x) = 1 + xg(x)B(x^2g(x))$の背後にある組合せ的構造を明確にすること。
• $B(x)$が与えられたとき$g(x)$を計算するための構成的ツールを提供し、リーマン行列理論における$B$-列の有用性を高めること。
• $B$-展開と古典的な$A$-列展開を比較し、構造的および組合せ的差異を強調すること。

提案手法

• 擬代入の定義関数方程式から再帰的恒等式$g^m(x) = g^{m-1}(x) + x g^m(x) B(x^2 g(x))$を導出する。
• 係数$[x^n]g^m(x)$を、$n$を奇数部分に分割する整数の組み合わせ（成分の重複度$m_i$で添え字付けられる）の和として表現する。
• Pochhammer記号$(m+k)_q$と重複度$m_i$の階乗を含む多項係数型の係数を用いて、組合せ的構造を符号化する。
• $g(x) = 1 + xg(x)B(x^2g(x))$を満たす母関数$B(x)$を定義し、これにより$g^m(x)$の係数を再帰的に構築する。
• 変換されたリーマン行列$\left(1, x\sqrt{g(x)}\right)$の$B$-列と$A$-列の間の対応関係を定義し、構造的類似性を明確にする。
• $B$-展開と$A$-展開を生成関数および多項係数恒等式を用いて比較し、組合せ的解釈における差異を強調する。

実験結果

リサーチクエスチョン

• RQ1 リーマン群内の擬代入に対して、$g^m(x)$の係数を$B$-列の母関数$B(x)$の形で明示的に表現する方法は何か？
• RQ2 関数方程式$g(x) = 1 + xg(x)B(x^2g(x))$の背後にある組合せ的構造は何か？
• RQ3 $B$-展開は、計算的有用性および組合せ的解釈の観点から、古典的な$A$-列展開とどのように異なるか？
• RQ4 多項係数に類似した係数は$B$-展開において果たす役割は何か？また、リーマン行列の再帰的性質をどのように反映しているか？
• RQ5 $B$-展開を用いて、与えられた$B(x)$から$g(x)$を再構成できるか？その場合、どのような条件下で可能か？

主な発見

• 係数$[x^n]g^m(x)$は、$\sum \frac{m(m+k)_q}{(m+k)m_0!m_1!\cdots m_p!} b_0^{m_0} b_1^{m_1} \cdots b_p^{m_p}$で与えられ、ここで$p = \lfloor (n-1)/2 \rfloor$、$k = \sum m_i(i+1)$であり、和は$n$を$p+1$個の奇数部分に分割する組み合わせの上を取る。
• この展開は明確な組合せ的性質を示し、多項係数とPochhammer記号を介して、擬代入と一般化された二項級数を結びつける。
• $B$-展開は、$B(x)$から$g(x)$を計算するための構成的手段を提供し、級数再構成の直接的なアルゴリズム的手順を提供する。
• この手法により、$B$-列と$A$-列の間の構造的双対性が明らかになり、$x^2g(x)$の引数のおかげで$B$-展開が擬代入に対してより適していることが示される。
• $B$-展開は、$\frac{1}{(1 - a_1 x)^m}$および高次項を含む生成関数恒等式と同等であることが示され、二次無理的母関数に対する既知の結果を一般化する。
• 特別な場合$A(x) = 1 + a_1 x + a_r x^r$に対して、$A$-展開は閉形式の表現$g^m(x) = \left(\frac{1}{(1 - a_1 x)^m}, \frac{a_r x^r}{(1 - a_1 x)^r}\right) \mathcal{B}_r(x)^m$を導くことができ、この方法の明示的構成における強力さを示している。