論文の概要: Faster computation of nonstabilizerness
- arxiv url: http://arxiv.org/abs/2406.16673v3
- Date: Thu, 06 Feb 2025 05:13:11 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-02-07 10:49:53.343735
- Title: Faster computation of nonstabilizerness
- Title(参考訳): 非安定化器の高速計算
- Authors: Hiroki Hamaguchi, Kou Hamada, Naoki Marumo, Nobuyuki Yoshioka,
- Abstract要約: 安定度は、ランクベースのシミュレーターを用いてシミュレーションコストを推定するのに有用なツールである。
安定度を計算するために,より高速な数値アルゴリズムを提案する。
- 参考スコア(独自算出の注目度): 3.8061090528695543
- License:
- Abstract: The characterization of nonstabilizerness is fruitful due to its application in gate synthesis and classical simulation. In particular, the resource monotone called the stabilizer extent is a useful tool to estimate the simulation cost using rank-based simulators, one of the state-of-the-art simulators of Clifford+$T$ circuits. In this work, we propose faster numerical algorithms to compute the stabilizer extent. Our algorithm utilizes the Column Generation method, which iteratively updates the subset of pure stabilizer states used for calculation. This subset is selected based on the overlaps between all stabilizer states and a target state. In order to update the subset, we make use of a newly proposed subroutine for calculating the stabilizer fidelity that (i) achieves linear time complexity with respect to the number of stabilizer states, (ii) super-exponentially reduces the space complexity by in-place calculation, and (iii) prunes unnecessary states for the computation. As a result, our algorithm can compute the stabilizer fidelity and the stabilizer extent for Haar random pure states up to $n=9$ qubits, which naively requires a memory of 305 EiB. We further show that our algorithm runs faster when the target state vector is real. We prove that the problem size is reduced by $\mathcal{O}(2^n)$ compared to the general cases, which makes it computable for the case of $n=10$ qubits.
- Abstract(参考訳): 非安定化剤のキャラクタリゼーションはゲート合成や古典シミュレーションに応用されているため実りある。
特に、安定度と呼ばれる資源単調は、Clifford+$T$回路の最先端シミュレータであるランクベースのシミュレーターを用いてシミュレーションコストを推定するのに有用なツールである。
本研究では,安定度を計算するために高速な数値アルゴリズムを提案する。
本アルゴリズムでは,計算に使用する純安定状態のサブセットを反復的に更新するカラム生成手法を用いる。
このサブセットは、全ての安定化状態とターゲット状態の重なり合いに基づいて選択される。
部分集合を更新するために、我々は新しく提案されたサブルーチンを用いて安定化器の忠実度を計算する。
i)安定化状態の数に関して線形時間複雑性を達成する。
(二)空間の複雑さをその場計算により超指数的に低減し、
三 計算の不要な状態
その結果,Haar乱数純状態の安定度と安定化度を最大$n=9$ qubitsまで計算できることがわかった。
さらに,ターゲット状態ベクトルが現実である場合に,アルゴリズムが高速に動作することを示す。
問題のサイズを一般の場合と比較して$\mathcal{O}(2^n)$とすると、$n=10$ qubitsの場合は計算可能である。
関連論文リスト
- Single-copy stabilizer testing [0.0]
未知の$n$-qubit量子状態 $|psirangle$ が安定化状態であるかどうかをテストする問題を考える。
我々は、$O(n)$コピーを用いてこの問題を解決するアルゴリズムを与え、逆に、$Omega(sqrtn)$コピーがどのアルゴリズムにも必要であることを示す。
論文 参考訳(メタデータ) (2024-10-10T14:39:47Z) - Bases for optimising stabiliser decompositions of quantum states [14.947570152519281]
我々は、$n$-qubit 安定化状態の線型依存のベクトル空間を導入し、研究する。
定数サイズ3の線形依存のエレガントな基底を構築する。
既存の技術よりも多くの量子ビットの状態の安定化範囲を明示的に計算するためにそれらを用いる。
論文 参考訳(メタデータ) (2023-11-29T06:30:05Z) - A Specialized Semismooth Newton Method for Kernel-Based Optimal
Transport [92.96250725599958]
カーネルベース最適輸送(OT)推定器は、サンプルからOT問題に対処するための代替的機能的推定手順を提供する。
SSN法は, 標準正規性条件下でのグローバル収束率$O (1/sqrtk)$, 局所二次収束率を達成できることを示す。
論文 参考訳(メタデータ) (2023-10-21T18:48:45Z) - Stochastic Optimization for Non-convex Problem with Inexact Hessian
Matrix, Gradient, and Function [99.31457740916815]
信頼領域(TR)と立方体を用いた適応正則化は、非常に魅力的な理論的性質を持つことが証明されている。
TR法とARC法はヘッセン関数,勾配関数,関数値の非コンパクトな計算を同時に行うことができることを示す。
論文 参考訳(メタデータ) (2023-10-18T10:29:58Z) - Improved Stabilizer Estimation via Bell Difference Sampling [0.43123403062068827]
安定化器の形式性に関して,様々なモデルにおける量子状態の学習の複雑さについて検討する。
Omega(n)$$T$gates は任意の Clifford+$T$ 回路で擬ランダム量子状態を作るのに必要であることを示す。
上記のアルゴリズムの修正は時間内に行われることを示す。
論文 参考訳(メタデータ) (2023-04-27T01:58:28Z) - Numerically Stable Sparse Gaussian Processes via Minimum Separation
using Cover Trees [57.67528738886731]
誘導点に基づくスケーラブルスパース近似の数値安定性について検討する。
地理空間モデリングなどの低次元タスクに対しては,これらの条件を満たす点を自動計算する手法を提案する。
論文 参考訳(メタデータ) (2022-10-14T15:20:17Z) - Improved Graph Formalism for Quantum Circuit Simulation [77.34726150561087]
我々は、安定化状態から正準形式への効率よく単純化する方法を示す。
内積の対称性を明らかにするために, 線形依存三重項を特徴付ける。
新たな制御付きPauli $Z$アルゴリズムを用いて、内部積計算のランタイムを$O(n3)$から$O(nd2)$に改善します。
論文 参考訳(メタデータ) (2021-09-20T05:56:25Z) - A Momentum-Assisted Single-Timescale Stochastic Approximation Algorithm
for Bilevel Optimization [112.59170319105971]
問題に対処するための新しいアルゴリズム - Momentum- Single-timescale Approximation (MSTSA) を提案する。
MSTSAでは、低いレベルのサブプロブレムに対する不正確な解決策のため、反復でエラーを制御することができます。
論文 参考訳(メタデータ) (2021-02-15T07:10:33Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。