算子空间、线性逻辑与量子理论的海森堡-薛定谔对偶性
计算机科学中的逻辑
2025-05-12 v1 量子物理
摘要
我们证明，以完全压缩映射为态射的算子空间范畴 OS 是局部可数可表现的，并且是 Lafont 意义下的直觉主义线性逻辑模型。随后，我们描述了一个基于 OS 的经典线性逻辑模型，其对偶性与量子理论的海森堡-薛定谔对偶性相容。我们还证明，OS 为研究纯态与混态量子信息、两者之间的相互作用，乃至量子开关等高阶量子映射提供了一个良好的框架。
引用
@article{arxiv.2505.06069,
title = {Operator Spaces, Linear Logic and the Heisenberg-Schr\"odinger Duality of Quantum Theory},
author = {Bert Lindenhovius and Vladimir Zamdzhiev},
journal= {arXiv preprint arXiv:2505.06069},
year = {2025}
}
备注
To appear in LICS'25. See our paper arXiv:2412.20999 for some additional proofs