A synchronized dance of eigenvalues
September 26, 2017
Clicking on a picture should make it bigger.
The motivation behind this post is to show some off some nice gifs. But I thought maybe they aren’t actually interesting without any context, so below I’ll try to explain what the gifs are about.
Brief mathematical introduction to Perron-Frobenius theory
Consider the set of matrices , with complex entries. The algebraic structure (scalar multiplication by complex numbers, addition and multiplication of matrices) plays well with the operator norm,
and the involution (i.e. conjugate-transpose), making it a C-algebraI recommend p. 17 of Jane Panangaden’s thesis for an excellent diagram explaining the interplay between these structures, along with much more on C-algebras. Panangaden, J. (2016), Energy Full Counting Statistics in Return-to-Equilibrium. McGill University, Montreal QC. . A matrix is positive semi-definite if it can be written as for some other matrix .
Let us now go one level higher: we will consider linear maps from to , i.e. linear maps whose arguments are themselves matrices. Such a linear map is positive if it maps positive elements of to positive elements of . Since is a linear map on a vector space (even if that vector space is itself the set of matrices), it has eigenvalues and eigenvectors. The eigenvalues are in general complex numbers, and number
is the spectral radius of .
With these definitions, we can consider the following Perron-Frobenius type theorem considered by Evans and Høegh-Krohn in 1978Evans, D. E. and Høegh-Krohn, R. (1978), Spectral Properties of Positive Maps on C-Algebras. Journal of the London Mathematical Society, s2-17: 345–355. :
Theorem. Let be a positive linear map on . If is the spectral radius of , then there is a non-zero positive element such that
This may sound abstract (or maybe not), but it is quite nice. A priori, we don’t know that the spectral radius itself is an eigenvalue; from the definition, we only know there is an eigenvalue whose absolute value is the spectral radius. But the above theorem tells us that if is a positive map, then indeed the spectral radius itself is an eigenvalue, and that the corresponding eigenvector is positive.
This result is relevant, e.g., for understanding repeated interaction systems. These are discrete-time quantum systems, and the time evolution is given by a positive linear map with spectral radius 1. The quantum states are given by positive elements of with trace 1. The above theorem then tells us that there is automatically an invariant state, i.e. a quantum state such that . Note we are using both that the spectral radius is an eigenvalue (so there is an invariant matrix), and that the corresponding eigenvector is positive (so once we divide by its trace, it is a quantum state).
Let us assume is invertible. We can define a modified version of the map by
for . In fact, this map comes up in the proof of the theorem. Now, with the knowledge of the theorem, we see that this map acts on the identity matrix by
so in fact, has the eigenvalue 1 with associated eigenvector .
A particular deformation
A particular typeThese are the completely positive maps, which are usually defined in a different way, but the usual definition is equivalent to the one I’ll give here. of positive linear map on is one which can be represented as
for some . The matrices are called the Kraus operators. So acts on by conjugating it by each and adding up the result.
Let us fix such a map , and moreover assume that has spectral radius 1, with the associated eigenvalue as the identity matrix. By the definition, we see this implies
It turns out when considering the statistics of measurements of a repeated interaction systemin which case, the of this section is actually the adjoint of the time-evolution operator , a particular deformation of becomes important. Let be a real vector with strictly positive entries. Then define
for . Note that . For real this map is still positivein fact, still completely positive, with Kraus operators . , but no longer has spectral radius 1 or , in general. However, by the theorem above, the spectral radius is an eigenvalue of , and has a corresponding eigenvector which is a positive element of . Let us consider the modification of the map given in , defined by
for . Now, we automatically have . So the undeformed map, has this property, and so does . That is, we know what happens to the eigenvalue 1 and the associated eigenvector when we go from to : they stay the same, for any .
But what happens to the other eigenvalues?
That’s the motivating question for these numerics. Maybe they don’t change either. Maybe they all shrink to zero as increases. Maybe they just rotate around in a circle. To investigate this, I randomly generated some maps , and looked what happened to the eigenvalues of while changing in the interval . And of course, the resulting animations are the gifs at the top of the post. The last two are examples of particular interest, and are not randomly generated– and nothing movesActually, shortly after I posted this I realized that in the second example, the eigenvalues do move— just very slowly, and it’s not really visible in this gif. ! But for the general (random) ones, it looks like almost anything can happen. Cool!
The preprint arxiv/1705.08281 has much more motivation for why we are interested in the maps and . In particular, is the (Hilbert-Schmidt) adjoint of the map which is featured in Proposition 3.5. The Perron-Frobenius theory of these deformed maps is investigated in Appendix A. The two examples for which none of the eigenvalues move with are Example 4.5 and Example 5.11 in the preprint.
The numerics were done in Julia, and the raw code is here. I also have it as an IJulia notebook available here. And if you just want to scroll through it, an HMTL formatted version is here.