Let L be an integer lattice, and S a set of lattice points in L. We say that S is optimal if it minimises the number of rectangular sublattices of L (including degenerate ones) which contain an even number of points in S. We show that the resolution of the Hadamard conjecture is equivalent to the determination of |S| for an optimal set S in a (4s-1) × (4s-1) integer lattice L. We then specialise to the case of 1 × n integer lattices, characterising and enumerating their optimal sets.

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.

A complementary decomposition of λKn into a graph G is an edge-disjoint decomposition of λKn into copies of G such that if each copy H of G is replaced by its complement in V(H) then the result is an edge-disjoint decomposition of λKn into copies of GC it is a self- complementary decomposition if G = Gc. The spectrum for the last self-complementary graph on at most 7 vertices is found.

We find necessary and sufficient conditions for completing an arbitrary 2 by n latin rectangle to an n by n symmetric latin square, for completing an arbitrary 2 by n latin rectangle to an n by n unipotent symmetric latin square, and for completing an arbitrary 1 by n latin rectangle to an n by n idempotent symmetric latin square. Equivalently, we prove necessary and sufficient conditions for the existence of an (n−1)-edge colouring of Kn (n even), and for n-edge colouring of Kn (n odd) in which the colours assigned to the edges incident with two vertices are specified in advance.

The core of a graph Γ is the smallest graph Δ that is homomorphically equivalent to Γ (that is, there exist homomorphisms in both directions). The core of Γ is unique up to isomorphism and is an induced subgraph of Γ. We give a construction in some sense dual to the core. The hull of a graph Γ is a graph containing Γ as a spanning subgraph, admitting all the endomorphisms of Γ, and having as core a complete graph of the same order as the core of Γ. This construction is related to the notion of a synchronizing permutation group, which arises in semigroup theory; we provide some more insight by characterizing these permutation groups in terms of graphs. It is known that the core of a vertex-transitive graph is vertex-transitive. In some cases we can make stronger statements: for example, if Γ is a non-edge-transitive graph, we show that either the core of Γ is complete, or Γ is its own core. Rank-three graphs are non-edge-transitive. We examine some families of these to decide which of the two alternatives for the core actually holds. We will see that this question is very difficult, being equivalent in some cases to unsolved questions in finite geometry (for example, about spreads, ovoids and partitions into ovoids in polar spaces).

A systematic study of random Laguerre tessellations, weighted generalisations of the well-known Voronoi tessellations, is presented. We prove that every normal tessellation with convex cells in dimension three and higher is a Laguerre tessellation. Tessellations generated by stationary marked Poisson processes are then studied in detail. For these tessellations, we obtain integral formulae for geometric characteristics and densities of the typical k-faces. We present a formula for the linear contact distribution function and prove various limit results for convergence of Laguerre to Poisson-Voronoi tessellations. The obtained integral formulae are subsequently evaluated numerically for the planar case, demonstrating their applicability for practical purposes.

A planar graph contains faces which can be classified into types depending on the number of edges on the face boundaries. Under various natural rules for randomly dividing faces by the addition of new edges, we investigate the limiting distribution of face type as the number of divisions increases.

Consider a forest of maple trees in autumn, with leaves falling on the ground. Those coming late cover the others below, so eventually the fallen leaves form a statistically homogeneous spatial pattern. In particular, the uncovered leaf boundaries form a mosaic. We formulate a mathematical model to describe this mosaic, firstly in the case where the leaves are polygonal and later for leaves with curved boundaries. Mean values of certain statistics of the mosaic are derived.

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].

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.