量子科技中心_量科网

量子编程语言中的两种主要控制概念通常被称为“量子”控制和“经典”控制。后者基于经典信息（可能源自量子测量结果）控制程序流，该范式特别适合混合态量子计算；而量子控制则聚焦于纯量子计算，其“控制”基于量子叠加原理。传统上这两种范式难以兼容，学界几乎总是将其分开处理。该研究表明这两种范式可在同一系统中实现融合，其关键要素包括：（1）语法层面：通过模态将纯量子类型融入混合态量子类型系统；（2）操作层面：改进量子λ演算中的“量子配置”概念，用纯量子原语替代量子数据；（3）语义层面：在量子力学的海森堡绘景中，分别为纯计算和混合态计算建立适配的希尔伯特空间（子）范畴与冯·诺依曼代数范畴。