Pokročilé simulace ve fyzice mnoha částic:

Transkript

1 Pokročilé simulace ve fyzice mnoha částic: Simulace složitých, nerovnovážných a kvantových jevů, NTMF024 Miroslav Kotrla & Milan Předota FZÚ AV ČR, Praha 8 oddělení teorie kondenzovaných látek JU České Budějovice Přírodovědecká fakulta ústav fyziky a biofyziky kotrla@fzu.cz predota@prf.jcu.cz

2 Navazuje na přednášku Počítačové simulace ve fyzice mnoha částic (NTMF021 ze zimního semestru), v níž byly vysvětleny základy metod Monte Carlo a molekulární dynamiky pro klasickou a rovnovážnou situaci.

3 Náročnost simulací klasické kvantové rovnovážné přímočaré obtížné nerovnovážné možné velmi těžké

4 Náročnost simulací klasické kvantové rovnovážné přímočaré obtížné nerovnovážné možné velmi těžké

5 SYLABUS TÉTO PŘEDNÁŠKY Simulace časově závislých jevů: - Diskrétní modely, modelování fraktálního růstu - sněhové vločky (DLA), šíření epidemií, požárů. - Kinetické koeficienty, časové korelační funkce, Einsteinův vztah, nerovnovážná MD, self-difúze částic v mřížovém plynu. - Celulární automaty, simulace růstu rozhraní SOS modely. - Molekulární statika výpočet minimálních energetických bariér (např. pro difúzi). - Optimalizační úlohy: simulované žíhání.

6 SYLABUS POKRAČOVÁNÍ - Kinetické MC, volba kinetiky, čas v kinetickém MC, "n-fold way" algoritmus, model adsorpcedesorpce částic na povrchu. - Simulace růstu reálných krystalů. Modelování epitaxního růstu a tvorby nanostruktur. - MC pro kvantové systémy: variační MC, - Kanonické kvantové MC, izomorfismus kvantových a klasických systémů. - Simulace z prvních principů, metoda funkcionálu hustoty, Car-Parrinelliho metoda.

7 Monte Carlo (MC) Střední hodnoty veličin jsou určeny souborovým středováním (NVT, NPT, mvt) posloupnosti konfigurací generovaných náhodně s fyzikálně určenou pravděpodobností za použití generátoru (pseudo)náhodných čísel Stochastická metoda Primárně určena pro rovnovážné simulace Posloupnost generovaných konfigurací se obecně jen podobá časovému vývoji nebo mu vůbec neodpovídá Vhodná pro spojité i diskrétní systémy, spojité i nespojité potenciály N p( r ) exp U r ; N 1 kt

8 Molekulární dynamika (MD) Modeluje realistický časový vývoj vybraného systému Dynamika diktována fyzikálními zákony Střední hodnoty veličin jsou určeny časovým středováním konfigurací Deterministická metoda Vhodná pro rovnovážné i nerovnovážné simulace Použitelná pouze pro spojité systémy, nevhodná pro nespojité potenciály d dt 2 ri 2 Fi r m i N

9 Studium časových závislostí pomocí metody Monte Carlo Kinetické Monte Carlo - střední hodnoty veličin jsou určeny jako časové středováním konfigurací - časové intervaly jsou generovaných náhodně Posloupnost generovaných konfigurací se interpretuje jako jedna realizace časového vývoje. Vhodná pro spojité i diskrétní systémy, spojité i nespojité potenciály t 1 R x ln u 0, 1

10 Modelování časově závislých jevů a) deterministicky přesný popis b) statistické simulace

11 Modelování časově závislých jevů a) deterministicky přesný popis známe nebo máme představu o všech detailech lze napsat soustavu evolučních diferenciálních rovnic (MD, časově závislé konečné elementy) např. mikroskopický pohyb atomů/molekul, rovnice proudění etc. příklad o laplaceovském růstu - Dirichletova úloha b) statistické simulace

