[論文レビュー] A symmetry property for q-weighted Robinson-Schensted algorithms and other branching insertion algorithms

Yuchen Pei|arXiv (Cornell University)|Jun 10, 2013

Random Matrices and Applications参考文献 14被引用数 5

ひとこと要約

本稿は、q重み付きロビンソン＝シュナイダースアルゴリズムに対称性の性質を確立し、標準RSアルゴリズムの古典的対称性を一般化する。一般化された成長図フレームワークを用いて、特定の重み関数を伴う分岐挿入ルールによって定義されるq重み付き列挿入および行挿入アルゴリズムが、置換の逆転に類似した双対性を満たすことを証明する。これは、可積分確率および表現論への応用を持つq変形された設定に既知の結果を拡張する。

ABSTRACT

In O'Connell-Pei(2013) a q-weighted version of the Robinson-Schensted algorithm was introduced. In this paper we show that this algorithm has a symmetry property analogous to the well known symmetry property of the normal Robinson-Schensted algorithm. The proof uses a generalisation of the growth diagram approach introduced by Fomin(1979,1986,1994,1995). This approach, which uses "growth graphs", can also be applied to a wider class of insertion algorithms which have a branching structure, including some of the other q-weighted versions of the Robinson-Schensted algorithm which have recently been introduced by Borodin-Petrov(2013).

研究の動機と目的

• 本稿の目的は、標準RSアルゴリズムの古典的対称性に類似した、q重み付きロビンソン＝シュナイダースアルゴリズムにおける対称性の性質を確立することである。
• Fominの成長図技術を、q変形された重みを伴うより広いクラスの分岐挿入アルゴリズムに一般化することを目的とする。
• 近年の可積分確率および確率的力学系の発展において中心的役割を果たす、RSアルゴリズムのq変形版における対称性に関する結果の欠如に対処することである。
• 本研究の目的には、列挿入および行挿入の両方のq重み付き挿入アルゴリズムが、統一された枠組みの下で同一の対称性を満たすことを証明することを含む。

提案手法

• 本稿は、Fominの枠組みを拡張し、q変形された重みを伴う分岐挿入アルゴリズムを扱えるように一般化された成長図アプローチを採用する。
• 初期（w0）、ハイレベル（w1）、ローレベル（w2）の3つの重み関数を用いて分岐挿入アルゴリズムを定義し、挿入中の形状遷移を支配する。
• 対称性は、重み関数に関する十分条件の検証によって証明される：文字挿入における不変性（条件iiiおよびiv）、および挿入順序に伴う形状の一貫性（iおよびii）。
• 成長グラフのルールを用いて挿入ステップを符号化し、箱内に「X」が存在するか否かが、入力列における特定の位置に対応する。
• 証明は、入力の逆転に対して出力テーブルラのペアが入れ替わるような対称的成長グラフを構築することに依存し、これにより古典的RS対称性を模倣する。
• この枠組みは、[OP13]の列挿入（q重み付き）および[BP13]の行挿入（q重み付き）の両方のアルゴリズムに適用され、両者とも対称性の性質を満たすことが示された。

実験結果

リサーチクエスチョン

• RQ1 q重み付きロビンソン＝シュナイダースアルゴリズム（列挿入）は、古典的RSアルゴリズムに類似した対称性の性質を満たすか？
• RQ2 Fominの成長図技術は、q変形された重みを伴う分岐挿入アルゴリズムを扱えるように一般化可能か？
• RQ3 [BP13]で導入されたq重み付き行挿入アルゴリズムも、それと同様に同じ対称性の性質を示すか？
• RQ4 広いクラスの分岐挿入アルゴリズムにおいて、対称性の性質を保証する重み関数の十分条件は何か？
• RQ5 q重み付きアルゴリズムは古典的RSダイナミクスとどのように関係し、入力の逆転においても双対性などの主要な構造的性質を保持するか？

主な発見

• q重み付きロビンソン＝シュナイダースアルゴリズム（列挿入）は、入力語の逆転によって出力テーブルラペアが入れ替わるという対称性の性質を満たす。これは古典的RSアルゴリズムと同一である。
• 同様に、[BP13]で導入されたq重み付き行挿入アルゴリズムに対しても、入力の逆転における双対性が成立する。
• 重み関数（w0, w1, w2）の3つを用いた十分条件が導出され、挿入における不変性および形状の一貫性の性質が保証される。
• 成長図フレームワークはq変形された分岐アルゴリズムへも成功裏に一般化され、複数のq重み付き変種における対称性の統一的証明を可能にする。
• BP13の行挿入アルゴリズムの重み関数は、対称性の条件を満たしており、逆転における双対性が確認された。
• この枠組みは、Gelfand-Tsetlinパターン上の他のq変形ダイナミクスにも適用可能であり、特に長距離相互作用を伴う「q-Whittaker多変数ダイナミクス」なども、同様に対称性の性質を示す。