Fugu-MT 論文翻訳(概要): Model Checking Quantum Continuous-Time Markov Chains

論文の概要: Model Checking Quantum Continuous-Time Markov Chains

arxiv url: http://arxiv.org/abs/2105.00382v1
Date: Sun, 2 May 2021 02:46:19 GMT
ステータス: 処理完了
システム内更新日: 2023-04-01 19:52:49.267680
Title: Model Checking Quantum Continuous-Time Markov Chains
Title（参考訳）: モデルチェック量子連続時間マルコフ連鎖
Authors: Ming Xu, Jingyi Mei, Ji Guan and Nengkun Yu
Abstract要約: 我々は量子連続時間マルコフ連鎖(QCTMC)のモデルチェックを初期化した。リアルタイムシステムとして、信号時間論理(STL)によりQCTMC上の時間特性を規定する。
参考スコア（独自算出の注目度）: 11.182363315152399
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Verifying quantum systems has attracted a lot of interests in the last decades. In this paper, we initialised the model checking of quantum continuous-time Markov chain (QCTMC). As a real-time system, we specify the temporal properties on QCTMC by signal temporal logic (STL). To effectively check the atomic propositions in STL, we develop a state-of-art real root isolation algorithm under Schanuel's conjecture; further, we check the general STL formula by interval operations with a bottom-up fashion, whose query complexity turns out to be linear in the size of the input formula by calling the real root isolation algorithm. A running example of an open quantum walk is provided to demonstrate our method.
Abstract（参考訳）: 量子システムの検証は、ここ数十年で多くの関心を集めている。本稿では,量子連続時間マルコフ連鎖(QCTMC)のモデルチェックを初期化した。リアルタイムシステムとして、信号時間論理(STL)によりQCTMC上の時間特性を規定する。 STLの原子命題を効果的に検証するために、Schanuelの予想に基づいて最先端の実根分離アルゴリズムを開発し、さらに、問合せの複雑さが入力式の大きさで線形であることが判明したボトムアップ方式で間隔演算により一般STL式をチェックする。本手法を実証するために,オープン量子ウォークの動作例を示す。

関連論文リスト

Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [63.733312560668274]
d可変RZゲートとG-dクリフォードゲートを含む量子回路を与えられた場合、学習者は純粋に古典的な推論を行い、その線形特性を効率的に予測できるだろうか? 我々は、d で線形にスケーリングするサンプルの複雑さが、小さな予測誤差を達成するのに十分であり、対応する計算の複雑さは d で指数関数的にスケールすることを証明する。我々は,予測誤差と計算複雑性をトレードオフできるカーネルベースの学習モデルを考案し,多くの実践的な環境で指数関数からスケーリングへ移行した。
論文参考訳（メタデータ） (2024-08-22T08:21:28Z)
Measurement-based Verification of Quantum Markov Chains [5.2309491455961465]
本稿では,測定に基づく線形時間時間時間論理MLTLを提案する。我々は、量子と古典の両方のランダムウォークの線形時間特性を同時に検証するためにこれを利用する。
論文参考訳（メタデータ） (2024-05-09T15:00:39Z)
Parallel-in-time quantum simulation via Page and Wootters quantum time [0.0]
本稿では,Page および Wooters 形式に着想を得た並列時間シミュレーションのための量子アルゴリズムを提案する。提案アルゴリズムは,多体システムの時間特性をN$の異なる時間で計算できることを示す。システムキュービットとクロックキュービットの間に生じる絡み合いが運用上の意味があることを厳密に証明する。
論文参考訳（メタデータ） (2023-08-24T17:32:41Z)
Robust Extraction of Thermal Observables from State Sampling and Real-Time Dynamics on Quantum Computers [49.1574468325115]
我々は、状態の密度、特にその非負性性に制約を課す手法を導入し、この方法で、ノイズのある時系列からボルツマン重みを確実に抽出できることを示す。本研究により,今日の量子コンピュータにおける時系列アルゴリズムの実装により,多体量子系の有限温度特性の研究が可能となった。
論文参考訳（メタデータ） (2023-05-30T18:00:05Z)
Real-Time Krylov Theory for Quantum Computing Algorithms [0.0]
リアルタイム進化によって生成された部分空間を用いた新しいアプローチは、固有状態情報抽出の効率性を示している。本稿では,量子ハードウェア上で固有値を抽出する,コンパクトかつ効率的なリアルタイムアルゴリズムである変分量子位相推定法(VQPE)を開発した。強相関系に対する電子構造予測などの量子計算の基本問題への応用について論じる。
論文参考訳（メタデータ） (2022-08-01T18:00:48Z)
Adiabatic Quantum Computing for Multi Object Tracking [170.8716555363907]
マルチオブジェクト追跡(MOT)は、オブジェクト検出が時間を通して関連付けられているトラッキング・バイ・検出のパラダイムにおいて、最もよくアプローチされる。これらの最適化問題はNPハードであるため、現在のハードウェア上の小さなインスタンスに対してのみ正確に解決できる。本手法は,既成整数計画法を用いても,最先端の最適化手法と競合することを示す。
論文参考訳（メタデータ） (2022-02-17T18:59:20Z)
Algebraic Compression of Quantum Circuits for Hamiltonian Evolution [52.77024349608834]
時間依存ハミルトニアンの下でのユニタリ進化は、量子ハードウェアにおけるシミュレーションの重要な構成要素である。本稿では、トロッターステップを1ブロックの量子ゲートに圧縮するアルゴリズムを提案する。この結果、ハミルトニアンのある種のクラスに対する固定深度時間進化がもたらされる。
論文参考訳（メタデータ） (2021-08-06T19:38:01Z)
Fixed Depth Hamiltonian Simulation via Cartan Decomposition [59.20417091220753]
時間に依存しない深さの量子回路を生成するための構成的アルゴリズムを提案する。一次元横フィールドXYモデルにおけるアンダーソン局在化を含む、モデルの特殊クラスに対するアルゴリズムを強調する。幅広いスピンモデルとフェルミオンモデルに対して正確な回路を提供するのに加えて、我々のアルゴリズムは最適なハミルトニアンシミュレーションに関する幅広い解析的および数値的な洞察を提供する。
論文参考訳（メタデータ） (2021-04-01T19:06:00Z)
Fast and differentiable simulation of driven quantum systems [58.720142291102135]
我々は、ダイソン展開に基づく半解析手法を導入し、標準数値法よりもはるかに高速に駆動量子系を時間発展させることができる。回路QEDアーキテクチャにおけるトランスモン量子ビットを用いた2量子ゲートの最適化結果を示す。
論文参考訳（メタデータ） (2020-12-16T21:43:38Z)
Open quantum systems beyond Fermi's golden rule: Diagrammatic expansion of the steady-state time-convolutionless master equation [0.0]
我々は,スーパー演算子ではなく演算子に基づく定常TCL生成器を評価するための図式的手法を開発した。我々は,Fermi貯水池に結合した1つの非相互作用レベルにおいて本手法をベンチマークし,次から次への正確な拡張を復元する。
論文参考訳（メタデータ） (2020-10-19T20:27:31Z)
SchWARMA: A model-based approach for time-correlated noise in quantum circuits [0.0]
ARMAモデルは、データ内の時間相関をモデル化する時系列解析からよく知られている手法である。我々は、ArMAモデルをCPTPマップの空間に一般化し、量子回路における時間的相関ノイズをパラメータ化し、シミュレートする。
論文参考訳（メタデータ） (2020-10-09T13:53:46Z)

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