論文の概要: Designing Group-Valued Codes with Full Regular Low-Weight Bases
- arxiv url: http://arxiv.org/abs/2610.06820v1
- Date: Mon, 05 Oct 2026 17:56:36 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-08 22:24:17.515332
- Title: Designing Group-Valued Codes with Full Regular Low-Weight Bases
- Title(参考訳): 正規化低ウェイトベースを用いたグループ値符号の設計
- Abstract要約: 我々は、低ウェイト完全正則論理基底を持つグループ値量子誤り訂正符号の設計原理を開発する。
当社の原則は、明示的な高レートリフト製品(LP)とペアパーティション(PP)コードを通じて実証する。
また, 対称性の低減と安定化器を用いたプルーニングを併用して, 徹底的な距離認証を行う手法を提案する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Efficient fault-tolerant quantum computing architectures benefit from low-weight logical operators. However, reported canonical bases for high-rate, high-distance codes can be several times heavier than the code distance, and fundamental obstructions can prevent minimum-weight logical operators from forming a complete canonical basis. To address this issue, we develop design principles for group-valued quantum error-correcting codes with low-weight full regular canonical logical bases, generated by translating a set of seed operators. We introduce frame width $f$, the smallest weight cutoff that permits a complete canonical logical basis, as an additional code parameter alongside distance $d$ and check weight $w$. Cataloguing these parameters together with explicit logical bases can inform resource estimates and the compilation of fault-tolerant logical operations. First, we identify a structural obstruction: for fully populated binary monomial CSS checks over a group of odd order, full regularity forces distance two, while for groups of power-of-two order, full row rank of both check matrices after replacing every group element by $1$ guarantees full regularity. Second, we demonstrate our principles through explicit high-rate lifted-product (LP) and pair-partition (PP) codes: an $[[1088,128,22]]$ LP code with $f=22$ and an $[[1024,256,24]]$ PP code with $f \leq 27$, both at $w=10$. At $w=11$, our PP constructions attain either $d=25$ with $f \leq 27$ or $d=24$ with the proved optimum $f=25$, demonstrating both a tradeoff among these parameters and a strict separation between distance and frame width. Finally, we propose a method combining symmetry reduction and stabilizer-based pruning for exhaustive distance certification, and use it to efficiently establish exact distances for LP examples with more than a thousand qubits.
- Abstract(参考訳): 効率的なフォールトトレラント量子コンピューティングアーキテクチャは、低ウェイト論理演算子の恩恵を受ける。
しかし、報告された高速度高距離符号の標準基底は符号距離の何倍もの重みがあり、基本的な障害は最小限の論理演算子が完全な標準基底を形成するのを防ぐことができる。
この問題に対処するため,一組のシード演算子を変換して生成した低重正準正準論理基底を持つグループ値量子誤り訂正符号の設計原理を考案した。
フレーム幅$f$は、完全な標準論理基底を許容する最小のウェイトカットオフであり、距離$d$とチェックウェイト$w$と共に追加のコードパラメータとして導入する。
これらのパラメータを明示的な論理基底と組み合わせることで、リソース推定やフォールトトレラントな論理演算のコンパイルを知らせることができる。
まず, 完全集中二項単項CSSチェックが奇数順序群, 完全正則力差2のチェックに対して, パワー・オブ・ツー・オーダー群では, すべてのグループ要素を1ドルで置き換えた後に, 両チェック行列のフル行ランクが完全正則性を保証する。
第二に、当社の原則は、明示的な高レートリフト製品(LP)とペアパーティション(PP)のコードで示されています:$[[1088,128,22]]$ LP code with $f=22$と$[[1024,256,24]]$ PP code with $f \leq 27$, both at $w=10$。
PP構造体は$w=11$で、$d=25$と$f \leq 27$または$d=24$と、証明された最適な$f=25$のいずれかを獲得し、これらのパラメータ間のトレードオフと、距離とフレーム幅の厳密な分離を実証します。
最後に,対称性の低減と安定化器を用いたプルーニングを併用して,1000量子ビットを超えるLP例の正確な距離を効率よく確立する手法を提案する。
関連論文リスト
- Efficient Block Encoding of Structured Hamiltonians by Separating Where and What [45.88028371034407]
構造化ハミルトニアンのフォールトトレラントブロック符号化では、SELECTの非クリフォードコストがシステムサイズとどのようにスケールするかを定義することができる。
この幾何学によって固定されたCSWAPネットワークは、固定されたターゲットレジスタに選択されたサポートをもたらし、そこで共有されたローカル回路が作用し、置換が不要となる。
2つのサイトをサポートするために、サイトトランスポジションのアドレス制御ネットワーク内で、最小のCSWAPカウントを確立し、達成する。
論文 参考訳(メタデータ) (2026-10-02T17:50:48Z) - Solving Sparse SDPs in Sublinear Time: A Classical Algorithm Inspired by the Quantum OR Lemma [70.99943094379263]
有界ラディウス系におけるスパース半定値プログラムに対する最初の準時間古典的解法を与える。
我々の主な技術的貢献は、ハミルトンのギブス状態を同時に表す古典的な手続きである。
論文 参考訳(メタデータ) (2026-09-30T17:51:21Z) - Near-optimal high-rate surgery from linear PCPPs [45.88028371034407]
量子低密度パリティチェック(LDPC)符号を用いた手術における中心的な問題は、大量の論理演算子を並列に測定する補助システムの設計である。
本稿では, 手術器具を「高率」で設計する非常に一般的な手法を提案する。
論文 参考訳(メタデータ) (2026-09-22T19:09:42Z) - Breaking the bicycle frame: Coset-based quantum LDPC codes [65.96089068176079]
2ブロック群代数 (2BGA) 符号の構成を一般化し、2ブロック量子LDPC符号の族を導入する。
パラメータが $[48,8,6]]$, $[96,8,10]]$, $[224,12,16]]$ である。
BP-OSDでデコードすると、BB符号と競合し、ウェイト6ファミリーは$approx0.65%、ウェイト8ファミリーは$approx0.35%となる。
論文 参考訳(メタデータ) (2026-06-15T20:20:57Z) - Planar quantum low-density parity-check codes with open boundaries [7.741302957350027]
BB符号を完全平面かつオープンなqLDPC符号に変換する最初の体系的手順を紹介する。
例えば$[[78, 6, 6]]$, $[[[107, 7, 7]]$, $[268, 8, 12]]$, $[405, 9, 15]]$, $[[348, 10, 13]]$, $[[450, 11, 15]]$, $[[386, 12, 12]]$, $[362, 13, 11]$である。
論文 参考訳(メタデータ) (2025-04-11T18:00:05Z) - Generalized toric codes on twisted tori for quantum error correction [9.623534315687825]
北エフトーリック符号は、フォールトトレラント量子計算における誤り訂正の先駆的候補の1つとして広く考えられている。
格子手術や穿刺導入などの論理的次元を増大させる直接的な手法は、しばしば禁止的なオーバーヘッドを生じさせる。
2次元のトポロジカルCSSコードを効率的に解析するためのリング理論的手法を提案する。
論文 参考訳(メタデータ) (2025-03-05T19:00:05Z) - SSIP: automated surgery with quantum LDPC codes [55.2480439325792]
クビットCSSコード間の手術を自動化するための,オープンソースの軽量PythonパッケージであるSSIP(Identifying Pushouts)による安全手術について述べる。
ボンネットの下では、鎖複体の圏における普遍構成によって支配される$mathbbF$上の線型代数を実行する。
高い符号距離を犠牲にすることなく,手術によって様々な論理的測定を安価に行うことができることを示す。
論文 参考訳(メタデータ) (2024-07-12T16:50:01Z) - Pseudonorm Approachability and Applications to Regret Minimization [73.54127663296906]
我々は、高次元 $ell_infty$-approachability 問題を、低次元の擬ノルムアプローチ可能性問題に変換する。
我々は、$ell$や他のノルムに対するアプローチ可能性に関する以前の研究に類似した疑似ノルムアプローチ可能性のアルゴリズム理論を開発する。
論文 参考訳(メタデータ) (2023-02-03T03:19:14Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。