[論文レビュー] A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations)

Manuel Kauers, Christoph Koutschan+1 more|ArXiv.org|Aug 5, 2008

Advanced Combinatorial Mathematics参考文献 12被引用数 6

ひとこと要約

本稿では、完全対称平面分割の生成関数の q-アナログを定式化する q-TSPP 予想の証明を、行列式評価と証明書ベースの検証に依拠する記号計算的手法を用いて提示する。主な結果は、ホロノミック関数とコンピュータ代数システムを用いて、岡田宗一が提唱した行列式恒等式を検証することで、有限個の単純な計算に還元されたきめ細やかな証明である。

ABSTRACT

In the historic conference Combinatoire Enumerative[LL] wonderfully organized by Gilbert Labelle and Pierre Leroux there were many stimulating lectures, including a very interesting one by Pierre Leroux himself, who talked about his joint work with Xavier Viennot[LV], on solving differential equations combinatorially! During the problem session of that very same colloque, chaired by Pierre Leroux, Richard Stanley raised some intriguing problems about the enumeration of plane partitions, that he later expanded into a fascinating article[Sta1]. Most of these problems concerned the enumeration of symmetry classes of plane partitions, that were discussed in more detail in another article of Stanley[Sta2]. All of the conjectures in the latter article have since been proved (see Dave Bressoud's modern classic[B]), except one, that, so far, resisted the efforts of the greatest minds in enumerative combinatorics. It concerns the proof of an explicit formula for the q-enumeration of totally symmetric plane partitions, conjectured independently by George Andrews and Dave Robbins([Sta2],[Sta1](conj. 7), [B](conj. 13)). In this tribute to Pierre Leroux, we describe how to prove that last stronghold.

研究の動機と目的

• 数十年にわたり証明が困難であった、完全対称平面分割の生成関数の q-アナログである q-TSPP 予想を解決すること。
• 予想が記号計算技術を用いて特定の行列式恒等式の検証に還元できることを示すこと。
• ホロノミック関数と再帰関係を用いて、組合せ的行列式恒等式を形式的に証明可能な問題に変換するフレームワークを提供すること。
• 現代のコンピュータ代数システムを用いた完全な厳密証明への道筋を確立すること、ただし現在は計算の実行可能性に依存していること。

提案手法

• 岡田宗一による還元法を用いて、q-TSPP 予想を行列式恒等式の証明に還元する。
• 証明書ベースの行列式評価法を採用し、関数 $ B(n,j) $ が3つの条件（岡田の再帰関係、正規化、岡田の評価恒等式）を満たすように提案する。
• ホロノミックアプローチを用いて $ B(n,j) $ をホロノミック列として記述し、記号的変形と再帰に基づく検証を可能にする。
• 行列式検証問題を、$ f_n(x) = \sum_j C(n,j)x^j $ という2変数母関数における定数項恒等式に変換する。ここで $ C(n,j) = B(n,n-j) $ である。
• 検証条件を $ (n,x) $ における微分差分方程式に再定式化し、非可換グレブナー基底を用いて変数を消去し、消滅作用素を求める。
• 現在のソフトウェアで扱えるようにするため、再帰関係と微分作用素を組み合わせたハイブリッド連続離散的手法を提案する。

実験結果

リサーチクエスチョン

• RQ1 記号計算を用いて、q-TSPP 予想を有限個の単純な計算チェックに還元できるか？
• RQ2 Soichi の再帰、正規化、Okada の評価条件を満たす証明書関数 $ B(n,j) $ が存在するか？
• RQ3 行列式評価を、生成関数 $ f_n(x) $ における定数項恒等式に変換できるか？これによりアルゴリズム的検証が可能になるか？
• RQ4 現代のコンピュータ代数システムを用いた行列式恒等式の検証に最も効率的な計算戦略は何か？
• RQ5 微分差分作用素を用いたハイブリッド連続離散的手法は、現在の技術で完全な厳密証明に到る道筋を提供できるか？

主な発見

• q-TSPP 予想は、有限個の単純な計算に還元されたきめ細やかな証明として成立し、完全対称平面分割の生成関数 $ \prod_{1\leq i\leq j\leq k\leq n} \frac{1-q^{i+j+k-1}}{1-q^{i+j+k-2}} $ が得られた。
• 行列式恒等式 $ \det(a(i,j))_{1\leq i,j\leq n} = \prod_{1\leq i\leq j\leq k\leq n} \left( \frac{1-q^{i+j+k-1}}{1-q^{i+j+k-2}} \right)^2 $ が、岡田の還元法により q-TSPP 予想と同値であることが示された。
• 証明書関数 $ B(n,j) $ が、Soichi の再帰、正規化、Okada の評価を満たすならば、行列式恒等式の正しさが保証される。
• 問題は、ホロノミック関数論を用いたアルゴリズム的検証が可能な生成関数 $ f_n(x) $ における定数項恒等式に再定式化された。
• 微分作用素と再帰関係を組み合わせた連続離散的手法は、現在のソフトウェアで完全な厳密証明に到る現実的な道筋を提供するが、計算コストは依然として高い。
• 著者らは、証明は現在は半厳密的ではあるが、外部的実存的懸念のリスクと比較して誤りの確率は無視できるほど低く、個人誌および arXiv への掲載を正当化すると結論づけた。