12 Modelování časově závislých jevů a) deterministicky přesný popis známe nebo máme představu o všech detailech lze napsat soustavu evolučních diferenciálních rovnic (MD, časově závislé konečné elementy) např. mikroskopický pohyb atomů/molekul, rovnice proudění etc. b) statistické simulace dynamika známa jen přibližně, ale důležité rysy identifikavány popis pomocí stochastických rovnic (některá varianta MC) rozlišit: i. jen evoluce jako sekvence náhodných stavů ii. měření časových závislostí příklad o laplaceovském růstu - Dirichletova úloha např. DLA diffusion limited aggregation např. rychlost růstu krystalu

13 Modelování časově závislých jevů a) deterministicky přesný popis známe nebo máme představu o všech detailech lze napsat soustavu evolučních diferenciálních rovnic (MD, časově závislé konečné elementy) např. mikroskopický pohyb atomů/molekul, rovnice proudění etc. b) statistické simulace dynamika známa jen přibližně, ale důležité rysy identifikavány popis pomocí stochastických rovnic (některá varianta MC) rozlišit: i. jen evoluce jako sekvence náhodných stavů ii. měření časových závislostí příklad o laplaceovském růstu - Dirichletova úloha DLA diffusion limited aggregation další příklady: požáry, epidemie rychlost růstu krystalu

14 Laplaceovský růst, nestabilita >> fraktální objekty

15 Fraktály typy: matematické (abstraktní) fraktály přírodní objekty výsledky měření/výpočtů mnoho příkladů: Cantorova množina, Kochova křivka, mapy (profily pobřeží, síť říčních přítoků, hvězdná obloha, krátery na planetách, ) výsledky měření/výpočtů další příklady a informace např. na wikipedii: např. H. von Koch - jeden z prvních matematických fraktálů 1904, B. Mandelbrot - pojem fraktálu 1975,

16 Fraktály typy: matematické (abstraktní) fraktály přírodní objekty výsledky měření/výpočtů mnoho příkladů: Cantorova množina, Kochova křivka, mapy (profily pobřeží, síť říčních přítoků, hvězdná obloha, krátery na planetách, ) výsledky měření/výpočtů vlastnosti: 1. samopodobnost (self-similarity) 2. fraktální dimenze PROČ A JAK V PŘÍRODĚ VZNIKAJÍ?

17 první krok statický popis tj. Geometrie Euklidovská geometrie: tradiční > 2000 let založená na určité velikosti vhodná pro makroskopické lidské výtvory popsaná vzorci fraktální geometrie: nová cca 40 let žádná specifická škála vhodná pro přírodní objekty objekty jsou určeny algoritmy

18 Škálová invariance M bl g b M L Po n iteracích po sobě L n b L n n M b L g b M L g b M L n řeší g b n g b n g b b

19 Příklad samopodobnosti - krajina

20 pojem dimenze objekt rozděl na N stejně velkých částí o velikosti r fraktální dimenze:

21 Kochova křivka - rok

22 V rovině Sierpinski gasket D log3 log 2 Sierpinski carpet

23 Mnoho příkladů na internetu přírodní objekty DLA klaster vzniklý elektrodepozicí sulfátu mědi výpočet fraktální dimenze box counting

24 Sněhové vločky

25 Výbojem vytvořený fraktál High-voltage dielectric breakdown within a block of plexiglas creates a fractal pattern called a Lichtenberg figure. The branching discharges ultimately become hairlike, but are thought to extend down to the molecular level. htning.com/frame s/lichtenbergs.ht ml

26 Literatura B.B. Mandelbroad, The fractal geometry of nature, W.H. Freeman and comp., New York M. Plischke a B. Bergensen, Equilibrium statistical Physics, World Scientific, Singapore, 1994(2. vydání) K. Huang, Statistical Mechanics, John Wiley & Sons, Singapore, 1987 (2. vydání) A. -L Barabasi a H. E. Stanley, Fractal Concepts is Surface Growth, Cambridge University Press, Cambridge, A. C. Levi and M. Kotrla, Theory and simulations of crystal growth, J. Phys. Cond. Matt. 9, (1997). N. G. Van Kampen, Stochastic Processes in Physics and Chemistry, North-Holland, Amsterdam, 1981.

