Here, I will try to teach you some physics. I assume that you might have no knowledge of quantum physics and you probably have learned some linear algebra before. I hope you could learn bits of the Hofstadter’s butterfly after reading this article.

Imagine a 2D periodic lattice in the presence of a weak magnetic field. It was Dr. Hofstadter who did pioneer works on this physical system and obtained the famous Hofstadter’s butterfly, as shown in the above figure. This figure can be obtained numerically by plotting the eigenspectrum of the Harper’s Hamiltonian versus a parameter of the Hamiltonian that controls the magnetic flux (if you don’t know what a Hamiltonian is, just consider it as a Hermitian matrix that describes the system of consideration. In quantum mechanics, once the Hamiltonian is known, the system is presumably determined and we will be able to predict its dynamics. This is similar to Newtonian mechanics: once the forces are known, we are able to know how the particle moves).

It is possible to claim that the observed butterfly structure is fractal (i.e. when the magnetic flux is irrational the structure is a cantor set) through analytical reasoning (See Dr. Hofstadter’s paper). In addition, one can easily observe the property of self-similarity in the Hofstadter’s butterfly, which is an interesting feature of a fractal structure. The term “Self-similarity” can be explained easily in one sentence from Wikipedia:

Self-similarity means small fragments of the structure contain a (distorted) copy of the entire structure.

To discuss some facts about the Harper’s Hamiltonian, let’s first define it:

,

where and is a parameter that tunes the magnetic flux. Indeed, is the variable that requires being explored in order to observe the famous butterfly and the restriction will be enforced if we want the Hamiltonian to describe a 2D periodic lattice in the presence of a weak magnetic field.

Next, we shall see how and affect the system. When is rational, i.e. , the sequence is periodic, that is, for some positive integer . In this case, one can argue that the eigenspectrum of the Harper’s Hamiltonian has q bands using the Bloch’s theorem. On the other hand, if is irrational, surprisingly, the eigenspectrum is known to be a cantor set (of zero measure when ). Non-rigorously speaking, the bands of the spectrum can be split into sub-bands and the sub-bands can be split into sub-sub-bands and so on, in a way as a cantor set.

Now, let’s consider how spectral properties would change as a function of . This can be seen by plotting the Participation Ratio (an explanation of its inverse version see here) of the probability density of all eigenfunctions as a function of . The Participation Ratio is a quantity that reflects how localized an eigenfunction is. It goes from 0 (when the wave function is perfectly localized) to 1 (when the wave function is perfectly extended).

The plot is shown below. Note that the plot is a 2D plot that is mapped from 3D. The parameters of the plot are , and . Indeed, is a rational approximation to the irrational number, since we can never reach a true irrational number because of our computer’s ability. Also, the Participation Ratio I plot is averaged actually. The purpose of doing so will be explained later.

Now, first of all, one can see that there seems to be a localization-delocalization transition around . That is to say, at almost all the eigenstates are extended and all the eigenstates become quite localized as soon as goes larger than . Indeed, one is able to show analytically that this localization-delocalization transition happens exactly at . Another way to observe this phenomenon is to draw the animation of Local Density of States, in which we can observe a sharp transition at .

Also, surprisingly, eigenfunctions at are known to be multi-fractal! I will write another article to introduce you about what “fractal” or “multi-fractal” means.

Now, let’s see how plays the role. If we assume and scan from to , we’ll see some localized eigenfunctions pop up and then disappear. Interestingly, these eigenfunctions, when they are localized, they are localized at the ends of the system and their corresponding eigenvalues are within band gaps of the system (as you can see from the animation below). These localized eigenfunctions are actually known to have a topological origin.

Hence, if the Participation Ratio is averaged, the existence of in-gap-localized eigenfunctions will be detected, since this type of eigenfunctions can become localized and have low Participation Ratios at certain values, whereas the other extended eigenfunctions are always in-band and have higher Participation Ratios no matter how changes. Due to this fact, we are able to say how many gaps or bands are there in the plot of the averaged Participation Ratio. For instance, there are low averaged Participation Ratios at . It means that eigenfunctions with these low averaged Participation Ratios will become in-gap-localized at certain (and possibly also different) values. In other words, there are observable gaps (or equivalently, bands) at .

Now, one can see from the plot of the averaged Participation Ratios, that as increases, more and more gaps (or bands) emerge before reaches to the localization-delocalization-transition point. However, it is not true that the number of gaps (or bands) will increase with (suppose ), because we have fixed , which corresponds to a fix amount of bands (or gaps), i.e. bands( gaps).

Then, a question arises: say, at , why didn’t we see gaps instead of only gaps in the plot? The reason is that I have too less amount of eigenfunctions to reveal the very tiny gaps within the spectrum (tiny gaps are there, but we don’t have enough eigenvalues there to unravel those hidden tiny gaps). Suppose we choose the system size ( is also the number of eigenvalues) to be extremely large, then it should be easier for us to discover more or even all the gaps in the plot at a fixed . On the other hand, if we restrict , it is true that sizes of gaps increase proportionally to . Thus, a larger value of will make the tiny gaps bigger and thus easier to be unraveled whenever the number of eigenfunctions is finite. This is the reason that more and more gaps become visible as increases.

The last question: whether the plot reveals some fractal structure? Whether the gaps emerge in a way as a cantor set while increases? If you see the plot, it is really hard to tell. But I tend to say that it’s not fractal. The reasoning involves the assumption that all the sizes of the gaps grow uniformly as a function of () and you know that sizes of all the gaps are not the same (therefore it’s possible that the gaps of a th. order cantor-like set can’t all be observed at the same time).