• Nessuna parola chiave trovata

Per decenni l'aumento della potenza dei computer è andata di pari
passo con la miniaturizzazione dei circuiti elettronici.
Tale miniaturizzazione, però, non può procedere all'innito e in effetti
si è fermata alle soglie del mondo microscopico, governato dalle
leggi della meccanica quantistica.
Nascono così dei nuovi dispositivi elettronici, con una potenza di
calcolo nettamente superiore a quella dei computer convenzionali: i
computer quantistici .
Così come i loro precursori anche i computer quantistici utilizzano
dei codici. Durante la trasmissione, un codice può essere soggetto
ad errori di diversa natura.
I computer convenzionali, ad esempio, devono scontrarsi con errori
di calcolo dovuti a imperfezioni di dispositivi o rumori esterni; in
quelli quantistici, invece, emergono aspetti computazionali sia di
tipo digitale che di tipo analogico.
Siamo interessati, dunque, a studiare dei codici (nel nostro caso
quantistici) che siano in grado di rilevare l'errore ed eventualmente
correggerlo.
Negli ultimi cinquant'anni è stata sviluppata una bella e potente
teoria dei codici correttori classici. Gran parte di questa teoria può
essere sfruttata nella costruzione dei codici correttori quantistici.
Gli argomenti trattati in questa tesi si inseriscono nell'area di ricerca
del settore appena descritto.
La stesura dell'elaborato si basa essenzialmente sulle relazioni tra i
codici correttori classici e i codici correttori quantistici.
2
Lo studio si espande, in particolare, nella teoria dei codici correttori
quantistici, nella loro costruzione e nell'analisi di alcuni particolari
tipi di codici correttori, noti come codici stabilizzatori.
Inne verrà spiegato come e, soprattutto, sotto quali ipotesi è possibile
costruire un codice correttore quantistico a partire da un codice correttore classico e viceversa.