Perfect State Transfer from a Localised Two-Excitation State to a Dicke State via Static Spin-Network Hamiltonians

技術要約：局在化した二励起状態からディッケ状態への、静的なスピンネットワーク・ハミルトニアンによる完全状態転送

問題提起
本論文は、設計された量子スピンネットワーク内における完全状態転送（PST）の問題を扱っている。具体的には、時間独立で励起数を保存するハミルトニアンが、局在化した二励起状態 $|\psi_0\rangle = |110\dots0\rangle$ を、有限の時間 $t$ において、完全に対称な二励起ディッケ状態 $|D^{(2)}_N\rangle$ へと進化させることができるかどうかを調査している。

任意の実純粋状態間のPSTに関する一般的な存在結果（制約のない実対称行列によるもの）は既知であるが、それらの解は通常、スピンネットワークの物理的構造を欠いた密な行列となる。ここでの特定の物理的制約は、ハミルトニアンが以下の形式をとらなければならないことである：
$$H = \sum_{i<j} J_{ij}(\sigma^+_i \sigma^-_j + \sigma^+_j \sigma^-_i) + \sum_i \epsilon_i n_i$$
ここで、$J_{ij}$ は実結合定数であり、$\epsilon_i$ はオンサイト・エネルギーである。課題は、この励起保存型のホッピング構造と、初期状態およびターゲット状態の特定の対称性を遵守しながら、転送条件 $e^{-iHt}|\psi_0\rangle = e^{i\phi}|D^{(2)}_N\rangle$ を満たすことである。

手法
著者は、高次元の問題を解可能な代数系へと還元する、構成的かつ記号的なアプローチを採用している。

1. 対称性の簡約化： ダイナミクスを二励起セクターに限定する。非占有スピン（サイト2から $N-1$）に対して $S_{N-2}$ 置換対称性を課すことにより、問題を四次元の不変部分空間へと縮小する。基底状態は、二つの特別なサイト（0と1）の占有状態と、残りの $M = N-2$ 個のサイトにおける励起の対称的な分布によって定義される。
2. スペクトル定式化： 転送条件をスペクトル要件へと翻訳する。著者はベクトル $x_+ = \frac{1}{2}(|\psi_0\rangle + |D^{(2)}_N\rangle)$ を構築し、これが有効ハミルトニアンの零固有ベクトル（$Hx_+ = 0$）であることを要求する。残りの3つの固有値は、特定のスペクトル族 $\{-n\pi, -\pi, \pi\}$ （ここで $n$ は奇数）に固定される。このスペクトルの選択により、時間発展演算子が直交成分 $x_-$ の符号を反転させることが保証される。
3. 逆スペクトル問題：
   • ステージ I： 条件 $Hx_+ = 0$ を用いて、結合パラメータの関数として対角要素（オンサイト・エネルギー）を表現し、3つの結合比（$x = q/p$, $y = a/p$）を自由変数とする。このステップは、任意の $N \ge 4$ に対して物理的に実現可能であることが示されている。
   • ステージ II： 非ゼロの固有値がターゲットとなるスペクトルと一致するという要求により、無次元比 $x$ と $y$ に関する二つの多項式方程式が導かれる。
   • 代数的簡約： $y$ を消去することにより、次数6の相反多項式 $P(x)$ が得られる。置換 $z = x + x^{-1}$ を用いることで、これは三次多項式 $Q(z)$ に簡約される。
4. 存在証明： 著者は、多項式 $Q(z)$ の最高次係数の符号と、境界値 $z = -2$（$x = -1$ に対応）における値を分析することで、実数解の存在を証明する。十分大きな奇数 $n$ を選択することで、最高次係数は負となり、境界値も負となるため、中間値の定理により実根 $z^* < -2$ が保証される。サブリザルト（副結果）の議論により、この根が元の系の有効な解へと持ち上げられることが保証される。

主要な結果

• 定理1： すべてのシステムサイズ $N \ge 4$ に対して、完全な $S_{N-2}$ 対称性を備えた、局在化した $|110\dots0\rangle$ から $|D^{(2)}_N\rangle$ への完全状態転送を実現する、実数かつ時間独立な励起数保存型ハミルトニアンが存在する。
• 明示的な構成： 本論文は、オンサイト・エネルギーと結合定数を決定するための閉形式の手法を提供している。その解は、特定の奇数 $n$（通常は3, 5, 7, 9などの小さな値）を選択し、結果として得られる代数方程式を解くことに依存する。
• 数値的検証： この記号的な構成は、$N=4$ から $102$（および$N=502$）の範囲で検証された。すべてのケースにおいて、構築されたハミルトニアンはマシン精度（$\sim 10^{-14}$から$10^{-15}$）で転送フィデリティを達成しており、数値最適化に頼ることなく記号的導出が正しいことを裏付けている。

意義と主張
本論文は、一般的なスペクトル定理では対処できない、制約付きのPST問題の解法を提示している。主な貢献は以下の通りである：

• 物理的実現可能性： 一般的な密な行列ではなく、スピンネットワークに求められる特定の「励起保存型」の構造を持つハミルトニアンを用いて、局在状態と対称なディッケ状態との間の完全な転送が可能であることを示している。
• 記号的な存在証明： 証明は完全に記号的かつ代数的であり、数値最適化やヒューリスティックな探索ではなく、多項式の因数分解と根の解析に基づいている。
• 既存モデルとの区別： 本研究は、Krawtchouk鎖や $SU(2)$ 鎖の構成とは明確に異なる。それらのモデルでは、初期状態とターゲット状態の両方が完全に対称な表現内に存在する。ここでは、初期状態は局在しており（完全な対称性を破っており）、転送は非占有サイトの残留 $S_{N-2}$ 対称性に依存している。
• 限界： 著者は、この構成が二励起セクター（$k=2$）に限定されていることを明記している。利用可能なパラメータ数と必要なスペクトル制約との間の不一致により、このメカニズムは $k \ge 3$ には拡張できない。また、本論文は転送時間やパラメータの最小性に関する最適性、あるいは実験的な実装方法や量子ネットワークへの状態配布方法を提案するものではない。

結論として、本論文は、静的な設計済みスピンネットワークが、任意の $N \ge 4$ において局在化した二励起状態をディッケ状態へと完全に転送できることを確立しており、最適化に基づかない厳密な存在証明を提供している。