[论文解读] A Hopf algebra of parking functions

Jean-Christophe Novelli, Jean‐Yves Thibon|ArXiv.org|Dec 5, 2003

Advanced Combinatorial Mathematics参考文献 10被引用 25

一句话总结

本文通过将概率测度的自由累积量与素数停车函数上的置换表示的弗罗贝尼乌斯特征联系起来，引入了一种新的停车函数的霍普夫代数。该文利用移位的shuffle和连接运算，在停车函数上构建了霍普夫代数结构，并证明了素数停车函数上表示的弗罗贝尼乌斯特征对应于自由累积量序列，从而通过停车函数实现了自由累积量的组合实现。

ABSTRACT

If the moments of a probability measure on $\R$ are interpreted as a specialization of complete homogeneous symmetric functions, its free cumulants are, up to sign, the corresponding specializations of a sequence of Schur positive symmetric functions $(f_n)$. We prove that $(f_n)$ is the Frobenius characteristic of the natural permutation representation of $\SG_n$ on the set of prime parking functions. This observation leads us to the construction of a Hopf algebra of parking functions, which we study in some detail.

研究动机与目标

• 通过停车函数建立自由概率中的自由累积量与对称函数之间的联系。
• 通过移位的shuffle和连接运算，在停车函数集合上构建霍普夫代数结构。
• 证明素数停车函数上的置换表示的弗罗贝尼乌斯特征对应于自由累积量序列。
• 将已有的对称函数中霍普夫代数的构造推广，使停车函数成为新的组合基。
• 通过(0,1)-矩阵和停车型矩阵，实现停车函数霍普夫代数的构造。

提出的方法

• 本文将停车函数定义为[ n ]上的词，其非递减重排满足 a'_i ≤ i 对所有 i 成立，而素数停车函数则是仅在 n 处有断点的停车函数。
• 引入了词上的移位连接 (u • v) 和移位shuffle (u ⌢ v) 运算，这些运算保持停车函数的性质，并将素数停车函数表征为不能通过非平凡移位shuffle分解的函数。
• 霍普夫代数结构建立在由停车函数张成的向量空间上，其中乘法由移位shuffle定义，余乘法由子词的parkization（停车化）定义。
• 通过(0,1)-矩阵构造了霍普夫代数的实现，其中停车函数对应于读取序列为停车函数的矩阵，基元素 F_a 是具有给定读取词 a 的矩阵之和。
• 通过垂直堆叠矩阵的列连接和增强shuffle定义乘法与余乘法，余乘法通过parkization定义。
• 素数停车函数上置换表示的弗罗贝尼乌斯特征被识别为 f_n，且 ω(f_n) = (-1)^{n-1} R_n，从而将其与自由累积量联系起来。

实验结果

研究问题

• RQ1 如何通过对称函数和停车函数，组合地实现自由概率中的自由累积量？
• RQ2 停车函数集合背后的霍普夫代数结构是什么？它如何推广已知的霍普夫代数（如 FQSym）？
• RQ3 为何素数停车函数在该霍普夫代数的构造中是基本的？它们与对称群表示理论有何关系？
• RQ4 停车函数的霍普夫代数能否通过矩阵模型具体实现？这与 MQSym 和 FQSym 等已有代数有何关联？
• RQ5 停车函数的霍普夫代数是否同构于其他已知霍普夫代数（如自由李代数三重代数）？

主要发现

• 素数停车函数上置换表示的弗罗贝尼乌斯特征等于 f_n，其中 ω(f_n) = (-1)^{n-1} R_n，因此 f_n 被识别为在特殊化下给出自由累积量的对称函数。
• 在 [n] 上的素数停车函数数量为 (n-1)^{n-1}，且在移位shuffle运算下构成霍普夫代数的最小生成集。
• 停车函数的霍普夫代数 PQSym 可通过(0,1)-矩阵实现，其中基元素 F_a 对应于读取词为 a 的矩阵之和，乘法与余乘法分别通过列连接和parkization定义。
• PQSym 作为子代数包含 FQSym，通过每列一个1的词矩阵实现，且 Sym 嵌入 PQSym 的方式为 S_n ↦ F_{12...n}。
• PQSym 的对偶 SQSym 通过霍普夫嵌入 j* 映射到 QSym，且 PQSym 的自对偶性限制到对称函数代数上。
• PQSym 作为余代数不与自由李代数三重代数同构，但作为代数可能同构。