論文の概要: Quantum Symbolic Execution

• arxiv url: http://arxiv.org/abs/2209.08582v1
• Date: Sun, 18 Sep 2022 15:14:17 GMT
• ステータス: 処理完了
• システム内更新日: 2023-01-26 04:41:02.779089
• Title: Quantum Symbolic Execution
• Title（参考訳）: 量子シンボリック実行
• Authors: Jiang Nan, Wang Zichen, Wang Jian
• Abstract要約: 量子記号実行(QSE)は、テストケースを生成するために提案され、量子プログラムのバグを見つけるのに役立つ。 QSEは量子プログラムのデバッグを可能にするだけでなく、古典的シンボリック実行における制約の解決という難しい問題を回避している。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: With advances in quantum computing, researchers can now write and run many quantum programs. However, there is still a lack of effective methods for debugging quantum programs. In this paper, quantum symbolic execution (QSE) is proposed to generate test cases, which helps to finding bugs in quantum programs. The main idea of quantum symbolic execution is to find the suitable test cases from all possible ones (i.e. test case space). It is different from the way of classical symbol execution, which gets test cases by calculating instead of searching. QSE utilizes quantum superposition and parallelism to store the test case space with only a few qubits. According to the conditional statements in the debugged program, the test case space is continuously divided into subsets, subsubsets and so on. Elements in the same subset are suitable test cases that can test the corresponding branch in the code to be tested. QSE not only provides a possible way to debug quantum programs, but also avoids the difficult problem of solving constraints in classical symbolic execution.
• Abstract（参考訳）: 量子コンピューティングの進歩により、研究者は多くの量子プログラムを書けるようになった。 しかし、量子プログラムをデバッグするための効果的な方法がまだ欠けている。 本稿では,量子プログラムにおけるバグ発見に役立つテストケースを生成するために,qse(quantum symbolic execution)を提案する。 量子記号実行の主な考え方は、可能なすべてのもの(すなわちテストケース空間)から適切なテストケースを見つけることである。 これは、検索の代わりに計算することでテストケースを取得する古典的なシンボル実行方法とは異なる。 QSEは量子重ね合わせと並列性を利用して数量子ビットでテストケース空間を保存する。 デバッグされたプログラムの条件文によると、テストケーススペースは、サブセットやサブサブセットなどに分割されている。 同じサブセットの要素は、テスト対象のコードの対応するブランチをテストするのに適したテストケースである。 QSEは量子プログラムのデバッグを可能にするだけでなく、古典的シンボリック実行における制約の解決という難しい問題を回避している。

関連論文リスト

• Exploring quantum weight enumerators from the $n$-qubit parallelized SWAP test [19.183393329155567]
  量子量列挙器と$n$-qubit並列化SWAPテストの接続を構築する。 それぞれのシャドウ列挙子は$n$-qubit並列化SWAPテストの確率と正確に一致することがわかった。 アプリケーションでは、$n$-qubit並列化SWAPテストを用いて量子誤り訂正符号の距離を判定する。
  論文  参考訳（メタデータ） (2024-06-26T12:06:40Z)
• Variational Quantum Eigensolver for Classification in Credit Sales Risk [0.5524804393257919]
  本稿では,変分量子固有解器(VQE)といわゆるSWAP-Testに基づく量子回路について考察する。 活用されたデータセットでは、2つのクラスが観察できる。 この解はコンパクトであり、対数的に増加するキュービット数だけを必要とする。
  論文  参考訳（メタデータ） (2023-03-05T23:08:39Z)
• Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
  量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。 我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。 すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
  論文  参考訳（メタデータ） (2023-03-02T14:18:17Z)
• Experimental Implementation of an Efficient Test of Quantumness [49.588006756321704]
  量子性の試験は、古典的なユーザーが古典的でない振る舞いを示すかどうかを決定するために量子デバイスに課題を発行するプロトコルである。 最近の量子コンピュータにおけるこのようなテストの実装の試みは、効率的な検証を伴うインタラクティブな課題か、非効率的な(指数時間)検証を伴う非インタラクティブな課題に依存している。
  論文  参考訳（メタデータ） (2022-09-28T18:00:04Z)
• Iterative Qubits Management for Quantum Index Searching in a Hybrid System [56.39703478198019]
  IQuCSは、量子古典ハイブリッドシステムにおけるインデックス検索とカウントを目的としている。 我々はQiskitでIQuCSを実装し、集中的な実験を行う。 その結果、量子ビットの消費を最大66.2%削減できることが示されている。
  論文  参考訳（メタデータ） (2022-09-22T21:54:28Z)
• Swap Test-based Characterization of Quantum Processes in Universal Quantum Computers [0.0]
  普遍量子コンピュータにおける信頼性の低い量子プロセスは、克服すべき最大の課題の1つである。 本稿では、Swap Testと呼ばれるツールが量子システムに対するデコヒーレンスを識別できるかどうかを検証する。
  論文  参考訳（メタデータ） (2022-08-04T21:31:49Z)
• VeriQBench: A Benchmark for Multiple Types of Quantum Circuits [8.089552684513448]
  量子回路のオープンソースベンチマークであるVeriQBenchを紹介する。 様々な回路タイプの高レベル量子回路抽象化を提供する。 VeriQBenchは、異なるアプリケーションに対する量子ソフトウェア検証に使用できる多用途ベンチマークである。
  論文  参考訳（メタデータ） (2022-06-22T07:03:20Z)
• Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
  Bernstein-Vaziraniアルゴリズムは、オラクルに符号化されたビット文字列を決定できる。 我々はベルンシュタイン・ヴァジラニアルゴリズムの量子資源を詳細に分析する。 絡み合いがない場合、初期状態における量子コヒーレンス量とアルゴリズムの性能が直接関係していることが示される。
  論文  参考訳（メタデータ） (2022-05-26T20:32:36Z)
• Depth-efficient proofs of quantumness [77.34726150561087]
  量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。 本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
  論文  参考訳（メタデータ） (2021-07-05T17:45:41Z)
• Test of Quantumness with Small-Depth Quantum Circuits [1.90365714903665]
  近年,LWE(Learning with error)の仮定に基づいて量子性テストを構築する方法が示されている。 このテストはいくつかの暗号アプリケーションにつながった。 本稿では,この量子性試験,および上述のすべての応用が,量子回路の非常に弱いクラスによって実際に実装可能であることを示す。
  論文  参考訳（メタデータ） (2021-05-12T08:16:20Z)
• Quantum Gram-Schmidt Processes and Their Application to Efficient State Read-out for Quantum Algorithms [87.04438831673063]
  本稿では、生成した状態の古典的ベクトル形式を生成する効率的な読み出しプロトコルを提案する。 我々のプロトコルは、出力状態が入力行列の行空間にある場合に適合する。 我々の技術ツールの1つは、Gram-Schmidt正則手順を実行するための効率的な量子アルゴリズムである。
  論文  参考訳（メタデータ） (2020-04-14T11:05:26Z)

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

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