Johdatus kvantti-informatiikkaan

Samankaltaiset tiedostot
Johdatus kvantti-informatiikkaan

KVANTTITELEPORTAATIO. Janne Tapiovaara. Rauman Lyseon lukio

Kvanttitietokoneet, kvanttilaskenta ja kvanttikryptografia. Kvanttimekaniikka. Kvanttimekaniikan perusperiaatteet. Kvanttimekaniikan sovelluksia

Alijärjestelmän mittaus ja muita epätäydellisiä mittauksia

KVANTTILASKENTA. Klassinen laskettavuus vs. kvanttilaskenta (QC)

Kvanttiavainjakelu (Kvantnyckeldistribution, Quantum Key Distribution, QKD)

Erityinen suhteellisuusteoria (Harris luku 2)

Kvanttilaskenta - 2. tehtävät

T Privacy amplification

Aineen ja valon vuorovaikutukset

Kvanttimekaniikan tulkinta

D-Wave kvanttitietokone; mitä se tekee?

Etsintäongelman kvanttialgoritmi. Jari Tuominiemi

Tilat ja observaabelit

LOMITTUMINEN ja KVANTTITELEPORTAATIO

MS-C1340 Lineaarialgebra ja

Puhtaiden lomittuneiden kubittien Bell-tyypin epälokaalisuus ja Gisinin teoreema

Numeeriset menetelmät TIEA381. Luento 8. Kirsi Valjus. Jyväskylän yliopisto. Luento 8 () Numeeriset menetelmät / 35

Matriisilaskenta, LH4, 2004, ratkaisut 1. Hae seuraavien R 4 :n aliavaruuksien dimensiot, jotka sisältävät vain

Tieteen popularisointi Kvanttipiirit

MS-C1340 Lineaarialgebra ja

Insinöörimatematiikka D

Puhtaiden lomittuneiden kubittien Bell-tyypin epälokaalisuudesta ja Gisinin teoreemasta

Määritelmä Olkoon T i L (V i, W i ), 1 i m. Yksikäsitteisen lineaarikuvauksen h L (V 1 V 2 V m, W 1 W 2 W m )

Tekijöihinjaon kvanttialgoritmi

Numeeriset menetelmät TIEA381. Luento 12. Kirsi Valjus. Jyväskylän yliopisto. Luento 12 () Numeeriset menetelmät / 33

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

ACKERMANNIN ALGORITMI. Olkoon järjestelmä. x(k+1) = Ax(k) + Bu(k)

Sisätuloavaruudet. 4. lokakuuta 2006

Ch7 Kvanttimekaniikan alkeita. Tässä luvussa esitellään NMR:n kannalta keskeiset kvanttimekaniikan tulokset.

LUKU 3. Ulkoinen derivaatta. dx i 1. dx i 2. ω i1,i 2,...,i k

1 Ominaisarvot ja ominaisvektorit

1. (a) (2p.) Systeemin infinitesimaalista siirtoa matkan ɛ verran esittää operaattori

Vektorialgebra 1/5 Sisältö ESITIEDOT: vektori

Tilastollinen vastepintamallinnus: kokeiden suunnittelu, regressiomallin analyysi, ja vasteen optimointi. Esimerkit laskettu JMP:llä

Stanislav Rusak CASIMIRIN ILMIÖ

MS-C1340 Lineaarialgebra ja

J 2 = J 2 x + J 2 y + J 2 z.

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

5 Ominaisarvot ja ominaisvektorit

Lineaarikuvausten. Lineaarikuvaus. Lineaarikuvauksia. Ydin. Matriisin ydin. aiheita. Aiheet. Lineaarikuvaus. Lineaarikuvauksen matriisi

(1.1) Ae j = a k,j e k.

MS-A0003/A0005 Matriisilaskenta Laskuharjoitus 2 / vko 45

Hilbertin avaruudet, 5op Hilbert spaces, 5 cr

Luento 8: Epälineaarinen optimointi

Kanta ja Kannan-vaihto

Luku 4. Derivoituvien funktioiden ominaisuuksia.

MS-A0003/A0005 Matriisilaskenta Malliratkaisut 4 / vko 47

763306A JOHDATUS SUHTEELLISUUSTEORIAAN 2 Ratkaisut 1 Kevät y' P. α φ

Matriisit ja vektorit Matriisin käsite Matriisialgebra. Olkoon A = , B = Laske A + B, , 1 3 3

Matemaattinen Analyysi

Matematiikan tukikurssi

