論文の概要: Qimax: Efficient quantum simulation via GPU-accelerated extended stabilizer formalism
- arxiv url: http://arxiv.org/abs/2505.03307v1
- Date: Tue, 06 May 2025 08:41:28 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-05-07 18:50:11.269358
- Title: Qimax: Efficient quantum simulation via GPU-accelerated extended stabilizer formalism
- Title(参考訳): Qimax: GPU加速型拡張安定化器フォーマリズムによる効率的な量子シミュレーション
- Authors: Vu Tuan Hai, Bui Cao Doanh, Le Vu Trung Duong, Pham Hoai Luan, Yasuhiko Nakashima,
- Abstract要約: 拡張安定化器形式を用いたクリフォード回路と近クリフォード回路のシミュレーションは、ますます人気が高まっている。
我々は,GPUなどのマルチコアデバイス上での効率的な実行を実現するために,拡張安定化器フォーマリズムの並列バージョンを導入する。
- 参考スコア(独自算出の注目度): 0.4427312315598971
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Simulating Clifford and near-Clifford circuits using the extended stabilizer formalism has become increasingly popular, particularly in quantum error correction. Compared to the state-vector approach, the extended stabilizer formalism can solve the same problems with fewer computational resources, as it operates on stabilizers rather than full state vectors. Most existing studies on near-Clifford circuits focus on balancing the trade-off between the number of ancilla qubits and simulation accuracy, often overlooking performance considerations. Furthermore, in the presence of high-rank stabilizers, performance is limited by the sequential property of the stabilizer formalism. In this work, we introduce a parallelized version of the extended stabilizer formalism, enabling efficient execution on multi-core devices such as GPU. Experimental results demonstrate that, in certain scenarios, our Python-based implementation outperforms state-of-the-art simulators such as Qiskit and Pennylane.
- Abstract(参考訳): 拡張安定化器形式を用いたクリフォード回路と近クリフォード回路のシミュレーションは、特に量子誤差補正において人気が高まっている。
状態ベクトル法と比較して、拡張安定化器形式は、完全な状態ベクトルではなく安定化器で動くため、少ない計算資源で同じ問題を解くことができる。
ほぼクリフォード回路に関する既存の研究は、アシラ量子ビットの数とシミュレーション精度の間のトレードオフのバランスに重点を置いており、しばしば性能上の考慮事項を見落としている。
さらに、高階安定化器の存在下では、安定化器形式性の逐次特性によって性能が制限される。
本稿では,GPUなどのマルチコアデバイス上での効率的な実行を実現するために,拡張安定化器形式を並列化して導入する。
実験の結果、あるシナリオにおいて、Pythonベースの実装は、QiskitやPennylaneのような最先端のシミュレータよりも優れています。
関連論文リスト
- Bases for optimising stabiliser decompositions of quantum states [14.947570152519281]
我々は、$n$-qubit 安定化状態の線型依存のベクトル空間を導入し、研究する。
定数サイズ3の線形依存のエレガントな基底を構築する。
既存の技術よりも多くの量子ビットの状態の安定化範囲を明示的に計算するためにそれらを用いる。
論文 参考訳(メタデータ) (2023-11-29T06:30:05Z) - Fast algorithms for classical specifications of stabiliser states and Clifford gates [14.947570152519281]
安定化状態とクリフォードゲートの異なる仕様の変換と検証は、量子情報における古典的アルゴリズムの重要な構成要素である。
我々は安定化状態とクリフォードゲートに関する新しい数学的洞察を開発し、それらの記述を明確にした。
そして、これらを利用して、既存の実装よりも有利な10の新しい高速アルゴリズムを提供します。
論文 参考訳(メタデータ) (2023-11-17T07:09:10Z) - Extending Classically Simulatable Bounds of Clifford Circuits with Nonstabilizer States via Framed Wigner Functions [3.9482012852779085]
ウィグナー関数形式主義は、量子状態の非古典的側面とその古典的シミュラビリティを調べる上で重要な役割を担っている。
フレーム化ウィグナー関数に基づく量子クリフォード回路の新しい古典的シミュレーション法を提案する。
論文 参考訳(メタデータ) (2023-07-31T14:02:33Z) - Efficient quantum algorithms for stabilizer entropies [0.0]
我々はベル測定により整数 R'enyi index $n>1$ の安定化エントロピー (SEs) を効率的に測定する。
数量子ビットを超える計算が可能となる様々な非安定化性モノトンの効率的な境界を提供する。
我々の結果は、量子コンピュータによる非安定化器の探索を開放する。
論文 参考訳(メタデータ) (2023-05-30T15:55:04Z) - Numerically Stable Sparse Gaussian Processes via Minimum Separation
using Cover Trees [57.67528738886731]
誘導点に基づくスケーラブルスパース近似の数値安定性について検討する。
地理空間モデリングなどの低次元タスクに対しては,これらの条件を満たす点を自動計算する手法を提案する。
論文 参考訳(メタデータ) (2022-10-14T15:20:17Z) - The vacuum provides quantum advantage to otherwise simulatable
architectures [49.1574468325115]
理想のゴッテマン・キタエフ・プレスキル安定化状態からなる計算モデルを考える。
測定結果の確率密度関数を計算するアルゴリズムを提案する。
論文 参考訳(メタデータ) (2022-05-19T18:03:17Z) - Improved Graph Formalism for Quantum Circuit Simulation [77.34726150561087]
我々は、安定化状態から正準形式への効率よく単純化する方法を示す。
内積の対称性を明らかにするために, 線形依存三重項を特徴付ける。
新たな制御付きPauli $Z$アルゴリズムを用いて、内部積計算のランタイムを$O(n3)$から$O(nd2)$に改善します。
論文 参考訳(メタデータ) (2021-09-20T05:56:25Z) - Stabilizer extent is not multiplicative [1.491109220586182]
Gottesman-Knillの定理は、安定化器状態に作用するクリフォード回路は古典的なコンピュータ上で効率的にシミュレートできると述べている。
重要な開問題は、テンソル積の下でその程度が乗法的かどうかを決定することである。
論文 参考訳(メタデータ) (2020-07-08T18:41:59Z) - Learning Stabilizing Controllers for Unstable Linear Quadratic
Regulators from a Single Trajectory [85.29718245299341]
線形2次制御器(LQR)としても知られる2次コストモデルの下で線形制御器を研究する。
楕円形不確実性集合内の全ての系を安定化させる制御器を構成する2つの異なる半定値プログラム(SDP)を提案する。
高い確率で安定化コントローラを迅速に識別できる効率的なデータ依存アルゴリズムであるtextsceXplorationを提案する。
論文 参考訳(メタデータ) (2020-06-19T08:58:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。