Predicting Noise in a Trapped-ion Quantum Simulator of a Lattice Gauge Theory

技術要約：トラップイオン・格子ゲージ理論量子シミュレータにおけるノイズの予測

問題提起
近年、イオンの内部状態がゲージ場を、集団的な振動がボゾン的な物質をエンコードする、$Z_2$ 格子ゲージ理論を実現したトラップイオン実験が報告されている。これらのシステムの特徴の一つは、ループ内のフラックスが $\pi$ であるとき、移動する電荷が破壊的干渉によって凍結されるアハラノフ＝ボーム効果の観測である。しかし、これらのデバイスには本質的にノイズが存在する。ノイズを特性評価するための標準的な手法は、モデルの予測と実験データの比較を行う事後的なリンドブラッド・シミュレーションである。本論文は、この手法の限界に対処する。すなわち、この手法では、実験者が実行前に特定の観測量の信頼性を予測することができず、また、どの特定のノイズチャネル（加熱、デフェージング、または量子ビットエラー）が特定の観測量の劣化の原因となっているのかを分離できない。本研究の目的は、ソフトなボゾン（硬いコアを持たない）であるハイブリッド型量子ビット・振動子エンコーディングに特化して、報告されたノイズ率のみに基づき、観測量の減衰に関する閉形式の公式と保証された境界を導出することである。

手法
著者は、以下の3つの主要なノイズチャネルを含むリンドブラッド・マスター方程式を用いて、トラップイオンデバイスをモデル化している。

1. 運動加熱（Motional Heating）: 無限温度のバスとしてモデル化され、ジャンプ演算子は $\sqrt{\dot{n}_m}\hat{a}_m$ および $\sqrt{\dot{n}_m}\hat{a}^\dagger_m$ であり、$\dot{n}_m$ は秒あたりの量子数としての加熱率を表す。
2. 運動デフェージング（Motional Dephasing）: フォノン数基底におけるコヒーレンスの喪失を表すジャンプ演算子 $\sqrt{2/t_{c,m}}\hat{a}^\dagger_m\hat{a}_m$ によってモデル化される。
3. 量子ビットエラー: リンク量子ビット上のビット反転（$\sqrt{\gamma_x}\hat{\sigma}^x_\ell$）およびデフェージング（$\sqrt{\gamma_z}\hat{\sigma}^z_\ell$）としてモデル化される。

本研究は、以下の3つのクラスの観測量に焦点を当てている。

• ガウス生成子 ($\hat{G}_m$): 局所的な保存則（ガウスの法則）の破れを測定する。
• フラックスおよび凍結セクター: ウィルソンループ演算子（$\hat{W}_C$）および、$\pi$ フラックス状態に準備された際のゼロフラックスセクターへの占有率（$\hat{\Pi}_\Phi$）を測定する。
• 干渉コントラスト: 物質の占有数とその振動振幅を測定する。

理論的な導出は、切断されたフォック空間における QuTiP を用いた厳密な数値シミュレーションによって裏付けられている。著者は、予測の構造化のために、「3層」の認証アーキテクチャ（保証された境界、一次法則、および校正されたゲート）を採用している。

主な貢献と結果

1. 加熱下におけるガウスの法則（ソフトボゾン）
硬いコアを持つボゾンモデルでは、ゲージの破れは時間に対して線形に増大するが、ソフトなボゾンにおいては、著者はゲージの破れが加速することを証明している。

• 厳密な運動方程式: 著者は、ガウス生成子の期待値の時間微分に関する厳密な方程式を導出した：$\frac{d}{dt}\langle \hat{G}_m \rangle = -2\dot{n}_m \langle \hat{G}_m (2\hat{n}_m + 1) \rangle$。破れの速度は、瞬時のフォノン数に依存する。
• 保証された境界: 全フォノン数が線形に増加するという事実を用いて、ガウスの法則の破れが時間に対して超線形的（二次関数的）に増大するという境界を導出した。
• 一次法則: ノイズのない占有数を用いて減衰を予測する閉形式の近似を提供しており、これは低加熱率において $0.002$以内、高加熱率において$0.08$ 以内の精度を持つ。

2. ゼロ電場におけるフラックスおよびアハラノフ・ボーム保護
ゼロ電場において、著者はノイズの指紋の厳密な分離を実証している。

