论抽象 H*-代数的结构
计算机科学中的逻辑
2018-03-05 v1 量子物理
摘要
此前我们已表明，Doering 与 Isham 的量子理论拓扑斯方法可推广至 Abramsky 与 Coecke 的量子理论幺半群方法中所研究的一类范畴。在量子理论的幺半群方法中，H*-代数给出了态与观测量的公理化。此处我们表明，H*-代数与广义拓扑斯量子理论方法中的态与观测量概念自然对应。随后我们将这些结果与 Heunen 和 Jacobs 的量子逻辑 dagger-核方法相结合，并借此证明 H*-代数的一个结构定理。该结构定理是 Ambrose 关于 Hilbert 空间范畴中 H*-代数结构定理的推广。
引用
@article{arxiv.1803.00705,
title = {On the Structure of Abstract H*-Algebras},
author = {Kevin Dunne},
journal= {arXiv preprint arXiv:1803.00705},
year = {2018}
}
备注
In Proceedings QPL 2017, arXiv:1802.09737