Maximal Classicalization of Finite-Group Quantum Reference-Frame Noise

技術要約：有限群量子参照フレームにおける最大級の古典化

問題設定
本論文は、未知の群要素 $g \in G$ がユニタリ表現 $U$ を通じて作用する、ノイズを含む有限次元量子参照フレーム（QRF）を、古典的な後処理のみを用いて完全に補正できる条件の特性化を扱う。具体的には、有限群 $G$ 上のソース確率分布 $p$ とターゲット分布 $q$ が与えられたとき、ノイズチャネルは $\Phi^U_p(X) = \sum_{g} p(g) U_g X U_g^\dagger$ と定義される。方向的な後処理誤差は、ターゲットチャネルと、ソースチャネルに適用された任意の量子チャネル $\Lambda$ とのダイヤモンドノルム距離の最小値として $\delta^U(q|p) = \inf_{\Lambda \in \text{CPTP}} \frac{1}{2} \|\Phi^U_q - \Lambda \circ \Phi^U_p\|_\diamond$ と表される。

一方、古典的な補正（追加の群要素をサンプリングし、並進を合成すること）は、$\delta_{cl}(q|p) = \min_{r \in P(G)} \frac{1}{2} \|q - r * p\|_1$ という上界を与える。ここでの中心的な問いは、すべての $p, q$ のペアに対して等号が成立する条件を決定することである。この等号は、コヒーレントな量子後処理（アンシラとのもつれや対称性の破れを伴うもの）が、古典的な畳み込みに対して何ら優位性を持たないことを意味する。

手法
著者らは、有限群の表現論、量子情報理論（特にダイヤモンドノルムとチャネル識別）、および凸最適化を用いている。主要な手法的ツールは以下の通りである：

• 表現論： キャリア空間 $H$ の $G$ の既約表現への分解の解析。
• 直交軌道： $G$ の下で直交な軌道を持つ状態 $|\Psi\rangle$（潜在的にアンシラを伴う）の存在に関する調査。
• トウィリングと条件付き期待値： 表現トウィリング写像 $E_U$ および Pimsner–Popa 指数を用いた、恒等チャネルとトウィリングされたチャネルの間の距離のバウンド。
• 共役表現： 誘導されたチャネルから基礎となる法則の識別可能性を決定するための、写像 $g \mapsto U_g \otimes U_g$ の検討。
• 線形計画法： 決定的な証拠（decision witnesses）を確立するために、古典的補正問題を有限の線形計画問題として定式化。

主要な貢献と結果

1. 表現の完全性と普遍的古典化の同値性：
   本論文は、有限次元ユニタリ表現 $U$ に対して、以下の条件が同値であることを証明している：

   • $U$ が表現完全である（$G$ の少なくとも一つのすべての既約型を含む）。
   • 直交な $G$-軌道を持つアンシラ補助入力状態が存在する。
   • 符号付き群測度がダイヤモンドノルムにおいてチャネルに等長的（isometric）に埋め込まれる（$\|\Phi^U_\sigma\|_\diamond = \|\sigma\|_1$）。
   • 普遍的古典化が成立する：すべての $p, q$ に対して $\delta^U(q|p) = \delta_{cl}(q|p)$ である。

   これにより、表現の完全性が、量子的な後処理を古典的な畳み込みへと還元するための必要十分条件であることを確立した。

2. リソース計量（アンシラとキャリアの次元）：

   • 最小キャリア次元： 普遍的な厳密な古典化を可能にする最小次元は $d_{comp}(G) = \sum_{\lambda \in \text{Irr}(G)} d_\lambda$ であり、これは正則表現の次元 $N = \sum d_\lambda^2$ よりも厳密に小さい。
   • アンシラコスト： 著者らは、直交軌道（$r_{orb}$）および不変なキャリブレーションシード（$r_{inv}$）を達成するために必要な最小アンシラ次元の正確な公式を導出した。注目すべきは、キャリアにおける多重度（multiplicity）は軌道のアンシラコストを減少させることはあるが、欠落している既約型を回復させることはない点である。

3. 不完全なキャリアにおける定量的失敗：
   表現が完全でない場合、著者らは正確な「量子・古典的欠乏ギャップ（quantum-classical deficiency gap）」を導出している。

   • ギャップは、可視的プランシュレル次元 $S(U) = \sum_{\lambda: m_\lambda > 0} d_\lambda^2$ によって支配される。
   • 恒等チャネルとトウィリングされたチャネルの間のダイヤモンド距離は、正確に $1 - 1/S(U)$ である。
   • 一様な法則に対する特定の摂動に対して、欠乏度は $\kappa(U) = \frac{N}{N-1}(1 - \frac{1}{S(U)})$ となる。
   • 例： $S_3$ の忠実な2次元標準表現（2つの1次元既約型を欠いている）の場合、その欠乏度は、表現が忠実であるにもかかわらず、古典的な値に対して正確に $10\%$ である。

4. 識別可能性と古典化の区別：
   本論文は、法則の識別可能性（写像 $p \mapsto \Phi^U_p$ の単射性）が、普遍的古典化よりも厳密に弱い条件であることを明確にしている。識別可能性には、$U$ 自体ではなく、共役表現 $U \otimes U$ が完全であることが要求される。したがって、表現は忠実であり、法則の識別を可能にするものの、普遍的古典化には失敗する場合がある（例：$S_3$ の標準表現）。

5. 無限コンパクト群：
   著者らは、無限のコンパクト群については、いかなる有限次元キャリアもすべての確率法則を等長的にエンコードできない（非単射性が普遍的に成立する）ことを示している。しかし、任意の規定された有限の「可視的」Peter–Weyl バンド（制限されたフーリエ支持を持つ関数の部分空間）に対しては、可視的なプランシュレル重みに依存する明示的な条件数を用いて、安定した再構成が可能である。

意義と主張
本論文は、先行研究による「十分条件のみ」の領域を閉じたと主張している。その主要な意義は、**厳密な逆（strict converse）**を確立した点にある：普遍的古典化は、キャリアがすべての既約型を含むことを強制する。この研究は、古典化への障害が、単なるフーリエモードの消失（これは識別可能性に影響する）ではなく、全群軌道を解像できる単一の入力状態の不在にあることを示している。

得られた結果は、以下のリソース階層を提供する：

1. 忠実性（Faithfulness）： $g \mapsto U_g$ が単射である（最も弱い）。
2. 法則の識別可能性（Law Identifiability）： 共役表現が完全である。
3. 普遍的古典化（Universal Classicalization）： キャリア表現が完全である（最も強い）。

結論として、有限群の場合、表現の完全性が、参照フレームのノイズを補正するためにコヒーレントな量子処理が古典的な畳み込みに対して優位性を持つかどうかの正確な境界線となる。導出された境界と線形計画法は、実験的または理論的な検証のための正確な決定証拠と安定性推定を提供する。