[論文レビュー] 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）。
• 4枚のカードに対するリフル・シャッフル連鎖では、16×16行列として遷移行列が明示的に計算され、1/16倍のスケーリングが施されている。固有関数は準対称関数から得られる。
• n=4におけるリフル・シャッフル連鎖の右固有関数は、列が基本的準対称関数に対応する行列として与えられ、サイクル型と対称関数係数を含む値を持つ。
• 左固有関数は右固有関数の双対であり、特性およびリボン関数を用いて明示的に計算される。最大固有値の固有空間の基底は正則表現によって与えられる。
• n=4におけるリフル・シャッフル連鎖の完全な固有基底が計算された：左固有関数には符号特性、標準的特性、対称関数が含まれ、4のすべての組成に対して明示的な値が与えられる。