On the relationship between graphs and partially

0 downloads 0 Views 196KB Size Report
We also establish the existence of a new class of these graphs. 1. ... A - P n = P n . ... is a perfect square and. 2n is an odd integer. Proof of Theorem 4. Suppose ...
BULL. AUSTRAL. MATH. SOC. VOL.

MOS 0540, 0520, C626I]

I (1969), 425-430.

On the relationship between graphs and partially balanced incomplete block designs W . D. Wallis Certain theorems which are already known show that if a partially balanced incomplete block design with suitable parameters exists then there is a

(V, K, AJ-graph.

We prove that the existence of

such a graph is in fact equivalent to the existence of a certain partially balanced design.

The known necessary conditions for

(V, K, AJ-graphs then follow from well-known necessary conditions for designs. We also establish the existence of a new class of these graphs.

1. Partially balanced designs and graphs Suppose

G

is a graph on

points joined to the point \S n S I = A x y and [70]).

for any

x

The points

P

P

V

points.

by arcs of

and

y , then

Write G .

G

is a

S If

for the set of all \S I = K

and

(V, K, Aj-graph (see [7]

and sets S form a (V, K, k)-configuration x x if we interpret the points as treatments and sets as blocks. A partially balanced incomplete block design with two classes of

associativity, or

P B I B D (2) , is a scheme for arranging

(treatments) into

b

member of

r

associates;

sets (blocks) of size

blocks. the number

v

objects

k , with each treatment a

Any two treatments are called either first or second n-

of treatments

i-th associates must be independent of i-th associates, there must be

X.

x ;

P

such that given a pair

P

and

{P , P }

blocks which contain both

Received 9 September 1969. 425

P

P

are of

and

P

,

W.O. Wai I is

426

and p .£ treatments

Q such that

{P , Q} and {P , Q] are j-th and

k-th associates respectively. We have defined sixteen constants related to a P B I B D (2) ; there are various relations between these parameters [3, p. 213]: Pll + Pl2 + 1 = Pll + Piz = «l . P21

+

1

1

p 2 1 + p 2 2 = »2 . 2 P l 2 = P21 .

p22 + 1

(1) p\z = P21 . "1P12 = naPii

"1P22 = n 2Pl2

i l ., in terms of P n , while the other

enable us to define all the parameters must satisfy

v r =bk , (2)

n 2 = v - «! - 1 ,

We will indicate the parameter scheme of a P B I B D (2) by the (v, r, k ; Xi, X 2 ; nx ; p n , p\x) ,

(3) the inclusion of THEOREM then

8-tuple

there

1.

is a

pn

and

If there

X2 being redundant but convenient. is a

(V, K, h)-graph

P B I B D (2) which satisfies with

p\i = p\\

,

parameters

V =v K = «! A - P n =Pn . Proof.

Take the treatments in the design as points of a graph; two

points are joined if and only if they are first associates. This graph satisfies the conditions for a THEOREM

(V, K, A^-graph with the given parameters.

2. If there is a P B I B D (2) which satisfies p\z = P22 >

then there is a

(V, K, h)-graph with parameters V = v K = n2 A = p22 = p22 .

Graphs and partially balanced designs

427

The proof is as for Theorem 1, except that second associates are joined. Bose [2] has shown that a graph is obtained on joining the first associates of a

P B I B D (2) ;

theorems essentially the same as our

Theorems 1 and 2 are used in [9] to construct

(V, K, h)-configurations.

However, the two ideas have not been put together before.

THEOREM 3. There is a (V, K, h)-graph if and only if there is a P B I B D (2) with parameters (V, K, 2 ; 1, 0 ; K ; A, A; . Proof.

The "if" part follows from Theorem 1.

(V, K, AJ-graph.

Form the

-j KV

sets of size

of points which are joined in the graph. P B I B D (2)

2

Now suppose there is a which consist of pairs

These sets are the blocks of a

with suitable parameters.

2. Necessary conditions THEOREM 4. Suppose there is a (V, K, k)-graph. Then there is an integer m satisfying m2 = K - A ,

(k) (5)

m | kJ

(6)

7 - 1 and ftn~ have the same parity. The above theorem has been proven by Bose and Shrikhande [4]. Their

proof involves consideration of the matrix properties of the incidence matrix of the graph.

We will show that the theorem follows immediately from

the known results on

P B I B D (2)s .

The theorem has also been derived by

N. Sauer [«]. In [6] Connor and Clatworthy define two parameters associated with a

P B I B D (2) :

A = (plz-Pll)2 + 2Cp?2+Pl2^ + 1 . r\ =

[

a

>

-

P

They then prove the following Theorem: LEMMA 5 16, p. 110].

In a P B I B D (2) :

A

and ri

428

W.D. Wai I is

(i)

if

v

is odd and

A

is not a perfect square, then

A

is a perfect square, then

A = l(mod k) j (ii)

if

v

is odd and

r) is an

integer; (Hi)

if

v

is even then

A

is a perfect square and

2n

is an odd

integer. Proof of Theorem 4. is a

P B I B D (2)

Suppose there is a

(V, K, AJ-graph.

with parameters as in Theorem 3.

Then there

For this design

A = k(K-A) , ri = -K/2S(K-A) . Therefore the situation in (i) of Lemma 5 cannot occur, so

A

perfect square.

call it

This

m

Hence

(K-A)

satisfies (k).

is always a perfect square;

In "both (ii) and (Hi)

an integer, so we have (5)-

is always a

it is required that

m2 . 2n

be

The remaining conditions demanded "by (ii) and

(iii) are: (ii)

if

V

is odd then

(iii)

if

V

is even then

The first of these means that has the same parity as

2m | K , Km Km

is odd. is even.

So, in either case,

V - 1 , and we have (6).

In [77] we derive another necessary condition for a V - 2K + A

Km

cannot equal

1 .

(V, K, A^-graph:

This also follows from Theorem 3.

From the

parameters given in the Theorem, we derive (using (i)) v\2

= v - 2K + A ,

l =V-2K+A-2 By the definition of there is a pair of

p .,

it is clear that

. p .,

i-th associates in the design.

cannot be negative if So

p 2z

is negative

only if all points are first associates - that is, the graph is complete. So

V ~ 2K + A S 2

V - 2K + A = 0 .

except in the case of a complete graph, which satisfies So

V - 2K + A $ 1 .

Graphs and partially balanced designs

429

3. A two-parameter family of graphs Ray-Chaudhuri has constructed block designs by considering quadrics in finite projective spaces.

He takes lines generating the quadric as blocks

and points on the quadric as treatments.

He derives the following theorem

[7, p. Il8l] by considereing a non-degenerate quadric in 2i-dimensional space with co-ordinates in THEOREM there is a

6.

If

t

is a positive integer and

P B I B D (2)

PG(2£, s) , the

GF(s) . s

is a prime power,

with

v

= (s2t-l)/(s-l) ,

ni

= s{s2t~2-\)/(s-±)

,

Pli = (8-1) + s2[s2t~k-l)/(s-V Pii = {s2t-2-l)/(s-D

,

.

Using (1) and (2) we find that this design satisfies n2

= s

1 p22

=

s

2t-l 2£-2 2 fs-i; = p 2 2 •

Hence we can use Theorem 2 to obtain COROLLARY

7.

then there is a

If

s

is any prime power and

t

any positive integer,

(V, K, A)-graph with parameters

We shall refer to a graph with these parameters as being of type

Vt(s) . REMARKS.

I.

A graph of type

0.(2) V

(in the notation of our paper £101). for graphs with parameters

(2

-1, 2

is also a graph of type

C , 2

Therefore we know of two constructions ,2

) .

It is not known whether

the two graphs are isomorphic. 2.

Several other families of partially balanced designs exist which

yield graphs of type

V2(s) .

This series is found by applying Theorem 2 to

the designs in [5] or to either of the two classes of designs on p. 1182 of [7],

Again, it is not known whether the various graphs arising are isomorphic.

430

W.D. Wai I is References

[7]

R.W. Ahrens and G. Szekeres, "On a combinatorial generalization of 27 lines associated with a cubic surface", J. Austral. Math. Soa. (to appear).

[2]

R.C. Bose, "Strongly regular graphs, partial geometries and partially balanced designs", PaaifiaJ.

[3]

Math. 13 (1963), 389-419.

R.C. Bose and W.H. Clatworthy, "Some classes of partially balanced designs", Ann. Math. Statist. 26 (1955), 212-232.

[4]

R.C. Bose and S.S. Shrikhande, Graphs in which eaah pair of vertices is adjacent to the same number

d

of other vertices

(institute

of Statistics Mimeo Series No. 600.6, Consolidated University of North Carolina, 1969)[5]

WiI lard H. Clatworthy, "A geometrical configuration which is a partially balanced incomplete block design", Proc. Amer. Math. Soc. 5 (195*0, i+T-55.

[6]

W.S. Connor and W.H. Clatworthy, "Some theorems for partially balanced designs", Ann. Hath. Statist. 25 (195*0, 100-112.

[7]

D.K. Ray-Chaudhuri, "Application of the geometry of quadrics for constructing

P B I B

designs", Ann. Math. Statist. 33 (1962),

1175-1186. [S]

Norbert Sauer, "(v,k,X)-graphs"

(Calgary International Conference on

Combinatorial Structures and their Applications, Abstracts, University of Calgary, 1969). [9]

S.S. Shrikhande and N.K. Singh, "On a method of constructing symmetrical balanced incomplete block designs", Sankhya, Ser. A 24 (1962), 25-32.

[70]

W.D. Wai I is, "Certain graphs arising from Hadamard matrices", Bull. Austral. Math. Soa. 1 (1969), 325-331.

[77]

W.D. Wai I is, "A non-existence theorem for Math. Soc. (to appear).

La Trobe University, 8undoora, Victoria.

ft;,fc,AJ-graphs", J. Austral.