[论文解读] Spectra of Symmetrized Shuffling Operators

Victor Reiner, Franco Saliola+1 more|arXiv (Cornell University)|Feb 11, 2011

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

一句话总结

本文引入了有限实反射群 W 中元素 w 的广义反演统计量 noninv_O(w)，并研究了群代数 ℂW 中相关的对称化洗牌算子 ν_O。证明了 ν_O 是自伴且半正定的，通过两种显式分解 ν_O = π^T π 实现；并表明某些此类算子族——特别是 ν_{(k,1^{n−k})} 和 ν_{(2^k,1^{n−2k})}——彼此对易且具有整数谱，推广了关于随机到随机洗牌的已知结果，并提供了一类新的对易且具有整数谱的算子。

ABSTRACT

(Abridged abstract) For a finite real reflection group W and a W-orbit O of flats in its reflection arrangement---or equivalently a conjugacy class of its parabolic subgroups---we introduce a statistic on elements of W. We then study the operator of right-multiplication within the group algebra of W by the element whose coefficients are given by this statistic. We reinterpret the operators geometrically in terms of the arrangement of reflecting hyperplanes for W. We show that they are self-adjoint and positive semidefinite. via two explicit factorizations into a symmetrized form A^t A. In one such factorization, A is a generalization of the projection of a simplex onto the linear ordering polytope. In the other factorization, A is the transition matrix for one of the well-studied Bidigare-Hanlon-Rockmore random walks on the chambers of an arrangement. We study the family of operators in which O is the conjugacy classes of Young subgroups of type (k,1^{n-k}). A special case within this family is the operator corresponding to random-to-random shuffling. We show in a purely enumerative fashion that these operators pairwise commute. We furthermore conjecture that they have integer spectrum, generalizing a conjecture of Uyemura-Reyes for the case k=n-1. We use representation theory to show that if O is a conjugacy class of rank one parabolics in W, the corresponding operator has integer spectrum. Our proof makes use of an (apparently) new family of twisted Gelfand pairs for W. We also study the family of operators in which O is the conjugacy classes of Young subgroups of type (2^k,1^{n-2k}). Here the construction of a Gelfand model for the symmetric group shows that these operators pairwise commute and that they have integer spectrum. For the symmetric group, we conjecture that apart from the two commuting families above, no other pair of operators of this form commutes.

研究动机与目标

• 理解为何与排列统计相关的某些组合矩阵对易且具有整数特征值。
• 将经典反演统计量推广至反射排列中 W-轨道的平面的新型统计量 noninv_O(w)。
• 研究由该统计量定义的 ℂW 中右乘法算子 ν_O，并证明其为自伴且半正定。
• 证明算子族 ν_{(k,1^{n−k})}（k=1,…,n）两两对易，并推测其具有整数谱。
• 将这些结果推广至算子族 ν_{(2^k,1^{n−2k})}，并通过表示理论探索其公共特征子空间的结构。

提出的方法

• 定义一种新统计量 noninv_O(w)，用于计算 W 中 w 的 O-非反演数，推广经典反演计数。
• 通过群代数元素 ∑_{w∈W} noninv_O(w) · w 在 ℂW 中定义算子 ν_O 为右乘法。
• 通过反射超平面排列重新解释 ν_O 的几何意义，表明其对应于房间上的马尔可夫链。
• 提供两种显式分解 ν_O = π^T π，一种涉及线性序多面体上的投影，另一种与 Bidigare-Hanlon-Rockmore 随机游走相关。
• 利用表示理论证明当 O 对应于秩一抛物子群时，ν_O 具有整数谱。
• 借助 𝔖_n 的 Gelfand 模型，证明算子族 ν_{(2^k,1^{n−2k})} 对易且具有整数谱。

实验结果

研究问题

• RQ1 算子 ν_{(k,1^{n−k})}（k=1,…,n）是否两两对易？
• RQ2 这些算子 ν_{(k,1^{n−k})} 是否仅有整数特征值？
• RQ3 对称化洗牌算子 ν_O 是否可分解为 π^T π 的形式（对某个矩阵 π），其几何或概率意义为何？
• RQ4 对于抛物子群的哪些共轭类 O，ν_O 是自伴且半正定的？
• RQ5 除了 ν_{(k,1^{n−k})} 和 ν_{(2^k,1^{n−2k})} 外，是否存在其他在 W=𝔖_n 中对易的 ν_O 算子族？

主要发现

• 算子族 ν_{(k,1^{n−k})}（k=1,…,n）两两对易，证明基于枚举论证。
• 每个算子 ν_{(k,1^{n−k})} 可分解为 ν_{(k,1^{n−k})} = π^T π 的形式，其中 π 为 0/1 矩阵，证明其对称且半正定。
• 特殊情况 ν_{(n−1,1)} 对应该随机到随机洗牌算子，其分解为 π^T π，其中 π 为随机到顶部洗牌矩阵。
• 矩阵 (inv(στ^{-1}))_{σ,τ∈𝔖_n} 具有整数谱，作为秩一抛物子群共轭类的一般结果的推论。
• 算子族 ν_{(2^k,1^{n−2k})} 同样对易且具有整数谱，归因于 𝔖_n 存在 Gelfand 模型。
• 本文推测，除上述两类算子族及平凡情形外，𝔖_n 中不存在其他成对对易的 ν_O 算子。