A Vandermonde matrix is a matrix that converts a polynomial from its coefficient representation into its value representation at a set of points.
For a polynomial with its coefficient representation:
The Vandermonde matrix evaluates it at distinct points as a single operation.
Evaluating a polynomial as a matrix product
For simplicity, we assume , then we have a polynomial of degree .
Evaluation at single point
The evaluation of polynomial at the point is:
This can be written as matrix product: multiplying a matrix containing the successive powers of by the vector of polynomial coefficients, as follows:
Evaluation at two points
To evaluate at two points, and , we could express these as two separate matrix products. Instead, we stack these row vectors into a matrix:
Where each row contains the successive powers of and , respectively.
Therefore, evaluating the polynomial at two points is equivalent to multiplying a matrix by the coefficient vector.
Evaluation at points
If we extend our points to points, then with (already assumed), the resulting system of equations is equivalent to multiplying a matrix by the vector of coefficients:
This matrix is called a Vandermonde matrix and is denoted by .
The equation above is compactly written below as
where is the vector of the polynomial’s coefficients and is the vector of its point values.
Evaluating the polynomial at the 4th roots of unity as a matrix product
Now, consider evaluating the polynomial at the 4th roots of unity, , instead of at arbitrary points. We get the Vandermonde matrix as:
We can simplify every term that is or greater, by leveraging the properties that and as follows:
- imply that and .
- imply that:
- and
- .
We now substitute these simplifications into the matrix:
Therefore, the matrix simplifies to the following pattern:
For a concrete example, is a primitive 4th root of unity in the finite field (where arithmetic is modulo 17), and the Vandermonde matrix is:
Conclusion
Evaluating a polynomial of degree at points is equivalent to multiplying a Vandermonde matrix by the coefficient vector , formalized by the equation .