論文の概要: Dismantling the Stoquastic Dichotomy
- arxiv url: http://arxiv.org/abs/2607.18596v1
- Date: Tue, 21 Jul 2026 00:10:19 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-22 19:05:05.279494
- Title: Dismantling the Stoquastic Dichotomy
- Title(参考訳): 解離性近位二分割術の1例
- Abstract要約: 幾何位相(VGP)の消滅は、計算境界をより適切に捉えていると論じる。
VGPの認識は、一般に幾何学的局所ハミルトニアンに対して$mathsfPSPACE$-completeであることを示す。
- 参考スコア(独自算出の注目度): 0.05729426778193397
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We challenge the notion that a stoquastic binary governs fundamental computational boundaries in quantum computing and classical simulation of quantum systems. We argue that vanishing geometric phase (VGP), a geometric condition on the Hamiltonian's transition graph, more adequately captures these boundaries. To distinguish VGP from stoquasticity, we construct VGP 3-local Hamiltonians that are formally hard to stoquastize, yet belong to a family admitting polynomial-time recognition of the VGP property. Without constructing a stoquastizing unitary, we prove that the local Hamiltonian problem is $\mathsf{StoqMA}$-complete under the promise that the input Hamiltonian has VGP, and that a frustration-free variant is in $\mathsf{MA}$ under the same promise. We use this result to argue that non-VGP is necessary for any claimed adiabatic advantage justified by escaping the $\mathsf{StoqMA}$ regime. Further, we identify natural settings where the VGP property can be recognized in polynomial time. In contrast, we show that recognition of VGP is $\mathsf{PSPACE}$-complete in general for geometrically local Hamiltonians. Our results show that the computational boundaries $\mathsf{MA} \subseteq \mathsf{StoqMA} \subseteq \mathsf{QMA}$ traditionally attributed to stoquasticity are better understood as boundaries between vanishing and non-vanishing geometric phase structure.
- Abstract(参考訳): 我々は、量子コンピューティングと古典的な量子システムのシミュレーションにおいて、確率的バイナリが基本的な計算境界を支配するという概念に挑戦する。
我々は、ハミルトン転移グラフ上の幾何条件である幾何位相(VGP)がこれらの境界をより適切に捉えていると論じる。
VGP を確率性から区別するために、VGP 3 局所ハミルトニアンを構築し、VGP の性質を多項式時間で認識する族に属する。
確率化ユニタリを構築しなければ、局所ハミルトニアン問題は、入力ハミルトニアンがVGPを持つという約束の下で$\mathsf{StoqMA}$完全であり、フラストレーションのない変種は同じ約束の下で$\mathsf{MA}$であることを示す。
この結果を用いて、非VGPは$\mathsf{StoqMA}$ regime を逃れることによって正当化される主張された断熱的優位性のために必要であると主張する。
さらに,VGP特性を多項式時間で認識できる自然設定を同定する。
対照的に、VGPの認識は、幾何学的局所ハミルトニアンに対して一般に$\mathsf{PSPACE}$完全であることが示される。
以上の結果から, 計算境界である $\mathsf{MA} \subseteq \mathsf{StoqMA} \subseteq \mathsf{QMA}$ は, 伝統的に正則性に起因するものであると考えられる。
関連論文リスト
- Exact chiral symmetry with quantum signal processing [39.146761527401424]
重なり合うフェルミオンハミルトニアンに対する量子信号処理アルゴリズムを提案する。
重なり合うハミルトニアンを適用するには、ウィルソン・ディラック・ハミルトニアンよりも$_e$の対数しかかからない。
論文 参考訳(メタデータ) (2026-07-30T17:00:58Z) - Optimal Lower Bounds for Hamiltonian Simulation [42.227880669333835]
ハミルトニアン$H = sum_j h_j$ の場合、ゲート上の下界と量子コンピュータ上の時間発展をシミュレートするクエリの複雑さを証明できる。
任意の項ノルムのホールドは$|h_j|$, time $t$, trace-distance error $$である。
論文 参考訳(メタデータ) (2026-07-22T07:41:32Z) - Rounding Almost Commuting Hamiltonians [40.02212661155582]
通勤ハミルトニアンは古典的な制約満足度と量子多体物理学の境界に位置している。
半可換な2ドル局所量子ハミルトニアンを、可換な方法で効率的に近似する方法を示す。
論文 参考訳(メタデータ) (2026-05-25T17:53:36Z) - DQC1-completeness of normalized trace estimation for functions of log-local Hamiltonians [20.990700912031773]
正規化トレース 2-nTr[f(A)]$ を対数局所ハミルトニアン$A$ で$n$ qubits に作用させることの計算複雑性について検討する。
この問題は自然に DQC1 モデルで生じるが、その複雑性は限定された函数のクラス$f(x)$に対してのみ理解される。
f(x)$ が近似次数 $(rm poly(n))$ の連続関数であれば、2-nTr[f(A)]$ を定数加法誤差まで見積もる。
論文 参考訳(メタデータ) (2026-04-02T01:15:12Z) - Hamiltonian Decoded Quantum Interferometry for General Pauli Hamiltonians [6.4675604105664]
一般ハミルトニアン$H=sum_ic_iP_i$に対する量子干渉法(HDQI)を$n$-qubit系上で検討する。
適切な復号オラクルにアクセスすると、$_mathcal P(H) = fracmathcal P(H)textTr[$cal P(H)]$, $mathcal P(H)textTr[$cal P(H)]$という状態を作るための効率的な量子アルゴリズムが存在することを示す。
論文 参考訳(メタデータ) (2026-01-26T18:44:59Z) - Hamiltonian Decoded Quantum Interferometry [69.7049555871155]
我々は、ハミルトニアン復号量子干渉計(HDQI)を紹介する。
HDQIはコヒーレントな測定とパウリ群のシンプレクティック表現を利用して、ギブスサンプリングとハミルトン・ベリアンを減少させる。
そこで,HDQI はギブズ状態を任意の温度で効率的に生成し,物理的にモチベーションを持つハミルトニアンのクラスに適応することを示した。
論文 参考訳(メタデータ) (2025-10-09T08:06:15Z) - Kernpiler: Compiler Optimization for Quantum Hamiltonian Simulation with Partial Trotterization [38.59115551211364]
ハミルトニアンシミュレーションのための既存のコンパイル技術は、現在の量子コンピュータで可能なゲート数を提供するのに苦労している。
我々は部分的トロッター化を提案し、非可換なハミルトン項の集合を直接コンパイルすることで、トロッターステップ当たりの誤差を少なくすることができる。
スピンおよびフェルミオンハミルトニアンの数値シミュレーションで、カイスキットのRustiqやカイスキットのPaulievolutiongateのような最先端の手法と比較して、新しいコンパイラは最大10倍のゲートと深さカウントの削減を提示する。
論文 参考訳(メタデータ) (2025-04-09T18:41:31Z) - A Polynomial-Time Algorithm for Variational Inequalities under the Minty Condition [77.76727425995186]
変分不等式(SVIs)の解決は、最適化の中心にある基礎的な問題である。
ほとんどの研究は、その難易度を損なう特定のサブクラスを彫刻することに重点を置いている。
論文 参考訳(メタデータ) (2025-04-04T13:24:41Z) - Quantum singular value transformation without block encodings: Near-optimal complexity with minimal ancilla [18.660349597156266]
量子特異値変換(Quantum Singular Value Transformation, QSVT)は,最もよく知られた量子アルゴリズムをカプセル化する統一フレームワークである。
その結果,量子アルゴリズムの新しいフレームワークが確立され,ハードウェアのオーバヘッドが大幅に低減され,ほぼ最適性能が維持された。
論文 参考訳(メタデータ) (2025-04-03T08:24:15Z) - Hamiltonian simulation for low-energy states with optimal time dependence [45.02537589779136]
低エネルギー部分空間内のハミルトン$H$の下で時間発展をシミュレートする作業を考える。
我々は,$O(tsqrtlambdaGamma + sqrtlambda/Gammalog (1/epsilon))$クエリを,任意の$Gamma$に対するブロックエンコーディングに使用する量子アルゴリズムを提案する。
論文 参考訳(メタデータ) (2024-04-04T17:58:01Z) - Unbiased constrained sampling with Self-Concordant Barrier Hamiltonian
Monte Carlo [18.14591309607824]
Barrier Hamiltonian Monte Carlo (BHMC) は、多様体 $mathrmM$ 上の Gibbs 分布 $pi$ からサンプリングすることを目的とした HMC アルゴリズムのバージョンである。
本稿では,この問題に対処するため,新たなフィルタステップである"進化チェックステップ"を提案する。
我々の主な結果は、これらの2つの新しいアルゴリズムが$pi$に対して可逆的なマルコフ連鎖を生成し、以前の実装と比較してバイアスに悩まされないことを証明している。
論文 参考訳(メタデータ) (2022-10-21T12:56:07Z) - The Complexity of Translationally Invariant Problems beyond Ground State
Energies [6.445605125467574]
地元のハミルトンに関する3つの基本的な質問は、$mathsfQMA$-hard、$mathsfPmathsfQMA[log]$-hard、$mathsfQCMA$-hardである。
我々は,APX-SIMとGSCONの両方の翻訳不変バージョンが難易度を保っていることを示す。
論文 参考訳(メタデータ) (2020-12-23T14:44:57Z) - Termwise versus globally stoquastic local Hamiltonians: questions of
complexity and sign-curing [3.762360672951513]
確率的局所ハミルトニアン問題は、全世界の確率的ハミルトニアンに対しても$textbfStoqMA$-completeであることが示される。
我々は、クリフォード変換が乱数 1D $XYZ$ Hamiltonians のクラスにサインキュアできることを示すことによって、サインカリング変換のクラスを拡張する。
論文 参考訳(メタデータ) (2020-07-23T12:29:46Z) - Effective gaps are not effective: quasipolynomial classical simulation
of obstructed stoquastic Hamiltonians [0.0]
古典的アルゴリズムは、$k$-局所確率的ハミルトニアン$H$の有効部分空間から効率的にサンプリングする。
我々の結果は、k$-ローカルハミルトニアンの隠れ対称性から生じる古典計算と確率的AQCの指数関数的分離を除外する。
論文 参考訳(メタデータ) (2020-04-18T18:25:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。