On the Nature of Electronic Wave Functions in One-Dimensional Self-Similar and Quasiperiodic Systems

The interest in the precise nature of critical states and their role in the physics of aperiodic systems has witnessed a renewed interest in the last few years. In this work we present a review on the notion of critical wave functions and, in the light of the obtained results, we suggest the convenience of some conceptual revisions in order to properly describe the relationship between the transport properties and the wave functions distribution amplitudes for eigen functions belonging to singular continuous spectra related to both fractal and quasiperiodic distribution of atoms through the space.


Orderings of Matter.
The notion of order is one of the most fundamental ones. In fact, order inspires the best human civilization achievements in politics, ethics, arts, and sciences [1]. Order pervades also most workings of Nature as the universe unfolds creating symmetric patterns and stable structures. Among them, solid matter arrangements were initially categorized in a dichotomist way, namely, as either ordered or disordered matter forms. In this way, ordered matter was identified with periodic arrays of atoms through the three-dimensional space, while disordered matter was related to random atomic distributions instead. Thus, the notions of crystalline matter and spatial periodicity were born interwoven from the very beginning, just as amorphous matter was conceptually related to randomness in a natural way (Figure 1(a)).
Nevertheless, the unexpected finding of incommensurate phases during the 1960s and 1970s, followed by the discovery of quasicrystalline alloys in 1982, opened up a discussion forum on the very crystal notion in the crystallographic, condensed matters physics and materials science communities. Indeed, initially it was thought that quasicrystals (short for quasiperiodic crystals) corresponded to a somewhat intermediate order form between that of crystals and amorphous materials [2]. However, it was soon realized that quasicrystals (QCs), exhibiting long-range order along with orientational symmetries not compatible with periodic translations, actually represented a new order style, which should be properly interpreted as a natural extension of the notion of a crystal to structures with quasiperiodic (QP), instead of periodic, arrangements of atoms [3]. Consequently, the International Union of Crystallography widened in 1992 the very definition of crystal, introducing two separate categories of crystal representatives referred to as periodic and aperiodic crystals, respectively. According to the proposed terms of reference: In the following by "crystal" we mean any solid having an essentially discrete diffraction diagram, and by "aperiodic crystal" we mean any crystal in which three-dimensional lattice periodicity can be considered to be absent [4].
Thus, QCs along with incommensurate phases belong to the novel aperiodic crystals category, whereas usual periodic crystals are now known as classical crystals (Figure 1(b)). The revamped crystal definition reflects our current understanding that microscopic periodicity is a sufficient but not necessary condition for crystallinity. Therefore, the presence of a mathematically well-defined, long-range atomic order should be regarded as the generic attribute of crystalline matter rather than mere periodicity. At the same time, the essential attribute of crystallinity is transferred from real space to reciprocal space through the recourse to the diffraction patterns, hence highlighting the importance of the Fourier transform in order to properly analyze atomic density distributions. Despite the fact that more than two decades have elapsed since the crystal notion has been properly revisited one can still find in the literature a lot of works plainly stating that quasiperiodic systems (QPS) provide an example of intermediate structures between ordered and disordered systems. Sentences like this certainly rely on a too vague notion of the term "intermediate" which apparently ignores the fact that every QP function can be expressed in terms of a numerable set of periodic functions in an appropriate high-dimensional space. Accordingly, periodic functions are but the simpler particular instances of the more general QP ones. From this perspective, QPS are not only perfectly ordered structures, but they may even be regarded as having a higher order degree than periodic ones. This viewpoint is nicely illustrated by the hierarchical relationship between almost periodic (AP), QP, and periodic functions shown in Figure 2. Indeed, from a mathematical viewpoint periodic functions are a special case of QP functions which are, in turn, a special case of AP functions. 1 Therefore, rather than adopting the old dichotomist way (which only allows one to get fuzzy qualitative comparisons as to whether a particular system is less random or more periodic than any other one), it may be more fruitful to think in terms of the different hierarchies of order to which these systems belong (see Figure 7).
Almost periodic functions can be uniformly approximated by Fourier series containing a countable infinity of pairwise incommensurate reciprocal periods (frequencies) [5,6]. When the set of reciprocal periods (frequencies) required can be generated from a finite-dimensional basis, the resulting function is referred to as a QP one. 2 For the sake of illustration, let us consider an aperiodic crystal whose atomic distribution is given by a QP function expressed in terms of its discrete Fourier decomposition: where the reciprocal vectors are defined by where b are reciprocal lattice basis vectors. If the minimal number of these basis vectors is larger than three, that is, > 3 in (2), then a higher dimensional description is needed to describe the reciprocal lattice, and the related structure is an aperiodic crystal. Otherwise, we obtain a periodic crystal (Figure 1(b)).
The simplest one-dimensional example of a QP function can be written as where is an irrational number and 1 and 2 are real numbers. It is interesting to note that this QP function can be obtained as a one-dimensional projection of a related periodic function in two dimensions: ( , ) = 1 cos + 2 cos , through the restriction = . This property is at the basis of the so-called cut and project method, which is widely used in the study of QCs. In fact, since any QP function can be thought of as deriving from a periodic function in a space of higher dimension, most of the basic notions of classical crystallography can be properly extended to the study of QCs in appropriate hyperspaces [5,7].  situation is referred to as a passage through a "critical point". At the critical temperature various thermodynamic functions develop a singular behavior which is related to long-range correlations and large fluctuations. Actually, the system should appear identical on all length scales at, exactly, the critical temperature and, consequently, it would be scale invariant. All these features, characteristic of thermodynamic phase transitions, have been progressively incorporated to the study of both incommensurate and QPS, since analogous transitions can occur in a solid that preserves its structural integrity but experiences a transition from a metallic-like behavior to an insulator-like one, for instance. This kind of phase transitions, affecting the transport properties rather than the lattice structure of a given material, is very important to us, since the metal-insulator transition provides the basic grounds necessary to introduce some fundamental notions and the related terminology.
Indeed, the metallic regime is understood in terms of conducting extended electronic wave functions propagating through the solid (Figure 3(a)), whereas the insulating regime is explained in terms of decaying wave functions corresponding to states localized close to the lattice atoms (Figure 3(b)). During the metal-insulator transition the electronic wave functions experience substantial changes, exhibiting a rather involved oscillatory behavior and displaying strong spatial fluctuations at different scales ( Figure 3(c)). Due to this peculiar spatial distribution of their amplitudes (reminiscent of the atomic distribution observed in materials undergoing a structural phase transition at the critical point) these electronic states are referred to as critical wave functions.
In order to properly appreciate the main characteristic features of critical states, let us recall first the explicit mathematical expressions for extended and localized states. It is well known that in periodic crystals extended states are described in terms of the so-called Bloch functions. The conceptual appeal of Bloch functions in the description of the physical properties of classical crystals is easily grasped by solving the Schrödinger equation describing the motion of an electron with a wave function , energy , and effective mass , under the action of a potential ( ) in one dimension: where ℎ is the reduced Planck's constant. In the absence of any interaction (i.e., ( ) = 0, for all ) the solution to (5) for a free electron is readily obtained as a linear combination of plane waves of the form ± ( ) = ± ± , where = √ 2 /ℎ is the wave vector. The next step is to consider the motion of an electron interacting with the atoms forming a crystal lattice with a lattice constant . Since this lattice is periodic in a classical crystal, the resulting interaction potential naturally inherits the periodicity of the lattice, so that one has ( + ) = ( ), where ∈ Z. Within this context, the celebrated Bloch's theorem states that the solution to (5) now reads where the function ( ) is real and periodic, with the same period than that of the lattice; that is, ( + ) = ( ), for all ∈ Z. In addition, the ( ) function generally depends on the electron wave vector, which can take certain values comprised within a series of allowed intervals, − / ≤ ≤ / , ∈ N, which ultimately define the electronic energy spectrum. Therefore, the periodicity of function ( ) guarantees the periodicity of the Bloch function itself, for It is important to note that the ( ) function usually describes the structure of the wave function in the atoms neighborhood, and it is generally relatively localized around them (Figure 4(a)). Thus, the extended nature of Bloch functions ultimately arises from the plane wave modulation, as it is illustrated in Figure 4(b).
On the other hand, in amorphous materials characterized by a random distribution of atoms through the space, the electronic states are exponentially localized according to an expression of the form where labels the lattice position and ℓ −1 provides a measure of the spatial extension of the wave function, which is referred to as its localization length. At this point it is important to emphasize that the ultimate reason leading to the localization of electronic states in random chains is not the presence of exponentially decaying modulations in (8) but the fact that both the amplitudes and the reciprocal localization lengths ℓ form a random ensemble [10]. This property guarantees that possible resonances between electronic states belonging to neighboring atoms cannot extend to other atoms located far away along the chain. In fact, as soon as a short range correlation is present in an otherwise disordered chain, one can observe the emergence of a significant number of relatively extended states [11,12].
In summary, Bloch states are the prototypical states of periodic systems, whereas exponentially localized states are the typical states found in random systems. 3 Accordingly, the states occurring at the critical point in a metal-insulator transition, that is, critical states, were originally defined as being neither Bloch functions nor exponentially localized ISRN Condensed Matter Physics 5 states but occupying a fuzzy intermediate position between them.
These states, which we will term critical, have a maximum at a site (in the lattice) and a series of subsidiary maxima at (a number of other) sites which do not decay to zero [13].
As we previously mentioned, the term "critical" was originally borrowed from thermodynamics, where it has usually been applied to describe a conventional phase transition where a state undergoes fluctuations in certain physical properties which are the same on all length scales. Following a chronological order the concept of critical wave function was born in the study of the Anderson Hamiltonian which describes a regular lattice with site-diagonal disorder. This model is known to have extended states for weak disorder in 3D systems, as well as in 2D samples with a strong magnetic field. For strong disorder, on the other hand, the electronic states are localized. For 1D systems it was proved that localized states decay exponentially in space in most cases [14]. However, this exponential decay relates to the asymptotic evolution of the envelope of the wave function, while the short-range behavior is characterized by strong fluctuations. The magnitude of these fluctuations seems to be related to certain physical parameters, such as the degree of disorder which, in turn, controls the appearance of the socalled mobility edges. Approaching a mobility edge, from the insulator regime, the exponential decay constant diverges so that the wave function amplitudes can be expected to feature fluctuations on all length scales larger than the lattice spacing. This singular fact turns out to be very convenient to explain metal-insulator transitions.
Thus, the notion of "criticality" can be understood as follows. An extended wave function is expected to extend homogeneously over the whole sample. On the other hand, for a wave function localized at a particular site of the sample, one expects its probability density to display a single dominant maximum at, or around, this site, and its envelope function is generally observed to decay exponentially in space. On the contrary, a critical state is characterized by strong spatial fluctuations of the wave function amplitudes. This unusual behavior, consisting of an alternatively decaying and recovering of the wave function amplitudes, is illustrated in Figure 5. Two main features of this wave function amplitude distribution must be highlighted. On the one hand, although the main local maxima are modulated by an overall decaying envelope, this envelope cannot be fitted to an exponential function. On the other hand, the subsidiary peaks around the main local maxima display self-similar scaling features.
1.3. Incommensurate and Self-Similar Systems. The discovery of QCs spurred the interest in the study of specific QP lattice models describing the electron dynamics in one-dimensional QPS. As a first step, most studies made use of both the electron independent and the tight-binding approximations, 4 by considering a discretized version of the time-independent Schrödinger equation (5) given by where stands for the amplitude of the wave function in the th lattice site of the chain, are the on-site energies (accounting for the atomic potentials) at that site, , ±1 are the corresponding transfer integrals (accounting for the hopping of the electron between neighboring atoms), and is the energy of the state. 5 In the first place we note that this equation reduces to well-known systems of physical interest in certain particular cases. For instance, if and/or , ±1 are uncorrelated random variables with uniform probability distribution, (9) describes a disordered system within the so-called Anderson model. On the contrary, if the and , ±1 parameters obey a periodic sequence, we will be dealing with a classical periodic crystal. Therefore, (9) allows for a unified mathematical treatment encompassing periodic, random, and QPS.
In order to specify a given QPS one must indicate its onsite energies { } and transfer integrals { , +1 } sequences. Potentials usually considered in (9) can be classified into two broad families, namely, incommensurate and self-similar potentials.
(i) Incommensurate potentials are characterized by the presence of (at least) two superimposed periodic structures whose corresponding periods are incommensurate. The origin of incommensurability may be structural (as it occurs when two different periodic sublattices form a whole system) or dynamical, when one of the periodicities is associated with the crystal structure and the other one is related to the behavior of elementary excitations propagating through the solid (see Section 1.5).
(ii) Self-similar potentials, on the contrary, describe a new ordering of matter based on the presence of inflation symmetries replacing the translation ones.
In the case of incommensurate systems, the potential amplitude is given by a periodic function whose argument depends on , being an irrational number. Some of the most representative models studied up to now are given in Table 1.
On the other side, in most self-similar systems studied to date the aperiodic sequence is defined in terms of certain substitutional sequences. A substitution sequence is formally defined by its action on an alphabet A = { , , , . . .}, which consists of certain number of letters, generally corresponding The amplitude distribution shown in (a) for the wave function as a whole is identically reproduced at progressively smaller scales (indicated by the arrows) in (b) and (c) after a proper rescaling. This is a distinctive feature of its characteristic self-similarity property. This wave function corresponds to the eigenstate located at the center of the spectrum, = 0, in the Aubry-André model (see Section 1.5) with a potential strength = 2 (adapted from [8], with permission from Ostlund and Pandit © 1984 by the American Physical Society).
to different kinds of atoms in actual realizations. The substitution rule starts by replacing each letter by a finite word, as it is illustrated in Table 2. The corresponding aperiodic sequence is then obtained by iterating the substitution rule starting from a given letter of the set A in order to obtain a QP string of letters. For instance, the Fibonacci sequence is obtained from the continued process → → → → → ⋅ ⋅ ⋅ . Another popular sequence is the so-called Thue-Morse sequence, which has been extensively studied in the mathematical literature as the prototype of a sequence generated by substitution. In this case the continued process reads → → → → → ⋅ ⋅ ⋅ . The number of letters in this sequence increases geometrically, = 2 , where indicates the iteration order. In the infinite limit the relative frequency of both kinds of letters in the sequence takes the same value; that is, = = 1/2. This result contrasts with that corresponding to the Fibonacci sequence, where = −1 and = −2 , with = (1 + √ 5)/2 being the golden mean. Another important difference is that in the Fibonacci sequence letters always appear isolated, whereas in Thue-Morse sequence both dimers and appear alike. We note that QPS based on substitution sequence related alphabets take on just a few possible values (say two for Fibonacci and Thue-Morse or four for Rudin-Shapiro sequences), whereas QPS based on the discretization of continuous potentials (e.g., = cos( + ])) can take on ISRN Condensed Matter Physics 7  a significantly larger set of values. This property makes these potentials more complex from Shanon's entropy viewpoint [15].

