論文の概要: Complexity of Supersymmetric Systems and the Cohomology Problem
- arxiv url: http://arxiv.org/abs/2107.00011v2
- Date: Thu, 18 Apr 2024 11:28:25 GMT
- ステータス: 処理完了
- システム内更新日: 2024-04-21 20:14:16.652876
- Title: Complexity of Supersymmetric Systems and the Cohomology Problem
- Title(参考訳): 超対称性系の複雑性とコホモロジー問題
- Authors: Chris Cade, P. Marcos Crichigno,
- Abstract要約: 我々は、$mathcal N=2 $ 超対称性を持つフェルミオンハミルトニアンの文脈における局所ハミルトニアン問題の複雑さを考える。
これを研究する主な動機は、超対称系の基底状態エネルギーがちょうどゼロであることと、あるコホモロジー群が非自明であることである。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We consider the complexity of the local Hamiltonian problem in the context of fermionic Hamiltonians with $\mathcal N=2 $ supersymmetry and show that the problem remains $\mathsf{QMA}$-complete. Our main motivation for studying this is the well-known fact that the ground state energy of a supersymmetric system is exactly zero if and only if a certain cohomology group is nontrivial. This opens the door to bringing the tools of Hamiltonian complexity to study the computational complexity of a large number of algorithmic problems that arise in homological algebra, including problems in algebraic topology, algebraic geometry, and group theory. We take the first steps in this direction by introducing the $k$-local Cohomology problem and showing that it is $\mathsf{QMA}_1$-hard and, for a large class of instances, is contained in $\mathsf{QMA}$. We then consider the complexity of estimating normalized Betti numbers and show that this problem is hard for the quantum complexity class $\mathsf{DQC}1$, and for a large class of instances is contained in $\mathsf{BQP}$. In light of these results, we argue that it is natural to frame many of these homological problems in terms of finding ground states of supersymmetric fermionic systems. As an illustration of this perspective we discuss in some detail the model of Fendley, Schoutens, and de Boer consisting of hard-core fermions on a graph, whose ground state structure encodes $l$-dimensional holes in the independence complex of the graph. This offers a new perspective on existing quantum algorithms for topological data analysis and suggests new ones.
- Abstract(参考訳): 我々は、局所ハミルトニアン問題の複雑性を$\mathcal N=2 $ 超対称性を持つフェルミオンハミルトニアンの文脈で考慮し、その問題が$\mathsf{QMA}$-完全であることを示す。
これを研究する主な動機は、超対称系の基底状態エネルギーがちょうどゼロであることと、あるコホモロジー群が非自明であることである。
このことは、代数トポロジー、代数幾何学、群論などの問題を含むホモロジー代数で生じる多くのアルゴリズム問題の計算複雑性を研究するためにハミルトンの複雑さのツールをもたらすための扉を開く。
k$-局所コホモロジー問題を導入して、それが$\mathsf{QMA}_1$-hardであることを示し、大規模なインスタンスに対して、$\mathsf{QMA}$に含まれることを示す。
次に、正規化されたベティ数の推定の複雑さを考察し、この問題が量子複雑性クラス $\mathsf{DQC}1$ にとって困難であることを示し、また、大規模なインスタンスのクラスは $\mathsf{BQP}$ に含まれる。
これらの結果を踏まえて、超対称フェルミオン系の基底状態を見つけるという観点から、これらのホモロジー問題の多くをフレーム化するのは自然であると主張する。
この視点の図解として、グラフ上のハードコアフェルミオンからなるフェンドリー、シューテンス、ド・ボアのモデルについて、基底状態構造はグラフの独立複素体に$l$次元の穴を符号化する。
これは、トポロジカルデータ分析のための既存の量子アルゴリズムの新しい視点を提供し、新しいものを提案する。
関連論文リスト
- Quantum computing and persistence in topological data analysis [41.16650228588075]
トポロジカルデータ解析(TDA)は、そのトポロジにおけるホールの数と持続性を調べることによって、データセットからノイズ・ロバストの特徴を抽出することを目的としている。
TDAのコアタスクと密接に関連する計算問題は$mathsfBQP_1$-hardであり、$mathsfBQP$に含まれることを示す。
我々のアプローチは、誘導されたスパースハミルトニアン問題(英語版)の変種における穴の永続化を符号化することに依存している。
論文 参考訳(メタデータ) (2024-10-28T17:54:43Z) - Exactly solvable models for fermionic symmetry-enriched topological phases and fermionic 't Hooft anomaly [33.49184078479579]
対称性と位相的性質の相互作用は、現代物理学において非常に重要な役割を果たす。
格子モデルにおけるこれらのフェルミオンSET(fSET)相をどうやって実現するかは、難しい問題である。
論文 参考訳(メタデータ) (2024-10-24T19:52:27Z) - Solving Free Fermion Problems on a Quantum Computer [0.0]
指数関数的に改善されたポリログ$(N)$コストで量子アルゴリズムによって解くことができる、相互作用しないフェルミオン問題をいくつか提示する。
シミュレーションアルゴリズムは,自由なボソンシステムを含む他の有望な対象に一般化可能であることを示す。
論文 参考訳(メタデータ) (2024-09-06T18:25:03Z) - Gapped Clique Homology on weighted graphs is $\text{QMA}_1$-hard and contained in $\text{QMA}$ [0.0]
計算トポロジにおける古典問題の複雑性, ホモロジー問題について検討する。
複雑性は量子複雑性クラスによって特徴づけられる。
我々の結果は、ホモロジーと超対称量子力学の結びつきの側面と見なすことができる。
論文 参考訳(メタデータ) (2023-11-28T21:15:30Z) - SQ Lower Bounds for Learning Bounded Covariance GMMs [46.289382906761304]
P= sum_i=1k w_i MathcalN(boldsymbol mu_i,mathbf Sigma_i)$ という形で、分離されたガウスの混合を $mathbbRd$ で学習することに焦点を当てる。
この問題に対する統計的クエリ(SQ)アルゴリズムは、少なくともdOmega (1/epsilon)$の複雑さを必要とすることを証明している。
論文 参考訳(メタデータ) (2023-06-22T17:23:36Z) - Detection-Recovery Gap for Planted Dense Cycles [72.4451045270967]
期待帯域幅$n tau$とエッジ密度$p$をエルドホス=R'enyiグラフ$G(n,q)$に植え込むモデルを考える。
低次アルゴリズムのクラスにおいて、関連する検出および回復問題に対する計算しきい値を特徴付ける。
論文 参考訳(メタデータ) (2023-02-13T22:51:07Z) - Clique Homology is QMA1-hard [0.0]
simplicial complex のホモロジー群を決定する決定問題は QMA1-hard である。
これは、古典的と思われる問題は、実際には量子力学である可能性を示唆している。
本稿では、トポロジカルデータ解析における量子優位性の問題への潜在的な影響について論じる。
論文 参考訳(メタデータ) (2022-09-23T18:14:16Z) - Simultaneous Stoquasticity [0.0]
確率ハミルトニアンは、局所ハミルトニアン問題の計算複雑性において重要な役割を果たしている。
2つ以上のハミルトニアンがユニタリ変換によって同時に確率的になるかどうかという問題に対処する。
論文 参考訳(メタデータ) (2022-02-17T19:08:30Z) - Global Convergence of Gradient Descent for Asymmetric Low-Rank Matrix
Factorization [49.090785356633695]
非対称な低ランク分解問題: [mathbbRm min d , mathbfU$ および MathV$ について検討する。
論文 参考訳(メタデータ) (2021-06-27T17:25:24Z) - Geometric and computational aspects of chiral topological quantum matter [0.0]
2+1次元量子物質のキラル位相について検討する。
このような位相は、消滅しないキラル中心電荷$c$によって特徴づけられる。
論文 参考訳(メタデータ) (2021-06-21T07:34:05Z) - Classification Under Misspecification: Halfspaces, Generalized Linear
Models, and Connections to Evolvability [39.01599245403753]
特に、Massartノイズ下でのハーフスペースの学習問題を$eta$で検討する。
我々は任意のSQアルゴリズムが$mathsfOPT + epsilon$を達成するのに超ポリノミカルな多くのクエリを必要とすることを示した。
また、Massartノイズ下でハーフスペースを学習するためのアルゴリズムを実証的に研究し、いくつかの魅力的なフェアネス特性を示すことを示した。
論文 参考訳(メタデータ) (2020-06-08T17:59:11Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。