KOODAUSTEORIA S

Transkriptio

1 KOODAUSTEORIA S syksy 2009 Marko Rinta-aho

2 Sisältö 1 Perusteita Johdanto Kanavista Koodaus-dekoodausjärjestelmä Äärellisistä kunnista Perustuloksia Kunnan F p m konstruointi Lineaariset koodit Lineaarisen koodin määrittely Tarkistusmatriisi Lineaarisen koodin dekoodaus Hammingin koodit Reedin Mullerin koodit Uusien lineaaristen koodien muodostaminen tunnetuista Sykliset koodit Algebrallisia apuneuvoja Jäännösluokkarengas R n Minimipolynomi Ykkösen juurista Syklisen koodin määritelmä ja perusominaisuuksia Generoija- ja tarkistusmatriisi Systemaattinen koodaus Syklisen koodin nollakohdat Idempotentit Syklisen koodin jälkiesitys Mattsonin Solomonin polynomit BCH-, RS- ja Goppa-koodit BCH-koodien määrittely BCH-koodin dekoodaus Reedin Solomonin koodit Goppa-koodit Alternanttikoodit ja niiden Eukleideen algoritmiin perustuva dekoodaus Alternanttikoodin dekoodaus, kun esiintyy pyyhkyitymiä ja virheitä

3 6 Ryöppyvirheitä korjaavat koodit Peruskäsitteitä RS-koodeista johdetut koodit Tulokoodit Kiedotut koodit Koodijonot hajaspektritekniikassa Monen käyttäjän kanavat Korrelaatioista Additiivinen karakteeri Goldin jonoista Hadamardin matriisit ja koodit Hadamardin matriisit Hadamardin koodit Koodirajoista Peruskäsitteitä Plotkin-raja Elias-raja Gilbert Varšamov-raja

4 1 Perusteita Tämä luentomoniste on kirjoitettu professori (emeritus) Keijo Väänäsen koodausteorian kurssin luentomonisteen pohjalta. Kurssin aiheista löytyy kirjallisuudesta tietoa muun muassa lähteistä R. Lidl, H. Niederreiter: Finite Fields, Cambridge Univeristy Press. J. H. van Lint: Introduction to Coding Theory, Springer-Verlag, F. J. MacWilliams, N. J. A. Sloane: The Theory of Error-correcting Codes, North-Holland, S. Roman: Coding and Information Theory, Springer-Verlag, S. A. Vanstone, P. C. Oorschot: An Introduction to Error Correcting Codes with Application, Kuwer Academic Publishers, Näistä ensimmäinen käsittelee varsin kattavasti äärellisiä kuntia, muut keskittyvät koodausteoriaan. 1.1 Johdanto 1940-luvun lopulla Claude Shannon esitti tiedonsiirtojärjestelmiä käsittelevän matemaattisen teorian, informaatioteorian perusideat. Yksi tämän teorian keskeisimpiä alueita on koodausteoria. Yksinkertainen tiedonsiirtojärjestelmä koostuu kolmesta osasta: tietolähteestä, tiedonsiirtokanavasta ja tiedon vastaanottajasta. Usein käytetyt kanavat ovat esimerkiksi puhelinlinjat, ilmakehä tai avaruus radioliikenteessä, jne. Yleensä kanavat ovat alttiita häiriöille, jotka aiheuttavat virheitä lähetettyyn tietoon. Koska vastaanottaja ei voi tietää, mitä tietoa kanavaan on lähetetty, on korjaukset pystyttävä tekemään kanavasta vastaanotetun tiedon perusteella. Koodausteoria pyrkii mahdollistamaan tämän. Jo Shannon osoitti, että häiriöisessäkin kanavassa tiedonsiirto saadaan halutun luotettavaksi käyttämällä sopivaa koodausta, jonka löytäminen tosin ei ole helppoa. Kun halutaan suorittaa virheenkorjaus, on edellä mainittuun tiedonsiirtojärjestelmään lisättävä vielä kaksi osaa: kooderi ja dekooderi. Kooderi muodostaa lähetettäväksi halutusta tiedosta m (viesti tai sanoma) jonkin koodisanan c, joka lähetetään kanavaan. Dekooderin tehtävänä on arvata, mikä viesti on haluttu lähettää. Arvaus m perustuu kanavasta vastaanotettuun tietoon r. 1

5 Kokonaisuudessaan tiedonsiirtojärjestelmän tässä kurssissa suoritettavan matemaattisen käsittelyn kannalta olennainen kaavio on seuraava: tietolähde m kooderi tiedonsiirtokanava c r dekooderi kohina m vastaanottaja Tieto saapuu yleensä vektorina, jonka komponentit ovat äärellisen kunnan, useimmiten kunnan F 2 = {0, 1}, alkioita. Koodausteorian perusidea on se, että koodisanat ovat jollakin tavalla mitattuna kaukana toisistaan, jolloin virheellinenkin muoto voidaan tulkita oikeaksi (eli lähinnä olevaksi koodisanaksi). Viestityksen tapahtuessa bitteinä, ts. aakkoston {0, 1} alkioina, voidaan sanojen välistä etäisyyttä mitata esimerkiksi sillä, kuinka monessa kohdassa bitit eroavat toisistaan. Jotta virhe voitaisiin havaita ja mahdollisesti korjata, joudutaan käyttämään pitempiä sanoja kuin häiriöttömässä kanavassa olisi tarpeellista. Tämä on koodauksen hinta. Yksi yksinkertainen esimerkki virheenpaljastavasta koodista on pariteetintarkistuskoodi. Siinä, sen jälkeen kun viesti on käännetty bittimuotoon, kooderi lisää loppuun yhden bitin niin, että bittien summa 0 (mod 2) (esimerkiksi koodataan vektoriksi ). Jos kanavassa syntyy yksi virhe, se paljastuu, koska tällöin vastaanotetun sanan bittien summa 0 (mod 2). 1.2 Kanavista Matemaattisesti kanavia kuvataan todennäköisyysavaruuksien avulla. Seuraavassa tarkastellaan ainoastaan yksinkertaisinta kanavaluokkaa: diskreettejä muistittomia kanavia (DMC, discrete memoryless channel). Diskreetin kanavan syöttö koostuu jonkin aakkoston A = {a 1, a 2,..., a n } kirjaimista muodostetuista jonoista, joita kutsutaan sanoiksi. Vastaavasti tulostus koostuu jonkin aakkoston B = {b 1, b 2,..., b m } kirjaimista muodostetuista jonoista. 2

6 Syötettä x = x 1... x n vastaava tulostus y = y 1... y n määräytyy siirtotodennäköisyyksien P (b j a i ) perusteella, missä P (b j a i ) on todennäköisyys, että tulostus on b j, kun syöttö on a i. Muistittomassa kanavassa tulostuksen y = y 1... y n jokainen kirjain y i riippuu vain vastaavasta syöttösanan kirjaimesta x i. Lähetettäessä kanavaan sana x = x 1... x n, vastaanotettu sana on y = y 1... y n todennäköisyydellä P (y x) = P (y 1 x 1 ) P (y n x n ). Yksinkertainen esimerkki DMC:stä on binäärinen symmetrinen kanava (BSC, binary symmetric channel). Tällä kanavalla sekä syöttö- että tulostusaakkosto on {0, 1} ja siirtotodennäköisyydet ovat P (0 1) = P (1 0) = p ja P (0 0) = P (1 1) = q = 1 p. Luonnollisesti voidaan olettaa, että p < q. Yleensä p on hyvin pieni, esimerkiksi p < Dekoodausvirheen todennäköisyys P e = P error DMC:ssä minimoidaan dekoodaamalla vastaanotettu sana y sellaiseksi koodisanaksi x, että P (y x) = max{p (y x i ) i = 1,..., k}. Tässä x 1,..., x k ovat lähetettäviä sanoja, jotka yleensä oletetaan yhtä todennäköisiksi. Esimerkiksi BSC:ssä on P (y x) = P (y 1 x 1 ) P (y n x n ) = p d H(x,y) (1 p) n d H(x,y), missä d H (x, y) määritellään seuraavasti. Määritelmä Avaruuden {0, 1} n alkioiden x ja y Hamming-etäisyydeksi d H (x, y) sanotaan niiden komponenttien määrää, joissa x ja y eroavat. Huomautus Pari ({0, 1} n, d H ) on metrinen avaruus; seuraavassa merkitään yleensä d = d H. Yllä olevan nojalla BSC:ssä todennäköisyys P (y x) maksimoidaan dekoodaamalla y sellaiseksi koodisanaksi x, että d(x, y) = min{d(x i, y) i = 1,..., k}. Hamming-etäisyys on siis tässä yhteydessä käyttökelpoinen. Tarkastellaan seuraavaa esimerkkiä: Huoneessa heitetään rahaa nopeudella t heittoa minuutissa. Huone on yhdistetty toiseen huoneeseen BSC:llä, jonka virhetodennäköisyys on p. Oletetaan, että kanava välittää 2t kirjainta minuutissa ja käytössä on T minuuttia, jos rahanheitto kestää T minuuttia. Kruunun tullessa lähetetään 0 ja klaavan tullessa 1. Shannonin tulosten mukaan tässäkin tilanteessa on mahdollista päästä mielivaltaisen pieneen virhetodennäköisyyteen sopivalla koodin valinnalla. 3

