Kochen–Speckerova teorema i granice unapred određene kvantne stvarnosti
U prethodnoj plovidbi Dirakovim morem bavili smo se Belovom nejednakošću. Pokazalo se da priroda ne dozvoljava jednostavnu sliku u kojoj udaljeni kvantni sistemi samo nose unapred pripremljen skup lokalnih vrednosti, a merenje ih zatim pasivno otkriva. Eksperimentalno narušavanje Belovih nejednakosti stavilo je veoma stroga ograničenja na takvu predstavu lokalnog realizma.
Ali tu se problem ne završava.
Bell nas je vodio prema udaljenim obalama: dva sistema, dva merenja, prostorna razdvojenost i korelacije koje lokalni modeli ne mogu da reprodukuju. Kochen–Speckerova teorema postavlja još neprijatnije pitanje. Da li su nam za problem uopšte potrebna dva udaljena sistema?
Odgovor je – ne.
Teškoća se pojavljuje već unutar jednog kvantnog sistema, čim pokušamo da svim njegovim mogućim opservablama unapred pripišemo vrednosti nezavisne od načina na koji ćemo ih zajedno meriti. Upravo tu se pojavljuje pojam koji će biti centralan za ovu plovidbu: kontekst.
Kochen–Speckerova teorema predstavlja jedan od centralnih rezultata u fundamentima kvantne mehanike. U savremenom jeziku ona pokazuje sukob kvantne teorije sa modelima u kojima rezultat merenja ne zavisi od toga koja druga kompatibilna merenja izvodimo zajedno sa njim. Taj sukob danas nazivamo kvantnom kontekstualnošću.
Kada opservabla postaje deo konteksta
Nećemo se ovde vraćati na pitanje šta je operator ili zašto fizičkoj opservabli u kvantnoj mehanici pridružujemo Hermitski operator. Za ovu temu moramo pretpostaviti makar osnovno poznavanje operatorskog formalizma.
Neka kvantno stanje označimo sa
a dve opservable operatorima
Ako operatori komutiraju,
onda postoje uslovi pod kojima se njihove vrednosti mogu zajednički razmatrati i meriti. U jeziku kontekstualnosti takav skup međusobno kompatibilnih opservabli predstavlja jedan merni kontekst.
U klasičnoj fizici na ovome uglavnom nema ničeg uznemirujućeg. Telo ima masu, položaj, brzinu, ugaoni moment i druge fizičke veličine bez obzira na to kojim redosledom smo odlučili da ih istražujemo. Merenje može biti nesavršeno, može poremetiti sistem, ali prirodno pretpostavljamo da svojstva ne nastaju samo zato što smo promenili ostatak eksperimentalne aparature.
U kvantnoj mehanici ta pretpostavka više nije bezazlena.
Kochen–Speckerovo pitanje nije samo: koju ćemo vrednost dobiti? Mnogo ozbiljnije pitanje glasi: možemo li svim mogućim opservablama unapred dodeliti vrednosti tako da svaka opservabla zadrži istu vrednost bez obzira na kontekst u kome je merimo?
Na prvi pogled to izgleda kao sasvim razuman zahtev. Ako fizička veličina zaista predstavlja osobinu sistema, zašto bi njena vrednost zavisila od toga sa kojim smo drugim kompatibilnim veličinama odlučili da je posmatramo?
Upravo tu počinje problem.
Spin-1: mala konstrukcija sa velikim posledicama
Najčistiji način da se vidi suština Kochen–Speckerove teoreme jeste spin-1 sistem.
Za spin s = 1 važi poznata relacija
Istu relaciju možemo napisati za bilo koju trojku međusobno ortogonalnih pravaca x, y, z.
Kod spin-1 čestice merenje jedne komponente spina daje
pa kvadrat odgovarajuće komponente ima samo dve moguće vrednosti:
ili
Ako zbog preglednosti postavimo ℏ² = 1, dobijamo
dok istovremeno mora važiti
Zato za svaku ortogonalnu trojku pravaca moguće vrednosti moraju biti neka permutacija obrasca
Dve jedinice i jedna nula.
Na ovom mestu još nema paradoksa. Zapravo, sve izgleda gotovo klasično. Možemo pokušati sledeće: svakom mogućem pravcu u prostoru unapred ćemo pridružiti vrednost 0 ili 1. Kada kasnije izaberemo tri međusobno ortogonalna pravca, samo ćemo pročitati već postojeće vrednosti. Jedini uslov je da svaka takva ortogonalna trojka sadrži dve jedinice i jednu nulu.
Drugim rečima, pokušavamo da napravimo veliku unapred pripremljenu tabelu odgovora. Kvantni sistem ne bi morao da „odlučuje“ ništa tokom merenja. Sve bi već bilo zapisano.
Nemoguće bojenje prostora
Problem se sada može pretvoriti u geometrijski zadatak.
Zamislimo pravce u trodimenzionalnom prostoru kao tačke kojima dodeljujemo dve boje. Jedna boja predstavlja vrednost 0, druga vrednost 1. Pravilo je jednostavno: za svaku ortogonalnu trojku tačno jedan pravac mora imati vrednost 0, a druga dva vrednost 1.
Za pojedinačnu trojku to je lako. Za nekoliko trojki takođe. Ali različite ortogonalne trojke dele iste pravce. Jedan pravac koji je već dobio vrednost u jednom kontekstu mora zadržati istu vrednost kada se pojavi u drugom. Ako zahtevamo nekontekstualnost, ne možemo mu jednom dati 0, a drugi put 1 samo zato što smo promenili preostala dva pravca u eksperimentu.
I tu se mreža počinje zatvarati.
Kochen i Specker su pokazali da postoji konačan skup pravaca za koji se ovaj zadatak ne može rešiti. Originalna konstrukcija iz 1967. bila je velika, a kasnije su pronađene znatno ekonomičnije konfiguracije, ali logika rezultata ostaje ista: ne postoji globalna dodela 0 i 1 koja će istovremeno zadovoljiti sve zahteve ortogonalnosti.
To nije problem našeg neznanja. Nije problem nedovoljno pametnog algoritma. Nije problem toga što još nismo otkrili „prave“ vrednosti. Takva globalna nekontekstualna dodela jednostavno nije matematički moguća.
Upravo zbog toga je Kochen–Speckerova teorema mnogo neprijatnija nego što na prvi pogled izgleda.
Šta je zapravo izgubljeno?
Ovde treba stati, jer se od ovog trenutka veoma lako prelazi iz fizike u metafiziku.
Popularno pojednostavljenje glasilo bi:
„Kochen–Speckerova teorema dokazuje da svojstva ne postoje dok ih ne izmerimo.“
Ne.
Teorema to ne dokazuje. Ona ne dokazuje ni da fizička realnost ne postoji nezavisno od čoveka, ni da svest stvara rezultat merenja, ni da nijedna teorija skrivenih promenljivih ne može postojati.
Njena tvrdnja je uža, ali mnogo preciznija: svim kvantnim opservablama ne možemo unapred pripisati kontekstno nezavisne vrednosti koje istovremeno poštuju funkcionalne odnose koje zahteva kvantna teorija.
To je sasvim dovoljno.
Klasična slika u kojoj sistem nosi neku ogromnu tabelu svih odgovora, a eksperimentator samo bira koje će polje te tabele pročitati, više nije održiva. Ali iz toga još ne sledi da nema nikakve dublje stvarnosti. Sledi da, ako postoji, ona nije organizovana na tako jednostavan način.
Bell i Kochen–Specker: dve pukotine u istoj obali
Istorijska veza između Bela i problema kontekstualnosti veoma je zanimljiva. Bell je 1966, godinu dana pre poznatog rada Kochena i Speckera, ponovo razmatrao problem skrivenih promenljivih i pokazao koliko je važno pažljivo ispitati pretpostavke koje se kriju iza ranijih no-go argumenata.
Zbog toga se Bell i Kochen–Specker često pojavljuju veoma blizu jedan drugome u istoriji temelja kvantne mehanike. Ipak, njihove poruke ne treba poistovećivati.
Kod Bellove nejednakosti imamo udaljene sisteme, različite lokalne izbore merenja i korelacije koje prevazilaze granicu lokalnih modela skrivenih promenljivih. Kod Kochen–Speckera nije nam potrebna velika prostorna razdvojenost. Problem može nastati unutar jednog sistema. Centralno pitanje više nije prvenstveno lokalnost već mogućnost da jednoj opservabli pripišemo istu unapred postojeću vrednost u svakom kompatibilnom mernom kontekstu.
Zato se Bellova nelokalnost može posmatrati kao poseban slučaj šire ideje kontekstualnosti, ali ne i kao nešto identično Kochen–Speckerovoj teoremi.
Bell je pokazao pukotinu između udaljenih obala. Kochen–Specker je pokazao da pukotina postoji i na kopnu.
Šta fizički znači kontekst?
Ovde matematika počinje da postavlja filozofska pitanja.
Ako rezultat neke opservable nije moguće zamisliti kao jednu unapred postojeću vrednost potpuno nezavisnu od skupa drugih kompatibilnih opservabli sa kojima je merimo, onda se prirodno nameće pitanje: šta zapravo podrazumevamo pod fizičkim svojstvom?
Klasična intuicija govori da merenje treba da otkrije nešto što je već postojalo. Termometar očitava temperaturu, voltmetar napon, ampermetar struju. Naravno, svaki realni instrument utiče na sistem u određenoj meri, ali konceptualno razdvajamo svojstvo od postupka njegovog merenja.
Kochen–Speckerova teorema pokazuje da takav koncept ne možemo bez ograničenja preneti u kvantni svet. To ipak ne znači da instrument „izmišlja“ rezultat. Razlika je suptilnija.
Možda sama ideja da svaka moguća opservabla mora posedovati jednu globalno definisanu vrednost pre nego što odredimo fizički kontekst merenja predstavlja zahtev koji priroda jednostavno ne mora da ispuni. To je sasvim drugačija tvrdnja od one da realnost ne postoji.
Bohm nas ponovo upozorava da ne zaključujemo previše
Bohmova mehanika je ovde izuzetno koristan kontrolni primer.
Kada se govori o Kochen–Speckerovoj teoremi, ponekad se stvara utisak da je ona konačno uklonila svaku mogućnost skrivenih promenljivih.
Nije.
Bohmova teorija ima dodatne promenljive. Ali rezultat određenog merenja u toj teoriji može zavisiti od celog eksperimentalnog aranžmana. Ona je, dakle, kontekstualna. To joj omogućava da izbegne zabranu koju nameće Kochen–Speckerova teorema.
Naravno, Bohmova mehanika plaća druge cene, među kojima je eksplicitna nelokalnost koju smo već susreli u prethodnoj plovidbi kroz Belovu nejednakost. Ali za našu sadašnju temu ona je važna zato što sprečava jednu pogrešnu interpretaciju: Kochen–Specker ne ruši samu ideju dubljeg nivoa realnosti. Ruši nekontekstualni način na koji bismo taj dublji nivo najradije zamislili po uzoru na klasičnu fiziku.
To je velika razlika.
Kada matematička teorema uđe u laboratoriju
Ovde dolazimo na još jednu klizavu obalu.
Kochen–Speckerova teorema je matematička teorema. U tom smislu njena validnost ne čeka potvrdu nekog sledećeg eksperimenta. Ali eksperimenti mogu proveravati da li fizički sistemi zaista pokazuju operacionalne posledice kvantne kontekstualnosti.
To nije potpuno isto pitanje.
Realni eksperiment više nema idealne operatore nacrtane kredom na tabli. Ima detektore, konačnu preciznost, sekvencijalna merenja, neidealnu kompatibilnost, povratni uticaj aparature i statističku obradu rezultata.
Zbog toga je savremena teorija kontekstualnosti razvila različite eksperimentalno proverljive nejednakosti i konstrukcije, među kojima se često pojavljuju KCBS pristup, Peres–Merminove konfiguracije i druga merenja koja mogu razlikovati kvantne rezultate od određenih klasa nekontekstualnih modela.
A tu počinju i dodatna pitanja. Koliko su dva realna merenja zaista kompatibilna? Koliki poremećaj uvodi jedno merenje u sledeće? Da li eksperimentalna procedura zaista realizuje idealni kontekst o kome govori matematička konstrukcija?
Postoje i savremene tehnike koje koriste vrlo slabe interakcije između sistema i mernog uređaja kako bi se uticaj merenja smanjio. Ali tu već ulazimo u novu raspravu: šta tačno takvo „slabo“ merenje meri i koliko ontološkog značenja smemo pripisati dobijenoj vrednosti.
To je dovoljno velika tema da zaslužuje posebnu plovidbu. Za sada je dovoljno da ostavimo svetionik na toj obali.
Od Wignerovog prijatelja do relacione stvarnosti
Čitaocima koji su duže sa nama u serijalu Dirakovo more ovaj problem verovatno zvuči poznato.
Već smo nailazili na njega kroz Wignerovog prijatelja, relacionu kvantnu mehaniku, QBism, kvantni darvinizam i različite interpretacije merenja.
Kochen–Speckerova teorema ne bira pobednika između tih pristupa. Ona ne kaže da je relaciona kvantna mehanika tačna. Ne kaže da QBism predstavlja konačan odgovor. Ne potvrđuje mnoge svetove. Ne ruši Bohma.
Ali objašnjava zašto se tako različiti pristupi uopšte pojavljuju. Svi oni, na različite načine, pokušavaju da odgovore na isto neugodno pitanje: šta predstavlja fizičku činjenicu ako svet ne možemo zamisliti kao unapred popunjen katalog svih mogućih kvantnih vrednosti?
Relaciona kvantna mehanika naglašava odnose između fizičkih sistema. QBism naglašava iskustvo i očekivanja agenta. Kvantni darvinizam pokušava da objasni kako određene informacije postaju stabilne, redundantne i dostupne mnogim posmatračima, stvarajući ono što doživljavamo kao objektivnu klasičnu realnost. Bohm zadržava snažnu ontologiju, ali dopušta kontekstualnost i nelokalnost. MWI uklanja jedinstveni kolaps, ali za cenu ontologije grananja koju smo već razmatrali u drugim tekstovima.
Kochen–Speckerova teorema ne odlučuje između njih. Ona samo uklanja jedno udobno mesto na kojem smo možda želeli da ostanemo.
Šta Kochen–Speckerova teorema ne dokazuje
Vredi zato vrlo jasno povući granicu.
Ona ne dokazuje da svet ne postoji kada ga niko ne posmatra. Ne dokazuje da ljudska svest stvara realnost. Ne dokazuje da nijedna fizička veličina nema vrednost pre merenja. Ne dokazuje da je kolaps talasne funkcije objektivan fizički proces. Ne bira Kopenhagen protiv Bohma, QBism protiv MWI ili relacionu kvantnu mehaniku protiv kvantnog darvinizma. I ne pretvara fiziku u subjektivizam.
Ono što ona uklanja jeste mnogo konkretnija mogućnost: ne možemo zamisliti da sve kvantne opservable istovremeno nose unapred određene, kontekstno nezavisne vrednosti, a zatim očekivati da će te vrednosti reprodukovati strukturu kvantne teorije.
Možda zvuči skromnije od tvrdnje da „posmatrač stvara realnost“. Ali upravo zato je ozbiljnije. Ne zavisi od metafore. Zavisi od matematike.
Posmatranje sa obale nije isto što i plovidba
U klasičnom svetu možemo zamisliti idealnog kartografa koji nikada ne napušta luku. On poznaje reljef, dubinu mora, pravac vetra i položaj grebena. Ako ima dovoljno informacija, mogao bi unapred izračunati kompletnu rutu broda. Talas koji će brod sresti na određenoj tački samo je deo fizičkog sveta koji je već postojao i pre nego što je brod tamo stigao.
Kochen–Speckerova teorema nam govori da takvu sliku ne možemo jednostavno preneti na Dirakovo more. Ne možemo sedeti bezbedno usidreni u luci i unapred upisati rezultat svakog mogućeg merenja na svakoj mogućoj ruti, kao da sve te vrednosti istovremeno postoje u jednoj velikoj knjizi navigacije.
Brod mora izabrati rutu. Mora krenuti. I mora na toj konkretnoj trasi izmeriti talas koji će ga pogoditi. To ne znači da more nije bilo stvarno pre nego što smo isplovili. Ne znači ni da je brod stvorio talas svojim posmatranjem.
Ali znači da ne možemo unapred pripisati svim mogućim rutama jednu jedinstvenu, kontekstno nezavisnu zbirku rezultata i očekivati da će ona ostati konzistentna kada sve te rute pokušamo spojiti u jednu mapu. Možemo poznavati pravila mora. Možemo poznavati Hilbertov prostor. Možemo znati dozvoljene sopstvene vrednosti i veze između kompatibilnih opservabli. Ali potpuna ruta ne postoji kao jednostavan spisak unapred upisanih odgovora koji možemo pročitati sa obale.
U prethodnoj plovidbi Bell nam je pokazao da udaljene obale nisu povezane onako kako bi lokalna klasična intuicija želela. Kochen–Specker ide korak dalje. Sada ni pogled sa jedne obale nije dovoljan, jer u Dirakovom moru pitanje koje postavimo prirodi nije odvojeno od konteksta u kome smo ga postavili.
I možda je upravo tu najdublja poruka ove teoreme.
Nije dovoljno pitati kakav je svet. Moramo znati u kom kontekstu smo postavili pitanje. 🌊⚛️
Оставите одговор