論文の概要: Classical Adversarial Fault-Tolerance and PCPs
- arxiv url: http://arxiv.org/abs/2608.16860v1
- Date: Mon, 17 Aug 2026 17:43:54 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-18 19:59:03.827188
- Title: Classical Adversarial Fault-Tolerance and PCPs
- Title(参考訳): 古典的対向的フォールトトレランスとPCP
- Abstract要約: 本稿では、任意の古典回路をフォールトトレラント回路にコンパイルする方法を示す。
本稿では,多言語問合せ複雑性を持つNPに対する確率的チェック可能な証明(PCP)を新たに構築する。
- 参考スコア(独自算出の注目度): 6.959424271538031
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We show how to compile an arbitrary classical circuit into a fault-tolerant circuit, which performs the desired computation even when an almost-linear number of bits are adversarially chosen and corrupted in each timestep. Using a variant of this fault-tolerance scheme that only detects (rather than corrects) corruptions, we give a new construction of probabilistically checkable proofs (PCPs) for NP with polylogarithmic query complexity. This PCP construction from fault-tolerance presents a promising candidate for quantization by the work of Anshu, Breuckmann, and Nguyen (STOC'24), who provided a roadmap for constructing quantum PCPs via fault-tolerance.
- Abstract(参考訳): 本稿では,任意の古典回路をフォールトトレラント回路にコンパイルする方法を示す。
誤りを(訂正ではなく)検出するこのフォールトトレランススキームの変種を用いて、多対数クエリ複雑性を持つNPに対する確率的検証可能な証明(PCP)を新たに構築する。
このフォールトトレランスからのPCP構築は、フォールトトレランスによる量子PCPを構築するロードマップを提供するAnshu, Breuckmann, Nguyen (STOC'24) の業績により、量子化の有望な候補を示す。
関連論文リスト
- Verifiable quantum advantage in extremely low depth [52.51019642214249]
浅量子回路では解けない問題を格子ベースの仮定で解くのが困難である。
浅量子回路は、解を効率よく検証できる古典的な難題を解くのに十分な構造を持っていることを証明している。
論文 参考訳(メタデータ) (2026-09-01T15:54:34Z) - Fault-Tolerant Quantum Computation with Adversarial Errors [5.5438676149999075]
対向雑音に対する量子計算のフォールトトレランス定理を証明した。
論理キューディット深さ$barT$の全ての量子回路に対して、フォールトトレラント回路を構築する。
この結果から,大域的,最悪の,マルコフ的でない雑音モデルの下では,フォールトトレラント量子計算が引き続き可能であることを示す。
論文 参考訳(メタデータ) (2026-08-17T17:40:14Z) - Error mitigation for partially error-corrected quantum computers [0.0]
本稿では,部分的に誤り訂正された量子コンピュータにおける量子エラー軽減手法を提案する。
連続的な時空トレードオフにおける誤差キャンセルのサンプリングの複雑さを、論理的アンシラ量子ビットが任意に軽減できることを示す。
論文 参考訳(メタデータ) (2025-10-13T02:02:22Z) - Structural encoding with classical codes for computational-basis bit-flip correction in the early fault-tolerant regime [0.6524460254566904]
本稿では,量子計算と古典的誤り訂正の機能を統合する新しいフレームワークを提案する。
このアプローチでは、古典的誤り訂正符号で定義されたコードワード部分空間内で量子計算を行う。
論文 参考訳(メタデータ) (2025-10-13T01:36:06Z) - Composable Quantum Fault-Tolerance [0.4985969607297594]
構成可能なフォールトトレランスは、回路の正確性の分析からノイズ分布の分析を分離するフレームワークである。
本フレームワークでは,メモリやロジックなどの標準および一般的なガジェットのライブラリを提供する。
論文 参考訳(メタデータ) (2025-08-11T17:58:14Z) - On the Constant Depth Implementation of Pauli Exponentials [49.48516314472825]
任意の長さの $Zotimes n$指数を$mathcalO(n)$ ancillae と 2体 XX と ZZ の相互作用を用いて一定深さの回路に分解する。
クビットリサイクルの恩恵を受ける回路の書き直し規則を導入し,本手法の正しさを実証する。
論文 参考訳(メタデータ) (2024-08-15T17:09:08Z) - Perfect Zero-Knowledge PCPs for #P [5.278573457491116]
完全ゼロ知識確率的証明(PZK-PCP)を#Pのすべての言語に対して構築する。
これは、BPP以外の言語向けのPZK-PCPの最初の構成である。
論文 参考訳(メタデータ) (2024-03-18T16:36:09Z) - Tractable Bounding of Counterfactual Queries by Knowledge Compilation [51.47174989680976]
本稿では, パール構造因果モデルにおいて, 因果関係などの部分的特定可能なクエリのバウンダリングの問題について議論する。
最近提案された反復EMスキームは初期化パラメータをサンプリングしてそれらの境界を内部近似する。
シンボルパラメータを実際の値に置き換えた回路構造を,単一のシンボル知識コンパイルによって得られることを示す。
論文 参考訳(メタデータ) (2023-10-05T07:10:40Z) - Witnessing entanglement in trapped-ion quantum error correction under
realistic noise [41.94295877935867]
量子誤り補正(Quantum Error Correction, QEC)は、論理情報を複数の物理量子ビットに符号化することで冗長性を利用する。
トラップイオンプラットフォームで使用される2量子光シフトゲートの平均ゲート不忠実度を推定するために,詳細な顕微鏡誤差モデルを提案する。
次に、この現実的な誤差モデルを適用し、QECビルディングブロックとして機能する回路によって生成されるマルチパーティントの絡み合いを定量化する。
論文 参考訳(メタデータ) (2022-12-14T20:00:36Z) - Complexity-Theoretic Limitations on Quantum Algorithms for Topological
Data Analysis [59.545114016224254]
トポロジカルデータ解析のための量子アルゴリズムは、古典的手法よりも指数関数的に有利である。
我々は、量子コンピュータにおいても、TDA(ベッチ数の推定)の中心的なタスクが難解であることを示します。
我々は、入力データが単純さの仕様として与えられると、指数的量子優位性を取り戻すことができると論じる。
論文 参考訳(メタデータ) (2022-09-28T17:53:25Z) - Finding the disjointness of stabilizer codes is NP-complete [77.34726150561087]
我々は、$c-不連続性を計算すること、あるいはそれを定数乗算係数の範囲内で近似することの問題はNP完全であることを示す。
CSSコード、$dコード、ハイパーグラフコードなど、さまざまなコードファミリの相違点に関するバウンダリを提供します。
以上の結果から,一般的な量子誤り訂正符号に対するフォールトトレラント論理ゲートの発見は,計算に難題であることが示唆された。
論文 参考訳(メタデータ) (2021-08-10T15:00:20Z) - Fault-tolerant parity readout on a shuttling-based trapped-ion quantum
computer [64.47265213752996]
耐故障性ウェイト4パリティチェック測定方式を実験的に実証した。
フラグ条件パリティ測定の単発忠実度は93.2(2)%である。
このスキームは、安定化器量子誤り訂正プロトコルの幅広いクラスにおいて必須な構成要素である。
論文 参考訳(メタデータ) (2021-07-13T20:08:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。