Non-Gaussianity in cat codes: global incompatibility and local geometric alignment with the magic resource

技術要約：キャット符号における非ガウス性 — グローバルな不整合とマジック・リソースとの局所的な幾何学的整列

問題提起
非ガウス性（NG）は、連続変数（CV）システムにおいて、離散変数（DV）システムにおける「マジック」リソース（非スタビライザー性）と同様に、真の量子優位性を達成するための基本的なリソースである。近年の研究により、GKP（Gottesman–Kitaev–Preskill）符号の枠組みにおいて、非ガウス性とマジック・リソースの間の正確な定量的対応関係が確立されている。そこでは、物理状態のウィグナー対数負値（WLN）が、論理状態のマジック尺度と完全に一致する。しかし、この対応関係がGKP符号の特定の格子構造を超えても維持されるかどうかは不明である。本論文では、コヒーレント状態の重ね合わせを利用する著名なボゾン符号化プラットフォームであるキャット符号において、同様の関係が存在するかどうかを調査する。具体的には、キャット符号において、WLNとマジック尺度のグローバルな幾何学的構造は互いに適合的なのか、それともその関係は局所的な幾何学的整列に限定されるのかを問う。

手法
著者らは、$d$個のピークを持つキャット状態の、大規模分離領域におけるリソース理論的および幾何学的解析を用いている。

1. 漸近的WLN解析： 著者らは、$d$個のコヒーレント状態の重ね合わせとして一般化された$d$ピーク・キャット状態を定義する。非退化な大規模分離極限（$|\alpha_i - \alpha_j| \to \infty$）を取ることで、漸近的WLNの閉形式の表現を導出する。この極限により、ウィグナー関数を、重なりのないガウス・ピークと干渉項へと分解することが可能となり、WLNに必要な絶対値積分の計算が簡略化される。
2. マジック尺度の特徴付け： 著者らは、位相演算子の基底に関連する準確率分布の$\ell_1$ノルムとして定義される尺度$M$を用いて、マジック・リソースを解析する。彼らは、準確率成分の符号に基づき、状態空間が「符号セクター」に分割されることを示す。各セクター内において、マジック尺度はシグネチャ演算子の固有基底によって決定される局所的な位相回転不変性を示す。
3. 幾何学的比較： 著者らは、漸近的WLNとマジック尺度のレベルセット構造（一定のリソース値の等高線）を比較する。まず、標準的な偶／奇キャット符号においてグローバルな適合性をテストし、次に、局所的な整列をテストするために、特定の「漸近的キャット符号（Asymptotic Cat Code: ACC）」基底変換を構築する。
4. 物理的ベンチマーク： これらの幾何学的整列の物理的な実現可能性を評価するため、有限エネルギーの物理的キャット符号と、近似的な有限エネルギーGKP符号を数値的に比較する。

主な貢献と結果

• 漸近的WLNの幾何学： 著者らは、大規模分離極限において、$d$ピーク・キャット状態のWLNは、コヒーレント成分の振幅（$|c_i|$）のみに依存し、相対的な位相回転に対して不変であることを導出した。その結果、漸近的WLNのレベルセットは、固定された振幅制約と$U(1)^{d-1}$の位相回転対称性を特徴とする剛直な構造を形成する。
• グローバルな不整合： 本論文は、標準的なキャット符号におけるWLNとマジック尺度のグローバルなレベルセット構造が、根本的に不適合であることを確立した。
  • 漸近的WLNの幾何学は、コヒーレント状態の基底によってグローバルに組織化されており、すべての相対位相に対して不変である。
  • マジック尺度の幾何学は、符号セクターによって局所的に組織化されており、レベルセットはセクター依存の固有軸を中心としている。
  • キュビットの場合、WLNのレベルセットは論理$x$軸の周りの円であるが、マジック尺度のレベルセットは、符号セクター（例：$r_x = -r_y = r_z$）によって定義される軸の周りの円である。これは、GKP符号とは異なり、標準的なキャット符号においては、両者の間にグローバルで値を保存する対応関係が存在しないことを証明している。
• 局所的$SU(d)$整列： グローバルな不整合にもかかわらず、著者らは建設的な局所的関係を特定した。漸近的WLNとマジック尺度の両者は、状態空間内の特定の領域において、局所的な$U(1)^{d-1}$位相回転不変性を共有している。
  • 選択された符号セクターにおけるマジック尺度のシグネチャ演算子の固有基底に論理基底を一致させた、特権的な**漸近的キャット符号（ACC）**を定義することにより、著者らは局所的な幾何学的整列を実現した。
  • この構築されたACCにおいて、WLNのレベルセットは、マジック尺度のレベルセットと局所的に整列する。具体的には、WLNの最小化器はマジック尺度の最大化器へと写像され、円形の等高線構造が対象となる符号セクター内で一致する。
• 物理的堅牢性： 有限エネルギーのキャット符号と近似GKP符号を比較する数値的ベンチマークにより、物理的なキャット構成は、中程度のコヒーレント振幅（$|\alpha|$）において、同等の幾何学的許容度（理想的な円形レベルセットからの偏差の低さ）を達成することが明らかになった。対照的に、近似GKPファミリーは、同様の幾何学的忠実度を得るために、著しく大きなスケール分離パラメータを必要とする。

意義
本論文は、GKP符号で見られる正確なマジック–NG対応は、すべてのボゾン符号の普遍的な特徴ではなく、エンコーディングに依存することを結論付けている。キャット符号は、GKP符号化に見られるグローバルな値保存的等価性を継承していないが、マジック・リソースと非ガウス性の間の建設的な整列を可能にする豊かな局所的幾何構造を有している。この知見は、量子コンピューティングにおけるリソースの対応関係が、GKP符号の特定の格子制約を超えた、幾何学ベースのアプローチを通じて理解され得ることを示唆している。本研究は、マジックと非ガウス的リソースの間の局所的な幾何学的接続を調査するための、明確で物理的にアクセス可能な経路（キャット符号を介して）を提供しており、連続変数量子情報におけるリソース理論に新たな視点を与えるものである。