Spotlight #55 – Prawdopodobieństwo, chemia i algorytmy

Wave 58 wzbogaca trzy odrębne dziedziny. W dziale prawdopodobieństwo deska Galtona uwidacznia centralne twierdzenie graniczne — wystarczy upuścić dość kulek, a krzywa normalna wyłania się z czystego przypadku. W dziale chemia reakcja Biełousowa-Żabotyńskiego pokazuje, jak układy nierównowagowe samoorganizują się w spiralne fale bez żadnego centralnego koordynatora. W dziale algorytmy maszyna Turinga krok po kroku odsłania ostateczną granicę obliczalności.

Prawdopodobieństwo Deska Galtona

🎯

Deska Galtona — rozkład dwumianowy i CTG

Upuść kulki przez n rzędów kołków (p na każde odchylenie) i obserwuj, jak B(n,p) zbiega do krzywej normalnej. Śledzenie PMF i σ na żywo.

Dlaczego powstaje krzywa dzwonowa

Droga każdej kulki przez deskę Galtona to sekwencja n niezależnych prób Bernoulliego. Przegródka, w której kulka wyląduje, odpowiada liczbie odchyleń w prawo k, która podlega rozkładowi dwumianowemu:

P(k) = C(n, k) · pᵏ · (1−p)^(n−k) średnia = np, σ = √(npq)

Centralne twierdzenie graniczne mówi, że dla dużych n suma niezależnych, jednakowo rozłożonych zmiennych losowych zbliża się do rozkładu normalnego, niezależnie od kształtu rozkładu pojedynczej zmiennej. Dla deski Galtona:

B(n, p) ──→ N(np, npq) przy n → ∞

Przy n = 4 histogram wygląda dyskretnie i nierówno. Już przy n = 12 obrys zaskakująco dobrze odwzorowuje znajomą krzywą dzwonową. Symulacja pokazuje jednocześnie dokładną PMF rozkładu dwumianowego (przerywana, pomarańczowa) oraz gładkie przybliżenie normalne (turkusowa), pozwalając obserwować zbieżność podczas przeciągania suwaka.

Galton pierwotnie użył tego, by dowieść, że cechy dziedziczne wracają do średniej populacji (stąd „regresja do średniej”), lecz ta matematyczna struktura leży u podstaw statystyki, finansów, przetwarzania sygnałów i mechaniki kwantowej.

Wypróbuj deskę Galtona →

Chemia Reakcja Biełousowa-Żabotyńskiego

🌀

Reakcja Biełousowa-Żabotyńskiego — chemiczne fale spiralne

3-stanowy automat komórkowy ośrodka pobudliwego: spoczynek → wzbudzenie → refrakcja → spoczynek, generujący samoorganizujące się fale spiralne. Kliknij, by zasiać iskry.

Chemia, która myśli sama za siebie

Gdy Boris Biełousow w 1951 roku zmieszał kwas malonowy, bromian i katalizator cerowy, spodziewał się osiągnięcia punktu równowagi. Tymczasem mieszanina zaczęła oscylować: kolor zmieniał się między żółtym a bezbarwnym, powtarzając ten cykl przez wiele minut. Jego wynik początkowo odrzucono jako niemożliwy — termodynamika zdawała się zabraniać trwałych oscylacji. Żabotyński pokazał później, w 1961 roku, że reakcja może oscylować nie tylko w mieszanej kolbie, lecz w cienkiej, niemieszanej warstwie samorzutnie tworzy koncentryczne pierścienie i fale spiralne.

Mechanizm ośrodka pobudliwego

Daleko od równowagi niektóre układy reakcyjno-dyfuzyjne zachowują się jak ośrodki pobudliwe: niewielkie zaburzenie może rozprzestrzeniać się jako samopodtrzymująca się fala. Kluczowe składniki to:

Model Greenberga-Hastingsa odwzorowuje to zachowanie za pomocą trzech stanów i prostych reguł zliczania. Asymetryczne ziarno początkowe łamie symetrię obrotową i tworzy pary spiral. Spirale obracają się z okresem zależnym od czasu refrakcji i progu wzbudzenia.

Ten sam mechanizm — ośrodek pobudliwy, ogon refrakcji, spiralny nawrót — leży u podstaw arytmii serca, frontów pożarów lasów oraz rozprzestrzeniającej się depresji korowej w mózgu.

Wypróbuj reakcję BŻ →

Algorytmy Maszyna Turinga

🖥️

Maszyna Turinga — krokowy symulator taśmy

Animowana taśma, podświetlana tabela przejść, pięć wbudowanych programów: inkrementacja binarna, dodawanie unarne, sprawdzanie palindromu, kopiowanie, zajęty bóbr.

Najprostszy możliwy komputer uniwersalny

Maszyna Alana Turinga z 1936 roku składa się zaledwie z czterech elementów: nieskończonej taśmy symboli, głowicy odczytu/zapisu, skończonego zbioru stanów oraz funkcji przejścia. A jednak ten minimalny model jest obliczeniowo równoważny każdemu nowoczesnemu komputerowi, jaki kiedykolwiek zbudowano — teza Churcha-Turinga głosi, że każdą efektywnie obliczalną funkcję można obliczyć na takiej maszynie.

Dlaczego problem stopu ma znaczenie

Turing udowodnił głęboki wynik negatywny: nie istnieje algorytm, który dla dowolnej maszyny Turinga i danych wejściowych mógłby rozstrzygnąć, czy maszyna ostatecznie się zatrzyma, czy będzie działać w nieskończoność. Ten problem stopu jest nierozstrzygalny — nie tylko trudny, lecz dowiedlnie niemożliwy do rozwiązania. Dowód wykorzystuje argument diagonalizacji: załóżmy, że istnieje rozstrzygacz H(M, w); skonstruujmy maszynę D, która uruchamia H na samej sobie i robi coś przeciwnego. D prowadzi do sprzeczności.

Ten wynik przekłada się na realne oprogramowanie: co do zasady nie da się dowieść, że program jest wolny od nieskończonych pętli, że nigdy się nie zawiesi, ani że dwa programy obliczają dokładnie tę samą funkcję. Dlatego formalna weryfikacja programów wciąż pozostaje na granicy badań naukowych.

Problem zajętego bobra

Ile jedynek może zapisać n-stanowa maszyna Turinga na pustej taśmie, zanim się zatrzyma? Funkcja zajętego bobra Σ(n) rośnie szybciej niż jakakolwiek funkcja obliczalna — jest nieobliczalna. 3-stanowy mistrz zapisuje 6 jedynek w 14 krokach. Σ(5) = 4098 (dowiedzione w 2024 roku), Σ(6) pozostaje nieznane. Wypróbuj 3-stanowego zajętego bobra w symulatorze; obserwuj, jak zapisuje jedynki w pozornie przypadkowych kierunkach, zanim zatrzyma się na zwarcie upakowanym bloku jedynek.

Wypróbuj maszynę Turinga →

Trzy dyscypliny, jeden motyw: złożoność emergentna

Wszystkie trzy symulacje z Wave 58 łączy wspólny wątek: proste lokalne reguły tworzą złożone zachowanie globalne.

Ten związek — lokalne reguły, globalna emergencja — leży w sercu nauki o złożoności i pojawia się w całej bibliotece mysimulator.uk, od automatów komórkowych i sieci neuronowych po dynamikę stad i symulacje rynków.

← Spotlight #54 Wszystkie wpisy →