In coding theory, the Wozencraft ensemble is a set of linear codes in which most of codes satisfy the Gilbert-Varshamov bound. It is named after John Wozencraft, who proved its existence. The ensemble is described by Massey (1963), who attributes it to Wozencraft. Justesen (1972) used the Wozencraft ensemble as the inner codes in his construction of strongly explicit asymptotically good code.
Here relative distance is the ratio of minimum distance to block length. And is the q-ary entropy function defined as follows:
In fact, to show the existence of this set of linear codes, we will specify this ensemble explicitly as follows: for , define the inner code
Here we can notice that and . We can do the multiplication since is isomorphic to .