show/hide this revision's text 4 added 22 characters in body

Let $F$ be the field with two elements, $V_m=F^{2^m}$.Let $R(r, m)\subset V_m$ be the binary Reed-Muller Code. Define $R_m:=R(1, m)$. Then the dimension of $R_m$ is $1+m$ and its minimal distance is $d(R_m)=2^{m-1}$. (Cf. for example the book of Luetkebohmert). Hence the information rate is $I(R_m)=\frac{1+m}{2^m}$ while the relative minimal distance of $R_m$ is $rd(R_m)=\frac{1}{2}$.

Now $R_5$ has the same relative minimal distance as $R_4$ (and thus should have approximately the same error correction abilities), while the information rate of $R_4$ is much better ($I(R_4)\approx 0.31$ while $I(R_5)\approx 0.19$).

I furthermore read in Luetkebohmert (and elsewhere) that $R_5$ was used in practice, e.g. during a Mariner space shuttle mission.

Question: Given the values above, why would anybody use $R_5$ and not $R_4$?

(I hope this question is not too easy for MO, but I do not see the answer at the moment.)

Edit: It seems that the code $R_5$ might have been used for Mariner, because then one has really one code word per pixel of the image. (Compare the comments)

Still let me note that the $R_m$ all have the same relative minimal distance, that there exists an efficient (poly time?) algorithm to decode them, and that $I(R_m)$ tends rapidly to zero when $n\to\infty$. And I find this a bit strange: For an "interesting" or even "celebrated" family of codes $(C_m)_m$, which all have the same relative minimal distance, I would naively have expected something like $(I(C_m))_m$ should be a decreasing (but bounded or even converging) sequence.

show/hide this revision's text 3 added 77 characters in body

Let $F$ be the field with two elements, $V_m=F^{2^m}$.Let $R(r, m)\subset V_m$ be the binary Reed-Muller Code. Define $R_m:=R(1, m)$. Then the dimension of $R_m$ is $1+m$ and its minimal distance is $d(R_m)=2^{m-1}$. (Cf. for example the book of Luetkebohmert). Hence the information rate is $I(R_m)=\frac{1+m}{2^m}$ while the relative minimal distance of $R_m$ is $rd(R_m)=\frac{1}{2}$.

Now $R_5$ has the same relative minimal distance as $R_4$ (and thus should have approximately the same error correction abilities), while the information rate of $R_4$ is much better ($I(R_4)\approx 0.31$ while $I(R_5)\approx 0.19$).

I furthermore read in Luetkebohmert (and elsewhere) that $R_5$ was used in practice, e.g. during a Mariner space shuttle mission.

Question: Given the values above, why would anybody use $R_5$ and not $R_4$?

(I hope this question is not too easy for MO, but I do not see the answer at the moment.)

Edit: It seems that the code $R_5$ might have been used for Mariner, because then one has really one code word per pixel of the image.

Still let me note that the $R_m$ all have the same relative minimal distance, that there exists an efficient (poly time?) algorithm to decode them, and that $I(R_m)$ tends rapidly to zero when $n\to\infty$. And I find this a bit strange: For an "interesting" or even "celebrated" family of codes $(C_m)_m$, which all have the same relative minimal distance, I would naively have expected something like $(I(C_m))_m$ should be a decreasing (but bounded or even converging) sequence.

show/hide this revision's text 2 added 548 characters in body; added 3 characters in body

Let $F$ be the field with two elements, $V_m=F^{2^m}$.Let $R(r, m)\subset V_m$ be the binary Reed-Muller Code. Define $R_m:=R(1, m)$. Then the dimension of $R_m$ is $1+m$ and its minimal distance is $d(R_m)=2^{m-1}$. (Cf. for example the book of Luetkebohmert). Hence the information rate is $I(R_m)=\frac{1+m}{2^m}$ while the relative minimal distance of $R_m$ is $rd(R_m)=\frac{1}{2}$.

Now $R_5$ has the same relative minimal distance as $R_4$ (and thus should have approximately the same error correction abilities), while the information rate of $R_4$ is much better ($I(R_4)\approx 0.31$ while $I(R_5)\approx 0.19$).

I furthermore read in Luetkebohmert (and elsewhere) that $R_5$ was used in practice, e.g. during a Mariner space shuttle mission.

Question: Given the values above, why would anybody use $R_5$ and not $R_4$?

(I hope this question is not too easy for MO, but I do not see the answer at the moment.)

Edit: It seems that the code $R_5$ might have been used for Mariner, because then one has really one code word per pixel of the image.

Still let me note that the $R_m$ all have the same relative minimal distance, and that $I(R_m)$ tends rapidly to zero when $n\to\infty$. And I find this strange: For an "interesting" or even "celebrated" family of codes $(C_m)_m$, which all have the same relative minimal distance, I would naively have expected something like $(I(C_m))_m$ should be a decreasing (but bounded or even converging) sequence.

show/hide this revision's text 1