Abstract:Quantum 8, 1325 (2024). https://doi.org/10.22331/q-2024-04-30-1325 We consider the complexity of the local Hamiltonian problem in the context of fermionic Hamiltonians with supersymmetry and show that the problem remains -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 -local Cohomology problem and showing that it is -hard and, for a large class of instances, is contained in . We then consider the complexity of estimating normalized Betti numbers and show that this problem is hard for the quantum complexity class , and for a large class of instances is contained in . 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 -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.

Homology of Lie algebra of supersymmetries and of super Poincaré Lie algebra

Homology of Lie algebra of supersymmetries

Cohomology and Deformations of 3-Dimensional Heisenberg Hom-Lie Superalgebras

Supersymmetries in Calabi-Yau Geometry

Homotopy representations of extended holomorphic symmetry in holomorphic twists

Structure of polynomial representations for orthosymplectic Lie superalgebras

Supersymmetric Integrable Hamiltonian Systems, Conformal Lie Superalgebras K(1,N=1,2,3), and Their Factorized Semi-Supersymmetric Generalizations

Supersymmetric field theories and generalized cohomology

Superalgebras with Homogeneous structures of Lie type

Cohomology and support varieties for Lie superalgebras II

Complexity of Supersymmetric Systems and the Cohomology Problem

Central extensions of restricted Lie superalgebras and classification of $p$-nilpotent Lie superalgebras in dimension $4$

Homology of complete symbols and non-commutative geometry

Lagrangian extensions and left symmetric structures on the four-dimensional real Lie superalgebras

Automorphisms and twisted forms of the N = 1, 2, 3 Lie conformal superalgebras

Enhanced symmetries in minimally-twisted three-dimensional supersymmetric theories

Biderivations of Hom-Lie Algebras and Superalgebras

On a hidden supersymmetry of cosmological billiards

Generalized Cohomologies and Supersymmetry

The Schur-Weyl duality and Invariants for classical Lie superalgebras