{"id":"arxiv/2610.03584","url":"https://arxiv.org/abs/2610.03584","tags":["quant-ph","math.AT"],"score":0,"title":"A Complete Proof of $\\mathsf{QMA}_1$-Hardness for Weighted Gapped Clique Homology","domain":"quant-ph","source":"arxiv","authors":["Tal Barak"],"reviews":0,"subject":"quant-ph","summary":"The computational complexity of simplicial homology has been studied since the question was raised by Kaibel and Pfetsch, and clique homology was later shown to be $\\mathsf{QMA}_1$-hard by Crichigno and Kohler. King and Kohler subsequently introduced the weighted, spectrally gapped version considered here and developed a reduction intended to establish the same hardness result in this setting. We give a complete proof of the hard direction. The earlier King-Kohler argument contains a gap in the analysis of the nontrivially folded local gadgets, so the required topological and spectral…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-10-02","reactions":{}}