[论文解读] Hopf algebras of diagrams

Gérard Duchamp, Jean-Gabriel Luque+3 more|ArXiv.org|Oct 30, 2007

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

一句话总结

本文引入并研究了源自划分的量子场论的图和打包矩阵的霍普夫代数，利用双字和参数化交换关系实现对霍普夫代数 ${\bf WSym}$ 和 ${\bf WQSym}$ 的形变。主要贡献是通过带标签图和打包矩阵对这些代数进行组合实现，结构常数由形变参数 $q_s$ 和 $q_c$ 的单项式给出，并证明了某些代数是双辫形双代数，因此具有自对偶性、自由性和余自由性。

ABSTRACT

We investigate several Hopf algebras of diagrams related to Quantum Field Theory of Partitions and whose product comes from the Hopf algebras WSym or WQSym respectively built on integer set partitions and set compositions. Bases of these algebras are indexed either by bipartite graphs (labelled or unlabbeled) or by packed matrices (with integer or set coefficients). Realizations on biword are exhibited, and it is shown how these algebras fit into a commutative diagram. Hopf deformations and dendriform structures are also considered for some algebras in the picture.

研究动机与目标

• 为了加强组合霍普夫代数与划分的量子场论之间的联系，特别是将其与非交换对称函数联系起来。
• 提供组合移位作为霍普夫代数中形变机制的显式例子。
• 表明打包矩阵的霍普夫代数 ${\bf MQSym}$ 自然地作为基于整数集合划分和组合的代数的形变而出现。
• 通过以 $q_s$ 和 $q_c$ 参数化的双字实现这些代数，基于组合数据推导出结构常数。
• 证明某些代数是双辫形双代数，从而表明它们是自对偶、自由且余自由的。

提出的方法

• 作者将带标签图定义为具有有限支集的权函数 $\omega: \mathbb{N}^+ \times \mathbb{N}^+ \to \mathbb{N}$，表示带整数边权的二分图。
• 他们引入了在部分交换双字上定义的霍普夫代数 ${\bf LD}$ 的实现，其中上行为弱递增，下行为在上值恒定时弱递减。
• 两个 ${\bf LD}$ 元素乘积的结构常数以 $q_s$ 和 $q_c$ 的单项式形式计算，其指数由结果打包矩阵中左右贡献的逐行和得出。
• 指数 $x(A,B,C)$ 和 $y(A,B,C)$ 分别定义为对行和行对的求和，分别计数合并图 $C$ 中左半部分和右半部分的贡献。
• 证明代数结构满足结合律，并与部分交换关系相容，确保乘积在 ${\bf LD}$ 的基上封闭。
• 当 $q_s = q_c = 1$ 时，恢复标准的 ${\bf MQSym}$ 代数，确认 ${\bf MQSym}$ 是该形变代数的特例。

实验结果

研究问题

• RQ1 如何通过具有部分交换字母的双字实现带标签图的霍普夫代数？
• RQ2 两个带标签图基元素乘积的结构常数在形变参数 $q_s$ 和 $q_c$ 下的组合解释是什么？
• RQ3 具有整数或集合系数的打包矩阵代数与 ${\bf WSym}$ 和 ${\bf WQSym}$ 有何关系？
• RQ4 霍普夫代数 ${\bf MQSym}$ 能否通过移位原理被理解为更基本代数的形变？
• RQ5 这些代数具有哪些结构性质（例如双辫形、自对偶、自由、余自由），以及如何证明？

主要发现

• 在形变代数中，两个基元素 ${\bf LD}_A \star {\bf LD}_B$ 的乘积是 ${\bf LD}_C$ 的线性组合，其系数为单项式 $q_s^{x(A,B,C)} q_c^{y(A,B,C)}$，其中 $x$ 和 $y$ 分别计数合并图中左右贡献的加权相互作用。
• 指数 $x(A,B,C)$ 和 $y(A,B,C)$ 分别显式计算为对行和行对的求和，基于结果打包矩阵 $C$ 每行中左右部分的索引和，其中 $x$ 计数行内作用，$y$ 计数行间作用。
• ${\bf LD}$ 代数在乘积下封闭，并从双字模型继承结合律与部分交换相容性，确保其构成一个定义良好的霍普夫代数。
• 当 $q_s = q_c = 1$ 时，恢复标准的 ${\bf MQSym}$ 代数，确认 ${\bf MQSym}$ 是该形变代数的特例。
• 证明这些代数是双辫形双代数，从而表明它们作为霍普夫代数是自对偶、自由且余自由的。
• 一个示例计算表明 ${\bf LD}_{(2,0;1,4)} \star {\bf LD}_{(1)}$ 产生五项，其系数分别为 $1$、$q_s^5$、$q_c^5$、$q_s^2 q_c^5$ 和 $q_c^7$，与双字重排的组合计数一致。