Coordinate-energy transformation and the one-point function for the Heisenberg-Ising XXZ spin-1/2 chain on the ring

技術要約：座標・エネルギー変換とハイゼンベルク・イジングXXZスピン1/2鎖の一点関数

問題提起
本論文は、奇数長 $L$ の離散環における $N$ 個のスピンアップ粒子を持つハイゼンベルク・イジングXXZスピン1/2鎖に対するベテ・アンザッツ（Bethe Ansatz）の完全性について扱う。座標ベテ・アンザッツは、ベテ方程式の解から固有ベクトル（ベテ・ベクトル）を構成する手法を提供するが、これらのベクトルがヒルベルト空間全体を張るか、あるいは座標基底からエネルギー（固有）基底への写像が可逆であることは、先験的に保証されているわけではない。具体的には、著者らは逆変換の明示的な閉形式の公式、すなわち座標基底の状態 $|x\rangle$ をベテ固有ベクトル $|\xi\rangle$ の線形結合として表す方法を求めている。この逆変換を確立することは、この系におけるベテ・アンザッツの完全性を証明し、一点関数（占有確率）のような動的な観測量の厳密な計算を可能にする。

手法
著者らは、代数的な操作、複素解析（輪郭積分）、および数値的検証を組み合わせた構成的なアプローチを採用している：

1. 定義とセットアップ： ヒルベルト空間 $\mathcal{H}$ は、長さ $L$ の環上の $N$ 個の粒子の配置によって定義される。ハミルトニアン $H_{XXZ}$ は異方性パラメータ $\Delta$ を伴って定義される。
2. ベテ・アンザッツの枠組み： 著者らは標準的なベテ・アンザッツを復習し、ベテ方程式によって決定される振幅 $u(\xi, x)$ を用いてベテ・ベクトル $|\xi\rangle$ を定義する。また、ベテ方程式の解の集合 $\Xi$（置換を除いて）と、それに関連するベクトル空間 $W$ を導入する。
3. 逆変換の予想： 核となる提案は、逆変換を明示的に記述する公式である予想 3.11（要旨では定理 3.11 と記載）であり、これは以下の式を提示している：
   $$|x\rangle = \sum_{[\xi] \in \Xi} \ell(x, \xi) |\xi\rangle$$
   ここで、$\ell(x, \xi)$ はガウディン行列（Gaudin matrix）に関連する行列 $\Lambda(\xi)$ の行列式と特定の対称化因子を含む、新たに導出された係数である。
4. 解析的証明：
   • $\Delta = 0$ の場合： 任意の $N$ に対する自由フェルミオン点（$\Delta = 0$）における厳密な証明が、1の冪根およびヴァンデルモンド行列式の性質を用いて提供される。
   • $N=2$ の場合： 仮定 7.1（$L > 2$, $|\Delta| < \frac{L-1}{2L}$, $\Delta \neq \cos(2\pi k/(L-2))$ ただし $k \in [L-2]$、および証明 7.9 で決定される有限個の $\Delta$ の値を除く）の制約下での二粒子セクター（$N=2$）に対する厳密な証明が確立されている。この証明では、構成の指示関数を表現するために入れ子状の輪郭積分を用い、ベテ根に対応する留数を捉えるように輪郭を変形させている。
5. 一般の $N > 2$： 一般の場合は予想として残されており、数値的な証拠によって支持されている。
6. 数値的検証： 著者らは、非ゼロの小さな $\Delta$ に対してベテ方程式を数値的に解くためにニュートン・カチャルク法（Newton-Kaczmarz method）を実装した。提案された逆公式を通じて構築された遷移行列が単位行列であることを確認することで、様々な $N, L, \Delta$ に対して予想を検証した。
7. 一点関数の導出： 逆変換が妥当であると仮定し、著者らは一点関数 $\rho(x, t)$ の厳密な公式を導出する。これには、イゼルギン・コレピン（Izergin-Korepin）行列式に関連する恒等式を用いて、ベテ根と構成に関する二重和を簡略化し、計算量を大幅に削減するプロセスが含まれる。

主要な貢献

• 逆座標ベテ・アンザッツ公式： 本論文は、エネルギー基底から座標基底への変換（定理 3.11）に対する明示的な閉形式の表現を提供している。これは標準的な座標ベテ・アンザッツの逆である。
• 特定ケースにおける完全性の証明： 著者らは、$\Delta = 0$（任意の $N$）および仮定 7.1 の制約下での $N=2$ において、ベテ・ベクトルがヒルベルト空間の完全な基底を形成することを証明している。
• 厳密な一点関数公式： 予想の妥当性を前提として、著者らは、周期的な環への適用を一般化しつつ、イゼルギン・コレピンの恒等式から導かれた関数 $F$ と逆変換係数 $\ell$ を用いた、行列式に基づく簡略化された一点関数の公式（定理 1.2 および定理 6.1）を導出している。
• 数値的枠組み： 非自明な $\Delta$ に対してベテ方程式を解くための堅牢な数値的手法（Newton-Kaczmarz）の開発、および $N > 2$ における逆変換の検証。

結果

• 定理 3.11： 逆変換公式は、$\Delta = 0$ および $N=2$（仮定 7.1 の制約下）において証明された。$N > 2$ かつ $\Delta \neq 0$ の場合、公式は数値的に確認されているが、依然として予想である。
• 完全性： もし定理 3.11 が成立するならば、ベテ・アンザッツは、有限個の $\Delta$ の値を除いて、奇数長の環におけるXXZ鎖に対して完全である（予想 1.1）。
• 一点関数： 導出された公式（式 78/79）は、イゼルギン・コレピンの恒等式から導かれた関数 $F$ と逆変換係数 $\ell$ を含む、ベテ根のペアの和として占有確率を表現している。
• 数値的証拠： $N=3, L=21$ などのシミュレーションにより、構築された遷移行列が単位行列であることが確認され、$N > 2$ における予想が支持されている。

意義と主張
本論文は、逆変換を明示的に構成することによって、ベテ・アンザッツの完全性への構成的なアプローチを提示している。著者らは、もしこの公式が成立するならば、ベテ・ベクトルはヒルベルト空間全体を張り、これにより、周期的なXXZ鎖における完全性の問題を（公式が証明または予想されているケースにおいて）解決できると主張している。

著者らは、この結果が、特に非平衡初期条件における周期的なXXZ鎖のスピンアップ・プロファイルの精密な漸近解析への道筋を提供する可能性があると述べている。導出された一点関数の公式は、先行研究（例：[STW22]）で見られるギャップ確率関数を一般化したものであり、環における大規模なスピン輸送や潜在的なKPZ型の揺らぎの研究を容易にすることを目的としている。

本論文は、一般の場合（$N > 2, \Delta \neq 0$）については控えめな姿勢を保っており、逆変換の一般的な妥当性と、ガウディン型の行列式の挙動を明示的に「予想」とラベル付けている。著者らは、例外的な $\Delta$ の正確な特徴付け、およびガウディン型行列式の挙動の把握が、今後の課題における主要な懸念事項であることを特定している。