論文の概要: Automatic Test Pattern Generation for Robust Quantum Circuit Testing
- arxiv url: http://arxiv.org/abs/2202.10697v2
- Date: Sun, 20 Nov 2022 21:27:57 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-24 06:09:14.061975
- Title: Automatic Test Pattern Generation for Robust Quantum Circuit Testing
- Title(参考訳): ロバスト量子回路テストのための自動テストパターン生成
- Authors: Kean Chen and Mingsheng Ying
- Abstract要約: 量子テストパターンを表現するための安定化プロジェクタ分解(SPD)を導入し、クリフォード専用回路を用いてテストアプリケーションを構築する。
我々はSPD生成アルゴリズムと、SPDの生成における局所性と空間性の両方を活用するいくつかの加速技術を開発した。
例えば、10キュービットQFT回路のアルゴリズムによってテストパターンが自動生成され、テストアプリケーションを91%以上の精度でシミュレーションすることで故障を検出する。
- 参考スコア(独自算出の注目度): 7.8960072528423035
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quantum circuit testing is essential for detecting potential faults in
realistic quantum devices, while the testing process itself also suffers from
the inexactness and unreliability of quantum operations. This paper alleviates
the issue by proposing a novel framework of automatic test pattern generation
(ATPG) for the robust quantum circuit testing. We introduce the stabilizer
projector decomposition (SPD) for representing the quantum test pattern, and
construct the test application using Clifford-only circuits, which are rather
robust and efficient as evidenced in the fault-tolerant quantum computation.
However, it is generally hard to generate SPDs due to the exponentially growing
number of the stabilizer projectors. To circumvent this difficulty, we develop
an SPD generation algorithm, as well as several acceleration techniques which
can exploit both locality and sparsity in generating SPDs. The effectiveness of
our algorithms are validated by 1) theoretical guarantees under reasonable
conditions, 2) experimental results on commonly used benchmark circuits, such
as Quantum Fourier Transform (QFT), Quantum Volume (QV) and Bernstein-Vazirani
(BV) in IBM Qiskit. For example, test patterns are automatically generated by
our algorithm for a 10-qubit QFT circuit, and then a fault is detected by
simulating the test application with detection accuracy higher than 91%.
- Abstract(参考訳): 量子回路テストは、現実的な量子デバイスにおける潜在的な欠陥を検出するのに不可欠であるが、テストプロセス自体もまた、量子演算の非実用性と信頼性に苦しむ。
本稿では、ロバスト量子回路テストのための新しいテストパターン生成フレームワーク(ATPG)を提案することにより、この問題を軽減する。
本稿では,量子テストパターンを表現するためのスタビライザプロジェクタ分解(spd)を導入し,フォールトトレラント量子計算で証明されたように,cliffordのみの回路を用いてテストアプリケーションを構築する。
しかし, 安定プロジェクタ数が指数関数的に増加するため, spdの生成は一般的に困難である。
この難しさを回避するため,SPD生成アルゴリズムと,SPD生成における局所性と疎性の両方を活用できる加速度技術を開発した。
アルゴリズムの有効性を検証した。
1) 合理的条件下での理論的保証
2) ibm qiskitにおける量子フーリエ変換(qft)、量子体積(qv)、ベルンシュタイン・ヴァジラン(bv)などのベンチマーク回路における実験結果。
例えば、10キュービットQFT回路のアルゴリズムによってテストパターンが自動生成され、テストアプリケーションを91%以上の精度でシミュレーションすることで故障を検出する。
関連論文リスト
- Quantum Subroutine for Variance Estimation: Algorithmic Design and Applications [80.04533958880862]
量子コンピューティングは、アルゴリズムを設計する新しい方法の基礎となる。
どの場の量子スピードアップが達成できるかという新たな課題が生じる。
量子サブルーチンの設計は、従来のサブルーチンよりも効率的で、新しい強力な量子アルゴリズムに固い柱を向ける。
論文 参考訳(メタデータ) (2024-02-26T09:32:07Z) - QuantumSEA: In-Time Sparse Exploration for Noise Adaptive Quantum
Circuits [82.50620782471485]
QuantumSEAはノイズ適応型量子回路のインタイムスパース探索である。
1)トレーニング中の暗黙の回路容量と(2)雑音の頑健さの2つの主要な目標を達成することを目的としている。
提案手法は, 量子ゲート数の半減と回路実行の2倍の時間節約で, 最先端の計算結果を確立する。
論文 参考訳(メタデータ) (2024-01-10T22:33:00Z) - Long-lived Particles Anomaly Detection with Parametrized Quantum
Circuits [0.0]
パラメタライズド量子回路に基づく異常検出アルゴリズムを提案する。
このアルゴリズムは古典的なコンピュータで訓練され、シミュレーションや実際の量子ハードウェアでテストされている。
論文 参考訳(メタデータ) (2023-12-07T11:50:42Z) - GASP -- A Genetic Algorithm for State Preparation [0.0]
本稿では、量子コンピュータを特定の量子状態に初期化するための、比較的低深さの量子回路を生成する状態準備(GASP)のための遺伝的アルゴリズムを提案する。
GASPは、他の方法よりも低い深さとゲート数で、所定の精度でより効率的な回路を生成することができる。
論文 参考訳(メタデータ) (2023-02-22T04:41:01Z) - Testing quantum computers with the protocol of quantum state matching [0.0]
量子コンピュータにおけるノイズの存在は、その効果的な操作を妨げる。
我々は、いわゆる量子状態マッチングプロトコルを試験目的に適用することを提案する。
体系的に異なる入力に対して、より小さな量子ボリュームを持つデバイスは、より大きい量子ボリュームを持つデバイスよりも、我々のテストでより優れた性能を発揮する。
論文 参考訳(メタデータ) (2022-10-18T08:25:34Z) - Experimental Implementation of an Efficient Test of Quantumness [49.588006756321704]
量子性の試験は、古典的なユーザーが古典的でない振る舞いを示すかどうかを決定するために量子デバイスに課題を発行するプロトコルである。
最近の量子コンピュータにおけるこのようなテストの実装の試みは、効率的な検証を伴うインタラクティブな課題か、非効率的な(指数時間)検証を伴う非インタラクティブな課題に依存している。
論文 参考訳(メタデータ) (2022-09-28T18:00:04Z) - Quantum circuit debugging and sensitivity analysis via local inversions [62.997667081978825]
本稿では,回路に最も影響を及ぼす量子回路の断面をピンポイントする手法を提案する。
我々は,IBM量子マシン上に実装されたアルゴリズム回路の例に応用して,提案手法の実用性と有効性を示す。
論文 参考訳(メタデータ) (2022-04-12T19:39:31Z) - Quantum Neuron with Separable-State Encoding [0.0]
現在利用可能な量子プロセッサにおいて、高度な量子ニューロンモデルを大規模にテストすることは、まだ不可能である。
マルチキュービットゲート数を削減した量子パーセプトロン(QP)モデルを提案する。
シミュレーション量子コンピュータにおいて,QPの量子ビットバージョンをいくつか実装することにより,提案モデルの性能を実証する。
論文 参考訳(メタデータ) (2022-02-16T19:26:23Z) - Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。
特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文 参考訳(メタデータ) (2021-12-27T21:15:35Z) - Test of Quantumness with Small-Depth Quantum Circuits [1.90365714903665]
近年,LWE(Learning with error)の仮定に基づいて量子性テストを構築する方法が示されている。
このテストはいくつかの暗号アプリケーションにつながった。
本稿では,この量子性試験,および上述のすべての応用が,量子回路の非常に弱いクラスによって実際に実装可能であることを示す。
論文 参考訳(メタデータ) (2021-05-12T08:16:20Z) - Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
本稿では、QAS(Quantum Architecture Search)と呼ばれるリソースと実行時の効率的なスキームを提案する。
QASは、よりノイズの多い量子ゲートを追加することで得られる利点と副作用のバランスをとるために、自動的にほぼ最適アンサッツを求める。
数値シミュレータと実量子ハードウェアの両方に、IBMクラウドを介してQASを実装し、データ分類と量子化学タスクを実現する。
論文 参考訳(メタデータ) (2020-10-20T12:06:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。