  Quantization of a random-walk model is performed by giving a qudit (a
multi-component wave function) to a walker at site and by introducing a quantum
coin, which is a matrix representation of a unitary transformation. In quantum
walks, the qudit of walker is mixed according to the quantum coin at each time
step, when the walker hops to other sites. As special cases of the quantum
walks driven by high-dimensional quantum coins generally studied by Brun,
Carteret, and Ambainis, we study the models obtained by choosing rotation as
the unitary transformation, whose matrix representations determine quantum
coins. We show that Wigner's $(2j+1)$-dimensional unitary representations of
rotations with half-integers $j$'s are useful to analyze the probability laws
of quantum walks. For any value of half-integer $j$, convergence of all moments
of walker's pseudovelocity in the long-time limit is proved. It is generally
shown for the present models that, if $(2j+1)$ is even, the probability measure
of limit distribution is given by a superposition of $(2j+1)/2$ terms of scaled
Konno's density functions, and if $(2j+1)$ is odd, it is a superposition of $j$
terms of scaled Konno's density functions and a Dirac's delta function at the
origin. For the two-, three-, and four-component models, the probability
densities of limit distributions are explicitly calculated and their dependence
on the parameters of quantum coins and on the initial qudit of walker is
completely determined. Comparison with computer simulation results is also
shown.
