Johdatus kvantti-informatiikkaan Yliopistonlehtori, TkT Sami Kujala Mikro- ja nanotekniikan laitos Kevät 2016
Johdanto Taustaa esim. Nielsen & Chuang: Quantum Computation and Quantum Information Kvantti-informatiikka ja -laskenta = informaation prosessointia kvanttimekaanisten järjestelmien avulla Supertiheä koodaus (superdense coding): yhteen kvanttibittiin voidaan koodata kaksi klassistä bittiä informaatiota Kvanttikryptografia: klassista informaatiota voidaan kryptata kvanttitietokoneella, lisäksi vastaanottaja tietää jos viesti on luettu matkalla Kryptauksen purku: kvanttitietokoneella voidaan purkaa salattuja viestejä Lomittuminen (entanglement): kahden kvanttimekaanisen systeemit tilat kytkeytyneet toisiinsa Johdatus kvantti-informatiikkaan Sami Kujala Kevät 2016 Mikro- ja nanotekniikan laitos
Perusteita Kvanttipiirit Kvanttialgoritmeista Kvanttitietokoneen fysikaalinen toteutus
Qubitti ja Diracin notaatio Qubitti kvanttilaskennan bitti, systeemin tila Matemaattinen otus, joka voidaan toteuttaa fysikaalisesti monilla eri tavoilla Merkinnöissä käytetään ns. Diracin notaatiota: 1 ja 0 vastaavat klassisia bittejä 1 ja 0 Bra 1 ja Ket 1 kytkeytyvät toisiinsa 1 = ( 1 ) Toisaalta merkintä 1 0 tarkoittaa tilojen sisätuloa Hilbertin avaruudessa Fysikaalisesti 1 yhdistetään kvanttimekaaniseen (ominais)tilaan φ 1, jolloin a b = φ a φ b dx ja a Ĥ b = φ a Ĥ φ b dx Johdatus kvantti-informatiikkaan Sami Kujala Kevät 2016 Mikro- ja nanotekniikan laitos
Qubiteistä ja lisää käsitteitä Toisin kuin klassinen bitti, qubitit ovat yleisesti tilassa ϕ = α 0 + β 1 Tällöin tilat 0 ja 1 nimetty laskentakannaksi (computational basis) 0 ja 1 muodostavat ortonormaalin kannan vektoriavaruuteen { 1, i = j i j = δ ij, missä δ ij = 0, i j Qubitti on ennen mittaamista tilassa ϕ = α 0 + β 1 Mittaustulosten esiintymistodennäköisyydet saadaan kertoimien itseisarvoista Johdatus kvantti-informatiikkaan Sami Kujala Kevät 2016 Mikro- ja nanotekniikan laitos
Qubitti ja informaation määrä ϕ = α 0 + β 1 Koska α 2 + β 2 = 1, voidaan tila ϕ kirjoittaa ϕ = e iγ( cos θ 2 0 + eiφ sin θ 2 1 ), missä termi e iγ voidaan jättää pois. (Miksi?) Numerot θ ja φ kuvaa pistettä ympyrällä Periaatteessa yhteen qubittiin voitaisiin koodata valtavasti informaatiota! Sitä ei voida kuitenkaan mitata miksi? Mitä jos tätä informaatiota ei mitata...? Johdatus kvantti-informatiikkaan Sami Kujala Kevät 2016 Mikro- ja nanotekniikan laitos
Useita qubittejä Bellin tila Tarkastellaan kahden qubitin muodostamaa järjestelmää Niillä on neljä tilaa laskentakannassa: 00, 01, 10 ja 11, joten ϕ = α 00 00 + α 01 01 + α 10 10 + α 11 11 Tämän erikoistapaus on ns. Bellin tila (Bell state / EPR pair): ϕ = 00 + 11 2 EPR pair: A. Einstein, B. Podolsky ja N. Rosen. Phys. Rev., 47, 777, (1935) Avainasemassa kvanttiteleportaatioon ja supertiheään koodaukseen? Mitä tapahtuu jos toisen qubitin arvo mitataan? NB: n qubitin systeemi = 2 n amplitudia: valtava määrä informaatiota!
Perusteita Kvanttipiirit Kvanttialgoritmeista Kvanttitietokoneen fysikaalinen toteutus
Kvanttipiirit ja kvanttilaskenta Muutokset qubittien kvanttitilassa = kvanttilaskenta Klassinen tietokone koostuu logiikkaporteista (logic gate) ja niitä yhdistävistä johdoista (= elektroniikkapiiri) Kvanttitietokone koostuu kvanttiporteista (quantum gate) ja johdoista (= kvanttipiiri [quantum circuit]) Tarkastellaan muutamaa yksinkertaista kvanttiporttia ja niistä muodostettua kvanttipiiriä sekä niiden sovelluksia Johdatus kvantti-informatiikkaan Sami Kujala Kevät 2016 Mikro- ja nanotekniikan laitos
Yhden qubitin kvanttipiirit Yhden qubitin tila: ϕ = α 0 + β 1 [ α ] Tilaa muuttava piiri kuvataan 2 2 matriisilla, jota kerrotaan pystyvektorilla β Esim kvantti-not: X [ 0 1 ] 1 0 [ α ] [ β ] = X = β α Ainoa vaatimus kvanttipiireille on unitaarisuus joka huolehtii normalisaation säilymisestä Unitaarinen matriisi U: U U = I, missä tarkoittaa transpoosin ja kompleksikonjugoinnin yhdistelmäoperaatiota Muita tärkeitä kvanttipiirejä [ 1 0 ] Z (Z-portti) H 1 [ 1 1 ] (Hadamard-portti) 0 1 2 1 1
Usean qubitin kvanttipiirejä Klassisten porttien prototyyppiportti on NAND-portti, josta voidaan konstruoida kaikki muut portit (AND, OR, XOR, NOR) Kvanttiporttien vastine sille on CNOT (controlled not), jonka toimintaa kuvataan matriisilla 1 0 0 0 U CN 1 0 1 0 0 2 0 0 0 1 (Controlled not -portti) 0 0 1 0 Sen toinen qubiteista on ohjausqubitti ja toinen kohdequbitti 00 00 ; 01 01 ; 10 11 ; 11 10 Mikä tahansa usean qubitin portti voidaan rakentaa yhdistämällä CNOT-portti ja yhden qubitin portteja
Perusteita Kvanttipiirit Kvanttialgoritmeista Kvanttitietokoneen fysikaalinen toteutus
Kvanttitiedon kopioitavuus No-cloning theorem Yritetäään kopioida qubittiin koodattu klassinen bitti ϕ 1 = a 0 + b 1 (a ja b ennalta tuntemattomia) Käytetään CNOT-porttia, jossa tuntematon qubitti on ohjausqubittina ja kohde on alustettu tilaan ϕ 2 0, jolloin niiden yhteistila on ϕ 1 ϕ 2 = [ a 0 + b 1 ] 0 = a 00 + b 10 Kun tähän tilaan kohdistetaan CNOT-portti, lopputuloksena saadaan ϕ 2 tunnetaan jos ϕ 1 tunnetaan
Kvanttitiedon kopioitavuus No-cloning theorem Sen sijaan jos tilaa ϕ 1 ei tunneta (laske itse) ϕ 1 ϕ 2 = a 2 00 + ab 01 + ab 10 + b 2 11 Haluttuun kopioinnin tila a 00 + b 11 toteutuu vain jos ab = 0 Kvanttitilaa ei pystytä kopioimaan Johdatus kvantti-informatiikkaan Sami Kujala Kevät 2016 Mikro- ja nanotekniikan laitos
Kvanttiteleportaatio Lomittuneet tilat (entangled states) Osoittautuu, että kvanttitietoa voidaan siirtää paikasta toiseen ilman varsinaista kvanttitilan siirtokanavaa! Sitä varten palataan Bellin tiloihin / EPR-pareihin (kahden qubitin systeemi) Otetaan kaksi qubittia, joista toinen qubitti ohjataan yhden qubitin Hadamardin porttiin, joka ohjaa kahden qubitin CNOT-porttia Toinen qubiteista on CNOT-portin kohdequbittina 00 11 00 + 11 00 11 = β 00 10 = β 10 2 2 01 10 01 + 10 = β 11 01 = β 01 2 2
Kvanttiteleportaatio Alice ja Bob muodostivat yhdessä EPR-parin, jonka qubitit he jakoivat puoliksi keskenään ja menivät omille teilleen Myöhemmin Alicen pitäisi siirtää qubitti ϕ Bobille seuraavin ehdoin: 1. Alice ei tunne tilaa ϕ mittaaminen tuhoaisi tilan ja informaatiota 2. Alice voi lähettää Bobille vain klassista informaatiota Toiminta: Alice yhdistää tilan ϕ omaan EPR-parin puolikkaaseensa ja mittaa molemmat qubitit Tulos on joku joukosta 00, 01, 10, 11 ja Alice lähettää tämän klassisen informaation Bobille Tuloksen perusteella Bob operoi omaan EPR-parin puolikkaaseensa, jolloin alkuperäinen tila ϕ saadaan takaisin Kvanttitila siirrettiin klassisen informaation ja EPR-parien avulla!
Kvanttiteleportaation yksityiskohdat Alkuperäinen tila ϕ = α 0 + β 1 yhdistetään EPR-pariin β 00, saadaan tila ϕ 0 ϕ 0 = ϕ β 00 = 1 ] [α 0 ( 00 + 11 ) + β 1 ( 00 + 11 ) 2 Vasemmalta laskien kaksi ensimmäistä qubittia on Alicella, kolmas (oikean puolimmaisin) on Bobilla NB! Kaksi oikeanpuolimmaisinta qubittia lomittuneet (entangled) keskenään EPR-parin muodostuessa Alice lähettää qubittinsä CNOT- ja Hadamard-porttien läpi sekä mittaa lopputuloksen ϕ 2 = 1 [ 00 (α 0 + β 1 ) + 01 (α 1 + β 0 ) 2 ] + 10 (α 0 β 1 ) + 11 (α 1 β 0 )
Kvanttiteleportaation yksityiskohdat Alice kertoo edellisen mittauksen tulos (00, 01, 10, 11) Bobille klassista informaatiokanavaa pitkin Bob palauttaa mittaustuloksen perusteella lähetetyn tilan kohdistamalla omaan EPR-parin puoliskoonsa sopivat kvanttiporttien operaatiot (00 ei mitään, 01 X, 10 Z, 11 ZX) Kysymyksiä 1. Voidaanko kvanttiteleportaatiolla välittää tietoa yli valonnopeudella? Miksi? 2. Rikkooko kvanttiteleportaatio kvanttitilan kloonauksen kieltävän säännön (no cloning theorem)? Miksi?
Perusteita Kvanttipiirit Kvanttialgoritmeista Kvanttitietokoneen fysikaalinen toteutus
Perusperiaatteet Kvanttitietokoneen perustoimintayksikkö on qubitti kaksitasojärjestelmä Toteuttamista varten tarvitaan vankka fyysinen toteutus qubitistä (=informaation esitystapa, representaatio) Lisäksi tarvitaan järjestelmä, jossa qubittien tila kehittyy (=miten laskenta tapahtuu) Lopuksi qubittien tila pitää pystyä valmistelemaan laskua varten, sekä mittaamaan ne jälkeenpäin Näitä perusvaatimuksia voidaan toteuttaa useimmiten vain osittain Kvanttitietokone pitää eristää ympäristöstään, jotta sen ominaisuudet säilyvät Toisaalta eristäminen estää qubittien tilan manipuloimisen ja mittaamisen Johdatus kvantti-informatiikkaan Sami Kujala Kevät 2016 Mikro- ja nanotekniikan laitos
Kvanttitietokoneen hyvyysluvut Keskeinen hyvyysluku kvanttitietokone-ehdokassysteemissä on kvanttikohina/dekoherenssi, joka sekoittaa systeemin tilojen aikaevoluution Rajoittaa pisintä laskua, jonka kvanttitietokoneella voi laskea Saadaan koherenssiajan ja unitaarimuunnokseen vaadittavan ajan suhteena Operaatiomäärä vaihtelee 1 10 3 (kvanttipiste) 1 10 14 (ydinspin) välillä [Nielsen & Chuang] Ydinspin vaikuttaa hyvältä heikon vuorovaikutuksen takia kuitenkin tila vaikea preparoida ja määrittää Muita keskeisiä hyvyyslukuja ovat tilojen fideliteetti (fidelity), systeemin entropia sekä mittauksen signaalikohinasuhde (SNR)
Esimerkki: kvanttitietokone optisista fotoneista Qubitin esitystapa: yksittäisen fotonin sijainti kahden kaviteetin välillä tai fotonin polarisaatio Kvanttiporttien toteutus: yksittäiselle fotonille vaiheen siirto ja säteenjakajat, sekä kahdelle fotonille keskinäinen vuorovaikutus kolmannen kertaluvun epälineaarisuuden kautta (keskinäinen vaihemodulaatio, cross phase modulation) Alkutilojen preparointi: yksittäisten fotonien tuottaminen (esim lasersädettä vaimentamalla) Tilojen määritys: yksittäisten fotonien havaitseminen (valomonistinputkilla) Hankaluudet: keskinäisen vaihemodulaation tuottaminen hankalaa kun yhtäaikaa absorption on oltava vähäistä (liittyvät toisiinsa) Johdatus kvantti-informatiikkaan Sami Kujala Kevät 2016 Mikro- ja nanotekniikan laitos
Muita esimerkkejä Optisen kaviteetin kvanttielektrodynamiikka (yksittäisen fotonin sijainti tai polarisaatio, vuorovaikutus optisessa kaviteetissa olevien atomien avulla) Ioniloukut (atomiytimen spin, vuorovaikutus värähtelytilojen/fononien avulla) Ydinmagneettinen resonanssi (atomiytimen spin, vuorovaikutus sidosten avulla) Johdatus kvantti-informatiikkaan Sami Kujala Kevät 2016 Mikro- ja nanotekniikan laitos