A Time-Frequency Framework for GKP Codes

技術要約：GKP符号のための時間–周波数フレームワーク

問題提起
本論文は、有限次元の論理情報を無限次元のボゾン型振動子状態へとエンコードする、ゴッテスマン–キタエフ–プレスキル（GKP）符号の数学的表現を取り扱う。理想的なGKP符号語は、分布的な格子状態としてよく理解されているが、これらの理想的な状態と有限次元の論理ベクトルを、局在化した位相空間係数を通じて接続する厳密なフレームワークが欠けていた。具体的には、著者らは、理想的なGKP符号語の有限次元の論理情報が、いかにして局在化した時間–周波数係数によって表現されるのか、また、そのような係数の有限集合からこの情報をいかに安定して再構成できるのかという問いに答えようとしている。さらに、本研究は、理想的な分布的状態と、正規化可能な物理的状態（有限エネルギー近似）との間の隔たりを、統一された係数モデルの中で橋渡しすることを目指している。

手法
著者らは、変調空間、ガボール解析、およびザック変換（Zak transform）を利用した、時間–周波数の解析に基づくフレームワークを構築している。

1. 関数設定: 理想的な符号語は、フェイチングラー代数 $M^1(\mathbb{R}^n)$ の連続双対である変調空間 $M^\infty(\mathbb{R}^n)$ 内で実現される。この選択は極めて重要であり、スタビライザー方程式の解の空間を、テンパー分布の全空間 $\mathcal{S}'$ で許容される（例えばディラックデルタの微分のような）病的な分布を除外し、一様に有界なザック変換係数を持つものへと制限する。
2. ベクトル値ザック変換: 著者らは、連続的な変位シンドロームと有限次元の論理ファイバーを分離するために、ベクトル値ザック変換を採用している。シンプレクティック整数格子 $\Lambda$ に対して、理想的な符号は、シンドローム・トーラス $\mathbb{R}^{2n}/\Lambda^\circ$ の原点で支持される有限の論理ファイバー $H_d$ と同一視される。
3. 随伴格子係数: 本フレームワークは、シンプレクティック随伴格子 $\Lambda^\circ$ によってインデックス付けされたマルチウィンドウ・ガボール解析を利用する。著者らは、論理情報が、商群 $K_\Lambda = \Lambda^\circ/\Lambda$ に対応する、随伴格子からサンプリングされた有限のブロック係数の中にエンコードされていることを確立している。
4. 正則化: 理想的な状態の非正規正規性を対処するため、著者らは格子エンベロープ・ガボール乗算器を用いて正規化可能な近似を構築している。これらは、減衰するエンベロープ列 $w \in \ell^2(\Lambda)$ によってスタビライザー軌道の和に重みを付けることで形成される。

主要な貢献と結果

• 等長論理再構成: 本論文は、エンコードされた符号語から随伴格子の有限ブロックのガボール係数を抽出する正規化ブロック写像が、論理ヒルベルト空間 $H_d$ から $\ell^2(K_\Lambda)$ への等長写像であることを証明している。これにより、論理ベクトルとサンプリングされた係数ブロックの間の全単射関係が確立される。
• 明示的な回復射影: 任意の係数データから適格な正確な論理ブロックの空間へと写像する、明示的な直交射影 $\Pi_0$ が導出されている。これにより、最小二乗法を用いたアプローチを通じて、ノイズを含む、あるいは不完全な係数データから論理ベクトルを安定して再構成することが可能となる。
• 最小サンプリング: 著者らは、特定のプローブ（例：ガウス型プローブ）を用いる場合、論理ベクトルは、論理空間を張るために理論的に必要な最小数である $d = \dim H_d$ 個の係数から再構成できることを示している。
• 正規化近似体: 本論文は、ガボール乗算器として作用するGKP状態としての正規化可能な近似体を構築している。漸近的に並進不変なエンベロープに対して、これらの正則化された状態が漸近的に等長的な論理エンコーディングを与えることを証明している。さらに、これらの正則化された状態が $M^\infty$ において理想的な符号語へ弱$\ast$収束することを確立している。
• ブロック相関によるシンドローム抽出: 変位シンドロームは、翻訳された有限の係数ブロック間の位相関係として特徴付けられる。著者らは、これらのブロックを相関させることでシンドローム特性を回復するブロック相関推定量を導出している。また、加法的な係数摂動下でのこの推定量の決定論的な安定性評価を提供し、スタビライザー方向の冗長性が堅牢性を向上させることを示している。

意義と範囲
本論文は、既存の幾何学的記述（テータ関数やハイゼンベルク・モジュールを含む）を持つGKP符号を、実用的な係数ベースの表現へと結びつける「具体的な時間–周波数係数モデル」を提供すると主張している。

• 数学的厳密性: $M^\infty$ 内で作業することにより、著者らは、理想的な符号語と論理ベクトルの間の全単射が明確に定義され、非物理的な分布的解が排除されることを保証している。
• 統一されたフレームワーク: 本研究は、論理情報（単一の基本ブロックにエンコードされる）、シンドローム情報（翻訳されたブロック間の位相関係にエンコードされる）、および時間–周波数係数を、同一の格子構造の異なる側面として統一している。
• 限界と範囲: 著者らは、自らの結果が、複雑な時間–周波数係数汎関数へのアクセスを条件とした数学的記述であることを明示している。本論文は、量子ハードウェアのための物理的な測定プロトコルや統計的ノイズモデルを提案するものではない。「再構成」とは、厳密に係数データからの論理ベクトルの回復を指し、「係数ノイズ」は決定論的な加法的摂動として扱われている。本フレームワークは、直接的な実験的提案ではなく、時間–周波数領域におけるGKP符号の安定性と構造を理解するための理論的基礎として機能する。

要約すると、本論文は、理想的なGKP符号の論理情報が、随伴格子の有限のガボール係数ブロックによって完全に、かつ安定して捉えられることを確立しており、この構造は正規化可能な近似体に対しても漸近的に持続する。これは、時間–周波数領域における論理再構成とシンドローム推定のための強固な数学的基盤を提供するものである。