[論文レビュー] Probabilistic measures and algorithms arising from the Macdonald symmetric functions

Jason Fulman|ArXiv.org|Dec 9, 1997

Advanced Combinatorial Mathematics参考文献 22被引用数 15

ひとこと要約

この論文は、マクドナルド対称関数から導かれる整数分割上の確率的測度を導入し、これらの測度に従って分割を成長させるためのアルゴリズムを提示する。ハリ・リトルウッド多項式を通じて有限古典群と接続し、ケロフの q フックウォークを一般化し、条件付きバージョンのアルゴリズムが彼のプランシュレル測度の q 同型を再現することを示す。遷移確率の明示的公式は、対称関数の恒等式および特化恒等式を用いて得られる。

ABSTRACT

The Macdonald symmetric functions are used to define measures on the set of all partitions of all integers. Probabilistic algorithms are given for growing partitions according to these measures. The case of Hall-Littlewood polynomials is related to the finite classical groups, and the corresponding algorithms simplify. The case of Schur functions leads to a $q$-analog of Plancharel measure, and a conditioned version of the corresponding algorithms yields generalizations of the hook walk of combinatorics.

研究の動機と目的

• マクドナルド対称関数を用いて整数分割上の確率測度を定義すること。
• これらの測度に従って分割を成長させるための確率的アルゴリズムを開発すること。
• ハリ・リトルウッド多項式を介して、測度を有限古典群と結びつけること。
• アルゴリズム的枠組みを用いてケロフの q フックウォークを一般化すること。
• シュール関数へと結果を拡張し、プランシュレル測度の q 同型を導出すること。

提案手法

• パrameters x, y, q, t を用いた特化されたマクドナルド対称関数を用いて、分割上の測度を定義する。
• 対称関数の恒等式から導かれる遷移確率を用いて、箱を追加することで段階的に分割を構築する確率的成長アルゴリズムを構築する。
• ピエリの公式および主特化恒等式を用いて、分割間の遷移ルールを導出する。
• ハリ・リトルウッド多項式に特化することで、アルゴリズムを簡略化し、GL(n,q) およびユニタリ群における共役類と関連付ける。
• GL(n,q) の場合の効率的なサンプリングのため、ヤング盤のアルゴリズムを適用する。
• 主特化公式および h(s), n(λ), maj(T) を含む恒等式を用いて、正規化された重みを計算する。

実験結果

リサーチクエスチョン

• RQ1 マクドナルド対称関数は、整数分割上の確率測度をどのように定義できるか？
• RQ2 これらの測度に従って分割を成長させる確率的アルゴリズムは何か。また、それらは対称関数論とどのように関係するか？
• RQ3 ハリ・リトルウッド多項式に対する測度は、有限古典群における共役類とどのように関連するか？
• RQ4 このアルゴリズムは、ケロフのプランシュレル測度の q 同型に対するフックウォークをどのように回復するか？
• RQ5 本研究で導かれたプランシュレル測度の q 同型と、ケロフの元々の q フックウォークとの関係は何か？

主な発見

• マクドナルド対称関数を用いた分割の成長アルゴリズムは、対称関数論におけるピエリの法則と一致する遷移確率を生成する。
• ハリ・リトルウッド多項式の場合、測度は GL(n,q) における共役類型の分布に正確に一致し、群論的構成から導かれた明示的公式が得られる。
• ヤング盤のアルゴリズムにより、GL(n,q) の場合のサンプリングが、盤に基づく遷移メカニズムを用いて簡略化される。
• 本研究で導かれたプランシュレル測度の q 同型は、分割 (2) に質量 q²/(q²+1) を割り当てており、ケロフの q 同型（質量 1/(q+1)）とは異なる。
• すべての N に対して n_N = 1 と設定すると、第 5 節のアルゴリズムは、遷移確率における恒等式照合により、ケロフの q フックウォークを正確に再現する。
• 本論文は、シュール関数の特化における分割の正規化された重みが、q^{n(λ)} と、各箱 s における (1 - q^{h(s)})^{-1} の積に等しく、プランシュレル測度の q 同型が得られることを確立している。