[논문 리뷰] The Moyal product is the matrix product

Sergei Merkulov|ArXiv.org|2000. 01. 26.

Advanced Topics in Algebra참고 문헌 2인용 수 6

한 줄 요약

이 논문은 평면 위의 함수에 대한 Moyal 별곱 대수와 형식적 멱급수 ℏ를 계수로 갖는 무한 행렬 대수 사이의 표준적 등장사상(이sovorphism)을 수립한다. Moyal 별곱이 명시적인 등장사상에 의해 단항식 p^a x^b를 특정한 무한 행렬 E_{a,b}로 매핑함으로써, 위그러-정렬 형식의 변형 양자화를 무한 행렬 대수로서 실현한다.

ABSTRACT

This is a short comment on the Moyal formula for deformation quantization. It is shown that the Moyal algebra of functions on the plane is canonically isomorphic to an algebra of matrices of infinite size.

연구 동기 및 목표

• R² 위의 Moyal 별곱 대수와 무한 행렬 대수 사이의 표준적 등장사상 수립.
• Weyl-정렬된 Moyal 별곱을 행렬 곱셈과 연결함으로써 변형 양자화의 순서 불확실성 문제를 해결.
• Moyal 대수를 행렬로 구성적으로 실현함으로써, 행렬 연산을 통한 양자 관측량의 명시적 계산 가능성을 제공.

제안 방법

• k[[\hbar]]에 계수를 갖는 무한 행렬의 링으로서 \mathsf{Mat}_\infty^\hbar를 정의하고, i < j 인 경우에 I^{j-i}로 제약을 두어 행렬 곱셈의 수렴성을 확보한다.
• 입력이 (a+k, b+k) 위치에 \frac{(b+k)!}{k!}\hbar^b 인 기저 행렬 E_{a,b}를 도입하고, 조합적 항등식을 통해 그 곱셈 규칙을 유도한다.
• p^a x^b를 E_{a,b}로 매핑하는 등장사상 \phi를 수립하고, \star_\hbar-곱이 행렬 곱셈에 정확히 대응됨을 보인다.
• 생성함수 g_{a,b} = \frac{p^a x^b}{b!\hbar^b} e^{-px/\hbar}를 사용하여 \star_\hbar-곱이 g_{a,b} \star_\hbar g_{c,d} = \delta_{bc} g_{a,d} 를 만족함을 검증함으로써 행렬 표현의 타당성을 확인한다.
• e^{-\frac{\hbar}{2}\frac{\partial^2}{\partial x \partial p}}를 포함하는 이동 변환을 통해 Moyal 곱의 등장사상 \psi를 유도하고, Weyl-정렬된 곱을 행렬 대수와 연결한다.
• 예를 들어 p \star_\hbar x^2 = p x^2 - \hbar x 와 같은 단항식에 대해 명시적 계산을 통해 등장사상의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 k[[x,p,\hbar]] 위의 Moyal 별곱 대수는 행렬 곱셈에 대해 무한 행렬 대수와 등장사상이 되는가?
• RQ2 Weyl-정렬된 Moyal 별곱은 표준적 등장사상에 의해 명시적으로 행렬 곱셈으로 실현될 수 있는가?
• RQ3 무한 행렬 대수 \mathsf{Mat}_\infty^\hbar의 구조는 \mathbb{R}^2 위의 파아손 대수의 비가환 변형을 어떻게 반영하는가?
• RQ4 Moyal 곱에 대해 단항식 p^a x^b에 대응하는 행렬 생성자 E_{a,b}의 정확한 형태는 무엇인가?
• RQ5 Moyal 대수와 행렬 대수 사이의 등장사상은 일관된 상태 또는 포크 공간 구성에서 유도될 수 있는가?

주요 결과

• Moyal 대수 (k[[x,p,\hbar]], \star_\hbar)는 등장사상 \phi에 의해 \mathsf{Mat}_\infty^\hbar와 표준적으로 등장사상이 되며, \phi(p^a x^b) = E_{a,b} 로 정의된다.
• E_{a,b}와 E_{c,d}의 행렬 곱은 E_{a,b} E_{c,d} = \sum_{n=0}^{\min(b,c)} \frac{\hbar^n b! c!}{n! (b-n)! (c-n)!} E_{a+c-n, b+d-n} 로 주어지며, 이는 대수적 구조를 확인한다.
• 등장사상 \psi에 의하여 Moyal 곱 f \star_\hbar g 는 정확히 행렬 곱셈에 대응되며, p \star_\hbar x^2 = p x^2 - \hbar x 와 같은 단항식에 대해 검증되었다.
• 등장사상 \psi는 p^a x^b를 \sum_{n=0}^{\min(a,b)} \frac{\hbar^n a! b!}{2^n n! (a-n)! (b-n)!} E_{a-n, b-n} 로 매핑하며, 행렬 표현에 대한 닫힌 형태의 표현을 제공한다.
• 생성함수 g_{a,b} = \frac{p^a x^b}{b!\hbar^b} e^{-px/\hbar} 는 g_{a,b} \star_\hbar g_{c,d} = \delta_{bc} g_{a,d} 를 만족하며, 이는 행렬 표현이 포크 공간의 쌍대극한임을 확인한다.
• 관계식 p^a x^b = \sum_{n=0}^\infty \hbar^b \frac{(b+n)!}{n!} g_{a+n,b+n} 은 등장사상 \phi와 행렬 기저 E_{a,b}의 구조를 설명한다.