Abstract:We define quantization scheme for discrete-time random walks on the half-line consistent with Szegedy's quantization of finite Markov chains. Motivated by the Karlin and McGregor description of discrete-time random walks in terms of polynomials orthogonal with respect to a measure with support in the segment $[-1,1]$, we represent the unitary evolution operator of the quantum walk in terms of orthogonal polynomials on the unit circle. We find the relation between transition probabilities of the random walk with the Verblunsky coefficients of the corresponding polynomials of the quantum walk. We show that the both polynomials systems and their measures are connected by the classical Szegő map. Our scheme can be applied to arbitrary Karlin and McGregor random walks and generalizes the so called Cantero-Grünbaum-Moral-Velázquez method. We illustrate our approach on example of random walks related to the Jacobi polynomials. Then we study quantization of random walks with constant transition probabilities where the corresponding polynomials on the unit circle have two-periodic real Verblunsky coefficients. We present geometric construction of the spectrum of such polynomials (in the general complex case) which generalizes the known construction for the Geronimus polynomials. In the Appendix we present the explicit form, in terms of Chebyshev polynomials of the second kind, of polynomials orthogonal on the unit circle and polynomials orthogonal on the real line with coefficients of arbitrary period.
Mathematical Physics,Classical Analysis and ODEs,Exactly Solvable and Integrable Systems,Quantum Physics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to provide a quantization scheme for discrete - time random walks on the half - line, making it consistent with Szegedy's quantization method for finite Markov chains. Inspired by Karlin and McGregor's description of random walks in terms of orthogonal polynomials in the interval \([-1, 1]\), the author proposes a method of using orthogonal polynomials on the unit circle to represent the unitary evolution operator of the quantum walk. Through this method, the author establishes the relationship between the transition probabilities of the random walk and the Verblunsky coefficients of the orthogonal polynomials on the unit circle in the corresponding quantum walk, and shows that these two types of polynomial systems and their measures are interconnected through the classical Szegő mapping. In addition, this paper also explores how to generalize the quantum simulation of any Karlin and McGregor random walk beyond the so - called Cantero - Grünbaum - Moral - Velázquez (CGMV) method, providing a new "spectral quantization" scheme.
Specifically, the goals of the paper are:
1. **Define the quantization scheme**: Define a quantization scheme for discrete - time random walks on the half - line, making it consistent with Szegedy's quantization method.
2. **Establish the relationship**: Establish the relationship between the transition probabilities of the random walk and the Verblunsky coefficients of the orthogonal polynomials on the unit circle in the quantum walk.
3. **Generalize the CGMV method**: Generalize the CGMV method to any Karlin and McGregor random walk, providing a new "spectral quantization" scheme.
4. **Study specific cases**: Study in detail the quantization of discrete - time random walks with constant transition probabilities. In these cases, the corresponding orthogonal polynomials on the unit circle have two - periodic real Verblunsky coefficients.
5. **Geometric construction**: Give the geometric construction of the spectra of orthogonal polynomials on the unit circle with two - periodic complex Verblunsky coefficients, which simplifies to the known construction of Geronimus polynomials in the case of constant coefficients.
Through these goals, the paper aims to provide a new perspective on the relationship between quantum walks and classical random walks and to provide a theoretical basis for the development of quantum algorithms.