You are on page 1of 75

Information Theory and Coding

Computer Science Tripos Part II, Michaelmas Term


11 Lectures by J G Daugman

1. Foundations: Probability, Uncertainty, and Information


2. Entropies Defined, and Why they are Measures of Information
3. Source Coding Theorem; Prefix, Variable-, & Fixed-Length Codes
4. Channel Types, Properties, Noise, and Channel Capacity
5. Continuous Information; Density; Noisy Channel Coding Theorem
6. Fourier Series, Convergence, Orthogonal Representation
7. Useful Fourier Theorems; Transform Pairs; Sampling; Aliasing
8. Discrete Fourier Transform. Fast Fourier Transform Algorithms
9. The Quantized Degrees-of-Freedom in a Continuous Signal
10. Gabor-Heisenberg-Weyl Uncertainty Relation. Optimal “Logons”
11. Kolmogorov Complexity and Minimal Description Length
Information Theory and Coding
J G Daugman

Prerequisite courses: Probability; Mathematical Methods for CS; Discrete Mathematics

Aims
The aims of this course are to introduce the principles and applications of information theory.
The course will study how information is measured in terms of probability and entropy, and the
relationships among conditional and joint entropies; how these are used to calculate the capacity
of a communication channel, with and without noise; coding schemes, including error correcting
codes; how discrete channels and measures of information generalise to their continuous forms;
the Fourier perspective; and extensions to wavelets, complexity, compression, and efficient coding
of audio-visual information.

Lectures
• Foundations: probability, uncertainty, information. How concepts of randomness,
redundancy, compressibility, noise, bandwidth, and uncertainty are related to information.
Ensembles, random variables, marginal and conditional probabilities. How the metrics of
information are grounded in the rules of probability.
• Entropies defined, and why they are measures of information. Marginal entropy,
joint entropy, conditional entropy, and the Chain Rule for entropy. Mutual information
between ensembles of random variables. Why entropy is the fundamental measure of infor-
mation content.
• Source coding theorem; prefix, variable-, and fixed-length codes. Symbol codes.
The binary symmetric channel. Capacity of a noiseless discrete channel. Error correcting
codes.
• Channel types, properties, noise, and channel capacity. Perfect communication
through a noisy channel. Capacity of a discrete channel as the maximum of its mutual
information over all possible input distributions.
• Continuous information; density; noisy channel coding theorem. Extensions of the
discrete entropies and measures to the continuous case. Signal-to-noise ratio; power spectral
density. Gaussian channels. Relative significance of bandwidth and noise limitations. The
Shannon rate limit and efficiency for noisy continuous channels.
• Fourier series, convergence, orthogonal representation. Generalised signal expan-
sions in vector spaces. Independence. Representation of continuous or discrete data by
complex exponentials. The Fourier basis. Fourier series for periodic functions. Examples.
• Useful Fourier theorems; transform pairs. Sampling; aliasing. The Fourier trans-
form for non-periodic functions. Properties of the transform, and examples. Nyquist’s
Sampling Theorem derived, and the cause (and removal) of aliasing.
• Discrete Fourier transform. Fast Fourier Transform Algorithms. Efficient al-
gorithms for computing Fourier transforms of discrete data. Computational complexity.
Filters, correlation, modulation, demodulation, coherence.
• The quantised degrees-of-freedom in a continuous signal. Why a continuous sig-
nal of finite bandwidth and duration has a fixed number of degrees-of-freedom. Diverse
illustrations of the principle that information, even in such a signal, comes in quantised,
countable, packets.
• Gabor-Heisenberg-Weyl uncertainty relation. Optimal “Logons”. Unification of
the time-domain and the frequency-domain as endpoints of a continuous deformation. The
Uncertainty Principle and its optimal solution by Gabor’s expansion basis of “logons”.
Multi-resolution wavelet codes. Extension to images, for analysis and compression.
• Kolmogorov complexity. Minimal description length. Definition of the algorithmic
complexity of a data sequence, and its relation to the entropy of the distribution from
which the data was drawn. Fractals. Minimal description length, and why this measure of
complexity is not computable.

Objectives

At the end of the course students should be able to

• calculate the information content of a random variable from its probability distribution
• relate the joint, conditional, and marginal entropies of variables in terms of their coupled
probabilities
• define channel capacities and properties using Shannon’s Theorems
• construct efficient codes for data on imperfect communication channels
• generalise the discrete concepts to continuous signals on continuous channels
• understand Fourier Transforms and the main ideas of efficient algorithms for them
• describe the information resolution and compression properties of wavelets

Recommended book

* Cover, T.M. & Thomas, J.A. (1991). Elements of information theory. New York: Wiley.
Information Theory and Coding

Computer Science Tripos Part II, Michaelmas Term


11 lectures by J G Daugman

1. Overview: What is Information Theory?


Key idea: The movements and transformations of information, just like
those of a fluid, are constrained by mathematical and physical laws.
These laws have deep connections with:
• probability theory, statistics, and combinatorics
• thermodynamics (statistical physics)
• spectral analysis, Fourier (and other) transforms
• sampling theory, prediction, estimation theory
• electrical engineering (bandwidth; signal-to-noise ratio)
• complexity theory (minimal description length)
• signal processing, representation, compressibility
As such, information theory addresses and answers the
two fundamental questions of communication theory:
1. What is the ultimate data compression?
(answer: the entropy of the data, H, is its compression limit.)
2. What is the ultimate transmission rate of communication?
(answer: the channel capacity, C, is its rate limit.)
All communication schemes lie in between these two limits on the com-
pressibility of data and the capacity of a channel. Information theory
can suggest means to achieve these theoretical limits. But the subject
also extends far beyond communication theory.
1
Important questions... to which Information Theory offers answers:
• How should information be measured?
• How much additional information is gained by some reduction in
uncertainty?
• How do the a priori probabilities of possible messages determine
the informativeness of receiving them?
• What is the information content of a random variable?
• How does the noise level in a communication channel limit its
capacity to transmit information?
• How does the bandwidth (in cycles/second) of a communication
channel limit its capacity to transmit information?
• By what formalism should prior knowledge be combined with
incoming data to draw formally justifiable inferences from both?
• How much information in contained in a strand of DNA?
• How much information is there in the firing pattern of a neurone?

Historical origins and important contributions:

• Ludwig BOLTZMANN (1844-1906), physicist, showed in 1877 that


thermodynamic entropy (defined as the energy of a statistical en-
semble [such as a gas] divided by its temperature: ergs/degree) is
related to the statistical distribution of molecular configurations,
with increasing entropy corresponding to increasing randomness. He
made this relationship precise with his famous formula S = k log W
where S defines entropy, W is the total number of possible molec-
ular configurations, and k is the constant which bears Boltzmann’s
name: k =1.38 x 10−16 ergs per degree centigrade. (The above
formula appears as an epitaph on Boltzmann’s tombstone.) This is
2
equivalent to the definition of the information (“negentropy”) in an
ensemble, all of whose possible states are equiprobable, but with a
minus sign in front (and when the logarithm is base 2, k=1.) The
deep connections between Information Theory and that branch of
physics concerned with thermodynamics and statistical mechanics,
hinge upon Boltzmann’s work.
• Leo SZILARD (1898-1964) in 1929 identified entropy with informa-
tion. He formulated key information-theoretic concepts to solve the
thermodynamic paradox known as “Maxwell’s demon” (a thought-
experiment about gas molecules in a partitioned box) by showing
that the amount of information required by the demon about the
positions and velocities of the molecules was equal (negatively) to
the demon’s entropy increment.
• James Clerk MAXWELL (1831-1879) originated the paradox called
“Maxwell’s Demon” which greatly influenced Boltzmann and which
led to the watershed insight for information theory contributed by
Szilard. At Cambridge, Maxwell founded the Cavendish Laboratory
which became the original Department of Physics.
• R V HARTLEY in 1928 founded communication theory with his
paper Transmission of Information. He proposed that a signal
(or a communication channel) having bandwidth Ω over a duration
T has a limited number of degrees-of-freedom, namely 2ΩT , and
therefore it can communicate at most this quantity of information.
He also defined the information content of an equiprobable ensemble
of N possible states as equal to log2 N .
• Norbert WIENER (1894-1964) unified information theory and Fourier
analysis by deriving a series of relationships between the two. He
invented “white noise analysis” of non-linear systems, and made the
definitive contribution to modeling and describing the information
content of stochastic processes known as Time Series.

3
• Dennis GABOR (1900-1979) crystallized Hartley’s insight by formu-
lating a general Uncertainty Principle for information, expressing
the trade-off for resolution between bandwidth and time. (Signals
that are well specified in frequency content must be poorly localized
in time, and those that are well localized in time must be poorly
specified in frequency content.) He formalized the “Information Di-
agram” to describe this fundamental trade-off, and derived the con-
tinuous family of functions which optimize (minimize) the conjoint
uncertainty relation. In 1974 Gabor won the Nobel Prize in Physics
for his work in Fourier optics, including the invention of holography.
• Claude SHANNON (together with Warren WEAVER) in 1949 wrote
the definitive, classic, work in information theory: Mathematical
Theory of Communication. Divided into separate treatments for
continuous-time and discrete-time signals, systems, and channels,
this book laid out all of the key concepts and relationships that de-
fine the field today. In particular, he proved the famous Source Cod-
ing Theorem and the Noisy Channel Coding Theorem, plus many
other related results about channel capacity.
• S KULLBACK and R A LEIBLER (1951) defined relative entropy
(also called information for discrimination, or K-L Distance.)
• E T JAYNES (since 1957) developed maximum entropy methods
for inference, hypothesis-testing, and decision-making, based on the
physics of statistical mechanics. Others have inquired whether these
principles impose fundamental physical limits to computation itself.
• A N KOLMOGOROV in 1965 proposed that the complexity of a
string of data can be defined by the length of the shortest binary
program for computing the string. Thus the complexity of data
is its minimal description length, and this specifies the ultimate
compressibility of data. The “Kolmogorov complexity” K of a string
is approximately equal to its Shannon entropy H, thereby unifying
the theory of descriptive complexity and information theory.

4
2. Mathematical Foundations; Probability Rules;
Bayes’ Theorem

What are random variables? What is probability?

Random variables are variables that take on values determined by prob-


ability distributions. They may be discrete or continuous, in either their
domain or their range. For example, a stream of ASCII encoded text
characters in a transmitted message is a discrete random variable, with
a known probability distribution for any given natural language. An
analog speech signal represented by a voltage or sound pressure wave-
form as a function of time (perhaps with added noise), is a continuous
random variable having a continuous probability density function.

Most of Information Theory involves probability distributions of ran-


dom variables, and conjoint or conditional probabilities defined over
ensembles of random variables. Indeed, the information content of a
symbol or event is defined by its (im)probability. Classically, there are
two different points of view about what probability actually means:
• relative frequency: sample the random variable a great many times
and tally up the fraction of times that each of its different possible
values occurs, to arrive at the probability of each.
• degree-of-belief: probability is the plausibility of a proposition or
the likelihood that a particular state (or value of a random variable)
might occur, even if its outcome can only be decided once (e.g. the
outcome of a particular horse-race).
The first view, the “frequentist” or operationalist view, is the one that
predominates in statistics and in information theory. However, by no
means does it capture the full meaning of probability. For example,
the proposition that "The moon is made of green cheese" is one
which surely has a probability that we should be able to attach to it.
We could assess its probability by degree-of-belief calculations which
5
combine our prior knowledge about physics, geology, and dairy prod-
ucts. Yet the “frequentist” definition of probability could only assign
a probability to this proposition by performing (say) a large number
of repeated trips to the moon, and tallying up the fraction of trips on
which the moon turned out to be a dairy product....

In either case, it seems sensible that the less probable an event is, the
more information is gained by noting its occurrence. (Surely discovering
that the moon IS made of green cheese would be more “informative”
than merely learning that it is made only of earth-like rocks.)

Probability Rules

Most of probability theory was laid down by theologians: Blaise PAS-


CAL (1623-1662) who gave it the axiomatization that we accept today;
and Thomas BAYES (1702-1761) who expressed one of its most impor-
tant and widely-applied propositions relating conditional probabilities.

Probability Theory rests upon two rules:

Product Rule:
p(A, B) = “joint probability of both A and B”
= p(A|B)p(B)

or equivalently,
= p(B|A)p(A)
Clearly, in case A and B are independent events, they are not condi-
tionalized on each other and so
p(A|B) = p(A)
and p(B|A) = p(B),
in which case their joint probability is simply p(A, B) = p(A)p(B).

6
Sum Rule:
If event A is conditionalized on a number of other events B, then the
total probability of A is the sum of its joint probabilities with all B:
p(A) = p(A, B) = p(A|B)p(B)
X X

B B

From the Product Rule and the symmetry that p(A, B) = p(B, A), it
is clear that p(A|B)p(B) = p(B|A)p(A). Bayes’ Theorem then follows:

Bayes’ Theorem:
p(A|B)p(B)
p(B|A) =
p(A)
The importance of Bayes’ Rule is that it allows us to reverse the condi-
tionalizing of events, and to compute p(B|A) from knowledge of p(A|B),
p(A), and p(B). Often these are expressed as prior and posterior prob-
abilities, or as the conditionalizing of hypotheses upon data.

Worked Example:
Suppose that a dread disease affects 1/1000th of all people. If you ac-
tually have the disease, a test for it is positive 95% of the time, and
negative 5% of the time. If you don’t have the disease, the test is posi-
tive 5% of the time. We wish to know how to interpret test results.

Suppose you test positive for the disease. What is the likelihood that
you actually have it?

We use the above rules, with the following substitutions of “data” D


and “hypothesis” H instead of A and B:

D = data: the test is positive


H = hypothesis: you have the disease
H̄ = the other hypothesis: you do not have the disease
7
Before acquiring the data, we know only that the a priori probabil-
ity of having the disease is .001, which sets p(H). This is called a prior.
We also need to know p(D).

From the Sum Rule, we can calculate that the a priori probability
p(D) of testing positive, whatever the truth may actually be, is:

p(D) = p(D|H)p(H) + p(D|H̄)p(H̄) =(.95)(.001)+(.05)(.999) = .051

and from Bayes’ Rule, we can conclude that the probability that you
actually have the disease given that you tested positive for it, is much
smaller than you may have thought:

p(D|H)p(H) (.95)(.001)
p(H|D) = = = 0.019 (less than 2%).
p(D) (.051)
This quantity is called the posterior probability because it is computed
after the observation of data; it tells us how likely the hypothesis is,
given what we have observed. (Note: it is an extremely common human
fallacy to confound p(H|D) with p(D|H). In the example given, most
people would react to the positive test result by concluding that the
likelihood that they have the disease is .95, since that is the “hit rate”
of the test. They confound p(D|H) = .95 with p(H|D) = .019, which
is what actually matters.)

A nice feature of Bayes’ Theorem is that it provides a simple mech-


anism for repeatedly updating our assessment of the hypothesis as more
data continues to arrive. We can apply the rule recursively, using the
latest posterior as the new prior for interpreting the next set of data.
In Artificial Intelligence, this feature is important because it allows the
systematic and real-time construction of interpretations that can be up-
dated continuously as more data arrive in a time series, such as a flow
of images or spoken sounds that we wish to understand.
8
3. Entropies Defined, and Why They are
Measures of Information

The information content I of a single event or message is defined as the


base-2 logarithm of its probability p:
I = log2 p (1)
and its entropy H is considered the negative of this. Entropy can be
regarded intuitively as “uncertainty,” or “disorder.” To gain information
is to lose uncertainty by the same amount, so I and H differ only in
sign (if at all): H = −I. Entropy and information have units of bits.

Note that I as defined in Eqt (1) is never positive: it ranges between


0 and −∞ as p varies from 1 to 0. However, sometimes the sign is
dropped, and I is considered the same thing as H (as we’ll do later too).

No information is gained (no uncertainty is lost) by the appearance


of an event or the receipt of a message that was completely certain any-
way (p = 1, so I = 0). Intuitively, the more improbable an event is,
the more informative it is; and so the monotonic behaviour of Eqt (1)
seems appropriate. But why the logarithm?

The logarithmic measure is justified by the desire for information to


be additive. We want the algebra of our measures to reflect the Rules
of Probability. When independent packets of information arrive, we
would like to say that the total information received is the sum of
the individual pieces. But the probabilities of independent events
multiply to give their combined probabilities, and so we must take
logarithms in order for the joint probability of independent events
or messages to contribute additively to the information gained.

This principle can also be understood in terms of the combinatorics


of state spaces. Suppose we have two independent problems, one with n
9
possible solutions (or states) each having probability p n, and the other
with m possible solutions (or states) each having probability p m. Then
the number of combined states is mn, and each of these has probability
pmpn. We would like to say that the information gained by specifying
the solution to both problems is the sum of that gained from each one.
This desired property is achieved:
Imn = log2(pmpn) = log2 pm + log2 pn = Im + In (2)

A Note on Logarithms:

In information theory we often wish to compute the base-2 logarithms


of quantities, but most calculators (and tools like xcalc) only offer
Napierian (base 2.718...) and decimal (base 10) logarithms. So the
following conversions are useful:
log2 X = 1.443 loge X = 3.322 log10 X
Henceforward we will omit the subscript; base-2 is always presumed.

Intuitive Example of the Information Measure (Eqt 1):

Suppose I choose at random one of the 26 letters of the alphabet, and we


play the game of “25 questions” in which you must determine which let-
ter I have chosen. I will only answer ‘yes’ or ‘no.’ What is the minimum
number of such questions that you must ask in order to guarantee find-
ing the answer? (What form should such questions take? e.g., “Is it A?”
“Is it B?” ...or is there some more intelligent way to solve this problem?)

The answer to a Yes/No question having equal probabilities conveys


one bit worth of information. In the above example with equiprobable
states, you never need to ask more than 5 (well-phrased!) questions to
discover the answer, even though there are 26 possibilities. Appropri-
ately, Eqt (1) tells us that the uncertainty removed as a result of solving
this problem is about -4.7 bits.
10
Entropy of Ensembles

We now move from considering the information content of a single event


or message, to that of an ensemble. An ensemble is the set of outcomes
of one or more random variables. The outcomes have probabilities at-
tached to them. In general these probabilities are non-uniform, with
event i having probability pi, but they must sum to 1 because all possi-
ble outcomes are included; hence they form a probability distribution:
pi = 1 (3)
X

The entropy of an ensemble is simply the average entropy of all the


elements in it. We can compute their average entropy by weighting each
of the log pi contributions by its probability pi:
H = −I = − pi log pi (4)
X

Eqt (4) allows us to speak of the information content or the entropy of


a random variable, from knowledge of the probability distribution that
it obeys. (Entropy does not depend upon the actual values taken by
the random variable! – Only upon their relative probabilities.)

Let us consider a random variable that takes on only two values, one
with probability p and the other with probability (1 − p). Entropy is a
concave function of this distribution, and equals 0 if p = 0 or p = 1:

11
Example of entropy as average uncertainty:

The various letters of the written English language have the following
relative frequencies (probabilities), in descending order:
E T O A N I R S H D L C ...
.105 .072 .066 .063 .059 .055 .054 .052 .047 .035 .029 .023 ...
If they had been equiprobable, the entropy of the ensemble would
1
have been log2( 26 ) = 4.7 bits. But their non-uniform probabilities im-
ply that, for example, an E is nearly five times more likely than a C;
surely this prior knowledge is a reduction in the uncertainty of this ran-
dom variable. In fact, the distribution of English letters has an entropy
of only 4.0 bits. This means that as few as only four ‘Yes/No’ questions
are needed, in principle, to identify one of the 26 letters of the alphabet;
not five.

How can this be true?

That is the subject matter of Shannon’s SOURCE CODING THEOREM


(so named because it uses the “statistics of the source,” the a priori
probabilities of the message generator, to construct an optimal code.)

Note the important assumption: that the “source statistics” are known!

Several further measures of entropy need to be defined, involving the


marginal, joint, and conditional probabilities of random variables. Some
key relationships will then emerge, that we can apply to the analysis of
communication channels.

Notation: We use capital letters X and Y to name random variables,


and lower case letters x and y to refer to their respective outcomes.
These are drawn from particular sets A and B: x ∈ {a1, a2, ...aJ }, and
y ∈ {b1 , b2, ...bK }. The probability of a particular outcome p(x = ai)
is denoted pi, with 0 ≤ pi ≤ 1 and i pi = 1.
P

12
An ensemble is just a random variable X, whose entropy was defined
in Eqt (4). A joint ensemble ‘XY ’ is an ensemble whose outcomes
are ordered pairs x, y with x ∈ {a1, a2, ...aJ } and y ∈ {b1 , b2, ...bK }.
The joint ensemble XY defines a probability distribution p(x, y) over
all possible joint outcomes x, y.

Marginal probability: From the Sum Rule, we can see that the proba-
bility of X taking on a particular value x = ai is the sum of the joint
probabilities of this outcome for X and all possible outcomes for Y :
p(x = ai) = p(x = ai, y)
X

We can simplify this notation to: p(x) = p(x, y)


X

and similarly: p(y) = p(x, y)


X

Conditional probability: From the Product Rule, we can easily see that
the conditional probability that x = ai, given that y = bj , is:
p(x = ai, y = bj )
p(x = ai|y = bj ) =
p(y = bj )
p(x, y)
We can simplify this notation to: p(x|y) =
p(y)
p(x, y)
and similarly: p(y|x) =
p(x)

It is now possible to define various entropy measures for joint ensembles:

Joint entropy of XY
1
H(X, Y ) = p(x, y) log (5)
X

x,y p(x, y)
(Note that in comparison with Eqt (4), we have replaced the ‘–’ sign in
front by taking the reciprocal of p inside the logarithm).
13
From this definition, it follows that joint entropy is additive if X and Y
are independent random variables:
H(X, Y ) = H(X) + H(Y ) iff p(x, y) = p(x)p(y)
Prove this.

Conditional entropy of an ensemble X, given that y = bj

measures the uncertainty remaining about random variable X after


specifying that random variable Y has taken on a particular value
y = bj . It is defined naturally as the entropy of the probability dis-
tribution p(x|y = bj ):
1
H(X|y = bj ) = p(x|y = bj ) log (6)
X

x p(x|y = bj )

If we now consider the above quantity averaged over all possible out-
comes that Y might have, each weighted by its probability p(y), then
we arrive at the...

Conditional entropy of an ensemble X, given an ensemble Y :


 
1 
H(X|Y ) = p(y) p(x|y) log (7)
X X
 
y x p(x|y)
and we know from the Sum Rule that if we move the p(y) term from
the outer summation over y, to inside the inner summation over x, the
two probability terms combine and become just p(x, y) summed over all
x, y. Hence a simpler expression for this conditional entropy is:
1
H(X|Y ) = p(x, y) log (8)
X

x,y p(x|y)
This measures the average uncertainty that remains about X, when Y
is known.
14
Chain Rule for Entropy

The joint entropy, conditional entropy, and marginal entropy for two
ensembles X and Y are related by:
H(X, Y ) = H(X) + H(Y |X) = H(Y ) + H(X|Y ) (9)
It should seem natural and intuitive that the joint entropy of a pair of
random variables is the entropy of one plus the conditional entropy of
the other (the uncertainty that it adds once its dependence on the first
one has been discounted by conditionalizing on it). You can derive the
Chain Rule from the earlier definitions of these three entropies.

Corollary to the Chain Rule:

If we have three random variables X, Y, Z, the conditionalizing of the


joint distribution of any two of them, upon the third, is also expressed
by a Chain Rule:
H(X, Y |Z) = H(X|Z) + H(Y |X, Z) (10)

“Independence Bound on Entropy”

A consequence of the Chain Rule for Entropy is that if we have many


different random variables X1, X2, ..., Xn , then the sum of all their in-
dividual entropies is an upper bound on their joint entropy:
n
H(X1, X2 , ..., Xn) ≤ H(Xi) (11)
X

i=1

Their joint entropy only reaches this upper bound if all of the random
variables are independent.

15
Mutual Information between X and Y

The mutual information between two random variables measures the


amount of information that one conveys about the other. Equivalently,
it measures the average reduction in uncertainty about X that results
from learning about Y . It is defined:
p(x, y)
I(X; Y ) = p(x, y) log (12)
X

x,y p(x)p(y)
Clearly X says as much about Y as Y says about X. Note that in case
X and Y are independent random variables, then the numerator inside
the logarithm equals the denominator. Then the log term vanishes, and
the mutual information equals zero, as one should expect.

Non-negativity: mutual information is always ≥ 0. In the event that


the two random variables are perfectly correlated, then their mutual
information is the entropy of either one alone. (Another way to say
this is: I(X; X) = H(X): the mutual information of a random vari-
able with itself is just its entropy. For this reason, the entropy H(X)
of a random variable X is sometimes referred to as its self-information.)

These properties are reflected in three equivalent definitions for the mu-
tual information between X and Y :
I(X; Y ) = H(X) − H(X|Y ) (13)
I(X; Y ) = H(Y ) − H(Y |X) = I(Y ; X) (14)
I(X; Y ) = H(X) + H(Y ) − H(X, Y ) (15)
In a sense the mutual information I(X; Y ) is the intersection between
H(X) and H(Y ), since it represents their statistical dependence. In the
Venn diagram given at the top of page 18, the portion of H(X) that
does not lie within I(X; Y ) is just H(X|Y ). The portion of H(Y ) that
does not lie within I(X; Y ) is just H(Y |X).

16
Distance D(X, Y ) between X and Y

The amount by which the joint entropy of two random variables ex-
ceeds their mutual information is a measure of the “distance” between
them:
D(X, Y ) = H(X, Y ) − I(X; Y ) (16)
Note that this quantity satisfies the standard axioms for a distance:
D(X, Y ) ≥ 0, D(X, X) = 0, D(X, Y ) = D(Y, X), and
D(X, Z) ≤ D(X, Y ) + D(Y, Z).

Relative entropy, or Kullback-Leibler distance

Another important measure of the “distance” between two random vari-


ables, although it does not satisfy the above axioms for a distance metric,
is the relative entropy or Kullback-Leibler distance. It is also called
the information for discrimination. If p(x) and q(x) are two proba-
bility distributions defined over the same set of outcomes x, then their
relative entropy is:
p(x)
DKL(pkq) = p(x) log (17)
X

x q(x)
Note that DKL(pkq) ≥ 0, and in case p(x) = q(x) then their distance
DKL(pkq) = 0, as one might hope. However, this metric is not strictly a
“distance,” since in general it lacks symmetry: DKL(pkq) 6= DKL(qkp).

The relative entropy DKL(pkq) is a measure of the “inefficiency” of as-


suming that a distribution is q(x) when in fact it is p(x). If we have an
optimal code for the distribution p(x) (meaning that we use on average
H(p(x)) bits, its entropy, to describe it), then the number of additional
bits that we would need to use if we instead described p(x) using an
optimal code for q(x), would be their relative entropy D KL(pkq).

17
Venn Diagram: Relationship among entropies and mutual information.

Fano’s Inequality

We know that conditioning reduces entropy: H(X|Y ) ≤ H(X). It


is clear that if X and Y are perfectly correlated, then their conditional
entropy is 0. It should also be clear that if X is any deterministic
function of Y , then again, there remains no uncertainty about X once
Y is known and so their conditional entropy H(X|Y ) = 0.

Fano’s Inequality relates the probability of error Pe in guessing X from


knowledge of Y to their conditional entropy H(X|Y ), when the number
of possible outcomes is |A| (e.g. the length of a symbol alphabet):
H(X|Y ) − 1
Pe ≥ (18)
log |A|
The lower bound on Pe is a linearly increasing function of H(X|Y ).

The “Data Processing Inequality”

If random variables X, Y , and Z form a Markov chain (i.e. the condi-


tional distribution of Z depends only on Y and is independent of X),
which is normally denoted as X → Y → Z, then the mutual informa-
tion must be monotonically decreasing over steps along the chain:
I(X; Y ) ≥ I(X; Z) (19)
We turn now to applying these measures and relationships to the study
of communications channels. (The following material is from McAuley.)

18
  


  !"#
