自旋-玻色模型的相干态路径积分

Fri, 10 Jul 2026 00:00:00 +0000

0. 这篇笔记在做什么#

线性自旋-玻色耦合模型是量子耗散、量子光学（Rabi、Jaynes–Cummings）和量子磁性（XXZ spin-boson）的共同框架。它的核心结构可以一句话概括：一个（或少数几个）自旋自由度，通过一个对玻色算符线性的耦合项，与一个自由玻色浴相互作用。

本文范围：下面的推导插入单个自旋相干态 $|z\rangle$，因此严格对应单个自旋或已限制到固定总自旋 $S$ 表示中的集体自旋。多自旋推广需要 $\bigotimes_i|z_i\rangle$ 和相应的多自旋 Berry 项，见第 1.1 节末尾的说明。

对这种模型，有一条在有限时间切片层面严格的化简路线：用玻色相干态和自旋相干态把配分函数写成联合路径积分，然后把所有玻色自由度高斯积掉，得到一个只含自旋相干态变量、但带有长程虚时间相互作用的"有效自旋理论"。在离散时间切片层面，玻色积分归结为有限维复高斯积分；本文的连续时间作用量是该离散结果的记号简写。下文按这条路线完整推导一遍，不做任何模型特殊化；最后再把 $\hat\varrho_\mu$ 分别代入 Rabi、JC、XXZ，看看三类耦合如何给出不同的有效作用量。

为什么这件事值得单独写一篇？因为整条推导只依赖两个条件——$\hat H_{\mathrm b}$ 对玻色场是二次型、$\hat H_{\mathrm{sb}}$ 对 $\hat a_\mu,\hat a_\mu^\dagger$ 是线性的——只要满足这两个条件，浴积分就能解析完成。耦合算符 $\hat\varrho_\mu$ 是否厄米（$\hat\varrho_\mu^\dagger=\hat\varrho$ 还是 $\hat\varrho_\mu^\dagger\neq\hat\varrho_\mu$）是一个方便的一阶判据：它直接决定了玻色传播子能否对称化，进而决定了有效自旋作用量的结构。但模型的差异不止于此——对称性（$\mathbb Z_2$、$U(1)$）、耦合矩阵的秩、谱的红外结构等同样关键，后续各节会逐一展开。

1. 通用模型#

1.1 哈密顿量#

考虑一般的线性自旋-玻色耦合模型

$$ \boxed{ \hat H = \hat H_{\mathrm s} + \sum_\mu \omega_\mu \hat a_\mu^\dagger\hat a_\mu + \sum_\mu \left( \hat a_\mu^\dagger\hat\varrho_\mu + \hat\varrho_\mu^\dagger \hat a_\mu \right) } $$

其中：

$\hat H_{\mathrm s}$ 是只作用于自旋 Hilbert 空间的任意哈密顿量（如 Zeeman 项、自旋间交换）；
$\hat H_{\mathrm b}=\sum_\mu\omega_\mu\hat a_\mu^\dagger\hat a_\mu$ 是自由玻色浴，$\mu$ 可标记离散模式或连续谱指标；
$\hat\varrho_\mu=\hat\varrho_\mu[\hat{\mathbf J}]$ 是只作用于自旋空间、含耦合常数的算符，不要求其为厄米算符。

由于玻色算符与自旋算符作用于不同的 Hilbert 空间，

自旋-玻色模型 on Yuunagi Library

自旋-玻色模型的相干态路径积分

0. 这篇笔记在做什么#

1. 通用模型#

1.1 哈密顿量#