10 min read
Eigenvalues and Eigenvectors
The states a gate leaves alone (up to a scalar), why that scalar is called an eigenvalue, and where this shows up all over the algorithms track.
Suggested before this lesson
Most vectors, hit with a matrix, come out pointing in some new direction entirely. A special few don't: the matrix only stretches or flips them, without changing the direction they point in. Those special vectors, and the amount they get scaled by, turn out to matter enormously for quantum computing, all the way up to Quantum Phase Estimation and Shor's algorithm later in this course.
For a matrix , a nonzero vector is an eigenvector of if
for some scalar , called the corresponding eigenvalue. doesn't rotate into some other direction; it just multiplies it by .
Rearranging gives . A nonzero satisfying this only exists when is singular (non-invertible), which for a matrix means its determinant is zero:
This is the characteristic equation; its roots are 's eigenvalues.
. The characteristic equation is , giving or .
's eigenvectors are just and , with eigenvalues and : unsurprising, since was already built to leave the computational basis states alone (up to sign).
has the same characteristic equation, simplifies to , so again , but this time the eigenvectors aren't / ( visibly swaps those, it doesn't leave them alone). Solving and gives:
That second line, , is exactly the fact the phase-kickback lesson leans on entirely, stated there without the "eigenvalue" name. Now you have the formal machinery behind it: is an eigenvector of with eigenvalue , full stop, and that's why applying to it only ever multiplies it by instead of moving it somewhere else.
form a complete basis of eigenvectors for (its eigenbasis); form one for . Every matrix relevant to this course has an eigenbasis like this: a basis of eigenvectors that the matrix acts on by pure scaling, no rotation. Later, Quantum Phase Estimation (in the algorithms track) is built entirely around a single question: given an eigenvector of some unitary , what is its eigenvalue? Since a unitary's eigenvalues always have the form (the Unitary Matrices lesson right after this one covers why), "find the eigenvalue" really means "find the phase ," which is where that lesson's name comes from.
Sweep around the circle for or and watch for the exact angles where snaps onto the same line as , that's an eigenvector, and the badge shows its eigenvalue .
Vector transform
20°
(0.94, 0.34)
(0.94, -0.34)
1.000
Sweep the angle until the dashed input arrow and the solid output arrow point along the same line (or exactly opposite): that's an eigendirection, and the badge shows its eigenvalue .