論文の概要: FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams
- arxiv url: http://arxiv.org/abs/2509.08276v1
- Date: Wed, 10 Sep 2025 04:29:09 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-09-11 15:16:52.305114
- Title: FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams
- Title(参考訳): FeynmanDD:古典的決定図を用いた量子回路解析
- Authors: Ziyuan Wang, Bin Cheng, Longxiang Yuan, Zhengfeng Ji,
- Abstract要約: 量子回路シミュレーションと等価チェックに標準および多端子決定図を利用する新しい方法であるFeynmanDDを紹介する。
本手法は経路積分の定式化において有用な構造を探索し,解析結果を数え上げ問題に変換する。
FeynmanDDの量子回路解析における能力と限界を実証し、この新しいBDDベースのアプローチの価値を強調した。
- 参考スコア(独自算出の注目度): 8.232389584107425
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Applications of decision diagrams in quantum circuit analysis have been an active research area. Our work introduces FeynmanDD, a new method utilizing standard and multi-terminal decision diagrams for quantum circuit simulation and equivalence checking. Unlike previous approaches that exploit patterns in quantum states and operators, our method explores useful structures in the path integral formulation, essentially transforming the analysis into a counting problem. The method then employs efficient counting algorithms using decision diagrams as its underlying computational engine. Through comprehensive theoretical analysis and numerical experiments, we demonstrate FeynmanDD's capabilities and limitations in quantum circuit analysis, highlighting the value of this new BDD-based approach.
- Abstract(参考訳): 量子回路解析における決定図の応用は、活発な研究領域である。
本研究は,量子回路シミュレーションと等価チェックに標準および多端子決定図を利用する新しい方法であるFeynmanDDを紹介する。
量子状態や演算子のパターンを利用する従来の手法とは異なり、本手法は経路積分の定式化において有用な構造を探索し、解析を数え上げ問題に変換する。
この手法は、決定図を基礎となる計算エンジンとして、効率的なカウントアルゴリズムを用いる。
包括的理論的解析と数値実験を通じて、新しいBDDベースのアプローチの価値を強調し、量子回路解析におけるFeynmanDDの能力と限界を実証する。
関連論文リスト
- An em algorithm for quantum Boltzmann machines [40.40469032705598]
我々は、量子ボルツマンマシンを訓練するためのエムアルゴリズムの量子バージョンを開発する。
量子効果を隠蔽層に限定した半量子制限ボルツマンマシンにアルゴリズムを実装した。
論文 参考訳(メタデータ) (2025-07-29T07:59:22Z) - Error and Resource Estimates of Variational Quantum Algorithms for Solving Differential Equations Based on Runge-Kutta Methods [1.1999555634662633]
我々は、エラーソースを広範囲に分析し、特定のターゲットエラーを達成するために必要なリソース要件を決定する。
ショットノイズのないシナリオに対する分析誤差と資源推定を導出する。
従来の1ドルの常微分方程式の解法と,変分アルゴリズムによる線形偏微分方程式の解法である。
論文 参考訳(メタデータ) (2024-12-16T19:00:03Z) - Efficient estimation of trainability for variational quantum circuits [43.028111013960206]
変動量子回路のコスト関数とその分散を効率よく計算する方法を見出した。
この方法は、変分量子回路のトレーニング容易性を証明し、バレンプラトー問題を克服できる設計戦略を探索するために用いられる。
論文 参考訳(メタデータ) (2023-02-09T14:05:18Z) - Information flow in parameterized quantum circuits [2.293310948465579]
量子システムにおける情報フローを定量化する新しい方法を提案する。
ゲートノード間の相互情報を用いた距離測定法を提案する。
そこで,距離測定に基づく経路を用いた変分アルゴリズムの最適化手法を提案する。
論文 参考訳(メタデータ) (2022-07-11T19:30:47Z) - Quantum circuit debugging and sensitivity analysis via local inversions [62.997667081978825]
本稿では,回路に最も影響を及ぼす量子回路の断面をピンポイントする手法を提案する。
我々は,IBM量子マシン上に実装されたアルゴリズム回路の例に応用して,提案手法の実用性と有効性を示す。
論文 参考訳(メタデータ) (2022-04-12T19:39:31Z) - 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) - Model Checking for Verification of Quantum Circuits [1.1878820609988696]
本稿では,量子回路のアサーションに基づく検証のためのフレームワークについて述べる。
量子アサーションはバーホフ=ヴォン・ノイマン量子論理の時間拡張によって定義される。
テンソルネットワークの縮約に基づいて,量子回路の到達可能性解析とモデル検査を行うアルゴリズムを開発した。
論文 参考訳(メタデータ) (2021-04-23T00:43:37Z) - Quantum Algorithms for Data Representation and Analysis [68.754953879193]
機械学習におけるデータ表現のための固有problemsの解を高速化する量子手続きを提供する。
これらのサブルーチンのパワーと実用性は、主成分分析、対応解析、潜在意味解析のための入力行列の大きさのサブ線形量子アルゴリズムによって示される。
その結果、入力のサイズに依存しない実行時のパラメータは妥当であり、計算モデル上の誤差が小さいことが示され、競合的な分類性能が得られる。
論文 参考訳(メタデータ) (2021-04-19T00:41:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。