[论文解读] Weyl-Heisenberg integral quantization(s): a compendium

Hervé Bergeron, Evaldo M. F. Curado+2 more|arXiv (Cornell University)|Mar 24, 2017

Quantum optics and atomic interactions参考文献 15被引用 11

一句话总结

本文整理了任意权函数下的Weyl-Heisenberg积分量化（WHIQ）的基本公式，统一了Weyl-Wigner、相干态和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、相干态（CS）和Berezin量化。
• 通过一致且计算实用的工具包，支持对一维直线上点粒子动力学的量化研究。
• 阐明涉及广义函数的积分量化表达式的数学有效性及泛函分析假设。
• 通过下符号和Wigner型函数，探索WHIQ的概率和辛结构，尤其关注权函数性质的影响。

提出的方法

• 利用Weyl-Heisenberg群及其通过位移算符 $ D(z) $ 在复平面 $ \mathbb{C} \sim \mathbb{R}^2 $ 上的酉表示。
• 采用一般权函数 $ \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 量化映射及其逆映射在广义函数意义下所具有的迹恒等式和对偶关系是什么？
• RQ3 下符号 $ \check{f}(z) $ 和广义Wigner函数 $ \mathfrak{W}^\varpi_A(z) $ 如何与概率解释和相空间平均相关联？
• RQ4 权函数 $ \varpi $ 在决定WHIQ中基态能量和量子势能方面起什么作用，特别是在谐振子情形下？
• RQ5 WHIQ映射在何种意义上是等距的？何时其对偶映射成为量化映射的逆？

主要发现

• 在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量化映射的等距性。
• 当权函数 $ \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 $ 时，该关系成为等距关系。