INTEGRAL ORTHOGONAL BASES OF SMALL HEIGHT FOR REAL POLYNOMIAL SPACES LENNY FUKSHANSKY Abstract. Let P N (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 P N (R of degree M. We exhibit two applications of this formula. First, given a finite dimensional subspace V of P N (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 R N to be a spherical M-design. 1. Introduction and notation Siegel s lemma originated as an important combinatorial principle that a system of homogeneous linear equations with integer coefficients should have a nontrivial integral solution vector whose entries are comparable in size to the coefficients of the system. Although this observation was already made by Thue [15] in 199, the first formal proof of such a result by an application of the pigeonhole principle appeared in the paper [1] of Siegel in 199. In its modern formulation, Siegel s lemma is a statement about the existence of a short basis for a vector space over a global field, where the size of the vectors is measured with respect to a height function, a standard tool of Diophantine geometry which generalizes the naive sup-norm over integers. A general result like this was first proved over number fields by Bombieri and Vaaler [] in 1983 with further extensions by a variety of authors following in the consequent years. In particular, given a symmetric bilinear space one may ask for a short orthogonal basis over a fixed field or ring. Results of this nature were recently obtained in [5] and [6], where the height of basis vectors in question were bounded in terms of the heights of the vector space and the coefficient vector of the bilinear form. One goal of the present note is to produce a similar result for real polynomial spaces. We start by setting up some notation. Let N be an integer, and let us consider the algebra of all polynomials in N variables with real coefficients P N (R := R[X 1,..., X N ] 1991 Mathematics Subject Classification. Primary 11C8, 11G5, 5B3. Key words and phrases. polynomials, Siegel s lemma, heights, spherical designs. 1
LENNY FUKSHANSKY as an infinite-dimensional real vector space with the standard inner product on it (see, for instance Chapter IV of [13], given by (1 F, G = 1 F (xg(xdx, α N Σ N 1 for each F, G P N (R, where Σ N 1 is the unit sphere in R N, we integrate with respect to the usual Lebesgue measure on R N, and α N is the generalized surface area of Σ N 1 : (π N/ if N is even ( α N = Let M 1 be an integer, and write { (3 M(M, N = 4 (N (π (N 1/ 1 3 (N m Z N : w(m := if N is odd. } N m i M for a set of multi-indexes, arranged in lexicographic order; we call w(m the weight of the index vector m. Define PN M (R to be the space of all polynomials in P N(R of degree M, then each polynomial F (X 1,..., X N PN M (R can be written as (4 F (X = c F (mx m, m M(M,N where X m = X m1 1...X m N N, c F (m R for each m M(M, N; here and for the rest of the paper we adopt the convention that Xi = 1, even when X i =. We also write c F = (c F (m m M(M,N R L(M,N for the vector of coefficients of F, where (5 L(M, N := M(M, N = dim R P M N (R = M ( N + k 1. k An important tool we need is an explicit combinatorial formula for F, G in terms of the coefficients of polynomials F (X and G(X. Let us fix M 1, and let L = L(M, N as given by (5. Let us also define the double factorial m!! for any integer m 1 to be m(m (m 4... 5 3 1 if m > 1 is odd (6 m!! = m(m (m 4... 6 4 if m > 1 is even 1 if m = 1,, 1. k= For each m = (m 1,..., m N M(M, N, define N (7 P (m = (m i 1!! w(m k=1 (N + k, where an empty product k=1 is interpreted as equal to 1. For each a RL, we write a = (a(m m M(M,N. Let and let M(M, N = {m : m M(M, N}, E(M, N = {(m 1, m M(M, N M(M, N : m 1 + m M(M, N}.
ORTHOGONAL SIEGEL S LEMMA FOR REAL POLYNOMIAL SPACES 3 Define a bilinear form L M,N (8 L M,N (a, b = : R L R L R by ( m1 + m P a(m 1 b(m, (m 1,m E(M,N for each (a, b R L R L, and let L M,N (a := L M,N (a, a be the corresponding quadratic form. Notice in particular that if (m 1, m M(M, N \ E(M, N, then the coefficient of L M,N (a, b corresponding to the monomial a(m 1 b(m is equal to zero. Then we have the following result. Theorem 1.1. For each F (X, G(X P M N (R, (9 F, G = L M,N (c F, c G, where c F, c G are coefficient vectors of F and G, respectively. Remark 1.1. An immediate implication of (9 is that the quadratic form L M,N (a must be positive definite, since it is a norm form. We prove Theorem 1.1 in section. Next, let V be a n-dimensional subspace of P N (R defined over Q, n 1, and define degree of V to be d = deg(v := min { M Z : V P M N (R }. Then (V,, is a finite-dimensional Q-inner product space, so there must exist an orthogonal basis for V consisting of polynomials with integer coefficients. We will prove the existence of a basis like this with each polynomial having relatively small height, which is a version of Siegel s lemma for polynomial spaces with additional orthogonality conditions. For each polynomial F (x P N (R, define the height of F by (1 H(F = c F := max m M(M,N c F (m, where M = deg(f. Let L = M(d, N, and define an injective linear map ϕ : V R L by ϕ(f = c F. Let f 1,..., f k be a basis for V, and let C = (c f1... c fk be the corresponding L k basis matrix for ϕ(v. Then define the height of V by H(V = D 1 det(c t C, where D is the greatest common divisor of the determinants of all k k minors of C; H(V is well-defined, i.e. this definition does not depend on the choice of a basis for V. With this notation, we can now state our main result. Theorem 1.. Let V be as above. Then there exists an orthogonal basis g 1,..., g n for (V,, consisting of polynomials with integer coefficients so that n (11 H(g i L 3n(n+1 H(V n. We prove Theorem 1. in section 3. Our main tools are Theorem 1.1 and a version of Siegel s lemma due to Bombieri and Vaaler []. In fact, we prove a more general statement than Theorem 1., Theorem 3.6, where, is replaced by an arbitrary bilinear form defined on V. Finally, in section 4 we derive an application of Theorem 1.1 to spherical designs, presenting a necessary and sufficient criterion for a finite set of points on the unit sphere in R N to be a spherical M-design (see Theorem 4.1.
4 LENNY FUKSHANSKY. Proof of Theorem 1.1 Let us write M for M(M, N, E for E(M, N, and L for L M,N. First notice that (1 F, G = c F (m 1 c G (m S(m 1, m, where (13 S(m 1, m = 1 α N m 1 M m M Σ N 1 x m1+m dx = 1 α N N Σ N 1 x εi i dx, where the weight w(m 1 + m = N ε i M, ε i Z for all 1 i N. Consider a change to spherical coordinates (see, for instance, page 181 of [4] θ i π for all 1 i N, θ N 1 π, given by i 1 (14 x i = cos θ i sin θ j, for all 1 i N 1, and x N = N 1 j=1 sin θ j. The Jacobian of this coordinate change is (15 J = Then (16 S(m 1, m = 1 α N π N ( N j=1 sin N 1 i θ i. π cos εi θ i sin βi θ i dθ i cos ε N 1 θ N 1 sin β N 1 θ N 1 dθ N 1, where β i = N 1 i + N j=i+1 ε i, for all 1 i N 1; in particular, β N 1 = ε N. For each 1 i N, (17 π cos εi θ i sin βi θ i dθ i = (1 + ( 1 εi unless ε i is even. Similarly, (18 π cos ε N 1 θ N 1 sin ε N θ N 1 dθ N 1 π π/ π = ( 1 ε N 1+ε N cos ε N 1 θ N 1 sin ε N θ N 1 dθ N 1 = ( 1 ε N 1 (1 + ( 1 ε N π = ( 1 ε N 1+ε N (1 + ( 1 ε N cos ε N 1 θ N 1 π/ π/ sin ε N 1 θ N 1 = (1 + ( 1 ε N 1 + ( 1 ε N + (1 ε N 1+ε N π/ sin ε N 1 θ N 1 cos ε N θ N 1 dθ N 1 =, sin εi θ i cos βi θ i dθ i =, sin ε N θ N 1 dθ N 1 cos ε N θ N 1 dθ N 1
ORTHOGONAL SIEGEL S LEMMA FOR REAL POLYNOMIAL SPACES 5 unless ε N 1 and ε N are both even. So assume that for each 1 i N, ε i = t i for some t i Z + ; notice that in this case the weight w(m 1 + m = N t i, we will just call it w until further notice. Then β i = N 1 i + N j=i+1 t j, and so ( 1 βi = ( 1 N 1 i. Putting things together, we see that S(m 1, m = unless (m 1, m E, in which case combining (16, (17, (18 and using the standard integral formulas, as for instance (5-41 and (5-4 on page 18 of [4], produces ( N 1 π/ α N S(m 1, m = sin ti θ i cos βi θ i dθ i (19 where ti+1+βi+1 + 1 = βi+1 ( = N 1 =, and so = N 1 Γ ( ( t i+1 Γ βi+1 ( Γ ti+β i + 1 ( π(ti 1!!Γ βi+1 (, ti Γ ti+β i + 1 ( βn 1 +1 Γ α N S(m 1, m = ( Γ t1+β 1 + 1 = π N N (t i 1!! w/ Γ ( N+w π N Q N (ti 1!! = α N π N w/ k=1 π N 1 w/ ( N +w! Q N (ti 1!! w/ Γ( N+w N (ε i 1!! (N + k. N 1 (t i 1!! ti if N is even if N is odd The result of Theorem 1.1 now follows by combining (1 and (. Remark.1. Let K be a number field, and let M(K be its set of places. For each v M(K, write K v for the completion of K at v; in particular, if v is archimedean, then K v = R or C. Write Σ v N 1 for the unit sphere centered at in KN v. A standard norm on the space of homogeneous polynomials of degree M in N variables over K v is usually defined by { ( 1/ (1 F v = F (x Σ vdx if v is archimedean v N 1 sup { F (x v : x ΣN 1} v if v is non-archimedean, where the measure dx in the archimedean case is normalized so that dx = 1 Σ v N 1 (see, for instance, [1] and [9] for details. In case K v = C, a well-known identity (see [11], pp. 16-17 provides ( 1 N + M ( 1 M ( F v = c F (m N m v, m M(M,N
6 LENNY FUKSHANSKY where ( M m = M! identity m 1!...m N!. If, on the other hand, v then we have (see [1] an (3 F v = max m M(M,N c F (m v. Our Theorem 1.1 can be viewed as a counterpart of these formulas when K v = R. 3. Proof of Theorem 1. Unless stated otherwise, the notation in this section is as in the statement of Theorem 1.. Our argument is similar to the proof of Theorem.4 of [5]. First we recall a version of Siegel s lemma, which is essentially Theorem of []. Theorem 3.1. Let V be as in Theorem 1.. Then there exists a basis f 1,..., f k for V consisting of polynomials with integer coefficients so that (4 k H(f i H(V. We will also need a few height-comparison lemmas. The first one is an immediate corollary of Theorem 1 of [14]. Lemma 3.. Let U 1 and U be finite-dimensional subspaces of P N (R. Then H(U 1 U H(U 1 H(U. Next let M = M(d, N, E = E(d, N, and L = L(d, N = M. Let us also write L for the bilinear form L d,n and let L = (l ij 1 i,j L be the coefficient matrix of L, so L(x, y = x t Ly, for each x, y R L. Then diagonal entries of L are equal to the corresponding coefficients of L while the off-diagonal entries are the corresponding coefficients of L multiplied by 1/. Let height of L, denoted by H(L, be the maximum of absolute values of entries of L, and let H(L be defined in the same way as height of a polynomial is defined in (1. Then we have the following simple bound. Lemma 3.3. Let the notation be as above, then ( (5 H(L H(L = max P m1 + m (m 1,m E Proof. Notice that H(L H(L = max (m 1,m E P which proves the lemma. = max m M = max m M max P (m 1. m M ( m1 + m max P (m m M N (m i 1!! w(m k=1 (N + k max P (w(m,,..., m M (w(m 1!! w(m k=1 (N + k 1,
ORTHOGONAL SIEGEL S LEMMA FOR REAL POLYNOMIAL SPACES 7 Let us write for the usual Euclidean norm on vectors. Let us also write H(A = max 1 i,j L a ij for every L L matrix A = (a ij 1 i,j L with real coefficients. Lemma 3.4. Let f P d N (R, and let A = (a ij 1 i,j L be an L L real matrix. Then c t f A L 3 H(fH(A. In particular, (6 c t f L L 3 H(fH(L L 3 H(f, where the second inequality follows by (5. Proof. Recall that our indexing set M = {m 1,..., m L } is lexicographically ordered, and hence ( L L c t f A = c f (m i a i1,..., c f (m i a il. Then, by Cauchy-Schwarz inequality L c t f A L = c f (m i a ij j=1 ( L L ( L a ij c f (m i j=1 = A c f L 6 H(A H(f, where A = L L j=1 a ij, and so (6 follows. The next lemma is a simple version of the well known Brill-Gordan duality principle [7] (also see Theorem 1 on p. 94 of [8]. Lemma 3.5. Let f PN d (R be a polynomial with integer coefficients, and let U = {t P d N (R : c t f Ac t = }, where A is as in Lemma 3.4 above. Let γ(f be the greatest common divisor of the coordinates of the vector c t f A. Then (7 H(U = γ(f 1 c t f A. We will now state and prove a generalization of Theorem 1.. Theorem 3.6. Let V be as in Theorem 1., and let B be a symmetric bilinear form on PN d (R with L L coefficient matrix B, meaning that B(f, g = c t f Bc g, f, g P d N (R. Then there exists an orthogonal basis g 1,..., g n for (V, B consisting of polynomials with relatively prime integer coefficients so that n (8 H(g i ( L 3 H(B n(n+1 H(V n.
8 LENNY FUKSHANSKY Proof. We argue by induction on n. First suppose that n = 1, then pick any nonzero polynomial g 1 V with relatively prime integer coefficients, and observe that H(g 1 = c g1 c g1 = H(V, where is Euclidean norm. Next assume that n > 1 and the theorem is true for all 1 j < n. Let f 1 V be a vector guaranteed by Theorem 3.1 so that (9 H(f 1 H(V 1/n. First assume that f 1 is a non-singular point in (V, B. Then has dimension n 1; here V 1 = {t V : B(t, f 1 = } = {f 1 } V {f 1 } = {t P d N (R : B(t, f 1 = } = {t P d N(R : c t f 1 Bc t = }. By Lemma 3.5, Lemma 3.4, and (9 (3 H ( {f 1 } L 3 H(BH(V 1/n. Then by Lemma 3. and (3 we obtain (31 H(V 1 H ( {f 1 } H(V L 3 H(BH(V n+1 n. Since dim R (V 1 = n 1, the induction hypothesis implies that there exists a basis f,..., f n for V 1 of polynomials with relatively prime integer coefficients such that B(f i, f j = for all i j n, and (3 n i= H(f i ( L 3 H(B n(n 1 H(V 1 n 1 ( L 3 H(B n +n H(V n 1 n, where the last inequality follows by (31. Combining (9 and (3, we see that f 1,..., f n is a basis for V satisfying (8 so that B(f i, f j = for all 1 i j n. Now assume that f 1 is a singular point in (V, B. Since f 1,, it must be true that c f1 (m j for some m j M = {m 1,... m L }. Let T j = {t P d N(R : c t (m j = }, and define V 1 = V T j, then f 1 / V 1, B(f 1, t = for every t V 1, and (33 H(V 1 H(V H(T j = H(V, by Lemma 3., since H(T j = 1 by Lemma 3.5. Since dim R (V 1 = n 1, we can apply induction hypothesis to V 1, and proceed the same way as in the non-singular case above. Since the upper bound of (33 is smaller than that of (31, the result follows. Proof of Theorem 1.. Apply Theorem 3.6 with B = L and use Lemma 3.3.
ORTHOGONAL SIEGEL S LEMMA FOR REAL POLYNOMIAL SPACES 9 4. Spherical designs In this section we apply Theorem 1.1 to obtain a criterion for spherical designs. Let M, N, M(M, N, and PN M (R be as in section 1. A finite subset S of the unit sphere Σ N 1 is called a spherical M-design if for every F (X PN M (R, 1 (34 F (x dx = 1 F (y. α N Σ N 1 S Spherical designs have been extensively studied, in particular in the recent years in connection with lattices, the sphere packing problem, and minimization of Epstein zeta function (see [1] and [3] for details. For instance, recent results of B. Venkov on criteria for spherical designs and their applications are summarized in Chapter 16 of [1]. We use our Theorem 1.1 to give another criterion for a set to be a spherical design in the general spirit of Proposition 16.1. and Theorem 16.1.4 of [1]. Theorem 4.1. Let S Σ N 1 be a finite set, write S = {x 1,..., x k }, where S = k. Let M (M, N = M(M, N M(M, N. Then S is a spherical M-design if and only if for every m M(M, N, k { ( (35 x m kp m j = if m M (M, N if m M(M, N \ M (M, N. j=1 Proof. Let us write 1 PN M (R for the constant polynomial equal to 1, i.e. Then for each we have 1 (36 α N y S c 1 ( = 1, c 1 (m = m M(M, N. F (X = m M(M,N c F (mx m P M N (R, Σ N 1 F (x dx = F, 1 = L M,N (c F, c 1 = m M (M,N ( m P c F (m. On the other hand, (34 implies that S is a spherical M-design if and only if 1 F (x dx = 1 k c F (mx m j α N Σ N 1 k j=1 m M(M,N = 1 k (37 x m j c F (m. k Hence we must have (38 m M (M,N ( m P c F (m = m M(M,N m M(M,N 1 k j=1 k j=1 x m j c F (m, for all F (X PN M (R, which means that the linear forms in the variables c F on the right and left hand sides of (38 must be equal identically, i.e. their respective coefficients must be equal. Then (35 follows.
1 LENNY FUKSHANSKY References [1] E. Bombieri, A. J. Van Der Poorten, and J. D. Vaaler. Effective measures of irrationality for cubic extensions of number fields. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4, 3(:11 48, 1996. [] E. Bombieri and J. D. Vaaler. On Siegel s lemma. Invent. Math., 73(1:11 3, 1983. [3] R. Coulangeon. Spherical designs and zeta functions of lattices. Int. Math. Res. Not., Art. ID 496:16 pp., 6. [4] W. H. Fleming. Functions of several variables. Addison-Wesley, 1965. [5] L. Fukshansky. On effective Witt decomposition and Cartan-Dieudonné theorem. Canad. J. Math., 59(6:184 13, 7. [6] L. Fukshansky. Small zeros of quadratic forms over Q. Int. J. Number Theory, 4(3:53 53, 8. [7] P. Gordan. Uber den grossten gemeinsamen Factor. Math. Ann., 7:443 448, 1873. [8] W. V. D. Hodge and D. Pedoe. Methods of Algebraic Geometry, Volume 1. Cambridge Univ. Press, 1947. [9] M. Laurent and D. Roy. Criteria of algebraic independence with multiplicities and approximation by hypersurfaces. J. Reine Angew. Math., 538:65 114, 1. [1] J. Martinet. Perfect lattices in Euclidean spaces. Springer-Verlag, 3. [11] W. Rudin. Function theory in the unit ball of C N. Springer-Verlag, 198. [1] C. L. Siegel. Uber einige Anwendungen diophantischer Approximationen. Abh. der Preuss. Akad. der Wissenschaften Phys.-math Kl., Nr. 1:9 66, 199. [13] E. Stein and G. Weiss. Introduction to Fourier analysis on Euclidean spaces. Princeton University Press, 1971. [14] T. Struppeck and J. D. Vaaler. Inequalities for heights of algebraic subspaces and the Thue- Siegel principle. Analytic number theory (Allerton Park, IL, 1989, Progr. Math., 85:493 58, 199. [15] A. Thue. Uber Annaherungswerte algebraischer Zahlen. J. Reine Angew. Math., 135:84 35, 199. Department of Mathematics, 85 Columbia Avenue, Claremont McKenna College, Claremont, CA 91711 E-mail address: lenny@cmc.edu