Corollary 9.3.3 gives an easy recursive method for calculating the Krawtchouk coefcients, with Corollary 9.3.2(1) and (3) providing
initialization.
The proposition allows us to reformulate MacWilliams
!
Km(i;n,s)ai 0. i=0
In view of Theorem 9.3.4, Delsartes Theorem can be thought of as a nonlinear version of
MacWilliams Theorem. Our proof here of Delsartes Theorem follows Simonis and DeVroedt
(1991
and (W |v) = 0, as required. P (9.4.5) Corollary. Suppose that, for some set of constants u,
!
u (u|v) = 0 , uV
forall 0=vV. Thenu =isconstant,foralluV.
Proof. By Lemma 9.4.4(1), a constant choice u =
9.4. LLOYDS THEOREM AND PERFECT CODES 139
An F-linear code of length n will be, as before, any nonempty subset C of Fn that is closed under addition and scalar multiplication. The
code C dual to C is
9.4. LLOYDS THEOREM AND PERFECT CODES 141 (9.4.4)Lemma. LetvV.
(1) Always
(V|v) = |V|ifv=0 = 0 otherwise.
(2) If W is an F-linear code in V, then
(W|v) = |W| if vW
= 0 otherwise.
Proof. If 0= v V , th
9.3. DELSARTES THEOREM AND BOUNDS 135 Proof. The rst Delsarte inequality yields
n
J
for each m-subset J.
(9.3.9) Lemma.
[m]
c
=
!
cj , J
jJ
!
(n 2i)ai
0
!
= n+ (n2i)ai
i=d
n
!
n+(n2d) ai
i=d
= n+(n2d
(9.2.1) Proposition. Let PD be the probability of detecting an error, PE the probability of false decoding, and PR the probability of getting a
decoding result.
(1) PR = qn + PE.
(2) PR + PD = 1.
!
(3
Chapter 9
Weight and Distance Enumeration
The weight and distance enumerators record the weight and distance informa- tion for the code. In turn
they can be analyzed to reveal properties of the code.
As our proof of the Plotkin bound in Corollary 9.3.8 suggests, these methods can be used to nd general bounds; but new bounds of this
type are very difcult to prove. On the other hand, the linear prog