Exponential decay property for eigenfunctions of quantum walks

Under an abstract setting, we show that eigenvectors belong to discrete spectra of unitary operators have exponential decay properties. We apply the main theorem to multi-dimensional quantum walks and show that eigenfunctions belong to a discrete spectrum decay exponentially at infinity.