量子科技中心_量科网

该工作展示了以完全收缩为态射的算子空间范畴OS是局部可数呈现的，并且是Lafont意义上的直觉线性逻辑模型。随后，研究团队描述了一个基于OS的经典线性逻辑模型，其对偶性与量子理论中的海森堡-薛定谔对偶性相兼容。此外，该团队还表明，OS为研究纯态和混合态量子信息、两者之间的相互作用，甚至如量子开关等高阶量子映射提供了一个良好的框架。