Bosonic codes from compact phase spaces

技術要約：コンパクトな位相空間からのボゾン符号

問題提起
Gottesman–Kitaev–Preskill（GKP）符号は、平坦な位相空間（複素平面）上に格子状の変位対称性を課すことで、単一のボゾンモードに量子情報をエンコードする。この平面を格子で商取ったものはトーラス（種数 $g=1$）であり、符号語はテータ関数に対応する。ここで、位相空間が種数 $g \ge 2$ のコンパクト・リーマン面である場合に、どのようなボゾン符号が出現するかという根本的な問いが生じる。そのような曲面は非自明なトポロジーと負の曲率（双曲幾何学）を有しており、スタビライザー群の代数的およびスペクトル的性質を、平坦なトーラスの場合と比較して根本的に変化させる。

手法およびフレームワーク
著者らは、幾何学的量子化を利用して、コンパクトな双曲リーマン面上にボゾン量子誤り訂正符号を構築する。

• 位相空間とスタビライザー： 位相空間は、コンパクトな曲面 $C = \Gamma \backslash \mathbb{D}$（ここで $\mathbb{D}$ はポアンカレ・ディスク、$\Gamma$ はコンパクトなコーカディック・フキアン群）としてモデル化される。物理系は、$SU(1,1)$ の表現を担う2つのボゾンモード（$\hat{a}, \hat{b}$）で構成される。スタビライザー群 $\Gamma$ は $SU(1,1)$ の部分群へと持ち上げられ、スクイージング変換（GKPの変位に対する双曲型の対応物）として作用する。
• ステラ表現（Stellar Representation）： 著者らは、量子状態を位相空間上のラインバンドルの正則切断へと写像するステラ表現を用いる。種数 $g$ のコンパクト曲面において、ステラ関数は整関数ではなく、スタビライザー群 $\Gamma$ の下で変換される自己同型形式（具体的には正則 $k$-微分形式）となる。
• 符号空間の次元： リーマン・ロッホの定理を用いることで、符号空間 $\mathcal{H}_\Gamma$ の次元は、整数重み $k \ge 2$ に対して $\dim \mathcal{H}_\Gamma = (2k-1)(g-1)$ と導かれる。
• 論理ゲート： 論理ゲート群は、スタビライザー格子を保存する曲面の自己同型群 $\text{Aut}(C)$ として特定される。Greenbergの定理によれば、このような双曲曲面上の符号においては、任意の有限群が論理ゲート群として実現可能である。

主要な貢献と結果

1. 符号語の明示的な構成：
   著者らは、符号語を自己同型形式として明示的に構成する。最も対称性の高い種数2のボルツァ曲面（Bolza surface）において、すべての整数重みにわたる符号空間の全タワーを生成する。

   • 重み $k=2$ において、符号空間は、曲面の「パンツ分解」に関連する3つの最短閉測地線に関連するポアンカレ・テータ級数によって生成される。
   • これらのテータ級数は、関係式 $Y^2 = XZ$ を満たし、これにより $k=1$ の符号空間（論理量子ビット）の基底を形成するための平方根の抽出が可能となる。
   • ボルツァ符号の論理ゲートは、群 $GL(2, \mathbb{F}_3)$ を形成する48個の要素を持つガウス演算（スクイージングおよび回転）として明示的に計算される。

2. スペクトルギャップによる障害（ノーゴー定理）：
   本論文は、$g \ge 2$ における正規化可能な符号状態の存在に関する根本的なノーゴー定理を証明している。

   • 非アメナブル性： 種数 $g \ge 2$ の場合、曲面群 $\pi_1(\Sigma_g)$ は非アメナブルである。
   • スペクトルギャップ： この非アメナブル性は、スタビライザー・ハミルトニアン $\hat{H}_{\text{stab}} = 1 - \frac{1}{N} \sum (\hat{D}_i + \hat{D}_i^\dagger)$ において、厳密に正のスペクトルギャップ $\delta > 0$ を強制する。
   • 帰結： このギャップのため、すべてのスタビライザー条件を同時に満たす正規化可能な量子状態は存在せず、また、任意の精度で符号空間を近似する正規化可能な状態の列も存在しない。これは、スタビライザー群がアメナブル（$\mathbb{Z}^2$）であり、スペクトルギャップがゼロで、任意の精度で近似的な符号語が存在する $g=1$ のGKP符号とは対照的である。

3. アメナブル性の二分法：
   著者らは、スタビライザー群のアメナブル性に基づいた明確な境界線を確立している：

   • $g=0$（球面）：有限のスタビライザー群。厳密な符号語が存在する。
   • $手$g=1$（トーラス）：アメナブルな無限スタビライザー群。任意の精度で近似的な符号語が存在する。
   • $g \ge 2$（双曲面）：非アメナブルなスタビライザー群。正規化可能な厳密な、あるいは近似的な符号語は存在しない。

4. 実験プラットフォームと散逸的安定化：
   サーモ・トランスモン・アンシラに結合された2つのマイクロ波キャビティを用いた回路QEDの実装を提案している。

   • 有効ハミルトニアンには、クロスKerr相互作用とパラメトリックな2モードスクイージングが含まれ、必要なガウスゲートを可能にする。
   • 符号を安定化させるための「条件付きキック（conditional-kick）」プロトコルが記述されている。数値シミュレーションによれば、単一生成器プロトコルはシステムを符号空間へと駆動することに成功するが、多重生成器プロトコル（$g \ge 2$ に必要とされるもの）は、スペクトルギャップによって決定される値にプラトーに達し、スタビライザーエネルギーをゼロに収束させることはできない。これは、理論的な障害に対する数値的な証拠を提供している。

意義と主張
本論文は、曲率と種数による、コンパクトな2次元位相空間上の連続変数量子符号の分類を完了したと主張している。

• 複雑な論理ゲート群（任意の有限群）を可能にする豊かな幾何学的構造が、同時にそれら符号状態自体の存在を阻害するという問題を解決した。
• 本研究は、豊かな論理演算（非アメナブル性）に必要な幾何学と、誤り訂正に必要な安定性（アメナブル性）の間の根本的な緊張関係を浮き彫りにしている。
• 著者らは、$g \ge 2$ において厳密なスタビライザー固有状態は不可能であるが、ユニタリが非ユニタリなエンベロープによって変形された有限エネルギーの類似体を用いることで、この障害を回避できる可能性があり、これがハードウェア実現における未解決の課題であると述べている。

本論文は、現在の形態での双曲位相空間上のボゾン符号が、フォールトトレラント量子計算に対して直ちに実行可能であると主張しているのではない。むしろ、平坦な空間のGKP符号と対比させながら、双曲位相空間上のボゾン符号の限界を定義する、厳密な数学的枠組みと「ノーゴー」の結果を提供している。