Spójne historie

Spójne historie (ang. consistent histories) – podejście interpretacyjne do mechaniki kwantowej, w którym prawdopodobieństwa przypisuje się nie pojedynczym własnościom układu, lecz całym sekwencjom zdarzeń kwantowych, nazywanym historiami. Podejście bywa nazywane także consistent quantum theory, a w bliskim wariancie również decoherent histories („historie dekoherentne”)^[1][2]. Prawdopodobieństwa takie mają sens tylko dla rodzin historii spełniających odpowiedni warunek spójności albo dekoherencji, dzięki któremu można stosować zwykłe reguły rachunku prawdopodobieństwa^[1][2].

Podejście to zostało zaproponowane przez Roberta B. Griffithsa w 1984 roku, a następnie rozwijane m.in. przez Rolanda Omnèsa oraz przez Murraya Gell-Manna i Jamesa Hartle’a^[3][4][5]. Jego celem jest sformułowanie standardowej mechaniki kwantowej bez traktowania pomiaru i kolapsu funkcji falowej jako odrębnych, fundamentalnych procesów. W tym sensie spójne historie są interpretacją standardowego formalizmu, a nie konkurencyjną teorią dającą inne przewidywania eksperymentalne^[1][6].

Nazwa consistent histories podkreśla warunek, że rozważane alternatywy muszą tworzyć rodzinę, w której nie pojawiają się interferencyjne składniki psujące klasyczne reguły sumowania prawdopodobieństw. W literaturze spotyka się też określenia consistent quantum theory oraz decoherent histories. Nie zawsze są one używane identycznie: w wielu tekstach „spójne” i „dekoherentne” historie oznaczają ten sam ogólny program, natomiast w bardziej technicznych ujęciach historie dekoherentne bywają traktowane jako szczególny, mocniej związany z dekoherencją wariant tego podejścia^[1][2].

Spójne historie zachowują strukturę przestrzeni Hilberta, operatory i dynamikę znaną ze standardowej mechaniki kwantowej. Zmiana dotyczy przede wszystkim tego, jak formułuje się zdania o układzie i kiedy wolno przypisywać im prawdopodobieństwa. Zamiast pytać, „co naprawdę działo się” niezależnie od wybranego opisu, podejście to bada, które rodziny pytań są wzajemnie zgodne i mogą razem tworzyć sensowny opis fizyczny^[1][6].

W ujęciu spójnych historii stan kwantowy opisuje własności fizycznego układu, a ewolucja stanu pozostaje zgodna z równaniem Schrödingera lub innym właściwym równaniem dynamiki. Teoria nie jest deterministyczna: nawet dla ustalonego stanu początkowego przypisuje ogólnie tylko prawdopodobieństwa alternatywnym historiom. Trzecie, charakterystyczne założenie głosi, że układ kwantowy nie ma jednego, absolutnego opisu obejmującego naraz wszystkie możliwe pytania^[2].

To ostatnie założenie uogólnia ideę komplementarności znaną z tradycji kopenhaskiej. Różne rodziny historii mogą być poprawnymi opisami tego samego układu, ale nie wolno dowolnie mieszać zdań należących do niezgodnych rodzin. Program nie twierdzi więc, że każda możliwa sekwencja projekcji tworzy klasyczną historię. Przeciwnie, jednym z jego głównych zadań jest wskazanie, kiedy takie klasyczne rozumowanie jest dozwolone, a kiedy prowadzi do sprzecznych lub pozornych pytań^[1][6].

Historia jest uporządkowaną czasowo sekwencją zdań o układzie kwantowym. W najprostszym przypadku są to zdania postaci: „w chwili ${\displaystyle t_{1}}$ układ ma własność ${\displaystyle P_{1}}$, w chwili ${\displaystyle t_{2}}$ ma własność ${\displaystyle P_{2}}$” itd. Własności te reprezentuje się przez operatory rzutowe działające w przestrzeni Hilberta układu. Jednorodną historię można więc zapisać schematycznie jako^[1][2]:

${\displaystyle H_{i}=(P_{i,1},P_{i,2},\ldots ,P_{i,n}).}$

Indeks ${\displaystyle i}$ oznacza jedną z możliwych historii, a kolejne projekcje odnoszą się do kolejnych chwil. Dla pełnego zestawu alternatyw w danej chwili projekcje powinny być wzajemnie ortogonalne i sumować się do jedności, tak aby opisywały wykluczające się możliwości. Złożona historia jest więc kwantowym odpowiednikiem klasycznego zdania złożonego z wielu następujących po sobie stwierdzeń^[1][6].

