Professional Documents
Culture Documents
ASSOCIATION SCHEMES
DESIGNED EXPERIMENTS, ALGEBRA AND
COMBINATORICS
CAMBRIDGE STUDIES IN ADVANCED MATHEMATICS
Editorial Board:
B. Bollobas, W. Fulton, A. Katok, F. Kirwan, P. Sarnak, B. Simon
Already published
17 W. Dicks & M. Dunwoody Groups acting on graphs
18 L.J. Corwin & F.P. Greenleaf Representations of nilpotent Lie groups and their
applications
19 R. Fritsch & R. Piccinini Cellular structures in topology
20 H. Klingen Introductory lectures on Siegel modular forms
21 P. Koosis The logarithmic integral II
22 M.J. Collins Representations and characters of finite groups
24 H. Kunita Stochastic flows and stochastic differential equations
25 P. Wojtaszczyk Banach spaces for analysts
26 J.E. Gilbert & M.A.M. Murray Clifford algebras and Dirac operators in
harmonic analysis
27 A. Frohlich & M.J. Taylor Algebraic number theory
28 K. Goebel & W.A. Kirk Topics in metric fixed point theory
29 J.F. Humphreys Reflection groups and Coxeter groups
30 D.J. Benson Representations and cohomology I
31 D.J. Benson Representations and cohomology II
32 C. Allday & V. Puppe Cohomological methods in transformation groups
33 C. Soule et al. Lectures on Arakelov geometry
34 A. Ambrosetti & G. Prodi A primer of nonlinear analysis
35 J. Palis & F. Takens Hyperbolicity, stability and chaos at homoclinic bifurcations
37 Y. Meyer Wavelets and operators I
38 C. Weibel An introduction to homological algebra
39 W. Bruns & J. Herzog Cohen-Macaulary rings
40 V. Snaith Explict Brauer induction
41 G. Laumon Cohomology of Drinfeld modular varieties I
42 E.B. Davies Spectral theory and differential operators
43 J. Diestel, H. Jarchow, & A. Tonge Absolutely summing operators
44 P. Mattila Geometry of sets and measures in Euclidean spaces
45 R. Pinsky Positive harmonic functions and diffusion
46 G. Tenenbaum Introduction to analytic and probabilistic number theory
47 C. Peskine An algebraic introduction to complex projective geometry
48 Y. Meyer & R. Coifman Wavelets
49 R. Stanley Enumerative combinatorics I
50 I. Porteous Clifford algebras and the classical groups
51 M. Audin Spinning tops
52 V. Jurdjevic Geometric control theory
53 H. Volklein Groups as Galois groups
54 J. Le Potier Lectures on vector bundles
55 D. Bump Automorphic forms and representations
56 G. Laumon Cohomology of Drinfeld modular varieties II
57 D.M. Clark & B.A. Davey Natural dualities for the working algebraist
58 J. McCleary A user’s guide to spectral sequences II
59 P. Taylor Practical foundations of mathematics
60 M.P. Brodmann & R.Y. Sharp Local cohomology
61 J.D. Dixon et al. Analytic pro-P groups
62 R. Stanley Enumerative combinatorics II
63 R.M. Dudley Uniform central limit theorems
64 J. Jost & X. Li-Jost Calculus of variations
65 A.J. Berrick & M.E. Keating An introduction to rings and modules
66 S. Morosawa Holomorphic dynamics
67 A.J. Berrick & M.E. Keating Categories and modules with K-theory in view
68 K. Sato Levy processes and infinitely divisible distributions
69 H. Hida Modular forms and Galois cohomology
70 R. Iorio & V. Iorio Fourier analysis and partial differential equations
71 R. Blei Analysis in integer and fractional dimensions
72 F. Borceaux & G. Janelidze Galois theories
73 B. Bollobas Random graphs
74 R.M. Dudley Real analysis and probability
75 T. Sheil-Small Complex polynomials
76 C. Voisin Hodge theory and complex algebraic geometry I
77 C. Voisin Hodge theory and complex algebraic geometry II
78 V. Paulsen Completely bounded maps and operator algebras
82 G. Tourlakis Lectures in logic and set theory I
83 G. Tourlakis Lectures in logic and set theory II
ASSOCIATION SCHEMES
DESIGNED EXPERIMENTS,
ALGEBRA AND
COMBINATORICS
R. A. Bailey
Queen Mary, University of London
cambridge university press
Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, São Paulo
Cambridge University Press has no responsibility for the persistence or accuracy of urls
for external or third-party internet websites referred to in this publication, and does not
guarantee that any content on such websites is, or will remain, accurate or appropriate.
Contents
vii
viii Contents
Exercises 77
4 Incomplete-block designs 79
4.1 Block designs 79
4.2 Random variables 83
4.3 Estimating treatment effects 84
4.4 Efficiency factors 90
4.5 Estimating variance 95
4.6 Building block designs 103
4.6.1 Juxtaposition 103
4.6.2 Inflation 105
4.6.3 Orthogonal superposition 106
4.6.4 Products 108
Exercises 109
5 Partial balance 111
5.1 Partially balanced incomplete-block designs 111
5.2 Variance and efficiency 114
5.3 Concurrence and variance 120
5.4 Cyclic designs 124
5.5 Lattice designs 129
5.5.1 Simple lattice designs 129
5.5.2 Square lattice designs 130
5.5.3 Cubic and higher-dimensional lattices 131
5.5.4 Rectangular lattice designs 132
5.6 General constructions 135
5.6.1 Elementary designs 136
5.6.2 New designs from old 136
5.7 Optimality 138
Exercises 140
6 Families of partitions 145
6.1 A partial order on partitions 145
6.2 Orthogonal partitions 149
6.3 Orthogonal block structures 152
6.4 Calculations 155
6.5 Orthogonal block structures from Latin squares 161
6.6 Crossing and nesting orthogonal block structures 163
Exercises 169
7 Designs for structured sets 171
7.1 Designs on orthogonal block structures 171
Contents ix
xiii
xiv Preface
the other hand, many pure mathematicians working in the subject have
no knowledge of the subject’s origin in, and continued utility in, designed
experiments.
This book is an attempt to bridge the gap, and is intended to be acces-
sible to both audiences. The first half is at a level suitable for final-year
undergraduates (on the four-year MSci programme) or MSc students
in Mathematics or Statistics. It assumes some linear algebra, modular
arithmetic, elementary ideas about graphs, and some probability, but
no statistics and very little abstract algebra. The material assumed
can be found in almost any standard books on linear algebra, discrete
mathematics and probability respectively: for example, [11], [49], [107].
The linear algebra is revised where it is needed (Sections 1.3, 2.1, 3.1),
partly to establish the notation used in this book. The same is done for
random variables in Section 4.2. Techniques which use finite fields are
deliberately avoided, although the reader with some knowledge of them
may be able to see where examples can be generalized.
After the basic theory in the first two chapters, the book has three
main strands. The first one is the use of association schemes in designed
experiments, which is developed in Chapters 4, 5, 7 and parts of 8 and 11.
The second is the fruitful interplay between association schemes and
partitions: see Chapters 6, 7, 9, 10 and 11. The third gives methods of
creating new association schemes from old ones. This starts in Chapter 3
to give us an easy mechanism for developing examples, and continues in
Chapters 9 and 10.
Chapters 1–6 form the heart of the book. Chapter 1 introduces associ-
ation schemes and gives the three different ways of thinking about them:
as partitions, as adjacency matrices, as coloured graphs. It also gives
many families of association schemes. Chapter 2 moves straight to
the Bose–Mesner algebra spanned by the adjacency matrices. The fact
that this algebra is commutative implies that these matrices have com-
mon eigenspaces, called strata. The relationship between the adjacency
matrices and the stratum projectors is called the character table: this
is the clue to all calculations in the association scheme. This chapter
includes a section on techniques for actually calculating character tables:
this should be useful for anyone who needs to make calculations in speci-
fic association schemes, for example to calculate the efficiency factors of
a block design.
Chapter 3 introduces crossing and nesting, two methods of combining
two association schemes to make a new one. Although these are not
Preface xv
Web page
Updated information about this book, such as known errors, is available
on the following web page.
http://www.maths.qmul.ac.uk/~rab/Asbook
R. A. Bailey
School of Mathematical Sciences
Queen Mary, University of London
Mile End Road
London E1 4NS
r.a.bailey@qmul.ac.uk
Acknowledgements
xviii
1
Association schemes
1.1 Partitions
Association schemes are about relations between pairs of elements of a
set Ω. In this book Ω will always be finite. Recall that Ω × Ω is the set
of ordered pairs of elements of Ω; that is,
Ω × Ω = {(α, β) : α ∈ Ω, β ∈ Ω} .
C = {(β, α) : (α, β) ∈ C} .
Diag(Ω) = {(ω, ω) : ω ∈ Ω} .
(i) C0 = Diag(Ω);
(ii) Ci is symmetric for i = 1, . . . , s;
(iii) for all i, j, k in {0, . . . , s} there is an integer pkij such that, for all
(α, β) in Ck ,
1
2 Association schemes
Ω = ∆1 ∪ ∆2 ∪ ∆3 ∪ ··· ∪ ∆b
t
t
t ···
t ]
JJ
3
J
J
first associates second associates
For example, those elements which are first associates of both α and β
are the m − 2 other elements in the group which contains α and β. If
α and β are second associates then the number of γ which are specified
associates of α and β are:
first associate of β second associate of β
first associate of α 0 m−1
second associate of α m−1 (b − 2)m
(The name ‘group-divisible’ has stuck, because that is the name originally
used by Bose and Nair. But anyone who uses the word ‘group’ in its
algebraic sense is upset by this. It seems to me to be quite acceptable
to call the scheme just ‘divisible’. Some authors tried to compromise by
calling it ‘groop-divisible’, but the nonce word ‘groop’ has not found wide
approval.)
Ci (α) = {β ∈ Ω : (α, β) ∈ Ci } .
Thus condition (iii) says that |Ci (α) ∩ Cj (β)| = pkij if β ∈ Ck (α). For
this reason, the parameters pkij are called the intersection numbers of
the association scheme.
Example 1.2 Let |Ω| = n, let C0 be the diagonal subset and let
C1 = {(α, β) ∈ Ω × Ω : α = β} = (Ω × Ω) \ C0 .
Proof (i) The set Ω is the disjoint union of C0 (α), C1 (α), . . . , Cs (α).
(ii) Given any (α, β) in Ck , the set Ci (α) is the disjoint union of the
sets Ci (α) ∩ Cj (β) for j = 0, 1, . . . , s.
Thus it is sufficient to check constancy of the ai for all but one value
of i, and, for each pair (i, k), to check the constancy of pkij for all but
one value of j.
Thus construction of tables like those above is easier if we include a
row for C0 (α) and a column for C0 (β). Then the figures in the i-th row
6 Association schemes
Example 1.4 Let Ω consist of the vertices of the Petersen graph, which
is shown in Figure 1.4. Let C1 consist of the edges of the graph and
t
t
t t
t t
t t
t t
We work similarly for the case that {α, β} is not an edge. If you are
1.2 Graphs 7
familiar with the Petersen graph you will know that every pair of vertices
which are not joined by an edge are both joined to exactly one vertex;
if you are not familiar with the graph and its symmetries, you should
check that this is true. Thus p211 = 1. This gives the middle entry of the
table, and the three entries in the bottom right-hand corner (p212 , p221
and p222 ) can be calculated by subtraction.
C0 (β) C1 (β) C2 (β)
C0 (α) 0 0 1 1
C1 (α) 0 1 2 3
C2 (α) 1 2 3 6
1 3 6 10
So again we have an association scheme with two associate classes.
1.2 Graphs
Now that we have done the example with the Petersen graph, we need
to examine graphs a little more formally. Recall that a finite graph is
a finite set Γ, whose elements are called vertices, together with a set
of 2-subsets of Γ called edges. (A ‘2-subset’ means a subset of size 2.)
Strictly speaking, this is a simple undirected graph: in a non-simple
graph, there may be two or more edges between a pair of vertices, while
in a directed graph each edge is an ordered pair. Vertices γ and δ are
said to be joined by an edge if {γ, δ} is an edge. The graph is complete
if every 2-subset is an edge.
Example 1.4 suggests a second way of looking at association schemes.
Imagine that all the edges in the Petersen graph are blue. For each pair
of distinct vertices which are not joined, draw a red edge between them.
We obtain a 2-colouring of the complete undirected graph K10 on ten
vertices. Condition (iii) gives us a special property about the number of
triangles of various types through an edge with a given colour.
Second definition of association scheme An association scheme
with s associate classes on a finite set Ω is a colouring of the edges of
the complete undirected graph with vertex-set Ω by s colours such that
(iii) for all i, j, k in {1, . . . , s} there is an integer pkij such that, when-
ever {α, β} is an edge of colour k then
|{γ ∈ Ω : {α, γ} has colour i and {γ, β} has colour j}| = pkij ;
(iv) every colour is used at least once;
8 Association schemes
(v) there are integers ai for i in {1, . . . s} such that each vertex is
contained in exactly ai edges of colour i.
The strange numbering of the conditions is to aid comparison with the
previous definition. There is no need for an analogue of condition (i),
because every edge consists of two distinct vertices, nor for an analogue
of condition (ii), because we have specified that the graph be undirected.
Condition (iii) says that if we fix different vertices α and β, and colours
i and j, then the number of triangles which consist of the edge {α, β}
and an i-coloured edge through α and a j-coloured edge through β is
exactly pkij , where k is the colour of {α, β}, irrespective of the choice of α
and β (see Figure 1.5). We did not need a condition (iv) in the partition
definition because we specified that the subsets in the partition be non-
empty. Finally, because condition (iii) does not deal with the analogue
of the diagonal subset, we have to put in condition (v) explicitly. If
we assume that none of the colours used for the edges is white, we can
colour all the vertices white (colour 0). Then we recover exactly the
parameters of the first kind, with a0 = 1, p0ii = ai , pii0 = pi0i = 1, and
p0ij = pji0 = pi0j = 0 if i = j.
Example 1.5 Let Ω be the set of the eight vertices of the cube. Colour
the edges of the cube yellow, the main diagonals red and the face diag-
onals black. In Figure 1.6 the yellow edges are shown by solid lines, the
red edges by dashed lines, and the black edges are omitted. If you find
this picture hard to follow, take any convenient cuboid box, draw black
lines along the face diagonals and colour the edges yellow.
t t
@
@
@t t
t t
@
@
t @t
Fig. 1.6. The cube: solid lines are yellow, dashed ones are red
Every vertex is in three yellow edges, one red edge and three black
ones, so ayellow = 3, ared = 1 and ablack = 3. The values pyellow
ij are the
entries in
white yellow red black
white 0 1 0 0
yellow
1 0 0 2 ,
red 0 0 0 1
black 0 2 1 0
(d) it is neither complete (all pairs are edges) nor null (no pairs are
edges).
1.3 Matrices
Given a field F , the set F Ω of functions from Ω to F forms a vector
space. Addition is defined pointwise: for f and g in F Ω ,
χω (ω) = 1
χω (α) = 0 for α in Ω with α = ω.
1.3 Matrices 11
Then f = ω∈Ω f (ω)χω for all f in F Ω , and so {χω : ω ∈ Ω} forms a
natural basis of F Ω : hence dim F Ω = |Ω|.
For any subset ∆ of Ω it is convenient to define χ∆ in F Ω by
1 if ω ∈ ∆
χ∆ (ω) =
0 if ω ∈ / ∆,
so that χ∆ = ω∈∆ χω . Sometimes it is helpful to regard χ∆ as a
column vector with the rows indexed by the elements of Ω. There is a 1
in position ω if ω ∈ ∆; otherwise there is a zero. Thus the vector records
whether the statement ‘ω ∈ ∆’ is true.
This approach is also useful for matrices. Given two finite sets Γ
and ∆, we can form their product
Γ × ∆ = {(γ, δ) : γ ∈ Γ, δ ∈ ∆} ,
which may be thought of as a rectangle, as in Figure 1.7. Applying
the preceding ideas to Γ × ∆, we obtain the vector space F Γ×∆ of all
functions from Γ × ∆ to F . It has dimension |Γ| × |∆|. If M is such a
function, we usually write M (γ, δ) rather than M ((γ, δ)). In fact, M is
just a matrix, with its rows labelled by Γ and its columns labelled by ∆.
So long as we retain this labelling, it does not matter in what order we
write the rows and columns.
δ ∆
γ (γ, δ)
f → M f
where
(M f )(γ) = M (γ, δ)f (δ) for γ ∈ Γ.
δ∈∆
AΩ×Ω = JΩ
1.3 Matrices 13
A∅ = OΩ
ADiag(Ω) = IΩ .
For suppose that (α, β) ∈ Ck . Then the (α, β)-entry of the right-hand
side of Equation (1.1) is equal to pkij , while the (α, β)-entry of the left-
hand side is equal to
(Ai Aj ) (α, β) = Ai (α, γ)Aj (γ, β)
γ∈Ω
= |{γ : (α, γ) ∈ Ci and (γ, β) ∈ Cj }|
= pkij
because the product Ai (α, γ)Aj (γ, β) is zero unless (α, γ) ∈ Ci and
(γ, β) ∈ Cj , in which case it is 1.
We have just used a useful technique for multiplying matrices all of
whose entries are 0 or 1; we shall use it again.
(i) A0 = IΩ ;
14 Association schemes
A B C D β β
D A B C β β
C D A B α β β β
B C D A β β
We need to check that all the nine products Ai Aj are linear combin-
ations of A0 , A1 and A2 . Five products involve A0 , which is I, so there
1.3 Matrices 15
A0 A1 A2
√ √ √
A0
√
A1 ?
√
A2
A1 = R + C + L − 3I,
γ : γ is in the same row as α
= 1
so RC = J. Similarly CR = RL = LR = CL = LC = J.
Hence A21 = n(R + C + L) + 6J − 6(R + C + L) + 9I, which is a linear
combination of A1 , J and I, hence of A1 , A2 and A0 .
16 Association schemes
{3, 4}
t
{1, 2}
t
{1, 5} t {2, 3} {1, 4} t {2, 5}
t t
{3, 5} {4, 5}
t t
t t
{2, 4} {1, 3}
that the association scheme in Example 1.4 is T(5) (with the names of
the classes interchanged – this does not matter).
ai = m Cm−i × n−m Ci
ai = m Ci × (n − 1)i .
1.4 Some special association schemes 19
001 t t011
@
@
@t t
000 010
100 t t110
@
@
t @t
101 111
so that
Gi (α) = {β ∈ Ω : the distance between α and β is i} .
Definition Let G be a connected graph with diameter s and vertex
set Ω. Then G is distance-regular if G0 , G1 , . . . , Gs form an association
scheme on Ω.
In a distance-regular graph G, there are integers ai such that |Gi (α)| =
ai for all α. In any connected graph, if β ∈ Gi (α) then
G1 (β) ⊆ Gi−1 (α) ∪ Gi (α) ∪ Gi+1 (α);
see Figure 1.12. Hence in a distance-regular graph pij1 = 0 if i = 0 and
a0 a1 ai−1 ai ai+1
!!!
t !
!
`
a `` ... aa
``a β
α aa`` `a`a
`t( ((((
aa
ci bi
j ∈
/ {i − 1, i, i + 1}. Put ci = pii−1,1 and bi = pii+1,1 . It is interesting
that the constancy of the ai , bi and ci is enough to guarantee that the
graph is distance-regular.
Theorem 1.5 Let Ω be the vertex set of a connected graph G of diam-
eter s. If there are integers ai , bi , ci for 0 i s such that, for all α
in Ω and all i in {0, . . . , s},
(a) |Gi (α)| = ai (so a0 must be 1);
(b) if β ∈ Gi (α) then |Gi−1 (α) ∩ G1 (β)| = ci and |Gi+1 (α) ∩ G1 (β)| =
bi (so bs and c0 must be 0 and b0 = a1 )
then G is distance-regular.
Proof It is clear that conditions (i) (diagonal subset) and (ii) (sym-
metry) in the definition of association scheme are satisfied. It remains
to prove that Ai Aj is a linear combination of the Ak , where Ai is the
adjacency matrix of the subset Gi .
Let i ∈ {1, . . . , s − 1}. Then
• every element in Gi−1 (α) is joined to exactly bi−1 elements of Gi (α),
1.4 Some special association schemes 21
− bi −
a1 ci
( ( (( X
(
t
hX
X
a h h
C hXX hX
ahX
aX
hh C (((
hh
X
t
((
aX
a Ct
bi−1 ci+1
Gi−1 (α) Gi (α) Gi+1 (α)
Technique 1.1 shows that
Ai A1 = bi−1 Ai−1 + (a1 − bi − ci )Ai + ci+1 Ai+1 .
Using the facts that A0 = I and all the ci+1 are non-zero (because the
graph is connected), induction shows that, for 1 i s,
• Ai is a polynomial in A1 of degree i, and
• Ai1 is a linear combination of I, A1 , . . . , Ai .
Hence if i, j ∈ {0, . . . , s} then Ai Aj is also a polynomial in A1 .
Applying a similar argument to Gs (α) gives
As A1 = bs−1 As−1 + (a1 − cs )As
so A1 satisfies a polynomial of degree s+1. Thus each product Ai Aj can
be expressed as a polynomial in A1 of degree at most s, so it is a linear
combination of A0 , A1 , . . . , As . Hence condition (iii) is satisfied.
Example 1.5 revisited The yellow edges of the cube form a distance-
regular graph with diameter 3 and the following parameters:
a0 = 1 a1 = 3 a2 = 3 a3 = 1
b 0 = 3 b 1 = 2 b2 = 1 b 3 = 0
c0 = 0 c1 = 1 c2 = 2 c3 = 3.
In the Johnson scheme, draw an edge between α and ω if |α ∩ ω| =
m − 1. Now suppose that β ∈ Ci (α), so that |α ∩ β| = m − i, as in
Figure 1.10. If η ∈ Ci−1 (α)∩C1 (β) then η is obtained from β by replacing
one of the i elements in β \ α by one of the i elements in α \ β, so β is
joined to i2 elements in Ci−1 (α). Similarly, if θ ∈ Ci+1 (α) ∩ C1 (β) then
θ is obtained from β by replacing one of the m−i elements in α∩β by one
of the n−m−i elements in Ω\(α∪β), so β is joined to (m−i)(n−m−i)
elements in Ci+1 (α). Hence C1 defines a distance-regular graph, and so
the Johnson scheme is indeed an association scheme.
22 Association schemes
(The reader who is familiar with group theory will realise that, through-
out this subsection, the integers modulo n may be replaced by any finite
Abelian group, so long as some of the detailed statements are suitably
modified. This extension to general finite Abelian groups will be given
in Chapter 8.)
Mγ Mδ = Mγ+δ
defined by
ϕ λω χω = λ ω Mω
ω∈Ω ω∈Ω
Note that
χ∆0 = χω = χ0 ;
ω∈∆0
the first ‘0’ is an element of the labelling set {0, 1, . . . , s} and the final
‘0’ is the zero element of Zn .
Suppose that ∆0 , ∆1 , . . . , ∆s do form a blueprint for Zn . Put Ci =
ω∈∆i Dω , so that
Ci (α) = {β ∈ Ω : β − α ∈ ∆i } = α + ∆i = α − ∆i
by condition (ii). In particular, |Ci (α)| = |∆i |. Moreover, each Ci is
symmetric, and C0 = Diag(Ω). Now the adjacency matrix Ai of Ci is
given by
Ai = Mω = ϕ(χω ) = ϕ χω = ϕ(χ∆i ),
ω∈∆i ω∈∆i ω∈∆i
Example 1.8 In Z13 , put ∆0 = {0}, ∆1 = {1, 3, 4, −4, −3, −1} and
∆2 = Ω \ ∆0 \ ∆1 . We calculate the sums α + β for α, β ∈ ∆1 .
1 3 4 −4 −3 −1
1 2 4 5 −3 −2 0
3 4 6 −6 −1 0 2
4 5 −6 −5 0 1 3
−4 −3 −1 0 5 6 −5
−3 −2 0 1 6 −6 −4
−1 0 2 3 −5 −4 −2
0 occurs 6 times,
1, 3, 4, −4, −3, −1 each occur 2 times,
2, 5, 6, −6, −5, −2 each occur 3 times,
so χ∆1 χ∆1 = 6χ∆0 + 2χ∆1 + 3χ∆2 .
As usual for s = 2, there is nothing more to check, for
and
For any n, the sets {0}, {±1}, {±2}, . . . form a blueprint for Zn . The
corresponding cyclic association scheme is the same as the one derived
from the circuit Cn with n vertices, which is a distance-regular graph.
Call this association scheme
n.
26 Association schemes
Exercises
1.1 Explain why the parameters of an association scheme satisfy
(a) pj0j = 1;
(b) pkij = pkji .
1.3 Let Ω consist of the integers mod 6, shown round a circle below.
Define
0
t
C0 = Diag(Ω) 5 t1 t
C1 = {(α, β) ∈ Ω × Ω : α − β = ±1}
C2 = {(α, β) ∈ Ω × Ω : α − β = ±2} t t
C3 = {(α, β) ∈ Ω × Ω : α − β = 3} .
4
t 2
3
(a) Write out the sets C0 , C1 , C2 and C3 in full. Verify that they are
all symmetric. Could you have proved directly from the definition
of the classes that they are symmetric?
(b) Write out the sets C1 (0), C1 (4), C2 (0), C2 (4), C3 (0) and C3 (4).
Convince yourself that, for i = 0, . . . , 3, each element of Ω has
the same number of i-th associates. What are a0 , a1 , a2 and a3 ?
(c) Take α and β to be adjacent points on the circle. By considering
the relationship of each of the six points to both α and β, fill in
the following table, whose entries are the p1ij . Also fill in the row
and column totals.
C0 (β) C1 (β) C2 (β) C3 (β)
C0 (α)
C1 (α)
C2 (α)
C3 (α)
Ai (A0 + A1 + A2 + A3 ) = ai (A0 + A1 + A2 + A3 ).
1.5 Draw a finite graph that is regular but not strongly regular.
(a) Prove that at most one of the classes, in addition to Diag(Ω), can
have valency 1.
(b) Write down four distinct association schemes on Ω.
(c) Prove that there are exactly four different association schemes
on Ω, in the sense that any others are obtained from one of these
four by relabelling.
1.9 Write down the adjacency matrices for GD(3, 2) and R(2, 4).
1.10 Write down the four adjacency matrices for the cube association
scheme in Example 1.5 explicitly. Calculate all their pairwise products
28 Association schemes
and verify that each one is a linear combination of the four adjacency
matrices.
1.12 Show that the matrices I, R−I, C −I, L−I and A2 in Example 1.6
are the adjacency matrices of an association scheme.
1.13 Use the fact that pkij = pkji to give an alternative proof of Lemma 1.3.
1.15 Two Latin squares of the same size are said to be orthogonal to
each other if each letter of one square occurs exactly once in the same
position as each letter of the second square. Latin squares Π1 , . . . , Πr
of the same size are said to be mutually orthogonal if Πi is orthogonal
to Πj for 1 i < j r.
Suppose that Π1 , . . . , Πr are mutually orthogonal Latin squares of
size n. Let Ω be the set of n2 cells in the array. For distinct α, β in Ω,
let α and β be first associates if α and β are in the same row or are in
the same column or have the same letter in any of Π1 , . . . , Πr ; otherwise
α and β are second associates.
1.16 Let Ω consist of the 12 edges of the cube. For edges α and β,
assign (α, β) to class
C0 if α = β;
C1 if α = β but α meets β at a vertex;
C2 if α and β are diagonally opposite;
C3 if α and β are parallel but not diagonally opposite;
C4 otherwise.
1.17 Show that one of the strongly regular graphs defined by T(4) con-
sists of the edges of an octahedron. Which group-divisible association
scheme is this the same as?
1.20 Let G be the graph whose vertices and edges are the vertices and
edges of the regular icosahedron. Show that G is distance-regular. Find
the parameters of the corresponding association scheme.
ai bi = ai+1 ci+1
for i = 0, 1, . . . , s − 1.
1
6 1
6 2
- - - 6
4 1 2 1 2 2
1 4 8 8
1.30 Verify that the sets {0}, {1, 4, −4, −1}, {2, 7, −7, −2}, {3, −3},
{5, −5} and {6, −6} form a blueprint for Z15 .
1.31 Verify that the sets {0}, {1, 2, 4, 7, −7, −4, −2 − 1}, {3, 6, −6, −3}
and {5, −5} form a blueprint for Z15 . Show that the corresponding
association scheme is the same as a rectangular association scheme.
1.32 Let n and m be coprime integers. In Zmn let ∆1 consist of the
non-zero multiples of m and ∆2 consist of the non-zero multiples of n.
Put ∆0 = {0} and ∆3 = Zmn \ ∆0 \ ∆1 \ ∆2 . Prove that these sets
form a blueprint for Zmn and show that the corresponding association
scheme is the same as a rectangular association scheme.
1.33 Write down as many association schemes as you can think of which
have 15 elements. Give enough detail about them to show that they are
all distinct.
2
The Bose–Mesner algebra
2.1 Orthogonality
This section gives a brief coverage of those aspects of orthogonality that
are necessary to appreciate the Bose–Mesner algebra. I hope that most
readers have seen most of this material before, even if in a rather different
form.
There is a natural inner product , on RΩ defined by
f, g = f (ω)g(ω) for f and g in RΩ .
ω∈Ω
• W ⊥ is a subspace of RΩ ;
• dim W ⊥ + dim W = dim RΩ = |Ω|;
⊥ ⊥
• W = W (recall that we are assuming that |Ω| is finite);
• (U + W )⊥ = U ⊥ ∩ W ⊥ (recall that U + W is defined to be the set
{u + w : u ∈ U and w ∈ W }, which is called the vector space sum
of U and W );
• (U ∩ W )⊥ = U ⊥ + W ⊥ ;
• RΩ = W ⊕ W ⊥ , which is called the direct sum of W and W ⊥ : this
means that if v ∈ RΩ then there are unique vectors w ∈ W and
u ∈ W ⊥ with v = w + u.
31
32 The Bose–Mesner algebra
Pv ∈ W and v − P v ∈ W ⊥
(i) P
Q is the orthogonal
projector onto W ∩ U ;
⊥
(ii) W ∩ (W ∩ U ) ⊥ U.
Property (ii) gives some clue to the strange name ‘geometric orthogon-
⊥
ality’. The space W ∩ (W ∩ U ) is the orthogonal complement of W ∩ U
⊥
inside W , and U ∩ (W ∩ U ) is the orthogonal complement of W ∩ U
inside U . So geometric orthogonality means that these two complements
are orthogonal to each other as well as to W ∩ U :
⊥ ⊥
W ∩ (W ∩ U ) ⊥ U ∩ (W ∩ U ) .
with vi in Wi , so RΩ = W1 + W2 + · · · + Wr .
For uniqueness, suppose that v = wi with wi in Wi . Then
vj = Pj v = Pj wi = Pj Pi w i
i i
= Pj Pi w i = Pj Pj wj = wj .
i
34 The Bose–Mesner algebra
µi Ai (α, β) = µj .
i
for if v ∈ Wi then
(M − λj I) v = (λi − λj ) v
j=i j=i
which is also in A.
We need to consider something more general than an inverse. Suppose
that f is any function from any set S to any set T . Then a function
g: T → S is called a generalized inverse of f if f gf = f and gf g = g. It is
evident that set functions always have generalized inverses: if y ∈ Im(f )
then let g(y) be any element x of S with f (x) = y; if y ∈/ Im(f ) then g(y)
may be any element of S. If f is invertible then g = f −1 ; otherwise there
are several possibilities for g. However, when there is more structure then
generalized inverses may not exist. For example, group homomorphisms
do not always have generalized inverses; nor do continuous functions in
topology. However, linear transformations (and hence matrices) do have
generalized inverses.
If M is a diagonalizable matrix then one of its generalized inverses
has a special form. It is called the Drazin inverse or Moore–Penrose
generalized inverse and written M − . This is given by
r
1
M− = Pi .
i=1
λ i
λi =0
If M ∈ A then M − ∈ A.
That concludes the properties of a single element of A. The key fact
for dealing with two or more matrices in A is that A is commutative;
that is, if M ∈ A and N ∈ A then M N = N M . This follows from
Lemma 1.3. The following rather technical lemma is the building block
for the main result.
Lemma 2.4 Let U1 , . . . , Um be non-zero orthogonal subspaces of RΩ
such that RΩ = U1 ⊕ · · · ⊕ Um . For 1 i m, let Qi be the orthogonal
projector onto Ui . Let M be a symmetric matrix which commutes with
Qi for 1 i m. Let the eigenspaces of M be V1 , . . . , Vr . Let the non-
zero subspaces among the intersections Ui ∩ Vj be W1 , . . . , Wt . Then
36 The Bose–Mesner algebra
(i) RΩ = W 1 ⊕ · · · ⊕ W t ;
(ii) if k = l then Wk ⊥ Wl ;
(iii) for 1 k t, the space Wk is contained in an eigenspace of M ;
(iv) for 1 k t, the orthogonal projector onto Wk is a polynomial
in Q1 , . . . , Qm and M .
Proof Part (iii) is immediate from the definition of the Wk . So is
part (ii), because Ui1 ⊥ Ui2 if i1 = i2 and Vj1 ⊥ Vj2 if j1 = j2 so the two
spaces Ui1 ∩ Vj1 and Ui2 ∩ Vj2 are either orthogonal or equal.
For 1 j r, let Pj be the projector onto Vj . Since Pj is a polynomial
in M , it commutes with Qi , so Ui is geometrically orthogonal to Vj . By
Lemma 2.2, the orthogonal projector onto Ui ∩ Vj is Qi Pj , which is a
polynomial in Qi and M . This proves (iv).
Finally, Qi Pj = O precisely when Ui ∩ Vj = {0}, so the sum of the
orthogonal projectors onto the spaces Wk is the sum of the non-zero
products Qi Pj , which is equal to the sum of all the products Qi Pj . But
Qi Pj = Qi Pj = I 2 = I,
i j i j
r
Ai = C(i, e)Se
e=0
We now have two bases for A: the adjacency matrices and the stratum
projectors. The former are useful for addition, because Aj (α, β) = 0 if
(α, β) ∈ Ci and i = j. The stratum projectors make multiplication easy,
because Se Se = Se and Se Sf = O if e = f .
Before calculating any eigenvalues, we note that if A is the adjacency
matrix of any subset C of Ω × Ω then Aχα = {χβ : (β, α) ∈ C}. In
particular, Ai χα = χCi (α) and Jχα = χΩ . Furthermore, if M is any
matrix in RΩ×Ω then M χΩ = ω∈Ω M χω . If M has constant row-
sum r then M χΩ = rχΩ .
A0 χΩ = IΩ χΩ = χΩ
A1 χΩ = a1 χΩ = (k − 1)χΩ
A2 χΩ = a2 χΩ = (b − 1)kχΩ .
A1 χα = χ∆ − χα A2 χα = χΩ − χ∆
A1 χβ = χ∆ − χβ A2 χβ = χΩ − χ∆
and
A2 χ∆ = A2 χα = k(χΩ − χ∆ ),
α∈∆
For this reason the stratum projectors are sometimes called minimal
idempotents or primitive idempotents.
Lemma 2.8 The space W spanned by χΩ is always a stratum. Its pro-
−1
jector is |Ω| JΩ .
−1
Proof The orthogonal projector onto W is |Ω| JΩ because
JΩ χΩ = JΩ χω = |Ω| χΩ
ω∈Ω
and
JΩ (χα − χβ ) = 0.
This is an idempotent contained in A, so it is equal to e∈F Se , for
some subset F of {0, . . . , s}, by Lemma 2.7. Then
−1
1 = dim W = tr |Ω| JΩ = tr Se = dim We
e∈F e∈F
and
Se = D(e, i)Ai . (2.4)
i∈K
40 The Bose–Mesner algebra
C(i, 0) = ai because Ai χΩ = ai χΩ ;
1 1 1
D(0, i) = because S0 = J= Ai ;
|Ω| |Ω| |Ω|
i∈K
de
D(e, 0) = because de = tr(Se )
|Ω|
= D(e, i) tr(Ai )
i∈K
ϕe : Ai → C(i, e)Se
ai |Ω| if i = j
C(i, e)C(j, e)de =
e∈E 0 otherwise.
Proof We calculate the trace of Ai Aj in two different ways. First
Ai Aj = C(i, e)Se C(j, f )Sf
e f
= C(i, e)C(j, e)Se
e
so
tr(Ai Aj ) = C(i, e)C(j, e) tr(Se )
e
= C(i, e)C(j, e)de .
e
But Ai Aj = k pkij Ak so tr(Ai Aj ) = p0ij |Ω|; and p0ij = 0 if i = j, while
p0ii = ai .
C diag(d)C = n diag(a)
so
C diag(d)C diag(a)−1 = nI.
and
1 0 0
diag(d) = 0 b(k − 1) 0
0 0 b−1
so D is equal to
1 0 0 1 k−1 (b − 1)k 1 0 0
1
0 b(k − 1) 0 1 −1 0
0
1
0
bk k−1
0 0 b−1 1 k−1 −k 0 0 1
(b−1)k
which is
1 1 1
1
b(k − 1) −b 0 .
bk
b−1 b − 1 −1
Note that the entries in the top row are all equal to 1/bk, while those in
the first column are the dimensions divided by bk.
From D we can read off the stratum projectors as
1 1
S0 = (A0 + A1 + A2 ) = J,
bk bk
1 1 1
Swithin = (b(k − 1)A0 − bA1 ) = I − (A0 + A1 ) = I − G,
bk k k
where G = A0 + A1 , which is the adjacency matrix for the relation ‘is
in the same group as’, and
1
Sbetween = ((b − 1)(A0 + A1 ) − A2 )
bk
1 1 1
= ((b − 1)G − (J − G)) = G − J.
bk k bk
as required.
2.4 Techniques
Given an association scheme in terms of its parameters of the first kind,
we want to find
• its strata;
• the dimensions of the strata;
• the matrix D expressing the stratum projectors as linear combin-
ations of the adjacency matrices;
• the minimal polynomial of each adjacency matrix;
• the eigenvalues of each adjacency matrix;
• the character table (the matrix C).
There are several techniques for doing this.
Of course, the strata are invariant under every matrix in the Bose–
Mesner algebra, but they are not the only such subspaces, so our first
technique needs a little luck.
Equivalently, start at a point on the cube, take one yellow step and
then one black one: where can you get to? The point at the end of the
red edge from the starting point can be reached in three ways along a
yellow-black path, and each point at the end of a yellow edge from the
starting point can be reach in two ways along such a path. Similarly,
Y 2 = 3I + 2B (2.5)
and
Y R = B.
2.4 Techniques 45
So
Y 3 = 3Y + 2Y B = 3Y + 4Y + 6R = 7Y + 6R
and
Thus
O = Y 4 − 10Y 2 + 9I = (Y 2 − 9I)(Y 2 − I),
and the eigenvalues of Y are ±3 and ±1. (This verifies one eigenvalue
we already know: the valency of yellow, which is 3.)
The eigenspace W+1 of Y with eigenvalue +1 has projector S+1 given
by
(3I − B)(Y + I) 3I + 3Y − B − Y B 3I + Y − B − 3R
= = = .
8 8 8
The other three eigenprojectors are found similarly. The dimensions
follow immediately: for example
There are two small variations on Technique 2.2. The first is necessary
if your chosen Ai has fewer than s + 1 distinct eigenvalues. Then you
need to find the eigenprojectors for at least one more adjacency matrix,
and take products of these with those for Ai . Continue until you have
s + 1 different non-zero projectors. A good strategy is to choose a com-
plicated adjacency matrix to start with, so that it is likely to have many
eigenvalues. That is why we used Y instead of R in Example 2.3.
The other variation is always possible, and saves some work. We know
that χΩ is always an eigenvector of Ai with eigenvalue ai . So we can find
the other eigenvalues of Ai by working on the orthogonal complement
W0⊥ of χΩ . We need to find the polynomial p(Ai ) of lowest degree such
that p(Ai )v = 0 for all v in W0⊥ . Every power of Ai has the form
46 The Bose–Mesner algebra
j µj Aj . If v ∈ W0⊥ then Jv = 0 so ( j Aj )v = 0, so
s
s−1
µj Aj v = (µj − µs )Aj v.
j=0 j=0
Thus for our calculations we can pretend that J = O and work with one
fewer of the Aj .
so
Y 3 + 3Y 2 − Y − 3I = O
so
(Y 2 − I)(Y + 3I) = O.
as before.
If D is known, find the dimensions from the first column and then find
C by using
C = n diag(a)D diag(d)−1 . (2.7)
Technique 2.5 Use the orthogonality relations and/or the fact that the
dimensions must be integers to complete C or D from partial informa-
tion. In particular
C(i, e) = 0 if e = 0; (2.8)
i∈K
C(i, e)de = 0 if i = 0; (2.9)
e∈E
D(e, i) = 0 if i = 0 (2.10)
e∈E
and
D(e, i)ai = 0 if e = 0. (2.11)
i∈K
A21 = 2I + (J − A1 − I).
W0 W1 W2
(1) (d1 ) (d2 )
0 (1) 1 1 1
√ √
−1 + 5 −1 − 5
1 (2)
2
2 2
2 (2) 2
48 The Bose–Mesner algebra
−1 + 5 −1 − 5
0= C(1, e)de = 2 + d1 + d2 .
e
2 2
√
To get rid of the 5, we must have d1 = d2 . But e de = 5, so
d1 = d2 = 2.
The sums of the entries in the middle column and the final column
must both be 0, so the complete character table is as follows.
W0 W1 W2
(1) (2) (2)
0 (1) 1 1 1
√ √
−1 + 5 −1 − 5
1 (2)
2
2√ 2√
−1 − 5 −1 + 5
2 (2) 2
2 2
m
t t(
( (( (
( (
h
XhXhXh Xh Xh h
α
β X
X
Pk (i, j)
Ci (α) Cj (α)
and
Ai (Aj Az ) = Ai pyjz Ay = pxiy pyjz Ax .
y∈K x∈K y∈K
for i, j, x and z in K.
Now
(Pi Pj )(x, z) = Pi (x, y)Pj (y, z)
y
= pxiy pyjz
y
= pkij pxkz
k
= pkij Pk (x, z),
k
and so Pi Pj = k pij Pk . Therefore ϕ(Ai )ϕ(Aj ) =
k
pkij ϕ(Ak ) =
k k
ϕ( k pij Ak ) = ϕ(Ai Aj ).
Corollary 2.17 The matrices Ai and Pi have the same minimal poly-
nomial and hence the same eigenvalues.
and
0= C(1, e)de = 3 − 2d1 + d2 ,
e
0 1 2
(1) (4) (5)
0 (1) 1 1 1
1 (3) 3 −2 1 .
2 (6) 6
Apart from the 0-th column, the column sums must be zero, so
0 1 2
(1) (4) (5)
0 (1) 1 1 1
C = 1 (3) 3 −2 1 .
2 (6) 6 1 −2
Then
1 0 0 1 3 6 1 0 0
1
D = 0 4 0 1 −2 1 0 1
3 0
10
0 0 5 1 1 −2 0 0 1
6
2.4 Techniques 51
1 1 1
8 2
1
4 −
3
3
= .
10 5
5
5 −
3 3
α∈∆i
but also this value is real. If ∈ {1, −1} then v is real; otherwise v
and its complex conjugate v̄ have the same real eigenvalue so v + v̄ and
i(v − v̄) are distinct real vectors with eigenvalue α∈∆i α .
Example 2.6 The 6-circuit gives the blueprint {0}, {±1}, {±2}, {3}
52 The Bose–Mesner algebra
6 + 56 (twice)
26 + 46 (twice)
36 + 36 (once)
66 + 66 (once),
find powers of Ai
?
minimal polynomial of Ai
S ?
SS
o
use the
factorize the minimal S
e (x − λe ) polynomial
Bose–Mesner
HH isomorphism
Y
H ? +
HH
eigenvalues of Ai
9
@
@
I
(Ai − λf I) 6 integer conditions and
Se =
f
row entries of C orthogonality relations
e (λe − λf )
6 ?
character table C
dimensions
Q
*
QQ
k
Q
C = n diag(a)D diag(d)−1 Q guess
? strata
B
BM
−1 −1
D=n diag(d)C diag(a) cyclic
6
?
strata
6
image of Se
:
-
matrix
D first column
shows that
Moreover,
A2 = aI + pA + q(J − A − I),
54 The Bose–Mesner algebra
p
q
( (t
(
a C (((( (
m
t
```
(
``` AC
(( ((((
` ACt
(
α 1 a−p−1
G1 (α) G2 (α)
1 a n−a−1
Theorem 2.19 If the two strata other than W0 have the same dimen-
sion d then n = 4q + 1, a = d = 2q and p = q − 1.
Theorem 2.20 If the two strata other than W0 have different dimen-
sions then (q − p)2 + 4(a − q) is a perfect square t2 , and t divides
(n − 1)(p − q) + 2a, and the quotient has the same parity as n − 1.
Proof Put u = (q − p)2 + 4(a − q). The roots of Equation (2.14) are
√
p−q± u
.
2
2.5 Parameters of strongly regular graphs 55
Exercises
2.1 Give an alternative proof that the space W spanned by χΩ is always
a stratum by showing directly that
2.5 Verify the four sets of orthogonality relations for the group-divisible
association scheme GD(b, k).
2.6 (a) Finish Example 2.3 (the cube association scheme) by finding
the remaining three stratum projectors, the dimensions of the
strata and the character table.
(b) Verify that the four vectors below are eigenvectors, with different
eigenvalues, of the adjacency matrix Y for the cube association
scheme, and that the stratum projectors found in part (a) do
indeed have the right effect on these vectors.
1t t1 −1 t t1
@ @
@ @
@t t @t t
1 1 1 −1
1t t1 −1 t t1
@ @
@ @
t @t t @t
1 1 1 −1
Exercises 57
0t t1 0t t1
@ @
@ @
@t t @t t
0 −1 0 1
1t t0 −1 t t0
@ @
@ @
t @t t @t
−1 0 −1 0
2.7 Find the minimal polynomial for the adjacency matrix A1 in the
Hamming association scheme H(4, 2). Hence find the character table for
H(4, 2).
2.8 Let Ω be the set of 2-subsets of an n-set Γ. Consider the triangular
association scheme on Ω.
For γ in Γ, define the subset F (γ) of Ω by F (γ) = {ω ∈ Ω : γ ∈ ω}.
Let Wparents be the subspace of RΩ spanned by vectors of the form
χF (γ) − χF (δ) for γ and δ in Γ. Prove that Wparents is a sub-eigenspace
of A1 .
(The terminology comes from genetics, where {γ, δ} represents the
genotype obtained by crossing two pure lines γ and δ.)
⊥
Put Woffspring = (W0 + Wparents ) . Then Woffspring is spanned by
vectors such as χ{γ,δ} + χ{η,ζ} − χ{γ,η} − χ{δ,ζ} where γ, δ, η and ζ
are distinct elements of Γ. Show that Woffspring is also a sub-eigenspace
of A1 .
Hence find all the parameters of the second kind for the triangular
scheme T(n).
The preceding approach uses Technique 2.1. Now find the parameters
using Technique 2.2. (Hint: you should obtain Equation (5.1) on the
way.)
2.9 Derive the four equations (2.8)–(2.11).
2.10 Find the matrices C and D for the icosahedral association scheme
from Exercise 1.20.
2.11 Find the stratum projectors and the character table for the distance-
regular graph in Exercise 1.27.
2.12 Consider the association scheme of Latin-square type L(3, n). Find
its character table and the dimensions of its strata. Find its stratum
projectors in terms of the matrices I, J, R, C and L used in Example 1.6.
58 The Bose–Mesner algebra
2.13 Find the stratum projectors and character table for the cube-edge
association scheme in Exercise 1.16.
2.14 Complete the character table for the 6-circuit in Example 2.6.
2.15 Show that {0}, {4}, {2, 6}, {1, 3, 5, 7} is a blueprint for Z8 . Find
the character table of the corresponding association scheme.
2.16 Find the character table for the strongly regular graph defined by
the blueprint in Example 1.8.
2.17 For each of the values of n, a, p and q below, either describe a
strongly regular graph on n vertices with valency a such that every edge
is contained in p triangles and every non-edge is contained in q paths of
length 2, or prove that no such strongly regular graph exists.
(a) n = 10, a = 6, p = 3, q = 4.
(b) n = 13, a = 6, p = 2, q = 3.
(c) n = 13, a = 6, p = 5, q = 0.
(d) n = 16, a = 9, p = 4, q = 6.
(e) n = 16, a = 9, p = 6, q = 3.
(f) n = 20, a = 4, p = 3, q = 0.
(g) n = 20, a = 6, p = 1, q = 2.
(h) n = 170, a = 13, p = 0, q = 1.
2.18 A connected regular graph with diameter s is a Moore graph if it
contains no circuits of length less than 2s + 1.
(a) Prove that a Moore graph with diameter 2 is a strongly regular
graph in which n = a2 + 1, p = 0 and q = 1.
(b) Prove that, for such a Moore graph, a ∈ {2, 3, 7, 57}.
(c) Draw a Moore graph with diameter 2.
3
Combining association schemes
59
60 Combining association schemes
R(Ω1 ×Ω1 )×(Ω2 ×Ω2 ) and R(Ω1 ×Ω2 )×(Ω1 ×Ω2 ) and define M ⊗ N to be the
matrix in R(Ω1 ×Ω2 )×(Ω1 ×Ω2 ) given by
(M ⊗ N ) (f ⊗ g) = (M f ) ⊗ (N g)
M ⊗ (λN1 + µN2 ) = λM ⊗ N1 + µM ⊗ N2
and
(λM1 + µM2 ) ⊗ N = λM1 ⊗ N + µM2 ⊗ N ;
3.2 Crossing
For the rest of this chapter we need notation for two different associ-
ation schemes which is as close as possible to that used heretofore with-
out being cumbersome. For symbols which are not already suffixed the
obvious solution is to affix suffices 1 and 2. Otherwise the only clean
solution is to use two different but related symbols, as shown in Table 3.1.
AC×D = AC ⊗ AD . (3.1)
Proof Equation (3.1) shows that all the adjacency matrices have the
required form. For (i, x) in K1 × K2 , the set of (i, x)-th associates of
(α1 , α2 ) is
(Ai ⊗ Bx ) (Aj ⊗ By ) = Ai Aj ⊗ Bx By
3.2 Crossing 63
= pij Ak ⊗
k
qxy Bz
z
k∈K1 z∈K2
= pkij qxy
z
Ak ⊗ Bz ,
(k,z)∈K1 ×K2
same different
(1) (n−1)
1 1
U0 (1)
Dn = n n .
n−1 −1
U0⊥ (n−1)
n n
(Why is it not correct to write ‘nDn = Cn ’ ?)
So the strata for n × m are U0 ⊗ V0 , U0 ⊗ V0⊥ , U0⊥ ⊗ V0 and U0⊥ ⊗ V0⊥ .
Showing the associate classes in the order ‘same’, ‘same row’, ‘same
column, ‘other’, the character table Cn×m is
and the inverse Dn×m is (showing the rows in the same order as the
columns of Cn×m )
3.3 Isomorphism
Definition Let Q1 be an association scheme on Ω1 with classes Ci for
i in K1 , and let Q2 be an association scheme on Ω2 with classes Dj for
j in K2 . Then Q1 is isomorphic to Q2 if there are bijections φ: Ω1 → Ω2
and π: K1 → K2 such that
Example 3.3 Let Q1 be GD(2, 2), which gives the strongly regular
graph on the left of Figure 3.2, with classes C0 , C1 and C2 , where
Let Q2 be
4 , which gives the strongly regular graph on the right of
3.3 Isomorphism 67
a t tc 0 t t1
b t td 3 t t2
Q1 Q2
D1 = {(0, 1), (1, 0), (1, 2), (2, 1), (2, 3), (3, 2), (3, 0), (0, 3)} .
Let
φ(a) = 0 φ(b) = 2 φ(c) = 1 φ(d) = 3
and
π(0) = 0 π(1) = 2 π(2) = 1.
A B C D 1 2 3 4 A B C D
D A B C 5 6 7 8 B A D C
C D A B 9 10 11 12 C D A B
B C D A 13 14 15 16 D C B A
(the letters r, c and l denote ‘same row’, ‘same column’ and ‘same letter’
respectively). However, there are edges in Q1 which are not contained
in two complete graphs of size 4. For example, the triangles through
{1, 2} are as follows.
1
t
XX
""bbXXX
l r
t "
t" c r r bbt rXXXX
XXX 13 b " t 4
6 3
XX b l r "
XXb "
c XX t r
b
"
2
So Q1 cannot be isomorphic to Q2 .
Theorem 3.6 Crossing is commutative in the sense that Q1 × Q2 is
isomorphic to Q2 × Q1 .
Proof Take φ((ω1 , ω2 )) = (ω2 , ω1 ) and π((i, x)) = (x, i).
Theorem 3.7 Crossing is associative in the sense that Q1 ×(Q2 ×Q3 ) ∼
=
(Q1 × Q2 ) × Q3 .
3.4 Nesting 69
3.4 Nesting
When we cross Q1 with Q2 , the new underlying set can be thought of
as the rectangle Ω1 × Ω2 . When we nest Q2 within Q1 we replace each
element of Ω1 by a copy of Ω2 . Then the old adjacencies within Ω1 apply
to whole copies of Ω2 , while the old adjacencies within Ω2 apply only
within each separate copy.
Moreover,
(Ai ⊗ JΩ2 ) (IΩ1 ⊗ Bx ) = Ai ⊗ bx JΩ2 ,
70 Combining association schemes
and
(IΩ1 ⊗ Bx ) (IΩ1 ⊗ By ) = IΩ1 ⊗ Bx By = qxy
z
IΩ1 ⊗ Bz .
k∈K2
Example 3.7 The underlying set for the association scheme 3/ 5 con-
sists of three separate pentagons, as shown in Figure 3.3. One point is
labelled 0. Each other point is labelled i if it is an i-th associate of the
point 0, according to the following table.
(same, same) 0 (same, non-edge) 2
(same, edge) 1 (different, any) 3
0 3 3
∗ ∗ ∗
1 ∗ ∗ 1 3 ∗ ∗ 3 3 ∗ ∗ 3
∗ ∗ ∗ ∗ ∗ ∗
2 2 3 3 3 3
Contrast this with Example 3.2. Also contrast it with the association
scheme 5 /3, where the underlying set is a pentagon with three points
at each vertex. This is shown in Figure 3.4, labelled as follows.
(same, same) 0 (edge, any) 2
(same, different) 1 (non-edge, any) 3
Theorem 3.9 Let the strata for Q1 be Ue , for e in E1 , and the strata
for Q2 be Vf , for f in E2 . Then the strata for Q1 /Q2 are Ue ⊗ V0 , for
e in E1 , and RΩ1 ⊗ Vf , for f in E2 \ {0}.
Moreover, let C be the character table of Q1 /Q2 , and D its inverse,
3.4 Nesting 71
0
∗
1∗ ∗1
2 2
∗ ∗
2∗ ∗2 2∗ ∗2
3
3
∗ ∗
3∗ ∗3 3∗ ∗3
Fig. 3.4. The association scheme
5 /3
and
1
D(e, i) = D1 (e, i) for e ∈ E1 and i ∈ K1 \ {0} ,
n2
de
D(e, x) = for e ∈ E1 and x ∈ K2 ,
n1 n 2
D(f, i) = 0 for f ∈ E2 \ {0} and i ∈ K1 \ {0} ,
and
(RΩ1 ⊗ Vf ) = RΩ1 ⊗ V0⊥ ,
f ∈E2 \{0}
so the sum of these spaces is RΩ1 ×Ω2 . Since |E1 ∪ (E2 \ {0})| = |E1 | +
|E2 | − 1 = |K1 | + |K2 | − 1 = |(K1 \ {0}) ∪ K2 |, in order to prove that
the named subspaces are strata it suffices to show that they are sub-
eigenspaces of every adjacency matrix. The entries in C come as part
of this demonstration.
Let i ∈ K1 \ {0}, x ∈ K2 , e ∈ E1 , f ∈ E2 \ {0}, u ∈ Ue , w ∈ RΩ1 and
v ∈ Vf . Then
1 de
= D1 (e, i)Ai ⊗ JΩ2 + IΩ1 ⊗ Bx ,
n2 n 1 n2
i∈K1 \{0} x∈K2
while
IΩ1 ⊗ Tf = IΩ1 ⊗ D2 (f, x)Bx .
x∈K2
3.4 Nesting 73
E1 E2 \ {0}
while D is
K1 \ {0} K2
1 1
E1 [D1 omitting 0-th column] diag(d)JE1 ,K2
n2 n1 n2
So
(b − 1)k −k 0
C= 1 1 1
k−1 k − 1 −1
and
1 1 1
1
D= −1 b−1 b − 1 .
bk
0 b(k − 1) −b
74 Combining association schemes
This agrees with Example 2.2, except for the order in which the rows
and the columns are written.
We see that it is not possible to simultaneously (i) label both the rows
and the columns of C and D by (some of) the indices for Q1 followed by
(some of) the indices for Q2 and (ii) show both the diagonal associate
class and the stratum W0 as the first row and column of these matrices.
This is because the diagonal class of Q1 /Q2 is labelled by the diagonal
class of Q2 while the 0-th stratum of Q1 /Q2 is labelled by the 0-th
stratum of Q1 . As explained before, where there is a natural bijection,
or even partial bijection, between K and E, it may not carry the 0-th
associate class to the 0-th stratum.
Theorem 3.10 Nesting is associative in the sense that Q1 /(Q2 /Q3 ) is
isomorphic to (Q1 /Q2 )/Q3 .
Note that algebraists write wreath products with the operands in the
reverse order. Both orders are in use by combinatorialists.
5/ (H(3, 2) ×
7 ) /4.
The structures which occur most often on the experimental units for
a designed experiment are those formed from trivial association schemes
by crossing and nesting. An experiment to compare drugs which should
relieve the symptoms of a chronic disease might use 200 patients for
6 years, changing each patient’s drug each year: the structure (ignoring
the drug treatments) is 200 × 6. An experiment on feeding piglets will
use piglets from several litters. Typically the litters are not exactly the
same size, but the experimenter uses the same number from each litter,
say the nine biggest piglets. If there are 12 sows, this gives the structure
12/9.
More interesting are association schemes derived from three trivial
association schemes.
3.5 Iterated crossing and nesting 75
PP
P PP
PPPP P PP
P P
PPP PP P P top shelf
PP P P
PPP middle shelf
PP
PPP bottom shelf
PP
PPP
rowsPP columns
same ear;
same cow, different ear;
same herd, different cow;
different herd.
Example 3.10 Consumer experiments give some interesting examples.
If each of twelve housewives tests two new vacuum cleaners per week for
four weeks we have (4 × 12)/2. See Figure 3.7. The classes are
hw hw hw hw hw hw hw hw hw hw hw hw
1 2 3 4 5 6 7 8 9 10 11 12
week 1 ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗
week 2 ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗
week 3 ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗
week 4 ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗ ∗∗
Example 3.11 On the other hand, if four housewives test one cleaner
each week for the first four weeks, then four more housewives test clean-
ers for the next four weeks, then four more for a third “month” of four
weeks, we have 3/(4 × 4). See Figure 3.8. Now the classes are
four-month period, each sheep was given a new feed each month. The
association scheme on the sheep-months (ignoring the feeds) was thus
4 × (3/4). The classes are
There are other ways than crossing and nesting of making new associ-
ation schemes from old. Some are described in Chapters 9 and 10.
Exercises
3.1 Prove Proposition 3.1.
3.2 Find the character tables of T(5) × 2 and of n × m × r.
3.13 Describe the association schemes obtainable from four trivial associ-
ation schemes by crossing and nesting.
3.14 Write down as many association schemes as you can think of which
have eight elements. Give enough detail about them to show that they
are all distinct. (There are ten, and you know them all.)
4
Incomplete-block designs
79
80 Incomplete-block designs
δ1 δ2 δ3
Ω ω1 ω2 ω3 ω4 ω5 ω6 ω7 ω8 ω9 ω10 ω11 ω12
ψ 1 2 3 4 1 2 5 6 3 4 5 6
With the plots in the obvious order, the blocks matrix B is given by
1 1 1 1 0 0 0 0 0 0 0 0
1 1 1 1 0 0 0 0 0 0 0 0
1 1 1 1 0 0 0 0 0 0 0 0
1 1 1 1 0 0 0 0 0 0 0 0
0 0 0 0 1 1 1 1 0 0 0 0
0 0 0 0 1 1 1 1 0 0 0 0
B=
.
0 0 0 0 1 1 1 1 0 0 0 0
0 0 0 0 1 1 1 1 0 0 0 0
0 0 0 0 0 0 0 0 1 1 1 1
0 0 0 0 0 0 0 0 1 1 1 1
0 0 0 0 0 0 0 0 1 1 1 1
0 0 0 0 0 0 0 0 1 1 1 1
1
The stratum projectors are 12 J, 14 B − 12
1
J and I − 14 B.
With the plots in the same order as above and treatments also in the
4.1 Block designs 81
Then X X = 2I.
Lemma 4.1 (i) If the design is binary then Λ(θ, θ) is equal to the
replication of θ, and, for η = θ, Λ(θ, η) is equal to the number of
blocks in which θ and η both occur.
(ii) η∈Θ Λ(θ, η) = krθ ; in particular, in an equi-replicate binary
design
Λ(θ, η) = r(k − 1).
η∈Θ
η=θ
(iii) Λ = X BX = N N .
Proof The first two parts are simple counting, while the third uses
Technique 1.1.
Example 4.1 revisited The incidence matrix N and concurrence
matrix Λ are shown with their rows and columns labelled for clarity.
1 2 3 4 5 6
1 2 2 1 1 1 1
1 2 3 4 5 6 2
2 2 1 1 1 1
δ1 1 1 1 1 0 0
3 1 1 2 2 1 1
N = δ2 1 1 0 0 1 1 Λ= .
4 1 1 2 2 1 1
δ3 0 0 1 1 1 1
5 1 1 1 1 2 2
6 1 1 1 1 2 2
It is clear that Λ = N N = X BX.
The dual block design to (Ω, G, Θ, ψ) is obtained by interchanging the
roles of Θ and ∆. So the experimental units of the dual design are still
the elements of Ω, but the blocks are the sets ψ −1 (θ) for θ in Θ. These
new blocks define a group-divisible association scheme G ∗ on Ω of type
GD(t, r). The dual design is the quadruple (Ω, G ∗ , ∆, ψ ∗ ) where the dual
design function ψ ∗ : Ω → ∆ is given by
ψ ∗ (ω) = old block containing ω.
The incidence matrix for the dual design is N .
Example 4.2 The dual of the design in Example 4.1 has treatment set
{δ1 , δ2 , δ3 }. Its blocks are {δ1 , δ2 }, {δ1 , δ2 }, {δ1 , δ3 }, {δ1 , δ3 }, {δ2 , δ3 }
and {δ2 , δ3 }.
Definition The treatment-concurrence graph of an incomplete-block
design is the (not necessarily simple) graph whose vertices are the treat-
ments and in which the number of edges from θ to η is Λ(θ, η) if θ = η.
4.2 Random variables 83
cov (Y (α), Y (β)) = E [(Y (α) − E(Y (α))) (Y (β) − E(Y (β)))] .
The covariance of Y (α) with itself is called the variance of Y (α), written
Var(Y (α)). The covariance matrix Cov(Y ) of the random vector Y is
defined by
Cov(Y )(α, β) = cov (Y (α), Y (β)) .
Lemma 4.5 The expectation of the sum of the squares of the entries in
the random vector Y is equal to E(Y Y ) and to tr(Cov(Y ))+E(Y ) E(Y ).
E(Y ) = Xτ + h, (4.2)
We want to use the observed values of the Y (ω) from the experiment
to estimate τ . However, let U0 be the subspace of RΘ spanned by χΘ .
Then
XχΘ = χΩ ∈ VB ,
Var(w QY ) = w Qwσ 2
= (Xz + u) Q(Xz + u)σ 2
= (z X QXz + z X Qu + u QXz + u Qu) σ 2
= (z X QXz + u Qu) σ 2
Put z = 121
(7χ1 + χ2 − 7χ3 − χ4 ). Direct calculation shows that Lz = x,
so we estimate τ (1)−τ (3) by z X QY . Now, the effect of Q is to subtract
the block average from every entry in a block, so
12z X QY = 7Y (ω1 ) + Y (ω2 ) − 7Y (ω3 ) − Y (ω4 )
+ 5Y (ω5 ) − Y (ω6 ) − 2Y (ω7 ) − 2Y (ω8 )
− 5Y (ω9 ) + Y (ω10 ) + 2Y (ω11 ) + 2Y (ω12 ).
This time the response on every plot contributes to the estimator of
τ (1) − τ (3), whose variance is
σ2 2 7σ 2
2
(7 + 12 + 72 + 12 + 52 + 12 + 22 + 22 + 52 + 12 + 22 + 22 ) = .
12 6
Since so many more responses are involved, it is, perhaps, not surprising
that this variance is greater than the variance of the estimator of the
difference τ (1) − τ (2). (This issue will be discussed in Section 5.3.)
Finally, we look at a non-simple contrast. Put x = χ1 + χ2 − χ3 − χ4 .
90 Incomplete-block designs
rx L− x σ 2
and the efficiency factor for x is
x x
.
rx L− x
If x is the simple contrast for the difference between treatments θ and
η then x x = 2. Thus
2 σ2
Var(τ (θ) − τ (η)) = . (4.6)
r efficiency factor for x
Theorem 4.11 Let ε be the efficiency factor for a contrast x. Then
0 ε 1.
4.4 Efficiency factors 91
Technique 4.1 To find the canonical efficiency factors, find the eigen-
values of Λ, divide by rk, subtract from 1, and ignore one of the zero
values. There will always be a zero value corresponding to the eigen-
vector χΘ ; if the design is connected then that will be the only zero
value.
Technique 4.3 If the basic contrasts and their canonical efficiency fac-
tors are known, express an arbitrary contrast x as a sum x1 + · · · + xm
of basic contrasts with different canonical efficiency factors ε1 , . . . , εm .
If the design is connected then none of ε1 , . . . , εm is zero. Since the
distinct eigenspaces of L are orthogonal to each other, xi L− xj = 0 if
i = j, so
m
xi xi
rx L− x = .
i=1
εi
σ2
= L− (θ, θ) − L− (θ, η) − L− (η, θ) + L− (η, η)
t(t − 1) η θ
σ2 −
= L (θ, θ) + L− (η, η) , because the row and
t(t − 1) η
θ column sums of L−
are zero,
σ2
= 2t tr L−
t(t − 1)
2σ 2 1 1
= + ··· + , where µ1 , . . . , µt−1 are the eigen-
t − 1 µ1 µt−1
values of L on U0⊥ ,
2σ 2 r r
= + ··· +
r(t − 1) µ1 µt−1
2
2σ 1
= × µ1 µt−1
r harmonic mean of , ...,
r r
2σ 2
= .
rA
Theorem 4.13 The canonical efficiency factors, including multiplicities,
of an equi-replicate incomplete-block design and its dual are the same,
apart from |b − t| values equal to 1.
Note that if the canonical efficiency factors are ε1 , . . . , εt−1 then the
rkεi are the zeros of the monic integer polynomial
However, to estimate, rather than compare, the variance once the experi-
ment has been done, we need to estimate σ 2 from the data. This requires
the projector onto VB⊥ ∩ (Im X)⊥ .
Lemma 4.14 Let ε1 , . . . , εm be the distinct non-zero canonical eff-
iciency factors. For i = 1, . . . , m, let Ui be the eigenspace of L with
eigenvalue rεi and let Pi be the matrix of orthogonal projection onto Ui .
Then
(i) the dimension of the image of QXPi is equal to dim Ui ;
(ii) if i =
j then Im QXPi is orthogonal to Im QXPj ;
(iii) the matrix of orthogonal projection onto Im QXPi is equal to
(rεi )−1 QXPi X Q;
(iv) the matrix of orthogonal projection onto VB⊥ ∩ (Im X)⊥ is
m
1
Q− QXPi X Q
i=1
rε i
by part (iii) and Lemma 2.1(v). Then Lemma 2.1(vi) gives the
result.
E(RY ) = RXτ + Rh = 0
so d∗ = bk − b − t + 1.
Ω Block Θ Y PY QY
1 1 1 101 290.75 −189.75
2 1 2 291 290.75 0.25
3 1 4 373 290.75 82.25
4 1 3 398 290.75 107.25
5 2 8 265 283.25 −18.25
6 2 7 106 283.25 −177.25
7 2 6 312 283.25 28.75
8 2 5 450 283.25 166.75
9 3 7 89 276.50 −187.50
10 3 3 407 276.50 130.50
11 3 4 338 276.50 61.50
12 3 8 272 276.50 −4.50
13 4 5 449 296.25 152.75
14 4 6 324 296.25 27.75
15 4 1 106 296.25 −190.25
16 4 2 306 296.25 9.75
17 5 2 334 302.00 32.00
18 5 6 323 302.00 21.00
19 5 7 128 302.00 −174.00
20 5 3 423 302.00 121.00
21 6 8 279 290.25 −11.25
22 6 1 87 290.25 −203.25
23 6 4 324 290.25 33.75
24 6 5 471 290.25 180.75
25 7 8 302 314.75 −12.75
26 7 4 361 314.75 46.25
27 7 2 272 314.75 −42.75
28 7 6 324 314.75 9.25
29 8 1 131 279.00 −148.00
30 8 5 437 279.00 158.00
31 8 7 103 279.00 −176.00
32 8 3 445 279.00 166.00
so
12 −2 −2 −2 −3 −1 −1 −1
−2 12 −2 −2 −1 −3 −1 −1
−2 −2 −2 −1 −1 −3 −1
12
1 1
−2 −2 −2 12 −1 −1 −1 −3
L = 4I − Λ = .
4 4 −3 −1 −1 −1 12 −2 −2 −2
−1 −3 −1 −1 −2 12 −2 −2
−1 −1 −3 −1 −2 −2 12 −2
−1 −1 −1 −3 −2 −2 −2 12
3 −1 −1 −1 −3 1 1 1
−1 3 −1 −1 1 −3 1 1
−1 −1 3 −1 1 −3
1 1
1
−1 −1 −1 3 1 1 1 −3
P4 = .
8 −3 1 1 1 3 −1 −1 −1
1 −3 1 1 −1 3 −1 −1
1 1 −3 1 −1 −1 3 −1
1 1 1 −3 −1 −1 −1 3
Θ X QY P3 X QY /3 P4 X QY /4
1 −731.25 −10.792 −174.719
2 −0.75 15.708 −11.969
3 524.75 −30.292 153.906
4 223.75 30.875 32.781
5 658.25 −13.542 174.719
6 86.75 12.958 11.969
7 −714.75 −33.042 −153.906
8 −46.75 28.125 −32.781
vectors in RΘ
Then x3 ∈ U3 and so
τ
(1) − τ
(2) + τ
(5) − τ
(6) = −10.792 − 15.708 − 13.542 − 12.958
= −53.000
with variance 4σ 2 /3. Let x4 = χ1 − χ2 − χ5 + χ6 . Then x4 ∈ U4 and so
τ
(1) − τ
(2) − τ
(5) + τ
(6) = −174.719 + 11.969 − 174.719 + 11.969
= −325.500
with variance 4σ 2 /4. Thus τ
(1) − τ
(2) = −189.25 with variance given
by Technique 4.3 as
1 4 4 7 2
+ σ2 = σ .
4 3 4 12
The sum of the squares of the entries in QY is Y QY . For i = 3 and
i = 4, the sum of the squares of the entries in Pi X QY /(rεi ) is equal to
Y QXPi X QY /(rεi )2 ; multiplying by rεi gives the quantity to subtract
from Y QY in the calculation of Y RY . Thus
vector sum of squares multiply by
QY 462 280.7500 1 462 280.750
P3 X QY /3 4 468.1250 −3 −13 404.375
P4 X QY /4 110 863.2735 −4 −443 453.094
5 423.281
Since d∗ = 32 − 8 − 7 = 17, we estimate σ 2 as 5423.281/17 = 319.
The business of drawing inferences about contrasts x τ in the light
of the estimated magnitude of σ 2 is covered in textbooks on statistical
inference and is beyond the scope of this book.
4.5 Estimating variance 101
***** Analysis of variance *****
Variate: yield
block stratum
fertiliz 4 3724.9 931.2 3.61
Residual 3 774.1 258.0 0.81
block.plot stratum
fertiliz 7 456857.5 65265.4 204.58
Residual 17 5423.3 319.0
Total 31 466779.7
block stratum
frow 0.250
fcol 0.250
block.plot stratum
frow 0.750 block
fcol 0.750 block
Variate: yield
fertiliz 1 2 3 4 5 6
frow 1 1 1 1 2 2
fcol 1 2 3 4 1 2
106.1 295.3 415.2 355.3 452.8 316.5
fertiliz 7 8
frow 2 2
fcol 3 4
104.6 286.9
Table fertiliz
rep. 4
d.f. 17
s.e.d. 14.12
Except when comparing means with the same level(s) of
frow 13.64
fcol 13.15
equal to 0 or 1 are not shown. The items called frow and fcol will be
explained in Section 5.2.
Further output is shown in Figure 4.3. The part labelled Tables of
means gives estimates of τ (1) to τ
(8). We have already noted that you
cannot estimate these values. However, if the figures given in the output
are substituted in contrasts then they do give the correct estimates. For
example, τ(1) − τ(2) = 106.1 − 295.3 = −189.2, which is correct to one
decimal place.
The final section of output gives Standard errors of differences of
means, which are the square roots of the estimated variances of the
estimators of differences τ (θ) − τ (η). Treatments 1 and 2 have the same
value (called level ) of frow, so the standard error of their difference is
13.64, which is indeed equal to
7
× 319.
12
4.6 Building block designs 103
4.6.1 Juxtaposition
Suppose that (Ω1 , G1 , Θ, ψ1 ) and (Ω2 , G2 , Θ, ψ2 ) are block designs for the
same treatment set Θ, with b1 , b2 blocks respectively, all of size k. If
Ω1 ∩ Ω2 = ∅ then G1 and G2 define a partition of Ω1 ∪ Ω2 into b1 + b2
blocks of size k, with a corresponding group-divisible association scheme
G on Ω1 ∪ Ω2 . Define ψ: Ω1 ∪ Ω2 → Θ by ψ(ω) = ψ1 (ω) if ω ∈ Ω1 and
ψ(ω) = ψ2 (ω) if ω ∈ Ω2 . Then (Ω1 ∪ Ω2 , G, Θ, ψ) is a block design with
b1 + b2 blocks of size k.
Let Λ be the concurrence matrix of the new design, and let Λ1 and Λ2
be the concurrence matrices of (Ω1 , G1 , Θ, ψ1 ) and (Ω2 , G2 , Θ, ψ2 ). Then
Λ = Λ 1 + Λ2 .
Suppose that x in RΘ is a basic contrast of both component designs,
with canonical efficiency factors ε1 and ε2 respectively. Then Λi x =
kri (1 − εi )x for i = 1, 2, where ri is the replication in (Ωi , Gi , Θ, ψi ).
Thus
Λx = k(r1 − r1 ε1 + r2 − r2 ε2 )x
= k(r1 + r2 )(1 − ε)x,
where
r1 ε 1 + r2 ε 2
ε= . (4.9)
r1 + r 2
It follows that x is also a basic contrast of the new design and its canon-
104 Incomplete-block designs
x ε1 ε2 ε
1
χ1 + χ2 − χ3 − χ4 0 1
2
1
χ1 − χ2 + χ3 − χ4 1 0
2
χ1 − χ2 − χ3 + χ4 1 1 1
Example 4.4 revisited Now take the first design to be the 2-replicate
design constructed above, and the second to have blocks {1, 4} and
{2, 3}. The union is the unreduced design for four treatments in blocks
of size 2. Now the canonical efficiency factors are shown in Table 4.4.
We shall show in Section 5.2 that the canonical efficiency factors for an
unreduced design all have the same value, namely t(k − 1)/(t − 1)k.
4.6 Building block designs 105
x ε1 ε2 ε = (2ε1 + ε2 )/3
1 2
χ1 + χ2 − χ3 − χ4 1
2 3
1 2
χ1 − χ2 + χ3 − χ4 1
2 3
2
χ1 − χ2 − χ3 + χ4 1 0
3
4.6.2 Inflation
If we have a block design for t treatments in blocks of size k, its m-fold
inflation is a design for mt treatments in blocks of size mk, obtained by
replacing every treatment in the original design by m new treatments.
Formally, let the original design be (Ω, G, Θ, ψ) and let Γ = {1, . . . , m}.
In the new design the set of experimental units is Ω × Γ and the set
of treatments is Θ × Γ. The group-divisible association scheme G ∗ is
defined on Ω × Γ by putting (ω1 , γ1 ) and (ω2 , γ2 ) in the same (new)
block whenever ω1 and ω2 are in the same block in (Ω, G). The new
design function ψ ∗ is defined by ψ ∗ (ω, γ) = (ψ(ω), γ). The concurrence
matrix Λ∗ of (Ω×Γ, G ∗ , Θ×Γ, ψ ∗ ) is related to the concurrence matrix Λ
of (Ω, G, Θ, ψ) by Λ∗ = Λ ⊗ JΓ .
Example 4.5 The unreduced design for treatment set {θ, η, ζ} in blocks
of size two has blocks {θ, η}, {θ, ζ} and {η, ζ}. For the 2-fold inflation,
replace θ by new treatments 1 and 2, replace η by new treatments 3
and 4, and replace ζ by new treatments 5 and 6. This gives the block
design in Example 4.1.
Λ∗ (x ⊗ χΓ ) = (Λ ⊗ JΓ ) (x ⊗ χΓ )
= Λx ⊗ JΓ χΓ
= rk(1 − ε)x ⊗ mχΓ
= r(mk)(1 − ε)x ⊗ χΓ
so x⊗χΓ is a basic contrast of the new design and its canonical efficiency
factor is ε.
106 Incomplete-block designs
where N1 and N2 are the incidence matrices for the two designs.
Define a group-divisible association scheme G on Ω1 ∪ Ω2 by letting
its blocks be the sets δ ∪ π(δ) for blocks δ in ∆1 . Define the function
ψ: Ω1 ∪ Ω2 → Θ1 ∪ Θ2 by ψ(ω) = ψ1 (ω) if ω ∈ Ω1 and ψ(ω) = ψ2 (ω) if
ω ∈ Ω2 . Then (Ω1 ∪ Ω2 , G, Θ1 ∪ Θ2 , ψ) is a block design with b blocks of
size k1 + k2 .
Like juxtaposition, orthogonal superposition can be used to create a
good design from two poor components. It can also be iterated.
Example 4.6 Take b = 16, t1 = t2 = 4 and k1 = k2 = 1, so that
the component designs are not even connected. If Θ1 = {1, 2, 3, 4} and
Θ2 = {5, 6, 7, 8} then the first design has four blocks {1}, and so on, while
the second design has four blocks {5}, and so on. We can choose π to
satisfy the orthogonality condition by letting π map the four blocks {1}
to one each of the blocks {5}, {6}, {7}, {8} and so on. The superposed
design has the following 16 blocks:
{1, 5} {1, 6} {1, 7} {1, 8}
{2, 5} {2, 6} {2, 7} {2, 8}
{3, 5} {3, 6} {3, 7} {3, 8}
{4, 5} {4, 6} {4, 7} {4, 8}.
4.6 Building block designs 107
Now we can iterate the construction. Let Θ3 = {9, 10, 11, 12}. Con-
sider the design for Θ3 whose 16 singleton blocks are laid out in a Latin
square as follows:
9 10 11 12
12 9 10 11
11 12 9 10
10 11 12 9.
This Latin square gives us a bijection to the previous set of 16 blocks, and
the bijection satisfies the orthogonality condition. The new superposed
design has the following 16 blocks:
{1, 5, 9} {1, 6, 10} {1, 7, 11} {1, 8, 12}
{2, 5, 12} {2, 6, 9} {2, 7, 10} {2, 8, 11}
{3, 5, 11} {3, 6, 12} {3, 7, 9} {3, 8, 10}
{4, 5, 10} {4, 6, 11} {4, 7, 12} {4, 8, 9}.
Let Λ1 , Λ2 and Λ be the concurrence matrices of the two component
designs and the superposed design. Then
Θ1 Θ2
r2
Θ1 Λ1 J
b .
Λ= r2
Θ2 J Λ2
b
Let x be a basic contrast of the first component design with canonical
efficiency factor ε. Define x̃ in RΘ1 ∪Θ2 by x̃(θ) = x(θ) for θ in Θ1 and
x̃(θ) = 0 for θ in Θ2 . Then x̃ is also a contrast, and Λx̃ = Λ1 x =
rk1 (1 − ε)x̃. Therefore x̃ is a basic contrast of the superposed design
and its canonical efficiency factor is equal to
k1 ε + k2
. (4.11)
k1 + k2
Similarly, canonical efficiency factors of the second component design
give rise to canonical efficiency factors of the superposed design. Finally,
Λ(k2 χΘ1 − k1 χΘ2 ) = 0, because b/r = t1 /k1 = t2 /k2 , so k2 χΘ1 − k1 χΘ2
has canonical efficiency factor equal to 1.
4.6.4 Products
For i = 1, 2, let (Ωi , Gi , Θi , ψi ) be a block design for ti treatments repli-
cated ri times in bi blocks of size ki , with block set ∆i and concurrence
matrix Λi . Put Ω = Ω1 × Ω2 and Θ = Θ1 × Θ2 . Define a group-divisible
association scheme G on Ω by letting its blocks be δ1 × δ2 for δ1 in ∆1
and δ2 in ∆2 . Define ψ: Ω → Θ by ψ(ω1 , ω2 ) = (ψ1 (ω1 ), ψ2 (ω2 )). Then
(Ω, G, Θ, ψ) is a block design for t1 t2 treatments replicated r1 r2 times in
b1 b2 blocks of size k1 k2 : it is the product of the two component designs.
The concurrence matrix Λ of the product design is Λ1 ⊗ Λ2 . Let x and
y be basic contrasts of the component designs with canonical efficiency
factors ε1 and ε2 respectively. Then
Λ(x ⊗ y) = (Λ1 ⊗ Λ2 ) (x ⊗ y)
= Λ1 x ⊗ Λ 2 y
= r1 k1 (1 − ε1 )x ⊗ r2 k2 (1 − ε2 )y
= r1 r2 k1 k2 (1 − ε1 − ε2 + ε1 ε2 )x ⊗ y
Example 4.7 The product of the first design in Example 4.4 with the
unreduced design in Example 4.5 has the following twelve blocks:
{(1, θ), (1, η), (2, θ), (2, η)} {(3, θ), (3, η), (4, θ), (4, η)}
{(1, θ), (1, η), (3, θ), (3, η)} {(2, θ), (2, η), (4, θ), (4, η)}
{(1, θ), (1, ζ), (2, θ), (2, ζ)} {(3, θ), (3, ζ), (4, θ), (4, ζ)}
{(1, θ), (1, ζ), (3, θ), (3, ζ)} {(2, η), (2, ζ), (4, η), (4, ζ)}
{(1, η), (1, ζ), (2, η), (2, ζ)} {(3, η), (3, ζ), (4, η), (4, ζ)}
{(1, η), (1, ζ), (3, η), (3, ζ)} {(2, η), (2, ζ), (4, η), (4, ζ)}.
Exercises
4.1 Write down the concurrence matrix for each of the following incomplete-
block designs.
4.5 Construct the dual to the design in Example 4.4 revisited. Find its
canonical efficiency factors.
4.6 (a) Construct a design for six treatments in nine blocks of size
two using the method of orthogonal superposition. Find its canon-
ical efficiency factors.
(b) Form the 2-fold inflation of the design in part (a) and find its
canonical efficiency factors.
110 Incomplete-block designs
(c) Construct two designs like the one in part (a) and find a bijec-
tion π between their blocks which satisfies the orthogonality con-
dition. Hence construct a design for 12 treatments in nine blocks
of size four and find its canonical efficiency factors.
(d) Which of the designs in parts (b) and (c) has the higher value
of A?
4.7 (a) Find the canonical efficiency factors of the design for four
treatments in 12 blocks of size two which consists of three copies
of {1, 3}, {1, 4}, {2, 3} and {2, 4}.
(b) Hence find the canonical efficiency factors of the following design
for eight treatments in 12 blocks of size four.
! ! ! !
1, 3, 1, 3, 1, 3, 1, 4,
, , , ,
5, 7 5, 8 6, 7 5, 7
! ! ! !
1, 4, 1, 4, 2, 3, 2, 3,
, , , ,
6, 8 6, 8 5, 8 6, 8
! ! ! !
2, 3, 2, 4, 2, 4, 2, 4,
, , , .
6, 7 5, 7 5, 8 6, 7
(c) Find the canonical efficiency factors of the design for four treat-
ments in 12 blocks of size two which consists of two copies of
{1, 2}, {1, 3}, {1, 4}, {2, 3}, {2, 4} and {3, 4}.
(d) Hence find the canonical efficiency factors of the following design
for eight treatments in 12 blocks of size four.
! ! ! !
1, 2, 1, 2, 1, 3, 1, 3,
, , , ,
5, 6 6, 7 5, 7 6, 8
! ! ! !
1, 4, 1, 4, 2, 3, 2, 3,
, , , ,
5, 8 7, 8 5, 8 7, 8
! ! ! !
2, 4, 2, 4, 3, 4, 3, 4,
, , , .
5, 7 6, 8 5, 6 6, 7
(e) Which of the designs in parts (b) and (d) has the higher value
of A?
5
Partial balance
111
112 Partial balance
1 2 3 4 A B C D
5 6 7 8 B A D C
Θ= and Π=
9 10 11 12 C D A B
13 14 15 16 D C B A
with κi = 2(ν0 − νi ).
k 2k 2 2 k (t − 1) 2
Var(τ (θ) − τ (η)) = (1 + 1)σ 2 = σ = σ .
λt λt r (k − 1) t
Equation (4.6) shows that the efficiency factor for every simple contrast
5.2 Variance and efficiency 115
is equal to
t k−1
,
t−1 k
which is indeed the eigenvalue of r−1 L on the whole of U0⊥ .
Proof If t > b then Theorem 4.13 shows that the design has at least
t − b canonical efficiency factors equal to 1. But Example 5.8 shows that
no canonical efficiency factor is equal to 1 in a BIBD.
Example 5.5 revisited Let A be the adjacency matrix for first associ-
ates in the triangular association scheme T(n). The argument at the end
of Section 1.4.4, or the parameters given in Section 1.4.1, show that
A2 = 2I − A + 4J.
Each treatment has six first associates and three second associates, so
the average variance of simple contrasts is
1 18σ 2 21σ 2 19σ 2
2× + = .
3 20 20 20
By Theorem 4.12, the harmonic mean efficiency factor A is equal to
40/57.
Proof We have
1
s
1
L = rI − Λ = rI − λ i Ai .
k k i=0
1
s
Lx = rx − λi C(i, e)x.
k i=0
∗ ∗
∗
∗
give a partially balanced incomplete-block design with t = b = 9, k = 4,
λ0 = 4, λ1 = 1 and λ2 = 2.
Now A21 = 4I + A1 + 2A2 = 4I + A1 + 2(J − I − A1 ). Ignoring J,
we get A21 + A1 − 2I = O so (A1 + 2I)(A1 − I) = O. This leads to the
character table
(1) (4) (4)
λ0 = 4 0th associates (1) 1 1 1
λ1 = 1 1st associates (4) 4 −2 1 .
λ2 = 2 2nd associates (4) 4 1 −2
5.2 Variance and efficiency 117
Thus
Λ = 16S0 + 4S1 + 4S2
so
1
L = 4I − Λ = 3(S1 + S2 ) + 4S3 .
4
The canonical efficiency factors are 3/4 and 1, with multiplicities 4 and 3
respectively. In the notation of Example 4.3, P3 = S1 + S2 and P4 = S3 .
The Genstat analysis shown in Figures 4.2–4.3 used this rectangular
118 Partial balance
a f b e c d
a 2 0 1 1 1 1
f 0
2 1 1 1 1
b 1 1 2 0 1 1
Λ=
e 1 1 0 2 1 1
c 1 1 1 1 2 0
d 1 1 1 1 0 2
One within-groups vector is χa − χf , which is an eigenvector of Λ with
eigenvalue 2. So the within-groups canonical efficiency factor is equal
to 1 − 2/6 = 2/3: it has multiplicity 3. One between-groups vector
is χa + χf − χb − χe . This is an eigenvector of Λ with eigenvalue 0,
so the between-groups canonical efficiency factor is equal to 1, with
multiplicity 2.
The dual design is balanced, with all canonical efficiency factors equal
to (4/3) × (1/2) = 2/3, as shown in Example 5.8. This agrees with
Theorem 4.13.
Technique 5.3 If you remember the stratum projectors for the associ-
ation scheme, express L in terms of them. The coefficients of the pro-
jectors are the eigenvalues of L. Moreover, L− is obtained by replacing
each non-zero coefficient by its reciprocal.
Example 5.11 revisited As we saw in Section 2.3, it is useful to let
G be the adjacency matrix for the relation ‘is in the same group as’.
Then the stratum projectors are
1 1 1 1
J, G − J and I − G,
6 2 6 2
with corresponding dimensions 1, 2 and 3 respectively. Now,
Λ = 2I + (J − G)
5.2 Variance and efficiency 119
so
1 4I − J + G
L = 2I − (2I + J − G) =
3 3
4 1 1 1
= I − G +2 G− J .
3 2 2 6
(Note that the coefficient of t−1 J must be zero, so here is a check on the
arithmetic.) From this we read off the eigenvalues of L as 4/3 and 2,
with multiplicities 3 and 2 respectively. Dividing these by 2 gives the
canonical efficiency factors 2/3 and 1 that we found before.
Moreover,
− 3 1 1 1 1
L = I− G + G− J .
4 2 2 2 6
For treatments that are first associates, the relevant 2 × 2 submatrices
of G and J are both equal to
1 1
,
1 1
2 σ2
,
r efficiency factor
which is equal to
2 3σ 2
2 2
in this case.
For treatments that are second associates we can still ignore J, but
the relevant 2 × 2 submatrices of G and I are both equal to
1 0
0 1
Each treatment has one first associate and four second associates, so
the average variance of simple contrasts is
+ 4 × 54 2
3
13 2
2
σ = σ .
5 10
We can also calculate A directly as
−1
3 × 32 + 2 × 1 10
A= = .
5 13
The values of A and of the average variance agree with Theorem 4.12.
Technique 5.4 Calculate the canonical efficiency factors and then check
the arithmetic by verifying that Equation (4.7) holds. Alternatively, if
there is one stratum whose vectors are more difficult for calculations,
then find the other canonical efficiency factors and deduce the missing
canonical efficiency factor from Equation (4.7); that is
s
t(k − 1)
d e εe = ,
e=1
k
τ (θ) − τ (η), as we have seen in all of the examples so far. Why is this?
Suppose that treatments θ and η but not ζ occur in one block, while
treatments η and ζ but not θ occur in the next, so that a fragment of
the design is
Block 1 Block 2
Ω . . . ω1 ω2 ω3 ω4 . . .
ψ θ η η ζ
An unbiased estimator of τ (θ) − τ (η) from Block 1 is Y (ω1 ) − Y (ω2 ),
which has variance 2σ 2 ; an unbiased estimator of τ (θ) − τ (ζ) from these
two blocks is Y (ω1 ) − Y (ω2 ) + Y (ω3 ) − Y (ω4 ), which has variance 4σ 2 .
Thus every path in the treatment-concurrence graph from one treatment
to another gives an unbiased estimator of the difference between those
treatments, and the variance of the estimator is proportional to the
length of the path. Hence the conventional wisdom that the more closely
that θ and η are connected in the graph then the lower is the variance
of the estimator of τ (θ) − τ (η).
Unfortunately, this does not imply that higher concurrence always
leads to lower variance, as the following example shows.
Example 5.13 Let Θ consist of 36 treatments with the association
scheme 2 × (9/2) shown in Figure 5.1.
For treatments in the same row but different groups, the variance is
1 1691
2× × (1584 − 72 + 198 − 19) = ;
15 840 7920
for treatments in the same box but different rows and columns, it is
1 2070
2× × (1584 − 72 + 360 + 198) = ;
15 840 7920
for treatments in different rows and boxes, it is
1 2051
2× × (1584 − 72 + 360 + 198 − 19) = .
15 840 7920
Ordering the associate classes by ascending size of variance, we have
Table 5.1.
replication r and block size k has exactly two canonical efficiency factors
ε1 and ε2 then the variance of the estimator of τ (θ) − τ (η) is equal to
2σ 2
[rk(ε1 + ε2 ) − r(k − 1) − Λ(θ, η)] .
r2 kε1 ε2
Proof For i = 1, 2, let Pi be the matrix of orthogonal projection onto
the eigenspace of r−1 L with eigenvalue εi . Then
ε1 P1 + ε2 P2 = r−1 L = I − (rk)−1 Λ. (5.2)
Moreover,
I = P1 + P2 + t−1 J,
because the design is connected. From these two equations we obtain
(ε1 − ε2 )P1 = (1 − ε2 )I − (rk)−1 Λ + ε2 t−1 J;
integer with this property, and l divides t (for if not, the remainder on
dividing t by l is a smaller positive number l with Υ + (l mod t) = Υ).
{0, 1, 3}, {1, 2, 4}, {2, 3, 5}, {3, 4, 6}, {4, 5, 7}, {5, 6, 0}, {6, 7, 1}, {7, 0, 2}.
{0, 1, 4}, {1, 2, 5}, {2, 3, 0}, {3, 4, 1}, {4, 5, 2}, {5, 0, 3}, {0, 2, 4}, {1, 3, 5}.
so that
χΥ χ−Υ = mθ (Υ)χθ .
θ∈Θ
Proof Since Equation (5.3) holds in each thin component of the design,
it holds overall, and
Λ= Λ(0, θ)Mθ ,
θ∈Θ
where
1 if ζ − η = θ
Mθ (η, ζ) =
0 otherwise,
as in Section 1.4.5. However, Λ is symmetric, so Equation (5.3) gives
Λ(0, θ) = Λ(−θ, 0) = Λ(0, −θ). The adjacency matrices for the cyclic
association scheme defined by the blueprint {0}, {±1}, {±2} . . . are
(Mθ + M−θ ) if 2θ = 0 and Mθ if 2θ = 0, so Λ is a linear combination
of the adjacency matrices, and so the design is partially balanced with
respect to this association scheme.
Suppose that ∆0 , ∆1 , . . . , ∆s is a blueprint for Zt such that Λ(0, θ) is
constant λi for θ in ∆i . Putting Ai = θ∈∆i Mθ gives Λ = i λi Ai , and
so the design is partially balanced with respect to the cyclic association
scheme defined by the blueprint.
4 − 1 − 2 + 4 − 1 = 4;
otherwise it is
4 + 2 + −2 − 2 = 2 + 2 + −2 ,
because the primitive ninth roots of unity sum to zero (because all the
ninth roots do). Let 9 be a fixed primitive ninth root of unity, and
put x = 9 + −1
9 , y = 9 + 9
2 −2
and z = 49 + −4
9 . Then the canonical
efficiency factors are
3 14 − x 14 − y 14 − z
, , , ,
4 16 16 16
all with multiplicity 2.
Substituting x = 2 cos 40o , y = 2 cos 80o , z = 2 cos 160o gives
xy = (9 + −1 −2
9 )(9 + 9 )
2
= 9 + 39 + −3 −1
9 + 9
= x − 1,
so
4 16 × 195
4A−1 = +
3 901
5.5 Lattice designs 129
so
1 4 × 195 3241
A−1 = + =
3 901 2703
and
2703
A= .
3241
which is equal to
2σ 2 (n + 1) 2σ 2 (rn − n + r)
and
rn rn(r − 1)
which is equal to
2σ 2 (rn + 2r − n − 1)
.
r (r − 1)(n + 1)
This is equal to 2σ 2 /rA, in agreement with Theorem 4.12.
The dual of a square lattice design is a transversal design for r groups
of size n. Such a design may be constructed directly by orthogonal
superposition, as in Example 4.6.
and
Therefore
1
LA1 = 3(n − 1)A1 − A21
n
1
= [−3(n − 1)I + (2n − 1)A1 − 2A2 ] .
n
If we pretend that J = O then
1
LA2 = [3(n − 1)A2 − A1 A2 ]
n
1
= [3I − (2n − 5)A1 + (n + 4)A2 ]
n
and so
L (2n2 + 3n + 6)I + (n + 4)A1 + 2A2 = 6n2 I.
132 Partial balance
Therefore
1 2
L− = 2
(2n + 3n + 6)I + (n + 4)A1 + 2A2 + cJ
6n
for some c. If θ and η are first associates then the variance of the
estimator of τ (θ) − τ (η) is
1 2 2(n2 + n + 1) 2
2σ 2 × 2
(2n + 3n + 6) − (n + 4) = σ ;
6n 3n2
if they are second associates then it is
(2n2 + 3n + 4) 2
σ ;
3n2
and if they are third associates it is
(2n2 + 3n + 6) 2
σ .
3n2
Higher-dimensional lattice designs are constructed similarly. There
are nm treatments, with the Hamming association scheme H(m, n).
There are mnm−1 blocks of size n, and the replication is m. The con-
currence matrix is mI + A1 .
Although square lattices are the most efficient designs possible for
their size (see Section 5.7), higher-dimensional lattice designs become
less efficient (for their size) as m increases.
There is an obvious generalization of Latin square called a Latin cube.
This suggests a generalization of the association scheme of Latin-square
type in Example 1.6 and hence cubic lattice designs with replication big-
ger than three. Unfortunately, the obvious generalization of Example 1.6
does not give an association scheme unless the Latin cube is obtained
from an Abelian group (see Theorem 8.21), in which case the association
scheme is covered by Chapter 8.
A B C D A B C D 1 2 3
C D A B D C B A 4 5 6
D C B A B A D C 7 8 9
B A D C C D A B 10 11 12
The blocks of the design are {1, 2, 3}, {4, 5, 6}, {7, 8, 9}, {10, 11, 12},
{4, 7, 10}, {1, 8, 11}, {2, 5, 12}, {3, 6, 9}, {5, 9, 11} {1, 6, 10}, {2, 4, 8},
{3, 7, 12}, {6, 8, 12}, {1, 5, 7}, {2, 9, 10} and {3, 4, 11}.
Λ = (n − 1)I + Aother .
Therefore,
Λ = (n − 1)rS0 + (n − r)S2 + nS3 ,
∗ A A A
M B B B
B A G G
B A G
B A G G
Fig. 5.2. The association scheme Pair(5): one element ∗ and its associates
Example 5.18 Two copies of the unreduced design for five treatments
in ten blocks of size two can be superposed to satisfy Condition (5.4)
with µ1 = 0 and µ2 = 2. The resulting design has ten blocks of size four,
and is partially balanced with respect to 2 × 5. The association scheme
is
A B C D E
a b c d e
and the superposed design has blocks {A, B, c, d}, {A, C, d, e}, {A, D, b, e},
{A, E, b, c}, {B, C, a, e}, {B, D, c, e}, {B, E, a, d}, {C, D, a, b}, {C, E, b, d}
and {D, E, a, c}.
Proposition 5.15 Given two incomplete-block designs partially balanced
with respect to association schemes Q1 and Q2 respectively, their product
is partially balanced with respect to Q1 × Q2 .
The design in Example 4.7 is partially balanced with respect to the
association scheme H(2, 2) × 3.
5.7 Optimality
Our intuition that “balance is good” is justified by the following results,
all of which assume that we are considering only binary equi-replicate
designs.
Theorem 5.16 For an equi-replicate incomplete-block design for t treat-
ments in blocks of size k, the harmonic mean efficiency factor A is less
than or equal to
t k−1
.
t−1 k
This value is achieved if and only if the design is balanced.
5.7 Optimality 139
Proof From Equation (4.7), the sum of the canonical efficiency factors
is equal to t(k − 1)/k, so their arithmetic mean is t(k − 1)/[(t − 1)k].
The harmonic mean of a set of positive numbers is always less than or
equal to their arithmetic mean, with equality when, and only when, the
numbers are all equal.
Exercises
5.1 For each of the incomplete-block designs in Exercise 4.1, decide
whether it is partially balanced. If it is partially balanced, give the
association scheme with the smallest number of classes with respect to
which it is partially balanced. If it is not partially balanced, explain why
it is not.
5.2 For each of the following designs, decide whether it is (i) partially
balanced (ii) balanced (iii) group-divisible (iv) a transversal design.
(a) The design in Example 4.4 with blocks {1, 2}, {3, 4}, {1, 3} and
{2, 4}.
(b) The design in Example 4.6 for eight treatments in 16 blocks of
size two.
(c) The design in Example 4.6 for 12 treatments in 16 blocks of size
three.
(d) The design in Exercise 4.6 part (b).
(e) The design in Exercise 4.6 part (c).
(f) The design in Exercise 4.7 part (b).
(g) The design in Exercise 4.7 part (d).
(h) The duals of the last five designs.
5.6 Find the canonical efficiency factors of the design in Example 5.5
and verify Theorem 4.12.
5.8 For each of the following designs, find the variances of all simple
contrasts and verify that Theorem 4.12 is satisfied.
(a) Show that the design is partially balanced with respect to the
association scheme (2 × 3)/2 indicated below.
a b c d e f
g h i j k l
5.19 Find the canonical efficiency factors of the cubic lattice design.
5.20 Compare the following two incomplete-block designs for eight treat-
ments in 12 blocks of size 2:
5.24 Find the character table for the association scheme Pair(n), where
n 4. Identify the strata in terms of the characteristic vectors of rows
and columns, and symmetric and antisymmetric vectors. Here a vector
v is defined to be symmetric if v(i, j) = v(j, i) and antisymmetric if
v(i, j) = −v(j, i).
5.26 Prove that all transversal designs are semi-regular. Is the converse
true?
5.27 Consider the affine plane constructed from mutually orthogonal
n × n Latin squares Π1 , . . . , Πn−1 . Let η1 , . . . , ηn+1 be new treatments.
Make a new block design with n2 + n + 1 blocks of size n + 1 by adjoining
ηi to each block of the i-th component design, for 1 i n + 1, and
adjoining the new block {η1 , . . . , ηn+1 }. Prove that the new design is
balanced. (Such a design is called a projective plane.)
5.28 Consider a balanced incomplete-block design with b > t and λ = 1.
(a) Prove that if δ1 and δ2 are two distinct blocks then the number
of treatments that occur in both δ1 and δ2 is equal to either 0
or 1. Prove that both possibilities do arise.
(b) Construct a graph as follows. The vertices are the blocks. There
is an edge between two blocks if there is a treatment which occurs
in both blocks. Prove that the graph is strongly regular.
5.29 Consider a balanced incomplete-block design with b = t and λ = 1.
Let
Γ = {(θ, δ) : there is a plot ω in block δ with ψ(ω) = θ} .
Let C be the subset of Γ×Γ consisting of pairs ((θ1 , δ1 ), (θ2 , δ2 )) for which
either θ1 = θ2 or δ1 = δ2 but not both. Show that the pairs in C form
the edges of a distance-regular graph. (Applying this construction to
the balanced incomplete-block design in Example 5.3 gives the distance-
regular graph in Exercise 1.27.)
5.30 Find an A-optimal incomplete-block design for each set of values
of t, r, b and k below.
(a) t = 6, r = 6, b = 9, k = 4.
(b) t = 6, r = 9, b = 18, k = 3.
(c) t = 7, r = 8, b = 14, k = 4.
(d) t = 8, r = 6, b = 12, k = 4.
(e) t = 9, r = 8, b = 18, k = 4.
(f) t = 10, r = 2, b = 5, k = 4.
(g) t = 14, r = 4, b = 7, k = 8.
(h) t = 16, r = 3, b = 12, k = 4.
(i) t = 20, r = 5, b = 25, k = 4.
6
Families of partitions
(I use the letter F for a typical partition because statisticians call par-
titions factors if they have some physical basis. In Example 3.12, most
statisticians would regard months, houses and sheep as factors, but there
would be some uncertainty as to whether sheep had four or twelve classes:
this is covered in Chapter 9. Not everyone would agree that the partition
into the twelve house-months is a factor. Thus it seems clearer to use the
abstract notion of partition, formalizing the idea behind house-months
as the infimum.)
just as B was defined in Section 4.1. Then, as in Section 4.3, define the
subspace VF of RΩ to be
v ∈ RΩ : v(α) = v(β) whenever α and β are in the same F -class .
145
146 Families of partitions
Fig. 6.1. Hasse diagram for Fig. 6.2. Hasse diagram for
Example 6.1 Example 6.2
Example 6.2 The set of n2 cells in a n × n Latin square has three non-
trivial partitions – into rows, columns and letters. The Hasse diagram
in shown in Figure 6.2.
A set with a partial order on it is often called a poset. Every poset
has a zeta function and a Möbius function, which I shall now define for
our particular partial order.
Let F be any set of partitions of Ω. Define ζ in RF ×F by
1 if F G
ζ(F, G) =
0 otherwise.
The partial order is often considered to be the subset {(F, G) : F G}
of F × F. From this viewpoint, ζ is just the adjacency matrix of .
The elements of F can be written in an order such that F comes
before G if F ≺ G: see Exercise 6.2. Then ζ is an upper triangular
matrix with 1s on the diagonal, so it has an inverse matrix µ which is
also upper triangular with integer entries and 1s on the diagonal. The
matrix µ is called the Möbius function of the poset (F, ).
148 Families of partitions
(i) within each class of F ∨ G, each F -class meets every G-class, and
(ii) for each element ω of Ω,
(When we say that one set ‘meets’ another, we mean that their inter-
section is not empty.)
Then
Thus
VF = WF + WG = WG .
GF GF
Note that, if all the other conditions for an orthogonal block structure
are met, then orthogonality between partitions F and G is easy to check:
whenever {α, β} is contained in an F -class and {β, γ} is contained in a
G-class then there must be some element δ such that {α, δ} is contained
in a G-class and {δ, γ} is contained in an F -class. That is, wherever can
be reached in the two-colour graph for F ∨ G by a red edge followed by
a blue edge can also be reached by a blue edge followed by a red edge.
Theorem 6.8 Let F be an orthogonal block structure on Ω. For F in
F, define the subset CF of Ω × Ω by
(α, β) ∈ CF if F = {G ∈ F : α and β are in the same G-class} .
apply Lemma 6.4(i) and deduce that span {PF : F ∈ F} is closed under
multiplication.
Theorem 6.9 Let F be an orthogonal block structure on Ω. For each F
in F, put
⊥
W F = VF ∩ VG .
GF
Then the non-zero spaces WF , for F in F, are the strata for the associ-
ation scheme. Their projectors SF satisfy
SF = µ(F, G)PG ,
G∈F
because tr PG = dim VG = nG .
6.4 Calculations 155
so
C = µ diag(k)ζ. (6.9)
D = C −1 = µ diag(k)−1 ζ . (6.10)
We can check that this agrees with the results found in Chapter 2.
From Equations (6.5) and (6.8) we obtain the (symmetric) diagonal
matrices of valencies and dimensions as
and
diag(d) = µ diag(n).
6.4 Calculations
Although the existence of the Möbius function is useful for proving gen-
eral results, such as Theorems 6.8 and 6.9, it is rarely used in explicit
156 Families of partitions
and therefore
aF = kF − aG .
G≺F
and
d F = nF − dG
GF
and so the stratum projectors and the dimensions of the strata are cal-
culated recursively, starting at the top of the Hasse diagram.
Example 6.1 revisited Write R, C and B respectively for Rrows ,
Rcolumns and Rrectangles . We have kE = 1, krows = 4, kcolumns = 2,
krectangles = 8 and kU = 24. Working from the bottom of the Hasse
diagram in Figure 6.1, we start with AE = I. Then Arows = R − I and
Acolumns = C − I. Hence
Arectangles = B − Arows − Acolumns − AE
= B − (R − I) − (C − I) − I
= B − R − C + I.
Continuing in this way, we obtain
AE = I aE = 1
Arows = R−I arows = 3
Acolumns = C −I acolumns = 1
Arectangles = B−R−C +I arectangles = 3
AU = J −B aU = 16.
To obtain the strata, we start at the top of the Hasse diagram. For the
dimensions we use the fact that nU = 1, nrectangles = 3, ncolumns = 12,
nrows = 6 and nE = 24. For example, one stage in the calculation is
drows = nrows − drectangles − dU = 6 − 2 − 1 = 3.
6.4 Calculations 157
We obtain
1
SU = J dU = 1
24
1 1
Srectangles = B− J drectangles = 2
8 24
1 1
Scolumns = C− B dcolumns = 9
2 8
1 1
Srows = R− B drows = 3
4 8
1 1 1
SE = I − R− C+ B dE = 9.
4 2 8
It is often quick and convenient to summarize the information about
an orthogonal block structure by tabulating the numbers nF , kF , aF
and dF next to the Hasse diagram, as in Figure 6.4.
U
s
F nF kF aF dF
s rectangles U 1 24 16 1
@ rectangles 3 8 3 2
@
columns 12 2 1 9
rows s @s columns
@ rows 6 4 3 3
@
E 24 1 1 9
@s
E
Fig. 6.4. Summary for Example 6.1
1 0 0 0 0 1 1 1 1 1
−1 1 0 0 0 0 4 0 4 4
=
−1 0 1 0 0
0 0 2 2 2
1 −1 −1 1 0 0 0 0 8 8
0 0 0 −1 1 0 0 0 0 24
1 1 1 1 1
−1 3 −1 3 3
=
−1 −1 1 1 1 .
1 −3 −1 3 3
0 0 0 −8 16
Notice that the entries 1 come in the first row, while the valencies come
in the last column.
Likewise we calculate 24D as
1 −1 −1 1 0 24 0 0 0 0 1 0 0 0 0
0 1 0 −1 0 0 6 0 0 0 1 1 0 0 0
0 0 1 −1 0
0 0 12 0 0 1 0 1 0 0
0 0 0 1 −1 0 0 0 3 0 1 1 1 1 0
0 0 0 0 1 0 0 0 0 1 1 1 1 1 1
6.4 Calculations 159
1 −1 −1 1 0 24 0 0 0 0
0 1 0 −1 0
6 6 0 0 0
=
0 0 1 −1 0
12 0 12 0 0
0 0 0 1 −1 3 3 3 3 0
0 0 0 0 1 1 1 1 1 1
9 −3 −9 3 0
3 3 −3 −3 0
=
9 −3 9 −3 0 .
2 2 2 2 −1
1 1 1 1 1
Here the dimensions come in the first column, while the 1s come in the
last row.
AE = I aE = 1
Agroups = G−I agroups = 1
Arows = R−G arows = 16
Acolumns = C −I acolumns = 1
Aboxes = B−G−C +I aboxes = 1
AU = J −R−B+G aU = 16.
The stratum projectors and their dimensions are as follows.
1
SU = J dU = 1
36
1 1
Sboxes = B− J dboxes = 8
4 36
1 1
Scolumns = C− B dcolumns = 9
2 4
1 1
Srows = R− J drows = 1
18 36
1 1 1 1
Sgroups = G− R− B+ J dgroups = 8
2 18 4 36
1 1 1
SE = I − G− C + B dE = 9.
2 2 4
Calculations with data are also simplified when the relevant associ-
ation scheme is derived from an orthogonal block structure. To estimate
treatment effects and variances from the data from an experiment in
blocks, we need to calculate vectors such as SX QY , where Y is the
data vector, Q is the matrix of orthogonal projection onto VB⊥ , X is the
design matrix and S is a projector onto an eigenspace of X QX: see Sec-
tions 4.3 and 4.5. Section 5.2 shows that if the block design is partially
balanced with respect to an association scheme Q then S may be taken
6.5 Orthogonal block structures from Latin squares 161
AE = I aE = 1
Arows = R−I arows = n−1
Acolumns = C −I acolumns = n−1
Aletters = L−I aletters = n−1
AU = J − R − C − L + 2I aU = (n − 1)(n − 2)
and
1
SU = J dU = 1
n2
1 1
Srows = R − 2J drows = n−1
n n
162 Families of partitions
1 1
Scolumns = C − 2J dcolumns = n−1
n n
1 1
Sletters = L − 2J dletters = n−1
n n
1 1
SE = I− R− C
n n
1 2
− L + 2J dE = (n − 1)(n − 2).
n n
If n = 2 then CU = ∅ and WE = 0.
1
c c
L = rI − bi Ri = rSE + (r − bi )Si .
n i=1 i=1
1 c
1
L− = SE + Si
r i=1
r − bi
1 c
1 (c − 1) c
1 1 1
= I− Ri + J + R i − J .
r i=1
n n2 i=1
r − bi n n2
6.6 Crossing and nesting orthogonal block structures 163
if (θ, η) ∈ CU , and to
1 c − 1 1 1
2 − + σ2
r rn n r − bj
j=i
if (θ, η) ∈ Ci .
(F1 ×E2 )∨(G1 ×E2 ) = (F1 ∨G1 )×E2 and (E1 ×F2 )∨(E1 ×G2 ) =
E1 × (F2 ∨ G2 ). Now, ∨ is commutative and associative, so
(F1 × F2 ) ∨ (G1 × G2 )
= (F1 × E2 ) ∨ (E1 × F2 ) ∨ (G1 × E2 ) ∨ (E1 × G2 )
= (F1 × E2 ) ∨ (G1 × E2 ) ∨ (E1 × F2 ) ∨ (E1 × G2 )
= ((F1 ∨ G1 ) × E2 ) ∨ (E1 × (F2 ∨ G2 ))
= (F1 ∨ G1 ) × (F2 ∨ G2 ).
(iii) From Lemma 6.10, PF1 ×F2 = PF1 ⊗PF2 and PG1 ×G2 = PG1 ⊗PG2 .
If F1 ⊥ G1 and F2 ⊥ G2 then PF1 PG1 = PG1 PF1 and PF2 PG2 =
PG2 PF2 : hence
Diag(Ω1 × Ω2 ) = E1 × E2 ∈ F1 × F2
and
(Ω1 × Ω2 ) × (Ω1 × Ω2 ) = U1 × U2 ∈ F1 × F2 .
F1 × F2 G1 × G2 ⇐⇒ F1 G 1 and F2 G2 .
166 Families of partitions
Thus the zeta function for F1 × F2 is the tensor product of the zeta
functions for F1 and F2 .
Theorem 6.13 For t = 1, 2, let Qt be the association scheme of an
orthogonal block structure Ft on a set Ωt . Let Q be the association
scheme of F1 × F2 . Then Q = Q1 × Q2 .
Proof For t = 1, 2, let ζt and µt be the zeta and Möbius functions
of Ft . Then the zeta function ζ of F1 × F2 is ζ1 ⊗ ζ2 , whose inverse µ is
µ1 ⊗ µ2 . For t = 1, 2, the adjacency matrices of Qt are
AFt = µt (Ft , Gt )RGt
Gt
(F × U2 ) ∧ (E1 × G) = (F ∧ E1 ) × (U2 ∧ G) = E1 × G;
6.6 Crossing and nesting orthogonal block structures 167
(F × U2 ) ∨ (E1 × G) = (F ∨ E1 ) × (U2 ∨ G) = F × U2 ;
and
(E1 × F2 ) ∨ (E1 × G2 ) = E1 × (F2 ∨ G2 ).
U1 U1 × U2
t t
F t F1 F × U2 t
U2
t E1 × U2 t t
E1
tE1 × G F2 tG
t t
E1 × E2 E2
for F2 in F2 .
Now let F1 be any partition in F1 . In Q we have
RF1 ×U2 = ζ (F1 × U2 , G1 × U2 )AG1 ×U2 + AE1 ×H − AE1 ×U2 .
G1 H∈F2
and
RF1 ×U2 = RF1 ⊗ RU2 = RF1 ⊗ JΩ2 .
Theorems 6.13 and 6.15 justify the use of notation such as 3/(2 × 4)
to refer both to an orthogonal block structure and to its corresponding
association scheme.
Exercises 169
Exercises
6.1 Draw the Hasse diagram for each of the following sets F of parti-
tions. Find the zeta function and Möbius function in each case.
(a) The set consists of bk elements, grouped into b blocks of size k,
and F = {E, blocks, U }.
(b) The set is an m × n rectangle, and F = {E, rows, columns, U }.
(c) The set consists of the 90 cows’ ears in Example 3.9, and F =
{E, cows, herds, U }.
6.2 Let (F, ) be a poset. An element of F is said to be maximal if
there is no G in F such that F ≺ G.
(a) Prove that if F is finite then F has at least one maximal element.
(b) Prove that if F contains m elements then there is a bijection π
from F to {1, . . . , m} such that F ≺ G ⇒ π(F ) < π(G).
6.3 For each of the following sets G of partitions, find the smallest set
F which contains G, which is closed under ∧ and ∨, and contains E
and U . Then draw the Hasse diagram for F and find its zeta and
Möbius functions.
(a) The set consists of the 24 mushroom boxes in Example 3.8 and
G consists of the three partitions into 2-dimensional pieces, that
is, rows, columns and shelves.
(b) The set consists of the 48 sheep-months in Example 3.12, and
G = {sheep, houses, months}.
(c) The set consists of the 96 vacuum-cleaner tests in Example 3.10,
and G = {weeks, housewives}.
(d) The set consists of the 48 vacuum-cleaner tests in Example 3.11,
and G = {weeks, housewives}.
6.4 Prove Corollary 6.5.
6.5 For each set F in Exercises 6.1 and 6.3, find the adjacency matrices
and stratum projectors in terms of the relation matrices RF . Also find
the valencies and the dimensions of the strata.
6.6 Let Ω be an n × rn rectangle. An allocation of n letters to the
elements of Ω is a Latin rectangle if every letter occurs once in each
column and r times in each row. Under what condition is there an
orthogonal block structure F containing {rows, columns, letters}?
Draw two Latin rectangles with n = 5 and r = 3, one of which gives
rise to an orthogonal block structure and one of which does not.
170 Families of partitions
Draw the Hasse diagram for the one that is an orthogonal block
structure.
For which values of n and r (if any) are any of the matrices AF equal
to zero in the orthogonal block structure?
6.7 A cheese-tasting experiment is planned for the five days Monday–
Friday. Four students have volunteered to taste cheese. On each of the
five days, all four students will go to the tasting room between 10 a.m.
and 11 a.m. Each student will be given three cheeses to taste within
that hour (leaving time for any after-taste to disappear). Let Ω be the
set of the 60 cheese-tastings.
Let U and E be the two trivial partitions of Ω. Let V be the partition
of Ω into volunteers, and let D be the partition of Ω into days.
Let F = {U, E, V, D, V ∧D}. You may assume that F is an orthogonal
block structure.
(a) Explain in words what each of U , E and V ∧ D is, and state how
many classes each has.
(b) Draw the Hasse diagram for F. Hence calculate its Möbius func-
tion.
(c) Express the adjacency matrices AV , AD , AV ∧D , AU and AE (of
the association scheme defined by F) as linear combinations of
RV , RD , RV ∧D , RU and RE .
(d) Calculate the product AV AD in terms of the adjacency matrices.
6.8 Let L be the orthogonal block structure on a set of size 16 defined
by the rows, columns and letters of a 4 × 4 Latin square. Describe each
of the following orthogonal block structures in words. Draw their Hasse
diagrams and find their adjacency matrices.
(a) 3×L
(b) 3/L
(c) L/3
(d) L×L
(e) L/L
6.9 Construct orthogonal block structures so that
(a) there is a non-trivial partition F with AF = O;
(b) there is a non-trivial partition F with WF = 0.
7
Designs for structured sets
As in Lemma 4.1,
ΛF = X RF X. (7.1)
In particular,
ΛE = X RE X = X IΩ X = diag(r);
171
172 Designs for structured sets
t5
7 0 1 5 2 4 t 9 6 t1
8 7 6 9 5 t t
0 8 5 4 3
3 4 7 2 9 8t t7
9 6 4 1 0
t t
1 2 3 8 6
3 2
Fig. 7.1. The row-column Fig. 7.2. The Petersen graph on the
design in Example 7.1 treatments in Example 7.1
a d b e c f a g b h c i a e e i a i b f f g b g c d c h d h
d g e h f i a d b e c f a f a h f h b d b i d i c e c g e g
a g b h c f d g e h f i a b a c b c d e d f e f g h g i h i
1 2 4 5 4 5 3 6 1 2 3 6
5 4 1 2 5 3 6 4 3 6 2 1
We have
8 8 4 4 4 4 4 4 2 2 2 2
8 8 4 4 4 4 4 4 2 2 2 2
4 4 8 4 4 8 2 2 4 2 2 4
Λblocks = , Λrows =
4 4 4 8 8 4 2 2 2 4 4 2
4 4 4 8 8 4 2 2 2 4 4 2
4 4 8 4 4 8 2 2 4 2 2 4
and
4 0 1 1 1 1
0 4 1 1 1 1
1 1 4 0 1 1
Λcolumns = .
1 1 0 4 1 1
1 1 1 1 4 0
1 1 1 1 0 4
174 Designs for structured sets
A α B β C γ D δ A a B b C c D d α a β b γ c δ d
B γ A δ D α C β B d A c D b C a γ d δ c α b β a
C δ D γ A β B α C b D a A d B c δ b γ a β d α c
D β C α B δ A γ D c C d B a A b β c α d δ a γ b
1 2 2 3 3 4 4 5 5 6 6 7 7 0 0 1
5 7 6 0 7 1 0 2 1 3 2 4 3 5 4 6
3 6 4 7 5 0 6 1 7 2 0 3 1 4 2 5
0 4 1 5 2 6 3 7 4 0 5 1 6 2 7 3
5 2 6 4 5 0 8 7 2 3 1 7 6 9 1 8 4 9 3 0
5 0 8 7 5 9 3 1 9 6 4 7 3 2 4 8 1 2 6 0
2 3 1 7 9 6 4 7 2 9 0 8 0 5 4 1 8 5 6 3
6 9 1 8 3 2 4 8 0 5 4 1 6 3 0 7 7 5 2 9
4 9 3 0 1 2 6 0 8 5 6 3 7 5 2 9 4 1 8 7
1 2 3 4 16 15 14 13 12 11 10 9
5 6 7 8 1 2 3 4 14 13 16 15
9 10 11 12 6 5 8 7 1 2 3 4
13 14 15 16 11 12 9 10 7 8 5 6
Other structures for the plots in a design are in Examples 3.8 and 7.7.
general, needs the two indexing sets K and E (which have the same size,
by Theorem 2.6).
Lemma 4.1(ii) shows that the row sums of ΛF are all equal to rkF , so
rkF = λF i ai (7.2)
i∈K
for all F in F.
For F in F, let GF be the group-divisible association scheme on Ω
defined by the orthogonal block structure {E, F, U }. Then overall partial
balance for (Ω, F, Θ, ψ) is equivalent to partial balance for all the block
designs (Ω, GF , Θ, ψ) with respect to the same association scheme on Θ.
It is possible for each of the individual block designs (Ω, GF , Θ, ψ) to be
partially balanced (with respect to different association schemes on Θ)
without (Ω, F, Θ, ψ) being partially balanced overall. A test for overall
partial balance is commutativity of the concurrence matrices, for if ΛF
and ΛG are in the same Bose–Mesner algebra then ΛF ΛG = ΛG ΛF .
However, commutativity does not guarantee partial balance.
Example 7.1 revisited The Petersen graph and its complement are
equivalent to the triangular association scheme T(5). Thus the design
in Figure 7.1 has overall partial balance. In fact, it is a triangular row-
column design: ‘triangular’ refers to the association scheme on Θ while
‘row-column’ describes the association scheme on Ω.
Figure 7.9 redisplays this design with the treatments relabelled by the
2-subsets of {1, 2, 3, 4, 5}. This shows more transparently that the design
has overall partial balance with respect to T(5).
Fig. 7.9. Row-column design in Example 7.1 with the treatments relabelled
1 2 3 4 1 2 3 4
2 6 5 1 6 1 2 5
5 4 6 3 3 4 5 6
Design ψ1 Design ψ2
1 2 3 4 5 6
1 2 2 1 1 1 1
2
2 2 1 1 1 1
.
Λrows = 3 1 1 2 2 1 1
4 1 1 2 2 1 1
5 1 1 1 1 2 2
6 1 1 1 1 2 2
The block designs in columns are also group-divisible; the groups are
1, 6 2, 3 4, 5 in ψ1
and
1, 5 2, 6 3, 4 in ψ2 .
In design ψ1
2 1 1 1 1 0
1 2 0 1 1 1
1 0 2 1 1 1
Λcolumns =
1 1 1 2 0 1
1 1 1 0 2 1
0 1 1 1 1 2
so
9 9 7 8 8 7
9 9 7 8 8 7
8 7 9 9 7 8
Λrows Λcolumns = .
8 7 9 9 7 8
7 8 8 7 9 9
7 8 8 7 9 9
7.2 Overall partial balance 179
so
9 9 8 8 7 7
9 9 8 8 7 7
8 8 8 8 8 8
Λrows Λcolumns = .
8 8 8 8 8 8
7 7 8 8 9 9
7 7 8 8 9 9
a b c
d e f .
g h i
(Θ)
Label the associate classes of R(3, 3) as in Example 1.3, so that C1
(Θ)
consists of unequal pairs in the same row, C2 consists of unequal pairs
180 Designs for structured sets
(Θ)
in the same column and C3 contains the other unequal pairs. Then
ΛU = 100JΘ
Λherds = 34(IΘ + A1 ) + 33(A2 + A3 )
Λcows = 10IΘ + 2A2 + (A1 + A3 )
ΛE = 10IΘ .
The apparent contradiction is explained by the remark on page 111:
the block design in herds is partially balanced with respect to more
than one association scheme, and we only need to find one of these with
respect to which the block design in cows is partially balanced.
Example 7.4 revisited Call one person for one week a block. The
design is group-divisible with groups
A, B, C, D α, β, γ, δ a, b, c, d.
As in Exercise 2.2, let G be the relation matrix for groups. Then
ΛU = 64J
Λweeks = 16J
Λpeople = 8G + 4(J − G) = 4G + 4J
Λblocks = 8I + (J − G)
ΛE = 8I.
Example 7.5 revisited Write the 16 treatments in a square array as
in Figure 7.11(a). A pair of mutually orthogonal 4 × 4 Latin squares
is in Figure 7.11(b). Now {E, rows, columns, Latin, Greek, U } is an
1 2 3 4 A B C D α β γ δ
5 6 7 8 B A D C γ δ α β
9 10 11 12 C D A B δ γ β α
13 14 15 16 D C B A β α δ γ
ΛU = 9J
Λmonths = I + Arow + 2J
Λhouses = 3J
Λhouse-months = 3(I + Arow )
Λsheep = 3I + Acolumn + ALatin + AGreek
ΛE = 3I
1 2 3 5 6 4
5 6 4 7 8 9
9 7 8 3 1 2
2 8 5 6 9 3
6 3 9 1 4 7
7 4 1 8 2 5
1 2 3
4 5 6
7 8 9
that is, A1 (θ, η) = 1 if θ and η are distinct treatments in the same row
182 Designs for structured sets
U
t
@
@
big rows t @ t big columns
@ @
@ @
rows t @t
corners @t columns
@ @
@ @
@
small rows t @t small columns
@
@
@t
E
or column. Then
ΛU = 16J
Λbig rows = 8J
Λbig columns = 8J
Λcorners = 4J
Λrows = 4I + 3A1 + 2A2
Λcolumns = 4I + 2A1 + 3A2
Λsmall rows = 4I + 2A1
Λsmall columns = 4I + 2A2
ΛE = 4I.
This design has overall partial balance with respect to H(2, 3).
estimator has the smallest variance among all linear unbiased estimators
for x τ .
The design is said to be connected if ker LE is the one-dimensional
(Θ)
space W0 . Using Corollary 4.10, this generalizes the concept of con-
nectedness in Section 4.1, but cannot always be related to connectedness
in a graph.
The properties of the design now follow exactly as in Chapters 4 and 5,
with LE in place of L.
Note that
LE = X QE X = X µ(E, F )PF X
F ∈F
1
= µ(E, F ) X RF X
kF
F ∈F
1
= µ(E, F ) ΛF
kF
F ∈F
184 Designs for structured sets
I = S0 + S1 + S2
A2 = 6S0 + S1 − 2S2
J = 10S0
so
1 1
LE = (75S1 + 72S2 ) = (25S1 + 24S2 ).
30 10
Since r = 3, the canonical efficiency factors are 5/6 and 4/5, with multi-
plicities 4 and 5 respectively. Also
− 1 1
LE = 10 S1 + S2
25 24
1 8 2 1 5 5
= 4I − A1 + A2 + 5I + A1 − A2 .
25 3 3 24 3 3
If θ and η are first associates then the variance of the estimator of the
treatment difference τ (θ) − τ (η) is
4 5 8 5 73 2
2 + + − σ2 = σ ;
25 24 75 72 90
otherwise it is
4 5 2 5 74 2
2 + − + σ2 = σ .
25 24 75 72 90
7.4 Random effects 185
Thus if the fixed-effects model is assumed then the way that treatments
are allocated to herds is immaterial, and there is no point in putting any
constraints on Λherds . Similarly, if the fixed-effects model is assumed in
Example 7.5 then the allocation of treatments to months is immaterial,
and both weeks and people can be ignored in Example 7.4.
It is sometimes more realistic to assume that each partition F con-
tributes not to the expectation of Y but to its pattern of covariance.
Thus in the random-effects model the assumptions are that
E(Y ) = Xτ, (7.5)
where τ is an unknown vector in R , and that there are unknown real
Θ
Cov (QF Y ) = QF ξG QG QF = ξF QF ,
G∈F
(Ω)
which is scalar on WF . Applying Theorems 4.6 and 4.8 to QF Y gives
the following.
Theorem 7.2 Let x be in RΘ and let F be in F. Put LF = X QF X. If
x∈ / Im LF then there is no linear function of QF Y which is an unbiased
estimator for x τ . If there is a vector z in RΘ such that LF z = x then
z X QF Y is an unbiased estimator for x τ with variance z LF zξF ; more-
over, this variance is minimum among variances of unbiased estimators
for x τ which are linear functions of QF Y .
7.4 Random effects 187
(Ω)
The matrix LF is called the information matrix in stratum WF . If
/ Im LF then we say that there is no information on x τ in stratum
x∈
(Ω)
WF .
For F in F, we have
LF = X QF X = X µ(F, G)PG X
G∈F
1
= µ(F, G) X RG X
kG
G∈F
1
= µ(F, G) ΛG . (7.8)
kG
G∈F
Thus if the design has overall partial balance with respect to some associ-
ation scheme Q on Θ then all of the information matrices are in the
(Θ)
Bose–Mesner algebra A of Q. Hence the treatment strata We , for e
in E, are mutual eigenspaces of all the information matrices. In other
words, for all e in E, every non-zero vector in the treatment stratum
(Θ) (Ω)
We is a basic contrast in every plot stratum WF in RΩ .
(Θ)
For e in E, let rεF e be the eigenvalue of LF on We , so that if
x ∈ We then LF x = rεF e x. If εF e = 0 then we cannot estimate x τ
(Θ)
1
εF e x = (εF e x) = (LF x)
r
F ∈F F ∈F F ∈F
1 1
= LF x = X QF X x
r r
F ∈F F ∈F
1 1
= X QF Xx = X IΩ Xx
r r
F ∈F
1
= rIΘ x = x
r
188 Designs for structured sets
and so F ∈F εF e = 1.
1 1
εF e = µ(F, G) λGi C(i, e),
r kG
G∈F i∈K
(Θ)
Thus the eigenvalue of LF on We is
1
µ(F, G) λGi C(i, e).
kG
G∈F i∈K
1
ΛF = ζ(F, G)LG .
kF
G∈F
1
LF = ΛF − LG .
kF
GF
7.4 Random effects 189
Example 7.1 revisited Using the character table from Example 2.5:
1 9 3
ΛU = JΘ = JΘ = 3S0 ;
30 30 10
1 1
Λcolumns = (3I + A1 + 2A2 )
6 6
1
= (3(S0 + S1 + S2 ) + (3S0 − 2S1 + S2 )
6
+ 2(6S0 + S1 − 2S2 ))
1
= 3S0 + S1 ;
2
1 1
Λrows = (3I + 2A1 + A2 )
5 5
1
= (3(S0 + S1 + S2 ) + 2(3S0 − 2S1 + S2 )
5
+ (6S0 + S1 − 2S2 ))
3
= 3S0 + S2 ;
5
Therefore
1
LU = ΛU = 3S0 ;
30
1 1
Lcolumns = Λcolumns − LU = S1 ;
6 2
1 3
Lrows = Λrows − LU = S2 ;
5 5
5 12
LE = ΛE − Lrows − Lcolumns − LU = S1 + S2 ,
2 5
1 64
ΛU = J = 8S0
96 96
1 16
Λweeks = J = 8S0
24 24
1 1 1
Λpeople = (4G + 4J) = (16S1 + 64S0 ) = 2S1 + 8S0
8 8 8
1 1 1
Λblocks = (8I + J − G) = (8S2 + 4S1 + 16S0 )
2 2 2
ΛE = 8I = 8(S0 + S1 + S2 ).
Hence
1
LU = ΛU = 8S0
96
1
Lweeks = Λweeks − LU = 0
24
7.4 Random effects 191
1
Lpeople = Λpeople − LU = 2S1
8
1
Lblocks = Λblocks − Lpeople − Lweeks − LU = 4S2
2
weeks (3) 0 0 0
1
people (11) 0 0
4
1
blocks (33) 0 0
2
3 1
E (48) 0
4 2
1 9
ΛU = J = 3S0
48 48
1 1 1
Λmonths = (4(Srows + S0 ) + 32S0 ) = Srows + 3S0
12 12 3
1 3
Λhouses = J = 3S0
16 16
1 3
Λhouse-months = (4(Srows + S0 )) = 3Srows + 3S0
4 4
192 Designs for structured sets
1 1
Λsheep = (4(Scolumns + SLatin + SGreek + 3S0 ))
4 4
Thus
1
LU = ΛU = 3S0
48
1 1
Lmonths = Λmonths − LU = Srows
12 3
1
Lhouses = Λhouses − LU = 0
16
1 8
Lhouse-months = Λhouse-months − Lhouses − Lmonths − LU = Srows
4 3
1
Lsheep = Λsheep − Lhouses − LU = Scolumns + SLatin + SGreek
4
linear combination
1
Z= cF (x X QF Y ).
rεF e
F ∈Fe
Then E(Z) = F ∈Fe cF x τ so we need cF = 1 for an unbiased esti-
mator for x τ .
Lemma 4.3 shows that
cF
Var Z = Var x X QF Y
rεF e
F ∈Fe
7.4 Random effects 193
8
house-months (6) 0 0 0 0 0
9
1 1 1
sheep (9) 0 0 0
3 3 3
2 2 2
E (27) 0 0 1
3 3 3
cF cG
= x X QF ξH QH QG Xx
rεF e rεGe
F ∈Fe H∈F G∈Fe
c2F
= x LF xξF
(rεF e )2
F ∈Fe
ξF
= c2F x x.
rεF e
F ∈Fe
For fixed cF , this variance is minimized when cF is proportional to
rεF e /ξF , so we combine the separate estimators for x τ into the estima-
tor
rεF e 1
rεF e
x X QF Y .
ˆ
ξF rε Fe ξˆF
F ∈Fe F ∈Fe
1
QF Y, QF Y − Se X QF Y, Se X QF Y d∗F
rεF e
e∈EF
Θ X QB Y PR X QB Y PC X QB Y
1 −10.125 3.750 −13.875
2 37.375 3.750 33.625
3 −18.125 3.750 −21.875
4 5.875 3.750 2.125
5 −17.625 −3.750 −13.875
6 29.875 −3.750 33.625
7 −25.625 −3.750 −21.875
8 −1.625 −3.750 2.125
Variate: yield
fertiliz 1 2 3 4 5 6
frow 1 1 1 1 2 2
fcol 1 2 3 4 1 2
106.2 300.2 417.9 349.6 451.9 320.3
fertiliz 7 8
frow 2 2
fcol 3 4
106.3 280.2
Table fertiliz
rep. 4
s.e.d. 12.89
Except when comparing means with the same level(s) of
frow 12.83
fcol 12.78
t blocks
@
@
halves t @t strips
@
@
quarters t @t half-strips
@
@
@t
E
ΛU = 64J
7.5 Special classes of design 199
Λrows = 4J
Λcolumns = 8I + 7(J − I)
Λblocks = 8I + (J − I)
ΛE = 8I.
1 8 2 0 3 1 4 2 5 3 6 4 7 5 8 6 0 7
2 7 3 8 4 0 5 1 6 2 7 3 8 4 0 5 1 6
3 6 4 7 5 8 6 0 7 1 8 2 0 3 1 4 2 5
4 5 5 6 6 7 7 8 8 0 0 1 1 2 2 3 3 4
Fig. 7.16. Balanced design for a row-column structure with split plots: see
Example 7.10
0 0 3 4 6 1 2 5 5 2 1 6 4 3
5 4 1 1 4 5 0 2 3 6 6 3 2 0
3 1 6 5 2 2 5 6 1 3 4 0 0 4
1 5 4 2 0 6 3 3 6 0 2 4 5 1
6 2 2 6 5 3 1 0 4 4 0 1 3 5
4 6 0 3 3 0 6 4 2 1 5 5 1 2
2 3 5 0 1 4 4 1 0 5 3 2 6 6
rkF = λF 0 + (t − 1)λF 1 ,
200 Designs for structured sets
so
1 rkF
ΛF = (λF 0 − λF 1 ) IΘ − JΘ + JΘ
t t
= (λF 0 − λF 1 ) S1 + rkF S0 .
Therefore
LU = rS0
1
LF = µ(F, G) (λG0 − λG1 ) S1 if F = U .
kG
G∈F
In other words,
1 1
εF 1 = µ(F, G) (λG0 − λG1 )
r kG
G∈F
tλG1
= µ(F, G) 1 − .
rkG
G∈F
Thus the design is weakly cyclic if, for each F in F, the F -classes can
be constructed from one or more initial F -classes by successively adding
1 modulo t. Strongly cyclic designs are weakly cyclic, but there exist
weakly cyclic designs that are not strongly cyclic. However, all weakly
cyclic designs have overall partial balance with respect to the association
scheme t.
0 2 1 3 2 4 3 5 4 0 5 1
4 1 5 2 0 3 1 4 2 5 3 0
Example 7.13 Figure 7.19 shows a design for treatment set Z8 in the
orthogonal block structure (4 × 4)/2. Every row and every column con-
tains each treatment once, and the design in blocks is generated cyclic-
ally from the initial blocks {0, 1} and {0, 3}. Thus the design is weakly
cyclic.
Suppose that the design ψ is strongly cyclic under a permutation π
with ψ(π(ω)) = ψ(ω) + 1. Then π must take the block with {1, 4} to the
block with {2, 5}, so it fixes the last row. However, π must also take the
0 1 2 7 4 3 6 5
2 3 0 5 6 1 4 7
4 5 6 3 0 7 2 1
6 7 4 1 2 5 0 3
Fig. 7.19. Cyclic row-column design with split plots in Example 7.13
202 Designs for structured sets
block with {6, 7} to the block with {7, 0}, so it moves the last row to
the third row. This contradiction shows that there can be no such π.
In fact, there is not even a way of relabelling the treatments to make
the design strongly cyclic. The pairs of treatments in the blocks are
all different, so any relabelling of the treatments must produce at least
one block δ which contains 0 and an odd number. This block has eight
distinct translates, which must be equally distributed among some rows
permuted in a cycle by π. Either these translates form all the blocks in
two rows interchanged by π, or π permutes all the rows in a 4-cycle. In
either case π 4 fixes every row. Similarly, π 4 fixes every column. There-
fore π 4 must fix every block. However, ψ(π 4 (ω)) = ψ(ω) + 4, so π 4 does
not fix δ.
Let Υ1 and Υ2 be subsets of Zt . Suppose that, for {i, j} = {1, 2}, the
translates
Υi + υ for υ in Υj
consist of all distinct translates of Υi equally often. Then the following
construction gives a weakly cyclic row-column design: label the rows by
Υ1 and the columns by Υ2 , and put treatment υ1 + υ2 into the cell in
row υ1 and column υ2 .
Example 7.14 In Z10 we may take Υ1 = {0, 5, 1, 6, 2, 7} and Υ2 =
{0, 2, 4, 6, 8}. This gives the design in Figure 7.20, which is strongly
cyclic.
0 2 4 6 8
5 7 9 1 3
1 3 5 7 9
6 8 0 2 4
2 4 6 8 0
7 9 1 3 5
Example 7.15 Contrast the two cyclic designs for 13 treatments in the
nested row-column structure 13/(2 × 3) whose initial blocks are shown
in Figure 7.21.
Design ψ1 is partially balanced with respect to the cyclic association
scheme Q defined by the blueprint in Example 1.8. Putting
A1 (θ, η) = 1 if θ − η ∈ {±1, ±3, ±4},
204 Designs for structured sets
0 1 4 1 2 4
4 0 1 5 8 3
we find that
Exercise 2.16 shows that Q has two 6-dimensional strata and that
√
√
−1 + 13 −1 − 13
A1 = 6S0 + S1 + S2 .
2 2
Hence we can calculate the canonical efficiency factors, which are shown
in Table 7.9.
1 1
Λcolumns = rI + b2i Ai = b2i (S0 + Si ) = rS0 + b2i Si
n n
ΛE = rI
and so εrows,i = b1i /r, εcolumns,i = b2i /r and εEi = (r − b1i − b2i )/r.
(Ω)
if (α, β) ∈ CF . Hence
M̃ = q(F ; θ, η)M (θ, η)BF ,
F ∈F θ∈Θ η∈Θ
Therefore
Thus
Therefore
Var(z Xψ QF Y ) = E1 (Z κ(zz )QF Z)
z LF z
= (Ω)
E1 (Z QF Z).
dF
1 1
ξˆF = ∗ Y QF Y − Y QF Xψ Se Xψ QF Y ,
dF rεF e
e∈EF
where d∗F = dF −
(Ω) (Θ)
e∈EF de . Now,
Y QF Y = τ Xψ QF Xψ τ + Z QF Xψ τ + τ Xψ QF Z + Z QF Z
so
EΨ (Y QF Y ) = τ LF τ + Z QF Z
and so
E(Y QF Y ) = τ LF τ + E1 (Z QF Z).
= EΨ (tr(QF Xψ Se Xψ QF ))
= rεF e d(Θ)
e .
Consequently,
(Θ)
rεF e de
EΨ (Z QF Xψ Se Xψ QF Z) = (Ω)
Z QF Z
dF
and so
(Θ)
1 de
E Y QF Xψ Se Xψ QF Y = τ LF Se τ + (Ω) E1 (Z QF Z).
rεF e dF
Now, e∈EF LF Se = LF and e∈EF de = dF −d∗F , so E(ξˆF ) =
(Θ) (Ω)
E1 (Z QF Z)/dF .
(Ω)
(iii) Estimators from different strata have the form z Xψ QF Y and
w Xψ QG Y for some vectors z and w in RΘ and distinct partitions
F and G in F. From part (i),
Lemma 7.10 shows that EΨ (Xψ wz Xψ )QF = κ(wz )QF . Since
QG QF = 0 we have EΨ (Z QG Xψ wz Xψ QF Z) = 0.
Note that Theorem 7.11 does not require that the designs in Ψ be
partially balanced, or even equi-replicate.
Example 7.17 The following randomization is valid for all nested row-
column designs. Randomly permute the blocks. Within each block,
randomly permute rows and randomly permute columns.
212 Designs for structured sets
(Θ)
whenever (θ, η) ∈ Ci . The design is balanced for P if it is partially
balanced for P with respect to the trivial scheme on Θ.
B
A
t
A
equal different
t t 0 2 0
1 2 1
t t 2 0 2
B
t C 3 0 1
C
Example 7.19 Let (Ω, P) be L(2, 4) and (Θ, Q) be GD(4, 2) with groups
A, B C, D E, F G, H. The design in Figure 7.23 is partially bal-
anced with the values of νF i shown in the table.
Fig. 7.23. Design partially balanced for L(2, 4) with respect to GD(4, 2)
The only difference between this and Equation (7.7) is that we can no
longer use the same set to index both the adjacency matrices and the
(Ω)
strata of P. The information matrix LG in stratum WG is defined,
214 Designs for structured sets
(Θ)
so the canonical efficiency factor εGe for treatment stratum We in plot
(Ω)
stratum WG is
1
D̃(G, F ) νF i C(i, e).
r
F ∈F i∈K
Moreover,
1 t
de εGe = tr LG = D̃(G, F )νF 0 .
r r
e∈E F ∈F
Note that X Q0 X = rS0 always, because
1 r2 r2 t
X Q0 X = X JΩ X = JΘ = S0 = rS0 .
|Ω| |Ω| rt
If P is a general association scheme on Ω then we cannot define an
orthogonal design in terms of partitions. However, Lemma 7.6 shows
that if we define a design to be orthogonal if all the canonical efficiency
factors are in {0, 1} then this definition does specialize to the one given
in Section 7.5.1 if P is defined by an orthogonal block structure. Thus
a design is orthogonal if there is a function e → e from E to G such
that εGe = 1 if G = e and all other canonical efficiency factors are zero.
Equivalent conditions are that the treatment subspace VT is geometric-
(Ω)
ally orthogonal to every plot stratum WG ; and that the treatment
projector PT commutes with every adjacency matrix BF .
For a balanced design, Fisher’s inequality still holds: that is, for each
(Ω) (Ω)
plot stratum WG either LG = 0 or dG t − 1.
10
3
t
4 7
6
t
8
t t t t
t t t t
1
5 t 9 2 t
12 11
for (G, x) in G × X .
for G in G, and
Xφ Se Xφ = r2 ε(2)
ex Tx
x∈X
for e in E. Therefore
(1)
Xφψ QG Xφψ = r1 r2 εGe ε(2)
ex Tx .
x∈X e∈E
and
n
εEe = εparents,e + εoffsping,e
2(n − 1)
(Θ)
for each treatment stratum We .
Although general association schemes do not have fixed-effects models,
for designs on the triangular scheme it is plausible to assume either a
fixed-effects model in which
E(Y ) = Xτ + h
(Ω)
for some h in Wparents , or the random-effects model
with ξoffspring smaller than ξparents . In either case we want the canonical
efficiency factors in the parents stratum to be small. Equation (7.13)
shows that ψ is efficient if and only if ψρ is an efficient block design.
Example 7.22 Figure 7.24 shows two balanced designs for 7 treatments
in T(7). Design ψ1 is constructed from a symmetric idempotent Latin
square so it has εoffspring,1 = 14/15. However, the composite design
ψ2 ρ is not binary: it has concurrence matrix 12IΘ + 4(JΘ − IΘ ) and so
εoffspring,1 = 7/15.
7.7 Designs on association schemes 219
1 2 3 4 5 6 7 1 2 3 4 5 6 7
B C D E F G 1 A G A E E G 1
D E F G A 2 B A B F F 2
F G A B 3 C B C G 3
A B C 4 D C D 4
C D 5 E D 5
E 6 F 6
7 7
Design ψ1 Design ψ2
E(Y ) = Xτ + h
(Ω)
for some h in W1 or the random-effects model with ξ1 bigger than ξ2 .
In either case, Equation (7.14) shows that ψ is a good design if and only
if ψρ is.
Moreover,
1
Q1 = (2(I + M ) + A + B + 4n−1 J)
2(n − 2)
1
Q2 = (2(I − M ) + A − B)
2n
1
Q3 = ((n − 4)(I + M ) − A − B + 2(n − 1)−1 J)
2(n − 2)
1
Q4 = ((n − 2)(I − M ) − A + B).
2n
For brevity, we consider only designs ψ defined by unipotent n × n
7.7 Designs on association schemes 221
X IX = nI
X AX = 2n(J − I)
X (2M + B)X = 2nJ
X JX = n2 J.
Therefore X Q1 X = X Q2 X = O.
Now, X (I + M )X is the concurrence matrix Λ for the block design
in mirror-image pairs, so this block design is partially balanced with
respect to an association scheme Q on the treatments if and only if
(Ω, Pair(n), Θ, ψ) is. Moreover,
1 1
X Q3 X = Λ − rS0 and X Q4 X = rI − Λ
2 2
(Ω) (Ω)
so the canonical efficiency factors in strata W3 and W4 are the same
as those of the block design in the blocks and bottom strata.
If n is an odd integer there is an idempotent Latin square Π in which
the n − 1 treatments are split into groups of two in such a way that
mirror-image pairs in Ω always have the two treatments in a group. For
example, take the set of treatments (letters) to be Zn and put letter i−j
in cell (i, j). An example is shown in Figure 7.25.
A B C D E
A C D B C E A B D
B A C D A B D E C
D B A C D E A C B
C D B A B C D E A
A C D B E D C B A
gonal with
ε3,between = 1 ε3,within = 0
ε4,between = 0 ε4,within = 1.
On the other hand, we may be able to choose Π so that the mirror
images of the n replications of each treatment consist of every other
treatment just once and itself twice. An example is shown in Figure 7.26.
Then Λ = (n + 1)I + J, so the block design is balanced with εB1 =
(n + 1)/2n and εE1 = (n − 1)/2n. Therefore the design on Pair(n) is
also balanced, with canonical efficiency factors ε31 = (n + 1)/2n and
ε41 = (n − 1)/2n.
Finally, if Π is a symmetric Latin square then Λ = 2nI so X Q3 X =
rI − rS0 and X Q4 X = O. Now the design is orthogonal with all
(Ω)
estimation in stratum W3 .
Exercises
7.1 Here are two designs for nested blocks. Show that one is partially
balanced and the other is not. Find the table of canonical efficiency
factors for the design which is partially balanced.
(a) Eight treatments in eight large blocks, each containing two small
blocks of size two.
a d b c e h f g a f b e c h d g
a h b g c f d e a c e g b d f h
(b) Nine treatments in three large blocks, each containing three small
blocks of size four.
a c g i b d h a f h c e
c e i b g i d f h a e g
d f a c e g b d i b f h
7.2 Consider the semi-Latin rectangles in Figures 7.6 and 7.7. For each
one, decide whether it is partially balanced. If it is partially balanced,
find its table of canonical efficiency factors.
Exercises 223
7.3 Here are two semi-Latin rectangles for twelve treatments in the
orthogonal block structure (6 × 6)/2. Show that one is partially bal-
anced and the other is not. Find the table of canonical efficiency factors
for the design which is partially balanced.
a l f k c h b g d i e j
c i b j e f h l g k a d
e k h i d g a f j l b c
d j a e i l c k b f g h
f g c d a b i j e h k l
b h g l j k d e a c f i
a c e g l i k j d h b f
k i a d b g c e j f l h
j e i f a k b h c l d g
f h c b d j a l k g i e
d b l j e h f g a i c k
l g k h c f d i b e a j
a d i l j h e c k f b g
b f g k d a l i e j h c
c e h j g k b f i a d l
7.5 Find the canonical efficiency factors for the designs in Figures 7.3,
7.12, 7.16, 7.17, 7.19 and 7.20.
7.6 Here are two designs for 15 treatments in a 6×10 row-column array.
Show that they are both partially balanced, and find their canonical
efficiency factors. Which do you think is better if the fixed-effects model
is assumed?
224 Designs for structured sets
{2, 3} {2, 4} {2, 5} {2, 6} {3, 4} {3, 5} {3, 6} {4, 5} {4, 6} {5, 6}
{1, 3} {1, 4} {1, 5} {1, 6} {5, 6} {4, 6} {4, 5} {3, 6} {3, 5} {3, 4}
{1, 2} {5, 6} {4, 6} {4, 5} {1, 4} {1, 5} {1, 6} {2, 6} {2, 5} {2, 4}
{5, 6} {1, 2} {3, 6} {3, 5} {1, 3} {2, 6} {2, 5} {1, 5} {1, 6} {2, 3}
{4, 6} {3, 6} {1, 2} {3, 4} {2, 6} {1, 3} {2, 4} {1, 4} {2, 3} {1, 6}
{4, 5} {3, 5} {3, 4} {1, 2} {2, 5} {2, 4} {1, 3} {2, 3} {1, 4} {1, 5}
0 1 3 4 6 7 9 10 12 13
2 3 5 6 8 9 11 12 14 0
5 6 8 9 11 12 14 0 2 3
7 8 10 11 13 14 1 2 4 5
10 11 13 14 1 2 4 5 7 8
12 13 0 1 3 4 6 7 9 10
depth flow-rate
1 2 3
1 a b c
2 d e f
3 g h i
Exercises 225
7.11 Consider the following design for ten treatments in nested blocks.
2 6 8 9 0 3 4 5 2 3 5 9 1 6 7 8
1 2 7 9 3 4 6 8 4 8 0 1 2 5 6 7
4 5 7 1 3 8 9 0 3 4 9 1 5 6 8 0
6 0 2 3 4 7 8 9 6 7 9 3 5 0 1 2
5 6 1 3 7 8 0 2 8 2 4 5 6 9 0 1
8 9 1 5 7 2 3 4 7 8 3 5 9 0 2 4
0 4 6 7 8 1 2 3 0 1 3 7 9 4 5 6
9 0 5 7 1 2 4 6
Investigate whether it is balanced, weakly cyclic or strongly cyclic. Show
that it is partially balanced, and find its table of canonical efficiency
factors.
7.12 Is the design in Figure 7.17 (a) strongly cyclic (b) weakly cyclic?
226 Designs for structured sets
7.15 Two cyclic designs for seven treatments in the orthogonal block
structure 7/(2 × 3) have initial blocks
1 2 4 1 2 4
and .
6 5 3 2 4 1
Show that both designs are balanced. Which is better for the fixed-
effects model? Which is better for the random-effects model?
7.16 There is a cyclic nested row-column design for 13 treatments with
initial block
1 9 3
.
4 10 12
Compare this with the two designs in Example 7.15.
7.17 Explain why the methods of randomization in Examples 7.16, 7.17
and 7.21 satisfy both conditions (7.10) and (7.11). Is the randomization
in Example 7.21 valid for 26/6?
8.1 Blueprints
In this section we generalize the idea of a cyclic association scheme
(Section 1.4.5) to arbitrary finite groups.
Let Ω be a finite group, written multiplicatively, with identity ele-
ment 1Ω . Convolution in RΩ now has to be defined by
(f ∗ g)(ω) = f (α)g(α−1 ω)
α∈Ω
for f , g in R ; in particular,
Ω
χα ∗ χβ = χαβ
for α, β in Ω. In this chapter we use ∗ to denote convolution to distin-
guish it from the pointwise product of functions from Ω to a field.
Let ∆ be a partition of Ω into classes ∆0 , ∆1 , . . . , ∆s . In the notation
of Section 6.1, V∆ is the subspace of RΩ spanned by the characteristic
functions χ∆i of the classes ∆i .
Definition A partition ∆ of the group Ω is a blueprint for Ω if
(i) {1Ω } is a class of ∆;
(ii) for each element ω of Ω and each class ∆i of ∆, if ω ∈ ∆i then
ω −1 ∈ ∆i ;
(iii) V∆ is closed under convolution.
Example 8.1 Forany group Ω, let Inverse be the partition of Ω whose
classes are ω, ω −1 for ω in Ω. If Ω is Abelian then Inverse is a blueprint.
Property (iii) holds because
(χα + χα−1 ) ∗ χβ + χβ −1
= χαβ + χα−1 β −1 + χαβ −1 + χα−1 β
227
228 Groups
= χαβ + χβ −1 α−1 + χαβ −1 + χβα−1
= χαβ + χ(αβ)−1 + χαβ −1 + χ(αβ −1 )−1 .
∆0 ∆1 ∆2 ∆3
1 (1 2 3), (1 3 2) (1 2) (1 3), (2 3)
∆0 1 1 (1 2 3), (1 3 2) (1 2) (1 3), (2 3)
∆1 (1 2 3) (1 2 3) (1 3 2), 1 (2 3) (1 2), (1 3)
(1 3 2) (1 3 2) 1, (1 2 3) (1 3) (2 3), (1 2)
∆2 (1 2) (1 2) (1 3), (2 3) 1 (1 2 3), (1 3 2)
∆3 (1 3) (1 3) (2 3), (1 2) (1 3 2) 1, (1 2 3)
(2 3) (2 3) (1 2), (1 3) (1 2 3) (1 3 2), 1
In fact, Q(∆) ∼
= 3 × 2, so this association scheme is not new even though
it demonstrates a non-trivial blueprint in a non-Abelian group.
230 Groups
8.2 Characters
The technique for finding the character table of a cyclic association
scheme (Technique 2.7) extends with no difficulty to all Abelian-group
schemes.
If Ω is an Abelian group then φ is defined to be an irreducible character
of Ω if φ is a non-zero homomorphism from Ω to the complex numbers
under multiplication. A good account of these characters can be found
in [159, Chapter 2]. However, all we need here are:
φij (αik ) = jk
1 a a2 b b2 ab a2 b2 ab2 a2 b
φ0 1 1 1 1 1 1 1 1 1
φ1 1 3 23 1 1 3 23 3 23
φ̄1 1 23 3 1 1 23 3 23 3
φ2 1 1 1 3 23 3 23 23 3
φ̄2 1 1 1 23 3 23 3 3 23
φ3 1 3 23 3 23 23 3 1 1
φ̄3 1 23 3 23 3 3 23 1 1
φ4 1 3 23 23 3 1 1 23 3
φ̄4 1 23 3 3 23 1 1 3 23
232 Groups
φ0 φ1 φ2 φ3 φ4
(1) (2) (2) (2) (2)
{1}2 (1) 1 1 1 1 1
−1 −1
a, a2 (2) 2 −1 2
−1 −1
b, b2 2 (2)
2 2 −1
ab,2 a b2 (2) 2 −1 −1 −1 2
ab , a b (2) 2 −1 −1 2 −1
1 a a2 a3 b ab a2 b a3 b
φ0 1 1 1 1 1 1 1 1
φ1 1 1 1 1 −1 −1 −1 −1
φ2 1 i −1 −i 1 i −1 −i
φ3 1 i −1 −i −1 −i 1 i
φ4 1 −1 1 −1 1 −1 1 −1
φ5 1 −1 1 −1 −1 1 −1 1
φ̄2 1 −i −1 i 1 −i −1 i
φ̄3 1 −i −1 i −1 i 1 −i
Hence we obtain the character table for the association scheme defined
by the blueprint in Exercise 8.1.
φ0 φ1 φ2 , φ3 φ4 φ5
(1) (1) (4) (1) (1)
{1}3 (1) 1 1 1 1 1
a, a2 (2) 2 2 0 −2 −2
a 3 (1)
1 1 −1 1 1
ab, a2 b (2) 2 −2 0 −2 2
b, a b (2) 2 −2 0 2 −2
(The reader who knows about the character theory of arbitrary finite
groups will ask how this technique generalizes to non-Abelian groups.
The answer is not straightforward. For instance, the association scheme
in Example 8.2 has three associate classes and hence four characters, but
it is derived from a blueprint for S3 , which has only three irreducible
characters.)
8.3 Crossing and nesting blueprints 233
and
χΓx ∗ χΓy = qxy
z
χΓz .
z
θΥ = {θυ : υ ∈ Υ} .
(Some authors call perfect difference sets just difference sets. Unfor-
tunately, the word ‘difference’ is used even for groups written multipli-
catively.)
1 a b c d abcd
1 1 a b c d abcd
a a 1 ab ac ad bcd
b b ab 1 bc bd acd
c c ac bc 1 cd abd
d d ad bd cd 1 abc
abcd abcd bcd acd abd abc 1
θ 1 a a2 a3 b ab a2 b a3 b
λθ 3 1 0 1 2 1 0 1
φ λθ φ(θ) canonical efficiency factor
8
φ1 1
9
4
φ2 , φ̄2 5
9
8
φ3 , φ̄3 1
9
8
φ4 1
9
8
φ5 1
9
Abelian-group block-designs with the same group and the same block
size can be juxtaposed. As the component designs have the same basic
contrasts, the canonical efficiency factors of the new design can be cal-
culated from those of its components as in Section 4.6.1.
1 a b ab c ac bc abc 1 c a ac b bc ab abc
1 b c bc a ab ac abc 1 bc a abc b c ab ac
1 ac ab bc b abc a c 1 ab c abc a b ac bc
1 abc b ac c ab bc a
1 a b ab c ac bc abc
φ0 1 1 1 1 1 1 1 1
φ1 1 −1 1 −1 1 −1 1 −1
φ2 1 1 −1 −1 1 1 −1 −1
φ3 1 −1 −1 1 1 −1 −1 1
φ4 1 1 1 1 −1 −1 −1 −1
φ5 1 −1 1 −1 −1 1 −1 1
φ6 1 1 −1 −1 −1 −1 1 1
φ7 1 −1 −1 1 −1 1 1 −1
c b 1 bc ac ab a abc a c ac 1 ab bc abc b
b 1 bc c ab a abc ac 1 a c ac b ab bc abc
c ab 1 abc ac b a bc ab a b 1
abc c ab 1 bc ac b a abc ac bc c
Compare this with the strong design in Figure 8.3. The second design
is balanced, with canonical efficiency factors εblocks,1 = 0, εrows,1 =
1/7, εcolumns,1 = 3/7 and εE1 = 3/7. Just as in Example 7.15, the
balanced design is appreciably worse than the other for the fixed-effects
model.
b c bc 1 ab bc ac 1 c ac a 1 bc a abc 1
abc a ab ac b abc c a ab b bc abc c ab ac b
ac abc b 1 a b ab 1 abc ab c 1
bc c a ab ac bc abc c a ac b bc
1 a b ab c ac bc abc φ0 φ1 φ2 φ3 φ4 φ5 φ6 φ7 rkF
49 49 49 49 49 49 49 49 392 0 0 0 0 0 0 0 392
13 5 5 5 13 5 5 5 56 16 16 16 0 0 0 0 56
7 3 3 3 6 2 2 2 28 8 8 8 4 0 0 0 28
7 1 1 1 1 1 1 1 14 6 6 6 6 6 6 6 14
7 0 0 0 0 0 0 0 7 7 7 7 7 7 7 7 7
first row of concurrence matrix eigenvalues on characters
Table 8.3. Canonical efficiency factors for first design in Example 8.7
ΥΞ = {υξ : υ ∈ Υ, ξ ∈ Ξ} .
Ψ = b, a3
Ξ1 = a Ξ2 = ab Ξ3 = a2 b
Φ = a3
Υ1 = b Υ2 = a3 b Υ3 = a6 b.
This is identical to the Hasse diagram for the orthogonal block structure.
Ω
t
P
H
@PHPP
@HHPPP
t @tΞ1HHtΞ2 P
P
tΞ3
Ψ
Υ
tP
t t t
Υ1 P Υ
HH 3 Φ
P2P @
PH
PHP@H
PP@t
H
1
All subgroups are cyclic except Ω and Ψ: the “associate classes” which
correspond to these two are empty. Calculating stratum dimensions from
Equation (6.8) shows that the zero “strata” are those corresponding to
Φ and 1. In fact, the zeta and Möbius functions are
1 Υ1 Υ2 Υ3 Φ Ψ Ξ1 Ξ2 Ξ3 Ω
1 1 1 1 1 1 1 1 1 1 1
Υ1 0 1 0 0 0 1 0 0 0 1
Υ2 0 0 1 0 0 1 0 0 0 1
Υ3 0 0 0 1 0 1 0 0 0 1
ζ
= Φ 0 0 0 0 1 1 1 1 1 1
Ψ 0 0 0 0 0 1 0 0 0 1
Ξ1 0 0 0 0 0 0 1 0 0 1
Ξ2 0 0 0 0 0 0 0 1 0 1
Ξ3 0 0 0 0 0 0 0 0 1 1
Ω 0 0 0 0 0 0 0 0 0 1
8.7 Automorphism groups 245
and
1 Υ1 Υ2 Υ3 Φ Ψ Ξ1 Ξ2 Ξ3 Ω
1 1 −1 −1 −1 −1 3 0 0 0 0
Υ1 0 1 0 0 0 −1 0 0 0 0
Υ2 0 0 1 0 0 −1 0 0 0 0
0 −1 0
Υ3 0 0 0 1 0 0 0
µ
= Φ 0 0 0 0 1 −1 −1 −1 −1 3 .
Ψ 0 0 0 0 0 1 0 0 0 −1
Ξ1 0 0 0 0 0 0 1 0 0 −1
Ξ2 0 0 0 0 0 0 0 1 0 −1
Ξ3 0 0 0 0 0 0 0 0 1 −1
Ω 0 0 0 0 0 0 0 0 0 1
Equation (6.9) gives the character table as follows.
1 Υ1 Υ2 Υ3 Φ Ψ Ξ1 Ξ2 Ξ3 Ω
(0) (6) (6) (6) (0) (2) (2) (2) (2) (1)
1 (1) 1 1 1 1 1 1 1 1 1 1
Υ1 (2) −1 2 −1 −1 −1 2 −1 −1 −1 2
Υ2 (2) −1 −1 2 −1 −1 2 −1 −1 −1 2
−1 −1 −1 2 −1 2 −1 −1 −1
Υ3 (2) 2
Φ (2) −1 −1 −1 −1 2 2 2 2 2 2
Ψ (0) 3 0 0 0 0 0 0 0 0 0
Ξ1 (6) 0 0 0 0 −3 −3 6 −3 −3 6
Ξ2 (6) 0 0 0 0 −3 −3 −3 6 −3 6
Ξ3 (6) 0 0 0 0 −3 −3 −3 −3 6 6
Ω (0) 0 0 0 0 9 0 0 0 0 0
Of course, two rows and two columns should be deleted from this
matrix!
Proof By definition,
φ(Ci ) = {(φ(α), φ(β)) : (α, β) ∈ Ci } = (φ(α), φ(β)) : α−1 β ∈ ∆i
A B C D E
t
B A D E C TT
c rT l
C E A B D
t T
"b
"l " bc T
D C E A B b
"
t b Tt
E D B C A r
Most Latin squares are not Cayley tables but they still define ortho-
gonal block structures.
It is natural to extend the ideas of Latin squares and Cayley tables to
higher dimensions.
A set of such (m + 1)-tuples is a Latin m-cube if and only if, for each of
the (m + 1) positions, each m-tuple occurs exactly once in the remaining
positions. This characterization shows that the role of the letters is no
different from the role of any of the coordinate positions.
Thus a Latin m-cube of order n is a set of size nm together with m + 1
uniform partitions into n classes, such that any m of those partitions,
together with the infimum of every subset of them, form an orthogonal
block structure isomorphic to (n)m . Unlike a Latin square, a Latin
m-cube for m 3 is not itself an orthogonal block structure, because its
set of partitions is not closed under taking infima. However, we can ask
when its set of partitions is contained in an orthogonal block structure.
To answer this question, we need to generalize the idea of Cayley tables.
Hm+1 = {(g1 , g2 , . . . , gm ) ∈ Gm : g1 g2 · · · gm = 1} .
For simplicity, I shall prove the converse of Theorem 8.20 just for the
case m = 3. This is enough to indicate that dimension 2 is very different
from higher dimensions: while every Latin square is an orthogonal block
structure, most Latin cubes are not even contained in orthogonal block
structures.
Proof Let G be the set of letters occurring in the cube; that is, G is
the set of F4 -classes. Choose an element in G and call it 1. Let ω0 be an
element of Ω which is in F4 -class 1. For i = 1, . . . , 3, label the Fi -class
containing ω0 by 1. Since each element of Ω is uniquely specified by any
three of the classes containing it, we may uniquely label the remaining
Fi -classes, for i = 1, . . . , 3, in such a way that Ω contains the quadruples
for all g in G.
Suppose that (a, b, c, d), (a, b, e, f ) and (g, h, e, f ) are three quadruples
in Ω. Then (a, b, c, d) and (a, b, e, f ) are in the same class of F1 ∧ F2
while (a, b, e, f ) and (g, h, e, f ) are in the same class of F3 ∧ F4 . If F is
contained in an orthogonal block structure H then F1 ∧ F2 and F3 ∧ F4
are in H and their relation matrices commute. Hence Ω contains an
element ω which is in the same (F3 ∧ F4 )-class as (a, b, c, d) and the
same (F1 ∧ F2 )-class as (g, h, e, f ): then ω must be (g, h, c, d). In other
words, if Ω contains (a, b, c, d), (a, b, e, f ) and (g, h, e, f ) then it contains
(g, h, c, d); and similarly for the other two partitions of F into two pairs.
Call this the Quadrangle Rule.
Let (a, b, 1, c) be an element of Ω. Since Ω contains (1, b, 1, b) and
(1, 1, b, b), the Quadrangle Rule shows that Ω also contains (a, 1, b, c).
252 Groups
Exercises
8.1
Let Ω = Z4 × Z2
= a,
b 2: a = b = 1, ab = ba. Show that {1},
4 2
8.3 Find all the blueprints for the non-Abelian groups S3 , D8 and Q8 .
Here D8 is the dihedral group a, b : a4 = b2 = 1, bab = a3 and Q8 is
the quaternion group a, b : a4 = 1, b2 = a2 , b−1 ab = a3 .
Exercises 253
This in turn defines a partition F (L) whose classes are the equivalence
classes of ∼L . The relation matrix RF (L) defined in Section 6.1 is given
by
RF (L) = Ii ⊗ Ji , (9.1)
i∈L i∈M \L
and
kF (L) = ni = n/nF (L) .
i∈M \L
255
256 Posets
Proof Let α, β be in Ω.
By inclusion-exclusion,
kF (K) kF (L) = ni kF (K∩L)
i∈K∪L
/
(weeks) 1 2 (laboratories)
f f
f f
(samples) 4 3 (technicians)
follows.
The two trivial partitions come from the two trivial subsets, which
are both ancestral: F (∅) = U and F (M ) = E.
By Lemma 9.1(i), the partial order on the poset block structure
F(
) defined by
is the inverse of the partial order ⊆ on the set S(
)
of ancestral subsets. Therefore the Hasse diagram for F(
) appears to
be the wrong way up when its elements are labelled by ancestral subsets.
Example 9.1 revisited The Hasse diagram for the partitions in the
poset block structure on milk subsamples is shown in Figure 9.2.
Fig. 9.2. Hasse diagram for the poset block structure defined by the poset in
Figure 9.1
(M2 ,
2 ). The new poset (M1 ∪ M2 ,
1 /
2 ) is called the ordinal sum
of (M1 ,
1 ) and (M2 ,
2 ).
Example 9.2
d1
If (M1 ,
1 ) is and (M2 ,
2 ) is 3 d d4 then the above
d2
1d
3 d d4
@
1 d @
3d 4d d2 @ d1
@
2 d
@
@ d4
3 d d2
1 ∪ 2 1 /2 2 /1
Now,
F (L1 ∪ ∅) = F (L1 ) × F (∅) = F (L1 ) × U2 ,
where U2 = Ω2 × Ω2 , and
1 ∪
2 or
1 /
2 with both
1 and
2 being partial orders on smaller
sets. Therefore Example 9.1 is not obtainable from trivial structures by
crossing and nesting. All other posets with four elements can be obtained
from the trivial partial order on singleton sets by taking cardinal and
ordinal sums. Thus their poset block structures can be obtained from
trivial structures by crossing and nesting: see Exercise 3.13.
Example 9.2 revisited Identifying each singleton set with the unique
partial order on that set, the three partial orders in Figure 9.3 are
respectively.
There are two special cases of iterated crossing and nesting. Iterated
crossing of m trivial posets gives the trivial partial order on M , in which
i
j if and only if i = j. At the other extreme, iterated nesting gives
the linear order, in which i
j if and only if i j.
262 Posets
Write max(L) for the set of maximal elements of L and min(L) for
the set of minimal elements of L. The top and bottom of L are defined
by top(L) = L \ min(L) and bot(L) = L \ max(L).
Proof The pair (α, β) is in the associate class defined by F (L) if F (L) is
finest subject to α ∼L β, that is, if L is largest subject to α ∼L β. For
i in L we need αi = βi if α ∼L β. If i ∈ max(M \ L) then L ∪ {i} is
ancestral: in order that α and β are not in the same class of L ∪ {i} we
must have αi = βi . If i ∈ bot(M \ L) then there is some j in max(M \ L)
with i j; so long as αj = βj then there is no ancestral subset K of M
for which i ∈ K and α ∼K β, and so there is no constraint on αi and βi .
This gives AL , from which aL follows by calculating row sums.
AL = (−1)|H| RF (L∪H) .
H⊆max(M \L)
SL = (−1)|H| PF (L\H)
H⊆min(L)
1
= Ii ⊗ Ji ⊗ T
ni
i∈top(L) i∈M \L
where
1
T = (−1)|H| Ji ⊗ Ii
ni
H⊆min(L) i∈H i∈min(L)\H
264 Posets
1
= Ii − Ji .
ni
i∈min(L)
Therefore
1 1
SL = Ii ⊗ Ji ⊗ Ii − Ji .
ni ni
i∈top(L) i∈M \L i∈min(L)
C = µ diag(k)ζ
so
For subsets G of N ,
kF (K∪G) = ni × ni .
i∈N \G i∈bot(M \K)
9.5 Lattice laws 265
Consider the poset block structure P on i∈N Ωi defined by
the trivial partial order on N in which all subsets are ancestral;
denote its character table by C̃ and the size of F (G)-classes k̃G
for G contained in N . Then
and so
C(K, K ∪ H) = C̃(∅, H) × ni .
i∈bot(M \K)
G ∧ (H ∨ F ) = (G ∧ H) ∨ F (9.5)
G ∧ (H ∨ F ) (G ∧ H) ∨ F
(ωF : F ∈ L). For L = ∅ we take the convention that the empty product
is a singleton, so that ϑ∅ (ω) takes the same value for all ω in Ω. Then
I claim that, for every α in F ∈L ΩF ,
{ω ∈ Ω : ϑL (ω) = α} is a class of ϕ(L). (9.8)
This is proved by induction on L. The above convention ensures that it
is true for L = ∅, because ϕ(∅) = U .
Suppose that L is a non-empty ancestral subset, and that condi-
tion (9.8) holds for all ancestral subsets strictly contained in L. Let
G = ϕ(L). If G is irreducible then put L̄ = ϕ−1 (Ḡ), so that L̄ ⊂ L.
Then
ϑL (ω) = (ϑL̄ (ω), ωG ) .
Given α in F ∈L ΩF , put ᾱ = (αF : F ∈ L̄). By condition (9.8) for L̄,
{ω ∈ Ω : ϑL̄ (ω) = ᾱ} is a class of Ḡ, so the labelling of G-classes ensures
that {ω ∈ Ω : ϑL (ω) = α} is a class of G.
If G is not irreducible then G = G1 ∧ G2 where Gi = ϕ(Li ) and
Li ⊂ L. Then G = ϕ(L1 ∪ L2 ), so L1 ∪ L2 = L. Given α in F ∈L ΩF ,
put
α1 = (αF : F ∈ L1 ) ∆1 = {ω ∈ Ω : ϑL1 (ω) = α1 }
α2 = (αF : F ∈ L2 ) ∆2 = {ω ∈ Ω : ϑL2 (ω) = α2 }
α3 = (αF : F ∈ L1 ∩ L2 ) ∆3 = {ω ∈ Ω : ϑL1 ∩L2 (ω) = α3 } .
By condition (9.8) for L1 , L2 and L1 ∩ L2 respectively, ∆1 , ∆2 and ∆3
are classes of G1 , G2 and ϕ(L1 ∩ L2 ) respectively. Moreover, ∆1 and ∆2
are contained in ∆3 . Since ϕ(L1 ∩ L2 ) = G1 ∨ G2 , every G1 -class in ∆3
meets every G2 -class in ∆3 , so ∆1 ∩ ∆2 is not empty. Thus ∆1 ∩ ∆2 is
a class of G1 ∧ G2 . Since ∆1 ∩ ∆2 = {ω ∈ Ω : ϑL (ω) = α}, this proves
condition (9.8) for L.
Now, ϕ(M ) = E, so condition (9.8) for M shows that ϑM is a bijection
from Ω to F ∈M ΩF . For each ancestral subset L of M , condition (9.8)
shows that ϑM maps classes of ϕ(L) to classes of F (L) in the poset
block structure defined by
on F ∈M ΩF . Thus F is isomorphic to
this poset block structure.
the poset block structure defined by the poset in Figure 9.4, and that
nesting these two trivial association schemes gives the group-divisible
scheme n1 /n2 , which is also the poset block structure defined by the
poset in Figure 9.5. Thus crossing and nesting in some way correspond
to the two posets of size two. However, crossing and nesting can be used
to combine any pair of association schemes. In this section we show that
any poset of size m gives an m-ary operator on association schemes,
that is, a way of combining m association schemes into a single new
association scheme. We call these operators poset operators of order m.
Thus this section generalizes Chapter 3.
d
d d
d
Fig. 9.4. The poset which gives Fig. 9.5. The poset which gives
the crossing operator the nesting operator
For the remainder of this section we use the following notation. For
i = 1, . . . , m, Qi is an association scheme on a set Ωi of size ni greater
(i)
than 1; its adjacency matrices are Ak for k in Ki , with |Ki | = si + 1
(i)
and A0 = Ii ; its set of adjacency matrices is Adj(i) and Ai is its Bose–
Mesner algebra.
Let M = {1, . . . , m} and let
be a partial order on M . For subsets K
of M , put ΩK = i∈K Ωi . For each ancestral subset L of M put
GL = (Kj \ {0})
j∈max(M \L)
Let Adj(M,
) = {AL,g : L ∈ S(M,
), g ∈ GL } and let A be the set of
real linear combinations of matrices in Adj(M,
).
Lemma 9.14 ancestral L g∈GL AL,g = JΩM .
AL,g = AL .
g∈GL
270 Posets
AL = JΩM .
L∈S()
Define B in i∈M Ai to be nice if, whenever j i, either Bj is a scalar
multiple of Jj or Bi is a scalar multiple of Ii , and to be fundamentally
nice if B is nice and Bi ∈ Adj(i) ∪ {Ji } for all i in M . Let B be the set
of nice matrices.
Lemma 9.15 Every matrix in Adj(M,
) is nice.
Proof Consider the matrix AL,g in Adj(M,
), where L is an ancestral
subset of M and g ∈ GL . Certainly AL,g ∈ i∈M Ai . Suppose that
j i. If (AL,g )i = Ii then i ∈ M \ L so j ∈ bot(M \ L) and therefore
(AL,g )j = Jj .
Lemma 9.16 The set B is closed under matrix multiplication.
Proof Suppose that B and C are nice and that j i. Now, (BC)k =
Bk Ck for all k in M . If either Bj or Cj is a scalar multiple of Jj then
so is (BC)j , because AJj is a scalar multiple of Jj for every matrix A
in Aj . If neither of Bj and Cj is a scalar multiple of Jj then both Bi
and Ci are scalar multiples of Ii and therefore so is (BC)i .
Lemma 9.17 If B is nice then B is a linear combination of fundament-
ally nice matrices.
Proof Let N (B) be the set
{n ∈ M : Bn is not a scalar multiple of Jn or an adjacency matrix} .
The proof is by induction on |N (B)|.
If N (B) = ∅ then B is a scalar multiple of a fundamentally nice
matrix.
Suppose that N (B) = ∅, and choose n in N . For k in Kn , put
(n)
C(k) = Bi ⊗ Ak .
i∈M \{n}
L0 = {i ∈ M : Bi = Ii }
N = {i ∈ M : Bi = Ii , Bi = Ji }
H = {i ∈ M : ∃j ∈ N with i j}
K = M \ L0 \ N \ H.
Then L0 is an ancestral subset of M . Put B̄ = i∈K / Bi .
For each ancestral subset L1 of K, put
(K)
GL1 = (Kj \ {0}) ;
j∈max(K\L1 )
(K) (K)
for each h in GL1 , define AL1 ,h analogously to AL,g .
Suppose that j ∈ K and j i. If i ∈ N ∪ H then there is some k
in N with i
k; hence j k and so j ∈ H, which is a contradiction.
Therefore i ∈ L0 ∪K. Thus if L1 is an ancestral subset of K then L0 ∪L1
is an ancestral subset of M . Put L = L0 ∪ L1 . Then max(M \ L) =
(K)
N ∪ max(K \ L1 ). Given any element h in GL1 , we can define g in GL
by
gj = hj if j ∈ max K \ L1
(j)
Bj = Agj if j ∈ N .
(K)
Then B̄ ⊗ AL1 ,h = AL,g , which is in Adj(M,
).
Now, Lemma 9.14 for K shows that JΩK is the sum of the matrices
(K)
AL1 ,h , as L1 and h take all possible values. Moreover, B = B̄ ⊗ JΩK .
Therefore B is a sum of matrices in Adj(M,
) and so is in A.
↓(N ) = {i ∈ M : j in N with i
j}
↑(N ) = {i ∈ M : ∃j in N with j
i} .
and ↓: N (M ) → S(M,
) are mutually inverse.
Example 9.1 revisited Here the antichains are ∅, {1}, {2}, {1, 2},
{3}, {4}, {1, 3} and {3, 4}, so the number of associate classes in a
1 + s1 + s2 + s1 s2 + s3 + s4 + s1 s3 + s3 s4 − 1
= (s1 + 1)(s2 + 1) + (s3 + 1)(s4 + 1) + s1 s3 − 2
= s2 (s1 + 1) + s4 (s3 + 1) + (s1 + 1)(s3 + 1) − 1.
7 1 2 H(2, 4)
d d
d d
GD(2, 6) 4 3 T(5)
(i)
Theorem 9.22 For i in M , let the stratum projectors for Qi be Se for
e in Ei , with S0 = n−1
(i)
i Ji . Let C be the character table of Qi . For
(i)
Ii if i ∈ top(L)
(i)
Sg i if i ∈ min(L) ∩ K
(i) (i)
Afi Sgi if i ∈ min(L) ∩ max(M \ K)
n−1
i Ji if i ∈ K \ L
afi n−1
(i)
i Ji if i ∈ max(M \ K) \ L
Ji if i ∈ bot(M \ K).
Exercises
9.1 For m 3, find all partial orders on {1, . . . , m} which cannot be
obtained from each other by relabelling the elements of {1, . . . , m}. For
each partial order, write down its ancestral subsets and the Hasse dia-
gram for the partitions which they define. Write down the adjacency
matrices and stratum projectors as tensor products of m matrices. Write
down the valencies and dimensions in terms of n1 , . . . , nm . Identify each
association scheme under another name.
9.2 Draw the Hasse diagram for each of the posets which are implicit
in Exercise 3.13.
9.3 Find the character table for Example 9.1.
9.4 Prove the analogue of Theorem 9.10 for the D matrix.
9.5 Prove that the association scheme in Example 6.2 is atomic.
9.6 How many associate classes are there in the association scheme
shown in Figure 9.6? Calculate its valencies and stratum dimensions.
9.7 Consider the following association scheme defined by a 5-ary poset
operator.
3 H(2, 3)
d d
1@ @ 2@ @
3 @d4 @5d
d
L(3, 4) T(5) 6
Write down its adjacency matrices and stratum projectors as tensor
276 Posets
(i) M ⊆ L, and
(ii) pkij = 0 if {i, j} ⊆ L and k ∈
/ L.
Then i∈L Ai is the relation matrix for the partition of Ω into the
connected components of G, so this partition is inherent.
Let F be an inherent partition with RF = i∈L Ai . Then pkij = 0 if
277
278 Subschemes, quotients, duals and products
10.2 Subschemes
Let Q be an association scheme on a set Ω with associate classes Ci for
i in K. Let Γ be a subset of Ω. For i in K put
CiΓ = Ci ∩ (Γ × Γ),
which is the restriction of Ci to Γ. If the non-empty classes CiΓ form an
association scheme on Γ then this is said to be a subscheme of Q.
Example 10.3 In the Hamming scheme H(m, 2) let Γ consist of those
elements of Ω which have exactly n coordinates equal to 1, where n m.
Then Γ can be identified with the set of n-subsets of an m-set. The
restrictions of the associate classes of the Hamming scheme to Γ give
the Johnson scheme J(m, n), so J(m, n) is a subscheme of H(m, 2).
Let AΓi be the adjacency matrix of CiΓ . For (α, β) in Γ × Γ,
Γ Γ
Ai Aj (α, β) = CiΓ (α) ∩ CjΓ (β) .
If Γ is a class of an inherent partition F with RF = i∈L Ai then
CiΓ = ∅ if i = L while Ci (ω) ⊆ Γ for all ω in Γ and all i in L. Therefore,
for (α, β) in Γ × Γ and (i, j) in L × L,
Γ Γ
Ai Aj (α, β) = |Ci (α) ∩ Cj (β)| = (Ai Aj ) (α, β)
so
AΓi AΓj = pkij AΓk = pkij AΓk .
k∈K k∈L
Therefore CiΓ : i ∈ L is a subscheme of Q with Bose–Mesner algebra
isomorphic to A[L]. Such a subscheme is called an algebraic subscheme.
The algebraic subschemes on different classes of an inherent parti-
tion may not be isomorphic to each other. We shall see an example in
Section 10.6.1.
280 Subschemes, quotients, duals and products
(i) Q P;
(ii) AB ∈ VP for all A in VQ and all B in VP .
which is in VP .
For an ideal partition P, let ϑ(P) be the inherent partition whose
relation matrix is the adjacency matrix for the class of P contain-
ing Diag(Ω). For an inherent partition F , let (F ) be the ideal par-
tition whose adjacency matrices are scalar multiples of the matrices
Ai RF . Then RF is an adjacency matrix of (F ), because A0 RF = RF :
hence ϑ((F )) = F . On the other hand, Theorem 10.4 shows that
P = (ϑ(P)), so and ϑ are mutually inverse bijections. Note that
(E) = Q and (U ) = UΩ×Ω .
Corollary 10.6 An association scheme Q on a set Ω is imprimitive if
and only if it has an ideal partition different from Q and from UΩ×Ω .
10.4 Quotient schemes and homomorphisms 283
Example 10.6 In H(4, 2), let F be the partition into antipodal pairs.
Then
R = A 0 + A4 so [0] = {0, 4} , m0 = 1 and ā[0] = 1
A 1 R = A 1 + A3 so [1] = {1, 3} , m1 = 1 and ā[1] = 4
A2 R = 2A2 so [2] = {2} , m2 = 2 and ā[2] = 3.
Now,
A22 = 6(A0 + A4 ) + 4A2
H(m, 2) ∼
= (half H(m, 2)) × 2.
We can use the trick with the incidence matrix X to obtain the strata
and character table C̄ of Q̄.
1
= X C(i, e)Se X
kF mi
C(i, e)
= S̄e
mi
and so S̄e is an eigenprojector for every Ā[i] . Moreover, the eigenvalue
of Ā[i] on Im S̄e is C(i, e)/mi .
Also, if e ∈ H then
1 1 1
Se = Se R = D(e, i)Ai R = D(e, i)mi B[i] ,
kF kF kF
i∈K i∈K
286 Subschemes, quotients, duals and products
so S̄e is a linear combination of the Ā[i] . This shows that the S̄e , for e
in H, are the stratum projectors for the quotient scheme Q̄.
Example 10.6 revisited From Exercise 2.7, the character table of
H(4, 2) is
S0 S1 S2 S3 S4
0 (1) 1 1 1 1 1
1 (4) 4 −4 2 −2 0
2 (6) 6 6 0 0 −2 .
3 (4) 4 −4 −2 2 0
4 (1) 1 1 −1 −1 1
Thus A0 + A4 = 2(S0 + S1 + S4 ) so H = {0, 1, 4}. Theorem 10.7 shows
that the character table for the quotient scheme of H(4, 2) by the inherent
partition into its antipodal pairs is
Since the quotient scheme is GD(2, 4), this agrees with the character
table on page 40.
Theorem 10.8 Let D and D̄ be the inverses of the character tables of
Q and Q̄ respectively. If e ∈ H then D(e, i) = D̄(e, [i])/kF for all i in K.
Proof Put T (e, i) = D̄(e, [i])/kF for e in H and i in K. It suffices to
show that T consists of the H-rows of C −1 . First note that
aj kF
mj = = kF .
j∼i j∼i
b[i]
= D̄(e, [i])C̄([i], f ).
Hence
T (e, i)C(i, f ) = D̄(e, [i])C̄([i], f )
i∈K classes [i]
1 if e = f
=
0 otherwise,
because D̄ is the inverse of C̄.
t i t
F F
t t
j
i t
t
P F
PP
P
P t
j
288 Subschemes, quotients, duals and products
character table of Q1 /Q2 , and use ∗ to indicate the index sets of Q∗1
and Q∗2 . Let i ∈ K1 \ {0}, x ∈ K2 , e ∈ E1 and f ∈ E2 \ {0}. Each
bijection ∗ takes the special associate class (diagonal) to the special
stratum (constant vectors) so i∗ ∈ E1∗ \ {0}, x∗ ∈ E2∗ , e∗ ∈ K1∗ and
f ∗ ∈ K2∗ \ {0}. Therefore
∗
C2/1 (f ∗ , x∗ ) = n1 C2∗ (f ∗ , x∗ )
= n1 n2 D2 (f, x)
= n1 n2 D1/2 (f, x);
∗
C2/1 (f ∗ , i∗ ) = 0
= n1 n2 D1/2 (f, i);
∗
C2/1 (e∗ , x∗ ) = b e∗
= de
= n1 n2 D1/2 (e, x);
∗
C2/1 (e∗ , i∗ ) = C1∗ (e∗ , i∗ )
= n1 D1 (e, i)
= n1 n2 D1/2 (e, i).
Theorem 10.10 Let F be an orthogonal block structure on a finite set Ω
of size m. Then there is an orthogonal block structure F ∗ on a set Ω∗ of
size m such that the association schemes defined by (Ω, F) and (Ω∗ , F ∗ )
are formally dual.
290 Subschemes, quotients, duals and products
Proof Putting together orthogonal bases for the strata of the associ-
ation scheme Q defined by (Ω, F) gives an orthogonal basis for RΩ with
the property that, for each F in F, nF elements of the basis lie in VF
and the remainder lie in VF⊥ . Let Ω∗ be this basis: then |Ω∗ | = m.
For F in F, define a partition F ∗ on Ω∗ by putting basis elements f
and g in the same class of F ∗ if and only if f and g are in the same
coset of VF . Then F ∗ is uniform with kF ∗ = dim VF = nF and hence
nF ∗ = m/nF = kF . Since dim VU = 1, U ∗ is the equality partition
on Ω∗ ; since VE = RΩ , E ∗ is the universal partition on Ω∗ . Moreover, if
F G then VG VF so G∗ F ∗ .
From Lemma 6.3, VF ∩ VG = VF ∨G . Thus elements f , g of Ω∗ are in
the same coset of VF ∨G if and only if they are in the same coset of VF
and in the same coset of VG ; in other words (F ∨ G)∗ = F ∗ ∧ G∗ .
Let Γ be a class of F ∗ ∨ G∗ . Then Γ consists of at least kG∗ /kF ∗ ∧G∗
classes of F ∗ , with equality if and only if every F ∗ -class in Γ meets
every G∗ -class in Γ. However, F ∗ (F ∧ G)∗ and G∗ (F ∧ G)∗ so
F ∗ ∨ G∗ (F ∧ G)∗ , and
m mkF ∨G kF ∗ kG∗
k(F ∧G)∗ = nF ∧G = = = .
kF ∧G kF kG kF ∗ ∧G∗
Proof Let n be the size of the underlying set. Let C and C ∗ be the
character tables of Q and Q∗ respectively, with inverses D and D∗ .
In Q, let L and H be the subsets of K and E respectively such that
RF = i∈L Ai = kF e∈H Se . Then
Ai = kF D(e, j)Aj
i∈L e∈H j∈K
so
1
if j ∈ L
D(e, j) = kF
e∈H 0 otherwise.
∗
Hence, in Q ,
Ae ∗ = C ∗ (e∗ , i∗ )Si∗
e∈H e∈H i∈K
= nD(e, i)Si∗
i∈K e∈H
n
= S i∗ .
kF
i∈L
∗
Therefore e∈H Ae is the relation matrix of a partition F whose
∗
∗ ∗
classes have size n/kF . If Γ is any class of F then Q |Γ is an association
scheme on a set of size n/kF , as is Q̄.
If i ∼ j in Q then Theorem 10.8 shows that D(e, i) = D(e, j) for all
e in H. Therefore C ∗ (e∗ , i∗ ) = C ∗ (e∗ , j ∗ ) for all e in H, and so i∗ ≈ j ∗
in Q∗ . Let [[i∗ ]] be the equivalence class of ≈ containing i∗ and [i] the
equivalence class of ∼ containing i. We have shown that the duality ∗
maps [i] into [[i∗ ]]. The number of classes of ≈ is equal to the number
of strata in Q∗ |Γ , which is equal to the number of adjacency matrices
in Q∗ |Γ , which is |H|. However, |H| is the number of strata in Q̄, by
Theorem 10.7, which is equal to the number of adjacency matrices of Q̄.
Hence ∗ induces a bijection from the adjacency matrices of Q̄ to the
strata of Q∗ |Γ . The strata of Q̄ and the adjacency matrices of Q∗ |Γ are
both indexed by H.
Let CΓ∗ be the character table of Q∗ |Γ . For e in H and i ∈ K we have
n
CΓ∗ (e∗ , [[i∗ ]]) = C ∗ (e∗ , i∗ ) = nD(e, i) = D̄(e, [i]),
kF
by Theorem 10.8. This shows that Q∗ |Γ is formally dual to Q̄.
292 Subschemes, quotients, duals and products
same cell;
different cell, same row or column or letter, same square;
different square.
10.6 New from old 293
A B C D A B C D
D A B C B A D C
C D A B C D A B
B C D A D C B A
{Ci × Gm : i ∈ K1 \ L, m ∈ M} ∪ {Ci × Dj : i ∈ L, j ∈ K2 } .
Ai ⊗ Gm for i in K1 \ L and m in M
and
Al ⊗ Bj for l in L and j in K2 .
294 Subschemes, quotients, duals and products
These are symmetric matrices with all entries in {0, 1}. Moreover, L con-
tains the 0 index in K1 , so one class is C0 × D0 , which is Diag(Ω1 × Ω2 ).
Also,
Ai ⊗ G m = Ai ⊗ Gm
i∈K1 \L m∈M i∈K1 \L m∈M
= (JΩ1 − R) ⊗ JΩ2
and
Al ⊗ Bj = Al ⊗ Bj
l∈L j∈K2 l∈L j∈K2
= R ⊗ JΩ2
Ai ⊗ G m (i ∈
/ L) C1 (i, e)kϑ(P) C̄2 (m, f ) 0
Proof The named subspaces are mutually orthogonal with direct sum
RΩ1 ×Ω2 .
For t = 1, 2, let st be the number of associate classes of Qt . Put
x = |L| and y = |H|. Then Theorem 10.7 shows that P has y classes, so
the number of associate classes of Q is
(s1 + 1 − x)y + x(s2 + 1) − 1.
Hence the number of strata for Q is
(s1 + 1)y + x(s2 + 1 − y),
which is equal to the number of named subspaces, because ≈ has x equi-
valence classes. Thus it suffices to show that each named subspace is a
sub-eigenspace of each adjacency matrix, with the eigenvalue shown.
(2)
The proof of Theorem 10.7 shows that Gm Sf = O if f ∈ / H while
296 Subschemes, quotients, duals and products
(2) (2) (2)
Gm Sf = kϑ(P) C̄2 (m, f )Sf if f ∈ H. Thus U[[e]] ⊗ Wf is a sub-
(1) (2)
eigenspace of Ai ⊗ Gm with eigenvalue 0 if f ∈ / H, while We ⊗ Wf
is a sub-eigenspace of Ai ⊗ Gm with eigenvalue C1 (i, e)kϑ(P) C̄2 (m, f ) if
(1) (2)
f ∈ H. Evidently, We ⊗ Wf is a sub-eigenspace of Ai ⊗ Bj with
eigenvalue C1 (i, e)C2 (j, f ). If i ∈ L then C1 (i, e ) = C1 (i, e) for all e
(2)
in [[e]], so Ai T[[e]] = C1 (i, e)T[[e]] and therefore U[[e]] ⊗ Wf is a sub-
eigenspace of Ai ⊗ Bj with eigenvalue C1 (i, e)C2 (j, f ).
Crested products of orthogonal block structures have a particularly
attractive presentation. For t = 1, 2, let Ft be an orthogonal block
structure on a set Ωt and let Ft be a partition in Ft . Define the set G
of partitions of Ω1 × Ω2 as follows:
G = {G1 × G2 : G1 ∈ F1 , G2 ∈ F2 , G1 F1 or F2 G2 } .
Then G contains E and U and its elements are uniform and mutually
orthogonal, as shown in Lemmas 6.10 and 6.11. Let G1 ×G2 and H1 ×H2
be in G. If G1 ∧ H1 F1 then G1 F1 and H1 F1 so F2 G2 and
F2 H2 and therefore F2 G2 ∧ H2 : thus (G1 ∧ H1 ) × (G2 ∧ H2 ) ∈ G.
Likewise, if F2 G2 ∨ H2 then G1 F1 and H1 F1 so G1 ∨ H1 F1 :
thus (G1 ∨ H1 ) × (G2 ∨ H2 ) ∈ G. Therefore G is an orthogonal block
structure on Ω1 × Ω2 .
Let At be the Bose–Mesner algebra of the association scheme Qt
defined by Ft , for t = 1, 2. Let L = {G ∈ F1 : G F1 }. Then A1 [L]
is the subalgebra of A1 isomorphic to the Bose–Mesner algebras of the
algebraic subschemes of the inherent partition F1 of Q1 . Let P be the
ideal partition (F2 ) of Q2 , so that VP = span {RG : G ∈ F2 , F2 G}.
Then the span of the relation matrices of G is A1 [L] ⊗ A2 + A1 ⊗ VP ,
which is the Bose–Mesner algebra of the crested product of Q1 and Q2
with respect to F1 and P: hence this crested product is the association
scheme defined by the orthogonal block structure G and there is no ambi-
guity in calling G the crested product of F1 and F2 with respect to F1
and F2 .
Example 10.11 Let F1 be b/k with non-trivial partition B, and let
F2 be the orthogonal block structure defined by a Latin square with
non-trivial partitions R, C and L. The crested product of F1 and F2
with respect to B and L is the orthogonal block structure whose Hasse
diagram is shown in Figure 10.2.
Suppose that, for t = 1, 2, Ft is a poset block structure defined by
the poset (Mt , t ) and that Ft = F (Lt ), where Lt is an ancestral subset
10.6 New from old 297
tU1 × U2
B × U2 t
@
@ @
@t
E 1 × U2 t
@
U1 × L
t
t @t
@ @ B×L
@
@
E1 × R t t@t t
@
@ E1 × L B × E2
@
@t
E1 × E2
In turn this poses the following very interesting question: which ortho-
gonal block structures cannot be obtained from smaller orthogonal block
structures as crested products? One example is the orthogonal block
structure defined by a set of one or more mutually orthogonal Latin
squares; another is the group block structure in Example 8.8.
Exercises
10.1 Is the Johnson scheme J(m, n) a subscheme of J(m + 1, n) or
J(m, n + 1) or J(m + 1, n + 1)?
10.2 Show that J(2n, n) has an inherent partition with classes of size 2.
Describe the quotient scheme when n = 3 and n = 4. Find the character
table of the quotient scheme when n = 4.
10.3 Show that the quotient of Pair(n) by the mirror partition is T(n).
10.4 Find all inherent partitions on the cube-edge association scheme in
Exercise 1.16. Identify the orthogonal block structure which these form.
Also identify all the algebraic subschemes and all the quotient schemes.
300 Subschemes, quotients, duals and products
10.5 Repeat the previous question for the icosahedral and dodecahedral
schemes in Exercises 1.20 and 1.21.
10.6 Verify that if F is an orthogonal block
structure and F ∈ F and
Γ is a class of F then G : G ∈ F, G F is an orthogonal block
Γ
301
302 Association schemes on the same set
Fig. 11.1. Hasse diagram for Fig. 11.2. Hasse diagram for
Example 11.1 Example 11.2
11.2 Suprema
If Q1 and Q2 are two association schemes on the same set, we may form
their supremum Q1 ∨ Q2 by merging any classes of Q1 which meet the
same class of Q2 , and vice versa, and continuing in this way until every
class is both a union of Q1 -classes and a union of Q2 -classes. Of course,
if Q1 Q2 then Q1 ∨ Q2 = Q2 . But what does Q1 ∨ Q2 look like in
general?
Theorem 11.2 If Q1 and Q2 are both association schemes on Ω then
Q1 ∨ Q2 is also an association scheme on Ω.
Proof The diagonal class Diag(Ω) is a class in both Q1 and Q2 , so it
remains a class in Q1 ∨ Q2 . All classes in Q1 and Q2 are symmetric, so
the same is true of the merged classes in Q1 ∨ Q2 .
Let A1 and A2 be the Bose–Mesner algebras of Q1 and Q2 , and let
A be the subspace of RΩ×Ω spanned by the adjacency matrices of the
classes in Q1 ∨ Q2 . Lemma 6.3 shows that
A = VQ1 ∨Q2 = VQ1 ∩ VQ2 = A1 ∩ A2 . (11.1)
Since A1 and A2 are both closed under multiplication, A is also closed
under multiplication. Hence Q1 ∨ Q2 is an association scheme on Ω.
Corollary 11.3 If (Ω, G, Θ, ψ) is a partially balanced block design with
treatment set Θ then there is a unique coarsest association scheme on Θ
with respect to which (Ω, G, Θ, ψ) is partially balanced.
Proof Let H be the partition of Θ×Θ determined by the concurrences
in the design in the blocks defined by the group-divisible association
scheme G on Ω; that is, (θ1 , η1 ) and (θ2 , η2 ) are in the same class of H
if and only if Λ(θ1 , η1 ) = Λ(θ2 , η2 ). Put
R = {Q : Q H and Q is an association scheme on Θ} .
Then R is not empty, because the design is partially balanced. If Q1 and
Q2 are in R then Q1 ∨ Q2 ∈ R, by Theorem 11.2 and by property (ii) of
suprema on page 149. Put P = R. Then P ∈ R, because R is finite.
Therefore P is an association scheme on Θ and P H, so the design
is partially balanced with respect to P. Moreover, P is the coarsest
association scheme with this property, because if the design is partially
304 Association schemes on the same set
11.3 Infima
On the other hand, the infimum of two association schemes is not, in
general, an association scheme.
Example 11.7 Let Q1 and Q2 be the two strongly regular graphs whose
edge sets are
{{1, 2} , {2, 3} , {3, 4} , {4, 5} , {5, 1}}
11.3 Infima 305
and
{{1, 3} , {3, 2} , {2, 5} , {5, 4} , {4, 1}}
Q3
the classes ‘same vertex’, ‘double edge’, ‘single solid edge’, ‘single dotted
edge’ and ‘other’ do not form an association scheme.
1t
2 t t3
t t
t t
t t
4 5
∗ ∗ ∗ ∗
∗ ∗ ∗ ∗
∗ ∗ ∗ ∗
∗ ∗ ∗ ∗
∗∗
∗∗
Now suppose that ∆ and Γ are blueprints for Ω, so that Q(∆) and
Q(Γ) are association schemes. Theorem 11.2 shows that Q(∆) ∨ Q(Γ)
is an association scheme. In fact, it is also a group scheme.
(iii) If there is any association scheme finer than Q(∆) ∧ Q(Γ) then
Lemma 11.7(i) shows that there is a coarsest one P.
If ω ∈ Ω then πω (P) is an association scheme (see page 246) and
πω (P) πω (Q(∆)) = Q(∆). Similarly, πω (P) Q(Γ). There-
fore πω (P) Q(∆) ∧ Q(Γ) and hence πω (P) P. However,
πω (P) and P have the same number of classes, so πω (P) = P.
Thus {πω : ω ∈ Ω} forms a group of weak automorphisms of P.
By Theorem 8.17, there is an association scheme P̃ such that
P P̃ and {πω : ω ∈ Ω} forms a group of strong automorphisms
of the scheme P̃. Each class of P̃ is formed by merging classes
of P of the form C and πω (C), which lie in the same class of both
Q(∆) and Q(Γ). Hence P̃ Q(∆) ∧ Q(Γ) and so P̃ = P. Then
Lemma 8.18 shows that there is a blueprint Φ with P = Q(Φ).
Proposition 11.8 now shows that Φ ∆ ∧ Γ, so Φ Ξ. Hence
Q(Φ) Q(Ξ) Q(∆) ∧ Q(Γ), so the maximality of P shows that
Q(Φ) = Q(Ξ) and so Φ = Ξ and P = Q(Ξ).
(iv) Since Q(∆)∧Q(Γ) = Q(∆∧Γ), this follows from Theorem 8.1.
Ω = a, b : a9 = b3 = 1, b−1 ab = a4 .
a b, a b , a b, ab , a b, a b .
Exercise 8.10 shows that there is also a
blueprint
Γ 2on 7Ω
such
4 that
Q(Γ) ∼ = 3/
9 : it classes are {1}, a ,
3 6
a , a, a8
, a , a , a , a5
and Ω \ a.
Now, ∆ ∧ Γ contains the classes a, a8 and b, b2 , which do not
commute as sets, because
a, a8 b, b2 = ab, ab2 , a8 b, a8 b2
312 Association schemes on the same set
while
b, b2 a, a8 = ba, b2 a, ba8 , b2 a8 = a7 b, a4 b2 , a2 b, a5 b2 .
ρ = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 1), (3, 2), (3, 3)} .
11.5 Poset block structures 313
Then ρ is a pre-order and its Hasse diagram is shown in Figure 11.5. Its
lattice of ancestral subsets is in Figure 11.6.
t ∅
d {1, 2}
t {1, 2}
d {3}
t {1, 2, 3}
If K is an equivalence class of ∼ρ , write ΩK for i∈K ΩK . All the
theory in Chapter 9 carries over to pre-orders; the orthogonal block
structure F(ρ) defined by the pre-order ρ is effectively a poset block
structure on the product set classes K ΩK . Thus we can call F(ρ) a
poset block structure.
nmr
H
H
HH
n/mr mr/n m/nr
@ @
@ @
m/r/n m/n/r
@
@
mr × n (m × r)/n m/(n × r)
H
H H
H
HH HH
n × (r/m) n × (m/r) (m/n) × r
H
H
HH
n×m×r
Gi = {j ∈ M : (i, j) ∈ ρ}
Hi = {j ∈ M : (i, j) ∈ σ} .
ρ1 = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 1), (3, 2), (3, 3)}
ρ2 = {(1, 1), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 3)}
ρ3 = {(1, 1), (2, 1), (2, 2), (3, 1), (3, 3)} = ρ1 ∩ ρ2 .
The Hasse diagrams for these pre-orders are shown in Figure 11.8. Now
Theorem 11.14 shows that Q3 is the coarsest association scheme nested
in Q1 ∧ Q2 , which we have already seen is not itself an association
scheme.
{1}
d{1, 2} d{1, 3} d
AA
d{3} d{2} d Ad
{2} {3}
ρ1 ρ2 ρ3 = ρ1 ∩ ρ2
Now, dim A(ρ ∩ σ) = |S(ρ ∩ σ)| and dim(A(ρ) + A(σ)) = |S(ρ) ∪ S(σ)|;
if these dimensions are equal then all three terms in Equation (11.2) are
equal, so Q(ρ ∩ σ) = Q(ρ) ∧ Q(σ).
The converse is not true. Note that if K and L are subsets of M then
Equation (9.1) and the fact that
so
∅
t
@
@
d1 @ t{1}
{3} t
ρ d3 @ @
@ @
d2 @t
{1, 3} @t{1, 2}
@
@
@t
{1, 2, 3}
∅
t
@
@
d1 @ t{1}
{2} t
σ d2 @ @
@ @
d3 @t
{1, 2} @t{1, 3}
@
@
@t
{1, 2, 3}
∅
t
@
@
1 2 3 {1} t t{2} @t{3}
ρ∩σ d d d @ @
@ @
{1, 2} t @t{1, 3}
@t{2, 3}
@
@
@t
{1, 2, 3}
while
AGU = AF F
R + AC .
320 Association schemes on the same set
G
Thus the adjacency matrices of Q(F) ∨ Q(G) are I, AF U and AU , so
Q(F)∨Q(G) is the Hamming scheme H(2, 3), which is not an orthogonal
block structure (why not?). On the other hand, Q(F ∩ G) = Q({E, U }),
which is the trivial association scheme on Ω.
A B C α β γ
C A B β γ α
B C A γ α β
What goes wrong in Example 11.16 is that dim A(F ∩ G) is too small,
because the analogue of Corollary 9.8(ii) does not hold for all orthogonal
block structures.
Definition A set F of partitions of Ω is strict if the set {RF : F ∈ F}
is linearly independent.
Theorem 11.18 Let F and G be orthogonal block structures on Ω. If
F ∪ G is strict then Q(F) ∨ Q(G) = Q(F ∩ G).
Proof Lemma 11.17 gives Q(F) ∨ Q(G) Q(F ∩ G), so
A(F ∩ G) VQ(F )∨Q(G) = A(F) ∩ A(G),
by Equation (11.1). If F ∪ G is strict then so are F, G and F ∩ G.
Therefore
dim (A(F) ∩ A(G)) = dim (A(F) + A(G)) − dim A(F) − dim A(G)
= |F ∪ G| − |F| − |G|
= |F ∩ G|
= dim A(F ∩ G)
and so A(F) ∩ A(G) = A(F ∩ G) and Q(F) ∨ Q(G) = Q(F ∩ G).
Now we turn to infima. In general, the infimum of two association
schemes defined by orthogonal block structures is not an association
scheme; indeed, the two association schemes may not be compatible.
The slightly surprising result, given that suprema may take us outside
the class of orthogonal block structures, is that when the two association
schemes are compatible then the coarsest association scheme nested in
both is also defined by an orthogonal block structure.
11.6 Orthogonal block structures 321
Also,
F = {F (L) : L ∈ S(ρ)}
and
G = {F (L) : L ∈ S(σ)}
If A(F) does not commute with A(G) then Lemma 11.7(ii) shows that
Q(F) cannot be compatible with Q(G). Theorem 11.21 shows that even
if A(F) commutes with A(G) then Q(F) is not necessarily compatible
with Q(G).
P X PZ = P Z PX = P U
PX P L = P L P X = P U
PX PZ∧L = PZ∧L PX = PU
P Y PZ = P Z P Y = PU
P Y P L = P L PY = PU
PY PZ∧L = PZ∧L PY = PU
PX∧Y PZ = PZ PX∧Y = PU
PX∧Y PL = PL PX∧Y = PU .
1, 2, 3, 4, 5 = trivial
"b
" b
" b
" b
H(2, 4) = L(2, 4) = L(3, 4) = 1, 2 3, 4, 5 1 2, 3, 4, 5 = GD(4, 4)
""bb "
"
" b "
" b"
1, 2 3 4, 5 1 2 3, 4, 5 = R(4, 4)
bb "
"
b "
b"
1 2 3 4, 5 = S(3, 4)
1 2 3 4 5 = S(5, 4)
Fig. 11.11. Some of the association schemes formed from a set of three mutu-
ally orthogonal 4 × 4 Latin squares.
scheme depends both on the type of the partition and on which class of
the partition contains E.
Exercises
11.1 Suppose that |Ω| = nm. How many association schemes are there
on Ω of type GD(n, m)?
11.2 Find all cyclic association schemes for Z8 . Draw the Hasse diagram
to show which is coarser than which.
11.3 Find two group schemes for S3 which are not compatible.
11.4 For each given pair of pre-orders ρ and σ, identify Q(ρ) ∨ Q(σ) and
decide whether Q(ρ) ∧ Q(σ) is an association scheme.
1 d 3 d
d3 d1
2 d 2 d
ρ σ
2 d d3 2 d d3
@ @ d4
1 d d4 @d
1
ρ σ
1 d d3
@ @
1 d d2 @ d4
@ @
4 d @ d3 d
2
ρ σ
11.5 Draw the Hasse diagrams for the pre-orders ρ, σ and ρ + σ in
Example 11.14.
11.6 Is it true that the supremum of two group block structures (for
the same group) is a group block structure? Give a proof or counter-
example.
11.7 Consider the Latin rectangle in Exercise 6.6. The non-trivial par-
titions are rows, columns and letters. Put F = {rows, columns, E, U }
and G = {letters, columns, E, U }.
11.8 For each of the following association schemes Q, find the set R
of all association schemes coarser than Q. Draw the Hasse diagram
of R. For each pair P1 and P2 of association schemes in R, (i) find the
supremum P1 ∨ P2 ; (ii) decide whether P1 ∧ P2 is an association scheme;
(iii) find the coarsest association scheme nested in P1 ∧ P2 .
(a) Q = 4 × 4;
(b) Q = (4 × 4)/3;
(c) Q = (2/3) × 4;
Exercises 327
{1, 2} {3, 4} {1, 3} {2, 5} {1, 4} {2, 6} {1, 5} {2, 4} {1, 6} {2, 3}
{5, 6} {4, 6} {3, 5} {3, 6} {4, 5}
{1, 2} {3, 4} {1, 6} {2, 4} {1, 5} {2, 3} {1, 3} {2, 6} {1, 4} {2, 5}
{5, 6} {3, 5} {4, 6} {4, 5} {3, 6}
{1, 6} {2, 4} {1, 3} {2, 5} {1, 2} {3, 6} {1, 4} {2, 3} {1, 5} {2, 6}
{3, 5} {4, 6} {4, 5} {5, 6} {3, 4}
{1, 5} {2, 3} {1, 2} {3, 6} {1, 4} {2, 6} {1, 6} {2, 5} {1, 3} {2, 4}
{4, 6} {4, 5} {3, 5} {3, 4} {5, 6}
{1, 3} {2, 6} {1, 4} {2, 3} {1, 6} {2, 5} {1, 5} {2, 4} {1, 2} {3, 5}
{4, 5} {5, 6} {3, 4} {3, 6} {4, 6}
{1, 4} {2, 5} {1, 5} {2, 6} {1, 3} {2, 4} {1, 2} {3, 5} {1, 6} {2, 3}
{3, 6} {3, 4} {5, 6} {4, 6} {4, 5}
Here we give pointers to further work extending the topics in this book.
329
330 Where next?
Block designs which have second-order balance and one canonical eff-
iciency factor equal to 1 have been studied in [69, 212]. Theorem 4.13
shows that these include the duals of balanced incomplete-block designs
which are not symmetric as well as the duals of partially balanced
incomplete-block designs with two associate classes and one canonical
efficiency factor equal to 1. Most rectangular lattice designs have third-
order balance. Further study of designs with second- or third-order
balance would be worthwhile.
Two block designs with the same canonical efficiency factors, including
multiplicities, are equally good under the A-criterion, but a different
pattern of variances among simple contrasts may lead the experimenter
to prefer one to the other.
Example 12.1 Compare the following two designs for twelve treat-
ments replicated three times in six blocks of size six. Design ψ1 has
blocks
{a, b, c, d, e, f } , {g, h, i, j, k, l} , {a, b, c, g, h, i} ,
{d, e, f, j, k, l} , {a, b, c, j, k, l} , {d, e, f, g, h, i} ,
while design ψ2 has blocks
{a, b, d, e, f, j} , {c, g, h, i, k, l} , {b, c, e, f, g, k} ,
{a, d, h, i, j, l} , {a, c, d, f, g, h} , {b, e, i, j, k, l} .
The duals of these designs are group-divisible with the same concurrence
matrix, so Theorem 4.13 shows that the designs have the same canonical
efficiency factors. Design ψ1 is an inflation of a balanced design for
four treatments in blocks of size two, so both designs have second-order
balance with canonical efficiency factors 1 and 2/3 (using Example 5.8).
Theorem 5.5 shows that the variance of the estimator of τ (θ) − τ (η) is
equal to (15 − Λ(θ, η))σ 2 /18. In design ψ1 all concurrences are equal to
3 and 1, so the variances are 2σ 2 /3 and 7σ 2 /9. In design ψ2 there are
concurrences equal to 3, 2, 1 and 0, so variances of some simple contrasts
are as high as 5σ 2 /6. Thus design ψ1 would be preferred.
one control than in any contrast between treatments of the same type.
Alternatively, the controls may be just for demonstration purposes, with
contrasts among the new treatments being of most interest.
Suppose that there is a set Θ1 of t1 controls and a set Θ2 of t2 new
treatments, and we seek a binary incomplete-block design in b blocks of
size k. Such a design is said to have supplemented balance [191] if there
are integers r1 , r2 , λ11 , λ22 and λ12 such that each control is replicated
r1 times, each new treatment is replicated r2 times, and
λ11 if θ and η are distinct controls
Λ(θ, η) = λ22 if θ and η are distinct new treatments
λ12 if θ ∈ Θ1 and η ∈ Θ2 .
Counting arguments show that
t1 r 1 + t 2 r 2 = bk,
(t1 − 1)λ11 + t2 λ12 = r1 (k − 1),
t1 λ12 + (t2 − 1)λ22 = r2 (k − 1).
L = diag(r) − k −1 Λ.
Partitioning the rows and columns of L into the two types of treatment,
we can write
Θ1 Θ2
Θ1 r1 (k − 1)I − λ11 (J − I) −λ12 J
kL = .
Θ2 −λ12 J r2 (k − 1)I − λ22 (J − I)
Let x be a treatment contrast. If x takes the value 0 on all new treat-
ments then
and
1
− 1
J − 1t J
P3 =
,
t1 t
− 1t J 1
t2 − 1
t J
if random effects are assumed then information from different strata can
be combined because the information matrices commute.
However, if we try to generalize supplemented balance to supple-
mented partial balance, we run into difficulties.
and
30 −8 −8 −6 −4 −4
−8 −8 −4 −6 −4
30
−8 −8 30 −4 −4 −6
4L2 = .
−6 −4 −4 18 −2 −2
−4 −6 −4 −2 18 −2
−4 −4 −6 −2 −2 18
Now, L1 and L2 do not commute with each other, so they cannot have
the same eigenvectors. However,
2999 −361 −361 −871 −703 −703
−361 2999 −361 −703 −871 −703
1 −361 −361 2999 −703 −703 −871
L−1 =
42 × 759 −871 −703 −703 5015 −1369 −1369
−703 −871 −703 −1369 5015 −1369
−703 −703 −871 −1369 −1369 5015
array
a b c
,
d e f
Definition A partition Q of Ω × Ω is
reflective if it satisfies (a) and (b);
homogenous if it satisfies (A);
symmetric if it satisfies (B);
a coherent configuration if it is reflective and satisfies (C);
regular if each class Ci has a valency ai such that
|Ci (ω)| = ai for all ω in Ω;
commutative if AB = BA for all A and B in A.
12.3 Generalizations of association schemes 335
homogeneous inhomo-
geneous
regular irregular
commutative not commutative
@ @ @
@ @ @
A C @ @ @ symmetric
@ @ @
@ @ @
algebra @ @ @
@
C C @ C
not
directed Q(E) for S3 @ S symmetric
circuit @
V
@
@
@ @
@ Q(Inverse) @
@ for S3 @ S sym symmetric
Jordan @ @
U sym
algebra @ @
@ @
but not @
algebra @
not
@ W T U symmetric
@
@
@
in A.
For designs on structured sets, the loss is serious. The transition from
Equation (7.6) to Equation (7.7) is impossible if the partition P of Ω×Ω
is not commutative. Indeed, we cannot define strata in RΩ at all unless
P is commutative. Moreover, the method of combining information,
given in Section 7.4, requires that all of the information matrices have
the same eigenvectors; in other words, that they commute with each
other. Thus the partition Q of Θ × Θ must also be commutative.
If P is not commutative then treatment effects must be estimated
by an alternative method, which uses the inverse of Cov(Y ). So long
as P is reflective and satisfies (c), the inverse of Cov(Y ) has the form
F δF BF ; now the coefficients δF have to be estimated before treatment
effects can be estimated. Jordan algebras were originally introduced
into statistics to help the study of patterned covariance matrices, not
patterned concurrence matrices: see [168].
To retain the theory and methods of Chapter 7, we need both P and Q
to be commutative. Figure 12.1 shows that they must be commutative
coherent configurations. Concurrence matrices and covariance matrices
are both symmetric, so there is no loss in working inside P sym and
Qsym , which are association schemes, by Propositions 12.4 and 12.2.
Thus association schemes really are the right level of generality for this
theory.
If Q is a coherent configuration, it is possible for Qsym to be commu-
tative even if Q is not. Since we are concerned primarily with symmetric
matrices, we define Q to be stratifiable [21] if Qsym is commutative: if Q
is stratifiable then there are strata (common eigenspaces) for the sym-
metric matrices in Q. For example, in the quaternion group Q8 , Q(E)
is stratifiable but not commutative.
The commutativity shown by supplemented balance in Section 12.2
seems to contradict Proposition 12.1. This paradox is explained by the
following result. All of the information matrices (except the one for the U
stratum) have zero row-sums, and we want them to commute with each
other. Each such matrix L commutes with J, because LJ = JL = O.
Every symmetric matrix with constant row-sums is a linear combination
of J and a symmetric matrix with zero row-sums. So we want all the
symmetric matrices in A with constant row-sums to commute with each
other.
Example 12.4 Let Θ1 = {a, b} with the trivial association scheme and
let Θ2 = {c, d, e, f } with the group-divisible association scheme with
groups c, d e, f . Put Θ = Θ1 ∪ Θ2 and let U be the partition of
Θ1 × Θ2 defined by these two association schemes together with the
adjacency matrices A and A , where
a b c d e f
a 0 0 1 1 0 0
b 0 0 0 0 1 1
A=
c 0 1 0 0 0 0 .
d 0 1 0 0 0 0
e 1 0 0 0 0 0
f 1 0 0 0 0 0
A little checking shows that A is a Jordan algebra. Thus the set B in
Theorem 12.6 is commutative even though U satisfies none of condi-
tions (A)–(C).
For applications in designed experiments we may as well either replace
342 Where next?
U by U sym , which satisfies (B) but not (C), or repartition the classes
represented by A and A into Θ1 × Θ2 and Θ2 × Θ1 , which gives a
coherent configuration V.
In view of Theorem 12.6, the following definition seems useful.
Definition Let ψ be a block design for treatment set Θ with concur-
rence matrix Λ. Suppose that Θ is partitioned into subsets Θ1 and Θ2
with association schemes Q1 and Q2 whose associate classes are indexed
by K1 and K2 respectively. Then ψ has supplemented partial balance
with respect to Q1 and Q2 if there are integers λi , for i in K1 ∪ K2 , and
λ such that
λi if (θ, η) ∈ Ci , for i in K1 ∪ K2 ,
Λ(θ, η) =
λ if (θ, η) ∈ (Θ1 × Θ2 ) ∪ (Θ2 × Θ1 ).
Such a design has equal replication r1 for treatments in Θ1 and equal
replication r2 for treatments in Θ2 . If there are b blocks of size k, and
if there are t1 , t2 treatments in Θ1 , Θ2 respectively, then
t1 r 1 + t 2 r 2 = bk,
ai λi + t2 λ = r1 k
i∈K1
t1 λ + ai λi = r2 k.
i∈K2
13.1 Statistics
13.1.1 Basics of experimental design
The statistical theory of design for experiments was developed initially
by R. A. Fisher during his time at Rothamsted Experimental Station
(1919–1933). This theory was published in two famous books: Statistical
Methods for Research Workers and The Design of Experiments [96, 97].
These books focussed on three main designs: (i) trivial structure on both
the experimental units and the treatments; (ii) complete-block designs;
(iii) Latin squares. He also introduced factorial experiments, that is,
experiments where the treatments have the structure n1 × n2 × · · · × nm .
F. Yates joined Fisher at Rothamsted in 1930, and remained there
until his retirement in 1965. Through annual involvement with real
agricultural experiments, he extended Fisher’s ideas in three important
ways: factorial experiments in blocks; ‘complex experiments’, that is,
experiments where the structure on the experimental units is more com-
plicated than a single system of blocks; and designs in incomplete blocks.
The long works [252, 255] contain many worked examples of all three,
which feed independently into the theory of association schemes in this
book.
343
344 History and references
13.2.4 Geometry
Influenced by the geometer Levi in Calcutta in the 1930s, Bose naturally
used affine and projective geometries over finite fields in his construc-
tions of balanced incomplete-block designs from [52] onwards. Some of
the cyclic association schemes discovered in the 1950s and 1960s are
based on these geometries. More sophisticated geometry also leads to
association schemes and partially balanced designs, as in [56]. How-
ever, geometers were largely unaware of the statistical work before the
mid-1960s. In what was to become the standard reference on finite
geometries, P. Dembowski [90] included sections on association schemes,
generalized polygons and balanced incomplete-block designs, thus draw-
ing association schemes to the attention of another section of the math-
ematical community. He made a valiant attempt to call group-divisible
designs simply divisible and to rename perfect difference sets as quotient
sets; he was more successful in introducing the terms design and par-
tial design for balanced and partially balanced incomplete-block designs
respectively.
13.2.6 Duals
As hinted in Exercises 8.7 and 8.8, there is a well-developed theory of
duals of Abelian groups: see [129, Section V.6]. This led O. Tamaschke
354 History and references
[234, 235] to a notion of duality for (some) Schur rings, and Delsarte
[89] to effectively the same notion for Abelian-group schemes. In fact,
Delsarte gave a more general definition of dual association scheme, but
no examples other than Abelian group schemes. By the third edition of
their book [75], Cameron and J. van Lint, on the suggestion of Seidel,†
had generalized this to the formal duals described in Section 10.5.
13.2.7 Imprimitivity
Cameron, J.-M. Goethals and Seidel recognized the importance of inher-
ent partitions in [73], where they proved Theorem 10.5 and showed that
inherent partitions give rise to quotient schemes. They used the term
‘subscheme’ for what I have called an algebraic subscheme; Whelan [247]
called them normal subschemes.
Parts of Sections 10.1–10.4 are also in [102, 208].
This list excludes notation that is used only within a short proof or
example. The right-hand column shows where the notation is used.
355
356 Glossary of notation
graph Chapter 1
cov(Y, Z) covariance of random variables Y and Z Chapters 4, 7
C adjacency matrix for ‘same column’ throughout
C character table throughout
C(i, e) eigenvalue of Ai on We throughout
Cn the graph which is an n-circuit Chapter 1
n
Cm the binomial coefficient which gives the
number of m-subsets of an n-subset throughout
Cov(Y ) covariance matrix of the random vector Y Chapters 4, 7
C the complex numbers throughout
C subset of Ω × Ω throughout
C dual of subset C Chapter 1
C Γ
restriction C ∩ (Γ × Γ) Chapter 10
Ci an associate class throughout
CF associate class defined by the partition F Chapter 6
C0 the diagonal associate class throughout
Ci (α) {β : (α, β) ∈ Ci } throughout
de dimension of stratum We throughout
d∗ dimension of residual space Chapters 4, 7
det M determinant of the matrix M throughout
diag(f ) diagonal matrix with f on the diagonal throughout
Glossary of notation 357
367
368 References
381
382 Index
balanced block design, 111, 123, 127, circuit, 25, 29, 47, 51, 58, 78, 213
130, 139, 237, 344, 353 circulant matrix, 23
balanced design, 198, 212, 214 Clebsch graph, 327
basic contrast, 91, 93, 345 coarser partition, 146
beans, 197 coding theory, 353
between-groups, 38, 118 coherent configuration, 334, 351
BIBD, 111 combined estimator, 193, 206
binary block design, 81 common transversal, 132
block, 79 commutativity, 16, 22, 23, 32, 35, 68,
partition, 79 70, 177, 197, 214, 229, 241, 306,
projector, 85 332, 338, 349
subspace, 85 compatible association schemes, 308,
block design, 79, 171 350
Abelian-group, 235 complete balanced response structure,
balanced, 111, 123, 127, 130, 139, 348
237, 344, 353 complete-block design, 81, 90, 343
binary, 81 complete graph, 7
complement, 113 composite design, 215
complete, 81, 90, 343 concurrence, 81, 120, 124, 171
connected, 83 concurrence matrix, 81
cyclic, 124–129, 344, 348 configuration, 81
dual, 82, 94, 112, 139 confounded design, 243, 343
elementary, 136 connected block design, 83
group, 235 connected design, 183
group-divisible, 112, 118, 139 connected graph, 19
incomplete, 81 contrast, 86
isomorphism, 137 basic, 91, 93, 345
optimal, 95, 138, 346 row, 129
triangular, 112, 113, 115, 120 simple, 86, 94
unreduced, 103 control treatment, 330
blocks matrix, 80 convolution, 22, 227
blueprint, 24, 227–229, 309 coset, 239, 240
crossing, 233 covariance, 83, 183, 186
Inverse, 227 matrix, 83
nesting, 234 cows, 75, 172
Subgroup, 242 crested product, 293, 347
Bose–Mesner algebra, 34, 346 crossing, 61–66, 74–77, 163–168, 289,
Bose–Mesner isomorphism, 48 348
bottom stratum, 183 association schemes, 62, 323
balance, 185 blueprints, 233
partial balance, 185 orthogonal block structures, 165
poset block structures, 260
canonical efficiency factor, 91, 93, 94, cube association scheme, 9, 19, 21, 44,
116, 120, 124, 127, 187–195, 46, 56
202–206, 214, 216, 237, 243, 345 cube edge association scheme, 28, 58,
cardinal sum, 259 299
Cayley table, 249 cubic lattice design, 131, 143
extended, 250 cyclic association scheme, 22–25, 51, 67,
cellular algebra, 351 126, 227, 302, 346, 347
character, 42, 230–232 cyclic block design, 124–129, 344, 348
irreducible, 230 thin, 125
trivial, 230 cyclic design, 200–206, 226
character table, 39–52, 63, 70, 116, 118, strongly cyclic, 200
155, 188, 231, 264, 285, 295 weakly cyclic, 200
characteristic function, 10 cyclic subgroup, 242
cheese, 170
chicory, 224 D matrix, 39–52, 63, 70, 286
Index 383
incidence, 81 subspaces, 31
information, 88, 116, 183, 187, 213, superposition, 106, 347
331 to blocks, 88
nice, 270 vectors, 31
projection, 146, 255 orthogonality condition, 106
relation, 145, 255 orthogonality relations, 41–43, 47, 56
square, 11 overall efficiency factor, 93, 127, 138
symmetric, 12, 60
transpose, 12 pair association scheme, 134, 143, 212,
triangular, 147 220, 278, 299, 304, 323, 346
maximal element, 169, 262 parameters
milk, 257 of the first kind, 2
minimal of the second kind, 43
element, 262 partial balance, 111–139, 160, 175–222,
idempotent, 39 236, 239, 243, 303, 305, 308, 346,
polynomial, 34, 44 349
variance, 87, 183, 186, 193 partial design, 353
mirror-image, 135 partial geometry, 352
Möbius function, 147 partial order, 147, 256, 301, 309, 313,
Möbius inversion, 153 319
modularity, 265 linear, 261
Moore graph, 58, 352 trivial, 261, 312
Moore–Penrose generalized inverse, 35 partition, 1, 24, 145–168, 227, 255, 301,
mushrooms, 75 324
block, 79
nested block design, 172, 349, 350 coarser, 146
nested row-column design, 173, 349 coset, 240
nesting, 69–77, 146, 163–168, 289, equality, 146
348 finer, 146
association schemes, 69, 323 homogeneous, 334
blueprints, 234 ideal, 281
orthogonal block structures, 166 inherent, 277, 354
poset block structures, 260 irreducible, 267
net, 130, 352 orthogonal, 149–168
nice matrix, 270 product, 163
normal subgroup, 242 projector, 146
null graph, 10 reflective, 334
regular, 334
octahedron, 29 stratifiable, 339
optimal block design, 95, 138, 346 subspace, 145, 227, 281
optimal design, 206 symmetric, 334
orbit, 351 treatment, 196
ordinal sum, 260 trivial, 146
orthogonal uniform, 146
array, 151, 344, 353 universal, 146
block structure, 152–168, 171–211, path, 19, 52, 121, 135
238, 240, 249, 258, 265, 278, 280, patients, 74
284, 289, 296, 313, 318–323 PBIBD, 111
crossing, 165 perfect difference set, 127, 237
nesting, 166 permutation, 245
simple, 348 permutation action, 247
complement, 31 permutation group, 351
design, 196, 214, 349 Petersen graph, 6, 17, 50, 172, 289, 298
Latin squares, 28, 130, 132, 134, 162, piglets, 74
323, 344 plot, 79
partitions, 149–168 point, 80
projector, 32, 34, 61, 85, 96, 146 poset, 147, 255–275
386 Index
vector, 143, 220 variance, 83, 87, 88, 94, 114, 120, 124,
symmetrization, 335 129, 183, 207
symmetry, 163 stratum, 186
variety, 80
t-design, 345, 353 vector space sum, 31
table of differences, 126 vertex, 7, 52
table of products, 229
table of quotients, 236 weak Abelian-group design, 238
tensor product, 59 weak automorphism, 246
thin cyclic design, 125 weak isomorphism, 66
thin group block-design, 235 weakly cyclic design, 200
tobacco, 174 within-groups, 38, 118
transitive group, 248 wreath product
transitivity, 147, 163, 312 of association schemes, 69
translate, 124, 235 of automorphism groups, 246
translation group, 249 of blueprints, 234
translation scheme, 249 of orthogonal block structures, 166
transpose of sets of subsets, 69
of a matrix, 12 relaxed, 292
of a vector, 86
transversal design, 112, 139 zeta function, 147
treatment, 79, 171
control, 330
effect, 86
partition, 196
projector, 196
subspace, 196
treatment-concurrence graph, 82, 87,
121, 135, 346
triangle, 8, 10, 52
triangular association scheme, 17, 57,
78, 115, 212, 217, 249, 346
triangular block design, 112, 113, 115,
120
triangular matrix, 147
triangular type of association scheme,
18, 347, 348, 353
trivial association scheme, 4, 63, 64, 70,
73, 111, 198
trivial character, 230
trivial partial order, 261, 312
trivial partition, 146
2-design, 111, 345
2-subset, 7, 17
unbiased estimator, 86
undirected graph, 7
uniform partition, 146
unipotent Latin square, 218, 226
universal partition, 146
unreduced block design, 103
up-ideal, 257
up-set, 257