Document Type



Mathematics (CMC)

Publication Date



Let PN(R) be the space of all real polynomials in N variables with the usual inner product < , > on it, given by integrating over the unit sphere. We start by deriving an explicit combinatorial formula for the bilinear form representing this inner product on the space of coefficient vectors of all polynomials in PN(R) of degree ≤ M. We exhibit two applications of this formula. First, given a finite dimensional subspace V of PN(R) defined over Q, we prove the existence of an orthogonal basis for (V, < , >), consisting of polynomials of small height with integer coefficients, providing an explicit bound on the height; this can be viewed as a version of Siegel's lemma for real polynomial inner product spaces. Secondly, we derive a criterion for a finite set of points on the unit sphere in RN to be a spherical M-design.


Please note that this article was first published by the University of Auckland in the Online Journal of Analytic Combinatorics, volume 4 (2009).

Rights Information

© 2009 Lenny Fukshansky

Terms of Use & License Information

Terms of Use for work posted in Scholarship@Claremont.