English

Unweighted Gapped Clique Homology is $\mathsf{QMA}_1$-complete

Quantum Physics 2026-08-03 v1

Abstract

Deciding whether the clique complex of a given graph has nontrivial homology in a given dimension, under vertex-product weighting and an inverse-polynomial spectral gap promise on the combinatorial Hodge Laplacian, is known to be QMA1\mathsf{QMA}_1-hard and contained in QMA\mathsf{QMA} by King and Kohler (FOCS 2024). The vertex weights are essential in the known proof, where they provide the scale separation needed for the spectral gap analysis. We prove that, when every vertex has weight one, the problem remains QMA1g2\mathsf{QMA}_1^{g_2}-hard and is contained in QMA1g2\mathsf{QMA}_1^{g_2}, where QMA1g2\mathsf{QMA}_1^{g_2} is QMA1\mathsf{QMA}_1 with the universal gate set g2={X,CX,CCX,HH}g_2=\{\mathsf{X},\mathsf{CX},\mathsf{CCX},H\otimes H\}. The construction replaces weight by expansion: each vertex of the weighted complex is blown up into a clique whose size encodes its weight. The block sizes are chosen so that symmetric averages reproduce the weighted Hodge metric. The symmetric sector therefore carries the weighted Laplacian up to a common scalar factor, while a local averaging argument gives a uniform lower bound on the orthogonal complement to the symmetric sector. Hence the weighted gap analysis transfers to an unweighted clique complex without introducing either additional low-energy states or spurious homology. Containment in QMA1g2\mathsf{QMA}_1^{g_2} follows from Rudolph's exact linear combination of unitaries simulation of sparse integer clique Laplacians. The result shows that the gap promise, rather than vertex weighting, is the source of the complexity of gapped clique homology.

Keywords

Cite

@article{arxiv.2608.02726,
  title  = {Unweighted Gapped Clique Homology is $\mathsf{QMA}_1$-complete},
  author = {Ryu Hayakawa},
  journal= {arXiv preprint arXiv:2608.02726},
  year   = {2026}
}

Comments

25 pages, 3 figures