27 Úloha DLA) Fraktální dimenze vytvořeného klastru -Uvažujte hexagonální mřížku v rovině. Vrcholy buď jsou nebo nejsou obsazeny molekulou. -Na začátku simulace je jen jedna molekula uprostřed mřížky. -Jeden krok simulace popisuje difúzi molekuly z velké vzdálenosti až do okamžiku, kdy se usadí na povrchu vnikajícího klastu. Připojení je nevratné. -Molekula se objeví na náhodně vybraném vrcholu na obvodu mřížky. Potom molekula náhodně difunduje -- přeskakuje na libovolný sousedící vrchol do té doby, kdy dosáhne vrcholu, který sousedí s nějakým již obsazeným vrcholem. -Tento krok se pak opakuje, až se vytvoří dostatečně veliký klastr. Určete fraktální dimenzi vytvořeného klastru.

28 Algoritmus pro DLA) (difúzí omezená agregace) Witten and Sander (1981)

29 Basic algorithm: DLA on a square lattice 1. Initialize start with an immobile seed particle in the center of an otherwise empty square lattice (cluster mass M = 1, cluster radius Rmax = 1) 2. Launch a new particle place a single particle with equal probability on a circle with radius Rstart > Rmax about the center (as small as possible, e.g. Rstart = Rmax + 1) 3. Diffusion move the particle from its current position to a randomly chosen nearest neighbor (NN) site. Repeat 3 until a NN site of a cluster particle is reached, then go to step 4 4. Aggregation add the particle to the cluster, increase M by one and reevaluate Rmax. stop if the desired mass M is reached, else go to step 2.

30 Diffusion Limited Aggregation (DLA) 3. Diffusion (shortcuts) calculate the current distance r of the particle from the origin. If r < Rjump : move the particle from its current position to a randomly chosen nearest neighbor site. If Rkill>rRjump : move the particle with equal probability anywhere on a circle with radius (r Rstart) around its current position. If r Rkill : remove the particle from the lattice, go to step 2. repeat 3 until a nearest neighbor of a cluster site is reached, then go to 4.

31 Fraktální dimenze D f logn log r max

32 Diffusion Limited Aggregation (DLA) A DLA consisting about 33,000 particles obtained by allowing random walkers to adhere to a seed at the center. Different colors indicate different arrival time of the random walkers.

33 Diffusion Limited Aggregation (DLA) A DLA consisting about 33,000 particles obtained by allowing random walkers to adhere to a seed at the center. Different colors indicate different arrival time of the random walkers.

34 Diffusion limited aggregation

35 Diffusion limited aggregation (difúzí omezená agregace) A DLA klastr vzniklý při elektrodepozici z roztoku sulfatu mědi jedna z forem sněhové vločky

36 Simulace lesních požárů on line simulátory požáru na internetu: simulator požáru s ovládáním pravděpodobnosti šíření simulator požáru s nastavením větru a paliva (lesa, křoví, trávy) CA simulator požáru a růstu stromů - ovládáním pravděpodobností hoření a růstu I CA simulator požáru a růstu stromů - ovládáním pravděpodobností hoření a růstu II pěkný

37 úloha- požár Simulace lesních požárů - pokračování Uvažujte "les" na čtvercové mřížce při periodických okrajových podmínkách a simulujte následující celulární automat: Každý vrchol mřížky se může nacházet ve třech stavech: živý strom, hořící strom, spáleniště. Nová konfigurace se generuje z předchozí podle pravidel: 1. Má-li živý strom alespoň jednoho hořícího souseda (ze 4 sousedů), pak vzplane. 2. Hořící strom shoří (v následující konfiguraci se změní ve spáleniště) 3. Na spáleništi vyroste nový strom s pravděpodobností p Vyjděte z konfigurace s náhodně rozmístěnými stromy a spáleništi v poměru 1:1 a s několika náhodně umístěnými hořícími stromy. Vhodné p je několik %. Sledujte časovou závislost hustoty stromů pro různé hodnoty pravděpodobnosti p. Proveďte středování přes několik běhů, sledujte závislost a na velikosti systému. Modifikace: misto několika hořících stromů na začátku zaveďte pravděpodobnost vzniku požáru q.

