[论文解读] Differential operators on orbits of coherent states

Stefan Berceanu, Andrei H Gheorghe|ArXiv.org|Nov 4, 2002

Quantum optics and atomic interactions参考文献 2被引用 9

一句话总结

本文将相干态李代数实现为凯勒相干态轨道上具有全纯多项式系数的一阶微分算子。它证明了在对称福克空间上，生成元的微分作用产生形如 $ P + \sum Q_i \partial_i $ 的算子，其中 $ P $ 和 $ Q_i $ 为多项式，并证明该结果对相干态群成立，将关于酉对称空间的已知结果推广至具凯勒结构的一般相干态流形。

ABSTRACT

We emphasize some properties of coherent state groups, i.e. groups whose quotient with the stationary groups, are manifolds which admit a holomorphic embedding in a projective Hilbert space. We determine the differential action of the generators of the representation of coherent state groups on the symmetric Fock space attached to the dual of the Hilbert space of the representation. This permits a realization by first-order differential operators with holomorphic polynomial coefficients on Kähler coherent state orbits.

研究动机与目标

• 将相干态流形上李代数生成元的微分算子实现从酉对称空间推广至一般凯勒相干态轨道。
• 建立一种系统方法，用于计算与表示的对偶希尔伯特空间相关的对称福克空间上相干态群生成元的微分作用。
• 表征结果微分算子的结构为多项式项与多项式系数的一阶导数之和。
• 将关于紧致与半单群的已知结果推广至更广泛的相干态群类别，包括非对称与混合群。
• 为研究相干态流形上的经典-量子对应关系与贝里相位提供技术工具。

提出的方法

• 将相干态群定义为其齐次空间可全纯嵌入到射影希尔伯特空间中，从而形成相干态流形的李群。
• 利用从最高权表示构造的佩雷洛莫夫相干态，在可约齐次空间上定义相干态向量。
• 将对称福克空间构造为表示的希尔伯特空间的对偶空间，其上作用有微分算子。
• 通过导出表示推导李代数生成元的微分作用，将 $ X \in \mathfrak{g} $ 映射为 $ \mathbb{X} \in \mathfrak{D}_M $。
• 将作用表示为 $ \mathbb{G}_z(f_\psi(z)) = (P_G(z) + \sum Q^i_G(z) \partial_i) f_\psi(z) $，其中 $ P_G $ 和 $ Q^i_G $ 由群流和伴随作用计算得出。
• 证明所得算子属于 $ \mathfrak{A}_1 = \mathfrak{A}_0 \oplus \mathfrak{A}_1' $，即多项式部分与一阶微分部分。

实验结果

研究问题

• RQ1 如何在相干态轨道上将相干态群生成元的微分作用实现为具有全纯多项式系数的微分算子？
• RQ2 对于一般相干态群，作用于对称福克空间的微分算子的结构是什么，特别是超越酉对称空间的情形？
• RQ3 微分算子表达式中多项式 $ P $ 和 $ Q $ 的次数如何依赖于群结构，特别是在非对称情形下？
• RQ4 相干态表示框架能否扩展至非紧致与非半单群，同时保持多项式微分算子实现？
• RQ5 轨道的凯勒结构在实现微分算子的全纯多项式形式中起什么作用？

主要发现

• 李代数生成元 $ X \in \mathfrak{g} $ 在对称福克空间上的微分作用被实现为一阶微分算子 $ \mathbb{X} = P_\lambda + \sum_{\beta} Q_{\lambda,\beta} \partial_\beta $，其中 $ P_\lambda $ 和 $ Q_{\lambda,\beta} $ 为坐标 $ z $ 上的全纯多项式。
• 对于紧致与半单李群，多项式 $ P $ 和 $ Q $ 的次数有界于 2，与酉对称空间上的先前结果一致。
• 在非对称紧致流形 $ SU(3)/(U(1)\times U(1)\times U(1)) $ 的情形下，多项式最大次数达到 3，证实了此类轨道的复杂性增加。
• 在等距映射 $ \Phi $ 下，导出表示 $ dT(\mathfrak{g}_\mathbb{C}) $ 的像映射到一阶微分算子层 $ \mathfrak{D}_1 $，确认了算子结构。
• 实现 $ \mathbb{A}_M \subset \mathfrak{D}_M $ 是具有多项式系数的全纯微分算子的子代数，且 $ \mathbb{A}_M \subset \mathfrak{A}_1 $，其中 $ \mathfrak{A}_1 = \mathfrak{A}_0 \oplus \mathfrak{A}_1' $。
• 该结果得到尼布对哈里什-钱德拉型群的证明支持，并扩展了关于旗流形与半单群的先前工作。