[论文解读] Planar Shuffle Product, Co-Addition and the non-associative Exponential

Lothar Gerritzen|ArXiv.org|Feb 17, 2005

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

一句话总结

本文引入了有限平面约化根树的平面混洗积，并建立了其与非结合霍普夫代数中余加法余乘积的对偶性。证明了通用非结合指数级数 $\mathrm{EXP}$ 满足 $\hat{\Delta}(\mathrm{EXP}) = \mathrm{EXP} \hat{\otimes} \mathrm{EXP}$，从而导出其系数涉及平面混洗积的二次关系，因此扩展了经典指数结构的非结合类比。

ABSTRACT

In this note we introduce the concept of a shuffle product $\sq$ for planar tree polynomials and give a formula to compute the planar shuffle product $S \ \sq T$ of two finite planar reduced rooted trees $S, T.$ It is shown that $\sq$ is dual to the co-addition $Δ$ which leads to a formula for the coefficients of $Δ(f).$ It is also proved that $Δ(EXP) = EXP {\hat \otimes} EXP$ where $EXP$ is the generic planar tree exponential series, see [G]. Systems of quadratic relations for the coefficients of EXP are derived.

研究动机与目标

• 定义有限平面约化根树的平面混洗积 $\sqcup\!\sqcup$，并建立其与余加法余乘积 $\Delta$ 的对偶性。
• 以平面混洗积 $V \sqcup\!\sqcup W$ 的系数表示 $\Delta(f)$ 的系数的公式。
• 在形式幂级数完备化下，证明通用非结合指数级数 $\mathrm{EXP}$ 满足 $\hat{\Delta}(\mathrm{EXP}) = \mathrm{EXP} \hat{\otimes} \mathrm{EXP}$。
• 利用平面混洗积推导 $\mathrm{EXP}$ 系数的二次关系系统。
• 通过所推导的代数结构，将从结合情形到非结合情形的典范投影进行推广。

提出的方法

• 将平面混洗积 $\sqcup\!\sqcup$ 定义为余加法 $\Delta$ 的对偶运算，通过将平面树收缩到叶集构造而成。
• 通过平面根树的约化定义约化树 $\mathrm{Red}(T)$，确保所有顶点 $a$ 满足 $ar_T(a) \neq 1$，以保持代数一致性。
• 证明余加法 $\Delta$ 是形式幂级数完备化 $K\{\{x\}\}_{\infty}$ 上的连续 $K$-代数同态，其从多项式代数扩展而来。
• 通过函数方程论证，利用 $K$-自同构 $\varphi_k$ 和到 $\mathbb{Q}$ 的取值映射 $\pi_k$，证明 $\hat{\Delta}(\mathrm{EXP}) = \mathrm{EXP} \hat{\otimes} \mathrm{EXP}$。
• 通过将 $a(V) \cdot a(W)$ 表示为 $\sum_T c_T(V \sqcup\!\sqcup W) \cdot a(T)$ 的形式，推导出 $\mathrm{EXP}$ 系数的二次关系，将系数与混洗积联系起来。
• 使用系数的递推公式：$a(T) = \frac{{q \choose m}}{q^n - q} \cdot a(T_1) \cdots a(T_m)$，其中 $T = T_1 \cdot \cdots \cdot T_m$，$m = \mathrm{ar}(T)$，$n = \deg(T)$。

实验结果

研究问题

• RQ1 如何为有限平面约化根树定义平面混洗积，其代数性质是什么？
• RQ2 平面混洗积与余加法余乘积 $\Delta$ 之间的精确对偶关系是什么？
• RQ3 在形式幂级数完备化下，通用非结合指数级数 $\mathrm{EXP}$ 是否满足 $\hat{\Delta}(\mathrm{EXP}) = \mathrm{EXP} \hat{\otimes} \mathrm{EXP}$？
• RQ4 $\mathrm{EXP}$ 的系数会涌现出什么样的二次关系系统，其如何通过平面混洗积表达？
• RQ5 能否利用所推导的代数结构，将从结合情形到非结合情形的典范投影进行推广？

主要发现

• 平面混洗积 $\sqcup\!\sqcup$ 被证明是交换且结合的，其系数用于计算代数中任意 $f$ 的 $\Delta(f)$ 的系数。
• 余加法 $\Delta$ 被扩展为形式幂级数完备化 $K\{\{x\}\}_{\infty}$ 上的连续余乘积 $\hat{\Delta}$，且满足 $\hat{\Delta}(\mathrm{EXP}) = \mathrm{EXP} \hat{\otimes} \mathrm{EXP}$。
• $\mathrm{EXP}$ 的非结合指数级数系数 $a(T)$ 满足二次关系 $a(V) \cdot a(W) = \sum_T c_T(V \sqcup\!\sqcup W) \cdot a(T)$，其中 $c_T(V \sqcup\!\sqcup W)$ 为混洗积的系数。
• 当 $m \geq 3$ 时，混洗积 $x \sqcup\!\sqcup x^m$ 显式计算为 $ (m+1)x^{m+1} + 2\sum_{i=1}^m x^{2} \cdot x^{m-1} \text{（}x\text{位于第 }i\text{ 个位置）} + x \cdot x^m + x^m \cdot x $，且验证了系数关系成立。
• $T = T_1 \cdot \cdots \cdot T_m$ 的递推公式 $a(T) = \frac{{q \choose m}}{q^n - q} \cdot a(T_1) \cdots a(T_m)$ 用于计算特定系数，且验证其满足推导出的二次恒等式。
• 例 5.3 的验证表明，二次关系右边等于 $a(x) \cdot a(x^m) = a(x^m)$，从而验证了通式。