[论文解读] The bosonic Fock representation and a generalized Shale theorem

P. L. Robinson|arXiv (Cornell University)|Mar 26, 2012

Cold Atom Physics and Bose-Einstein Condensates参考文献 7被引用 4

一句话总结

本文提出了一套新颖的玻色子 Fock 表示框架，通过将对称 Fock 空间 $ S[V] $ 嵌入对称代数 $ SV $ 与其全对偶 $ SV' $ 之间，实现了对所有实辛自同构的严格处理，借助广义 Fock 实现算符。关键贡献是广义 Shale 定理的证明，表明每个辛自同构 $ g $ 均存在唯一的（至多相差一个标量）广义 Fock 实现算符 $ U: SV \to SV' $，且当且仅当 $ [g,i] $ 是 Hilbert-Schmidt 算子时，该实现算符在 $ S[V] $ 上是酉算符。

ABSTRACT

We detail a new approach to the bosonic Fock representation of a complex Hilbert space V: our account places the bosonic Fock space S[V] between the symmetric algebra SV and its full antidual SV'; in addition to providing a context in which arbitrary (not necessarily restricted) real symplectic automorphisms of V are implemented, it offers simplified proofs of many standard results of the theory.

研究动机与目标

• 为解决传统 Fock 空间构造中的局限性，即算符通过延拓隐式定义而非显式公式。
• 为任意辛自同构的位移真空提供严格的代数背景，否则这些表达通常被视为形象化表述。
• 建立广义 Shale 定理，以 $[g,i]$ 的 Hilbert-Schmidt 性质来刻画辛自同构在 $ S[V] $ 上的酉实现性。
• 在单一的类似 rigged-Hilbert 空间结构 $ SV \subset S[V] \subset SV' $ 中统一处理场算符、产生算符、湮灭算符与 Weyl 算符。

提出的方法

• 将 Fock 空间 $ S[V] $ 视为全对偶 $ SV' $ 中有界反线性泛函的子空间，其中 $ SV' $ 由所有从 $ SV \to \mathbb{C} $ 的反线性映射构成，形成三元组 $ SV \subset S[V] \subset SV' $。
• 场算符 $ \pi(v) $、产生算符 $ c(v) $ 和湮灭算符 $ a(v) $ 在 $ SV $ 上定义，并通过反对偶性扩展至 $ SV' $：$ [U\Phi](\psi) = \Phi(U^*\psi) $，确保在 $ SV' $ 上无条件成立的对易关系。
• 对 $ g \in \mathrm{Sp}(V) $ 的广义 Fock 实现算符定义为线性映射 $ U: SV \to SV' $，满足对所有 $ v \in V $ 有 $ U\pi(v) = \pi(gv)U $，且在标量倍数意义下唯一。
• 通过位移真空态 $ e^Z \in SV' $ 显式构造实现算符 $ U $，其中 $ Z $ 是由 $ g $ 导出的二次型，且 $ U $ 作用为 $ U(\psi) = \|e^Z\|^{-1} \psi \cdot e^Z $，对所有 $ \psi \in SV $。
• 通过相干态 $ \varepsilon^z $ 发展 Weyl 形式的表示，满足 $ \varepsilon^x \mapsto \varepsilon^{x+z} $，并利用反对偶性将 Weyl 算符 $ W(v) $ 扩展至 $ EV' $。
• 广义实现算符 $ U_g $ 的显式公式为 $ [U_g \varepsilon^y](\varepsilon^x) = \exp\left\{ \frac{1}{2}\langle x|C_{g^{-1}}^{-1}(y - A_{g^{-1}}x) \rangle + \frac{1}{2}\langle C_g^{-1}(x - A_g y)|y \rangle \right\} $，对所有 $ x,y \in V $ 成立。

实验结果

研究问题

• RQ1 能否构建一个统一的代数框架，以处理复 Hilbert 空间 $ V $ 上所有辛自同构的表示，包括那些在标准 Fock 空间中无法酉实现的？
• RQ2 在何种条件下，$ g \in \mathrm{Sp}(V) $ 的广义 Fock 实现算符 $ U: SV \to SV' $ 会在 $ S[V] $ 上诱导出酉算符？
• RQ3 任意辛自同构的位移真空态能否严格定义为 $ SV' $ 中的元素，且其是否可通过乘法生成实现算符？
• RQ4 如何在大于 $ S[V] $ 的空间中无条件保持对易关系，且 $ SV' $ 在此中的作用是什么？
• RQ5 是否存在广义 Fock 实现算符 $ U_g $ 的直接显式公式，且能否从互换关系 $ UW(v) = W(gv)U $ 代数推导出该公式？

主要发现

• 三元组 $ SV \subset S[V] \subset SV' $ 为玻色子 Fock 表示提供了自然且严格的设定，其中 $ S[V] $ 是 $ SV $ 在自然内积下的完备化。
• 场算符 $ \pi(v) $、产生算符 $ c(v) $ 和湮灭算符 $ a(v) $ 通过反对偶性从 $ SV $ 扩展至 $ SV' $，且其对易关系在 $ SV' $ 上无条件成立，满足 $ [\pi(x),\pi(y)] = i\,\mathrm{Im}\langle x|y\rangle\, I $。
• 每个辛自同构 $ g \in \mathrm{Sp}(V) $ 均存在唯一的（至多相差一个标量）广义 Fock 实现算符 $ U: SV \to SV' $，其作用为 $ U(\psi) = \|e^Z\|^{-1} \psi \cdot e^Z $，其中 $ e^Z $ 是 $ SV' $ 中的位移真空。
• 实现算符 $ U $ 在 $ S[V] $ 上为酉算符当且仅当交换子 $ [g,i] $ 是 Hilbert-Schmidt 算子，从而推广了经典 Shale 定理。
• 广义实现算符 $ U_g $ 在 Weyl 形式下的显式公式为 $ [U_g \varepsilon^y](\varepsilon^x) = \exp\left\{ \frac{1}{2}\langle x|C_{g^{-1}}^{-1}(y - A_{g^{-1}}x) \rangle + \frac{1}{2}\langle C_g^{-1}(x - A_g y)|y \rangle \right\} $，对所有 $ x,y \in V $ 成立。
• 循环向量性质成立：$ \{ \phi e^Z : \phi \in SV \} $ 在 $ S[V] $ 中稠密，因此 $ e^Z $ 仅对产生算符而言是循环的。