Asymptotic Existence of Orthogonal Designs.

摘要

An orthogonal design of order n and type (s1,...,sℓ), denoted OD(n; s1,..., sℓ), is a square matrix X of order n with entries from 0,+/-x1,...,+/-xℓ , where the xj 's are commuting variables, that satisfies XX t Sℓj=1s jx2j In, where Xt denotes the transpose of X, and In is the identity matrix of order n.;Some new classes of orthogonal designs related to weighing matrices are obtained in Chapter 3.;In Chapter 4, we deal with product designs and amicable orthogonal designs, and a construction method is presented.;Signed group orthogonal designs, a natural extension of orthogonal designs, are introduced in Chapter 6. Furthermore, an asymptotic existence of signed group orthogonal designs is obtained and applied to show the asymptotic existence of orthogonal designs.;An asymptotic existence of orthogonal designs is shown. More precisely, for any ℓ-tuple (sl,...,s ℓ) of positive integers, there exists an integer N = N(s1,...,s ℓ) such that for each n ≥ N, there is an OD(2n( sl + ... + sℓ); 2 ns1,..., 2ns ℓ). This result of Chapter 5 complements a result of Peter Eades et al. which in turn implies that if the positive integers s 1, s2,..., sℓ are all highly divisible by 2, then there is a full orthogonal design of type (s1, s 2,..., sℓ).