Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Mathematics
A collection of informal reports and seminars
Edited by A. Dold, Heidelberg and B. Eckmann, Z(Jrich
182
Leonard D. Baumert
California Institute of Technology
Pasadena, CA / USA
Springer-Verlag
Berlin. Heidelberg- New York 1971
I S B N 3-540-05368-9 S p r i n g e r - V e r l a g B e r l i n H e i d e l b e r g N e w Y o r k
I S B N 0-387-05368-9 S p r i n g e r - V e r l a g N e w Y o r k H e i d e l b e r g B e r l i n
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned,
specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine
or similar means, and storage in data hanks.
Under 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to the publisher,
the amount of the fee to be determined by agreement with the publisher.
@ by Springer-Verlag Berlin - Heidelberg 1971. Library of Congress Catalog Card Number 73-153466 Printed in Germany.
Offsetdruck: Julius Beltz, Weinheim/Bergstr,
For this reason the chapters and to a lesser degree the sections
within them are largely independent of each other, having been written that way in
order to encourage the reader to skip around and follow his own interests.
However
This structure~
later material understandable to as many as possible, has led to the anomaly that,
in some cases, quite elementary concepts are defined in the later chapters, whereas
these
same
concepts,
CONTENTS
I.
II.
III.
IV.
V.
INTRODUCTION
. . . . . . . . . . . . . . . . . . . . . . . . .
A.
Difference
B.
Shifts~
C.
Block Designs,
D.
The Characteristic
E.
Multipliers
F.
The Hall-polynomial,
G.
Group Difference
EXISTENCE
Sets
. . . . . . . . . . . . . . . . . . . . . .
Equivalence
Complements
. . . . . . . . . . . . . . .
Incidence Matrices.
Function
The Incidence
Equation . . . . .
Function
....
. . . . . . . . . . . . . . . . . . . . . . . .
QUESTIONS
w-multipliers
4
6
7
. . . . . . . . . . . . . .
Sets . . . . . . . . . . . . . . . . . . . .
8
9
. . . . . . . . . . . . . . . . . . . . . .
ii
A.
B.
The Bruck-Ryser-Chowla
Co
Integral
D.
24
E.
Results of Mann,
. . . . . . . . . . .
26
. . . . . . . . . . . .
54
MULTIPLIERS
Problems
Solutions
. . . . . . . . . . . . . . . . .
Theorem
. . . . . . . . . . . . . . . .
to the Incidence
Rankin,
Equation
A N D CONSTRUCTIVE
ii
EXISTENCE
TESTS
12
. . . . . . . . . .
18
A.
Multiplier
Theorems . . . . . . . . . . . . . . . . . . . . .
54
Bo
Difference
. . . . . . . . . . . . .
60
C.
Multipliers
. . . . . . . . . . . . .
62
D.
Polynomial
DIFFERENCE
and Diophantine
Congruences
Planar Difference
B.
Hadamard Difference
C.
Barker Sequences.
Ao
Sets
. . . . . . . . . . . . . . . . .
N th Power Residue
77
77
Sets . . . . . . . . . . . . . . . . . . .
90
SETS
Hadamard Matrices . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
65
. . . . . . . . . . . . . . . . . . .
Circulant
OF DIFFERENCE
and Welch .
B.
. . . . . . . . . . . . . . . . . . .
Ao
FAMILIES
Equations
Difference
The Results
of Gordon,
99
Mills
. . . . . . . . . . .
96
. . . . . . . . .
99
119
V.
VI.
FAMILIES OF DIFFERENCE
C.
More Cyelotomic
D.
Generalized
MI SCELLANY
SETS
(continued)
Difference
Sets
. . . . . . . . . . . . . . .
Sets
. . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
A.
Multiple
Inequivalent
B.
Searches
C.
Some Examples
D.
A Table of Difference
Difference
Sets
. . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
Sets
. . . . . . . . . . . . . . . . .
REFERENCES . . . . . . . . . . . . . . . . . . . . . . . . . .
127
131
1 43
143
14h
146
148
159
I.
INTRODUCTION
The main purpose of this chapter is to provide the basic definitions and
vocabulary of the study of difference sets so that subsequent chapters need not be
interrupted at inopportune times b y the introduction of such material.
Thus none
of the concepts are pursued in detail - such development being deferred to the
appropriate part of a later chapter.
A.
Difference Sets
A
v, k, ~ - difference set
modulo
v,
D = {dl, o.., ~ }
J # 0
d i - dj ~ ~
has exactly
solution pairs
(di,dj)
changeable below;
(mod v)
residues
the congruence
(mod v)
with
is a collection of
di
(ioi)
and
dj
in
Do
[The terms
the later two being used when there is some reason to stress
either the contrast with general group difference sets or the particular parameters
v, k, k
involved.]
(1.2)
v.
(i)
(ii)
(iii)
(iv)
v, k, ~.
These are:
the null set
D =
all singletons
O = [O,1 ..... v -
D = [i},
0 < i < v - 1
l}
0<i<v-1.
These difference
sets are called trivial and are quite often either ignored or
v, k~ ~ = v, 0, 0;
If one introduces
v, l, 0;
v, v~ v
n ~2,
and
v, v - l, v - 2
n = k - ~,
equation
trivial difference
n = 0
sets
respectively.
lo
Hence the
sets.
Some non-trivial
difference
sets are:
D I = [i, 2, 4]
rood 7,
D 2 = [0, 3, 5, 6]
mod 7,
D 3 = [0, i, 3, 9)
mod 13,
mod 19 o
v, k, ~
are
7, 3, 13
7, 4, 2;
13, 4, i
and
19, 9, 4
respectively.
B.
Shifts, Equivalence,
Complements
set
D = [dl,.O., ~ ]
[d I + s,...,d k + s} --- D + s
taken modulo
mod v,
v
is also a difference
prime to
v,
the set
[tdl,.o.,td k] --- tD
prime to
v,
then
v, k, h.
and if
D.
l
and
D.
j
set of parameters
and
(rood v)
v, k, h
satisfying
pairwise
~ > 0,
sets
t, s
equation
difference
sets.
difference
in V. A. below)
it is
inequivalent
set~
the
is also a difference
Dj
difference
Di
D.
taken modulo
D. = tD. + s
l
j
meters.
If
v, k, h
such
D1
and
D2
are related~
that is
D I + D 2 = {O,l,o..,v - I} o
D1
is a difference
and
set.
v*, k*~
v
and
For m o s t purposes
m e n t a r y difference
than
v/2.
set w i t h parameters
set w i t h parameters
one sees that both
D2
h*=
n
D*
is a difference
Recalling that
n = k - h
sets.
of the four - v, k, h, n.
Using
k = v/2
be less
the parameters
v, n
n = k - h
h + h* = v - 2n
its complement
If
Since
v, v - k, v - 2k + h.
in terms of them.
v, k,
sets.
and
k > 1
and
k, h
it follows that
h. h* = h(v - 2n - h) = n(n - i) .
sets~
it follows
that
_>
n(n-
> v-
2n- i
and so
+n
v : 4n - i
+ i >v>4n-
and
v = n2 + n + i
io
correspond to difference
C.
(iii)
objects into
different objects
different blocks
different blocks
b k = vr
(1.3)
r(k - i) = h(v - i)
b, v, r, k, h.
(1.4)
k = r.
equals the
In a symmetric design
(1o4) takes
relabeling of the objects of such a design permutes the blocks cyclically in a cycle
of length
v.
D1
of
For example,
BI = DI
- [i, 2, 4]
B 2 = D I + i =- [2, 3, 5]
B3 = D I + 2 - [3, 4, 6]
B4 = D I + 3
- I0, 4, 5]
B 5 = D I + 4 - [i, 5, 6]
B 6 = D I + 5 -= [0, 2, 6]
B 7 = D I + 6 -= [0, l, 3]
(rood 7)
aij = 1
b v
A =
of
It is constructed by
matrix
aij = 0
D + (i - l)
otherand
0
0
0
i
0
i
l
1
0
0
0
1
0
l
1
1
0
0
0
1
0
0
1
1
0
0
0
1
1
0
1
1
0
0
0
0
1
0
1
1
0
0
0
0
1
0
1
1
0
From the block design definition above it is clear that the associated incidence
matrix satisfies the so-called incidence equation
ATA:
where
same order.
(r-
and
(1.5)
:):+
ATA
is given by
(l.6)
(1.7)
of a non-trivial symmetric
Using this fact it can be shown
(Ryser, 1950) that the incidence matrix of a syn~netric block design is normal.
is, that
That
(1o8)
ATA = AA T = (k - ~,)I + ~7
IATAI = IAI 2
symmetric block design (or a difference set) can only exist for even
n = k - ~
is a square.
if
existence criterions for symmetric block designs and hence for difference sets.
Since Chapter II is devoted to difference set existence questions these results
are deferred until then.
D.
(i = 0 , . . . , v wise.
l)
given by
a. = 1
1
if
D
i
and
{a i]
a. = 0
1
other-
difference set
D.
Considered as a binary
a i ai+ j
(i + j
taken modulo
v)
i=O
Pa(j)~ !v Ra(J)'
Since
{a i]
Ra(J) = I k
if
h
j -= 0
otherwise
modulo
fb
" i }v-1
0
where
b i = 2a i - 1
is considered
[a i}
This sequence
{b i]
has autocorrelation
function
if
j ~ 0
V - 4(k - ~)
modulo
otherwise
Autocorrelation functions like these are said to be two-level and binary sequences
which possess them have found extensive application in digital communications.
[See Golomb et al, 1964 for some of these].
the definitions that the only binary sequences which have two-level autocorrelation
functions are those associated with cyclic differences sets.
E.
Multipliers
If
is prime to
difference set
D,
then
and if
t
tD
is some shift
is called a multiplier of
D + s
D.
of the original
In terms of the
associated block design of the difference set (see I.Co above) the mapping
(mod v)
is an automorphism.
That is~ if
x~tx
P, Q
determined by
of
such that
PAQ = A .
All known
multipliers
(19)
t ~ 1
modulo v).
(i.e.,
The collection of multipliers of a given difference set forms a group called the
multiplier group of that difference set.
This theorem
Theorem i.io
is prime to
and if
p > h,
then
If
is a prime dividing
n,
v, k, h.
merely note that for all known non-trivial difference sets the condition
superfluous.
p > h
is
(n,v) = 1
F.
if
of
is a multiplier.
polynomial
e(~):x
dl
+...
+x
(l.lO)
This pol~nqomial has been called the Hall-pol~nomial of the difference set, the
generating polynomial of the difference set or the difference set pol~omial.
In terms of this polynomial the difference set property is
e(x)e(x-1)
k
~.
=
d. -d.
I j
h(1 + x
xV_l )
+
o"
(mod x v - i) o
(l.ll)
i,j
If
~v ~ 1
(1,z2)
e({v) 8({v I) = n.
This shows that a non-trivial difference set is intimately connected with the
factorization of
If
then
e(x t) ~ xSe(x)
More generally,
prime to
w,
if
divides
v,
(mod x v- l) .
e(x t) ~ xSe(x)
Clearly
(mod
wI
of
of
w.
t,
satisfying
xw - l ) .
(1.13)
(1.14)
Further, a w-multiplier is a
Thus, an ordinarymultiplier
is a
v.
G.
distinct elements of
of order
is a set
{gl~..~gk]
of
-1
gigj = g
has exactly
in
G, g ~ 1.
above (I.A., etc.) correspond to group difference sets for cyclic groups (i.e.,
they are cyclic difference sets under this terminology).
sets constitute a generalization
consideration.
in much the same manner as demonstrated for cyclic difference sets in I.C. above.
But not every symmetric block design corresponds to a difference set in some group
G.
v, k, h = 31, 10, 3
l0
could only correspond to a cyclic difference set since the only group of order 31
is cyclic
occupy a t r ~ y
middle ground between symmetric block designs and the cyclic dif-
general group difference sets are mentioned in connection with these problems.
The
purpose being to point out that the difficulties arise only because of the cyclic
nature of things and thus cannot be resolved solely by techniques which apply more
generally.
An example of a group difference set, which is not cyclic, is the set
D = {a, b, e, d, ab, ed]
where
= b
= c
d2
a, b, c, d,
v, k, )~ = 16, 6, 2.
II.
EXISTENCE QUESTIONS
How
is considerable overlap between the areas defined by these questions, there seems
to be some value in treating them separately.
For the
v, k, ~, n
and
A.
sets is unsolved.
v, k, ~
Nevertheless,
k(k - i) = ~(v _ i) or
k2
= ~v + n .
(2.1)
(v,n) > 1
[or equivalently
(v,n) > l;
v, k, k, n = 16, 6, 2, 4.
(v,n) > l,
For~ there do
12
Another outstanding existence problem arises when one notes that there exists
an infinite number of difference sets with
pJ + l, pJ + l, 1
struction).
Z = 1.
Specifically
v, k# k = p2j +
Z ~ 2,
Z.
can be made for symmetric block designs and again the problem is open.
B.
i.e.,
ATA = nI + ~J
v).
is the
v v
(Here
(2.2)
is the
v x v
I
incidence matrix
is the identity of
A~
v
Li(x ) =
aij x.
J
j=m
where
is a vector of indeterminates
x..
J
13
L~(X) + ... + L ; ( X ) =
n(~
+ -.. + 4 )
(2.3)
The study of these equations ((2.2) and (2.3)) has produced a number of
existence criterions for symmetric block designs as well as for certain more
specialized configurations.
Let
B = nI + ~J
and write
ATA
as
ATIA.
quadratic forms) equation (2.2) shows that if a block design exists, then the
identity matrix I represents
fortunately,
when
with a
0, 1
transformation matrix
Un-
A.
However, if
is
of quadratic forms [see Jones (1950) for an exposition of this theory] provides
necessary and sufficient conditions for the existence of such a transformation
A.
Specifically
when
(i)
for
even,
(ii)
for
integers
A v x v
x, y, z
rational matrix
satisfying
is a square
z
= nx
2 +(-i )(v-l)12y2
has a solution in
Thus Theorem 2.1 provides necessary conditions for the existence of symmetric
block designs and hence for difference sets.
In f a c %
v, k, ~
satisfying Theorem 2.1 for which it is known that no symmetric block design
exists.
That is, conceivably the conditions of Theorem 2.1 are sufficient not only
but also a
O, 1
matrix.
If one
restricts attention to cyclic difference sets however, this is no longer the case.
For [as is shown later, section II.E] there is no cyclic difference set with parameters
v, k, k = 16, 6, 2
14
as they clearly must since an example of such a block design can be derived from
the non-cyclic difference set given in section I.G. above.
It should be pointed out that Legendre
a simple effective test for the solvability of diophantine equations of the type
appearing in (ii) above (see Note 2 below for a statement of this test).
Thus
v, k, k = 43, 7, i;
z 2 = 6x 2 _ y 2
is a square.
In particular, when
A= Jni+
gk n j _ _
v
is a square.
v,
For odd
thus when
is even,
From equation
n = k - h
(b
where
2
2
2
2
2
2
~
2
2
2
2
+ b 2 + b 3 + b4)(x I + x 2 + x 3 + x ) = Yl + Y2 + Y3 + Y4
(2.4)
15
(2.5)
Y3 = b3Xl + b4x2 + blX3 - b2x4
Y4 = b4Xl - b3x2 + b2x 3 + blX4
are required.
system of equations
solved for the
efficients,
When
Xv = YV
n = b 2I + b 22 + b 32 + b 24
With
(2.5) is
x.'sl
n 2.
Thus Cramer's
as linear combinations
the denominators
v ~ i (mod 4),
(b i
of which are
the relation
of the
Yi'S
n .
2
2
2
n = bI + b2 + b3 + b
together with
and
2
2
2
2
2
+ 2
2
n(x2 + Xi+l + xi+2 + xi+3) = Yi + Yi+l
Yi+2 + Yi+3
for
i = 1,5,...,v- 4
the independent
indeterminants
yl,...,y v
Ll(Y),...,Lv(Y )
yl,...,y v.
YI'
and
given by
w = x I + x 2 + .-o + x v
Yi'S
(2"7)
cev2
+ ..o + C J v
for
i-
cI
cI ~ 1
(2.8)
Yl =
e2Y 2 + .. + C J v
for
-i-
where
(2.6)
2
2
2
7,~w2
L (y) + ... + L (y) = Yl + "'" + Yv-I + nYv +
where
of the
cI
cI = 1
16
LI(Y) =
cjyj .
J=l
Yl
however,
L~(y) = y~;
Y2, o.o,yv.
y2,...,yv. 1
where
Lv(Y )
integer
x,
and
Yv"
Now let
Yv
be a non-zero
then in integers
Lv
and
w,
x, y, z (x ~ 0) the equation
z2 = n x 2 + by2
(2.9)
has a solution.
When
Xv+ I
v ~ 3 (mod 4),
add
is a new indeterminate.
nx
2
v+l
!
2
2
= 2
2
L (y) + ".. + Lv(Y ) + nXv+ I
Yl + "" + Yv+l + hw2
where
Ll(Y),o..,Lv(Y), Xv+ I
Again choosing
yl,...,y v
and
yl,...,yv+ 1.
2
= 2
nXv+l
Yv+l + hw2
where
Xv+ I
and
non-zero integer
Yv+l"
x, y, z (z ~ O)
Taking
of the equation
Yv+l
Xv+ 1
to be a
and
17
Combining this equation with that of (2.9) completes the proof of the necessity of
the conditions of Theorem 2.1.
Condition (i) of Theorem 2.1 was derived independently by Sch[tzenberger
and by Chowla and Ryser (1950).
for
(1949)
h = 1
independently
of a symmetric block
design not only satisfies equation (2.2) above but also must be normal (Ryser,
1950)o
(2.io)
adding the normality condition would further restrict the possible parameter sets
v, k, h.
h.
k = i
Moreover,
and by Hall
this solution
satisfying
AJ = kJ
0, i
rows, consistent
rows and
%1
columns subject
AJ = JA = kJ.
different authors and even with different works of the same author.
the matrix designated by
AT
A.
Since
18
But it is sometimes
Note 2.
If
has a solution
a, b, c
are squarefree
in integers,
quadratic
residues
quadratic
residue of
ax
of
+ cz
= 0,
without
be divided out.
i,
divide
that
ez ~
g
there
but since
m a y be divided out.
manner yielding
Co
Integral
above.
significant
z.
represents
is said to be a
such that
Given a ~
are
2_
= g
diophantine
equation whose
modulo
equation
coefficients
Then,
a, b, c
con~non divisor
are squarefree
and
(a,c) > i
or
(a~ b, c) = 1
ax
+ by
(b,c) > i
can
must
this implies
22
+ cg z I = O.
can be handled
Thus
in the same
Solutions
to the Incidence
are discussed
section II.D.
-ac, -ab
(g,m) = l,
are squarefree
-bc,
diophantine
Similarly
a~ b, c
a, b
ax 2 + by 2 + cz 2 = 0
change.
[If
other~ise. ]
is an associated
(a~b) = g > 1.
divides
if and only if
respectively.
nonresidue
Thus assume
and assume
equation
a, b, c
of the
a reference.
in no errors
this results
Equation
in this section,
The material
con-
solution problem;
one
and difference
As noted previously
and symmetric matrices
sets.
between
quadratic
forms
19
ci$.x.x.
I ~
f(x) =
c.lj = c..
Sm
(2.11)
i,j=l
C = (cij).
their matrices
C, D, f(x)
transformation taking
is said to represent
f(x)
into
g(y).
g(y)
f(x), g(y)
and
n
xi : ~
sijY j
i = l,.o.,n
j=l
transforming
f(x)
into
g(y).
If
S = (sij),
s~cs : D
in which case
efficients then
is said to represent
f(x)
D.
(2.12)
If
is said to represent
g(y)
(C
represents
represents
integer
m~
g(y)
Further,
there is a matrix
of rank
such that
m.
sTcs = D~
If two forms
where
f(x), g(y)
has
repre-
sent each other rationally without essential denominator they are called semiequivalent and said to belong to the same genus.
If
f(x)
determinant
represents
I,
g(y)
has
then clearly
g(y)
represents
i.
f(x)
20
2
2
f(x) = x I + ... + x v
with a
0, 1
h(Yl + "'" + Yv )2
(2.13)
transformation matrix
A.
satisfying
forms is not yet complete, even though a great deal of work has been done on such
problems
[see Jones (1950), Watson (1960) and O'Meara (1963) for this work.]
How-
ever the main concern here is equation (2.13), not all possible integral
representation problems, thus a complete theory is not required for these purposes.
Goldhaber (1960) studied the integral representation problem posed by equation
(2.13) for a restricted set of parameters
Theorem 2.2.
(k,n) = l,
If
v, k, h
v, k, h.
He proved
which represents
integrally.
However,
for
v ~ 8,
0, 1
matrix
k(k - l) = h(v - l)
is
the incidence matrix of a symmetric block design~ although this is not immediately
apparent.
(i.e.,
a.. = 1
ij
contains object
b0~...,bv_ 1
distinct blocks.
equation (2.13)
j),
Let blocks
B0,...,Bv_ 1
b 0 + b I + ... + by_ I = kv
21
So
v-1
v-i
i=O
i=O
[bi(b i - i) - k ( k -
1)]
v-i
v-i
[bi(b i - i) - k(k - i) + b.l + 2k2 - k - 2kb.l ] = 0 .
i=O
But
i=O
Z(b i - k) = O = Z(b i - k) 2
Theorem 2.3.
implies that
objects,
b.I = k
matrix.
then
or
i.
as was to be proved.
-A.
Of course, only
for all
-A
is a
0, i
ATA = (k - ~)I + ~
AA T = (k - h)I + ~J
(iii)
AJ
: kJ
(iv)
JA
: kJ
matrix,
v x v
[In Chapter V, the fact that (ii), (iii) imply (i), (iv) is
Since
22
the nonsingularity of
means that
k - h ~ 0,
By assumption
AA T = (k - h)I + k/,
A -1
shows that
AJ
k ~0
j2 = vJ.
kJ
and that
A-Ij = k-Ij.
JA T = kJ,
since
Whereas
j = jT
So
Thus~
k-k
m.
Thus
k -
J = mJA
J =mJ
and
which provides
that
mk = i
JA -I = k-ij.
established.
or
Thus
m = k -i.
J = k'ijA
As shown above
From
or
JA -I = mJ
JA = kJ;
and
m = k "I
it follows
A T = (k - ~)A -I + }~-ij;
multiplying through b y
yields
ATA
by (iv).
promised.]
(k - ~)I
+ k~-ljA
(k - ~)I
AJ = kJ~ JA = kJ
is
23
normal and by Theorem 2.3 must be the incidence matrix of a symmetric block design.
Let
multiplied
be a matrix
through by
satisfying
-1,
XX T = B,
the resultant
A,
matrix
still satisfies
is
XX T = B.
in assuming
that
Theorem 2.4.
(Ryser,
column sums,
satisfying
free and if
k - ~
1952)
If
AA T = B
with
is odd, then
is an integral matrix,
k(k-
l) = Z ( v -
1),
with nonnegative
if
(k,Z)
is square-
design.
The condition
n = k - h
is even and
Theorem 2.5.
v x v
k - h
Let
odd is necessary,
~ = !.
v = n
matrix w i t h nonnegative
of two types:
even,
(i)
consist of
In particular
n + 1
has a single
entries
There exists
an
+l
n = 10.
on this
block designs
n = 2a
v = n
zeros~
n = 1,2
t
and
4t
be an integral
A
is of one
entries
columms
of order
for positive
with
integers
t.
subject].
of type
(ii) solutions
+ n + l, k = n + l, h = 1
is
+l, n + 1
E. C. Johnson
(1966A)
n -= 2 (mod 4).
that type
b e e n conjectured
A
then
n2 + n
Further,
and let
AA T = B,
zero and
and
of type
+ n n/2)
+ n + l, k = n + l, ~ = 1
determinants
exist when
columns
of order
for such
n = 2 a.
n
It has
whenever
condition.
D.
set exists,
e(~)
-.-
%
+ x
of
v,
(2.14)
(mo~ x w - i)
(2.i5)
(mo~ x w - i)
(2.16)
one has
w-1
@(x) ---b 0 + blX + .-- + bw_IX
e(x)e(x -I) ~ n +
(mod x v - l)
(1 + X + "'" + X w-l)
~v
W
where
bi
is the number of
[equate coefficients
dj
in
in congruence
satisfying
w-i
b.2
~v
'
i=O
j = l,o..,w - i.
This implies
2.16]
w-1
for
d. -= i mod w.
J
bibi_j
hv
w
i=O
i-j
is taken modulo
w.)
So if
b0
b I ... bw_ I
bI
b 2 ... b 0
it follows that
ssT=
(2.17)
25
where
has
n + (hv/w)
kv/w
Applying the m e t h o d of Chowla and Ryser (see the proof of Theorem 2.1 above), it
follows that in order for there to exist a rational matrix
of odd order
Z2 = ~
and
y ~ 0.
x, y, z,
(_l)(W-l)/2(~v/w) y2
If
(2.1s)
~ = y(hv/w)
equation
[2 = ~ 2 + ( - n ( w - 1 ) / ~ 2 .
(2.19)
is a square.
Thus
Theorem 2.6
for odd
v,
integers
x, y, z,
From the derivation above it is obvious that equation (2.19) has a non-trivial
solution for w
satisfied.
only when
= v
z 2 = 10x 2 - 39Y 2
respectively.
z
Theorem is
Here with
w = v = 39,
However, for
= 10x 2 + 13y 2
w = 13,
z 2 = 10x 2 - 9 y 2
and
2, l, 1
matrix of order
39, 19, 9.
Thus no cyclic
26
Hadamard matrices.]
Hughes (1957) used the work of Hall and Ryser to prove a more general theorem
about the structure of certain symmetric block designs.
sets the result of Hughes says no more than Theorem 2.6 above.
Note
for
i = 0,1, o.o~W - 1.
status of the integral representation problem for quadratic forms (see section II.C)
would provide stricter existence tests.
E.
e(~v) e(~v l) =
v th root of unity
(2,20)
~v # i
Most of the results cited below are attributed to Mann (1964)~ Turyn (1965) and
Yamamoto
(1963) even though the work in Mann (1952 , 1965, 1967), Rankin (1964) and
conditions on the parameters under which certain multipliers are known to exist
The results of this section are all stated in terms of the parameters
v, k, h, n
However,
some
In order to
minimize this requirement some basic facts about cyclotomic fields (i.eo~ algebraic
number fields generated by the roots of unity) are presented at the end of this
27
of unity and
K(~d)
~d
field.
If
then
b
a, b, c
C
are integers
(c ~ O)
and
b.
ac
divides
while
a c+l
does n o t ,
and
are ideals
Theorem 2.7
trivial
for which
modulo
Proof.
Let
strictly divide
w,
be a divisor of
~(~w).
t > i.
Let
f > 0
in
K(~w)
and let
be a prime
such that
p.
pi
(1.14),
w > i
(p,w) = i0
then
that
Let
divisor of
tp f m -i
(Mann, 1964)
p2i
strictly divides
This theorem, which (as shown above) is an almost trivial consequence of the
prime ideal structure of
@(~w)
For, as far as
= oy
+ Bz 2
5, ~
integers
(~,G)p.
(2.21)
28
x, y, z,
(G,~)p = +l
G, ~
fact is written
(~,~)~ = +l].
and
Corollary 2.8
exists and let
(Yamamoto,
re
(~,~)p : (~,~)p
(2.23)
(~,~)p(~,T)p : (~,~)p
(224)
1963)
(p = ~ allowed):
(2.22)
Assume that a
v, k, ~ - difference set
strictly divides
These are
(~,~)p : z
q* = (.l)(q-l)/2 q
[this last
n,
of
v.
Then if
.(q-l)/2
2
2
+ (-1)"
- qy = z
x, y, z,
is a
(2.25)
Or, equivalently,
that the
(2.26)
(re,q*)p = + 1
Proof.
p.
Since
assumed to be a prime.
x,y,z = l,O,r e/2.
(qlq2)* = q{ q~
If
(x,y,z = a,brJ,cr j)
rx
r = q ~ 3(4).
x,y,z = a,b,Co
If
m a y be
has a solution
r = q ~ 1(4)
+ (-1
Now
e = 2j + i.
In this
~"(q-1)/2qy 2
x,y,z = i,i,0
: z
(2.27)
has a representation
(see
Nagell, 1951)
q : s2 + t 2
x,y,z = s,t,q
is a solution of (2.27).
note 2) requires
where
r, q*, -rq*
and
t
For
to be quadratic residues of
q, r, 1
respectively.
Of these conditions, the last is trivial and the second follows from the first by
quadratic reciprocity (Nagell, 1951).
residue of
(Theorem 2.7)
would be even.
r (q-l)/2 e -1 (mod q)
and hence
a non-trivial solution for equation (2.27) and hence for equation (2.25), i.eo, the
corollary has been established.
In terms of the Hilbert symbol, the theorem of Hall and Ryser becomes
(n,W*)p = +l
of
w = v, v
odd, yields
while
k 2 = Zv + n
provides
Hence
consequence of Theorem 2. 7,
In particular, if
30
= 15 x
Hall-Ryser
However
+ y
has a solution
condition
360 m -1
z = y = i, x = O.
is only stronger
modulo
241;
As 241
for composite
v,
set
exists.
Another
Theorem 2. 9 .
Let
is a square
(i)
(ii)
(iii)
(iv)
(~)
qv
be a w-multiplier
w > 1
of
v.
23
n = noq
or
modulo
Let
t f E -1
ql / q
Since
some integer
residue
tI
so is
divisor
and
also divides
2
n = nln 2
2
= n1
and
Let
n2 = q
k 2 = hv
+ n,
n 2 > 1.
n
tl I / -1
modulo
ql
fl"
thus
8(~w l) = ~
O(~w)
for
So
k - ~
for
it follows
2
n = nln 2
th
roots of
that
v
of
were
and
from
and hence
n2
and
2
n = nln 2
n2
are
w;
dq s
would show
w = qS (s >_ l)
in the field of
or
(2.28)
be a prime divisor
necessarily.
n2
of
2
n = nI
odd.
tf;
then
= n ~wr
ideal factorization
that
n2
Then
necessarily
f.
is w-multiplier,
n 2 > i.
r.
of
[8((w)]2
with
q.
s > 1
is a quadratic
if
Unless
modulo
v, k, ~ - difference
of
of a non-trivial
is odd
w = qS
Proof.
is:
this yields
n = m q.
with
and
q = i
n = 4q
n -= v = 0
d > 1
modulo
q
q
Thus
(d,q s) = l,
which contradicts
with
as
prime.
As
that
q2
the
31
divides
n;
thus with
nO = nl/q
2 3
n = noq
emerges, where it
(no, q ) = 1.
K(~q)
[e(~q)] 2 = n ~q
~ > 0o
By definition
(2.29)
q* = (-l)(q-l)/2q
~q = e 2~i/q
Hence
is an algebraic integer of
automorphism defined by
Further, if
into
whenever
Since
q,
is an algebraic integer of
Y = e(~q)/nl~q~q*
n--~
i.e., since
~,
- ~q*. ]
the fraction
~q~
K(~q).
n(-l) (q!l)/2
K(~q)
modulo 4o
~
satisfy
As
x 2q = i;
is a
t
~q
~q~
K(~q)
q.
takes
it follows that
Indeed, since
(2o31)
[ (-l)(q-l)/2
x 4q = i,
(2.30)
2q th root of unity, it is
for some
th
q m i
root of unity
Thus
@(~q) = ~ q nl"~'~q*
and as
Now if
q,
(2.32)
s
8(~ ) = ~q
e(~q).
32
(2.32) that
t
~q -~ ~q
nl~q. = ~(
maps
(2.33)
~ nl~q~. )
W~q* into
- ~q*.
But (2.33) is a
q.
Of the conclusions of Theorem 2.9 only the last one remains to be verified.
If the prime
ql ~ q
ql'
tI
and integer
fl
such that
23
n0q
and
23
m0ql).
nor
fl
tI
n
v~
for
~ -i
was a square
of Theorem 2. 9 .
Note that neither
tI = t
dividing
nO
q = 3.
Let
be a number
theoretic function (i.e., a function which is zero except on the integers) and
define the difference operator
A(O)
by
where
Theorem 2.10
decomposition of
(n) C(i) = 0
for all
(Yamamoto, 1963)
N.
Let
Let
be a divisor of
then call
K(q)
and let
~i """ Ps~s
N = Pl
be relatively prime to
let
i,
N,
whose values
and let
If an integer
periodic of period
C(i)
be a periodic
are algebraic
f ( x ) = ~i_-1 C(i)x i.
be an integer of
K(~m).
Further,
n.
33
f(~)
m 0 (mod G)
of
d,
it is
tI
ts
-tl-1
-t -I
P! "'" Ps A(NPl
) ... D(Np s s ) C(i) " 0
for all
let
Proof.
(i)
u = 0.
Now
Let
tl,...,t s
such that
s = i, N = p~, d = pU
~-i i
P ~-
~i
i=O
j=0
tI
ts
Pl ''" Ps
(mod J)
d.
divides
U,
~i+jp ~-I
C(i + jp~-l) ~N
f(~N) =
p~-l_l
i
I 1
i=o
j=l
~-l
since
~P
~i+jp ~'l
N
= ~p
for
K(~m) ; thus
is a primitive
and
~(pZ)
integers
if and only if
j.
The
K(~mN)
over
0 (mod (~)
one
for all
(2)
i.
Let
t, 0 < t < u.
s = I
and
u = 0.
Let
g(x)=p
~-l
I
i=O
-1
c(i) x~p
3~
and note that
~-i
p -i
f(x p) i=O
Since
i=O
f({N) m O (mod G)
modulo
~l c(i + jp~-l)
C(i)xiP __-
mod(~,x N - I) .
t
f({~ ) m 0 (mod ~)
for all
t
equivalent to
0 < t < u - i.
equivalent to
f(~
) m 0 (mod ~)
and
0 < t < u - i,
for all
such that
0 < t < u.
Now assume
s.
s > i
where
0 < t < u
is
for all
such that
and
that is, to
s = i.
~i
~2
~s
N = NIN', N I : Pl ' N' = P2 "'" Ps ' d = dld',
Put
exist integers
g({~ ) ~ O (mod 5)
such that
values of
such that
(3)
for all
and
it follows that
N1
(mod x N - i) o
j=O
f(x p) ~ g(x)
r = rlr'
x ip
rI
Any divisor
divides
j, k
dI
such that
determined modulo
NI-I
f(x) -
N' -i
Z
and
r
r'
of
divides
d'.
there
determined modulo
Hence
C(N'j + Nlk ) x
N'j+NIk
(mod x N - i)
j:o k=o
NI-I
r
f(~N ) =
Z
j=O
N'-I
~
k=O
NI-I
Nlr
~N'jr < i k r =
C(N'J + Nlk) ~N
c*(~ N
j=O
~N'rj
,j)
~N
35
NW_l
where
C*(y,j) =
C(N'j + Nlk)Y k.
k=0
N'
Now
IN
= ~
is a primitive
NI
IN = ~
f(~)
N th roots of unity.
for some
IN
~ 0 (mod ~)
is a primitive
for some
Thus
IN
f(~)
N 'th
implies
~ 0 (mod ~)
implies that
NI-I
Z
C*(~r' ,j)
~rlJ
(mod ~)
j=O
th
NI
qo
C*(q
(mN',N1) = lo
roots of unity
r'
,j)
s = 1
N'
K(~N,)
roots of unity
and that
polynomial
NI-I
~,
c*(n
rW
,j) x j
j=0
f ( ~ ) ~ 0 (mod ~)
of
if and only
if
tl
-tl-i
r'
Pl aj(NlPl
) C*(~ ,j) ~ 0
for all
~j(p)
tI
such that
tI
Pl
divides
dI
(mod Q)
(2.34)
r'
of
d'o
j.
Here
36
N t- I
tI
Pl
-tl-1
j(NlP 1
) C(N'j + Nlk)n r'k -=0
(2.35)
(rood G)
k=0
for all
tI
and
r'
such that
t1
Pl
divides
dI
and
r'
divides
d'.
Apply the
N'-I
tl
Pl
-tl-1
aj(NlP 1
) C(N'j + Nlk ) x k
k=0
N'
has
s - 1
K(q)
and since
t I t2
ts
-tl-i
-t2-1
-t -i
Pl P2 "'" Ps ~j(NlPl
) ~(N'P2
) ... ~ ( N , P s s ) C(N'~ + ~ k )
ti
= Pl
for all
-tl-!
ts
"" Ps ~(NPl
-t s -i
) ... &(NPs
ti,...,t s
such that
) C(i) - 0
tI
t
Pl ... ps s
(mod ~)
divides
d.
That is,
Corollar~ 2.11.
Let
~ > 0
N,
be an integer valued,
whose values
C(i)
satisfy
and
N-1
o /
c(i){~ ~ o
(~od ~).
i=0
Then, if
37
< 2 s'l M .
Proof.
m = d = l;
this yields
For some
[For otherwise
~ 0.]
with
magnitude
i.
Consider
0 ~ C(j) ~ M;
(2.36) at
i 0.
(mod ~)
i,
say
i0,
(2.36)
2s'~,
2s
terms
signs.
ioe.,
Thus the
~ ~ 2s-~
as
was to be shown.
Corollary 2.11 will be put to good use in the proof of the next existence
test.
Len~na 2.12o
K({s) ,
and let
w-i
Z a.x i, where the a. are algebraic
i=0 1
l
(s~w) = (m~w) = 1 for some integer m. If
Let
A(x) =
A(~)
for
0 < j < w - i,
then
a. -= 0
l
Proof.
--- 0
modulo
modulo
for all
1 < j _< w - l,
i.
(2.37)
If the
a.
then
a 0 -= a I ~ -.. =- aw_ I
modulo
0 < j < w - I,
integers of
m.
i.e., that
are rational
38
ao l
. . . 1
#,
al
<
-bO l t
i
I
a2
bl
b2
(2.38)
1 <_l
where
b. m 0
1
modulo
for all
io
i>j
Since
F(x)
(for
x = i)
x w-I
. .+
i>j
+.x +. 1
(x
~)(x
~)
o. . (x - <w-1 )
it follows
that
w . (i .
.~)
q,)(1
.
. . o
(1
~w - 1 ).
a. m 0
modulo
for all
So,
i.
Suppose the
modulo
that
m.
I _
for
0
~ + ~w ~ 0
modulo
a.
ai
modulo m
0 < j < w - 1
modulo
for all
where
(m,w) = 1].
is chosen so
Then
that is
a 0 - a I -= ~o. = aw. 1
as was to be proved
A(1) = ~ ~ 0
modulo
B(4 ) ~0
39
Let
w = p wI
p
with
~ -i
(P,Wl) = i.
modulo
Wl,
then p
w.
divides
follow from
n~
divides
self-conjugate modulo
exists.
Let
and
O(~w l) = n
Theorem 2.13
that
w,
divide
w.
then
If all the
m
is said
m
in the
is self-conjugate
w >l
is self-conjugate modulo
e(~)
~ 0
modulo
m.]
w~
it would
Note that if
(Turyn, 1965)
m2
such that
e(~)
i.e., let
complex conjugation.
m
f > 0
modulo
w,
to be self-conjugate modulo
th
Assume a non-trivial
of
v.
If
m > 1
(m~w) = 1
then
is
w.
If
(m,w) > i
then
m _< 2r - 1
where
e(4)
Let
divides
(2.38)
Proof.
that
(V/W)
Since
=- 0
is self-conjugate modulo
modulo
w = VlV 2
m.
for
where
Further,
1 < j <w
(v2,m) = 1
(m,w)o
it follows
- 1.
vI
let
w-1
e(x) ~
ai x i
mod ( ~
- 1)
i=O
where
w = v 2.
e(~)
necessarily.
~ 0
modulo
for
i < j < w - i
(m,w) = i,
i.e.,
also
4O
a.
m.
Let
be the
smallest
such coefficient
Then
w-1
w-1
a.x~
= ~
i=O
where
0 ~ a i - a ~ v/w
zero, then
divides
e(~)
ai - ~
(a i - ~) x i
i=O
for all
i=O
and hence
w-1
+
ai - ~
are zero.
it follows that
(m,w) > i
m ~ a i - ~ ~ v/w
has exactly
Since
as was to be proved.
Consider
the polynomial
w-i
~(x) =
where,
as usual,
~v I
v2"l
i
Xi =
~
a i~vl
i:o
is a primitive
v~
st
~
j--o
b xj
J+v2 + o
bj = aj ~ i
Since
+ aj+v2 ~Vl
is self-conjugate
modulo
~J+(Vl-l)v2
"" + aj+(Vl-l)v2
and
vI > 1
j;
a
0 < ~ < v 2 - 1.
further
b j,
b. ~ 0
(mod m)
since
n ~ 0o
yields
"
it follows that
v2 ) ~ 0
for
Vl
bj = 0
modulo
for all
41
as was to be proved.
This theorem shows, for example, that if
(n,v) = lo
and
[For if
n = k - k.
divides
(n,v)
then
v
p
divides
since
k2
m = p, w = v.]
n,
Since
Av + n
In
v,k,h = 16, 6, 2.
n = 9
is a square, all
previous theorems allow the possibility that a difference set might exist with
these parameters.
If
(a,c) = l, a b ~ 1
x (1 ~ x < b)
then
Theorem 2.1~.
let
ql
modulo
and
ax ~ 1
modulo
(Yamamoto,
strictly divide
v.
1963)
Let
q = 4t + 3
33 m -1
modulo 28.
for any
c,
written
ord c a = b .
be a prime divisor of
of
and
satisfies
order of
modulo
(ii)
order of
modulo
q~
(iii)
is even
is
q~-l(q . 1)/2
p : q.
equation
2
+ qy ,
0 -< x ,
x, y.
Sn = x
Proof.
group of
Let
K(~w)
w = q~, e ( ~ )
= ~
0 _< y
< v q -~ ,
and let
w~
If a prime
takes
satisfies
s2.
If
such that
V
in
into
where
pf = -1 (mod w).
K(~)
s
~w
K(~w)
_< 2vq -~
then
p
is also
This implies
42
2
G
a.
Thus in
K(~)
= n)
where
is a unit of
(~)
K(~w).
(To"2 )
and
(pa)
for some
~ = ~T
0`2
K(~),
i.e.,
q = 4
where
E=+I.
Let
EN/2 = g
then
N/2
is odd since
q ~ 3 (4).
So
and
1 = ~l+~+'"+J-2 = N/2 -w
<j(l+~+'''+J-2)
shows that
is a w
th
root
of unity;
D + u
then
thus
h = T
g = + i.
i-~
(2.39)
is replaced by
~ = + i
provided that
(i - s2)u e - j
has a solution
i - s
u.
If
is prime to
q.
q ~ 3
modulo q~
When
q = 3,
3~
the 3-component of
3-component of
I - sN
is
equation (2.39)
[i.e.,
j,
since
G 2.
n = ~
So
~ = + I
i - s
is a primitive root of
D*
K(~-q).
has
is
3 ~.
and the
Thus
3
and thus
/ 2 ;
provides that
thus
divides
So,
(2.40)
So
T = a + b~
K(-~q)
where
4n = (2a - b) 2 + b2q.
T* = - a - b~,
that
and
a, b
are
[Note that
~ = a - b - b~
43
and that
~* = b - a + b~.]
Thus by using
a > 0
and
set
b > 0.
l
W
i
~(i) ~q =
i=l
Here
~(i) = i
or
q, {q = e 27~i/q
if
- Zi=
,~-i
0 B(i)
j
xi
according
x w - i,
w-i
f(x) =
as
is a quadratic
modulo
yields
x = ~;
~(q~-l)
and
in the relation
otherwise)
Let
. Z-I
B(i)x i - \ a + b
~(j)x 3q
j=l
for all
io
C(i)x i
i:0
C(i) = 0
of
i:O
is zero for
iq~_ I
,(i) ~w
i=l
~-i
~qw
= ~qJ (+
e(~)
~i
s = d = i
In particular,
let
and
~ = 0.
This
i = 0, q ~ - l , . . . , q ~ _ q ~ - i
then
B(O) - a = B ( q ~ - l r ) T b ~ ( r )
and since
4(1) = i, ~(q - i) = 0
B(-q~-l).
As
a ~ 0, b ~ 0
and
it follows that
0 ~ B(i) ~ vq -~
= b - a + be
yields
v =w = q
r = l,...,q - i
O ~ a , b ~ v q -I.
la - b I ~ vq "~.
x = 12a - b I
and
y = b.
difference
sets which satisfy the conditions of Theorem 2.14 are equivalent to the set
consisting of the quadratic residues of
in partieular~
or to its complementing
set
D*.
D
Thus~
44
section).
Theorem 2.15.
prime divisors of
where
(Yamamoto, 1963)
v
and let
q~
Let
rm
q = 4t + 3
and
with
strictly divide
be distinct odd
($(q~)~ ~(rm)) = 2,
of
modulo
(i)
Ordqp ~ 0 (mod 2)
(ii)
order of
and
modulo
q~
~(q~)
and order of
is
~(rm),
(iii)
p = q
and order of
4n = x 2 + qy 2 ,
0 ~ x,
modulo
rm
is
$(rm).
0 ~ y ~ 2vq-~r-m,
x + y
4vq-~r-m
x, y.
is a
21, 5, 1.
The integers
With
P = 7, q~ = 9, rm = 17
3, 6, 7, 12, 14
q = 7, r = 3
the prime
x = 4, y = 0.
satisfies condition
has no solution.
Proof.
Let
group of
K(~)
where
[respectively
K(~R)]
and
G ( ~ ) = Vo
Krespectively
K(~Q)]
p]
If
f
K(~Q)
is a prime divisor of
such that
pf ~ -i
modulo
and
K(~R)
[respectively
45
is
(pb)
Finally, if
of
Similarly, if
(pa)
modulo
divisors of
(~)
is
(p)
in
K(~w)
quadratic subfield
and since
K( ~-q ).
(~)
is fixed by
p,
fixed by
o2
and originates in
i_~ 2
K(~-q)
Thus V
= ~, 1 - p
K(~).
of unity.
Now
o2,
if
= 55 = 1
l-p
is an
,i
and
q = 3
5 = e ~R
then
and
K(~-q)
are units in
1-p
K(~);
9, 5
of unity and
hence
is a
q~th root
= 81-o~ = + 1.
Thus
of degree
2~(r m)
i, j
with
g,g' = + i
a.
D + ~r TM
but allows
~ = + 1.
+i
unless
[Shifting
g'
g i ~3a
or
for
unless
Thus
q = 3;
q~
q = 3. ]
E = +l
is
m
r
are roots of
51"~2
this
8 = g 3~R
rmth root
K(~R, ~-q )
t ~a~i
~, B
T(1-c2)(l'P);
K(~Q)
= g~
a root of unity of
= 5 where
and
one may
by a multiple of
does not disturb
q = 3.
l.C 2
p,
K(~R, ~-q )
i.e.,
T2
K( ~r*, ~Q)
q ~ 3.
Since
and since
1-p
is an integer of
where
K(J~-q) S,
= g, = + l
K( ~
).
over
T
in
K(~)
it follows that
it follows that
Also
T l-p2 = l,
as before.
~ = K(~-q, ~r*).
then
= ~ = 1
r* = (-l)(r-1)/2r
If
g' = -1
necessarily generates
K( ~
), x
That is,
- a = 0
[i.e.
~
over
2
so
~
is
is
T
is an
if
K( ~
).
is the irreducible
46
relative different of
(r,n) = 1
is prime to
algebraic integer of
2
T '
K(~-q)
is
27.
q = 3o
is odd,
: n
belongs to
K({R; ~
K(~)
r;
a contradiction.
satisfies
).
Since
= K(~3)
[here
= I
extension
~q of
a subfield of
K( ~-3 ).
K(~R, ~ - ~ )
Now
a ---0 ( 3 ) ]
~' = 1
and
T~
x3 - b = 0
is cubic over
Thus
T2
determines a cubic
K( ~
).
a - 0 (3)
and
since
72
of
K( ~
);
(r,n) = I
and
belongs to
q ~ 3
T = e(~w)
K( ~
and, since
plays
~' = i
).
is an integer of
T = a + b~
).
K( ~'q ).
w = Zq-ll ~(e)~q,
As in the previous
~(e) = i
or
q~ 8(x) - Z iw-i
= 0 B(i) x i
xw - 1 ]
f(x)
w-l~
, ~
/,
Bki)x i -
{'
\ a + b
i=O
has a zero at
that
K( ~
[see
is
since
72
K({3)
which is prime to
Thus
and thus
72
is an
374,
Contradiction.
it follows that
or
properly containing
r ~ 3 = q.
Thus
T 2(l-P) = {3
2a
and that
and
K( ~q-q).
Since
belongs to
since
Since
discriminant of
Let
over
x = ~.
~r(e)
m ~-i
x er q
e=:l
for all
io
w-1
Ci[ i ")"x
i=l
s = 2, d = i
and
~ = 0)
That is,
+ q~-lT)
(2.41)
47
for all
i.
Combining equations
B(0) - a - B(q~-!rmj)
for
Now
j = l,...,q - io
i = 0, q~'irm'...,(q- 2)q~-irm
yields
When
j = I
and
j = q - 1
equation
(2.42)
(2.42) becomes
(2.43)
(2.44)
Ib 1 _< 2v/w
(2.41) for
for all
i.
Thus equation
from subtracting
Consideration
the equation
and
of
~* = b - a + b~
Ib - a I < 2v/w.
4n = x 2 + qy2
and the
Thus with
Im
v = w = q r
to the set
Theorem 2.16.
divisors of
v,
(Yamamoto,
let
1963)
Let
q = 4t + 3
be a quadratic non-residue
where
divisor
(i)
(ii)
of
v,k, h = 21, 5, i;
thus they
[3,6,7,12,14}.
(q0(q2),~0(rm)) = 2
p
sets satisfying
q~ , rm
strictly divide
and
of
v.
r = 4s + I
be prime
and let
modulo
q~
is
@(q~)
and order of
modulo
rTM
~(rm).
Then, if there exists a non-trivial
4n = x
+ qry 2,
0 < x,
v,k,~ - difference
se%
the equation
x + y < 4vq-~r -m
is
48
x, y.
is a square.
The integers
0,1,2,4,5,8,10
v,k,k = 15, 7, 3.
q = 3
and
r = 5
v,k,h = 286, 96 , 32
since
q = ll, r = 13, p = 2
2
x = y = io
Proof.
e(~)
= 7
field,
and let
K(~R)
K(~Q)
and fixes
K(~)
and fixing
K(~Q).
K(~R)
If
while
is a prime divisor
which satisfies (i) then it follows, exactly as in Theorem 2.15, that the p-
(7)
(pa)
(~(q~),C0(rm)) = 2
that
ord
a.
p = q0(w);
OrdQ p = ~(q~), o r ~
TM)
p = 0(r
(p)
in
K(~w)
and
K(~Q)
or in
K(~R).
Since [see Mann (1955), Chapter 13] they must arise in a quadratic subfield of
K(~w)
it can only be
Hence the ideal
1-~p
= N
K( ~
(T)
is a unit of
= + 1.
Since
is fixed by
K(~w)
),
~ = + ~J
by a suitable shift
(e(q~),~(rm)) = 2,
and
O2
K( ~
).
Thus
D + ~q~ + ~'rm
both
~0
j.
~2
and so
and
By replacing the
are powers of
~ 1-2 = ~yl-p2 = + 1.
~p.
Thus
In
~
is
= K( ~r, ~-q).
Furthermore,
~p
Suppose T
= -T,
then since
2
~/
~
is fixed by
~p
is an integer of
and originates in
~p
~p.
+ -~qr)/4
K(-~qr).
and since
c, d
0,
such that
49
c =- d
modulo
2.
Thus
4n = 4 ~
c2q + d2r,
and since
equation
solution in integers
x,y,z = 2 ~ n ,
c, d
the hypothesis.
Thus
- qy
is necessarily
- rz
= 0
But Legendre's
has a
test (see
is a quadratic residue of
7 ~p = 7
i.e.,
is an algebraic
r,
integer
K( ~ ) .
of
So
7 = a + b~
is the Gaussian
+ 1
: 0
or if
sum
/2
where
if
Here
if
is a quadratic non-residue
of
w-i
~
f(x) =
f(x)
= 0;
(2.30)].
Let
~
2B(i)x i - \ 2 a
2B(O) - 2a - 2 B ( j q # - i r
for
j = l,j'
TM) +
j : i,
(j'
for
yields
~*
+ qry 2
la-bl
i.
modulo
~-i m-i
r
and
[This
of
xw - 1
~r,
and let
C(i)x i
s = 2, d = i,
- 2)q~-lr TM
~ b - 2 B ( q # r m-1 + j q # - i r m )
]a I _< 2v/w.
of
q)
Further,
_( 2v/w.
otherwise.
i =0, q~-lrm,...,(q
alsoo
that is
i=0
for all
a quadratic non-residue
associated with
2
1951);
representations
it follows that
4n = x
r, = -i
~(j)xjq
b = 2B(q#r m - l )
equation
and
8(x) ~ Zi=
lw-1 B(i) x i
for
+ 2b
x = ~.
From which,
~(i) --
j=l
has a zero at
thus
and
of the analoguous
i=0
then
2wi/qr
~ = (-1 + -~qr)/2
of both
is a consequence
given by equation
~qr = e
where
(i,qr) > 0, = I
representation
a, b
yields
_+ 2b @(q + j r )
provides,
as in the proof of
Thus with
(2.41) holds
x = 12a-bl,
(for
y = Ibl
j = i)
the
has a solution of the proper type and the theorem has been
5O
proved.
Yamamoto notes that in this theorem when
q, r
v = w
q = r + 2
or
then in fact
r = q + 2)
v = qr
where
trivial cyclic difference sets which occur are the so-called twin prime difference
sets;
v,k,h
q r , ( v - 1)/2,
(v-3)/4.
n = k - h
divides
so
the relation
divides
divides
and
and
k ( k - i) = h ( v - i )
also.
Suppose
r+s
n,
h
then since
also.
pr
implies
pS
strictly divides
(ii)
r < s
implies
pr
strictly divides
v.
the p-component of
v,
pr
strict ~
is the p-component of
r > s
p<~
In fact if
shows that
(i)
k 2 = hv + n,
strictly
divides
n~ s > O.
it follows that
h;
Then
<z < ( r + s ) / 2 .
Finally
(iii)
r = s
implies
kI
and
2 r+3
nI
pr
p = 2.
are odd.
divides
divides
v.
Then
is a square;
Further
since
n
k2
2
2
k I - n I -= 0
~2r n 2
k = 2rkl ' n = ~
I
thus
2 = by,
n = 2 2r-(k2I - nl)
modulo 8.
which shows
result has application to some of the difference sets of section IV.C. below~ as
well as elsewhere.
Theorem 2.17.
v, k, h
such that
Proof.
divides
v,
From
let
(Turyn, 1965)
k
w =
k -= 0
22t (t _> I)
if
2 t+l
while
2t+s-j
modulo
r.
2 t+~
divides
(0 < j < t + s)
2t
v.
and let
Let
Here
2 t+s (s > 2)
A(w/2)CJ(i) =- 0
e(~)
2t
v.
strictly
strictly divide
divides
modulo
=- 0
modulo
modulo
2t;
i.e.
- i.
2t
51
and thus
modulo
2t
modulo
2t
modulo
2t
In particular
for all
i.
Z(i) = ct(i)/2 t,
Let
then for
w-i
w = 2s
w-i
(2.4~)
i=O
for all
m ~ 0
modulo
i=O
w,
~2t 2
n : m n I.
where
kI
2
When
m = O,l,...,w- i
w
kI
divides
satisfies
k : 2tk I.
yields
w-i
w-i
2
(2 s - 1)n~ = 2 s
kI +
z(i)z(j)
i~o
i# j
i { j
m= 0
it follows that
w-i
Z2(i) = n 2 +
2
2
kl - n I
2s
i=O
Since
2s
strictly divides
is thus even.
contradiction.
2 - n 2I
kI
Z~i=O
-I Z(i) = k I
9-10
Zi=
z2(i)
52
v,k,h = 4N 2, 2N 2 - N, ~
- N
for
N = 2m
N = 28
Theorem 2.18.
degree
~(d).
The numbers
~(r)
K(~d)
The conjugates of
i~ ~d'
rationals.
any
The field
If
~(d)-!
'''~d
(r,s) = 1
~d
are the
~(d)
the field
consecutive powers of
K(~rs )
~r
i
~d
numbers
where
K(~d)
is of degree
~(r)
(i,d) = 1.
over the
over
K(~s)
K(~rs )
and
over
K(~s)O
Theorem 2.19 .
(p)]
mapping
K(~d)
d = pi
(2.46)
(P) = P! "'" Pg
when
(d,p) = 1
(2.47)
Pi
are conjugates.
modulo
is
d.
q0(w)/f and
when
is the order of
irreducible modulo
~d
is
~(d)/f
Pi"
d = paw, (p,w) = i
Further,
where
is given by
when
is the order of
~d ~ ~
in
[that
(p) = (i - ~d )~(d)
modulo
For, if
w.
The ideals
f(x)
p,
~a
modulo
PI' ""Pg
denotes the
(2.48)
f.
i
53
and
Pi = (P'fi(~d))"
Theorem 2.20.
III.
v, k, h
Of
course the parameters may well belong to a known family of difference sets (see
Chapter V for a discussion of these) in which case there is no problem.
Often
enough~ however, the parameters neither belong to ~ known family nor are they
excluded by the results of Chapter II.
The straight-
0, l~...~v - 1
for the most part these methods depend upon the existence of a multiplier of the
hypothetical difference set in question.
A.
Multiplier Theorems
The question of whether every cyclic difference set necessarily possesses a
non-trivial multiplier
meters
v, k~ h,
multiplier.
(i.e.,
t ~ i
modulo v)
is open.
Theorem 3.1.
of
n~
where
Let
(nO,v) = i
there is an integer
jp
be a
and
such that
Op
~ t
(modulo v)
nO
be a divisor
dividing
nO ,
55
then
is a multiplier of
Proof.
D.
From
e(x)9(x -1)
m n + ~(1 + x + ...
+ x v-l)
(mod x v - 1 )
9(x)8('x-I) e n : non I
when
+ x
fi(x)
V-I
which
is least positive;
(3.l)
fi(x)
modulo
K.
Let
{ =
be that root of
fi(x)
for
algebraic integers of
e2Wlj/v
T(x) = i + x + ...
K(~)~
is the degree of
fi(x)]
l,
and the
fi(x)
(i.e.,
P~ = P).
determines an automorphism of
n0o
Hence
nO
divides
K(~)
e(~)e(~ -t)
of the field
Si(x )
desired.
fi(x)
of
Thus
~P,
~ ~ St
9(~)8(~-1),
modulo
and if
determined by
where
K(~)
T(x).
so
(3.2)
fi(x)
T(x)
is
Suppose
(3.3)
56
where
and
as well as
Rj(x)
Fj(x)
A(x)
and consider
j = 1
j + i.
z
are polynomials
from congruence
Now
fj+l(X)
and
p. 83-87 establishes all the resultant theory needed here] is a non-zero rational
integer, and there exist integral polynomials
C(x)
and
D(x)
such that
(3.~)
c(x)Fj(x) + D(x)fj+l(X) : z.
But
Fj(x)
is a root of
unity, and if
fj+l(X).
is a primitive
appropriate exponents
y, Z.
Thus
~ - ~
and
[(x+l)
~Y
v-
is unit of
1]
is a root of
~ - ~ = ~Y(~
K(~)
are different
v th roots of unity,
Now
where
and
v th roots of
- l)
- 1
for
is a root of
+V
thus
since
with
- 1
divides
(n0,v) = 1
i = j + 1
v.
Hence
(nO, z ) = 1.
v,
and,
follows
D(x)fj+l(X )
(3.5)
57
to yield (since
nO
and
Since
Let
x = i
R(x)
(nO,v) = 1
(3.6)
(mod x v - l ) o
k 2 = n0R(1 ) + vA(1).
this implies
A(1) m ~
Since
k 2 = n + Zv
modulo
nO .
in
Thus, by
if necessary 3
e ( x ) e ( x - t ) ~ noR(X ) + hT(x)
(mod x v - 1) o
(3.7)
Now every coefficient on the left side of this congruence is non-negative and since
no > h
R(x)
k 2 = noR(1 ) + hv;
thus
x = 1
R(1) = n 1.
(t,v) = l,
thus
Further with
As
(mod x v -
x v - l)
(mod
modulo
l)
- ,
58
R(x)R(x -I) ~ n~
This implies
[since
R(x)
(mod
x v - 1).
x v - i)
R(x)
has only a
s.
Thus
e(x-l)e(x t) ~ n x s + ~T(x)
e(x)
(mod
o(x t) ~ xSe<x)
i.e.,
x v - 1).
(mod x v - l)
(i.e.,
h = 1
only) by Hall (1947) and later extended (Hall and Ryser, 1951) to the case of
general
generalization.
known case.
The conditions
nO > h
and
prime divisor
of
(n,v) > 1
and every
Morris Newman (1963) extended this result slightly by showing that the odd
prime
n = 2p
and
(7p,v) = 1.
Turyn (1964)
Theorem 3.1A
(Turyu)
Let
dividing
n = 2n 0
nO
nO
there is an integer
pJP -= t
Then
with
modulo
jp
v.
Suppose
such that
v .
merely that
is a quadratic residue of
whenever
is a divisor of
v.
59
(7,v) = i
For if
residue of
n = 2p a (a
implies that
contradiction that
t3 ~ p3jp ~ -i
(mod 7).
t ~ pop
from Newman's
is not a quadratic
is necessarily even.
7.
divides
and
t
In
is not a multiplier.
of
[Section III.C.
is a w-multiplier.
Theorem 3.2
n
Let
there is an integer
jp
n O > hv/w
it can be established
is rarely satisfied;
divide
dividing
such that
Jp
p
with
(t,w) = i.
parameters
Then
~ t
(modulo
w)
n, v.
Of course the proof of this theorem is almost identical to that of Theorem 3.1
above.
hv
(i + x + ..- + x w-l)
(rood
x w - i)
(3.8)
with
above.
R(1) = 1.
must be that
3.1.
From which
R(x) = x -s
R(x) = + x "s
for some
R(1) = l,
it
6O
The?rem 3.3.
difference set.
This fact was known for several years prior to any publication of its proof.
This accounts for the anomaly that it is often referred to in publications which
predate the papers
proofs.
Proof.
difference set
Assume that
-1
belongs to
x - y ~ d
and
tions of
-x
(= v - x)
(-y) - (-x) ~ d
unless
x = -y.
for
Hence,
D + s
D
is fixed by
does also.
x, y
if
in
D;
d ~ 2x
0 ~ x ~ v/2.
of
Thus
for some
So
in
for every
in
y ~ x (y
(0 ~ x ~ v/2)
in
D)
v/2
v.
is represented at least
in
(such
is necessarily even.
occurs provided
Whence
y ~ x - v/2
k - i
y - (-y) ~ d
also.
x ~ y + v/2.
Thus,
also belongs to
times.
Hence
D.
h ~ k - i
as was to be shown.
B.
such that
x - (-x) ~ d
the element
for some
then
Thus
multiplier
then
D,
D.
i.e., that
0 # d ~2x
-1,
If
divide
n.
However,
is even.
it
61
facilitated by the assumption that the set is fixed by the multiplier (i.eo, that
tD ~ D modulo v).
and
(Q
takes coltunn
That is, if
t
into column
of a difference
A
is
determines permu-
tx
modulo
v)
such
that
PAQ = A
and thus
(3.9)
A-1pA = Q-1
Hence (by
Tr(P) = T r ( A - % A )
where
Tr(X)
elements).
Tr(P)
Theorem 3.4.
fixed by
then
[Similarly, if
tx ~ x
modulo
v,
which is
shifts
E + j(v/d),
shifts of
t,
modulo
for
of
w.
E + J(w/8)
Hence
there exists
In fact if
(t - 1,v) = d.
with multiplier
Tr(Q)
(t - 1,v) = d
t,
exactly
(3.1o)
is a shift
j = 0,1,...,d- 1.
v
then
If
modulo
modulo
w,
for
j = 0,1,...,8 - i.]
Suppose
suppose that
tl, t 2
D
is also fixed by
Theorem 3.5.
is fixed by
t 1.
If
t !.
Then
and
that is,
t2D
So
t l, t 2
t2
62
t I.
Theorem 3.6.
(i)
Hence
such that
(t - l,v) = i,
(2)
If
(k,v) = i
of the
h = 1
are
5.6 is due to J. Jans and the remainder of this section restates for arbitrary
C.
(Theorem
t.
Then
{a,ta, ...,tra-la],
where
tma -= a
So
Lemma 3.7.
union of sets
If a
v, k, ~
[a,ta,...,tm-la)
exists, some
has exactly
v, k, ~,.
t.
The number of distinct elements in each of these fixed blocks is always a divisor
of the order of
modulo
[0])
(a,v) > i.
Thus when
is
63
distinct elements
( = the order of
k = jm
or
modulo
jm + i,
v).
j.
Lemma 3.7 is not always easy to apply (for sometimes there are many unions of
these blocks having
cant information
almost trivially.
k = 51
with
14]
and
{0},
modulo
151)
or
{3, 6, 12],
so a difference
modulo
set candidates
15,
Now
set
contradic-
that
{7, 14]
are
is a
and two
{3, 6, 7, 12,
set exists,
is a multiplier.
15;
i
151]
is
modulo
21, 5, i,
elements each.
definition)
76
were congruent to
multiplier~
t = 76 [ ~ 214 ~ (17) 35
m ( = order of
[This difference
d.
l
has a c o ~ o n
set is the
factor with
9(x) = x
dl
+ -'. + x
v.]
e(x)e(x -1) ~ n
+ ~(1 + x
of
v,
+ ... + xV-1)
(mod
xv-
1).
(3.11)
one has
(mod Z - Z )
(3.12)
e(x)e(x -I) ~ n +
(mod
(3.13)
where
yields
(comparing
Lemma 3.8.
~v
(i + x + .-. + x w-l)
is the number of
coefficients
in
in congruence
If a difference
dj
set exists,
b i (i = 0, ...,w - l)
satisfying
x w - i)
dj m i nod w.
This
3.13).
of
v,
equations
64
w-i
w-i
b. -- k~
l
b.2= n +
i
hv
-~'
(3o14)
i=0
i=0
and
w-i
~, b.b..=
i l-j
(3.15)
;~v/~
i=O
for
j = l,...,w-
i.
i - j
is taken modulo
w.)
Here
w = 5, 7.
is a w-multiplier
Consider a shift of
with
O(x)
2.
on
O(x)
modulo
Mod 35
w = 35
modulo
35
x5 - i
which is
and modulo
x 7 - 1.
Mod 7
Mod 5
1,2,4,8,16,32,29,23,11,22,9,18
4(1,2,4)
3(1,2,3,4)
3,6,12,24,13,26,17,34,33,31,27,19
4(3,6,5)
3(1,2,3,4)
5,10,20
3, 6, 5
3(0)
15,3o,25
1,2,4
3(o)
7, 14, 28, 21
4(0)
1,2,3,4
Thus
0(x)
(mod
x 3 5 - i)
65
where
c. (0 < c, < 2)
where
is the coefficient of
(mod
x 7 - i)
e(x) ~ b 0 + bl(X + x 2 + ~
(mod
x 5 - l)
and
+ x 4)
0 ~ b. ~ 14.
Then
For
c I = c 5 = O.
x~x
and hence
If
w = 5
b 0 = 8, b I = 4
Thus
Further
0 ~ a. ~ i0
w = 7
x i.
c7 = 1
a 0 ~ 4;
these are
a0 ~ 4 .
a0, al, a 3 = 6, 2, 4
then
For
2 = 96
+ a 3)
This
c O = 2.
When
a I = 2, a 3 = 4
a I = 4, a 3 = 2
then
c 5 = 2, c I = I, c 3 = c15 = 0.
or
which
6, 4, 2.
c15 = 2, c 3 = i,
Since
transforms this second solution into the first (and takes the difference
Thus,
x 35 - i
(3.i6)
+ x 16 + x 18 + x 21 + x 22 + x 23 + x28 + x 29 + x 32
D.
@(x)
can
v, k, h = 70,
exists.
Polynomial Congruences
If a difference set exists then, for every divisor
exist polynomials
ew(X), G[w](X )
o(x) ~ e[wl(X)
of
v~
there must
modulo
xw - l
(3.17)
66
O(x) ~ 8w(X )
where
fw(X)
fw(x)
(3.18)
modulo
Furthermore,
the coefficients of
th
roots
O[w](X )
are
8(X) -
v]
uniquely determines
e(x)
(mod
modulo
x v - i.
x v - i)
In fact,
(3.19)
wlv
where
V
r
rlw
and
S[w](X) = ~
- i
Similarly
(rood ~ - l)
(3.21)
alw
Proof.
That is, by
verifying that
wlv
of
v.
modulo
fr(X)
(3.22)
67
field, then
g(x) m h(x)
any root of
f(x).
f(x)
if and only if
g(r) = h(r)
where
is
xm- 1 =
where
modulo
f(x)
f(x),
I~ fd(X)
dlm
a~d
fd(~) =
[~
~jd
(xh- l) ~(d/h)
(3.23)
Now if
and
m
x
x
I
- i
are divisors of
m/s
modulo
modulo
then
fr(X)
when
fr(X)
otherwise
divides
- 1
e2wi/r
when
s
Bm'd(X)-
m,
r]s,
s sm
]d
divides
_
=
so
Thus, when
divides
~
r]s,
modulo
fr ( x )
Id
fd(x)
Bm'd(X) ~ I
modulo
modulo
fr(x)
for
r /d
divides
68
m
x -i
where
(')
[x f~(x)]
(mod
th
x.
xm - l )
(3.25)
is a primitive
d th root of
but l'Hospital's rule then shows that the right side is indeed
as
desired.
A constructive existence test procedure can be based on congruence 3.21.
this congruence is used to construct
integral polynomials
modulo
fd(x).
~d(X)
of
such that
O(x) m ed(X)
~[w](X),
If
(i.e., one
ed
Od(X),
of
w)
the polynomial computed from them by congruence 3.21 will have integral coefficients,
much less that these coefficients will be non-negative.
efficients are not non-negative integers, then there is no difference set corresponding to this set of
used to construct
Od(X)'S.
e[w](X)
e[d](X)
of
v,
it is quite reasonable to
of
w)
will
not restrictive.
ed(X)
e[w](X )
have
integral coefficients.
Lemma 3.9.
d
of
w,
Let
an integral polynomial
integral polynomial
O[w/p](X )
6d(X )
is given.
O[w/p](X) ~ ed(X)
ed(X)'S,
i.e.,
dividing
assume that
modulo fd(~)
w,
and
69
of
w/p.
e[w](X),
e[w](X) ~ ed(X)
of
w,
modulo fd(x)
Proof.
Let
dividing
e[w](X)
(3.26)
are that
a-i
%(x) ~- e[w/p](:~)
for all primes
such that
w.
Here
mod(P,fwPz (x))
w = paw I
with
prime to
(3.~)
w I.
mod(x w/p - i)
e[~/p](X) ~ ew(x)
e[w/p](X) -= % ( x )
mod[p, fP 1
SO
Thus
a-i
(x)]
e[w](X)
(mod x w - 1)
7O
(w)
If
divides
modulo
s[e[w](X
w,
x s - i,
) .
9w(X)]
Xs - 1
x
- 1
-0
(mod
xW-1)
(3.28)
8[s](X) ~ e[w](X)
and so
8[w](X
- 1
- e r
](x)
Ls~
-i
(mod
xw -
1)
- i
(;)s
We[w](X) ~ Wew(X) -
Let
w = P2 "'" Pj~
sEe[s
by
w
-
~ = w/pw.
a
P
Then, since
(3.29)
is glven by
a2
a.
P2 "'" PjJ
~(q2r) = 0
only non-zero terms in the sum (3.29) are those for which
Hence dividing through by
(mod x w - i).
ewC~) xS-i
and define
3(x)
q,
the
is divisible by
yields
"-n
T)
p~S[w](X) ~ p~Sw(X) r
r[e[r~](x)
- ew(x)]
x
x
7T
ro
- 1
(3.30)
-1
r~pTr
modulo
- i.
Thus the theorem is proved provided it can be shown that the sum
on the right side of congruence 3.30 has all its coefficients divisible by
By the second part of equation (3.23), with
w I = w/pa~
pF.
71
a-I
f
a-i
modulo
p.
%(~) - e[w/p](~) ~ o
mod
[p,f (xW)]
mod(p,Z - l)
or
[e[w/p](X ) -@w(X)] ~
~(~)r
r'~l
As
e[r~](x) ~ e[w/p](X)
modulo
mod(p,x w - 1).
xW-re0 1 - 0
(3.31)
-i
x rw - i
of
this be-
comes
Z
rlTT
-1
mod(p,Z
l)
where it should be noted that the polynomial on the left side of this congruence
has integral coefficients by assumption.
Y(x),
~~. ~ (~)
r
rpp~
w,
defined by
xwrw- l
x -1
(moaZ-
l)
72
pv.
Thus
~(x)
of
w)
ed(X)'S
is available (for
formulation, congruence 3.29) can be used together with Lemma 3.9 to construct
integral polynomials
@[w](X)
e(x)
itself.
ed(X )
is the equation
ed(~)ed(~ -1) = n
d th root of unity
ed(x)
factorizations of
(3.32)
~.
c~ = n
If
ed(x) ~ ~ x j ~, ai xi
(c)(~) = (n)
will be constructed.
(3.33)
it can be done.
8d(X)'S associated
fd(x).
modulo
is
are given by
parmmeters
c = Z ai~
Here
v, k, h = 21, 5, 1
e[l](X) = k = 5
difference set
{3, 6,
e3(x) = ~ 2x a
73
for some
a = 0,i, 2.
By congruence 3.27
e[l](x ) = ~ : a ~ 2
thus
@3(x) = + 2x a
necessarily.
mod(3, x - i)
By congruence 3.29
_ l) .
(mod x 3
813](x) = 3 + x + x 2
with the
two prime ideals [Theorem 2.19 above] and since, as Reuschle (1875, p. 7) lists,
(i + ~7 + ~ ) (i + ~7 + ~ ) = 2,
(3.32), the ideal
~73)2.
(87(~7))
Thus, by equation
62
(1 + ~7 + ~7 )
or
(1 + ~7 +
Since these last two could only correspond to equivalent difference sets,
or
If
(@7(~7)) = (2)
then
e7(x) = + 2x b
@7(x) = -2x b
a contradiction.
However
eEv](X),
e7(x) = (1 + x 4 + x6) 2 x c
for some
c = O,1 ..... 6.
5 - + (i + x 4 + x6) 2 x c e + 9
By congruence 3.27
mod(7, x - i)
(mod x 7 - i).
(c = 5)
e[3](x);
Since
thus by
74
e[7](x ) = 2 + x 3 + x 5 + x 6
In the field of
two prime ideals
~i)
= 2,
be (2) or
1>2
(I + ~ i + ~
d = 0,1,...,20.
3.27;
When
d = 3e.
~21(x)
21 st roots of unity,
~[3](x)
For
thus
P = 7
P = 3,
the ideal
.18,2
e[21](x)
for some
e = 5.
Thus
x 21 - i.
(mod
x 21 - i)
set.
ideal factorizations of
@d(X) = ~
(n)
in the fields of
d th roots of
modulo
3.29 yields
e(x) : Q[21](x) e x 3 + x 6 + x 7 + x 12 + x 14
i.e.,
can only
by congruence
Computing
(@21(~21))
= ~ (i + x 12 + x18) 2 x d
congruence
(i + ~1221 + ~21
)18 (i + ~ i
As before,
12
or
= 3 + x + x
satisfy congruences
that
and
~n x s
of
are particularly
nice.
Note i.
had a negative,
eT(x ) = -2x b.
though integral,
@[7](x)
This is a consideration
3.9.
Thus one
(3.27) imposed
i.e., that
@d(X)
set.
for
75
Sd(X)Sd(X'l)
In
k2
e[v](X)
when
d % 1
(3.34)
when
x = 1
v, k~ k - difference set.
e[v](X)O[v](x-l)
x = ~d
which satisfies
+ x v-l)
(mod
x v - I)
SEv](1) ~ k
as follows from equations (3.26) and (3.34).
Thus with
9[v](X) = Z a'xil
(a i
2
2
2
a_o + al + ''" + av--I = k
a 0 + a I + "-- + av_ I = k
a i = 0,i.
So the
(3.34) are not only necessary but also sufficient for the existence of a
v~ k, h - difference set.
Note 2.
Since this method and that based on Lemma 3.8 are both aimed either
whichever
example given in section III.C.) the successful application of Lemma 3.8 requires
the knowledge of a multiplier or at least a w-multiplier.
multiplier theorems of section Iii.A~ Lemma 3.8 is more likely to be useful when
76
prime to
n.]
play no obvious role in the method of this section [where known they can be used
to restrict the possibilities for
9d(X)] ;
~[w](X)'S
as a means of deter-
mining whether or not a particular difference set might exist has been used almost
from the beginning of the study of difference sets.
[Perhaps the best documented examples are in the works of Turyn (1960,
Nevertheless the explicit determination of the relations (3.19)~ (3.20),
(3.21) upon which the method is based as well as Lemma 3.9 is quite recent and is
due to H. C. Rumsey, Jr.
IV.
Various groupings of difference sets have been studied more extensively than
others.
These groupings usually consist of all (or all cyclic) difference sets
k = 1
or those which
sets which have received special attention but are not of the familial type.
A.
h = 1
is
are called lines and the objects are called points, the incidence matrix details
the structure of a system of
(i)
+ n + 1
(ii)
v = n
n + 1
points and
lines
any two distinct points are contained in one and only one line;
any
two distinct lines contain one and only one point in common
(iii)
there exist four points no three of which are on the same line.
[An
2
v = n +n+l
not to exist whenever the associated Bruck-Ryser condition (see section II.B. fo~
78
[In particular
n,
n = lO
is undecided;
i.e.,
it is
not known whether or not a symmetric block design exists with parameters
v, k, h =lll,
ll, 1.]
tion details].
[Singer (1938),
pJ = n
v = p2j + pj + l~ k = pJ + l~
Three areas of interest regarding these planar difference sets are discussed
in this report.
n = p3
whether there can exist multiple inequivalent planar difference sets for prime
power
Finally,
in this section,
n
(i.e., not
sets are of the Singer type, these results are mainly rules which establish the
non-existence of planar difference sets with certain parameter values.
If
determines an
automorphism of the associated symmetric block design (as noted in section I.E.
above) and hence an automorphism of the associated finite cyclic projective plane
v;
thus
the points of
v.
Po, PI~...,Pv.1,
to be a multiplier of
7,
then, in order
it is necessary that
79
all divisors
of
v~ k, h = n
are multipliers.
+ n + l, n + l, 1.
n.
v, k, k = 21, 5, 1.]
for
ll ( ~ 25 )
Since
(k,v) = 1
is a
for all
planar difference sets, Theorem 3.6(2) shows that there exists at least one shift
E
of the difference set (i.e., line of the plane) which is fixed by all the
multipliers.
Actually,
Theorem 4.1.
E;
When
n ~ 0,2
when
n ~ 2
modulo
3.
If
modulo
for
n ~ 0
n ~ i
modulo
there is a unique
modulo
3
Proof.
Since
t ~ i
Vl, 2v I
O, v I
modulo
and
n ~ O, 2
modulo
[0])
fixed shift
n,
(save
E.
When
O, 2v I
O, 2Vl;
then
modulo
also divides
then
t ~ i
(n - i, v) = i
n - i.
contain
3,
elements each,
v = 3v I.
Since
(t,v) = i
necessarily,
Here
and hence also the three shifts containing the object pairs
Vl, 2v I.
3.
(n - i, v) = 3;
modulo
or
(n - i, v) = i;
O, v I, 2v I
The shift
it follows that
n ~ i
v = 3v I
3.
v = (n - l)(n + 2) + 3
When
and
then
O, Vl;
8O
possible have
t e 2
modulo
Vl, 2v 1.
With
3.
n
These fix
and interchange
vI
with
2Vl;
n = 2,3,4,7
Corollar~f 4.2
modulo
while if
n ~ 2
Proof.
case 3
E
divides one of
modulo
Since
divides
n, n + i.
then
So
n ~ O,
uniform size
As
~.
If
If
divides
is a multiplier of a non-
+ n + i
modulo
Furthermore
n ~ 0
modulo
n ~ i
then
modulo
of
divides
(for in this
n + I.
v).
zero residues of
v = n
[a, ta,...,t~-la}
of
belongs to
E.
Theorem 4.3.
and if
If
tI - t2 ~ t 3 - t4
modulo
v,
(t I - t2)(t I - t3) ~ O
Proof.
modulo
v.
fixed b y all
multipliers.
the elements
thus
modulo
v.
e,
81
Since
h = I
element
tie = t2e
or
i ~ e i - ej
ated equations
modulo
(4.1) for
for some
e.
i
and
modulo
el, ej
e.
j
of
and
2j - 2 ~ 0
modulo
divisor
of
v.
2j + 1
i.e.,
t I = l~ t 2 = 2, t 3 = 2 j - l, t 4 = 2 j
2
(4.1)
t I = l, t 2 = 2, t 3 = 2 j, t 4 = 2 j + 1
E;
v.
Similarly
So for every
it follows that
(t I - t2)(t I - t3)e ~ 0
Now
tle = t3e.
and
2j - 1
shows that
2j - 1 ~ 0
modulo
v.
it provides a quite effective non-existence test for these difference sets in the
case where
is composite.
following corollary:
Corollary 4.4.
Let
al, a 2, a 3
be non-negative
aI
a2
a3
q - Pl = P2 - P3 '
where
Proof.
Since
aI
Pl < 3q,
n~
plq~
v = n
2q
aI
and
a2
P2 < 3q
Pl % q % P2"
+ n + i.
a2
n2
82
This corollary
modulo
[let
Another
shows,
for example,
set has
n ~ 0
q = 3, Pl = P2 = P3 = 2, a I = a 2 = I, a 3 = 0].
efficient
non-existence
composite
collection
Of course,
these special
full generality.
[Actually
Mann
(1952),
it is no more than a
special
before
sets having
be a multiplier
be prime divisors
ing conditions
are met
of
and
(ii)
is a quadratic
(iii)
n ~ 4
or
(iv)
n m i
or
modulo
2
nI
or
modulo
2
n I + n I + i.
The elementary
modulo
If the order of
(iii)
~ery
If
n m 4,6
modulo
8.
is
(iv)
and
of
P m 3
(n,v)
of
modulo
then
2f
= i
q
8
modulo
and
is of even order
residues
t f =- -i
modulo
is used in this
q,
then
is even
symbol
q
so Theorem 2.9
suffice.
So the Jacobi
(1951)].
non-residue
Nageli
a square:
2
nI + nI + i
modulo
of a planar difference
respectively.
non-residue
n ~ nI
Proof.
is necessarily
(i)
(v)
proof
Let
of
~
v
(let
p = 2)
= -i.
for which
q.
~us
2
and
v ~ 5,3
there exists at
is a quadratic
non-
the reciprocity
)=-l
dove
83
since
divides
divisor
(v)
Since
nI
2
n~ + n~ + l;
As an example
13
excludes
and
nI
it
+ nI + i
shifts.
case
if a planar difference
(Hall,
v
2
vI = nI + nI + 1
1957).
designate
v.
nI
Since
+ nI
+ 1.
is of even
n I = 3.
or
12
modulo
13.
or
an individual multiplier
Let
the finite
(t - 1,v) = v I
t.
subplane
Vl
Of course
having
of
is a multiplier
nI + 1
be a multiplier
set
vI
may be
vI > 1
0,v'~...,(v I - 1)v'.
let
Let
Then
representation
~v' = e i - ej
is unique
(i ~ ~ < Vl).
it follows
that
representations
of
~v'
unless
also fixes
these elements
of
is uniquely
v'
from
vI > 3
then
determine
every multiplier
in section III.B.
are
which is fixed by
v',
non-zero multiple
Further,
be a shift of
of
but if
for general
E = [el,...,en+ I}
t.
or
shifts of
Do
Vl"
v = VlV' ,
the multiplier
vI
Assume
plane generated by
and exactly
points on a line.
of the subplane
of a planar difference
cyclic projective
objects
cyclic
E;
modulo
n = 35.
above.
~ 0
In fact
and let
Proof.
of a proper prime
p ~ 2,4,5,6,7,8,10,11
Theorem 4.6.
set
that
is also a divisor of
follows
it is necessarily
consider
the possibility
Whereas
the existence
must be a square
modulo
This insures
as in (iii).
or
2
nI + nI + 1
order modulo
of
~ nI
So any divisor of
of
n.
represented
being multiples
of
v'
But since
set.
t
e. - e. = te. - te.
e.
and
as a difference
also.
e..
So the
fixes
E,
are distinct
Hence every
of elements
So the elements
of
of
E
84
divisible
by
v'
determine
parameters
the form
E + iv'
fixed by
for some
constitute
as was to be proved
shifts fixed by
the subplane
Bruck
v = n
Vl
j,
If
Since
with
nI + 1
of
Vl"
Vl'
~l
with
is of
D then
v I > 3)
permutes
the
is a multiplier
of
v,
with
2
v I = n I + n I + l,
with
contains
n - nI
2
n = n1
then
points of
which
2
2
2
+ n + i - (n I + n I + i) - (n - nl)(n I + n ! + i) = (n - nl)(n - nl)
n > nI
2
nI
than
on exactly
necessarily,
it follows that
2
nI + nI + I
lines joining
n + i
be improved to
lines of
of
n ~n~o
which
to the points of
~
it must be that
(including
n _> n 2 + n I + 2o
If
~i
are distinct
n ~n~
+ nlo]
divide
n,
see H. Neumann,
are thus
nO + 1
Corollary
4.7
(Hall~
is a line fixed by
and as
Roth
lies
(1964) shows
plane examples
nI
divides
(For an arbitrary
is a multiplier
t
fixes.
whenever
If
objects
So the
nI
subplane
does not
1955).
j > 0, t j
(t j - 1, v) = v 0
~i"
finite projective
is actually greater
lies on no line of
of an arbitrary
Vl
is another multiplier
for
is
if
fixed by
+ n + l,
n,
set (non-trivial
the objects
among themselves
Vl
difference
a cyclic subplane
also.
2
n ~ n I + n 1.
or
a planar
2
v I = n I + n I + l, k I = n I + l.
of
1947)o
and if
fixed by
If
v0
t j.
is, and
tj
v 0 = n02 + n O + 1
certainly
t
and
So
is a multiplier
is a divisor of
of a cyclic plane
such that
7,
(t x - 1 , v ) =
if
v0
85
for
x = j
nO + 1
points on
permuted by
v = m
set
D1
of
mr
fixed b y
(Ostrom,
+ l, n = m r ,
Since
m3
These
lengths
1953).
of
nO + 1
divide
points of
are thus
jo
If a planar difference
(r,3) = 1
vI = m
is also a multiplier
Proof.
t j.
with
with parameters
2
v0 = nO + nO + 1
then
in cycles whose
Coroilar~ 4.8
2r
x < j,
set
has parameters
+ m + l, n I = m.
Furthermore,
every multiplier
D 1.
is obviously
a multiplier
of
D,
the result
follows from
that
(4.2)
(m 3 - i, m 2r + m r + i) = m 2 + m + 1 = v I.
From
(r,3) = I
it follows that
shows that
is whether
value of
some multiple
(n - i,v) = i
vI
or
If it were
vI ~ 0
modulo
3v I
3.
3;
of
vI
thus
then
Thus
Now
(m - l,v) = 1
m ~ 1
v ~ 0
So equation
does alsoo
modulo
modulo
or
3
(4.2),
v = (n- i).
3.
So
necessarily
and there is no
Then
of
modulo
a planar difference
having
q
set
be
~.
or
Mann,
1951):
if there exists
v.
some multiplier
Then
where
w
be a prime divisor of
(t ~ - 1,v) = w ~ 0
properly
divides
v.
modulo
By Theorem 4.6
~l"
2
w = nI + nI + i
Thus,
and either
in particular
w = 3
(Evans and
86
Corollary
modulus
q
4. 9 .
If no proper factor of
of a planar difference
as it does for
then
3,
q = 3
q ~ i
modulo
q ~ 1
~ = 1
prime divisor
3.
so
(Ostrom,
of
v,
If
~ = I
q = 3.
If
of
(i.e.,
1953).
n ~ i
~ = 3
then
of
modulo
3
If a planar difference
group of
q,
type Ii~ so
t 3 - i =- 0
modulo
Corollary
of
modulo
v.
i.e.,
n
q
of
modulo
modulo
and
divides
set
~(q)
i.e.,
has a type ii
of the multiplier
of
Thus
that
v).
Theorem 4.11
modulo
t I (t 3 - l) ~ 0
t3 - 1 ~ 0
1953).
be distinct
and if then
modulo
modulo
is isomorphic
q.
qo
Since
But
is of
the distinctness
set with
q - i.
n ~ pJ
is sought
of
of
(Ostrom,
t!, t 2
t 2 ~ tlt 3
in restricting
group of
For let
q.
group of
is no loss of generality
not a square.
modulo
this implies
So the multiplier
zero residues
residues
necessarily
t 2 ~ tlt 3
modulo
(tl, q) = 1
there
then
such that
tl, t 2.
n2 + n + i ~ 0
For if
No two multipliers
multipliers
tI ~ t2
3.
q;
modulo
t3
q - i.
Proof.
cyclic.
3o
Theorem 4.10
divides
is the
and
modulo
modulo
modulo
i.e.,
+ n + I ~ 3
by the prime
n3 - i ~ 0
divides
2
are
divisible
v.
and
v.
is
is of
Thus
87
2
set modulo
v = n
necessarily
distinct primes.
for some
i, qi
multipliers
+ n + 1
where
3h
where
Theorem 4.12
and the
is odd and
3h
qi
divides
(When
n ~ 0
divisor of
modulo
3.
pliers
n + 1
n ~ 1
when
n ~ 2
modulo
3,
residues
size
of
S.
are distributed
is necessarily
a union of these
3.
Combining
a result of 0strom
Theorem 4.13.
v = VlV2, v I > 1
w i t h respect to
by
and
divides
v.
v 2 > l,
Suppose
then
Proof.
divides
Let
are multiples
of
n - nI
further that
type II divisor
and
[a, ta,...,tS-la]
(t j - 1,v) = Vl,
Then
addition of
n ~ 0
(1951) yields
set with
v2
is of type II
where
j < S
and
2
vI = nI + nI + 1
and
v2
are primes,
nI ~ 1
and
tJ;
it contains
nI + 1
objects which
let
a(t ~ - i) ~ 0
of
vI
divides
(n - nl)/V 1.
objects of
vI
let
be a shift fixed by
v2
Then
sets
If in addition
S;
is of type II the
n - nlo
v.
of the
is always a type I
into disjoint
modulo
modulo
other
then
(Theorem
0.
n - nI
modulo
the object
divides
of uniform
~(qi ) = qi - 1.
v)
Proof.
non-zero
are not
divides
If the hypotheses
of
qi
1953)o
when
(Ostrom,
... qj
is of type II.
is
v = qlq2
v 2.
Thus
If
modulo
~ = S
v I v2
and
hence
S
such that
t~ - 1 z 0
divides
is any of the
n - n I.
modulo
If
v2
at ~ a
some
is
88
prime then
(Theorem 4.10)
divides
v~~ - 1.
2
n 2 + n + 1 = (n I + n~~ + l)v 2
Since
(n - nl)(n + n I + i)
V~
vI
Now
vI
(since
divides
n - nI
n I ~ 1).
divides
by assumption,
Since
(n - nl)/V 1
divides
thus
n - nI
n + n I + 1 =- 2n I + 1 ~ 0
and
vI
and M a n n
to
sets with
(1951) to
parameters
n, v
Let
respectively.
Corollary
(b)
If
n = 4,6
modulo
then
(c)
If
n -= 1,2
modulo
and if
(d)
If
n - nI
n2
modulo
tests for
P = 3
then
(e)
If
is a quadratic non-residue
of
(f)
If
is of order
and
if
n - 0
If
(g)
n + 1
(h)
Let
is of order
if
n -= 2
v = vlq
3.
~
3o
If
of any multiplier
If
is not a square
be prime
set with
conditions:
is a square.
is of even order
(In particular
the
were used.)
q
then
v
is a square.
is prime,
then
then
is not a square
modulo
must be odd.
must divide
divides
must be odd.
divides
must be odd.
is prime,
then
is a square.
and
n
and if
is not a square
modulo
modulo
order
n
If
of a difference
modulo
n2 + n I + 1
modulo
p, q
must be a square.
n I = 1,2~3~5,6,7
and let
n 2 + n I + l,
modulo
with respect to
(1968,
be a multiplier
(a)
or
to Dembowski
v , k , h = n 2 + n + l, n + l, 1
associated
(unpublished).
a prime power.
divisors
v1
as was to be shown.
modulo
v 1.
Then the
G = (q(Vl), q0(q)).
89
(i)
Let
v = vlq ,
Vl, q
exists modulo
vI
multiplier
of the
modulo
but
of
vI
modulo
divides
Proof.
t ~ 1
q
q.
divides
n - n I (n I ~ l)
(n - nl)/V I
above.
where
q.
n - nI
If
and is odd.
If, in addition,
modulo
(f)
Consider test
and
(h).
(g)
thus
divides
~(Vl)
and
divides
(a),o..,(e)
v1
and is odd.
Tests
t = 1
modulo
divides
Since
is a type II divisor.
tj
vI
is
~q)
and
by
v1
The
of Theorem 4.13.
Thus Theorems 4.5 and 4.13 establish the validity of test (i).
Since the only known planar difference sets have prime power
and in fact
may all be constructed by the process of Singer (see Chapter V), it is easy to make
up perfectly reasonable conjectures about planar difference sets.
Just conjecture
that any property possessed by the Singer sets holds for all planar difference
sets.
v,k,h = p2j + pj + l, pJ + l, 1
modulo
are multipliers
v.
is
[That all
The fact that
and Welch (1962), see section V.A. for a proof of their more general result. ]
a general planar difference set (i.e.,
For
analogous conjecture would be that its multiplier group was generated by the prime
divisors of
n.
(h = 1
only)
Welch result on Singer sets, may be of some use in attacking this problem.
that
t, nt, n2t
Note
9O
+ n + 1
0 < r, s < n
Lemma 4.14.
with
n > i,
and
modulo
0 < r + s < n.
to
n2 + n + i
Then
define an integer
if
j-=r+sn
with
Furthermore,
k = n + i.
If
t > i
t, nt, n2t
and if
(t,n 2 + n + i) = i
-
2
n
B.
+ n
+ i.
(ii)
k < v/2
as usual,
section I.B.
varies between
and
(v - 3)/4~
see
are called
v, k, h = 4t - l, 2t - l, t - 1
h.
l, -1
characteristic function of
= -1
for
j ~ 0
modulo
communications applications
v].
(1964)
or Goldstein (1964)].
(iv)
the relation between these difference sets and the~ as yet unsolved,
Hadamard matrix problem (see the note below).
The known Hadamard difference sets can be classified according to the value
of
v.
(a)
sets whose parameters include these (construction details are given there).
91
(b)
v = 4t - i
is prime;
v = 4t - 1
is expressible
as
4x 2 + 27,
is discussed
difference
in section V.C.
Some
v = p(p + 2)
where
and
p + 2
(see section
and
(b)
(a)
4x 2 + 27
difference
are
sets.
Specifically:
the only
is a Mersenne prime;
v = 31, 127
and
[see Skolem,
131071
(c)
inequivalent
v = 15.
2 j - i)
are
v = 2j - 1
j = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281,
[see Gillies,
1964;
in fact
2 I1213 - i
is,
The difference
v = 3, 7, 15
and
sets corresponding
31.
Now
to
v's
two more.
(c).
In particular,
except for
is prime, thus
However,
the difference
v = 31.
sets have
are inequivalent
v = 31 = 25 - 1 = 4.8 - i = 4.12 + 27
4x 2 + 27
to these
v's of types
(a),
(c),
v, k, h = 127, 63, 31
(b),
difference
1967),
then
Thoene, Baumert)
set has
92
this
and
975.
d, v - d
for
1 < d < v - 1.
q ~ 3 (mod 4).
Theorem 4.15.
e(x)
Let
(Johnsen)
- i
and so [using
Of course, the
Proof.
q,
where
q ~ 3 (mod 4).
It satisfies
@(x)T(x) ~ k T(x)]
modulo
it
follows that
e2(x) + e ( x ) + n ~ n T(x)
v th roots of unity
mod(x v - 1).
~ % i
e2(~)
+ e(~)
e(~) = ( - i
since
v = 4n - 1
Since
for which
Let
p % q
divides
roots of unity.
,.,~)/2
(4.4)
s+l
(4.3)
v ~ 3 (mod 4),
s
+ n = o
(-1 ~ ' ~ ) / 2
Contradiction.
and let
q
v
with
and
q m 3 (mod 4)
is an odd integer.
~ = ~p = e 2wi/p,
then
q,
where
93
q ~ 3 (mod 4).
Let
~q = e 2vi/q
and let
z(x) =
so that
Z(~q) =
1
~
~q
in section III.D.
divisors
v (=qS).
G i(x) = q
Here
gi = ~ 1
From (3.19),
+x
+x
and that
1
~
ew(x) Bv,w(X)
~(i) = l, ~(q) = -i
and
for
-v
and
r = w/q.
in assuming that
2v
ew(X)
s1 = + I.
x---f:-i--!
rl w
~(qi) = 0
i = 1 ..... s.
for
i = 2,...,s,
So interchanging
- 1
for all
xv - 1
wl v
wll
r = w
ed'S
process
i-1
+ el q(S-l)/2 z(xq
only involves
(4.5)
Since
x[(q-l)/2] 2
+ "'" +
(Gaussian sum).
discussed
of
- - -
1
v
Oq(X)
qi
i=l
1
--i
xq - 1
x---?'i
{eqi(X) - eqi+l(X)} ]
94
Now, for
i = 0,1,...,s,
xV l -i
xq - 1
md(xV - i)
xq - 1
e(x) -= ev(X) + ~
-d
x v - i~
(4.6)
s-1
+
) -
aj+l(~/2)}
x q3 - 1
v = q,
e(x) ~ - 1
j =!
(gl = i,
+z(x) = - ~ 1
+ ~z
If
s = l~
i.e.,
as noted earlier)
+x
+x 4
+ ...
+ ~[(q-Z)/2]
which does indeed have integer coefficients and in fact is the quadratic residue
difference set for
Let
efficients,
q ~ 3 (mod 4).
be odd and
s > 3
_q(S+l)/2
2~
( ~
Z -- i
I ) and
-i
q(s+l)/2 ( 6 1 z ( x ) } ( x v_- _1 )
(4.7)
x q- i
compensate for each other, since they are the on]~v terms of (4.6) which have the
coefficient
~(s+l)/2
v
i
q(s-1)/2 "
95
to
to all
(qS + qS-1)/2
of
q.
coefficients
coefficients.
no such difference
whereas
set exists.
for each
established.
Note:
parameters
course,
v,k,h = 4t - i, 2t - i, t - i
design,
-i.
a matrix of
O.
orthogonal.
achieves
If
-i
not necessarily
difference
That is, a
21
Such a matrix
abs. val.
det.
= (4t)2t].
the matrices,
For example,
modified
v,k,h = 7, 3, i
Hadamard
difference
of any two
+l's
to this
are
of
whose distinct
which,
is called
design,
cyclic) with
is called a Hadamard
is used instead of
rows is
uniformly
its determinant
inequality
[i.e.,
difference
set
(1,2,4]
to
sets.
has associated
-i
-i
-i
1
-i
1
1
i
-i
-1
-1
1
-1
1
i
i
-i
-1
-1
1
-i
Chapter 14 of Hall
existence
Spence
(i.e.,
-i
i
1
-1
-i
-1
1
i
-i
1
1
-1
-i
-i
(1967)
-i
i
-i
1
1
-1
-i
surveys
of Hadamard matrices;
(1967),
and Whiteman
Goethals
(1970).
i
i
i
1
1
1
1
1
-i
-i
1
-1
1
1
-1
i
-i
-i
-1
1
-i
1
1
(with proofs)
for results
and Seidel
i
i
-i
-i
-i
1
-i
1
i
i
i
-i
-i
-i
1
-i
i
-i
1
1
-1
-i
-i
1
i
i
-i
1
1
-i
-1
-i
subsequent
(1967), Wallis
cases are
n = 188,
i
-i
-i
1
-i
1
1
-i
on the
(1969 AB,
1970),
i
-i
i
-i
1
1
-i
-i
Turyn
is
(1970)
i, 2
or
4t
96
C.
munications,
considered
Hadamard Matrices
(1953),
the question
[bi] [ ~
of the existence
of finite
sequences
comof ones
auto-correlation
v-j
c.J =
b i bi+j
= 0
or
-i
i=l
for all
become
J, i ~ j ~ v - i.
customary
sequences~
and
to relax Barker's
whose aperiodic
Barker sequences.
denotes
v = 3, 7, ii.
It has
autocorrelations
for
e.
J
are restricted
Barker sequences
to
are known:
I, -i
-i~ 0r ix
(+
denotes
+i
-i)
v =2
++
v=4
+++-;
V = 5
+ + +-
V =7
+++-
- +-
v =ii
+++-
- +-
v =13
+++++-
++-
- +-
- ++-
+-
together w i t h the sequences which may be derived from them by the following
trans-
formations:
b: = ~"C-l) i b
1
1
b: = (-i) i+1 b.
l
1
b~ = -b..
l
I
In fact,
v ~ 0 (mod 4)
is necessary.
97
Note that in terms of the
i, -i
of a difference set (see section I.D. for this) all these sequences correspond to
difference
sets.
v = 7,11,13
For
v = 2,3,4,5
v,k,h = 7, 4, 2;
ii, 5, 2
and
for
13, 9, 6
respectively.
It can be shown (Storer and Turyn, 1961) that
Barker sequence.
Further,
cj + cv-j = ~ ( j )
if
v - O (mod 4)
then
e. + c
,]
v-j
~ v (mod 4)
cj + Cv_ j = O.
in any
Thus, as
{bi}
Rb(J)= Ii if j ~0
modulo
otherwise
Since
n, v
Since
~(j)
is even,
n = k - k
= v - 4(k - h) = 0
k(k - l) = h(v - l)
show that
for
is a square (say
j ~ O
modulo
N 2)
it follows that
k = 2N 2 - N
or
2N 2 + N.
b y Theorem
n = k - ~
Since these
these
k's correspond
v,k,h = 4N 2, 2 ~
= N2 ~ i
- N, ~
- N
for
by a constructive method;
Since
i ~ N ~ 55
N ~ i.
N = 39.
(v,n) > i.
in particular,
N ~ 55,
Theorems 2.13
i.e.,
v ~ 12,100.
98
right.
is a circulant.
(+
for
+i, -
for
-i)
!1
matrices and they have been extensively studied [see the note at the end of
section IV.B].
-i
In fact, up to
v ~ 4,
that there is a
v ~ 12,100.
then, that the absence of any further Barker sequences/circu!ant Hadamard matrices
has been conjectured.
-i
trivial cyclic difference set (Theorem 3.3 above), Brualdi (1965) has shown that
there does not exist an Hadamard matrix of order
v ~ 4
which is a symmetric
circulant.]
The related problem of finding
i, -i
sequences of length
m~ lojl
J
is minimized) and indeed the problem of determining this minimum, at least
asymptotically as a function of
v,
is unsolved.
V.
The known difference sets (with a few exceptions) can be divided into
families.
methods specific to them, their multiplier groups and the status of some open
questions related to them.
A.
These
parameters:
have
N+I
v
N
-i
q - i
for
N > i
k =
'
N-I
~ ~
~ =
q - i'
-1
(5.1)
q - i
is a prime power.
elements.
GF(q)].
~(q- i)
GF(q)
elements of order
is cyclic;
q - i.
ever
the residues
is prime to
q - i.
For prime
p,
structed from
GF(q)
irreducible over
all divisors
GF(q).
of
m.
The subfields of
GF(p).
~
These generating
GF(pm),
O,i,...~p - I
p;
~u
when-
form a
m
GF(r)~ r = q ~
of any
elements
thus it is
is a primitive root so is
can be con-
m th degree polynomial
prime, are
GF(p j)
for
f(x)
lO0
GF(qm)
GF(q).
am_ 1 x
m-i
+ ... + alx + a 0.
m-tuple
am_l, am_2,...,al, a 0
the
multiply instead their associated polynomials and reduce the result modulo any
fixed
m th degree polynomial
f(x)
irreducible over
GF(q).
The coefficients of
the resulting polynomial constitute the m-tuple which is the product of the original
two.
~;
in which case,
GF(qm)
GF(qTM) in
consists of
O,l,C~, 2 ~ o . o ,(~q -2
are used
TABLE 5.1.
0000
O0
0000
Ol
o(
2
o~
J
c~
J
8
2
lO
c~
~5
GF(26)
with
GF(qm)
f(x) = x 6 + x + i.
i01000
~i
i001
Ol
010011
~2
0010
0 i
48
001101
~49
011010
i00111
0000
i0
i00110
o~ 3
0100
io
0001
O0
001111
~4
i001
00
~0
ii0100
ooio
i i
~51
i01011
OlOi
i 0
~2
010101
~53
i01010
010111
0010
O0
011110
a35
0100
O0
iiii00
~36
i000
O0
0000
ii
22
iii011
~Y
lOll
0 0
ii0101
~38
OliO
1 l
J4
iioi
i o
~5
i01110
0001
i0
i01001
~39
0011
O0
010001
iOli
i I
J6
011111
0110
O0
i00010
~41
Olii
o i
~57
iiiii0
000111
J2
iii0
i o
~8
iiiiii
001110
~43
44
iioi
i i
iiii01
i011
OllO
o i
0 1
~59
6o
(~
61
ii00
i 0
~62
i00001
ii00
00
i000
ii
0001
Ol
25
26
28
c~
011100
0010
i0
iii000
J5
0101
00
ii0011
(~46
iii001
ii0001
- i
i01
GF(26).
no means necessary;
satisfies
polynomial of degree
such that
over
GF(p).]
that
in
dimension
and
a subspace of
0
PG(N,q)
PG(N,q),
PG(N,q)
GF(q).
of dimension
GF(q)
(baN, baN.l,..o,ba0)
j + 1
GF(q);
such a
The trick is to
of dimension
J.
The
N - 1
over
b ~ 0, b
(N + 1)-tuples determines
(qN+l _ 1)/(q - i)
subspaces of
( J + l _ 1)/(q - l)
sub-
so they have
v = (qN+l _ 1)/(q - l)
k = (qN _ 1)/(q - i)
GF(q), con-
linearly independent
over
a primitive irreducible
spaces of dimension
planes in
over
pm < 109,
(N + 1)-tuples of elements of
(aN,aN_l,...,a0)
GF(q).
GF(qm)
sists of all
This is by
p < 50
f(x) = 0.
(qN-1 _ 1)/(q - l)
points and
hyper-
Singer
Theorem 5.1.
PG(N,q)
This
v, k, h
difference set.
Proof.
A,
configuration, satisfies
AAT=
(k - ~)I + kT,
= kJ.
Thus conditions (ii), (iii) of the block design definition follow from the result
of Ryser (1950) discussed in section II.C. just below Theorem 2.3.
So
PG(N,q)
102
PG(N~q)
be a primitive root of
G F ( J +l)
and let
f(x) = x N + I + c ~ x N + ... + C l X + c o
over
GF(q).
GF(q).
Since
vi
belongs to
(5.2)
corresponds to a unique
GF(q)
for all
i,
the elements of
are
point of
= 0,1,...,v - l)
PG(N,q)
an exponent
~j+vi
GF(q)
~(j
and
(N + l)-tuple over
0,1,~v~...,~ (q-2)v
PG(N,q).
Let
PG(N~q)
j, 0 < j < v - 1.
~:~
i+l
~:0~0
(5.3)
(5.~)
This mapping obviously maps points onto points and [as is clear from (5.4)]
maps subspaces onto subspaces without any loss of dimension.
planes into hyperplaneso
that corresponding to
If
H
H,
~J~
the mapping
and an integer
of
then
ts.
chosen;
so
s, 1 ~ s ~ v - l,
So
~j+iv
is cyclic of order
such that
~s
fixes
form an orbit in
H.
divides
on the points.
Let
under
~s
be a point
with
is the same as
i( ts _ !) = 0.
divides
k.
Since
of
was
lO3
that
divides
that
(v,k) > l;
necessarily and
ts
implies that
and as
is cyclic of order
(v,t) > i
~i,~,...,Gm),
divides
v - qk = 1.
Thus
on the hyperplanes.
it follows
v
divides
So the theorem of
by (5.1) above.
Any mapping
from
G F ( J +I)
onto
GF(q)
which satisfies
for all 6, ~
from
in
G F ( J +l)
GF(q N+I)
to
GF(q).
PG(N,q).
and all
b, c
in
functional from
GF(q)
G F ( J +l)
to
GF(q).
GF(q N+l)
L($) = 0]
PG(N,q)
N = 5
then
v, k, ~
are
constitutes a hyperplane
annihilated by
63, 31, 15
x 6 + x + 1 = 0)
and
over
is to be a root of a primitive
GF(2).
functional
shows that
annihilates
when
q = 2
is one of
Table 5.1
l, 2, 3, 4, 5, 7, 8, 9, 10, 13,
14, 15, 17, 19, 20, 25, 27, 28, 29, 33, 34, 36, 37, 39, 42, 46, 49, 50, 53, 55, 57.
Thus these numbers constitute a difference set with parameters
Note:
v,k, 7~ = 63,31,15.
only effect of this is to generate a difference set equivalent to the original one.
For example, if a different hyperplane (or linear functional) is used this merely
shifts the set.
G,
root is needed.
is not in
GF(q)
rD = {rdl,.. o,rdk)
results.
i = 1,...,v - 1.
[The use of
is used instead of
6( = ~u)
for which
Gi
the existence of
104
j)
G. ]
Lemma 5.2.
GF(q m)
Let
to its subfield
GF(q j)
GF(q m)
L~(~) = L ( ~ )
and let
to
for all
be any element of
GF(q j)
~
is of the form
in
GF(qm).
GF(qm).
Then every
L~,
where
L~
is
Moreover if
~ ~ v
then
L~ ~ L w.
[Linear algebra provides the fact that there are precisely
functionals from
GF(q m)
to
GF(q j)
qm
linear
qm
distinct
ones. ]
Complementary to any Singer set
is a difference set
D*
with parameters
N+l
v =
for
N > i
and
- i
q-l'
k = qN
h
'
a prime power.
Here
qN-l(q_l)
(5.5)
j = O,l,..o,v- 1
belongs to
D*
if and
only if
L(~)
~ 0
root of
GF(qN+I)o
where
L(1) = l,
D(L,~).
is a primitive
D(L,~)
O, 6, ii, 12, 16, 18, 21, 22, 23, 24, 26, 30, 31, 32, 35, 38, 40, 41, 43, 44,
45, 47, 48, 51, 52, 54, 56, 58, 59, 60, 61, 62.
that modulo
3,4,5~6,7,8)o
they constitute
In fact
D(L,~)
E = [0,2,
i05
TABLE 5.2.
where the
(i,j)
entry is
i
0 1 2 3 4 5 6
i~= 0
i 0 1 0 0 1 1
D(L,G)
0 0 0 0 0 0 0
0 1 0 0 ! I i
3
4
0 1 1 1 0 1 0
5
6
0 0 1 1 1 0 1
7
8
0 i 0 0 1 1 !
0 0 1 1 1 0 1
i 0 1 0 0 1 1
0 0 1 1 1 0 1
1
2
if and only if
D(L,~).
A Representation of
E,
i + 9J
belongs to
D(L,G).
Note
w,~,~ = 7,4,2
difference set
F = [0,2, 5,6]
or
Gordon, Mills and Welch (1962) have shown that the structure
and
in this manner.
Theorem 5.3.
N > 1.
Let
Let
and let
N + !
be an integer,
G F ( J +l)
to the sub-
field
GF(q),
such that
intermediate field
L(1) = lo
GF(qm),
where
m
~
polynomials of
y = x ~.
GF(q N+l)
be the restriction of
divides
in
D(L,~)
and
N + 1.
GF(q N+l)
Let
to an
be the linear
L0(~(~)5 ) = L(~5)
~nd
and let
~ = ~.
D(L0,B)
respectively.
Let
for all
~ = vl~.
@(x)
and
Let
~(y)
[For m = i,
~(~)
in
~
in
GF(qm).
be a
be the Hall
take
~(y) = i.]
Then
where
L0
primitive root of
Let
Let
(mod
x v - l)
(5.6)
lO6
~(x)
: Z
xiy ri
(5.7)
~(i)
~ 0 ,
0 _~ i < { ,
r.
1
and
for which
~(czi) : B
N + 1,m,q,p = 6,3,2,2,
The
-r.
1
(5,8)
F = D(L0,B) = {0,2,5,6]
GF(qN+I)
Proof.
a~L(~8),
Consider
8
in
~.
Let
GF(qm),
be an element of
GF(qN+I).
~(~),
of
GF(qm).
in the array.
GF(qm)
of
while
to
GF(qm),
GF(q).
So, by
such that
=o(Z(O~) = ~ ( ~ )
for all
in
GF(qm).
[L0
GF(qm)~
and
= L((aq
to
~, ~
belongs to
L0(1 ) = 1
GF(q)
when
GF(qm).
that
m : l,
L0
L(1) = I]
+ b~)8)
Let
= L(aqS)
Thus
be fixed elements of
GF(q N+l)
then
+ L(b~8)
Lo((a~(q ) + bZ(~))8) .
follows from
Let
GF(q N+l)
is a linear functional.
Lo(~(a q + b~)8)
So
(5.9)
~(i) = i.
When
m = i,
GF(q);
~ = L
it
since
in this case.
lO7
w-~
5jyj
~(y) =
{ 0 if L0(~J) = 0
with
j=O
5. =
J
I if Lo(~J) ~ 0
and let
v-Iz
8(x) =
i=0
"
a.x
~
l
{ 0 if L(Gi) = 0
with
e.1 =
~-i
= ~
xi~i(y)when
i if L(Gi) { 0
w-i
o]i(y)= ~, si+~jy3o
i:o
j:o
-r.
if
~(~) : o
if
Z ( i ) ~ o.
J_ri )
L0(~
So
if
Z(~ i) : o
3-r.1
Thus ~i(y) = 0 if ~(i) = O; while if ~(Gi) # 0
w-i
~i(Y) =
w-i
w-i
Z
i+~J yj = ~
5J-r. yj = ~
5J yj+ri = y
1
j=O
j=O
j=O
~(y)
(mod
Xv
- l).
r.
r.
1
108
Now
~(y)
w :
@0(y )
set
D(L0,~ ) which
m > !)
m
q - 1
q-1 '
m-i
~ = q
,
w~,~-difference
$(y)
~ : qm
-2
(q-l)
(5.10)
i.eo, if
then
(5.5).
e0(x )
(mod
x v - i)
(5.11)
For let
w-1
~o(Y) =
y = x ~.
Z
j:O
Let
~JYJ
G(x)
be given by (5.7).
e.
Then
i=l
where the
modulo
e.
I
v
by construction.
Further~ by definition,
l,
Hence, modulo
x v - i,
Io9
eo(X) eo(x'l) = n(x) ~(x-1) ~o(y) ~o(y-1) ~ ~(x) o(x"l) ~(y) ~(y-1)
= o(x) e(~-1) .
Thus
el, ...,e k
example, let
[For
@0(y ) = 1 + y + y2 + y5
then using
from
set
D(L,~)
D(L,~)
as is explained below.]
difference
0, 2, 6, 7, 9, ii, 12, 15, 16, 18, 22, 23, 24, 26, 30, 38, 39, 40, 41, 43, 44,
45, 48, 49, 50, 51, 53, 56, 58, 59, 61, 62.
to
v,k, k = 63,32,16
w,~,~-difference
v,k,h-difference
@0(y ) = yS @(y).
[Since
-1
is never a
v,k,h-difference
@(y)
and
63, 32, 16
@(y-l)
and
always
Several lemmas are required for the proof of this result (which is Theorem 5.12
below).
Following Gordon, Mills and Welch, let
C = {Cl, C2,...,c ~}
be two
w,~,u-difference
B = {bl, b2,...,b ~}
sets, and let
ci
[If
m = i
and
let
Put
-D
ii0
Then
eb(X )
say
and
such that
and
8c(X )
C.
If
(t~v) = 1
and
Proof.
(mod
(mod x v - l )
~b(y ) ~ yS 9 c ( t )
(mod
and
such that
(5.13)
r.
and
x a 8c(X ) = Z xa+tiy
Let
be such an
i;
and
~.
a + th m j
modulo
~.
tr.
i ~c(yt)
for which
~(i) ~ o,
i
a+th t rh Wc(yt)
x iy r. ~b(y ) ~ x
y
Since
@b(y ) ~ yS @c(yt)
Now
yW _ l)
where
and
By construction
where
and
(5.12)
O(x) ~ x r O(xt )
0 < i < ~.
x v - i).
In particular if
and
eb(X ) ~ xaec(Xt )
Lemma 5.4.
v,k,h-difference sets,
(mod
x v - 1 = yW _ 1
(mod
x v - l)
this yields
(5.14)
yw _ i)
s = tr h - r. + ~-l(a + th - j).
3
@b(y) @b(y -I) ~ ~ - ~ + ~(i + y + ... + y w - l )
modulo
yW . i
and this
iii
implies that
~b(y )
is relatively prime to
yW _ i.
(mod
xv -
e(~)
(mod
xv
i)
and (5.14)
x a -ys
9(x t)
1)
Q = GF(q)
Lema
5.5.
and let
Q*
be an element of
GF(qN+I).
Then
~(w)
(t,v) = i.
Let
belongs to
Q*
~ = ~r,
Q.
and let
if and only if
~(h t)
does also.
Proof.
Since
G F ( J +l)
to
GF(q
TM)
it follows
that
~(x) = ~. xiyri = ~
x i+~ri =
xj
(5.15)
j in S
where
such that
~(aJ) = i,
O ~ j < qN _ 1.
is a primitive root of
Q*,
by a primitive root of
Q*.
V~
a(x) ~
~,
to
(mod
xj
Since
is to multiply
c~v
~(~)
x v - i)
j in S'
where
(5.13)
S'
Z(~)
belongs to
len~na is trivial.
If
Q*
~ ~ 0
such that
~(eJ)
if and only if
belongs to
~(r+jt)
Q*,
does also.
~ = ~.
0 < j < v.
If
~ = 0
the
112
Lemma 5.6.
element of
GF(qm)
if and only if
and let
~(q t)
belong to
belongs to
GF(qN+l).
Let
~ ~ 0.
belongs to
Q*.
Here
~(~w t)
~(~)
let
~ be an
belongs to
~Q*
~tQ..
Let
which is equivalent to
~ = r,
Then
Proof.
Q*~
Then
(t,r) = i.
~(~)
belongs to
L(~w t)
~Q*
if and only if
being a member of
belongs to
vtQ *
for some
in
~(~)
is an element of
~(~-I)
~(~ t~-t)
belongs to
GF(qm).
If
v ~ 0~
~(~) = 0.
then by the
vQ*~ contradiction.
So
v = 0
GF(q N+I)
(t,v) = i.
Let
be elements of
GF(qm)
~1,~2, .... ~s
GF(qm)
be
Let
such that
(}.16)
i=l
Then
a.
Proof.
belongs to
c~ Q*,
Since the
linear functionals
~i
K.
J
i=l
i < i < s
over
GF(qm)
such that
u.
J
of
K.
if
GF(qm)
( l ~ i~ j ~ s)
i = j.
GF(q N+I)
there exist
such that
~,
that is there
i13
~L(~ujt ~ ) = 0
~(uj Z e i ~i ) = cj,
if
i ~ j,
and
~(~u t ~ )
belongs to
Q*.
so that
~(~u~( ZC i ~i )t)
belongs to
c~ Q*.
Len~na 58.
for
c I
c 2
. . . . .
t
al~ a 2
t
% ai ~i = 0
with
ai
shows
that
0~
this
in
N + 1 >mo
Then
a 2
Let
as was to be proved.
be a basis
GF(qm)o
a I
c~ Q*
(t,v) = 1.
then
and suppose
of
is an element of
GF(qm);
c s
Lermma 5. 9 .
G F ( J +l)
aj
~t,~t,...,~ ts
over
Let
~1~2
=~v,f:,...,~
s
So
G F ( J +I)
Proof.
ajQ*.
. . . . .
GF(q m)
a s
0o
Hence
(t,v) = i.
Let
OF( +I)
be an element of
(1 + ~)t = al + a2 t
Q*.
Proof.
a basis for
G F ( J +l)
over
is not an element of
GF(q m)
C 1 = C 2 = l, e 3 = o.o = c s = 0;
so
which contains
i + ~ = Z c i ~i"
GF(qm).
~l = l, ~2 = ~
Moreover
Let
~'~''"~s t
is
(I + ~)t = Z ai~ ~
with
to
ai
in
GF(qm).
By Lemma 57,
a3 = a4 . . . . .
a s = 0,
and
al, a 2
belong
Q~.
NOW suppose
is in
GF(qm).
Let
~ be an element of
GF(q N+l)
such that
114
~({) = ~
and so
and
<(w) = w;
~(M) = O.
element
Q*
Now
M.]
thus
N + 1 >m
Now
Z(~)=
~(~) = ~.
Q*o
~(~ it )
Thus
~(1) = 1
[Such a
exists since
b, e
+ {)t)
(2)
Q*.
belongs to (1 + w) t
Q*
~(q(l + {)t)
(1 + ~)t =
Thus
: ~(~(h + c{t))
belongs to
and
and so
of
~(1) = 1
GF(q m)
~(~(i
and
and
where
~(1 + ~) = 1 + w
by Lemma 5.6.
b + c{ t
{ = w + M
GF(qm)o
while
~(G ~t)
is of the form
belongs to
a I + a2 t
tQ.
since
with
al; a 2
in
5o12 below.
condition
(l + ~)t = al + a2 t
are required.
every pair
such that
G F ( J +I)
PI' 02
of elements of
bl, b2,...,b u
(P I + 02 + ... +
GF(J+I),
GF(qN+I),
(PI + P2 )t = b! P~ + b2 P~"
there exist
in
in
Ou)t
(5.17)
Q*
bl, b 2
pl, P2,.o.,pu
of
Q*,
in
such that
t +
t
t
= blP I
b2o 2 + .. + buO u o
(5.18)
(I + ~)t = rw(l + s
with
to
rw, s w
Q
in
Q*.
Since
(t,v) = i,
and hence
t)
it follows that if
rw, s
ll5
Lemma 5.10.
elements
Let
N ~ 2
al, a 2
of
Q*
(i)
if
wt
T t ~ ~t
(ii)
if
in
GF(J+i),
is a primitive root of
Then
Proof.
Q~
and if
= 1 and
then
s
= l,
(1 + w) t = 1 + wto
of
Q*
So
s iw = b2/b I
and by symmetry
which establishes
sw = i
assertion of (ii).
Qo
Hence
w = u,
i, t
and
I ~ u ~ J+l
2t
. I
Since
(t,v) = I
GF(J+I).
Hence
it follows that
t
has degree
s 2 = s
Uo
(as
N + i
N + i ~ 3).
= i
so
or
2.
Let
uo
Since
as
sw = i
when
(t,v) = i.
i, t ,
ut
u = i
So
and
wt
or the elements
u ~ 3
sW = i
is not an element of
i, G 2t, Gut ,
Let
i, ~ t ,
Gut
be independent
(j = i
=S
=S
neither is
s.=l
or
i, t ,
2),
t
w ,
Q.
for all
G2t
Q;
for
(con-
116
Qo
N + 1 > 3,
there is a
such that
Cl, c2, c 3
in
l~ t
~t
Q*.
(1 + ~ + {)t = Cl + c2 t + c3{t
with
Cl, c2, c3
uniquely determined.
So
(i + ~)/~
is not in
i, t ,
Qo
Since
~t
= i, (i + w) t = rw(l + t ) ,
it follows that
a = r(l+~)/~.
Theorem 5.11.
Hence
r e = 1.
Let
v = (qN+l _ l)/(q - i)
that for every
such that
Proof.
where
that
and
in
+ ar t
let
and let
0 < t < v
and
GF(qN+l).
Since
(t',v) = lo
p,
let
Vo
al, a 2
Put
in
GF(q)
modulo
v.
(i + G) t = r (i + sGGt),
s~
t' = t + vc.
G F ( J +l)
Suppose
in
is congruent to a power of
e, 0 ~ c < q - 1.
cI = c3
as was to be shown.
N + i > 3,
G F ( J +l)
for some
+ a~t
(1 + ~)t = 1 + t
(1 + ~)t = al + a2 t.
sG = v c
Q*
in
c I = c2
So
is not in
Thus
where
(i + ~)t/~t
and
is in
Q*
it follows
there exist
r'
W
and
s'
W
such that
(l+~)t'=r~(1+s'~t')o
Note that
s' = io
(i + w) t' = I + w
t !
(5o19)
117
for all
power of
of
po
N+l
- q
(5.19) by
roots
Therefore
~u(1 + ~)u
yields
t' > q
= (l+~)~u
for all
of
G F ( J +I)
N+l
< 3q - 2
power of
the proof.
and
N + 1
N + I~
~(x)
N+l
Let
t' +
u >
~(y),
there corresponds a
If
and
Proof.
with
Start with
respectivelY.
(t,v) = 1
Hence, since
and
Hence
(qN+l
2u k J + l
t' - l,
_ qo
So
- q)
N + 1 ~ 3, q ~ 2o
If
modulo
Thus
v,
t'
is a
which completes
be a power of a prime
N + 1 >m
~ 23
where
are
let
set
v,k,h-difference
set B
w,~,~-difference
sets then
and let
with Hall
and
are
Co
is equivalent to
and
divides
~ = v/w,
w,~,~-difference
Ob(X), Oc(X )
a,
such that
N + i > 3,
Let
is a cyclic shift of
and
is congruent to a power of
B
To any
of
is not a
N+l
u = q
- 1 - t t.
Let
B, C
- qo
Qo
is congruent to a power of
v, k, ~, w, ~, ~
- 1 =
polynomial
of
t'
Theorem 5.12.
let
Suppose
+ (l+~)u
N+l
or
Q.
with at least
Multiplying
GF(q
N+I)~
(mod
x v - l) o
modulo
vo
is a multiplier
So
ll8
*c(y t) -yU*c(y )
for some integer
Uo
Thus by Len~na 54
*'b(y) ~ y
and
(rood yw_ i)
is a cyclic shift of
c~y )
(mod
yw _ i)
as promised.
Gb(X ) ~ xaGc(Xt )
(mod
is congruent to a power of
~o
With
D(L,~)
powers of p
m = 1
x v - l)
modulo
v.
If
B = C
may be multipliers of
Theorem 5.13.
difference set or if
If
is a non-trivial Singer
modulo
j > 0
given by (5o10)o
Since
-1
2J
Theorem 5o14o
of
v, k, h
possible
v, k,
For, let
sets with
w,~,~-difference
w,~,~-difference
vo
m _> 3~
w, ~,
m, M
this
difference sets.
N+I>3,
m > 3.
Let
Let
inequivalent
In particular
N + 1 = ~u
2J
sets, none of
and let
be the product
2r
ll9
inequivalent
difference
(by taking
complements)
with parameters
N+I
v_q
B.
Nthpower
Residue
A difference
or of the
-1
q-l'
Difference
set which
restricted
to divisors
residues
and the
that the
of non-zero
venient
5.15.
form a difference
Proof.
residue
(N, v - l )
coincide
rl, oo.,r f
When
is a prime,
residue
srl, sr2, sr
r,
say
[Nagell
residue
r I - r 2 =- ro
If
residues
Thus one of
s
also.
r 2 - r I - -r)
The set
~1,2~4~
modulo
thus
residues modulo
is a quadratic
r I - r 2, r 2 - r 1
residue of
set w i t h
the fact
(1951) is a con-
is any quadratic
residue of
(e.g.,
N th power
sets of Paley
c, -c
st. - s r . -= sr
l
j
these congruences
sets,
v, k, h~ n = 4t - l, 2t - l, t - l, t.
with an equation
Reversing
set.
corresponds
is represented
the
v = N f + l,
the quadratic
1 < c < v - lo
are quadratic
v,
Attention m a y be
in this section].
v = 4t - 1
some prime
difference
= d >l
For primes
w i l l be used extensively
then
is a quadratic
v,
N th power residue
since if
N th power residues
residues modulo
N th power residue
Theorem
d th power residues
distinct
reference
v - l,
N th powers modulo
is called an
when there
of
1
q-l"
N-I
h=q
[Those containing
N
q-1
q-l'
yields
also.
r. -r. -=r
residues.
every quadratic
non-
h = t - lo
quadratic
residue
120
difference set.
Note that the parameters imply that every quadratic residue set
is a Hadamard difference set (see section IV.B. for a discussion of this special
type).
Another class of residue difference sets was discovered by Chowla (1944):
Theorem 5o16o
v = 4x 2 + l, x
and
odd, form
x = 3,
here
D = {1,7,9,10,12,16,26,33,34}.
No more
[A complete introduction to
cyclotomy from the classical point of view is given ab initio in Dickson (1935 ABC);
T. Storer's booklet "Cyclotomy and Difference Sets" (1967 A) gives a different
development also ab initio and discusses most of the difference set results of
these sections.]
Let
v = Nf + 1
An integer
number
R
exists an integer
sists of
such that
distinct numbers
(~,m)N
~.
That is,
R + 1
(~,m)N
with respect to
if there
modulo
v.
Vo
con-
The cyclotomic
when
x, y
of the congruence
Nx+~
x, y
+ 1 ~
gNy+m
(mod
0,1,...,f- 1.
v)
(520)
121
primitive roots
of
is chosen.
The following elementary cyclotomic facts are all that is needed for an understanding of the results of this section (note that when
is odd,
is
necessarily even):
(~,m)N = (~',m')N
when
~ ~ ~'
and
m ~ m'
(mod
(m,~)N
N)
even
odd
(5.22)
(~,m)N = (N - ~, m - ~)N = I
(m + N/2,
N-I
Z
(~,m)N = f - n~,
where
m=0
~ + N/2) N
II
~ ~ 0 (mod N)
even
~ ~ N/2 (mod N)
odd
n~ = < 1
0
then
(~,m)~
s
is prime to
Proof.
nition.
(523)
otherwise
(5.24)
(~,m)~ = (s~,sm)N
where
(5.21)
g' ~ g
modulo
v;
necessarily
v - lo
The first part of (5.22) follows from the definition after congruence
[i.e., by
gN(f-x)-~].
Similarly, the second part of (5.22) follows after congruence 520 is multiplied
through by
-1,
that is by
-i -= g(Nf)/2 = ~
gN(f/2)
even
(5.25)
L gN(f-1)/2
+N/2
o~d .
The sum in equation (5.23) is simply the number of successors of members of index
class
Since
-1
122
Equation
to
sx
v - 1
implies the
ranges with
since
prime
fo
In terms of these cyclotomic n~nbers
(~,m)N
in fact:
Theorem 5.17o
(Lehmer,
1953)
v = Nf + 1
is
(~,o) N :
(f - I ) / N
for
~ ~ o , I .... , N -
v,k, ~ = v,f,
(5.26)
l o
(f- I)/No
Necessary and
be even,
for
~ = 1,2 .... , N - 1 .
(~,0)N
N th power residues
solutions
r i - rj ~ 7
(5.27)
v,k,Z = v, f + i, (f + I)/No
If the
v = Nf + 1
Proof.
that the
g,
are not]
rl,.oo,r f
ri, rj
v3
to the congruence
(mod
v)
(5.28)
123
riril
-= Trj I + i
for all
7 ~ 0
(c,0)N = ~;
as
thus
v.
But for
(i,0)N = ~
h = (f - 1)/N
is an
f
modulo
for
follows from
(mod
in index class
0 < i < N - 1
v,k = v,f.
If
is odd and as
and
all
i.
Nf
is necessarily even,
is odd, equation
Hence
(522) provides
(5.29)
and in particular
f
so is
(5.26) holds
which contradicts
N.
(f - I)/N
form a difference
-1
Theorem 3.3~
Conversely,
since
0)N : (f-
(i,0)N = (i + 2 '
v)
Thus
is even
I)/N
for
7.
(f - I)/N.
is added to the set of
differences
r. - 0 = r.
1
and
As before,
So,
is even) and
each
is odd (hence
ri
(N/2, 0)N
and
-r i
In particular,
v,k = v, f + lo
(5.27) holds.
equation
Since
that the
v,k = v, f + i;
(5.27)holds,
[1,2,4},
(ii)
v = 4x 2 + i, x
IN = 4, Chowla
odd;
e.go, the
and
(f+l)/N
is even,
here
is
[by equation
N,
~=
thus
h = (f + I)/N.
Difference
N
(i + ~ , 0)N = (i~0)N
hence
N/2;
(0,0)N
since
N th power residues
is a multiplier
as before,
set with
Theorem 5.18.
-i
indicate.
follows from
0 - r. = -r.
v = 4t - i;
e.g., the
set
IN = 2, Paley
v,k,h = 7,3,1
(1933) ]
set
residues of primes
[1,7,9,10,12,16,26,33,34],
124
(iii)
[N = 4,
Lehmer
(1953) attributes
(iv)
[N =8,
v = 4x 2 + 9, x
Lehmer
1 = 64b 2 + 9, k = a 2, ~ = b 2
[1,2,4,8,16,32,37,55,64),
(v)
IN = 8,
Lehmer
e.g., the
with
a, b
odd;
e.g., the
is
v,k,h = 26041,3256,407
odd,
even;
v < 34,352,398,777.
residue difference
(1966),
of
v.
(x)
(viii)
N = 16,
(vl)
N = 6,
N = 12, Whiteman
Whiteman
Lehmer
(xi)
(1967),
is not a biquadratic
The calculations
(ix)
residue or modified
(1953),
(1960A),
v = 8a 2 +
e.g., the
residue difference
(1960 B),
set
140,411,704,393 ,
set
v = 8a 2 +
v,k,h = 73,9,1
49 = 64b 2 + 441, k = a 2 + 7, ~ = b 2 + 7, a
Whiteman
v,k,?~ = 13,4,1
(vii)
N = 10,
N = 14, Muskat
is an oetic residue
however,
it is known
v > 1,336,337.
N = 20,
is a biquadratic
residue of
v.
involved in determining
orders are far too extensive to present here, the numbers themselves may be found
for
N = 2 - 6
in Dickson
N = 8
in Lehmer
though~
if
thus
N = 2
and
v = 2f + l, f
odd, equation
1)/2
and
(5.22)yields
In the case
is more difficult;
(0,1)2 = (f + 1)/2.
So
sets.
which may be
and in the
(1955 B),
N = 10,12,14,16~ 18, 20 o
(1935 A),
the existence
N = 4, f
however,
they are
of modified
125
(0,0) 4 = (2,2) 4
(2,0)4
= (v - 7 + 2y)/16
(O,l) 4 :
(3,2)4
= (v + 1 + 2y - 8x)/16
= (v + 1 + 2y + 8x)/16
(1,3) 4
(0,2)4
(v - 3 - 2y)/16,
where
= (v + l
- 6y)/16
v = y2 + 4x 2
and
y ~ 1
v - 7 + 2y = v - 3 - 2y = v - 5
or
f = 2j + l,
x
Y = -3,
then
thus
v : 9 + 4x2.
v = 8j + 5 : 9 + 4x2.
Since
Thus
or
4.
y = 1.
modulo
v + 2y + 9 = v - 3 -
v = 4f + l, f
odd, let
8j - 4x 2 = 4, 2j - x 2 = l;
hence
v = p
(for
= Nf + 1
N = 2,4,6,8)
However
N = 4,8
(for
i > l)
residues plus
for
00
N th power
i = l,
i.eo,
is prime.
This results
N : 8.]
The multiplier group for
termined:
Theorem 5.19.
(Lehmer, 1953)
multipliers of a non-trivial
Proof.
Clearly the
another multiplier,
then
modulo
v,
where
Suppose
was
belongs to an index
126
class
j,
with
j ~ 0 (mod N)o
trl,.o.,trf;
so
D, r
is not in
s ~ 0
u
modulo
+ s ~ tr
r s
u
has exactly
-1
solutions,
v.
(mod v)
+ i ~ tr s
y
If
(5.26) when
0
belongs to
-1
(mod
(i,0)N = 0,
i.
Then, if
v)
is non-trivialo
D,
Thus, by (5.25),
then
s
tD ~ D + s
Do
tr u
-1
for some
consists of
implies
to
s ~ 0
Let
u;
(with
and
-1
s ~ 0)
N/2.
implies
0 - s
belongs
Hence
n = k - h
for the residue difference sets of Theorem 5.18, but was established by ~mna Lehmer
(1955 A).
(1951)]o
whether
(= +l)
Theorem 5.20.
(=-l)
(p/q) = 1
All divisors of
v,
(mod 8),
q.
are multipliers
v = 4t - lo
n (= k - h)
Proof.
(Lehmer, 1955 A)
v = 4t - l;
but then
Now
which, of course,
n = (v + 1)/4
(and thus of
are
divides
only if
v + 1 = qm)o
Let
v ~ -1
q
be
By quadratic reciprocity
127
i.e.,
is a quadratic residue of
v.
Theorem 5.21.
cyclic
C.
Nthpower
(Lehmer, 1955 A)
All divisors of
by
Ci,
then if
v = 31
and
N = 6
these
classes are:
Letting
CO + C I + C 3
CO + C I + C3
CO:
i,
2,
4,
8,
16
CI:
3,
6,
12,
17,
24
C2:
5,
9,
10,
18,
20
C3:
15,
23,
27,
29 ,
30
C4:
7,
14,
19,
25,
28
C5:
ii,
13,
21,
22,
26
v,k,Z = 31,15,7.
This is a
the
v = Nf + i
xf ~ i
Since
-I
modulo
is an
v
are
residues) such a union of index classes can only form a difference set
odd (see Theorem 3.3 above).
Lemma 5.22.
is odd and
Thus:
(with or without
v = Nf + i
added) of the
N th
C. + C. + o-o + C
m
G
m
for any
s;
is even
Cs
128
class unions.)
Let
N = 2,
then with
k < v/2,
as usual, only
CO
(with
k < v/2)
only
C0, C 0 + O, C O + C 2
and
CO + C 1
For
need be considered.
The first three of these correspond to the biquadratic residues, the biquadratic
residues plus
discussed in section V.B. will be used to rule out the remaining possibility.
In general,
(~,m)N
is the
number of solutions of
- ~ -= 1
for
in
C~
and
in
Cm.
Thus
(mod
(~-
s, m -
v)
S)N
of
Nx+~-s
g ~+m-sNv =- i
(rood v)
and therefore of
for fixed
in
C .
s
Nx+~
gNy+m
(rood v)
md
- B ~ d
for fixed
index classes
d
in
is
in
C
with
.
z l' "'Cz h'
in
CI, G
(mod
in
Cm
is
v)
(~ - s, m - S)N.
(5.3O)
So, for
129
h
Js =
i=l
j=l
(zi - s, zj
+ ... + C
zI
J0 = J1 . . . . .
so only
JN-1 = %
J0 . . . . .
Since
J(N/2)-l = %
Now consider
CO + C 1
(5.31)
S)N
if and only if
zh
is odd,
Ji = Ji+N/2
need be checked.
for
N = 4,
then
as the values of
x = 0;
but
CO + C1
N/2
v ( = y 2 + 4x 2)
is
0 - d
Ci
thus
Theorem 5.23.
v = 6f + 1
Js
i ~ s
Since
is odd,
and
C3
should be increased by
modulo
belongs to class
1
N/2.
N = 6
v - 3
modulo
or
(2)
and
established:
of
whenever
in
C1. )
v = 10f + 1
Theorem 5.24.
a prime
-1
is representable as
For
for which
above.
only if
N = 4.
CO, C 1
J0 = J1
a prime
Thus
and
class
y2
When
d - 0
(~,m)4
l0 th
13o
consist of
classes
CO
and
Yamamoto
CI
index classes
5.25.
Let
residues
Let
or
g = ii
N.
when
added)
be prime with
or
and define
D
or
(2)
the index
v = 31o
s
such
forms a difference
D = E
of
is a difference
of
N
v,
D = E
even and
v)
with
odd
exactly
such that
of the
is:
containing
a (mod
N th
set
Let
d = 0
I.
root
modulo
v = Nf + i
v - 3
(with or without
numbers of order
Theorem
for
(1967) developed
power residue
cyclotomic
residues
Let
s
B
such
is in
added according
as
Bo
d = 0
s(sf + 2d - l) ~ 0
(mod
( jf
if)
N)
(5.32)
(rood v)
(5.33)
i=O
for
of
j = 2,4, ~o.,N - 2,
where
Kr
th
Bo
After modifying
N = 4,6,8,10,12
Theorem
congruence
5.26.
A set of residues
v = Nf + i
residues
as multipliers,
residues
(with or without
for
v = 4x 2 + 27
forming a non-trivial
N = 4~6,8,10
condition,
non-trivial
residue
or
12,
0),
or the special
31, 6, I
Yamamoto
residue
difference
which includes
w i t h the result:
a prime
sets for
5.33, Yamamoto
residues,
the
set modulo
N th power
the biquadratic
(with or without
set of Theorem
(1969) develops
0),
the Hall
5.24.
a slightly
difference
sets for
N = 6,10,14.
[l.e.,
131
he reestablishes parts
(vi), (vii),
v,k,h = 127,63,31
For
v = 127
N = 6
(1965) developed the requisite prime power cyclotomy and generalized his
difference sets to prime powers
v.
However,
4x 2 + 27
sets,
v = 4x 2 + 27
as is shown there
Hall
v = 4x 2 + 27
[proof due to
These difference
1967)
D.
result:
Theorem 5.27 .
and
p + 2
Let
and
p + 2,
where
2
1, g,g2,...,g(p - 3 ) / 2
0, p + 2, 2(p + 2),...,
(p- 1)(p + 2)
(v-3)/4,
i.e.,
not only by Stanton and Sprott but also by Kesava Menon (1962), Brauer (1953),
Chowla (1945), perhaps first by Gruner (1939) and probably a few others, as they
seem to belong to that special class of mathematical objects which are prone to
independent rediscovery.
Motivated by Theorem 5.27, Whiteman
the
k = d + p
numbers
132
l,g, g2
consistute
for
a difference
, .... g
k=
a con~non primitive
root
defined b y
condition
odd primes
Whiteman
and
q.
Since
Whiteman
showed:
let
constitute
v
N = 2
(Theorem
and
dN
akin to a primitive
and
Theorem)
is
it follows that
set to exist;
cyclotomy
this
for
dN = (p - 1)(q - 1).
and
integers
(s = O,1,...,d
a reduced residue
(5.35)
5.27).
a generalized
gSxi
to
N = (p - l, q - l)
integer
q;
(p - l, q - l) = N
k = d + p = (v - 1)/N,
condition
v = pq.
Let
~ = (v- I - N ) / N 2
Here
sufficient when
approached
Len~na 5.28.
(5.34)
is a necessary
is3 in fact,
(v- l)/N,
(p - l)(q - i) = dN.
q = (N - 1)p + 2
v = ~,
of the distinct
d-i
- l;
system modulo
i = %l,...,N
v = pq.
- l)
(5.36)
Proof.
Let
x, y
be a pair of integers
satisfying
the simultaneous
con-
gruences
x =- g (mod p),
y - i (mod p)
x -= i (rood q),
y m g (mod q) .
(5.37)
The existence
and uniqueness
of such
x~ y
133
Remainder
g
Theorem.
modulo
Note that
i = j.
s # t,
gSxi m gtxJ,
T > 0, ~ > 0.
~;
p - l, q - l;
gSxi m gtxJ
divides
T.
i.e., it is
Since
can be written
of
v.
So the assumption
divides
modulo
xy m g
p - 1
is
Then (5.37)
x T m g~ m (xy) ~
divides
0 < ~ < N
do
~ - T
with
and that
this is a contradiction
q - 1
and the
is not unique,
In Whiteman's
numbers
generalized
for
obviously
consists of the
(i,J)N
v)
s, t
s i
(5.38)
g x
j.
That is,
(i,J)N
is
of the congruence
+ i -= gtxJ
(mod
v)
(5.39)
0 < s, t < d - io
Certain elementary properties
difference
set applications
q - 1 = Nf', d = Nff'
f, f'
(mod
c7clotomic number
where
(s = 0,1~.o,d - l)
a m gSxi
class
below.
of this generalized
N
is, of course,
f,f'
p - 1 = Nf,
(in particular
g~
-i ---
(mod v)
gd/2
for some
(mod v)
~ ~ l, 0 _< ~ < d - 1
when
ff'
(5.40)
is odd
(5.41)
gW xN/2 (mod v)
when
ff'
is even
i34
where
(i,J)N = (i',J')N
0 < v < d - i.
when
(J
N/2, i
(5.42)
(rood N)
i ~ i', j ~ j'
N/2) N
ff'
even
(5.43)
(i,J)N = (N - i, j - i)N = J
<
ff'
(J,i) N
odd
N-I
(i,J)N =
(~ - 2)(q - 2 ) N
+ 5.
!
ff'
ff'
even
odd
(5.4~)
j=O
where
li
i ~ N/2 (mod N)
i ~ 0
(mod N)
otherwise
N-I
f
(j,i) =
(~ - 2)(q - 2) -
(5.45)
~.
l
j=0
where
i -: o (N)
otherwise
ei
Proof.
This implies
If
~ = i,
If
x N ~ g~
xN-i =ogS
then
for any
~,
then by (5.36)
is a primitive root of
v = pq;
x N ~ gSxi
So
with
x N = g~
i > O.
for some
~.
135
p, q
established.
Suppose
modulo
Let
and
ff'
d/2
i =
Select
q;
modulo
q;
s
and
as in (5.37).
gd/2 m -1
gS m -1
s ~ 0, d/2
q,
gd/2 ~ xd/2yd/2 ~ -1
v.
v.
Then
(p-l)/2
x s m -1
f, f'
modulo
as well as by (q-l)/2.
since one of
i -= g0x0 - g2Sx2i
Thus
Then
mod
modulo
is divisible by
and , as
modulo both
0 < i < No
so
x, y
hence
divides
gd/2 ~ -1
with
is odd.
as well as modulo
yS _ -1
Thus
ff'
is even.
But
So
-I =- g x
N/2.
Equation (5.42) is an immediate consequence of the definition and the relation
(5.40) above.
(5.39) through by
(5.40) to give
I + g-S-~xN-i ~ g t-SxJ-i
(5.39) by
-i
as given in
(5.41).
si
g x
i,
+ 1
v,
let
v.
Of the
such numbers,
let
+ 1
but not by
and let
P
number divisible by
si
g x
be the
q
but not by
p.
Then, clearl~v,
N-1
(i,J)N = d - ~
- ~
- Nq.
(5.46)
j=0
By (5.41)
N v = 5..
1
Since
g
p
(q - 1)/N
times by
and hence by
136
s i
g x
N
as
ranges from
= (p - 1)/N - 5..
l
Equation
relations
to
Equation
d - i.
Hence
= (q - I)/N - 8.
l
(5.45) follows w h e n
from 5.46.
(5.43) is applied to
(5.44).
Lemma 5.29 .
Let
be denoted by
C..
1
in class
C1
and
or
but not by
v.
of the congruence
y - z -= r
with
and similarly
is
(mod
in class
CO
v)
(5.47)
is independent
of the value of
and
(p - 1)(q - l)/N 2.
Proof.
modulo
Let
divide
as in Lemma
528.
and let
Then
such that
g, x
x ~ 1
generate
(mod
v),
0 < u < p - 2.
and
gUx ~ i
system
(rood p)
i.e.,
for
in
order for
g x-
to be solvable,
(mod
Hence,
q),
ranges of
s.
t - s = u
(q - 1)/N
q - 1
Since
for fixed
(5.47).
that
a, ga,...,gq-2a.
any fixed
by
(rood v)
(5.48)
(mod
p - I).
values of
t It = u + s + m ( p - 1 ) ,
congruence
are
-r
ferences
it is thus necessary
s (0 < s < d - l)
and consider
m,
as
precisely
ranges
once.
Thus a fixed
consecutive
is a primitive
root of
to
p, 2p,..., (q - l)p
from
sO
to
values of
is represented
sO + q - 2
m
is true when
s;
the dif-
and
a ~ 0
in some order.
d/(q - l)
(p - l)(q - I)/N 2
q
Fix
(5.48) represents
there are
exactly
p.
but not
such
times
divides
137
Theorem 5.30
of
p - 1 (=Nf)
let
Let
(Whiteman~ 1962)
and
q - 1 (=Nf')
(p - 1)(q - l) = dN
and let
where
and
and
q.
Then
the numbers
!,g3g2
,..o,g
d-i
ff'
(5.49)
v = pq, k = (v - I)/N,
h = (v - 1 - N)/N 2
q = (N - 1)p + 2
(i,o)~ : (N - i)
[Here
[(p - 1)/N] 2
n = k - h = (Nv - v + 1 ) / ~
(5.50)
(i : 0,1 ..... ~ - l ) .
= (p - f)2
by 5.50 and so
(5.51)
(n,v) = 1
for all
y, z
not divisible by
v,
there are
y-
with
re
z~r
(mod v)
The numbers
0,q,..o 2 (p - 1)q
(5.52)
l,g,..o,g d-i
CO
Q.
Le~na 5.31.
Let
in
CO
and
in
q.
Q
is equal to
138
Proof.
(p - 1)/N
Since
subsets~
is a primitive
these subsets
Lemma
5.32.
Let
each of which
root of
such that
gS . r
q~
When
of
- g
gm(p-l)+s
excluded
q - i
in
v)
is divisible
is that
_ gS ~ r (mod
consecutive
v)
by
divides
integers,
establishes
Proof of Theorem
t m ~ (mod
with
by
and
q
integers.
in each of
but not by
qo
both in class
but not by
Then
CO
is
the number of
p - 1).
r.]
Fix
m = 0
(p - 1)(q - 1 - N)/N 2
p, q
5.52 with
into
(q - 1)(p - i - N)/N 2.
m r (mod
for then
consecutive
- i
there are
(p - 1)(q - 1 - N)/N 2.
Proof.
q - 1
0,1,...,d
is divisible b y
of congruence
is
contains
there
such solutions
solutions
one solution
overall,
becomes
is
vary over
appears.
as was to be proved.
So
S~umuetry
5.30.
Then
(5.49) constitute
(5.50) is an immediate
a difference
consequence
of
k=d+p.
Let
in
CO
be relatively prime to
corresponds
Thus if
belongs
(i,0)N.
Lemma
v.
with a solution of
~r + 1 -~ zy
to
- l)
C i (i = % . . . , N
solutions
solutions
(r#v) = l, y
to
Every solution of
and
belongs
to
(rood v),
here
to
CO
and if
By considering
-r
(p - 1)/N
solutions w i t h
cannot both be in
and
is
to
instead,
in
Q~
in
v-l-~
N2
~z =- 1 (rood v).
belongs
(5.52).
2(p-l)
(5.52) is
(i,o)~ +
(5.52) with
139
from which
(5.51) follows
Suppose
ff'
were odd.
v)
when
r, s
-s, -r
also belong to
So
ff'
(by 5.41).
r ~ -s ~ -r - 1 (mod
(i,i)N = (N - i,0)N,
odd.
C.
l
(v - 1)/2
(i,i)N;
it counts
belong to
-s + 1 ~ -r
C i.
(mod
v);
i.e., unless v = 2r + 1.
belongs to
C i.
Thus
Since, by (5.43),
ff'
is
it is to be shown that
modulo
v)
when
y, z
(5.49)
There
in
Let
and also
divide
r.
(p - 1)/N
(p - l)(q - I - N)/N 2
Let
divide
(q - l)(p - I - N)/N 2
solutions.
r.
When
solutions.
If
in
(p - I)/N
Q.
y, z
Let
CO .
Using
(v - i - N)/N 2.
y, z
y, z
both belong to
CO
both belong to
(iii)
solutions with
be relatively prime to
v.
(v - 1 - N)/N 2.
when
(v - 1 - N)/N 2.
belongs to
So the numbers
h = (v - 1 - N)/N 2
C..
1
By (5.50),
k = d + p = (v - I)/N.
v = pq
with
established.
As an example of this theorem consider the case
and
ff'
is necessarily even.
Equation
N = 2o
By (5.50)
q = p + 2
14o
set whenever
q : p + 2.
That is, a proof has been given for Theorem 5.27 above.
With
constitute
P = 3, q = 5, g = 2
a difference
(i,0)4
he shows,
for
are needed
ff'
Whiteman
N = 4
given
v,k,h = 15,7,3.
In particular
even, that
8(0,o) 4 : -a + ~
+ 3,
8(0,1)4 = -a - 4b + 2M - 1
8(o,2) 4 : 3a + ~
- l,
8(0,3)4 = -a + 4b + 224 - 1
(5.53)
8(1,o)4 = a + 2M + 1
the remaining
(i,J)4's
v:
and
a, b
+ 4b 2,
are determined
a-= 1
G, G'.
g
Here if
g'.
a '2 + 4b '2,
unequal.
(0,0)4
a 2 + 4b 2
and
(0,0)~
G'.
Theorem 5.31.
(Whiteman)
Let
1, q -
and let
roots of
G'
p, q
of
and
g, ~ gr
G;
g'
respectively
the
1964),
are always
g, g'
gives
d = (p - l)(q - 1)/4.
with
is
as in (5.54)o
and
primitive
Furthermore
computed for
set for
1) : 4
p, q
(%54)
with those of
In view of equation
rise to a difference
(p-
4) o
the numbers
belongs to
particular one
other,
from a representation
(mod
roots of
Here
(rood v)
Let
g, g'
for any
r.
be distinct common
Then one
(but not
141
O,q,2q, .... ( p -
l,g,,g,2,...,g,d-i
is a difference
only if
q = 3P + 2
The generalized
(Whiteman,
and
(5.55)
(5.56)
v = pq, k = (v - 1)/4,
h = (v - 5)/16
if and
is an odd square
cyclotomic numbers
l)q
N = 6,8
(i,J)N
(Bergquist,
N = 2,4
(ff'
even only) together with a detailed discussion of the material of this section in
Storer's booklet
concerned,
(1967 A)0
whenever
The ntmubers
q = p + 2
whenever
q = 3P + 2
(Whiteman,
sets are
N = 4
particular
For
N = 4
and
is an odd square.
For
v = pq
(Whiteman,
1962) these
root
(Bergquist,
1963 )
the
v = 6,575,588,101.
N = 6,8
for
set.
v = pq = 901 = 17.53
Storer
1962).
set modulo
as far as difference
there is:
Theorem 5.32.
N = 2
By way of summary,
v,k, }~ = 133,33,8
difference
set of Hall
Theorem 5.33.
The multiplier
Proof.
index class
(mod
v)
13g,..,g
and so
(j ~ 0
modulo
s ~ 0 (mod
N)
v).
given by (5.49)
and no others.
set
Suppose
belonging to
Then
td -= D + s
s.
Since
142
belongs
to
power of
(mod
so does
g.
q),
Thus
-s
and since
(by 5.41)
tg I - s m 0
belongs
for some
Thus
-1
i.
that
primitive
over
C O + s m Cj (mod
root modulo
CO .
Thus
and establishes
Theorem
difference
r,
Proof.
When
prime to
v,
of Theorem
with
p)
and
if
t
t
s.
s = q~,
every non-zero
+ qZ ~ 0 (mod
For
N = 2
given by
N = 2
it follows
N/2.
that
-s
Again since
as w e l l as
-1
is a
s ~ 0
belong to the
is, contradiction.
Then, with
(s,p) = i.
Since
occurs
as
residue modulo
for some
all divisors
i~
which
in
Cj, tD m D + s
contradicts
is a
g
ranges
C O + s ~ C.
J
'
l,g,~o.,g
are multipliers
d-i
for any
are precisely
520 above.
of
(5.49).
the elements
for which
Thus it is sufficient
the reciprocity
divides
v)
q)
the theorem.
5.54.
set
p~
So
(mod
to index class
is a multiplier
s ~ 0
of
those residues
[see Nageil,
n
has
1951] ,
v
= +i.
is
+i.
Using
VI.
MISCELLANY
In this chapter a few facts, some important, which was not convenient to
mention earlier, are gathered.
A.
@+l_
V
exist whenever
k:
q-i
@{- 1
'
qml
-------~
q
'
N > 2;
(6.1)
q-i
h = i
one equivalence class of difference sets with these parameters and he conjectured
that this was in fact the case.
Hall
q = 2,3,4,5,7,8,9,11,13,16,25 ,
Beyond this work of Hall apparently very little has been done on this
problem.
Strangely enough the largest known class of multiple inequivalent difference
sets also have parameters given by (6.1).
composite, thus
h > i.
$ > 0,
as follows:
121, 40, 13
and
is necessarily
for
for
v, k, k
given
N + i
For
Here, though,
for
for
v, k, h (k ~ i00)
difference sets have been determined (see section VI.B) not much beyond the work of
Hall (1956, limited to
k ~ 50)
i44
On the other
Thus, it could happen that two cyclic difference sets were inequivalent
(k ~ 100)
For example, the distribution of intersection size for all block triples
v,k,~ = 31,15,7
difference sets.
4.
and
15 of size
2,
195
31, 15, 7
of size
for one
difference
and
150
for equivalent block designs, it is clear that these designs are not equivalent.
The question of whether the multiple inequivalent difference sets of Gordon,
Mills and Welch necessarily lead to inequivalent block designs is open.
[While no examples of inequivalent cyclic difference sets generating the
same block design are known, there are examples of block designs which are generated
by more than one difference set.
these examples is non-cyclic.
+ n + i, n + i, i
n ~ i
B.
modulo
v,k, h =
n)
for
Searches
In 1956 Marshall Hall (1956) published the results of his search for difference
sets having
k < 50.
v,k,h(k ~ 50),
With but
12
145
v.
whether or not multiple inequivalent difference sets existed (see section VI.A.
above ).
Hall's twelve undecided cases were all resolved negatively.
In fact many of
the existence tests presented in section II.E. above were developed specifically
for the purpose of deciding Hall's twelve cases.
Baumert (1969) extended Hall's search to
exactly
74
parameter sets
sets existed.
These
difference sets;
74
k < i00o
85
known
85
As reported in more detail in section IV.A., Hall (1947) checked that, for
n _~ I00,
all planar
(i.eo,
h = i)
a prime power.
This
conjecture, which is still outstanding, was checked further by Evans and Mann
(1951) up to
n < 1600.
n _~ 3600.
v < i000.
v,k,h = 4t - i, 2t - i, t - i)
Thoene, Baumert) are that, except for possible additional multiple inequivalent
difference sets, the only unknown Hademard difference sets possible,
have
or
975
v < 100%
v = 4N 2, n = N 2 .
Turyn (1968)
surveys the results in this area, most' of which are due to him, and shows that,
except for
v = 4,
v < 12,100.
lh6
C.
Some Examples
The general tenor of these examples seems to be that, at least from an alge-
braic number theoretic point of view, difference sets are no better behaved than
they absolutely have to be.
Consider the quadratic residue difference set with parameters
25.
Here
modulo
n = 26,
103
is
are minimal.
the order of
17,
i.e.,
modulo
103
251 e l, 1317 ~ 1
Furthermore, no power of
13
is
modulo
51
K({103)
defined by
the automorphism
8
~i03 -+ ~i03'
T,
P's
13
~i03 -+ ~i03'
defined by
fixes both
or
and
modulo
13
in the
103.
(13) : PiP2P3PiP2P 3
as:
(2) : ~ ,
automorphism
13
is congruent to
v,k, ~ = 103,51,
and
2
Q's,
13
248 -= 13
2
4103,
~i03
and
Since
since
Q's.
But
whereas
T 3,
i.eo,
On the other
So, without loss of generality, the prime ideal decomposition of the ideal
(G(~I03))
is
(e(~lO3)) = QP~P33
PI ~ P2 ~ P3 ~ PI"
2,
(0(~I03))
13
is fixed by
modulo
v,k, h = 57,8,1.
57.
Using the
It
i~7
@[57](x) : x + X 6 + x 7 + x 9 + x !9 + x 38 + x 42 + x 49
e[19](x ) = 2 + x + x 4 + x 6 + x 7 + x 9 + x II
(@(~19))
C = (7, ~ 9
while
A, B, C
ideals over
divide
K({57).
(@(~i~)).
Let
and
al, a 2
B
2
+ 4~i 9 + 4~i 9 + 6)
bl, b 2
respectively.
Then
(e(~7)) ~ ala2hlb2ClC 2
where
2 + 2~57 + 6)
a I = (7, ~ 57 + ~57
~2 = (7, ~ 7
2
+ 6~57 + 5~57 + 6)
b I = (7, ~7 + 3 ~57
2 + 6~57 + 6)
2
~2 = (7, ~ 7
+ 2~57 + 2~57
c I = (7, ~ 7
+ ~57 + 6)
c 2 = (7, ~ 7
+ 4~57 + 6).
+ 6)
K({57)
148
(e(~19))
2
2
al, a2, ala 2
(e(~57))
is wrong.
are
73, 9, l;
n = 8.
[1,2,4,8,16,32,37,55,64)
whose parameters
(2) in
is
6
2
A = (2, ~ 3 + ~73 + ~ 3 + ~73 + I)
and
A~
divides
(e(~73)).
divides
(e(~))
is
D.
85
k ~ i00.
As pointed out earlier, there well may be others; for the question of the existence
of multiple inequivalent difference sets has not been solved for all of the
parameter sets
v,k, ~ (k ~ i00)
74
74
However, it
considered.
Each difference set is identified by
are the prime divisors of
n)
v, k, h, n, pl , P2' P3
(where the
Pi
These are:
SN
Hyperplanes in projective
BO
(Theorem 5.8)
149
TP
GMW
v.
31A, 15, 7
and
31B~ 15, 7
k.
A, B, C
150
{.0
I,.F~
CO
,,< II
__I O,J
U ~
II
OJ
U)
O_
(~
.J
~
~
,{"J
F,,/')
(~j
(~J
(I)
._~,
~
~
(,r)
IX)
(',~ 0..I
6r') ....-,~
.....,I
oO
L~
b.J
L~
I..L
0
.,~
..---~ ('~o
::>
~
~
f'-.
(Y)
..,,i"
-"4
.-~
~
03
r,"~
~D
~
0'~
0~I
(T:, 0-,, (~r) ,LC'J (k~ ('~ ~.~C)~ r ['~ ...~ r-- 0",. L~) ,wC~I"- 0
OJ ..i~ ('~, (Y~, f,') -,,-r .-,-,-,-,-,-,-,-,~r-.,. ~ } .--i <i- C.j t-. r . . [.D ~
I.,,. o'~ oD ~
r--
r--{Y)
~
~
fr)
~
~
~
,,,,,4
E"L(
~
(YI
~
~
r,,,L(~
o'~
~
~
["-.
~
OJ
0")
i09
651
101
553
~7
85
~3B
43A
38!
307
~73
35
315
1!
2
37
1
~3
515
6
5
88
&
5
521
7
75
*0
73
5
I
10
10
2
l
2
1
!
i
1
2
7
2
7
2
21
*0
68
23
"1
36
2a
"1
513
25
*l
87
26
*&
483
28
14
*0
15
"1
15
"1
17
*0
17
"1
18
*0
20
*0
2I
"1
42
21
183
31A
8
17
gO
!9
28
II
~
4
17
3
19
i9
11
3
78
12
3
42
~3
5~
529
19
16
92
25
25
535
21
16
2
80
23
90
548
19
19
95
5
42
561
3
2
~
2
4
11
9
3
~
2
9
3
16
11
13
10
2
4
2
5
PI
9
3
13
3
8
3
8
4
81
71
625
7
2~
97
108
3
6
10
96
37
16
26
P2
89
107
633
25
120
11
118
50
3~
39
I5
97
125
31
152
1~
13
11
15!
55
64
11
12
43
I4
16
105
201
36
163
16
14
12
153
76
91
12
10
15
6!
15
21
210
37
173
12
17
15
16
176
98
117
13
1~
16
tO9
18
22
~17
52
17~
1~,
23
t6
19
20~
117
128
1~
16
17
121
~0
~5
354
56
186
16
27
17
20
240
1~9
137
16
18
23
130
25
133
26
BO
$2
355
B
56
$~
~23
1,7
27
357
58
232
18
3~
S3
28
L
23
290
157
195
21
20
27
14t
35
21
-~1
S~
~56
17
S2
~82
S2
TP
S~7
$
136
S~,~
2~
L
19
CLASS
35
387
68
272
2~
34
24
27
296
189
205
27
25
29
155
38
399
71
359
2~
~3
25
32
300
199
23~
28
28
30
~5
412
78
~07
25
~6
31
33
307
222
239
29
~8
434
79
41~
27
5~
35
35
337
293
256
33
~9
462
80
431
2~
5~
36
37
361
299
63
468
81
~38
32
56
38
39
366
66
473
8~
5! 2
34
66
~,0
~1
369
79
1107
71
1057
38
-I
~0
608
t~
15
3
4
~I
45
1
29
~4
29
689
696
15
16
~
2
35
36
15
16
1
2
3~
36
6
25
I
5
119
122
1
~1
1
~3
618
711
16
17
4
6
39
~0
8
25
4
5
93
95
%
32
2
~
556
598
17
18
2
3
36
37
I
37
I
37
65~ 655
19
20
36
91
33
-I
5~9
35
"1
3~
38
*0
644
39
33
63~
31
*O
33
156
31
*0
118
993
3~
*0
606
67
33
-1
37
133
33
"1
519
59
29
-1
36
~71
30
"1
683
63A 31
*0
757
4~
3
5
#6
29
69
716
~
3
38
~
3
40
5
tl
123
31
31
713
17
9
47
5
1~
98
~
8
678
2
~
38
37
63
711
2
P1
6
~5
5
45
25
127
66
76I
1~
54
19
I0!
~
~I
~
~3
13
125
60
75~
10
49
16
100
44
~05
731
5
45
37~
844
6
43
3~
703
167
819
151
731
16
698
3
5
~0
9
49
660
27
653
5
7
~8
P2
10
%6
289
854
8
~5
55
755
20
105
15
55
77
841
~8
13~
6
46
7
~8
~16
8~0
12
5~
81
11
%9
302
924
9
~8
64
793
~1
106
16
56
8~
867
39
140
8
~8
~
49
934
8~
15
53
t~
50
128
906
38
123
~9
60
~95
91~
55
1~3
10
54
1~
54
~63
841
17
220
15
54
139
9~5
54
125
~1
6~
~53
961
58
1~7
1~
58
13
56
295
t9
13
50
16
51
18
5~
10
~9
110
880
~5
11~
17
59
87
89~
~&
16?
9
53
9
5~
259
831
16
57
173
74
18
t8
~14
22
76
~0
19
~88
25
86
2~
543
26
87
~4
~6
58~
27
91
~7
~7
599
28
S~
~57
~91
331
~01
~16
468
~73
980
L
~
23
~
~5
26
29
33
&~
65
.
56
57
64
66
70
76
80
126 131
S2
~0
856
~78
299
339
3~9 4~0
991 I0~4
L
16
18
19
~0
2~
~5
~7
57
58
60
6~
$3
3&2 111 ~20 ~36 465 %69 486
1153 1187 1330 1348 1316 1335 1369
L
19
30
21
23
33
35
36
55
62
6%
65
67
73
73
6~
33
65
16
55
1~
17
329
$2
3~1
8MW
16
21
20
CLASS
31
76
550
~9
~53
83
35
515
111
~9
~8
645
29
32
6~I
30
512
8~
36
590
117
32
3~
&5~
35
ix.)
103
~451
197
~257
1893
1723
83
121D
1~1C
121B
V
21A
81
~2
"I
761
1681
44
*0
744
1779
48
.1
1076
1897
49
.I
76
~72
50
*0
1105
~139
51
"1
33
76
772
1707
I
1
755
1840
i
47
1112
1901
12
16
81
!75
I
1
1123
2171
25
2
34
79
43
5
777
1849
47
102
1136
19~2
37
23
85
178
49
7
1!77
2208
26
4
36
81
773
27
4
51
27
4
7~
27
4
67
21
~
38
13
3
4~
13
3
71
13
3
63
~0
3
37
36
71
70
68
40
"1
46
40
"1
70
40
"1
58
41
"I
43
43
780
1886
47
136
120#
2057
37
24
88
!82
7
49
1t90
2269
2
7
38
82
41
99
775
5
64
3
7
75
3
5
68
3
7
40
75
3
i>/
164
85~
187
897
10
#4
9
79
9
81
I~
69
81
t6
51
15
8~
2~
89
15
81
85
17
59
17
~3
25
92
16
~2
21
61
21
96
26
94
17
85
27
I00
L
23
63
27
95
22
86
S~3
99
CLASS
25
6~
32
103
34
97
23
88
3~
102
~6
65
36
106
36
102
27
92
36
103
~7
68
38
107
40
I0~
32
96
39
104
28
69
108
43
108
34
102
44
108
29
70
~5
114
49
112
36
108
55
109
30
75
46
115
63
113
39
109
63
115
31
77
51
116
64
118
~2
110
64
117
33
78
53
119
68
120
45
117
67
119
$2
271 313 345 361 421 508 594 613 618 638 672 679 710
996 1011 1017 1063 1067 I194 1207 1216 1243 1271 1542 1579 1612
12
~9
14
81
21
83
14
77
83
27
92
$2
215 284 308 356 375 ~39 457 459 537 627 642 655 715 721
981 I104 1230 1262 1338 1359 1373 1468 1507 1592 1647 1663 1673 1704
232
988
11
48
12
80
1~
82
13
71
82
25
89
S~
149 163 232 2~3 263 ~80 353 572 622 792 8#8 890 918 994 999 1037
1289 132~ 1342 1375 1429 I#81 I~87 1578 1702 1710 17#2 1813 1875 1876 1878 1885
2135 2150 2179 2209
B
28
29
34
36
37
40
~2
~9
51
53
5~
59
60
61
63
70
90 I00 101 104 105 I I ~
132 133 135 142 150 154 156 158 16~ 171
187 188 190 191 193
S~
170 223 267 343 34~ 382 491 508 68~ 750 828 886 89~ 977 986 989
~300 1304 1356 156! !634 1716 1745 17~7 177~ 1849 1869 1892 1937 2000 20~1 ~101
2346 ~365 2401 ~411 2425 2~36
13
L
~
9
13
14
15
16
17
18
19
23
25
26
28
~9
30
32
41
46
~9
50
52
55
56
58
59
60
61
63
64
66
68
72
83
9~
92
93
97
98 I00
147
807
152
879
7
76
7
9
41
8
78
9
66
80
P2
39
83
1
21
999
2060
8
7
I#8
330
1
59
96~
2396
1
1
1205
2319
3759
31
2
36
74
122
31
2
38
80
125
31
34
79
122
31
2
32
73
122
*~
37
8[
2863
54
"1
966
1845
400
57
"I
141
325
60
3541
-1
938
~347
3783
62
*O
1107
P307
37##
127A 63
"1
35
73
121
~27B 63
.1
33
77
123
&7C 63
"1
32
78
121
[27D 63
1
31
7
121
V
107
PI
36
83
124
32
3
34
76
124
3
#
37
76
124
32
3
40
87
126
32
13
A8
92
14
#9
99
16
5~
I00
!9
53
I01
52
i75
358
54
187
363
62
200
36~
66
211
365
68
225
367
75
236
373
47
89
6
36
79
39
87
2
4
35
77
5
47
92
7
38
81
48
94
6
48
94
I1
42
82
8
47
87
51
96
7
50
95
13
44
84
9
#8
89
54
97
8
51
96
15
#7
87
12
50
94
56
99
12
10
54
97
16
49
88
13
51
96
58
tO2
1#
12
56
100
[7
50
94
14
52
97
60
103
~5
14
57
101
18
52
98
2
4
#6
89
12
47
90
49
I70
3#3
9
41
81
11
44
89
19
60
99
16
5#
100
$6
16
61
~05
16
61
102
17
56
102
17
62
107
19
63
!07
21
61
100
L~3
~5
56
57
~02 105
82
451 ~73
~410 1411
27!8 2729
S3
76 103
238 2~6
375 378
~2
37# 376
1713 1745
3198 3236
S2
613 641
1702 1820
3243 3346
CLASS
I0
~2
87
P2
2
8
38
79
~
40
4t
85
86
53
53
53
72
1103 1107
2076 210 ~
49
7
25
3~
155 !69
339 342
59
59
63
79
1009 1120
2407 2471
61
61
61 220
1216 1271
2366 2418
2Z
~9
62
30
b#
33
69
3#
75
~5
76
36
7~
109
275
390
122
277
394
395
12#
281
125
P85
129
310
I~2
321
18
6!
103
18
64
108
20
64
108
22
62
103
19
62
104
2#
65
&12
23
65
11~
25
6#
&04
24
6#
107
27
67
113
24
66
112
26
68
107
25
65
108
28
68
115
25
67
11#
30
69
113
26
67
11~
9
71
116
27
73
117
31
70
115
27
68
115
30
72
1~7
28
75
!19
32
71
117
28
70
117
77
120
31
3~
76
122
34
72
120
106
2#7
383
27
6t
4~
-t
K
63
30
71
116
127F
63
"1
33
7#
I23
131
65
1
38
74
117
65
-1
850
2280
3901
68
4557
*0
998
2802
3995
69
139
"1
3~
77
121
143
71
*0
27
69
109
5113
72
.1
1901
3121
#292
V
127E
X
3~
~
32
72
118
31
2
37
76
125
32
3
39
75
121
1
2
1024
2293
4011
1
t
1150
2857
4021
3~
#
41
78
122
35
1
28
72
112
1
71
1906
3325
43~2
2
32
73
113
71
222
2003
3369
4375
#2
79
12&
36
33
73
120
32
3
38
77
126
33
#
#1
77
I~3
6#
4
1117
2656
4031
67
25
1318
2888
41p4
35
5
~
3~
80
125
2
3
36
75
114
71
260
200#
3421
4382
##
9
45
84
6
4!
82
38
78
ll
46
89
8
~2
83
39
80
1~
#8
91
10
44
8#
gO
~3
10
13
#9
9~
11
#8
88
48
89
12
15
52
99
12
~9
89
50
91
16
53
100
16
50
95
19
51
96
20
55
101
CLASS
*
15
16
51
54
93
96
21
58
102
20
5#
98
17
55
99
$2
!6
32
64 I28
256 ?85 307 357 399
1228 ~387 t428 1502 1551 !596 1605 1700 176t
277# 2856 2883 2961 300~ 3102 3121 3192 3210
~096
$2
192 213 256 305 328 350 363 #81 491
i516 1519 1536 1675 1723 1760 2045 2102 2107
2977 ~984 3036 3068 3174 3~85 3359 348~ 350~
#&59 4470 4489 ~549
7
L
24
25
28
7
9
11
13
16
20
B#
55
57
#5
#6
#7
49
5t
5~
99 100 106
81
83
86
89
91
96
127
i29
131
136
137
TP
3
!#
16
12
t3
~
6
7
8
9
50
52
48
49
38
39
#l
#~
~6
9t
92
8#
85
76
78
81
82
83
117 123
126 128 130 133 138
S2
419 #23 #99 510 819 8~9 877 897 911
~006 2033 2143 ~331 P346 2388 ~ 3 5 2580 2616
3581 3598 3635 371~ 38~5 3876 3989 ~00! 4061
4468 4597 4719 4751 4921 ~930 #976 5041
I1
7
#~
81
J2~
5
~0
80
~
~
39
78
3
5
#3
80
1~5
2
8
1140
2639
#086
67
67
1359
290#
4138
5
6
36
77
P2
36
76
PI
19
~7
60
107
22
63
102
59
102
20
28
61
108
2~
64
105
60
105
33
62
109
25
65
108
24
66
108
3#
63
112
27
66
111
25
65
109
35
6#
113
29
69
116
27
66
I10
36
65
114
32
73
119
29
68
113
19
54
98
t8
53
96
21
56
100
31
65
113
23
57
I03
3~
66
116
24
63
104
35
67
117
25
64
106
~6
69
118
26
65
108
37
71
120
30
66
112
29
63
107
25
59
105
21
58
100
!8
58
100
*0
64
PI
2
~
80
86 103 110
257 260 267 272
#3 ##0 #43 455
5~03
7~
1
73
73
*0
1
23
73
114~ 1228 1262 1291
281i 2820 3041 3164
#636 4653 #683 4749
~51
75
37
38
2
*~.
2
#
5
36
37
38
39
7~
76
78
gO
116 118 121
123
6321
80
I
79
79
.0
1
14
17
~#79 1537 1728 1779
32#6 3375 3397 3#60
50#7 5101 5191 5201
163
81
#0
41
#1
*1
#
6
9
~1
#3
#6
#7
77
8l
83
8#
1~1 126 131
~32
161
66~3
82
1
81
3
*0
1
3
9
86~ 90# 932 1003
2~82 2525 2592 2712
#113 #190 ~ 2 9 ~ 7 9
6397 6561
167
83
~
~2
2
*1
2
3
~
29
31
32
33
61
66
72
75
10~ 112 11~ 115
15~ 157 162
73
585
128
295
*83
23
130
301
#92
10
136
312
503
16
17
156
31~
512
157
320
514
20
160
325
520
32
$2
35
6~
111
152
3#
62
10~
151
36
65
113
155
1182
2881
4916
5982
38
69
115
156
1324
3007
*9#3
6071
39
71
118
158
1343
3014
4961
6075
1~15
#0
7~
119
160
5027
62#1
3063
3
6
36
76
116
7
7
38
77
121
8
#2
81
122
9
##
8#
124
11
~7
85
126
12
#~
87
~27
1#
#9
88
128
I6
50
89
130
1~
54
93
132
19
56
9#
133
21
57
96
~37
22
58
97
I41
2#
61
98
I##
I47
99
25
62
~7
63
100
150
28
6#
~07
152
S2
27
32
81
96 151 199 2~3 288 ~53 #57 509 58# 597 6 i ~
729 803
113~ 1359 1371 ~493 1527 17#5 1752 1791 18#2 1856 20@# 2187 2225 238* 2#09 2~19
2796 2833 2956 3009 3056 3233 3292 3399 3418 3#78 355* 3611 3791 3802 ~019 4077
~ 9 5 ~581 #730 #163 5110 5235 5256 5373 5#1~ 5526 5568 5588 5696 5905 5927 6132
11#3
2785
488~
5959
1106
2783
48~*
5951
$3
3#
39
40
.3
55
6#
65
68
78
1 , 7 2 177 195 206 213 220 239 2~6 256
3#* 354 371 381 390 399 412 .21
#20
53* 544
$2
734 86# 885 900 967 971 979 985 110~
1801 1892 2037 2392 2*27 2703 2723 2752 2759
3701 378~ 3866 389* 3995 #0~6 *08~ ~104 ~275
5~76 5292 5329
L
19
20
21
22
25
29
31
32
3*
50
55
58
59
62
6*
68
69
72
9#
95
97
98
99 100 103 105 110
139 144 145 148
CLASS
43
79 255 #90 578 717 78~ ~22 993 1037
1803 1836 1906 1989 2375 238# 25~0 2595 2712 2733
359# 3676 3771 4214 4229 #275 #316 #328 4709 #756
5226 5231 5393 5399 5#27 553# 55#5 5655 5802 5850
L
10
l~
15
16
21
22
2#
25
26
33
#9
51
53
5~
55
56
57
58
60
61
85
87
88
90
91
93
95
96
97
100
133 134 135 ~36 140 1~3 1~# 145 146 150
123
293
#78
P2
o~
191
S~O
8011
179
34t
84
1544
3037
~496
6140
85
"I
55
I?I
~16
300
89
*1
%~
7%
!16
156
90
.I
t38~
3148
4535
658~
91
~I
97
~8~
499
70?
95
*1
~7
67
10~
I49
6973
1569
3058
4624
618~
Zl
2
59
128
218
312
#~
3
43
75
117
!58
I
50
1407
9160
456~
691~
10
3
105
~85
511
706
47
2
30
68
107
150
1635
3218
4713
6514
64
4
64
13!
220
319
45
4
~5
76
~?I
161
~9
82
1506
3165
4691
7017
81
9
I~3
287
533
708
#8
3
3?
69
108
153
N
8~
1823
3280
~765
6889
~
5
71
I42
22~
320
3
5
46
77
i~
168
89
89
1546
35~
#706
7221
3
17
I~5
291
53%
713
~
~
3%
7?
109
154
P1
CLASS
~2
147
305
547
717
3
5
36
75
115
156
341
1577
35~6
%8?8
7?98
8
"75
143
225
330
5
9
47
80
125
169
6
39
77
117
158
~6
~53
315
554
7?9
347
1789
37~
5058
7#06
17
48
81
126
171
10
78
150
226
8
#0
78
1t8
160
?7
159
35?
557
736
344
1914
3785
5076
7798
13
~9
82
129
17~
13
80
156
227
9
43
79
1~0
16~
~I
178
353
568
768
403
~I15
3796
5109
7878
~%
5~
83
135
173
16
91
160
~31
10
45
80
171
163
35
19~
369
576
779
#11
223?
38~3
5646
797~
15
52
85
~38
177
20
9~
165
236
t7
57
88
141
25
99
173
?53
19
59
89
142
S%
26
~00
177
~56
20
60
93
I#~
~7
103
182
?57
?2
61
95
145
32
I0~
183
259
~5
64
100
I#6
39
108
184
~6~
~7
65
101
147
40
I09
190
283
S~
631 647 855 927 931 1024 I0~3
2?62 ~373 ~393 ~598 7718 ~7~7 ?7%9
3917 3959 397? 398? 3996 4030 4140
5720 5806 5812 5858 5915 6085 6~86
7965
$3
41
51
53
6#
66
78
81
~9~ 198 ~02 205 23# ?36 ?39
375 391 410 ~26 %51 458 459
~78 579 594 606 6~ 1 614 615
782 79~
L
1~
13
15
16
17
~8
20
46
%8
49
50
51
5?
54
81
85
86
90
9~
96
97
175
128 1~9 130 133 134
135
I&9 170 172 177 180 18~
16
56
87
139
23
95
171
~42
23
59
98
136
88
243
466
63?
1084
~833
#~85
6316
29
66
106
149
46
110
!98
284
277
591 598
699
900 Io 3 Io 6
1906 1945 204# 2061 ~072 ~I?0 ~190 2233 ?300 ~508 2523 2629 263R
3400 34?9 3504 3599 3677 3687 3691 3711 3741 39?7 3972 4041 4077
279~ 4830 ~836 #876 4917 ~939 4970 5007 5183 5352 5~91 5503 5552
P2
36
68
I08
153
52
113
206
~97
2%
60
100
138
93
256
%77
664
25
64
I02
144
94
~64
478
677
26
65
103
147
95
?79
484
697
1354
3065
%450
6510
39
70
110
~55
54
118
208
299
11 9
2791 2893
4231 4311
5851 59#7
1264 1300
2911 3015
%331%387
6384 6405
3~
67
107
151
50
I1i
200
286
11o3
2786
4174
5687
kn
~ 7
P1
199
P2
10
46
90
121
160
198
25!
291
13
92
169
22~
296
395
~8~
571
636
729
835
9
~3
88
1~0
157
196
~50
290
12
89
168
~23
295
39~
~77
570
63~
7~
8~8
898
I~
93
173
225
300
397
~92
57~
639
735
837
12
47
9!
122
161
206
253
~95
16
106
17~
226
307
~OO
~9~
577
6~1
737
840
1~
48
9~
1~3
16~
209
25~
799
22
108
182
729
308
~01
502
579
656
7~2
8~3
16
~9
95
t2~
165
~11
~56
300
~5
!09
183
731
313
&O~
503
581
658
7~6
8~5
19
55
97
126
167
~3
760
302
~I
I~0
192
232
318
~05
516
583
661
752
8~8
22
56
100
129
168
220
~61
303
W
43
!I~
~9~
233
319
~07
523
585
66~
760
8~9
~5
117
196
235
325
4i9
526
587
665
766
85~
~7
53
12~ !~5
198 20~
244 ~5~
326 3@5
@22 ~23
529 530
596 599
688 689
767 77~
853 859
59
126
203
256
350
~2~
531
602
691
778
862
60
133
205
259
352
~33
533
611
69~
780
863
1071
~8~3
s~6~
72~
9011 9098 9126 92~@ 937@ 9@09
L
18
20
23
25
26
28
52
5~
56
57
58
61
92
9~
98 100 102 103
~28 130 131 ~32 139 1@0
178 180 182 18~ 187 188
TP
25
26
77
~9
30
31
57
64
65
66
71
75
lOi
I0~ 105 106 107 108
133 13~ 137 138 1~0 1~l
169 171 172 173 ~78 181
72~ 225 227 ~ 8
229 231
~6~ 263 26~ 265 266 269
30~ 305 308 310 31~ 315
CLASS
~2
.1
~
137 360 568 ~11 6~7 67o 69~ ? ~
833 8~9 963 1070
~26~ 1378 I~0~ 1503 198~ 1989 206~ ~163 ~2~s ~301 ~308 ~670 27~8 2793 2~02 2826
3169 3186 3211 3527 3782 39~9 ~128 4257 ~536 ~59, ,~2s ~7~s ~ 1 8 52o9 s~ls 5~5~
~s~o ~ 9 0 ~ 8 ~ ~03~ 61~3 61a~ 62~6 6 3 ~ 639~ 6 ~ 6 6~66 6~96 ~ 7 ~ 6687 69~I 7221
V
9507
65
139
208
26~
355
~#5
536
617
695
786
865
35
76
109
1~3
18~
23~
270
316
29
62
I0~
1@4
193
1073
2~96
5~
~66~
9@40
69
i~
209
265
363
~7
5@0
618
706
795
870
96
77
111
144
188
237
271
3!7
31
63
106
1~5
196
1107
3000
~58,
~60~
70
~47
212
274
369
~60
543
6~0
708
801
87~
37
78
113
1~6
190
239
273
3~8
32
6@
~11
151
11~
~008
~8
7~
oo
REFERENCES
an excellent 49 page bibliography covering this subject, the listing here may be,
and is, restricted to items explicitly mentioned in this report.
Albert, A. A~
1953
Barker, R. H.
1953
Baumert, L. Do
1969
Belevitch, V.
1968
Bergquist, J. W.
1963
160
Brauer, A.
!953
Brualdi, R.Ao
1965
Bruck, R. Ho
1955
"Difference Sets in a Finite Group", Trans. Amer. Math Soc. 78, 464-481.
Chowla, S.
1944
1945
"Combinatorial Problems",
Dembowski, P.
1968
Finite Geometries,
Springer-Verlag,
New York.
Dickson, Lo E.
1935A
Amer. J. Math.
363-380.
1935C
161
Gillies, D. B.
1964
"Three New Mersenne Primes and a Statistical Theory", Math. Comp. 18,
93-95.
Goldhaber, J. K.
1960
Goldstein, R. M.
1964
Golomb, S. W. et al.
1964
Gruner, W.
1939
Hall, M. Jr.
1947
1956
1965
8, 3t-43.
1967
1954
Hayashi, H. S.
1965
162
H~Ighes, D. R.
1957
Johnsen, E. C.
1964
1965
1966A
1966B
Jones, B. W.
1950
The Arithmetic Theory of Quadratic Forms, Carus Math. Mono. i0, Wiley,
New York.
Kesav8 Menon, P.
1962
Lebesgue, A. U.
1850
"Sur L'!mpossibilite,
xm = y
I.
+ 1 ,
1953
i955A
1955B
5, 103-118.
Magnus, W.
1937
Mann, H. B.
1952
1955
163
Mann, H. B.
1964
1965
1967
New York.
Muskat, J. B.
1966
Nagell, T.
1951
Neumann, H.
1955
Newman, M.
1963
0'Meara, 0. T.
1963
Ostrom, T. G.
1953
Paley, R. E. A. Co
1933
Rankin, R. A.
1964
Reuschle,
1875
Sind, Berlin.
Roth, R.
1964
164
Ryser, H. J.
1950
1952
Amer.
Combinatorial Mathematics,
Schutzenberger,
1949
M. P.
Shrikhande,
1950
S. S.
"The Impossibility of Certain Symmetrical Balanced Incomplete Block
Designs", Ann. Math. Statist. 21, 106-111.
Singer, J.
1938
2 n+2 - 7 = x 2
Storer~ To
1967A
Chicago
1967B
Turyn, R.
1960
1961
165
Turyn, Ro
1964
"The Multiplier Theorem for Difference Sets", Canad. J. Math. 16, 386-
388.
1965
1968
Wallis, J.
1969 A
1969B
222-223.
1970
"Combinatorial Matrices",
Dissertation,
La Trobe University.
Watson, G. L.
1960
Whiteman, A. L.
1957
"The Cyclotomic Numbers of Order Sixteen", Trans. Amer. Math. Soc. 86,
401-413.
1960A
1960B
"The Cyclotomic Numbers of Order Ten", Proc. Sym. in Appl. Math. i0,
Amer. Math. Soc., 95-111.
1962
1970
Yamamoto, K.
1963
1967
181.
1969
166
Yates~ D. L.
1967