量智信息中心_量科网

该团队开发了一种基于紧凑闭范畴边界中心表示的高阶量子计算语义框架，该框架建立在Kelly-Laplaza和Abramsky的工作基础之上。态射是由执行过程组合而成的极化边界链接，其中无幺元幺半群求和提供了可逆控制与分支机制。该团队识别出一种称为\emph{本质幺正性}的概念，将幺正性从一阶过程推广到高阶接口；在一阶情形下，它与标准幺正性一致，而在高阶情形下，它刻画了信息相对于边界得以保持的特性。本质幺正性是唯一与dagger-幺半群结构、相干重索引以及柯里化兼容，且在一阶情形下退化为普通幺正性的谓词。量子核心中的每个态射都是本质幺正的。该框架实现了相干量子开关及其他单槽、等比例、保纯超映射作为相干纯组合膨胀。扩展摘要发表于QPL 2026。