guest post by Tomi Johnson
Last time I told you how a random walk called the ‘uniform escape walk’ could be used to analyze a network. In particular, Google uses it to rank nodes. For the case of an undirected network, the steady state of this random walk tells us the degrees of the nodes—that is, how many edges come out of each node.
Now I’m going to prove this to you. I’ll also exploit the connection between this random walk and a quantum walk, also introduced last time. In particular, I’ll connect the properties of this quantum walk to the degrees of a network by exploiting its relationship with the random walk.
This is pretty useful, considering how tricky these quantum walks can be. As the parts of the world that we model using quantum mechanics get bigger and have more complicated structures, like biological network, we need all the help in understanding quantum walks that we can get. So I’d better start!
Starting with any (simple, connected) graph, we can get an old-fashioned ‘stochastic’ random walk on this graph, but also a quantum walk. The first is the uniform escape stochastic walk, where the walker has an equal probability per time of walking along any edge leaving the node they are standing at. The second is the related quantum walk we’re going to study now. These two walks are generated by two matrices, which we called and The good thing is that these matrices are similar, in the technical sense.
We studied this last time, and everything we learned is summarized here:
• is a simple graph that specifies
• the adjacency matrix (the generator of a quantum walk) with elements equal to unity if nodes and are connected, and zero otherwise (), which subtracted from
• the diagonal matrix of degrees gives
• the symmetric Laplacian (generator of stochastic and quantum walks), which when normalized by returns both
• the generator of the uniform escape stochastic walk and
• the quantum walk generator to which it is similar!
Now I hope you remember where we are. Next I’ll talk you through the mathematics of the uniform escape stochastic walk and how it connects to the degrees of the nodes in the large-time limit. Then I’ll show you how this helps us solve aspects of the quantum walk generated by
The uniform escape stochastic walk generated by is popular because it has a really useful stationary state.
To find this unique stationary state, consider the Laplacian which is both infinitesimal stochastic and symmetric. Among other things, this means the rows of sum to zero:
Thus, the ‘all ones’ vector is an eigenvector of with zero eigenvalue:
Inserting the identity into this equation we then find is a zero eigenvector of :
Therefore we just need to normalize this to get the large-time stationary state of the walk:
If we write for the basis vector that is zero except at the ith node of our graph, and 1 at that node, the inner product is large-time probability of finding a walker at that node. The equation above implies this is proportional to the degree of node
We can check this for the following graph:
We find that is
which implies large-time probability for nodes and and for nodes and Comparing this to the original graph, this exactly reflects the arrangement of degrees, as we knew it must.
The quantum walk
Next up is the quantum walk generated by Not a lot is known about quantum walks on networks of arbitrary geometry, but below we’ll see some analytical results are obtained by exploiting the similarity of and
Where to start? Well, let’s start at the bottom, what quantum physicists call the ground state. In contrast to stochastic walks, for a quantum walk every eigenvector of is a stationary state of the quantum walk. (In Puzzle 5, at the bottom of this page, I ask you to prove this). The stationary state is of particular interest physically and mathematically. Physically, since eigenvectors of the correspond to states of well-defined energy equal to the associated eigenvalue, is the state of lowest energy, energy zero, hence the name ‘ground state’. (In Puzzle 3, I ask you to prove that all eigenvalues of are non-negative, so zero really does correspond to the ground state.)
Mathematically, the relationship between eigenvectors implied by the similarity of and means
So in the ground state, the probability of our quantum walker being found at node is
Amazingly, this probability is proportional to the degree and so is exactly the same as the probability in the stationary state of the stochastic walk!
In short: a zero energy quantum walk leads to exactly the same distribution of the walker over the nodes as in the large-time limit of the uniform escape stochastic walk The classically important notion of degree distribution also plays a role in quantum walks!
This is already pretty exciting. What else can we say? If you are someone who feels faint at the sight of quantum mechanics, well done for getting this far, but watch out for what’s coming next.
What if the walker starts in some other initial state? Is there some quantum walk analogue of the unique large-time state of a stochastic walk?
In fact, the quantum walk in general does not converge to a stationary state. But there is a probability distribution that can be thought to characterize the quantum walk in the same way as the large-time state characterizes the stochastic walk. It’s the large-time average probability vector
If you didn’t know the time that had passed since the beginning of a quantum walk, then the best estimate for the probability of your measuring the walker to be at node would be the large-time average probability
There’s a bit that we can do to simplify this expression. As usual in quantum mechanics, let’s start with the trick of diagonalizing This amounts to writing
where are projectors onto the eigenvectors $\phi_k$ of and are the corresponding eigenvalues of If we insert this equation into
Due to the integral over all time, the interference between terms corresponding to different eigenvalues averages to zero, leaving:
The large-time average probability is then the sum of terms contributed by the projections of the initial state onto each eigenspace.
So we have a distribution that characterizes a quantum walk for a general initial state, but it’s a complicated beast. What can we say about it?
Our best hope of understanding the large-time average probability is through the term associated with the zero energy eigenspace, since we know everything about this space.
For example, we know the zero energy eigenspace is one-dimensional and spanned by the eigenvector This means that the projector is just the usual outer product
where we have normalized according to the inner product (If you’re wondering why I’m using all these angled brackets, well, they’re a notation named after Dirac that is adored by quantum physicists.)
The zero eigenspace contribution to the large-time average probability then breaks nicely into two:
This is just the product of two probabilities:
• first, the probability for a quantum state in the zero energy eigenspace to be at node as we found above,
• second, the probability of being in this eigenspace to begin with. (Remember, in quantum mechanics the probability of measuring the system to have an energy is the modulus squared of the projection of the state onto the associated eigenspace, which for the one-dimensional zero energy eigenspace means just the inner product with the ground state.)
This is all we need to say something interesting about the large-time average probability for all states. We’ve basically shown that we can break the large-time probability vector into a sum of two normalized probability vectors:
the first being the stochastic stationary state associated with the zero energy eigenspace, and the second $\Omega$ associated with the higher energy eigenspaces, with
The weight of each term is governed by the parameter
which you could think of as the quantumness of the result. This is one minus the probability of the walker being in the zero energy eigenspace, or equivalently the probability of the walker being outside the zero energy eigenspace.
So even if we don’t know we know its importance is controlled by a parameter that governs how close the large-time average distribution of the quantum walk is to the corresponding stochastic stationary distribution
What do we mean by ‘close’? Find out for yourself:
Puzzle 1. Show, using a triangle inequality, that the trace distance between the two characteristic stochastic and quantum distributions and is upper-bounded by
Can we say anything physical about when the quantumness is big or small?
Because the eigenvalues of have a physical interpretation in terms of energy, the answer is yes. The quantumness is the probability of being outside the zero energy state. Call the next lowest eigenvalue the energy gap. If the quantum walk is not in the zero energy eigenspace then it must be in an eigenspace of energy greater or equal to Therefore the expected energy of the quantum walker must bound the quantumness
This tells us that a quantum walk with a low energy is similar to a stochastic walk in the large-time limit. We already knew this was exactly true in the zero energy limit, but this result goes further.
So little is known about quantum walks on networks of arbitrary geometry that we were very pleased to find this result. It says there is a special case in which the walk is characterized by the degree distribution of the network, and a clear physical parameter that bounds how far the walk is from this special case.
Also, in finding it we learned that the difficulties of the initial state dependence, enhanced by the lack of convergence to a stationary state, could be overcome for a quantum walk, and that the relationships between quantum and stochastic walks extend beyond those with shared generators.
That’s all for the latest bit of idea sharing at the interface between stochastic and quantum systems.
I hope I’ve piqued your interest about quantum walks. There’s so much still left to work out about this topic, and your help is needed!
Other questions we have include: What holds analytically about the form of the quantum correction? Numerically it is known that the so-called quantum correction tends to enhance the probability of being found on nodes of low degree compared to Can someone explain why? What happens if a small amount of stochastic noise is added to a quantum walk? Or a lot of noise?
It’s difficult to know who is best placed to answer these questions: experts in quantum physics, graph theory, complex networks or stochastic processes? I suspect it’ll take a bit of help from everyone.
A couple of textbooks with comprehensive sections on non-negative matrices and continuous-time stochastic processes are:
• Peter Lancaster and Miron Tismenetsky, The Theory of Matrices: with Applications, 2nd edition, Academic Press, San Diego, 1985.
• James R. Norris, Markov Chains, Cambridge University Press, Cambridge, 1997.
There is, of course, the book that arose from the Azimuth network theory series, which considers several relationships between quantum and stochastic processes on networks:
• John Baez and Jacob Biamonte, A Course on Quantum Techniques for Stochastic Mechanics, 2012.
Another couple of books on complex networks are:
• Mark Newman, Networks: An Introduction, Oxford University Press, Oxford, 2010.
• Ernesto Estrada, The Structure of Complex Networks: Theory and Applications, Oxford University Press, Oxford, 2011. Note that the first chapter is available free online.
There are plenty more useful references in our article on this topic:
• Mauro Faccin, Tomi Johnson, Jacob Biamonte, Sabre Kais and Piotr Migdał, Degree distribution in quantum walks on complex networks.
Puzzles for the enthusiastic
Sadly I didn’t have space to show proofs of all the theorems I used. So here are a few puzzles that guide you to doing the proofs for yourself:
Stochastic walks and stationary states
Puzzle 2. (For the hard core.) Prove there is always a unique positive eigenvector for a stochastic walk generated by You’ll need the assumption that the graph is connected. It’s not simple, and you’ll probably need help from a book, perhaps one of those above by Lancaster and Tismenetsky, and Norris.
Puzzle 3. Show that the eigenvalues of (and therefore ) are non-negative. A good way to start this proof is to apply the Perron-Frobenius theorem to the non-negative matrix This implies that has a positive eigenvalue equal to its spectral radius
where are the eigenvalues of and the associated eigenvector is positive. Since it follows that shares the eigenvectors of and the associated eigenvalues are related by inverted translation:
Puzzle 4. Prove that regardless of the initial state the zero eigenvector is obtained in the large-time limit of the walk generated by This breaks down into two parts:
(a) Using the approach from Puzzle 5, to show that the positivity of and the infinitesimal stochastic property imply that and thus is actually the unique zero eigenvector and stationary state of (its uniqueness follows from puzzle 4, you don’t need to re-prove it).
(b) By inserting the decomposition into and using the result of puzzle 5, complete the proof.
(Though I ask you to use the diagonalizability of the main results still hold if the generator is irreducible but not diagonalizable.)
Here are a couple of extra puzzles for those of you interested in quantum mechanics:
Puzzle 5. In quantum mechanics, probabilities are given by the moduli squared of amplitudes, so multiplying a state by a number of modulus unity has no physical effect. By inserting
into the quantum time evolution matrix show that if
hence is a stationary state in the quantum sense, as probabilities don’t change in time.
Puzzle 6. By expanding the initial state in terms of the complete orthogonal basis vectors show that for a quantum walk never converges to a stationary state unless it began in one.