Fugu-MT 論文翻訳(概要): Verification of Quantum Systems using Barrier Certificates

論文の概要: 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（参考訳）: 近年、量子コンピュータの検証、すなわち量子コンピュータ/システムが与えられた正しさの正式な仕様を満たすかどうかを決定するために様々な技術が用いられている。バリア証明は、動的システムの特性を検証するために開発された最近の新しい概念である。本稿では,量子システムの振る舞いを検証する手段としてのバリア証明書の利用について検討する。これを実現するために、障壁証明書の概念を実変数から複素変数へと拡張する。次に,線形計画法に基づく計算手法を開発し,複素変数が実値を取る多項式障壁証明書を自動的に生成する。最後に,本手法をいくつかの単純な量子システムに適用し,その利用例を示す。

関連論文リスト

Leveraging Pre-Trained Neural Networks to Enhance Machine Learning with Variational Quantum Circuits [48.33631905972908]
我々は、事前学習されたニューラルネットワークを用いて変分量子回路(VQC)を強化する革新的なアプローチを導入する。この手法は近似誤差をキュービット数から効果的に分離し、制約条件の必要性を除去する。我々の結果はヒトゲノム解析などの応用にまで拡張され、我々のアプローチの幅広い適用性を示している。
論文参考訳（メタデータ） (2024-11-13T12:03:39Z)
Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [63.733312560668274]
d可変RZゲートとG-dクリフォードゲートを含む量子回路を与えられた場合、学習者は純粋に古典的な推論を行い、その線形特性を効率的に予測できるだろうか? 我々は、d で線形にスケーリングするサンプルの複雑さが、小さな予測誤差を達成するのに十分であり、対応する計算の複雑さは d で指数関数的にスケールすることを証明する。我々は,予測誤差と計算複雑性をトレードオフできるカーネルベースの学習モデルを考案し,多くの実践的な環境で指数関数からスケーリングへ移行した。
論文参考訳（メタデータ） (2024-08-22T08:21:28Z)
Quantum Machine Learning Algorithms for Anomaly Detection: a Survey [1.747623282473278]
量子コンピューティングに関わる重要な概念を要約し、量子スピードアップという形式的な概念を導入する。このサーベイは、量子機械学習に基づく異常検出の構造化マップを提供する。
論文参考訳（メタデータ） (2024-08-20T17:55:25Z)
Verification of Quantum Circuits through Discrete-Time Barrier Certificates [0.0]
本稿では、量子回路の特性を検証するために、力学系の検証から概念を取り入れ、拡張する。我々の主な貢献は、複素変数上のk帰納障壁証明書を提案し、それをHermitian Sum of Squares最適化を用いてどのように計算するかを示すことである。
論文参考訳（メタデータ） (2024-08-14T14:42:55Z)
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)
Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文参考訳（メタデータ） (2021-12-27T21:15:35Z)
On exploring the potential of quantum auto-encoder for learning quantum systems [60.909817434753315]
そこで我々は,古典的な3つのハードラーニング問題に対処するために,QAEに基づく効果的な3つの学習プロトコルを考案した。私たちの研究は、ハード量子物理学と量子情報処理タスクを達成するための高度な量子学習アルゴリズムの開発に新たな光を当てています。
論文参考訳（メタデータ） (2021-06-29T14:01:40Z)
Handling Non-Unitaries in Quantum Circuit Equivalence Checking [4.265279817927261]
量子コンピュータは、古典計算と量子計算の相互作用がリアルタイムで起こりうるレベルに達している。これは、新しいより広範な量子回路、すなわち動的量子回路の出現を意味している。シミュレーション、コンパイル、検証といった設計タスクに新たな課題をもたらす、幅広い利用可能なコンピューティングプリミティブを提供する。
論文参考訳（メタデータ） (2021-06-02T12:04:56Z)
Theory of quantum system certification: a tutorial [1.583842747998493]
本チュートリアルでは,量子デバイスの物理層を認証するための重要なプロトコルについて説明する。本稿では,直接量子状態認証,直接忠実度推定,影忠実度推定,直接量子プロセス認証,ランダム化ベンチマーク,クロスエントロピーベンチマークの方法について議論する。
論文参考訳（メタデータ） (2020-10-12T18:00:04Z)

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