研究者参与式流程将有限计算结果推广为经 Lean 检查的量子码族。
资讯摘要
论文提出一种研究者参与式发现流程，结合LLM引导的程序进化、精确评估、数学推广、不存在性认证与形式化证明检查，用于纠缠辅助量子纠错码（EAQECC）。进化程序先给出有限量子比特构造，研究者将其推广为码族 [[n,1,n-1;n-q-1]]_q，Lean 检查了该码族的代数证书；结合纠缠提升，该码族填补了存档 EAQECC 表中的 54 个空缺。作者报告在八组配对生成块的对照中，验证筛选的迭代程序在未见长度 n=13、15 上的成功率分别为 46.1% 和 31.6%，独立生成程序为 19.5% 和 3.1%。
要点速读
- 论文提出研究者参与式流程，将程序进化、精确评估、数学推广、不存在性认证与形式化证明检查结合，应用于 EAQECC。
- 进化程序产生的有限构造被推广为码族 [[n,1,n-1;n-q-1]]_q，Lean 检查其代数证书，该码族填补存档表中的 54 个空缺。
- 作者报告对照实验中，验证筛选的迭代程序在未见长度 n=13、15 上成功率为 46.1% 和 31.6%，独立生成程序为 19.5% 和 3.1%。
中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/11/3 08:00:27（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。