[論文レビュー] Study of Gram Matrices in Fock Representation of Multiparametric Canonical Commutation Relations, Extended Zagier's Conjecture, Hyperplane Arrangements and Quantum Groups

Stjepan Meljanac, Dragutin Svrtan|ArXiv.org|Apr 26, 2003

Random Matrices and Applications参考文献 10被引用数 3

ひとこと要約

本稿は、多パrameter化された正準交換関係のFock表現におけるグラム行列の逆行列問題を完全に解決し、Zagierの予想を多パrameter化した場合にまで拡張する。著者らは、分割ラティスにおける最大鎖を用いた新しいラティスベースのアルゴリズムを導入し、明示的な行列式および逆行列の公式を導出。これにより、元のZagier予想の反例が構成され、一般のパラメータ集合に対して|q_ij| < 1 が成り立つ場合に有効な、新たな最適な定式化—拡張Zagier予想—が得られる。

ABSTRACT

In this Colloqium Lecture (by one of the authors (D.S)) a thorough presentation of the authors' research on the subjects, stated in the title, is given. By quite laborious mathematics it is explained how one can handle systems in which each Heisenberg commutation relation is deformed separately. For Hilbert space realizability a detailed determinant computations (extending Zagier's one-parameter formulas) are carried out. The inversion problem of the associated Gram matrices on Fock weight spaces is completely solved (Extended Zagier's conjecture) and a counterexample (for $n=8$) to the original Zagier's conjecture is presented in detail.

研究の動機と目的

• 多パrameter化された正準交換関係のヒルベルト空間実現可能性を、明示的な行列式および逆行列計算を通じて解明すること。
• Zagierの1パラメータ行列式公式を、一般の多パrameter化状況にまで拡張すること。
• 関連するFock重み空間上のグラム行列の逆行列問題を解き、Zagier予想の精密化版を導出すること。
• 元のZagier予想が逆行列の分母構造に関して正しいと仮定するが、その反例を提示すること。
• 導出された公式を、判別超平面配置の量子双線形形式および量子群における対変換形式への応用すること。

提案手法

• 著者らは、非可換多項式上での多パrameter化クオン代数のFockに類似した表現を用い、q-変形された偏微分作用素を介して生成および消滅作用素を定義する。
• 自由代数上に量子双線形形式(·,·)_qを定義し、すべてのi,jに対して|q_ij| < 1 が成り立つとき、その正定倣性を証明する。
• グラム行列A_n({q_ij})は、Qが対角行列でTが巡回行列表現である(1 - QT)^±1 形式の行列の積に分解される。
• ラティス理論的アプローチを採用し、分割ラティスにおける最大鎖を用いて、逆行列の成分を効率的に計算する。
• 逆行列成分は高速アルゴリズム（命題2.2.16）により計算可能であり、これにより大きなnに対しても明示的公式が得られる。
• グラム行列がU_q(n_-)における量子双線形形式および対変換形式と関連することを示し、判別超平面配置および量子群への応用を展開する。

実験結果

リサーチクエスチョン

• RQ1 パラメータq_ijがどのような条件下で、グラム行列A_n({q_ij})が正定倣となり、多パrameter化交換関係のヒルベルト空間実現が保証されるか？
• RQ2 Zagierの1パラメータ行列式公式が、|q_ij| < 1 を満たす任意の複素数パラメータq_ijを有する多パrameter化状況に一般化可能か？
• RQ3 一般状況下でのグラム行列A_n({q_ij})の逆行列の正確な構造は何か？ また、Zagierが予想した形と一致するか？
• RQ4 元のZagier予想が多パrameter化状況における逆行列成分の分母構造に関して正しくない場合の反例は存在するか？
• RQ5 導出された行列式および逆行列公式は、R^n内における超平面の判別配置の量子双線形形式および量子群における対変換形式にどのように応用可能か？

主な発見

• すべてのi,jに対して|q_ij| < 1 が成り立つ限り、すべてのnに対してグラム行列A_n({q_ij})は正定倣となり、多パrameter化交換関係のヒルベルト空間実現が保証される。
• 新しい行列式公式（定理1.9.2）が導出され、Zagierの1パラメータ結果が多パrameter化状況に明示的に一般化される。A_n({q_ij})は(1 - QT)^±1 行列の積に分解される。
• すべてのq_ij = q であるn=8の場合に、元のZagier予想の反例が構成され、逆行列の分母構造が予想された形と一致しないことが示された。
• 拡張Zagier予想が定式化され、多パrameter化状況における最適な形として証明され、逆行列成分の正しい構造が得られた。
• 逆行列成分は効率的アルゴリズム（命題2.2.16）により計算可能であり、一般状況下での逆行列の明示的公式（定理2.2.17）が得られた。
• R^n内における超平面の判別配置の量子双線形形式B_nは、A^{12...n}({q_ij})と一致することが示され、導出された行列式および逆行列公式の直接的応用が可能となった。