Varshamov-Gilbert-grænsen er en ulighed, der definerer grænseværdier for kodeparametre (ikke nødvendigvis lineære ), opnået uafhængigt af Edgar Gilbert og Rom Varshamov . Nogle gange bruges navnet Gilbert- Shannon - Varshamov - ulighed , og i udenlandsk videnskabelig litteratur - Gilbert-Varshamov-ulighed .
Lade
angiver den maksimalt mulige kardinalitet af den -te kode for længde og Hamming-afstand ( den -te kode er koden med symboler fra feltet bestående af elementer).
Derefter
Hvornår er en potens af et primtal , kan man forenkle uligheden til , hvor er det største heltal , for hvilket .
Lad være den maksimale effektkode for længde og Hamming-afstand :
Så for enhver er der mindst ét kodeord , så Hamming-afstanden mellem og opfylder
fordi ellers kunne vi udvide koden med ordet , og lade Hamming-afstanden være uændret, hvilket modsiger den maksimale magtantagelse .
Derfor kan feltet pakkes ved foreningen af sættene af alle sfærer med radius centreret ved :
Volumen af hver kugle
fordi vi kan lade (eller vælge ) højst -th af komponenterne i kodeordet til at antage en af de andre mulige værdier. Derfor er følgende ulighed sand
Det er
(erstatter ).