Spectral Measure Classification.
A key question in any general theory of QPS regards the relationship between their atomic topological order, determined by a given QP distribution of atoms and bonds, and the physical properties stemming from that structure. At the time being a general theory describing such a relationship is still lacking. This unsatisfactory situation has considerably spurred the interest in studying the main properties of QP Schrödinger operators from a mathematical perspective. To this end, it is convenient to arrange (5) in the following form 6 : which can be regarded as an eigenvalue equation involving the Schrödinger operator within the square bracket. Within this framework the nature of an (eigen)state is determined by the measure of the spectrum to which it belongs.
Most rigorous mathematical results in the field have been derived from the study of nearest-neighbor, tight-binding models described in terms of a convenient discretization of (10) given by the Hamiltonian 7 : where > 0 measures the potential strength, where [ ] denotes the integer part of , and is generally the golden mean or its reciprocal. From a mathematical point of view these models belong to the class of AP Schrödinger operators, which display unusual spectral properties.
Indeed, according to Lebesgue's decomposition theorem, the energy spectrum of any measure in R can be uniquely decomposed in terms of just three kinds of spectral measures (and mixtures of them), namely, pure-point ( ), absolutely continuous ( AC ), and singularly continuous ( SC ) spectra, in the following form: Suitable examples of physical systems containing both the pure-point and/or the absolutely continuous components in their energy spectra are well known, with the hydrogenic atom being a paradigmatic instance. On the other hand, the absence of actual physical systems exhibiting the singular continuous component relegated this measure as a merely mathematical issue for some time. From this perspective, the discovery of QCs bridged the long standing gap between the theory of spectral operators in Hilbert spaces and condensed matter theory [16,17]. Now, from the viewpoint of condensed matter physics there are two different (though closely related) measures one can consider when studying the properties of solid materials. On the one hand, we have the measure related to the atomic density distribution, which determines the spatial structure of the solid. On the other hand, we have the measure related to the energy spectra of the system, which describes the electronic structure (or the frequency distribution of atomic vibrations in the case of the phonon spectrum) and its related physical properties. In order to characterize the solid structure it is convenient to focus on the nature of the measure associated with the lattice Fourier transform, which is related to the main features of X-ray, electron, or neutron diffraction patterns. For the sake of illustration in Figure 6 we show the Fourier amplitude distributions for three representative QPS [18].
Since the electronic structure of a system is ultimately related to the spatial distribution of its constituent atoms throughout the space and to their bonding properties, one expects a close relation to exist between the electronic energy spectral measure and the Fourier lattice measure. In this regard a particularly relevant result obtained from the study of QPS is the so-called gap-labeling theorem, which provides a relationship between reciprocal space (Fourier) spectra and Hamiltonian energy spectra. In fact, this theorem relates the position of a number of gaps in the electronic energy spectra to the singularities of the Fourier transform of the substrate lattice [19][20][21]. Accordingly, in order to gain additional insight into the relationship between the type of structural order present in an aperiodic solid (as determined by its lattice Fourier transform) and its related transport properties (as determined by the main features of the energy spectrum and the nature of its eigenstates) it is convenient to introduce the chart depicted in Figure 7. In this chart we present a classification scheme of aperiodic systems based on the nature of their diffraction spectra (in abscissas) and their energy spectra (in ordinates). In this way, we clearly see that the simple classification scheme based on the periodic-amorphous dichotomy is replaced by a much richer one, including nine different entries. In the upper left corner we have the usual periodic crystals exhibiting pure-point Fourier spectra (well-defined Bragg diffraction peaks) and an absolutely continuous energy spectrum (Bloch wave functions in allowed bands). In the lower right corner we have amorphous matter exhibiting an absolutely continuous Fourier spectrum (diffuse spectra) and a pure-point energy spectrum (exponentially localized wave functions). By inspecting this chart, one realizes that although Fibonacci and Thue-Morse lattices share the same kind of energy spectrum (a purely singular continuous one), they have different lattice Fourier transforms so that these QPS must be properly classified into separate categories. At the time being, the nature of the energy spectrum corresponding to the Rudin-Shapiro lattice is yet an open question. Numerical studies suggested that some electronic states are localized in these lattices, in such a way that the rate of spatial decay of the wave functions is intermediate between power and exponential laws [23][24][25]. These results clearly illustrate that there is not any simple relation between the spectral nature of the Hamiltonian describing the dynamics of elementary excitations propagating through an aperiodic lattice and the spatial structure of the lattice potential.
In the light of these results, it is tempting to establish a one-to-one correspondence between extended, localized and critical states introduced in Section 1.2, on the one hand, and the three possible spectral measures, namely, absolutely continuous, pure-point, and singular continuous spectra, on the other hand. Indeed, the study of several physical systems provided evidence on the correspondence between extended states and absolutely continuous spectra, as well as between exponentially localized states and pure-point measures. For instance, periodic lattices described in terms of the Kronig-Penney model have a mixed spectrum consisting of a purepoint component for low energy values and an absolutely continuous component for higher enough energies. 8 What about singular continuous spectra? The energy spectrum of most QPS considered to date seems to be a purely singular continuous one, which is supported on a Cantor set of zero Lebesgue measure. Thus, the spectrum exhibits an infinity of gaps and the total bandwidth of the allowed states vanishes in the thermodynamic limit. Though this property has only been proven rigorously for QPS based on the Fibonacci [26][27][28], Thue-Morse, and period-doubling sequences [29,30], it is generally assumed that it may be a quite common feature of most QPS [31], and it has become a relatively common practice to refer to their states generically as critical states on this basis. However, this semantics does not necessarily imply that all these critical states, which belong to quite different QPS in the spectral chart shown in Figure 7, will behave in exactly the same way from a physical viewpoint. This naturally leads to some misleading situations.
In order to clarify this issue one should start by addressing the following questions.
(i) What is the best term to refer to the eigenstates belonging to a singular continuous spectrum?
(ii) What are the specific features (if any) of these states as compared to those belonging to absolutely continuous or pure-point spectra?
(iii) What are the characteristic physical properties (if any) of states belonging to singular continuous spectra?
(iv) To what extent are these properties different from those exhibited by Bloch states and exponentially localized states, respectively?
To properly answer the above questions, one may reasonably expect that the study of a system where the three possible kinds of wave functions were simultaneously present may shed some light on the physical nature of critical wave functions and their main differences with respect to both Bloch and exponentially localized functions.

