Generalized Integrable Boundary States in XXZ and XYZ Spin Chains

技術要約：XXZおよびXYZスピン鎖における一般化された可積分境界状態

問題提起
量子クエンチ・プロトコル、特に非平衡ダイナミクスの研究は、初期状態とクエンチ後のハミルトニアンの固有状態（ベテ状態）とのオーバーラップを計算することに大きく依存している。特定のクラスの初期状態、すなわち「可積分境界状態」は、ベテ状態との非零のオーバーラップを持つこと、および一般化ギブスアンサンブルとの関連性から、特に重要である。歴史的に、これらの状態の研究は、偶数サイト数（$L$）の系、および通常は $t(u)|\Psi\rangle = t(-u)|\Psi\rangle$（ここで $t(u)$ は転送行列）という条件に限定されてきた。本論文は、奇数サイト数の系における可積分境界状態の理解における空白を埋め、定義を「マイナス」ブランチ、すなわち $t(u)|\Psi\rangle = -t(-u)|\Psi\rangle$ まで拡張し、周期境界条件およびツイスト境界条件下のXXZおよびXYZスピン鎖の両方に適用する。

手法
著者らは、代数的ベテアンザッツ（Algebraic Bethe Ansatz）の枠組みと、可積分境界条件の理論を用いている。核心となる手法は以下の通りである：

1. 一般化された定義： 可積分境界状態 $|\Psi_{\pm, s}\rangle$ の定義を、$s=e$（偶数）または $s=o$（奇数）が系の長さのパリティを表すとき、$t(u)|\Psi_{\pm, s}\rangle = \pm t(-u)|\Psi_{\pm, s}\rangle$ を満たすように拡張する。
2. KT関係式とK行列： 境界ヤン・バクスター方程式（BYB）と関連するK行列を利用して、因子化された2サイト境界状態を構成する。著者らはベクトル化されたK行列（$\vec{K}$）を導出し、KT関係式を用いて、特定のテンソル積状態が可積分条件を満たすことを証明する。
3. ツイスト境界条件： ツイスト行列 $G$（具体的には $G=I, \sigma_x, \sigma_y, \sigma_z$）を持つ系を調査し、可積分な状態の存在を保証するために、ツイスト行列とK行列の間の適合関係を導出する。
4. 選択則： 転送行列の固有値 $\Lambda(u)$ を分析する。境界状態とベテ状態の間のオーバーラップが非零であるための条件は $\Lambda(u) = \pm \Lambda(-u)$ である。著者らは、XXZおよびXYZモデルに特有の（同次および非同次の）T-Q関係を利用して、結果として得られるベテ根 $\{u_j\}$ に対する制約（選択則）を導出する。
5. 数値的検証： 解析的な閉形式の選択則が複雑である、あるいは存在しない場合、著者らは、演算子 $t(u) \mp t(-u)$ および $t(\eta/2) \mp t(-\eta/2)$ のゼロ固有値の退化度を決定するために数値計算を行う。

主要な貢献と結果

• 奇数サイト系における存在： 本論文は、奇数サイト数（$L \in 2k+1$）の系における可積分境界状態の存在を確立した。
  • 周期的なXXZ鎖において、状態 $|\Psi_{-, o}\rangle = (1, a)^{\otimes L}$ は $t(u)|\Psi_{-, o}\rangle = -t(-u)|\Psi_{-, o}\rangle$ を満たすことが示される。
  • ツイストされた鎖（$G=\sigma_\alpha$）において、状態 $|\Psi_{+, o}\rangle = \prod_{n \in \text{even}} \sigma_n^\alpha (1, a)^{\otimes L}$ は $t(u)|\Psi_{+, o}\rangle = t(-u)|\Psi_{+, o}\rangle$ を満たす。
• 「マイナス」ブランチへの一般化： 著者らは、ツイストされたXXZ鎖（具体的には $G=\sigma_\alpha$ の場合）において $t(u)|\Psi\rangle = -t(-u)|\Psi\rangle$ を満たす状態が存在することを実証する一方で、偶数 $L$ の周期的なXXZ鎖ではそのような状態は存在しないことを証明している。
• XYZ鎖への拡張： 本フレームワークは、XXZモデルから、U(1)対称性を欠き、非同次のT-Q関係を必要とする、より複雑な完全異方性XYZモデルへと正常に拡張される。著者らは、周期的なおよびツイストされたXYZ鎖の両方について、因子化された境界状態 $|\Psi_{\pm, e}\rangle$ および $|\Psi_{\pm, o}\rangle$ を構成し、KT関係式を通じてそれらの可積分性を証明する。
• ベテ根の選択則：
  • ペアリングされた根： 多くのケース（例：ツイストされたXXZにおける $|\Psi_{-, e}\rangle$ および $|\Psi_{+, o}\rangle$）において、選択則はベテ根が特定のペアを形成することを強制する：$\{u_j\} = \{-u_j + i\pi l_j\}$。
  • 非ペアリングの制約： 単純なペアリングが発生しないケース（例：ツイストされたXXZにおける $|\Psi_{+, e}\rangle$）では、著者らは $u = \pm \eta/2$ における転送行列の固有値を分析することで、必要な条件を導出する。これらの条件は、根の双曲線関数の積および和に関する制約を含む。
  • XYZ鎖： 奇数 $L$ の周期的なXYZ鎖において、$|\Psi_{-, o}\rangle$ に対する選択則は、根の集合 $\{\mu_j\}$ と $\{\nu_j\}$ を関連付ける非同次T-Q関係のパラメータに対する制約を課す。
• 非存在の証明： 本論文は、特定の境界状態の非存在を厳密に証明している。例えば、周期的なXXZ鎖において $|\Psi_{-, e}\rangle$ は存在せず、ツイストされたXXZ鎖（$G=\sigma_\alpha$）において $|\Psi_{-, o}\rangle$ は存在しない。同様の非存在の結果が、XYZ鎖の特定の構成についても導出されている。
• 数値的次元解析： 数値結果（表3および表4）は、選択則を満たすベテ状態の部分空間の次元が $L^{-1}\dim(\mathcal{H})$ または $2L^{-1}\dim(\mathcal{H})$ のようにスケールすることを示しており、これは可積分境界状態がダイナミカルな進化のためにアクセス可能なヒルベルト空間を著しく制限していることを示唆している。

意義と主張
著者らは、この研究が可積分境界状態の概念の包括的な一般化を提供するものであると主張している。主な意義は以下の点にある：

1. 範囲の拡大： 従来の偶数サイト系および「$+$」ブランチの可積分条件という制限を超えている。
2. モデルの一般性： U(1)対称性を欠き、非同次のT-Q関係を必要とする、より複雑なXYZモデルへとこれらの結果を拡張している。
3. 因子化構造： 構成されたすべての状態は因子化されており（2サイト状態のテンソル積）、理論的に扱いやすく、冷原子系において実験的に関連する可能性がある。
4. 選択則： ベテ根に対する明示的な選択則（または必要条件）を提供しており、これらはオーバーラップの計算や、クエンチ・アクション法による非平衡ダイナミクスの研究において極めて重要である。

本論文は、すべてのケース（特に、その領域におけるベテ状態のノルムの複雑さゆえに、ツイストされた境界を持つXYZ鎖における）のオーバーラップの明示的な形式を求めることは、依然として困難な課題であるが、確立された選択則とこれらの一般化された状態の存在が、これらの系における非熱化ダイナミクスの将来的な解析的および数値的研究のための必要な基礎を提供するものであると結論付けている。