
Quasicrystals 137
Because this strip has unit width, one lattice point must fall within it from every
horizontal row, and one finds the lattice points satisfying Eq. (5.116) to be
[J2 m9((m+ l)/r -
1
-η)θ(η - [m/r - 1]), n}. (5.117)
m
Projecting this set of points onto the x axis as before results in the sequence
X
n+]
=^m0((m+l)/T-/i-l)0(n-/n/r + l)+/i/i"· (5.118)
m
This location is defined to be
X
n
+1
rather than X
n
so that
the lower left point in Figure 5.24 will correspond to X\
as well as to x\.
The set of distances X
n
is depicted in Figure 5.24 as the hollow circles.
It is not hard to show that the sequence X
m
is almost exactly the same as the
sequence x
m
. After a few simple changes of variables (Problem 11), one finds
X
m
= -\/T + Tx
m
. (5.119)
Thus X
m
is nothing but the sequence x
m
expanded by a factor of r and slightly
displaced; in particular, the sequences of long and short segments of X
m
and x
m
are exactly the same. It is evident from Figure 5.24 that X
m
is obtained from x
m
by sliding the upper dotted line up slightly, replacing all long intervals by a long
followed by a short, and leaving all short intervals alone. This argument shows the
origin of the deflation rule.
Scattering from a One-Dimensional Quasicrystal. The advantage of viewing the
quasicrystal as a projection down from higher dimensions is that it makes it possi-
ble to compute its Fourier transform and to understand how scattering from such a
structure leads to sharp peaks. What will emerge from the analysis is that the math-
ematical structure of scattering from a quasicrystal differs in some striking ways
from that from a crystal. The quasicrystal scattering peaks are countably infinite
and dense; any finite strip of
q
space contains an infinite number of
peaks,
but most
of them have amplitude too small to be seen. This type of scattering spectrum is
called singular continuous.
The idea behind the calculation is that, as in Figure 5.24, the points contained in
a one-dimensional quasicrystal can be expressed as the product of two functions.
The first is the two-dimensional square lattice, and the second is a function that
equals one within the shaded strip of Figure 5.24 but is zero outside of it. So,
roughly speaking, one expects the Fourier transform of the quasicrystal to be a
convolution of
the
Fourier transform of
the
square lattice with the Fourier transform
of the shaded strip.
The sum to be computed is
E, = Ve
i?I
" ^
ac
■ , (5.120)
v z
—' The
Θ
functions are only
n
nonzero when m and n have
= J2e
i
^^e(n-m/r+l)9(m/r-n) ^j^^^ (5.121)
n,m contribution to the sum.