量子编码理论中的一个基本问题是确定给定块长度和距离的量子码的最大尺寸。近期一项研究引入了基于半定规划的边界条件,强化了著名的量子线性规划边界。然而,浮点计算的不精确性阻碍了从数值方法中提取严格的非存在性证明。在此,研究人员通过为一系列量子码提供有理数不可行性证明来解决该问题。该团队采用具有启发式舍入至代数表达式的聚类低秩求解器,能够改进18个关于6≤n≤19比特量子码最大尺寸的上界。该工作凸显了半定规划在量子编码边界研究中的实用性和可扩展性。
作者单位:
VIP可见
提交arXiv:
2026-03-20 12:33