• フラックスの安定性: フラックス相関関数 $\langle \hat{W}_C \rangle$ は、運動加熱および運動デフェージングの下では厳密な保存量である。これは量子ビットのビット反転のみによって減衰し、以下の厳密な指数関数則に従う：$\langle \hat{W}_C \rangle(t) = \langle \hat{W}_C \rangle(0) e^{-2\gamma_x |C| t}$。
• 凍結セクター（ビソン壁）: $\pi$ フラックスループは、運動加熱およびデフェージングに対して完全な壁（物質のトンネル現象を防ぐもの）として機能する。この壁は、量子ビットのビット反転によってのみ突破される。ゼロフラックスセクターへの漏出占有率は、厳密な法則 $\langle \hat{\Pi}_\Phi \rangle(t) = \frac{1}{2}(1 - e^{-4\gamma_x t})$ に従う。
• 示唆: 過去の実験で観察されたフラックス相関関数の減衰は、報告された運動ノイズチャネルに起因するものではなく、未記載の量子ビットビット反転エラーの測定であるに違いない。

3. ゼロ電場における干渉コントラスト

• 加熱の不可視性: いかなる初期物質状態（スクイーズド状態を含む）においても、運動加熱は平均的な占有数をシフトさせるが、ピーク間の干渉コントラストは変化させない。これは、ゼロ電場におけるダイナミクスがボゾンに対して線形であり、加熱が加法的なノイズとして作用するためである。
• デフェージングの支配: コントラストの減衰は、運動デフェージングのみによって支配され、減衰率 $(1/t_{c,1} + 1/t_{c,2})/2$ に従う。

4. 有限電場および非加法性
電場がオンになると、これらチャネルの厳密な分離は崩れる。

• コヒーレントな漏出: 凍結セクターはコヒーレントに漏出する。著者は、3準位 $\Lambda$ システム近似を用いた厳密な閉形式の解を提供し、電場がトンネル率（$h=J$）に等しいときに、凍結セクターが完全に空になることを予測している。
• シミュレーションフリーの証明: 著者らは、ダイナミクスを小さなフォノン数セクターに分解し（加熱を無視）、Duhamel の恒等式を用いて加熱の寄与を境界付けることで、漏出の境界を導出した。
• 非加法性: 有限電場において、加熱による占有数のシフトは非加性的になる。電場の存在は、加熱のジャンプをコヒーレントなダイナミクスと結合させ、ゼロ電場で見られる線形なランプとは異なる、振動構造や偏差を生じさせる。この効果は、硬いコアのモデルには存在しない2フォノン枝から生じる。

5. 校正されたアクセプタンスゲート
著者は、一次ガウス法則が信頼できるかどうかを判断するための「校正されたゲート」を導入している。ランダムなインスタンスのアンサンブルを用いてテストを行うことで、予測される分数減衰（$d \leq 0.214$）の閾値を設定し、95% の信頼度で予測誤差を許容範囲 $0.02$ 以内に抑えることを保証している。

意義と主張
本論文は、実験の実行前に、ハイブリッド型量子ビット・振動子格子ゲージ理論シミュレータにおけるノイズを予測するための、初の予測フレームワークを提供すると主張している。主な貢献は以下の通りである。

1. 厳密な公式: 硬いコアの近似とは異なり、ソフトボゾンにおける加熱によるゲージ破れの厳密な運動方程式を提供すること。
2. ノイズの指紋特定: ゼロ電場において、3つのノイズチャネル（加熱、運動デフェージング、量子ビットビット反転）が互いに独立した観測量に影響を与えることを確立すること。これにより、実験者は直ちに劣化の源を診断できる。
3. 保証された境界: 完全なノイズダイナミクスの数値シミュレーションを必要とせずに、観測量の劣化（ゲージ破れやフラックス漏出など）に対する保証された上限を提供すること。
4. 硬いコアとソフトボゾンの区別: ゲージ破れの超線形な増大や有限電場における非加的な加熱効果が、ソフトボゾン特有のものであり、スピンや硬いコアボゾンの文献には対応するものがないことを強調すること。

著者は、有限電場では非加的な加熱効果によりチャネルの分離が失敗するものの、コヒーレントな漏出およびゼロ電場挙動に関する導出された境界と閉形式の法則が、現在の、そして将来のトラップイオン・ゲージ理論実験における信頼性認証のための堅牢なツールキットを提供すると結論付けている。