MS-A0207 Differentiaali- ja integraalilaskenta 2 (Chem) Yhteenveto, osa I

Konsensusongelma hajautetuissa järjestelmissä. Niko Välimäki Hajautetut algoritmit -seminaari

Kvanttimekaniikka II A/S. Jani Tuorila Fysiikan laitos Oulun yliopisto

Kvanttimekaniikka: Luento 4. Martikainen Jani- Petri

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä

Tieteen popularisointi Kvanttipiirit

Kvanttidynamiikka Tarkastellaan ensin hieman bra/ket-merkintää ja vertaillaan sitä muihin merkintätapoihin.

Insinöörimatematiikka D

Paavo Kyyrönen & Janne Raassina

Kvanttiavaimen jakamiseen perustuvan salausmenetelmän (QKD) sovellukset

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

LUKU 7. Perusmuodot Ensimmäinen perusmuoto. Funktiot E, F ja G ovat tilkun ϕ ensimmäisen perusmuodon kertoimet ja neliömuoto

F dr = F NdS. VEKTORIANALYYSI Luento Stokesin lause

Aalto-yliopiston perustieteiden korkeakoulu Matematiikan ja systeemianalyysin laitos

Ajattelemme tietokonetta yleensä läppärinä tai pöytäkoneena

Lineaariset kongruenssiyhtälöryhmät

Teoreetikon kuva. maailmankaikkeudesta

ELEC C4140 Kenttäteoria (syksy 2016)

Matriisiteoria Harjoitus 1, kevät Olkoon. cos α sin α A(α) = . sin α cos α. Osoita, että A(α + β) = A(α)A(β). Mikä matriisi A(α)A( α) on?

Lukujonot Z-muunnos Z-muunnoksen ominaisuuksia Z-käänteismuunnos Differenssiyhtälöt. Z-muunnos. 5. joulukuuta Z-muunnos

3.1 Lineaarikuvaukset. MS-A0004/A0006 Matriisilaskenta. 3.1 Lineaarikuvaukset. 3.1 Lineaarikuvaukset

Osittaistuenta Gaussin algoritmissa: Etsitään 1. sarakkeen itseisarvoltaan suurin alkio ja vaihdetaan tämä tukialkioiksi (eli ko. rivi 1. riviksi).

Luento 8: Epälineaarinen optimointi

Kvanttitietokoneen toiminnan simulointi ja emulointi

ELEC-C3220 KVANTTI-ILMIÖT

Paulin spinorit ja spinorioperaattorit

1. Tarkastellaan kaksiulotteisessa Hilbert avaruudessa Hamiltonin operaattoria

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä

Kuvaus. Määritelmä. LM2, Kesä /160

LUKU 10. Yhdensuuntaissiirto

ELEC-C3220 KVANTTI-ILMIÖT

Sidotut tilat. Yliopistonlehtori, TkT Sami Kujala. Kevät Harris luku 5. Mikro- ja nanotekniikan laitos

Kuten aaltoliikkeen heijastuminen, niin myös taittuminen voidaan selittää Huygensin periaatteen avulla.

Matematiikka ja teknologia, kevät 2011

13. Ratkaisu. Kirjoitetaan tehtävän DY hieman eri muodossa: = 1 + y x + ( y ) 2 (y )

z 1+i (a) f (z) = 3z 4 5z 3 + 2z (b) f (z) = z 4z + 1 f (z) = 12z 3 15z 2 + 2

Lyhyt yhteenvetokertaus nodaalimallista SÄTEILYTURVAKESKUS STRÅLSÄKERHETSCENTRALEN RADIATION AND NUCLEAR SAFETY AUTHORITY

1. Normi ja sisätulo

Puolustusvoimien tutkimuslaitos Tutkimuskatsaus Kvanttilaskenta ja kyberturvallisuus

x = y x i = y i i = 1, 2; x + y = (x 1 + y 1, x 2 + y 2 ); x y = (x 1 y 1, x 2 + y 2 );

MATEMATIIKAN JA TILASTOTIETEEN LAITOS Analyysi I Harjoitus alkavalle viikolle Ratkaisuehdoituksia Rami Luisto Sivuja: 5

Otannasta ja mittaamisesta

Neliömatriisi A on ortogonaalinen (eli ortogonaalimatriisi), jos sen alkiot ovat reaalisia ja

Perustilan fotonit. Taneli Tolppanen. LuK-tutkielma Fysiikan koulutusohjelma Teoreettinen fysiikka Oulun yliopisto 2019

