[論文レビュー] Bosonic formulas for (k,l)-admissible partitions

Boris Feigin, M. Jimbo+3 more|ArXiv.org|Jul 6, 2001

Advanced Mathematical Identities参考文献 2被引用数 4

ひとこと要約

本稿では、q-差分行列方程式を解くことにより、(k,l)-適応的分割の母関数のボソン的表現を導出する。主な結果は、(l−1)重級数からなる有限和の表現であり、各項はqおよびzに関する有理関数として記述され、指数および分母の明示的公式が与えられる。

ABSTRACT

Bosonic formulas for generating series of partitions with certain restrictions are obtained by solving a set of linear matrix q-difference equations. Some particular cases are related to combinatorial problems arising from solvable lattice models, representation theory and conformal field theory.

研究の動機と目的

• 無限体積極限における(k,l)-適応的分割の母関数に対する閉形式のボソン的公式を導出すること。
• 整数列に対する線形制約で定義される(k,l)-適応的分割の組合せ的構造を解明すること。
• 不等式 (1.1) で定義される多面体の極値点と、それらの再帰的関係による変化に基づく手法の構築。
• 母関数において指数的に多くの項が相殺されることの背後にあるメカニズムを説明すること。
• q-差分方程式と多面体内における極値的構成の構造との間の関係を確立すること。

提案手法

• 制約 (1.1) および (2.1) を満たす(k,l)-配置の和として母関数 χ_{k,l}^{(N)}(q,z) を定式化する。
• 左端に x₀ を追加する再帰を導入し、境界条件を保つことで、q-差分行列方程式を導出する。
• N-多面体の極値点から (N+1)-多面体の極値点を、新たな極値的構成を生成する作用素 A および B を用いて構成する。
• 母関数内の単項式同士の相殺メカニズムを用い、符号が逆の項のペアが相殺されることを活用する。
• 帰納法およびベクトル成分の追跡を用いて、作用素 A および B の作用下での単項式の変化を解析し、特に (↑, ↓) の重要な点における挙動に注目する。
• 最終的な結果を、各項が (-1)^α q^β z^γ / [(q)_{t₂}⋯(q)_{t_l} (q^{∑_{c=2}^l t_c} z)_∞] の形をとる (l−1) 重級数の有限和として表現する。ここで α, β, γ は明示的な式で与えられる。

実験結果

リサーチクエスチョン

• RQ1 無限体積極限において、(k,l)-適応的分割の母関数を閉形式のボソン的表現でどのように表すことができるか？
• RQ2 極値点展開において、指数的に多くの項が相殺され、結果として多項式的数の項しか残らないメカニズムは何か？
• RQ3 左端への挿入 (x₀) を根拠とする再帰的関係が、解ける q-差分行列方程式をどのように導くか？
• RQ4 ペアリング機構によって相殺された後の残存する項の正確な構造は何か？
• RQ5 母関数内の単項式のベクトル部およびスカラー部は、作用素 A および B の作用下でどのように変化するか？

主な発見

• 母関数 χ_{k,l}(q,z) は、(l−1) 重級数の有限和として表現され、各項は q および z に関する有理関数である。
• 最終的な公式は ∑ (-1)^α q^β z^γ / [(q)_{t₂}⋯(q)_{t_l} (q^{∑_{c=2}^l t_c} z)_∞] の形をとり、α, β, γ は t_c, m_c, μ_c を用いて明示的に表される。
• 指数 α は α = n − t₁ + ∑_{c=1}^l m_c で与えられ、ここで n は総作用素数、t_c は色 c のブロックの総長、m_c は色 c のブロック数である。
• 指数 β は β̄ = n m₁ + ½ ∑_{c=2}^l t_c(t_c + 1) − ∑_{c=1}^l μ_c で与えられ、ここで μ_c = ∑_{i:C_i=B_c} (n−i+1) である。
• 指数的に増加する極値的構成の集合が、非自明な相殺メカニズムにより有限和に簡略化されることに成功した。
• 相殺メカニズムの完全な理解は得られていないが、符号が逆の単項式ペアの相殺が、帰納法およびベクトル成分の追跡によって体系的に行われることを示した。