Dissipative State Engineering of Complex Entanglement with Markovian Dynamics

技術要約：マルコフ的ダイナミクスを用いた複雑なもつれ状態の散逸的状態エンジニアリング

問題提起
高度に多体的なもつれ状態、特にクラスター状態の準備と安定化は、量子情報処理における中心的な課題である。クラスター状態は測定に基づく量子計算の基礎となるリソースであるが、その生成は通常、コヒーレントなユニタリ発展とそれに続く射影測定に依存している。著者らは、制御されたシステム-環境相互作用を利用した代替経路の必要性に取り組んでいる。具体的には、アイシング相互作用を介して結合されたスピン系における、複雑なもつれ構造の散逸的生成について調査している。これは、コヒーレントなユニタリエボリューションのみに頼ることなく、目的のクラスター状態に対応する一意の純粋定常状態へとシステムを駆動することを目的としている。

手法
著者らは、クラスター状態を安定化させるための、設計されたマルコフ的ダイナミクスに基づく理論的枠組みを提案している。物理モデルは、横磁場（$h$）の存在下で近接相互作用（$g$）を持つ、$N$個のスピン量子ビットからなる線形鎖で構成される。システムは、リンドブラッド・マスター方程式によって記述される、グローバルでメモリレスなリザーバーに結合されている。

手法の核心は、ターゲットとなるクラスター状態の部分空間へとシステムの密度行列を射影するように設計された、特定のリンブラッド・ジャンプ演算子（$L_m$）の構築にある。

1. 射影に基づく構築: ヒルベルト空間は、ターゲットとなる部分空間（クラスター状態 $|C_N\rangle$ で張られる）と、直交部分空間（基底状態 $\{\phi_m\}$ で張られる）に分割される。リンブラッド演算子は $L_m = |C_N\rangle\langle\phi_m|$ として定義される。
2. 散逸メカニズム: これらの演算子は、いかなる直交状態からも、ターゲットとなるクラスター状態へと直接ポピュレーションをポンプアップする機能を持つ。強い散逸極限、すなわち設計された散逸率（$\gamma$）が局所的なアイシング相互作用（$g$）を支配する場合、直交する寄与は除去され、クラスター状態が一意の定常状態として残る。
3. 解析: 著者らは、完全な $2^N$ 次元のヒルベルト空間におけるリウヴィリアン超演算子を構築する。彼らは以下の手法を用いてシステムを解析する：
   • 平均場理論: 熱力学的極限における安定な定常状態を特定するため。
   • 厳密な数値シミュレーション: 有限のシステムサイズにおける時間発展密度行列、定常状態フィデリティ、およびスピン期待値を計算するため。
   • スペクトル解析: リラクゼーション率と安定性を決定するために、リウヴィリアン・スペクトルギャップ（$\Delta$）を算出するため。
   • もつれ検出: 多体系のもつれを検証するために、もつれ検知演算子（entanglement witness）を使用するため。

主な結果

• 定常状態の出現: 数値結果は、設計されたリウヴィリアン散逸が局所的なアイシング相互作用よりも支配的である場合（$|g/h| \ll \gamma$）、クラスター状態が一意の定常状態として出現することを実証している。強い散逸領域において、システムはスピン期待値 $J_x, J_y, J_z$ が消失する状態へと収束するが、これはクラスター状態の特徴である。
• フィデリティとスケーリング: 理想的なクラスター状態に対する定常状態のフィデリティは、設計された散逸強度 $\gamma$ と共に増加する。「飽和散逸」の閾値（$\gamma_{sat}$）が特定されており、この閾値を超えるとフィデリティは最大値（$F_{sat}$）に達する。本論文では、$\gamma_{sat}$ がシステムサイズ $N$ に対して線形にスケーリングすること（$\gamma_{sat} \propto N$）を見出している。この飽和が達成されると、最大フィデリティはシステムサイズに対して比較的鈍感であり、$F_{sat} \approx F_0 + 0.020/N$ というべき乗則に従う（ここで $F_0 \approx 0.986$）。
• リウヴィリアン・ギャップ: スペクトルギャップ $\Delta$ は、熱力学的極限においても有限に保たれる。大きな散逸（$\gamma \approx \gamma_{sat}$）において、ギャップはシステムサイズ $N$ に対してほぼ独立しており、これは高速な緩和率と、他のリウヴィリアン・モードにおける長距離相関の欠如を示唆している。これは、生成されたクラスター状態の一意性と安定性を裏付けている。
• もつれ検知: もつれ検知演算子の期待値は、散逸が増加するにつれて、正（可分）から負（もつれ）へと遷移する。飽和極限において、検知値は漸近的に $-1/2$ に近づき、理想的なクラスター状態と一致する真の多体系もつれの存在を裏付ける。
• 高次元への拡張: プロトコルは2次元正方格子クラスター状態へと拡張されている。4量子ビットの正方格子に対する数値シミュレーションにより、同一の散逸メカニズムが、高いフィデリティと負の検知値をもって2次元クラスター状態を正常に安定化させることが確認された。

意義と主張
本論文は、設計された散逸を用いることで、スピン系における定常状態でのもつれ生成のための、物理的に実現可能な経路を提供すると主張している。主な意義は、複雑なもつれ構造（クラスター状態など）が、マルコフ的な動的プロセスの一意のアトラクターになり得ることを示した点にある。

著者らは、彼らのアプローチが、システムとバスの相関に関するマスター方程式の導出レベルで射影演算子が使用されていた従来の研究とは異なり、ここではリンブラッド・ジャンプ演算子のレベルで直接射影が実装されている点を強調している。本研究は、必要な散逸強度が量子ビット数に対して線形にスケーリングし、飽和に達した後は高いフィデリティが維持されることから、スケーラブルであることを示唆している。また、論文では、制御可能な散逸とアイシング相互作用を持つ捕捉イオン系（例：$Yb^+$ または $Sr^+$）が、必要なジャンプ演算子を実現するためのアンシラ媒介型オートノマス・ポンピングを利用した、本プロトコルの実装に向けた実行可能な実験プラットフォームとなることを提案している。

結論として、著者らは、彼らの射影ベースの構築が、システムを一意の多体系クラスター状態へと駆動するための効率的な手法を提供し、量子計算のためのもつれリソースの散逸的生成を前進させるものであると述べている。