arXiv 论文用 OpenAI 证明 Haldane 能隙的方法证明 S=1 链基态唯一性

一篇 arXiv 论文证明无限 S=1 Heisenberg 反铁磁链在平移不变基态中的唯一性，并推广到 J-D 模型中 |D| 足够小的情形。证明借助 OpenAI 此前 Haldane 能隙证明的分析工具与数值输入，结合空间转移谱集中、指数小的低温自由能修正和 Golden-Thompson 比较，不假设能隙或自旋旋转对称。作者指出唯一纯基态具有局域唯一性和能隙，且对 D 连续。作者说明 ChatGPT Astra 在证明构建和论文撰写上作出实质贡献。