論文の概要: The verifier side of speculative window decoding: a predictability bracket, a machine-checked blast-radius bound, and a decoder-agnostic recover loop
- arxiv url: http://arxiv.org/abs/2607.13062v1
- Date: Tue, 07 Jul 2026 20:07:18 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-16 16:39:12.515798
- Title: The verifier side of speculative window decoding: a predictability bracket, a machine-checked blast-radius bound, and a decoder-agnostic recover loop
- Title（参考訳）: 投機的ウィンドウデコーディングの検証側:予測可能性ブラケット、マシンチェックされたブラスト半径境界、デコーダ非依存リカバリループ
- Abstract要約: 投機的ウィンドウデコーダは、量子エラー閾値デコーダの遅延を隠蔽する。
約90%の精度で1つの予測器を構築しました。
2番目の復号器はデコーダに依存しない:予測検証回収ラッパーと構造現象学である。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Speculative window decoders hide quantum error-correction decoder latency by guessing the cross-boundary decisions that link adjacent decoding windows, running downstream work on the guess, and verifying lazily. SWIPER and ARTERY each build one predictor, about 90% accurate; neither built the verifier side. We build it on a reconstructed SWIPER harness (Stim rotated surface code, minimum-weight matching). A predictor-only bracket shows the cross-boundary decision is local, the achievable accuracy reaching about 0.999 within three rounds, with small, diffuse headroom over SWIPER. We establish a worst-case temporal blast-radius bound, its probability core machine-checked in Lean4 and conditional on a modeling reduction we then test: a misprediction's effect decays exponentially in the commit width, so the radius is one and speculation adds no error floor. We falsify that reduction shot by shot and find the real mechanism, clearest at near-threshold noise, is a global minimum-weight re-pairing. A compiler pass derives SWIPER's restart policy from these numbers; a runtime executor confirms on the harness that the loop recovers exactly and removes the serial commit-chain stall up to a small penalty. A second decoder (union-find) settles which results are decoder-agnostic: the predict-verify-recover wrapper and the structural phenomenology, while the absolute magnitudes and the min-weight mechanism are matching-specific.
- Abstract（参考訳）: 投機的ウィンドウデコーダは、隣接するデコードウィンドウをリンクする境界を越えた決定を推測し、推測を下流で実行し、遅延を検証することで、量子エラー訂正デコーダのレイテンシを隠蔽する。
SWIPERとARTERYはそれぞれ約90%の精度で1つの予測器を構築した。
再構成されたSWIPERハーネス(Stimの回転面符号,最小ウェイトマッチング)上に構築する。
予測器のみのブラケットは、境界を越えた決定は局所的であり、達成可能な精度は3ラウンドで0.999まで達し、SWIPER上には小さな拡散ヘッドルームがある。
我々は、最悪の時間的ブラスト半径境界を確立し、その確率コアをLean4でチェックし、その後、モデリングの削減を条件づけてテストする: 誤予測の効果はコミット幅で指数関数的に減衰するので、半径は1で、投機はエラーフロアを追加しない。
我々は、ショットによるショットの削減を偽装し、最小限のリペアリング(再ペアリング)である、ほぼ閾値のノイズで明らかな真のメカニズムを見つける。
実行時エグゼキュータは、ループが正確に復元されたことをハーネス上で確認し、シリアルコミットチェーンの停止を小さなペナルティまで除去する。
第2のデコーダ(ユニオンフィン)は、デコーダに依存しない結果として、予測検証回収ラッパーと構造現象学を定め、絶対等級とミニウェイト機構は一致している。
関連論文リスト
- Fidelity Is Not Safety: Gently-Compressed LLMs Pass Every Data-Free Quality Guard Yet Invent Procedure Steps in Agentic Execution [0.0]
専門家は、データチープの品質ガードのスタックをクリアすると、圧縮された言語モデルを受け入れる。
3つのモデルファミリーにまたがって、優雅に圧縮されたモデルはすべてのガードをクリアし、指示にはない手順を発明した。
我々は,事前登録されたパワーカナリア上で,信頼区間のペア化による盲点と解離を特徴付ける。
論文 参考訳（メタデータ） (2026-07-30T13:33:09Z) - Anticipating the Optimism Gap: Predicting Distribution-Shift Degradation of RF-Impairment Detectors from In-Distribution Statistics [0.0]
電波障害の検知器は、通常、調整された分布で測定された単一のAUCで報告される。
アウト・オブ・ディストリビューション・データを見る前に、この楽観主義が予測できるかどうかを問う。
論文 参考訳（メタデータ） (2026-06-20T14:10:59Z) - Selection Without Signal, Recovery Through Expression: A Measurement Study of Post-Hoc Falsification Operators for Frozen Small Code Models [0.0]
小型のコードモデルは、しばしばプラルーシブル・ブライト・プログラムを出力する。
意味論的ポストホック演算子が役立つかどうかを測定する。
ここで唯一の精度向上である式層リカバリ(M1)は、標準抽出器が破棄した正しいプログラムを復元する。
論文 参考訳（メタデータ） (2026-06-15T17:36:23Z) - Towards Practical Lossless Neural Compression for LiDAR Point Clouds [84.36825469211375]
高精度な幾何学的詳細の極端に広い範囲は、効率的な文脈モデリングを妨げる。
私たちのフレームワークは2つの軽量モジュールで構成されています。
実験では、リアルタイムに競争力のある圧縮性能を示す。
論文 参考訳（メタデータ） (2026-03-26T10:02:07Z) - Nondeterminism-Aware Optimistic Verification for Floating-Point Neural Networks [11.159101812934503]
不均一加速器上での浮動小数点実行のための非決定論的アウェア最適検証プロトコル
NAOをPyTorch互換ランタイムとして実装し、現在Horeskyテストネット上にデプロイされているコントラクト層を運用しています。
論文 参考訳（メタデータ） (2025-10-15T21:10:39Z) - Implementation and verification of coherent error suppression using randomized compiling for Grover's algorithm on a trapped-ion device [0.0]
量子コンピュータにおけるコヒーレントエラーとその緩和効果について検討する。
最大10キュービットと26の2キュービットゲートを含むGroverのアルゴリズム回路を実装した。
論文 参考訳（メタデータ） (2025-03-07T11:37:14Z) - Robust Conformal Prediction with a Single Binary Certificate [58.450154976190795]
コンフォーマル予測(CP)は、任意のモデルの出力を、真のラベルを(調整可能な)高い確率でカバーすることを保証した予測セットに変換する。
我々は,MCサンプルが著しく低い場合でも,より小さな集合を生成する頑健な共形予測を提案する。
論文 参考訳（メタデータ） (2025-03-07T08:41:53Z) - Demonstrating dynamic surface codes [118.67046728951689]
曲面符号の3つの時間力学的実装を実験的に実証した。
まず、曲面コードを六角格子上に埋め込んで、キュービットあたりの結合を4つから3つに減らした。
第二に、サーフェスコードを歩き、データの役割を交換し、各ラウンドごとにキュービットを測定し、蓄積した非計算エラーの組込み除去による誤り訂正を達成する。
第3に、従来のCNOTの代わりにiSWAPゲートを用いた表面コードを実現し、追加のオーバーヘッドを伴わずに、エラー訂正のための実行可能なゲートセットを拡張した。
論文 参考訳（メタデータ） (2024-12-18T21:56:50Z) - Estimating the Decoding Failure Rate of Binary Regular Codes Using Iterative Decoding [84.0257274213152]
並列ビットフリップデコーダのDFRを高精度に推定する手法を提案する。
本研究は,本症候群のモデル化およびシミュレーションによる重み比較,第1イテレーション終了時の誤りビット分布の誤検出,復号化復号化率(DFR)について検証した。
論文 参考訳（メタデータ） (2024-01-30T11:40:24Z) - Global Context Aggregation Network for Lightweight Saliency Detection of
Surface Defects [70.48554424894728]
我々は,エンコーダ・デコーダ構造上の表面欠陥を簡易に検出するためのGCANet(Global Context Aggregation Network)を開発した。
まず、軽量バックボーンの上部層に新しいトランスフォーマーエンコーダを導入し、DSA(Depth-wise Self-Attention)モジュールを通じてグローバルなコンテキスト情報をキャプチャする。
3つの公開欠陥データセットの実験結果から,提案したネットワークは,他の17の最先端手法と比較して,精度と実行効率のトレードオフを良好に達成できることが示された。
論文 参考訳（メタデータ） (2023-09-22T06:19:11Z) - Error Mitigation of BQP Computations using Measurement-Based Verification [0.7673339435080445]
既存のツールを量子検証と測定ベースの量子計算から利用して、我々のプロトコルは、ノイズサンプリングのためのテストラウンドと並行して、標準的な計算ラウンドをインターリーブする。
我々は、時間依存ノイズに対処し、オーバーヘッドを削減するために、textitbasketingと呼ばれるポストセレクション手法を導入する。
論文 参考訳（メタデータ） (2023-06-07T11:35:21Z) - Improved decoding of circuit noise and fragile boundaries of tailored
surface codes [61.411482146110984]
高速かつ高精度なデコーダを導入し、幅広い種類の量子誤り訂正符号で使用することができる。
我々のデコーダは、信仰マッチングと信念フィンドと呼ばれ、すべてのノイズ情報を活用し、QECの高精度なデモを解き放つ。
このデコーダは, 標準の正方形曲面符号に対して, 整形曲面符号において, より高いしきい値と低い量子ビットオーバーヘッドをもたらすことがわかった。
論文 参考訳（メタデータ） (2022-03-09T18:48:54Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。