[論文レビュー] Software modules and computer-assisted proof schemes in the Kontsevich deformation quantization

Ricardo Buring, Arthemy V. Kiselev|arXiv (Cornell University)|Feb 2, 2017

Advanced Topics in Algebra参考文献 27被引用数 9

ひとこと要約

本稿では、Kontsevichの変形量子化を $α^4$ 階まで自動化するためのソフトウェアモジュールを導入し、重み付きグラフの体系的生成、未定係数を用いた非可換 $∗$-積の展開、グラフ重み間の線形関係の導出を可能にする。主な貢献は、82個の未知数の重みをたった10パラメータ（ゲージ同値を modulo に含む6つ）にまで削減することであり、$ί(α^4)$ までの一貫性の確認をコンピュータ支援で行う証明戦略を提示する。

ABSTRACT

The Kontsevich deformation quantization combines Poisson dynamics, noncommutative geometry, number theory, and calculus of oriented graphs. To manage the algebra and differential calculus of series of weighted graphs, we present software modules: these allow generating the Kontsevich graphs, expanding the noncommutative $\star$-product by using a priori undetermined coefficients, and deriving linear relations between the weights of graphs. Throughout this text we illustrate the assembly of the Kontsevich $\star$-product up to order 4 in the deformation parameter $\hbar$. Already at this stage, the $\star$-product involves hundreds of graphs; expressing all their coefficients via 149 weights of basic graphs (of which 67 weights are now known exactly), we express the remaining 82 weights in terms of only 10 parameters (more specifically, in terms of only 6 parameters modulo gauge-equivalence). Finally, we outline a scheme for computer-assisted proof of the associativity, modulo $\bar{o}(\hbar^4)$, for the newly built $\star$-product expansion.

研究の動機と目的

• Kontsevichの変形量子化における重み付きグラフの代数および微分計算を管理するための計算ツールを開発すること。
• 未定係数を用いて $α^4$ 階までの $∗$-積の構築を自動化すること。
• グラフ重み間の線形関係を導出し、未知数の数を82から10パラメータ（ゲージ同値を modulo に含む6つ）に削減すること。
• $α^4$ までの一貫性の $∗$-積のコンピュータ支援検証のためのフレームワークを確立すること。

提案手法

• 有向グラフからの組み合わせ的ルールを用いて、Kontsevichのグラフを体系的に生成するソフトウェアモジュールの実装。
• 各グラフに対して、事前に未定係数を含む非可換 $∗$-積を記号的計算で展開する。
• 変形手順における一貫性条件を課すことにより、グラフ重み間の線形関係を計算する。
• 導出された線形系を解くことにより、82個の未知数の重みを10パラメータに削減する。
• ゲージ同値の考慮を適用して、独立パラメータの数をさらに6つにまで削減する。
• $ί(α^4)$ までの一貫性を確認する戦略として、コンピュータ支援証明の枠組みを提示する。

実験結果

リサーチクエスチョン

• RQ1 Kontsevichの変形量子化における重み付きグラフの生成と操作を自動化するためのソフトウェアモジュールは、どのように設計できるか？
• RQ2 $α^4$ 階までの $∗$-積におけるグラフの未知重みを表現するための最小限のパラメータセットは何か？
• RQ3 グラフ重み間の線形関係は、どのように体系的に導出し、未知数の数を削減するために利用できるか？
• RQ4 $α^4$ までの一貫性の $∗$-積は、どの程度までコンピュータで検証可能か？
• RQ5 ゲージ同値は、変形における独立パラメータの数を最小化するために果たす役割は何か？

主な発見

• $α^4$ 階までの $∗$-積展開には、数百の重み付きグラフが関与し、係数は149個の基本的グラフ重みで表される。
• 149個の基本的グラフ重みのうち67個は正確に既知であり、残りの82個が未定の未知数である。
• 導出された線形関係により、82個の未知重みはたった10個の独立パラメータにまで削減される。
• ゲージ同値の適用によるさらなる削減により、独立パラメータの数は6つにまで制限される。
• このフレームワークにより、$ί(α^4)$ までの一貫性の $∗$-積のコンピュータ支援証明戦略が可能になる。
• ソフトウェアモジュールは、グラフに基づく変形量子化計算の複雑さに対処するスケーラブルなパイプラインを提供する。