7 Virhetodennäköisyyttä voidaan pienentää esimerkiksi lähettämällä kahden heiton tulokset seuraavasti: kr, kr 0000 kl, kr 1001 kr, kl 0111 kl, kl 1110 Informaatio on siis kahdessa ensimmäisessä symbolissa, toiset kaksi varmistavat perillemenon. Dekoodaaja toimii seuraavasti. Jos saatu sanoma ei ole yksikään neljästä edellä mainituista, niin oletetaan, että neljäs symboli on oikea ja että virhe on yhdessä kolmesta ensimmäisestä symbolista. Tällöin jokainen saatu nelikkö voidaan dekoodata yksikäsitteisesti (jos viimeinen symboli on 0: 000, 111; jos taas viimeinen symboli on 1: 011, 100). Valitaan p = 0,001, jolloin q = 1 p = 0,999. Jos edellä mainitut oletukset ovat oikeita, niin tulos on oikea todennäköisyydellä q 4 + 3q 3 p 0,999. Lähetettäessä kaksi symbolia yksinään tulos on oikein todennäköisyydellä q 2 0, Koodaus-dekoodausjärjestelmä Määritelmä Koodausjärjestelmäksi sanotaan järjestettyä nelikköä (M, A, n, γ), missä M ja A ovat äärellisiä epätyhjiä joukkoja, n Z + ja γ on injektio M A n. Joukkoa M sanotaan viestiaakkostoksi, joukkoa A koodiaakkostoksi, joukkoa C = γ(m) koodiksi, lukua n koodin C pituudeksi ja kuvausta γ koodauskuvaukseksi. Määritelmä Koodaus-dekoodausjärjestelmäksi sanotaan järjestettyä kuusikkoa (M, A, n, γ,?, δ), missä (M, A, n, γ) on koodausjärjestelmä,? on symboli, joka ei kuulu joukkoon M, ja δ on kuvaus A n M {?}, jolle δ(γ(m)) = m kaikilla m M. Kuvausta δ sanotaan dekoodauskuvaukseksi ja symbolia? virheilmoitussymboliksi. Määritelmä Tiedonvälitysjärjestelmäksi sanotaan järjestettyä paria (K, D), missä K on Määritelmän mukainen koodaus-dekoodausjärjestelmä ja D on diskreetti muistiton kanava, jonka syöttö- ja tulostusaakkosto on A. Jatkossa merkintä F q tarkoittaa kertalukua q olevaa äärellistä kuntaa ja oletetaan, että A = F q (usein q = 2). Joukkoa F n tarkastellaan lineaariavaruutena kunnan F suhteen. 4

8 Määritelmä Avaruuden F n alkioiden a ja b Hamming-etäisyydeksi d H (a, b) = d(a, b) sanotaan niiden komponenttien lukumäärää, joissa a ja b eroavat toisistaan. Avaruuden F n alkion a Hamming-painoksi wt H (a) = wt(a) sanotaan vektorin a nollasta eroavien komponenttien lukumäärää. Vektorin a paino on siis wt(a) = d(a, 0). Selvästi (F n, d H ) on metrinen avaruus. Joukkoa B(a, e) = {x F n d(x, a) e} sanotaan a-keskiseksi e-säteiseksi palloksi ja joukkoa S(a, e) = {x F n d(x, a) = e} a-keskisen e-säteisen pallon pinnaksi. Joukon A alkioiden lukumäärälle käytetään merkintää A, tai joskus #A. Määritelmä Koodin C minimietäisyydeksi sanotaan lukua d min C = min{d(a, b) a, b C, a b}. Koodia C sanotaan e virhettä korjaavaksi koodiksi, jos koodisanakeskiset e- säteiset pallot ovat erillisiä. Jos lisäksi nämä pallot yhdessä täyttävät koko avaruuden F n, niin koodia C sanotaan täydelliseksi e virhettä korjaava koodiksi. Koodia C F n, jolle C = K ja d min C = d, sanotaan (n, K, d)-koodiksi. Lukua R(C) = 1 n log q C sanotaan koodin C informaatiosuhteeksi. Huomautus Sen, että koodi C on e virhettä korjaava, voi ilmaista myös muodossa d min C 2e + 1. Koodin C täydellisyyden ehto toisin ilmaistuna on c C B(c, e) = F n. Minimietäisyyden selville saaminen vaatii yleensä C ( C 1) 2 laskutoimitusta. Jos C = q k, niin informaatiosuhde on R(C) = k n. Määritelmä Binäärisen symmetrisen kanavan kapasiteetiksi kutsutaan lukua K = 1 + p log 2 p + (1 p) log 2 (1 p), missä p on virhetodennäköisyys. Oletetaan, että 0 < R < K ja ε > 0. Tällöin pätee Shannonin lause: On mahdollista löytää koodi, jonka informaatiosuhde on R ja virhetulkinnan todennäköisyys pienempi kuin ε. Olkoon F = q. Asetetaan A q (n, d) = max{k on olemassa (n, K, d)-koodi C F n }, R q (n, d) = 1 n log q A q (n, d). 5

9 Koodausteoriassa keskeisiä kysymyksiä ovat muun muassa seuraavat: luvun A q (n, d) arviointi; hyvien koodien konstruointi, siis sellaisten (n, K, d)- koodien, joille K A q (n, d); nopeiden ja halpojen koodaus- ja dekoodausalgoritmien löytäminen. Määritelmä Dekoodausfunktiota δ sanotaan e virhettä korjaavaksi, jos δ(r) = m aina, kun d(γ(m), r) e. Jos C on e virhettä korjaava koodi ja δ on funktio, joka dekoodaa lähimmäksi koodisanaksi, niin myös δ on e virhettä korjaava. Tällaisen funktion δ löytäminen on kuitenkin yleensä sekä matemaattisesti että teknisesti hankalaa. Tehokkaan koodaus-dekoodausjärjestelmän löytämiseksi annetaan tarkasteltaville joukoille ja funktioille sopivia algebrallisia ominaisuuksia. Tällaisten käsittelyjen mahdollistamiseksi tarkastellaan seuraavassa äärellisten kuntien ominaisuuksia. 6

10 2 Äärellisistä kunnista Kommutatiiviseksi ykköselliseksi renkaaksi kutsutaan epätyhjää joukkoa R varustettuna laskutoimituksilla + (yhteenlasku) ja (kertolasku), jotka toteuttavat jokaisella a, b, c R ehdot 1. assosiatiivisuus ja kommutatiivisuus: a + (b + c) = (a + b) + c, a + b = b + a, a(bc) = (ab)c, ab = ba; 2. distributiivisuus: a(b + c) = ab + ac; 3. on olemassa sellainen 0 R (nolla-alkio), että a + 0 = a kaikilla a R; 4. jokaista a R kohti on olemassa sellainen b R (vasta-alkio), että a+b = 0; 5. on olemassa sellainen 1 R, 1 0 (ykkösalkio), että a 1 = a kaikilla a R \ {0}. Jatkossa renkaalla tarkoitetaan kommutatiivista ykkösellistä rengasta. Rengasta sanotaan kunnaksi, jos edelläolevien ehtojen lisäksi 6. jokaista a R \ {0} kohti on olemassa sellainen b R (käänteisalkio), että ab = 1. Alkion a vasta-alkiota merkitään a ja käänteisalkiota a Perustuloksia Olkoon m Z +. Kokonaislukujen a ja b sanotaan olevan kongruentteja modulo m, jos m (a b). Tätä merkitään a b (mod m). Kongruenssi modulo m on ekvivalenssirelaatio ja se jakaa joukon Z alkiot ekvivalenssiluokkiin. Nämä ovat jäännösluokkia modulo m ja alkion a määräämä jäännösluokka a koostuu luvuista x, joille x a (mod m). Siis a = {a + nm n Z}. Näitä jäännösluokkia on m kappaletta, esimerkiksi 0, 1,..., m 1, ja niiden muodostamalle joukolle käytetään merkintää Z m. Kun määritellään joukon Z m yhteen- ja kertolasku asettamalla a + b = a + b ja a b = ab, joukosta Z m saadaan rengas. 7

