Two-body control of noiseless subsystems with mixed $SU(3)$ representations lifts teleportation above the classical fidelity limit

技術要約：混合SU(3)表現を持つ無音サブシステムの二体制御

問題提起
量子系におけるすべてのサブシステムに対して同一に作用する集団ノイズは、「無音サブシステム（Noiseless Subsystems, NS）」に情報をエンコードすることで軽減できる。これらのサブシステムにおいて、論理状態は不変であり、ゲージ状態がノイズを吸収する。このようなサブシステムの存在はパッシブな誤り訂正を可能にする一方で、物理的に利用可能な対称性を保存する相互作用のみを用いて、エンコードされた状態に対して普遍的（または半普遍的）な論理操作を行う方法には、依然として重大な課題が残っている。

量子ビットの場合、二体交換相互作用がエンコードされた状態に対する普遍的な制御を実現できることが知られている。しかし、クらトリット（三レベル系）の場合、状況はより複雑である。すべてのクらトリットが同一の表現 $U \in SU(3)$ に従う場合、二体相互作用では、追加の保存則や位相の制約により、複数の論理サブシステムに対する独立した論理制御を行うことは一般に困難である。先行研究では、半普遍性（各論理サブシステムに対する特殊ユニタリゲートの独立した制御）を達成するためには、三体相互作用や補助的なクらトリットの使用が必要であると示唆されていた。本論文は、基本表現（$U$ に従う）と双対表現（$\bar{U}$ に従う）の両方を含む「混合」レジスタを用いることで、二体相互作用のみを用いて独立した論理制御が可能であるか否かを検証するものである。

手法
著者らは、$r$ 個の基本クらトリットと $s$ 個の双対クらトリットからなる系、$H_{r,s} = V^{\otimes r} \otimes (V^*)^{\otimes s}$ を分析する。対象となる集団ノイズは $R_{r,s}(U) = U^{\otimes r} \otimes \bar{U}^{\otimes s}$ である。

1. 代数的枠組み: 著者らは、壁付きブール代数（walled Brauer algebra）の像とリー代数の議論を利用している。彼らは、物理的に利用可能な相互作用を以下のように特定している：

   • 基本クらトリット間の交換相互作用 ($S_{ij}$)
   • 双対クらトリット間の交換相互作用 ($S_{\bar{i}\bar{j}}$)
   • 基本クらトリットと双対クらトリットの間のシングレット射影相互作用 ($K_{i\bar{j}}$)。これは、$U \otimes \bar{U}$ の下で不変な最大もつれシングレット状態への射影である。

2. 制御理論: 本論文は、これらの二体相互作用によって生成されるリー代数が、多重度空間（論理サブシステム）上の任意の有限のパルスシーケンスを用いて、目的の特殊ユニタリゲートの族を実装できることを確立している。証明は帰納法に基づく：

   • クらトリットを追加することで、論理空間が前の論理空間の直和へと拡張されることを示す。
   • 利用可能な相互作用が、拡張された各論理空間内で十分な結合を行い、完全な $SU(m)$ 制御を生成できることを証明する。
   • 異なる論理セクター間のゲートは、 $r, s \geq 1$ である限り、独立して選択可能であることを確立する。

3. 数値検証: 理論を例証するため、著者らは特定のケース（$r=3, s=1$）において、一つの論理クらトリットに対して巡回シフトを実行し、他の論理クらトリットには影響を与えないような24個のパルスのシーケンスを数値的に最適化し、約 $2.6 \times 10^{-15}$ の数値誤差を達成した。

4. テレポーテーションへの適用: 本フレームワークを、相関のあるWeylノイズ下でのクらトリット・テレポーテーションに適用する。著者らは、共有（集団）Weylエラーと独立したWeylエラーからなるチャネルをモデル化する。そして、エンコードされていないテレポーテーション（単一の物理クらトリット）のフィデリティと、エンコードされたテレポーテーション（三つの基本クらトリットと一つの双対クらトリットによる四つの物理クらトリットにエンコードされた論理クらトリット）のフィデリティを比較する。

主な貢献と結果

• 定理1（半普遍性）: 主要な理論的結果は、任意の $r, s \geq 1$ に対して、二体相互作用（型内の交換および型間のシングレット射影）が、すべての無音サブシステム上の独立した特殊ユニタリゲートの群を生成することを証明している。これにより、半普遍性が確立される。すなわち、各論理サブシステムに対して任意の $SU(d)$ ゲートを独立して選択できるが、セクター間の相対位相は必ずしも保証されない。
• 最小相互作用セット: この結果は、レジスタに少なくとも一つの基本クらトリットと一つの双対クらトリットが含まれていれば、三体相互作用や追加の初期化されたアンシラなしで独立した制御が可能であることを示している。
• テレポーテーション・フィデリティ分析: 著者らは、エンコードされていないプロトコルがエンタングルメント破壊的となるノイズ領域において、エンコードされたテレポーテーション・プロトコルが古典的なフィデリティ境界（$1/2$）を上回る条件を導出した。
  • 具体的には、ベースラインとなるエンコード済みプロトコルのフィデリティ（伝送ノイズがない状態）が $F^{(0)}_{enc} > \frac{1+\mu}{1+3\mu}$ （ここで $\mu$ は集団ノイズの割合）を満たす場合、エンコードされたチャネルは、アンエンコードされたチャネルがすでにエンタングルメント伝送能力を失っているノイズ強度 $\epsilon$ の範囲においても、エンタングルメント伝送を維持できる。
  • この利点は、ノイズが部分的に集団的である場合（$\mu < 1$）や、エンコーディング過程がベースラインのエラーを導入する場合でも持続する。
• リソースのトレードオフ: 本論文は伝送コストを定量化している。エンコードされたプロトコルは四つの物理クらトリット（双対表現を基本表現から合成する必要がある場合は五つ）を必要とするが、単一クらトリットのアンエンコードプロトコルが完全に失敗するノイズ領域において、エンタングルメント伝送を維持することができる。

意義と主張
本論文は、無音サブシステムの有用性をパッシブな蓄積から能動的な論理計算へと拡張することを主張している。混合表現における二体相互作用が半普遍的な制御を可能にすることを証明することで、複雑な多体ハードウェアやアンシラのオーバーヘッドなしに、デコヒーレンスフリーなサブシステム上の論理ゲートを実装する際の大きな障壁を取り除いている。

通信の文脈において、本研究は、エンコーディングが、標準的なテレポーテーションがエンタングルメント破壊的となる領域において、エンタングルメント伝送能力を回復できることを示している。著者らは、この比較が（チャネルの構成および試行の保持に関する）特定の仮定に基づいていることを強調しているが、これはパッシブなノイズ抑制の恩恵が、エンコーディングと復元操作のコストを上回るための具体的な理論的閾値を提供している。

著者らは、定理が任意のターゲットに対する有限パルスシーケンスの存在を保証するものである一方で、効率的な一般的な合成アルゴリズムを提供するものではないと述べている。また、フィデリティの利点は、ノイズモデルおよびベースライン操作（準備、エンコーディング、測定、および復元）の性能に依存する。本研究は、要求される $U$ および $\bar{U}$ 変形を実現可能なシステムにおける将来の実験的実装のための理論的基礎となるものである。