Borne de Gilbert-Varshamov
La borne de Gilbert-Varshamov est une minoration de la distance minimale des codes. On suppose habituellement, bien que cela n'a jamais Ă©tĂ© prouvĂ©, que les codes linĂ©aires binaires gĂ©nĂ©rĂ©s par une matrice alĂ©atoire satisfont cette borne. Elle a une valeur voisine de lorsque , ce qui permet de dire qu'il y a de fortes chances qu'il n'y ait pas de mots non nuls du code de poids infĂ©rieur Ă
Pour un code linéaire quelconque sur on a montré que le nombre moyen de mots de poids d'un code était proche de :
mais cette formule n'a pas Ă©tĂ© prouvĂ©e pour les codes binaires (cas ), bien qu'elle ait des chances de ne pas ĂȘtre trop Ă©loignĂ©e de la vĂ©ritĂ©. En effet, pour alĂ©atoire, les Ă©vĂ©nements () sont Ă©quiprobables, et en supposant que les mots du code soient rĂ©partis alĂ©atoirement, suivant une loi binomiale de probabilitĂ© Ă©lĂ©mentaire (ce qui est loin d'ĂȘtre prouvĂ©), on a : On remarque, expĂ©rimentalement, que, pour un code binaire alĂ©atoire, cette formule donne un nombre non nul de mots de poids si est supĂ©rieur Ă la borne de Gilbert-Varshamov (ce nombre croĂźt alors extrĂȘmement rapidement avec ), et nul si est infĂ©rieur Ă celle-ci.