Deterministic generation of cat states with more than $100$ photons under dissipation

本論文は、ユニバーサル量子制御理論と動的不変量に基づき、ハイブリッド量子ビット・ボソン系において平均光子数120を超える巨大な猫状態を生成する決定論的プロトコルを提案しており、エルミート演算子の場合は完全な忠実度を、非エルミート散逸下では0.962を超える忠実度を達成している。

要約

あなたは、完璧で巨大な「量子ケーキ」を焼こうとしていると想像してください。量子物理学の世界では、このケーキはシュレーディンガーの猫状態と呼ばれています。有名な思考実験における、猫が「死んでいる状態」と「生きている状態」の両方に同時に存在しているのと同様に、この量子ケーキも、2つの非常に異なる状態が同時に存在する「重ね合わせ」の状態にあります。

問題は、これらのケーキが非常に壊れやすいことです。ケーキを大きくしようとする（より多くの「光子」、つまり光の粒子を加える）ほど、提供する前に崩れてしまう可能性が高くなります。通常、巨大なものを作ろうとすると、環境（ノイズ、熱、損失）によって台無しになり、巨大なケーキではなく、小さくて無残なパン屑になってしまいます。

Zhu-yao JinとJun Jingによるこの論文は、これらの巨大な量子ケーキを決定論的（つまり、運任せではなく、毎回必ず成功する方法）に焼くための、新しい、失敗のないレシピを提案しています。

秘密の材料：「動的不変量（Dynamical Invariant）」

著者らは、動的不変量と呼ばれる数学的ツールを使用しています。これは、システムが従わなければならない「魔法のコンパス」や「GPSの軌跡」のようなものです。

通常、量子システムを操ろうとすることは、目隠しをした状態でデコボコ道を運転しようとするようなものです。コースから外れてしまう可能性があります。しかし、この「不変量」は、線路の上を走る列車のようです。エンジンの（エネルギー源の）速度や方向がどのように変化しても、列車は必ずレールの上にとどまらなければなりません。著者らは、量子システムが単純な出発点（空の真空状態）から、迷うことなく巨大な猫の状態へと直進するように、システムを特定の軌道に強制する特別なルール（ハミルトニアン）を設計しました。

レシレシピ：2部構成のシステム

このケーキを焼くために、彼らは2つの主要な材料を用いたハイブリッドなキッチンを使用します。

1. 量子ビット（シェフ）： 2つの状態を持つ小さなシステム（オンかオフかのスイッチのようなもの）。
2. ボゾンモード（ミキシングボウル）： 光の粒子（光子）を保持する容器。

シェフ（量子ビット）はミキシングボウル（ボゾンモード）に接続されています。魔法は、シェフが「オンであり、かつオフでもある」という特別な状態にあることで起こります。このため、ミキングボウルは同時に2つの異なる経路を辿ることを強制され、巨大な重ね合わせ（猫の状態）が作り出されます。

2つのシナリオ：完璧なキッチン vs 漏れのあるキッチン

1. 完璧なキッチン（エルミートの場合）
ノイズやエネルギー損失がない理想的な世界では、著者らのレシピは完璧な猫の状態を作り出すことを示しています。

• 結果： 彼らは平均120個の光子を持つ猫の状態の成長に成功しました。
• 品質： フィデリティ（忠実度）は**100%**です。意図した通りの正確な状態です。

2. 漏れのあるキッチン（非エルミートの場合）
現実の世界では、エネルギーが漏れ出します。エネルギーが逃げたり、時には余分なエネルギーが誤って入ってきたり（利得）します。これは通常、量子状態を破壊してしまいます。

• トリック： 著者らは、この「漏れ」を有利に利用できることに気づきました。彼らは製菓プロセスを2つのステージに分けました。
  • ステージ1： エネルギーを「失わせる」（蒸気が逃げていくように）。
  • ステージ2： 「利得」に切り替える（エネルギーを再び注入する）。
