An algebraic structure for one-dimensional quantum walks and a new proof of the weak limit theorem

An algebraic structure for one-dimensional quantum walks is introduced. This structure characterizes, in some sense, one-dimensional quantum walks. A natural computation using this algebraic structure leads us to obtain an effective formula for the characteristic function of the transition probability. Then, the weak limit theorem for the transition probability of quantum walks is deduced by using simple properties of the Chebyshev polynomials.