Insinöörimatematiikka D, laskuharjoituksien esimerkkiratkaisut

Insinöörimatematiikka D

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

Matriisit, L20. Laskutoimitukset. Matriisikaavoja. Aiheet. Määritelmiä ja merkintöjä. Laskutoimitukset. Matriisikaavoja. Matriisin transpoosi

Transkriptio:

Johdatus kvantti-informatiikkaan Yliopistonlehtori, TkT Sami Kujala Elektroniikan ja nanotekniikan laitos Kevät 2018

Johdanto Lukemistona esim. Nielsen & Chuang: Quantum Computation and Quantum Information Kvantti-informatiikka ja -laskenta = informaation prosessointia kvanttimekaanisten järjestelmien avulla Miten kvanttilaskenta ja klassinen laskenta eroavat toisistaan? 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 2018 Elektroniikan 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 2018 Elektroniikan ja nanotekniikan laitos

Qubiteistä ja lisää käsitteitä Toisin kuin klassinen bitti, qubitit ovat yleisesti tilassa ϕ = α 0 + β 1 Qubitti on ennen mittaamista tilassa ϕ = α 0 + β 1 Mittaustulosten esiintymistodennäköisyydet saadaan kertoimien itseisarvoista 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 Johdatus kvantti-informatiikkaan Sami Kujala Kevät 2018 Elektroniikan 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 2018 Elektroniikan ja nanotekniikan laitos

Useita qubittejä Lomittuminen (entanglement) ja 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 Qubitit ovat lomittuneessa (engl. entangled) tilassa. Avainasemassa kvanttiteleportaatioon ja supertiheään koodaukseen? Mitä tapahtuu jos Bellin tilan toisen qubitin arvo mitataan?

Lomittuneet tilat Kahden eri kvanttimekaanisen systeemin tilojen välillä on korrelaatio Systeemit voidaan erottaa ja korrelaatio säilyy silti! Einstein, Podolsky ja Rosen kirjoittivat 1935 artikkelin (Phys. Rev., 47, 777, (1935), linkki mycoursesissa) lomittumisesta Piilomuuttujateoria (hidden variable theory) = millä tavoin systeemit kommunikoivat tilansa toisilleen? Johdatus kvantti-informatiikkaan Sami Kujala Kevät 2018 Elektroniikan ja nanotekniikan laitos

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 2018 Elektroniikan ja nanotekniikan laitos

Yhden qubitin kvanttipiirit (X, Z ja H-portit) [ ] α Yhden qubitin tila: ϕ = α 0 + β 1 pystyvektori β Tilaa muuttava piiri kuvataan 2 2 matriisilla, jota kerrotaan pystyvektorilla Esim kvantti-not: [ 0 1 ] [ ] [ ] [ ] [ ] α 0 1 α β X = X = = = ϕ = β 0 + α 1 1 0 β 1 0 β α 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ä Z [ 1 0 0 1 ] (Z-portti) H 1 2 [ 1 1 1 1 ] (Hadamard-portti)

Yhden qubitin kvanttipiirit (X, Z ja H-portit) Hadamard kiertää käytettävää laskentakantaa: H 1 [ 1 1 ] 0 + 1 0 1 H(α 0 + β 1 ) = α + β 2 1 1 2 2 1 0 + 1 2 0 0 1 2

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 ϕ 2 tunnetaan, jos ja vain jos ϕ 1 tunnetaan

Kvanttitiedon kopioitavuus No-cloning theorem Sen sijaan jos tilaa ϕ 1 ei tunneta: ϕ 1 ϕ 2 = a 2 00 + ab 01 + ab 10 + b 2 11 Halutun kopioinnin tila a 00 + b 11 toteutuu vain jos ab = 0, mikä on ristiriidassa oletuksen kanssa että tuntematon tila on sekatila ϕ 1 = a 0 + b 1 Mielivaltaista kvanttitilaa ei pystytä kopioimaan Vain puhtaat tilat voi kopioida tila romahdutettu ja informaatiota hävitetty

Kvanttiteleportaatio 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, jolloin saadaan tilat β ij : 00 11 00 + 11 00 11 = β 00 10 = β 10 2 2 01 10 01 + 10 = β 11 01 = β 01 2 2

Kvanttiteleportaatio

Kvanttiteleportaatio Alice ja Bob muodostavat yhdessä EPR-parin, jonka qubitit he jakavat puoliksi keskenään ja menevä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 2018 Elektroniikan 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 2018 Elektroniikan 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 2018 Elektroniikan ja nanotekniikan laitos