Tämä diplomityö käsittelee optiikan motivoimaa operaattoriteoriaa. Optiikan kannalta tarkastellaan optisia järjestelmiä, jotka rakentuvat samalla optisella akselilla sijaitsevista linsseistä. Fysikaaliselta kannalta optiikkamme on pääsääntöisesti Fourier-optiikkaa, joka ottaa huomioon valon diffraktiivisen aaltoluonteen, mutta tarkastelemme myös sädeoptiikkaa, joka ei tähän kykene. Fourier-optiikan operaattoriteoriassa tarvitaan L2(Rn):n integraalioperaattoreita. Tarkastellaan siis integraalioperaattoreita funktioavaruuksissa. Esitellään Fockin funktioavaruus, ja käydään läpi integraalioperaattoreiden ominaisuuksia tällä funktioavaruudella. Sekä Fourier-optisten operaattorien että sädeoptiikassa esiintyvien matriisien joukot ovat ryhmiä. Täten työssä käydään läpi myös ryhmäteoriaa. Erityisen sijan saa symplektisten matriisien ryhmä Sp(2n,R). Tämän todetaan olevan sädeoptiikassa esiintyvien operaattoreiden ryhmä ja sitä tarkastellaan mm. Lien ryhmänä. Todistetaan lisäksi mille tahansa symplektiselle matriisille pätevä algebrallis-konstruktiivinen matriisihajotelma yksinkertaisiin generaattoreihin. Tällainen hajotelma ei sellaisenaan ole tekijän tietämyksen mukaan tunnettu. Vihdoin ryhmien yhteydessä tarkasteltua esitysteoriaa, integraalioperaattoreiden yhteydessä tarkasteltua Fockin funktioavaruutta ja sen teoriaa käytetään metaplektisen esityksen konstruoimiseen. Metaplektinen esitys on ryhmärakenteen säilyttävä yksi kahteen kuvaus sädeoptisen symplektisen matriisiryhmän ja Fourier-optisen integraalioperaattoreiden ryhmän välillä. Lisäksi lasketaan aiemmin todistetun algebrallis-konstruktiivisen hajotelman mukaisten generaattoreiden kuvat tässä esityksessä.
Tämä diplomityö käsittelee optiikan motivoimaa operaattoriteoriaa. Optiikan kannalta tarkastellaan optisia järjestelmiä, jotka rakentuvat samalla optisella akselilla sijaitsevista linsseistä. Fysikaaliselta kannalta optiikkamme on pääsääntöisesti Fourier-optiikkaa, joka ottaa huomioon valon diffraktiivisen aaltoluonteen, mutta tarkastelemme myös sädeoptiikkaa, joka ei tähän kykene. Fourier-optiikan operaattoriteoriassa tarvitaan L2(Rn):n integraalioperaattoreita. Tarkastellaan siis integraalioperaattoreita funktioavaruuksissa. Esitellään Fockin funktioavaruus, ja käydään läpi integraalioperaattoreiden ominaisuuksia tällä funktioavaruudella. Sekä Fourier-optisten operaattorien että sädeoptiikassa esiintyvien matriisien joukot ovat ryhmiä. Täten työssä käydään läpi myös ryhmäteoriaa. Erityisen sijan saa symplektisten matriisien ryhmä Sp(2n,R). Tämän todetaan olevan sädeoptiikassa esiintyvien operaattoreiden ryhmä ja sitä tarkastellaan mm. Lien ryhmänä. Todistetaan lisäksi mille tahansa symplektiselle matriisille pätevä algebrallis-konstruktiivinen matriisihajotelma yksinkertaisiin generaattoreihin. Tällainen hajotelma ei sellaisenaan ole tekijän tietämyksen mukaan tunnettu. Vihdoin ryhmien yhteydessä tarkasteltua esitysteoriaa, integraalioperaattoreiden yhteydessä tarkasteltua Fockin funktioavaruutta ja sen teoriaa käytetään metaplektisen esityksen konstruoimiseen. Metaplektinen esitys on ryhmärakenteen säilyttävä yksi kahteen kuvaus sädeoptisen symplektisen matriisiryhmän ja Fourier-optisen integraalioperaattoreiden ryhmän välillä. Lisäksi lasketaan aiemmin todistetun algebrallis-konstruktiivisen hajotelman mukaisten generaattoreiden kuvat tässä esityksessä.
Tutkielman aluksi kerrataan kvanttiteorian perusteet. Tämän jälkeen annetaan yksinkertaiset esimerkit diskreeteistä ja ääretönulotteisista systeemeistä ja niiden matematiikasta. Ääretönulotteisille systeemeille muodostetaan jatkuva faasiavaruusformalismi käyttäen Lien algebrojen ja ryhmien teoriaa. Määritellään gaussiset tilat ja tarkastellaan niiden vahvuuksia ja heikkouksia faasiavaruusformalismin sekä kvanttiinformaation sovelluksien kannalta. Johdetaan Wignerin funktio usealle esimerkille sekä käydään läpi Williamsonin ja Blochin-Messiahin matriisihajotelmat ja niiden merkitys gaussisiin tiloihin ja -operaatioihin liittyen. Määritellään ei-gaussiset tilat ja esitellään joitain niiden karakterisointiin käytettyjä mittoja ja tilojen kvanttiresursseja. Esimerkkien kautta tarkastellaan miten fotoneja lisäämällä tai poistamalla gaussisesta tilasta voidaan saavutaa Wignerin funktion negatiivisuutta omaava ei-gaussinen tila. Lisättyjen ja poistettujen fotonien tiloja tutkitaan tarkemmin käyttäen apuna Wickin todennäköisyyslausetta ja graa_teoriaa. Selvitetään miten näiden tilojen operaattorimomenttien laskeminen voidaan antaa graa_n hafnianin muodossa. Tunnistetaan yhteys hafnianin laskemiseen liittyvän uniikkien termien määrän osaongelman ja graa_en nimeämisiin liittyvien ongelmien välillä. Lopuksi tehdään yhteenveto käsitellyistä aiheista ja pohditaan miten esiin tulleet asiat ja käytetty matematiikka voisivat vaikuttaa jatkossa kvanttialgoritmien kehitykseen.
Viime vuosina on tutkittu paljon onttojen optisten kuitujen soveltumista neutraalien atomien liikkeen ohjaamiseen. Merkittävän ongelman monimuotokuitujen kohdalla muodostaa eri kenttämuotojen interferenssistä aiheutuva muotokohina, jonka seurauksena kuidun sisäpinnalle ilmestyy pimeitä alueita. Nämä tekevät atomien ohjaamiseen tarvittavasta optisesta potentiaalista spatiaalisesti erittäin epähomogeenisen. Jos lasersäteen sisääntulokulmaa kuitenkin moduloidaan riittävän nopeasti, kuidussa etenevät atomit näkevät aikakeskiarvoistetun efektiivisen potentiaalin, joka voi olla hyvinkin tasainen. Tässä diplomityössä esitetään edellä mainitun värähtelymenetelmän perusteellinen analyysi. Työn alussa ratkaistaan onton optisen monimuotokuidun etenevät kenttämuodot sekä niiden kenttäjakaumat kuidun ulostulopäässä, myös optisella lähialueella. Tämän jälkeen tutkitaan, miten syttyvien kenttämuotojen joukko riippuu tulevan lasersäteen sisääntulokulmasta, sen vyötärön leveydestä ja kohdistuksesta onton kuidun päätyyn. Saatuja tuloksia käytetään edelleen vaimenevan kentän muotokohinaltaan tasoitetun intensiteettiprofiilin konstruointiin. Osoittautuu, että alimman lineaarisesti polarisoituneen kenttämuodon sylinterisymmetrisen ulostulojakauman intensiteetti keskittyy voimakkaasti kuidun akselille optisessa lähikentässä. Täten se soveltuu kylmien atomien "työntämiseen" kuidun sisälle. Korkeampien kenttämuotojen ulostulojakaumat ovat pimeitä kuidun akselilla, ja niitä voidaan siten käyttää onttojen lasersäteiden tuottamiseen ja atomien siirtämiseen kuidun sisälle myös optisesta kaukokentästä. Gaussisen lasersäteen osuessa keskelle onton kuidun aukkoa, syttyvien kenttämuotojen joukko riippuu ainoastaan säteen sisääntulokulmasta, mutta ei juurikaan sen vyötärön koosta. Kun tuleva säde kohdistetaan kuidun ytimeen, tämä joukko määräytyy voimakkaasti kenttämuotojen radiaalisen osan perusteella, jos sisääntulokulma on kuidun ja säteen muodostaman systeemin symmetriatasossa. Sisääntulokulman olleessa tätä tasoa vastaan kohtisuorassa suunnassa, kenttämuodot syttyvät puolestaan niiden kulmariippuvan osan määrääminä. Kun lasersäteen sisääntulokulmaa moduloidaan em. symmetriatasoa vastaan kohtisuorassa suunnassa, vaimenevan kentän tasoitetussa jakaumassa saavutetaan matalin muotokohinan kontrasti. Symmetrisessä tapauksessa muotokohinan kontrasti ei koskaan saavuta tällaista paikallista minimiä, mutta intensiteetin keskiarvo voi tässä tapauksessa olla kuidun sisäpinnalla kaksikin kertaa niin suuri kuin symmetrian rikkovassa tapauksessa. Saadut tulokset osoittavat, että muotokohinaa voidaan tasoittaa huomattavasti enemmän, kuin mitä tähän mennessä ainoassa raportoidussa kokeellisessa työssä on esitetty.
Kvanttilaskennan eräs ongelma on kvanttisysteemien herkkyys ulkopuolisille vaikutuksille, eli dekoherenssille. Tämä tekee systeemin koherenssista resurssin, jota voidaan käyttää suorittamaan haluttuja toimintoja. Tutkielma alkaa johdannolla lineaarialgebraan ja kvanttimekaniikan perusteisiin, jotta kvanttilaskentaa voidaan mallintaa. Tätä seuraava osuus käsittelee kvanttilaskentaa ja alkaa esittelemällä kubitit, korostaen näiden ja klassisten bittien eroavaisuuksia. Lisäksi esitellään intuitiivinen tapa ajatella yksittäisiä kubitteja, Blochin pallo. Osio jatkuu esittelemällä kvanttiportit jälleen korostaen näiden eroavaisuuksia klassisisiin portteihin. Tämän jälkeen käsitellään kvanttilaskennan erittäin oleellinen eroavaisuus klassisen laskennan välillä, nimittäin mittaus, joka muuttaa alla olevan kvanttisysteemin tilaa ja täten vaikuttaa kvanttilaskennan tulokseen, mikäli mittaus tehdään kesken laskennan. Osuus päätetään esittelemällä yleisesti käytetty tapa mallintaa kvanttilaskentaa, kvanttipiirit. Kolmannessa osiossa kehitellään kvanttilaskennalle universaalien kvanttiporttien käsite. Tarkastelu aloitetaan kaksitasoisilla matriiseilla, jotka myöhemmin samaistetaan kvanttiportteihin. Osiossa myös kehitellään Blochin pallosta intuitiota kvanttiportteja vastaaviin kiertoihin. Tämän jälkeen esitetään tapa luoda mikä tahansa yhden kubitin portti kahdella kierrolla. Seuraavaksi osoitetaan, että tällaisella porttijoukolla ja kontrolloidulla NOT-portilla voidaan luoda mikä tahansa kvanttiportti. Lopuksi muodostetaan universaali porttijoukko. Lopuksi käydään koherenssin resurssiteoriaa. Ensiksi käydään vaaditut valmistelut kvanttioperaattoreista ja kvanttisysteemin entropiasta, jota varten esitellään von Neumannin entropia. Tämän jälkeen erotellaan kvanttisysteemin epäkoherentit tilat ja operaatiot koherenteista tiloista ja operaatioista sekä osoitetaan, että epäkoherenteilla operaatioilla ja yhdellä maksimaalisesti koherentilla kubitilla voidaan luoda mikä tahansa kvanttiportti. Lopuksi todistetaan, että systeemin tiheysmatriisin ja tiheysmatriisin diagonaalin välinen suhteellinen entropia on koherenssimitta.
Tässä kirjallisuuskatsauksena toteutetussa tutkielmassa tarkastellaan ionisoivan säteilyn vaikutuksia kvanttitietokoneiden elektroniikkaan. Tutkielman tavoitteena on selvittää, miten ionisoiva säteily vaikuttaa suprajohtaviin kubitteihin ja millaisia virheitä se aiheuttaa kvanttilaskennassa. Lisäksi tutkielma käsittelee kvanttilaskennan kannalta olennaisia käsitteitä ja fysikaalisia ilmiöitä, jotka ovat välttämättömiä aiheen tieteellisemmän käsittelyn kannalta. Erityisesti perehdytään kosmisesta säteilystä peräisin olevien myonien ja ympäristön radioaktiivisten alkuaineiden hajoamistuotteina syntyvien γ-säteiden vaikutuksiin suprajohtavassa kubitissa. Tutkielmassa huomataan ionisoivan säteilyn aiheuttavan kvanttilaskennassa relaksaatio-, vaihe-ero- ja korreloituja virheitä, mutta erityisesti korreloitujen virheiden aiheuttavan haasteita virheenkorjausmenetelmissä. Tutkielmassa myös käsitellään virheenkorjausmenetelmiä ja ratkaisuja säteilysuojaukseen. Tutkielman perusteella voidaan todeta ionisoivan säteilyn vaikutusten ymmärtämisen olevan tärkeää vikasietoisen kvanttilaskennan kehittämiseksi. Tulokset osoittavat myös, että tarvitaan lisätutkimusta korreloitujen virheiden suojausmekanismien kehitykseen.
Tässä tutkielmassa käydään läpi, miten interferenssikuvio muodostuu kaksoisrakokokeessa ja miten kuvio muuttuu, kun määritetään hiukkasen kulkema reitti. Tutkielmassa esitellään kaksoisrakokokeen koeasetelma sekä johdetaan kvanttimekaniikan avulla interferenssikuviota vastaavan intensiteettijakauman yhtälö, mikä matemaattisesti selittää interferenssikuvion syntymisen. Interferenssikuvion muuttumiselle esitetään kaksi tapaa, jotka eivät kuitenkaan ole toisiaan poissulkevia. Kun hiukkaset kulkevat kohti kahta rakoa, niiden tilaa kuvaavat aaltofunktiot diffraktoituvat raoissa kahteen osaan. Osat interferoivat toistensa kanssa vahvistaen ja heikentäen toisiaan, mikä lopulta näkyy interferenssikuviona varjostimella. Mitattaessa ilmaisimella, kummasta raosta hiukkanen kulkee, ilmaisin ja hiukkanen lomittuvat, mikä estää hiukkasen aaltofunktioiden välisen interferenssin. Tällöin interferenssikuviota ei synny, vaan varjostimella näkyy kaksi juovaa rakojen kohdilla. Toisen tulkinnan mukaan lomittumisessa osa hiukkasista saa liikemääräpotkun, jolloin niiden hiukkasten interferenssikuvio on eri vaiheessa toisten hiukkasten kuvioon verrattuna. Tällöin kuviot kumoavat toisensa ja varjostimella nähdään kaksi juovaa.
TiivistelmäTutkimuksen avulla selvitettiin, mitä malleja opettajat ja opettajaopiskelijat käyttävät selittäessään kvantti-ilmiöitä ja -olioita Joensuun fysiikan ja matematiikan laitoksen fysiikan opettajalinjan syventäviin opintoihin kuuluvan Modernia fysiikkaa opettajille -kurssin aikana.Käsiteltyjä kvantti-ilmiöitä ovat mustan kappaleen säteily sekä valosähköinen ja Comptonin ilmiö; kvanttiolioista tarkastellaan elektronia ja fotonia.Lisäksi tutkittiin, miten osallistujat kokevat kurssin ja käytetyn tavanomaisista yliopistofysiikan opetusmenetelmistä poikkeavan, osallistujien ennakkotietoa hyödyntäville tehtäville rakentuvan opetuksen lähestymistavan.Modernia fysiikka opettajille -kurssi toteutettiin tutkimuksen aikana kahdesti.Ensimmäiselle kurssille osallistuneista kahdeksasta opiskelijasta seitsemän opiskeli fysiikkaa ja yksi matematiikkaa pääaineenaan.Kurssi toteutettiin kontaktiopetuksena, jossa luentoja ja harjoituksia oli kuusi viikkotuntia yhdeksän viikon ajan.Toisen kurssin osallistujat olivat fysiikan pätevöittämiskoulutuksessa opiskelevia työssä olevia aineenopettajia.Opetus järjestettiin monimuoto-opetuksena, joka koostui kuukausittaisesta neljän tunnin lähiopetuksesta sekä etäopiskelusta.Kaikkineen kurssi kesti yhdeksän kuukautta.Tutkija toimi molempien kurssien opettajana.Tutkimustehtävän vastaukset muodostettiin tapaustutkimuksen tutkimustraditiota hyödyntävästi.Olihan tutkimuksen tavoitteena aineenopettajien ja opettajaopiskelijoiden kvanttifysiikan oppimisprosessien syvällinen ymmärtäminen.Tutkimuksessa raportoidaan kahden tapausopiskelijan ja kahden tapausopettajan oppimisprosessit.Näitä lähtökohdiltaan erilaisia tapausoppijoita haastateltiin 4-5 kertaa kurssin aikana, minkä lisäksi he osallistuivat esi-ja lopputesteihin.Aineiston analysointia varten audio-ja videonauhoitetut haastattelut digitoitiin ja litteroitiin.Oppijoiden esille tuomien käsitysten ja mallien analysointi suoritettiin fysiikan näkökulmasta käsin.Muodostetut tulokset osoittavat, että tutkimuksen kohteena olleet henkilöt eivät käyttäneet jäsentyneesti ja johdonmukaisesti tieteellisiä malleja.Usein oppijoiden kvantti-ilmiöiden ja -olioiden kuvaamiseen käyttämät mallit muodostuivat useiden erillisten mallien ominaisuuksista: mallit olivat niin sanottuja hybridimalleja.Erityisesti ongelmana vaikutti olevan klassisten ja kvanttimallien sekoittuminen, joten oppijoiden esittämien mallien voidaan sanoa olevan eriytymättömiä.Mallin soveltamisen vaikeudet saattoivat johtua mallin ja todellisuuden välisen suhteen ymmärtämisen ongelmista, ja myös mallista kohteeseen siirtyvien ominaisuuksien hahmottaminen osoittautui erääksi kvanttifysiikan oppimisen ongelmakohdaksi.Lisäksi oppijan aiemman klassisen ja kvanttifysiikan tiedon epäkoherenssi vaikeutti uuden tiedon omaksumista.Toimimattomista malleista tai periaatteista luopuminen näyttää olevan oppijalle vaativa prosessi, joka vaatii oppijalta omien mallien metatason tarkastelua.Aineenopettajien ja opettajaopiskelijoiden suhtautuminen kurssiin ja sen menetelmiin oli pääosin myönteistä.Opettajilta tehtävien varaan rakentuva opetus sai sekä kiitosta että moitetta: opetusmenetelmän koettiin positiivisessa mielessä pakottavan perehtymään opiskeltaviin aiheisiin, mutta se koettiin myös työlääksi.Sekä opettajat että opiskelijat korostivat omakohtaisen pohtimisen tärkeyttä kurssin aiheiden oppimisessa.Opettajaopiskelijat arvostivat myös opetuksen vaihtelevuutta.Tulokset osoittavat, että fysiikan opettajaopinnoissa ja täydennyskoulutuksessa on todellinen kvanttifysiikan erikoiskurssin tarve.Tutkimukseen osallistuneiden opettajaopiskelijoiden ja aineenopettajien kvantti-ilmiöiden ja -käsitteiden hallinta oli vaatimatonta tasoa aiempien, perinteisten kvanttifysiikan kurssien jälkeen, mutta se parani selvästi kurssilla.Tutkimuksen tulokset myös muistuttavat oppijoiden ennakkotiedon huomioimisen tärkeydestä opetuksessa.Fysiikan opintojensa loppuvaiheessa olevilla opiskelijoilla kuten myös kokeneilla opettajilla voi esiintyä tieteellisen näkemyksen vastaisia käsityksiä.Myös heidän aiempi sisältöä koskeva tietonsa voi olla puutteellista.Tutkimuksen mukaan myös vaikeana pidetyn kvanttifysiikan opetuksessa on mahdollista päästä hyviin oppimistuloksiin lähtemällä liikkeelle oppijoiden ennakkotiedoista, tukemalla oppijoiden metakognitiivisten taitojen kehittymistä ja huomioimalla fysiikan malliluonne.Mainittuja tekijöitä voidaan pitää myös yleisinä laadukkaan fysiikan opetuksen kulmakivinä.