論文の概要: Quantum bivariate bicycle codes with weight-8 checks surpassing the BB benchmark
- arxiv url: http://arxiv.org/abs/2609.06572v1
- Date: Sun, 06 Sep 2026 12:34:34 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-12 05:14:55.939885
- Title: Quantum bivariate bicycle codes with weight-8 checks surpassing the BB benchmark
- Title(参考訳): BBベンチマークを超える重み8チェック付き二変量自転車符号
- Abstract要約: Bravyi emphet al.cite Bravyi2024のBB符号は6ドルチェックの量子低密度パリティチェック符号である。
重み8$チェック(重み4$ジェネレータ)を用いたBB型符号の構造理論を開発し,それを新しい符号の構築と認証に利用する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Bivariate bicycle (BB) codes of Bravyi \emph{et al.}~\cite{Bravyi2024} are quantum low-density parity-check codes with weight-$6$ checks, exemplified by $[[144,12,12]]$ with $kd^2/n=12$. We develop the algebraic structure theory of BB-type codes with weight-$8$ checks (weight-$4$ generator polynomials) and use it, together with an exactly validated search pipeline, to construct and certify new codes. We prove an exact dimension formula $k=2\dim R/(A,B)$ (forcing even $k$), a $4\ell m$-element symmetry group on generator pairs, an $X/Z$ distance equality $d_X=d_Z$, and a family of subgroup-coset kernel vectors giving rigorous distance upper bounds and a design rule for high-distance constructions; all distances are computed exhaustively by a cross-validated bit-mask verifier. At $n=144$ the pipeline returns a census of $53$ codes whose strongest members surpass the BB benchmark: $[[144,6,d\ge 15]]$ exceeds the benchmark distance $12$ (certified $d\ge 15$), $[[144,10,12]]$ reaches it with weight-$8$ checks, and $[[144,16,10]]$ encodes a third more logical qubits at $kd^2/n=11.11$ ($7.4\%$ below benchmark) while decoding no worse. At $n=72$, $[[72,14,8]]$ attains $kd^2/n=12.44$---more than twice the same-length BB code---and decodes better; a circuit-level memory experiment places our weight-$8$ codes at $\approx 0.1\%$ pseudo-threshold versus $\approx 0.4\%$ for the BB reference under an identical model, quantifying the threshold cost of the heavier checks. All structural statements are verified numerically on the whole census.
- Abstract(参考訳): Bravyi \emph{et al }~\cite{Bravyi2024} の Bivariate bike (BB) codes of Bravyi \emph{et al }~\cite{Bravyi2024} is quantum low-density parity-check codes with weight-6$ checks, exemplified by $[[144,12,12]$ with $kd^2/n=12$.
重み付き8$チェック(重み付き4$ジェネレータ多項式)を持つBB型符号の代数的構造理論を開発し、それを正確に検証された探索パイプラインとともに利用し、新しい符号の構築と証明を行う。
正確な次元式は、$k=2\dim R/(A,B)$ (forcing $k$), a $4\ell m$-element symmetric group on generator pairs, a $X/Z$ distance equality $d_X=d_Z$, and a family of subgroup-coset kernel vectors giving rigorous distance upper bounds and a design rule for high-distance constructions; all distances are exhaustive by a cross-validated bit-mask verifier。
$[[144,6,d\ge 15]]$はベンチマーク距離12ドル(認証された$d\ge 15$), $[[144,10,12]]$は重量8ドルのチェックで到達し、$[[144,16,10]]$はより論理的な3番目のキュービットを$kd^2/n=11.11でエンコードする。
at $n=72$, $[[72,14,8]]$ at ables $kd^2/n=12.44$------------------------ 回路レベルのメモリ実験では、重み付き8$が$\approx 0.1\%、擬似スレッショルドが$\approx 0.4\%、同じモデルでBB参照が$\approx 0.4\%となり、重み付きチェックのしきい値コストを定量化する。
すべての構造的ステートメントは、全国勢調査で数値的に検証される。
関連論文リスト
- Ordered-Angle Coding for Exact Multiuser Unanimity Testing [0.0]
我々は、シリアル量子アーキテクチャにおいて、$n$変換のみのユーザ間でバイナリユニニミティテストのための順序角符号化を導入する。
加法的代数にはベルの絡み合いは必要ないが、すべての正直な試行において、旅行者は局所的に極大に混合される。
論文 参考訳(メタデータ) (2026-09-04T18:28:01Z) - Quantum Bicycle LDPC Codes with High $kd^2/n$ from Divisor-Driven Search [3.344730946122235]
自転車量子低密度パリティチェック(LDPC)符号には、最もよく知られた小さな量子符号が含まれている。
F[x]/(xl)$:自己直交性は自動的であることを示す。
このフレームワークに基づくコンピュータ検索は、短い符号を復元する。
論文 参考訳(メタデータ) (2026-08-10T04:45:08Z) - The Condition-Number Barrier in Sparse Least Squares [77.64108812086542]
AxiotisとSviridenkoは[AS21]において、凸最適化における制限条件数への線形依存はスパース時間アルゴリズムでは改善できないと推測した。
我々は、最小二乗目的に対する予想下界を確立し、ランダム化された完全体積小セット展開仮説に基づく条件付けを行う。
論文 参考訳(メタデータ) (2026-08-03T17:57:01Z) - Near-Optimal Dimension Lower Bounds for Single-Vector Embeddings of Maximum Inner Product Similarity [75.14269295861845]
シングルトンクエリでは、Chamferは最大内部積類似度(MAX-IP)になる。
すべての固定$in(0,1)$に対して、定数は$A_,c_>0$である。
単位球MAX-IPマトリクスは、DNFパターンマトリクスの正確な2値アフィンイメージであり、少なくとも8ドルのギャップがある。
論文 参考訳(メタデータ) (2026-07-22T17:27:20Z) - Faster quantum linear system solver beyond the condition number [50.84794327094274]
線形系の正規化解 $|xrangle$ を生成する2つの量子アルゴリズムを、条件数$=lVert A-1rVert$ に依存しない複雑性を持つ精度 $Ax=| b rangle$ に提示する。
フィルタベースのソルバは非常にシンプルで、実行時プレファクタが適しています。
論文 参考訳(メタデータ) (2026-07-08T17:49:40Z) - Rate-2/3 Girth-8 (3,18)-Regular Quantum LDPC Codes from Two-Branch Finite-Field Bases and CPM Lifts [0.0]
コードはCalderbank-Shor-Steane (CSS)コードでパラメータは[34542,23032,dle 310]]$である。
我々はこの上限を真の最小距離の見積もりとはみなしていないが、$dle310$は構造リフトとデコーダが生成する論理誤差から現在得られる最も厳密な上限である。
論文 参考訳(メタデータ) (2026-06-25T15:08:16Z) - 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) - High-Girth Regular Quantum LDPC Codes from Affine-Coset Structures [0.0]
長さ512$CのCalderbank-Shor-Steane基底行列対から量子低密度パリティチェック符号群を構築する。
ベースペアは、既知のSPC(3)製品CSSコードと等価である。
論文 参考訳(メタデータ) (2026-04-22T17:59:08Z) - Independent Trivariate Bicycle Codes [0.0]
独立3次元自転車コード(ITB)を6種類導入する。
我々は$[140,6,14]]$ kd2/n = 8.40$のコードを含む4つのコードを構築します。
超伝導ノイズモデルでは、[140,6,14] の符号は、観測可能当たりのラウンド当たりのレートが 5.6 × 10-5$ で$p = 0.20%$ となる。
論文 参考訳(メタデータ) (2026-03-18T13:22:40Z) - Approximating the operator norm of local Hamiltonians via few quantum states [53.16156504455106]
複素ヒルベルト空間上で作用するエルミート作用素 $A$ を 2n$ とする。
A$ がパウリ拡大において小さな次数を持つとき、あるいは言い換えれば、$A$ は局所 $n$-量子ハミルトニアンである。
A$ が $d$-local, textiti.e., $deg(A)le d$ であるときは常に、次の離散化型不等式を持つことを示す。
論文 参考訳(メタデータ) (2025-09-15T14:26:11Z) - Generalized toric codes on twisted tori for quantum error correction [9.623534315687825]
北エフトーリック符号は、フォールトトレラント量子計算における誤り訂正の先駆的候補の1つとして広く考えられている。
格子手術や穿刺導入などの論理的次元を増大させる直接的な手法は、しばしば禁止的なオーバーヘッドを生じさせる。
2次元のトポロジカルCSSコードを効率的に解析するためのリング理論的手法を提案する。
論文 参考訳(メタデータ) (2025-03-05T19:00:05Z) - Quantum $(r,δ)$-locally recoverable codes [37.306043163932905]
量子$(r,delta)$-locally recoveryable codesを定義することで、これらの符号の量子対について紹介する。
我々は、$(r,delta)$-local recoveryabilityという古典的概念と量子的概念の間に等価性が存在することを示す。
論文 参考訳(メタデータ) (2024-12-21T11:45:32Z) - Solving Quadratic Systems with Full-Rank Matrices Using Sparse or Generative Priors [33.0212223058894]
二次系$y_i=boldsymbol xtopboldsymbol A_iboldsymbol x, i=1,ldots,m$とフルランク行列$boldsymbol A_i$からの信号を回復する問題は、未割り当て距離幾何学やサブ波長イメージングなどの応用で頻繁に発生する。
本稿では、$mll n$ が $boldsymbol x$ の事前知識を取り入れた高次元の場合について述べる。
論文 参考訳(メタデータ) (2023-09-16T16:00:07Z) - An Optimal Separation of Randomized and Quantum Query Complexity [67.19751155411075]
すべての決定木に対して、与えられた順序 $ellsqrtbinomdell (1+log n)ell-1,$ sum to at least $cellsqrtbinomdell (1+log n)ell-1,$ where $n$ is the number of variables, $d$ is the tree depth, $c>0$ is a absolute constant。
論文 参考訳(メタデータ) (2020-08-24T06:50:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。