論文の概要: Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
- arxiv url: http://arxiv.org/abs/2603.08762v2
- Date: Wed, 11 Mar 2026 10:01:59 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-12 14:12:44.245062
- Title: Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
- Title（参考訳）: 1000ビット以上の量子位相推定回路の形式検証
- Authors: Arun Govindankutty, Sudarshan K. Srinivasan,
- 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.5〜GB以下のメモリで検証する。
関連論文リスト
- 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) - Reductive Quantum Phase Estimation [0.0]
量子ビット数が少ない任意の位相の集合と、ユニタリな応用を区別する回路を示す。
測定精度と位相差のトレードオフを示し、回路を特定の用途に最適に調整できるようにする。
論文 参考訳（メタデータ） (2024-02-06T23:38:36Z) - Efficient estimation of trainability for variational quantum circuits [43.028111013960206]
変動量子回路のコスト関数とその分散を効率よく計算する方法を見出した。
この方法は、変分量子回路のトレーニング容易性を証明し、バレンプラトー問題を克服できる設計戦略を探索するために用いられる。
論文 参考訳（メタデータ） (2023-02-09T14:05:18Z) - 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) - QUANTIFY: A framework for resource analysis and design verification of
quantum circuits [69.43216268165402]
QUINTIFYは、量子回路の定量的解析のためのオープンソースのフレームワークである。
Google Cirqをベースにしており、Clifford+T回路を念頭に開発されている。
ベンチマークのため、QUINTIFYは量子メモリと量子演算回路を含む。
論文 参考訳（メタデータ） (2020-07-21T15:36:25Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。