arXiv · quant-ph· Xiangling Xu, Matthias Sch\"otz, Jie Wang, Victor Magron, Igor Klep, Omar Fawzi, Marc-Olivier Renou·· 1 天前精选
体谱隙可从上方认证但不可从下方计算
The bulk spectral gap is certifiable from above but uncomputable from below
arXiv:2606.03836v4阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Xiangling Xu, Matthias Sch\"otz, Jie Wang, Victor Magron, Igor Klep, Omar Fawzi, Marc-Olivier Renou
研究任务与主要进展
作者提出可生成体谱隙认证上界层级的通用算法，并报告即使对于固定局域维度的平移不变近邻链，体谱隙是否为正仍不可判定。作者进一步将该算法应用于自旋1/2 kagome海森堡反铁磁体，给出首个非平凡的体隙认证上界；当前内容基于论文摘要。
阶段、条件与复现 · 深读核对
- 任务输出与输入访问模型是什么？
- 在什么假设、规模与资源条件下成立？
- 与哪种经典基线比较，是否计入编码与读出？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
本站判断
论文摘要报告了针对体谱隙的通用认证上界算法，并论证体谱隙问题即使在固定局域维度的平移不变近邻链中仍不可判定；作者还将算法应用于自旋1/2 kagome海森堡反铁磁体，得到首个非平凡的体隙认证上界。相关不可判定性与RE完备性属于作者报告的证明结论，当前材料仅据摘要整理。
来源：arXiv · quant-ph · arxiv.org