Characteristic Polynomial
Intuition
We know that an eigenvector of a matrix is a special vector that, when transformed by , only gets scaled, not knocked off its direction. The scaling factor is the eigenvalue, . The core problem is, how do we find these special scaling factors, the eigenvalues?
Trying to solve the equation directly is difficult because we have two unknowns, the vector and the scalar .
The characteristic polynomial provides a brilliant strategy to solve this. It isolates the unknown scalar . It transforms the matrix-vector problem into a standard polynomial equation, like , where λ is the only unknown. We can then solve this polynomial to find the eigenvalues.
In short, the characteristic polynomial is a tool that lets us find the “magic numbers” (eigenvalues) of a matrix by turning the search into a familiar root-finding problem from high school algebra.
Formal
The left side of equation (3) is a polynomial in variable , and it is called the characteristic polynomial.
ML Application
While in practice, for large matrices, we use iterative numerical methods to find eigenvalues, the characteristic polynomial is the theoretical foundation and has several key roles:
- Foundation of Eigendecomposition: It is the fundamental algebraic tool used to prove the existence of eigenvalues and to find them for small matrices by hand. The entire process of eigendecomposition, which is central to PCA, starts with this step.
- Theoretical Analysis: The characteristic polynomial is used to analyze the properties of a transformation. For example, in studying dynamical systems or Markov chains, the roots of the characteristic polynomial of the system’s transition matrix determine the long-term stability and behavior of the system.
- Connecting Key Matrix Properties: As seen in the example, the characteristic polynomial provides a direct link between the eigenvalues (), the determinant (), and the trace (), which are three of the most important single-number descriptors of a square matrix.
Connections
- Forward Links: Eigenvalues and eigenvectors
- Backward Links: Determinant, Trace