Abstract
We show that the position operator in a class of f-deformed oscillators has a fractal spectrum, homeomorphic to the Cantor set, via a unitary transformation to Harper's model. The class corresponds to a choice of ergodic operators for the deformation function. Hofstadter's butterfly is plotted by direct diagonalization of a position operator with an originally vanishing diagonal. This is equivalent to a one-dimensional hamiltonian without potential.
Export citation and abstract BibTeX RIS
1. Introduction
The idea of deforming the oscillator algebra to obtain new solvable systems—in particular those connected to quantum optics [1–4]—is a vivid example of an old precept: there are two classes of problems, given by the unsolved ones and the harmonic oscillator; the idea is to move examples of the former class into the latter [5]. In this respect, the q- and f-deformations of the Heisenberg algebra [6, 7] have proved to be sufficiently rich, containing hamiltonians with both finite and infinite levels in the spectrum [8]. Moreover, the inherent nonlinearity of deformations suggests a strong relation to old, but relevant models of electrodynamics [9–11]. In a different realm of physics, but following the same precept, a mapping of a Dirac oscillator to a lattice has been reached by means of recursion relations [12]. This indicates a direct connection between the number of quanta of an oscillator and the site number of a semi-infinite chain [13].
Despite the vast literature related to this subject, little has been said about the configuration space emanating from algebraic deformations. In this paper we show the existence of an f-deformed Heisenberg algebra that turns the hamiltonian into an ergodic operator, while its position X-equivalently P-acquires a spectrum given by the Cantor set. This surprising result makes manifest the non-trivial topological properties of an algebraically modified space. For instance, the spectral measure of such a space vanishes, despite the uncountability of the eigenvalues associated to the deformed position operator. We thus have a purely singular phase space, if we borrow the term from spectral theory [14].
We proceed in two steps. In section 2 we show a direct relation between the position operator of a deformed Heisenberg algebra and a deformed tight-binding chain without on-site potentials. Then, in section 3 we map unitarily an off-diagonal operator representing X to Harper's model. The map contains as a special case a deformed semi-infinite tight-binding chain without potentials. The spectrum of the resulting system is found to be identical to Hofstadter's butterfly [15] when plotted as a function of an external parameter. A few remarks on finite size effects in numerical results are given. We conclude in section 4.
2. A connection between the position of f-oscillators and a tight-binding chain without diagonal
The f-deformations of Heisenberg's algebra suggested by Man'ko [3] allow the introduction of a very general deformation function F(N) of the usual number operator In natural units, we have the well-known relations
Meanwhile, the deformed operators are established2 by means of F(N) (hermitian) as
with the following modified commutations relations
A deformed position X and momentum P can be constructed in the usual manner, but employing now
and the new commutation relation is
Evidently, these deformations have the effect of changing the spectrum of a hamiltonian conventionally defined as a quadratic form in phase space. We have
showing that the spectrum is not necessarily equispaced. Since the last relation expresses H as a function of N, can be obtained by acting directly on the usual harmonic oscillator basis resulting in the following expression
On the other hand, the spectrum of the position operator X can be found by diagonalizing the matrix representation between harmonic oscillator states:
Incidentally, since phase space operators are unitarily related by
then P and X are isospectral. Now, if the eigenstates of X are expanded in the usual oscillator basis we are led to a recurrence relation for after substituting in i.e.
with the boundary condition This can indeed be interpreted in terms of a nearest-neighbor tight-binding model: if we identify with hopping amplitudes (also known as couplings) and ξ with the kth energy of a hopping particle in a chain, we have the equivalent relation
and the boundary condition can be fictitiously imposed by setting this completes the analogy with a semi-infinite chain. We may employ translation operators and a site-number operator N to express the tight-binding equation in hamiltonian form
with the properties
The atomic states must now be interpreted as vectors whose space representations are functions of a real position variable y; such functions are localized around site It is convenient to mention here that in certain applications of tight-binding models, such as photonic crystals [16] or optical lattices [17, 18], the coupling constants Δ can be engineered by means of evanescent waves coming out of a potential well or a resonating cavity located at a lattice site.
2.1. Ergodic operators for deformed oscillators
Ergodic hamiltonians [19] are a key ingredient of fractal spectra, in particular for the 'almost' Mathieu operator [20]. In a more general fashion, an ergodic hamiltonian may contain operators whose spectrum is dense and uncountable in a subset of Here we must specify our deformation function such that is ergodic.
An operator with such a property can be obtained by means of a quasiperiodic function of N. Let be periodic of period τ:
but now, if ω and τ are non-commensurate, the operator does not have period τ in the variable N:
Moreover, there is no translation of oscillator quanta that leads to invariance, i.e. for any
In addition, if is a hermitian bounded operator its spectrum must be dense, for acting on yields a set equivalent to the irrational numbers within A more specific example can be given in terms of trigonometric functions: If our deformation function F is set as
then the hamiltonian will become
Now we take ω to be non commensurate with π, such that En generates a dense set contained in an interval. One can verify that the limits of the interval depend on ω.
3. A map between position operators and Harper's hamiltonian: the realization of Hofstadter's butterfly
The position operator X now has the form of an ergodic operator, since it contains (19) in its definition, and when ω is non commensurate with π, the spectrum of is dense in the interval Here we claim and prove that in fact X is isospectral to a tight-binding hamiltonian that produces Harper's equation, namely
This is in principle unusual, since contains no lattice deformations (constant couplings) and the effect of fractality in its spectrum is due solely to the external field. On the other hand, X is a pure deformation, without diagonal terms We shall see that there exists a unitary U such that with λ an overall scaling factor.
Let us start with
From here, we see that we may work with more generality using the following rescaled operator and the introduction of an extra parameter ν
where
In what follows we show that H0 corresponds to the addition of two translation operators and V to a local potential of a transformed variable, using the appropriate basis. In order to transform unitarily, we work now at the level of states using the definition
with an appropriate normalization constant. It is a matter of simple algebra to verify the following equations:
Here one may proceed by direct substitution of (25) in the second relation of (26), while the first relation follows by recognizing that
In fact, the expansion coefficients in (25) can be derived by solving the set of recurrences emerging from (26), (27) as requirements. Now that we have established these properties, the following identifications are in order
i.e. are translation operators in k and V is a function of the number operator K such that We also write to simplify the notation. Harper's equation now emerges transparently when is applied to its eigenvector written as a linear superposition the recurrence is
Moreover, since this equation corresponds to an infinite chain.
It is left to verify that the transformation is unitary. This is most easily done by applying the transpose conjugate of (25) to as follows:
where in the last line we recognize that the summation in braces is a properly normalized delta, so m = n.
It is interesting to note that the map described above does not work when (21) contains the more general potential with This seems to be connected with the known result [14] that only produces a purely singular spectrum. For general Λ, the deformation function becomes complex
and its spectrum is modified. When or the trigonometric part becomes a mere perturbation.
3.1. The spectrum of
As pointed out in very early works [15, 21] on this subject, the spectrum of this system is equivalent to Cantor's set when ω is non commensurate with π, i.e. it is purely singular. This is independent of the value of ν. On the other hand, if ω and π are commensurate we have and the system becomes periodic. The period is q if are relatively primes; this implies that a structure of q bands should emerge. As approaches irrationality, the number of such bands increases as a power of a given initial number (say, two bands for a precursor of Cantor's set) and their length decreases in a similar amount. This analysis is also valid for our off-diagonal as expressed in (23), since it only requires the ergodic behavior of Usually, the spectrum is depicted by showing a sequence of shrinking intervals as a function of ω, giving rise to the famous butterfly. In our problem, we may diagonalize directly the operator by a suitable numerical routine and plot the spectrum. Since the matrix representations that we use are of a finite size, an additional artefact appears in the pattern: the gaps between bands for rational ω contain eigenvalues due to edge states. Such bands proliferate in a self-similar pattern and it is to be expected that edge states appear in various regions of the spectral span. To verify that indeed such states are due to finite size effects, we proceed to diagonalize for increasing sizes and we vary for each size. We show the results in figure 1. In figure 2 we repeat the calculation, but with periodic boundary conditions; the results reveal a significant displacement of border levels towards the allowed bands.
Download figure:
Standard image High-resolution image4. Conclusion
A fractal position spectrum has been found. The example that we have studied has been shown to be equivalent to the reduced problem of an electron in a square lattice under the influence of a magnetic field. We also computed the spectrum numerically to verify the property of isospectrality, recognizing that very small discrepancies arise due to finite size. Undoubtedly, experiments can be carried out in the context of artificial solids, such as those produced by optical lattices, photonic crystals or microwave resonators. In particular, a nearest-neighbour tight-binding chain of identical sites and adjustable distances has been used succesfully to produce other models, and this choice is likely to give immediate results in the present case. It is also important to note that a realization of ergodic hamiltonians using a fixed photon mode in a cavity is not a complete diversion from quantum optical applications: it is a non-linear example of oscillation that can be studied and perhaps partially tested. Due to the extreme dependence of its effective frequency we may propose Ω to vary randomly with the occupation number.
Acknowledgments
We are grateful to CONACyT for financial support under project CB2012–180585. E R-M also wishes to thank CONACyT for beca-crédito 245104.
Footnotes
- 2