A New Upper Bound on the Block Error Probability After Decoding Over the Erasure Channel

Motivated by cryptographic applications, we derive a new upper bound on the block error probability after decoding over the erasure channel. The bound works for all linear codes and is in terms of the generalized Hamming weights. It turns out to be quite useful for Reed–Muller codes for which all the generalized Hamming weights are known whereas the full weight distribution is only partially known. For these codes, the error probability is related to the cryptographic notion of algebraic immunity. We use our bound to show that the algebraic immunity of a random balanced
$m$
-variable Boolean function is of order
$ mover 2(1-o(1))$
with probability tending to
$1$
as
$m$
goes to infinity.