技術要約：ガウス状態のエネルギー独立トモグラフィー

問題提起

量子状態トモグラフィーは、未知の量子状態を測定データから再構成するという基本的なタスクである。有限次元系においては大きな進展が見られる一方で、連続変数（CV）系は、その無限次元のヒルベルト空間ゆえに特有の課題を提示する。ガウス状態は、連続変数系における極めて重要なサブクラスであり、量子光学、センシング、および通信において遍在している。これらの状態は、その第1モーメント（変位ベクトル）と第2モーメント（共分散行列）によって完全に特徴付けられる。

ガウス状態のための既存のトモグラフィー・プロトコル、特に標準的なヘテロダイン検出に依存するものは、深刻な制限を抱えている。すなわち、そのサンプル複雑性が状態のエネルギー（または平均光子数）に対して多項式的にスケールするという点である。具体的には、従来の境界は $O(nE^4/\epsilon^2)$ または $O(nE^2/\epsilon^2)$ であることが示唆されていた（ここで $n$ はモード数、$E$ は平均エネルギー、$\epsilon$ はトレース距離の精度とする）。このエネルギー依存性は、基礎物理学実験（例：重力波検出器）や量子メトロロジーで一般的に使用される高度にスクイーズされた状態に対して、これらのプロトコルを実用不可能なものにしている。本研究が取り組む中心的な問いは、ガウス状態トモグラフィーのアルゴリズムを、状態のエネルギーに依存しないサンプル複雑性を持つように設計できるか否かである。

手法

著者らは、新しいガウス状態に対するトレース距離摂動境界に基づいた、3つの異なるトモグラフィー・アルゴリズムを開発している。この境界は、2つのガウス状態間のトレース距離を、それらの第1および第2モーメントの差として定量化するものであり、従来の境界よりも有利なエネルギーへの関数的依存性を備えている。

1. 改良された非適応型ヘテロダイン・トモグラフィー

著者らはまず、光学実験室で日常的に実装されている標準的なヘテロダイ・トモグラフィー・プロトコルを再検討している。彼らの新しい摂動境界を適用し、統計的学習ツールを用いることで、厳密な回復保証を導出している。

• 手法: $N$ 個の未知の状態に対してヘテロダイン測定を行い、経験的な平均および共分散行列を推定する。
• 結果: $N = O(nE^2/\epsilon^2)$ の測定があれば、トレース距離 $\epsilon$ 以内で状態を再構成できることを証明した。これは、従来の最先端の境界であった $O(nE^4/\epsilon^2)$ を改善している。
• 洞察: この非適応型スキームにおけるエネルギー依存性は、純粋に状態のスクイーズ（絞り）に起因する。非スクイーズ状態（例：熱状態やコヒーレント状態）の場合、スケーリングは $O(n^3/\epsilon^2)$ となり、エネルギーには依存しなくなる。

2. 適応型エネルギー独立トモグラフィー

高度にスクイーズされた状態に対するエネルギー依存性を回避するために、著者らは、未知の状態の有効なスクイーズを系統的に減少させる適応型プロトコルを提案している。

• 核となる戦略: プロトコルは、少数の初期測定を用いて状態のスクイーズを推定する。その後、未知の状態に対して近似的な「アンスクイージング（スクイーズ解除）」ガウスユニタリを適用する。
• 実装: 決定的なことに、著者らは、アンスクイージングに必要な能動的なガウスユニタリが、オフラインで準備された補助的なスクイーズド真空状態と組み合わせた受動的なガウス演算（ビームスプリッターや位相シフターなどの線形光学系）のみを用いてシミュレートできることを示している。これにより、測定プロセス中に信号状態に対して実験的に困難な能動的スクイージングを行う必要がなくなる。
• メカニズム: プロトコルはこのアンスクイージングのステップを $k$ 回反復的に適用する。各ラウンドごとに、共分散行列の最小固有値が指数関数的に増加する。$k = O(\log \log E)$ ラウンド後、状態は事実上非スクイーズ状態となる。
• 最終ステップ: 変形された状態に対して標準的なヘテロダイン・トモグラフィーを実行し、元の状態を再構成するために逆変換を適用する。
• 複雑性: 総サンプル複雑性は $O((n + \log \log \log E) \log \log E + n^3/\epsilon^2)$ となる。自然な領域 $n \gtrsim \log \log E$ において、これは $O(n^3/\epsilon^2)$ に縮小し、これは事実上、エネルギー $E$ に依存しない。観測可能な宇宙のエネルギーのように巨大なエネルギーであっても、適応ラウンドの数は小さな定数（$k \le 10$）に留まる。

3. 転置状態による完全エネルギー独立トモグラフィー

著者らはさらに、転置状態 $\rho^T$ へのアクセスが可能であれば、残りの二重対数的なエネルギー依存性さえも完全に排除できることを示している。

• 手法: 未知の状態 $\rho$ とその転置状態 $\rho^T$ をバランスド・ビームスプリッター上で干渉させ、出力ポートでのホモダイン検出を行う。
• 結果: この特定の測定スキームは、未知の状態 $\rho$ の共分散行列と正確に一致する古典的なガウス分布からのサンプルを生み出し、標準的なヘテロダイン検出に内在する加法的単位識別シフト（ノイズ）を排除する。
• 複雑性: サンプル複雑性は $O(n^3/\epsilon^2)$ となり、これは、どれほど強力なスクイーズがあっても、状態のエネルギーに対して厳密に独立している。

主な貢献と結果

1. 新しい摂動境界: 状態間の距離を、有利なエネルギー依存性を持つモーメント間の距離に関連付ける、ガウス状態のための新しいトレース距離摂動境界の導出。
2. 標準的プロトコルに対する厳密な保証: 標準的なヘテロダイン・トモグラフィーに対して、既知のサンプル複雑性を $O(nE^4/\epsilon^2)$ から $O(nE^2/\epsilon^2)$ へと改善する、初の厳密なトレース距離誤差境界の提供。
3. 適応型アルゴリズム: オフラインのスクイージングと受動的線形光学系を利用して能動的スクイージングをシミュレートすることにより、エネルギーへの依存性をほぼ独立（$O(\log \log E)$ 依存）させた、適応的で実験的に実行可能なアルゴリズムの提示。
4. 転置による優位性: 転置状態へのアクセスが、完全なエネルギー独立トモグラフィー・プロトコルを可能にすることを実証し、他の量子学習コンテキストで見られるような、学習タスクにおける量子的な優位性を浮き彫りにした。
5. 実験的実現可能性: すべての提案スキームは、現在の量子光学研究所で利用可能なツール（補助的なスクイーズ入力、受動的ガウスユニタリ、およびホモダイン検出）のみに基づいている。測定フェーズ中に信号状態への能動的スクイージングは必要としない。

意義

本論文は、これらの結果が連続変数量子情報分野における重要な進展であることを主張している。サンプル複雑性を状態のエネルギーから切り離すことにより、提案された手法は、高度にスクイーズされた高エネルギー状態の高精度なトモグラフィーを可能にする。これは、そのような状態が古典的限界を超えるために不可欠である量子メトロロジーおよびセンシングにおいて特に重要である。本研究は、操作的に意味のある指標として広く認識されているトレース距離における厳密かつ定量的な回復保証を提供することで、実験の実践と理論的要求の間の溝を埋めるものである。さらに、本結果は、証明可能な保証を伴う未知の量子系を学習するための最適な戦略を特定することにより、量子学習理論の発展にも寄与している。