Given two Hilbert spaces, $mathcal{H}$ and $mathcal{K}$, we introduce an abstract unitary operator $U$ on $mathcal{H}$ and its discriminant $T$ on $mathcal{K}$ induced by a coisometry from $mathcal{H}$ to $mathcal{K}$ and a unitary involution on $mat
hcal{H}$. In a particular case, these operators $U$ and $T$ become the evolution operator of the Szegedy walk on a graph, possibly infinite, and the transition probability operator thereon. We show the spectral mapping theorem between $U$ and $T$ via the Joukowsky transform. Using this result, we have completely detemined the spectrum of the Grover walk on the Sierpinski lattice, which is pure point and has a Cantor-like structure.
In this paper, we consider the quantum walk on $mathbb{Z}$ with attachment of one-length path periodically. This small modification to $mathbb{Z}$ provides localization of the quantum walk. The eigenspace causing this localization is generated by fin
ite length round trip paths. We find that the localization is due to the eigenvalues of an underlying random walk. Moreover we find that the transience of the underlying random walk provides a slow down of the pseudo velocity of the induced quantum walk and a different limit distribution from the Konno distribution.
