迈向抽象量子自动机的概念

本文的主要目标是对处理量子信息的系统给出严格的数学描述。为此，作者将抽象状态机视为经典计算系统的模型。通过引入状态结构的约束来细化这类机器，即假设计算过程的状态有两个分量：控制单元状态和记忆状态。然后，作者通过用随机演化机制替代确定性演化机制来修改这类模型。这种方法可以推广到量子情形：可以用量子记忆上的量子操作替代经典记忆的变换。因此，作者需要构建一个作用于量子记忆上的操作的数学模型。这引导他们提出了抽象量子自动机的概念。进一步，作者证明了量子隐形传态过程可以被描述为某个抽象量子自动机的演化过程。