11 Lause Rengas Z m on kunta, jos ja vain jos m on alkuluku. Todistus. Jos m on yhdistetty luku, niin m = kl joillakin 1 < k, l < m. Tällöin k, l 0, mutta k l = m = 0. Jos esimerkiksi l 1 olisi olemassa, niin k = k 1 = k(l l 1 ) = (k l)l 1 = 0 l 1 = 0, mikä on ristiriita. Siten alkiolla l ei ole käänteisalkiota eikä Z m ole kunta. Olkoon sitten m = p alkuluku ja olkoon a 0. Tällöin syt(a, p) = 1 ja Eukleideen algoritmin mukaan on olemassa sellaiset x, y Z, että ax+py = 1 renkaassa Z. Täten renkaassa Z m saadaan yhtäsuuruus a x + p y = 1. Tässä p y = 0, joten a x = 1 eli x = a 1. Näin ollen Z p on kunta. Esimerkiksi kunnille Z 2 ja Z 5 saadaan seuraavat laskutaulut: Z 2 : Z 5 : Kunnassa Z p, p alkuluku, pätee a } + {{ + a } = p a = 0 kaikilla a Z p. p kpl Määritelmä Kunnan F karakteristikaksi n sanotaan pienintä sellaista positiivista kokonaislukua (jos on olemassa), että na := a } + {{ + a } = 0 kaikilla a F. n kpl Jos tällaista lukua n ei ole olemassa, sanotaan, että kunnan F karakteristika on 0. Lause Kunnan karakteristika on aina alkuluku tai 0. 8

12 Todistus. Riittää tarkastella määritelmän ehtoa, kun a = 1. Oletetaan, että karakteristika on n 0 ja että n1 = 0. Jos n olisi yhdistetty luku, niin n = kl joillakin k, l {2, 3,..., n 1}. Tällöin 0 = n1 = (kl)1 = (k1)(l1). Koska kunta on kokonaisalue, niin k1 = 0 tai l1 = 0. Tämä on ristiriidassa karakteristikan määritelmän kanssa, joten n on alkuluku. Lause Jos kunnan F karakteristika on 0, niin sen suppein alikunta on Q (isomorfinen kunnan Q kanssa). Jos taas kunnan F karakteristika on alkuluku p, niin sen suppein alikunta on Z p (isomorfinen kunnan Z p kanssa). Todistus. Harjoitustehtävä 6. Kun otetaan huomioon, että kuntaa voidaan tarkastella vektoriavaruutena suppeimman alikuntansa suhteen, saadaan helposti seuraava tulos. Lause Äärellisen kunnan F kertaluku F (eli kunnan F alkioiden lukumäärä) on muotoa p m, missä m Z + ja p on kunnan F karakteristika. Todistus. Koska F on äärellinen, niin sen karakteristika on jokin alkuluku p (Lause 2.1.3) ja sen suppein alikunta voidaan samaistaa kunnan Z p kanssa (Lause 2.1.4). Kun F ajatellaan vektoriavaruudeksi kunnan Z p suhteen, on sen dimensio välttämättä äärellinen. Olkoon dim F = m ja {α 1,..., α m } F avaruuden F kanta. Tällöin kunnan F jokaisella alkiolla on yksikäsitteinen esitys kantavektoreiden lineaariyhdisteenä eli F = {a 1 α a m α m a i Z p }. Siten F = p m, koska tässä jokainen kerroin a i voidaan valita p eri tavalla Seurauksessa todetaan, että mielivaltaista alkuluvun potenssia p m vastaa kunta, jonka kertaluku on p m. Voidaan osoittaa, että kaikki samaa kertalukua olevat äärelliset kunnat ovat isomorfisia. Isomorfiaa vaille yksikäsitteiselle kertalukua p m olevalle kunnalle käytetään yleensä merkintää F p m tai GF(p m ) (Galois field, Évariste Galois, ). Esimerkiksi Z p ja F p voidaan samaistaa. Seuraavassa jätetään yleensä viivat pois ja merkitään Z p = {0, 1,..., p 1}. 9

13 2.2 Kunnan F p m konstruointi Polynomirenkaalle kunnan F suhteen käytetään seuraavassa merkintää F[x]. Astetta m olevaa polynomia sanotaan jaottomaksi, jos se ei ole jaollinen millään sellaisella renkaan F[x] polynomilla, jonka aste on positiivinen ja pienempi kuin m. Tämä on yhtäpitävää sen kanssa, että polynomilla ei ole olemassa tekijöihinjakoa fg, missä deg f, deg g 1. Olkoon g F[x] astetta m 1 oleva polynomi. Jos p, q F[x], niin merkitään p q (mod g) jos ja vain jos g (p q). Tämä kongruenssi on ekvivalenssirelaatio ja jakaa joukon F[x] alkiot ekvivalenssiluokkiin, jotka ovat jäännösluokkia modulo g. Jos f F[x] on mielivaltainen, niin jakoyhtälön mukaan f(x) = s(x)g(x) + r(x), missä deg r < m. Tässä, kuten jatkossakin, nollapolynomin asteeksi sovitaan deg 0 =, jolloin edellä voi olla r(x) = 0. Näin ollen f r (mod g), joten kustakin jäännösluokasta löytyy edustaja, jonka aste on < m, esimerkiksi edellä f {r + pg p F[x]} =: r (= f). Toisaalta, jos r 1 ja r 2 ovat kaksi eri polynomia ja deg r i < m, niin r 1 r 2, sillä g (r 1 r 2 ). Jäännösluokkien modulo g joukko F[x]/ g(x) on siis { r m 1 r(x) = i=0 } a i x i, a i F. Kun määritellään yhteen- ja kertolasku asettamalla r 1 + r 2 = r 1 + r 2 ja r 1 r 2 = r 1 r 2, niin F[x]/ g(x) tulee renkaaksi, jonka nolla- ja ykkösalkio ovat 0 ja 1. Lause Olkoon p alkuluku ja g Z p [x] astetta m 1 oleva polynomi. Tällöin jäännösluokkarengas Z p [x]/ g(x) on kunta jos ja vain jos g on jaoton. Kyseisessä kunnassa on p m alkiota. Todistus. Harjoitustehtävä 7. Jos merkitään α = x, niin yllä olevan mukaan F p m = { m 1 i=0 } a i α i ai Z p, g(α) = 0, missä g on astetta m 1 oleva renkaan Z p [x] jaoton polynomi. Kunnan F p m konstruoiminen on siis mahdollista heti, kun löytyy sopiva jaoton polynomi. Jaottomuustarkastelussa lineaarinen tekijä löytyy seuraavan lauseen avulla. 10

14 Lause Olkoon F kunta. Jos f(x) F[x] ja a F, niin (x a) f(x) jos ja vain jos f(a) = 0. Todistus. Jakoyhtälön mukaan f(x) = h(x)(x a) + r, missä r F on vakiopolynomi. Toisaalta (x a) f(x), jos ja vain jos r = 0, ja toisaalta r = f(a). Väite seuraa tästä. Seuraus Olkoon F kunta ja f F[x]. Jos deg f {2, 3}, niin f on jaoton, jos ja vain jos sillä ei ole nollakohtia kunnassa F. Esimerkki Konstruoidaan kunta F 16 = F 2 4 käyttämällä polynomia g(x) = x 4 + x + 1 Z 2 [x]. Koska g(0) = g(1) = 1 0, niin polynomilla g ei ole lineaarisia tekijöitä. Mahdolliset toisen asteen tekijät saadaan yhtälöstä x 4 + x + 1 = (x 2 + ax + b)(x 2 + cx + d). Ratkaisemalla kertoimet a, b, c ja d saadaan ristiriita. Siten g on jaoton renkaassa Z 2 [x] ja { 3 } F 16 = a i α i ai Z 2, α 4 + α + 1 = 0, ts. α 4 = 1 + α. i=0 Merkitään jälleen alkiota a 0 + a 1 α + a 2 α 2 + a 3 α 3 jonona a 0 a 1 a 2 a 3. Tällöin saadaan seuraavat potenssit: 1 = 1000 α = 0100 α 2 = 0010 α 3 = 0001 α 4 = 1100 α 5 = 0110 α 6 = 0011 α 7 = 1101 α 8 = 1010 α 9 = 0101 α 10 = 1110 α 11 = 0111 α 12 = 1111 α 13 = 1011 α 14 = 1001 (Seuraavana saataisiin α 15 = 1000 = 1.) Esimerkki Kunta F 32 saadaan konstruoitua vastaavasti esimerkiksi polynomin x 5 + x F 2 [x] avulla. (Totea, että tämä todella on jaoton!) Jos α on tämän polynomin nollakohta eli α 5 + α = 0, niin alkion α potenssit ovat: α = α 2 = α 3 = α 4 = α 5 = α 6 = α 7 = α 8 = α 9 = α 10 = α 11 = α 12 = α 13 = α 14 = α 15 = α 16 = α 17 = α 18 = α 19 = α 20 = α 21 = α 22 = α 23 = α 24 = α 25 = α 26 = α 27 = α 28 = α 29 = α 30 =

15 Edellä olevissa esimerkeissä F := F\{0} on kertolaskun suhteen syklinen ryhmä. Tämä ominaisuus pätee yleisesti äärellisissä kunnissa, kuten pian osoitetaan. Määritelmä Kunnan F alkion a F (multiplikatiiviseksi) kertaluvuksi sanotaan pienintä sellaista k Z +, että a k = 1. Tätä merkitään k = ord a tai k = a. Määritelmä Kunnan F q alkiota γ 0 sanotaan primitiiviseksi eli kunnan F q primitiivialkioksi, jos ord γ = q 1, ts. jos F q = γ = {γ k 0 k < q 1}. Astetta m olevaa polynomirenkaan F q [x] polynomia sanotaan primitiiviseksi, jos sillä on nollakohta, joka on kunnan F q m primitiivialkio. Lause Äärellisen kunnan nollasta eroavien alkioiden muodostama ryhmä on syklinen eli jokaisessa äärellisessä kunnassa on primitiivialkio. Jos γ on kunnan F q yksi primitiivialkio, niin kunnan F q primitiivialkiot ovat täsmälleen alkiot γ j, missä syt(j, q 1) = 1. Todistus. Joukko Fq on ryhmä kertolaskun suhteen. Olkoon α Fq annettu ja olkoon r = ord α. Koska ryhmässä Fq on q 1 alkiota, niin potensseilla α i, i = 0, 1, 2,..., q 1 on korkeintaan q 1 eri arvoa. Siten r q 1. Valitaan nyt α Fq niin, että sen kertaluku r on mahdollisimman suuri. Osoitetaan, että ryhmän Fq jokaisen alkion kertaluku on luvun r tekijä. Olkoon β Fq ja l = ord β. Olkoon π alkuluku, jolle π l, l = π b l ja π l. Olkoon edelleen r = π a r ja π r. Tällöin ord α πa = r ja ord β l = π b. Harjoitustehtävän 13b mukaan ord α πa β l = π b r, joten alkion α valinnasta johtuen b a. Täten l r, ja jokainen β Fq toteuttaa yhtälön x r 1 = 0. Polynomilla x r 1 on siten vähintään q 1 nollakohtaa, eli r q 1. Siis r = q 1, ja yllä valittu α generoi ryhmän Fq, joka on syklinen. Jälkimmäinen väite seuraa yleisistä syklisten ryhmien ominaisuuksista ja se jätetään harjoitustehtäväksi. Seuraus Kunnan F q jokainen alkio toteuttaa yhtälön x q x = 0 ja x q x = β Fq(x β). Lause Jos kunnan F karakteristika on p, niin siellä pätee yhtälö (x + y) p = x p + y p. 12

16 Todistus. Binomikaavan nojalla (x + y) p = p ( ) p 1 p ( ) p x i y p i = x p + y p + x i y p i. i i i=0 Koska p ( p i) kaikilla i = 1,..., p 1, niin ( ) p x i y p i = pa = 0 jollakin a F. i Tämä todistaa väitteen. Seuraus Jos l Z + ja β i F q, missä q = p m, niin i=1 ( k ) p l β i = i=1 k i=1 β pl i. Jos edelleen f F q [x], niin (f(x)) ql = f(x ql ). Todistus. Väitteet seuraavat Lauseesta induktiolla ja huomaamalla, että Seurauksen mukaan jokainen a F q toteuttaa ehdon a q = a. Seuraus Kuvaus σ : F p m F p m, σ(x) = x p on bijektiivinen (kunta)homomorfismi, kunnan F p m ns. Frobenius-automorfismi. Todistus. Lauseet ja Lause Polynomi x pm x Z p [x] on renkaan Z p [x] niiden jaottomien ykköspolynomien (korkeimman potenssin kerroin 1) tulo, joiden asteet ovat luvun m tekijöitä. Todistus. Todistetaan väite kolmessa osassa. Osoitetaan ensin, että jokainen väitetynlainen ykköspolynomi jakaa polynomin x pm x, sitten että polynomin x pm x jokaisen jaottoman tekijän aste jakaa luvun m ja lopuksi, että polynomin x pm x tekijät ovat yksinkertaiset. Olkoon siis ensin r(x) Z p [x] jaoton ykköspolynomi, deg r = d ja d m. Tapaus r(x) = x on selvä, joten oletetaan, että r(x) x. Tarkastellaan kuntaa F p d = Z p [x]/ r(x). Polynomin r(x) nollakohdalle α pätee α pd 1 1 = 0. Lisäksi r on jaoton, joten r(x) (x pd 1 1). Koska d m, niin (p d 1) (p m 1). Edelleen (x pd 1 1) (x pm 1 1) ja r(x) (x pm 1 1). Olkoon sitten r jaoton astetta d oleva ykköspolynomi ja r(x) (x pm x). Osoitetaan, että d m. Tapaus r(x) = x on selvä, joten oletetaan, että 13

17 r(x) x. Tällöin r(x) (x pm 1 1). Olkoon F = Z p [x]/ r(x), jolloin kunnan F kertaluku on p d. Jos α on polynomin r nollakohta ja β kunnan F primitiivialkio, niin on olemassa sellaiset kunnan Z p alkiot a 0, a 1,..., a d 1, että β = a 0 + a 1 α + + a d 1 α d 1. Koska r(α) = 0, niin α pm = α ja Seurauksen nojalla myös β pm = β. Täten β pm 1 = 1 ja, koska ord β = p d 1, niin (p d 1) (p m 1). Harjoitustehtävän 28 nojalla d m. Enää on osoitettavana, että polynomin x pm x tekijät ovat yksinkertaiset. Jos f(x) = x pm x, niin f (x) = 1. Siten syt(f, f ) = 1 eikä polynomilla f ole useammankertaisia tekijöitä. Lause Jokaista alkulukua p ja positiivista kokonaislukua m kohti renkaassa Z p [x] on jaoton ykköspolynomi, jonka aste on m. Todistus. Olkoon I p (m) renkaan Z p [x] jaottomien astetta m olevien ykköspolynomien lukumäärä. Lauseen mukaan p m = d m di p(d), joten Näin ollen I p (m) 1. mi p (m) = p m di p (d) p m d m d m d<m d<m m 1 p m p i = p m pm 1 p 1 > 0. i=0 Seuraus On olemassa kunta F p m. p d 14

18 3 Lineaariset koodit 3.1 Lineaarisen koodin määrittely Olkoon F äärellinen kunta. Joukko F n on vektoriavaruus kunnan F suhteen, jonka kannaksi voidaan valita esimerkiksi vektorit E 1 = , E 2 = ,..., E n = Lineaarialgebrasta tiedetään, että epätyhjä joukko U F n on avaruuden F n aliavaruus, jos x + y U kaikilla x, y U ja ax U kaikilla a F ja x U. Jos F = F p, erityisesti F 2, riittää todeta vain ensimmäinen ehto, sillä toinen on selvä. Määritelmä Koodausjärjestelmää (M, F, n, γ) sanotaan lineaariseksi, jos M on vektoriavaruus F k (luonnollisesti k n) ja γ on injektiivinen lineaarinen kuvaus M F n. Tällöin C = γ(m) on selvästi avaruuden F n k-ulotteinen aliavaruus, joten on luonnollista asettaa seuraava määritelmä. Määritelmä Lineaariseksi koodiksi kutsutaan avaruuden F n aliavaruutta. Aliavaruuden ollessa k-ulotteinen ja koodin minimietäisyyden ollessa d koodia kutsutaan [n, k, d]-koodiksi tai lyhyemmin [n, k]-koodiksi. Lineaarista koodia sanotaan myös ryhmäkoodiksi, koska (C, +) on ryhmä. Jos C on [n, k]-koodi ja {g 1,..., g k } sen kanta, niin koodin C sanat ovat muotoa a 1 g 1 + a 2 g a k g k = (a 1... a k )G, missä g 1 g 2 G =. g k Koodauskuvaus γ voidaan siis valita niin, että viestivektori m F k kerrotaan matriisilla G, eli valitaan γ(m) = mg. Tällöin k n C = {c c = mg, m F k }. Määritelmä Edellä mainittua koodin kantavektoreista muodostettua k n-matriisia G sanotaan [n, k]-koodin C generoijamatriisiksi.. 15

19 Huomautus Koska kanta ei ole yksikäsitteinen, ei myöskään G ole sitä. Sen sijaan aina rank G = k. Esimerkki Seuraavassa on esimerkkejä lineaarisista koodeista kunnan F 2 suhteen annettuna generoijamatriisin avulla. [ ] C 1 : G 1 = [3, 2]-koodi [ ] C 2 : G 2 = [5, 2]-koodi C 3 : G 3 = [7, 4]-koodi Toistokoodi on [n, 1]-koodi, jolle G = [ ]. Valitsemalla matriisiksi G muotoa [ I k P ] oleva matriisi, missä I k on k- rivinen yksikkömatriisi ja P on k (n k)-matriisi, saadaan koodisana c = mg muotoon, jossa k ensimmäistä komponenttia muodostavat viestisanan m ja muut n k komponenttia ovat tarkistussymboleja: } {{ }. }.....{{.....}. k informaatio n k tarkistus Tätä muotoa olevaa koodausta sanotaan systemaattiseksi koodaukseksi. Systemaattisesta koodauksesta puhutaan myös silloin, kun viestivektori on luettavista suoraan koodisanasta, mutta ei välttämättä sen alusta. Jos koodi C 1 saadaan koodista C permutoimalla koodin C koodisanojen komponentteja, niin koodeja C 1 ja C sanotaan ekvivalenteiksi, merkitään C 1 C. Lisäksi lineaarialgebrasta tiedetään, että elementaariset vaakarivimuunnokset eivät muuta matriisin vaakarivien virittämää aliavaruutta. Näin ollen jokaista koodia vastaa sellainen ekvivalenttinen koodi, jossa koodaus on systemaattista. Yksi lineaaristen koodien merkittävä etu on se, että minimietäisyyden laskemiseen tarvitaan vain C 1 etäisyyden laskemista. Lause Jos C on lineaarinen koodi, niin d min C = min{wt(x) x C, x 0}. Todistus. {x y x, y C, x y} = C \ {0}. 16

20 3.2 Tarkistusmatriisi Määritelmä Lineaarisen [n, k]-koodin C tarkistusmatriisiksi kutsutaan (n k) n-matriisia H, jolle C = {x F n xh T = 0}. Huomautus Tarkistusmatriisi on olemassa: Olkoon C [n, k]-koodi kunnan F suhteen ja olkoot koodin kantavektorit g 1,..., g k. Tällöin matriisin H jokaisen vaakarivin y tulee toteuttaa ehto g i y T = 0 kaikilla i = 1,..., k eli Gy T = 0 T. Kyseessä on lineaarinen homogeeninen yhtälöryhmä, jonka kerroinmatriisin G aste on k. Tunnetusti (LA I) tämän yhtälöryhmän ratkaisuvektorit muodostavat (pysty)vektoriavaruuden F (n) aliavaruuden, jonka dimensio on n rank G = n k. Olkoon H matriisi, jonka vaakariveinä ovat tämän aliavaruuden kantavektorit vaakavektoreina. Tällöin g i H T = 0 kaikilla i = 1,..., k eli xh T = 0 kaikilla x C, ja C {x F n xh T = 0}. Erityisesti rank H = n k. Toisaalta, jos xh T = 0, niin Hx T = 0 T. Ratkaisut x T muodostavat vektoriavaruuden, jonka dimensio on n rank H = n (n k) = k. Matriisin G lineaarisesti vapaita vaakarivejä vastaavat pystyvektorit muodostavat tämän avaruuden kannan, joten x C. Siten H on koodin C tarkistusmatriisi. Tarkistusmatriisi ei ole yksikäsitteinen. Yllä olevan nojalla jokainen matriisi H, jolle rank H = n k ja GH T = 0, kelpaa tarkistusmatriisiksi. Lause Olkoon C [n, k]-koodi ja olkoon sen generoijamatriisi systemaattisessa muodossa G = [ I k P ]. Silloin matriisi H = [ P T I n k ] on koodin C tarkistusmatriisi. Todistus. Annetun matriisin H aste on n k ja GH T = [ I k P ] [ ] P = P + P = 0. I n k Huomautuksen mukaan H on koodin C tarkistusmatriisi. Huomautus Lauseesta seuraa, että rank H = n k. Edelleen Lauseesta seuraa, että jos H = [ ] A I n k on koodin C tarkistusmatriisi, niin G = [ I k A T] on koodin C yksi generoijamatriisi, vieläpä systemaattisessa muodossa. Edelleen binääritapauksessa P T = P T. 17

21 Avaruuden F n sisätulo määritellään kuten euklidinen sisätulo: Jos a = a 1 a 2... a n F n ja b = b 1 b 2... b n F n, niin a b = a 1 b 1 + a 2 b a n b n. Määritelmä [n, k]-koodin C duaalikoodiksi C sanotaan koodia C = {y F n x y = 0 kaikilla x C}. Lause [n, k]-koodin C duaalikoodi C on [n, n k]-koodi. Todistus. Jos y 1, y 2 C ja λ 1, λ 2 F, niin kaikilla x C pätee (λ 1 y 1 + λ 2 y 2 ) x = λ 1 y 1 x + λ 2 y 2 x = 0. Tästä johtuen C on avaruuden F n aliavaruus ja siis lineaarinen koodi. Olkoon G koodin C generoijamatriisi. Silloin y C, jos ja vain jos Gy T = 0. Tämän homogeenisen yhtälöryhmän kerroinmatriisin G aste on k, joten ratkaisuavaruuden C dimensio on n k ja C on [n, n k]-koodi. Lause Koodin C tarkistusmatriisi on duaalikoodin C generoijamatriisi ja päinvastoin. Seuraava tarkistusmatriisia koskeva tulos osoittautuu hyödylliseksi. Lause Jos C on [n, k]-koodi ja H sen tarkistusmatriisi, niin d min C = d täsmälleen silloin, kun jokainen matriisin H (d 1):n sarakkeen joukko on lineaarisesti vapaa ja löytyy sellainen matriisin H d:n sarakkeen joukko, joka on lineaarisesti sidottu. Todistus. Olkoon c = (c 1,..., c n ) C koodisana, jonka paino on e. Olkoot sanan c nollasta eroavat koordinaatit c i1,..., c ie ja olkoot h 1,..., h n matriisin H sarakkeet. Tällöin h T 1 ch T = 0 c. h T n = c i1 h T i c ie h T i e = 0 matriisin H e saraketta h i1,..., h ie ovat lineaarisesti sidottuja. Nyt d min C d, jos ja vain jos koodissa C ei ole nollasta eroavaa sanaa, jonka paino olisi korkeintaan d 1. Ekvivalenssien (1) nojalla tämä on yhtäpitävää sen kanssa, että matriisin H mitkä tahansa d 1 saraketta ovat lineaarisesti vapaita. Lisäksi d min C d, jos ja vain jos koodissa C on nollasta eroava sana, jonka paino on korkeintaan d. Ekvivalenssien (1) nojalla tämä on yhtäpitävää sen kanssa, että matriisissa H on d:n lineaarisesti sidotun sarakkeen joukko. Väite seuraa näistä kahdesta tuloksesta. 18 (1)

22 Tästä saadaan välittömästi seuraava yläraja lineaarisen koodin minimietäisyydelle. Seuraus Lineaarisen [n, k]-koodin minimietäisyys on korkeintaan n k + 1. Todistus. Tarkistusmatriisissa on n k riviä, joten Lauseen mukaan d 1 n k eli d n k + 1. Määritelmä Lineaarista [n, k]-koodia, jonka minimietäisyys on n k + 1, sanotaan maksimietäisyyskoodiksi eli MDS-koodiksi. 3.3 Lineaarisen koodin dekoodaus Oletetaan, että lähetettäessä kanavaan sana c saadaan sana r = c + e, missä e on häiriön aiheuttama virhe. Dekoodaaja ei tunne vektoria c eikä vektoria e. Näiden löytämiseksi käytetään syndromia. Määritelmä Vektorin x F n syndromiksi sanotaan vektoria s(x) = xh T. Määritelmästä seuraa, että s(x) = 0 täsmälleen silloin, kun x C. Koska C on ryhmä yhteenlaskun suhteen, voidaan muodostaa sivuluokat x + C = {x + c c C}. Osoitetaan, että syndromin arvo liittyy juuri sivuluokkiin. Lause Vektorit x ja y ovat samassa koodin C sivuluokassa täsmälleen silloin, kun niillä on sama syndromi. Todistus. Vektorit x ja y ovat samassa sivuluokassa jos ja vain jos x = y + c jollakin c C eli x y = c C. Tämä on yhtäpitävää sen kanssa, että (x y)h T = 0 eli xh T = yh T. Esimerkki Olkoon C kunnan F 2 suhteen oleva koodi, jonka generoijamatriisi ja tarkistusmatriisi ovat G = ja H = Koodin C sanat ovat tällöin c 1 = c 2 = c 3 = c 4 = c 5 = c 6 = c 7 = c 8 = Binäärisille koodeille pätee 19

23 Lause Binäärisen koodin tapauksessa, jos virhevektorissa e on ykkönen kohdissa i 1,..., i w, niin vektorin r = c + e syndromi on matriisin H sarakkeiden i 1,..., i w summa transponoituna. Jos s(r) = s, niin virhevektori e voi olla mikä tahansa sana, jonka syndromi on s, ts. mikä tahansa sivuluokan r + C alkio. Todennäköisimmät ehdokkaat ovat ne, joiden painot ovat pienimmät. Valitaan jokaisesta sivuluokasta tällainen alkio ja sanotaan sitä kyseisen sivuluokan johtajaksi. Tarkastellaan seuraavaa standardikaaviota, jonka 1. ensimmäiselle riville tulee koodisanat vektorista 0 (sivuluokan C johtajasta) alkaen: 0, c 2,..., c q k; 2. ensimmäiseen sarakkeeseen tulee sivuluokkien johtajat 0, e 2,..., e q n k; 3. rivin i ja sarakkeen j risteykseen tulee alkio e i + c j. Dekoodaaja δ käyttää taulukkoa seuraavasti: saatu sana r muutetaan sen yläpuolella olevaksi koodisanaksi c, jolloin wt(r c ) on pienin mahdollinen eli r c on todennäköisin virhe. Esimerkki Olkoon C [4, 2]-koodi kunnan F 3 = {0, 1, 2} suhteen ja olkoon sen generoijamatriisi [ ] G = Tarkistusmatriisiksi tulee H = [ ] Lauseen avulla nähdään, että koodin C minimietäisyys on 3. Koodille C saadaan seuraava standardikaavio: c 1 c 2 c 3 c 4 c 5 c 6 c 7 c 8 e 9 e e e e e e e e e

24 Yllä oleva täydellinen kaavio vaatii yleensä liikaa tilaa. Koska jokaisella rivillä on sama syndromi, riittää tallentaa sivuluokkien johtajat ja niiden syndromit. Näin saadun syndromiluettelon avulla voidaan toimia seuraavasti: Jos saadaan sana r, niin 1. lasketaan syndromi rh T ; 2. etsitään syndromiluettelon avulla vastaava sivuluokan johtaja e i ; 3. lasketaan r e i = c. Esimerkki Esimerkin koodille saadaan seuraava syndromiluettelo: e 1 : s(0000) = 00 e 4 : s(0100) = 21 e 7 : s(0020) = 20 e 2 : s(1000) = 22 e 5 : s(0200) = 12 e 8 : s(0001) = 01 e 3 : s(2000) = 11 e 6 : s(0010) = 10 e 9 : s(0002) = Hammingin koodit Hammingin koodit keksi Richard W. Hamming 1940-luvun lopulla. Ne ovat täydellisiä yhden virheen korjaavia koodeja. Olkoon H binäärisen lineaarisen koodin tarkistusmatriisi. Jos c on lähetetty ja r = c + e saatu sana, niin Lauseen mukaan s(r) = eh T on matriisin H niiden sarakkeiden summan transpoosi, joita vastaavissa kohdissa on syntynyt virhe. Sen vuoksi matriisissa H mahdollisesti olevaa saraketta 0 T vastaavassa kohdassa oleva virhe ei vaikuta syndromiin ja jää näin havaitsematta. Jos taas matriisissa H on kaksi samanlaista saraketta, niin näitä vastaavissa kohdissa syntynyt virhepari ei vaikuta syndromiin ja jää sekin havaitsematta. Jos toisaalta matriisin H kaikki sarakkeet ovat nollasta eroavia ja erisuuria sekä wt(e) = 1, missä 1 on kooordinaatissa i, niin eh T on matriisin H sarake i transponoituna. Täten yhden bitin virhe voidaan paikallistaa ja korjata. Lause Lineaarinen binäärinen koodi on (vähintään) yhden virheen korjaava, jos ja vain jos sen tarkistusmatriisin sarakkeet ovat nollasta eroavia ja erisuuria. Jos H on r-rivinen eli n k = r, niin selvästi matriisissa H voi olla enintään 2 r 1 nollasta eroavaa erisuurta saraketta. 21

25 Määritelmä Binääristä lineaarista koodia, jonka tarkistusmatriisin H sarakkeet ovat lukujen 1, 2, 3,..., 2 r 1 binääriesitykset, sanotaan (binääriseksi) Hammingin [2 r 1, 2 r r 1]-koodiksi. Edellä todettiin, että Hammingin koodin minimietäisyys on vähintään 3 eli että koodisanakeskiset 1-säteiset pallot ovat erilliset. Osoitetaan lisäksi, että nämä pallot B(c, 1) täyttävät koko avaruuden F n ja koodi on siis täydellinen. Lause Binäärinen Hammingin koodi on täydellinen. Todistus. Edellisen mukaan koodisanakeskiset 1-säteiset pallot ovat erilliset. Kussakin tällaisessa pallossa on n+1 = (2 r 1)+1 = 2 r alkiota. Koodisanoja on 2 k = 2 n r = 2 2r 1 r kappaletta. Yhteensä palloissa on siis 2 r 2 2r 1 r = 2 2r 1 = 2 n = F n 2 alkiota. Huomautus Koska Hammingin koodi on täydellinen, se dekoodaa väärin kaikki vähintään 2-painoisesti virheelliset sanat. Hammingin koodi voidaan määritellä myös silloin, kun q 2. Kunnassa F q valitaan Hammingin koodin tarkistusmatriisi H niin, että sen sarakkeina ovat kaikki avaruuden F r q pareittain lineaarisesti vapaat vektorit transponoituina. Näiden lukumäärä on q r 1 q 1. Näin saadaan yhden virheen korjaava Hammingin [ qr 1 q 1, qr 1 q 1 r]-koodi H r(q). Esimerkki Kun valitaan q = 3, r = 3, qr 1 q 1 = 13, niin saadaan ternäärinen [13, 10]-koodi. Tämä koodi antaa ratkaisun seuraavalle vakioveikkausongelmalle: Kuinka monta saraketta tarvitaan, että vähintään 12 oikein on varma? Koska edellä mainittu Hammingin [13, 10]-koodi on täydellinen, niin avaruuden F3 13 jokaisen alkion 1-säteisessä ympäristössä on jokin koodisana. Täten 3 10 = saraketta riittää. 3.5 Reedin Mullerin koodit Reedin Mullerin koodit löysi vuonna 1954 D. E. Muller ja ovat siten eräitä vanhimmista koodityypeistä. Samana vuonna Irving S. Reed kehitti niille enemmistöpäätökseen perustuvan dekoodausalgoritmin. Olkoon tässä kappaleessa F = F 2 ja n = 2 m. Määritellään avaruuteen F n kertolasku koordinaateittain: ab = (a 0 b 0, a 1 b 1,..., a n 1 b n 1 ), kun a = (a 0, a 1,..., a n 1 ) ja b = (b 0,..., b n 1 ). Tällöin avaruuden F n alkiot ovat idempotentteja: a 2 = a. 22

26 Tarkastellaan m n-matriisia, jonka sarakkeina ovat lukujen 0, 1,..., 2 m 1 binääriesitykset. Olkoot v m, v m 1,..., v 1 tämän matriisin rivit. Olkoon edelleen m j = ξ ij 2 i 1, ξ ij {0, 1}, i=1 luvun j {0, 1,..., 2 m 1} binääriesitys ja A i avaruuden F m niiden alkioiden joukko, joilla on 1 kohdassa i, toisin sanoen A i = {x j F m ξ ij = 1}. Vektori v i voidaan tulkita joukon A i karakteristiseksi funktioksi (vektorin v i koordinaatti on 1 täsmälleen niille j, joille x j A i ). Jos luvut i 1, i 2,..., i k ovat erisuuria, niin vastaavasti v i1 v i2 v ik on joukon A i1 A i2 A ik karakteristinen funktio. Tämä joukko muodostuu avaruuden F m niistä alkioista, joissa on 1 kohdissa i 1, i 2,..., i k. Siten A i1 A i2 A ik = 2 m k ja on todistettu seuraava tulos. Lause Jos luvut i 1, i 2,..., i k ovat erisuuria, niin wt(v i1 v i2 v ik ) = 2 m k. Osoitetaan nyt, että nämä vektorit ja v 0 = (1, 1,..., 1) ovat lineaarisesti vapaita. Lause Joukko muodostaa avaruuden F n kannan. {v 0 } {v i1 v ik k = 1,..., m} Todistus. Väitteen vektorien lukumäärä on korkeintaan ( ) ( ) ( ) ( ) m m m m = (1 + 1) m = 2 m = n m Riittää siis osoittaa, että jokainen luonnollisen kannan vektori E j on esitettävissä annettujen vektorien lineaariyhdisteenä. Huomaa aluksi, että v 2 i = v i kaikilla i. Lisäksi vektoreiden v i muodostaman matriisin sarakkeet ovat erisuuria, joten seuraavassa tulossa komponenttia j lukuunottamatta komponenteissa esiintyy tekijänä 0. Siten ( )( E j = v i ξ ij =1 ξ ij =0 ) (v i + v 0 ) = m (v i + (1 + ξ ij )v 0 ). i=1 23

27 Määritelmä Kun 1 r m, niin 2 m -pituiseksi r:nnen kertaluvun Reedin Mullerin koodiksi eli RM-koodiksi sanotaan sitä avaruuden F 2m aliavaruutta, jonka kantavektoreina ovat v 0 ja kaikki vektorien v 1, v 2,..., v m tulot v i1 v i2 v ik, missä k r. Tälle koodille käytetään merkintää R(r, m). Nollannen kertaluvun Reedin Mullerin koodiksi R(0, m) sanotaan vektorin v 0 generoimaa toistokoodia. Lause m -pituisen r:nnen kertaluvun RM-koodin duaalikoodi on 2 m - pituinen (m r 1):nnen kertaluvun RM-koodi: R(r, m) = R(m r 1, m). Todistus. Olkoon a = v i1 v i2 v ik jokin koodin R(r, m) kantavektori, jolloin k r. Olkoon vastaavasti b = v j1 v j2 v jl jokin koodin R(m r 1, m) kantavektori, jolloin l m r 1. Nyt ab = v t1 v t2 v ts, missä s k + l m 1. Lauseen nojalla wt(ab) = 2 m s, joka on parillinen, koska s < m. Siten a b = 0 ja R(m r 1, m) R(r, m). Lisäksi dim R(m r 1, m) = i=0 m r 1 i=0 ( ) m i ( ( ) ( ) ) m m m = m r 1 ( ) ( ) ( ) m m m m = = m m 1 r + 1 i=r+1 m ( ) m r ( ) m r ( ) m = = 2 m i i i i=0 i=0 = n dim R(r, m) = dim R(r, m), joten R(m r 1, m) = R(r, m). Lause Koodin R(r, m) minimietäisyys on 2 m r. ( ) m i Todistus. Lauseen nojalla d min R(r, m) 2 m r. Osoitetaan induktiolla, että d min R(r, m) 2 m r. Kun m = 1, niin R(0, 1) = {00, 11}, joten d min R(0, 1) = 2 = Lisäksi R(1, 1) = {00, 10, 01, 11}, joten d min R(1, 1) = 1 = ja väite pätee, kun m = 1. Oletetaan sitten, että d min R(r, m) 2 m r kaikilla r = 0, 1,... m ja osoitetaan, että myös d min R(r, m+1) 2 m+1 r kaikilla r = 0, 1,... m+1. Koodi 24

28 R(0, m+1) on 2 m+1 -pituinen toistokoodi, jonka minietäisyys on 2 m+1 0. Kun r 0, niin harjoitustehtävän 24 mukaan R(r + 1, m + 1) = {(u, u + v) u R(r + 1, m), v R(r.m)}. Edelleen tehtävän 23 ja induktio-oletuksen mukaan d min R(r + 1, m + 1) min{2d min R(r + 1, m), d min R(r, m)} min{2 2 m (r+1), 2 m r } = 2 m r = 2 m+1 (r+1). Näin ollen d min R(r, m + 1) 2 m+1 r ja saadaan väite. Koodi R(r, m) on siis 2 m r 1 1 virhettä korjaava koodi. Tutkitaan nyt RM-koodien koodausta ja dekoodausta. Tarkastellaan koodia R(r, m). Jos ( ) ( ) m m M = , 1 r niin vektori a = (a 0, a 1,..., a M 1 ) on luonnollista (mutta ei systemaattista) koodata vektoriksi c = a 0 v 0 + a 1 v a M 1 v m r 1 v m. (2) Olkoon k {0, 1,..., m} ja olkoon C(i 1,..., i k ) sellaisten lukujen j = m ξ ij 2 i 1 i=1 joukko, että ξ ij = 0 kaikilla i / {i 1,..., i k }. Tällöin Lauseen todistuksen nojalla m E j = (v i + (1 + ξ ij )v 0 ), joten v i1... v ik i=1 on vektorin E j kehitelmässä täsmälleen silloin, kun m i=1 i/ {i 1,...,i k } (1 + ξ ij )v 0 = v 0, toisin sanoen täsmälleen silloin, kun ξ ij = 0 kaikilla i / {i 1,..., i k } eli j C(i 1,..., i k ). Näin ollen E j = m k=0 (i 1,...,i k ) j C(i 1,...,i k ) v i1 v i2 v ik. 25

29 Kun f = (f 0,..., f n 1 ) F n, niin n 1 f = f j E j = j=0 m ( f j )v i1 v i2 v ik. (3) k=0 (i 1,...,i k ) j C(i 1,...,i k ) Olkoon nyt f = c koodisana. Jos a s on termin v i1 v ir kerroin yhtälössä (2), niin yhtälön (3) nojalla a s = f j. (4) Jos t / {i 1,..., i r }, niin yhtälössä (3) j C(i 1,...,i r) j C(i 1,...,i r,t) f j = 0, (5) sillä kun f = c, tulossa v i1 v i2 v ik voi olla korkeintaan r tekijää. Koska C(i 1,..., i r, t) voidaan kirjoittaa pistevieraiden joukkojen C(i 1,..., i r ) ja C(i 1,..., i r ) + 2 t 1 unionina, niin yhtälöiden (4) ja (5) nojalla a s = f j, j C(i 1,...,i r)+2 t 1 kun t / {i 1,..., i r }. Tämä ylestyy induktiolla seuraavaan muotoon. Lause Jos a s on yhtälössä (2) r:n vektorin v i tulon kerroin, niin on olemassa sellainen joukon {0,..., n 1} jako 2 r alkion osajoukoiksi C 1,..., C 2 m r, että jokaisella v {1,..., 2 m r } pätee a s = j C v f j. Olkoon saatu sana x = (x 0,..., x n 1 ). Jos vektorissa x on vähemmän kuin 2 m r 1 virhettä, niin suurin osa Lauseen yhtälöistä a s = j C v x j, v = 1,..., 2 m r, on voimassa ja siten a s saadaan enemmistöratkaisulla oikein määrätyksi. Kun kaikki r:n vektorin v i tuloa vastaavat kertoimet a s on löydetty, päästään nämä termit vähentämällä R(r 1, m)-koodiin, johon voidaan toistaa sama menettely. Jatkamalla menettelyä saadaan kaikki enintään (2 m r 1 1)- painoiset virheet korjatuiksi dekoodauksessa. Hyvän virheenkorjauskykynsä johdosta R(1, m) on sopiva käytettäväksi poikkeuksellisen häiriöisissä kanavissa. Niinpä muun muassa avaruusaluksen Mariner 9 lähettäessä kuvia Marsista käytettiin tällaista 32-pituista R(1, 5)- koodia, jolloin kuvan jokaisen pisteen tummuus ilmoitettiin 64-jakoisella asteikolla (64 = 2 6, 2 6 = 1 + ( 5 1) = dim R(1, 5)). 26

30 3.6 Uusien lineaaristen koodien muodostaminen tunnetuista Määritelmä Olkoon C koodi kunnan F q suhteen. Laajennetuksi koodiksi kutsutaan koodia C = {( n ) c 1,..., c n, c k (c1,..., c n ) C }. k=1 Binääritapauksessa laajentaminen tarkoittaa pariteetintarkistusbitin lisäämistä. Tällöin myös d min C = d min C + 1, jos d min C on pariton, ja d min C = d min C muulloin. Lause Jos C on (n, M, d)-koodi kunnan F q suhteen, niin C on (n + 1, M, d 0 )-koodi, missä d d 0 d + 1. Jos C on lineaarinen, niin myös C on lineaarinen. Tällöin edelleen 0 H = H on koodin C tarkistusmatriisi, jos H on koodin C tarkistusmatriisi. Määritelmä Kunnan F q suhteen olevien [n i, k i, d i ]-koodien C i, i = 1, 2, suoraksi summaksi sanotaan koodia C 1 C 2 = {(c 1, c 2 ) c 1 C 1, c 2 C 2 }. Lause Määritelmän merkinnöin koodi C 1 C 2 on [n 1 + n 2, k 1 + k 2, min{d 1, d 2 }]-koodi. Jos G i on koodin C i generoijamatriisi, niin [ G 1 ] 0 0 G 2 on koodin C 1 C 2 generoijamatriisi lohkomuodossa. Todistus. Pituus, lineaarisuus, minimietäisyys ja generoijamatriisi ovat selviä. Dimensiota varten huomataan, että C 1 C 2 = q k 1 q k 2 = q k 1+k 2, joten koodin C 1 C 2 dimensio on log q C 1 C 2 = k 1 + k 2. Määritelmä Kunnan F q suhteen olevien [n, k i, d i ]-koodien C i, i = 1, 2, (u, u + v)-konstruktioksi kutsutaan koodia C = {(u, u + v) u C 1, v C 2 }. Lause Yllä määritelty C on [2n, k 1 + k 2, min{2d 1, d 2 }]-koodi. Jos G i on koodin C i generoijamatriisi, niin [ G 1 G 1 ] 0 G 2 on koodin C generoijamatriisi lohkomuodossa. 27

31 Todistus. Generoijamatriisia koskeva väite on selvä ja muut kohdat ovat harjoitustehtävänä 23. Seuraus Jos A on binäärinen [n, k, d]-koodi, niin C = {(c, c) c A} {(c, 1 + c) c A} on binäärinen [2n, k + 1, min{2d 1, n}]-koodi. Todistus. Valitaan Lauseessa C 1 = A ja C 2 = {0, 1}. Lause Reedin Mullerin koodi R(m 2, m) on ekvivalenttinen laajennetun Hammingin [2 m, 2 m m 1]-koodin kanssa. Todistus. Lauseen mukaan R(m 2, m) = R(1, m). Koodin R(1, m) kantavektorit ovat v 0, v 1,..., v m, ja generoijamatriisi on v m v m G =. = = 0. H v , v missä H on Hammingin koodin tarkistusmatriisi. Tästä saadaan laajennetun Hammingin koodin tarkistusmatriisi siirtämällä ensimmäinen sarake viimeiseksi. Muita tapoja muodostaa uusia koodeja annetusta [n, k]-koodista C: 1. Koordinaatin poistaminen (punkteeraus) muuttaa koodin C [n 1, k]- koodiksi, jonka minimietäisyys on tavallisesti yhtä pienempi kuin alkuperäisen koodin. 2. Paritonpainoisten sanojen poistaminen binäärisestä koodista C muuttaa sen tavallisesti [n, k 1]-koodiksi, jonka minimietäisyys voi kasvaa. 3. Vektorin 1 = lisääminen, kun 1 / C: Binäärisen koodin C ja koodin 1+C unioni on [n, k+1]-koodi, jonka minimietäisyys on min{d, n d }, missä d on pienin ja d suurin koodin C nollasta eroavien koodisanojen painoista. 4. Binäärisen koodin pidentäminen lisäämällä vektori 1 ja laajentamalla. 5. Koodin lyhentäminen: Olkoon i {1,..., n} ja α F. Otetaan vain ne koodisanat c, joissa c i = α, ja poistetaan sitten i:s koordinaatti. 28

32 4 Sykliset koodit Sykliset koodit muodostavat lineaaristen koodien alalajin, joka keksittiin noin vuonna Sen jälkeen ne ovat olleet koodausteoriassa varsin keskeisessä asemassa, koska ne ovat matemaattisesti ja teknisesti melko selkeitä, ovat helposti koodattavia ja sisältävät koodiluokkia, joille saadaan kohtuullisia dekoodausalgoritmeja. 4.1 Algebrallisia apuneuvoja Jäännösluokkarengas R n Olkoon F = F q, q = p l. Syklisten koodien yhteydessä käytetään jäännösluokkarengasta R n = F[x]/ x n 1, jonka alkiot ovat jäännösluokkia f = {f(x) + h(x)(x n 1) h(x) F[x]}. Koska deg(x n 1) = n, kappaleen 2.2 tarkastelujen mukaan jäännösluokkien edustajistoksi voidaan valita joukko {a 0 + a 1 x + + a n 1 x n 1 a i F}. Käytetään seuraavassa polynomia a 0 + a 1 x + + a n 1 x n 1 tarkoittamaan myös sen määräämää jäännösluokkaa. Asiayhteydestä käy ilmi, onko kyseessä polynomi vai jäännöluokka. Summa ja tulo määritellään renkaassa R n tuttuun tapaan edustajien avulla: Jos f(x) = a 0 + a 1 x + + a n 1 x n 1 R n ja g(x) = b 0 + b 1 x + + b n 1 x n 1 R n, niin ja f(x) + g(x) = (a 0 + b 0 ) + (a 1 + b 1 )x + + (a n 1 + b n 1 )x n 1 R n f(x)g(x) = r(x) R n, missä f(x)g(x) = h(x)(x n 1) + r(x) ja deg r n 1. Jakojäännös r(x) saadaan tulosta f(x)g(x) nopeasti huomaamalla, että renkaassa R n pätee x n = 1, x n+1 = x,... Jäännösluokkarengas R n varustettuna yhteenlaskulla ja skalaarilla, eli kunnan F alkiolla, kertomisella on vektoriavaruus kunnan F suhteen. Tämä vektoriavaruus on isomorfinen vektoriavaruuden F n kanssa ja isomorfismin välittää kuvaus a 0 + a 1 x + + a n 1 x n 1 (a 0, a 1,..., a n 1 ) = a 0 a 1... a n 1. 29