arXiv · quant-ph· Tal Barak·· 6 天前
Tal Barak 完整证明加权有谱隙 Clique Homology 的 QMA₁ 困难性
A Complete Proof of $\mathsf{QMA}_1$-Hardness for Weighted Gapped Clique Homology
arXiv:2610.03584v1阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Tal Barak
首次提交：2026-10-03 00:55
研究任务与主要进展
Tal Barak 完整证明了固定高效可计算的 k(n) 和逆多项式 γ(n) 下，加权有谱隙 clique homology 对 QMA₁(\mathcal G) 困难。
阶段、条件与复现 · 深读核对
- 任务输出与输入访问模型是什么？
- 在什么假设、规模与资源条件下成立？
- 与哪种经典基线比较，是否计入编码与读出？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源：arXiv · quant-ph · arxiv.org