論文の概要: Formal Verification of Variational Quantum Circuits

• arxiv url: http://arxiv.org/abs/2507.10635v1
• Date: Mon, 14 Jul 2025 12:28:32 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-07-16 19:46:02.800919
• Title: Formal Verification of Variational Quantum Circuits
• Title（参考訳）: 変分量子回路の形式的検証
• Authors: Nicola Assolini, Luca Marzari, Isabella Mastroeni, Alessandra di Pierro,
• Abstract要約: 変分量子回路(VQC)は多くの量子機械学習アルゴリズムの中心的なコンポーネントである。 本稿では,VQCの形式的検証問題に関する基礎的および実践的研究について述べる。
• 参考スコア（独自算出の注目度）: 44.06507276521908
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Variational quantum circuits (VQCs) are a central component of many quantum machine learning algorithms, offering a hybrid quantum-classical framework that, under certain aspects, can be considered similar to classical deep neural networks. A shared aspect is, for instance, their vulnerability to adversarial inputs, small perturbations that can lead to incorrect predictions. While formal verification techniques have been extensively developed for classical models, no comparable framework exists for certifying the robustness of VQCs. Here, we present the first in-depth theoretical and practical study of the formal verification problem for VQCs. Inspired by abstract interpretation methods used in deep learning, we analyze the applicability and limitations of interval-based reachability techniques in the quantum setting. We show that quantum-specific aspects, such as state normalization, introduce inter-variable dependencies that challenge existing approaches. We investigate these issues by introducing a novel semantic framework based on abstract interpretation, where the verification problem for VQCs can be formally defined, and its complexity analyzed. Finally, we demonstrate our approach on standard verification benchmarks.
• Abstract（参考訳）: 変分量子回路(VQC)は、多くの量子機械学習アルゴリズムの中心的なコンポーネントであり、ある種の面において、古典的なディープニューラルネットワークとよく似た、ハイブリッドな量子古典的フレームワークを提供する。 共有された側面は、例えば、敵の入力に対する脆弱性であり、誤った予測につながる小さな摂動である。 形式的検証技術は古典的なモデルで広く開発されているが、VQCの堅牢性を証明するための同等のフレームワークは存在しない。 本稿では,VQCの形式的検証問題に関する基礎的および実践的研究について述べる。 深層学習における抽象的解釈法に着想を得て,量子環境における区間ベース到達可能性技術の適用性と限界を解析した。 我々は、状態正規化のような量子固有の側面が、既存のアプローチに挑戦する変数間の依存関係を導入していることを示す。 本稿では,VQCの検証問題を形式的に定義し,その複雑性を解析する抽象解釈に基づく新しいセマンティック・フレームワークを導入することにより,これらの課題を考察する。 最後に、標準検証ベンチマークに対する我々のアプローチを実証する。

関連論文リスト

• VQC-MLPNet: An Unconventional Hybrid Quantum-Classical Architecture for Scalable and Robust Quantum Machine Learning [60.996803677584424]
  変分量子回路(VQC)は、量子機械学習のための新しい経路を提供する。 それらの実用的応用は、制約付き線形表現性、最適化課題、量子ハードウェアノイズに対する鋭敏感といった固有の制限によって妨げられている。 この研究は、これらの障害を克服するために設計されたスケーラブルで堅牢なハイブリッド量子古典アーキテクチャであるVQC-MLPNetを導入している。
  論文  参考訳（メタデータ） (2025-06-12T01:38:15Z)
• RhoDARTS: Differentiable Quantum Architecture Search with Density Matrix Simulations [48.670876200492415]
  変分量子アルゴリズム(VQA)は、強力なノイズ中間スケール量子(NISQ)コンピュータを利用するための有望なアプローチである。 本稿では,量子混合状態の進化をモデルとしたQASアルゴリズムである$rho$DARTSを提案する。
  論文  参考訳（メタデータ） (2025-06-04T08:30:35Z)
