論文の概要: Quasilinear Equivalence Checking for Detector Error Models

• arxiv url: http://arxiv.org/abs/2606.14677v1
• Date: Fri, 12 Jun 2026 17:42:16 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-15 16:00:43.019032
• Title: Quasilinear Equivalence Checking for Detector Error Models
• Title（参考訳）: 検出誤差モデルに対する準線形等価チェック
• Abstract要約: 検出器エラーモデル(英: Detector Error Model, DEM)は、量子回路におけるエラー機構の構造化された表現である。 我々は、その関連する分類論的意味論を用いて、DEMの方程式理論を開発する。 我々は厳密な正当性を保証するDEM同値性に関する最初の静的決定手順を提供する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: A Detector Error Model (DEM) is a structured representation of error mechanisms in quantum circuits, which has gained popularity in quantum compilation pipelines for its ability to capture fault-tolerance at a circuit level. It lists error mechanisms as instructions targeting detectors and observables, specifying for each physical fault channel the probability that the fault fires, the detectors it triggers, and the observables it flips. In this paper, we develop an equational theory for DEMs, with its associated categorical semantics. We present a sound, terminating, confluent rewriting system for DEM terms, formulating it as a symmetric monoidal theory (a PROP) over the Giry monad. We prove that every DEM term has a unique normal form, which can be computed efficiently in quasilinear time $O(k|E|\log|E|)$, where $|E|$ is the number of instructions and $k$ bounds the size of a target set. This provides a complete set of invariants (via Tanner graphs) for structural DEM equivalence. We provide the first static decision procedure for DEM equivalence, with rigorous correctness guarantees. It is complete (decides full decoder-equivalence exactly) for non-adaptive quantum error correction (QEC) pipelines, and scales to a sound and applicable decision procedure for partially-adaptive circuits (lattice surgery, distributed QEC, ...) without suffering exponential overhead. We discuss its application to the verification and optimisation of quantum compilers.
• Abstract（参考訳）: ディテクタエラーモデル(英: Detector Error Model, DEM)は、量子回路におけるエラー機構の構造化表現であり、回路レベルでのフォールトトレランスを捉える能力によって、量子コンパイルパイプラインで人気を集めている。 エラーメカニズムを検知器と観測器を対象とする指示としてリストし、各物理故障経路に対して、故障が発火する確率、発火する検知器、反転する観測器を指定する。 本稿では、DEMに関する方程式理論を、関連する分類論的意味論を用いて開発する。 我々は、ジリーモナド上の対称モノイダル理論( PROP)として定式化して、DEM項に対する音、終端、収束的書き換えシステムを提案する。 すべてのDEM項が一意な正規形式を持つことを証明し、これは準線形時間$O(k|E|\log|E|)$で効率的に計算できる。 これは構造的DEM同値性に対する(タナーグラフによる)不変量の完全な集合を与える。 我々は厳密な正当性を保証するDEM同値性に関する最初の静的決定手順を提供する。 非適応的量子誤り訂正(QEC)パイプラインに対して完全(正確にはデコーダ等価性を決定する)であり、指数的オーバーヘッドに悩まされることなく、部分的に適応的な回路(格子手術、分散QEC、...)に対する音と適用可能な決定手順にスケールする。 量子コンパイラの検証と最適化への応用について論じる。

関連論文リスト

• Modeling Quantum Error Detection with Transition Matrices [0.3274502177751997]
  本研究では,回路レベルのパウリ雑音下での安定化器符号の符号適応ベースポピュレーションダイナミクスを正確に記述した明示的遷移行列を構築した。 量子エラー検出には、拒否された結果を吸収状態に集約することで、ポストセレクションを組み込む。 ゲートノイズと読み出しエラーを非分極化して,$[4,2,2]および$[5,1,3]のコードでフレームワークを評価する。
  論文  参考訳（メタデータ） (2026-09-10T18:03:43Z)
• Equation Recast for Canonical Operator Learning Across Parametric PDEs [59.44573033543284]
  本稿では,パラメトリック演算子学習を単一正規作用素の学習として再構成する方程式再キャストを提案する。 核融合のための高忠実トカマクシミュレーションにおいて、このフレームワークは4つのデバイス領域にまたがる電子-温度データを統一する。
  論文  参考訳（メタデータ） (2026-09-02T13:15:50Z)
• Intrinsic Structure: Spectral Identifiability for Mechanistic Interpretability [51.56484100374058]
  機械論的解釈可能性プリミティブに対する最初の識別可能性定理を証明した。 スペクトルは、正当性分解ではなく、記述されたエラーバーを持つ識別可能なモデル固有の指紋である。
  論文  参考訳（メタデータ） (2026-08-10T19:42:01Z)
• Theory of approximate quantum error correction and the error-set model [53.73800998389749]
  誤差セットモデルに基づく近似量子誤差補正の理論を考案する。 与えられたエラーセットを修正するコードは、クラウス演算子が線形スパンにある全てのチャネルに対して自動的に保護される。 この線形性は、符号距離、消去と一般的な誤りの等価性、および理論上は良い符号をもたらす。
  論文  参考訳（メタデータ） (2026-07-25T02:15:33Z)
