Complete classification of trapping coins for quantum walks on the two-dimensional square lattice

One of the unique features of discrete-time quantum walks is called trapping, meaning the inability of the quantum walker to completely escape from its initial position, although the system is translationally invariant. The effect is dependent on the dimension and the explicit form of the local coin. A four-state discrete-time quantum walk on a square lattice is defined by its unitary coin operator, acting on the four-dimensional coin Hilbert space. The well-known example of the Grover coin leads to a partial trapping, i.e., there exists some escaping initial state for which the probability of staying at the initial position vanishes. On the other hand, some other coins are known to exhibit strong trapping, where such an escaping state does not exist. We present a systematic study of coins leading to trapping, explicitly construct all such coins for discrete-time quantum walks on the two-dimensional square lattice, and classify them according to the structure of the operator and the manifestation of the trapping effect. We distinguish three types of trapping coins exhibiting distinct dynamical properties, as exemplified by the existence or nonexistence of the escaping state and the area covered by the spreading wave packet.