論文の概要: Complex abelian varieties and quantum error correction: a mathematical framework for GKP codes
- arxiv url: http://arxiv.org/abs/2605.28784v1
- Date: Wed, 27 May 2026 17:43:30 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-28 17:38:56.255349
- Title: Complex abelian varieties and quantum error correction: a mathematical framework for GKP codes
- Title(参考訳): 複素アーベル多様体と量子誤差補正--GKP符号の数学的枠組み
- Authors: Maxence Mayrand, Baptiste Royer,
- Abstract要約: 複素アーベル多様体の幾何学を通して量子誤り訂正符号のクラスを研究する。
我々は、この関係を正確に数学的に定式化し、それをアーベル多様体論におけるGKP符号理論の主構造と古典的対象の間の辞書に拡張する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We study a class of quantum error-correcting codes through the geometry of complex abelian varieties. These codes, introduced by Gottesman--Kitaev--Preskill, are built from symplectically integral lattices and therefore naturally define polarized complex abelian varieties. We give a precise mathematical formulation of this relationship and extend it to a dictionary between the main structures of GKP code theory and classical objects in the theory of abelian varieties. For instance, under this dictionary, the finite-dimensional code space becomes the space of theta functions $H^0(X, L)$, logical Pauli gates arise from the theta group, passive logical Clifford gates correspond to automorphisms of the polarized abelian variety, and concatenation with stabilizer codes corresponds to isogeny. We also prove several key results that give precise mathematical formulations of statements about these codes that often appear in heuristic form in the physics literature. In particular, we prove that the encoding is asymptotically isometric, that every logical Clifford gate is realized by a Gaussian unitary, and that, for noise of small variance, the failure probability is governed to first order by the shortest nontrivial displacement in the kernel of the polarization isogeny, a systolic invariant of the underlying polarization. This leads naturally to optimization problems on the moduli space of polarized abelian varieties.
- Abstract(参考訳): 複素アーベル多様体の幾何学を通して量子誤り訂正符号のクラスを研究する。
これらの符号は Gottesman--Kitaev--Preskill によって導入され、シンプレクティック積分格子から構築され、したがって偏化複素アーベル多様体を自然に定義する。
我々は、この関係を正確に数学的に定式化し、それをアーベル多様体論におけるGKP符号理論の主構造と古典的対象の間の辞書に拡張する。
例えば、この辞書の下では、有限次元符号空間はテータ函数の空間となる:$H^0(X, L)$, 論理パウリゲートはテータ群から生じ、パッシブ論理クリフォードゲートは偏化アーベル多様体の自己同型に対応し、安定化符号との連結は同種に対応する。
また、物理学の文献にしばしばヒューリスティックな形で現れるこれらの符号に関する文の正確な数学的定式化を与えるいくつかの重要な結果も証明する。
特に、符号化が漸近等方性であること、全ての論理クリフォードゲートがガウスユニタリによって実現されること、そして小さな分散のノイズに対して、障害確率は、下層の分極のシスト的不変量である分極同種核における最短非自明な変位によって一階に支配されることを証明する。
これは自然に偏化アーベル多様体のモジュライ空間の最適化問題につながる。
関連論文リスト
- Qudit stabiliser codes for $\mathbb{Z}_N$ lattice gauge theories with matter [42.418429168532406]
素次元$N$と動的物質を結合した$mathbbZ_N$ゲージ理論は、クーディット安定化符号として表現できることを示す。
安定化器形式を用いて、符号化された$mathbbZ_N$ゲージ理論の2つの異なるボソニックモデルへの正確な写像を定式化する方法を示す。
論文 参考訳(メタデータ) (2026-02-24T08:07:05Z) - Non-Abelian qLDPC: TQFT Formalism, Addressable Gauging Measurement and Application to Magic State Fountain on 2D Product Codes [1.1087735229999818]
定レート2次元ハイパーグラフ生成符号とClifford-stabilizer変種を用いて,ネイティブな非クリフォード論理ゲートを実現できることを示す。
これは、新しいタイプの0-形式部分複素対称性のアドレス可能なゲージ計測を効果的に実装した時空経路によって達成される。
論文 参考訳(メタデータ) (2026-01-11T01:20:36Z) - Preparing Code States via Seed-Entangler-Enriched Sequential Quantum Circuits: Application to Tetra-Digit Topological Error-Correcting Codes [14.058410852202826]
量子回路の統一的で効率的な枠組みを導入する。
我々は、トポロジカルな誤り訂正符号の符号空間において、長い範囲の絡み合った状態(すなわちコード状態)を構築する。
論文 参考訳(メタデータ) (2025-03-07T12:32:13Z) - Anyon Theory and Topological Frustration of High-Efficiency Quantum Low-Density Parity-Check Codes [12.383649662360302]
量子低密度パリティチェック(QLDPC)符号は、低オーバーヘッドフォールトトレラント量子計算への有望な経路を提供する。
我々のレターはQLDPC符号の耐障害性を探るための厳密な理論的基礎を提供する。
論文 参考訳(メタデータ) (2025-03-06T18:46:14Z) - Geometric structure and transversal logic of quantum Reed-Muller codes [51.11215560140181]
本稿では,量子リード・ミュラー符号(RM)のゲートを,古典的特性を利用して特徴付けることを目的とする。
RM符号のための安定化器生成器のセットは、特定の次元のサブキューブに作用する$X$と$Z$演算子によって記述することができる。
論文 参考訳(メタデータ) (2024-10-10T04:07:24Z) - Lattices, Gates, and Curves: GKP codes as a Rosetta stone [0.0]
GKP クリフォードゲートが対応するGKP格子のシンプレクティック自己同型としてどのように生じるかを説明する。
単一モードのGKP符号に対して、楕円曲線のモジュライ空間を持つすべてのGKP符号の空間を同定する。
我々はGKP符号の普遍的なファミリーを構築し、繊維束の耐障害性を明確に構築する方法を示す。
論文 参考訳(メタデータ) (2024-07-03T16:57:53Z) - Homological Quantum Error Correction with Torsion [0.0]
この研究は関連するトピックの探索であり、古典的誤り訂正からホモロジー理論を経て、キューディットシステムに作用するCSSコードへの旅である。
我々は、Qudit Logical Space の構造定理(Structure Theorem for the Qudit Logical Space)という原結果を証明する。
この研究は、我々のニーズにぴったり合う、細胞複合体の一般概念の抽象的で制限されたバージョンを導入します。
論文 参考訳(メタデータ) (2024-05-06T15:28:21Z) - General quantum algorithms for Hamiltonian simulation with applications
to a non-Abelian lattice gauge theory [44.99833362998488]
複数の量子数の相関変化からなる相互作用のクラスを効率的にシミュレートできる量子アルゴリズムを導入する。
格子ゲージ理論は、1+1次元のSU(2)ゲージ理論であり、1つのスタッガードフェルミオンに結合する。
これらのアルゴリズムは、アベリアおよび非アベリアゲージ理論と同様に高次元理論にも適用可能であることが示されている。
論文 参考訳(メタデータ) (2022-12-28T18:56:25Z) - Pauli topological subsystem codes from Abelian anyon theories [2.410842777583321]
任意の2次元アベリアノン理論を特徴とするパウリ位相サブシステムコードを構築する。
両研究は, 2次元パウリ位相サブシステムの分類を複合次元キューディット系に拡張した。
論文 参考訳(メタデータ) (2022-11-07T19:00:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。