Continuous-time quantum walks on star graphs
In this paper, we investigate continuous-time quantum walk on star graphs. It is shown that quantum central limit theorem for a continuous-time quantum walk on star graphs for -fold star power graph, which are invariant under the quantum component of adjacency matrix, converges to continuous-time quantum walk on graphs (Complete graph with two vertices) and the probability of observing walk tends to the uniform distribution.
Keywords: Continuous-time quantum walk, Star graph, Spectral distribution.
PACs Index: 03.65.Ud
Quantum walks were introduced in the early 1990s by Aharonovich, davidovich and Zaggury . Since then the topic has attracted considerable interest. The continuing attraction can be traced back to at least two reasons. First, the quantum walk is of sufficient interest in its own right because there are fundamental differences compared to the classical random walk. Next, quantum walks offer quite a number of possible applications. One of the best known is the link between quantum walks and quantum search algorithms which are superior to their classical counterparts[2, 3]. Similar to classical random walk there are two types of quantum walks, discrete and continuous time [1, 4]. A study of quantum walks on simple graph is well known in physics (for more details see ). Recent studies of quantum walks on more general graphs were described in [2, 6, 7, 8, 9, 10, 11, 12]. Some of these works studies the problem in the important context of algorithmic problems on graphs and suggests that quantum walks is a promising algorithmic technique for designing future quantum algorithms. One approach for investigation of continuous-time quantum walk (CTQW) on graphs is using the spectral distribution associated with the adjacency matrix of graphs [13, 14, 15, 16, 17, 18, 19]. Authors in Refs.[13, 14] have introduced a new method for calculating the probability amplitudes of quantum walk based on spectral distribution. In this method a canonical relation between the Fock space of stratification graph and set of orthogonal polynomials has been established where leads to obtain the probability measure (spectral distribution) adjacency matrix graph. The method of spectral distribution only requires simple structural data of graph and allows us to avoid a heavy combinational argument often necessary to obtain full description of spectrum of the adjacency matrix.
In this paper we investigate CTQW on star graphs, which are discussed by Burioni et, al. [20, 21] as models of the Bose-Einstein condensation, by quantum probability theory. To this aim, first by turning the graph into metric space based on distance function, we have been able to stratify and quantum decomposition [13, 23], such that the basis of Hilbert space of quantum walk consist of superposition of quantum kets of vertices belonging to the same stratum with the same coefficient (Fock space). Then by applying an isomorphism from Fock space onto the closed linear span of the orthogonal polynomials with respect to the measure we obtain spectral distribution adjacency matrix graph and probability amplitudes of observing walk at strata. Also we try to investigate quantum central limit theorem for CTQW in -fold star power graphs as , and show the CTQW converges to CTQW on (Complete graph with two vertices) where the probability of observing walk tends to the uniform distribution. On the other hand, quantum walker induces to the graph that spectral distribution it tend to the Bernoulli distribution .
The organization of the paper is as follows: we give a brief review of graph, star graph, stratification and quantum decomposition in the section . Section is devoted to study CTQW for some example of star graphs via quantum probability theorey and try to investigate quantum central limit theorem for CTQW on their graphs. In the conclusion we summarize the obtained results and discuss possible development. Finally, in the appendix the determination of spectral distribution associated with adjacency matrix by Stieltjes transform is derived.
2 Star graph, Stratification and Quantum decomposition
Let be a non-empty set and be a subset of . The pair is called a graph, where elements of and are vertices and edges of graph, respectively. We say that two vertices of and are adjacent if and write . A finite sequence is said a walk of length if for . A graph is called connected if any pair of distinct vertices is connected by a walk. The degree or valency of a vertex is defined by
where denote the cardinality. For a graph the adjacency matrix is given by
Obviously, (i) is a symmetric (ii) elements of take a value in (iii) diagonal elements of are . Conversely, for a non-empty set , a structure graph is uniquely determined by a such matrix which indexed by . On the other hand, is considered as an operator acting on the Hilbert space in such a way that
where forms a complete orthogonal basis of .
In this paper, we focus on investigating CTQW on star graphs which are also discussed by Burioni et al. [20, 21] as models of the Bose- Einstein condensation. A star graph is obtained from star product of graphs which we define in the following.
Let us consider two graphs with adjacency matrices , each of which is equipped with an origin . Define a matrix as
We observe that is symmetric, elements take a value in and the diagonal consists of . Therefore is the adjacency matrix of a graph. The connected component containing is called the star product of and and the resulted graph is a star graph (see Fig.1). One can generalize this definition for that we consider -fold star power graphs for our aims. The stratification is introduced [13, 23] by taking as the origin and have
Here stands for the length of the shortest walk connecting and . According to the stratification (2-3), we define a unit vector by
where denotes the eigenket of the -th vertex at the stratum and let the closed subspace of spanned by . Moreover, the stratification (2-3)give rise to a quantum decomposition:
If is invariant under the actions of the quantum components quantum components , , then there exist two Szegö- Jacobi sequences and derived from , such that
3 CTQW on star graph via quantum probability theory
In the study of CTQW on graphs, the spectral distribution of in the vacuum state plays an essential role , which is by definition a probability distribution uniquely specified by
where, according to [13, 14, 23], coincides with the number of -step walks starting and terminating at origin point . For analyzing the spectral distribution of adjacency matrix , we use the method of quantum decomposition which is a powerful tool. The spectral distribution is determined by applying the canonical isomorphism from the interacting Fock space onto the closed linear span of orthogonal polynomials determined by Szegö- Jacobi sequences . In fact the determination of is the main problem in the spectral theory of operators, where in the case of star graphs is quite possible by using the Stieltjes method, as it is explained in appendix A. Then by using the quantum decomposition relations (2-5)-(2-8) and the recursion relation of polynomials (A-1), the other matrix elements as
One of our main goals in this paper is the evaluation of probability amplitudes of CTQW by using Eq.(3-10), such that we have
where is the probability of observing the walk at the stratum at time . The conservation of probability follows immediately from Eq. (3-11) by using the completeness relation of orthogonal polynomials . In the appendix reference  is provided the walker has the same probability at the all sites belonging to the same stratum, i.e., we have , where denotes the probability of the walker at the -th vertex of -th stratum . Investigation of CTQW via spectral distribution method, which is introduced as a new method for calculating the probability amplitudes quantum walk (for more details see  ), allows us to avoid a heavy combinational argument often necessary to obtain full description of spectrum of the Hamiltonian.
We can now investigate CTQW on star graphs. In the first, we calculate CTQW on two simple star graph and study quantum central limit theorem for them. In the end, we study this question for star lattice.
3.1 Examples 1.
In this example we investigate the CTQW on the star finite path graph with three vertices as Fig.2. Then we have
Therefore the amplitudes probability of CTQW on this graph are as follows:
Quantum central limit theorem
Having studied CTQW on this graph for arbitrary, we investigate CTQW in the limit of large which in fact we discuss this question as a quantum central limit theorem for CTQW. To state a quantum central limit theorem for CTQW we have
Then we obtain the amplitudes probability as
where the probability of the observing walk (, for ) reaches the uniform distribution periodically at for .
Indeed, in the limit of large (e.i., quantum central limit theorem ), the CTQW on this graph is reduced to CTQW on (Complete graph with two vertices). In other words, the spectral distribution associated with the adjacency matrix of the graph tend to the Bernoulli distribution (), where is the spectral distribution of graphs.
3.2 Examples 2.
In the second example we consider CTQW on the star graph as Fig.3. Then we have
The amplitudes probability of CTQW on this graph are as:
Also in this example, quantum central limit theorem for CTQW is reduced on CTQW on complete graph .
3.3 Examples 3.
The star lattice is the -fold star power of finite path graph, see Fig.4. One can show that the two sequence and obtain as
Substituting sequence and in (5.22), the Stieltjes transform of spectral distribution takes the following form
In order to evaluate the continued fraction, we need first to evaluate the following infinite continued fraction defined as
where by solving above equation we have
Finally by applying Stieltjes inversion formula, we acquire the absolutely continuous part of spectral distribution as follows
Now we investigate CTQW on some of the known infinite graphs can be obtained from star lattice by appropriate choice of as:
A. For we obtain finite path graph. Then we have
where the amplitudes probability for CTQW on this graph are
(for more detail see Ref.).
B. For we obtain infinite line graph where the two sequences, spectral distribution and the amplitude probability for observing walk at strata at time are
(for more detail see Ref.).
C. For the total mass of is less than one (i.e., ). In fact, it contains a discrete measure where by a simple computation one can obtain as 
Quantum central limit theorem
Now we consider behavior CTQW on this graph for large (i.e., ) where we discuss this question as a quantum central limit theorem for CTQW.
The quantum central limit theorem for CTQW is
By a simple computation one can show that for . Then we have
We see that quantum central limit theorem for CTQW on the star lattice is reduced on complete graph and the amplitudes probability reach the uniform distribution. Really, for every star graph that is invariant under the quantum component , one can show that quantum central limit theorem for CTQW on it is reduced CTQW on complete graph .
In this work, we have investigated CTQW on star graphs, which are discussed by Burioni et, al. [20, 21] as models of the Bose-Einstein condensation, by quantum probability theory. First, we have equipped graph to metric based on distance function. Then we have stratified graph and according to stratification accomplished quantum decomposition of adjacency matrix. The basis of Hilbert space of quantum walk form a Fock space where by applying an isomorphism from it onto the closed linear span of the orthogonal polynomials we have obtained spectral distribution adjacency matrix graph and probability amplitudes of observing walk at strata. Also, we have studied quantum central limit theorem for CTQW on star graphs and shown the CTQW converges to CTQW on (complete graph with two vertices), such that the probability of observing walk tend to the uniform distribution. Indeed, we can generalize CTQW on star graphs which are invariant under the quantum component , quantum central limit theorem for them induce in CTQW on graphs that the spectral distribution it tend to the Bernoulli distribution.
Determination of spectral distribution by the Stieltjes transform
In this appendix we explain how we can determine spectral distribution of the graphs, by using the Szegö-Jacobi sequences . To this aim we may apply the canonical isomorphism from the interacting Fock space onto the closed linear span of the orthogonal polynomials determined by the Szegö-Jacobi sequences . More precisely, the spectral distribution under question is characterized by the property of orthogonalizing the polynomials defined recurrently by
As it is shown in , the spectral distribution ì can be determined by the following identity:
where is called the Stieltjes transform and is
the coefficient in the Gauss quadrature formula corresponding to the
roots of polynomial and where the polynomials
Now if is known, then the spectral distribution can be recovered from by means of the Stieltjes inversion formula:
-  Y. Aharonov, L. Davidovich, N. Zagury, Phy. Rev. lett 48 (1993)1687.
-  A. Childs, E. Deotto, R. Cleve, E. Farhi, S. Gutmann, D. Spielman, Proc. th Ann. Symp. Theory of Computing (ACM Press) 59 (2003).
-  N. Shenvi, J. Kempe, K. B. Whaley,Phys. Rev. A 67 (2003) 052307.
-  J. Kempe, Contemporary Physics 44 (2003) 307.
-  R. Feynman, R. Leighton, M. Sands, The Feynman Lectures on Physics, Volume 3, Addison-Wesley, 1965.
-  E. Farhi, S. Gutmann, Phys. Rev. A 58 (1998) 915.
-  E. Farhi, M. Childs, S. Gutmann, Quantum Information Processing 1 (2002) 35.
-  A. Ambainis, E. Bach, A. Nayak, A. Viswanath, J. Watrous , Proceedings of the 33rd ACM Annual Symposium on Theory Computing (ACM Press), 2001.
-  D. Aharonov, A. Ambainis, J. Kempe, U. Vazirani, Proceedings of the 33rd ACM Annual Symposium on Theory Computing (ACM Press), 2001.
-  C. Moore, A. Russell, Proceedings of the 6th Int. Workshop on Randomization and Approximation in Computer Science (RANDOM’02), 2002.
-  J. Kempe, Proceedings of 7th International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM’03), 2003.
-  H. Krovi, Todd A. Brun, Phys. Rev. A 75 (2007) 062332.
-  M. A. Jafarizadeh, S. Salimi, Ann. Phys 322 (2007) 1005.
-  M. A. Jafarizadeh, S. Salimi, J. Phys. A 39 (2006) 1.
-  M. A. Jafarizadeh, R. Sufiani, S. Salimi, S. Jafarizadeh, Eur. Phys. J. B 59 (2007) 199.
-  N. Konno, Inf. Dim. Anal. Quantum Probab. Rel. Topics 9 (2006) 287.
-  N. Konno, International Journal of Quantum Information 4 (2006)1023.
-  S. Salimi, e-print quan-ph/07105813.
-  S.Salimi, e-print quan-ph/07103043.
-  R. Burioni, D. Cassi, I. Meccoli, M. Rasetti, S. Regina, P. Sodano and A. Vezzani, Europhys. Lett., 52 (2000) 251256 .
-  R. Burioni, D. Cassi, M. Rasetti, P. Sodano and A. Vezzani, J. Phys. B: At. Mol. Opt. Phys., 34 (2001) 46974710.
-  J. L. Gross, T. W. Tucker, Topological Graph Theory, Wiley Interscience, New York, 1987.
-  N. Obata, Interdisciplinary Information Sciences 10 (2004) 41.
-  N. Obata, Notions of independence in quantum probability and spectral analysis of graphs, to appear in Sugaku Expositions.
-  T. S. Chihara, An Introduction to Orthogonal Polynomials, London: Gordon and Breach, 1978.
-  J. A. Shohat, J. D. Tamarkin, The Problem of Moments, American Mathematical Society, Providence, RI, 1943.
Figure-1: Star graph.
Figure-4: Star lattice for