[论文解读] A formal calculus on the Riordan near algebra

Laurent Poinsot, Gérard Duchamp|arXiv (Cornell University)|Feb 17, 2009

Advanced Combinatorial Mathematics参考文献 12被引用 4

一句话总结

本文在Riordan近代数上引入了一套形式演算——该结构通过形式幂级数与代入运算扩展了Riordan群——实现了无需收敛性约束的广义幂运算与类全纯运算。核心贡献在于建立了一套严格的正式演算，推广了级数运算（指数、对数、反函数）并利用二项级数在非阿基米德设定下定义了一类广义幂的单参数群。

ABSTRACT

The Riordan group is the semi-direct product of a multiplicative group of invertible series and a group, under substitution, of non units. The Riordan near algebra, as introduced in this paper, is the Cartesian product of the algebra of formal power series and its principal ideal of non units, equipped with a product that extends the multiplication of the Riordan group. The later is naturally embedded as a subgroup of units into the former. In this paper, we prove the existence of a formal calculus on the Riordan algebra. This formal calculus plays a role similar to those of holomorphic calculi in the Banach or Fréchet algebras setting, but without the constraint of a radius of convergence. Using this calculus, we define \emph{en passant} a notion of generalized powers in the Riordan group.

研究动机与目标

• 在形式幂级数扩展至代入运算的代数结构中，发展Riordan近代数上的形式演算，推广其至代入运算。
• 在非交换代数框架下，利用二项级数将Riordan群中广义幂的概念推广至矩阵表示之外。
• 在无收敛半径限制下，为Riordan近代数建立类全纯演算的框架。
• 在形式幂级数代入的背景下，定义并刻画可逆元与单参数子群。
• 证明该形式演算在广义指数运算下保持结合性、可逆性与群同态等代数性质。

提出的方法

• 本文将Riordan近代数构造为形式幂级数代数与其非单位元最大理想的笛卡尔积，并赋予一个扩展Riordan群运算的乘积。
• 通过级数代入定义形式演算：对形式幂级数 $ f = \sum_{n \geq 0} f_n \mathtt{x}^n $，表达式 $ \sum_{n \geq 0} f_n (\mu_+, \sigma_+)^{\rtimes n} $ 在近代数中被解释，其中 $ (\mu_+, \sigma_+) $ 为形式级数，满足 $ \mu_+ \in \mathfrak{M} $，$ \sigma_+ \in \mathfrak{M} $。
• 使用拓扑同构 $ \phi_{(\mu_+, \sigma_+)} $ 将 $ \mathbb{K}[[\mathtt{x}]] $ 的拓扑传递至 $ \mathbb{K}[[\mu_+, \sigma_+]] $，使其作为拓扑代数同构。
• 通过二项级数定义广义幂：$ (1+\mu_+, \mathtt{x}+\sigma_+)^{\ast \lambda} = \sum_{n \geq 0} \binom{\lambda}{n} g(\mu_+, \sigma_+)^{\ast n} $，其中 $ g = \sum_{n \geq 1} f_n (\mu_+, \sigma_+)^{\rtimes n} $。
• 该演算支持指数、对数与反函数等运算，且证明 $ \exp(\sum f_n (\mu_+, \sigma_+)^{\rtimes n}) $ 在代数中可逆。
• 本文证明映射 $ \lambda \mapsto (1+\mu_+, \mathtt{x}+\sigma_+)^{\ast \lambda} $ 在近代数单位群中构成单参数子群。

实验结果

研究问题

• RQ1 能否在Riordan近代数上定义一种形式演算，使其在无收敛性约束下推广全纯函数演算？
• RQ2 如何利用二项级数在Riordan近代数中代数地定义广义幂？
• RQ3 该形式演算在广义指数运算下是否保持Riordan群的群结构？
• RQ4 代入与同构在将 $ \mathbb{K}[[\mathtt{x}]] $ 的性质传递至 $ \mathbb{K}[[\mu_+, \sigma_+]] $ 中起何作用？
• RQ5 指数、对数与反函数等运算能否在此形式演算中一致定义？

主要发现

• 形式演算通过级数 $ \sum_{n \geq 0} f_n (\mu_+, \sigma_+)^{\rtimes n} $ 定义，其构成Riordan近代数中的元素，扩展了Riordan群的乘法结构。
• 广义幂 $ (1+\mu_+, \mathtt{x}+\sigma_+)^{\ast \lambda} $ 对所有 $ \lambda \in \mathbb{K} $ 均有定义，利用二项系数且位于Riordan群内。
• 映射 $ \lambda \mapsto (1+\mu_+, \mathtt{x}+\sigma_+)^{\ast \lambda} $ 在近代数单位群中构成单参数子群，满足 $ (1+\mu_+, \mathtt{x}+\sigma_+)^{\ast(\alpha+\beta)} = (1+\mu_+, \mathtt{x}+\sigma_+)^{\ast\alpha} \rtimes (1+\mu_+, \mathtt{x}+\sigma_+)^{\ast\beta} $。
• 当 $ f_0 = 1 $ 时，级数 $ \sum_{n \geq 0} f_n (\mu_+, \sigma_+)^{\rtimes n} $ 在近代数中可逆，其逆为 $ \sum_{n \geq 0} (-1)^n g(\mu_+, \sigma_+)^{\ast n} $，其中 $ g $ 为不含常数项的级数。
• 代数 $ \mathbb{K}[[\mu_+, \sigma_+]] $ 作为拓扑代数同构于 $ \mathbb{K}[[\mathtt{x}]] $，使得通过同构 $ \phi_{(\mu_+, \sigma_+)} $ 可传递分析性质。
• 在 $ \mathbb{K}[[\mu_+, \sigma_+]] $ 中，对 $ \sigma(\mu_+, \sigma_+) $ 的右代入是有效的，从而可递归构造该代数的同构副本，形成此类结构的无限层级。