• Quantum Pattern Detection: Accurate State- and Circuit-based Analyses [2.564905016909138]
  状態および回路ベースコード解析を用いた量子パターンの自動検出のためのフレームワークを提案する。 経験的評価では、我々のフレームワークは量子パターンを非常に正確に検出することができ、既存の量子パターン検出手法よりも優れていることを示す。
  論文  参考訳（メタデータ） (2025-01-27T09:42:41Z)
• Ansatz-Agnostic Exponential Resource Saving in Variational Quantum Algorithms Using Shallow Shadows [5.618657159109373]
  変分量子アルゴリズム(VQA)は、短期的な量子優位性の実証の有望な候補として特定されている。 本報告では,本論文で研究されている浅層アンザッツに対して,同様のレベルの貯蓄を実現するための浅層影に基づくプロトコルを提案する。 VQAが強力な選択肢となる量子情報、すなわち変分量子状態準備と変分量子回路合成の2つの重要な応用が示されている。
  論文  参考訳（メタデータ） (2023-09-09T11:00:39Z)
• Pre-training Tensor-Train Networks Facilitates Machine Learning with Variational Quantum Circuits [70.97518416003358]
  変分量子回路(VQC)は、ノイズの多い中間スケール量子(NISQ)デバイス上での量子機械学習を約束する。 テンソルトレインネットワーク(TTN)はVQC表現と一般化を向上させることができるが、結果として得られるハイブリッドモデルであるTTN-VQCは、Polyak-Lojasiewicz(PL)条件による最適化の課題に直面している。 この課題を軽減するために,プレトレーニングTTNモデルとVQCを組み合わせたPre+TTN-VQCを導入する。
  論文  参考訳（メタデータ） (2023-05-18T03:08:18Z)
• Uncovering Instabilities in Variational-Quantum Deep Q-Networks [0.0]
  変動量子深度Q-networks (VQ-DQN) は、学習ポリシーが分岐する不安定な状態にあることを示す。 我々は、実量子処理ユニット(IBM量子デバイス)上でRLアルゴリズムを実行し、シミュレーションされた量子システムと物理量子システムの振る舞いの違いを調査する。
  論文  参考訳（メタデータ） (2022-02-10T17:52:44Z)
• Model Checking for Verification of Quantum Circuits [1.1878820609988696]
  本稿では,量子回路のアサーションに基づく検証のためのフレームワークについて述べる。 量子アサーションはバーホフ=ヴォン・ノイマン量子論理の時間拡張によって定義される。 テンソルネットワークの縮約に基づいて,量子回路の到達可能性解析とモデル検査を行うアルゴリズムを開発した。
  論文  参考訳（メタデータ） (2021-04-23T00:43:37Z)
• Using Quantum Metrological Bounds in Quantum Error Correction: A Simple Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
  本稿では、量子誤り訂正符号の品質と、論理ゲートの普遍的な集合を達成する能力とを結びつける、近似したイージン・クニル定理の証明を示す。 我々の導出は、一般的な量子気象プロトコルにおける量子フィッシャー情報に強力な境界を用いる。
  論文  参考訳（メタデータ） (2020-04-24T17:58:10Z)
• On the Principles of Differentiable Quantum Programming Languages [13.070557640180004]
  変分量子回路(VQC)は、最も重要な短期量子応用の1つであると予測されている。 本稿では,量子回路における自己微分法の最初の形式化を提案する。
  論文  参考訳（メタデータ） (2020-04-02T16:46:13Z)
• Entanglement Classification via Neural Network Quantum States [58.720142291102135]
  本稿では、学習ツールと量子絡み合いの理論を組み合わせて、純状態における多部量子ビット系の絡み合い分類を行う。 我々は、ニューラルネットワーク量子状態(NNS)として知られる制限されたボルツマンマシン(RBM)アーキテクチャにおいて、人工ニューラルネットワークを用いた量子システムのパラメータ化を用いる。
  論文  参考訳（メタデータ） (2019-12-31T07:40:23Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。