Fundamental error bound for entanglement generation between interacting Rydberg atoms

技術要約：相互作用するリドベリ原子間のもつれ生成における基礎的な誤差限界

問題提起
リドベリ励起を利用した中性原子アレイは、量子コンピューティングのための主要なプラットフォームである。もつれの生成および量子ゲートの実行に関わる主要なメカニズムは、レーザー駆動によるリドベリ状態への遷移であり、これらはファンデルワールス力または双極子相互作用を介して強く相互作用する。しかし、これらのリドベリ状態は有限の寿命を持っており、崩壊率 $\Gamma$ での自発放出による減衰を伴う。技術的なエラー（レーザーノイズ、原子の運動など）は理論的には排除可能であるが、この崩壊エラーは根本的な制限として残る。このエラーは、原子が減衰するリドベリ状態に滞在する平均時間（$T_r$）に比例する。先行研究では時間最適化パルスが特定されているが、達成可能な誤差に対する厳密な下限値、およびその限界に近づく具体的なレーザーパルスについては、十分に解決されていなかった。

手法
著者らは、解析的導出と数値最適化を組み合わせた二段構えのアプローチを採用している。

1. 下限の解析的導出:

   • システムは、内部状態として基底状態 $|g\rangle$ とリドベリ状態 $|r\rangle$ を持ち、分散型ハミルトニアン $H_{int} = B |rr\rangle\langle rr|$ によって相互作用する2つの原子（AおよびB）としてモデル化される。
   • 崩壊エラーは $E \simeq \Gamma T_r = \Gamma \int_0^T P_r(t) dt$ と定義される（ここで $P_r(t)$ は瞬時リドベリ占有数）。
   • 最小の $T_r$ を求めるために、著者らは最大もつれ状態からの距離の尺度として、最小エントロピー $S = -\log_2 c_1^2$ （ここで $c_1$ は最大のシュミット係数）を利用する。
   • 相互作用によって駆動されるユニタリ発展の下での最小エントロピーの時微分 $\dot{S}$ を解析することにより、リドベリ占有数 $P_r$ ともつれ生成率 $\dot{S}$ の間の関係を導出する。
   • エントロピーが $S=0$（積状態）から $S=1$（最大もつれ状態）へと変化する過程において、$P_r / |\dot{S}|$ の積分を最小化する最適化問題を定式化する。

2. 数値最適化 (GRAPE):

   • 理論的な限界に近づく物理的なレーザパルスを特定するために、著者らは勾配上昇法によるパルスエンジニアリング (GRAPE) を用いる。
   • システムは、対称部分空間（$|gg\rangle, |W\rangle, |rr\rangle$。ここで $|W\rangle$ は対称なベル状態）内における3準位梯子型システムへと簡略化される。
   • 最適化では、高フィデリティ（$F$）と低リドベリ占有数（$T_r$）のバランスをとるコスト関数 $J(\gamma) = F - \gamma T_r$ を最小化する。低占有領域が見つかった後は、フィデリティを優先するためにペナルティパラメータ $\gamma$ を段階的に減少させる。
   • 最適化では、有限の時間 $T$ にわたってラビ振動数 $\Omega(t)$ とデチューニング $\Delta(t)$ を変化させる。

主な貢献と結果

• 基礎的な誤差限界: 著者らは、2つの原子間で任意の最大もつれ状態を準備するための厳密な下限を解析的に導出した：
  $$E \geq \eta_{min} \frac{\Gamma}{B}, \quad \text{ただし} \quad \eta_{min} = 1 + \frac{\pi}{2} \approx 2.57$$
  この限界は、すべての技術的エラーが無視できることを前提としており、崩壊率 $\Gamma$ と相互作用強度 $B$ の比のみに依存する。これは、以前の推定値（$E \gtrsim 1.05 \Gamma/B$ という緩い下限を示唆していたもの）を精緻化するものである。

• 限界のタイトさ（厳密性）: GRAPE最適化を用いることで、著者らは誤差 $E \approx 2.575 \Gamma/B$ で最大もつれ（ベル）状態を生成する特定のレーザーパルスを特定した。この結果は理論的限界のわずか $\sim 1\%$ 上回っており、この限界がタイトであり、現実的に達成可能であることを示している。

• 最適パルスの特性:

  • 最適なパルスは、限界に近づくために $T \gtrsim 5/B$ の持続時間を必要とする。
  • 最適なパルスは非自明であり、リドベリ状態に滞在する時間を最小化しつつ、もつれ生成率を最大化するように、時間依存のラビ振動数とデチューニングを含む。
  • 理論的解析によれば、絶対的な限界（$\eta_{min}$）は無限時間の極限（$BT \to \infty$）においてのみ到達されるが、有限時間のパルスでもこれを極めて近く近似できる。

• 標準的なプロトコルとの比較:

  • 標準的なプロトコル（例：$\pi/2$ パルスに続いて $\pi/B$ の自由発展を行うもの）は、$E \approx \pi \Gamma/B \approx 3.14 \Gamma/B$ の誤差を生じ、これは基礎的な限界よりも $\sim 22\%$ 高い。
  • 著者らは、導出した限界は特定のベル状態の準備に適用されるものであり、「特殊な完全なもつれ生成器（すべての4つの直交する入力積状態を同時に最大に絡ませるCZゲートのようなゲート）」には自動的には適用されないことを指摘している。そのようなゲートの場合、平均的な誤差は依然として高く（例：2準位原子の場合 $\bar{E} \approx \pi \Gamma/B$）、著者らはCZゲートの平均誤差を基礎的な限界 $\eta_{min} \Gamma/B$ まで低減させるパルスを見つけることができなかった。

意義と主張
本論文は、リドベリ原子系におけるもつれ生成のフィデリティに対する物理的な基礎限界を、自発放出と相互作用強度によって制約される形で確立したと主張している。この限界が（1%以内で）達成可能であることを証明することで、本研究は実験性能の決定的なベンチマークを提供している。

著者らは、以下の点を強調している：

1. 理論的推定の精緻化: 以前の緩い境界を修正し、数学的に厳密な導出を提供した。
2. 実験設計の指針: 滑らかに最適化されたレーザーパルスが標準的なプロトコルを大幅に上回り、ゲート不完全性への崩壊エラーの寄与を低減できることを示した。
3. 広範な適用性: この導出は一般的であり、崩壊と緩和を伴う他の量子情報処理システムにも適用可能である。
4. 実用的な意味合い: 現実的なパラメータ（例：$n \approx 40-60$ の $^{87}\text{Rb}$ 原子）において、相互作用強度 $B$ が十分に大きく最適化されたパルスが使用される場合、基礎的な誤差限界は、室温環境であっても $10^{-4}$ 以下のゲートエラーが達成可能であることを示唆している。

結論として、単一状態の準備に対する基礎的な限界は到達可能であるが、ユニバーサルな2量子ビットゲート（CZなど）に対して同様に低い誤差を達成することは、特に強いブロッケード領域においては依然として課題であるとしている。