🧠 Termodynamika spotyka teorię informacji: demon Maxwella i zasada Landauera

Dwie entropie, jeden wzór

Entropia Boltzmanna to S = k_B · ln(W), gdzie W to liczba mikrostanów zgodnych z obserwowanym makrostanem, a k_B = 1,38 × 10⁻²³ J/K to stała Boltzmanna. Dla gazu w pudle W zlicza liczbę sposobów rozmieszczenia wszystkich cząsteczek przy zachowaniu tej samej całkowitej energii, objętości i liczby cząstek. Wysokie W (wiele mikrostanów) oznacza wysoką entropię — układ jest „rozproszony" w przestrzeni fazowej.

Entropia informacyjna Shannona to H = −Σ p_i · log₂(p_i), gdzie p_i to prawdopodobieństwa każdego możliwego symbolu wiadomości. H jest maksymalna, gdy wszystkie symbole są równie prawdopodobne (maksymalna niepewność co do wiadomości), i wynosi zero, gdy jeden symbol ma prawdopodobieństwo równe 1 (pełna pewność). Shannon pokazał, że H jest jedyną funkcją spełniającą naturalny zestaw aksjomatów dla pomiaru niepewności.

Oba wzory są identyczne z dokładnością do stałej: wystarczy zastąpić log₂ przez ln i pomnożyć przez k_B, by przekształcić entropię Shannona w entropię Boltzmanna. To nie jest jedynie formalne podobieństwo — obie wielkości mierzą to samo: liczbę mikrostanów zgodnych z naszą wiedzą o makrostanie. Entropia fizyczna JEST entropią informacyjną dotyczącą położeń i pędów cząsteczek.

Demon Maxwella: naruszenie drugiej zasady?

W 1867 roku James Clerk Maxwell zaproponował eksperyment myślowy mający podważyć drugą zasadę termodynamiki. Wyobraź sobie pudło z gazem podzielone przegrodą z małymi drzwiczkami. Maleńki „demon" kontroluje drzwiczki i potrafi obserwować pojedyncze cząsteczki zbliżające się do nich. Demon pozwala szybkim cząsteczkom przechodzić z lewej strony na prawą, a wolnym — z prawej na lewą, systematycznie przenosząc energię kinetyczną z prawej komory do lewej. Po pewnym czasie lewa strona staje się gorąca, a prawa zimna — gradient temperatury powstaje bez wykonania żadnej pracy. Wydaje się to naruszać drugą zasadę.

Przez dziesięciolecia fizycy proponowali różne rozwiązania. Leo Szilard (1929) pokazał, że sam akt pomiaru przez demona, które cząsteczki są szybkie, a które wolne, wymaga pozyskania informacji, a to pozyskanie informacji musi kosztować entropię równoważną spadkowi entropii, który wywołuje. Jednak argument pozostawał niejasny co do tego, gdzie dokładnie pojawia się ten koszt entropii.

Zasada Landauera: skasowanie bitu kosztuje energię

Praca Rolfa Landauera z 1961 roku dała precyzyjną odpowiedź. Sam pomiar może być termodynamicznie odwracalny — demon z nieograniczoną pamięcią może obserwować cząsteczki, nie rozpraszając ciepła. Nieodwracalnym krokiem jest kasowanie pamięci demona. Aby powtarzać proces w cyklu, demon musi w końcu zresetować swoje rejestry pamięci do znanego stanu (skasować stare pomiary). To kasowanie jest logicznie nieodwracalne: wiele stanów wejściowych odwzorowuje się na jeden stan wyjściowy (stan „skasowany"). Zgodnie z twierdzeniem Liouville'a (objętość przestrzeni fazowej jest zachowana w mechanice hamiltonowskiej) logicznie nieodwracalne operacje muszą gdzieś zwiększać entropię — a rozproszone ciepło wynosi:

Q_kasowania ≥ k_B · T · ln(2)  na każdy skasowany bit

W temperaturze pokojowej (T = 300 K) jest to około 2,9 × 10⁻²¹ dżula na bit — wartość niewyobrażalnie mała, ale fundamentalna. Demon, kasując swoją pamięć, by powtórzyć proces, rozprasza co najmniej tyle samo ciepła, ile wynosi spadek entropii, który sam wywołuje. Druga zasada zostaje ocalona — lecz koszt zostaje przypisany dokładnie kasowaniu informacji, a nie pomiarowi.

Zasada Landauera potwierdzona eksperymentalnie

W 2012 roku Antoine Bérut i współpracownicy z ENS Lyon eksperymentalnie potwierdzili zasadę Landauera, wykorzystując cząstkę koloidalną w optycznej pułapce z dwiema studniami potencjału. Położenie cząstki kodowało jeden bit (lewa studnia = 0, prawa studnia = 1). Skasowanie bitu (wymuszenie przejścia cząstki do lewej studni niezależnie od stanu początkowego) uwalniało ciepło rzędu kT·ln(2) na kasowanie — z dokładnością do 5% od granicy Landauera, co potwierdziło zasadę w temperaturze pokojowej z precyzją pojedynczego bitu.

To ustanawia fundamentalną termodynamiczną granicę dla obliczeń. Skasowanie bitu kosztuje co najmniej kT·ln(2) ≈ 0,017 eV w temperaturze pokojowej. Współczesne tranzystory rozpraszają ~1000 razy więcej na operację przełączania — wciąż jesteśmy daleko od granicy Landauera. Jednak w miarę jak chipy zbliżają się do nanoskali oraz do architektur obliczeń odwracalnych, zasada Landauera będzie coraz bardziej ograniczać projektowanie układów.

Obliczenia odwracalne i termodynamika algorytmów

Jeśli kasowanie kosztuje energię, a samo obliczenie — nie, to logicznie odwracalne obliczenia — w których każde wyjście jednoznacznie wyznacza wejścia — mogą w zasadzie być termodynamicznie darmowe. Charles Bennett (1973) pokazał, że każde obliczenie można uczynić logicznie odwracalnym, zachowując wszystkie wyniki pośrednie (tak, by wyjścia jednoznacznie wyznaczały wejścia). Bramka Toffoliego, bramka CNOT i bramka Fredkina to uniwersalne odwracalne bramki logiczne o zerowym koszcie termodynamicznym na operację (w zasadzie).

Koszt termodynamiczny algorytmu jest proporcjonalny nie do czasu jego działania, lecz do liczby wykonywanych kasowań bitów — do ilości odrzucanej informacji. Algorytmy sortujące, które odrzucają informację (porównania, których wyniki nie są zachowywane), płacą cenę termodynamiczną. Istnieją w pełni odwracalne algorytmy sortowania, ale wymagają O(n log n) dodatkowych bitów pomocniczych do przechowania wszystkich porównań, które trzeba w końcu skasować — koszt powraca podczas sprzątania.