The Aubry-André Model.
In 1980 Aubry and André predicted that for a certain class of one-dimensional QPS a metal-insulator localization phase transition can occur [32]. Below the transition all the states of the system are extended, whereas above the critical point all states are localized. At exactly the critical point all the wave functions become critical ones. Therefore, the Aubry-André model provides an illustrative example of a QPS which can exhibit extended, localized, or critical wave functions depending on the value of a control parameter which measures the potential strength. Accordingly, this parameter can be regarded as an order parameter controlling the existence of a metal-insulator transition in the system.
Explicitly, the Schrödinger equation for the Aubry-André model is given by where is an irrational number, is a real number modulating the potential strength, and ] is a real number describing a phase shift. There are two well-known physical systems which can be described by (13). The first is the motion of an electron in a two-dimensional square lattice with lattice constant in the presence of a magnetic field H perpendicular to the plane. In this case = 2 /(ℎ ) is related to the ratio of the magnetic flux through the lattice unit cell ( 2 ) to the quantum magnetic flux (ℎ / ), where is the speed of light and is the electron charge. The second example is provided by the one-dimensional electron dynamics in an aperiodic crystal characterized by the presence of two superimposed periodic potentials: the main one, of period 1 , determines the position of the discrete lattice points, and the subsidiary one, of period 2 , describes a displacive modulation of the structure.
Within the tight-binding approach and the nearestneighbor approximation it is convenient to discretize (13) in the form: 9 where labels the lattice sites and the lattice constant defines the length scale ( ≡ 1). Considered as an operator in ℓ 2 (Z), (14) describes a bounded and self-adjoint operator. For a rational value of (periodic crystal) (14) can be solved by applying Bloch's theorem and the energy spectrum is absolutely continuous. For irrational values of (aperiodic crystal) the nature of the energy spectrum depends on the value of the potential strength . For < 2 the spectrum is absolutely continuous with extended Bloch wave functions ( Figure 8); when > 2 the spectrum is pure-point and contains exponentially localized states. At = 2 the spectrum is singular continuous and all the wave functions become critical ( Figure 5). 10 The fact that when the critical potential strength = 2 is adopted, the metal-insulator transition occurs for all the eigenstates, independently of their energy, was rather surprising. Indeed, previous experience with random systems showed that the states closer to the band edges become more easily localized than those located at the band center. It is now understood that the simultaneous change of the localization degree for all the eigenstates is a unique property of the socalled self-dual systems, of which the Aubry-André model is a typical representative. The self-dual property expresses the following symmetry: if we substitute in (14) we obtain the so-called dual representation: where the dual variables arẽ By comparing (14) and (16) we see that the Fourier coefficients satisfy the same eigenvalue equation as the wave functions amplitudes when = 2. In this case it is said that (14) and (16) are self-dual (remain invariant under a Fourier transformation). Accordingly, if the eigenstate is spatially localized, then the eigenstate of the dual problem, , is spatially extended and vice versa.
The degree of localization of the Aubry-André model states can be collectively characterized by an exponent , defined as [8] ≡ lim where is some integer (which may depend on ) describing the lattice scaling properties, is the denominator of successive rational approximants to , 11 and | | 2 is the squared wave function amplitude. From the above definition it follows that = 0 for extended states and = −1 for exponentially decaying localized states. In their numerical studyÖstlund and Pandit considered the Aubry-André model with = = ( √ 5 − 1)/2, the reciprocal of the golden mean, and they focused on the eigenstate corresponding to the energy = 0 (located at the spectrum center). By assuming = 3 (as suggested by the lattice scaling of the critical wave functions shown in Figure 5) they found Thus, one obtains Bloch functions when < 2 ( Figure 8) and exponentially localized functions when > 2, whose localization length depends on the adopted potential strength according to the relationship ℓ −1 ∼ | − 2| ( Figure 9). The value of the exponent obtained for = 2 clearly indicates the states are neither exponentially localized nor Bloch-like extended, since −1 < < 0 in this case. From a closer inspection of the wave function amplitudes distribution plotted in Figure 5 they concluded that the structure around the main local peaks approaches a length-rescaled version of the structure around = 0 peak. Let be a label denoting the location of the subsidiary peaks around the th main local peak; then their corresponding amplitudes are related to , where = 0.315 ± 0.005 is a scaling factor given by a constant fraction of the = 0 peak. Therefore, there is a whole hierarchy of subsidiary peaks with peak height of the central = 0 peak. The self-similar behavior of the critical wave function implies that, strictly speaking, they cannot be regarded as localized, since the wave function amplitudes never decay to zero, although the points exhibiting large amplitudes are further and further apart from each other. It is important to highlight that the self-similar distribution of the wave function amplitudes is not restricted to the critical potential strength value = 2. In Figure 9 the magnitude of the wave function at the band center is shown at the supercritical regime = 2.05. By comparing Figures 5 and 9 we see that for potential strengths relatively close to the critical one, but certainly located in the supercritical regime, the wave functions envelope decays more rapidly, hence leading to a more pronounced confinement of the wave function support around the central site = 0, as expected for eigenstates undergoing a transition to an exponentially localized behavior. But this envelope is still encapsulating a self-similar amplitudes pattern distribution.
It was early suggested by Aoki that critical wave functions in the Aubry-André model may be characterized by some fractal dimensionality [33,34]. Later on Soukoulis and Economou [35] numerically demonstrated the fractal character of certain eigenfunctions in disordered systems and characterized their amplitude behavior by a fractal dimensionality. What is more interesting is that the fractal character of the wave function itself was suggested as a new method for finding mobility edges. The observation of anomalous scaling of both the moments of the probability distribution and the participation ratio near the localization threshold in the Anderson model strongly suggested that a critical wave function cannot be adequately treated as simply fractal [36]. Instead, a multifractal measure is characterized by a continuous set of scaling indices and fractal dimensions ( ). Accordingly, the wave functions cannot be described as homogeneous fractals [35,[37][38][39][40]. For an extended wave function one can obtain a single point = = 1, which expresses the absence of self-similar features in the wave function amplitudes distribution. When a wave function is localized the ( ) spectrum consists of two points (if the chain length is longer than the localization length), one being (0) = 0 and the other being (∞) = 1. For a critical wave function one gets a continuous ( ) spectrum, but a non-self-similar wave function shows quite different shapes in each scale and does not yield a ( ) spectrum independent of the systems size. Thus, the self-similarity of a critical wave function is characterized by the size independence of its ( ) spectrum.

Fractal Energy Spectra.
In his pioneering article, Hofstadter put forward the following fundamental question: what is the meaning (if any) of a physical magnitude whose very existence depends on the rational or irrational nature of the numbers in terms of which this magnitude is expressed?
Common sense tells us that there can be no physical effect stemming from the irrationality of some parameter, because an arbitrarily small change in that parameter would make it rational-and this would create some physical effect with the property of being everywhere discontinuous, which is unreasonable [41].
To further analyze this question, in his study of the Harper's equation, 12 he considered the dependence of the spectrum Lebesgue measure (see Section 1.3) as a function of the parameter value and concluded that the measure has a very peculiar behavior: at rational values of the measure is discontinuous, 13 since there are irrationals arbitrarily near any rational, yet at irrational values, the measure is continuous. This property is ultimately related to the highly fragmented nature of the energy spectrum for irrational values observed in his celebrated butterfly spectra shown in Figure 10.
This graph has some very unusual properties. The large gaps form a very striking pattern somewhat resembling a butterfly; perhaps equally striking are the delicacy and beauty of the fine-grained structure. These are due to a very intricate scheme, by which bands cluster into groups, which themselves may cluster into larger groups, and so on [41]. 14 Very similar features have been reported by different authors from the study of different QPS energy spectra (see Section 2.1) and can be summarized as follows.
(i) The energy spectrum of most self-similar systems exhibits an infinity of gaps and the total bandwidth of the allowed states vanishes in the → ∞ limit. This has been proven rigorously for systems based on the Fibonacci [27,28], Thue-Morse, and period-doubling sequences [27].
(ii) The position of the gaps can be precisely determined through the gap labeling theorem in some definite countable set of numbers [19][20][21].
(iii) Scaling properties of the energy spectrum can be described using the formalism of multifractal geometry [42,43].
An illustrative example of the spectrum structure corresponding to two QPS is shown in Figures 11 and 12. By inspecting these figures we clearly appreciate the following prefractal signatures: (i) the spectra exhibit a highly fragmented structure generally constituted by as many fragments as the number of atoms present in the chain; (ii) the energy levels appear in subbands which concentrate a high number of states and which are separated by relatively wide forbidden intervals; (iii) the degree of internal structure inside each subband depends on the total length of the chain, and the longer the chain, the finer the structure, which displays distinctive features of a self-similar distribution of levels.
Taken altogether these features provide compelling evidence about the intrinsic fractal nature of the numerically obtained spectra, which will eventually show up with mathematical accuracy in the thermodynamic limit → ∞. Now, as one approaches this limit it is legitimate to question whether a given energy value actually belongs to the energy spectrum. Indeed, this is not a trivial issue in the case of highly fragmented spectra supported by a Cantor set of zero Lebesgue measure and can be only guaranteed on the basis of exact analytical results. In fact, because of the presence of extremely narrow bands, special care is required in order to avoid studying states belonging to a gap and erroneously interpreting their features as those proper critical states.
In this regard, it should also be noted that irrational numbers cannot be explicitly included in a computing code as that but only in terms of approximate truncated decimal expressions. Accordingly, one must very carefully check that the obtained results are not appreciably affected by the truncation. To this end, one should consider the systematic use of successive approximants of an irrational number in order to explore the possible influence of its irrational character (if any) in the physical model under study. In fact, one can implement numerically an empirical scaling analysis in which the QPS is approximated by a sequence of periodic systems with progressively larger unit cells of size defined by the optimal rational approximants to ; namely, = / . In this way, by checking that finer discretization produces almost the same results one can be confident enough of the reliability of the obtained results [44].

One-Dimensional Aperiodic Systems
Broadly speaking, an obvious motivation for the recourse to one-dimensional (1D) models in solid state physics is the complexity of the full-fledged problem. In the particular case of quasicrystalline matter this general motivation is further strengthened by the lack of translational symmetry, though the presence of a well-defined long-range orientational order in the system also prevents a naive application of procedures specifically developed for the study of random structures in this case.
We can also invoke more fundamental reasons supporting the use of 1D models as a first approximation to the study of realistic QPS. In fact, most characteristic features of QPS, like the fractal structures of their energy spectra and related eigenstates, can be explained in terms of resonant coupling effects in the light of Conway's theorem. Therefore, the physical mechanisms at work are not so dependent on the dimension of the system but are mainly determined by the self-similarity of the underlying structure [46]. Consequently, the recourse to 1D models can be considered as a promising starting point, for such models encompass, in the simplest possible manner, most of the novel physics attributable to the QP order.

Quasiperiodic Binary Alloys.
Several representative examples of binary Fibonacci chains composed of two types of atoms, say A and B, which have been profusely studied in the literature, are displayed in Figure 13. 15 In these models the QP order can be introduced in (i) the sequence of atomic potentials { } (Figure 13 this arrangement is referred to as the on-site (or diagonal) model, and all the transfer integrals are assumed to be equal over the lattice ( , +1 = , ∀ ) so that (9) reduces to where the common transfer integral value defines the system energy scale (i.e., ≡ 1); (ii) the sequence of bonds along the chain { , +1 } (Figures 13(c) and 13(d)); these arrangements are referred to as the induced (Figure 13(c)) and the standard ( Figure 13(d)) transfer (or off-diagonal) models, respectively. In both cases all the atomic potentials are assumed to be equal ( = , ∀ ) and (9) reduces to where, without loss of generality, the origin of energy is set by the atomic potentials (i.e., ≡ 0); (iii) both the atoms and bonds sequences; this arrangement corresponds to the general case, and it is generally assumed that the QP sequence of bonds is determined by the QP sequence of atoms, since chemical bonds between different atoms will depend on their chemical nature (Figure 13(a)). As a consequence, the arrangement of transfer integrals = and is synchronized with { } in such a way that the { , +1 } sequence is still aperiodic but it does not obey the same QP sequence that determines the { } sequence (cf. Figures 13(c) and 13(d)).
Due to mathematical simplicity reasons, most early works in the period 1985-1990 focused on the two particular versions of the Schrödinger equation given by the on-site and the standard transfer models. In Table 3 we list the parameters generally used in the study of different binary QP models.
Making use of the trivial relation = , (9) can be cast in the convenient matrix form: where M is referred to as the local transfer matrix. Thus, for a given system size , the wave function amplitudes can 14 ISRN Condensed Matter Physics  be recursively obtained by successively multiplying the initial values 1 and 0 , according to the expression: where M ( ) is the so-called global transfer matrix. Therefore, to solve the Schrödinger equation is completely equivalent to calculating products of transfer matrices, and the QP order of the system is naturally encoded in the particular order of multiplication of these transfer matrices to give M ( ). In this way, the noncommutative character of the matrix product endows the global transfer matrix with a fundamental role on the description of QP order effects in the transport properties of QPS. Indeed, within the transfer matrix framework the complexity of a given QPS can be measured by the number of different kinds of local transfer matrices which are necessary to fully describe it as well as by the particular order of appearance of these matrices along the chain. For instance, in the case of the Fibonacci sequence one has two different local transfer matrices in the on-site model (see Figure 13(b)) where, without loss of generality, the origin of energies is defined in such a way that = = − ( Table 3). The number of required local transfer matrices increases to three in the transfer models. Thus, for the standard model we have ( ≡ 1) whereas for the induced transfer model one gets where ≡ / , and the energy scale is given by ≡ 1. Finally, the number of local transfer matrices rises to four in the general case; namely, The presence of the matrices A and B in the general model indicates that the on-site model can be naturally obtained as a particular case corresponding to the condition = 1, which reduces Z = Y = A. In a similar way, the induced transfer model can be obtained from the general one by imposing the condition = 0, which reduces Z = K, Y = L, and A = B = C. On the contrary, the standard transfer model cannot be straightforwardly obtained from the general one, because the transfer integrals sequence { , +1 } corresponding to the general case does not coincide with the atomic potential sequence { } (Figure 13(c)). Accordingly, the general, on-site, and induced transfer models can be regarded as sharing the same lattice topology, whereas the standard transfer model does not. We also note that the matrices A, B, and C are unimodular (i.e., their determinants equal unity), while the remaining local transfer matrices are not.
In the case of the on-site model the transfer matrix formalism allows one to establish a one-to-one correspondence between the atomic potentials sequence and the local transfer matrices sequence (see Figure 13(b)) so that the global transfer matrix reads Since A and B are both unimodular it can be stated that the global transfer matrix for the on-site model belongs to the (2, R) group. It is ready to check that the matrices string in (29) Table 4 we list the first Fibonacci numbers.
Making use of (26), the global transfer matrix for the standard transfer model reads (see Figure 13(d)) where we have definedB ≡ C and introduced the new matrix [48]:Ã which is unimodular. For = there are = −2 matrices of typeÃ and = −3 matrices of typeB. Therefore, by introducing the matricesÃ andB we are able to express the global transfer matrix corresponding to the standard transfer model in terms of just two different unimodular matrices arranged according to the Fibonacci sequence, as we did for the on-site model. Therefore, M ( ) also belongs to the (2, R) group in this case. In a similar way, making use of (27), we can express the global transfer matrix corresponding to the induced transfer model as where we have introduced the auxiliary unimodular matrices: so that M ( ) belongs to the (2, R) group for the induced transfer model as well. In this case, for = we have = −3 matrices S and = −4 matrices S . Finally, making use of (28) we can translate the potentials sequence { , , , , , . . .} describing the atomic order of the general Fibonacci lattice to the local transfer matrices product ⋅ ⋅ ⋅ ABZYBZYBABZYB describing the behavior of electrons moving through it (see Figure 13(a)). In spite of its greater apparent complexity, we realize that by renormalizing this transfer matrix sequence according to the blocking scheme R ≡ ZYB and R ≡ AB, we get the considerably simplified global transfer matrix: Thus, we can express the M ( ) matrix of the Fibonacci general model in terms of just two matrices instead of the original four [49]. The subscripts in the R ] matrices are introduced to emphasize the fact that the renormalized transfer matrix sequence is also arranged according to the Fibonacci sequence and, consequently, the topological order present in the original lattice is preserved by the renormalization process. In fact, if = is the number of original lattice sites, it can then be shown by induction that the renormalized matrix sequence contains = −3 matrices R and = −4 matrices R . Quite remarkably, the renormalized matrices As we see, the matrix elements of the different renormalized matrices are polynomials of the electron energy so that one may expect that these matrices could adopt particularly simple forms for certain energy values. To explore such a possibility in a systematic way it is convenient to explicitly 16 ISRN Condensed Matter Physics evaluate the commutators corresponding to the different Fibonacci lattices shown in Figure 13 [49,50]: Thus, we see that both the on-site and the standard transfer models are intrinsically noncommutative, for their commutators only vanish in the trivial = ≡ 0 or = ≡ 1 cases, respectively. On the contrary, in the induced transfer model the S ] matrices commute for the energy value = 0. 16 In that case, and (34) can be expressed as where we have made use of the Cayley-Hamilton theorem. 17 Equation (38) guarantees that the = 0 state belongs to the energy spectrum, since | tr M (0)| = |2 −2 (0)| = |2 sin(( − 1) /2)| ≤ 2, ∀ . On the other hand, making use of the relationships 2 (0) = (−1) and 2 +1 (0) = 0, we realize that (38) can take on two different forms, depending on the parity of the = −3 integer; namely, Thus, the wave function has a simple form and takes on values ±1 or ± ±1 (assuming 0 = 1 = 1). The sites have | | 2 = 1 or −2 , whereas the sites have | | 2 = 1 or 2 [50]. Accordingly, this is an extended state, which propagates through the Fibonacci induced transfer model.
Finally, according to expression (36), there exists always one energy satisfying the relation: for any realization of the general model (i.e., for any combination of ̸ = 0 and ̸ = 1 values). For these energies the condition [R , R ] = 0 is fulfilled and, making use of the Cayley-Hamilton theorem, the global transfer matrix of the system, M ( * ) ≡ R R , can be explicitly evaluated. From the knowledge of ( * ) the condition for the considered energy value to be in the spectrum, | tr[M ( * )]| ≤ 2, can be readily checked. We will discuss in detail the properties of these states in Sections 3.3 and 4.2.

