[论文解读] Hopf Algebras and Markov Chains

C. Y. Amy Pang|arXiv (Cornell University)|Dec 28, 2014

Advanced Combinatorial Mathematics参考文献 110被引用 39

一句话总结

本文引入了霍普夫幂马尔可夫链——一种基于组合霍普夫代数上的余乘积-乘积算子构造的马尔可夫链，其转移过程模拟了组合对象的分解与重组。关键贡献在于提出了一般性算法，利用庞加莱-伯克霍夫-维尔定理、卡蒂埃-米勒-莫泽定理以及帕特拉斯的欧拉幂等投影理论，计算完整的左、右特征基，从而实现显式对角化与平稳分布的计算。

ABSTRACT

This thesis introduces a way to build Markov chains out of Hopf algebras. The transition matrix of a "Hopf-power Markov chain" is (the transpose of) the matrix of the coproduct-then-product operator on a combinatorial Hopf algebra with respect to a suitable basis. These chains describe the breaking-then-recombining of the combinatorial objects in the Hopf algebra. The motivating example is the famous Gilbert-Shannon-Reeds model of riffle-shuffling of a deck of cards, which arises in this manner from the shuffle algebra. The primary reason for constructing Hopf-power Markov chains, or for rephrasing familiar chains through this lens, is that much information about them comes simply from translating well-known facts on the underlying Hopf algebra. For example, there is an explicit formula for the stationary distribution (Theorem 4.5.1), and constructing quotient algebras show that certain statistics on a Hopf-power Markov chain are themselves Markov chains (Theorem 4.7.1). Perhaps the pinnacle is Theorem 2.5.1, a collection of algorithms for a full left and right eigenbasis in many common cases where the underlying Hopf algebra is commutative or cocommutative. This arises from a cocktail of the Poincare-Birkhoff-Witt theorem, the Cartier-Milnor-Moore theorem, Reutenauer's structure theory of the free Lie algebra, and Patras's Eulerian idempotent theory. Since Hopf-power Markov chains can exhibit very different behaviour depending on the structure of the underlying Hopf algebra and its distinguished basis, one must restrict attention to certain styles of Hopf algebras in order to obtain stronger results. This thesis will focus respectively on a free-commutative basis, which produces "independent breaking" chains, and a cofree basis; there will be both general statements and in-depth examples.

研究动机与目标

• 建立一个系统框架，通过霍普夫幂映射从霍普夫代数构造马尔可夫链。
• 利用霍普夫代数中已知的代数结构，推导出结果马尔可夫链的性质，避免繁琐的特例分析。
• 为交换或余交换情形提供显式算法，以计算完整的特征基，实现对角化。
• 证明这些链上的统计量（如下降集）通过商代数构造继承马尔可夫性质。
• 将经典的洗牌模型（如牌堆洗牌）作为霍普夫幂链的特例恢复并推广。

提出的方法

• 通过组合霍普夫代数上关于某一基的余乘积-然后-乘积算子的转置，定义霍普夫幂马尔可夫链。
• 利用欧拉幂等投影与帕特拉斯理论，将霍普夫幂映射分解为谱分量。
• 应用庞加莱-伯克霍夫-维尔定理与卡蒂耶-米勒-莫泽定理，在自由或余自由情形下构造特征基。
• 利用鲁滕豪尔的自由李代数结构理论，分析特征函数的代数基础。
• 通过对偶性构造左、右特征函数，并用于计算转移矩阵与平稳分布。
• 将该方法应用于具体实例：岩石破碎链（自由-交换基）、树修剪链（康奈斯-克雷默代数），以及牌堆洗牌链（余自由交换情形）。

实验结果

研究问题

• RQ1 如何系统地从霍普夫代数的代数结构推导出马尔可夫链？
• RQ2 哪些代数工具能够实现此类链的特征值与特征函数的显式计算？
• RQ3 在何种条件下，霍普夫幂链上的统计量（如下降集）仍保持马尔可夫性？
• RQ4 底层霍普夫代数的结构（如自由-交换与余自由）如何影响链的行为？
• RQ5 能否通过此代数框架恢复并推广经典的洗牌模型（如GSR牌堆洗牌）？

主要发现

• 定理4.5.1给出了霍普夫幂马尔可夫链平稳分布的显式公式，其来源于霍普夫代数的代数结构。
• 商代数的构造表明，链上的某些统计量（如牌堆洗牌中的下降集）本身也是马尔可夫链（定理4.7.1）。
• 对于四张牌的牌堆洗牌链，转移矩阵被显式计算为一个16×16的矩阵，缩放因子为1/16，其特征函数由拟对称函数导出。
• n=4时牌堆洗牌链的右特征函数由一个矩阵表示，其列对应基本拟对称函数，数值涉及循环型与对称函数系数。
• 左特征函数为右特征函数的对偶，通过特征标与丝带函数显式计算，最大特征值对应的特征空间基由正则表示给出。
• n=4时牌堆洗牌链的完整特征基被计算：左特征函数包括符号特征标、标准特征标与对称函数，其在4的所有组合上均有显式取值。