Goppa-kode

Fra Wikipedia, den frie encyklopedi
Gå til: navigasjon, søk

Innenfor algebraisk geometri i matematikken er en Goppa-kode definert som bildet til avbildningen \phi gitt på følgende måte: La q være en primtallspotens og X en ikke-singulær, projektiv kurve definert over \mathbb{F}_q og med minst ett \mathbb{F}_q-rasjonalt punkt. La P_1,\dots,P_n være \mathbb{F}_q-rasjonale punkter på X og la G være en \mathbb{F}_q-rasjonal divisor på X med støtte disjunkt fra \{P_1,\dots,P_n\}. Vi definerer da \phi:L(G)\longrightarrow\mathbb{F}_q^n ved f\longmapsto(f(P_1),\dots,f(P_n)). Hvis vi definerer divisoren D:=P_1+\cdots+P_n, betegner vi gjerne koden ved C(D,G).

Dimensjonen k til en kode C(D,G) er gitt ved k=l(G)-l(G-D), og minimumsdistansen d er gitt ved d\geq\deg(D)-\deg(G). Disse resultatene finner man lett ved hjelp av Riemann–Roch-teoremet.

Goppa-koden ble først konstruert i 1981 av V.D. Goppa.

Bruk av Goppa-koder[rediger | rediger kilde]

Goppa-koder ble brukt da den asymptotiske Gilbert–Varshamov-begrensningen (1950) ble forbedret av Tsfasman, Vladut og Zink i 1982. Her ble en uendelig følge av ikke-singulære, projektive kurver med et stort antall \mathbb{F}_q-rasjonale punkter definert, og en Goppa-kode ble definert på hver kurve slik at lengden på Goppa-kodene var lik antallet \mathbb{F}_q-rasjonale punkter på kurvene.

I senere tid har flere kodeteoretikere jobbet med å definere koder ved hjelp av algebraiske kurver med metoder inspirert av Goppas konstruksjon.

Generaliseringer av Goppa-koder[rediger | rediger kilde]

I 1999 definerte Xing, Niederreiter og Lam en generalisering av Goppa-kodene. La X være en ikke-singulær, projektiv kurve definert over \mathbb{F}_q og P_1,\dots,P_s være lukkede punkter på X. Sett \deg(P_i)=k_i. Hvis f\in\mathbb{F}_q(X) slik at v_{P_i}(f)\geq 0, da er f(P_i)\in\mathbb{F}_{q^{k_i}}. La n_i og d_i være positive heltall for i=1,\dots,s slik at det eksisterer en [n_i,k_i,d_i]_q-lineær kode for hver i=1,\dots,s, og definér en isomorfisme \psi_i:\mathbb{F}_{q^{k_i}}\longrightarrow C_i for hver i=1,\dots,s. La G være en \mathbb{F}_q-rasjonal divisor med støtte disjunkt fra P_1,\dots,P_s, og sett n=n_1+\cdots+n_s. Xing, Niederreiter og Lams kode er da definert som bildet til avbildningen \psi:L(G)\longrightarrow \mathbb{F}_q^n gitt ved f\longmapsto(\psi_1(f(P_1)),\dots,\psi_s(f(P_s))).

Det er klart at dette utgjør en generalisering av Goppa-kodene, siden k_1=\cdots=k_s=1 gir samme konstruksjon som Goppas definisjon.

Koden til Xing, Niederreiter og Lam har gitt en del forbedringer av parametrene til enkeltkodene, men har ennå ikke gitt noen forbedringer når det gjelder asymptotiske begrensninger.

Andre naturlige generaliseringer av Goppa-koder er å bruke varieteter fra algebraisk geometri som ikke nødvendigvis er kurver.