Warianty bardziej abstrakcyjne dopuszczają także historie niejednorodne, czyli logiczne kombinacje historii jednorodnych. Do badania takiej struktury Christopher Isham i współpracownicy rozwinęli formalizm operatorów projekcji historii (HPO), w którym zdania o różnych chwilach traktuje się w bardziej jednolity sposób logiczny. Na poziomie wprowadzającym wystarcza jednak intuicja, że historia jest uporządkowanym zbiorem projekcji opisujących możliwy przebieg układu^[7].

Dla danej historii wprowadza się operator klasy, będący czasowo uporządkowanym iloczynem projekcji w obrazie Heisenberga. Dla historii jednorodnej ma on postać^[1][2]:

${\displaystyle C_{H_{i}}=P_{i,n}(t_{n})\cdots P_{i,2}(t_{2})P_{i,1}(t_{1}).}$

Operator klasy zbiera informację o całej sekwencji zdarzeń. Jeśli stan początkowy układu opisuje macierz gęstości ${\displaystyle \rho }$, to wyrażenia złożone z operatorów klasy pozwalają badać, czy różne historie interferują ze sobą. W formalizmie historii problem przypisania prawdopodobieństwa nie sprowadza się zatem do pojedynczego aktu pomiaru, lecz do kontroli wzajemnych relacji między całymi alternatywnymi przebiegami^[1][6].

Rodzina historii ${\displaystyle \{H_{i}\}}$ jest spójna, jeżeli pozadiagonalne składniki funkcjonału dekoherencji znikają lub są pomijalne. W jednej z często spotykanych postaci warunek ten zapisuje się jako^[1][2]:

${\displaystyle \operatorname {Tr} \left(C_{H_{i}}\rho C_{H_{j}}^{\dagger }\right)=0\quad {\text{dla }}i\neq j.}$

Jeżeli warunek jest spełniony dokładnie, mówi się o spójności silnej. Jeżeli składniki interferencyjne są praktycznie zaniedbywalne, mówi się o spójności przybliżonej albo dekoherencji. Sens fizyczny jest taki, że alternatywne historie z tej samej rodziny nie zakłócają się w sposób uniemożliwiający stosowanie zwykłej logiki probabilistycznej. Gdy warunek nie jest spełniony, pytania o jednoczesne prawdopodobieństwa takich historii są w tym ujęciu źle postawione^[1][2].

Dla spójnej rodziny prawdopodobieństwo historii ${\displaystyle H_{i}}$ definiuje się przez^[1][2]:

${\displaystyle p(H_{i})=\operatorname {Tr} \left(C_{H_{i}}\rho C_{H_{i}}^{\dagger }\right).}$

W obrębie jednej spójnej rodziny tak zdefiniowane wielkości spełniają klasyczne aksjomaty prawdopodobieństwa. Można więc dodawać prawdopodobieństwa wykluczających się alternatyw, rozważać warunkowanie i prowadzić rozumowania podobne do klasycznych. Nie wolno jednak przenosić zdań z jednej rodziny do innej, jeżeli rodziny te są niezgodne. To ograniczenie jest jednym z głównych elementów interpretacyjnych programu^[1][6].

Griffiths sformułował tzw. regułę pojedynczego schematu opisu (ang. single framework rule). Zgodnie z nią poprawne rozumowanie kwantowe powinno pozostawać w jednej rodzinie spójnych historii. Nie oznacza to, że tylko jedna rodzina jest „prawdziwa”. Oznacza natomiast, że mieszanie niezgodnych rodzin prowadzi do pozornych paradoksów i do zdań, którym formalizm nie przypisuje wspólnego sensu probabilistycznego^[1][6].

Regułę tę można rozumieć jako uściślenie intuicji, że nie wszystkie klasyczne pytania dają się równocześnie zastosować do jednego układu kwantowego. W doświadczeniu z dwiema szczelinami jedna rodzina historii może służyć do opisu rozkładu trafień na ekranie, a inna do opisu alternatywy „lewa szczelina albo prawa szczelina”. Jeżeli rodziny te nie są spójne, pytanie łączące oba opisy tak, jakby były jednym klasycznym scenariuszem, nie jest w tym podejściu dopuszczalne^[1][2].

Spójne historie nie wprowadzają kolapsu funkcji falowej jako osobnego procesu fizycznego. Pomiar jest analizowany jako szczególny przypadek oddziaływania między układem, aparaturą i środowiskiem. Jeżeli odpowiednia rodzina historii obejmująca stan aparatury staje się spójna, można przypisać prawdopodobieństwa różnym zapisom wyniku bez zakładania, że akt obserwacji ma status fundamentalnie odmienny od innych procesów^[1][8].

W tym sensie podejście to jest blisko związane z dekoherencją. Dekoherencja wyjaśnia, dlaczego w układach makroskopowych interferencje między pewnymi alternatywami stają się praktycznie niedostrzegalne, a zwykłe klasyczne wnioskowanie działa z bardzo dobrą dokładnością. Spójne historie dostarczają natomiast formalnego języka do powiedzenia, kiedy taki opis jest dozwolony i jakie pytania można wtedy łączyć w jednym rachunku prawdopodobieństwa^[2][8].

