Solving for the integrable boundary states of the ABJM spin chain from $KT$-relations

技术摘要：通过 KT 关系求解 ABJM 自旋链的可积边界态

问题陈述
本文研究了交替 $SU(4)$自旋链中可积边界态的构建，该自旋链描述了三维$\mathcal{N}=6$ 超对称 Chern–Simons-matter (ABJM) 理论的平面标量部门。虽然可 integrable 边界态在齐次自旋链中已得到充分理解（由奇数守恒荷的湮灭来定义），但 ABJM 链的交替结构使得必须基于转移矩阵之间的关系来进行表述。具体而言，作者专注于寻找满足手征（chiral）或非手征（achiral）可积条件的边界态 $|\Psi\rangle$，这些条件由交叉谱参数处转移矩阵 $\tau(u)$ 与 $\bar{\tau}(u)$ 之间的特定关系定义。核心挑战在于为具有 $n$ 位平移不变性的边界态求解底层的代数约束，其中状态是由一个基本的 $n$ 位块构建而成的。

方法论
作者采用了基于 KT 关系的直接代数方法，避免了预先假设辅助矩阵 $K(u)$ 必须满足反射方程。相反，他们将边界块（对于 $n=1, 2, 3$ 分别记为 $|\Omega\rangle, |\phi\rangle, |\Theta\rangle$）和矩阵 $K(u)$ 视为耦合系统中的未知量。

该方法论如下进行：

1. 公式化： 将 KT 关系简化为一个涉及基本 $n$ 位块与矩阵 $K(u)$ 的基础混合态-算符方程。
2. 宇称分析： 根据 $n$ 的奇偶性将求解策略分为两类：
   • 奇数 $n$（1位、3位）： 将约束转化为量子空间上的纯态方程。作者针对算符值解（涉及内空间）和 $c$-数解对这些方程进行了分析。
   • 偶数 $n$（2位、4位）： 将约束简化为矩阵空间上的纯算符方程。
3. 代数技术： 作者利用群论论证、在特殊谱参数值（如 $u=0, u=-2, u \to \infty$）下的矩阵方程秩分析，以及李代数表示的分类（特别是 $so(4), sp(4)$和$sl(4)$）来求解所得方程。
4. 验证： 对于偶数 $n$，作者检查导出的 $K(u)$ 是否与已知的满足孤子保持（SP）或孤子非保持（SNP）反射方程的解一致，尽管他们最初并未对此做假设。

核心贡献与结果

• 1-位态：

  • 手征： 作者构建了非平凡的算符值解，其中 1-位块由 Clifford 代数生成元产生。相应的 $K(u)$ 也由这些生成元构造而成，并被证明是可逆的。
  • 非手征： 作者证明了对于非手征 1-位情况，不存在非平凡的 $c$-数可积边界态。

• 2-位态：

  • 手征： 分析表明，手征 2-位态仅存在平凡解。
  • 非手征： 发现了非平凡的 $c$-数可积对 $(M, K(u))$。矩阵 $M$ 决定了 2-位块，且 $K(u)$ 由 $M$ 固定。所得的 $K(u)$ 被证明必然满足 SP 型反射方程。

• 3-位态：

  • 手征： 当限制在 $c$-数解（不含内空间）并假设 $K(u)$ 满足 SNP 型反射方程时，作者证明唯一的解是平凡零态。
  • 非手记： 类似地，当 $K(u)$ 被选自 SP 型反射方程的解时，对于 3-位情况不存在非平凡的 $c$-数可积边界态。

• 4-位态：

  • 手征： 解根据 $K(u)$ 洛朗展开中的常数项 $K(0)$ 进行分类。
    • 在 **$so(4)$情况**下（$(K(0))^t = K(0)$），$K(u)$是一个可逆对称常数矩阵，边界块通过涉及$K(0)$ 的特定变换进行构造。
    • 在 **$sp(4)$情况**下（$(K(0))^t = -K(0)$），$K(u)$ 是一个可逆反对称常数矩阵，产生相应的非平凡块。
    • 在 **$sl(4)$情况**下（通用的$K(0)$），仅存在零解。
  • 非手征： 4-位解被证明本质上可以分解为两个 2-位非手征解的张量积，从而将问题简化为先前解决的 2-位情况。

意义与主张
论文声称，其基于 KT 关系的直接方法提供了比仅通过反射方程或其融合对应物获得的更广泛的解类。强调的主要优势在于能够构建奇数位平移不变的可积边界态（特别是具有算符值解的 1-位手征态），这类态无法通过标准的反射方程法生成。

作者指出，对于 4-位手征态，其结果与先前文献中通过反射矩阵的融合构造所得到的结果一致，这作为一种一致性检查。他们明确表示，对于 $n > 1$，他们将分析限制在 $c$-数解，将算符值对的探索留作未来工作。论文最后指出，所构建的态对于计算与 Bethe 本征态的重叠至关重要，这对于确定 ABJM 理论缺陷设置中的一点及高阶相关函数是必要的，并有助于理解这些边界条件在对偶全息设置中的有效场论解释。