論文の概要: Verification of Quantum Circuits through Discrete-Time Barrier Certificates
- arxiv url: http://arxiv.org/abs/2408.07591v1
- Date: Wed, 14 Aug 2024 14:42:55 GMT
- ステータス: 処理完了
- システム内更新日: 2024-08-15 12:53:17.524026
- Title: Verification of Quantum Circuits through Discrete-Time Barrier Certificates
- Title(参考訳): 離散時間バリア証明書による量子回路の検証
- Authors: Marco Lewis, Sadegh Soudjani, Paolo Zuliani,
- Abstract要約: 本稿では、量子回路の特性を検証するために、力学系の検証から概念を取り入れ、拡張する。
我々の主な貢献は、複素変数上のk帰納障壁証明書を提案し、それをHermitian Sum of Squares最適化を用いてどのように計算するかを示すことである。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, this paper employs and extends the concepts from the verification of dynamical systems to verify properties of quantum circuits. Our main contribution is to propose k-inductive barrier certificates over complex variables and show how to compute them using Hermitian Sum of Squares optimization. We apply this new technique to verify properties of different quantum circuits.
- Abstract(参考訳): 量子コンピュータを検証するための現在の手法は、対話的あるいは自動的な定理証明に基づく。
量子コンピュータが本質的に動的であることを考えると、量子回路の特性を検証するために動的システムの検証から概念を取り入れ、拡張する。
我々の主な貢献は、複素変数上のk帰納障壁証明書を提案し、それをHermitian Sum of Squares最適化を用いてどのように計算するかを示すことである。
異なる量子回路の特性を検証するために,本手法を適用した。
関連論文リスト
- Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator [4.306566710489809]
等価チェックは、量子回路のコンパイルと最適化中に発生するエラーを特定する上で重要な役割を果たす。
本稿では,量子回路の等価性を決定するために,行列積演算子(MPO)に基づく新しい手法を提案する。
論文 参考訳(メタデータ) (2024-10-14T18:00:00Z) - Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [63.733312560668274]
d可変RZゲートとG-dクリフォードゲートを含む量子回路を与えられた場合、学習者は純粋に古典的な推論を行い、その線形特性を効率的に予測できるだろうか?
我々は、d で線形にスケーリングするサンプルの複雑さが、小さな予測誤差を達成するのに十分であり、対応する計算の複雑さは d で指数関数的にスケールすることを証明する。
我々は,予測誤差と計算複雑性をトレードオフできるカーネルベースの学習モデルを考案し,多くの実践的な環境で指数関数からスケーリングへ移行した。
論文 参考訳(メタデータ) (2024-08-22T08:21:28Z) - Equivalence Checking of Parameterised Quantum Circuits [13.796569260568939]
テンソル決定図に基づく新しいPQCのコンパクト表現を提案する。
インスタンス化を必要とせずにPQC同値性を検証するアルゴリズムを提案する。
論文 参考訳(メタデータ) (2024-04-29T06:25:00Z) - Quantum Subroutine for Variance Estimation: Algorithmic Design and Applications [80.04533958880862]
量子コンピューティングは、アルゴリズムを設計する新しい方法の基礎となる。
どの場の量子スピードアップが達成できるかという新たな課題が生じる。
量子サブルーチンの設計は、従来のサブルーチンよりも効率的で、新しい強力な量子アルゴリズムに固い柱を向ける。
論文 参考訳(メタデータ) (2024-02-26T09:32:07Z) - Verification of Quantum Systems using Barrier Certificates [0.0]
バリア証明書(英: Barrier certificates)は、力学系の特性を検証するために開発された新しい概念である。
本研究では,線形プログラミングをベースとした複雑な変数を実値としてバリア証明書を自動的に生成する手法を開発した。
本手法をいくつかの単純な量子系に適用し,その利用例を示す。
論文 参考訳(メタデータ) (2023-07-14T12:32:46Z) - Variational Quantum Computation of Molecular Linear Response Properties
on a Superconducting Quantum Processor [20.69554086981598]
本稿では,深部量子回路の必要性を回避するために,応答特性に対する実用的変動量子応答(VQR)アルゴリズムを提案する。
超伝導量子プロセッサ上での動的偏光性や吸収スペクトルを含む分子の線形応答特性に関する最初のシミュレーションを報告する。
論文 参考訳(メタデータ) (2022-01-07T12:24:03Z) - Numerical Simulations of Noisy Quantum Circuits for Computational
Chemistry [51.827942608832025]
短期量子コンピュータは、小さな分子の基底状態特性を計算することができる。
計算アンサッツの構造と装置ノイズによる誤差が計算にどのように影響するかを示す。
論文 参考訳(メタデータ) (2021-12-31T16:33:10Z) - 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) - Facial Expression Recognition on a Quantum Computer [68.8204255655161]
量子機械学習手法を用いて表情認識の可能な解を示す。
適切に定義された量子状態の振幅に符号化されたグラフの隣接行列を操作する量子回路を定義する。
論文 参考訳(メタデータ) (2021-02-09T13:48:00Z) - Information Scrambling in Computationally Complex Quantum Circuits [56.22772134614514]
53量子ビット量子プロセッサにおける量子スクランブルのダイナミクスを実験的に検討する。
演算子の拡散は効率的な古典的モデルによって捉えられるが、演算子の絡み合いは指数関数的にスケールされた計算資源を必要とする。
論文 参考訳(メタデータ) (2021-01-21T22:18:49Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。