[論文レビュー] A generalization of Foata's fundamental transformation and its applications to the right-quantum algebra

Matjaž Konvalinka|ArXiv.org|Mar 7, 2007

Algebraic structures and combinatorial models参考文献 7被引用数 6

ひとこと要約

この論文は、非可換な設定へフォアタの基本的変換を一般化し、右量子線形代数における主要な恒等式の新しい証明を可能にする組合せ的枠組みを導入する。一般化された右量子マクマヘン・マスター定理、右量子ヤコビ比定理、右量子行列の逆行列公式の新しい組合せ的証明を確立し、ディクソン型恒等式や対称和の母関数への応用を含む。

ABSTRACT

The right-quantum algebra was introduced recently by Garoufalidis, Lê and Zeilberger in their quantum generalization of the MacMahon master theorem. A combinatorial proof of this identity due to Konvalinka and Pak, and also the recent proof of the right-quantum Sylvester's determinant identity, make heavy use of a bijection related to the first fundamental transformation on words introduced by Foata. This paper makes explicit the connection between this transformation and right-quantum linear algebra identities; applications include a new combinatorial proof of the right-quantum matrix inverse theorem, and two new results, the right-quantum Jacobi ratio theorem and a generalization of the right-quantum MacMahon master thorem.

研究の動機と目的

• 右量子線形代数に関連する非可換代数へフォアタの基本的変換を拡張すること。
• 右量子設定における恒等式を証明する統一的な組合せ的枠組みを提供すること。
• 一般化された右量子マクマヘン・マスター定理や右量子ヤコビ比定理を含む新しい結果を導出すること。
• 右量子行列の逆行列公式の新しい組合せ的証明を提示すること。
• 一般化されたマスター定理の結果としてディクソン風の恒等式を確立すること。

提案手法

• 非可換変数の語に対する一般化された変換を導入し、フォアタの第一基本的変換を拡張する。
• 行列の成分をラベル付きステップを持つ格子路として図式化することで、代数的表現をモデル化する。
• 置換πに関して順序付きおよび逆順序付きの列を定義し、変数の順序を制御し、符号を追跡する。
• 経路列に対する符号反転の対合を適用し、アンバランスな項をキャンセルし、バランスの取れた項に集約する。
• （I - XA）の小行列式を含む行列式の恒等式を用いて生成関数を導出し、古典的結果を非可換な場合に一般化する。
• 経路のタイプに関する再帰的構造を用いて生成関数の係数を計算し、主要な定理に至る。

実験結果

リサーチクエスチョン

• RQ1 フォアタの基本的変換は、右量子行列の恒等式を証明するために非可換代数へ一般化可能か？
• RQ2 右量子マクマヘン・マスター定理の背後にある組合せ的構造は何か。さらに一般化可能か？
• RQ3 右量子ヤコビ比定理の類似物は存在するか。そして、組合せ的に証明可能か？
• RQ4 この一般化された変換を用いて、右量子行列の逆行列公式を再証明可能か？
• RQ5 一般化されたマスター定理から生じる対称和は何か。そして、明示的に評価可能か？

主な発見

• 本論文は、次数がゼロのベクトルdを伴う非可換設定へ一般化された右量子マクマヘン・マスター定理（定理6.1）を証明した。
• 新しい右量子ヤコビ比定理（定理5.2）が確立され、古典的ヤコビ比恒等式の非可換一般化を提供する。
• 右量子行列の逆行列公式（定理4.1）の新しい組合せ的証明が与えられ、非対角成分での量子関係が成り立つ場合でさえ有効である。
• 一般化されたマスター定理は、ディクソン風の恒等式を含意する：n = 2mのとき、∑(-1)^i * binom(n,i-1)*binom(n,i)*binom(n,i+1) は 2(-1)^m * binom(2m,m-1)*binom(3m,m-1) に等しく、nが奇数のときは0に等しい。
• 型(p;r)でp = r + dである経路の和の生成関数f_A(d)は、(I - XA)の小行列式の有理関数として計算可能であり、アルゴリズムによる評価が可能となる。
• 可換行列のf_A(d)を計算するためのMathematicaパッケージgenmacmahon.mが提供されており、非可換な場合への拡張も可能である。