Fractal Lattices.
Prior to the discovery of QCs it was suggested by some authors that fractal structures, which instead of the standard translation symmetry exhibit scale invariance, may be suitable candidates to bridge the gap between crystalline and disordered materials [51]. Such a possibility was further elaborated in subsequent works on inhomogeneous fractal glasses [52,53], a class of structures which are characterized by a scaling distribution of pore sizes and a great variety in the site environments. From this perspective it is interesting to compare the physical properties related to these two novel representatives of the orderings of matter, namely, QCs and fractals.
Thus, both numerical and analytical evidences of localized, critical, and extended wave functions alternating in a complicated way have been reported for several fractal models [54][55][56][57][58][59][60][61][62]. In addition, it was reported that the interplay between the local symmetry and the self-similar nature of a fractal gives rise to the existence of persistent superlocalized modes in the frequency spectrum [63]. This class of states arise as a consequence of the fact that the minimum path between two points on a fractal does not always follow a straight line [64]. Consequently, the general question regarding whether the nature of the states might be controlled by the fractality of the substrate is an interesting open question, well deserving further scrutiny.
Let us start by considering the celebrated triadic Cantor model, which can be obtained from the substitution rule → and → , leading to the sequences The number of letters contained in the order fractal generation is = 3 . By inspecting these strings we realize that these sequences differ from the binary QP sequences considered in Section 2.2 in the sense that, as the system grows on, the subclusters of s grow in size to span the entire 1D space. Therefore, in the thermodynamic limit the lattice may be looked upon as an infinite string of atoms, punctuated by atoms which play the role of impurities located at specific sites determined by the Cantor sequence [60,65].
The Schrödinger equation corresponding to the on-site version of the triadic Cantor lattice can be expressed in terms of a global transfer matrix composed of the two local transfer matrices A and B given by (25), as follows: One then sees that, for those energy values satisfying the condition B 3 = ±I, these global transfer matrices reduce to that corresponding to a periodic structure with a unit cell . 18 Accordingly, if the energies satisfying the condition B 3 = ±I also belong to the spectrum of the periodic lattice (i.e., they satisfy the property | tr(ABA)| ≤ 2), then these energies will correspond to extended states. Making use of the Cayley-Hamilton theorem the above resonance condition can be expressed in terms of the matrix equation: Thus, the on-site triadic Cantor set admits a countable set of extended states, whose number progressively increases as the system size increases. This result properly illustrates that the scale invariance symmetry related to self-similar topology characteristic of a Cantor lattice favours the presence of extended states propagating through the structure. An illustrative fractal lattice extending in more than one dimension is provided by the so-called Vicsek lattice. The pattern corresponding to its two first generations is shown in Figure 14, where we see that its basic building block is formed by a cross composed of five identical atoms (on site energy 0 ) coupled to the central one with identical transfer integrals . Quite remarkably, this fractal lattice can be exactly mapped into a 1D chain of atoms by systematically decimating the upper and lower branches around the central site at any fractal generation, as it is illustrated on the right hand of Figure 14 for first-and second-generation lattices. The resulting effective 1D decimated chain is composed of a set of = 3 atoms with different on-site energy values, which are coupled to each other by identical transfer integrals .
The resulting decimated lattice exhibits a hierarchical structure so that the successive values of the on-site energy series 0 , 1 , 2 , . . . arrange themselves in a self-similar pattern, where arises out of the decimation of bigger and bigger clusters of atoms around the central sites at each generation order of the fractal, and are given by the fraction series: By inspecting Figure 14 we realize that by imposing the condition 1 = 0 the decimated lattice corresponding to the first generation Vicsek fractal reduces to a monatomic periodic chain, whereas by imposing the condition 2 = 1 the decimated lattice corresponding to the second generation Vicsek fractal reduces to a binary periodic chain, the unit cell of which is precisely given by the = 1 decimated chain. Accordingly, the eigenstates corresponding to these resonance energies will be extended states in their corresponding effective periodic chains. Obviously, the same procedure can be extended to higher order generations to reduce the original hierarchical lattice to a periodic lattice containing as many different types of atoms as the generation order. In this regard, one may consider that the topological complexity of the original Vicsek fractal is properly translated to a higher chemical diversity as a consequence of the renormalization processes. Therefore, as the Vicsek fractal grows larger we can obtain a numerable infinite set of extended states in the thermodynamic limit. The energies corresponding to these states can be obtained from (44) by imposing the condition +1 = , ≥ 1, iteratively. The same condition can be arrived at by considering the local transfer matrices corresponding to the on-site hierarchical lattice model, which have the form: and calculating the commutator: which only commutes when +1 = . Since the global transfer matrix of the decimated 1D chain is given as a product of local transfer matrices of the form:

