量智信息中心_量科网

单子在函数式编程中是一种无处不在的结构，用于建模计算效应。例如，状态单子对计算与内存系统交互的效应进行建模。在此，该研究引入量子测量单子 \(\mathcal{I}_\mathcal{A}\)，它对计算与具有可观测代数 \(\mathcal{A}\) 的量子系统交互的效应进行建模。这可以被视为状态单子的非交换推广。该研究以两种版本构建该量子测量单子：集合范畴上的有限版本和可测空间范畴上的测度论版本（后者假设 \(\mathcal{A}\) 是类型I von Neumann代数，且具有可分预对偶）。两个版本都是强单子。测度论版本的构建基于一种新的量子操作值函数关于状态值测度的积分概念。