論文の概要: Verification of Quantum Systems using Barrier Certificates
- arxiv url: http://arxiv.org/abs/2307.07307v1
- Date: Fri, 14 Jul 2023 12:32:46 GMT
- ステータス: 処理完了
- システム内更新日: 2023-07-17 14:00:46.394013
- Title: Verification of Quantum Systems using Barrier Certificates
- Title(参考訳): バリア認証を用いた量子システムの検証
- Authors: Marco Lewis, Paolo Zuliani, Sadegh Soudjani
- Abstract要約: バリア証明書(英: Barrier certificates)は、力学系の特性を検証するために開発された新しい概念である。
本研究では,線形プログラミングをベースとした複雑な変数を実値としてバリア証明書を自動的に生成する手法を開発した。
本手法をいくつかの単純な量子系に適用し,その利用例を示す。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Various techniques have been used in recent years for verifying quantum
computers, that is, for determining whether a quantum computer/system satisfies
a given formal specification of correctness. Barrier certificates are a recent
novel concept developed for verifying properties of dynamical systems. In this
article, we investigate the usage of barrier certificates as a means for
verifying behaviours of quantum systems. To do this, we extend the notion of
barrier certificates from real to complex variables. We then develop a
computational technique based on linear programming to automatically generate
polynomial barrier certificates with complex variables taking real values.
Finally, we apply our technique to several simple quantum systems to
demonstrate their usage.
- Abstract(参考訳): 近年、量子コンピュータの検証、すなわち量子コンピュータ/システムが与えられた正しさの正式な仕様を満たすかどうかを決定するために様々な技術が用いられている。
バリア証明は、動的システムの特性を検証するために開発された最近の新しい概念である。
本稿では,量子システムの振る舞いを検証する手段としてのバリア証明書の利用について検討する。
これを実現するために、障壁証明書の概念を実変数から複素変数へと拡張する。
次に,線形計画法に基づく計算手法を開発し,複素変数が実値を取る多項式障壁証明書を自動的に生成する。
最後に,本手法をいくつかの単純な量子システムに適用し,その利用例を示す。
関連論文リスト
- Quantum Subroutine for Variance Estimation: Algorithmic Design and Applications [80.04533958880862]
量子コンピューティングは、アルゴリズムを設計する新しい方法の基礎となる。
どの場の量子スピードアップが達成できるかという新たな課題が生じる。
量子サブルーチンの設計は、従来のサブルーチンよりも効率的で、新しい強力な量子アルゴリズムに固い柱を向ける。
論文 参考訳(メタデータ) (2024-02-26T09:32:07Z) - Hybrid quantum transfer learning for crack image classification on NISQ
hardware [62.997667081978825]
グレー値画像のひび割れ検出に量子転送学習を適用した。
我々は、PennyLaneの標準量子ビットのパフォーマンスとトレーニング時間を、IBMのqasm_simulatorや実際のバックエンドと比較する。
論文 参考訳(メタデータ) (2023-07-31T14:45:29Z) - Towards the device-independent certification of a quantum memory [0.0]
我々は量子メモリの効率的な認証方法を開発した。
デバイスに依存しないアプローチを考えると、量子メモリのための堅牢な自己テスト手法を開発する。
より一般的に,本手法は量子チャネルを実装した任意のデバイスの特徴付けに適用される。
論文 参考訳(メタデータ) (2023-04-20T15:46:40Z) - TeD-Q: a tensor network enhanced distributed hybrid quantum machine
learning framework [59.07246314484875]
TeD-Qは、量子機械学習のためのオープンソースのソフトウェアフレームワークである。
古典的な機械学習ライブラリと量子シミュレータをシームレスに統合する。
量子回路とトレーニングの進捗をリアルタイムで視覚化できるグラフィカルモードを提供する。
論文 参考訳(メタデータ) (2023-01-13T09:35:05Z) - Synergy Between Quantum Circuits and Tensor Networks: Short-cutting the
Race to Practical Quantum Advantage [43.3054117987806]
本稿では,量子回路の初期化を最適化するために,古典計算資源を利用するスケーラブルな手法を提案する。
本手法は, PQCのトレーニング性, 性能を, 様々な問題において著しく向上させることを示す。
古典的コンピュータを用いて限られた量子資源を増強する手法を実証することにより、量子コンピューティングにおける量子と量子に着想を得たモデル間の相乗効果を実証する。
論文 参考訳(メタデータ) (2022-08-29T15:24:03Z) - Learning Quantum Systems [0.0]
量子技術は、セキュアな通信、高性能コンピューティング、超精密センシングにおける画期的な応用によって、私たちの社会に革命をもたらすと約束している。
量子技術のスケールアップにおける主な特徴の1つは、量子システムの複雑さがその大きさと指数関数的にスケールすることである。
これは、量子状態の効率的なキャリブレーション、ベンチマーク、検証とその動的制御において深刻な問題を引き起こす。
論文 参考訳(メタデータ) (2022-07-01T09:47:26Z) - Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。
特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文 参考訳(メタデータ) (2021-12-27T21:15:35Z) - Handling Non-Unitaries in Quantum Circuit Equivalence Checking [4.265279817927261]
量子コンピュータは、古典計算と量子計算の相互作用がリアルタイムで起こりうるレベルに達している。
これは、新しいより広範な量子回路、すなわち動的量子回路の出現を意味している。
シミュレーション、コンパイル、検証といった設計タスクに新たな課題をもたらす、幅広い利用可能なコンピューティングプリミティブを提供する。
論文 参考訳(メタデータ) (2021-06-02T12:04:56Z) - Single-preparation unsupervised quantum machine learning: concepts and
applications [1.7056768055368385]
まず、古典的および量子的フレームワークにおいて、すべての問題間の接続を分析する。
次に、量子データおよび/または量子処理手段を含む最も困難なバージョンに焦点を当てます。
本稿では,Single-Preparation Quantum Information Processingの概念を提案する。
論文 参考訳(メタデータ) (2021-01-05T10:31:05Z) - Theory of quantum system certification: a tutorial [1.583842747998493]
本チュートリアルでは,量子デバイスの物理層を認証するための重要なプロトコルについて説明する。
本稿では,直接量子状態認証,直接忠実度推定,影忠実度推定,直接量子プロセス認証,ランダム化ベンチマーク,クロスエントロピーベンチマークの方法について議論する。
論文 参考訳(メタデータ) (2020-10-12T18:00:04Z) - Entanglement Classification via Neural Network Quantum States [58.720142291102135]
本稿では、学習ツールと量子絡み合いの理論を組み合わせて、純状態における多部量子ビット系の絡み合い分類を行う。
我々は、ニューラルネットワーク量子状態(NNS)として知られる制限されたボルツマンマシン(RBM)アーキテクチャにおいて、人工ニューラルネットワークを用いた量子システムのパラメータ化を用いる。
論文 参考訳(メタデータ) (2019-12-31T07:40:23Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。