論文の概要: Forward and Backward Constrained Bisimulations for Quantum Circuits
- arxiv url: http://arxiv.org/abs/2308.09510v5
- Date: Thu, 11 Jan 2024 15:52:00 GMT
- ステータス: 処理完了
- システム内更新日: 2024-01-13 03:42:39.630194
- Title: Forward and Backward Constrained Bisimulations for Quantum Circuits
- Title(参考訳): 量子回路の前方および後方制約付きバイシミュレーション
- Authors: Antonio Jim\'enez-Pastor, Kim G. Larsen, Mirco Tribastone, Max
Tschaikowski
- Abstract要約: ビシミュレーション(英: Bisimulation)は、マルコフ連鎖や通常の微分方程式のようなシステムで成功した確立された手法のクラスである。
両ケースで最も粗い還元をもたらす制約ビシミュレーションを計算するアルゴリズムを提供する。
応用として、探索、最適化、分解のためのよく知られた量子アルゴリズムに対して、還元状態空間のサイズに関する理論的境界を提供する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Efficient methods for the simulation of quantum circuits on classic computers
are crucial for their analysis due to the exponential growth of the problem
size with the number of qubits. Here we study lumping methods based on
bisimulation, an established class of techniques that has been proven
successful for (classic) stochastic and deterministic systems such as Markov
chains and ordinary differential equations. Forward constrained bisimulation
yields a lower-dimensional model which exactly preserves quantum measurements
projected on a linear subspace of interest. Backward constrained bisimulation
gives a reduction that is valid on a subspace containing the circuit input,
from which the circuit result can be fully recovered. We provide an algorithm
to compute the constraint bisimulations yielding coarsest reductions in both
cases, using a duality result relating the two notions. As applications, we
provide theoretical bounds on the size of the reduced state space for
well-known quantum algorithms for search, optimization, and factorization.
Using a prototype implementation, we report significant reductions on a set of
benchmarks. Furthermore, we show that constraint bisimulation complements
state-of-the-art methods for the simulation of quantum circuits based on
decision diagrams.
- Abstract(参考訳): 古典的コンピュータ上での量子回路シミュレーションの効率的な手法は、量子ビット数で問題のサイズが指数関数的に増加するため、その解析に不可欠である。
ここでは,マルコフ連鎖や常微分方程式のような(古典的)確率的,決定論的システムで成功した確立された手法のクラスであるバイシミュレーションに基づく集計法について検討する。
フォワード制約ビシミュレーションは、関心の線型部分空間上に投影される量子計測を正確に保存する低次元モデルをもたらす。
後方制約ビシミュレーションは、回路入力を含む部分空間で有効である還元を与え、そこから回路結果を完全に復元することができる。
この2つの概念に関する双対性の結果を用いて、両ケースで最も粗い還元をもたらす制約ビシミュレーションを計算するアルゴリズムを提案する。
応用として、探索、最適化、分解のためのよく知られた量子アルゴリズムに対して、還元状態空間のサイズに関する理論的境界を提供する。
プロトタイプ実装を用いて,ベンチマークセットの大幅な削減を報告した。
さらに,制約バイシミュレーションは,決定ダイアグラムに基づく量子回路シミュレーションの最先端手法を補完することを示した。
関連論文リスト
- Quantum Optimization: Lagrangian Dual versus QUBO in Solving Constrained
Problems [0.0]
本稿では,ラグランジアン双対性の概念を離散化された断熱量子計算の枠組みに組み込むことにより,制約付き最適化問題の解法を提案する。
回路モデル-フォールトトレラント量子計算の設定において,本手法が回路深さの2次改善を実現し,制約に依存しない回路幅を維持できることを示す。
論文 参考訳(メタデータ) (2023-10-06T19:09:55Z) - Minimizing the negativity of quantum circuits in overcomplete
quasiprobability representations [0.6428333375712125]
本稿では,量子回路の準確率表現に対する全負性度を最小化する手法を開発する。
我々のアプローチには、等価な準確率ベクトルに対する最適化と、過剰完全性のために現れる行列の両方が含まれる。
また,フレーム寸法の増大とゲートマージ手法の適用により,ノイズの多いレンガ壁ランダム回路の負性最小化についても検討した。
論文 参考訳(メタデータ) (2023-06-19T08:02:00Z) - End-to-end resource analysis for quantum interior point methods and
portfolio optimization [92.13478140615481]
問題入力から問題出力までの完全な量子回路レベルのアルゴリズム記述を提供する。
アルゴリズムの実行に必要な論理量子ビットの数と非クリフォードTゲートの量/深さを報告する。
論文 参考訳(メタデータ) (2022-11-22T18:54:48Z) - Decomposition of Matrix Product States into Shallow Quantum Circuits [62.5210028594015]
テンソルネットワーク(TN)アルゴリズムは、パラメタライズド量子回路(PQC)にマッピングできる
本稿では,現実的な量子回路を用いてTN状態を近似する新しいプロトコルを提案する。
その結果、量子回路の逐次的な成長と最適化を含む1つの特定のプロトコルが、他の全ての手法より優れていることが明らかとなった。
論文 参考訳(メタデータ) (2022-09-01T17:08:41Z) - Bayesian Learning of Parameterised Quantum Circuits [0.0]
我々はベイズ後部の近似として古典的最適化の確率論的視点を取り、再定式化する。
ラプラスを用いた最大後点推定に基づく次元縮小戦略について述べる。
量子H1-2コンピュータの実験では、結果として得られる回路は勾配なしで訓練された回路よりも高速でノイズが少ないことが示されている。
論文 参考訳(メタデータ) (2022-06-15T14:20:14Z) - 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) - Quantum amplitude damping for solving homogeneous linear differential
equations: A noninterferometric algorithm [0.0]
本研究は,同種LDEを解くための効率的な量子アルゴリズムを構築するために,量子振幅減衰演算を資源として利用する新しい手法を提案する。
このようなオープンな量子系にインスパイアされた回路は、非干渉法で解の実際の指数項を構成することができることを示す。
論文 参考訳(メタデータ) (2021-11-10T11:25:32Z) - Variational Quantum Optimization with Multi-Basis Encodings [62.72309460291971]
マルチバスグラフ複雑性と非線形活性化関数の2つの革新の恩恵を受ける新しい変分量子アルゴリズムを導入する。
その結果,最適化性能が向上し,有効景観が2つ向上し,測定の進歩が減少した。
論文 参考訳(メタデータ) (2021-06-24T20:16:02Z) - Quantum computing critical exponents [0.0]
逆場イジング連鎖の臨界点を対象とする場合,変分量子古典シミュレーションアルゴリズムは有限回路深度スケーリングの崩壊を許容することを示す。
秩序パラメータは、相転移を渡るときに量子アルゴリズムが遅くなるため、遷移の片側にしか崩壊しない。
論文 参考訳(メタデータ) (2021-04-02T17:38:20Z) - Fixed Depth Hamiltonian Simulation via Cartan Decomposition [59.20417091220753]
時間に依存しない深さの量子回路を生成するための構成的アルゴリズムを提案する。
一次元横フィールドXYモデルにおけるアンダーソン局在化を含む、モデルの特殊クラスに対するアルゴリズムを強調する。
幅広いスピンモデルとフェルミオンモデルに対して正確な回路を提供するのに加えて、我々のアルゴリズムは最適なハミルトニアンシミュレーションに関する幅広い解析的および数値的な洞察を提供する。
論文 参考訳(メタデータ) (2021-04-01T19:06:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。