技術要約：アンビエント・ユニタリは浅いグループ・デザインを可能にしない

問題提起

量子情報理論における中心的な目標は、様々なユニタリ部分群に対する近似ユニタリ・デザインの構築効率を特徴付けることである。全ユニタリ群 $U(H)$ に対する近似デザインは対数深度（$O(\log k \log \log nk/\varepsilon)$）で実現可能であることが確立されているが、特定の部分群については顕著な対照を示すことが最近示された。具体的には、マッチゲート、直交、およびシンプレクティック群における局所的な最近接回路の劣線形深度アンサンブルは、その親グループに対して近似2デザインを形成できないことが示されており、また、劣線形深度のクリフォード・アンサンブルはクリフォード4デザインを形成できない。

しかし、これまでの研究結果には大きな「抜け穴」が残されていた。それは、デザインがその部分群の内部からのみ厳密にサンプリングされることを前提としていた点である。実用的なシナリオ、例えばランダム・ベンチマーキングにおいては、システムおよび潜在的なアンシラ量子ビットに作用するユニタリ、あるいは部分群の外側にあるユニタリといった「アンビエント（周囲）」ユニタリを用いることで、部分群のデザイン特性をシミュレートできる可能性がある。このオープン・クエスチョンは、これらのアンビエント・ユニタリを用いることで、これらの特定のグループに対する浅い（劣線形深度の）デザインの構築が可能になるかどうかであった。

手法

著者らは、アンサンブル $E$ がターゲットとなるグループ $G$ の外部のユニタリを含む可能性を考慮し、先行研究（具体的には文献[4]および[5]）で使用された「ライトコーン（光円錐）」議論を一般化することで、この問いに取り組んでいる。

1. 不変プローブ（Invariant Probes）: 手法の核となるのは、グループの作用に対して不変な特定の状態または演算子の存在である。グループ $G$ に対して、テンソル積空間 $H^{\otimes k}$ において $U^{\otimes k} |\Psi\rangle = |\Psi\rangle$ を満たす状態 $|\Psi\rangle$（または射影演算子 $Q$）が存在する場合、この状態は「プローブ」として機能する。
2. 浅い回路の二分法: 著者らは、任意の浅い回路 $U$（劣線形深度）について、以下の2つの可能性があると主張する。
   • ケースA: 回路 $U$ が不変状態 $|\Psi\rangle$ を近似的に安定化させることに失敗する場合。この場合、アンサンブルは、ハール測度が $|\Psi\rangle$ を保存するという性質により、ハール測度から容易に区別される。
   • ケースB: 回路 $U$ が $|\Psi\rangle$ を近似的に安定化させる場合。著者らは、もし浅い回路がこの状態を安定化させるならば、その「ライトコーン」（システムに影響を与えうる領域）は制限されることを示す。したがって、システムに適用された局所的な摂動 $V$ は、システム全体へと伝播することができない。
3. 定理1（一般化された下界）: 本論文では、任意のアンサンブル $\nu$ とハール測度 $\mu_G$ との間のダイヤモンド距離を定量化する一般化された定理（定理1）を導入している。これは、$\nu$ が浅いユニタリから構成される場合、その距離は不変部分空間から構成される特定のPOVMの「受容確率」に関連する項によって下から抑えられることを確立している。
   • 決定的なことに、この定理は、$\nu$ のユニタリがアンシラ上で作用する場合や、より大きなグループに属する場合（アンビエント・ユニタリ）であっても、それらが浅い局所回路によって実装されている限り、成立する。
4. 特定グループへの適用: 著者らはこのフレームワークを以下に適用している。
   • マッチゲート、直交、およびシンプレクティック群: $k=2$ および最大もつれ不変状態 $|\Psi\rangle$ を使用。パウリ・プローブで平均化されたアウト・オブ・タイム・オーダー相関関数（OTOC）を用いて、距離を抑え込む。
   • クリフォード群: $k=4$ および4次交換子射影演算子 $Q = \frac{1}{d^2}\sum_{P \in P_n} P^{\otimes 4}$ を使用。

