Piilomuuttujateoriat ovat fysikaalisia teorioita, joiden mukaan fysikaalisen systeemin kvanttitila, sellaisena kuin se kvanttimekaniikassa esitetään, ei kuvaa systeemiä täydellisesti. Toisin sanoen piilomuuttujateorioiden kannattajien mukaan kvanttimekaniikka on lopulta epätäydellinen, ja täydellisen teorian tulisi kuvata kaikkea systeemin käyttäytymistä ja välttää täten kvanttimekaniikalle ominainen indeterminismi. Tiettyjen mittausten epätarkkuus on kvanttimekaniikan vallitseville tulkinnoille ominainen piirre, ja mittaustarkkuuden rajan osoittaa kvantitatiivisesti Heisenbergin epätarkkuusperiaate.
Piilomuuttujateorioiden kuuluisin puolestapuhuja oli Albert Einstein, joka esitti vastaväitteitä kvanttimekaniikan perustavalle todennäköisyysluonteelle[1] ja ilmaisi ajatuksensa tunnetulla lauseella: "Olen vakuuttunut siitä, että Jumala ei heitä arpaa."[2] Einstein, Podolsky ja Rosen väittivät, että kvanttimekaniikkaan oli lisättävä "todellisuuden elementit", toisin sanoen piilomuuttujat, jotta lomittumiset voitaisiin selittää ilman kaukovaikutuksia.[3] Myöhemmin Bellin teoreema osoitti, että tietyn tyyppiset lokaalit piilomuuttujateoriat ovat mahdottomia, tai tapahtumien on kehityttävä epälokaalisti. Muuan kuuluisa ei-lokaali teoria on de Broglien-Bohmin teoria.
Yleisesti hyväksytyn Kööpenhaminan tulkinnan mukaan kvanttimekaniikka on ei-deterministinen, mikä merkitsee, että se ei yleensä ennusta mittausten tuloksia varmuudella. Sen sijaan se osoittaa, millä todennäköisyydellä saadaan mikäkin tulos, ja havaittavien suureiden mittaustarkkutta rajoittaa epätarkkuusperiaate. Herää kysymys, onko kvanttimekaniikan taustalla kenties jokin syvempi todellisuus, joka olisi kuvattava perustavammalla teorialla, joka aina ennustaisi mittausten tulokset varmasti: jos jokaisen atomaarisen hiukkasen ominaisuudet tunnettaisiin tarkasti, koko systeemin kehitystä voitaisiin kuvata deterministisellä mallilla samaan tapaan kuin klassisessa fysiikassa.
Toisin sanoen on ajateltavissa, että kvanttimekaniikan tavanomainen tulkinta on epätäydellinen luonnon kuvaus. Se, mitkä muuttujat on käsitettävä taustalla oleviksi "piilomuuttujiksi", riippuu fysikaalisen kuvauksen tasosta. Esimerkiksi jos kaasua kuvataan lämpötilan, paineen ja tilavuuden käsittein, yksittäisten atomien nopeudet jäävät piilomuuttujiksi.[4]). De Broglien–Bohmin teoriaa kannattavat fyysikot väittävät, että maailmankaikkeuden havaitun todennäköisyysluonteen taustalla on deterministinen, objektiivinen perustava taso, piilomuuttujat. Toiset sen sijaan uskovat, ettei kvanttimekaniikan taustalla ole mitään syvempää determinististä tasoa — kokeet ovat osoittaneet suuren joukon piilomuuttujateorioita yhteensopimattomiksi havaintojen kanssa.
Kööpenhaminan tulkinta ei ole filosofisessa mielessä realistinen, toisin sanoen sen mukaan fysikaaliset suureet kuten hiukkasen sijainti ja liikemäärä eivät ole sellaisenaan olemassa ja kehity mittausprosessista riippumatta. Realistiset tulkinnat, jotka tietyssä määrin sisältyivät jo Feynmanin fysiikkaan, olettavat, että hiukkasilla on tietyt liikeradat. (Feynmanin diagrammit jakautuvat usein useampaan haaraan, joita ei sellaisenaan havaita; vain diagrammi kokonaisuudessaan esittää havaittavaa tapahtumaa.) Tällaisen näkemyksen mukaan nämä radat ovat melkein aina jatkuvia, mikä seuraa toisaalta valonnopeuden äärellisyydestä ja toisaalta, mikä vielä merkittävämpää, vähimmän vaikutuksen periaatteesta, jonka Dirac on tuonut kvanttimekaniikkaan. Mutta jatkuva liike jo matemaattisen määritelmänsä mukaan edellyttää determinististä liikettä ainakin tietyllä aikavälillä[5] ja niinpä realismi on modernissa fysiikassa sekin yksi syy etsiä ainakin rajoitetusta determinismiä ja näin ollen piilomuuttujateoriaa, mikäli sellainen on olemassa.
Vaikka determinismi oli alkujaan merkittävimpiä motiiveja, jotka saivat fyysikot etsimään piilomuuttujateorioita, on yritetty laatia myös ei-deterministisiä piilomuuttujateorioita, jotka nekin yrittävät selittää kvanttimekaniikan formalismin taustalla piilevää oletettua todellisuutta. Sellainen on esimerkiksi Edward Nelsonin stokastinen mekaniikka.
Kesäkuussa 1926 Max Born julkaisi Zeitschrift für Physikissä artikkelin "Zur Quantenmechanik der Stoßvorgänge" ("Törmäysilmiöiden kvanttimekaniikka"), jossa hän ensimmäisenä selvästi esitteli todennäköisyystulkinnan Erwin Schrödingerin saman vuoden alussa käyttöön ottamalle aaltofunktiolle. Born päätti artikkelinsa toteamukseen:
Tässä tulee esiin koko kysymys determinismistä. Kvanttimekaniikassa ei ole sellaista suuretta, joka jokaisessa yksittäisessä tapauksessa kausaalisesti määrittäisi törmäyksen seuraukset; mutta myöskään koetulosten perusteella ei toistaiseksi ole mitään syytä uskoa, että atomilla olisi joitakin sisäisiä ominaisuuksia, jotka määrittäisivät törmäyksen tuloksen yksiselitteisesti. Pitäisikö meidän toivoa myöhemmin löytävämme sellaiset ominaisuudet ... ja määrittää ne yksittäisissä tapauksissa. Vai pitäisikö meidän uskoa, että teorian ja koetulosten yhteensopivuus — myös mahdottomuus esittää ehdot kausaaliselle kehitykselle — on ennalta määrätty sopusointu, joka perustuu siihen, ettei sellaisia ehtoja ole? Olen itse taipuvainen hylkäämään determinismin atomien maailmassa. Mutta tämä on filosofinen kysymys, johon nähden fysikaaliset perustelut yksinään eivät ole riittäviä.
Einstein vastasi tähän:
Kvanttimekaniikka on hyvinkin huomion arvoinen. Mutta sisäinen ääni kertoo minulle, että se ei vielä ole oikeilla raiteilla. Teoria antaa paljon, mutta se tuskin johtaa meitä lähemmäksi Sen Vanhan salaisuuksia. Itse olen joka tapauksessa vakuuttunut siitä, että Hän ei pelaa arpapeliä.[6][7]
Pian lausuttuaan kuuluisan kommenttinsa "Jumala ei pelaa arpapeliä" Einstein yritti muotoilla determinstisen vastaehdotuksen kvanttimekaniikalle. Preussin tiedeakatemian kokouksessa Berliinissä 5. toukokuuta 1927 hän esitteli teoriaansa käsittelevän artikkelin "Bestimmt Schrödinger's Wellenmechanik die Bewegung eines Systems vollständig oder nur im Sinne der Statistik?" (“Määrittääkö Schrödingerin aaltomekaniikka systeemin liikkeen täydellisesti vai ainoastaan tilastollisessa mielessä?”). [8] Kun artikkeli aiottiin julkaista akatemian lehdessä, Einstein päätti kuitenkin vetää sen takaisin, mahdollisesti koska hän huomasi, että sen mukaan lomittuneiden systeemien separoitumattomuudesta ei voitu päästä eroon niin kuin hän oli toivonut. [9]
Viidennessä Solvay-konferenssissa Belgiassa lokakuussa 1927, missä olivat läsnä ajan kaikki huomattavimmat teoreettiset fyysikot, Louis de Broglie esitteli oman versionsa deterministiseksi piilomuuttujateoriaksi, ilmeisesti tietämättömänä siitä, että Einstein oli aiemmin samana vuonna yrittänyt vastaavaa. De Broglien teorian mukaan jokaiseen hiukkaseen liittyi kätketty pilottiaalto, joka ohjaa sen liikerataa avaruudessa. Konferenssissa erityisesti Wolfgang Pauli arvosteli teoriaa tavalla, johon de Broglie ei kyennyt asianmukaisesti vastaamaan. De Broglie hylkäsikin pian teoriansa.
Samassa viidennessä Solvay-konferenssissa Max Born ja Werner Heisenberg pitivät esitelmän, jossa he tekivät yhteenvedon aiheen muutaman edellisen vuoden aikana tapahtuneesta suunnattomasta kehityksestä. Esitelmänsä loppupäätelmänä he julisivat:
[V]aikka emme pidäkään .. sähkömagneettisen kentän kvanttimekaanista käsittelyä ... vielä loppuun saakka kehitettynä, pidämme kvanttimekanikkaa suljettuna teoriana, jonka perustavia fysikaalisia ja matemaattisia oletuksia ei enää voida muuttaa . ... Kysymyksestä 'kausaalilain pätevyydestä' meillä on tämä mielipide: niin kauan kuin otetaan huomioon vain kokeet, joka voidaan suorittaa tähän mennessä saadun fysikaalisen ja kvanttimekaanisen kokemuksen perusteella, oletus periaatteellisesta indeterminismistä, jota tässä pidetään perustavana, on sopusoinnussa koetulosten kanssa.[10]
Vaikka Einsteinin viidennessä Solvay-konferenssissa Bornille ja Heisenbergille esittämät vastaukset eivät ole säilyneet kirjallisessa muodossa, hänen tiedetään haastaneen kvanttimekaniikan täydellisyyden epävirallisissa keskusteluissa aterioiden aikana. Tällöin hän esitti ajatuskokeita, joiden oli määrä osoittaa, ettei kvanttimekaniikka voinut olla täydellisesti oikeassa. Samoin hän teki kuudennessa Solvay-konferenssissa vuonna 1930. Kummallakin kerralla Niels Bohrin katsotaan yleensä onnistuneesti puolustaneen kvanttimekaniikkaa löytämällä virheitä Einsteinin todisteluissa.
Bohrin ja Einsteinin väliset väittelyt huipentuivat vuonna 1935, kun Einstein lopulta esitti yleensä parhaana pidetyn todistelunsa kvanttimekaniikan täydellisyyttä vastaan. Einstein, Podolsky ja Rosen ehdottivat, että "täydellinen" kuvaus olisi määriteltävä sellaiseksi, joka yksikäsitteisesti määrittää kaikkien mitattavien ominaisuuksien arvot. Einstein esitti tällöin käytetystä todistelusta myöhemmin seuraavan yhteenvedon:
Ajatellaan mekaanista systeemiä, joka kohdistuu kahdesta rajoitetun ajan keskenään vuorovaikuttavasta osasysteemistä A ja B. Olkoon -funktio (toisin sanoen aaltofunktio ennen vuorovaikutusta annettu. Silloin Schrödingerin yhtälöstä saadaan myös -funktio vuorovaikutuksen jälkeen. Määritetään nyt fysikaalisen systeemin tila A niin tarkasti kuin mittauksilla on mahdollista. Silloin kvanttimekaniikka tekee mahdolliseksi määrittää mittaustulosten ja koko systeemin -funktion perusteella -funktio myös osasysteemille B. Tämä määritys antaa kuitenkin tuloksen, joka riippuu siitä, mitkä A:n fysikaaliset ominaisuudet (observaabelit) on mitattu (esimerkiksi koordinaatit tai liikemäärä). Koska vuorovaikutuksen jälkeen B:llä voi olla vain yksi fysikaalinen tila, jonka ei voi järkevästi katsoa riippuvan siitä, mitkä mittaukset on tehty systeemissä A, joka nyt on erillään B:stä, voidaan päätellä, että -funktio ei yksikäsitteisesti ilmoita fysikaalista tilaa. Tämä samaan systeemin B tilaan liittyvä useamman -funktion yhdistelmä osoittaa jälleen, että -funktiota ei voida tulkita yhden systeemin fysikaalisen tilan (täydelliseksi) kuvaukseksi.[11]
Bohr vastasi Einsteinin haasteeseen tähdentämällä, että komplementaarisuusperiaatteen mukaan yksi Einsteinin mittaustoimitusta koskevista oletuksista ei päde kvanttimekaniikassa: kvanttimekaaninen mittaus ei ainoastaan anna tietoa fysikaalisesta systeemistä vaan myös valmistaa sen:
Einsteinin, Podolskyn ja Rosenin [todistelu] sisältää moniselitteisyyttä siltä osin kuin se koskee ilmaisun "millään tavoin häiritsemättä systeemiä" merkitystä. ... [J]o tällä asteella [siis esimerkiksi mitattaessa lomittuneeseen pariin kuuluvaa hiukkasta] kysymys on oleellisesti juuri niistä ehdoista, joiden mukaan määräytyvät systeemin tulevaa kehitystä koskevat mahdolliset ennusteiden tyypit. Koska nämä ehdot kuuluvat osana minkä tahansa sellaisen ilmiön kuvaukseen, johon ilmaisua "fysikaalinen todellisuus" voidaan asianmukaisesti liittää, näemme, että mainitut kirjoittajat eivät ole esittäneet pätevää perustelua päätelmälleen, että kvanttimekaaninen kuvaus olisi oleellisesti epätäydellinen.[12]
Kvanttimekaniikka ei myöskään ole "lokaallinen", mikä oleellisesti johtuu siitä, että systeemin tilaa esittää Hilbertin vektori , jolla on arvonsa avaruuden jokaisessa pisteessä, . Tässä tapauksessa Einstein oli siis selvästi väärässä, vaikka hän ei tarkasti määrittänytkään sen kvanttimekaanisen formalismin seurauksia, jotka aiemmin oli jätetty huomioon ottamatta.
Myöhemmin monet teoreettiset fyysikot ovat esittäneet useita täysin toisistaan poikkeaviakin selityksiä sille, miksi Einsteinin, Podolskyn ja Rosenin todistelu ei ole pätevä.[13]
Vuonna 1964 John Bell todisti kuuluisan teoreemansa, joka osoittaa, että jos lokaaleja piilomuuttujia on olemassa, tiettyjen lomittumista koskevien kokeiden tulokset toteuttavat Bellin epäyhtälön. Jos sen sijaan lomittumisesta aiheutuvia tilastollisia korrelaatioita ei voi selittää lokaaleilla piilomuuttujilla, Bellin epäyhtälö ei toteudu. Toinen vastaavanlaisen tuloksen, jonka perusteella piilomuuttujien olemassaolo voidaan kokeellisesti selvittää, antaa Kochenin-Speckerin teoreema.
Alain Aspect, Paul Kwiat ja muutamat muut fyysikot ovat suorittaneet kokeita, jotka osoittivat, että nämä epäyhtälöt rikkoutuvat aina 242 standardipoikkeaman tasolle saakka,[14] mikä merkitsee erinomaista tieteellistä varmuutta. Täten kaikki lokaalit piilomuuttujateoriat on osoitettu vääriksi, mutta ei-lokaalit piilomuuttujateoriat ovat edelleen mahdollisia. Teoreettisesti voisi tosin olla kokeellisia ongelmia, jotka vaikuttavat tuloksen pätevyyteen.
Gerard 't Hooft on kyseenalaistanut Bellin teoreeman pätevyyden superdeterminismin perusteella ja esittänyt ehdotuksia lokaaleiksi deterministisiksi malleiksi.[15][16]
Edellyttäen, että Bellin teoreema pitää paikkansa, jokaisen deterministisen piilomuuttujateorian, joka on sovitettavissa yhteen kvanttimekaniikan kanssa, on oltava ei-lokaalinen, mikä merkitsee, että se, mitä jossakin paikassa A tapahtuu, voi välittömästi ja samanaikaisesti vaikuttaa siihen, mitä toisessa paikassa B tapahtuu, ennen kuin paikasta A valonnopeudella lähtetetty signaali ehtisi paikkaan B. Nykyisin tunnetuin tunnetuin piilomuuttujateoria, fyysikko ja filosofi David Bohmin alun perin vuonna 1952 julkaisema "kausaalinen" tulkinta, on ei-lokaalinen piilomuuttujateoria. Bohm esitti laajennettuna oleellisesti saman idean, jonka Louis de Broglie oli hänen tietämättämään esittänyt jo vuonna 1927, mutta hylännyt, ja sen vuoksi teoriaa sanotaan yleisesti "de Broglien—Bohmin teoriaksi". Bohm oletti, että on olemassa sekä kvanttihiukkanen, esimerkiksi elektroni, että sen liikettä hallitseva kätketty ohjausaalto. Niinpä tämän teorian mukaan elektronit ovat selvästi hiukkasia — kun kaksoisrakokoe suoritetaan, kunkin elektronin liikerata kulkee jommankumman raon kautta. Lisäksi rako, jonka kautta kukin elektroni kulkee, ei määräydy sattumanvaraisesti, vaan sitä ohjaa kätketty ohjaava aalto, mikä johtaa havaittuun aaltokuvioon.
Tämä näkemys ei ole ristiriidassa sen kanssa, että paikalliset tapahtumat, joita käytetään sekä klassisessa atomiteoriassa että suhteellisuusteoriassa, sillä Bohmin teoria, kuten kvanttimekaniikkakin, on yhä lokaalisti kausaalinen, toisin sanoen informaation siirtoa rajoittaa yhä valonnopeus, mutta se sallii ei-lokaalit korrelaatiot. Se korostaa holistisempaa näkemystä maailmasta, jonka eri osat ovat riippuvaisia toisistaan ja vaikuttavat toisiinsa. Itse asiassa Bohm itse korosti kvanttiteorian holisista luonnetta viimeisinä vuosinaan, kun hän kiinnostui Jiddu Krishnamurtin ajatuksista.
Bohmin tulkinnan mukaan ei-lokaali kvanttipotentiaali sisältää oletuksen kätketystä järjestyksestä, joka ohjaa hiukkasia ja joka saattaa itse olla tulos jostakin toisesta pääteltävissä olevasta järjestyksestä, superimplikaattisesta järjestyksestä, joka organisoi kenttää.[17] Nykyisin Bohmin teoriaa pidetään yhtenä monista kvanttimekaniikan tulkinnoista, joka antaa kvanttimekaanisille laskuille realistisen eikä vain positivistisen tulkinnan. Jotkut pitävät sitä yksinkertaisimpana selityksenä kvantti-ilmiöille.[18] Kuitenkin se väistämättä on luonteeltaan piilomuuttujateoria[19] Bohmin teoriaa käsitellään perusteellisimmin hänen kirjassaan, jonka Basil Hiley julkaisi hänen kuolemansa jälkeen.[20]
Mahdollisena heikkoutena Bohmin teoriassa on, että monet tutkijat kuten Einstein, Pauli ja Heisenberg ovat pitäneet sitä teennäisenä.[21] Itse asiassa Bohm itsekin oli samaa mieltä teoriansa alkuperäisestä versiosta.[22] Se oli tarkoituksella muotoiltu antamaan ennusteita, jotka kaikilta osin olivat yhtäpitävät tavanomaisen kvanttimekaniikan kanssa.[22] Bohmin alkuperäisenä tarkoituksena ei ollutkaan tehdä vakavaa vastaehdotusta vaan ainoastaan osoittaa, että piilomuuttujateoriat todella ovat mahdollisia.[22] Täten se tarjosi vastaesimerkin John von Neumannin kuuluisalle todistukselle, jonka oli yleisesti katsottu osoittavan, ettei mikään deterministinen teoria voi tuottaa kvanttimekaniikan tilastollisia ennusteita. Bohm ilmoitti, ettei hän pitänyt teoriaansa hyväksyttävänä, koska se edellytti ohjausaaltojen olevan abstraktissa moniulotteisessa konfiguraatioavaruudessa, ei normaalissa kolmiulotteisessa avaruudessa.[22] Hän toivoi, että teoria johtaisi uusiin näkemyksiin ja kokeisiin, joiden tuloksena lopulta saataisiin hyväksyttävä teoria [22]; tarkoituksena ei siis ollut esittää determinististä, mekaanista näkemystä vaan osoittaa, että oli mahdollista esittää ajatuksia taustalla piilevän todellisuuden ominaisuuksista, mitä kvanttimekaniikan tavanomainen tulkinta ei salli.[23]
Huhtikuussa 2011 Manuel S. Morales esitti American Physical Societyn kokouksessa tutkimustuloksensa, jotka hän oli jo julkaissut saman vuoden tammikuussa.[24][25] Hänen mukaansa oli olemassa yksiselitteisiä kokeellisia todisteita absoluuttisesta determinismistä. Kaksitoista vuotta kestäneessä kokeessa, joka päättyi vuonna 2012[26] Morales osoitti epäilyksettömästi, että kokeen tekijä ei voi vapaasti valita mittauksen asetuksia, koska ei ole ennalta olemassa sellaisia alkuehtoja, jotka tekisivät mahdollista valita, suoritetaanko jokin koe suoraan yhdellä potentiaalilla vai epäsuorasti useammalla potentiaalilla. Kokeita käsittelevällä verkkosivulla Morales totesi: "Valintatapahtumat voivat vain tulla olemaan, ja jotta se voisi tapahtua, niiden rakenteen on oltava luonnon sisäisten mekanismien ennalta määräämä. Tämä merkitsee, että kaksi toisensa poissulkevaa ja yhdessä kaiken kattavaa valintatekoa olisivat lokaaleja piilomuuttujia, ja niinpä nämä muuttujat eivät voi olla olemassa lokaalisti havaittavina tai mitattavina fysikaalisina tiloina. Toisin sanoen, miten teko tulee suoritetuksi, on ennalta määrätty. Sen sijaan teon olemassaolo sinänsä ei ole ennalta määrätty. Osoittautuu, että Albert Einstein oli itse asiassa oikeassa käsityksessään piilomuuttujista, jotka tarjoisivat todellisuuden täsmällisemmän kuvauksen. Sen sijaan hän oli väärässä käsityksessään siitä, miten ne voitaisiin löytää."
Elokuussa 2011 Roger Colbeck ja Renato Renner julkaisivat todistuksen, että mikään kvanttimekaniikan laajennus, käyttipä se piilomuuttujia tai ei, ei voi antaa tarkempia ennusteita kokeiden tuloksille, edellyttäen että havaintojen tekijä voi vapaasti valita mittausmenetelmät.[27] Heidän mukaansa, mikäli mittausmenetelmät voidaan vapaasti valita, kvanttiteoria todella on täydellinen.[27]
Tammikuussa 2013 Giancarlo Ghirardi ja Raffaele Romano julkaisivat mallin, joka olettamalla toisenlaisen käsityksen vapaasta valinnasta johtui tulokseen, joka kumosi Colbeckin ja Rennerin väitteen lähes kaikkien kaksijakoisten kaksitasoisten systeemien tilojen osalta tavalla, joka mahdollisesti on kokeellisesti osoitettavissa.[28]