[论文解读] Fermionic basis for space of operators in the XXZ model

H. Boos, M. Jimbo+3 more|ArXiv.org|Feb 12, 2007

Algebraic structures and combinatorial models参考文献 2被引用 10

一句话总结

本论文为无限XXZ自旋链在q=i时的准局域算符空间构建了费米子基，表明生成函数b(ζ)、c(ζ)的留数bₖ、cₖ作为自由费米子的三次单项式起作用。该基的存在性由格拉斯曼关系、对称群等变性及约化性质推导得出，从而为关联函数提供了简化的代数结构。

ABSTRACT

In the recent study of correlation functions for the infinite XXZ spin chain, a new pair of anti-commuting operators $b(z), c(z)$ was introduced. They act on the space of quasi-local operators, which are local operators multiplied by the disorder operator. For the inhomogeneous chain with the spectral parameters $ξ_{k}$, these operators have simple poles at $z^2=ξ_{k}^2$. The residues are denoted by $b_{k}, c_{k}$. At $q=i$, we show that the operators $b_{k}, c_{k}$ are cubic monomials in free fermions. In other words, the action of these operators is very simple in the fermion basis. We give an explicit construction of these fermions. Then, we show that the existence of the fermionic basis is a consequence of the Grassmann relation, the equivariance with respect to the action of the symmetric group and the reduction property, which are all valid for the operators $b_{k}, c_{k}$ in the case of generic $q$.

研究动机与目标

• 为无限XXZ自旋链中准局域算符空间构建费米子基。
• 理解作用于这些算符上的反对易算符b(ζ)、c(ζ)的代数结构。
• 证明在q=i时，算符bₖ、cₖ是自由费米子的三次单项式。
• 证明费米子基的存在性源于三个基本性质：格拉斯曼关系、对称群等变性及约化性质。
• 显式构造底层的自由费米子，并将其与单值矩阵的迹及q-振子表示联系起来。

提出的方法

• 将算符b(ζ)、c(ζ)定义为生成函数，其在非齐次链中于ζ² = ξₖ²处具有单极点，留数为bₖ、cₖ。
• 通过涉及q-振子表示W±和C²辅助空间的单值矩阵非对角元的迹来实现构造。
• 分离ζ=1处展开的奇点部分，确保其独立于三角化选择。
• 通过变换ι及L-矩阵作用，将算符表达式重写为自由费米子ψ⁺、ψ⁻的形式，推导出费米子表示。
• 关键步骤在于将共轭单值矩阵的迹表示为费米子算符的线性组合，因式分解为费米子双线性项与剩余算符的乘积。
• 证明依赖于格拉斯曼关系、对称群下的等变性及约化性质，以确立费米子基的结构。

实验结果

研究问题

• RQ1 在q=i时，XXZ模型的准局域算符空间能否赋予费米子基？
• RQ2 反对易算符bₖ、cₖ是否作为自由费米子的三次单项式起作用？
• RQ3 费米子基的存在性是否源于格拉斯曼关系、对称群等变性及约化性质？
• RQ4 算符bₖ、cₖ如何与单值矩阵及q-振子表示相关联？
• RQ5 实现费米子基中算符作用的自由费米子的显式形式是什么？

主要发现

• 在q=i时，算符bₖ与cₖ被证明是自由费米子的三次单项式，使其在费米子基中的作用得以简化。
• 费米子基的存在性源于格拉斯曼关系、对称群等变性及约化性质，这些性质对一般q值成立。
• 通过变换ι将迹公式重写为费米子算符ψ⁺、ψ⁻的形式，实现了自由费米子的显式构造。
• b(ζ)在ζ=ξₖ处的留数为res_{ζ=ξₖ} b(ζ) dζ/ζ = -½ Ŷ⁺ₖ · U⁺ₖ(α)(1−N⁺ₖ(α)) · i^{±S+1}ξₖ^{±(α−S)−1}，其中N⁺ₖ = χ⁻ₖχ⁎⁺ₖ。
• 算符Q⁺(ζ,α)与单值矩阵的迹相关，其结构通过变换ι被证明可因式分解为费米子双线性项与剩余算符的乘积。
• 最终结果确认，bₖ、cₖ在准局域算符空间上的作用在费米子基中被完全对角化并简化，从而实现了关联函数的高效计算。