#### Proof

It is well known (s.f.r. [15, p. 122]) for binomial distributions that, for 0 < b < ap:

 api(1 - p)a-i < apb(1 - p)a-b (9)

Setting p = 1/2 in equation (2.12) gives us the following relation:

 a > - 2a

Since we have assumed that a > 3b, we have that - 2 > 1 and the lemma is proved.

width4pt depth2pt height6pt

We proceed to the proof of Theorem 2.7.

Proof of Theorem 2.7 Following convention, we let denote the number of errors that the codes of a G-family can correct. It is well-known that each vector in 2nm-1 of weight  t must be a unique coset leader for G m-1. Moreover, using our assumption about n0 (which also holds for nm, since nm n0), Lemma 2.8 implies that

 nm-1  >  nm-1 (9)

The left-hand side of (2.13) is the number of vectors of weight t, while the right-hand side is the number of vectors of weight < t. Thus, by the pigeon-hole principle, there must be at least one coset leader of weight t whose companion (l ) has weight at least t. Since d - for any G-code, we may choose to get:

 minwt(a | l), wt | (l )

width4pt depth2pt height6pt

The result in Theorem 2.7 also applies to all G-families trivially seeded with the code d.

Lemma 2..9   For any trivially seeded G-family of codes,

If a G-family is trivially seeded, then, necessarily, n0 = d and .Thus,

so that Theorem 2.7 applies to the remaining codes in the family.

We now turn our attention to generating mappings which produce codes whose information rate is locally maximized. More specifically, for any code with covering radius , we will consider only generating mappings f with the property that the Hamming distance from to is exactly . We will call such mappings minimal generating mappings, and the corresponding family of codes minimal G-codes, because they locally minimize length (and hence locally maximize information rate) for a given dimension and minimum-distance.

As an example, the generating mappings for the traditional lexicodes and the trellis-oriented lexicodes are both minimal. We may now easily strengthen Lemma 2.6 by observing in its proof that = d - for minimal G-codes.

Corollary 2..10   For any minimal G-family of codes,

The covering radius bounds we have developed for G-codes translates naturally to length bounds as well.

http://people.bu.edu/trachten