An n-variate Vandermonde polynomial is the determinant of the n × n matrix where the ith column is the vector (1, x_i , x_i^2 , . . . , x_i^{n-1})^T. Vandermonde polynomials play a crucial role in the in the theory of alternating polynomials and occur in Lagrangian polynomial interpolation as well as in the theory of error correcting codes. In this work we study structural and computational aspects of linear projections of Vandermonde polynomials. Firstly, we consider the problem of testing if a given polynomial is linearly equivalent to the Vandermonde polynomial. We obtain a deterministic polynomial time algorithm to test if f is linearly equivalent to the Vandermonde polynomial when f is given as product of linear factors. In the case when f is given as a black-box our algorithm runs in randomized polynomial time. Exploring the structure of projections of Vandermonde polynomials further, we describe the group of symmetries of a Vandermonde polynomial and obtain a basis for the associated Lie Algebra. Finally, we study arithmetic circuits built over projections of Vandermonde polynomials. We show universality property for some of the models and obtain a lower bounds against sum of
projections of Vandermonde determinant.
The claim that associated Lie Algebra is simple (Corollary 8) is incorrect and has been removed. We thank Joseph M. Landsberg for pointing this out.
An n-variate Vandermonde polynomial is the determinant of the n × n matrix where the ith column is the vector (1, x_i , x_i^2 , . . . , x_i^{n-1})^T. Vandermonde polynomials play a crucial role in the in the theory of alternating polynomials and occur in Lagrangian polynomial interpolation as well as in the theory of error correcting codes. In this work we study structural and computational aspects of linear projections of Vandermonde polynomials. Firstly, we consider the problem of testing if a given polynomial is linearly equivalent to the Vandermonde polynomial. We obtain a deterministic polynomial time algorithm to test if f is linearly equivalent to the Vandermonde polynomial when f is given as product of linear factors. In the case when f is given as a black-box our algorithm runs in randomized polynomial time. Exploring the structure of projections of Vandermonde polynomials further, we describe the group of symmetries of a Vandermonde polynomial and show that the associated Lie algebra is simple. Finally, we study arithmetic circuits built over projections of Vandermonde polynomials. We show universality property for some of the models and obtain a lower bounds against sum of
projections of Vandermonde determinant.