Shallow quantum circuit for generating extremely low-entangled approximate state designs

技術要約：極めて低エンタングルメントな近似状態デザインを生成するための浅い量子回路

問題提起
ランダムな量子状態は、量子情報科学において、エンタングルメント、熱化、およびカオス的なダイナミクスの理解に用いられる基本的なツールである。また、これらは暗号学、デバイスのベンチマーキング、およびシャドウ・トモグラフィーにおいても重要な役割を果たす。しかし、真のハール（Haar）ランダム状態を生成するには、量子ビット数（$n$）に対して指数関数的な深さを持つ量子回路が必要であり、これは近未来のデバイスでは実行不可能である。その結果、分野は主に近似状態 $t$-デザイン（ハール分布の最初の $t$ 個のモーメントを模倣するもの）や擬似ランダム状態に依存している。

既存の近似状態 $t$-デザインの構成における重大な制限は、そのリソースコストである。層状のランダム回路やカオス的なダイナミクスに基づく既知のメソッドの多くは、ボリューム則エンタングルメント（$n$ に対して線形にスケーリングする）と、高い「マジック（非クリフォード性）」およびコヒーレンスを生み出す。近年の擬似ランダム状態に関する研究では、低エンタングルメント（$\omega(\log n)$）が可能であることが示されたが、近似状態 $t$-デザインのエンタングルメント特性については未探索であった。本研究が扱う中心的な未解決問題は、近似状態 $t$-デザインが、システムサイズに依存しない極めて低いエンタングルメント、マジック、およびコヒーレンスを持ち得るのか、そしてもしそうであれば、補助量子ビット（ancilla）なしで効率的な浅い量子回路を通じて実装可能か、という点である。

手法
著者らは、$k$ 量子ビットの状態デザインは、特定の写像を用いれば、そのデザイン特性とエンタングルメント構造を保持したまま $n$ 量子ビット系へと拡張できるという直感に基づいた、新しい構成法を提案する。

1. ランダム単射写像による次元拡張:
   理論的な核心となる洞察は、補題1である。これは、$k$ 量子ビットの $\epsilon$-近似状態 $t$-デザイン（$n-k$ 個のゼロを含む部分空間に埋め込まれたもの）に対し、ランダムなユニタリ演算子 $U_p$ を適用することで、$n$ 量子ビットの $\epsilon'$-近似状態 $t$-デザインが得られることを確立している。演算子 $U_p$ は、$[2^k]$ から $[2^n]$ への $t$-wise 独立なランダム単射写像 $p$ によって定義される。決定的なことに、$U_p$ は計算基底における重ね合わせの数を保存するため、結果として得られる $n$ 量子ビット状態のエンタングルメント、マジック、およびコヒーレンスは、全システムサイズ $n$ ではなく、部分系サイズ $k$ によって決定される。

2. 理論的下限:
   著者らは、$\epsilon$-近似状態 $t$-デザインを形成するあらゆるアンサンブルは、少なくとも $\Omega(\log(t/\epsilon))$ の平均エンタングルメント、マジック、およびコヒーレンスを備えていなければならないことを示す定理2を証明している。これは、必要なリソースがシステムサイズ $n$ ではなく、デザインのパラメータ $t$ と $\epsilon$ によって根本的に制限されることを証明している。

3. 浅い回路の実装:
   この構成を物理的に実現するために、著者らはランダム単射写像 $U_p$ を浅い量子回路を用いて実装するための明示的なアルゴリズム（アルゴリズム1および2）を開発した。

   • メカニズム: この回路は、$k$ 量子ビットの部分系を残りのシステムへコピーするための並列 CNOT ゲートと、ビットをランダム化するためのランダムな多制御 X (MCX) ゲートを利用する。
   • 深さ: 回路の深さは、補助量子ビットなしの場合で $O(t[\log t]^3 \log n \log(1/\epsilon))$ である。補助量子ビットを使用する場合、深さは $\tilde{O}(t[\log t]^2 \log n \log(1/\epsilon))$ に改善される。
   • 効率性: この深さは、補助量子ビットなしで状態デザインを生成する既知の方法（例：$O(n)$ の深さを必要とする局所ランダム回路）よりも大幅に浅い。

4. シャドウ・トモグラフィーへの応用:
   著者らは、この構成を古典シャドウ・トモグラフィーに応用している。ランダム・ユニタリ $U$ が $k$ 量子ビットのユニタリ $3$-デザインと浅いランダム単射写像$U_p$ で構成される測定アンサンブルを用いることで、シャドウ推定器を構築している。

   • 主要な特徴: 得られる推定器は、わずか2つの計算基底状態の間の重ね合わせのみを含む（$k=1$ の場合）。
   • 利点: これにより、古典的な後処理コストが劇的に減少する。高スタビライザー・ランクの観測量に対して計算コストが高くなる可能性があるランダム・クリフォード回路に基づく推定器とは異なり、この手法は、観測量の特性に応じて定数または対数的なサンプル複雑度で観測量を効率的に評価することを可能にする。

主な結果

• リソースの飽和: 構築されたアンサンブルは、エンタングルメント、マジック、およびコヒーレンスに関して、理論的下限である $\Theta(\log(t/\epsilon))$ を達成している。固定された $t$ および $\epsilon$ に対して、これらのリソースは全量子ビット数 $n$ に関して $O(1)$ である。
• 回路の効率性: 提案された浅い回路は、補助量子ビットなしで近似状態 $t$-デザインを生成する最も効率的な既知の手法であり、その深さは $n$ に対して線形または多項式的ではなく、対数的にスケーリングする。
• 状態の認証: 著者らは、ほとんどすべての $n$ 量子ビット純粋状態が、$O(1/\epsilon^2)$ の測定と $O(\log(n/\epsilon))$ 深さの回路を用いて認証（フィデリティ推定）可能であることを示している。これは、$O(n^2)$ の測定を必要としていた従来の手法に対する大幅な改善である。
• 古典シャドウの効率性: 新しいシャドウ推定器は、特に低ランクの観測量や反集中（anti-concentrated）固有状態を持つ観測量に対して、古典的なオーバーヘッドを軽減した量子状態の認証を可能にする。

意義と主張
本論文は、リソースコスト（エンタングルメント、マジック、コヒーレンス）をシステムサイズから切り離すことで、効率的なランダム量子状態の生成における新しい方向性を切り開くと主張している。著者らは、自らの研究が以下の点において貢献すると述べている：

1. 未解決問題の解決: 近似状態 $t$-デザインが非広延的な（non-extensive）リソースを持ち得ることを証明し、デザインの文脈において高いエンタングルメントがランダムに近い振る舞いに必要であるという仮定に疑問を投げかけた。
2. 近未来のアプリケーションの実現: 浅い深さと低いエンタングルメントにより、これらの状態は、全対全結合（all-to-all connectivity）を持つデバイス（例：中性原子量子コンピュータ）などの近未来の量子デバイスへの実装に適している。
3. 古典シミュレーションの改善: エンタングルメントとシャドウ推定器の複雑さを軽減することで、本手法は、量子状態の認証やベンチマーキングといったタスクを、より少ないサンプル数と低い計算コストで実行するための経路を提供する。

著者らは、低エンタングルメントの擬似ランダム状態も存在するが、それらは、近似状態 $t$-デザインが同様に行うように、すべてのシステムサイズに対して平均フィデリティを正確に近似することを保証するものではないことを強調し、特定の量子情報処理タスクにおける本構成の独自の有用性を際立たせている。