The representation theory of Clifford algebras has been used to obtain information on the possible orders of amicable pairs of orthogonal designs on given numbers of variables. If, however, the same approach is tried on more complex systems of orthogonal designs, such as product designs and amicable triples, algebras which properly generalize the Clifford algebras are encountered. In this paper a theory of such generalizations is developed and applied to the theory of systems of orthogonal designs, and in particular to the theory of product designs.

We give a short proof that skew Room squares exist for all odd sides s exceeding 5.

Frames have been defined as a certain type of generalization of Room square. Frames have proven useful in the construction of Room squares, in particular, skew Room squares.

We generalize the definition of frame and consider the construction of Room squares and skew Room squares using these more general frames.

We are able to construct skew Room squares of three previously unknown sides, namely 93, 159, and 237. This reduces the number of unknown sides to four: 69, 87, 95 and 123. Also, using this construction, we are able to give a short proof of the existence of all skew Room squares of (odd) sides exceeding 123.

Finally, this frame construction is useful for constructing Room squares with subsquares. We can also construct Room squares “missing” subsquares of sides 3 and 5. The “missing” subsquares of sides 3 and 5 do not exist, so these incomplete Room squares cannot be completed to Room squares.

Let g(n, m) denote the maximal number of distinct rows in any (0, 1 )-matrix with n columns, rank < n, – 1, and all row sums equal to m. This paper determines g(n, m) in all cases:

In addition, it is shown that if V is a k-dimensional vector subspace of any vector space, then V contains at most 2k vectors all of whose coordinates are 0 or 1.

We are interested here in the Ramsey number r(T, C), where C is a complete k-uniform hypergraph and T is a “tree-like” k-graph. Upper and lower bounds are found for these numbers which lead, in some cases, to the exact value for r(T, C) and to a generalization of a theorem of Chváta1 on Ramsey numbers for graphs. In other cases we show that a determination of the exact values of r(T, C) would be equivalent to obtaining a complete solution to existence question for a certain class of Steiner systems.

Warren W. Wolfe obtained necessary conditions for the existence of orthogonal designs in terms of rational matrices. In this paper it is shown that these necessary conditions can be obtained in terms of integral matrices. In the integral form, Wolfe's theory is more useful in the construction of orthogonal designs.

We characterize all finite linear spaces with p ≤ n2 points where n ≥ 8 for p ≠ n2 − 1 and n ≥ 23 for p = n2−1, and the line range is {n−1, n, n+1}. All such linear spaces are shown to be embeddable in finite projective planes of order a function of n. We also describe the exceptional linear spaces arising from p < n2−1 and n ≥ 4.

In this paper we obtain matroid extensions of two important results in graph theory, namely the 4-colour theorem of Appel and Haken [1] and the 8-flow theorem of Jaeger [4]. As a corollary we prove that any bridgeless graph with no subgraph contractible to K3,3 has a nowhere zero 4-flow. These results depend heavily on a remarkable theory of splitters developed recently by Seymour [8], [9].

A square matrix A is transposable if P(RA) = (RA)T for some permutation matrices p and R, and symmetrizable if (SA)T = SA for some permutation matrix S. In this paper we find necessary and sufficient conditions on a permutation matrix P so that A is always symmetrizable if P(RA) = (RA)T for some permutation matrix R.

A Bhaskar Rao design is obtained from the incidence matrix of a partially balanced incomplete block design with m associate classes by negating some elements of the matrix in such a way that the inner product of rows α and β is ci if α and β are ith associates. In this paper we use nested designs constructed from unions of cyclotomic classes to give Bhaskar Rao designs.

A recursive method of A. C. Mukhopadhay is used to obtain several new infinite classes of Hadamard matrices. Unfortunately none of these constructions give previously unknown Hadamard matrices of order <40,000.

We consider the following problem arising in agricultural statistics. Suppose that a large number of plants are set out on a regular grid, which may be triangular, square or hexagonal, and that among these plants, half are to be given one and half the other of two possible treatments. For the sake of statistical balance, we require also that, if one plant in every k plants has i of its immediate neighbours receiving the same treatment as itself, then k is constant over all possible values of i. For square and triangular grids, there exist balanced arrays of finite period in each direction, but for the hexagonal grid, we show that no such balanced array can exist. Several related questions are discussed.

It is well known that in any (v, b, r, k, λ) resolvable balanced incomplete block design that b≧ ν + r − l with equality if and only if the design is affine resolvable. In this paper, we show that a similar inequality holds for resolvable regular pairwise balanced designs ((ρ, λ)-designs) and we characterize those designs for which equality holds. From this characterization, we deduce certain results about block intersections in (ρ, λ)-designs.

Commutative idempotent quasigroups with a sharply transitive automorphism group G are described in terms of so-called Room maps of G. Orthogonal Room maps and skew Room maps are used to construct Room squares and skew Room squares. Very general direct and recursive constructions for skew Room maps lead to the existence of skew Room maps of groups of order prime to 30. Also some nonexistence results are proved.

A series of balanced incomplete block (BIB) designs with parameters , is constructed, where , w any integer.

The structure is determined for the existence of some amicable weighing matrices. This is then used to prove the existence and non-existence of some amicable orthogonal designs in powers of two.

An equidistant permutation array (EPA) is a ν × r array defined on an r-set, R, such that (i) each row is a permutation of the elements of R and (ii) any two distinct rows agree in λ positions (that is, the Hamming distance is (r−λ)).

Such an array is said to have order ν. In this paper we give several recursive constructions for EPA's.

The first construction uses a resolvable regular pairwise balanced design of order v to construct an EPA of order ν. The second construction is a generalization of the direct product construction for Room squares.

We also give a construction for intersection permutation arrays, which arrays are a generalization of EPA's.

For some integer modulus q let F be a subset of Z(q), the additive group of residues modulo q. As in «1» we shall write

and

In 1944 and 1945 H. Hadwiger [1, 2] proved the following theorems.

Theorem A. Let En be covered by n + 1 closed sets. Then there is one of the sets, within which all distances are realized.

Theorem B. Let En be covered by 4n−3 closed sets that are all mutually congruent. Then all distances are realized within each set.

Here a distance d is realized within a set S, if there are points x, y in S at distance d apart.

The purpose of this paper is to demonstrate that a number of properties of independence spaces are of finite character, thus making it possible to easily generalise known theorems for finite spaces, or matroids, to independence spaces on infinite sets.