論文の概要: Symbolic Execution for Quantum Error Correction Programs
- arxiv url: http://arxiv.org/abs/2311.11313v2
- Date: Wed, 22 Nov 2023 04:52:54 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-23 12:03:57.960316
- Title: Symbolic Execution for Quantum Error Correction Programs
- Title(参考訳): 量子誤り訂正プログラムの記号的実行
- Authors: Wang Fang, Mingsheng Ying
- Abstract要約: 量子プログラムのためのシンボリック実行フレームワークQSEを定義する。
量子誤り訂正プログラムの効率的な解析を容易にするシンボリック・スタビライザー状態を導入する。
我々はQuantumSE.jlというプロトタイプツールでシンボル安定化状態をサポートしてQSEを実装した。
- 参考スコア(独自算出の注目度): 3.5664433935013165
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We define a symbolic execution framework QSE for quantum programs by
integrating symbolic variables into quantum states and the outcomes of quantum
measurements. The soundness theorem of QSE is proved. We further introduce
symbolic stabilizer states, which facilitate the efficient analysis of quantum
error correction programs. Within the QSE framework, we can use symbolic
expressions to characterize the possible adversarial errors in quantum error
correction, providing a significant improvement over existing methods that rely
on sampling with simulators. We implement QSE with the support of symbolic
stabilizer states in a prototype tool named QuantumSE.jl. With experiments on
representative quantum error correction codes, including quantum repetition
codes, Kitaev's toric codes, and quantum Tanner codes, we demonstrate the
efficiency of QuantumSE.jl for debugging quantum error correction programs with
over 1000 qubits. In addition, as a by-product of QSE, QuantumSE.jl's sampling
functionality for stabilizer circuits also outperforms the state-of-the-art
stabilizer simulator, Google's Stim, in the experiments.
- Abstract(参考訳): 我々は,量子プログラムのためのシンボリック実行フレームワークqseを定義し,記号変数を量子状態と量子測定結果に統合する。
QSEの音響定理が証明される。
さらに,量子誤差補正プログラムの効率的な解析を容易にするシンボリック安定化状態を導入する。
QSEフレームワーク内では、シンボリック表現を用いて量子誤り訂正の可能な逆誤差を特徴付けることができ、シミュレータによるサンプリングに依存する既存の手法よりも大幅に改善される。
我々はQuantumSE.jlというプロトタイプツールでシンボル安定化状態をサポートするQSEを実装した。
量子反復符号、北エフのトーリック符号、量子タナー符号を含む代表量子誤り訂正符号の実験により、1000量子ビットを超える量子誤り訂正プログラムをデバッグするためのQuantumSE.jlの効率を実証する。
さらに、QSEの副産物として、QuantumSE.jlの安定化回路のサンプリング機能は、実験において最先端の安定化シミュレータであるGoogleのStimよりも優れている。
関連論文リスト
- QuantumSEA: In-Time Sparse Exploration for Noise Adaptive Quantum
Circuits [82.50620782471485]
QuantumSEAはノイズ適応型量子回路のインタイムスパース探索である。
1)トレーニング中の暗黙の回路容量と(2)雑音の頑健さの2つの主要な目標を達成することを目的としている。
提案手法は, 量子ゲート数の半減と回路実行の2倍の時間節約で, 最先端の計算結果を確立する。
論文 参考訳(メタデータ) (2024-01-10T22:33:00Z) - Demonstration of fault-tolerant Steane quantum error correction [0.7174990929661688]
本研究では,複数ラウンドのフォールトトレラントSteane QECをトラップイオン量子コンピュータ上に実装する。
各種QEC符号を用い, フラグ量子ビットを用いた従来の実験手法と比較した。
論文 参考訳(メタデータ) (2023-12-15T12:32:49Z) - A Case for Synthesis of Recursive Quantum Unitary Programs [9.287571320531457]
量子プログラムは、量子プログラミングに関連する直感的な量子知識のために、コーディングと検証が難しいことで知られている。
本稿では、新しい帰納的量子プログラム言語を含む、最初の量子プログラム合成フレームワークであるQ Synthを紹介する。
Q Synthは量子加算器回路、量子固有値反転回路、量子フーリエ変換を含む10個の量子ユニタリプログラムをうまく合成する。
論文 参考訳(メタデータ) (2023-11-20T03:01:36Z) - Quantum-Error-Mitigation Circuit Groups for Noisy Quantum Metrology [0.0]
量子技術は、量子コヒーレンスや量子絡み合いのような量子系に固有の性質を利用する。
量子技術は環境との相互作用(デコヒーレンス)に対して脆弱であり、それらを高精度に活用するにはエラー軽減技術を開発する必要がある。
論文 参考訳(メタデータ) (2023-03-03T10:01:42Z) - Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。
特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文 参考訳(メタデータ) (2021-12-27T21:15:35Z) - Characterizing quantum instruments: from non-demolition measurements to
quantum error correction [48.43720700248091]
量子情報処理では、量子演算はしばしば古典的なデータをもたらす測定とともに処理される。
非単位の動的プロセスは、一般的な量子チャネルの記述が時間進化を記述するのに失敗するシステムで起こりうる。
量子測定は古典的な出力と測定後の量子状態の両方を計測するいわゆる量子機器によって正しく扱われる。
論文 参考訳(メタデータ) (2021-10-13T18:00:13Z) - On exploring practical potentials of quantum auto-encoder with
advantages [92.19792304214303]
量子オートエンコーダ(QAE)は、量子物理学で遭遇する次元の呪いを和らげるための強力なツールである。
我々はQAEを用いて固有値を効率的に計算し、高次元量子状態の対応する固有ベクトルを作成できることを証明した。
低ランク状態の忠実度推定,量子ギブス状態準備,量子メトロジーの課題を解決するために,QAEに基づく効果的な3つの学習プロトコルを考案した。
論文 参考訳(メタデータ) (2021-06-29T14:01:40Z) - Sampling Overhead Analysis of Quantum Error Mitigation: Uncoded vs.
Coded Systems [69.33243249411113]
パウリの誤差は、多数の現実的な量子チャネルの中で最も低いサンプリングオーバーヘッドをもたらすことを示す。
我々はQEMと量子チャネル符号化を併用する手法を考案し、純粋なQEMと比較してサンプリングオーバーヘッドの低減を解析する。
論文 参考訳(メタデータ) (2020-12-15T15:51:27Z) - Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
本稿では、QAS(Quantum Architecture Search)と呼ばれるリソースと実行時の効率的なスキームを提案する。
QASは、よりノイズの多い量子ゲートを追加することで得られる利点と副作用のバランスをとるために、自動的にほぼ最適アンサッツを求める。
数値シミュレータと実量子ハードウェアの両方に、IBMクラウドを介してQASを実装し、データ分類と量子化学タスクを実現する。
論文 参考訳(メタデータ) (2020-10-20T12:06:27Z) - Bosonic quantum error correction codes in superconducting quantum
circuits [0.0]
Gottesman-Kitaev-Preskill符号、猫符号、二項符号など、最近のボソニック符号の進歩を概観する。
本稿では、フォールトトレラント量子計算から量子メートル法まで、様々な量子アプリケーションにおけるボソニック符号の機会について論じる。
論文 参考訳(メタデータ) (2020-10-17T02:58:37Z) - Minimizing estimation runtime on noisy quantum computers [0.0]
ベイズ推論の実行には、ELF(Engineered chance function)が用いられる。
物理ハードウェアがノイズの多い量子コンピュータの仕組みから遷移するにつれて,ELF形式がサンプリングにおける情報ゲイン率をいかに向上させるかを示す。
この技術は、化学、材料、ファイナンスなどを含む多くの量子アルゴリズムの中心的なコンポーネントを高速化する。
論文 参考訳(メタデータ) (2020-06-16T17:46:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。