論文の概要: VeriQBench: A Benchmark for Multiple Types of Quantum Circuits

• arxiv url: http://arxiv.org/abs/2206.10880v1
• Date: Wed, 22 Jun 2022 07:03:20 GMT
• ステータス: 処理完了
• システム内更新日: 2023-02-08 09:54:31.849205
• Title: VeriQBench: A Benchmark for Multiple Types of Quantum Circuits
• Title（参考訳）: VeriQBench: 複数種類の量子回路のベンチマーク
• Authors: Kean Chen, Wang Fang, Ji Guan, Xin Hong, Mingyu Huang, Junyi Liu, Qisheng Wang and Mingsheng Ying
• Abstract要約: 量子回路のオープンソースベンチマークであるVeriQBenchを紹介する。 様々な回路タイプの高レベル量子回路抽象化を提供する。 VeriQBenchは、異なるアプリケーションに対する量子ソフトウェア検証に使用できる多用途ベンチマークである。
• 参考スコア（独自算出の注目度）: 8.089552684513448
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In this paper, we introduce VeriQBench -- an open source benchmark for quantum circuits. It offers high-level quantum circuit abstractions of various circuit types, including 1) combinational, 2) dynamic, 3) sequential, and 4) variational quantum circuits, which cover almost all existing types of quantum circuits in the literature. Meanwhile, VeriQBench is a versatile benchmark which can be used in verifying quantum software for different applications, as is evidenced by the existing works including quantum circuit verification (e.g., equivalence checking [Hon+21a; WLY21] and model checking [Yin21]), simulation (e.g., fault simulation), testing (e.g., test pattern generation [CY22]) and debugging (e.g., runtime assertions [Li+20b]). All the circuits are described in OpenQASM and are validated on Qiskit and QCOR simulators. With the hope that it can be used by other researchers, VeriQBench is released at: https://github.com/Veri-Q/Benchmark.
• Abstract（参考訳）: 本稿では,量子回路のオープンソースベンチマークであるVeriQBenchを紹介する。 様々な回路タイプの高レベル量子回路抽象化を提供する。 1) 組み合わせ, 組み合わせ 2) 動的, 動的 3)シーケンシャル、および 4) 変分量子回路は、文献上の既存の量子回路のほとんど全ての種類をカバーする。 一方、VeriQBenchは、量子回路検証(例えば、等価性チェック [Hon+21a; WLY21] とモデルチェック [Yin21])、シミュレーション(例えば、故障シミュレーション)、テスト(例えば、テストパターン生成(CY22))、デバッグ(例えば、実行時アサーション [Li+20b]))などの既存の研究によって証明されているように、異なるアプリケーションに対する量子ソフトウェアを検証するのに使用できる汎用ベンチマークである。 すべての回路はOpenQASMで記述され、QiskitとQCORシミュレータで検証される。 他の研究者が利用できることを期待して、VeriQBenchはhttps://github.com/Veri-Q/Benchmark.comでリリースされた。

関連論文リスト

• QuantumSEA: In-Time Sparse Exploration for Noise Adaptive Quantum Circuits [82.50620782471485]
  QuantumSEAはノイズ適応型量子回路のインタイムスパース探索である。 1)トレーニング中の暗黙の回路容量と(2)雑音の頑健さの2つの主要な目標を達成することを目的としている。 提案手法は, 量子ゲート数の半減と回路実行の2倍の時間節約で, 最先端の計算結果を確立する。
  論文  参考訳（メタデータ） (2024-01-10T22:33:00Z)
• Majorization-based benchmark of the complexity of quantum processors [105.54048699217668]
  我々は、様々な量子プロセッサの動作を数値的にシミュレートし、特徴付ける。 我々は,各デバイスの性能をベンチマークラインと比較することにより,量子複雑性を同定し,評価する。 我々は、回路の出力状態が平均して高い純度である限り、偏化ベースのベンチマークが成り立つことを発見した。
  論文  参考訳（メタデータ） (2023-04-10T23:01:10Z)
• Variational Quantum Eigensolver for Classification in Credit Sales Risk [0.5524804393257919]
  本稿では,変分量子固有解器(VQE)といわゆるSWAP-Testに基づく量子回路について考察する。 活用されたデータセットでは、2つのクラスが観察できる。 この解はコンパクトであり、対数的に増加するキュービット数だけを必要とする。
  論文  参考訳（メタデータ） (2023-03-05T23:08:39Z)
• TeD-Q: a tensor network enhanced distributed hybrid quantum machine learning framework [59.07246314484875]
  TeD-Qは、量子機械学習のためのオープンソースのソフトウェアフレームワークである。 古典的な機械学習ライブラリと量子シミュレータをシームレスに統合する。 量子回路とトレーニングの進捗をリアルタイムで視覚化できるグラフィカルモードを提供する。
  論文  参考訳（メタデータ） (2023-01-13T09:35:05Z)
• Quantum Symbolic Execution [0.0]
  量子記号実行(QSE)は、テストケースを生成するために提案され、量子プログラムのバグを見つけるのに役立つ。 QSEは量子プログラムのデバッグを可能にするだけでなく、古典的シンボリック実行における制約の解決という難しい問題を回避している。
  論文  参考訳（メタデータ） (2022-09-18T15:14:17Z)
• Quantum Netlist Compiler (QNC) [0.0]
  本稿では、任意のユニタリ演算子や量子アルゴリズムの初期状態をOpenQASM-2.0回路に変換する量子ネットリストコンパイラ(QNC)を紹介する。 その結果、QNCは量子回路最適化に適しており、実際に競合する成功率の回路を生産していることがわかった。
  論文  参考訳（メタデータ） (2022-09-02T05:00:38Z)
• Multi-state Swap Test Algorithm [2.709321785404766]
  2つの状態間の重なりを推定することは、量子情報におけるいくつかの応用において重要な課題である。 複数の量子状態の重なりを計測する量子回路を設計する。
  論文  参考訳（メタデータ） (2022-05-15T03:31:57Z)
• Depth-efficient proofs of quantumness [77.34726150561087]
  量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。 本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
  論文  参考訳（メタデータ） (2021-07-05T17:45:41Z)
• Fast quantum circuit simulation using hardware accelerated general purpose libraries [69.43216268165402]
  CuPyは、GPUベースの量子回路向けに開発された汎用ライブラリ(線形代数)である。 上位回路の場合、スピードアップは約2倍、量子乗算器の場合、最先端のC++ベースのシミュレータと比べて約22倍である。
  論文  参考訳（メタデータ） (2021-06-26T10:41:43Z)
• 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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。