• 結果： この切り替えを慎重にタイミングよく行うことで、エラーを相殺しました。漏れがある状態でも、120個の光子を持つ猫の状態を、96.2%のフィデリティで焼き上げることに成功しました。完璧ではありませんが、驚くほど近く、そして決定論的に機能します。

より大きなケーキ：「4本脚」の猫

この論文は、さらに複雑なケーキの作り方も示しています。

• 固有の猫状態（Intrinsic Cat States）： これらは、猫、毒の瓶、そして放射性原子がすべて同時に絡み合っているような、3方向のエンタングルメント（量子もつれ）を持つケーキです。
• 4本脚の猫状態（コンパス状態）： 猫が単に「死んでいるか生きているか」だけでなく、「死んでいる・生きている」かつ「生きている・死んでいる」という、4つの方向へ同時に広がっている状態を想像してください。著者らは、これら大型の4部構成のケーキも高いフィデリティで焼き上げる方法を示しました。

なぜこれが重要なのか

この論文は、以下の理由から大きな前進であると主張しています。

1. サイズ： 彼らは100フォトンの壁を突破しました。これはこれらの種の状態としては非常に巨大です。
2. 信頼性： 彼らはこれを「決定論的」に行いました。従来の方法は、多くの場合、サイコロを振るようなものでした。たまに大きな猫の状態が得られることはあっても、ほとんどの場合は何も得られませんでした。この方法は、毎回機能します。
3. 汎用性： 同じ「魔法のコンパス（動的不変量）」は、システムが完璧であっても漏れがあっても機能し、異なる形状の量子ケーキ（2本脚、4本脚など）を作ることができます。

要約すると、著者らは、これまで困難であった脆弱性を克服し、巨大で複雑な量子状態を確実に製造できる、堅牢で自動化された組立ラインを構築したのです。

技術概要

技術要約：散逸条件下における100フォトロンを超えるキャット状態の決定論的生成

問題提起
大規模なシュレディンガーの猫状態は、量子・古典遷移、量子メトロロジー、およびフォールトトレラント量子計算を探索するための基礎的なリソースである。しかし、その振幅が大きくなるにつれてデコヒーレンスに対する脆弱性が増すため、このような大規模な振幅を持つ状態の生成は依然として大きな課題となっている。既存の手法には、以下のような具体的な限界がある：

• 原子系： 個々の原子における系統誤差や散逸によって準備が妨げられ、忠実度が低くなる（例：20個のリドバーグ原子に対して約0.54）。
• ボゾン系： より汎用性が高いものの、現在のプロトコルは、決定論的に大きな振幅（$|\alpha|$）を達成することに苦慮している。
  • 断熱プロトコルは、環境への曝露時間の長期化によって制限される。
  • *断熱へのショートカット（STA）*は、しばしば極端なスクイージングレベル（〜15 dB）を必要とするか、あるいは限定的な振幅（$|\alpha| < 2$）しか得られない。
  • ゲートベースの決定論的手法は、振幅 $|\alpha| \sim \sqrt{7}$、忠実度 $\sim 0.91$ 程度の振幅を示している。
  • 確率的手法（例：光子減算）は、高い忠実度と大きな振幅を予測できるが、成功確率が低い（〜0.02）。
  • 定常状態の安定化には、特定の二光子損失の支配が必要であるが、これを設計することは困難である。

制御可能な開いた量子系および閉じた量子系の両方において、大規模なサイズのキャット状態を決定論的に生成できる統一された理論的枠組みが求められている。

手法
著者らは、ハイブリッド・量子ビット・ボゾン系のダイナミクスを制御するために、**動的不変量（dynamical invariants）を利用したユニバーサル量子制御（UQC）**理論に基づくプロトコルを提案している。このアプローチは以下の手順を含む：

