論文の概要: Generalized Bicycle Codes as Cyclic Submodules and their Automorphism Structure
- arxiv url: http://arxiv.org/abs/2606.05044v1
- Date: Wed, 03 Jun 2026 16:05:40 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-04 20:44:18.88178
- Title: Generalized Bicycle Codes as Cyclic Submodules and their Automorphism Structure
- Title(参考訳): サイクル部分加群としての一般化自転車符号とその自己同型構造
- Authors: AJ Davenport, John Blue, Isaac Chuang,
- Abstract要約: 一般化自転車(GB)符号の自己同型解析と工学的手法を開発する。
これらの条件をフォールド変換ゲートフレームワークに接続し、$H CX-, $S$-, $CX$-型フォールド変換ゲートの存在の明確な基準を提供する。
これらのメソッドを使用して、ゼロからリッチな自己同型構造の周りにコードを構築する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Automorphisms of quantum codes, when they exist, offer a pathway toward fault-tolerant gate implementation via qubit relabeling. Although useful, the conditions under which automorphisms appear in a given code remain poorly understood. In this paper, we develop an algebraic framework for systematically analyzing and engineering automorphisms in Generalized Bicycle (GB) codes. Central to our approach is the derivation of a three-space dependency between the polynomial ring space, the parity check matrix space, and the $\mathbb{F}_2^{2\ell}$ qubit space, similar to the structure found in the study of classical cyclic codes. By expressing GB codes as a pair of cyclic submodules of $R_\ell^2$, where $R_\ell \cong \mathbb{F}_2[x]/\langle x^\ell-1\rangle$, we reduce the search for code automorphisms to a deterministic algebraic problem, deriving necessary and sufficient conditions for the existence of block-separable automorphisms built from cyclic shifts, ring automorphisms and block-swaps. We connect these conditions to the fold-transversal gate framework, providing explicit criteria for the existence of $H$-, $S$-, and $CX$-type fold-transversal gates. We further discuss structured bases for logical operators in order to determine the logical action of a given automorphism. Finally, we introduce the Maximal Cube Root (MCR) code family, a family of GB codes constructed around the principle of maximizing automorphism flexibility and fold-CX gates. We demonstrate a collection of $k=2$ MCR codes up to $d=13$ generating the 2-qubit Clifford group via automorphism and fold-transversal gates, with stabilizer weight ranging from 8 to 16, and $k>2$ MCR codes with a minimum of 20 distinct logical gates achievable from automorphisms. This serves as a first demonstration of inverse design: using these methods to build codes around a rich automorphism structure from the ground up.
- Abstract(参考訳): 量子符号の自己同型は、存在すれば、qubit relabelingによるフォールトトレラントゲート実装への経路を提供する。
有用ではあるが、与えられたコードに自己同型が現れる条件はよく分かっていない。
本稿では,一般化自転車 (GB) 符号における自己同型を体系的に解析・工学的に解析する代数的フレームワークを開発する。
我々のアプローチの中心は、多項式環空間、パリティチェック行列空間と$\mathbb{F}_2^{2\ell}$ qubit 空間の間の3次元空間依存性の導出である。
GB コードを $R_\ell^2$ の巡回部分加群として表現することで、$R_\ell \cong \mathbb{F}_2[x]/\langle x^\ell-1\rangle$ は、決定論的代数問題へのコード自己同型探索を減らし、巡回シフト、環自己同型、ブロックスワップから構築されたブロック分離自己同型の存在に必要な十分条件を導出する。
これらの条件をフォールド変換ゲートフレームワークに接続し、$H$-, $S$-, $CX$-型フォールド変換ゲートの存在の明確な基準を提供する。
さらに、与えられた自己同型の論理的作用を決定するために、論理作用素の構造化基底について論じる。
最後に、自己同型フレキシビリティとフォールド-CXゲートを最大化する原理に基づいて構築されたGBコード群である最大キューブルート(MCR)コードファミリを紹介する。
自己同型およびフォールド変換ゲートによる2-qubit Clifford群を生成する$k=2$ MCR符号と、自己同型から得られる最小20個の論理ゲートを持つ$k>2$ MCR符号のコレクションを実証する。
これらのメソッドを使用して、ゼロからリッチな自己同型構造の周りにコードを構築する。
関連論文リスト
- Chutes and Ladders: Dynamical Automorphisms via the ZX-Calculus [37.09090127609627]
動的安定化符号の処理にはZX-calculus言語を用いる。
安定化器符号の空間に閉ループを実装するためにゲージ固定ステップを組み合わせる。
これにより、動的自己同型を構築するための機械解釈可能な方法が得られる。
論文 参考訳(メタデータ) (2026-06-01T17:46:09Z) - 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) - Coxeter codes: Extending the Reed-Muller family [59.90381090395222]
我々は、領域 $mathbbZm$ を任意の有限コクセター群に置き換えることで、RM族を一般化するバイナリ線形符号のクラスを導入する。
コクセター符号はまた、閉じた対角線Z$回転が非自明な論理を実行することができる量子符号の族を生じる。
論文 参考訳(メタデータ) (2025-02-20T17:16:28Z) - Targeted Clifford logical gates for hypergraph product codes [54.57204856880369]
まず、CNOT、CZ、フェーズ、アダマール作用素に対するシンプレクティック行列を導出し、クリフォード群を生成する。
これにより、このファミリーの任意のコードに対する論理ゲートをターゲットとした明示的な変換を設計できる。
論文 参考訳(メタデータ) (2024-11-26T02:32:44Z) - Classifying Logical Gates in Quantum Codes via Cohomology Operations and Symmetry [0.0]
量子符号のための定数深さ回路によって実装されたフォールトトレラント論理ゲートを構築し,分類する。
LDPC符号におけるアドレナブルな論理ゲートと並列な論理ゲートの定式化について述べる。
副産物として、高いポントリャーギン力を用いた有限高次対称性の新しいトポロジカル反応を求める。
論文 参考訳(メタデータ) (2024-11-24T14:01:37Z) - Geometric structure and transversal logic of quantum Reed-Muller codes [51.11215560140181]
本稿では,量子リード・ミュラー符号(RM)のゲートを,古典的特性を利用して特徴付けることを目的とする。
RM符号のための安定化器生成器のセットは、特定の次元のサブキューブに作用する$X$と$Z$演算子によって記述することができる。
論文 参考訳(メタデータ) (2024-10-10T04:07:24Z) - Fault-Tolerant Logical Clifford Gates from Code Automorphisms [2.7262923206583136]
本稿では, 耐故障性論理クリフォードゲートの実装について, 対称性に基づく安定化器量子誤り訂正符号について検討する。
我々のアプローチは、安定化器コードを二進線型コードにマッピングし、自己同型群を計算し、クリフォード作用素が許す制約を課すことである。
論文 参考訳(メタデータ) (2024-09-26T18:00:00Z) - Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
我々は、Ksubseteq G$ の部分群に基づく境界の体系的な扱いを、バルクの Kokuev 量子倍 D(G)$ モデルで提供する。
境界サイトは$*$-subalgebra $Xisubseteq D(G)$の表現であり、その構造を強い$*$-準ホップ代数として説明する。
治療の応用として、水平方向の$K=G$と垂直方向の$K=e$に基づく境界付きパッチを調査し、量子コンピュータでどのように使用できるかを示す。
論文 参考訳(メタデータ) (2022-08-12T15:05:07Z) - Adiabatic paths of Hamiltonians, symmetries of topological order, and
automorphism codes [0.0]
ホネコム符号(Honeycomb code)は、チェックのシーケンスによって定義されるフォールトトレラントな量子メモリである。
我々は、このコードを理解するための一般的なフレームワークは、ギャップ付きハミルトンの連続的な断熱経路を考えることであると論じる。
私たちはこのパスをチェックのシーケンスに戻し、ハニカムコードと密接に関連する自己同型コードを構築します。
論文 参考訳(メタデータ) (2022-03-21T17:12:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。