[论文解读] Vanishing spin stiffness in the spin-1/2 Heisenberg chain for any nonzero temperature

J. M. P. Carmelo, Tomaž Prosen+1 more|arXiv (Cornell University)|Jul 2, 2014

Quantum many-body systems被引用 3

一句话总结

该论文通过在热力学极限下推导出与 m²L 成正比的确界，证明了自旋-1/2 Heisenberg XXX 链在任意非零温度 T>0 时，自旋刚度在零自旋密度（m=0）处精确消失。该结果排除了在有限温度下正则系综中的弹道自旋输运，解决了长期存在的争议，表明尽管 Mazur 不等式对 m≠0 的情况暗示刚度不消失，但实际仍会消失。

ABSTRACT

Whether at zero spin density $m=0$ and finite temperatures $T>0$ the spin stiffness of the spin-$1/2$ $XXX$ chain is finite or vanishes remains an unsolved and controversial issue, as different approaches yield contradictory results. Here we provide an exact upper bound on the stiffness within a canonical ensemble at any fixed value of spin density $m$ and show that it is proportional to $m^2 L$ in the thermodynamic limit of chain length $L o\infty$, for any finite, nonzero temperature. Moreover, we explicitly compute the stiffness at $m=0$ and confirm that it vanishes. This allows us to exactly exclude the possibility of ballistic transport within the canonical ensemble for $T>0$.

研究动机与目标

• 解决长期以来关于自旋-1/2 Heisenberg XXX 链在有限温度 T>0 时，零自旋密度（m=0）下自旋刚度是否消失的争议。
• 在任意固定 m 和 T>0 的正则系综中，推导出自旋刚度的精确上界，表明其在热力学极限下与 m²L 成正比。
• 确认在 m=0 时自旋刚度消失，从而排除了在 T>0 时正则系综中的弹道输运。
• 调和不同理论方法之间的矛盾结果，包括 Mazur 不等式与热力学 Bethe ansatz (TBA) 方法。

提出的方法

• 利用正则系综中的热平均与电流-电流关联函数，推导出自旋刚度的精确上界。
• 应用正则系综框架，固定总自旋投影 S，确保 m = m_S = S/L 定义明确。
• 使用配对数规则 ∑ₙ nMₙ = (L−2S)/2，将 n 对构型的分布与有效电流载流子联系起来。
• 分析不同 n 带粒子占据数（n≥1）的约化子空间中的自旋电流，特别比较 Mₙ=0（n>1）与 ∑ₙ≥₂ Mₙ 为有限值的子空间。
• 通过求解方程 (46)–(47) 和电流表达式 (40)–(44) 评估电流能隙 Δ_J，表明 Δ_J 随 m_S 增大而增加。
• 证明在无 n>1 带粒子占据的子空间中（即 Mₙ=0 对所有 n>1），最大绝对电流超过存在有限 ∑ₙ≥₂ Mₙ 的子空间，原因在于有效电流载流子数量更多且每个载流子的基元电流更大。

实验结果

研究问题

• RQ1 自旋-1/2 Heisenberg XXX 链在任意非零温度 T>0 时，零自旋密度（m=0）下自旋刚度是否消失？
• RQ2 能否在正则系综中推导出自旋刚度的精确上界，以确认其在 m=0 且 T>0 时消失？
• RQ3 为何 Mazur 不等式与其他方法得出矛盾结果？这些矛盾如何调和？
• RQ4 n 对构型与有效电流载流子在决定自旋电流与刚度方面起什么作用？
• RQ5 电流能隙 Δ_J 如何依赖于自旋量子数 S 以及 Mₙ 在 n 带中的分布？

主要发现

• 在任意 T>0 时，自旋刚度在 m=0 处精确消失，排除了正则系综中弹道输运的可能性。
• 在热力学极限 L→∞ 下，推导出自旋刚度的精确上界与 m²L 成正比，证实当 m→0 时刚度消失。
• 最大绝对自旋电流出现在无 n>1 带粒子占据的约化子空间中（即 Mₙ=0 对所有 n>1），原因在于有效电流载流子数量更多且每个载流子的基元电流更大。
• 当 M₁ = (L−2S)/2 − 2 且 M₂ = 1 时，电流能隙 Δ_J 达到最小值 2J，对应于存在有限 n>1 对占据的子空间中最大的载流能力。
• 在 (1−m_S)≪1 极限下，Δ_J = 2J∑ₙ(n−1)Mₙ = 2J×δN_carriers，其中 δN_carriers 为不同子空间间有效电流载流子数量的差值。
• 结果确认了在 m=0 时刚度消失，调和了 TBA、唯象学与非平衡方法之间的矛盾。