1. システムモデル： 量子ビットがボゾンモードに縦方向に結合したハイブリッド系。システムは、閉じた系（エルミート系）または、ポストセレクション下でのリンドブラッド・マスター方程式から導かれる開いた系（非エルミート系）として扱われる。
2. 補助的な描像への変換： システムのダイナミクスは、量子ビットの状態に依存する時間依存ユニタリ変換 $V(t)$ を介して、補助的な表現において解析される。この変換により、元のハミルトニアン $H(t)$ は回転されたハミルトニアン $H_{rot}(t)$ へと写像される。
3. 動的不変量： プロトコルは、回転されたハミルトニアンの下でハイゼンベルク方程式を満たす定常的な動的不変量 $J(0)$ を構築する。これにより、元のハミルトニアンの時変パラメータ（固有振動数、結合強度、および位相）に対して特定の制約が課される。
4. 進化制御： システムがこれらの不変量に従って進化するようにすることで、ボゾンモードを真空状態からターゲットとなるキャット状態へと決定論的に駆動できる。
   • エルミート系の場合： 制約により、ターゲット状態への完全な進化が保証される。
   • 非エルミート系（開いた系）の場合： プロトコルは利得（gain）と損失（loss）の率を考慮する。ターゲット時刻における確率保存を維持するために、進化は利得が支配的な段階と損失が支配的な段階の2つのステージに分割される。ステージ間の遷移は、動的不変量の連続性を確保するために位相パラメータ $\beta_i(t)$ を調整することによって管理され、最終時刻における波動関数の正規化が行われる。

主な貢献

• 統一された枠組み： 本論文は、UQC理論をハイブリッドな離散・連続変数系へと拡張し、エルミート系（閉じた系）および非エルミート系（開いた系）の両方でキャット状態を生成する手法を提供している。
• 決定論的な生成： 確率的な手法とは異なり、本プロトコルはキャット状態の決定論的な生成を可能にする。
• スケーラビリティ： 本手法は、STAプロトコルのように駆動強度と非線形性の比率による制限を受けないため、超大規模な振幅の生成が可能である。
• 汎用性： プロトコルは、標準的な2成分キャット状態だけでなく、「本質的（intrinsic）」なキャット状態（ボゾンモードと2つの量子ビットを絡合させたもの）や、4脚（コンパス型）キャット状態の生成にも一般化されている。

結果
提案されたプロトコルに基づく数値シミュレーションにより、以下が示された：

• 閉じた系（エルミート系）： 真空状態とバランスの取れた重ね合わせ状態にある量子ビットから開始することで、システムは忠実度 $F=1$、平均光子数 $\bar{n} \sim 120$（振幅 $|\alpha| \approx 3.5\pi$）のキャット状態へと進化する。
• 開いた系（非エルミート系）： 散逸条件下においても、本プロトコルは平均光子数 $\bar{n} \sim 120$、忠実度 $F > 0.962$ のキャット状態を達成する。利得／損失の切り替えによる2段階のプロセスを通じて、ターゲット時刻における密度行列のトレースは1に復元される。
• 本質的および4脚キャット状態：
  • 本質的キャット状態： 限りなく1に近い忠実度と $\bar{n} > 100$ で生成される。
  • 4脚キャット状態： プロトコルは、4成分のキャット状態（$|\alpha\rangle + |-\alpha\rangle + |i\alpha\rangle + |-i\alpha\rangle$）を、平均光子数 $\bar{n} \sim 95$、忠実度 $F > 0.965$ で生成することに成功した。

意義
本論文は、この研究が本質的にユニバーサル量子制御をハイブリッドな離散・連続変数系へと進展させるものであると主張している。動的不変量を利用することで、本プロトコルはデコヒーレンス下における大規模なキャット状態の脆弱性を克服し、記録的な高忠実度および高振幅（100フォトロン超）を持つマクロな量子状態の決定論的な準備を可能にする。これは、フォールトトレラント量子計算や高精度量子メトロロジーに必要なマクロな量子状態を創出するための重要な道筋を提供する。本モデルは、回路QEDやトラップイオン系を含む様々な実験プラットフォームにおいて、変位操作を通じて直接実現または実装可能である。