論文の概要: Verifying Fault-Tolerance of Quantum Error Correction Codes
- arxiv url: http://arxiv.org/abs/2501.14380v1
- Date: Fri, 24 Jan 2025 10:28:24 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-01-27 14:56:37.401313
- Title: Verifying Fault-Tolerance of Quantum Error Correction Codes
- Title(参考訳): 量子誤り訂正符号の耐故障性検証
- Authors: Kean Chen, Yuhao Liu, Wang Fang, Jennifer Paykin, Xinchuan Ryan Wu, Albert Schmitz, Steve Zdancewic, Gushu Li,
- Abstract要約: 本稿では,量子プログラム言語におけるフォールトトレランスを定式化する。
量子シンボル実行の技法を取り入れることで、量子フォールトトレランスの自動検証ツールを提供する。
- 参考スコア(独自算出の注目度): 7.632833157710822
- License:
- Abstract: Quantum computers have advanced rapidly in qubit number and gate fidelity. However, they would still lack practicalness without utilizing fault-tolerant quantum error correction code (QECC) implementations to suppress noise. Manually or experimentally verifying the fault-tolerance of complex QECCs is impractical due to the vast error combinations. This paper formalizes fault-tolerance within the language of quantum programs. By incorporating the techniques of quantum symbolic execution, we provide an automatic verification tool for quantum fault-tolerance. We evaluate and demonstrate the effectiveness of our tool on a universal set of logical operations across different QECCs.
- Abstract(参考訳): 量子コンピュータは量子ビット数とゲート忠実度が急速に進歩した。
しかし、ノイズを抑制するためにフォールトトレラント量子誤り訂正符号(QECC)を使わずに実用性に欠ける。
複雑なQECCのフォールトトレランスを手動または実験的に検証することは、膨大なエラーの組み合わせのために現実的ではない。
本稿では,量子プログラム言語におけるフォールトトレランスを定式化する。
量子シンボル実行の技法を取り入れることで、量子フォールトトレランスの自動検証ツールを提供する。
我々は,異なるQECC間の論理演算の普遍的集合に対するツールの有効性を評価し,実演する。
関連論文リスト
- Weakly Fault-Tolerant Computation in a Quantum Error-Detecting Code [0.0]
完全なフォールトトレランスを達成する多くの現在の量子誤り訂正符号は、論理量子ビットと物理量子ビットの比率が低く、大きなオーバーヘッドがある。
我々は,[n,n-2,2]]量子誤り検出符号の構成を,単一故障ゲートから任意の誤りを検出する中間点として提案する。
論文 参考訳(メタデータ) (2024-08-27T07:25:36Z) - Transversal CNOT gate with multi-cycle error correction [1.7359033750147501]
スケーラブルでプログラム可能な量子コンピュータは、コンピュータが合理的な時間枠で達成できない計算集約的なタスクを解く可能性を持ち、量子優位性を達成する。
現在の量子プロセッサのエラーに対する脆弱性は、実用的な問題に必要な複雑で深い量子回路の実行に重大な課題をもたらす。
我々の研究は、現在の世代の量子ハードウェアを用いた超伝導体ベースのプロセッサにおいて、論理的CNOTゲートとエラー検出を併用できる可能性を確立した。
論文 参考訳(メタデータ) (2024-06-18T04:50:15Z) - Analysis of Maximum Threshold and Quantum Security for Fault-Tolerant
Encoding and Decoding Scheme Base on Steane Code [10.853582091917236]
エンコードされたブロックのCNOTゲートがエラーの伝播を引き起こす可能性があるため、オリジナルのSteaneコードはフォールトトレラントではない。
まず, 誤り訂正期間において, 量子ゲート毎に発生する全てのエラーを解析するフォールトトレラント符号化・復号方式を提案する。
次に、耐故障性の準備とアシラリー状態の検証を含む、普遍量子ゲート集合の耐故障性スキームを提供する。
論文 参考訳(メタデータ) (2024-03-07T07:46:03Z) - Deep Quantum Error Correction [73.54643419792453]
量子誤り訂正符号(QECC)は、量子コンピューティングのポテンシャルを実現するための鍵となる要素である。
本研究では,新しいエンペンド・ツー・エンドの量子誤りデコーダを効率的に訓練する。
提案手法は,最先端の精度を実現することにより,QECCのニューラルデコーダのパワーを実証する。
論文 参考訳(メタデータ) (2023-01-27T08:16:26Z) - Automatic Implementation and Evaluation of Error-Correcting Codes for
Quantum Computing: An Open-Source Framework for Quantum Error Correction [2.1801327670218855]
実際の量子コンピュータは、計算中にエラーを引き起こす頻繁なノイズ効果に悩まされている。
量子エラー訂正コードは、対応するエラーを識別し修正する手段を提供することで、この問題に対処する。
本稿では, あるアプリケーションに対してエラー訂正コードを自動的に適用し, その後に自動ノイズ対応量子回路シミュレーションを行うオープンソースフレームワークを提案する。
論文 参考訳(メタデータ) (2023-01-13T19:12:22Z) - Applying the Quantum Error-correcting Codes for Fault-tolerant Blind
Quantum Computation [33.51070104730591]
ブラインド量子計算(Blind Quantum Computation、BQC)は、クライアントが望まれる量子計算を実装するためにリモート量子サーバをレンタルするプロトコルである。
本稿では,量子誤り訂正符号を用いたフォールトトレラントブラインド量子計算プロトコルを提案する。
論文 参考訳(メタデータ) (2023-01-05T08:52:55Z) - Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。
特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文 参考訳(メタデータ) (2021-12-27T21:15:35Z) - Crosstalk Suppression for Fault-tolerant Quantum Error Correction with
Trapped Ions [62.997667081978825]
本稿では、電波トラップで閉じ込められた1本のイオン列をベースとした量子計算アーキテクチャにおけるクロストーク誤差の研究を行い、個別に調整されたレーザービームで操作する。
この種の誤差は、理想的には、異なるアクティブな量子ビットのセットで処理される単一量子ゲートと2量子ビットの量子ゲートが適用されている間は、未修正のままであるオブザーバー量子ビットに影響を及ぼす。
我々は,第1原理からクロストーク誤りを微視的にモデル化し,コヒーレント対非コヒーレントなエラーモデリングの重要性を示す詳細な研究を行い,ゲートレベルでクロストークを積極的に抑制するための戦略について議論する。
論文 参考訳(メタデータ) (2020-12-21T14:20:40Z) - Fault-tolerant Coding for Quantum Communication [71.206200318454]
ノイズチャネルの多くの用途でメッセージを確実に送信するために、回路をエンコードしてデコードする。
すべての量子チャネル$T$とすべての$eps>0$に対して、以下に示すゲートエラー確率のしきい値$p(epsilon,T)$が存在し、$C-epsilon$より大きいレートはフォールトトレラント的に達成可能である。
我々の結果は、遠方の量子コンピュータが高レベルのノイズの下で通信する必要があるような、大きな距離での通信やオンチップでの通信に関係している。
論文 参考訳(メタデータ) (2020-09-15T15:10:50Z) - Using Quantum Metrological Bounds in Quantum Error Correction: A Simple
Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
本稿では、量子誤り訂正符号の品質と、論理ゲートの普遍的な集合を達成する能力とを結びつける、近似したイージン・クニル定理の証明を示す。
我々の導出は、一般的な量子気象プロトコルにおける量子フィッシャー情報に強力な境界を用いる。
論文 参考訳(メタデータ) (2020-04-24T17:58:10Z) - Deterministic correction of qubit loss [48.43720700248091]
量子ビットの損失は、大規模かつフォールトトレラントな量子情報プロセッサに対する根本的な障害の1つである。
トポロジカル曲面符号の最小インスタンスに対して、量子ビット損失検出と補正の完全なサイクルの実装を実験的に実証した。
論文 参考訳(メタデータ) (2020-02-21T19:48:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。