論文の概要: QSolver: A Quantum Constraint Solver
- arxiv url: http://arxiv.org/abs/2602.20171v1
- Date: Tue, 10 Feb 2026 16:42:32 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-02 07:21:25.642169
- Title: QSolver: A Quantum Constraint Solver
- Title（参考訳）: QSolver: 量子制約の解決法
- Authors: Shangzhou Xia, Haitao Fu, Jianjun Zhao,
- Abstract要約: 第1の量子制約解法であるQrを提示する。
Qrは5種類の量子制約を扱うための構造化フレームワークを提供する。
量子状態を検証するための自動アサーション生成モジュールが組み込まれている。
- 参考スコア（独自算出の注目度）: 2.614447913018019
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: With the growing interest in quantum programs, ensuring their correctness is a fundamental challenge. Although constraint-solving techniques can overcome some limitations of traditional testing and verification, they have not yet been sufficiently explored in the context of quantum programs. To address this gap, we present QSolver, the first quantum constraint solver. QSolver provides a structured framework for handling five types of quantum constraints and incorporates an automated assertion generation module to verify quantum states. QSolver transforms quantum programs and multi-moment constraints into symbolic representations, and utilizes an SMT solver to obtain quantum states that satisfy these constraints. To validate the correctness of the generated input states, QSolver automatically generates assertion programs corresponding to each constraint. Experimental results show that QSolver efficiently processes commonly used quantum gates and demonstrates good scalability across quantum programs of different sizes.
- Abstract（参考訳）: 量子プログラムへの関心が高まっているため、それらの正確性を保証することが根本的な課題である。
制約解決技術は、従来のテストと検証のいくつかの制限を克服することができるが、量子プログラムの文脈ではまだ十分に研究されていない。
このギャップに対処するため、最初の量子制約解法であるQSolverを提案する。
QSolverは5種類の量子制約を扱うための構造化フレームワークを提供し、量子状態を検証するために自動アサーション生成モジュールを組み込んでいる。
QSolverは量子プログラムとマルチモーメント制約をシンボリック表現に変換し、SMTソルバを用いてこれらの制約を満たす量子状態を得る。
生成された入力状態の正しさを検証するため、QSolverは各制約に対応するアサーションプログラムを自動的に生成する。
実験の結果,QSolverは一般的に使用されている量子ゲートを効率的に処理し,異なるサイズの量子プログラム間で優れたスケーラビリティを示すことがわかった。
関連論文リスト
- Photonic variational quantum eigensolver for NISQ-compatible quantum technology [0.0]
変分量子固有解法(VQE)は、量子化学、多体物理学、さらには整数分解の問題を解くための主要な手法である。
VQEは、フォトニックシステム、量子ドット、閉じ込められたイオン、中性原子、超伝導回路など、様々な量子ハードウェアプラットフォームで実装できる。
論文 参考訳（メタデータ） (2025-12-22T02:00:18Z) - Digital quantum simulation of many-body systems: Making the most of intermediate-scale, noisy quantum computers [51.56484100374058]
この論文は量子デバイス上の量子力学をシミュレートすることを中心にしている。
本稿では,量子力学における最も関連性の高い量子アルゴリズムの概要を紹介する。
近い将来に量子シミュレーションの恩恵を受けることができる量子力学における関連する問題を同定する。
論文 参考訳（メタデータ） (2025-08-29T10:37:19Z) - Computable and noncomputable in the quantum domain: statements and conjectures [0.70224924046445]
本稿では,量子コンピュータによって解を加速できる問題のクラスを記述するためのアプローチを検討する。
初期量子状態を所望の状態に変換するユニタリ演算は、1ビットと2ビットのゲートの列に分解可能である必要がある。
論文 参考訳（メタデータ） (2024-03-25T15:47:35Z) - State-Averaged Orbital-Optimized VQE: A quantum algorithm for the
democratic description of ground and excited electronic states [0.0]
SA-OO-VQEパッケージは、典型的な変分量子固有解法に基づくハイブリッド量子古典的概念によって両方の問題を解決することを目的としている。
SA-OO-VQEは、同じ足場上で退化状態(または準退化状態)を処理できるので、回避された交差や円錐交差に関する既知の数値最適化問題を回避することができる。
論文 参考訳（メタデータ） (2024-01-22T12:16:37Z) - Quantum algorithms: A survey of applications and end-to-end complexities [88.57261102552016]
期待されている量子コンピュータの応用は、科学と産業にまたがる。
本稿では,量子アルゴリズムの応用分野について検討する。
私たちは、各領域における課題と機会を"エンドツーエンド"な方法で概説します。
論文 参考訳（メタデータ） (2023-10-04T17:53:55Z) - Quantum Computing for Solid Mechanics and Structural Engineering -- a
Demonstration with Variational Quantum Eigensolver [3.8061090528695534]
変分量子アルゴリズムは、コスト関数を効率的に最適化するために重ね合わせと絡み合いの特徴を利用する。
我々は,IBM Qiskit プラットフォーム上で 5-qubit および 7-qubit 量子プロセッサ上での数値処理を実装し,実演する。
論文 参考訳（メタデータ） (2023-08-28T17:52:47Z) - Delegated variational quantum algorithms based on quantum homomorphic
encryption [69.50567607858659]
変分量子アルゴリズム(VQA)は、量子デバイス上で量子アドバンテージを達成するための最も有望な候補の1つである。
クライアントのプライベートデータは、そのような量子クラウドモデルで量子サーバにリークされる可能性がある。
量子サーバが暗号化データを計算するための新しい量子ホモモルフィック暗号(QHE)スキームが構築されている。
論文 参考訳（メタデータ） (2023-01-25T07:00:13Z) - Optimal Stochastic Resource Allocation for Distributed Quantum Computing [50.809738453571015]
本稿では,分散量子コンピューティング(DQC)のためのリソース割り当て方式を提案する。
本評価は,提案手法の有効性と,量子コンピュータとオンデマンド量子コンピュータの両立性を示すものである。
論文 参考訳（メタデータ） (2022-09-16T02:37:32Z) - Adiabatic Quantum Graph Matching with Permutation Matrix Constraints [75.88678895180189]
3次元形状と画像のマッチング問題は、NPハードな置換行列制約を持つ二次代入問題(QAP)としてしばしば定式化される。
本稿では,量子ハードウェア上での効率的な実行に適した制約のない問題として,いくつかのQAPの再構成を提案する。
提案アルゴリズムは、将来の量子コンピューティングアーキテクチャにおいて、より高次元にスケールする可能性がある。
論文 参考訳（メタデータ） (2021-07-08T17:59:55Z) - On exploring the potential of quantum auto-encoder for learning quantum systems [60.909817434753315]
そこで我々は,古典的な3つのハードラーニング問題に対処するために,QAEに基づく効果的な3つの学習プロトコルを考案した。
私たちの研究は、ハード量子物理学と量子情報処理タスクを達成するための高度な量子学習アルゴリズムの開発に新たな光を当てています。
論文 参考訳（メタデータ） (2021-06-29T14:01:40Z) - Quantum walk processes in quantum devices [55.41644538483948]
グラフ上の量子ウォークを量子回路として表現する方法を研究する。
提案手法は,量子ウォークアルゴリズムを量子コンピュータ上で効率的に実装する方法である。
論文 参考訳（メタデータ） (2020-12-28T18:04:16Z) - Computation of molecular excited states on IBM quantum computers using a
discriminative variational quantum eigensolver [0.965964228590342]
分子励起状態を決定するための変分量子機械学習法を提案する。
分子ハミルトニアンの固有状態を反復的に見つけるために、タンデムで動く2つのパラメタライズド量子回路と変分量子固有解器(VQE)を組み合わせる。
論文 参考訳（メタデータ） (2020-01-14T17:56:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。