Abstract:We study the complexity of a classic problem in computational topology, the homology problem: given a description of some space $X$ and an integer $k$, decide if $X$ contains a $k$-dimensional hole. The setting and statement of the homology problem are completely classical, yet we find that the complexity is characterized by quantum complexity classes. Our result can be seen as an aspect of a connection between homology and supersymmetric quantum mechanics. We consider clique complexes, motivated by the practical application of topological data analysis (TDA). The clique complex of a graph is the simplicial complex formed by declaring every $k+1$-clique in the graph to be a $k$-simplex. Our main result is that deciding whether the clique complex of a weighted graph has a hole or not, given a suitable promise on the gap, is $\text{QMA}_1$-hard and contained in $\text{QMA}$. Our main innovation is a technique to lower bound the eigenvalues of the combinatorial Laplacian operator. For this, we invoke a tool from algebraic topology known as \emph{spectral sequences}. In particular, we exploit a connection between spectral sequences and Hodge theory. Spectral sequences will play a role analogous to perturbation theory for combinatorial Laplacians. In addition, we develop the simplicial surgery technique used in prior work. Our result provides some suggestion that the quantum TDA algorithm \emph{cannot} be dequantized. More broadly, we hope that our results will open up new possibilities for quantum advantage in topological data analysis.

A Weighted Quiver Kernel using Functor Homology

A functorial Dowker theorem and persistent homology of asymmetric networks

Hodge Decompositions for Weighted Hypergraphs

Weighted homology theory of orbifolds and Weighted Polyhedra

Equivariant approach to weighted projective curves

On Topological Representation Theory from Quivers

The weak categorical quiver minor theorem and its applications: matchings, multipaths, and magnitude cohomology

Minkowski difference weight formulas

Admissible Homomorphisms and Equivariant Relations Between Weighted Projective Lines

Differential Cohomology as Diffeological Homotopy Theory

Extended corona product as an exactly tractable model for weighted heterogeneous networks

Weighted simplicial complexes and their representation power of higher-order network data and topology

Undecidability of polynomial inequalities in weighted graph homomorphism densities

Generalized weighted surface algebras

A Structured View on Weighted Counting with Relations to Counting, Quantum Computation and Applications

Weighted homological regularities

Decomposing zero-dimensional persistent homology over rooted tree quivers

Gapped Clique Homology on weighted graphs is $\text{QMA}_1$-hard and contained in $\text{QMA}$

Generalized knots-quivers correspondence

Geometric model for weighted projective lines of type $(p,q)$

Loday-Quillen-Tsygan theorem on Quivers