• What Does a Discrete Diffusion Model Learn? [71.03603607324338]
  離散拡散モデルは、デノイザ、スコア比、ブリッジプラグイン予測器などを学ぶ。 まず, 連続時間マルコフ連鎖 (CTMC) ELBO の任意のノイズ発生過程に対する厳密な導出から始める。 すべてのアイデンティティは、正確に解けるモデル上で近似なしで数値的に検証される。
  論文  参考訳（メタデータ） (2026-07-06T17:56:11Z)
• Tailoring Strictly Proper Scoring Rules for Downstream Tasks: An Application to Causal Inference [48.78219918881965]
  本稿では,ダウンストリーム誤差メトリックの局所曲率をマッチングすることにより,タスク固有の厳密なスコアリングルールを導出するフレームワークを提案する。 これを平均処理効果 (ATE) 推定に適用し, 閉形式損失と対応する正準確率写像を導出する。
  論文  参考訳（メタデータ） (2026-06-02T08:41:25Z)
• Understanding Quantum Instruments [0.304585143845864]
  適応回路や量子誤り補正などのMCMを用いたアプリケーションでは、QIを正しくモデル化することが不可欠である。 このノートはQIエラーモデルの理解と解釈に関する実践的なガイダンスを提供する。
  論文  参考訳（メタデータ） (2026-04-20T22:06:54Z)
• Variational Rectification Inference for Learning with Noisy Labels [74.85528327499662]
  損失関数の適応的補正を定式化するために, 変分補正推論(VRI)を提案する。 VRIは、補正ベクトルを潜在変数として扱うことによって階層ベイズとして構成される。 VRIで変分項を導入することにより、条件付き後部を正確に推定し、ディラックデルタ関数への崩壊を避ける。
  論文  参考訳（メタデータ） (2026-03-18T01:25:08Z)
• Ising on the donut: Regimes of topological quantum error correction from statistical mechanics [0.0]
  ユーティリティスケールの量子コンピュータは、論理的誤り率を十分に低くするために、大量の物理量子ビットを持つ量子エラー訂正符号を必要とする。 ここでは、ビットフリップ雑音下でのトーラス符号から、トーラス上の正確に解ける2次元イジングモデルに対して、シンドロームフリーで選択されたトーラス符号の正確なマッピングを利用して、論理的故障率の解析解を導出する。
  論文  参考訳（メタデータ） (2025-12-11T08:06:23Z)
• Unsupervised Conformal Inference: Bootstrapping and Alignment to Control LLM Uncertainty [49.19257648205146]
  生成のための教師なし共形推論フレームワークを提案する。 我々のゲートは、分断されたUPPよりも厳密で安定した閾値を提供する。 その結果は、ラベルのない、API互換の、テスト時間フィルタリングのゲートになる。
  論文  参考訳（メタデータ） (2025-09-26T23:40:47Z)
• Universal quantum computation via scalable measurement-free error correction [45.29832252085144]
  本研究では,中間回路計測を行なわずに誤り訂正を行うシナリオにおいて,普遍的な量子計算をフォールトトレラントにすることができることを示す。 論理的な$mathitCCZ$ゲートを実現するため,Bacon-Shor符号の無測定変形プロトコルを導入する。 特に,回路レベルのエラーレートが10～3ドル以下であれば,破れない論理性能が達成可能であることを示す。
  論文  参考訳（メタデータ） (2024-12-19T18:55:44Z)
• A correspondence between quantum error correcting codes and quantum reference frames [0.0]
  ゲージ理論では、ゲージ不変量の少ない情報を冗長に記述するために、運動学的な自由度の集まりが用いられる。 量子システムにおける対称性を扱うための普遍的ツールキットである量子参照フレーム(QRF)の観点で、この並列性について詳しく述べる。 誤差生成QRF自由度から最大修正可能誤差集合とテンソル分解分解系を1対1で対応させることが示される。
  論文  参考訳（メタデータ） (2024-12-19T18:52:38Z)
• Measurement-free fault-tolerant quantum error correction in near-term devices [0.0]
  キュービットを測定する必要なしにQECサイクルを実行するための新しいスキームを提供する。 フラグキュービットベースのECサイクルと比較して,提案方式の論理的故障率をベンチマークする。 イオントラップや中性原子をツイーザーアレイで実装する方法について概説する。
  論文  参考訳（メタデータ） (2023-07-25T07:22:23Z)
• Witnessing entanglement in trapped-ion quantum error correction under realistic noise [41.94295877935867]
  量子誤り補正(Quantum Error Correction, QEC)は、論理情報を複数の物理量子ビットに符号化することで冗長性を利用する。 トラップイオンプラットフォームで使用される2量子光シフトゲートの平均ゲート不忠実度を推定するために,詳細な顕微鏡誤差モデルを提案する。 次に、この現実的な誤差モデルを適用し、QECビルディングブロックとして機能する回路によって生成されるマルチパーティントの絡み合いを定量化する。
  論文  参考訳（メタデータ） (2022-12-14T20:00:36Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。