38 Simulace šíření epidemií úloha - epidemie Uvažujte následující model šíření epidemie: Každý vrchol mřížky se může nacházet v jenom ze tří stavů: nakažený (N ), zdravý (Z ), imunní (I ). Aktivními vrcholy budeme rozumět nejbližší sousedy vrcholů ve stavu N, kteří sami jsou ve stavu Z. Aplikujte dále následující algoritmus: - Vyber náhodně aktivní uzel. - S pravděpodobností p jej převeď do stavu N (nakažený), jinak jej převeď do stavu I (imunní). Simulujte na čtvercové mřížce při periodických okrajových podmínkách. V počátečním konfiguraci nechť je centrální vrchol ve stavu N (nakažený) a všechny ostatní ve stavu Z (zdravý). Odhadněte kritickou hodnotu pravděpodobnosti onemocnění p c pro to, aby nákaza zachvátila celý systém, tj. aby došlo k perkolaci nákazy.

39 Celulární automaty (CA) alternativní popis samoorganizace diskrétní souřadnice i diskrétní proměnné + diskrétní čas CA mají netriviální dynamické chování jednodušší než modely samoorganizace s diferenciálními rovnicemi CA jsou jednodušší, proto umožňují detailnější analýzu přesto velká rozmanitost komplikovaných jevů Historické pozn.: 1963 von Neumann a Ulam zavedli jako idealizaci biologických systémů ( cellular spaces ) s cílem modelování samoprodukce postupně zaváděny v dalších oblastech pod různými jmény 1983 Wolfram Rev. Mod. Phys. 55, 601 (1983)

40 Celulární automaty (CA) Formalizace: CA určen zadáním možných stavů a dynamických pravidel Stav: Pravidlo: pravidelné uspořádání konečného počtu buněk, každá buňka může být v některém z konečného počtu stavů pole buněk indexované indexem i, obvykle mříž L v d dimenzích stav buňky je popsán hodnotou diskrétní proměnné s i z konečné množiny stavů S lokální pravidlo evoluce v diskrétním čase t t +1 pro každé i definuj určité okolí O(i ) množina buněk v okolí buňky i pro každé i z L nová hodnota s i (t+1) = F({s} O(i) (t))

41 Celulární automaty - typy Různé typy: deterministické nebo stochastické podle charakteru pravidla synchronní (paralelní) asynchronní sekvenční (tj. po řadě) s náhodným výběrem podle množiny stavů S binární, speciálně S = {0, 1} q stavů

42 Celulární automaty - aplikace Používají se různých oblastech: dopravní problémy vývoj rozhraní hydrodynamika hrubý popis proudění tekutin, tj. řešení Navierových-Stokesových rovnic modelování biologické evoluce studium imunologie transport částic řešení Boltzmannovy rovnice studium samoorganizovaných kritických jevů etc. etc.

43 Celulární automaty - počet Počet automatů velmi rychle roste s dimenzí! např. nechť O(i ) jsou jen nejbližší sousedé a samotná buňka i se nepočítá, pak počet sousedů je K = 2d uvažujme binární automat, pak počet konfigurací v okolí buňky je N C = 2 K ( pro q stavů N C = q K ), C je množina konfigurací pravidlo: zobrazení množiny C stavů do množiny hodnot S počet pravidel je: N P = 2 N c = K 2 2 d N C 2 2 = = = 64 N P = > Je-li zahrnut počáteční uzel, pak K = 2d +1 a počet automatů roste s dimenzí ještě rychleji. K v případě q stavů N P q q

