有向图上的量子行走

我们考虑有向图上量子行走的定义。若对每一对顶点 (i, j),若 i 连向 j 则存在从 j 到 i 的路径,则称有向图是可逆的。我们证明可逆性是有向图允许离散时间量子行走概念的充分必要条件,并讨论该条件的一些推论。我们提出一种在非可逆有向图上定义‘部分量子’行走的方法。