Jednym z motywów rozwijania historii dekoherentnych była potrzeba opisu układów zamkniętych, w tym całego Wszechświata, gdzie nie można odwołać się do zewnętrznego obserwatora wykonującego pomiar. Gell-Mann i Hartle stosowali język historii do formułowania pytań o klasyczne zachowanie się układów w kosmologii kwantowej oraz o warunki, w których z kwantowej dynamiki mogą wyłaniać się efektywne klasyczne równania ruchu^[5][9].

W takim zastosowaniu historia nie jest zapisem tego, co zaobserwował konkretny eksperymentator, lecz możliwym opisem przebiegu całego układu. Ma to omijać trudność tradycyjnych sformułowań, które mówią o pomiarze wykonywanym na układzie, ale nie wyjaśniają, jak stosować ten język do sytuacji, w której „układem” jest całość rozważanej fizycznej rzeczywistości^[5][2].

Spójne historie są często używane do reinterpretacji klasycznych paradoksów kwantowych. W paradoksie Einsteina-Podolsky’ego-Rosena oraz w dyskusjach o stanach splątanych podejście to podkreśla, że nie wolno łączyć w jednym rozumowaniu własności odpowiadających niezgodnym rodzinom projektorów. Pozorna możliwość przypisania jednocześnie wielu klasycznych własności może wynikać z użycia opisów, które osobno są poprawne, ale nie tworzą jednej wspólnej rodziny^[1][6].

W prostszych sytuacjach, takich jak obiekty makroskopowe o dobrze określonych położeniach, odpowiednie rodziny historii są dzięki dekoherencji bardzo dobrze spójne. Dlatego pytanie o położenie zwykłego przedmiotu w kolejnych chwilach może być praktycznie traktowane klasycznie. Program spójnych historii ma więc wyjaśniać nie tylko to, dlaczego pewne kwantowe pytania są niedozwolone, lecz także dlaczego ogromna część codziennego i laboratoryjnego rozumowania klasycznego pozostaje skuteczna^[2][8].

Spójne historie są bliskie tradycji kopenhaskiej w tym, że uznają ograniczenia nakładane przez niezgodne opisy kwantowe. Różnią się jednak od wielu tradycyjnych sformułowań kopenhaskich tym, że starają się nie traktować aparatury pomiarowej lub obserwatora jako pojęć pierwotnych. Pomiary mają być szczególnymi historiami fizycznymi, a klasyczny opis aparatury ma wynikać z dekoherencji i spójności, a nie z osobnego postulatu^[1][8].

Podejście to różni się również od interpretacji wielu światów. Nie utożsamia alternatywnych historii z realnie rozgałęziającymi się światami, lecz traktuje je jako elementy dopuszczalnych opisów probabilistycznych. Griffiths podkreślał, że pytanie o to, która rodzina historii naprawdę zachodzi, jest nieporozumieniem: rodziny historii są narzędziami opisu rzeczywistości, a nie dodatkowymi bytami konkurującymi o status jedynego pełnego obrazu^[1][6].

Zwolennicy spójnych historii uważają, że podejście to daje bardziej precyzyjny język do mówienia o pomiarze, klasyczności i granicach rozumowania kwantowego. Omnès przedstawiał je jako logiczne uściślenie mechaniki kwantowej, w którym klasyczne fakty doświadczalne można rozumieć przez spójne rodziny historii, a reguła redukcji stanu traci status fundamentalnego procesu fizycznego^[8][1].

Krytycy zwracają uwagę, że formalizm dopuszcza zwykle wiele wzajemnie niezgodnych rodzin historii. Powstaje wtedy pytanie, czy podejście rzeczywiście wyjaśnia, dlaczego w danej sytuacji należy użyć jednej konkretnej rodziny, czy tylko przesuwa problem na wybór schematu opisu. Adrian Kent i Jim McElwaine argumentowali, że bez dodatkowej reguły wyboru zbioru historii formalizm nie daje w pełni określonego algorytmu przewidywania, które historie należy traktować jako fizycznie właściwe^[10].

Obrońcy programu odpowiadają, że żądanie jednej uprzywilejowanej rodziny jest samo w sobie dziedzictwem klasycznego sposobu myślenia. Według nich różne spójne rodziny mogą odpowiadać różnym poprawnym pytaniom o ten sam układ, a zakaz ich mieszania jest nie wadą formalizmu, lecz konsekwencją kwantowego sposobu opisu. Spór ten sprawia, że spójne historie pozostają rozpoznawalną, technicznie rozwiniętą, ale nie powszechnie przyjętą interpretacją mechaniki kwantowej^[1][2].

• dekoherencja kwantowa
• kopenhaska interpretacja mechaniki kwantowej
• problem pomiaru