[论文解读] $B$-expansion of pseudo-involution in the Riordan group

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

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

一句话总结

本文提出了一种新颖的 $B$-展开公式，将伪对合在Riordan群中的 $g^m(x)$ 的系数用 $B$-序列的生成函数 $B(x)$ 表示。通过利用由函数方程 $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)$.

研究动机与目标

• 建立一种系统方法，将Riordan群中伪对合的 $g^m(x)$ 系数用 $B$-序列生成函数 $B(x)$ 表示。
• 阐明控制伪对合的函数方程 $g(x) = 1 + xg(x)B(x^2g(x))$ 的组合结构。
• 提供一种构造性工具，从给定的 $B(x)$ 计算 $g(x)$，增强 $B$-序列在Riordan阵列理论中的实用性。
• 将 $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$ 阶乘的多项式型系数，编码其组合结构。
• 定义生成函数 $B(x)$，使得 $g(x) = 1 + xg(x)B(x^2g(x))$，并利用此关系递归构建 $g^m(x)$ 的系数。
• 建立变换后的Riordan阵列 $\left(1, x\sqrt{g(x)}\right)$ 的 $B$-序列与 $A$-序列之间的对应关系，以阐明其结构相似性。
• 通过生成函数和多项式系数恒等式，比较 $B$-展开与 $A$-展开，强调其在组合解释上的差异。

实验结果

研究问题

• RQ1 如何显式地用 $B$-序列生成函数 $B(x)$ 表示Riordan群中伪对合的 $g^m(x)$ 系数？
• RQ2 函数方程 $g(x) = 1 + xg(x)B(x^2g(x))$ 的背后存在何种组合结构？
• RQ3 在计算实用性和组合解释方面，$B$-展开与经典的 $A$-序列展开相比有何异同？
• RQ4 多项式型系数在 $B$-展开中起什么作用？它们如何反映Riordan阵列的递归性质？
• 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$-序列之间的结构对偶性，其中 $B$-展开因含有 $x^2g(x)$ 的参数而更适用于伪对合。
• $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$，展示了该方法在显式构造中的强大能力。