量子科技中心_量科网

该研究团队提出将卢卡西维茨逻辑作为一种可行的蕴涵代数体系应用于量子比特系统。研究成果表明，三值卢卡西维茨逻辑能被嵌入任意量子纠错稳定子码的稳定空间中。研究人员随后完整刻画了在群同构意义下可能出现的非平凡错误类型。最后，该团队通过具体算法实例证明：任何符合卢卡西维茨逻辑的算法都能立即在量子系统上运行，并有效利用其不确定态。