Fugu-MT 論文翻訳(概要): Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach

論文の概要: Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach

arxiv url: http://arxiv.org/abs/2506.07635v1
Date: Mon, 09 Jun 2025 11:01:17 GMT
ステータス: 翻訳完了
システム内更新日: 2025-06-10 16:33:10.921172
Title: Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
Title（参考訳）: シナリオアプローチによるバリア認証による量子回路の検証
Authors: Siwei Hu, Victor Lopata, Sadegh Soudjani, Paolo Zuliani,
Abstract要約: 本稿では,量子回路のバリア証明書を合成する手法を提案する。我々の手法は初期状態やシステムの力学における不確実性を扱うことができる。量子回路に関するいくつかのケーススタディを示す。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: In recent years, various techniques have been explored for the verification of quantum circuits, including the use of barrier certificates, mathematical tools capable of demonstrating the correctness of such systems. These certificates ensure that, starting from initial states and applying the system's dynamics, the system will never reach undesired states. In this paper, we propose a methodology for synthesizing such certificates for quantum circuits using a scenario-based approach, for both finite and infinite time horizons. In addition, our approach can handle uncertainty in the initial states and in the system's dynamics. We present several case studies on quantum circuits, comparing the performance of different types of barrier certificate and analyzing which one is most suitable for each case.
Abstract（参考訳）: 近年,量子回路の正当性を示す数学的ツールであるバリア証明書の使用など,量子回路の検証のための様々な手法が研究されている。これらの証明書は、初期状態からシステムのダイナミクスを適用することで、システムが望ましくない状態に到達することを保証する。本稿では,有限時間地平線と無限時間地平線の両方に対するシナリオベースアプローチを用いて,量子回路のこのような証明書を合成する手法を提案する。さらに,本手法は初期状態やシステムの力学において不確実性を扱うことができる。量子回路のケーススタディとして,異なる種類のバリア証明書の性能を比較し,各ケースに最も適しているものを解析する。

関連論文リスト

Provably Robust Training of Quantum Circuit Classifiers Against Parameter Noise [49.97673761305336]
ノイズは、信頼できる量子アルゴリズムを達成するための大きな障害である。本稿では,パラメータ化量子回路分類器のロバスト性を高めるための雑音耐性学習理論とアルゴリズムを提案する。
論文参考訳（メタデータ） (2025-05-24T02:51:34Z)
Bayesian Quantum Amplitude Estimation [49.1574468325115]
本稿では,量子振幅推定のための雑音対応ベイズアルゴリズムであるBAEを紹介する。我々は,BAEがハイゼンベルク限界推定を達成し,他の手法と比較した。
論文参考訳（メタデータ） (2024-12-05T18:09:41Z)
Certifying steady-state properties of open quantum systems [0.0]
オープン量子系の定常状態特性を推定することは量子技術において重要な問題である。本稿では、任意の可観測体の期待値に基づいて、半定値プログラミング認定境界を用いて、スケーラブルな方法で導出する方法を示す。
論文参考訳（メタデータ） (2024-10-17T15:13:12Z)
Benefiting from Quantum? A Comparative Study of Q-Seg, Quantum-Inspired Techniques, and U-Net for Crack Segmentation [41.01256771536732]
本研究は, クラックセグメンテーションの古典モデルと比較して, 量子および量子に着想を得た手法の性能を評価する。以上の結果から,量子インスパイアされた量子法と量子法は,特に複雑なクラックパターンに対して,画像セグメンテーションに有望な代替手段を提供し,近未来の応用に応用できることが示唆された。
論文参考訳（メタデータ） (2024-10-14T16:51:59Z)
Verification of Quantum Systems using Barrier Certificates [0.0]
バリア証明書(英: Barrier certificates)は、力学系の特性を検証するために開発された新しい概念である。本研究では,線形プログラミングをベースとした複雑な変数を実値としてバリア証明書を自動的に生成する手法を開発した。本手法をいくつかの単純な量子系に適用し,その利用例を示す。
論文参考訳（メタデータ） (2023-07-14T12:32:46Z)
Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文参考訳（メタデータ） (2021-12-27T21:15:35Z)
Statistical Methods for Quantum State Verification and Fidelity Estimation [2.9475513512647455]
ここ数年、高度な統計手法を用いて資源効率のよい量子状態の認証を行う手法がいくつか導入されている。まず、仮説テストの言語で量子状態の検証と忠実度の推定について論じる。そこで,本稿では,局所的操作や古典的コミュニケーションの支援による局所的測定や測定により,絡み合った状態の検証を行うための様々な戦略を詳述する。
論文参考訳（メタデータ） (2021-09-22T15:55:48Z)
Quantum verification and estimation with few copies [63.669642197519934]
大規模絡み合ったシステムの検証と推定は、信頼性の高い量子情報処理にそのようなシステムを用いる際の大きな課題の1つである。本稿では,資源の一定数(サンプリング複雑性)に着目し,任意の次元のシステムに適していることを示す。具体的には、量子状態トモグラフィー(quantum state tomography)の概念とともに、エンタングルメント検出のために少なくとも1つのコピーだけを必要とする確率的フレームワークをレビューする。
論文参考訳（メタデータ） (2021-09-08T18:20:07Z)
Handling Non-Unitaries in Quantum Circuit Equivalence Checking [4.265279817927261]
量子コンピュータは、古典計算と量子計算の相互作用がリアルタイムで起こりうるレベルに達している。これは、新しいより広範な量子回路、すなわち動的量子回路の出現を意味している。シミュレーション、コンパイル、検証といった設計タスクに新たな課題をもたらす、幅広い利用可能なコンピューティングプリミティブを提供する。
論文参考訳（メタデータ） (2021-06-02T12:04:56Z)
Optimal entanglement witnesses: a scalable data-driven approach [0.0]
量子状態の有限測度(以下、量子データと呼ぶ)に焦点をあてる。興味のあるシステムの特定の空間分割を与えられた場合、データセットが分離可能な状態と互換性があるか否かを効果的に確認できるアプローチを提案する。互換性が証明されると、この手法は、手元にある量子データに対して最適な絡み合いの証人を生成する。
論文参考訳（メタデータ） (2021-01-06T13:54:44Z)
Efficient and robust certification of genuine multipartite entanglement in noisy quantum error correction circuits [58.720142291102135]
実効多部絡み(GME)認証のための条件付き目撃手法を導入する。線形な二分割数における絡み合いの検出は, 多数の測定値によって線形にスケールし, GMEの認証に十分であることを示す。本手法は, 距離3の位相的カラーコードとフラグベースの耐故障バージョンにおける安定化作用素の雑音可読化に適用する。
論文参考訳（メタデータ） (2020-10-06T18:00:07Z)

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