量子科技中心_量科网

可迹幺半范畴用于建模那些能将自身输出反馈回输入的过程，从而抽象出迭代行为。以直和运算为张量积的有限维希尔伯特空间范畴并不具备可迹性。但令人惊讶的是，2014年Bartha证明了等距同构构成的幺半子范畴具有可迹性——这一性质同样适用于余等距映射、酉算子以及压缩映射。这意味着量子过程的输出可能被反馈至其输入，类似于经典迭代机制。本工作表明：Bartha的结论并不局限于希尔伯特空间，而是适用于任意具有Moore-Penrose伪逆（即逆元的自然dagger范畴推广）的dagger加法范畴。