[论文解读] Three-body exclusion principle, duality mapping, and exact ground state of a harmonically trapped, ultracold Bose gas with three-body hard-core interactions in one dimension

M. D. Girardeau|arXiv (Cornell University)|Nov 10, 2010

Cold Atom Physics and Bose-Einstein Condensates被引用 3

一句话总结

该论文通过从具有三体节点的理想气体出发的对偶映射，构建了一维谐振子势阱中三体强硬核相互作用的超冷玻色气体的精确基态。证明了由于配置空间的拓扑约束，此类系统不可避免地表现出两体软核相互作用，解决了1D系统中是否存在纯三体相互作用的关键疑问，并表明尽管满足三体排斥原理，Pfaffian型试探波函数并非精确本征态。

ABSTRACT

Motivated by previous suggestions that three-body hard-core interactions in lower-dimensional ultracold Bose gases might provide a way for creation of non-Abelian anyons, the exact ground state of a harmonically trapped 1D Bose gas with three-body hard-core interactions is constructed by duality mapping, starting from an $N$-particle ideal gas of mixed symmetry with three-body nodes, which has double occupation of the lowest harmonic oscillator orbital and single occupation of the next $N-2$ orbitals. It has some similarity to the ground state of a Tonks-Girardeau gas, but is more complicated. It is proved that in 1D any system of $N\ge 3$ bosons with three-body hard-core interactions also has two-body soft-core interactions of generalized Lieb-Liniger delta function form, as a consequence of the topology of the configuration space of $N$ particles in 1D, i.e., wave functions with \emph{only} three-body hard core zeroes are topologically impossible. This is in contrast with the case of 2D, where pure three-body hard-core interactions do exist, and are closely related to the fractional quantized Hall effect. The exact ground state is compared with a previously-proposed Pfaffian-like approximate ground state, which satisfies the three-body hard-core constraint but is not an exact energy eigenstate. Both the exact ground state and the Pfaffian-like approximation imply two-body soft-core interactions as well as three-body hard-core interactions, in accord with the general topological proof.

研究动机与目标

• 构建谐振子势阱中具有三体强硬核相互作用的一维玻色气体的精确多体基态。
• 解决长期以来关于在配置空间拓扑约束下，纯三体强硬核相互作用是否可能存在于一维系统中的疑问。
• 将精确基态与Paredes等人提出的Pfaffian型近似试探波函数进行比较，评估其作为能量本征态的有效性。
• 阐明在N≥3粒子的一维系统中，三体强硬核与两体软核相互作用之间的相互作用机制。
• 探讨此类相互作用在拓扑量子计算中潜在应用的可行性。

提出的方法

• 通过具有混合对称性和三体节点结构的N粒子理想气体的对偶映射，推导出精确基态波函数。
• 以费米-玻色映射原理为基础，通过配置空间的拓扑分析，将其扩展至三体强硬核相互作用。
• 将精确基态波函数表示为涉及两两和三三相对坐标的行列式型结构，确保在粒子交换下的反对称性。
• 证明由于一维N粒子配置空间的拓扑性质，两体软核相互作用（Lieb-Liniger型）不可避免地出现。
• 通过分析动能算符作用下的行为和尖点结构，将精确波函数与Paredes等人的Pfaffian型试探波函数进行比较。
• 证明Pfaffian型态虽然满足三体排斥原理，但由于动能算符矩阵元非零，不是精确能量本征态。

实验结果

研究问题

• RQ1 在一维系统中，对于N≥3个玻色子，能否实现纯三体强硬核相互作用，还是其在拓扑上被禁止？
• RQ2 谐振子势阱中具有三体强硬核相互作用的一维玻色气体的精确基态波函数形式是什么？
• RQ3 三体强硬核相互作用的存在是否必然导致一维系统中两体软核相互作用的出现？
• RQ4 与Paredes等人提出的Pfaffian型近似试探波函数相比，精确基态在能量本征态性质上有哪些不同？
• RQ5 无量纲耦合常数γ₃ = mg₃/ħ²是否与密度无关，这是否为实验实现此类相互作用提供了实际优势？

主要发现

• 通过从具有三体节点的理想气体出发的对偶映射，构建了精确基态波函数，其结果为涉及两两和三三相对坐标的乘积的复杂行列式型结构。
• 对于N≥3，即使仅施加三体强硬核相互作用，两体软核相互作用（广义Lieb-Liniger型）在拓扑上不可避免。
• Paredes等人提出的Pfaffian型试探波函数满足三体排斥原理，但并非精确能量本征态，其动能算符矩阵元非零已得到证实。
• 精确基态波函数在任意三粒子重合时为零，确认了三体强硬核约束；其尖点奇异性与两体软核相互作用一致。
• 无量纲耦合常数γ₃ = mg₃/ħ²与密度无关，表明可采用更高密度以达到三体强硬核极限，与两体Tonks-Girardeau极限相比，可能更易于实验实现。
• 拓扑证明表明，对于N≥3，纯三体强硬核相互作用在1D中不可能存在，因为配置空间的拓扑结构强制产生了两体软核相互作用。