$
%'&)(+*-,.,/(+*-0 132547684:9;05*-<&>=?0@4:A=B68&80(+*-2 1DCE&>CF4:=BGH/054'(/& I,-054J684:9;05*-<&>=K'I=5LM4ON
P =B4;68&80505&80>QSRTA=U!4:A=&8N&>9V2 P =B4:68&80@0XW!I705GCZY[4,T*-0 \&>9;&>=@I25&8<]4:93&>I681D&8<\V&>^*.0
0 1;4(_9)\:=5I P 1;*.6>IM,.,-G'2@4\&82 1;&>=`(+*-2 17I2a(/4052 I2@&ZK'I=@L4N P =B4:68&80@0TU!4:=+2b1;&cI, P 1IY&82
d>e Hgf`HghTHi?Hj/kl*m9ng\;A=B&?o>pQ%7&l6>I9q2 1;&>9054,-N&rUs4:=t2 1;&T052 I2@&T4:686>A P I9;68G A;0@*u9;\
v 4(&8wAI25*-4:9;0ZWx2b1;*.0`&8yIC P ,-&l*-0+2 =z*.N;*mI,m^8Q

D, 1/8 B, 3/8 D, 1/8

C, 1/8

A, 1/2 C, 1/8 A, 1/2 C, 1/8

A, 1/4

B, 1/4 E, 1/4 B, 1/4

{*-\:A=B&o>p|}~=5I P 1;0T=B& P =B&805&>9V25*m9;\CF&>CE4:=BG;,-&8050_0@4:A=B68&ZIV9;< 2B(/4Z0@2 I25&TK'I=5LM4ON P =B4€


68&8050
9r\&>9;&>=5I,2 1;&>9r(/&C?IG`<&bn‚9;&ƒI9;Gtn‚9;*.2@&052 I25& P =B4:68&80@0‚(„*.2b1`052 I25&80 dO…~†>‡5… ˆ8‡8‰8‰8‰!…Š k:H
(+*-2 1E2b=5I9;05*-25*-4:9 P =z4:YIY;*-,-*.2@*.&80/‹Œ5W-^ŽY[&8*m9;\Z2b1;& P =B4:YIY;*-,-*-2BG?4UŽCE4N:*m9;\rU=B4;C052 I25& … Œ
254T052bI25& … Wx(+*-2 1E2b1;&+&>CE*-0505*-4:94U‘054:CE&„05G’CEY[4,m^8Q {*u=z052(/&+6>I9F<&bn‚9;&_2 1;&`&>9V2 =B4 P G
4U&>I681052 I25&`*m9“2 1;&E9;4:=5C?IM,”C•I99;&>=8|
–EŒ —#˜)™ ‹[ŒzW-^[,.4V\ ˆ ‹Œ5W-^

I9;<32 1;&>9J2 1;& &>9V2 =B4 P GJ4UT2 1;&“05G;0525&>Cš254JY& 2b1;& 0 ACš4MU›2 1;&80@& *m9;<*-N:*-<gAI,~052 I25&
&>9V2 =B4 P GœNI,mA;&80“(/&8*.\;125&8<3(+*-2 12b1;& 052 IM25&“4:686>A P IV9;68GžWx6>I,-6>A;,mI25&8<3U=B4:Cš2b1;& v 4(
&8wAI25*-4:9;0 ^8|
– — ™ Œ–EŒ
ŒœŸ
— ˜ ™ ™ -Œ ‹Œ5W-^,-4\‘‹Œ5W-^ Wx :¡^
Œ  Ÿ
h/,-&>I=B,-GU!4:=+I~05*m9;\,-&E052 I2@&H:(/&l1IN&T2 1;&T&>9V2 =B4 P ?
G 4MUƒ2 1;&lCF&>CE4:=BG;,-&8050_0@4:A=B68&Q

x¢ £"¥¤ƒ
¦ ¥§c
¨ª©]M"¦g
Vg
R„U!25&>9«(/&?(+*-0 17254 &b¬68*.&>9V25,-Gœ=B& P =z&805&>92~2 1;&05G’CEY[4,-0l\&>9;&>=5IM25&8<œYVG­0@4:CE&?054;A=B68&Q
%'&T0 1IM,., 684:9;05*-<&>=„&>9;684:<*m9;\2 1;&l0@G’CEY4V,.0`I0_Y;*m9I=BG“<*-\*-250>Q

o>®
Symbols Source Encoding
encoder

{*-\:A=B&o>¯| iT*-056>=B&825&ECE&>CE4:=zG:,-&8050+0@4:A=B68&lI9;<)&>9;684:<&>=

°Ž±m²±x³ ´+µ·¶ ¸¹Dº·¸g»‘¼g½¾À¿MÁ”¹¸Â


h/4:9;0@*.<&>=„&>9;684;<*u9;\“2b1;&lÃÄ0@G’CEY4V,.0 dOÅ Œk:H[&>92 =z4 P GÆlHgIM0_IEngy;&8< ,-&>9;\2b1œW!ÇT^/Y;,-4:68L
Y;*m9I=BG“<*-\*-250>Q¦È 4?&>9;0bA=B&l(/&T6>I9<&8684;<&E2 1;&805&T05GCEY4,-0`(É&l9;&8&8< |
ˆ ^
Ç]—ËÊ Ò !Ì Íψ Î W!ëW!ë 5
^ 
Ó ]
Ô o
Ð#I P 4(/&>=/4UÑ
4V2 1;&>=B(+*-05&
Ì!ÍÏÎ
(_1;&>=B& ÒxÕ ÓT*-0T2 1;&E,mI=B\V&8052_*m9V25&8\&>=`,-&8050T2 1IV9“ÖEQ È+1;&c×bØ>ÙڕÛaÜVÝ!ÚT*-0T2 1;&>9«ÇËY;*-250 P &>=
05GCEY4,!H:IV9;<FIM0(É&+L;9;4(D–ÄÞ Ì!ÍÏÎ ˆ W!ë^ 2 1;&>9•–ÄÞDÇEQ È+1;&+&b¬c68*-&>9;68G?4MU‚2 1;&/684;<*u9;\
ß *.0`\*-N&>9)YG‘|
–
ß — Ç
%1;&>9'2b1;&cÃà05GCZY[4,-0ZI=z&?&8w’A;* P =B4;YIY;,-&HI9;<Ãà*.0EI P 4O(/&>=r4U+2a(/4gH ß —áoI9;<
–á—ÇEQ/Ð+4V25&T2 1I2+*âU(/&T2 =BG254cIM6ã1;*-&8N&EÇ#äD–å*m9 2b1;*.0`6>I05&T(/&lCEA;052_IM,.,-4;6>I25&?I2
,-&>I052¦4:9;&_&>9;684;<*m9;\E254ZCE4;=B&/2 1I9•4:9;&+05GCEY4,;æE2 1;*-0tCF&>I9;02 1IM2(É&`I=B&+*m9;6>I P IY;,-&
4UA9;*-w’A;&8,-G <&8684;<*m9;\gQ
ç 25*-,-, (+*-2 1•&8w’A;* P =B4;YIY;,-&T05G’CEY[4,-0>HYA;2É(`1;&>9cÃè*.0+9;42/I P 4(/&>=4U 2B(/4gH2 1;*-0/684;<*u9;\
*-0*m9;&b¬c68*-&>9V2>é254~2 =BGl2@4l4N&>=B684:CF&É2b1;*.0¦(/&+684:9;05*-<&>=¦05&8wA;&>9;68&80É4MU‚05GCEY4,-0/4U‚,-&>9;\2b1
ê'I9;<•684:9;05*-<&>=¦&>9;684:<*m9;\E&>I681 P 40@05*mY;,.&T0@&8w’A;&>9;68&`4U ,-&>9;\2 1?ê'IM0IlY;,-4:68LE4U Y;*m9I=BG
<*-\*-250>H2 1;&>9(/&T4:Y;2 I*m9‘|
Ò ê~,-4\ ˆ íÓÔëo
Ç]—
ê
(_1;&>=B&ÇS*-0F9;4(ì2 1;&cIN&>=5I\V&F9;ACEY&>=~4U+Y;*.2@0 P &>=~05G’CEY[4,!QЄ425&•2 1I2lI0EêD\V&8250
,mI=B\&H ßZí oQ

°Ž±m²±mî ïlðgñµ·ðgòŽº·¸'ºm¸»‘¼g½¾D¿Á ¹ ¸Â


97\&>9;&>=5IM,(É&•<4­9;42E1I>NV&Z&8wA;* P =B4:YIY;,-&“05GCEY4,-0>HI9;<7(É&•(É4;A;,.<1;4 P &c254«I681;*.&8NV&
054:CF&FCF4:=B&E684:C P =B&80@05&8<«U!4:=5Có4U/&>9;684:<*m9;\'YG'A;05&E4U+NI=B*mIY;,-&?,-&>9;\2 17684:<&80ræ­I9
&8yIC P ,-&T4UŽ0 A;681“I9•&>9;684:<*m9;\*-0+K«4:=B05&`684:<&T<gIM25*m9;\EU=z4:C#2 1;&T<gIG;0/4UŽ25&8,-&8\:=5I P 1;0>Q
%'&T684:9;0@*.<&>=„I\:I*m94:A=¦05*mC P ,-&TU!4:A=/0@G’CEY4V,”IM, P 1IVY&82_I9;<“0@4:CE& P 4050@*uY;,-&ENOIV=B*mIY;,-&
,-&>9;\2 1q684:<&80>|

Ö ô_WxÖT^ h/4;<&co h/4;<&ZÑ h/4;<&Zõ


e o>öÑ o ÷ ÷
f o>ö  ÷÷ o>÷ ÷o
h o>ö¯ ÷o o o>÷ ÷ oo
i o>ö¯ o>÷ ooo ooo

Ñ÷
%'&T684:9;0@*.<&>=„&>I681“684;<&T*m9 2bA=59‘|
oVQ+ø+05*m9;\E2 1;*-0/&>9;684:<*m9;\gH[(É&„n‚9;<2 1I2 P =z&805&>92@&8<c(+*-2 1I~05&8wA;&>9;68&T,.*mL&?o÷÷oH(/&
<49;42`L:9;4((_1;&82 1;&>=„254c<&8684;<&?I0 e f e 4:=„ilhTQgÈ+1;*-0lC?IVL&80+0 A;681«IE684:<&
A9;0 I25*-0BUI68254:=zGQŽ{‘A=B2 1;&>=8H;*m9“\V&>9;&>=5I,!H&8N&>9“IE684;<&l(`1;&>=B&T0 A;681“I9“ICEY;*-\:A;*-2aG
684:A;,-< Y&l=B&8054V,.NV&8<A9;*-wA;&8,.G«YG•,.4;4:LV*m9;\cI2ÉY;*-250tUA=B2b1;&>=ÉIV1;&>I<c*m92 1;&T0@2 =B&>IC
W!I9;< YI68L2b=5I68L*m9;\:^¦*-0›A9;0bI25*-0BUI68254:=BGQ
RTY;05&>=BN&`2 1I2 U!4:=2b1;*.0/684;<&H;2 1;&_684;<*m9;\?=5I25&HV4:=IN&>=5IM\&_9;ACZY[&>=4UY;*.2@0 P &>=
05G’CEY[4,!H*-0_\*-N&>9“YVG‘|
ù Œ Å ŒúbŒÄ— ˆ~ † oÔ † Ñ+ÔDÑ † Ñ
û ü û û ý û
— þˆ
(_1;*-6ã1q*.0„,.&80@0_2 1IV92 1;&l&>9V2 =B4 P GQ
Ñ[Q+È+1;*-0T684:<&E*-0lA9;*-w’A;&8,-G'<&8684;<gIY;,-&éUA=B2b1;&>=+2 1;*-0T684;<&?*-0T*m925&>=z&80525*m9;\“*m9«2 1I2
(É&„6>I9<&8684:<&?ÿ 8Ý!Ü Ý!Ü gÚbØ 
ªæF2b1I2*-0_9;4?YI68L2b=5I68L*m9;\E*-0t=z&8w’A;*m=B&8< é4:9;68&
(É&?1IN&?2b1;&cY;*-250l4U/2 1;&?&>9;684;<&8<œ0@G’CEY4V,(/&E6>I9«<&8684;<&c(+*-2 1;4;A;2l(+I*-25*m9;\
Us4:=`CE4:=z&Ql{‘A=B2 1;&>=`2 1;*-0lI,-054)0 I25*-0Bng&80T2 1; & ‚ÛBÚ l684:9;<*-25*-4:9‘H 2 1IM2_*-0l2b1;&>=B&E*.0
9;4T684:<&`(/4:=B<E(_1;*-6ã1•*-0 P =B&bngy Wx*!Q &QV0 ICE&+Y;*-2 P I2525&>=@9^ 4U”I`,-4:9;\&>=¦684;<&+(/4:=B< Q
92 1;*-0`6>I05&T2 1;&~684:<*m9;\“=5I25&`*-0_&8wAI, 254•2 1;&T&>92b=B4 P GQ
õ[Q/% 1;*-,-&E2 1;*-0_*-0`<&b€684:<gIVY;,.&«W!I9;< 684;<*m9;\=@I25&l*-0`&8w’AIM, 2542 1;&l&>9V2 =B4 P G“I\:I*m9^8H
4:Y;05&>=BN&T2b1I2+*-2_<4;&80T9;42_1IN&l2b1;& P =B&bngy P =B4 P &>=B2BG“I9;< *-0T9;42›IV9*u9;0@2 I9V2 I€
9;&84:A;0+684;<&Q
ç 1I99;4:9 0/n‚=B052+2b1;&84:=B&>CS*-0`2 1;&ãØ:ÛB×bÚa×bØ>ÙVÿcÝ:ÚbØÛBÚ#(`1;*.681“*-0>|
{g4:=I'<*-056>=z&825&œCE&>CE4;=BG:,-&8050054:A=z68&­(„*.2b1n‚9;*-25&7&>92 =z4 P GD–Jé„U!4:=cIV9G
W P 40@*.2@*.NV&>
^ `*-2T*-0 P 40@05*mY;,.&•254c&>9;684;<&?2 1;&E05GCEY4,-0TI2TI9«I>NV&>=5I\&l=5IM25&
ÇEH:0bA;6ã1q2 1I2>|
Ç]—–SÔ
xW {4:= P =B4:4MUƒ05&8& ç 1I99;4:9 %'&>IN&>=8Q ^EÈ+1;*-0+*-0TI,-054?054:CF&825*mCE&80_6>IM,.,-&8<)2 1;&Z9;4*-05&8,-&8050
684;<*u9;\E2 1;&84;=B&>CËI0¦*-2É<&>IM,.0/(+*-2 1•684;<*u9;\E(+*-2 1;4;A;2684:9;05*-<&>=5IM25*-4:94UŽ9;4*-05& P =B4:68&80@05&80
Wx*!Q &QgY;*-2`684:=5=5A P 2@*.4;9&8256>^8Q
È+1;&/&>9V2 =B4 P GTUA9;6825*-4:9E2 1;&>9•=B& P =B&805&>9V250I„UA9;<gICE&>9V2 I,;,.*mCE*-2/4:9~2 1;&+9;ACZY[&>=4U Y;*-250
4:9“IN&>=5IM\&›=z&8w’A;*m=B&8<)254c=B& P =B&80@&>92+2b1;&T05G’CEY[4,-0_4U2 1;&T054;A=B68&Q

°Ž±m²±m² lñ¸!ƒ¶¿Á ¹¸’Â


%'&E1I>NV&ZI,m=B&>I<G CF&>925*-4:9;&8<)2 1;& P =B&bngy P =B4 P &>=B2BG‚é[(É&rn‚9;<«2 1I2/U!4:=+I P =B&bngy“684;<&
254E&8y;*.0@2>H;*.2+CEA;052¦0 I25*-0BU!G?2 1;&#"lÛBÜ%$8Ý'&«×&«ÿ-Ül*m9;&8wAI,-*-2aGQ/È+1I2/*-0>H IE9;&868&8050bI=BG­W!9;4V2
0 AV¬c68*-&>9V2 ^684;9;<*.2@*.4;9EU!4:=I`684;<&_1IN:*m9;\ZY;*m9I=zGZ684;<&+(/4:=B<0(„*.2b1l,-&>9;\2b) 1 ( † * Þ ( ˆ Þ
++,+
Þ - (/.254E0 I2@*.0zUsG2 1;& P =B&bngy“684:9;<*-25*-4:9)*-0>|

.
o
™ Š 2 Þo
1Œ 0 † Ñ
3

Ño
x '  65 
$7 g§c"¦‚¦87
4

%'& 1IN&“684:9;0@*.<&>=z&8<À2b1;& <*-056>=B&825&)054:A=B68&H/9;4( (/&“684:9;05*-<&>=“I«681I99;&8,+2 1=z4:A;\:1


(_1;*-681?(/&+(+*-0 1•254 P I0@005GCEY4,-0/\&>9;&>=5I2@&8<cYGE0 A;681IT054:A=z68&_YGE054;CE&_I PP =B4 P =B*mI25&
&>9;684;<*u9;\CE&86ã1IV9;*.0bC“é(/&_I,-054E*m92b=B4:<gA;68&`2 1;&`*-<&>Il4MU9;4V*.0@&T*u9V254~2 1;&_0@G:052@&>Cæ?2 1I2
*-0E(É&684:9;05*-<&>=E2b1;&c681I99;&8,/254­CF4:<*âU!G'2 1;&*u9 P A;2•684:<*m9;\œI9;< P 4V0505*mY;,-Gœ\&>9;&>=@I25&
054:CF&lCE4:<*âng&8<)N&>=B05*-4:9‘Q
%'&/0 1;4:A;,-<?<*-052@*u9;\;A;*.0b1cY[&82a(/&8&>9~05G;0525&>C?IM25*-6tCF4:<*âng6>I25*-4:9F4Ug2 1;&/&>9;684:<&8<•05G’CEY[4,-0>H
*!Q &Q<*-052@4:=B25*-4:9‘H;I9;<c9;4*-05&QiT*-052@4:=B25*-4:9~*-0(_1;&>9•I9E*m9 P A;2/684:<&_IM,.(+IG;0=B&80 A;,-250*m9•2 1;&
2 1;&T0 IVCE&T4:A;2 P A;2+684;<&é2 1;*-0 P =B4;68&8050+6>IV9“68,-&>I=B,-G Y&E=B&8N&>=B0@&8< QÐ+4V*.0@&l4:92 1;&T4V2 1;&>=
1I9;<)*u9V2 =B4;<gA;68&80`2 1;&T&8,-&>CE&>92`4U=5I9;<4:C•9;&8050+*m92@4?2 1;&l=B&80 A;,-25*m9;\“4:A;2 P A;2É684;<&Q

Symbols Source Symbols


Decoder
encoder

X Channel Y

{*-\:A=B&?o>®[|h/4;<*u9;\“I9;<“<&8684;<*m9;\“4UŽ05GCEY4,-0„Us4:=¦2 =@I9;0BU!&>=/4N&>=/IE6ã1IV99;&8,sQ
%'&“684:9;0@*.<&>=I9J*m9 P A;2“I, P 1IY&829 — 3d :‘†>‡‰>‰‰5;‡ :8< k­I9;<4:A;2 P A;2cI, P 1IY&82>=ė
d ?V†>‡>‰‰>‰5@‡ ?,A klI9;<=@I9;<4:CìNOI=z*uIVY;,.&80 Õ I9;<>BË(_1;*-681“=5I9;\&`4N&>=2b1;&805&›IM, P 1IVY&8250>Q
3

Є425&/2 1I2/ê­IV9;D < C 9;&8&8<“9;42Y[&_2 1;&„0 ICE&¦ælU!4:= &8yIC P ,-&`(É&+C?IGE1I>NV&É2b1;&_Y;*m9I=BG


*m9 P A;2IM, P 1IVY&82 d ÷ ‡ ok“I9;<2 1;&4:A;2 P A;2cI, P 1IY[&82 d ÷ ‡ o ‡E k;H (_1;&>=B& E =z& P =B&805&>9V250
2 1;&~<&8684:<&>=„*-<&>925*âU!G:*m9;\“054;CE&T&>=5=B4:=ÏQÈ+1;&l<*-056>=z&825&ZCE&>CF4:=BG;,.&80@0+6ã1IV99;&8,Ž6>I9q2 1;&>9
Y&E=B& P =B&805&>9V25&8<«I0+IE05&82+4U2 =5IV9;05*-25*-4:9 P =B4:YIY;*-,-*-25*-&80>|
‹ŽW ?GFIHJ:  ^¦— WB#— ?GFKH Õ — :  ^
Ÿ
È+1I2E*-0E2 1;& P =B4:YIVY;*.,-*-2BGœ2b1I2E* U :  *-0E*m,9 La&86825&8<3*m9254«2 1;&681I99;&8,!H ?GF *-0?&>CF*.2@25&8< é
‹ŽW ? F HJ:; ^*-0“2 1;&«684:9;<*-25*-4:9IM, P =B4:YIVY;*.,-*-2BGQ Ȅ1;*.0)6>I9]Y&«(_=B*-252@&>9ÀIM0“2 1;&× :Ü 8gÚ,
EÜÝ!Ûb1ÿ |
PQ
Q
‹ŽW ? † HJ: † ^ ‹ŽW ? ˆ HJ: † ^ ‰>‰>‰ ‹ W ? A HJ: † ^ U%VV
Q
‹ŽW ?V3† HJ:ˆ ^ ‹ŽW ?Gˆ HJ:gˆ ^ ‰>‰>‰ ‹ W ?,ASHJ:ˆ ^ VV
—
Q
M QQ QQ QQQ QQ
Ÿ N R
O Q Q Q
‹ŽW ?V† HJ:/< ^š‹ŽW ?Gˆ HJ:/< ^ ‰>‰>‰ ‹ŽW ?,ASHT:/< ^ W
Є425&T2 1I2/(/&T1I>NV&T2 1;& P =B4 P &>=B2BG?2 1I2/U!4:=¦&8N&>=BG*m9 P A;2_0@G’CEY4V,sH;(/&T(+*-,-,Ž\V&82É0@4:CE&b€
2 1;*m9;\4:A;2>|
A

™ ‹ŽW ?GFIHJ:  ^— o


F 0 †

ÑÑ
Є&8y:2(/&+2 IVL&2 1;&„4:A;2 P A;24UŽI`<*-056>=B&825&`CE&>CE4:=BG;,-&80500@4:A=B68&+I02 1;&+*m9 P A;2/254TIT681I9V€
9;&8,!Q ç 4l(/&_1IN&`I05054;68*mI25&8<?(+*-2 1F2 1;&+*m9 P A;2+I, P 1IY&82/4U 2 1;&+681I99;&8,2 1;& P =z4:YIY;*-,â€
*-2BG?<*-052 =B*mYA;25*-4:9q4UŽ4:A;2 P A;2¦U=B4:CSIECE&>CE4:=zG:,-&8050/054:A=z68& d ‹ W :  ^ ‡ l—#o ‡ Ñ ‡‰>‰8‰ êk;Q%'&
2 1;&>974:Y;2 I*m9«2b1;X & LB4*m92 P =B4:YIY;*-,-*-2BGœ<*-052 =z*uYA;2@*.4;9J4U+2 1;&c=5I9;<4;CáNOIV=B*mIY;,-&80 Õ I9;<
Bc|

‹ŽW :  ‡;?GF ^à— W Õ — :  ‡ B#— ?GF ^


— ŸŽ‹ W ?GFKHT:  ^!‹ W :  ^

%'&T6>I9•2 1;&>9•n‚9;<“2 1;&lC•I=B\*m9I, P =B4:YIVY;*.,-*-2BGc<*-052b=B*mYA;25*-4:9)4UZYEH:2b1I2/*.0„2 1;& P =z4:YI€


Y;*-,-*.2BG)4UŽ4:A;2 P A;2„05G’CEY[4, ?GF I PP &>I=z*u9;\|
‹ŽW ?GF ^ — WB#— ?GF ^
Ÿ <

— ™ ‹ŽW ? F HJ:’ !^ ‹ŽW :; ^


0 †

xU/(/&F1IN&?ê3—[CJH‘(/&Z4MUs25&>9)*-<&>9V25*âUsG«&>I681«4:A;2 P A;2T0@G’CEY4V,ƒI0lY[&8*m9;\ 2 1;&?<&80@*u=z&8<


=B&80 A;,-2+4MUŽ054:CE&`*m9 P A;2+05GCEY4,!QRT=/(/&TC?IG?05&8,-&8682+054;CE&_0bAY;05&82+4UŽ4;A;2 P A;2/05G’CEY[4,-0>H
U!4:= &8yIC P ,-&/*m9~2 1;&/*u9 P A;2 d ÷ ‡ ok/I9;<E4:A;2 P A;2 d ÷ ‡ o %‡ E k:Q %«& 2 1;&>9~<&bn‚9;&+2 1;&ÉIN&>=@I\&
P =B4:YIVY;*.,-*-2BG“4U05G’CEY[4, &>=5=B4;=ÉIM0>|
A

— ™ WBž— ?3FH Õ — : ^
Ÿ]\ F 0 †_^ FG0 `  Ÿ
A <

— ™ ™ ‹ŽW ?GFHJ:  ^!‹ŽW :  ^ Wx Ka^


F 0 †  0 _† ^  0 ` F
I9;<“684:=@=B&80 P 4;9;<*u9;\V,.GH‘2b1;&lI>NV&>=5I\& P =B4:YIY;*-,-*-2BG 4U684:=5=B&8682+=B&868& P 2@*.4;9 I0lo„˜ Q
ŸZ\
°Ž±-° ±x³ Eµ!»‘ðgñ,cDÂcedfd«¸:½>ñµx¿“¿¾‘ð‘» »‚¸º
b

È+1;&_Y;*m9I=zGZ0@G’C?CF&82 =B*-6/6ã1I99;&8,‘1I02B(/4_*m9 P A;2ÉIV9;<?4:A;2 P A;205GCEY4,-0TW!A;0 AI,-,-GE(_=B*-2B€


25&>9 d ÷ ‡ ok^TI9;<œI“684;C?CE4:9 P =z4:YIY;*-,-*.2BGH ‹HŽ4MUSg@*u9;684;=5=B&8682_h)<&8684:<*m9;\'4U_I9 *u9 P A;2
I2T2 1;&E4:A;2 P A;2>é‘2 1;*-0l684:A;,-<œY[&cI05*mC P ,-*-0525*-6 CE4;<&8,4UÉI684:C?CEA9;*-6>I25*-4:9;0~,-*u9LHng\€
A=B&lÑ÷VIQ
Ƅ4O(/&8N&>=ÏHg254“A9;<&>=B052bI9;<'2 1;&?IN&>=5I\V*u9;\ P =B4 P &>=B2BG“4UÉ2b1;&Z&>=@=B4:=`=5I25& <&8056>=B*mY&8<
IY[4ONV&H>684:9;0@*.<&>=ª2 1;&ng\;A=B&+Ñ÷Y‘H(_1;&>=B&/(/&É1IN&_oG÷ i05GCZY[4,-0>H4Ug(_1;*-681E]Ÿ 2 \ 1;&ªn‚=B0521I0
I P =B4:YIY;*-,-*-2aG«4UÉY[&8*m9;\ =B&868&8*-N&8<'*m9)&>=5=B4:=EWx4U÷ ‰ o>^ÏHgI9;<«2 1;&?=B&>C?I*m9;<&>=TI=z&ZI,-(+IG:0
=B&868&8*-N&8< P &>= U!&86825,-GQ“È+1;&>974:Y;05&>=BN;*m9;\ 2 1I2lCF4052T4U+2 1;&?2@&>=5CE0T*m9'2b1;&?0 ACá4;9«2 1;&
=B*-\:1V2+4U&8w’AIM25*-4:9K  a?I=z#& j8&>=B4g|
— ‹ŽW ?V†HJ:k ^!‹ W :k ^
Ÿ]\ — ÷ ‰ o û o>÷Il i
— o>÷ l/m Wx :p^

Ñõ
X Y
0.9
0 0
0.1

1-p 1 1
0 0
1.0
2 2
p 1.0
3 3
X Y
p

1 1
1.0 999999
1-p 999999

{*-\:A=B&ZÑV÷|I^+f¦*m9I=BG05G’C•CE&82 =B*-6l681I99;&8,!H‘Y^+ȎIM,.&~4UŽ2 1;&EA9;,mA;6ãLVG“05GCZY[4,

n 5 ª7_  
ëg
Ԭ#  
po$
jy;25&>9;<*m9;\2 1;&_*-<&>I0`4UŽ*m9VU!4:=5C?IM25*-4:9“I9;<“&>9V2 =B4 P GEU!4:=¦2 1;&T<*-056>=B&825&~054:A=B68&H;(/&T6>I9
9;4( 684;9;05*-<&>=`2 1;&l*m9VU!4:=5C?I2@*.4;9­IVY4:A;2 Õ 4:Y;2 I*m9;&8<'YG“4;Y;05&>=BN;*u9;\“2b1;&ZNI,mA;&E4U2 1;&
BcQª%'&l<&bn‚9;&~2 1;&T&>92b=B4 P GIU!25&>=¦4:Y;05&>=zN:*m9;> \ Bž— ?GF |
<

–Wq9 HB — ? F ^— ™ ‹ W :;rHT? F ^ ,-4\Ds :  o HT?3F


0 † ‹ W ^Gt
2 1;*-0`*.0`I?=5I9;<4:C NOI=B*mIY;,-&H054?(/&T6>I92 IVL&T2 1;&lIN&>=5I\V&›I\;I*m9‘|
A

–Wq9 H =T^ — ™ –XW9 H B— ?GF ^!‹ŽW ?3F ^


F 0 †
A <
o
— ™ ™ ‹ŽW :  HJ?GF ^,-4\Ds ‹ŽW ?GF ^
F 0 † 0 † ‹ŽW :;rHJ? F ^ t

A <

— ‹ŽW :  ‡;?GF ^[,-4\us o Wx :¯^


™ ™
F 0 † 0 † ‹ W :  HJ?GF ^ t

–qW 9 H =›^„*-0l2 1;&)× ØÙÿxÝ!ÿ ØÜÚÝ!ÛBØ@ v QE%'&E2 1;&>9«(_=z*.2@&?2 1;&:Ýq;Ü/ÿw$ãØVÛ;EÜÝ!ÿxØ“4U


2 1;&T681I99;&8,!| x

W 9)_é =_^—ë–XW 9c^ ˜œ–qW 9 H =_^


q

È+1;*-0 P =z4ON;*-<&80ZA;0T(+*-2 1«I“CE&>IM0 A=B&E4UÉ2b1;&cICE4:A9V2`4UÉ*m9VU!4:=5C?I2@*.4;9 4;=TA9;68&>=B2 I*m9V2aG


=B&8<gA;68&8<œIVY4:A;2 Õ IOUs25&>=„4:Y;05&>=zN:*m9;\“2 1;&E4:A;2 P A;2#B 4UÉI6ã1IV99;&8, Us&8<'YVG Õ QTÈ+1;&
CEA;2 AI,‘*m9VUs4;=5C?I25*-4:9q25&8,-,-0›A;0+0@4:CE&82 1;*m9;\“IY4:A;2„2 1;&T6ã1IV99;&8,sQ
e 9“I,-25&>=59I25*-N&~N:*-&8( P 4*m92`*-0_2@4Z2b1;*u9L“IVY4:A;2+2b1;&l681I99;&8, 254\V&82 1;&>=/(+*-2 1“IE684;=5=B&86b€
25*-4:9~<&8N;*.68&tUs&8<E(+*-2 1~*m9VUs4;=5C?I25*-4:9›U=z4:C4;Y;05&>=BNOIM25*-4:9;04U‚Y4V2 1~2 1;&/*u9 P A;2IV9;<Z4;A;2 P A;2
4U/2 1;&?681I99;&8,!HŽ&Q \gQng\:A=B&?ÑoQ?RT9;&CE*-\:12EI0 L)1;4O(ËCEA;681«*m9VUs4;=5C?I25*-4:9«CEA;052lY[&

Ñ 
X Source Y X
Decoder Correction
encoder

Observer
Correction data

{*.\;A=B&lÑo|ht4:=5=B&86825*-4:90@G:052@&>C

P I 050@&8<­I,-4:9;\?2b1;&l684:=5=z&86825*-4:9“681I99;&8, 254=B&8684:9;052 =@A;682+2 1;&l*m9 P A;2>é2 1;*-0`2 A=59;0+4:A;2`254


Y&E–W Õ*H B›^ÏQ
%'&«6>I9XUA=B2b1;&>=“=B&8(_=B*-25&)2 1;&«&>92 =z4 P G7UA9;6825*-4:9–qW 9^?I0“I'0 ACà4N&>=•2 1;&yLa4*m9V2
P =B4:YIVY;*.,-*-2BG“<*-052 =B*mYA;25*-4:9‘|
<

–Wq9^ — ˜ ™ ‹ŽW :  ^[,-4\‚W-‹ŽW :  ^5^ û o


0 †
< A

— ˜ ™ ‹ŽW :  ^[,-4\‚W-‹ŽW :  ^5^ û ™ ‹ W ?GFKHJ:  ^


0 † F 0 †
< A

— ˜ ™ ™ ‹ŽW ?GFKHJ:  ^!‹ŽW :  ^,-4\‚Wu‹ŽW :  ^5^


0 † F0 †
< A

— ˜ ™ ™ ‹ŽW :  ‡@?3F ^,-4\‚Wu‹ŽW :  ^5^


0 † F0 †
Ƅ&>9;68&l(/&T4:Y;2 I*m9“I9q&8y P =z&80505*-4:9U!4:=¦2 1;&lCEA;2 AI,*u9VU!4:=5C•I25*-4:9‘|
Ž‹ W :  HJ?GF ^
x < A

Wq9)é_=_^— ™ ™ ‹ŽW :  ‡;?GF ^[,.4V\us


0 † F0 † ‹ W :  ^ t

%'&T6>I9q<&8<gA;68&lNI=B*-4:A;0 P B= 4 P &>=z25*-&80_4U 2 1;&ZCEA;2 AI,‘*m9VU!4:=5C?I2@*.4;9‘|


x

oVQ qW 9)é_=+^OzD÷Q
È 40 1;4(#2 1;*-0>H‘(/&?9;425&E2 1I2/‹ŽW :  HJ?GF ^!‹ W ?GF ^+—ë‹ŽW :  ‡;?GF ^TI9;<«0 AY;0525*-2 A;2@&?2 1;*-0
*u9q2 1;&`&8w’AI2@*.4;9?IY;4N;&|
‹ W :  ‡;?GF ^
x A <

W9 é{=_^ — ™ ™ ‹ŽW :  ‡@?3F ^,-4\


‹ŽW :  ^Ž‹ W ?GF ^
s
F 0 † 0 † t

z ÷ Wx :®^
YG“A;05&T4U2 1;&T*m9;&8w’AIM,.*-2BG (/&T&8052bIY;,-*.0b1;&8< P =z&8N:*-4:A;05,-G‘Q

Ñ¡
x

Ñ[Q qW 9)é_=+^¦—÷~* U Õ I9;<|BSI=B&T052bI25*-0525*-6>I,-,-G *m9;<& P &>9;<&>9V2>Q


xU Õ I9;<6B I=z&Z*m9;<& P &>9;<&>92>H‹ŽW :  ‡;?GF ^+—‹ŽW :  ^!‹ŽW ?GF ^8H 1;&>9;68&?2 1;&?,-4\“2@&>=5C
Y&8684:CE&8O 0 j8&>=B4gQ
x x x

õ[Q *-0_05GC?CE&82b=B*-6H W 9 {é =_^— W =Z@é 9?^8Q


ø+05*m9;\l‹ W :  HT?3F ^!‹ŽW ?GF ^—‹ŽW ?3FIHJ:  ^!‹ŽW :  ^ÏH(/&_4:Y;2bI*m9‘|
‹ŽW :;HJ? F ^
x < A

Wq9 é{=_^à— ™ ™ ‹ W :;O‡@? F ^ ,-4\


‹ŽW :  ^
s
0 † F 0 † t

‹ŽW ?GFKHT:  ^
< A

— ™ ‹ W :  ‡@?GF ^,-4\>}
™
x 0 † F 0 † ‹ W ?GF ^~
— W=Eé;9E^ W!¡÷^
 Q+È+1;& P =B&868&8<*m9;\«,-&>I<0l254“2b1;&?4:YVN:*-4:A;0~05G’C•CE&82 =B*-6?<&bn‚9;*-25*-4:9 Us4;=`2 1;&cCEA;2 AI,
*u9VU!4:=5C•I25*-4:9*m9“25&>=@CE0+4UŽx 2b1;&l&>9V2 =B4 P G?4U2 1;&T4:A;2 P A;2|
W 9)_é =+^—ë–XW€=›^ ˜'–W= H 9?^
q

¡[Q/%'&T<&bn‚9;&l2 1;&LB4*m9V2+&>92b=B4 P G?4UŽ2B(/4?=5I9;<4:CSNI=B*mIY;,-&80`*u9q2 1;&T4:YVN:*-4:A;0`C?I9V€


9;&>=8HgYI05&8<“4;92 1;‚
& LB4*m92 P =B4:YIY;*-,-*-2aG“<*-052b=B*mYA;25*-4:9‘|
< A

–Wq9 ‡ _ = ^—#˜ ™ ™ ‹ŽW :  ‡;?GF ^[,-4\‚W-‹ŽW :  ‡;?GF ^@^


0 † F0 †
È+1;&lCEA;2 AI,‘*m9VUs4:=@C?x I25*-4:9q*.0„2 1;&ZCE4;=B&›9IM2 A=5I,-,-G“(_=B*-2525&>9‘|
W 9)_é =_^—ë–XW 9c^‘ÔD–W =T^ ˜'–qW 9 ‡ =_^
q

°Ž±1ƒ±x³ Eµ!»‘ðgñ,cD¿V¾‚ð‘» »‚¸º


b

h/4:9;0@*.<&>=`2b1;&Z684;9;<*.2@*.4;9I,&>9V2 =B4 P G I9;<'CEA;2 AI, *m9VUs4:=@C?I25*-4:9qU!4:=+2b1;&FY;*m9I=zG 05GC~€


CE&82 =z*.6«681I99;&8,!Q È+1;&«*m9 P A;2 054:A=z68& 1IM0 I, P 1IY&82|9 — d ÷ ‡ ok«I9;<I05054;68*mI25&8<
P =B4:YIVY;*.,-*-25*-&80 d o>öVÑ ‡ o>öVÑ;k›I9;<“2b1;&T6ã1I99;&8,C?I2b=B*-yc*-0>|
o+˜“‹ ‹
s
‹ o„˜“‹ t
È+1;&>9q2 1;&T&>92b=B4 P GH:684;9;<*.2@*.4;9I,Ž&>9V2 =B4 P G“I9;< CEA;2 AI,‘*m9VUs4;=5C?I25*-4:9)I=B&T\*-N&>9“YVG‘|
–qW 9^à— o
–X
x W 9 H =`^ — ˜‹+,-4\ W-‹g^ ˜]WBo/˜ ‹g^[,.4V\‚WBo/˜ ‹g^
W 9 {é =+^ — oÔ P ,.4V\‚W-‹g^ ÔWzo+˜“‹g^,-4\‘WBo+˜“‹g^
q

{*-\:A=B& ÑÑVI«0 1;4(+0E2 1;&“6>I P I68*-2BG'4UT2 1;&“681I99;&8,+I\:I*m9;052•2 =5I9;05*-25*-4:9 P =z4:YIY;*-,-*.2BGQ


Є425&`2 1I2/2 1;&`6>I P I68*-2BGc4U 2 1;&_681I99;&8, <g=z4 P 0/254j8&>=B4E(_1;&>92 1;&`2 =5I9;05*-25*-4:9 P =z4:YI€
Y;*-,-*.2BG*-0lo „ÑH;I9;<*.0+C?IMy:*mCE*
j8&8<“(_1;&>9•2 1;&`2 =5I9;05*-25*-4:9 P =B4:YIVY;*.,-*-2BG“*-0t÷[é:4;=+o/æ?*âUŽ(/&
=B&8,-*mIY;,-G'2 =5IV9;0 P 40@&Z2b1;&?05GCZY[4,-0l4:9)2 1;&E(+*m=B&•(É&?I,-054)\&82T2 1;&?C?Iy;*mCEACÄICE4;A92
4UŽ*m9VU!4:=5C?IM25*-4:92 1=B4:A;\;1 …{*-\:A=B&TÑÑY0 1;4(+0/2 1;&T@& † &8682/4:9“CEA;2 AI,‘*m9VUs4;=5C?I25*-4:9•U!4:=
I05GC?CE&82b=B*-6T*u9 P A;2TI, P 1IY[&8250>Q

Ña
I(X;Y)

1
1
I(X;Y)
0.9

0.8
0.5
0.7

0.6

0.5
0
0.4

0.9
0.3 0.8
0.7
0.2 0.6
0.1 0.2 0.5
0.3 0.4 0.4 P(X=0)
0.1
0.5 0.6 0.3
0.2
0 P(transition) 0.7 0.8 0.1
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7
P(transition)
0.8 0.9 1 0.9

{*-\:A=B&lÑÑ[|h+I P I 68*-2BG4UƒY;*m9I=BG“681I99;&8,I^¦05G’C•CE&82 =B*-6HgY^+IM05G’C•CE&82 =B*-6

‡ §c"¦‚¦87Tvo¦‘!8$

%'&(+*-0 17254 <&bn‚9;&2 1;&6>I P I68*-2BG­4MU„I)681I99;&8,!HA;05*m9;\«2 1;&“CE4:<&8,¦4U_IU=B&8&*u9 P A;2


I, P 1IY[&82FIV9;<œ<& P &>9;<&>92E4:A;2 P A;2?I, P 1IY[&82 Wx\*-N&>9'YVG«2 1;&c681I99;&8,/C?I2 =B*-y^8Q%'&
9;425&~2 1I2/U!4:=+IF\*-N&>9)6ã1I99;&8,!H*âUÉ(/&T(+*-0 1“2@4C?IMy:*mCE*
j8&l2b1;&ZCEA;2 AI, *m9VU!4:=5C?IM25*-4:9‘H
(/&_CEA;052 P &>=aUs4:=@C#IlC?Iy;*mCE
* j>I25*-4:9•4N&>=I,-, P =B4:YIY;*-,-*-2BG?<*-052 =B*mYA;25*-4:9;0/U!4:= 2 1;&„*u9 P A;2
I, P 1IY[&82_ÖEQ%'&T<&bn‚9;&E2 1;&?w× :Ü /Ú‘×b@Ü ’Ü×ÿ qÝ H<&>9;4V25&8< Y>G ˆcHI0>|
x

ˆ — C•Iy Wq9)é_=`^ W!¡o>^


‰‹ŠŒ
@Ž‘

%1;&>93(É&«I681;*.&8NV&­2b1;*.0 =@I25&“(/& <&8056>=z*uY[&'2 1;&«054:A=z68&­I0“Y&8*m9;\ÀC•I25681;&8<D254J2 1;&


681I99;&8,!Q

’ §c"¦‚¦87T
¨ª©

È4œ4N&>=B684;CE&“2 1;& P =z4:Y;,-&>Cà4Ur9;4V*.0@&­*m932 1;&)05G:0@25&>C“H/(/& CE*-\:1V2c684:9;0@*.<&>=“IM<<*u9;\


=B&8<gA9;<gI9;68G«<gA=B*m9;\“2 1;&E&>9;684;<*m9;\ P =B4;68&8050T2544N&>=B684:CE& P 40@05*mY;,.&•&>=5=B4:=B0Q›È„1;&Z&8yV€
IC P ,-&80E2 1I2lIV=B&cA;05&8<1;&>=B&cI=z&c=B&8052 =z*.682@&8<'254 0@4:A=B68&80l(`1;*.6817(É4;A;,.<9I2 A=@I,-,.G'Y[&
&>9;684;<&8<'*m9­I9;4*-05&8,-&8050~Š&>9N;*m=B4:9CE&>9V2›IM0+ngy;&8<«05
* j8&cY;,-4:68L“684;<&80`æ*!Q &Q‘I•054:A=B68&EI,â€
P 1IY[&82“9)H;(_1;*-6ã1)1I0_Ñ &8wA;* P =B4:YIY;,-&E05GCEY4,-0>ég1;4(/&8N&>=8H;2 1;&T<*-056>A;0@05*-4:9 I PP ,-*-&80
254cCF4:=B&`\&>9;&>=5I, 0@4:A=B68&80_I9;<)NOI=z*uIVY;,.&~,-&>9;\2 1“684;<*m9;\c0@6ã1;&>CE&80Q
RT9;& P I=B25*-6>A;,mI= I0 P &8682Ž254TY&¦684:9;05*-<&>=B&8<?*m9~=B&>I,A;05&80Ž4MUg6ã1I99;&8,;684;<*u9;\T*-0 2 1I2ŽC•I9G

Ñp
054:A=z68&80É(`1;*.681•(É&`I=B&`*u9V25&>=B&80@25&8<c*m9•&>9;684:<*m9;\•Us4;=2 =5IV9;0 CE*-0505*-4:9;0/1I>NV&›Ir05*-\:9;*âng6>I92
ICE4;A92`4Ut=z&8<gA9;<gI9;68GœI,m=B&>I<GQEh/4:9;0@*.<&>=r05&>9;<*m9;\­I P *-&868&4UÉ05G9V2 I6825*-6>I,-,-G«684:= €
=B&8682_IV9;<c05&>C•I92@*.6>IM,.,-G CE&>IV9;*u9;\MUA;,Žj¦9;\,-*-0 1“4:=t684:C P A;25&>= P =B4\;=5ICì25&8y;2É2b1=B4:A;\:1I
681I99;&8,g(_1;*-681?=5I9;<4;CE,-GZ684;=5=5A P 25&8<?4;9ZIN&>=@I\&To/*m9“o>÷`681I=5I6825&>=z0_Wx0 A;681?I0CE*-\:1V2
Y&~*m92 =z4:<gA;68&8<«YG2 =5I9;0bCE*-0505*-4:9 IM6>=B4050+I?=5IM2 1;&>=/05*-68L,-G È&8,.&8y“0@G:052@&>C?^8Q &Q \gQm|

oVQ+fÉ=z*u9;\=B&8*m9VUs4:=z68&>CE&>92@0>Hg(/& =z&_\4V*u9;\•254cI<NI9;68&
Ñ[Q+!2 0/&>I0@Gc254=B&8684\:9;*-05&~0 P 8& &8681

/&8684:9;0@2 =5A;6825*-4:9~U=B4:C2b1;&/Us4V,.,-4(+*m9;\l<gA;&„254T684:=5=5A P 2@*.4;9E4Uƒo/*m9“o÷`6ã1I=@I6825&>=B0(/4:A;,-<


”
Y&~684:C P I=@I25*-N&8,-Gc0@2 =5I*-\:1V2¦Us4:=z(tIV=B< |

oVQ+fÉ=z*•j8\=B&8*m9VUs4:=z68&l&>9V250>H(/& =B&`\4*m9;\254?I<NOIV9;68&
Ñ[Q+!2 0/&>I0@GCE4=B&8684\:9;*-05&~0 P &8&8681

Æ 4O(/&8N&>=ÏH(_1;*-,-&«2 1;& =B&8<gA9;<gI9;68G34UT2 1;*-0c054;A=B68& P =B4V25&868250cI\;I*m9;052?0 A;681D=5IV9;<4:C


„
681I=5I6825&>=¦&>=5=z4:=8H684:9;0@*.<&>=„2 1;&T&>=5=z4:=/<gA;&T254cI•1:AC?IV9“CE*-0B€a1;&>I=B*m9;\g|

oVQ+fÉ=z*u9;\•2 1=B&8&ZIV9;<Us4:A= P >& 9;68&H(É&â=B&_\V4*m9;\c254?IE<gIV9;68&Q


Ñ[Q+!2  0/&>I0@Gc254•(_=B&868LcI?9;*-68& P &>I681‘Q

È+1;&?684;<*m9;\'9;&8&8<0Z2@4“684:9;05*-<&>=~2 1;&?&>=5=B4;=`6ã1I=@I6825&>=B*-0525*-680E4U/2 1;&?681I99;&8,ÉI9;<7<&b€


684;<&>=8HÉIV9;<2 =BG'254'I681;*-&8N& I«05*-\:9;*âng6>I9V26g5<*-052bI9;68&hœY&82B(/&8&>9 P ,mIA;05*mY;,-&'&>9;684;<&8<
CE&8050bI\&80>Q

°Ž±–‘±x³ •¸™˜ ¸;½>µm½>µ·Á »›šlÁ ¹¸’Â


—

RT9;&«4UT2 1;& 05*mC P ,-&8052)684:<&80*-0 IDÛBڜ ’Ú>Ý!ÿxÝ!ÿxØ]× ØÙÚ>Q]%'&)2 IL& IJY;*m9I=BG305G’C•CE&82 =B*-6
681I99;&8,l(+*-2 1ëIJ2 =5I9;05*-25*-4:9 P =B4:YIY;*-,-*-2aG‹ é~2 1;*-0 \V*.NV&80­IJ681I99;&8,T6>I P I68*-2BGˆ —
o/Ԝ‹„,-4\‚W-‹g^ԞWzo_˜«‹g^[,.4V\[Wzo_˜«‹g^8Q~È+1;&?9I2 A=5I,Y;*m9I=BG«&>9;684;<*u9;\qUs4;=`2 1;*-0T*.0~2 1;&>9
d ÷ ‡ ok¦æZ2 1;&T=B& P &82@*.2@*.4;9?684;<&_(„*.,-, =B& P &>I22 1;&80@&_<*-\*-250+I9E4;<<“9:ACEY&>=ª4U 25*mCE&80+I9;<
P &>=aUs4:=@C C?GI LB4:=B*-2BG?N4V25*m9;\gQ
Ƅ&>9;68&+(/&+2 =5I9;0bCE*-ž2 (“—Ñ ŸÔ«o+Y;*.2@0 P &>= 0@G’CEY4V,sH;I9;<?(+*-,-,g4;Y;2 I*m9?I9~&>=5=B4;= * ZU ŸÔ«o
4:=+CF4:=B&TY;*.2@0›I=z&l=B&868&8*-N&8< *m9“&>=@=B4:=8H;2 1I2„*.0|
ˆ  ¢¡†
œ

— ™ s
Ñ Ÿ#Ô]o ‹ Œ Wzo+˜“‹g^ %ˆ  ¡† l Œ


Ÿ \ 1Œ 0  ¢¡†
Z
£ t

h 4:9;0@*.<&>=TIF2 =5I9;05*-25*-4:9 P =B4:YIY;*-,-*-2BG 4U÷ ‰ ÷oVQÈ+1;&l681I99;&8, 6>I P I68*-2BG I0+\*-N&>9)YG


/
&8wAI25*-4:9l¡[o*-0Zˆ —ë÷ ‰ ®o>®VћW ng\:A=B&ÉÑVõI^8Q È+1;&¦684:<&/=5I25&4MU’2 1;&/=B& P &82@*.2@*.4;9l2@&86ã19;*-wA;&
I\:IM*u9;0@2+2 1;&l=B&805*-<gAI, P =B4:YIVY;*.,-*-2BG“4U&>=5=B4:=¦*-0_<&>CF4:9;052 =5IM25&8<“*m9ng\:A=B&lÑVõY‘Q

ѯ
1 0.1

0.99 0.01 Repetitiion code


H(0.01)
0.98 I(X;Y)(p)
I(X;Y)(0.01) 0.001

0.97

Residual error rate


0.0001

0.96
Capacity

1e-05
0.95
1e-06
0.94

1e-07
0.93

1e-08
0.92

0.91 1e-09

0.9 1e-10
1e-08 1e-07 1e-06 1e-05 0.0001 0.001 0.01 0.1 0.01 0.1 1
P(transition) Code rate

{*-\:A=B&?Ñõ|+IV^_h+I P I68*-2aG“4MUÉY;*u9IV=BG 05GC?CE&82b=B*-6Z681I99;&8,I2`,-4( ,-4050l=@I25&80>H‘Y^_jƒ¬?€


68*-&>9;68G 4U=B& P &825*-25*-4:9)684;<&TU!4:=/IE2 =5IV9;05*-25*-4:9 P =B4;YIY;*-,.*-2BG“4U÷ ‰ ÷o

¤ §c"¦‚¦87~§c
¨ª©À£"
g

%'&lI=@=B*-N&lI2 ç 1I99;4;9 0+05&8684:9;<)2 1;&84:=B&>CqH2 1;&?×;Ü/Ú‘× ØÙÿcÝ;Ú ØÛBÚ,Z|

{g4:=+I681I99;&8, 4U6>I P I68*-2BG|ˆ I9;<'I•054:A=B68&E4U&>9V2 =B4 P G“–Jé‘* U+– ޝˆH


2 1;&>9U!4:=+I=@Y;*.2b=5I=B*-,-G 0 C•I,-,ž8H2 1;&>=B&~&8y:*-052@0lIE684:<*m9;\“05681;&>CE&E0 A;681“2 1IM2
2 1;&T054:A=B68&T*-0T=B& P =B4;<gA;68&8< (+*-2 1)I?=B&805*-<gAI,&>=5=B4:=+=@I25&`,.&80@0_2 1IV98Q

ç 1I99;4:9 0 P =B4:4MUÉ4U/2 1;*-0T2 1;&84:=B&>Có*-0ZIV9 &8y;*-0525&>9;68& P =z4:4U+=5I2 1;&>=`2b1I9«I“CE&>I9;0T254


684:9;052b=5A;682E0 A;6ã1J684;<&80*u9J2b1;&“\&>9;&>=5I,/6>I05&QJ9 P I=B25*-6>A;,mI=E2 1;&“681;4*-68&“4UlI)\4:4;<
684;<&_*-0+<*-682 I2@&8<YVGE2 1;&_681I=5IM6825&>=B*-0525*-680/4U 2 1;&`6ã1I99;&8, 9;4*-05&Q¦9 P I=5IM,.,-&8,‘(+*-2 1•2 1;&
9;4*-05&8,-&8050¦6>I05&HY&82525&>= 684;<&80I=B&¦4U!25&>9lI681;*-&8N&8<?YGT684;<*m9;\ZCEA;,-25* P ,-&+*m9 P A;205G’CEY[4,-0>Q

°Ž±1¥±x³ )»œ¸§D¿µm¸»g½?¿Á ¹ µ!»‘¼


¦

h/4:9;0@*.<&>=¦I_=@I2 1;&>=I=B2@* ng68*mI,681I99;&8,(_1;*-6ã1?C•I>Gl=@I9;<4:CE,-Gl684;=5=5A P 24:9;&+Y;*-2*m9E&>I681


Y;,-4:68L)4U05&8N&>97A;05&8<«254“&>9;684:<&•05G’CEY[4,-0T*u9 2 1;&E6ã1I99;&8,ªæ(/&E2 ILM&l2 1;& P =z4:YIY;*-,â€
*-2BGœ4UlIJY;*.2684:=5=@A P 25*-4:9J&8N&>9V2?*-0c2 1;&)0 ICE& IM0?684:=5=B&8682=B&868& P 25*-4:9‘Q]%'&“*m9,LB&8682 Ã
&8wA;* P =z4:YIY;,-&l*m9 P A;2`05G’CEY[4,-0ZWx68,-&>I=B,-G“ÃÄÞDÑ m U!4:=/A9;*-w’A;&~<&8684:<*m9;\:^8Q¦%1I2/*-0+2 1;&
6>I P I68*-2BG4Uƒ2b1;*.0`681I99;&81, ¨
%'&?1IN&ZÑ m *m9 P A;2EI9;<«4:A;2 P A;2 P I2525&>=59;0éUs4:=`I\*-N&>9)*m9 P A;2 :  (+*-2 1'Y;*m9I=BG)<*.\V*.2
=B& P =B&80@&>92 IM25*-4:9“ú † ú ˆ ú þ ú ü ú © ú i ú m H(/&l1IN&T&8*-\:12„&8w’A;* P =B4:YIVY;,.& Wx*!Q &Q[(+*-2 1'o „V¯ P =z4:YI€
Y;*-,-*.2BG^+4;A;2 P A;2+05GCEY4,-0?W!I9;< 9;4?42b1;&>=B0 ^8|

Ñ®
ú†úˆ úþúü ú©bú i
ú
úª † ú ˆ
m
úþúü ú©bú ú
ú † úªˆ
i
úþúü ú©bú i
ú m

ú†úˆ úªþ ú ü ú©bú ú


m
i
ú†úˆ
m
ú þ úªü ú©úiúm
ú†úˆ úþúü úª ©bú i ú m
ú†úˆ úþúü ú© ú ª i ú m
ú†úˆ úþúü ú©bú i ú ª m
È+1;&>9q684:9;05*-<&>=B*m9;\c2b1;&l*m9VUs4;=5C?I25*-4:96>I P I 68*-2aG P &>=„05GCEY4,!|
ˆ — Ÿ« : W!–W =T^ ˜œ–W = H 9T^@^
o P o U
— pT˜J™ ™ ‹ŽW ?GFKHT:  ^[,.4V\ s ?GFKHT:  ‹ W :  ^ W
p R
 F ‹ŽW ^ t

o P
o o o U
— p+Ô ™ ¯gW -, 4\ ^
p R
 ¯ ¯ à W

o ¯ o o
— } p+ÔDÝW ,-4\ ^
p ¯ ¯ Ã~
 
—
p
È+1;&«6>I P I68*-2BGD4MUl2 1;&«6ã1I99;&8,T*-0“ :öVp'*m9VU!4:=5C?I2@*.4;9DY;*-250 P &>=“Y;*m9I=BGD<*-\*-2)4Ul2 1;&
681I99;&8,684;<*m9;\gQ?h+I9«(/&~n‚9;<œI“CE&8681I9;*-0 Cè254“&>9;684:<&• “*u9VU!4:=5C•I25*-4:9'Y;*-250~*u97p
681I99;&8,ŽY;*-250`0 AIY LB&8682+254?2 1;&T&>=@=B4:= P =B4 P &>=B2BGc<&8056>=z*uY[&8<'IY4N& ¨
È+1;&“W!p„ :^„Æ_IC•CE*m9;\h/4;<& P =B4N:*-<&80T I  ,ãÝ!,Ú EÜÝ!ÿ ×`684;<&l254 P &>=aUs4:=@C 2 1;*-0„æqI•05G;0B€
25&>C?IM25*-6+684:<&`*-0/4:9;&+*m9?(`1;*.6812 1;&+4;YN;*-4:A;0ÉY;*m9I=BG•&>9;684:<*m9;\?4U 2 1;&„054:A=B68&`05GCZY[4,-0
*-0 P =B&805&>9V2/*m92 1;&_681I99;&8,‘&>9;684;<&8<“U!4:=5C“Q{g4:=¦4:A=¦054:A=z68&_(_1;*-6>1&>CE*-250+I2¦&>I68125*mCE&
*m92@&>=BNOI,/o~4Ut,o aE05GCZY[4,-0>H‘(/&T2 IL&T2b1;&ZY;*m9I=BG«=B& P =B&805&>9V2 I25*-4:9q4U2 1;*-0lI9;< 684 P G“*-2
254“Y;*-250lú þ H ú ©H ú i IV9;<­ú m 4MUÉ2 1;&~&>9;684:<&8<œY;,-4;6ãLé 2b1;&F=z&>C?I*m9;*m9;\ Y;*.2@0ZI=B&~\*-N&>9«YG
ú ü ‡ ú ˆ ‡ ú † HgIV9;¬<  GgÙVÛaØ ZwÚ tYVG Å ü ‡ Å ˆ ‡bÅ † |
ú ü — ú ©e­ú i ­3ú m IV9;< H
Å ü — ú ü ­ú ©Z­3ú i ­3ú m
ú ˆ — ú þ ­ú i ­3ú m IV9;< H
Å ˆ — ú ˆ ­ú þ ­3ú i ­3ú m
ú † — ú þ ­ú ©Z­3ú m IV9;< H
ÅM† — ú † ­ú þ ­3ú ©Z­3ú m
RT9=B&868& P 25*-4:9•* U 2 1;&_Y;*m9I=BGc9;ACEY&>= Å ü ň8ņ —ë÷T2 1;&>9E2b1;&>=B&_*-0/9;4Z&>=@=B4:=8H&8,-05&lú®¯œ®°_®%±
*-0_2b1;&lY;*.2`*m9“&>=5=z4:=8Q
È+1;*-0 Æ`IC?CE*m9;\J684:<&'A;05&80 õJY;*-250c2@4œ684:=@=B&8682p]W!— Ñ þ ˜#o>^E&>=5=z4:= P IM2525&>=59;0“ I9;<
2 =5IV9;0BUs&>=ª ZA;05&bUA;, Y;*-250>Q9•\&>9;&>=5  I,‘IEÆ_IC•CE*m9;\l684;<&›A;05&8‚ 0 ŸóY;*-250254~684:=5=B&8682/Ñ ˜«o
 

&>=5=B4;= P I252@&>=59;0lI9;<J2 =5I9;0BU!&>=TÑ ˜oT ˜ ŸàA;05&bU  A;,ÉY;*-250>Q Ȅ1;&cÆ_IVC?CE*m9;\ 684;<&80?I=B&


6>I,-,-&8² < ’Ú>³Û $8Ú ×݂I0„2 1;&8G A;05X& ŸáY;*-250`254E684:=5=B&8682_Ñ ˜DoT&>=@=B4:=B0>Q

õ÷
È+1;&lÆ`IC?CE*m9;\?684;<&80+&8y;*-052/U!4:=/I,-, P I*m=B0ZW!Ñ Š ˜Jo ‡ Ñ Š l † ^ÉIV9;<“<&825&8682+4:9;&lY;*-2+&>=5=z4:=B0>Q
e ,.0@4œ2 1;&«}T4,mIG684;<& *-0 IDW!Ñõ ‡ o>Ñ^~Y;,-4:68L684;<&«(_1;*-6ã1¥684:=5=B&868250“A P 2@4'2 1=B&8&«Y;*.2
&>=5=B4;=B0>HI9“A99ICE&8<)684:<&~&8y:*-052@0_I2ZW!®V÷ ‡ p¯V^(_1;*-681“684:=5=z&868250+A P 254?2B(/4ZY;*-2`&>=5=B4:=z0>Q

1
Residual error rate

1e-10

1e-20
1e-08 1e-07 1e-06 1e-05 0.0001 0.001 0.01 0.1
Mean error rate

{*-\:A=B&EÑ g|+W!p„M :^/Æ_IC•CE*m9;\?684:<&E=B&805*-<gAI, &>=5=B4:=/=5IM25&
%'&~6>I92 1;&>9“684;9;05*-<&>=`2 1;&ZCE4;=B&T\&>9;&>=5I,6>I05&H(_1;&>=z&l(/&l1IN&l=5I9;<4:CóY;*-2_&>=@=B4:=B0
A9;*âUs4;=5CE,-G?<*-052 =B*mYA;25&8<'Wx*!Q &Q(/&_I,-,-4(D2 1;& P 4050@*uY;*-,-*-2BG?4U‚2B(/4T4:=CE4;=B&+Y;*.2¦&>=5=B4:=z0 P &>=
plY;*-2+Y;,-4:68L;^8Q e \:I*m9E(/&_4;Y;2 I*m9E2 1;& P =B4:YIY;*-,-*-2BG?4UŽ=B&805*-<gAI,‘&>=5=B4;=I0¦2 1;&_=B&>C?IM*u9;<&>=
4U2 1;&lY;*m9;4:CE*mI, 05&>=B*-&80>|
— ™ s p £ ‹ Œ WBo+˜“‹g^{m@l Œ
m

Ÿ \ 1Œ 0 ˆ t

´ µ¶¸·‚¹vº@·#»X¶¸»¸¼º·¸½,¶‚¾]¿ÁÀ¹vº_¶¸·

%'&l9;4(684:9;0@*.<&>=„2 1;&T6>I0@&T*u9q(_1;*-6ã1q2 1;&T05*-\:9I,-0`4:=+CE&80@0 I\&80+(/&`(+*-0 1“2@4?2 =5I9;0zUs&>=


I=B&“684;925*m9;A;4:A;05,-GNOIV=B*mIY;,-&é_2b1I2E*.0“Y4V2 1J2 1;&“05GCEY4,-0(É&(+*-0 1¥254'2 =5IV9;0 CE*-2?I=B&
684:9V25*m9:A;4;A;0UA9;6825*-4:9;0H_I9;<32 1;&­I0@054:68*mI2@&8< P =z4:YIY;*-,-*.2@*.&80)4Ul2 1;&805&qUA9;682@*.4;9;0 I=B&
\*-N&>9)YG“IE684:9V25*m9:A;4;A;0 P =B4:YIY;*-,-*-2BG <*-052 =B*mYA;25*-4:9‘Q
%'&+684;A;,.<2 =BGEI9;<?4:Y;2bI*m9E2 1;&+=B&80 A;,-250/I0ÉI`,-*mCE*-25*m9;\ P =B4;68&8050U=B4:C2b1;&+<*-056>=B&825&+6>IM05&Q
{g4;=`&8y’IC P ,.&H 684:9;0@*.<&>=EI)=5I9;<4:CèNOI=B*mIY;,-& Õ (`1;*.68172 IL&80T4:9 NOI,mA;&80 : F à — ÂÄ : H
ÂD—å÷ ; ‡ Å o ;‡ Å Ñ ‡‰8‰8‰ H(+*-2 1 P =z4:YIY;*-,-*.2BG'‹ŽW :/F {^ Ä : H*!Q &Q P =B4;YIY;*-,.*-2BGD<&>9;0@*.2BG7UA9;682@*.4;9
‹ŽW :8F ^8Q %'&E1IN&_2b1;&ZI050@4:68*mI25&8< P =z4:YIY;*-,-*.2BG«9;4:=5C?I,-
* j>I25*-4:9‘|
™ ‹ŽW :8F _^ Ä : — o
F

õo
ø„05*m9;\c4:A=ÉUs4:=@CZA;,mI~U!4:=¦<*-056>=B&825&~&>92b=B4 P GI9;<“2bIL*m9;\?2b1;&T,.*mCE*-2>|
o
–qW 9^ — ,-*uC k ™ ‹ŽW :/F _^ Ä : ,-4\ ˆ } :/F :
Æ Ç F ‹ W _^ Ä ~
o
— ,-*uC k#È ™ ‹ŽW :/F ^[,-4\ ˆ } :/F Ä : ˜',-4\ ˆ WqÄ : ^ ™ ‹ŽW : ^_Ä :IÉ
Æ Ç F Ž
‹ W ^~ F

o
— ÊÌË ‹ŽW : ^,-4\ ˆ } : : ˜ }~,.*mC k ,-4\ ˆ qW Ä : ^ û Ê²Ë ‹ W : ^ :

l
Ž
‹ W ^ , ~DÍ Æ Ç ~
l
Í

— ΎqW 9^˜å,.*mC k ,-4\ ˆ W Ä : ^


Ë Ë W!¡Ñ^
Æ Ç

È+1;*-0l*-0l=5IM2 1;&>=`(/4:=5=BG;*m9;\I0T2b1;&Z,mI2@25&>=`,-*uCF*.2~<4:&80l9;4V2T&8y:*-052>QEƄ4O(/&8N&>=ÏH‚I0T(/&EI=B&
4U!25&>9«*m9V25&>=B&80525&8<7*u972 1;&<*φ”&>=z&>9;68&80FY[&82B(É&8&>9 &>92 =z4 P *-&80qWs*sQ &Q *m9'2b1;&?684:9;05*-<&>=5I2@*.4;9
4UÉCEA;2 AI,&>92 =z4 P G“4;=+6>I P IM68*.2BG^8H(É&~<&bn‚9;&?2 1;& P =B4:Y;,-&>CáI(tIG“YG«A;05*m9;\“2 1;&Tn‚=z052
25&>=5C 4:9;,-GI0`I?CE&>I0 A=z&T4UtÙVÿ Ð_ÚÛBÚ gÝ!ÿxÜ ‘Ú Ý!ÛB@Ø v |
o
ΎqW 9^Ñ
— Ê²Ë ‹ŽW : ^,-4\ ˆ } : : W!¡õ^
l
‹ŽW ^ ~>Í
Ë
%'&E6>I9«&8y;25&>9;<«2 1;*-0l2@4 I?684:9V25*m9;A;4:A;0Z=5IV9;<4:CóN&868254:=„4U/<*uCF&>9;05*-4:Ò 9 (7684:9;68&>I,-*m9;\
2 1;X
& ([€!U!4,-< *m92@&8\:=5I,ŽY[&>1;*m9;<­NV&868254:=+9;42bI25*-4:9I9;<­Y[4,-< 2BG P &|
o
ΎqW ӓ^— Ê²Ë ‹ W ¶ ^,-4\ ˆ } W!¡ :^
l
‹ W ¶ ^ ~ Í ¶
Ë
%'&~6>I92 1;&>9 IM,.0@4?<&bn‚9;&E2 1;&La4V*u9V2TI9;<“684:9;<*-25*-4:9I,&>9V2 =B4 P *-&80/U!4:=/684;925*m9;A;4:A;0`<*.0z€
2 =B*mYA;25*-4:9;0|
o
Ύq W Ó ‡{Ô ^à— ÊÕÊ3‹ŽW ¶ ‡ c ^,-4\ ˆ }
‹ W ¶ ‡ c G^ ~ Í ¶ Í c
‹ŽW c ^
Î WqÓ H Ô ^à— ÊÕÊ3‹ŽW ¶ ‡ c ^,-4\ ˆ }
‹ W ¶ ‡ c G^ ~DÍ ¶ Í c
‹ŽW ¶ ^
Î W ÔÖH Óc^à— ‹ŽW ¶ ‡ c ^,-4\ ˆ }
‹ W ¶ ‡ c G^ ~ Í ¶ Í c
ÊÕÊ

(+*-2 1‘|
‹ W : ^à— D‹ŽW ¶ ‡ c ^
Ê c
Í

‹ŽW ? ^à— D‹ŽW ¶ ‡ c ^ ¶


Ê
Í

{*m9I,-,-GHgCEA;2 AI,*m9VUs4;=5C?I25*-4:9F4U 684:92@*u9;A;4:A;0/=5I9;<4:C NOI=B*mIY;,-&80 Õ I9;<DB*-0/<&bn‚9;&8<


A;05*m9;\2 1;&T<4:AY;,-&E*u9V25&8\:=@I,!|
‹ŽW :]HJ? ^
W Õ é{B›^—
£ Ê›Ê ‹ŽW : ‡@? ^[,-4\ } : ?
‹ŽW : ^ ~ Í Í

(+*-2 1q2 1;&T6>I P I68*-2BG“4U2 1;&T6ã1IV99;&8,Ž\*-N&>9)YG“C?Iy;*mCE*


j8*m9;\“2 1;*-0›CEA;2 AI,*u9VU!4:=5C•I25*-4:9
4N&>=/I,-, P 4V0505*mY;,-&Z*m9 P A;2T<*-052 =z*uYA;2@*.4;9;0+U!4:= Õ Q

õÑ
Ž‹×
n ? V
po+g MM g
Ø

%'&?4;Y;2 I*m9«NOIV=B*-4:A;0 P B= 4 P &>=B25*-&80?I9I,mI\V4:A;0T254“2 1;&?<*-056>=z&825&c6>IM05&Qc 9«2 1;&EU!4,-,-4O(„*u9;\


(/&E<g=B4 P 2 1;&?Y[4,-<œ2BG P & HŽYA;2T&>IM6ã1«<*-052b=B*mYA;25*-4:9‘H NOI=B*mIY;,-&&8256?0 1;4;A;,.<JY&2 IL&>9)254
Y&~4
U ( <*mCE&>9;0@*.4;9;0>Q

oVQ+j9V2 =B4 P G'*-0C•Iy:*mCE*


j8&8<3(+*-2 1&8wA;* P =B4:YIY;,-&g505GCEY4,-0_hgQsU : *-0c,-*mCE*-25&8<]254
054:CE&`N4,mACE&XÙ«Wx*!Q &Q*-0+4:9;,-G“9;4:9V€'j8&>=B4(+*-2 1;*m9“2 1;&TNV4,mACE&>^/2 1;&>9Î W : ^¦*-0_C?IyV€
*uCF•* j8&8<«(_1;&>9E‹ W : ^—#oö ÙgQ
Ñ[Q‚ÎŽW :‡;? ^Þ*Î W : ^ÔΎW ? ^
õ[Q/% 1 IM2c*-0 2b1;& C•Iy:*mCEACà<*φ &>=B&>92@*uIM,T&>92 =z4 P G¥Us4;=?0 P &868*âng&8< NI=B*mI9;68&«æD(/&
6ã1;4;405&?2b1;*.0?I0~2 1;&NOI=B*mI9;68&*-0?I CE&>I0bA=B&c4MU„IN&>=@I\& P 4(/&>=8Q“Æ+&>9;68& I)=B&b€
052 I25&>CF&>92/4UŽ2b1;& P =B4:Y;,-&>C *-0`254~n‚9;< 2 1;&lC•Iy:*mCEACS<*φ &>=B&>9V25*mI, &>9V2 =B4 P G?U!4:=
IE0 P &868*âng&8<'CE&>I9 P 4(É&>=ÏQ
h/4:9;05*-<&>=/2 1;&ob€<*mCE&>9;05*-4:9I,=5I9;<4;CSNOI=z*uIVY;,.& Õ H:(„*.2b1“2 1;&T684:9;0@2 =5I*m9V250>|
3‹ŽW : ^
Ê : — o
Í
ˆ
ʜW : ˜¬Ú”^ ‹ŽW : ^ : — Û
ˆ
Í

(`1;&>=B&|eÚ — Ê : ‹ W : ^ :
Í
W!¡¡^
È 1;*-0É4 P 25*mCE*
j>I25*-4:9 P =B4:Y;,-&>Cì*-0/054,-N&8< A;05*m9;\)Ü I\:=@I9;\&_CEA;,-25* P ,-*.&>=z0›I9;<“C?IyV€
+
*uCF*•j8*m9;\g|
ÊÁÝ>˜‹ W : ^[,.4V\ ‹ŽW : ^Ô-Þ † ‹ŽW : ^>W : ˜ßڔ^
ˆ Ô-Þ ˆ ‹ŽW : ^%à :
Í

(_1;*-6ã1q*.0„4:Y;2 I*m9;&8<­YVG054,-N:*m9;\g|
˜To+˜',-4\ ‹ŽW : ^Ô-Þ † W : ˜¬Ú”^ ˆ ÔÞ ˆ —÷
054E2 1I2+(+*-2 1<gA;&E=B&8\:I=z<Us4:=t2 1;&T684:9;052 =@I*m9250„4:92 1;&T05G;0525&>C“|
‹ŽW : ^ — á o ˆæ°
°;å %
l Œ
 l/ä 
Ñ âpہã


1;&>9;68&|
o
ΎW Õ ^— ,.4V\‚W!Ñ â Û ˆ ^ W!¡a^
Ñ ã

%'&l4:Y;0@&>=BN&l2b1I2>|/*m^/U!4:=`I9VG =5I9;<4:C NOI=z*uIVY;,.y & B („*.2b1 NI=B*mI9;68&)ÛHΎWBE^TÞ


ΎW Õ ^8H*-*u^~2 1;&•<ç* † &>=B&>9V25*mI,¦&>92 =z4 P G)*-0l<& P &>9;<&>9V2E4:9;,-G'4:9)2 1;&?NI=B*mI9;68&“I9;<
*.0`*m9;<& P &>9;<&>9V2l4U2b1;&ZCE&>I9‘H1;&>9;68&Z*-*-*m^T2 1;&~\:=B&>I2@&>=/2 1;& P 4(É&>=ÏH2 1;&l\;=B&>I25&>=
2 1;&T<Ï* †”&>=z&>925*mI,&>92 =z4 P GQ
È+1;*-0+&8y:2@&>9;<0_254CZA;,-25* P ,-&E<*mCE&>9;05*-4:9;0`*u9)2 1;&T4;YN;*-4:A;0_C?I99;&>=ÏQ

õõ
Ž
n E*é7 g
è

9•2 1;&+6>IM05&_4MU”684;925*m9;A;4:A;00@*.\;9I,-0tIV9;<c681I99;&8,-0/(É&TI=B&„*u9V25&>=B&80@25&8<?*m9•UA9;682@*.4;9;0rWs4U
0 IGE25*mCE&>^8HV6ã1;40@&>9EU=B4:C#Ir05&824U P 40505*mY;,-&`UA9;682@*.4;9;0>HI0*m9 P A;2/254l4;A=681I99;&8,!H(+*-2 1
054:CF& P &>=B2 A=5Y[&8<œNV&>=B05*-4:9«4U/2 1;&EUA9;6825*-4:9;0?Y&8*m9;\ <&82@&86825&8<XIM2T2 1;&?4:A;2 P A;2Q?È+1;&805&
UA9;6825*-4:9;0+2 1;&>92 IVL&_2b1;& P ,mI68&~4UŽ2 1;&T*m9 P A;2_I9;<“4;A;2 P A;2+I, P 1IY&8250„4Uƒ2b1;&_<*-056>=B&82@&
6>I05&Q
%'&“CEA;052ZI,-054«2 1;&>97*m9;68,mA;<& 2 1;& P =B4:YIY;*-,-*-2BGœ4U_I)\*-N&>9 UA9;682@*.4;9Y&8*m9;\'*m9,La&8682@&8<
*m92@4Z2b1;&T6ã1I99;&8,(_1;*-6ã1“Y=B*m9;\0`A;0É2@4Z2b1;&T*.<&>IF4UÉÚêãÚ,)ë-Ú æ?2 1;*-0+\&>9;&>=5IM,”IV=B&>IT4U
(/4:=5LE*-0TL:9;4(_9“IMX 0 EÚ GÜ ;ÛaÚEÝ :ÚbØ@Û Q
{g4;=/&8y’IVC P ,-&H684:9;05*-<&>=„2 1;&l&>9;05&>CEY;,-&80>|
oVQ ìGí

Wîa^—]0@*u9 Wî‚Ôï^

jI681`NOI,mA;&¦4êU ït<&bn‚9;&80I/<Ï* †”&>=z&>92‘UA9;6825*-4:9‘HI9;<T2@4\&82 1;&>=‘(„*.2b1lI P =B4;YIY;*-,.*-2BG


<*.0@2 =B*mYA;25*-4:9‘H0 IG“‹TWqï^8H(/&c1IN&“I9«&>9;05&>CEY;,-&Q'Ð+4V25&?2 1I2ï 1;&>=B&“C?IG'Y&
<*.0@6>=B&825&l4;=684;925*m9;A;4:A;0„æc684:9;05*-<&>= P 1I05&l0b1;* U!2_L&8G;*m9;\gQ
Ñ[Q+h/4:9;05*-<&>=“I705&82“4UZ=5I9;<4;CàNOI=B*mIY;,-&80 d «ŒB;| £•— ÷ @‡ Å o ;‡ Å Ñ ‡>‰>‰8‰ k'(_1;&>=B&«&>I681
«ŒT2 IVL&80?4:9IJ=5I9;<4:C NOI,mA;&'I68684:=B<*m9;\254JI'}lIA;0@05*mI9<*-052 =z*uYA;2@*.4;9](+*-2 1
052 I9;<gI=z<c<&8N;*mI25*-4:9 á ì Ã'é[2 1;&>9‘|
W d «VŒk ‡ îa^ —™ «VŒ 0@*u9;6W!Ñ ðñîŽ6 ˜ £^
Œ
*.0/2 1;y & g5(_1;*-25&T9;4*-05& hE&>9;05&>CEY;,.&HYI9;<;€ƒ,-*mCE*-25&8<“25
4 ð Ƅ&>=B_2 j_I9;<(+*-2 1IN&>=5I\&
4P (/&>=Éà ˆ Q
õ[Q/K­4;=B&T\&>9;&>=5I,-,-GH‘(/&l1IN&TU!4:=+=5IV9;<4:C NI=B*mIY;,-&80 3d : Œkl2b1;&l&>9;05&>CEY;,-&E4UÉYI9;<;€
,.*mCE*-25&8<)UA9;6825*-4:9;0>| ì
W 3d : Œ k ‡ îa^ — ™ : Œ 05*m9;6W!Ñ ðñîŽ6 ˜ £^
Œ
(_1;&>=B&T4U684:A=B05&T(/&l=B&>CF&>CZY[&>=¦U=B4:CSì 2 1;&T0bIC P ,-*m9;\c2 1;&84;=B&>CS2 1I2|
£
: Œ‚— }
Ñð ~


xU?(/&œI,-054D684;9;05*-<&>=)UA9;682@*.4;9;0­,-*mCE*-25&8<#254]25*mCE&7*u9V25&>=BNI,òlH~2 1;&>9(/&'4;YV€
2 I*m9J4:9;,-GXÑròð 9;4;9V€'j8&>=B4'684;&b¬c68*-&>9250I9;<D(/&6>I9J684:9;05*-<&>=•2 1;&“&>9;05&>CEY;,-&
254?Y&Z=z& P =B&805&>9V25&8<­YVGIV9(€<*mCE&>9;0@*.4;9I,_qW (—GÑ òð^ P =B4:YIVY;*.,-*-2BG“<*-052 =B*mYA;25*-4:9
‹ŽW :‘†8‡;:ˆ>‡‰>‰‰5‡;:[Š ^ÏQ
 Q/K­4;=B&?0 P &868* ng6>IM,.,-G;H+*âU_(/&“684:9;05*-<&>=E2 1;&&>9;05&>CEY;,-& 4U`,.*mCE*-25&8< P 4(/&>=“W!YG ^8H
YI9;<;€ƒ,-*mCE*-25&8<DWx254 Å ð ^„I9;<c2@*uCF&b€,.*mCE*-25&8<)05*-\:9I,-0ZW!9;4;9V'€ j8&>=B4?4:9;,-G*u9*m9V25Ÿ&>=BNI,
W!÷ ‡ ò`^5^8H¦(É&)n‚9;<]2 1I2“2b1;&­&>9;0@&>CZY;,-&'*-0«=B& P =B&805&>9V25&8<YG]I 9 ([€<*uCF&>9;05*-4:9I,
=P B4:YIY;*-,-*-2aG3<*-052 =B*mYA;25*-4:9ë(_1;*-6ã13*-
0 j8&>=B44:A;2@05*-<&­2b1;ó
& ([€0 P 1;&>=z& =@I<*mA;Ì
0 ô—
á  Ñð Q
Ÿ
õ 
f¦Gœ684;9;05*-<&>=B*m9;\œ2 1;&,mI2525&>=~2BG P &80?4U`&>9;05&>CEY;,.&80H(/&“6>I9 ng2?2 1;&>Cå*m92@4­2b1;&n‚9;*.2@&
<*mCE&>9;05*-4:9I, 684:9V25*m9:A;4;A;0_<*φ &>=B&>9V25*mI, &>9V2 =B4 P Gc<&bn‚9;*-25*-4:9;0T\V*.NV&>9“*m9“05&8682@*.4;9“¡Q

Žx¢
n §c"¦‚¦87~§cvo¦‘!8$
%'&+684;9;05*-<&>=/6ã1IV99;&8,.0/*m9(_1;*-681c9;4*-05&`*-0/*u9,LB&86825&8<“*m9;<& P &>9;<&>9V25,-G“4U 2 1;&+0@*.\;9I,!é2 1;&
P I=B2@*.6>A;,mI=¦9;4*-05&+054;A=B68&+4U‘*u9V25&>=B&80@2*-02 1;&„054€ 6>I,-,-&8<­ÜÙVÙÿ Ý!ÿõ>Ú#ö];ÿ Ý!Úy÷+Ü@8ÿ Ü>gØVÿ18Ú>Q
{‚A=z2 1;&>=/(/&l=B&8052 =z*.682„684:9;05*-<&>=5I25*-4:9;0`254?2b1;&`n‚9I, 68,mI050`4UŽ&>9;05&>CEY;,-&Q
%'&'1IN&­I705*-\:9I,T(„*.2b1ÀIN&>=@I\& P 4(/&>= H+2@*uCF&b€F,-*mCE*-25&8<2@ 4 ò I9;<YI9;<(„*.<2b1
,-*mCE*-25&8<«25D 4 ðìQ Ÿ
%'&)2 1;&>93684:9;05*-<&>=2 1;Ì & (#—šÑ ðñòó0 IC P ,-&80œW D Õ F I9;- < B F ^E2 1IM2c6>I93Y&'A;05&8<]254
681I=5I6825&>=z*.0@&lY42 12b1;&T*u9 P A;2TI9;<“4:A;2 P A;2É0@*.\;9I,-0>QÉȄ1;&>92 1;&l=B&8,mI25*-4:9;0 1;* P Y&82B(/&8&>9
2 1;&T*m9 P A;2TI9;< 4:A;2 P A;2+*-0_\*-N&>9“YVG‘|
B F — Õ F ԝà F H/Â?—#o ‡ Ñ ‡>‰‰8‰ (
D

(_1;&>=B&?à F *-0`U=B4:C 2 1;&?YI9;<;€+,.*mCE*-25&8<}lIVA;0505*mI9)<*-052 =B*mYA;25*-4:9«(„*.2b1|j8&>=z4 CE&>I9«I9;<


NOIV=B*mI9;68&| ˆ —à k ð
Û

(_1;&>=B&là k *-0`2 1;& P 4(/&>=/0 P &8682 =5I,‘<&>9;05*-2BGQ


e 0Fà *-0?*m9;<& P &>9;<&>9V2“4U Õ (/&4:Y;2 I*m9J2 1;&“684;9;<*.2@*.4;9I,+&>9V2 =B4 P G'I0?Y&8*m9;\œ0@4,-&8,.G
<& P &>9;<&>9V2T4:92 1;&l9;4V*.0@&l054:A=z68&HgI9;<U=B4:CS&8wAI25*-4:9“¡ aZn‚9;< *-250+NI,mA;&|
o
Ύ€W B H Õ ^ Ñ — Î W!ë^Ž— ,-4\ÉÑ â à k ð
Ñ ã

Ƅ&>9;68&|
£ W Õ é B›^Ñ
{ — Î W B?^6 ˜ ΎWí^
È+1;&T6>I P IM68*.2BG4UŽ2 1;&T681I99;&8, *-0+2b1;&>94:Y;2 I*m9;&8< YVGC?IMy:*mCE
* j8*m9;\c2b1;*.0„4ONV&>=ÉIM,.,*u9 P A;2
<*-052 =B*mYA;25*-4:9;0~æ 2 1;*-0E*-0ZI681;*-&8N&8<œYVG­C?IMy:*mCE
* j8*m9;\'(+*-2 1'=z&80 P &8682~254“2 1;&E<*-052 =B*mYA;25*-4:9
4U Õ 0 AIY LB&8682+254•2 1;&lIN&>=5I\& P 4(/&>=/,-*mCE*-2 I25*-4:9‘|
ø MÕ F
ˆ —
N Ÿ
e 0_(/&Z1IN&T0@&8&>9 2b1;*.0`*-0›IM6ã1;*-&8N&8<«(_1;&>9)(/&l1IN&ZI?}~IA;0505*mI9q<*-052 =B*mYA;25*-4:9‘H 1;&>9;68&
(/&Tn‚9;<'Y4V2 1 Õ I9;² < B CEA;052_1IN&Z}~IA;0505*mI9q<*-052 =B*mYA;25*-4:9;0>QT 9 P IV=B25*-6>A;,mI= Õ 1I0
NOIV=B*mI9;68& I9; < B 1I0+NOIV=B*mI9;68& ԝà k ðìQ
Ÿ Ÿ
%'&T6>I9q2 1;&>9&8NOIM,uAIM25&l2 1;&T681I99;&8, 6>I P I68*-2BGHgI0>|
o
Ύ W B?^à— ,-4\/Ñ â W ԝà k ð ^
Ñ ã Ÿ
o
ΎW!ë^à— ,-4\/Ñ â W!à k ð^
Ñ ã
o
ˆ — ,-4\>}goÔ Ÿk W!¡p^
Ñ Ã ð ~

õ¡
È+1;*-0/6>I P I68*-2BG?*-0*m9“Y;*-250 P &>=ª6ã1I99;&8,‘05GCEY4,!H;054~(É&„6>I9E4:Y;2 IM*u9Il=@I25& P &>=0@&8684:9;< H
YVGCEA;,-25* P ,-*.6>IM25*-4:9'YVGu(‘öGòlH[*sQ &Q;U=z4:CÃ(“—ÑðñòlHgCEA;,-25* P ,.*-6>I2@*.4;9­YVG Ñðì|

ž—ñðá,-4\ ˆ oÔ Y;*-2;„0


à Ÿk
ˆ }
ð ~

ç 4 ç 1I99;4;9 0_2b1;*u=z<“2 1;&84:=B&>C“H[2 1;&)gØÿ³ B×:Ü/gÚ,‘× Ü@ Ü×>ÿxÝq Ý:Ú ØVÛaÚ,E|

È+1;&?6>I P I68*-2BG'4U_Iq6ã1I99;&8,+YI9;<,-*mCE*-25&8<3254Ìð Ƅ&>=B2_jH P &>=B2 A=5Y[&8<XYVG


I<<*-25*-N&/(_1;*-25&_}lIVA;0505*mI9l9;4V*.0@&+4U P 4(/&>=0 P &8682 =@I,<&>9;05*-2BGZà k I9;<?YI9;<;€
,.*mCE*-25&8<«25) 4 ð *-0`\*-N&>9“YG‘|

ž—ñðá,-4\ ˆ g} oÔ Y;*-2;„0 W¡¯^


à Ÿk ðù~
ˆ

(_1;&>=B& *-0+2b1;&ZIN&>=5I\V&_2 =@I9;0 CE*-2525&8< P 4(É&>=ÏQ


Ÿ
±m²±x³
ƒ “Á½8¸’Â
ú

È+1;&/05&8684:9;<E25&>=@C(+*-2 1;*m9E2b1;&É,-4\T*m9~&8wAI25*-4:9E¡¯„*.02b1;&É0@*.\;9I,254T9;4*-05&+=5I25*-4?W ç Д„^8Q

oVQ+RTY;05&>=BN&?2b1I2l2 1;&•6>I P I68*-2BG'*m9;6>=B&>I05&80?CE4:9;4V254:9;*-6>I,-,-GœI9;<J(+*-2 1;4:A;2ZY[4:A;9;<


I0/2 1;& ç ûÐ ”*m9;6>=B&>IM05&80>Q
Ñ[Q ç u* CF*.,mI=z,.G“2b1;&_6>I P IM68*.2BG*m9;6>=B&>I05&80_CF4:9;4254:9;*-6>I,-,-G“I0/2 1;&lYI9;<(+*-<2 1*m9;6>=B&>I0@&80
YA;2+254cI~,-*mCE*-2>Q+ø+0@*u9;\“È I>G;,-4:= 0/&8y P I9;05*-4:9Us4:=t,u9|
ü
ˆ ü þ ü ü
,u9 WBo*Ô ü ^Ñ — ü«˜ Ô ˜ Ô +,++
Ñ õ  
(É&T4;Y;2 I*m9‘|
ˆ í à Ÿ k ,-4\ ˆ ã
õ[Q+È+1;*-0+*-0_4U!25&>9=B&8(_=B*-252@&>9*u9q25&>=5CE0/4U+ÚÚ>ÛK O Ú>ÛXë8ÿxÝ!HøýbH(`1;*.681*-0_<&bn‚9;&8<«YG
— øûýqˆcQ¦È+1;&T,-*uCF*.2@*u9;\)NOI,mA;&~*.0`2 1;&>9‘|
Ñ
Ÿ
,.4V\ Ñl—÷ ‰ a®õ
øûý

à k í \

È+1;*-0+*-0_6>I,-,-&8<«2 1;& ç 1I99;4:²


9 ܑ*mCE*-2>Q
 Q+È+1;&6>I P IM68*.2BG~4Ug2 1;&/6ã1IV99;&8,*.0IM6ã1;*-&8N&8<E(_1;&>9~2 1;&/054:A=z68&þg@,.4;4:LV0Ž,-*mL&_9;4V*.0@&hgQ
È+1;*-0?*-0c2 1;& YIM05*-0EUs4;=E0 P =B&>I<0 P &8682 =5AC 25&86ã19;*-wA;&80c4MUrCE4;<gA;,mI25*-4:93I9;<*m9
P I=B25*-6>A;,mI=+h/4;<&liT*-N;*-05*-4:9)K A;,-25* P ,-& e 6868&80@0ZW!h/iTK e ^8Q

õa
1. Foundations: Probability, Uncertainty, and Information
2. Entropies Defined, and Why they are Measures of Information
3. Source Coding Theorem; Prefix, Variable-, and Fixed-Length Codes
4. Channel Types, Properties, Noise, and Channel Capacity
5. Continuous Information; Density; Noisy Channel Coding Theorem
6. Fourier Series, Convergence, Orthogonal Representation
7. Useful Fourier Theorems; Transform Pairs; Sampling; Aliasing
8. Discrete Fourier Transform. Fast Fourier Transform Algorithms
9. The Quantized Degrees-of-Freedom in a Continuous Signal
10. Gabor-Heisenberg-Weyl Uncertainty Relation. Optimal “Logons”
11. Kolmogorov Complexity and Minimal Description Length.

Jean Baptiste Joseph Fourier (1768 - 1830)

37
Introduction to Fourier Analysis, Synthesis, and Transforms
It has been said that the most remarkable and far-reaching relationship in all of mathemat-
ics is the simple Euler Relation,
eiπ + 1 = 0 (1)
which contains the five most important mathematical constants, as well as harmonic analysis.
This simple equation unifies the four main branches of mathematics: {0,1} represent arithmetic,
π represents geometry, i represents algebra, and e = 2.718... represents analysis, since one way
to define e is to compute the limit of (1 + n1 )n as n → ∞.

Fourier analysis is about the representation of functions (or of data, signals, systems, ...) in
terms of such complex exponentials. (Almost) any function f (x) can be represented perfectly as
a linear combination of basis functions:
X
f (x) = ck Ψk (x) (2)
k

where many possible choices are available for the expansion basis functions Ψk (x). In the case
of Fourier expansions in one dimension, the basis functions are the complex exponentials:
Ψk (x) = exp(iµk x) (3)

where the complex constant i = −1. A complex exponential contains both a real part and an
imaginary part, both of which are simple (real-valued) harmonic functions:
exp(iθ) = cos(θ) + i sin(θ) (4)
which you can easily confirm by using the power-series definitions for the transcendental functions
exp, cos, and sin:
θ θ2 θ3 θn
exp(θ) = 1 + + + + ··· + + ···, (5)
1! 2! 3! n!
θ2 θ4 θ6
cos(θ) = 1 − + − + ···, (6)
2! 4! 6!
θ3 θ5 θ7
sin(θ) = θ − + − + ···, (7)
3! 5! 7!

Fourier Analysis computes the complex coefficients ck that yield an expansion of some function
f (x) in terms of complex exponentials:
X
n
f (x) = ck exp(iµk x) (8)
k=−n

where the parameter µk corresponds to frequency and n specifies the number of terms (which
may be finite or infinite) used in the expansion.

Each Fourier coefficient ck in f (x) is computed as the (“inner product”) projection of the function
f (x) onto one complex exponential exp(−iµk x) associated with that coefficient:
1 Z +T /2
ck = f (x) exp(−iµk x)dx (9)
T −T /2
where the integral is taken over one period (T ) of the function if it is periodic, or from −∞ to
+∞ if it is aperiodic. (An aperiodic function is regarded as a periodic one whose period is ∞).
For periodic functions the frequencies µk used are just all multiples of the repetition frequency;
for aperiodic functions, all frequencies must be used. Note that the computed Fourier coefficients
ck are complex-valued.

38
ÿ  
   
"!$#&%('*),+-"-.+/10,23/4065&+7)98,+-:'*!&),'<;=>5,#&;7?('*!&#&%A@ BDCFE7G4'DHI+JHK=D!$-K% !$LM+ONP/J#&)PQRCG,@ BDC"S9N&E T
@ BDCUEVHWX'<?ZY&!$5&?0*![% %O!1=]\J+#&+-(/40<'*?.^`_"+?Z/Ja4+NTcbJd H
We+!$f&%(+-.2J+?ZY&+O!&-.?ZY&!J\J!&#,/40<'*?.^g8,-:!$8,+-.?('*+7%!4=% '6#B>hCUE"/J#&);7!J%3B>iRCFE
=j!$-
'6#J? +7\[+-.%Oh
/J#&)9iKk
lnm:o ;7!J%3BDiCUEq;7!J%BDhCUE(r$C T s b[d 't=
huTciTcv
p x
d z
w |
y { !J?ZY&+-:_}'<% +
l m:o % '6#BDiCUEq% '6#BDhCUE(r$C T s v 't=
huTciTcv
p x
d w |
y { !J?ZY&+-:_}'<% +
l m:o % '6#BDiCUEq;7!J%BDhCUE(r$C T v QRh~Zi B.€E
p
We+5&% +?ZY&+-.!$#&+7;7a4+-}w‚=ƒ5,#&;7? '<!$#?(!gLP+/J#k
wzy|{PT s v€„!Jh…?ZY&Tc+-:i _}'<% +

† Y&+#‡?ZY&+ˆU!$5,-:'*+-‰&+-.'<+7%=j!$-"@ BDCFE"'<%k
N p S‹Œ Š B>NJ{;7!J%3BDiCUExSz{|% '6#B>iRCFE E BDbJE
b {3xŽ
_OY&+-.+?zY&+ˆU!&5,-.'<+-}"!&+z‘g;7'<+#J? %/J-.+Jk
N[{’T d € l m.o @ BDCUEq;7!J%BDiCUE r&C i“”v BD•JE
p
z{’T d € l9m:o @ BDCUEq% '6#BDiCUE r&C i“c€ B—–$E
p
We+PY&!$8,+?ZY,/4?}?ZY&+ˆF!$5,-.'<+-‰&+-.'<+7%8,-.!42$'<),+7%/J#`+7˜™8,/[#&% '<!$#š!4=]?zY&+=ƒ5,#&;7? '<!$#9@ BDCFE"'6#
? +- LM%}!4=;7!J%('›#&+P/J#&)9%('›#&+? +- LP%œH

žŸ  ¡|¡¢J£,¤|¥Ÿ¦c§F¨J¥ƒ£©cªx«¬ƒ­U§®œ¨9®4¯ °|§¢J­F®


± +7?O²
´ ³ BDCFE"f,+’/[#J^`%Z5,Lµ!4= % '6#&+’/[#&)9;7!J% '6#&+? +- LP%k
N ³ 
´ ¶ Ž
² ´ ³ BDCUE T b p S Œ BDN ³{ ;7!J%3BDiCFES ³{ % '6#KBDiCUE E BD·JE
{4Ž
/J#&)9² ´ BDCFE7G&?ZY&+?Z- 5,#&;/4?(+7)ˆU!$5,-.'<+-‰&+-.'<+7%}=D!$-}/’=>5,#&;7? '<!$#@ BDCFE7k
N p ´Œ ¶ Ž
² ´ BDCUE T b S BDNJ{;7!J%3BDiCFESz{|% '6#KBDiCUE E
{4Ž

•J¸
_OY&+-.+¹N { /J#&)º { /J-.+P?ZY&+PˆU!$5,-:'*+-;7!&+z‘g;7'<+#[? %H¹"!$#&%('*),+-‚?ZY&+P'6#J? +7\&- /40 \J'<2&'›#&\š?ZY&+
),'<% ;-.+8,/J#&;7^`f,+7?._"+7+#¹@ BDCUE/J#&)g² { ³ B>CUE}BD/4%(%Z5,LP'6#&\’@ BDCFEK'*%_"+70*0f,+Y,/œ2J+7)¹+#&!&5&\$YP=D!$-
?ZY&+'6#[? +7\$- /40x? !P+7˜$'<% ?ZEVk
l m.o @ BDCFE ¼e² { ³ BDCUE½ m r$C
p »
_OY&'<;7Y% '6L¹8&0<'t¾U+7%? !Fk
l m.o @ BDCFEzÀ m r$C
p ¿
´Œ ¶ Ž
¼ b[dN pm ¼Ád BDN {m S {m E
{4xŽ
´¶ Ž
S b[d|BDN p ¼eN p E m S”d Œ BDN ³{ ¼ÁN[{$E m ScBD ³{ ¼ez{$E m4Ã
³ BDÄJE
{3xŽ"Â
Å !J? +P?ZY,/4??ZY&+¹? +-(LP%O'6#[2J!J0<2&'›#&\eN[³]/[#&)Əz³ /J-.+P/40<0O“Çv/J#&)23/J#&'<%ZYÈ_OY&+#eN[{³ TÉNJ{
/J#&)e ³{ Tʏz{FH9ËKÌ$ÍÏÎÐJÑ$ÒzӗÍÒÔR͜ÒZӗÍ7ÕPÓ6չ֗Ì$Í× ÍVÕØÖÙzÚJÚRÒ.Ð4Û4ÓÝÜPÙJÖDӗÐJÞ,ßÓÝÞeÖD͜ÒZÜÕ¹Ð.à¹ÜPÍZÙ[Þ
Õ7áÑ&ÙJÒ.ÍZâ`ÍÒzÒ.ÐJÒ ß"ÖDВ@ã֗Ì$ÙJÖäZÙ[ÞÆ×(ÍPÙJä7Ì&ÓÝ͜åÍzâgÑ[ÕØӗÞJæ֗Ì$ÍVÕØÍPäœÓÝÒ.äÑ&ç<ÙJÒKà7Ñ$ÞFäÖDӗÐJÞ,Õè

ž>é ê­U¯ °¥ƒ¢J­F¦X­U©x¨1®Ï£©ìëZ°|©|í&¨J¥Ÿ£©|®


† &Y +¹ˆF!$5,-.'<+-‰&+-:'*+7%¹/J#&)ȈU!$5,-.'<+-‚;7!$+z‘g;7'<+#[? %¹/J-.+P),+z¾R#&+7)”/4%/Jfq!42J+JH¹î}!4_"+72J+-_"+
L¹/œ^¹+#&;7!$5,#[? +-% !$LP+8,-:!$f&0<+LP%k
€[H"'›#[? +7\$-(/40<%}'6#+7ï,5,/4? '<!$#&%•,G&–P=>/1'*0x? !¹+7˜&'*%(?H +JHI\UHðk
@]B>CUE T C €
!$-
@ BDCUE Tñs v€„C9 -(/4? '<!$#,/40
C'6- -(/4? '<!$#,/40
bqH}/40<?ZY&!$5&\$YN[{RG,z{¹+7˜&'<% ?GF?ZY&+% +-.'<+7%),!$+7%#&!J?};7!$#[2J+-.\J+JG
•qH"+72J+#`?ZY&!$5&\$Y`?zY&+% +-.'<+7%O;7!&#J2J+-:\J+7%G,?ZY&+-:+7%Z5&0<?O'<%O#&!J?@]B>CUE
@ BDCUE TÉs SP¼€€ dvPò” ò”Cšó”d
Cšó”bJd
?ZY&+#k
NJ{PTcv,~}z{’T db l o %('›#B>iRCFE r&CgTs { vô o i 
i
!&),)
+72[+#
p
% !Uk
– %('›#B>CUES % '6#KBD•JCUE S % '6#BD·JCFE SX÷÷÷ ø
@ BDCUE`õT dc ö • ·
f,5&?}% +-.'<+7%\J'<2J+7%O@ BDidE c õT v,H

–$v
1.5

1 fseries( 1,x)
fseries( 7,x)
fseries(63,x)
rect(x)
0.5

-0.5

-1

-1.5
-1 0 1 2 3 4 5 6 7

ˆ '<\$5,-:+¹€Jk ù8,8,-.!4˜$'6L¹/4?('*!&#&%}? !g-.+7;7?z/J#&\$5&06/J-}8,5&0<% +

1.5

1 fseries( 63,x)
fseries(163,x)
rect(x)

0.5

-0.5

-1

-1.5
-0.2 -0.15 -0.1 -0.05 0 0.05 0.1 0.15 0.2

ˆ '<\$5,-.+b,kú'6f,f&%O8,Y&+#&!$LP+#&!&#

–U€
î!3_"+72J+-VG$'6#š-.+/400<'t=j++7˜™/[L¹8&0<+7%O+#&;7!$5,#[? +-.+7)š'6#% '<\$#,/40 8,-.!&;7+7% % '6#&\`?ZY&'6#&\J%O/J-.+%('›L’û
8&0<+-O/1%k
€[H}ü—=|@]B>CUE"'<%f,!$5,#&),+7)š'›#BDvq~ZbJdE /[#&)n8&'<+7;7+7_}'<% +P;7!$#[? '6#$5&!$5&%œG,?ZY&+ˆF!$5,-.'<+-"% +-:'*+7%
;7!$#J2[+-.\J+7%? ! Ž @ BDC ¶ ExS@]B>CUýKEzÀþJb}/4?'6#[? +-.'<!$-K8,!J'6#[? %]/[#&) @ BDvJýKERSã@ BDbJd ¶ EzÀþJb
/4?}v¹/J#&)9bJd H ¿ ¿
bqH}ü—=@ BDCUE
'*%"/40<% !;7!&#J? '6#&5&!$5&%"!$#9BDvq~ZbJdEVG?ZY&+%Z5,L!4=?ZY&+ˆU!$5,-.'<+-‰&+-.'<+7%}'<%|+7ï,5,/40
? !¹@]B>CUE}/4?}/40<0 8,!J'6#[? %H
•qH}NJ{g/[#&)nz{¹? +#&)?(!¹ÿ7+-.!g/4?0*+/1% ?O/4%"=ƒ/4% ?}/4%€þJiKH

ž  g£¦ì¡|¬ƒ­q¤ëZ£¢J¦


 +7_O-:'*?(+’5&% '6#&\ { '6#‡?ZY&+!$f[2$'<!$5&%}_}/œ^P=ƒ-.!$Lµ?zY&+=j!$-(L’5&06/4+=D!$-"%('›#/[#&)9;7!J%k





@ BDCUE T N b p ‹S ŒŠ B>NJ{;7!J%3BDiCUExSz{|% '6#B>iRCFE E


{3xŽ
{ ¶ { E { ¶ {
T Nbp S Œ Š N[{ B S b Sz{ B ¼ b4' E

   
       

{4xŽ 

T ŒŠ { {
 

B JE



_}'<?ZYk Š 

N p Jþ b p T
i v { T BDN { ¼ ƒ { E þ[b
 
B JE
¶ { T BDNJ{S ƒz {$E þ[b

 
!$f&% +-.2J+Jk ¶ { T { 

_OY&+-.+ ),+#&![? +7%}?ZY&+;7!$L¹8&0<+7˜;7!$# 5&\$/4? +JG,/J#&)k




 

 {PT bJ€ d l m:o @ BDCUE ¶ { r$C  



BD¸JE

p


ž  ¡|¡¢J£,¤|¥Ÿ¦c§F¨J¥ƒ£©cªx«¥ƒ©x¨1­F¢J¡}£¬Ÿ§F¨1¥Ÿ£©
"!$#&%('*),+-Ï?ZY&+24/4065&+n!1=‚/e8q+-.'<!$),'<;š=ƒ5,#&;7? '<!$#”@ BDCFE¹/4? ),'<% ;-.+7? +š+7ï™5,/10*0<^%Z8,/1;7+7) 

23/10›5&+7%!4=|Ck
C T B T bJd G Tcv,~œ€J~ .~ u¼€E
 "!$# #

%! & & & '

?Z-.^`? !¾R#&)9;7!&+z‘g;7'<+#[? % {Ï%Z5&;ØY‡?ZY,/4?k


´¶ Ž
@ B E T Π{ .{

!$# B.€vJE ( *)


{3 p

+ ,.-0/21 3'145/-76*/8(9:45;<451 =>45=?4:- 18@/AB$CEDFAHG$DI8@DKJML*N(O(P>QR9:45;TSVUXWMJ?L*N>Y[ZEP$3-0AHJ?L*N]\^P%QR9:45;_SUXW^J?L*NM`
ZEPIa

–$b
b 5&0<? '68&0*^fJ^ ¶ .y J/ #&)%Z5,Lu_}'<?ZY-.+7%Z8q+7;7?O?(! &k
 *)

c!

´¶ Ž ´¶ Ž ´¶ Ž


Œ @]B E ¶ .y T Œ Œ { <{ ¶ y
d!0# e f)

? *)
2g ih

 p   p {3 p 

f,5&?Of[^g?zY&+%Z5,Lµ!1=
/P\[+7!$LP+7?Z-.'<;% +-:'*+7%/J#&)9f&06/4?Z/[#J?O/1% % +-.? '<!$#k 

€"¼ ´ <{ ¶ y Tcv i Tch g ih

´Œ ¶ Ž <{ ¶ y
*)

 *) T 2g €¼ *{ ¶ y


ih m
kjll
 *)
g Hh o

 p l
iTch


ll
% !Uk ln

€ ´¶ Ž
y T Œ @ B RE ¶ .y !$#  B.€J€E *)


 p  


p˜&+-.;7'<% +Ï=j!&-?ZY&+-.+/4),+-7k%ZY&!4_ñ'6#&% +-:? '6#&\e+7ï™5,/1? '<!$#”€[€P'›#[? !+7ï,5,/4? '<!$#ã€v%Z/1? '<%.¾U+7%
?ZY&+!$-:'*\['›#,/10+7ï,5,/4? '<!$#&%H

3 saw(x)
’trig.pts.8’
’trig.pts.64’
2

-1

-2

-3

-4

-5
0 2 4 6 8 10 12

ˆ '<\$5,-.+•,k Ï/J#&)9Ä4–g8q!J'6#J?'6#J? +-(8,!J06/4? '<!$#&%? !P%Z/œ_}? !&!J?ZYM=ƒ5,#&;7? '<!$#


q

We+;/J#‡?Z- /J#&%(0›/1? +O?zY&'*%f,/4;7a¹'6#[? !¹;7!J%/J#&)9% '6#‡% +-.'<+7%k


´ m¶ Ž
@ BDC ZE|TìN p S Œ BDN[{|;7!J%3B bJd 4i ES”z{ %('›#KB bJd 4i E E
[r
X! X!

{3xŽ  

_OY&+-.+gBÝ=j!$-vPó”ió ¹þJb[E7k 

´¶ Ž
N p T € Œ @ B b[d E X!

: p   

–$•
NJ{ T b ´ Œ ¶ Ž @ B b[d qE ;7!J%B bJd 4i E
X! X!

 : p
  

{ T b ´Œ ¶ Ž @ B [b d qE % '6#B bJd 4i E


X! X!
B.€bJE
 : p
  

ù%_"+¹'6#&;-.+/4% + _ +P;/J#ÈL¹/Ja4+¹?zY&+¹'6#J? +-(8,!J06/4? '<!$#Æ=ƒ5,#&;7? '<!$#e/4\$-:+7+¹_}'<?ZYe@ BDCFE/4?


s

LP!$-:+/J#&)nLP!&-.+’8q!J'6#J? %œH † /Ja['6#&\ N[{/4%O/J#‡+7˜™/JLÏ8&0*+JG/4%i Bð=D!$-"_"+70<0fq+Y,/2[+7)


utwv
@ BDCUE(E7k
´O¶ Ž
N { T d € Œ @ B bJd E,;7![%VB bJd 4i E b[d
x! X! € l m.o @]B>CUE,;7![%VB>iRCFE r&C
d p t B.ۥJE
 p    

ždy g£®4¥Ÿ©|­º§R©
 <z|{ ]¥Ÿ©|­ ]­U¢[¥ƒ­U®
}{

~ f&% +-.2[+?ZY,/4?"'t= @ BDCUE'<%% ^™LÏLP+7?Z-.'<;JG,?ZY,/1?}'<%O@ B.¼}CUETc@ BDCUE?ZY&+#k


N p T db l o @ BDCUE r&C
b p
N[{ T d o @ BDCUEq;7!J%BDiCUE r&C
l
p
z{ T v
Y&+#&;7+?zY&+ˆU!&5,-.'<+-"% +-.'<+7%'*%% '6L¹8&0<^k
N p S ΠN { ;7!J%3BDiCUE
b { p ]

~ #P?ZY&+"!J?zY&+-Y,/J#&)Ï' =@ BDCUE T¼}@ B.¼}CFE7kK?ZY&+#_"+ \[+7? ?ZY&+";7!$- -.+7%Z8q!$#&),'6#&\% '6#&+}%(+-.'<+7%k


Œ z{ % '6#B>iRCFE
] { p
_}'<?ZYk
z{T d b l o @ BDCFE,% '6#BDiCUE(r$C
p
p ˜,/JL¹8&0<+JG?Z/Ja4+`@]B>CUE¹T €Ï=D!$-PvÁó…Cìó…d HWe+`;/J#º+7˜&? +#&)?ZY&'<%¹? !ef,+98q+-.'<!$),'<;
_}'<?ZYe8q+-.'<!$)ºbJdº+7'<?ZY&+-% ^,L¹LP+7?z-.'<;/40<0*^JGK_OY&+#Æ_ +P!$f&?z/4'6#?ZY&+P;7!J% '6#&+¹% +-:'*+7%B—_OY&'<;7Y
'<%% '6L¹8&0<^eN p Tµb/4%+7˜,8,+7;7? +7)UE7Gx!$-_}'<?ZYe/[#J? '<% ^,L¹LP+7?z-.^ÁB—% ï,5,/J-.+P_}/œ2J+E}_Y&+#?ZY&+
% '6#&+%(+-.'<+7%O\J'<2J+7%5&%k
€}T d – ö % '6#KBDCUES %('›#KBD• •JCFE S %('›#KBD· ·JCFE Sì÷÷œ÷ ø Bð=D!$-"vPó”Cšó”dE
ù#&!J?ZY&+-"+7˜,/JL¹8&0<+JGF?Z/Ja4+@ BDCUE TcCKBDd¼eCFE=j!&-}vPó”Có”d
H † Y&+;7!J% '6#&+% +-.'<+7%O'<%k
@ BDCUE T d Ä m ¼È;7!J%3BDbJCFEK¼ ;7!J%3b B—m –$CFE ¼ ;7!J%• BDm ÄJCFE ¼÷÷œ÷

–J–
Y&+#&;7+’/1%O@ BDCUE [t vÏ/4%OC st v,k
dm  T |
€ S € S € Sc÷÷œ÷
Ä bm •m
?ZY&+;7!$-(-.+7%Z8,!&#&),'›#&\`% '6#&+P% +-.'<+7%}'<%k
CBDd`¼ºCUE T d ö % '6#B>CUES % '6#• BD•[CUE S % '6#K· BD·JCUE SX÷œ÷÷ ø


€ $€

/J#&)9/4?CgTcdxþJb,k
d Tc•[b ö €¼ • € S · € ÷÷œ÷ ø€
$€ $€

~ f&% +-.2[+?ZY,/4?|!&#&+% +-.'<+7%};7!$#[2J+-.\J+7%=ƒ/4% ? +-


?ZY,/J#`?ZY&+!J?ZY&+-VG$_Y&+#`?ZY&+O24/4065&+7%O!1=?ZY&+
f,/4% '<%=>5,#&;7?('*!&#&% L¹/1? ;ØYÏ?ZY&+24/4065&+7%!4=]?zY&+=>5,#&;7? '<!$#š/4?"?ZY&+’8q+-.'<!$),'<;¹f,!&5,#&)U/J-.'<+7%H

ž‚ £°¢J¥ƒ­F¢¨J¢J§©|®VëZ£¢J¦
ƒ

‰&?Z/J-:? '6#&\}=ƒ-.!$LX?zY&+|;7!$L¹8&0<+7˜% +-.'<+7%'6#+7ï,5,/4? '<!$#¸qG3L¹/[a4+ /";7Y,/J#&\J+!4=U% ;/40<+ ;7!$#&%('*),+- …„


/8,+-.'<!&),'<;=ƒ5,#&;7? '<!$# xB>CUE_'*?zY8,+-.'<!&)”b ),+z¾R#&+9@ BDCUEPT BDC gþ[dE7G_OY&'<;7YY,/4%
‡† $ˆ‰ Š† ^ˆ

8,+-:'*!&)ebJd H
{ T bJ€ d l o @ BDCFE ¶ { r$C e 


¶o
€ d
T bJd l B &E ¶ { o r
 Œ‹
†  e  Ž r ‹ (
¶ ˆ

€
‹

B ,E T bJd l xB $E ¶ r


† B.€7–$E d e f Ž ?
¶ ‹

_OY&+-.+ ÏTcidþ ÁGF/J#&) B ,E T


‘ $ˆ

 { þJdKH|î+#&;7+Jk
’ˆ

@ BDCFE T Π{ { ( 


{
 

B &E T Œ B ,E d † 

 e * Ž
ˆ

Œ

T 
B ,E
 e * Ž $ w B.€·JE


_O-.'<? '6#&\w Ï=j!$-?ZY&+% ? +8dþ HxùO0<0<!4_}'6#&\ XG,?ZY&+#`_"+Y&!$8,+Jk



$ ˆ ˆ“twv

Œ l Š B ,E rB ,E
 e f Ž $.t w  e * Ž (


Š ”
î+#&;7+_"+!$f&?Z/4'6#`?ZY&+ˆU!$5,-:'*+- † - /[#&%.=j!&- Lµ8,/4'6-7k


BDCUE T b[€ d l Š B ,E r
†  e *

? B.€ÄJE

B ,E T l Š Š BDCFE ¶ r&C
 †

e *

B.€ JE


” Š
–$·
p ï,5,/4? '<!$#πÄ"+7˜,8,-.+7% % +7% /=ƒ5,#&;7? '<!$#P/4%/"%z8,+7;7?Z- 5,Lì!4=&=>-:+7ï™5&+#&;7^;7!$L¹8,!&#&+#J? %œH † /Ja4+#
? !J\[+7?ZY&+-B—_}'<?ZY)U5&+;7!&#&% '<),+- /4? '<!$#‡=D!$-
=>-.+7+24/J-.'6/Jf&0<+7%ZE_"+!$f&?Z/1'›#k
@ BDCFE T bJ€ d l Š l Š @]B $E ¶ r ,r B.€ JE d e *
g•
Ž
h
? ( 
¶ ¶
ˆU!&5,-.'<+- I%}üƒ#[? +7\$- /10 † Y&+7!$-:+L'<%O/%(?Z/4Š ? +LP+Š #[?|!1= _Y&+#`?ZY&'<%|=D!$- LP5&06/Y&![0*),% ,'t=]@ BDCUE
'*%
– ‰

!4=f,!&5,#&),+7)23/J-.'6/4?('*!&#G™/[#&) @ BDCUE 4'<%"'›#[? +7\$-(/Jf&0<+}=ƒ-.!$Lu¼ ? ! XG&?ZY&+#¹+7ï,5,/4? '<!$#š€


˜— — 7v .v 
Y&!J0<),%¹B—_"+70*0KLP!$-.+\J+#&+-(/40<0*^?zY&+),!$5,f&0<+’'6#[? +7\$- /10R\['*2[+7%’BD@ BDCUýKESã@]B>C ¶ E E þJbJEVH

žd™ ƒ_šœ› Ï¢J£¡}­F¢4¨J¥ƒ­U®


WÁ-.'<? '6#&\ BDCUE † B ,E ?(!% '<\$#&'t=D^g?ZY&+?Z- /[#&%.=j!&- L8,/4'6-7G&_"+ Y,/œ2J+}?zY&+}=D!J0<0<!3_'›#&\`8,-.!$8[û
[žŸ 

+-.? '<+7%k ”

€[H}‰&^™L¹LM+7?Z-.^g/J#&)-.+/40<'<?.^
' = BDCUE"-.+/40x?ZY&+# B.¼ ,E T B ,E
  ¡† 7 

' = BDCUE"-.+/40K/J#&)+72J+#k
  ¡†
” ”

B ,EKTcb l Š @ BDCUEq;7!J%B ,CUE r&C




 
p
' = BDCUE"-.+/40K/J#&)!$),)
  ¡† ”

B ,EKT¼}b l Š @ BDCUEq% '6#B ,CUE(r$C


 ] 
p
† Y&+06/4% ?}?._"!’/J-:+/J#,/40<!J\$5&+7%}!1=?ZY&+;7!J% '6#&+P/J#&)% '6#&+% +-:'*+7% ¹;7!J% '6#&+’/[#&)% '6#&+
” ¢„

?Z- /J#&%.=D!$- LM%H


bqH ± '6#&+/J-.'<?.^ =D!$-;7!$#&% ?Z/[#J? %PNe/J#&)”4G 't= ,Ž3BDCFE
£‰ ŽB ,EP/J#&) m BDCFE m B ,E 7† .žŸ  † .žŸ 

?ZY&+#
N ,ŽBDCUES m BDCUE N ŽVB ,ExS m B ,E
$† † [žŸ 
”

”

•qH}‰,8,/4;7+ 4? '6LP+%ZY&'t=j? '6#&\ xB>CP¼eN$E


¤ ¶
R† B ,E žŸ  *'¥ ”  ”

–FH"ˆR-.+7ï,5&+#&;7^%ZY&'t=j?('›#&\ BDCUE B ¼ UE
R† e¦*§

žŸ  ” ¨

·qH ' +-.+#[? '6/4? '<!$#`!&#&;7+ ³ BDCFE


H© 5ª B ,E
_† [žŸœ@ ” 

ÄqHH7H7H /J#&)niš? '6LP+7%G <{ BDCFE ‹B ,E { B ,E M†


g 0h
[žŸ I ” d

ž« g£© £¬Ÿ° ¨J¥ƒ£x©|®


 x¬

‰,5,8,8,![% + @ BDCFE ¹B ,E7G xB>CUE žŸ B ,E _OY,/4?Ï=>5,#&;7?('*!&# KBDCUEY,/4%9/º?z- /J#&%.=D!$- L


­  ¢† užŸ  ¦‰ ¯®

° B ,E T ¹B ,E B ,E üŸ#&% +-.? '6#&\`'6#J? !`?ZY&+'6#[2J+-.% +?Z-(/J#&%.=D!$- Lk


 "­   e±

BDCFE T bJ€ d l ¹B ,E B ,E r
”

” ® ­   e f (

T bJ€ d lll @ B &E B JE ¶ ¶ r ,r $r ”


 I† ² e f
g•
Ž M³
h
( ? ?²

T bJ€ d lll @ B &E B ¼ &E ¶ r ,r $r  I† µ´  e *


g¶

h
? ? ´

–$Ä
ˆR-:!$LÉ+7ï™5,/4?('*!&#e€ ,G&_"+?ZY&+#‡!$f&?Z/4'6#`?ZY&+¹äzÐJÞUåœÐJç<Ñ$ÖDӗÐJÞÏ!4=
@/J#&) k
 s†

B>CUE T l Š @ B $E xBDC¼ &E r


® B.€¸JE  E†  ?

T @ BDCFŠ E BDCUE BDbJvJE >¸7†

!$-7k
l Š @ B $E xBDCP¼ &E r  E† ¹B ,E B ,E  ? žŸ ­ d 

‰&'6LP'<06/J-.0<^Rk Š ”

@ B &E xB $E l Š ¹B UE B ¼ UE r
 I† d XžŸ ­ I¨  ¨ ¨

ù%O/P%Z8q+7;7'›/10;/4%(+;7!$#J2[!J0<2J+?ZY&+’-:+/40F=>5,#&Š ;7? '<!$#&%@ BDCUE/J#&)9@ B.¼}CUE7Gq?ZY&+#k ”

¹B:¼ ,ET
­ 7 B ,E ­ d

B ,E T ¹B ,E B ,E
°  ­ d e­ 

T ¹B ,E m BDb,€E

—¹­  —

B>CUE T l Š @ B $E(@]B }SCUE r




BDbJbJE  d ?
º^»

† Y&+`=ƒ5,#&;7? '<!$# º^»'6# ï,5,/4? '<!$#b[b'<%¹?ZY&Š +ÁÙ[Ñ$ÖDМäZÐJÒzÒ.Íç<ÙJÖDӗÐJÞ=ƒ5,#&;7? '<!$#ÇB—!4= @E7G _Y&'*0<+
p
—:­ ¹B ,E m '6#‡+7ï™5,/4?('*!&#9b,€'<%O?zY&+PՃÚ,ÍZäœÖDÒ Ù[çRâ[ÍÞ,Õ7Ó—Ö 3H f&% +-.2J+ /J-:% +723/40 I%?ZY&+7!$-.+Lk
 — ¼ <~ ‘½ –

BDv[ET l Š @ B $E m r T bJ€ d l Š ¹B ,E m r  EÀ ? —­  — ?
º
¶ ¶
Š ¿¾ Š
ž £¦c­
Á { ƒ_š ¡§¥ƒ¢J®
‰&!$LP++7˜,/JL¹8&0<+ † - /[#&%.=j!&- Lµ8,/4'6-.%k
€[H}‰&'›LÏ8&0*+P+7˜,/JL¹8&0<+Jk
@]B>CUE Tñs C ãv G ¹B ,ET €
 ¶ ¥


v Cóãv N S %­ 
@

ü—= _ +LÏ/Ja4+?ZY&+=ƒ5,#&;7? '<!$#%(^™L¹LM+7?Z-.'<;/Jf,!&5&?Ov,k


@ BDCFE T ¶ G ¹B ,E|T N m bJS N m
" ¥ Â

 %­ 


bqH}ú/J5&% %('›/[#`+7˜™/JLÏ8&0*+B—% +7+¾U\$5,-:+–$E7k


@ BDCUE T ¶  §Ã

Ã

¹B ,E T l ¶ ¶ r&C
­   §Ã

à *


T ¶ l ¶ B ý E r&C 
Ä Ã
ÅFÆ Ã  §
 ÈÇ
Ä
à Æ
Ã

T  ÅFÄ Æ
Ã
Ã
¶ l Š ý Ç
à Æ
Ä
¶ r
¶ ý
 MÉ Ã ?Ê
¨ Ç
Ä

T Ë
d ¶ Š 
Ä Ã
à Æ

BDbJ•JE
ÅFÆ Ã
¨

–
(
1 1

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

0 0
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2 -2 -1.5 -1 -0.5 0 0.5 1 1.5 2

ˆ '<\$5,-:+–Uk|ú/[5&% % '6/J#`),'<% ?Z-.'6f,5&? '<!$#&%/[#&)?ZY&+7'6-}?Z-(/J#&%.=D!$- LP%


ú/J5&% %('›/[#Ï=>5,#&;7? '<!$#‡'<%O% +70t= )U5,/40DH A!$#&% '<),+-}_Y,/4?OY,/J8,8q+#&% /4% XH ̨ctœv

q• H +7;7?Z/J#&\$5&06/J-8,5&0*%(+=ƒ5,#&;7? '<!$#k


Ž N G ¹B ,E T % '6#B ,N$E
,BDCUE TÉs m v CC &ó”
!
”N ¥
— ¡—

,N
— ¡—?
DB b4–$E
%Í 



Å !J?('*;7+?zY,/4?O/4%ON v,GU/[#&)!$f&% +-.2J+ ¹B ,E € ,_OY,/1?AY,/[8,8,+#&%? ! ,BDCUE


t ‘Í d [t ]‰ Î! ±

žŸ%Ï šsÐ|­ e¥Ÿ¢J§í |­F¬D¨J§ÈëZ°|©|í&¨J¥Ÿ£©


Ñ z

We+}%zY,/40<0,¾R#&)¹?ZY&+ '›-(/4;OwVûD=>5,#&;7?('*!&#P? !f,+!4=;7!$#&% '<),+- /Jf&0<+5&% +}'6#P?zY&+};7!$#&% '<),+- /4?('*!&#


¢©
!4="%Z/JL¹8&0<'6#&\UHî}!4_"+72J+-7G?zY&'*% .=ƒ5,#&;7? '<!$# 9'<%’#&![?/`=ƒ5,#&;7? '<!$#e/4?/40<0'›#È?ZY&+P;706/4% % '<;/40
ŒÒ ?Ó

/J#,/40<^&% '<%% +#&% +JG/J#&)X_"+9_}'<0<0’8&06/œ^=ƒ/4% ?`/J#&)X0*!&!J% +È_}'<?ZYã'*?(% 8,-.!&8,+-.? '<+7%/4% /È=ƒ5&0<0


),'<% ;5&% % '<!$#º'<%Pf,+7^J!$#&)º?ZY&+¹%(;7!$8,+`!4=}?ZY&'<%;7!$5,-:% +JH † Y&+g?z-.+/4?ZLP+#[?f,+70<!4_Ê'<%¹8,5,-.+70<^
'6#[=j!&- L¹/40DH
"!$#&%('*),+-:'›#&\š?ZY&+¹-.+7;7?Z/J#&\&5&0›/[-8,5&0*%(+¹+7˜™/[L¹8&0<+g/Jf,!42J+'6#+7ï™5,/1? '<!$#b4–g_"+¹/J-.+P'6#[? +-Ÿû
+7% ? +7)'6#‡?ZY&+’8,-.!&8,+-.? '<+7%!4= ,BDCFEBD-.+8&06/4;7'6#&\Ngf[^ (E}/4%
Ô! v,H ÖÕ ×Õ<t

l ,BDCUE(r$CPT s € Ž Î Õ
BDbJ·JE
¶ v ¹óc¼
!
 7Õ

Š
~ #?zY&+_}'<0*)e/4%(%Z5,L¹8&? '<!$#`?ZY,/1? '<?+7˜$'<% ?(%k
0<'6L ™B>CUE Tcw,BDCFE
p
!
ØÚÙ

‰&!$LP+8,-:!$8,+-.?('*+7%œk
–
(
€[H";7!$#&;7+8&?Z5,/40<0<^
w™B>CUE T s v’– µCgTcv
ÜÛ
v C Tcv
o

bqH"?Z/Ja['›#&\Ï?ZY&+0<'›LM'*?!1=+7ï™5,/1? '<!$#9bJ·qk
l w,BDCUE r&C¹Tñs € ãv
Ž k

¶ v góãv 

Š
•qH}/4% %Z5,LP'6#&\e@ BDCUE‚'<%¹;7!$#[? '6#$5&!$5&%P'6#º?ZY&+`'6#J? +-:23/40B ¼ 7~ S EP/J#&)5&% '6#&\e?ZY&+ Õ "Õ
),'*%z8&0›/1;7+7)Æ8,5&0<% +‚=>5,#&;7?('*!&# BDC¹¼ E ™f[^`?ZY&+'6#J? +-(LP+7),'6/4? +24/4065&+P?ZY&+7!$-.+LÉ=D!$-
u! ¦‰

% !$LP+ ¹'6#?ZY&+'6#[? +-.24/40 B ¼ 7~ S E7k


È´
Ø
Õ Õ  

l Š @]B>CUE ,BDCP¼ E r&C¹Tc@ B $E
 
e! µ´

î}+#&;7+_}'<?ZY5&%Z5,/40),'<%Z-:+7\$/J-.Š )‡=j!$-"-.'<\J!&-.!$5&%Z#&+7% %œG,?Z/Ja['6#&\¹?ZY&+0<'6LP'<?k


l Š @ BDCUE(w™B ¼eCFE r$CÏTc@ B E



~ f&% +-.2J+?ZY&'<%'<% /;7!$#[2J!J065&? Š '<!$#ÈH7HH  

–FH=>5,-.?zY&+-}#&!J? + BDCUE(w™B>C¼ E T B E w,BDC¼ EVH


Ȇ ݆

ƒü #š% !&LP+_}/œ^$%?ZY&+’wVûD=ƒ5,#&;7? '<!$#/J#&)9'<? %=>-:'*+#&),%;/[#nfq+P;7!$#&% '<),+-.+7)e/4%/J#,/40<!J\J!$5&%? !


  

+7˜&? +#&),'6#&\g?ZY&+- /4?('*!&#,/40<%}? !P?ZY&+-.+/40<% ,?ZY&+7^`f,!J?ZY`+#,/[f&0*+% +7ï,5&+#&;7+7%}? !¹Y,/œ2J+O0<'6LP'<? %H


‰

We+),+z¾R#&+P?ZY&+¹Ó—âJÍzÙJçÕ7ÙJÜÚRç<ÓÝÞ[æ}à7Ñ$ÞFäÖDӗÐJÞ¹!4= '6#J?(+-.23/40 /4%k xˆ

w BDCUE T Œ w,BDCϼei eE
{

‹

_"+;/J#`ˆU!&5,-.'<+-}?Z-(/J#&%.=D!$- LÉ?ZY&'<%’B—+7˜&+-.;7'<% +=D!$-"?zY&+-.+/4),+- E}/[#&)!$f&?Z/4'6#k


B ,E|T € Œ w,B ¼eb[dhE
y
Þ  ?ˆ
‹ ˆ

_}'<?ZYšw ‹
H
žŸœÞ
‹

žŸ §¦c¡|¬Ÿ¥ƒ©
{ [ß šsÐ|­F£¢J­F¦
~ 5,-;7!$L¹8&0<+7˜/J#&)g;7![% '6#&+ 4% '6#&+% +-:'*+7%"\$/œ2J+5&%A/),'<% ;-.+7?(+% +7?|!4=KˆU!$5,-.'<+-;7!&+z‘g;7'<+#J? %
¤
=D!$-P/e8,+-.'<!&),'<;9=ƒ5,#&;7? '<!$# "!$-0<!&!$aJ'6#&\/4?P'<?g/J#&!J?ZY&+-M_A/œ^=D!$-P/‡=>5,#&;7?('*!&#_OY&'<;7Yº'*%
à‰

#&!$#[ûƒÿ7+-.!`'6#/P¾R#&'<? +¹- /J#&\[+JGU_"+;/J#š),+z¾R#&+¹/¹8,+-:'*!&),'<;g+7˜&? +#&% '<!$#š!4= ?ZY,/4?A=>5,#&;7? '<!$#H


† Y&+P% ^,L¹LP+7?Z-:'*;P#,/4?Z5,-.+!4=|?ZY&+PˆU!&5,-.'<+-}?Z-(/J#&%.=D!$- Lu_ !&5&0*)š%Z5&\J\J+7%(?O?ZY,/1?O% !&LP+7?ZY&'6#&\
'6#J?(+-.+7% ? '6#&\¹LP'<\$Y[?|Y,/J8,8,+#`'t=?ZY&+}ˆF!$5,-.'<+- ?Z-(/J#&%.=D!$- Lì=ƒ5,#&;7? '<!$#¹'<%"/40<% !’#&!$#[ûƒÿ7+-:!!$#&0<^
'6#9/¾R#&'<? +P- /J#&\J+JH

–$¸
"!$#&%('*),+-K%z/JL¹8&0<'6#&\ /% '<\$#,/40 xB>CUE/4?K'›#[? +-.24/40<% µ? !}!$f&?Z/1'›#‚?ZY&+|),'<% ;-:+7? +"? '6LP+|% '<\$#,/10jk
ᆠ[ˆ

BDCUE T Œ xBDi eE w,BDC¼ei ÆE BDbJÄJE


{
† † >ˆ >ˆ
‹

T xB>CUE w BDCFE †
‹

 +LP+LPfq+-¹?ZY&+8,-.!$8q+-.? '<+7%g!1= ;7!$#[2J!J065&? '<!$#&%œG"_ +9a&#&!4_…?ZY,/4?¹/e8,-:!$)U5&;7?`'6#”?zY&+9C


),!$L¹/1'›#ã'<%9/È;7!$#J2[!J065&? '<!$#'6#X?ZY&+š?Z- /J#&%:=j!$-(L ),!$L¹/4'6#HÇWX'<?ZY BDCUE B ,E`/J#&) † Ÿž 
†
‹
BDCFE žŸ B ,E7k
‹

”
” B ,E T  B ,E B ,E  ¸TÞ 

T
‹
€ Œ B ,E w,B ¼ºbJdh`E
‹

y
” ”  ¸ ?ˆ
ˆ

T € Œ B P¼ bJdh E BDb JE
”

y
 ]
ˆ ˆ

ˆR-:!$LÉ?ZY&'<%}_"+ #&!J?(+?ZY,/4? =D!$-"/J#[^ BDCFE B ,E?ZY&+-.+7%Z5&0<?}!4=%z/JL¹8&0<'6#&\ /4?"'6#[? +-.23/10*%


Ά ➟
”

ˆ '›#Ï?ZY&+}CÏ),!$L¹/4'6#¹-.+7%z5&0*?(%|'6#g/?z- /J#&%.=D!$- L B ,EK_OY&'<;7Y¹'<%|?zY&+O8,+-.'<!&),'<;+7˜$? +#&%('*!&# 

!4= B ,E_}'<?ZYš8,+-.'<!&)nbJdxþ H
 $ˆ
”
”
‹

"!$#[2J+-.%(+70*^'t= BDCUE'<%P% ?Z-.'<;7? 0<^Áf,/J#&)&ûƒ0<'6LP'<? +7)”f[^


” 7† B>- /4),'6/J#&%¹8,+-CÁ5,#&'<?ZE7GK?ZY,/1?'*% ã
B ,E'<% ÿ7+-.!!$5&? % '<),+"?ZY&+"'6#J?(+-.23/40B.¼ º~ ÇE7Gœ?ZY&+#PfJ^%z/JL¹8&0<'6#&\’/4?K'6#J? +-:23/40<%|bJdþ[b
d 7ã 'ã ]ã
'6#?ZY&+C‡),!$L¹/4'6#k
B ,E T b bJd
”

 B ,EGB.¼ ó ‡ó E
]㠋
 7㠏 ã

/4%¹%zY&!3_#'6#º¾U\$5,-:+n·,H K+-Ÿ=D!$- LP'6#&\e?ZY&+ˆF!$5,-.'<+-Ï?Z- /J#&%.=D!$- L !$#º+7ï™5,/1? '<!$#”bJÄqG|_"+


” ’½ ”

!$f&?Z/1'›#k
B ,E T b bJd Œ xB bJb di E ¶ { m.o m GB.¼ ó `ó ÇE BDb JE * r eä
{
 † e 7㠏 ã ]
]ã ]ã

å 5&?¹_"+9a$#&!4_ B ,E¹T vš=j!&-’/10*0


”
 "?zY&+-.+z=j!&-.+?ZY&+9%(+7ï™5&+#&;7+ xB>iRþ[b EØÀ
Η X—7æãç‰ † ]ã
;7!$L¹8&0<+7? +70<^`),+z¾R#&+7% B ,E/J#&)gY&+#&;7+ xBDCFE7H % '6#&\P+7ï™5,/1? '<!$#gb /J#&)g8q+-Ÿ=D¿ !$- LP'6#&\P?ZY&+
 ¢† âè á

'6#J2[+-.% +?z- /J#&%.=D!$- Lk ”

BDCUE T b[€ d l Š B ,E r
”

† d e * ?

T b[d Š b bJd Œ xB id E ¶ { o
€ l ä ”
r * r ä  *


{
† e ?
¶ ä
]ã ã

T b € Œ B b id E l ¶{o r ä
 *
g¶
r ä
h

{
† ?
áã ¶ ]ã
ä

T Œ xB E ÇC¹¼º¼ºiRdidE 
i d
% 6
' 
# B Ç ¹
C BDbJ¸JE
ã

{
†
ã ã

† /JaJ'6#&\`?ZY&++7˜,/JL¹8&0<+P!4= ? '6LP+=D!$-"?zY&+ ),!$L¹/4'6#GF_"+;/J#-.+7_-.'<? +?ZY&'<%'6#?(+- LP%}!4= ‘ˆ


?ZY&+`%Z/JL¹8&0<'6#&\=ƒ-.+7ï,5&+#&;7^ @ P#&!$- L¹/10*0<^ºï™5&![? +7)Á'6#î+-.? ÿ- /4?ZY&+-‚?ZY,/J#º- /4),'6/J#&%¹8,+-

% +7;Jk
B E T Œ xB @ i E % '6#Kd|BDd|BD@ BD@ K¼º¼eiEiRE(E $éFê

{
† ê †
$é $éFê

T Œ xB @ i E.% '6#&;,BD@ K¼eiRE BD•JvJE


{
† $éeê

·Jv
ñ  ó

ìŒí
ëì íŒî
ë î
ñ õ]ó

û

v ï 
ð

ñ  ó
‹

ìí ìŒí ìŒí ìŒí ìŒí


ë ì í î ë ì í î ë ì í î ë ì í î ë ì í î
ë î ë î ë î ë î ë î
ñ ö^ó
ð
û
@ï ô ï 

° ñ  ó

ñò ó
ð
û

ô
ï 

÷[ø•ù(ú Fû.ü^ý - å  ø.ø û ÿ  ø¶ù þ^õ


 ý ñ õ]ó  û ò  - ú
 ñ >ó×ñ ö^ó 
õ]þ?ÿ û ò  - ú
 ñ %ó
ñò ó dÿ û
õ    û--Fû !  þ û  -"-Fû ò  þ  - ú ò eø þ

" # û%$'&
(*)+-,/.- õ  û]ý õ% ø•ù þ^õ
_ö^õ]þ?ÿ ø.ø û ÿ ö10 ã ñ2 û- 43 óRò õ]þ ö û ú þ ø65^ú û 0’ÿ û

 û- c
 ø þ û ÿ"ö107'õ   ø þ ù õ  õ - õ  û 8:9 é<;>=áã  " # û .ø þ ø?.ú 'õ   ø þ ù - õ  û
9 éA@B]= ã ø  !# ûDCFEG
H IJ¦êO- õ  û  " # û 'õ   ø þ ùK!# û  -Fû æø L M û eø û _ò õ86 û ÿ !# û

$A&N(O)M+-,. !# û  -Fû  

PRQSPT UFVSWXY
WZ[ß

@þ -
Fû õ  þ    [  ø ö û 4 ö ú?ø •ÿ !# û õ]þ^õ
 ]ù(ú û    û-]\ ?
8 ø 0 ø  ø q # ø ò # \ ( ú • ÿ # õO^ û _# û û-
 û ò  -
Fû !  þ û-Fû ^ 5 ú?ø - û ÿ 4  õ$ò #?ø û ^ û !# ûa` 0 5^ú?ø   - õ  û ñ -Fû !  þ û   #  \ þL ù(ú -Fû×ü ñò óeó
÷[ø•ù(ú Fû - cb
d þ  - õ  û  !# û -  ö û æøef_# û 'õ   ø þ ù - õ  û ø  [M   \  - õ ùáø ^ û þ
ÿ û
   û-  ïû # õ$ÿõ
4 ú û ÿ õK ø•ù þ^õ
7ö^õ]þ?ÿ ø.ø û ÿ 4 ã õ]þ?ÿ<'õ   û ÿ õ  ` 0 5Mú?ø  
- õ  ûg=]ãBh ö úa!# û  ø¶ù þ^õ
iñ  - õÎö^õ$ÿ0i   û-Fû ÿK^ û-  ø þ 
!# û  ø•ù þ^õ
*ó # õ
Tþ  þ1 3 û- 
 -Fû 5Mú û þ?ò0ò M  þ û þ   õ L -Fû 5^ú û þ?ò ø û  #?ø¶ù# û- !# õ]þ ï \ #?ø ò #%!# û û- ø ÿ ø ò ø6 0 

!# û  - õ]þ  - kj  ñ^ l ó‘ò õ ú  û  4 ö û õ$ÿ^ÿ û ÿ ø þ7@þm MMnáø þ ùo þ60 ø þ !# û ø þ  û- ^$õ


p
ü
1
y = sinc(x)

0.8

0.6

0.4

0.2

-0.2

-0.4
-8 -6 -4 -2 0 2 4 6 8

r6s1t6uOv*w
÷[ø¶ù?ú Fû - gq ^ý " # û  ø þ?ò dú  6
þ?ò ø þ h
é
uOv

1.2

0.8

0.6

0.4

0.2

0
-W 0 W

÷[ø•ù(ú - :b
û ^ý ]x  ø õ
 ø þ ù _y
û Xû ò  û z õ   û

=
ü
|{ ã<}'ã ó ø õ  û
ñ õ - !# õ g !# û  õ ø  # Oõ ^ û ö ûû þ ~ •ÿ û ÿ  ^ û- õ]ö ?ú  @ { ã õ]þ?ÿ

 " @ ã \ ø6_##?ø•ùM# -
û  -Fû ^5 ú û þ?ò 
ø û Tö û ø þ ù - _€
Fû %û ò  û ÿ õ8  H\ û-  -Fû M
5 ú û þ?ò ø û *
"‚ õO^ ]ø ÿ !#?ø c -  ö û  h ø.ø  þ  -  õ
 4 õ ø?k4 2õ    ûD\Hû iõáö  ^ û !# ûƒ` 0 5Mú?ø  
- õ  û„ ~ -Hûz õ   û   õáþ?ÿ%õ - ÿ q
…M† ö A‡ ˆ‰gŠ‹‡Œ ú  û ÿ ø þ ! # û # þ û 4 0  û  õ ø?4
ö^õ]þ?ÿ ø.øA!# û õáþ^õ
 ]ù(ú û ø þ ú  ø¶ù þ^õ
 4 õáö (úaŽ  … n 2 3 õ]þ?ÿ2õ   û õ an 2 3 

Š z õ    û ×õ86  õ - ø  û ø þ ?
ø õ ù û ÿ ø¶ùáø ø 6 63 õ e ø þ \ # -
û û ! ^õ e ø õ
  -Fû 5^ú û þ?ò ø û  #?ø•ùM# -
û !# õ]þ

!# û-Fû    úeø þ


 !# û eò õáþ^þ -  -
û ^ ø ÿ û  ò õ  û- õ.ò õ ú  û õ
 ø õ
 ø þ ù û_yXû ò  O

 ‘“’g”•—–4˜™]šR”›”œgŸžAš –[”š‘išR¡¢g˜£*¤š]¥

ïû # Oõ ^ û 
# \¦\Hû ò õ]þRÿ û e ò ûû þ - ø ö û õg û- ø ÿ ø òd ø•ù þ^õ
Xö10õ_ÿ ø eò - û  û û Œ
 
â÷§(ú - -
ø û
ò  û_¨ ò ø û þ  _õ]þ?ÿò  þ1^ û-  û 60 # \ õÿ  ò -Fû  û  û  8  ]ø þ  Èò õ]þö
ø e û ú  û ÿ 4 ÿ û e ò - ø ö û
õÎö^õ]þ?ÿ ø.ø û ÿ  ø¶ù þ^õ


"Hø û 4 ò M û [ û õ - !# „H \ û  # õ


[ò  þ?ò û- þ (ú -  û ^ û  \ ø6_# ö^õáþ?ÿ ø.ø û ÿ© û- ø ÿ ø ò

×õáþ?ÿò  þ ø ÿ û- !# ûLªA+,«*¬|­*.­Ÿ®R¯)M¬_+°­*¬d±¬³²1´,°µ/¯¬_¶ õ
 !#?ø  û þ?ÿ ø  û  4 ò M
ø•ù þ^õ
ú õ  ø6 þ ÷àú - !# û- · -Fû !# û ‰ ÷¸" ø .õ
  õ  û þ^õ]ö û [ û_¨ ò ø û þ  ø  û  û þ  õ ø6 þ
õ
 _# ûd® ²8,/.]®R¯)¬!+°­*¬ƒ±¬|²´,°µ/¯1¬!¶ 

T¹QSP º¼»Z‹W½W¾RZ‹Y
Ñ

‡  þ ø ÿ û- õ¿ÿ%õ  õi û M 5 ú û þ?ò F s Ài@¿ Á }  }OÃ*ÃOà ÄaÅ À  §
û ¿   ÷  -_ûz õ   û !# û  û ò (
 ú •ÿ
-Fû -Fû  û þ  _# û ^0õ
 ú û A' õ   û ÿ  - M õ]þõ]þ^õ
 ]ù(ú û  ø•ù þ^õ
 J ñ ê ó \ ø!ƒ
#  sg@ÆJ ñÇ§È é ó
" # û ‰ ø e ò -
Fû  û ÷ ?ú  - - " -
ø û   -  ø  ý õ]þ

ÄÅÂ
Å ÍÎ_Ï É s ñ l

jdÉ @ Ê  sMÌ Ð h @"ô}Op}*ÃOÃÃ|}!C { p ó ñ Ž p ó
s
Ë Á
õ]þ?ÿ   ø þ^
ø - 
û û]ý

ÄÅÂ
p Ê Í Î_Ï É s ñ Ç
 sd@ j:É Ì Ð h @"ô}Op}*ÃOÃó}_C { p ó ñ Ž = ó
C ÉË Á
ˆ_þ û  õ
Ñ  - ^õ ø þ
  ! # û ò  þ eø þ ú(ú  § ÷ (ú - ø û- " -    -  õ]þ?ÿc û- ø û qþ  \ ÿ ø 'õ  û õ -  h
õ]þ

!# û-Fû ø 7þ :5^ú û  eø þ 8   4 ø ö û ò  þ^ û- ù û þ?ò û -  ö û   \ ø!#  ø.ø ×õ8 _ # û  û  ú 
õ -Fû õ86 £þ ø6 û 

T¹QT ÒcÓ1¾RÔ º Ó8½8WSº Y

" # û - - 
û eø û  
!# û ‰ ¸
÷ "Æ.ø.ø ò _# û ò ú (ú ^
 þ  ø þ  -  
û ø þ ý

p  0 c û -
0 õ]þ?ÿ -
Fû õ
 ø 0

ü Ž
Õ øÖ] s - û õ
 ! # û þ j ¼Å É @ jd×É
Õ õ
  s ø a û- ø6 ÿ ø ò h j t Ù
Ä Ø[Ú w Å É @ j:×t ÄÙØ4Ú wÜÛ É
=  Ý ø þ û õ -  0
ø „ Þ  s'ß7àá¼s # 8õ  ‰ ¸
÷ " Þ jdÉ ß©àâ ÉÈø þ !# û  ö^ ø(ú   õ]þ^þ û- 
Ž  ? # øÖeø þ ù „  ö û- ^ û % #?øe~sø þ ! # û  s 0^ õ
 ú û  ø  - û õ
60’õ
õ -    
õ eø þ  ÷  - !# û
-  õ  û ÿD û ^5 ú û þ?ò û  s Å sOã !# û ‰ ÷¸"Ýø  j:É Ì Å Ú *u r É s*ã ØÄ 

" # -
û Fû  86 c!# û ^õ - õ
 û  8
ø ×õ ò  1þ ^   úeø 
þ  " # c
û «O+ܬ|«O)M䲬A«_¯´ åO¯ä)M.+°¯´ 
  û M
5 ú û þ?ò û 
 s õ]þ?ÿ ás ø ¢ÿ û £
 þ û ÿ˜ö10 ý
ÄÅÂ
EOsc@ Ê  ás Å æ h ñ Ç @"ô}Op}*ÃOÃÃ~C { p ó
Ë Á æ
æ
" # û ‰ ¸
÷ "¦8 E s ø  !# û þ ý

ÄÅèÂ
Ê Å ÍÎ_Ï É s
çÉ @ EOsMÌ Ð
s
Ë Á
ÄÅè ÄÅèÂ
Ê Ê Å Í Î!Ï É s
@  æ ás Å æ Ì Ð
s
Ë Á Ë
ÄÅè æ Á ÄÅèÂ
Ê Å ÍÎ_Ï É æ Ê Å ÍÎ_Ï É ts Å æ w
@  æ Ì Ð á s Å Ì Ð
Ë Ë æ
æ Á æ Á
@ j É â É ñ ŽŽ ó

T¹Q°é êXYO½ëê¾Rì‹ÓWº§ÓíÓXZ¸Yïî!¾RÓð

x  ø  ø  eø ò ø  û  û þ  õ eø þ 8!# û ‰ ÷¸" \ (ú •ÿ -Fû 5^ú?ø -FûiC Ú ò M  ûz .ú  eø  ø
ò õ eø þ_õ]þ?ÿ C ñ C { p óHò M  ûz õ$ÿ^ÿ øeø þ*2  \Hû ^ û- !# û 40 c û  - 0 8¸!# û ‰ ÷¸"
ò õ]þö ûÎûz  áø6 û ÿ õ]þ?ÿõsÿ ø ^ ø ÿ û õ]þ?ÿ‡ò  þ 5Mú û-   - õ  û ù 0i û õ$ÿ 4i!# û ÷ õ
 _÷§(ú - ø û-

" - õ]þ  -  \ # û þ C ø ×õñ  \Hû- 


 = 
Å¼Ú u*r ØÄ h û þ
÷  -  ø  ø ò ø 0 \HûŒ\O- ø ûóòô@ÆÌ !# _# û ‰ ÷¸"õ - õáþ û ^ û þ.þ ú ö û-Cö@“=÷ h
ö û ò  û  ý

Ú|ø§ÅÂ
Ê s É
jdÉ @  sò h l @ }*p}OÃ*ÃÃ=÷ { p
ô ñ Ž … ó
s
Ë Á
ø§Å Ú|ø§ÅÂ
@ Ê  s
ò s É
ß Ê  sò
s É
sNË Á sNË ø
ø§ÅÂ
Ê ñ  saß É4ø És
@  s
Û ø ò ó ò
sNË Á
ø§ÅÂ
Ê ñ  saß É És
@  s
Û ø |ñ { p ó ó ò ñ Ž ü ó
sNË Á


…
ü
Á ð î ð ß ð ð jLÁ
î ë ú
ë
î
 î
ë
ß … ³ ]ø þ  jLü
ð î ë ð ð ð
î
î
ë ë ú ‰ ¸
÷ "
î ë
î ë
î ë
MÚ ð î
î ë
î ë ð ß ð ð jdÚ
î
î ë
î ë ë ú
ëî ë
î ë î
ë î ë
û ð ëî
ë
î
î
ë ð ß ð ð jLþ
î ë î
î
ë î î ë ë ú
ëî ëî
ë
î ë
ë î î ù ò Á
ë î ë î ë
ü ð ëî ë î ð ð ð jñÂ
ë î
ë î î ë
ë î
ë
ë
î ë î î ù ò Â
Mý ë
ë
î ë î … ³ ]ø þ  jdý
ð ð ð ð
ë î î
ë
ë î î
‰ ¸
÷ "

ò Ú
ë
ë ë î î ù
þ ð ë î
ð ð ð jLû
ë î
î
ù ò û
ë
î
ë
Mÿ ð ð ð ð jdÿ

÷[ø•ù(ú Fû -  ý ‰ ø ^ ø  ø  þ 
ó ³ ]ø þ ×ø þ 4c \  … ³ ]ø þ  ‰ ¸
÷ " 

õ
 h¼ò ø @ { p h # û þ?ò û dò [É ø @ ñ|{ p ó É  ï‡û ò õáþ _# û þ ?ø  60F û ^
õ - õ  û (ú û ^ û þõ]þ?ÿ
 ÿ^ÿ  û-   8Ù
 jdÉ \ û  ö  õ øþ ý
õ]þ?ÿ i

ø§ÅÂ
jdÚ @ Ê ñ  saß  sNÛ ø ó ñ ò Ú ó  s h @"ô}*p1}*Ã*ÃÃ[}!÷ { p
sNË Á
ø§ÅÂ
j Ú Û Â @ Ê ñeñ  s {  sNÛ ø ó ò s ó ñ ò Ú ó  s h@"ô¼}*p}OÃ*ÃÃ|}!÷ { p
sNË Á
`  eø ò û ! # õ d !# û  û õ Fû -  \  ÷ ³ ]ø þ  ‰ ¸
÷ "  
A!# û û ^
5 ú û þ?ò û  ¿  s:ß  sNÛ ø À õ]þ?ÿ

¿  s
ñ { 
s Û ø ó ò s À 
 C ø_ õd  H\ û-
  =h !# û þ \Hû ò õ]þsÿ û ò    û ø þ !#?ø   õ]þ^þ û -  áù Ú C eø û  ú þ eø 
  - õáþ ~ -  * 
\Hû  ö  õ ø þ C  ø þ ù  û ]ø þ 
" # û ÿ ø õ ù - 
õ |ø þ  ù(ú Fû -   # \  !# û ÿ ø ^ ø  ø  þ 
 õáþ  ³ ]ø þ  ‰ ÷¸"Ýø þ 4d \  … ³ ]ø þ 
‰ ÷¸" * û ò ú - ø ^ û ÿ ø ^ ø  ø6 þ ø þ ! #?ø   õ]þ^þ û -}- Fû  ú    ø þ _ # û ÷ õ
 H÷§(ú - ø û- " - õ]þ  - 
ñ ÷[÷¸" óï

-  # \  ! # ûÊ- û û eøeø ^ û ^õ 4 û- þ   -  û


÷[ø•ù(ú Fû
ÿuö û  \Hûû þò û-  õ ø þ K ^õ ø - 
 ]ø þ  

!#?ø  )..­*¬ & ^õ 4  û- þ ?
# ø•ùM#  ø•ùM#1 a M  û  û õ ' ú -
Fû  8Ù!# û ÷[÷ ¸" ý

ü]ü
Stage 1 Stage 2 Stage 3

÷[ø•ù(ú Fû
^ý - x þ z õ   û
û )..­*¬f& ^õ 4 -
û þõ  û õ$ò #i
!# û _# -
Fûû  õ ù û  ø
  # \ þ ø þ
ö  ¶ÿ

p  Šqõ$ò # ö ú4 û-³€ 0 - û 5Mú?ø -Fû   þ û ò   ûz .ú  ø  ø ò õ eø þÝõ]þ?ÿ  \  õ$ÿ^ÿ øeø þ
# û þ?ò û ÷[÷¸" -Fû 5^ú?ø -Fû ñ C = ó¼ ]ù Ú C ò M  ûz .ú  eø  ø ò õ eø þ õáþ?ÿ C MÚ C
ò M  ûz õ$ÿ^ÿ øeø þ

\Hû # õO^ ûÁ-Fû ÿ ú ò û ÿ !# û ñ C Ú ó‰ ÷¸" -  ò û 4 4 õ]þ
 ñ C ]  ù Ú C ó  þ û 
=  x  û õò #’ø û- õ eø þ \ ø!#?ø þ û õò #   õ ù ûh \Hû þ ûû ÿ"ò  þ ø ÿ û-  þ0  \ ø þ ú
ò  û_¨ ò ø û þ   \ #?ø ò #‡ù û þ û- õ  û  \ i(ú ú ò  û_¨ ò ø û þ   \Hûƒ\Hû-Fû 4  4 -Fû
øe
!# û ò  û_¨ ò ø û þ   ø þÎõ]þõ - - õO0 h !# û  \  ?ú ú [ò õ]þ  òò ú 0 !# û 'õ  û   ò õ eø þ
õ
 !# û  \ ‘ø þ ú .ñ !#?ø  
 ò (ú -  û ÿ û   -  0 !# û ø þ ú7ø þ !# û -  ò û 4'ó¸Šó^ û þ

øÖ H\ û  4 -Fû !# û (ú ú_ø þõ]þ !# û- õ - - õ*0 _#?ø ‘õ8 ù1 - ø!#Šø A eø 6  þ60  ñ C ó
þø õ$ò û  û-  *
!^
Ž  "R £þ?ÿ ! # û   ò õ ø6 þ 8 ¸j:ɝø þ _ # û ÷[÷¸"¦(ú ú õ -(- õO0 h  õ n û lŒõ
×õ]þŒö ø þ^õ -0
þ ú ö û-

   ] ù Ú C ö ø6  Uh -Fû ^ û-  û ! # û  õ]þ?ÿ  -Fû õ  õ


 ø þ?ÿ ûz ø þ 4  õ -(- õO0

T¹Q OZ¹º§ÓY
ºÑ%êAí êAêAí

" # û Iþ^ - 
û û ‰ ¸
÷ "Ýø  ùáø ^ û þuö 10 ý

ÄÅÂ
p Ê Í Î_Ï É s ñ Ç
 sd@ j:É Ì Ð h @"ô}Op}*ÃOÃó}_C { p ó
C ÉË Á
" #?ø Èò õ]þö P- \O- 4
û Fû ø û þõ 8 ý

ÄÅÂ
C  s× @ Ê É s h ñ Ç @"ô}Op}*ÃOÃÃ|}!C { p
j ×É ò ó
ÉË Á
" #?ø  ø ¤
  ûû þ L‰ ¸
4 ÷ "¦
¹_# û ò M
ö û    ûz ò  þOÑ ú?ù õ  û  8 ¹!# û ÷ ?
õ  ú - ø û- ò û_¨ ò ø û þ  „
!#?ú  !# û ÷[÷¸" ò õ]þö û ú  û ÿõ8 õ]þ ø þ1^ û-  û ‰ ÷¸" õ  û- õ  -  - ø õ  û  õ84'õ ù]ø þ ùi


!# û ò  û_¨ ò ø û þ    þ ø þ ú õ]þ?ÿ ? ú ú 

q
ü
T¹Q ¾‚Óº"!‹Wðƺ§Z¸Y
W¾‚Z¸Y

ï # û þ  û- õ e ø þ ùd þ ø  õ ù û   h \Hû 


~ û þ \ ø  #ƒ[ ò  þ ø ÿ û- !# û  \  ÿ ø û þ ø þ^õ
‚^ û-
 ø þ 
¹!# û ÷ ?  ú - ø û- û- ø û $# " - õ]þ  -  #g‰ ø eò - û  û " - õ]þ ~ -   ÷§ - ! # û ‰ ÷¸"m!# õ 
 û õ]þxÿ û e ò - ø ö ø þ ù õ dú þ?ò ø6 þ
  \  ^0õ - ø õáö û  9 ñ }!E óàõ
àò M   þ û þ   Ì Å Ú uOr°t6sOv ØÄ Û&%(' Ø) w ý

)iÅÂ ÄÅÂ
p Ê Ê Å Ú u*r°t.0/ Û3254 w
*¹É,+  @ 9 % +s Ì 1 Ð
- C % Ë Á sNË Á
Œ
- ƒ p ô  # \ a  
÷[ø•ù(ú Fû û 
¸_# û ò   ø þ û ö^õ
 ø  @ ú þ?ò eø þ* ÷  - c û M
õ 5 ú û þ?ò û 
qø õ ù û  h
\Hû .ø•ùM#1 ò  þ ø ÿ û- Ž ÿ ø  û þ ø þ
 ñ  \  ! ^õò ûh  þ û ø? û ó

cos(x) cos(y) cos(x)*cos(y)

1 1 1

0.5 0.5 0.5

0 0 0

-0.5 -0.5 -0.5

6 6 6
5 5 5
4 4 4
0 3 0 3 0 3
1 1 1
2 2 2 2 2 2
3 3 3
4 1 4 1 4 1
5 0 5 0 5 0
6 6 6

÷[ø•ù(ú Fû - cp ô^ý ‹= ‰¯ò   ø þ û ö^õ 8 ø  dú þ?ò ø  6 


þ 

" # û ÷[÷¸"
õ  ù - ø!# õ1   ø û  û 5Mú õ860 \Hû   ø þ #?ø•ùM# û- ÿ ø  û þ ø þ „  - ÿ ø ? û þ  ø  þ76 h
\Hû  ö  õ ø þõ]þ  ñ 7 C 8  áù C óHõ
 ù - ø6_#  - õ ! # û- !# õ]þ ! # û ñ 7 C 8 Û Â ó

9 •—–4˜™]šR”›”‘išR¡¢g˜£*¤š]¥ ˜ ¡¢;:  ›‚’g”š ¡¢g–_¥ ¡=<[˜

ïû # õO^ û .ø•ù - õ  û ÿ  - Mæ÷§(ú - ø û- û- ø û Îõ]þ?ÿ " - õ]þ  -   
 ò  þ eø þ ú(ú g_ ^õ$ò û  -
eø û @ ú þ?ò eø þ \ #?ø ò # ûz -Fû 4 ø•ù þ^õ
 ø þ  -Fû 5^ú û þ?ò0_ ^õ$ò û 4 ÿ ø e ò -Fû  û  - õ]þ  -  

  ÿ ø  ò -Fû  û dú þ?ò eø þO¸2  \Hû ^ û-h
\Hû ò õ]þ - û ò õ
 !# û ‰ ÷¸"ø þÎõ d -Fû ù û þ û- õ
  - õ  û
\  - n  ï  - náø þ ùÎø þ  \  ÿ ø û þ ø6 þ h \HûA\O- ø6 û?> 9A@R4 -Fû - û  û þ ¤!# û  õ  - ø zàý
BC
C 9*Á,+ Á 9OÁE+ Â FGFHF 9OÁE+ ÄÅÂ JLK
K
C 9IÂ + Á 91Â + Â FGFHF 91Â + ÄÅÂ K
C K
9 @
>A @  
 
D M
9 i
) ÅÂ+ Á 9 i
) ÅÂ+ Â FGFHFB9 )iÅÂ+ ÄÅÂ

!# \O- ø6ø þ ù > @ è


û þ
Å Â  - !# û ø 1þ ^ - 
û û 8a!# -
û Fû  û ^0õ]þ D õ  - ø zèh _# û ‰ ¸
÷ " ^õ ø - ø  !# û

 ö1^ ø(ú   õ  - ø z -  ÿ ú ò   ý

@ >QP ) + )
@ > R
> *N@ O 9 @ >QP 3
Ä + Ä@
Å ÅèÂ
>A @ >QP )S+ )
9 @ O @ Ä +Ä @
> *N@ >QP 3

b
ü
\ # -
û Fû >TP=U + U @Xø  !# û;VW7V  õ  - øƒ
z \ ø !# û û  û þ  ñX } Çàó ù]ø ^ û þŒö 0 ý

p Å ÍÎ_Ï ¸
% s
Ì Y h X } Ç @"ô}*p1}*Ã*ÃOÃ|}ZV { p
V

@þ ù û þ û -
 õ !# û þ  - þ  þ1 ø þ ù(ú * õ -  õ   - ø ò û >Q[ @ õ]þ?ÿ >]\ @ h \Hû ò õ]þ’ò  
þ  ø ÿ û - !# û

ù û þ û - 8
õ ø  û ÿÿ  ò -Fû  û  - õáþ ~ -  ^
ø e õ ø- ù]ø ^ û þuö10 ý

@ >Q[ @ > A
> *N@ ^ 9 @ >]\ @
Åè ÅèÂ
>A @ >Q[ @
9 @ O > *N@ >]\ @

x   -    ø•ùM#1R!#?ø ]  0M û 


 -Fû  û þ  õ eø þ  - õ = ‰ dú þ?ò ø6 þ \ (ú •ÿ‘õ  û õ - 4 Hø þ?ÿ ø ò õ  û
!# õ  \Hû .ú   ö û ÿ û õ
 ø þ ù \ ø!# õ]þ  ñ C û ói -  ò û 4 4 û ^$õ
 ú õ  û _ # û  - õ]þ   - 
 õ  - øè
z h ö úâø þ  õ]þ10Èò õ
 û  
Mø þ  û-Fû   ñ õ
 \iû # õO^ û  ûû þ !# û ÷[÷¸" ó ú  û
  40 c û  - 0
õ]þ?ÿ  - !#]ù þ^õ8 ø 0 -Fû *õ eø þA -  ^ ø ÿ û ×õ · -Fû_û_¨ ò ø û þ  õ
 ù - ø!# 

éQSP ísиº_ WYa`Óº¼½ºbD¾RY


WZ‹º7íaÓXZ‹Yî!¾RÓ1ð

" # û ‰g‡ ""ø ‘þ  \Æ\ ø ÿ û 0 ú  û ÿ ø þ ø õ ù û ò M -Fû 4 ø þñced¸Šgf õ]þ?ÿ7hid‹Š(f kjA|@ó „
õ]þ ø õ ù û ø Î  ò õ - ^ û ÿ ú ø þ 4   õ86Œ 5^ú õ -Fû eø  û  
 ClWoC ø z?û õ]þ?ÿ !# û ‰g‡ "
õ   ø û ÿ 4 û õ$ò #ƒeø  û ñ õ  û-  ú.ø þ^õ]þ?ò û #ò # - 
 .ø þ^õ]þ?ò û  û ^õ - õ ø6 þ^ó å 0õ  -  - ø õ  û
5^ú õ]þ  ø63 õ e ø þõ]þ?ÿ û þ?ò  ÿ ø þ ùK
_# û ò  û_¨ ò ø û þ   õ #?ø•ùM# 0ò M -Fû [ û ÿ ~ - 
Œ!# û
ø õ ù û ò õáþuö û ù û þ û- õ  û ÿñ þ  û !# õ  _#?ø  ø ×  þ ×ú  ú õ
60õL  4  -Fûû -  ò û 4'óï

0.5

0.45

0.4 DCT
DFT
Original
0.35

0.3

0.25

0.2

0.15

0.1

0.05

0
0 1 2 3 4 5 6 7

÷[ø•ù(ú Fû - cpp ]ý ‰g‡ " ^è‰ ¸


÷ " 4 *õ ^ ]ø ÿÖö  ò án ø þ ù õ -  eeø õ$ò  ‹  - ø¶ùáø þ^õ8R ø•ù þ^õ
 ø  - õ]þ?ÿ M

" # û  ø  û ø  ûz  û þ?ÿ


 û ÿ ø þõ [0 c  û  - øò  õ]þ^þ û - 4 -  ^ ø ÿ û õ d ú þ?ò e ø þ \ #?ø ò # -
Fû û õ 
ø þ ö !#  õáþ?ÿ E ò  -  û  \ ø!#
ÿ ø þ^õ - 
û ø ÿ =C  ¤ " #?ø ñ û õÿ 4F   þ 0 !# û ò   ø þ û

ü 
 - 
û Tö û ø þ ùŒù û þ û -
10 ! # û ‰ ÷¸"  "¤# û ø  -  õáþ  -  û-  0 
!#?ø  ø  !# õ  õ 
õ  û ÿ˜ö

!# ûcCmW C ø z?û  eø  ûÎû ÿ ù û  h _# û ‰g‡ " û þ ú -Fû  _# õ '9 ñ Å ó @ 9 ñ Û óï è  ø þ ùK!# û
‰ ÷¸"  þ !# û  - ø•ù]ø þ^õ
 eø  û  û õ$ÿ [ ä¯O«EnN+°´poƒ²¬_.+ µ²«*.°,h\ # û-Fû õ  û- ø þ1^ û-  ø6 þñ øe \Hû
# õO^ û õ  -  z ø? õ  û ÿ !# û ? # ø¶ù#F -Fû 5^ú û þ?ò0 ò   þ û þ  'ó h !# û ø z?û  eø  ûsû ÿ ù û  'ú - þ
(úd4 # õO^ û !# û  û õ]þ<$^ õ
 ú û 
a_# û ø z?û Öõ :_# ûû þ?ÿ 
 û õ$ò # -  \  - ò   ú þ
÷[ø•ù(ú -Fûcpp  # \  !# û_û_X y û ò  

éQT ísиºqoXr!‹Xèð“XèÓs! ¾RÓutöXVSY0Ð íÓXZ¸Yïî!¾RÓð

x = ‰‘ó3v ²pw²1¶:²1¬xw  õ  - ø zèhr>Öâ U + U @ h ø ×õL40 c


ñ û  - ø ò VyWzV  õ  - ø zD\ #  ûÈû  û  û þ  

õ Fû¢û ø -
6_# û-({dp õáþ?ÿ \ # û-Fû _# ûO-  \ ×ñ õ]þ?ÿ # û þ?ò û þ û ò û 42õ - 0
ø Îò   ú þ'óHõ -Fû . ú'ú õ
0
 - _#] ù þ^õ
 ÷  -Hûz õ   û]ý
BC
C p p p p JLK
K
C p p { p { p K
p { p { p p
D M
p { p p { p

x  \ ø!#<!# û ‰ ÷¸" h ! # û È 2 õ$ÿ%õ  õ - ÿ  - õáþ ~  - ># õ


õ µ/²
,. ^ û-  ø þ h õ
 # õO^ û È 2 õ]õ -
 õ  - øò û ×
 ñ \ ø!# ò  û_¨ ò ø û þ   ô}5{dp ó `   û !# õ ]!# û  - õ]þ  -  õ ø6 þ # û-Fû õ - û  M  û
\ # õ   ø   û- 4 ò M ú ûA\ ø!# !# õ]þ ! # û ò     ûz  û-   8¹!# û ‰ ÷¸" 

éQ°é |Ó
½]и¾‚Z¸¾RÓð“XèVî[ì‹Z(`½W¾‚Z¸Y

@þ ù û þ û - õ
 H\ û õ -Fû  Mnáø þ ùg - õ û 
 - !# - þ  - 
õ  dú þ?ò eø þ_ñ \Hû # õ*^ û ú  û ÿ: ø þ ûh
ò   ø þ ûh ò      ûzÎûz  û þ eø õ
  h õáþ?ÿc£þ^õ
0i2×õ$ÿ%õ  õ - ÿ%ó \ ø!# \ ? # ø ò #ƒ4 -Fû -Fû  û þ  õ
@ú þ?ò eø þ
" # û.ûz õ   û  ù]ø ^ û þK ñ õ - õ -Fû õ86qõƒ -Fû eò - ø ö û ÿ  û 
@ú þ?ò e ø þ ø þ?ÿ û û þ?ÿ%õ]þ g

!# û dú þ?ò  ø6 þ \ #?ø ò # \Hû õ - û  - 0 ø þ ù[ - û -Fû  û þ  „ # \Hû ^ û-h ø ø Îõ
   4 ø ö û 4
 û  û ò  - _
#  þ  -  õ8(ö^õ
 ø  @ú þ?ò eø þ \ #?ø ò # õ - û  eø.ø  û ÿ ~ - õa^
õ - eø ò ú fõ - d ú þ?ò eø þ h
 - · -Fû ø þ  û-Fû  eø þ ù 0 õ  õ .ø 0 
R@ú þ?ò eø þ*
" # ûA† õ - #?ú þ û þ1³Ý û } ^ û _# û  -Fû  ÿ û eò - ø ö û  ú ò # õ  û ò # þ ø65^ú û ø þ \ #?ø ò # ­O+Qo­*´§å*­_«*.¯¬[,
~ ¶:²1.¬!+°«!­ï,k 
¸!# û õ ú[ ò  -(-Fû *õ eø þ @ú þ?ò eø þõ -Fû !# û ö^õ
 ø *A  ò õ]þö û  # \ þ !# õ 
!?# ø .  ÿ û ò M   øeø þ ø  !# û ö û   õ$ò #?ø û ^0õ]ö û 2  \iû ^ û- !# û ò  ú õ eø þ 
 !# û  û
û ø•ù û þ1^ û ò 4 -  ø  ûz û þ ø ^ ûh ñ C
ü ó  - õ = ‰ ø õ ù ûh õ
 !#(ú?ù#K õ8  û- ^ û-  ø þ.ÿ 
ûz ø    ö^õ
 û ÿ  þ ÷[÷¸" _# û ÿ û- ø ^$õ eø þ 8 \ #?ø ò #ø þ L - !# û  5Mú û õ cø  # ñ° ûû
   û þ  û • ÿõ]þ?ÿ † õ n h ‰ ø•ù]ø õ
€d ø ò 'ú -Fû d -  ò û 4 ø þ ù ó

éQ bD¾RZ¹¾RVSì½W¾‚Z

hõ]þ10 - ò û 4 û  ø þ  ø•ù þ^õ


 - û ò   
þ ø•ù]ø eø þ ø þ1^  ^ û !# û ú  û 
 ò  1þ ^   úeø 
þ 

üp
‚ƒ…„†ƒ‡ ˆŠ‰G‹Œ†Ž&‘

‡  þ  ø ÿ û - !# -   
8 û ÿ ù û ÿ û  û ò eø þ ø þõ = ‰ ø õ ù ûh‚\ # û-Fû !# ûÎû ÿ ù û ø .
û ö û  þ 
þ û ò û 4'õ - 60L^ - 
  -
ø # - ø3 þ  õ

û " #?ø  ø þ1^  ^ û [õHò  þ ø ÿ û- õ ø6 þ 
!# û ù - õÿ ø û þ R
eø ò õ  

!# @ ú eø 9
û ?
þ ò þ 
ñ  } _ E ¡
ó

õ   ù
þ
^ õ 
!#  ! #
þ û  -
ú  $
õ ò 
û „ õ 
!# [ø ! # û ^ û ò -
4 
¹ ù ø'ú ÿ ûh
õ þ
’ ñ“ 9  “%ó Ú ß ñ“ 9  “ E ó Ú h õáþ?ÿuÿ ø -Fû ò eø þ  õ]þ Å ñeñ“ 9  “ E ó  ñ“ 9  “%óFó

200
function
gradient

150

100

50

-50

-100
0 50 100 150 200 250 300

÷[ø•ù(ú Fû - cp*= ^ý Œp ‰ û ÿ ù û ÿ û  û ò eø   þŒö sò 0  1þ ^   úeø þ

÷  - õÿ ø¶ùáø 6
õ  - -
û Fû  û þ  õ e ø þ !#?ø  ø þ?ÿ ø ò õ y û-Fû
 õcÿ ø X
û T 5
þ?ò û.û ^ú õ eø   þ ý

ñ” v 9 ó ñ !} E ó• 9 ñ !} E óR{ 9 ñc{ p }_E ó

ñ” ' 9 ó ñ }!E ó• 9 ñ }!E óR{ 9 ñ _} E { p ó

`  û  !#?ø  ø 7
!# õ ¸  õ_ò  þ ^   úø6 þ 
¹9sø þ !# û sõ]þ?ÿ E -   
ÿ ø Fû ò eø þ  \ ø !# ¿  À ù]ø ^ û þRö0 ý

¿ { p}Op}'ô}2ô}ÃÃÃ À

‚ƒ…„†ƒ– —‹˜†™‹šp‹r

ïû -
õ Fû ø þ  -
û Fû  û ÿ ø þ= ‰ -
Fû ò  þ  - 
ú ò eø þ ù õ ? ø \ #?ø ò #F# õ$ÿ ø þ øeø
õ  ø z?û ^0õ8 ú û 
õ ù û ñ

9 ñ }_E óó h  - M ö ú - -Fû ÿ ø? õ ù û   ö û- ^ û ÿ  M û eø û f õ  û-„ !# û ö ú - -Fû ÿ ø õ ù û õ 
 ø ûŒê ø   ñ }!E§}eê ó ïû .ø•ùM#id ÿ û  _#
e û ö ú - ø þ ù7
 õ]þ ø? õ ù û õ8Öõ‡ÿ ø y ú  ø6 þ
-  ò û 4  ^ û- ø? û øÖ   \Hû þ ûû ÿ 4 ò  þ ø ÿ û- !# û    úeø þ 4  !# ûK\iû  n þ  \
^õ - ø õ8Xÿ ø yKû- û þ eø õ
 û 5Mú õ ø6 þ ø þ^  ^ ø þ ùƒ!# û ÝXõ * õ$ò ø õ]þ ý
Ú
“  “ 
Ú p “ 
ß @
“è Ú “ E Ú l “ ê

q]ô
5 9000
’P0903A.DAT’ ’P0903B.DAT’
4 8000

7000
3

6000
2
5000
1
4000
0
3000
-1
2000
-2
1000

-3
0

-4 -1000

-5 -2000
0 50 100 150 200 250 300 0 50 100 150 200 250 300

61
9 Quantized Degrees-of-Freedom in a Continuous Signal
We have now encountered several theorems expressing the idea that even though a signal
is continuous and dense in time (i.e. the value of the signal is defined at each real-valued
moment in time), nevertheless a finite and countable set of discrete numbers suffices to
describe it completely, and thus to reconstruct it, provided that its frequency bandwidth is
limited.
Such theorems may seem counter-intuitive at first: How could a finite sequence of num-
bers, at discrete intervals, capture exhaustively the continuous and uncountable stream of
numbers that represent all the values taken by a signal over some interval of time?

In general terms, the reason is that bandlimited continuous functions are not as free to
vary as they might at first seem. Consequently, specifying their values at only certain
points, suffices to determine their values at all other points.

Three examples that we have already seen are:


• Nyquist’s Sampling Theorem: If a signal f (x) is strictly bandlimited so that it
contains no frequency components higher than W , i.e. its Fourier Transform F (k)
satisfies the condition
F (k) = 0 for |k| > W (1)
then f (x) is completely determined just by sampling its values at a rate of at least
2W . The signal f (x) can be exactly recovered by using each sampled value to fix the
amplitude of a sinc(x) function,
sin(πx)
sinc(x) = (2)
πx
whose width is scaled by the bandwidth parameter W and whose location corresponds
to each of the sample points. The continuous signal f (x) can be perfectly recovered
from its discrete samples fn ( nπ
W ) just by adding all of those displaced sinc(x) functions
together, with their amplitudes equal to the samples taken:
nπ sin(W x − nπ)
X  
f (x) = fn (3)
n W (W x − nπ)

Thus we see that any signal that is limited in its bandwidth to W , during some
duration T has at most 2W T degrees-of-freedom. It can be completely specified by
just 2W T real numbers (Nyquist, 1911; R V Hartley, 1928).

• Logan’s Theorem: If a signal f (x) is strictly bandlimited to one octave or less, so


that the highest frequency component it contains is no greater than twice the lowest
frequency component it contains

kmax ≤ 2kmin (4)

i.e. F (k) the Fourier Transform of f (x) obeys

F (|k| > kmax = 2kmin ) = 0 (5)

and
F (|k| < kmin ) = 0 (6)
and if it is also true that the signal f (x) contains no complex zeroes in common with
its Hilbert Transform (too complicated to explain here, but this constraint serves to

62
exclude families of signals which are merely amplitude-modulated versions of each
other), then the original signal f (x) can be perfectly recovered (up to an amplitude
scale constant) merely from knowledge of the set {xi } of zero-crossings of f (x) alone:

{xi } such that f (xi ) = 0 (7)

Comments:
(1) This is a very complicated, surprising, and recent result (W F Logan, 1977).

(2) Only an existence theorem has been proven. There is so far no stable constructive
algorithm for actually making this work – i.e. no known procedure that can actually
recover f (x) in all cases, within a scale factor, from the mere knowledge of its zero-
crossings f (x) = 0; only the existence of such algorithms is proven.

(3) The “Hilbert Transform” constraint (where the Hilbert Transform of a signal
is obtained by convolving it with a hyperbola, h(x) = 1/x, or equivalently by shifting
the phase of the positive frequency components of the signal f (x) by +π/2 and shifting
the phase of its negative frequency components by −π/2), serves to exclude ensem-
bles of signals such as a(x) sin(ωx) where a(x) is a purely positive function a(x) > 0.
Clearly a(x) modulates the amplitudes of such signals, but it could not change any
of their zero-crossings, which would always still occur at x = 0, ωπ , 2π 3π
ω , ω , ..., and so
such signals could not be uniquely represented by their zero-crossings.

(4) It is very difficult to see how to generalize Logan’s Theorem to two-dimensional


signals (such as images). In part this is because the zero-crossings of two-dimensional
functions are non-denumerable (uncountable): they form continuous “snakes,” rather
than a discrete and countable set of points. Also, it is not clear whether the one-octave
bandlimiting constraint should be isotropic (the same in all directions), in which case
the projection of the signal’s spectrum onto either frequency axis is really low-pass
rather than bandpass; or anisotropic, in which case the projection onto both frequency
axes may be strictly bandpass but the different directions are treated differently.

(5) Logan’s Theorem has been proposed as a significant part of a “brain theory”
by David Marr and Tomaso Poggio, for how the brain’s visual cortex processes and
interprets retinal image information. The zero-crossings of bandpass-filtered retinal
images constitute edge information within the image.

• The Information Diagram: The Similarity Theorem of Fourier Analysis asserts


that if a function becomes narrower in one domain by a factor a, it necessarily becomes
broader by the same factor a in the other domain:

f (x) −→ F (k) (8)


1 k
 
f (ax) −→ | |F (9)
a a
The Hungarian Nobel-Laureate Dennis Gabor took this principle further with great
insight and with implications that are still revolutionizing the field of signal processing
(based upon wavelets), by noting that an Information Diagram representation of sig-
nals in a plane defined by the axes of time and frequency is fundamentally quantized.
There is an irreducible, minimal, area that any signal can possibly occupy in this
plane. Its uncertainty (or spread) in frequency, times its uncertainty (or duration) in
time, has an inescapable lower bound.

63
10 Gabor-Heisenberg-Weyl Uncertainty Relation. “Logons.”
10.1 The Uncertainty Principle
If we define the “effective support” of a function f (x) by its normalized variance, or the
normalized second-moment:
Z +∞
f (x)f ∗ (x)(x − µ)2 dx
(∆x)2 = −∞
Z +∞ (10)
f (x)f ∗ (x)dx
−∞

where µ is the mean value, or normalized first-moment, of the function:


Z +∞
xf (x)f ∗ (x)dx
−∞
µ= Z +∞ (11)

f (x)f (x)dx
−∞

and if we similarly define the effective support of the Fourier Transform F (k) of the function
by its normalized variance in the Fourier domain:
Z +∞
F (k)F ∗ (k)(k − k0 )2 dk
2 −∞
(∆k) = Z +∞ (12)
F (k)F ∗ (k)dk
−∞

where k0 is the mean value, or normalized first-moment, of the Fourier transform F (k):
Z +∞
kF (k)F ∗ (k)dk
−∞
k0 = Z +∞ (13)

F (k)F (k)dk
−∞

then it can be proven (by Schwartz Inequality arguments) that there exists a fundamental
lower bound on the product of these two “spreads,” regardless of the function f (x):

1
(∆x)(∆k) ≥ 4π (14)

This is the famous Gabor-Heisenberg-Weyl Uncertainty Principle. Mathematically it is


exactly identical to the uncertainty relation in quantum physics, where (∆x) would be
interpreted as the position of an electron or other particle, and (∆k) would be interpreted
as its momentum or deBroglie wavelength. We see that this is not just a property of nature,
but more abstractly a property of all functions and their Fourier Transforms. It is thus a
still further respect in which the information in continuous signals is quantized, since the
minimal area they can occupy in the Information Diagram has an irreducible lower bound.

10.2 Gabor “Logons”


Dennis Gabor named such minimal areas “logons” from the Greek word for information, or
order: lōgos. He thus established that the Information Diagram for any continuous signal
can only contain a fixed number of information “quanta.” Each such quantum constitutes
an independent datum, and their total number within a region of the Information Diagram
represents the number of independent degrees-of-freedom enjoyed by the signal.

64
The unique family of signals that actually achieve the lower bound in the Gabor-Heisenberg-
Weyl Uncertainty Relation are the complex exponentials multiplied by Gaussians. These
are sometimes referred to as “Gabor wavelets:”
2 /a2
f (x) = e−(x−x0 ) e−ik0 (x−x0 ) (15)

localized at “epoch” x0 , modulated by frequency k0 , and with size or spread constant a.


It is noteworthy that such wavelets have Fourier Transforms F (k) with exactly the same
functional form, but with their parameters merely interchanged or inverted:
2 a2
F (k) = e−(k−k0 ) eix0 (k−k0 ) (16)

Note that in the case of a wavelet (or wave-packet) centered on x 0 = 0, its Fourier Trans-
form is simply a Gaussian centered at the modulation frequency k0 , and whose size is 1/a,
the reciprocal of the wavelet’s space constant.

Because of the optimality of such wavelets under the Uncertainty Principle, Gabor (1946)
proposed using them as an expansion basis to represent signals. In particular, he wanted
them to be used in broadcast telecommunications for encoding continuous-time informa-
tion. He called them the “elementary functions” for a signal. Unfortunately, because such
functions are mutually non-orthogonal, it is very difficult to obtain the actual coefficients
needed as weights on the elementary functions in order to expand a given signal in this
basis. The first constructive method for finding such “Gabor coefficients” was developed
in 1981 by the Dutch physicist Martin Bastiaans, using a dual basis and a complicated
non-local infinite series.

The following diagrams show the behaviour of Gabor elementary functions both as complex
wavelets, their separate real and imaginary parts, and their Fourier transforms. When a
family of such functions are parameterized to be self-similar, i.e. they are dilates and trans-
lates of each other so that they all have a common template (“mother” and “daughter”),
then they constitute a (non-orthogonal) wavelet basis. Today it is known that an infinite
class of wavelets exist which can be used as the expansion basis for signals. Because of
the self-similarity property, this amounts to representing or analyzing a signal at different
scales. This general field of investigation is called multi-resolution analysis.

65
Gabor wavelets are complex-valued functions, so for each value of x we have a phasor in
the complex plane (top row). Its phase evolves as a function of x while its magnitude grows
and decays according to a Gaussian envelope. Thus a Gabor wavelet is a kind of localised
helix. The difference between the three columns is that the wavelet has been multiplied
by a complex constant, which amounts to a phase rotation. The second row shows the
projection of its real and imaginary parts (solid and dotted curves). The third row shows
its Fourier transform for each of these phase rotations. The fourth row shows its Fourier
power spectrum which is simply a Gaussian centred at the wavelet’s frequency and with
width reciprocal to that of the wavelet’s envelope.

66
The first three rows show the real part of various Gabor wavelets. In the first column,
these all have the same Gaussian envelope, but different frequencies. In the second column,
the frequencies correspond to those of the first column but the width of each of the Gaussian
envelopes is inversely proportional to the wavelet’s frequency, so this set of wavelets form a
self-similar set (i.e. all are simple dilations of each other). The bottom row shows Fourier
power spectra of the corresponding complex wavelets.

67
2D Gabor Wavelet: Real Part 2D Fourier Transform

1
1
0.5

0.5
Z
Z
0

0
0.5 10
0.5 10
Sp )
Po ati
al PD
sit es Fre 0 0 cy (C
ion 0 0 e gre qu n
in D en ue
De in cy req
gre ion (C - lF
es -0. sit PD 10 -10 atia
5 -0.5 Po ) Sp
Figure 1: The real part of a 2-D Gabor wavelet, and its 2-D Fourier transform.

10.3 Generalization to Two Dimensional Signals


An effective strategy for extracting both coherent and incoherent image structure is the
computation of two-dimensional Gabor coefficients for the image. This family of 2-D filters
were originally proposed as a framework for understanding the orientation-selective and
spatial-frequency-selective receptive field properties of neurons in the brain’s visual cortex,
and as useful operators for practical image analysis problems. These 2-D filters are con-
jointly optimal in providing the maximum possible resolution both for information about
the spatial frequency and orientation of image structure (in a sense “what”), simultane-
ously with information about 2-D position (“where”). The 2-D Gabor filter family uniquely
achieves the theoretical lower bound for joint uncertainty over these four variables, as dic-
tated by the inescapable Uncertainty Principle when generalized to four-dimensional space.

These properties are particularly useful for texture analysis because of the 2-D spectral
specificity of texture as well as its variation with 2-D spatial position. A rapid method
for obtaining the required coefficients on these elementary expansion functions for the pur-
pose of representing any image completely by its “2-D Gabor Transform,” despite the non-
orthogonality of the expansion basis, is possible through the use of a relaxation neural net-
work. A large and growing literature now exists on the efficient use of this non-orthogonal
expansion basis and its applications.

Two-dimensional Gabor filters over the image domain (x, y) have the functional form

f (x, y) = e−[(x−x0 ) ] e−i[u0 (x−x0 )+v0 (y−y0 )]


2 /α2 +(y−y 2 /β 2
0)
(17)

where (x0 , y0 ) specify position in the image, (α, β) specify effective


q width and length, and
(u0 , v0 ) specify modulation, which has spatial frequency ω0 = u20 + v02 and direction θ0 =
arctan(v0 /u0 ). (A further degree-of-freedom not included above is the relative orientation of
the elliptic Gaussian envelope, which creates cross-terms in xy.) The 2-D Fourier transform

68
F (u, v) of a 2-D Gabor filter has exactly the same functional form, with parameters just
interchanged or inverted:

F (u, v) = e−[(u−u0 ) ] ei[x0 (u−u0 )+y0 (v−v0 )]


2 α2 +(v−v 2β2
0)
(18)
The real part of one member of the 2-D Gabor filter family, centered at the origin (x 0 , y0 ) =
(0, 0) and with unity aspect ratio β/α = 1 is shown in the figure, together with its 2-D
Fourier transform F (u, v).
2-D Gabor functions can form a complete self-similar 2-D wavelet expansion basis, with
the requirements of orthogonality and strictly compact support relaxed, by appropriate
parameterization for dilation, rotation, and translation. If we take Ψ(x, y) to be a chosen
generic 2-D Gabor wavelet, then we can generate from this one member a complete self-
similar family of 2-D wavelets through the generating function:
Ψmpqθ (x, y) = 2−2m Ψ(x0 , y 0 ) (19)
where the substituted variables (x0 , y 0 ) incorporate dilations in size by 2−m , translations in
position (p, q), and rotations through orientation θ:
x0 = 2−m [x cos(θ) + y sin(θ)] − p (20)
y 0 = 2−m [−x sin(θ) + y cos(θ)] − q (21)
It is noteworthy that as consequences of the similarity theorem, shift theorem, and modu-
lation theorem of 2-D Fourier analysis, together with the rotation isomorphism of the 2-D
Fourier transform, all of these effects of the generating function applied to a 2-D Gabor
mother wavelet Ψ(x, y) = f (x, y) have corresponding identical or reciprocal effects on its
2-D Fourier transform F (u, v). These properties of self-similarity can be exploited when
constructing efficient, compact, multi-scale codes for image structure.

10.4 Grand Unification of Domains: an Entente Cordiale


Until now we have viewed “the space domain” and “the Fourier domain” as somehow oppo-
site, and incompatible, domains of representation. (Their variables are reciprocals; and the
Uncertainty Principle declares that improving the resolution in either domain must reduce
it in the other.) But we now can see that the “Gabor domain” of representation actually
embraces and unifies both of these other two domains. To compute the representation of
a signal or of data in the Gabor domain, we find its expansion in terms of elementary
functions having the form
2 /a2
f (x) = e−ik0 x e−(x−x0 ) (22)
The single parameter a (the space-constant in the Gaussian term) actually builds a con-
tinuous bridge between the two domains: if the parameter a is made very large, then the
second exponential above approaches 1.0, and so in the limit our expansion basis becomes
lim f (x) = e−ik0 x
a→∞
(23)
the ordinary Fourier basis. If the frequency parameter k0 and the size parameter a are
instead made very small, the Gaussian term becomes the approximation to a delta function
at location xo , and so our expansion basis implements pure space-domain sampling:
lim f (x) = δ(x − x0 ) (24)
k0 ,a→0

Hence the Gabor expansion basis “contains” both domains at once. It allows us to make
a continuous deformation that selects a representation lying anywhere on a one-parameter
continuum between two domains that were hitherto distinct and mutually unapproachable.
A new Entente Cordiale, indeed.

69
Reconstruction of Lena: 25, 100, 500, and 10,000 Two-Dimensional Gabor Wavelets

Figure 2: Illustration of the completeness of 2-D Gabor wavelets as basis functions.

70
11 Kolmogorov Complexity and Minimal Description Length
An idea of fundamental importance is the measure known as Kolmogorov complexity: the
complexity of a string of data is defined as the length of the shortest binary program for
computing the string. Thus the complexity is the data’s “minimal description length.”
It is an amazing fact that the Kolmogorov complexity K of a string is approximately
equal to the entropy H of the distribution from which the string is a randomly drawn
sequence. Thus Kolmogorov descriptive complexity is intimately connected with informa-
tion theory, and indeed K defines the ultimate data compression. Reducing the data to a
program that generates it exactly is obviously a way of compressing it; and running that
program is a way of decompressing it. Any set of data can be generated by a computer
program, even if (in the worst case) that program simply consists of data statements. The
length of such a program defines its algorithmic complexity.
It is important to draw a clear distinction between the notions of computational com-
plexity (measured by program execution time), and algorithmic complexity (measured by
program length). Kolmogorov complexity is concerned with finding descriptions which
minimize the latter. Little is known about how (in analogy with the optimal properties
of Gabor’s elementary logons in the 2D Information Plane) one might try to minimize
simultaneously along both of these orthogonal axes that form a “Complexity Plane.”
Most sequences of length n (where “most” considers all possible permutations of n
bits) have Kolmogorov complexity K close to n. The complexity of a truly random binary
sequence is as long as the sequence itself. However, it is not clear how to be certain of
discovering that a given string has a much lower complexity than its length. It might be
clear that the string

0101010101010101010101010101010101010101010101010101010101010101

has a complexity much less than 32 bits; indeed, its complexity is the length of the program:
Print 32 "01"s. But consider the string

0110101000001001111001100110011111110011101111001100100100001000

which looks random and passes most tests for randomness. How could you √ discover that
this sequence is in fact just the binary expansion for the irrational number 2 − 1, and that
therefore it can be specified extremely concisely?
Fractals are examples of entities that look very complex but in fact are generated by
very simple programs (i.e. iterations of a mapping). Therefore, the Kolmogorov complexity
of fractals is nearly zero.
A sequence x1 , x2 , x3 , ..., xn of length n is said to be algorithmically random if its Kol-
mogorov complexity is at least n (i.e. the shortest possible program that can generate the
sequence is a listing of the sequence itself):

K(x1 x2 x3 ...xn |n) ≥ n (25)

An infinite string is defined to be incompressible if its Kolmogorov complexity, in the limit


as the string gets arbitrarily long, approaches the length n of the string itself:

K(x1 x2 x3 ...xn |n)


lim =1 (26)
n→∞ n
An interesting theorem, called the Strong Law of Large Numbers for Incompressible Se-
quences, asserts that the proportions of 0’s and 1’s in any incompressible string must be
nearly equal! Moreover, any incompressible sequence must satisfy all computable statistical

71
tests for randomness. (Otherwise, identifying the statistical test for randomness that the
string failed would reduce the descriptive complexity of the string, which contradicts its
incompressibility.) Therefore the algorithmic test for randomness is the ultimate test, since
it includes within it all other computable tests for randomness.

12 A Short Bibliography

Cover, T M and Thomas, J A (1991) Elements of Information Theory. New York: Wiley.

Blahut, R E (1987) Principles and Practice of Information Theory. New York: Addison-
Wesley.

Bracewell, R (1995) The Fourier Transform and its Applications. New York: McGraw-
Hill.

Fourier analysis: besides the above, an excellent on-line tutorial is available at:
http://users.ox.ac.uk/˜ball0597/Fourier/

McEliece, R J (1977) The Theory of Information and Coding: A Mathematical Framework


for Communication. Addison-Wesley. Reprinted (1984) by Cambridge University Press in
Encyclopedia of Mathematics.

McMullen, C W (1968) Communication Theory Principles. New York: MacMillan.

Shannon, C and Weaver, W (1949) Mathematical Theory of Communication. Urbana:


University of Illinois Press.

Wiener, N (1948) Time Series. Cambridge: MIT Press.

72

You might also like