量子科技中心_量科网

该研究团队提出了一种受有限维量子理论中海森堡-薛定谔对偶性启发的MALL（乘性加性线性逻辑）范畴模型。在该模型中，具有正逻辑极性的公式证明对应于完全正定且保迹的映射（CPTP映射），即薛定谔绘景下的量子操作；而具有负逻辑极性的公式证明则对应于完全正定且保单位的映射（CPU映射），即海森堡绘景下的量子操作。此项数学构建基于非交换几何与有限维冯·诺依曼（余）代数理论，这些代数可被定义为有限维算子空间范畴内特定类型的（余）幺半群对象。