Encyclopaedia of DesignTheory: Topic Essay
A printable PDF version of this document is available.
This document discusses three models of a block design and sets various issues in these three contexts.
Here are three representations of a block design. The elements of the block design are treatments (or points), blocks, and plots (or flags).
The treatments are are the members of a partition of the set of plots. The blocks are the members of another partition of the set of plots.
The treatments and blocks are the two classes of vertices of a bipartite graph with positive integer labels on the edges. The plots form a multiset whose underlying set is the edge set of the graph, and where the multiplicity of each edge is its label.
Third model (This is the one used in DTRS.)
The points form a set. Each block is a multiset of points, and the blocks form a multiset. It is quite tricky to say what the plots are in this model; but, if the design is binary (that is, if each block is a set), then a plot is an ordered pair (point, block), where the point is in the block.
Here are the translations among them.
From Model 1 to Model 2
Given a design in Model 1, form a bipartite graph where the label on the edge from a point to a block is the number of plots in intersection of these two sets. (If the intersection is empty, we put no edge.)
From Model 2 to Model 1
Given a design in model 2, the plots form the set whose elements are pairs (edge, number), where the number ranges from $0$ to one less than the edge label. Then a treatment corresponds to the set of plots whose edge is incident with that treatment, and a block corresponds to the set of plots whose edge is incident with that block.
A moment's thought shows that these constructions are mutually inverse.
From Model 2 to Model 3
Given a design in Model 2, the point set is the set of treatments; each block corresponds the multiset consisting of the treatments adjacent to that block, with multiplicity equal to the label on the corresponding edge. The same multiset may arise several times in the construction; this is dealt with by taking it with the appropriate multiplicity in the set of all blocks.
From Model 3 to Model 2
Given a design in Model 3, take the set of treatments, and the set of pairs (block, number), where the number ranges from $0$ to one less than the multiplicity of the block. Now join a treatment to a (block, number) pair if the treatment is in the block, and label it with the multiplicity of the treatment in the block.
A moment's thought shows that these constructions are also mutually inverse.
The third model is most convenient for storage, and is the one most commonly used by mathematicians. But the first model is closest to the use in experimental design (where the set of experimental units often comes partitioned into blocks, and the experimenter introduces another partition by applying treatments to the plots).
I propose that questions about what to permit in a block design can best be answered by going back to the first model. Let us look at a few.
This suggests that there is an even more compact representation of a block design, in which the automorphism group is the image of the group of Model 2 under a homomorphism whose kernel is the product of the "repeated points" and "repeated blocks" kernels. (These kernels commute and so generate their direct product.) To describe such a model in the language of Model 3 would involve allowing the points to form a multiset where each point is taken with full multiplicity or not at all in a block. A Model 2-type description is easier. As well as numbers on the edges, we also have numbers on the vertices indicating the numbers of times the corresponding objects are repeated. An automorphism is now simply a graph automorphism preserving the bipartite blocks and the vertex and edge labels.
The representation of our earlier example in this form would have points X and Y each with label 1 and block A with label 2, and edges AX with label 2 and AY with label 1.
A final note on intersection of blocks. Clearly in Model 1, the "intersection" of two different blocks is always the empty set. In Model 3, if the design is simple, the intersection is the number of points (treatments) occurring in both blocks. Carrying this back to Model 1, the concurrence of two blocks is the number of ordered pairs of plots such that the first plot is in the first block and the second plot in the second block and the two plots are in the same treatment. Now taking this forward again to Model 3, we see that the general definition of concurrence of two blocks in this model should be calculated as follows: for each point, multiply its multiplicities in the two blocks, and sum these products. This extends in the obvious way to the concurrence of more than two blocks.