[논문 리뷰] Determinants and Inversion of Gram Matrices in Fock Representation of $\{q_{kl}\}$- Canonical Commutation Relations and Applications to Hyperplane Arrangements and Quantum Groups. Proof of an Extension of Zagier's Conjecture

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

Random Matrices and Applications참고 문헌 20인용 수 5

한 줄 요약

이 논문은 $\{q_{kl}\}$-표준교환관계의 Fock 표현에서의 그람 행렬의 행렬식과 역행렬에 대한 명시적 공식을 수립하며, 자지에르의 추측의 확장된 형태를 증명한다. 그람 행렬을 $ (1 - QT)^{\pm 1} $ 행렬들의 곱으로 인수분해함으로써, 일반적인 경우에 대해 행렬식과 역행렬의 닫힌 표현식을 도출한다. 이는 초평면 배치와 양자군에 응용되며, 특히 $U_q(\mathfrak{n}_-)$의 가중치 공간에서의 대응형 형식을 계산하는 데 기여한다.

ABSTRACT

In this paper we study a collections of operators $a(k)$ satisfying the "$q_{kl} $-canonical commutation relations" $a(k)a^{+}(l)-q_{kl}a^{+}(l)a(k) =δ_{kl} $ (corresponding for $q_{kl}=q$ to Greenberg (infinite) statistics, for $q=\pm 1$ to classical Bose and Fermi statistics).We show that $n! imes n!$ matrices $A_{n}(\{q_{kl}\})$ of scalar products of n-particle states is positive definite for all n if $|q_{kl}|<1$, all k,l, so that the above commutation relations have a Hilbert space realization. This is achieved by explicit factorizations of $A_{n}(\{q_{kl}\})$ as a product of matrices of the form $(1-QT)^{\pm 1}$, where Q is a diagonal matrix and T is a regular represen- tation of a cyclic matrix. From such factorizations we obtain in Th. 1.9.2 explicit formulas for the determinant of $A_{n}(\{q_{kl}\})$ in the generic case (which generalizes Zagier's 1-parametric formula). For inversion of $A_{n} (\{q_{kl}\})$ we use ideas of Božejko and Speicher, and Th.2.2.6 gives a definite answer in terms of maximal chains in subdivision lattices. Our algorithm in Proposition 2.2.18 for computing the entries of $A_{n}(\{q_{kl}\} )$ is very efficient. In particular for $n=8$, when all $q_{kl}=q$, we found a counterexample to Zagier's conjecture concerning the form of the denominators of the entries in the inverse of $A_{n}(q)$. In Cor.2.2.8 we extend Zagier's Conjecture to multiparameter case. By applying a faster algorithm in Prop.2.2.19 we obtain in Th.2.2.20 explicit formulas for the inverse of the matrices $A_n(\{q_{kl}\})$ in the generic case. There are applications of these results to discriminant arrangements of hyperplanes and to contravariant forms of certain quantum groups.

연구 동기 및 목표

• $\{q_{kl}\}$-표준교환관계의 Fock 표현에서 유도되는 그람 행렬의 행렬식과 역행렬에 대한 명시적 공식을 도출하는 것.
• 분할 격자와 최대 체인을 기반으로 한 새로운 인수분해 방법을 도입하여, 큰 기호적 그람 행렬의 역행렬 계산이 비가역적인 문제를 해결하는 것.
• 다중매개변수 경우에서 그람 행렬의 역행렬의 분모 구조에 대한 자지에르의 추측의 확장된 형태를 증명하는 것.
• 유도된 공식을 양자군에 적용하여, 특히 $U_q(\mathfrak{n}_-)$의 가중치 공간에서의 대응형 형식을 계산하는 데 응용하는 것.
• 모든 $k,l$에 대해 $|q_{kl}| < 1$ 이면 그람 행렬이 양의 정부호임을 확립하여, 교환관계의 힐베르트 공간 실현이 보장되는 조건을 제시하는 것.

제안 방법

• 그람 행렬 $A^{(\nu)}$ 는 $Q$ 가 대각행렬이고 $T$ 가 순환행렬의 정규 표현인 형태의 $ (1 - QT)^{\pm 1} $ 행렬들의 곱으로 인수분해된다.
• 행렬식은 정리 1.9.2를 통해 계산되며, 자지에르의 한 매개변수 공식을 다중매개변수 경우로 일반화한다.
• 최대 체인을 이용한 보제코-스피셔 형식의 공식을 활용하여 $A^{(\nu)}$ 의 역행렬을 구성함으로써 효율적인 계산이 가능해진다.
• Proposition 2.2.18 에서는 $n=8$ 에서도 효율적인 $A^{(\nu)}$ 의 원소 계산을 위한 알고리즘을 개발하여, 자지에르 원래 추측의 반례 생성이 가능해진다.
• 더 빠른 알고리즘(Proposition 2.2.19)을 사용하여 Theorem 2.2.20 에서 그람 행렬의 역행렬을 명시적으로 계산함으로써, 일반적인 경우에 대해 닫힌 표현식을 도출한다.
• 양자군에의 응용은 그람 행렬이 $U_q(\mathfrak{n}_-)$ 상의 대응형 형식과 관련되어 있음을 연결함으로써 확립되며, $q_{ij} = q^{-b_{ij}/2}$ 를 대입하여 행렬식 공식을 유도한다.

실험 결과

연구 질문

• RQ1 $\{q_{kl}\}$-표준교환관계의 Fock 표현에서 $n$-입자 상태의 그람 행렬에 대한 명시적 행렬식 공식은 무엇인가?
• RQ2 기호적 복잡성으로 인해 $n! \times n!$ 크기의 그람 행렬의 역행렬을 어떻게 효율적으로 계산할 수 있는가?
• RQ3 자지에르의 추측이 다중매개변수 경우에서도 그람 행렬의 역행렬 원소의 분모 구조에 대해 성립하는가?
• RQ4 그람 행렬과 양자군 $U_q(\mathfrak{g})$ 의 대응형 형식 사이의 연결 고리는 무엇인가?
• RQ5 $q_{kl}$ 에 대해 어떤 조건이면 그람 행렬이 양의 정부호가 되며, 이는 힐베르트 공간 실현을 보장하는가?

주요 결과

• 정리 1.9.2에 따르면, 그람 행렬 $A^{(\nu)}$ 의 행렬식은 자지에르의 한 매개변수 결과를 다중매개변수 경우로 일반화한 닫힌 표현식의 곱으로 주어진다.
• $q_{kl} = q$ 인 $n=8$ 에서, 논문은 자지에르 원래 추측의 역행렬 원소의 분모 구조에 대한 반례를 발견한다.
• 확장된 자지에르 추측(Corollary 2.2.8)은 다중매개변수 설정에서 최적의 형태임이 증명되었으며, 역행렬 원소의 분모는 $ (1 - q^{\sum b_{ij}}) $ 항들의 곱으로 이루어져 있다.
• 분할 격자의 최대 체인을 이용하여 그람 행렬의 역행렬이 명시적으로 계산되었으며, 일반적인 경우에 대해 Theorem 2.2.20 이 닫힌 표현식을 제공한다.
• $ (U_q(\mathfrak{n}_-))_{(1,1,\dots,1)} $ 의 가중치 공간에서의 대응형 형식의 행렬식은 $ \prod_{m=2}^{n} \prod_{1\leq i_1<\cdots<i_m\leq n} (q^{-\frac{1}{2}\sum b_{i_k i_l}} - q^{\frac{1}{2}\sum b_{i_k i_l}})^{(m-2)!(n-m+1)!} $ 로 유도된다.
• 모든 $n$ 에 대해 $|q_{kl}| < 1$ 이면 그람 행렬은 양의 정부호이며, 이는 $\{q_{kl}\}$-표준교환관계의 유니터리 힐베르트 공간 실현을 보장한다.