Bennett 与 Stinespring 终相聚首

我们给出一种普适构造，将开放系统上的可逆动力学与封闭系统上的任意动力学相关联：即一个单调限制范畴在良点性下的商所得到的限制仿射完备化。该范畴完备化囊括了经由 Stinespring 扩张的量子信道，以及经由 Bennett 方法的经典计算。此外，在这两种情形下，我们展示了我们的构造如何能通过进一步的普适构造被本质上“撤销”。这表明混合量子理论与经典计算皆立足于完全可逆的基础之上。