[論文レビュー] 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 を研究する。2つの明示的因数分解 ν_O = π^T π を用いて、ν_O が自己随伴かつ半正定値であることを証明し、特に ν_{(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,1^{n−k})} の作用素族が互いに可換であり、整数固有値をもつことを証明すること。また、それらが整数固有値をもつと予想すること。
• これらの結果を ν_{(2^k,1^{n−2k})} の族に拡張し、表現論を用いて同時固有空間の構造を調査すること。

提案手法

• W 内の w に対して O-非反転数を数える新しい統計量 noninv_O(w) を定義し、古典的反転数を一般化する。
• 群代数元 ∑_{w∈W} noninv_O(w) · w を用いた右乗算として作用素 ν_O を構成する。
• 反射超平面の配置を再解釈することで ν_O を幾何学的に解釈し、チャネル上のマルコフ連鎖に対応することを示す。
• 2つの明示的因数分解 ν_O = π^T π を提供する。1つは線形順序多面体への射影に関連し、もう1つは Bidigare-Hanlon-Rockmore のランダムウォークに関連する。
• 表現論を用いて、O がランク1のパラボリック部分群に対応する場合に ν_O が整数固有値をもつことを示す。
• 𝔖_n の Gelfand モデルの存在を活用し、ν_{(2^k,1^{n−2k})} の族が可換であり、整数固有値をもつことを示す。

実験結果

リサーチクエスチョン

• RQ1 k=1,…,n に対して ν_{(k,1^{n−k})} の作用素が互いに可換であるか？
• RQ2 これらの作用素 ν_{(k,1^{n−k})} は整数固有値しか持たないか？
• RQ3 対称化シャッフル作用素 ν_O は π^T π の形に因数分解可能か？また、π の幾何学的または確率的意味は何か？
• RQ4 パラボリック部分群の共轭類 O のうち、ν_O が自己随伴かつ半正定値であるのはどの場合か？
• RQ5 W=𝔖_n に対して、ν_{(k,1^{n−k})} および ν_{(2^k,1^{n−2k})} の族以外に、可換な ν_O の作用素族は存在するか？

主な発見

• k=1,…,n に対して ν_{(k,1^{n−k})} の作用素族が、数え上げ的証明により互いに可換である。
• 各作用素 ν_{(k,1^{n−k})} は、0/1行列 π を用いて ν_{(k,1^{n−k})} = π^T π と因数分解可能であり、これにより対称的かつ半正定値であることが示される。
• 特別な場合 ν_{(n−1,1)} はランダム・トゥ・ランダム・シャッフル作用素に対応し、π がランダム・トゥ・トップ・シャッフル行列である形で π^T π に因数分解される。
• 行列 (inv(στ^{-1}))_{σ,τ∈𝔖_n} は、ランク1のパラボリック共轭類に関する一般結果の帰結として、整数固有値をもつ。
• 族 ν_{(2^k,1^{n−2k})} に対しても可換であり、整数固有値をもつ。これは 𝔖_n に Gelfand モデルが存在するからである。
• 本論文は、これら2つの族および自明な場合を除き、W=𝔖_n に対して他の任意の ν_O のペアが可換でないことを予想している。