論文の概要: Simulating Quantum Circuits by Model Counting

• arxiv url: http://arxiv.org/abs/2403.07197v1
• Date: Mon, 11 Mar 2024 22:40:15 GMT
• ステータス: 処理完了
• システム内更新日: 2024-03-13 23:20:51.141036
• Title: Simulating Quantum Circuits by Model Counting
• Title（参考訳）: モデルカウントによる量子回路のシミュレーション
• Authors: Jingyi Mei, Marcello Bonsangue and Alfons Laarman
• Abstract要約: 重み付きモデル計数により、普遍量子回路の強いシミュレーションを効率的に行うことができることを示す。 我々の研究は、量子回路の効率的なコンパイルを実現するために、既存の強力な古典的推論ツールを応用する方法を開拓する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Quantum circuit compilation comprises many computationally hard reasoning tasks that nonetheless lie inside #$\mathbf{P}$ and its decision counterpart in $\mathbf{PP}$. The classical simulation of general quantum circuits is a core example. We show for the first time that a strong simulation of universal quantum circuits can be efficiently tackled through weighted model counting by providing a linear encoding of Clifford+T circuits. To achieve this, we exploit the stabilizer formalism by Knill, Gottesmann, and Aaronson and the fact that stabilizer states form a basis for density operators. With an open-source simulator implementation, we demonstrate empirically that model counting often outperforms state-of-the-art simulation techniques based on the ZX calculus and decision diagrams. Our work paves the way to apply the existing array of powerful classical reasoning tools to realize efficient quantum circuit compilation; one of the obstacles on the road towards quantum supremacy.
• Abstract（参考訳）: 量子回路のコンパイルは、#$\mathbf{P}$ と $\mathbf{PP}$ の中にある多くの計算難解な推論タスクから構成される。 一般量子回路の古典的なシミュレーションは中核的な例である。 本稿では、clifford+t回路の線形符号化により、重み付きモデルカウントにより、ユニバーサル量子回路の強力なシミュレーションを効率的に行うことを初めて示す。 これを達成するために、knill、gottesmann、aaronsonによる安定化形式を活用し、安定化状態が密度作用素の基礎を形成するという事実を利用する。 オープンソースシミュレータの実装により,zx計算と決定ダイアグラムに基づくシミュレーション手法において,モデルカウントがしばしば最先端シミュレーション技術を上回ることを実証的に示す。 私たちの研究は、効率的な量子回路のコンパイルを実現するために、既存の強力な古典的推論ツールを適用する方法を示しています。

関連論文リスト

• Unified framework for efficiently computable quantum circuits [0.0]
  クリフォードとマッチゲートからなる量子回路は、古典的コンピュータ上で効率的にシミュレート可能であることが知られている2種類の回路である。 我々は、これらの回路を効率的にシミュレートできる特別な構造を透過的に示す統一されたフレームワークを導入する。
  論文  参考訳（メタデータ） (2024-01-16T08:04:28Z)
• Mapping quantum circuits to shallow-depth measurement patterns based on graph states [0.0]
  我々は,測定に基づく量子コンピューティングのためのハイブリッドシミュレーション手法を開発した。 完全可換作用素の群は完全並列、すなわち非適応的測定を用いて実装可能であることを示す。 量子テレポーテーションを用いることで、そのような回路を一定の量子深さで実装する方法について議論する。
  論文  参考訳（メタデータ） (2023-11-27T19:00:00Z)
• Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation [65.93830818469833]
  テンソルネットワークと決定図は、異なる視点、用語、背景を念頭に、独立して開発されている。 これらの手法が古典的量子回路シミュレーションにどのようにアプローチするかを考察し、最も適用可能な抽象化レベルに関してそれらの相似性を考察する。 量子回路シミュレーションにおいて,テンソルネットワークの使い勝手の向上と決定図の使い勝手の向上に関するガイドラインを提供する。
  論文  参考訳（メタデータ） (2023-02-13T19:00:00Z)
• A Reorder Trick for Decision Diagram Based Quantum Circuit Simulation [0.4358626952482686]
  本研究では,現状決定図に基づくシミュレータがシミュレーション時間でうまく動作しなかった量子回路の2つのクラスについて検討した。 本稿では,そのような量子回路のシミュレーションを促進するための,シンプルで強力なリオーダー手法を提案する。
  論文  参考訳（メタデータ） (2022-11-14T04:55:25Z)
• A single $T$-gate makes distribution learning hard [56.045224655472865]
  この研究は、局所量子回路の出力分布の学習可能性に関する広範な評価を提供する。 ハイブリッド量子古典アルゴリズムを含む多種多様な学習アルゴリズムにおいて、深度$d=omega(log(n))$ Clifford回路に関連する生成的モデリング問題さえも困難であることを示す。
  論文  参考訳（メタデータ） (2022-07-07T08:04:15Z)
• Tensor Network Quantum Virtual Machine for Simulating Quantum Circuits at Exascale [57.84751206630535]
  本稿では,E-scale ACCelerator(XACC)フレームワークにおける量子回路シミュレーションバックエンドとして機能する量子仮想マシン(TNQVM)の近代化版を提案する。 新バージョンは汎用的でスケーラブルなネットワーク処理ライブラリであるExaTNをベースにしており、複数の量子回路シミュレータを提供している。 ポータブルなXACC量子プロセッサとスケーラブルなExaTNバックエンドを組み合わせることで、ラップトップから将来のエクサスケールプラットフォームにスケール可能なエンドツーエンドの仮想開発環境を導入します。
  論文  参考訳（メタデータ） (2021-04-21T13:26:42Z)
• Fixed Depth Hamiltonian Simulation via Cartan Decomposition [59.20417091220753]
  時間に依存しない深さの量子回路を生成するための構成的アルゴリズムを提案する。 一次元横フィールドXYモデルにおけるアンダーソン局在化を含む、モデルの特殊クラスに対するアルゴリズムを強調する。 幅広いスピンモデルとフェルミオンモデルに対して正確な回路を提供するのに加えて、我々のアルゴリズムは最適なハミルトニアンシミュレーションに関する幅広い解析的および数値的な洞察を提供する。
  論文  参考訳（メタデータ） (2021-04-01T19:06:00Z)
• Error mitigation and quantum-assisted simulation in the error corrected regime [77.34726150561087]
  量子コンピューティングの標準的なアプローチは、古典的にシミュレート可能なフォールトトレラントな演算セットを促進するという考え方に基づいている。 量子回路の古典的準確率シミュレーションをどのように促進するかを示す。
  論文  参考訳（メタデータ） (2021-03-12T20:58:41Z)
• Quantum Solver of Contracted Eigenvalue Equations for Scalable Molecular Simulations on Quantum Computing Devices [0.0]
  エネルギーの古典的方法の量子アナログである縮約固有値方程式の量子解法を導入する。 量子シミュレータと2つのIBM量子処理ユニットで計算を行う。
  論文  参考訳（メタデータ） (2020-04-23T18:35:26Z)
• Efficient classical simulation of random shallow 2D quantum circuits [104.50546079040298]
  ランダム量子回路は古典的にシミュレートするのは難しいと見なされる。 典型例の近似シミュレーションは, 正確なシミュレーションとほぼ同程度に困難であることを示す。 また、十分に浅いランダム回路はより一般的に効率的にシミュレーション可能であると推測する。
  論文  参考訳（メタデータ） (2019-12-31T19:00:00Z)

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

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