44 CA může záviset i na původní buňce. d = 1, K = 3 (i-1, i, i+1) N C = 2 3 = 8 N P = 2 8 = 256 Pro analýzu lze využít symetrie, pak je jen 32 různých pravidel.

45 Celulární automaty - klasifikace V roce 1983 prozkoumal všechny automaty pro 1D a K=3 Wolfram, Rev. Mod. Phys. 55, 601 (1983). v případě q stavů N P q q K obecně klasifikace CA podle a) typu vývoje b) stability k poruše

46 Modelování evoluce koevoluce mnoha živých organizmů stejné složitosti Hra života game of life, dvoustavový, dvourozměrný CA cca 1970, (britský matematik John Conway) vznikl před Wolframovým článkem! Buňky jsou obsazené nebo neobsazené organizmem, tj jsou živé nebo mrtvé. CA s K = 8, tj. 8 sousedů na čtvercové mřížce Pravidla: 1. Každá živá buňka s méně než dvěma živými sousedy zemře. 2. Každá živá buňka se dvěma nebo třemi živými sousedy zůstává žít. 3. Každá živá buňka s více než třemi živými sousedy zemře. 4. Každá mrtvá buňka s právě třemi živými sousedy oživne. Konfigurace se skládají z: stabilních elementů periodických vzorů pohybujících a měnících se strukrur

47 Hra života vývoj konfigurací CA K = 8

48 Hra života vznik nových klastrů pomocí děla wikipedia: game of life

49 Vlastnosti hry života Vývoj na vzorku L x L vždy dosáhne stacionárního stavu s cca 3 % živých buněk - atraktor. Proces je samoorganizující se. Potřebný čas t rel ~ L 1/2. Proveďme poruchu stavu: jednu mrtvou buňku změňme na živou buňku. Následně se dosáhne obecně jiný stacionární stav. Změna se může lavinovitě šířit přes celou konfiguraci. Měříme velikost S laviny změn.

50 Vlastnosti hry života Vývoj na vzorku L x L vždy dosáhne stacionárního stavu s cca 3 % živých buněk - atraktor. Proces je samoorganizující se. Potřebný čas t rel ~ L 1/2. Proveďme poruchu stavu: jednu mrtvou buňku změňme na živou buňku. Následně se dosáhne obecně jiný stacionární stav. Změna se může lavinovitě šířit přes celou konfiguraci. Měříme velikost S laviny změn. n S S, 1,3 Existence mocninné závislosti implikuje, že není žádná typická velikost laviny! 3d varianta na youtube

51 Samoorganizovaná kritikalita self-organized criticality (SOC) BTW (Per Bak, Chao Tang and Kurt Wiesenfeld) model 1987 P. Bak, C. Tang a K. Wiesenfeld, Physical Review Letters 59 (4): , (1987). Samoorganizovaný kritický systém je disipativní systém spontánně se vyvíjející do stacionárního stavu s korelacemi na všech škálách. Příklady: hromádky sypaného písku stékající kapky na skle sněhové laviny pohyb zemských desek-zemětřesení vznik zácp v dopravě evoluce etc.

52 Pískové kupy

53 BTW model (Per Bak, Chao Tang and Kurt Wiesenfeld) z x, y 0 stav: soubor nezáporných celých čísel na 2 D mřížce pravidla: na náhodně vybraný uzel se uloží částice. z x, y libovolný uzel s se zvětší na z x, y 4 je nestabilní při dosažení nestability nastane redistribuce: z x, y z x, y 4 z x, y 1 z x 1, y z x 1, y 1 z x, y 1 z x, y 1 1 Vznik nestabilit se může řetězit.

54 Vznikají laviny změn Velikost laviny S se měří jako počet zasažených uzlů po přidání jedné částice.

55

56 Experimentální měření lavin skutečného materiálu

57 Rozdělení lavin pro rýžové kupy Křivky pro různé realizace Přeškálované křivky ukazují, že jev je univerzální.