Quantum State Diffusion on a Graph
John C Vining, Howard A. Blair
TL;DR
Diffusion of quantum states on general graphs is challenging under traditional single-walker or globally informed models. The authors propose a distributed, edge-centric multi-walker framework where each vertex hosts a walker, coin preparation uses $W$-states, and diffusion is implemented via fixed local channels and CCSWAP-based edge interactions within a Watrous-inspired quantum cellular automaton. Major contributions include a formal vertex/edge labeling scheme, explicit $U_W^{v}$ operators for $W$-state coin preparation, an edge-selection distribution $p_{u,v}$ with independence constraints, and demonstrations of both undirected and directed diffusion variants. The approach offers structure-agnostic, localized diffusion on arbitrary graphs at the cost of increased qubit overhead, with future work targeting qubit reduction and integration with cluster-state techniques.
Abstract
Quantum walks have frequently envisioned the behavior of a quantum state traversing a classically defined, generally finite, graph structure. While this approach has already generated significant results, it imposes a strong assumption: all nodes where the walker is not positioned are quiescent. This paper will examine some mathematical structures that underlie state diffusion on arbitrary graphs, that is the circulation of states within a graph. We will seek to frame the multi-walker problem as a finite quantum cellular automaton. Every vertex holds a walker at all times. The walkers will never collide and at each time step their positions update non-deterministically by a quantum swap of walkers at opposite ends of a randomly chosen edge. The update is accomplished by a unitary transformation of the position of a walker to a superposition of all such possible swaps and then performing a quantum measurement on the superposition of possible swaps. This behavior generates strong entanglement between vertex states which provides a path toward developing local actions producing diffusion throughout the graph without depending on the specific structure of the graph through blind computation.
