A t-(v, k, lambda) designs is a pair D = (V, B) where
The parameters t, v, k and lambda have to fulfil certain restrictions to be admissible. It is admissible, if lambda is a multiple of a certain integer delta_lambda. You can find the detailed restrictions in almost every book on design theory. But they are not sufficient for the existence of designs with the given parameter set. So we have to find the designs quite explicitely. The designs are represented by solution vectors of systems of diophantine equations in the following manner:
For given t and k we consider the t- and k-subsets and we can build the incidence matrix M i.e. the rows of the matrix represent the t-subsets, the columns represent the k-subsets and the matrix entry mij is 1, if the i-th t-subset is incident with the j-th k-subset, otherwise 0. The search for t-(v, k, lambda) designs is equivalent to the search of 0/1-solutions of the system of equations
So we use the Kramer-Mesner method for the construction of t-designs with large t. That means the construction with prescribed automorphism group; we only consider orbit representatives of the orbits of the chosen group on the t-subsets and the k-subsets in the following way:
We can build the so called Kramer-Mesner matrix KM (instead of the full incidence matrix), where each row represents an orbit of t-subsets (with respect to the induced action of the group on the t-subsets) and each column analogously represents an orbit of k-subsets. So the entry kmij is a nonnegative integer c, where c is the number of elements of the j-th k-orbit containing a representative of the i-th t-orbit (one can show that c is well-defined).
This method is quite risky because we may choose the "wrong" permutation group, such that the number of solutions is 0 afterwards, although there are designs with the given parameter set but another (or just smaller) automorphism group! So we have to make a good guess for the group - for example the linear groups fairly often occur as automorphism groups of designs.
Now we have to solve much smaller systems of diophantine equations: the block set of a design with the prescribed group as an automorphism group is a union of whole orbits of k-subsets.
But we have to be careful:
the prescribed group usually is not the full automorphism group, but only a subgroup. So we can ask for the full automorphism group of the design(s) we have found. And it happens that, when you have found a bigger (probably the full) automorphism group, the orbits under the smaller group fuse under the action of the bigger group, such that you get less solutions (the question then is to identify the fusing designs).
Back to the DISCRETA-homepage.
Last updated: August 10, 1999, Evi Haberberger