Fugu-MT 論文翻訳(概要): QReach: A Reachability Analysis Tool for Quantum Markov Chains

論文の概要: QReach: A Reachability Analysis Tool for Quantum Markov Chains

arxiv url: http://arxiv.org/abs/2512.04497v1
Date: Thu, 04 Dec 2025 06:03:53 GMT
ステータス: 翻訳完了
システム内更新日: 2025-12-05 21:11:46.022306
Title: QReach: A Reachability Analysis Tool for Quantum Markov Chains
Title（参考訳）: QReach: 量子マルコフチェインの到達可能性解析ツール
Authors: Aochu Dai, Mingsheng Ying,
Abstract要約: 決定図 CFLOBDD に基づく量子マルコフ連鎖の到達可能性解析ツール QReach について述べる。 QReachは、到達可能なサブスペースを見つけるための新しいフレームワークと、画像計算のような一連のモデルチェックサブプロデューサを提供する。
参考スコア（独自算出の注目度）: 4.521745462304204
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We present QReach, the first reachability analysis tool for quantum Markov chains based on decision diagrams CFLOBDD (presented at CAV 2023). QReach provides a novel framework for finding reachable subspaces, as well as a series of model-checking subprocedures like image computation. Experiments indicate its practicality in verification of quantum circuits and algorithms. QReach is expected to play a central role in future quantum model checkers.
Abstract（参考訳）: 本稿では,CFLOBDD(CAV 2023)に基づく量子マルコフ連鎖の到達可能性解析ツールQReachを紹介する。 QReachは、到達可能なサブスペースを見つけるための新しいフレームワークと、画像計算のような一連のモデルチェックサブプロデューサを提供する。実験は、量子回路とアルゴリズムの検証における実用性を示している。 QReachは将来の量子モデルチェッカーにおいて中心的な役割を果たすことが期待されている。

関連論文リスト

From VQE To SQD: Modern Quantum Algorithms For The Electronic Structure Problem [0.0]
本論文は,電子状態エネルギー推定のためのサンプリングベース量子アルゴリズムについて考察する。変分量子固有解法(VQE)の短期的な代替手段として、量子選択構成相互作用(QSCI)とサンプルベース量子対角化(SQD)に焦点を当てている。この分析は、IBMの127キュービットのIBM Brisbaneプロセッサ上でのシミュレーション、ハードウェアキャリブレーションによるノイズ研究、実行を通じて検証される。
論文参考訳（メタデータ） (2025-09-25T20:39:14Z)
VQC-MLPNet: An Unconventional Hybrid Quantum-Classical Architecture for Scalable and Robust Quantum Machine Learning [50.95799256262098]
変分量子回路(VQC)は量子機械学習を約束するが、表現性、訓練性、耐雑音性の課題に直面している。本稿では,VQCが学習中に古典多層パーセプトロンの第一層重みを生成するハイブリッドアーキテクチャであるVQC-MLPNetを提案する。
論文参考訳（メタデータ） (2025-06-12T01:38:15Z)
RhoDARTS: Differentiable Quantum Architecture Search with Density Matrix Simulations [44.13836547616739]
変分量子アルゴリズム(VQA)は、ノイズ中間スケール量子(NISQ)コンピュータを活用するための有望なアプローチである。与えられたVQA問題を効率的に解く最適な量子回路を選択することは、非自明な作業である。量子アーキテクチャ探索(QAS)アルゴリズムは、与えられた問題に合わせた量子回路の自動生成を可能にする。
論文参考訳（メタデータ） (2025-06-04T08:30:35Z)
New Quantum Algorithm for Principal Component Analysis [0.0]
量子主成分分析(QPCA)により、量子機械学習アルゴリズムへの新たな発展がもたらされた。量子アルゴリズムの最近の進歩に触発されて、主成分分析を行うための代替的な量子フレームワークを提供する。
論文参考訳（メタデータ） (2025-01-14T07:13:23Z)
A quantum information theoretic analysis of reinforcement learning-assisted quantum architecture search [0.0]
本研究では,変分量子状態対角化問題に適したアンサッツ製造のためのRL-QASについて検討した。我々はこれらの知見を活用して、最適な資源を用いてランダムな量子状態と対角化するために、QASの絡み合った許容アンサッツを考案する。
論文参考訳（メタデータ） (2024-04-09T09:54:59Z)
A didactic approach to quantum machine learning with a single qubit [68.8204255655161]
我々は、データ再ロード技術を用いて、単一のキュービットで学習するケースに焦点を当てる。我々は、Qiskit量子コンピューティングSDKを用いて、おもちゃと現実世界のデータセットに異なる定式化を実装した。
論文参考訳（メタデータ） (2022-11-23T18:25:32Z)
QSAN: A Near-term Achievable Quantum Self-Attention Network [73.15524926159702]
SAM(Self-Attention Mechanism)は機能の内部接続を捉えるのに長けている。短期量子デバイスにおける画像分類タスクに対して,新しい量子自己注意ネットワーク(QSAN)を提案する。
論文参考訳（メタデータ） (2022-07-14T12:22:51Z)
QTN-VQC: An End-to-End Learning framework for Quantum Neural Networks [71.14713348443465]
可変量子回路(VQC)上に量子埋め込みを行うためのトレーニング可能な量子テンソルネットワーク(QTN)を導入する。 QTNは、量子埋め込みの生成から出力測定まで、エンドツーエンドのパラメトリックモデルパイプライン、すなわちQTN-VQCを可能にする。 MNISTデータセットに対する我々の実験は、他の量子埋め込み手法に対する量子埋め込みに対するQTNの利点を実証している。
論文参考訳（メタデータ） (2021-10-06T14:44:51Z)
Model Checking for Verification of Quantum Circuits [1.1878820609988696]
本稿では,量子回路のアサーションに基づく検証のためのフレームワークについて述べる。量子アサーションはバーホフ=ヴォン・ノイマン量子論理の時間拡張によって定義される。テンソルネットワークの縮約に基づいて,量子回路の到達可能性解析とモデル検査を行うアルゴリズムを開発した。
論文参考訳（メタデータ） (2021-04-23T00:43:37Z)
Tensor Network Quantum Virtual Machine for Simulating Quantum Circuits at Exascale [57.84751206630535]
本稿では,E-scale ACCelerator(XACC)フレームワークにおける量子回路シミュレーションバックエンドとして機能する量子仮想マシン(TNQVM)の近代化版を提案する。新バージョンは汎用的でスケーラブルなネットワーク処理ライブラリであるExaTNをベースにしており、複数の量子回路シミュレータを提供している。ポータブルなXACC量子プロセッサとスケーラブルなExaTNバックエンドを組み合わせることで、ラップトップから将来のエクサスケールプラットフォームにスケール可能なエンドツーエンドの仮想開発環境を導入します。
論文参考訳（メタデータ） (2021-04-21T13:26:42Z)

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