ISRN Condensed Matter Physics
the hierarchical distribution of the renormalized on-site energies in the decimated lattice guarantees that this hierarchical structure is inherited by the corresponding extended states satisfying the commutation condition stated above. As a final model example we will consider the tightbinding model on the Koch lattice introduced by Andrade and Schellnhuber [66]. The motivation for this choice stems from the fact that this model Hamiltonian can also be exactly mapped onto a linear chain and the corresponding electron dynamics expressed in terms of just two kinds of renormalized transfer matrices. In this way we can use the same algebraic approach discussed in the study of electron dynamics in general Fibonacci systems in the previous section. The model is sketched in Figure 15, and its tightbinding Hamiltonian is given by [66] = ∑ {| ⟩ ⟨ + 1| + | ⟩ ⟨ − 1| + ( ) where is the cross-transfer integral introduced by Gefen et al. [67] (indicated by dashed lines in Figure 15 with ≥ 2 and −4 /2 ≤ ≤ 4 /2, describing the effective next-nearest-neighbor interaction in the th stage of the fractal growth process. The main effect of allowing electron hopping across the folded lattice is the existence of sites with different coordination numbers along the lattice, a characteristic feature of fractals which is not shared by QP lattices. Depending on the value of their respective coordination numbers we can distinguish twofold (circles), threefold (full triangles) and fourfold (squares) sites. We then notice that even sites are always twofold, a fact which allows us to renormalize the original lattice mapping it into the linear form sketched in Figure 15(b) [66]. The transfer integrals represented by single bonds appear always isolated from one another. The transfer integrals represented by double bonds can appear either isolated or forming trimers. Consequently, there are three possible site environments in the renormalized Koch lattice which, in turn, define three possible types of local transfer matrices, labelled F, G, and H in Figure 15(b). Now, by introducing the matrices P ≡ HG and PQ ≡ FF, it can be shown by induction that the global transfer matrix at any given arbitrary stage of the fractal growth process, M , can be iteratively related to that corresponding to the previous stage, M −1 , by the expression [66]: with ≥ 2 and M 1 ≡ P. In this way, the topological order of the lattice is translated to the transfer matrices sequence describing the electron dynamics in a natural way. The matrices P and Q are unimodular for any choice of and for any value of the electron energy, , and their commutator reads [55] [P, Q] = where ≡ 1+ , and we have defined the origin of energies in such a way that the transfer integrals along the original chain equal unity. By comparing (51) with the commutator [R , R ] for the general Fibonacci lattice given by (36) we see that the Koch fractal lattice has a larger number of resonance energies, namely, = 0, = ± √ 2, and = −2/ , as compared to the single * value obtained for the Fibonacci one.

Quasiperiodic Optical Devices.
In order to fully appreciate the fingerprints of long-range aperiodic order, the study of classical waves propagating through an aperiodic substrate offers a number of advantages over the study of quantum elementary excitations. Consequently, light transmission through aperiodic media has deserved an ever-increasing attention in order to understand the interplay between optical properties and the underlying aperiodic order of the substrate [18,[68][69][70][71]. To this end, the mathematical analogy between Schrödinger equation (5) and Helmholtz equation describing a monochromatic electromagnetic wave of frequency propagating in a lossless, dispersionless medium with a variable refractive index profile ( ) where E is the transversal component of the electric field, ‖ is the wave vector in the XY plane (perpendicular to the propagation direction ), and is the vacuum speed of light, provides a powerful tool to relate previous knowledge about electron motion in superlattices to electromagnetic waves propagating in multilayers ( Figure 16). We note that the refractive index of the different layers is the physical magnitude relating the aperiodic sequence describing the stacking order along the multilayer (Figure 16(a)) and the resulting aperiodic function describing the multilayer's optical profile (Figure 16(b)). Thus, the isomorphism of Shrödinger and Helmholtz equations provides a helpful analogy involving basic concepts in modern optoelectronics [72].

Nature of States in Aperiodic Systems
The notion of critical wave function has evolved continuously since its introduction in the study of QP systems (see Section 1.2), leading to a somewhat confusing situation. For instance, references to self-similar, chaotic, lattice-like, or  Society). quasilocalized wave functions can be found in the literature depending on the different criteria adopted to characterize them [48,[73][74][75]. Generally speaking, critical states exhibit a rather involved oscillatory behavior, displaying strong spatial fluctuations which show distinctive self-similar features ( Figure 5). Thus, the wave function is peaked on short chain sequences but peaks reappear far away on chain sequences showing the same lattice ordering. As a consequence, the notion of an envelope function, which has been the most fruitful in the study of both extended and localized states, is mathematically ill defined in the case of critical states, and other approaches are required to properly describe them and to understand their structure.
On the other hand, as we have seen in Section 1.4, from a rigorous mathematical point of view, the nature of a state is uniquely determined by the measure of the spectrum to which it belongs. In this way, since it has been proven that a number of QPS have purely singular continuous energy spectra, we must conclude that the associated electronic states cannot be, strictly speaking, extended in Bloch's sense. However, this fact does not necessarily imply that states belonging to singular continuous spectra of different QPS will behave in exactly the same way from a physical viewpoint.
In fact, electronic states can be properly classified according to their related transport properties. Thus, conducting states in crystalline systems are described by periodic Bloch functions, whereas insulating systems exhibit exponentially decaying functions corresponding to localized states. Within this scheme the notion of critical states is somewhat imprecise, because critical states exhibit strong spatial fluctuations at different scales. In this regard, a first step towards a better understanding of critical states was provided by the demonstration that the amplitudes of critical states in onsite Fibonacci lattices do not tend to zero at infinity but are bounded below through the system [28]. This result suggests that the physical behavior of critical states is more similar to that corresponding to extended states than to localized ones. Indeed, the possible existence of extended states in several kinds of aperiodic systems has been discussed in the last years spurring the interest in the precise nature of critical wave functions and their role in the physics of aperiodic systems [49,50,55,73,[76][77][78][79]. As a result, arguments supporting the convenience of widening the very notion of extended state in aperiodic systems to include critical states which are not Bloch functions have been put forward [49,55].

Eigenstates in On-Site Fractal Lattices.
How do the eigenfunctions of self-similar fractal lattices compare with those reported for the Aubry-André model at the critical point? In Figure 17(a) we plot the wave function amplitudes for one of the solutions of (43) for a lattice with = 3 5 = 243 lattice sites. The distribution shows an interesting pattern, which mimics the topological atomic arrangement of the lattice itself in the sense that all peaks group close together in clusters containing 1, 3, or 27 peaks, which are also powers of three, like what occurs for the s strings interspersed in the lattice. For this reason, these types of states are sometimes referred to as lattice-like in the literature. 19 When comparing the wave function distribution amplitudes of this state for lattices of different lengths, it was reported that the latticelike feature recurrently appears and disappears depending on the generation order of the fractal lattice, being present for those lattices whose length is given by the series = 3 2 +1 , with ≥ 1 [60]. For other energy values one obtains extended states which, however, do not generally exhibit the lattice-like property as it is shown in Figure 17(b). Therefore, the lattice-like property is by no means a generic property of extended states in triadic Cantor lattices. In addition, by comparing Figures 5 and 17 we see that the wave functions reported for Cantor lattices lack the characteristic self-similar arrangements of peaks observed in the critical states of the Aubry-André model.

Self-Similar Wave Functions in Fibonacci Transfer Models.
The wave function distribution amplitudes for the state located at the band centre ( = 0) in the Fibonacci standard transfer model (see Figure 13(d)) were earlier studied in detail by Kohmoto and coworkers and it is shown in Figure 18. One can readily appreciate a series of main peaks which are sequentially found as is increased. The peak values are given by powers of the parameter / measuring the ratio between the long and short bonds (in Figure 18 = 2, so that the peaks take on 2 values). In order to analyze the spatial distribution of the wave function amplitudes we will split the lattice sites into two complementary sets depending on whether is (or not) a Fibonacci number. Due to the self-similar structure of Fibonacci lattices the global transfer matrix for lattice sites corresponding to Fibonacci numbers can be iteratively obtained from the relation [80]: On the other hand, making use of the property that any integer can be expressed as a sum of Fibonacci numbers in the form = 1 + 2 + ⋅ ⋅ ⋅ + , with 1 > 2 > ⋅ ⋅ ⋅ > ∈ N, the global transfer matrix for a non-Fibonacci lattice site is given by Let us first consider the lattice sites corresponding to Fibonacci numbers. Since we are considering the = 0 state, Then, making use of (53), one gets progressively longer sections along the Fibonacci chain. The size = 55 = 9 thus represents the minimum length necessary for the properties stemming from this matrices repeating pattern to manifest themselves. The structure of (56) matrices also guarantees that the wave function amplitudes can only take on the values ±1 or ± ±1 times 0 or 1 at these lattice sites.
The situation is different for lattice sites which do not correspond to Fibonacci numbers. In fact, there are a series of peaks located at the sites given by the formula * = 3 + 6 + ⋅ ⋅ ⋅ + 3 , = 1, 2, 3, . . ., whose corresponding global transfer matrices (for > 2) read where we have made use of (54) and the six-cycle property M +6 (0) = M (0). According to (24) at these lattice sites the wave function amplitudes obey the geometric series * = 2 0 and * = − 2 +1 1 . These two series of lattice sites give the fundamental structure of the wave function as they determine the series of progressively higher peaks which are encountered sequentially as is increased [80]. Indeed, as one considers longer and longer lattices one obtains higher and higher peaks, as it is seen in Figure 18(a). This implies that the wave function is not bounded above in the thermodynamic limit → ∞. A typical self-similar structure, which can be described by means of a proper scale transformation of the wave function amplitudes, can be identified around the highest peaks, as it is illustrated in Figures 18(b)-18(d). 20 The self-similarity of this wave function can be described precisely as follows: if one assumes 0 = 1 = 1, then the modulus of the wave function is invariant under the scale transformation [80]: where = (1 + √ 5)/2 is the golden mean. Accordingly, the wave function amplitude obeys a power-law distribution of the form ≃ , with = | ln( / )|/ ln 3 (for = 2 and = 1 one gets = 0.480) [80], which defines a local envelope of the wave function around the sites with high peak values. A similar critical exponent for the envelope of the wave function was obtained by introducing a renormalization group method to study the Fibonacci standard transfer model [81,82]. The reason for a power-law behavior is basically that the global transfer matrices of the form corresponding to lattice sites * = ∑ 3 containing an even number of Fibonacci numbers in the sum (e.g., * = 16,304 and 5472 in (57)), have an eigenvalue which is greater than unity. 21 Therefore, although the wave function does not grow and only takes the values {±1, ±( / ) ±1 } at Fibonacci sites, it grows as a power-law at non-Fibonacci sites.
Although these exact results have been obtained for the special energy = 0, there are many other energies at which the wave functions behave similarly. Those energies are at the centers of the main subbands in the energy spectrum, which progressively appear as the system grows longer. Self-similar wave functions were also reported at the energy spectrum edges, where the global transfer matrices exhibit a two-cycle recurrence [48].
However, as far as 1986, the notion of critical wave function in Fibonacci systems was not yet clearly defined, as it is illustrated by this excerpt by Kohmoto [42]: There are two types of unusual wave functions: self-similar and chaotic. The self-similarity exists for wave functions corresponding to the center and the edge of each subcluster of the spectrum. The wave function at each center is similar to the exact wave function at = 0. In the same way, all the wave functions at the edges are similar to each other. Chaotic states exist almost everywhere in the spectrum. They are the remaining states which are not at the centers or the edges of every subband in the spectrum. These states are not normalizable and do not have apparent scaling properties. The nature of these chaotic states is not well understood yet.
An example of a non-self-similar wave function, characterized by strong spatial fluctuations of the wave function amplitudes, is shown in Figure 19. The overall, long-range structure of this wave function can be split into two main regions including 20 = 10946 and 19 = 6765 lattice sites each, which are, respectively, located on the left (right) of the arrow shown in the figure. The wave function amplitudes corresponding to these two regions exhibit distinctive mirror symmetry features with respect to the dashed vertical lines. Although one cannot see any evidence of self-similar patterns in this amplitudes distribution by simple visual inspection, there exist more powerful methods to disclose short-range internal correlations in such a distribution. Two wide procedures used to this end are based on the so-called multifractal and wavelets analysis, respectively (see Section 1.5).
The use of multifractal methods to analyze the electronic states in Fibonacci lattices provided conclusive evidence on the existence of different kinds of critical states, depending on their location in the highly fragmented energy spectra. Thus, while states located at the edges or the band centers of the main subbands exhibit a distinctive self-similar spatial structure, most of the remaining states do not show any specific pattern [48].

Extended States in General Fibonacci Lattices.
In Section 2.1 we saw that, whereas both the on-site and standard transfer models are intrinsically noncommutative, one could always find the special energy value given by (40) satisfying [R , R ] = 0 in general Fibonacci lattices. In this case the renormalized matrices given by (35) adopt the form: where Since ̸ = 0 in the general Fibonacci lattice (the choice = 0 leads to the induced transfer model), R cannot adopt a diagonal form, but R becomes diagonal for = ±1. In that case, R = ±I and the global transfer matrix reads where we have made use of the Cayley-Hamilton theorem to evaluate the required power matrix.
Quite interestingly the matrices given by (60) can be expressed as powers of a common matrix themselves; namely, R = R 2 and R = R 3 , where is a unimodular matrix [83]. In this way, making use of the Cayley-Hamilton theorem, the global transfer matrices corresponding to the energies given by (40) can be readily expressed in the closed form: where ( ) are Chebyshev polynomials of the second kind and Taking into account the relationship − −2 = 2 between Chebyshev polynomials of the first and second kinds, from (64), one gets tr[M ( * )] = 2 cos( ). Consequently, we can ensure that energies determined by (40) belong to the spectrum in the QP limit ( → ∞).
The charge distribution shown in Figure 20(a) corresponds to a state of energy * 1 = −1.25 in a general Fibonacci chain with = 16 = 1 597 sites and lattice parameters = 2 and = 0.75. Figure 20(b) shows the charge distribution corresponding to a state of energy * 2 = −5/6 in a general Fibonacci lattice of the same length and model parameters = 2 and = 0.5. The overall behavior of the wave functions amplitudes clearly indicates their extended character. Indeed, the presence of identity matrices in the product defining the global transfer matrix favours the existence of extended states spreading relatively homogeneously throughout the lattice. At this point it is worthwhile to mention that, despite its appearance, this wave function is nonperiodic: the sequence of values taken by the wave function amplitude is arranged according to a QP sequence.
An illustrative example of the energy spectra of general Fibonacci chains for different values of the model parameter is shown in Figure 21. Its characteristic fragmentation scheme is clearly visible. One appreciates that the extended states given by (40) where + * ( − * ) denote the eigenstate for the top (bottom) band edge, respectively. In both cases the wave function amplitudes grow linearly with the lattice site.

Signatures of Quasiperiodicity.
As we saw in Section 1.2, the nature of a wave function was at first established by attending to its spatial structure. This criterion has proved useful as far as it was possible to assign a precise relationship between such a spatial structure and its related transport properties. Thus, the amplitudes distribution of a Bloch extended state fits a periodically modulated pattern, whereas for a localized state this distribution decays exponentially, according to a well-defined localization length. Therefore, for both localized and extended states, the corresponding wave functions admit a global description in terms of an envelope function, which is characterized by a specific spatial parameter, such as the localization length or the period, respectively. On the contrary, a global description of the wave function in terms of an envelope function is no longer possible, in general, for the eigenstates belonging to aperiodic systems due to the fluctuating structure shown by their amplitude distributions. As we have previously mentioned, from a physical viewpoint electronic states can be more appropriately classified according to their transport properties, which are of course closely related to the spatial distribution of the wave function amplitudes as well. One can then reasonably expect that the rich structure displayed by most eigenstates in QPS should be reflected, to some extent, in their related transport properties. In order to explore this issue, Sutherland and Kohmoto studied the electrical resistance of the six-cycle and twocycle states located at the center and at the band-edges of the allowed subbands in a binary Fibonacci alloy [84]. To this end, they made use of the dimensionless Landauer formula: where ( ) are the elements of the global transfer matrix. They found that the Landauer resistance is bounded above by a quantity which scales according to a power-law as a function of the length of the system: ( ) ≤ 0 , with = ln / ln , where is the golden mean and = 6 ( = 2) for six-cycle (two-cycle) eigenstates. On the basis of these exact results, valid for a subset of eigenstates, it was conjectured that the resistance as a function of the chain size was bonded by a power of the sample length for all states belonging to the system spectrum.
This conjecture was subsequently rigorously confirmed by Iochum and Testard [28]. Therefore, the power-law scaling of the resistivity can be properly regarded as a fingerprint of critical states in Fibonacci lattices. On the other side, the plot of the Landauer resistance as a function of the system size shows self-similar fluctuations as a consequence of the highly fragmented structure of their energy spectrum, as it is illustrated in Figure 22.
Inspired by these results, the average transport properties in Fibonacci lattices were studied by considering the influence of a number ] of wave functions on the mean value of the Landauer resistance for a given system length, according to the average: where indicates the energy of the corresponding states. It was obtained that the average Landauer resistance also scales as ⟨ ⟩ ∼ ( > 0) [85]. The power-like increase of the resistance indicates that the electrical conductance vanishes in the limit → ∞. This trend qualitatively agrees with the large electrical resistivity values observed in most icosahedral quasicrystals containing transition metals [46,86].
Another magnitude which has been profusely considered in the study of QPS is the transmission coefficient given by where one assumes the aperiodic chain to be sandwiched between two periodic chains (playing the role of metallic contacts), each one with on-site energy and transfer integral . The dispersion relation of the contacts is then given by = + 2 cos . The transmission coefficient is a useful quantity to describe the transport efficiency in quantum systems. Nonetheless, ( ) is usually difficult to be directly measured experimentally, though it is directly related to the dimensionless Landauer resistance through the expression: Accordingly, for those states having a unity transmission coefficient, ( ) = 1, usually referred to as transparent states, one expects a ballistic transport throughout the lattice. Certainly, this condition is fulfilled by extended Bloch functions describing extended states. But, what can be said about the possible existence of transparent states in fractal and QPS?

Transparent Extended States in Aperiodic Systems.
Let us now consider a class of wave functions belonging to either QP or fractal systems, which satisfy the condition ( ) = 1, so that they can be regarded as extended from a physical point of view, though their wave function amplitudes distribution also exhibits characteristic QP features. This result prompts one to properly widen the notion of transparent wave function to include electronic states which are not Bloch functions, thereby clarifying the precise manner in which the QP structure of these wave functions influences their transport properties.
Indeed, from a detailed numerical study of the triadic Cantor lattice it was found that the transmission coefficient becomes equal to unity for many energy eigenvalues corresponding to extended eigenfunctions of the system, as it is illustrated in Figure 23. However, it should be mentioned that there are also values of the transmission coefficient which lie between zero and one. For example, the transmission coefficient corresponding to the energy = 0 in the on-site model with = 0, = −1, = 1, = 0, and = 1 reads for > 1, where the is the fractal generation order determining the chain length, = 3 . Accordingly, when −1 is a multiple of 3 the state becomes transparent, elsewhere one gets (0) = 4/5 = 0.8, as it is the case of the eigenstate shown in Figure 17 for a lattice with = 3 5 sites. Therefore, among the extended wave functions belonging to the triadic Cantor lattice spectrum energy one can find both transparent and nontransparent states, depending upon the adopted value [60].
A similar result is obtained when considering the selfsimilar state corresponding to = 0 in the standard transfer model of the Fibonacci binary alloy ( Figure 18). As we saw in Section 3.2, its global transfer matrix exhibits a six-cycle property so that, depending on the value, there exist five possible types of resulting M (0) matrices, as prescribed by (56). By plugging the corresponding matrix elements into (69) one gets * ( ) = 1 when the transfer matrix adopts the simple form given by M 1 (0), whereas one has elsewhere. Since this expression is less than unity for all transfer integral values different from the trivial periodic case 2 = 1, 22 one concludes that  in this case we obtain a remarkable parity effect in the resulting transport properties.
The properties of electronic states are even more interesting in general Fibonacci lattices when one considers the subset of the energy spectrum formed by those eigenstates satisfying (40). In this case, by plugging the global transfer matrix elements given by (64) into (69) one obtains [49] Two important conclusions can be drawn from this expression. In the first place, the transmission coefficient is always bounded below (i.e., ( * ) ̸ = 0) for any lattice length, which proves the truly extended character of the related states. In the second place, since the factor multiplying the sine in the denominator of expression (73) only vanishes in the trivial (periodic) case = 1, the critical states we are considering do not verify, in general, the transparency condition ( * ) = 1 in the QP limit.
For the sake of illustration, consider the extended states shown in Figure 20. At first sight, by comparing both figures, one may be tempted to think that the transmission coefficient corresponding to the wave function plotted in Figure 20(a) should be higher than that corresponding to the wave function shown in Figure 20(b), because the charge distribution of the former along the system is more homogeneous than that corresponding to the latter. Actually, however, making use of expression (73), one finds ( * 1 ) = 0.5909 ⋅ ⋅ ⋅ and ( * 2 ) = 0.7425 ⋅ ⋅ ⋅ , which is just the opposite case. Therefore, despite the homogeneous distribution of their amplitudes, these estates are not transparent at all.
In this way, these transparent states can be classified according to a well-defined scheme determined by the integer . By combining (40) and (74) we obtain the following relationship for the values of the model parameters satisfying the transparency condition: Quite remarkably, it was reported that when one chooses the model parameters in such a way that they satisfy (75), with being a divisor of (i.e., / = ∈ N), one will always get a periodically modulated wave function which propagates ballistically through the system [87]. The periodicity of the long scale modulation is a direct consequence of the divisibility properties of Fibonacci numbers; namely, is a divisor of for all > 0 [88]. For a given system size, the smaller is, the more periods the envelope of the wave functions has, and the period of this envelope is exactly / . Thus, the wave function amplitudes distribution becomes progressively more homogeneous as the value of gets smaller, as it is illustrated in the different panels of Figure 24. In that case, the wave functions exhibit a remarkable spatial distribution, where the QP component (characteristic of short spatial scales) is nicely modulated by a long scale periodic component.
On the other hand, from (73) we see that among the possible transparent states there exists a subset satisfying the condition = 0 ( = ), so that these states are transparent for any value. As we discussed in Section 3.3, these particular states correspond to the band-edges of the energy spectrum, and they satisfy the condition = ±(1 − 2 ). By comparing with (75) we realize that these band-edge states correspond to the label = 0 and = (see Figure 24(a)).
Subsequent numerical studies of the energy spectrum of general Fibonacci lattices have shown that a significant number of electronic states exhibiting transmission coefficients close to unity are located around the transparent states given by (40) [89]. An illustrative example is shown in Figure 25 for an energy value close to the resonance energy * = −13/50 = −0.26. By inspecting this plot we notice the existence of two different superimposed structures. In fact, a periodic-like, long-range oscillation with a typical wavelength of about sites is observed to modulate a QP series of short-range minor fluctuations of the wave function amplitude, typically spreading over a few lattice sites. This qualitative description receives a quantitative support from the study of its Fourier transform, showing two major components in the Fourier spectrum corresponding to the low and high frequency regions, respectively. This result suggests that these critical states behave in a way quite similar to conventional extended states from a physical viewpoint, albeit they can not be rigorously described in terms of Bloch functions. To further analyze this important issue the study of the ac conductivity at zero temperature is very convenient, since it is very sensitive to the distribution nature of eigenvalues and the localization properties of the wave function close to the Fermi energy. In this way, by comparing the ac conductivities corresponding to both periodic and general Fibonacci lattices it was concluded that the value of the ac conductivity takes on systematically smaller values in the Fibonacci case, due to the fact that the ac conductivity involves the contribution of nontransparent states within an interval of ℎ around the Fermi level in this case [90,91].
In summary, although when considering Bloch functions in periodic systems the notion of extended wave functions coincides with transparent ones, this is no longer true in the case of fractal and QPS. In particular, for general Fibonacci systems in which both diagonal and off-diagonal QP order are present in their model Hamiltonian, we have critical states which are not localized (i.e., ( * ) ̸ = 0 ∀ , when → ∞). For finite Fibonacci chains one can find transparent states exhibiting a physical behavior completely analogous to that corresponding to usual Bloch states in periodic systems (i.e., ( * ) = 1) for a given choice of the model parameters, prescribed by (75). There exists a second class of critical states, those located close to the transparent ones, which are not strictly transparent (i.e., ( ) ≲ 1) but exhibit transmission coefficient values very close to unity. Finally, the remaining states in the spectrum show a broad diversity of possible values of the transmission coefficient (i.e., 0 < ( ) ≪ 1), in agreement with the earlier view of critical states as intermediate between periodic Bloch wave functions ( ( ) = 1) and localized states ( ( ) = 0).

Electronic States in Koch Fractal
Lattices. To conclude, let us consider the transport properties of electronic states in the Koch lattice. This lattice is topologically more complex than any of the previously considered lattices, mainly due to the fact that it has sites with different coordination numbers (see Figure 15), whereas all sites in Fibonacci, triadic Cantor and Vicsek fractal lattices are simply twofold coordinated. This higher topological complexity naturally translates to the P and Q renormalized matrices as well as to their commutator, which adopt a more complicated form than those obtained for the renormalized matrices in Fibonacci binary alloys, the triadic Cantor lattice, and the Vicsek fractal. Accordingly, the commutator (51) vanishes in four different cases. (i) The choice = 0 reduces the original Koch lattice to a trivial periodic chain, so that all the allowed states, −2 ≤ ≤ 2, are extended. (ii) The center of the energy spectrum, = 0, corresponds to an extended state [66]. (iii) = ± √ 2. (iv) The family of states = −2/ . For these energies the global transfer matrix of the system, = P Q , with = 4 −1 + 1 and = 4 −2 + 1, can be explicitly evaluated. From the knowledge of M the condition for the considered energy value to be in the spectrum, | tr[M ]| ≤ 2, can be readily checked and, afterwards, its transmission coefficient can be explicitly determined.
Let us consider, in the first place, the energies = ± √ 2. In this case we get The transmission coefficient at a given iteration stage reads [55] ( ) = 1 where the plus (minus) sign in the factor of sin( ) corresponds to the choices ≡ 1 and ≡ = −1, respectively, for the transfer integral of the periodic leads. From expression (78) we realize that the transmission coefficients corresponding to the family (iv) are always bounded below for any stage of the fractal growth process, which proves their extended nature in the fractal limit. In addition, the choices = ±2 ( = ∓1) correspond to states which are transparent at every stage of the fractal growth process. A fact which ensures their transparent nature in the fractal limit as well. Furthermore, it is possible to find a number of cross-transfer integral values satisfying the transparency condition = 1 at certain stages of the fractal growth given by the condition = , ∈ N, which allows us to label the different transparent states at any given stage , in terms of the integer .
In Figure 26 we plot the transmission coefficient given by (78) at two successive stages = 2 and = 3, as a function of the cross-transfer value. In the first place, we note that the number of values supporting transparent states, ] , progressively increases as the Koch curve evolves toward its fractal limit, according to the power law ] = 2(4 −1 + 1). It is interesting to compare this figure with the number of sites, = 4 + 1, present, at the stage , in the Koch lattice. Thus, we obtain ] = ( + 3)/2, indicating that the number of Koch lattices able to support transparent states increases linearly with the system size and, consequently, that the fractal growth favours the presence of transparent extended states in Koch lattices. In particular, we can state that, in the fractal limit, there exists an infinitely numerable set of crosstransfer integrals supporting transparent extended states in the Koch lattice.
Another general feature shown in Figure 26 is the presence of a broad plateau around = 2 where the transmission coefficients take values significantly close to unity. In addition, as separates from the plateau the local minima of the transmission coefficient, min , take on progressively decreasing values which tend to zero in the limits → ∞ and → 1. This behavior suggests that the best transport properties in the family (iv) should be expected for those states located around the plateau.
Up to now we have shown that, as the Koch lattice approaches its fractal limit, an increasing number of crosstransfer integrals are able to support transparent states in the = −2/ branch of the phase diagram. But, for a given value of , how many of the related extended states at an arbitrary stage, say , will prevail in the fractal limit → ∞? From a detailed analysis of expression (78) it was found that the considered states can be classified into two separate classes. In the first class we have those states which are transparent at any stage . In the second class we find states whose transmission coefficient oscillates periodically between = 1 and a limited range of min ̸ = 1 values depending on the value of the label integer and the fractal growth stage. Two general trends have been observed in this second class of extended states. First, the values of min are significantly lower for states corresponding to < 0 than for states corresponding to > 0. Second, at any given fractal stage, the values of min are substantially higher for states associated with crosstransfer integral values close to the plateau than for states corresponding to the remaining allowed values. We must note, however, that not all these almost transparent states are expected to transport in much the same manner, as suggested by the diversity observed in the values of min .
In Figure 27 we provide a graphical account of the most relevant results obtained in this section. In this figure we show the phase diagram corresponding to the model Hamiltonian given by (48) at the first stage of the fractal process (shadowed landscape) along with two branches corresponding to the states belonging to the family = −2/ (thick black lines). In the way along each symmetrical branch we find three particular states whose coordinates are, respectively, given by (±1, ∓2), (± √ 2, ∓ √ 2), and (±2, ∓1). Three of them, corresponding to the choice > 0, are indicated by full circles labelled A, B, and C in Figure 27. These states correspond to transparent states whose transmission coefficients equal unity at every . The remaining states in the branches correspond to almost transparent states exhibiting an oscillating behavior in their transmission coefficients. By comparing Figures  26 and 27 we realize that the positions of the transparent states A-B-C allow us to define three different categories of almost transparent states according to their related transport properties. The first class (I) includes those states comprised between the state A, at the border of the spectrum,  and the state B, located at a vertex point separating two broad regions of the phase diagram. The second class (II) includes those states comprised between the state B and the state C close to the plateau in the transmission coefficient around = 2. Finally, the third class (III) comprises those states beyond the state C. The states exhibiting better transport properties belong to the classes II and III and correspond to those states grouping around the plateau near the state C for which the values of min are very close to unity. As we move apart from state C, the transport properties of the corresponding almost transparent states become progressively worse, particularly for the states belonging to the class III, for which values of min as low as 10 −3 can be found.

