[论文解读] 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

一句话总结

本文在多参数福克表示下完整解决了格拉姆矩阵的反演问题，将扎吉尔猜想推广至多参数情形。通过引入一种基于格的新型算法，利用细分格中的极大链，作者推导出显式的行列式与逆矩阵公式，证明了对原始扎吉尔猜想的反例，并提出了一个新且最优的公式——扩展扎吉尔猜想——适用于所有满足 |q_ij| < 1 的一般参数集。

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.

研究动机与目标

• 通过显式计算行列式与逆矩阵，解决多参数对易关系在希尔伯特空间中的实现问题。
• 将扎吉尔的一参数行列式公式推广至一般多参数情形。
• 解决福克权空间上相关格拉姆矩阵的反演问题，从而得出扎吉尔猜想的改进版本。
• 为原始扎吉尔猜想关于逆矩阵分母形式的表述提供反例。
• 将推导出的公式应用于判别超平面排列的量子双线性形式及量子群中的余不变形式。

提出的方法

• 作者在非交换多项式上使用多参数夸翁代数的类福克表示，通过 q-变形偏导数定义产生与湮灭算符。
• 在自由代数上定义一个量子双线性形式 (·,·)_q，并证明当所有 i,j 满足 |q_ij| < 1 时，该形式正定。
• 格拉姆矩阵 A_n({q_ij}) 被分解为形如 (1 - QT)^±1 的矩阵乘积，其中 Q 为对角矩阵，T 为循环矩阵表示。
• 采用格论方法，利用细分格中的极大链高效计算逆矩阵的元素。
• 通过快速算法（命题 2.2.16）计算逆矩阵元素，即使在 n 较大时也能获得显式公式。
• 通过将格拉姆矩阵与 U_q(n_-) 中的量子双线性形式及余不变形式关联，将结果应用于判别超平面排列与量子群。

实验结果

研究问题

• RQ1 在何种参数 q_ij 条件下，格拉姆矩阵 A_n({q_ij}) 为正定，从而确保多参数对易关系在希尔伯特空间中的实现？
• RQ2 扎吉尔的一参数行列式公式能否推广至任意复参数 q_ij 满足 |q_ij| < 1 的多参数情形？
• RQ3 在一般情形下，格拉姆矩阵 A_n({q_ij}) 的逆矩阵的确切结构为何？其是否符合扎吉尔所猜想的形式？
• RQ4 在多参数情形下，是否存在对原始扎吉尔猜想关于逆矩阵元素分母结构的反例？
• RQ5 所推导出的行列式与逆矩阵公式如何应用于判别超平面排列的量子双线性形式及量子群中的余不变形式？

主要发现

• 当所有 i,j 满足 |q_ij| < 1 时，格拉姆矩阵 A_n({q_ij}) 对所有 n 均为正定，从而确保多参数对易关系在希尔伯特空间中的实现。
• 提出新的行列式公式（定理 1.9.2），将扎吉尔的一参数结果推广至多参数情形，显式地将 A_n({q_ij}) 分解为 (1 - QT)^±1 矩阵的乘积。
• 针对 n=8 且所有 q_ij = q 的情形，构造出对原始扎吉尔猜想的反例，表明逆矩阵中分母的结构与猜想形式不符。
• 提出并证明了扩展扎吉尔猜想作为多参数情形下的最优形式，为逆矩阵元素提供了正确的结构。
• 通过高效算法（命题 2.2.16）计算逆矩阵元素，得出一般情形下逆矩阵的显式公式（定理 2.2.17）。
• 证明了 R^n 中超平面判别排列的量子双线性形式 B_n 与 A^{12...n}({q_ij}) 一致，从而可直接应用所推导的行列式与逆矩阵公式。