The physics of quantum walks on graphs is formulated in Hamiltonian language,
both for simple quantum walks and for composite walks, where extra discrete
degrees of freedom live at each node of the graph. It is shown how to map
between quantum walk Hamiltonians and Hamiltonians for qubit systems and
quantum circuits; this is done for both a single- and multi-excitation coding,
and for more general mappings. Specific examples of spin chains, as well as
static and dynamic systems of qubits, are mapped to quantum walks, and walks on
hyperlattices and hypercubes are mapped to various gate systems. We also show
how to map a quantum circuit performing the quantum Fourier transform, the key
element of Shor's algorithm, to a quantum walk system doing the same. The
results herein are an essential preliminary to a Hamiltonian formulation of
quantum walks in which coupling to a dynamic quantum environment is included.Comment: 17 pages, 10 figure