Outlook and Perspectives
In the preceding sections we have presented results obtained in the study of wave functions in fractal and QPS by mainly considering two complementary criteria, namely, their spatial structure and the value of their related transmission coefficients. In the case of periodic crystals or amorphous materials both criteria are simply related to each other. Thus, in periodic crystals we have Bloch states exhibiting a periodically extended spatial structure and ( ) = 1 for any value. Therefore, the allowed states in the spectrum are both extended and transparent wave functions. On the other hand, uncorrelated random systems have exponentially localized wave functions with ( ) = 0. Thus, all states in these systems are both localized and have vanishing transmission coefficients. These simple scenarios no longer apply to either fractal or QPS, having a richer class of wave functions exhibiting a plethora of amplitude distribution patterns. These patterns must be generally described in terms of multifractal analysis and exhibit a broad diversity of transmission coefficient values, spanning the full range 0 < ( ) ≤ 1.
Two points should be highlighted regarding the transmission coefficient limiting values: (i) since ( ) ̸ = 0 in general, strictly localized states are not present in QPS; (ii) the very possibility of having ( ) = 1 for some particular energy values indicates that the notion of transparent state must be widened to include eigenstates which are not Bloch functions at all.
Additionally, fractal systems generally possess an even richer variety of wave functions, stemming from their inherent combination of self-similarity (a property shared with QPS) and fractal dimensionality (manifested by the presence of sites with different coordination numbers along the chain).
The algebraic conditions R = ±I along with [R , R ] = 0, where R denotes a suitable renormalized transfer matrix, allow one to properly pick up certain special energy values related to wave functions which exhibit quite homogeneous amplitude distributions, generally lacking distinctive selfsimilar features. The absence of self-similar arrangements of peaks can be traced back to the fact that, for these energies, the global transfer matrix for the original fractal or QP lattice can be expressed in terms of an effective periodic chain (e.g., triadic Cantor lattice) or two effective periodic chains (e.g., general Fibonacci lattices) upon appropriate decimation/renormalization of the original chains. In both cases, such a possibility naturally leads to the presence of periodic-like distributions of the wave functions amplitudes.
By keeping in mind the main results reviewed in this work concerning the spatial structure of the wave functions belonging to fractal and QPS, it could be concluded that the recent trend of abandoning the former use of "critical wave function" to generically refer to all eigenstates belonging to singular continuous spectra should be encouraged [92]. In fact, whereas the electronic states found in the Aubry-André self-dual model can be properly regarded as being strictly critical ones (in the sense that they undergo a metal-insulator critical transition) this criterion no longer holds for the states found in both fractal and QPS, albeit all of them display multifractal properties. In our opinion, the fundamental property in order to properly classify the nature of states in aperiodic systems must focus on their related transport properties rather than on the wave function amplitudes distribution patterns. The very existence of transparent (ballistic propagation) states in these systems provides conclusive evidence on the unsuitability of the dichotomist view in terms of Bloch and exponentially localized states in order to account for the electronic transport properties in aperiodic systems. Accordingly, we would like to tentatively propose the use of the term singular wave functions to generically refer to the broad family of eigenstates belonging to aperiodic systems exhibiting singular continuous energy spectra.