論文の概要: Bit-Vector Abstractions to Formally Verify Quantum Error Detection & Entanglement
- arxiv url: http://arxiv.org/abs/2603.13554v1
- Date: Fri, 13 Mar 2026 19:45:57 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-17 16:19:35.268864
- Title: Bit-Vector Abstractions to Formally Verify Quantum Error Detection & Entanglement
- Title（参考訳）: 量子誤り検出・絡み合いの形式検証のためのビットベクトル抽象化
- Authors: Arun Govindankutty,
- Abstract要約: 本稿では,量子位相推定(QPE)回路のスケーラブルな形式検証手法を提案する。
提案手法では,量子化自由ビットベクトル論理に基づくシンボル量子ビットの抽象化を用いる。
我々は,QPE回路の機能的正当性を保証するために,この抽象化に整合した形式的特性を開発する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We present a scalable formal verification methodology for Quantum Phase Estimation (QPE) circuits. Our approach uses a symbolic qubit abstraction based on quantifier-free bit-vector logic, capturing key quantum phenomena, including superposition, rotation, and measurement. The proposed methodology maps quantum circuit functional behaviour from Hilbert space to a bit-vector domain. We develop formal properties aligned with this abstraction to ensure functional correctness of QPE circuits. The method scales efficiently, verifying QPE circuits with up to 6 precision qubits and 1,024 phase qubits using under 3.5 GB of memory.
- Abstract（参考訳）: 本稿では,量子位相推定(QPE)回路のスケーラブルな形式検証手法を提案する。
提案手法では,量子化自由ビットベクトル論理に基づく記号量子ビットの抽象化を用い,重畳,回転,測定などの重要な量子現象を捉える。
提案手法はヒルベルト空間からビットベクトル領域への量子回路機能挙動をマッピングする。
我々は,QPE回路の機能的正当性を保証するために,この抽象化に整合した形式的特性を開発する。
この方法は、最大6個の精度の量子ビットと1,024個の位相量子ビットを持つQPE回路を3.5GB以下のメモリで検証し、効率よくスケールする。
関連論文リスト
- Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits [0.0]
本稿では,量子位相推定(QPE)回路のスケーラブルな形式検証手法を提案する。
提案手法では,量子化自由ビットベクトル論理に基づくシンボル量子ビットの抽象化を用いる。
我々は,QPE回路の機能的正当性を保証するために,この抽象化に整合した形式的特性を開発する。
論文 参考訳（メタデータ） (2026-03-09T01:59:07Z) - State Similarity in Modular Superconducting Quantum Processors with Classical Communications [41.94024259927014]
モジュールアーキテクチャに適したクロスプラットフォーム忠実度推定アルゴリズムを提案する。
我々は、最大6キュービットのモジュラー超伝導量子プロセッサ上で、このプロトコルを実験的に実装し、2つの11キュービットGHZ状態の類似性を検証した。
概念実証として、6つの3キュービットモジュールを用いた5キュービット量子位相学習タスクに適用し、たった8つのトレーニングサンプルで位相情報を抽出することに成功した。
論文 参考訳（メタデータ） (2025-06-02T13:27:38Z) - Mapping quantum circuits to shallow-depth measurement patterns based on
graph states [0.0]
我々は,測定に基づく量子コンピューティングのためのハイブリッドシミュレーション手法を開発した。
完全可換作用素の群は完全並列、すなわち非適応的測定を用いて実装可能であることを示す。
量子テレポーテーションを用いることで、そのような回路を一定の量子深さで実装する方法について議論する。
論文 参考訳（メタデータ） (2023-11-27T19:00:00Z) - Single-shot Quantum Signal Processing Interferometry [3.431120541553662]
本稿では、量子センシングのための一般的なアルゴリズムフレームワーク、量子信号処理干渉法(QSPI)を提案する。
我々は、QSPIセンシングフレームワークを使用して、単一ショット限界における変位チャネル上の効率的なバイナリ決定を行う。
論文 参考訳（メタデータ） (2023-11-22T21:44:14Z) - Quantum process tomography of continuous-variable gates using coherent
states [49.299443295581064]
ボソニックモード超伝導回路におけるコヒーレント状態量子プロセストモグラフィ(csQPT)の使用を実証する。
符号化量子ビット上の変位とSNAP演算を用いて構築した論理量子ゲートを特徴付けることにより,本手法の結果を示す。
論文 参考訳（メタデータ） (2023-03-02T18:08:08Z) - Rotational Abstractions for Verification of Quantum Fourier Transform
Circuits [0.0]
本稿では,量子フーリエ変換(QFT)回路を対象とした新しい形式検証手法を提案する。
QFTは、多くの量子コンピューティングアプリケーションの基礎となる基本的な量子アルゴリズムである。
提案手法は1万量子ビットと5000万量子ゲートを持つQFT回路の検証に拡張可能である。
論文 参考訳（メタデータ） (2023-01-02T16:13:39Z) - Quantum circuit debugging and sensitivity analysis via local inversions [62.997667081978825]
本稿では,回路に最も影響を及ぼす量子回路の断面をピンポイントする手法を提案する。
我々は,IBM量子マシン上に実装されたアルゴリズム回路の例に応用して,提案手法の実用性と有効性を示す。
論文 参考訳（メタデータ） (2022-04-12T19:39:31Z) - Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。
特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文 参考訳（メタデータ） (2021-12-27T21:15:35Z) - Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
証明者と検証者の間の「相互作用」は、検証可能性と実装のギャップを埋めることができる。
イオントラップ量子コンピュータを用いた対話型量子アドバンストプロトコルの最初の実装を実演する。
論文 参考訳（メタデータ） (2021-12-09T19:00:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。