[논문 리뷰] Weyl-Heisenberg integral quantization(s): a compendium

Hervé Bergeron, Evaldo M. F. Curado외 2명|arXiv (Cornell University)|2017. 03. 24.

Quantum optics and atomic interactions참고 문헌 15인용 수 11

한 줄 요약

이 논문은 임의의 가중 함수를 가진 Weyl-Heisenberg 적분 양자화(WHIQ)를 위한 필수 공식들을 종합하며, Weyl-Wigner, 코herent 상태, Berezin 양자화와 같은 프레임워크를 통합한다. 이는 이동 연산자와 가중 함수에 의존하는 적분 변환을 통한 위상공간 상의 함수를 양자화하는 체계적인 접근을 수립하며, 쌍대성, 트레이스 항등식, 일반화된 Wigner 및 Husimi 유사 함수를 통한 양자역학적 해석 등 주요 결과를 제시한다.

ABSTRACT

We present a list of formulae useful for Weyl-Heisenberg integral quantizations, with arbitrary weight, of functions or distributions on the plane. Most of these formulae are known, others are original. The list encompasses particular cases like Weyl-Wigner quantization (constant weight) and coherent states (CS) or Berezin quantization (Gaussian weight). The formulae are given with implicit assumptions on their validity on appropriate space(s) of functions (or distributions). One of the aims of the document is to accompany a work in progress on Weyl-Heisenberg integral quantization of dynamics for the motion of a point particle on the line.

연구 동기 및 목표

• 임의의 가중 함수를 가진 Weyl-Heisenberg 적분 양자화(WHIQ)를 위한 공식들을 종합하고 체계화하는 것.
• 기존의 Weyl-Wigner, 코herent 상태(CS), Berezin 양자화와 같은 알려진 양자화 체계를 포함하는 통합 수학적 프레임워크를 제공하는 것.
• 일차원에서 직선 상의 점입자에 대한 동역학의 양자화를 일관되고 계산적으로 유용한 도구를 통해 지원하는 것.
• 일반화된 함수를 포함하는 적분 양자화 표현식의 수학적 타당성과 함수해석학적 가정을 명확히 하는 것.
• 특히 가중 함수의 성질과 관련하여 하향 기호와 Wigner 유사 함수를 통한 WHIQ의 확률적 및 심플렉틱적 구조를 탐색하는 것.

제안 방법

• 복소평면 $ \mathbb{C} \sim \mathbb{R}^2 $ 상에서 정의된 이동 연산자 $ D(z) $ 를 통한 Weyl-Heisenberg 군의 유니터리 표현을 사용한다.
• 일반적인 가중 함수 $ \varpi(z) $ 를 도입하여 WHIQ 사상 $ f \mapsto A_f $ 를 정의하며, 여기서 $ A_f $ 는 $ D(z) $ 와 $ \varpi(z) $ 를 포함하는 적분 연산자이다.
• 위상공간 $ \mathbb{C} $ 상에서의 심플렉틱 푸리에 분석 및 조화 분석을 적용하여 $ z, \bar{z} $, $ q, p $, 그리고 극좌표계에서의 기호 해석학을 유도한다.
• 트레이스 공식과 쌍대성 관계를 유도하며, $ \check{f}(z) = \mathrm{tr}(\mathsf{M}^\varpi(z) A_f) $ 와 같은 하향 기호를 도입한다. 이는 커플로션 변환으로 작용한다.
• 양자화 사상의 쌍대체로 일반화된 Wigner 함수 $ \mathfrak{W}^\varpi_A(z) $ 를 도입하며, $ \int f(z) \mathfrak{W}^\varpi_A(z) \frac{d^2z}{\pi} = \mathrm{tr}(A A_f) $ 를 만족한다.
• 가우시안, Cahill-Glauber, Born-Jordan 가중 함수 등의 특수 케이스를 분석하고, WHIQ 체계에서 양자 조화 진동자 해밀토니언을 유도한다.

실험 결과

연구 질문

• RQ1 임의의 가중 함수에 대해 Weyl-Heisenberg 적분 양자화를 어떻게 체계적으로 공식화할 수 있으며, 이를 통해 기존의 양자화 체계를 통합할 수 있는가?
• RQ2 일반화된 함수에 대해 WHIQ 사상과 그 역사상의 특성을 기술하는 트레이스 항등식과 쌍대성 관계는 무엇인가?
• RQ3 하향 기호 $ \check{f}(z) $ 와 일반화된 Wigner 함수 $ \mathfrak{W}^\varpi_A(z) $ 는 확률적 해석과 위상공간 평균화와 어떻게 관련이 있는가?
• RQ4 가중 함수 $ \varpi $ 는 WHIQ에서 기본 상태 에너지와 양자 포텐셜을 결정하는 데 어떤 역할을 하는가? 특히 조화 진동자에 대해 설명하라.
• RQ5 WHIQ 사상이 어떤 의미에서 등장하는가? 그리고 가중 함수 $ \varpi $ 가 어떤 조건을 만족할 때 쌍대 사상이 양자화 사상의 역이 되는가?

주요 결과

• WHIQ에서 양자 조화 진동자의 기본 상태 에너지는 $ E_0 = \frac{1}{2} - \left. \partial_z \partial_{\bar{z}} \varpi \right|_{z=0} $ 로 주어지며, 이는 정규 가중 함수에 관계없이 최소 양자 포텐셜 에너지 $ E_m = - \left. \partial_z \partial_{\bar{z}} \varpi \right|_{z=0} $ 와 항상 $ 1/2 $ 의 에너지 차이를 가진다.
• 지수형 Cahill-Glauber 가중 함수 $ \varpi_s(z) = e^{s|z|^2/2} $ 에 대해 $ q^2 $, $ p^2 $, $ |z|^2 $ 의 WHIQ는 각각 $ A^{\varpi_s}_{q^2} = Q^2 - \frac{s}{2} $, $ A^{\varpi_s}_{p^2} = P^2 - \frac{s}{2} $, $ A^{\varpi_s}_{|z|^2} = a^\dagger a + \frac{1-s}{2} $ 로 주어진다.
• 하향 기호 $ \check{f}(z) $ 는 커플로션 $ \mathfrak{f_s}[\varpi/\pi] \ast \overline{\mathfrak{f_s}[\varpi/\pi]} \ast f(z) $ 로 표현되며, 이는 가중 함수가 양의 준확률 분포를 유도할 경우 WHIQ가 위상공간 평균화 작용으로 작용함을 보여준다.
• Weyl-Wigner 경우에서 하향 기호는 $ \check{f} = f $ 를 만족하며, 이는 Weyl 양자화 사상의 등장성(이sovmetry)을 반영한다.
• 가중 함수 $ \varpi $ 가 실수이자 짝함수이며 $ |\varpi| = 1 $ 를 만족할 경우, 쌍대 사상 $ A \mapsto \mathfrak{W}^\varpi_A $ 는 양자화 사상의 역이 되며, 커널 $ \mathsf{M} $ 는 $ \int \varpi(z) D(z) \frac{d^2z}{\pi} $ 를 통해 정의된 프로젝션 연산자이다.
• 일반적으로 $ \int f(z) \mathfrak{W}^\varpi_A(z) \frac{d^2z}{\pi} = \mathrm{tr}(A A_f) $ 라는 쌍대성 관계가 성립하며, $ \varpi $ 가 $ \| \varpi \| = 1 $ 를 만족할 경우 이는 등장성으로 된다.