Quantum memory advantage for quantum process tomography

技術要約：量子プロセス・トモグラフィーにおける量子メモリの優位性

問題提起
量子プロセス・トモグラフィー（QPT）とは、クエリへのアクセスを通じて未知の量子チャネル $\Phi: \mathcal{L}(A) \to \mathcal{L}(B)$ を学習し、真のチャネルに近い古典的な記述を出力するタスクである。ダイヤモンドノルムは、2つのプロセスの最悪ケースの区別可能性を捉えるものであり、ユーザーが任意の入力状態、参照系、および測定を選択できることを許容する。

本研究で扱われる中心的な未解決問題は、量子メモリが、たとえ非コヒーレントなプロトコルが完全に**適応的（adaptive）**であったとしても、クエリ複雑度において優位性をもたらすかどうかである。

• コヒーレントなプロトコルは、複数のチャネル使用にわたって量子系を保持し、保持されたシステムに対して結合測定を行うことができる。
• 非コヒーレントなプロトコルは、各チャネル使用の直後に測定を行わなければならず、古典的なトランスクリプトのみを保存する。しかし、それらは過去のすべての古典的な結果に基づいて、将来の入力、測定、および補助系（ancilla）を適応的に選択することができ、また無制限の古典的計算能力を持つことができる。

状態トモグラフィーにおいては、コヒーレントな集団測定が $\Theta(d^2)$ のサンプル複雑度を達成する一方で、非コヒーレントな適応的測定は $\Theta(d^3)$ を必要となることが知られているが、一般的なプロセス・トモグラフィー（入力次元 $d_{in}$ および出力次元 $d_{out}$）における同様の分離については未解決のままであった。先行研究では、コヒーレントなプロトコルが $\Theta(d_{in}^2 d_{out}^2 / \varepsilon^2)$ を達成することを確立しているが、既知の最良の非コヒーレントな上界は（対数因子を含め）$\tilde{O}(d_{in}^3 d_{out}^3 / \varepsilon^2)$ であった。また、下界は非適応的な非コヒーレント戦略に対してのみ証明されていた。

手法
著者らは、適応的な非コヒーレント・プロトコルに対する厳密な下界と、それに一致する非適応的な上界を確立する。

1. 下界の構成（適応的な非コヒーレント・プロトコル）:

   • テスター形式論: 著者らは、適応的な非コヒーレント・プロトコルの任意の単一ラウンドを、正規化されたチョイ演算子 $J_\Phi$ に作用する「単一ラウンド・テスター」として表現する。アウトカムの完全なトランスクリプトによって条件付けることで、適応的な選択は決定論的なテスター要素のシーケンスとなる。
   • 困難なチャネル族: 完全脱分極チャネルを中心とした局所的なチャネルの族を構成する。これらのチャネルは、特定の部分空間分解におけるオフダイアゴナル・ブロック $E(X)$ によって正規化されたチョイ演算子を摂動させることで生成される。この構成により、摂動がトレース保存制約を維持しつつ、高次元の局所的に分離されたチャネルの集合を作り出すことが保証される。
   • 事前分布と幾何学: 摂動行列 $X$ に対して、切断された複素ギニビア（Ginibre）事前分布を配置する。著者らは、パラメータ空間におけるシャットレン・トレース球の局所的な幾何学を分析し、正則化された近傍の体積が小さなトレース球よりも指数関数的に大きいことを示す。
   • 尤度ティルトと反集中（Anti-Concentration）: コアとなる技術的貢献は、「トランスクリプトごとの適応的テスター・ティルト補題（transcript-wise adaptive tester tilt lemma）」である。この補題は、固定されたトランスクリプトに対する局所的な近傍での平均尤度比を束縛する。証明は、尤度の損失が $\exp(O(\eta^2 T / D))$ （ここで $D = d_{in}d_{out}$）としてスケールすることを示す。これをパラメータ空間の指数関数的な体積成長（$\exp(\Theta(D^2))$）とバランスさせることで、推定器が十分なクエリ数 $T$ を持たない限り、事後分布が小さなトレース球内に集中できないことを証明する。これにより、少ないクエリ数で高い精度を主張する推定器が存在する場合に矛盾が生じる。

2. 上界の構成（非適応的な非コヒーレント・プロトコル）:

   • 著者らは、共変射影最小二乗推定に基づく、非適応的で補助系を用いないプロトコルを提示する。
   • 直接的な行列集中不等式を用いた従来の解析（対数的なオーバーヘッドを伴う）とは異なり、本研究では洗練された集中解析を用いる。各固定された二次形式をスカラー・バーンスタイン集中によって制御し、その後、単位球上の定数半径ネット（net argument）を適用する。
   • このアプローチにより、対数因子を含む従来の境界を除去し、タイトな $O(d_{in}^3 d_{out}^3 / \varepsilon^2)$ のクエリ複雑度を達成している。

主要な結果
本論文は、コヒーレントおよび非コヒーレントの両設定における量子プロセス・トモグラフィーの最適なクエリ複雑度を確立する。

• 非コヒーレント下界: 任意の適応的な非コヒーレント・プロトコル（任意の新しい補助系およびアウトカム依存の測定を含む）は、ダイヤモンドノルムにおける $\varepsilon$-精度を達成するために $\Omega(d_{in}^3 d_{out}^3 / \varepsilon^2)$ のクエリを必要とする。
• 非コヒーレント上界: $O(d_{in}^3 d_{out}^3 / \varepsilon^2)$ クエリを達成する、非適応的で補助系を用いない非コヒーレント・プロトコルが存在する。
• コヒーレント上界: 量子メモリを持つコヒーレント・プロトコルは、$\Theta(d_{in}^2 d_{out}^2 / \varepsilon^2)$ クエリを達成する。

したがって、非コヒーレントなプロセス・トモグラフィーの最適なクエリ複雑度は $\Theta(d_{in}^3 d_{out}^3 / \varepsilon^2)$ である。

意義と主張
本研究の主要な貢献は、量子メモリの有無による量子プロセス・トモグラフィーの**学習分離（learning separation）**を厳密に確立したことにある。

• 量子メモリの優位性: これらの結果は、量子メモリが、いかなる完全適応的な非コヒーレント戦略に対しても、$\Theta(d_{in}d_{out})$ の因子の多項式的なクエリ複雑度の優位性を提供することを実証している。
• 状態トモグラフィーの一般化: 本結果は、単一コピーの状態トモグラフィーにおける既知の最適境界を一般化するものである。$d_{in}=1$（チャネルが状態に減少する）の特殊なケースでは、境界は非コヒーレント・プロトコルに対して $\Theta(d_{out}^3 / \varepsilon^2)$、コヒーレント・プロトコルに対して $\Theta(d_{out}^2 / \varepsilon^2)$ のスケーリングを回収する。
• 適応性の解決: 本研究は、古典的な適応性がコヒーレント・プロトコルと非コヒーレント・プロトコルの間のギャップを埋めることができるかという未解決の問いを解決する。著者らは、それが不可能であることを証明している。すなわち、優位性は厳密に、チャネル使用を跨いで量子情報を保持し、共同で処理する能力に由来しており、古典的な適応性に由来するものではない。

本論文は、この分離が量子メモリというリソースに純粋に起因しており、一般的なチャネル学習におけるサンプル複雑度を低減するための決定的な要因として、量子メモリを孤立させていると結論付けている。