In a 4-(12, 6, 4) design a block is either disjoint from one other block or it has five points in common with one other block. For a 4-(12, 6, 4) design with a pair of blocks of the second type it is shown that· another thirty blocks of the design can be completed in a unique way and these thirty blocks contain a copy of a 3-(10, 4, 1) design.
As a first step towards finding all 4-(12, 6, 4) designs which are not 5-(12, 6, 1) designs, it is shown that if such a design has a pair of blocks with five points in common, then there is a unique way of assigning the replicas of the seven points from that pair of blocks to the other blocks of the design.
A 4-(12, 6, 4) design that is not also a 5-(12, 6, 1) design must have at least one pair of blocks with five points in common. It is shown that there are just nine non-isomorphic such designs; so, including the 5-(12, 6, 1) design, there are ten 4-(12, 6, 4) designs. These designs are characterised by the orders of their automorphism groups and they all… (More)