资料快照:2026-10-07 · 中文研究导读

来源、版本与核验记录

核对日期:2026-10-07(北京时间)。固定提交:adc7f1241b42e322a6451854ab7e4b4c146bf78a。

范围与证据层次

官方资料

形式化目录匹配结果

“已列入”仅表示该稿件路径出现在固定版本 formalization.yaml 的 sources 目录中;不表示本报告已编译证明、审计公理或确认形式命题与全部物理陈述等价。“未列入”也不证明仓库中绝无相关 Lean 文件。

问题族 稿件数 目录列入数
260 13 0
261 2 0
262 3 1
263 3 1
264 3 0
265 2 0
266 2 0
267 5 0
268 2 0
269 2 1
270 2 0
271 4 0
272 1 0
273 1 0
274 2 2
275 2 0
276 1 1
277 1 1
278 1 0
279 1 0
280 1 0
281 2 0
282 1 0
283 1 0
284 1 0

合计 59 篇中 7 篇列入,分属 6 个问题族。特别地,262 仅标量稿列入;269 仅无扰动能隙稿列入;不能据此宣称其所有配套推广已形式化。

检索过程与覆盖限制

检索采用“官方目录 → 主稿摘要与定理 → 配套稿条件 → 原始历史文献”的顺序,检索日在 2026-10-07。代表查询包括:

这是一份围绕指定目录的主题介绍,不是按预注册方案进行的全领域系统综述,也没有声称穷尽 2026 年以前所有独立进展。检索中特别核实了 arXiv:2411.00976 已撤回,未把其摘要里的旧证明主张作为既成事实。

59 篇稿件的固定版本链接

下列 Oxxx-yy 是本文检索编号;官方 BibTeX 键保留在每条后面,并收录于 references.bib。

260|时空 Penrose 不等式:黑洞面积需要多少质量

261|Anderson 模型:无序为何在二维和三维表现不同

262|一维 Lieb–Thirring 最优常数:势阱能束缚多少负能量

263|电离猜想:大原子的最外层为何仍保持有限尺度

264|Kerr 附近的强宇宙监督:爱因斯坦方程能预测到哪里

265|二维有隙面积律:为什么基态纠缠没有铺满体积

266|六维互无偏基:六能级系统能容纳几组完全互补的测量

267|稀薄玻色气体:正温凝聚与量子耗尽

268|自旋一 Haldane 能隙:整数自旋链的经典预言

269|Laughlin 能隙及无序稳定性:分数量子霍尔态为何坚固

270|BFSS 矩阵模型的束缚态:D0 膜如何组成一个粒子

271|Heisenberg 铁磁体:自发磁化与 Bloch 的低温定律

272|有纠缠却提不出密钥:量子资源之间不是一回事

273|熵光子数不等式:两束量子光混合后最少有多混乱

274|常数深度量子电路不能算奇偶性:浅电路的能力边界

275|连续库仑电子问题的 QMA 困难性:困难确实来自物理模型本身

276|广义振幅阻尼信道:热噪声下一个量子比特能传多少经典信息

277|纠缠博弈的阈值重复:量子相关不能无限规避统计放大

278|Kohn–Sham 系综表象的反例:相同密度未必来自一个独立粒子势

279|固定有限门集的精确量子分解:把成功概率提高到严格的一

280|顶点算符代数与共形网:两种共形场论语言何时等价

281|QAOA 达到 SK 基态能量:量子变分电路能否追上自旋玻璃极值

282|四维尺度对称能否增强为共形对称

283|用布尔预言机合成任意幺正:把量子操作编码成经典查询

284|经典随机与量子查询的最优幂次:总布尔函数可有近四次优势

正文采用的历史来源链接

以下链接均在正文中与对应论点相邻。以摘要/书目信息为主的核对不代表全文审稿。

返回总览