論文の概要: Near-optimal high-rate surgery from linear PCPPs
- arxiv url: http://arxiv.org/abs/2609.26973v1
- Date: Tue, 22 Sep 2026 19:09:42 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-25 00:05:17.735914
- Title: Near-optimal high-rate surgery from linear PCPPs
- Title(参考訳): 線状PCPPを用いた近位高速度手術
- Abstract要約: 量子低密度パリティチェック(LDPC)符号を用いた手術における中心的な問題は、大量の論理演算子を並列に測定する補助システムの設計である。
本稿では, 手術器具を「高率」で設計する非常に一般的な手法を提案する。
- 参考スコア(独自算出の注目度): 45.88028371034407
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: A central problem for surgery with quantum Low-Density Parity Check (LDPC) codes is the design of auxiliary systems which measure large sets of logical operators in parallel, while preserving sparsity and fault distance. We introduce a very general method for designing surgery gadgets which are 'high rate', meaning that the number of operators measured in parallel is large in comparison to the size of the auxiliary system. Given an arbitrary initial $[[ n, k, d ]]$ quantum LDPC Calderbank-Shor-Steane (CSS) code, and an arbitrary subcode of size $μ\leq n$ that contains $t \leq k$ logical qubits, the method produces a sparse high-rate surgery gadget with size $μ(\logμ)^{O(\log\log μ)}=μ^{1+o(1)}$ which measures all $t$ logicals in the subcode. The space overhead is asymptotically optimal up to subpolynomial factors, as the lower bound is $Ω(μ)$. This gadget is produced in time polynomial in $μ$. When logical measurement is performed using these surgery gadgets, the phenomenological fault distance is at least $d$ when performed for $d$ rounds. Our main result comes from relating surgery gadgets with relative cosystolic expansion to linear Probabilistically Checkable Proofs of Proximity (PCPPs), which allow a randomised verifier to probabilistically verify the input to a linear circuit, using only oracle access to the input and a claimed proof.
- Abstract(参考訳): 量子低密度パリティチェック(LDPC)符号を用いた手術における中心的な問題は、間隔と故障距離を保ちながら、大量の論理演算子を並列に測定する補助システムの設計である。
本稿では, 手術器具を「高率」で設計する手法を提案する。
任意の初期$[[n, k, d ]$ Quantum LDPC Calderbank-Shor-Steane (CSS) 符号と$t \leq k$ logical qubitsを含む$μ\leq n$の任意のサブコードが与えられたとき、このメソッドは、サブコード内のすべての$t$の論理を測る$μ(\logμ)^{O(\log\logμ)}=μ^{1+o(1)}$のスパースなハイレート手術ガジェットを生成する。
空間のオーバーヘッドは、下界が$Ω(μ)$であるので、漸近的にポリノミカル因子まで最適である。
このガジェットは時間多項式で$μ$で製造される。
これらの手術器具を用いて論理的測定を行う場合、現象学的欠陥距離は少なくとも$d$のラウンドで行うと$d$である。
本研究の主な成果は,線形確率的検証可能証明 (PCPPs) に相対的に拡張された手術器具を関連づけることで, ランダム化検証器が線形回路への入力を確率的に検証し, 入力へのオラクルアクセスとクレーム証明のみを用いて行うことにある。
関連論文リスト
- Lifted surgery: Fast processing with QLDPC codes [0.0]
本稿では,アベリア群代数符号の高速かつ並列な手術手法であるリフト手術を紹介する。
リフテッド手術は、基礎となるコードの対称性を保ち、大きなインスタンスの検索をトラクタブルにする。
パラメータが $[90, 8, 10] と $[198, 8, 16 ] の量子ラジアル符号を提示する。
論文 参考訳(メタデータ) (2026-09-10T15:40:45Z) - Parsimonious Quantum Low-Density Parity-Check Code Surgery [38.902931077568795]
本稿では、任意の論理演算子重みを測定するために、キュービットサイズ$O(W log W)$のアンシラシステムを構築する方法を提案する。
この新たな構造は、様々な量子コード手術スキームのオーバーヘッドを即座に削減する。
論文 参考訳(メタデータ) (2026-03-05T11:52:57Z) - Parallel Logical Measurements via Quantum Code Surgery [42.95092131256421]
量子符号手術(Quantum code surgery)は、量子誤り訂正符号の論理的測定を行うための、柔軟で低オーバーヘッドな技術である。
本稿では,量子ビット安定化器の低密度パリティチェック(LDPC)コードに適用可能なコード手術方式を提案する。
論文 参考訳(メタデータ) (2025-03-06T22:05:52Z) - SSIP: automated surgery with quantum LDPC codes [55.2480439325792]
クビットCSSコード間の手術を自動化するための,オープンソースの軽量PythonパッケージであるSSIP(Identifying Pushouts)による安全手術について述べる。
ボンネットの下では、鎖複体の圏における普遍構成によって支配される$mathbbF$上の線型代数を実行する。
高い符号距離を犠牲にすることなく,手術によって様々な論理的測定を安価に行うことができることを示す。
論文 参考訳(メタデータ) (2024-07-12T16:50:01Z) - Fast quantum circuit cutting with randomized measurements [0.0]
本稿では,単一デバイス上で利用可能な物理量子ビット数を超えて,量子計算のサイズを拡大する手法を提案する。
これは、大きな回路の出力状態を異なるデバイス間で分離可能な状態として表すために、無作為に計測・準備チャネルを挿入することで達成される。
論文 参考訳(メタデータ) (2022-07-29T15:13:04Z) - Quantum Goemans-Williamson Algorithm with the Hadamard Test and
Approximate Amplitude Constraints [62.72309460291971]
本稿では,n+1$ qubitsしか使用しないGoemans-Williamsonアルゴリズムの変分量子アルゴリズムを提案する。
補助量子ビット上で適切にパラメータ化されたユニタリ条件として目的行列を符号化することにより、効率的な最適化を実現する。
各種NPハード問題に対して,Goemans-Williamsonアルゴリズムの量子的効率的な実装を考案し,提案プロトコルの有効性を実証する。
論文 参考訳(メタデータ) (2022-06-30T03:15:23Z) - Hybrid Stochastic-Deterministic Minibatch Proximal Gradient:
Less-Than-Single-Pass Optimization with Nearly Optimal Generalization [83.80460802169999]
HSDMPGは、学習モデル上で過大なエラーの順序である$mathcalObig(1/sttnbig)$を達成可能であることを示す。
損失係数について、HSDMPGは学習モデル上で過大なエラーの順序である$mathcalObig(1/sttnbig)$を達成できることを示す。
論文 参考訳(メタデータ) (2020-09-18T02:18:44Z) - FANOK: Knockoffs in Linear Time [73.5154025911318]
本稿では,ガウスモデル-Xノックオフを効率的に実装し,大規模特徴選択問題における誤発見率を制御するアルゴリズムについて述べる。
当社のメソッドは、最大50,000ドルという問題でテストしています。
論文 参考訳(メタデータ) (2020-06-15T21:55:34Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。