量子科技中心_量科网

量子理论的稳定子片段是量子纠错和量子程序容错编译的基础构建模块。该研究团队在本文中为稳定子操作开发了一套健全、通用且完备的指称语义体系，这些操作包括测量、经典控制的泡利算子以及仿射经典运算，其中量子纠错码被作为一等公民处理。这些操作被解释为有限域上的特定仿射关系。这为量子程序的标准算子代数语义（其时间复杂度随状态空间规模扩大呈指数增长）提供了概念清晰且计算易处理的替代方案。该工作通过设计一种具有完全抽象指称语义的小型概念验证汇编语言，展示了所得语义体系的强大表达能力。