主な貢献と結果

1. 「アンビエント」の抜け穴の閉鎖

主要な貢献は、局所的な最近接劣線形深度のユニタリによるアンサンブルは、アンビエント・ユニタリ（アンシラに作用するものを含む）を用いても、マッチゲート、直交、シンプレクティック、またはクリフォード・グループの近似デザインを実現できないという証明である。これにより、フル・ユニタリ・デザインと部分群デザインの間の深度要求における指数関数的な乖離は、アンサンブルを部分群自体に限定していることによるアーティファクトではなく、堅牢なものであることが確認された。

2. 定量的下界

本論文は、浅いアンサンブルとターゲットとなるハール測度との間のダイヤモンド距離に関する明示的な下界を導出している。

• マッチゲート・グループ（2デザイン）: $n$ 量子ビットに対し、深度 $L \leq n/2 - 1$ のとき、距離は $\approx 3/4$ によって下から抑えられる。これは、任意の $\varepsilon$-近似マッチゲート2デザインには少なくとも $n/2$ の深度が必要であることを意味する。
• 直交およびシンプレクティック・グループ（2デザイン）: 深度 $L \leq n-2$ のとき、距離は $\approx 3/4$ によって下から抑えられる。したがって、近似デザインには少なくとも $n-1$ の深度が必要である。
• クリフォード・グループ（4デザイン）: 深度 $L \leq n-1$ のとき、距離は $1 - \frac{4^{L+1}-1}{4^n-1}$ によって下から抑えられる。具体的には、$L \leq n-2$ のとき、距離は少なくとも $3/4$ である。

3. 線形深度構成の最適性

著者らは、既知のこれらのデザインの構成法が定数倍の範囲内で最適であることを指摘している。具体的には、任意のクリフォード・ゲートは線形深度で合成可能であり[28]、これはクリフォードの場合の下界のタイトネス（緊密性）を確立している。マッチゲート・グループについては、ハール乱数マッチゲートは深度 $3n$ で合成可能であり[24]、近似2デザインが不可能な深度と、ハール測度を正確にサンプリングできる深度との間の定数倍の分離を提供している。導出された下界（$\Omega(n)$）は、これらの既知の上界のスケールと一致している。

意義と含意

本論文の結果は、部分群デザインに依存する量子プロトコルの実用性に重要な示唆を与える。

• トモグラフィーとベンチマーキング: 古典シャドウなどの量子特性評価（例：古典シャドウ）や学習に用いられる多くのプロトコルは、これらの特定のグループからのサンプリングに依存している。これらの結果は、これらのプロトコルが、フル・ユニタリ・グループを使用する同様のプロトコル（対数深度が可能）と比較して、劇的な回路深度のオーバーヘッド（システムサイズに対して線形）を被ることを示唆している。
• 直感に反する複雑性: これらの知見は、量子複雑性の直感に反する側面を浮き彫りにしている。すなわち、部分群のハール測度は、フル・ユニタリ・グループよりも「単純な」対象（パラメータが少ない）であるが、それらを浅い回路で近似することは、フル・ユニタリ・グループを近似することよりも指数関数的に困難である。これは、部分群を定義する不変構造が、局所性の制約によって脆弱であるため、部分群の「単純さ」が隠蔽されてしまうからである。
• 表現の制約: これらの結果は、グループの等価な表現間を写像するために必要なユニタリ変換の深度にも制約を課す。ある表現においてデザインのサンプリングが困難であれば、インターツイナー（intertwiner）の深度を考慮したとしても、他のいかなる表現においても困難なままである。

要約すると、本論文は、これらの特定の部分群に対するデザインの構築の困難さが、局所的な回路とそれらのグループの不変構造との相互作用に起因する本質的な特性であることを確立しており、それは以前に検討された特定のアンサンブル構成手法の限界によるものではない。