[论文解读] Mean field propagation of Wigner measures and BBGKY hierarchies for general bosonic states

Zied Ammari, Francis Nier|arXiv (Cornell University)|Mar 10, 2010

Mathematical Analysis and Transform Methods参考文献 34被引用 5

一句话总结

该论文通过调和Weyl与Wick量化，建立了无限维Fock空间中一般玻色态的Wigner测度的平均场传播。证明了与初始态相关的Wigner测度沿由哈密顿量 $ h(z,\bar{z}) $ 生成的经典流传播。关键结果将半经典传播推广至具有非线性相互作用的量子多体系统，在平均场极限下恢复了Hartree-von Neumann方程。

ABSTRACT

Contrary to the finite dimensional case, Weyl and Wick quantizations are no more asymptotically equivalent in the infinite dimensional bosonic second quantization. Moreover neither the Weyl calculus defined for cylindrical symbols nor the Wick calculus defined for polynomials are preserved by the action of a nonlinear flow. Nevertheless taking advantage carefully of the information brought by these two calculuses in the mean field asymptotics, the propagation of Wigner measures for general states can be proved, extending to the infinite dimensional case a standard result of semiclassical analysis.

研究动机与目标

• 将Wigner测度的半经典传播从有限维推广至无限维玻色Fock空间。
• 解决在无限维中Weyl与Wick量化之间渐近等价性失效的问题。
• 通过结合Weyl与Wick演算的混合方法，建立非线性哈密顿流下Wigner测度的传播。
• 在平均场极限下，从多体量子动力学推导出Hartree-von Neumann方程。

提出的方法

• 引入混合Weyl-Wick量化框架，弥合无限维Fock空间中Weyl与Wick演算之间的鸿沟。
• 通过在数算符的统一矩界下，利用可观测量迹的弱极限定义Wigner测度。
• 应用BBGKY约化密度矩阵层次方程，分析具有有限矩的一般正规态的平均场极限。
• 通过证明Wigner测度沿由 $ h(z,\bar{z}) $ 生成的类哈密顿流演化，建立传播性。
• 采用截断Dyson展开和相干态方法，控制 $ \varepsilon \to 0 $ 极限下的动力学。
• 证明约化密度矩阵收敛于极限态的张量积，表明其在 $ \mathcal{L}^1 $-范数下收敛。

实验结果

研究问题

• RQ1 能否在无限维Fock空间中为一般玻色态一致地定义并传播Wigner测度？
• RQ2 在无限维中，如何调和Weyl与Wick量化在平均场动力学中的非等价性？
• RQ3 由 $ h(z,\bar{z}) $ 生成的类哈密顿流 $ \mathbf{F}_t $ 是否在 $ \varepsilon \to 0 $ 极限下控制Wigner测度的传播？
• RQ4 能否通过Wigner测度传播，将Hartree-von Neumann方程作为多体量子演化在平均场极限下的结果导出？
• RQ5 数算符矩条件 $ \mathrm{Tr}[\varrho_\varepsilon \mathbf{N}^k] < \infty $ 在确保Wigner测度存在性方面起什么作用？

主要发现

• 与初始态 $ \varrho_\varepsilon $ 相关的Wigner测度 $ \mu_0 $ 沿经典流 $ \mathbf{F}_t $ 传播，使得 $ \mu_t = \mathbf{F}_t^* \mu_0 $，从而证明了平均场传播。
• 对于初始态 $ \varrho_\varepsilon(0) = |\sqrt{\varrho_0}^{\otimes N}\rangle\langle\sqrt{\varrho_0}^{\otimes N}| $，Wigner测度 $ \mu_0 = \delta_{\sqrt{\varrho_0}}^{S^1} $ 演化为 $ \mu_t = \delta_{\omega(t)}^{S^1} $，其中 $ \omega(t) $ 满足Hartree-von Neumann方程。
• 约化密度矩阵 $ \gamma^{(k)}_\varepsilon(t) $ 在 $ \mathcal{L}^1 $-范数下收敛于 $ \varrho(t)^{\otimes k} $，确认了多体量子态的平均场极限。
• 类流 $ \mathbf{F}_t $ 保持 $ L^2 $-范数与相位对称性：$ |\mathbf{F}_t(\omega)|_{\mathcal{Z}} = |\omega|_{\mathcal{Z}} $ 且 $ \mathbf{F}_t(e^{-i\theta}\omega) = e^{-i\theta}\mathbf{F}_t(\omega) $。
• 在矩条件 $ \mathrm{Tr}[\varrho_\varepsilon \mathbf{N}^\delta] \leq C_\delta $ 对某个 $ \delta > 0 $ 成立下，结果成立，确保了子列Wigner测度的存在性。
• 对所有 $ b \in \mathcal{P}_{k,k}({\mathcal{Z}}) $，可观测量的收敛性 $ \mathrm{Tr}[\varrho_\varepsilon(t) b^{Weyl}] \to \int_{\mathcal{Z}} b(\omega_t) \, d\mu_0(\omega) $ 被建立，确认了极限的相空间几何本质。