Varshamov-Gilbert grænse

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 18. november 2021; verifikation kræver 1 redigering .

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 .

Ordlyd

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 .

Bevis

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 ).

Litteratur

Se også