arXiv cs.AI· Jae-Hyun Baek, Byung-Sun Won, Jon-Lark Kim·· 1 天前AI 评分44
研究人员在环演化发现纠缠辅助量子纠错码族
Researcher-in-the-Loop Evolutionary Discovery of Entanglement-Assisted Quantum Code Families
AI 导读
研究人员提出结合程序演化、数学泛化与形式化验证的研究人员在环流程，成功发现了纠缠辅助量子纠错码族（EAQECCs）。该码族经 Lean 形式化验证，填补了 EAQECC 归档表格中的 54 个空白，并公开了 115 个验证码记录与 10 个不可存在性证明。在未见长度 n=13 和 15 的测试中，迭代演化程序成功率达 46.1% 和 31.6%，远高于独立生成程序。
来源：arXiv cs.AI · arxiv.org