[论文解读] Expansions for one quasiparticle states in spin 1/2 systems

Nilanjana Datta, Tom Kennedy|arXiv (Cornell University)|Apr 11, 2001

Physics of Superconductivity and Magnetism参考文献 9被引用 4

一句话总结

本文提出了一种针对量子自旋-1/2系统中单准粒子态的收敛展开方法，将Kirkwood-Thomas方法扩展至超出Perron-Frobenius条件的范围。证明了单个准粒子的色散关系在耦合强度的幂级数展开中具有收敛性，且当 $\epsilon > 0$ 时，最小能量出现在动量 $k = (\pi,\dots,\pi)$ 处。该方法基于动量的试探形式与展开系数的不动点方程，通过压缩映射论证确保收敛性。

ABSTRACT

Convergent expansions of the wavefunctions for the ground state and low-lying excited states of quantum transverse Ising systems are obtained. These expansions are employed to prove that the dispersion relation for a single quasi-particle has a convergent expansion.

研究动机与目标

• 将Kirkwood-Thomas方法从基态推广至量子自旋-1/2系统的低激发态，从而消除对局部相互作用Perron-Frobenius条件的依赖。
• 基于动量试探形式，发展一种单准粒子态的收敛展开方法，以实现对其谱性质的严格分析。
• 证明单个准粒子的色散关系在耦合参数 $\epsilon$ 上具有收敛的幂级数展开。
• 确立准粒子波函数及其关联能谱在无限体积极限下的存在性。

提出的方法

• 采用基于动量的试探形式构造准粒子态，假设其在空间平移下表现为平面波。
• 准粒子波函数展开为 $\psi_k^\alpha(\sigma) = \psi(\sigma) \sum_X e_\alpha(X) \phi_{X,k}(\sigma)$，其中系数 $e_\alpha(X)$ 满足不动点方程。
• 从薛定谔方程导出 $e_\alpha(X)$ 的不动点方程，并利用压缩映射定理求解，从而在小 $\epsilon$ 下保证收敛性。
• 该方法在有限集合上的函数空间上使用一种范数，其界为 $|e_s| \leq (|\epsilon|M)^{|s|} ||e||$，确保指数衰减与收敛性。
• 通过证明有限体积与无限体积解之间的差异随系统尺寸 $L$ 指数衰减，确立了无限体积极限。
• 通过展开计算色散关系 $\Delta(k)$，其中一阶项为 $2\epsilon \sum_{i=1}^d \cos(k_i)$，高阶修正为 $\epsilon^2$ 阶。

实验结果

研究问题

• RQ1 在量子自旋-1/2系统中，单个准粒子的色散关系是否在耦合强度 $\epsilon$ 上具有收敛的幂级数展开？
• RQ2 Kirkwood-Thomas方法能否在不需对局部相互作用施加Perron-Frobenius条件的前提下推广至激发态？
• RQ3 在横场伊辛模型中，色散关系的最小值出现在何处，其位置如何依赖于 $\epsilon$ 的符号？
• RQ4 最低激发态是否具有确定的动量，能否通过收敛展开构造？
• RQ5 在无限体积极限下，准粒子波函数及其能谱行为如何？

主要发现

• 色散关系 $\Delta(k)$ 在 $\epsilon$ 的幂级数展开中具有收敛性，其一阶项为 $2\epsilon \sum_{i=1}^d \cos(k_i)$。
• 当 $\epsilon > 0$ 时，色散关系的最小值出现在 $k = (\pi, \dots, \pi)$ 处，且即使存在高阶修正，该结论对小 $\epsilon$ 依然成立。
• 展开中的系数 $e_s$ 为 $|\epsilon|^{|s|}$ 阶，且通过压缩映射定理可证全解 $e_\alpha(X)$ 局部唯一。
• 准粒子波函数的无限体积极限存在，且呈指数局域化，其与有限体积版本的差异按 $e^{-cL}$ 衰减。
• 证明了第二特征函数 $\psi'$ 是 $\psi_{k_0}$ 的倍数，从而确认所构造态确实为最低激发态。
• 该方法适用于不满足Perron-Frobenius条件的哈密顿量，例如 $H = -\sum_i \sigma^x_i + \epsilon \sum_{\langle ij\rangle} (\sigma^z_i\sigma^z_j + J\sigma^y_i\sigma^y_j)$，其中 $J \neq 1$。