論文の概要: Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
- arxiv url: http://arxiv.org/abs/2511.22523v1
- Date: Thu, 27 Nov 2025 15:03:46 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-12-01 19:47:55.618194
- Title: Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
- Title（参考訳）: 量子回路等価性チェック:ユニタリからハイブリッド回路へのトラクタブルブリッジ
- Authors: Jérome Ricciardi, Sébastien Bardin, Christophe Chareton, Benoît Valiron,
- Abstract要約: 遅延測定(deferred measurement)と呼ばれる変換を用いた一元回路の昇降検証を提案する。
分離・投射と呼ぶ特定のユニタリレベル技術が加わったことにより、ハイブリッド回路等価性問題のより大規模なクラスを処理できることが示される。
- 参考スコア（独自算出の注目度）: 2.689067085628911
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Equivalence checking of hybrid quantum circuits is of primary importance, given that quantum circuit transformations are omnipresent along the quantum compiler chain. While some approaches exist for automating this task, most focus on the simple case of unitary circuits. At the same time, real quantum computing requires hybrid circuits equipped with measurement operators. Moreover, the few approaches targeting the hybrid case are limited to a restricted class of problems. We propose tackling the Quantum Hybrid Circuit Equivalence Checking problem through lifting unitary circuit verification using a transformation known as deferred measurement. We show that this approach alone significantly outperforms prior work, and that, with the addition of specific unitary-level techniques we call separation and projection, it can handle much larger classes of hybrid circuit equivalence problems. We have implemented and evaluated our method over standard circuit transformations such as teleportation, one-way measurement, or the IBM Qiskit compiler, demonstrating its promises. As a side finding, we have identified and reported several unexpected behaviours with the Qiskit compiler.
- Abstract（参考訳）: ハイブリッド量子回路の等価性チェックは、量子回路変換が量子コンパイラチェーンに沿って一様であることを考えると、特に重要である。
このタスクの自動化にはいくつかのアプローチが存在するが、ほとんどの場合、単体回路の単純な場合に焦点を当てている。
同時に、実量子コンピューティングは測定演算子を備えたハイブリッド回路を必要とする。
さらに、ハイブリッドケースを対象とするいくつかのアプローチは、制限された問題のクラスに限定されている。
我々は、遅延測定と呼ばれる変換を用いた単元回路検証をリフトすることで、量子ハイブリッド回路等価性チェック問題に取り組むことを提案する。
分離・投射と呼ぶ特定のユニタリレベル技術が加わったことにより、ハイブリッド回路同値問題のより大規模なクラスを処理できることが示される。
我々は,テレポーテーション,片道計測,IBM Qiskit コンパイラなどの標準回路変換よりも提案手法の実装と評価を行い,その可能性を実証した。
副次的な発見として、我々はQiskitコンパイラでいくつかの予期せぬ動作を特定し、報告した。
関連論文リスト
- Quantum Error Mitigation via Linear-Depth Verifier Circuits [0.044998333629984864]
低次元行列積演算子(MPO)によって正確に表現される量子回路の検証回路を構築する方法を提案する。
回路を2次元の量子ビット配列にトランスパイルすることにより、検証回路が回路自体よりも浅いクロスオーバー点を推定し、量子エラー軽減(QEM)に有用である。
提案手法は、コヒーレントノイズに対処するために量子サブ回路の校正に有用であるが、現在のデバイスに存在する非コヒーレントノイズを補正することができない。
論文 参考訳（メタデータ） (2024-11-05T16:44:18Z) - Equivalence checking of quantum circuits via intermediary matrix product operator [4.306566710489809]
等価チェックは、量子回路のコンパイルと最適化中に発生するエラーを特定する上で重要な役割を果たす。
本稿では,量子回路の等価性を決定するために,行列積演算子(MPO)に基づく新しい手法を提案する。
論文 参考訳（メタデータ） (2024-10-14T18:00:00Z) - QuantumSEA: In-Time Sparse Exploration for Noise Adaptive Quantum
Circuits [82.50620782471485]
QuantumSEAはノイズ適応型量子回路のインタイムスパース探索である。
1)トレーニング中の暗黙の回路容量と(2)雑音の頑健さの2つの主要な目標を達成することを目的としている。
提案手法は, 量子ゲート数の半減と回路実行の2倍の時間節約で, 最先端の計算結果を確立する。
論文 参考訳（メタデータ） (2024-01-10T22:33:00Z) - Efficient estimation of trainability for variational quantum circuits [43.028111013960206]
変動量子回路のコスト関数とその分散を効率よく計算する方法を見出した。
この方法は、変分量子回路のトレーニング容易性を証明し、バレンプラトー問題を克服できる設計戦略を探索するために用いられる。
論文 参考訳（メタデータ） (2023-02-09T14:05:18Z) - Equivalence Checking of Parameterized Quantum Circuits: Verifying the
Compilation of Variational Quantum Algorithms [3.610459670994051]
変分量子アルゴリズムは量子古典ハイブリッドアルゴリズムの有望なクラスとして導入された。
パラメータ化量子回路が正しくコンパイルされていることを検証することが不可欠である。
回路をパラメータで扱える手法はまだ提案されていない。
論文 参考訳（メタデータ） (2022-10-21T18:00:04Z) - Quantum circuit debugging and sensitivity analysis via local inversions [62.997667081978825]
本稿では,回路に最も影響を及ぼす量子回路の断面をピンポイントする手法を提案する。
我々は,IBM量子マシン上に実装されたアルゴリズム回路の例に応用して,提案手法の実用性と有効性を示す。
論文 参考訳（メタデータ） (2022-04-12T19:39:31Z) - Synthesis of Quantum Circuits with an Island Genetic Algorithm [44.99833362998488]
特定の演算を行うユニタリ行列が与えられた場合、等価な量子回路を得るのは非自明な作業である。
量子ウォーカーのコイン、トフォリゲート、フレドキンゲートの3つの問題が研究されている。
提案したアルゴリズムは量子回路の分解に効率的であることが証明され、汎用的なアプローチとして、利用可能な計算力によってのみ制限される。
論文 参考訳（メタデータ） (2021-06-06T13:15:25Z) - Handling Non-Unitaries in Quantum Circuit Equivalence Checking [4.265279817927261]
量子コンピュータは、古典計算と量子計算の相互作用がリアルタイムで起こりうるレベルに達している。
これは、新しいより広範な量子回路、すなわち動的量子回路の出現を意味している。
シミュレーション、コンパイル、検証といった設計タスクに新たな課題をもたらす、幅広い利用可能なコンピューティングプリミティブを提供する。
論文 参考訳（メタデータ） (2021-06-02T12:04:56Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。