[论文解读] Semigroups, rings, and Markov chains

Kenneth S. Brown|ArXiv.org|Jun 20, 2000

Advanced Combinatorial Mathematics参考文献 30被引用 48

一句话总结

该论文构建了一个环论框架，用于分析左正则带（LRBs）上的随机游走，LRBs 是一类满足 x² = x 和 xyx = xy 的有限半群。通过利用其一维不可约表示，作者证明了转移矩阵可对角化且具有实特征值，推导出特征值和特征子空间投影的显式公式，并表明重数为广义错排数。该方法导出了在分配格和拟阵上新的随机游走，包括 Tsetlin 图书馆的 q-类比。

ABSTRACT

We analyze random walks on a class of semigroups called ``left-regular bands''. These walks include the hyperplane chamber walks of Bidigare, Hanlon, and Rockmore. Using methods of ring theory, we show that the transition matrices are diagonalizable and we calculate the eigenvalues and multiplicities. The methods lead to explicit formulas for the projections onto the eigenspaces. As examples of these semigroup walks, we construct a random walk on the maximal chains of any distributive lattice, as well as two random walks associated with any matroid. The examples include a q-analogue of the Tsetlin library. The multiplicities of the eigenvalues in the matroid walks are ``generalized derangement numbers'', which may be of independent interest.

研究动机与目标

• 开发一种表示论方法，用于分析有限半群上的马尔可夫链，特别是当传统群表示理论不适用时的左正则带（LRBs）。
• 确立在 LRB 上的随机游走的转移矩阵可对角化且具有实特征值，克服了缺乏一般半群表示理论的局限。
• 使用环论和偏序集论工具，计算特征值、其重数以及到特征子空间的投影的显式公式。
• 构建新的随机游走示例，包括在分配格的最大链和拟阵上，与 Tsetlin 图书馆及 q-错排数相关联。
• 表明拟阵游走中的重数为广义错排数，将结果与代数组合学中感兴趣的组合不变量联系起来。

提出的方法

• 使用左正则带（LRBs）作为模型，其由恒等式 x² = x 和 xyx = xy 定义，以表示具有删除性质的半群，从而简化乘积运算。
• 应用环论技术分析 LRB 上随机游走的转移矩阵，利用所有不可约表示均为一维的特性。
• 将特征值表示为交集格中交集上权重的部分和，重数由 Möbius 函数值的绝对值给出。
• 通过半群及其理想（特别是分配格中的最大链）的结构，显式构造到特征子空间的投影。
• 使用旗 h-向量和 Möbius 反演，将重数表达为拟阵的平坦格组合数据的函数。
• 引入基于函数 γ(J) 的秩分组过程，将旗 h-向量的分量分组，以匹配在分次偏序集中相同秩的平坦集的重数。

实验结果

研究问题

• RQ1 当标准群表示理论不适用时，如何分析有限半群上的随机游走？
• RQ2 在何种条件下，半群上随机游走的转移矩阵可对角化且具有实特征值？
• RQ3 在拟阵和分配格上的随机游走中，特征值重数的组合解释是什么？
• RQ4 能否使用表示论方法将 Tsetlin 图书馆及其 q-类比推广到其他半群结构？
• RQ5 旗 h-向量和 Möbius 函数如何与拟阵平坦格上的随机游走谱性质相关联？

主要发现

• 在左正则带上的随机游走，其转移矩阵可对角化且具有实特征值，这一结果在缺乏一般半群表示理论的背景下具有非平凡性。
• 对交集格 L 中每个 X，特征值为 λ_X = ∑_{F⊆X} w_F，重数为 m_X = |μ(X,V)|，其中 μ 为 Möbius 函数。
• 对于由 n 个生成元生成的自由 LRB（含单位元），特征值为 λ_X = ∑_{i∈X} w_i（对每个子集 X⊆[n]），重数等于错排数。
• 在拟阵游走中，重数为广义错排数，即在特定指标集 J 上对旗 h-向量分量求和。
• 所有秩为 r 的平坦集的总重数等于 h_J(L) 对所有满足 γ(J) = r 的 J 的和，其中 γ(J) 通过 J 中初始连续整数段定义。
• 构造了 Tsetlin 图书馆的 q-类比，其中 q-错排数 d_n(q) 等于所有 S_n 中错排 π 的 q^{inv(π)} 之和。