证书化量子纠错码参数：确定双变量双循环码码距

Shuoming An 与 Fusheng Yang 提出用可证明大小的证书认证量子纠错码参数：证书为列表、配对或符号实例，其正确性由证明助手的内核通过计算判定，证书大小本身由定理确定。基于论文摘要，作者报告已确定两个已发表码族的码距：双变量双循环码 [[144,12,12]] 完成认证；仿射置换码此前刊印为 [[1152,580,≤12]] 和 [[2304,1156,≤14]]，此次分别确定为 12 和 14。 作者称方法共覆盖 11 个代码族、39 组参数，过程中只信任三条标准公理，流水线的规格步骤预设为 20 列。

AI 根据报道生成 · 21 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。