In today’s lecture, we showed that an expander code based on an expander results in a binary linear code of rate at least and has relative distance at least . The crux of the argument was to show that any vector of small enough weight, which corresponds to a subset of the left vertices has at least one unique neighbor (i.e. a right vertex that has exactly one edge between itself and a vertex in ). We also mentioned (without proof) that the argument can be strengthened to prove a relative distance of . (For a proof by picture jump to after the fold.)

We also quickly saw a natural decoding algorithm, where a left vertex flips its value if a strict majority of the parities it is involved in unsatisfied with the current bit values on the left vertices. We saw how we can again use the unique neighbor argument (for ) to argue that as long as the number of errors are at most , there is always a “flip-able” vertex. This almost completes the proof that the algorithm works, except that we need to prove that we are not “converging” to a wrong codeword. The latter fact is true but we did not have time to prove. We also did not have the time to prove that the algorithm can be implemented in *linear time*.

Steve raised an interesting point that the algorithm we considered in class outputs the transmitted codeword and not the actual message. I think doing it for general expander codes is hard/unknown. (I have not thought about this for long so I could be wrong: let me know if you see a way otherwise!) However, I’m reasonably sure that in Spielmans’ linear time encodable and decodable codes based on expanders, the linear time decoding can be made to output the actual message. (Again, let me know if I’m wrong!) is systematic and hence the corresponding decoding algorithm does also output the message bits.

All the omitted details from today’s lecture can be found in Lecture 13 of Guruswami‘s coding theory course.

We now present a “proof by picture” for the assertion that in any expander, for any subset such that has the property that , which in turn proves that the corresponding expander code has relative distance at least as was claimed before the fold.

For the proof, note that if , then the proof we did in the class works. So for the rest of the proof assume that . Now consider the situation below:

In the figure above is of size exactly . The same colored subsets on the right are the corresponding neighborhood sets, i.e. the blue oval is and the pink oval is . Now consider the unique neighborhood of , i.e. in the picture:

Till now, we have not done anything new. However note that

.

Next consider the neighborhood of the set , which is colored green:

Note that in the figure above, does not cover all of . So is this because I cannot draw properly or is something else going on? It turns out that this is **always** going to be the case. To see this, first note that

.

This implies that

.

Thus, , which implies that there is always a vertex like the yellow vertex below (that belongs to ):

Note that the yellow vertex has no neighbor in . In other words, the yellow vertex belongs to , which proves that , as desired.

## Leave a Reply