3. Simulaatioiden statistiikka ja data-analyysi

Samankaltaiset tiedostot
Integrointialgoritmit molekyylidynamiikassa

LASKENNALLISEN TIETEEN OHJELMATYÖ: Diffuusion Monte Carlo -simulointi yksiulotteisessa systeemissä

STOKASTISISTA PROSESSEISTA JA SIMULAATIOMENETELMISTÄ

Numeeriset menetelmät TIEA381. Luento 12. Kirsi Valjus. Jyväskylän yliopisto. Luento 12 () Numeeriset menetelmät / 33

Aikariippuva Schrödingerin yhtälö

1 + b t (i, j). Olkoon b t (i, j) todennäköisyys, että B t (i, j) = 1. Siis operaation access(j) odotusarvoinen kustannus ajanhetkellä t olisi.

Monissa fysiikan probleemissa vaikuttavien voimien yksityiskohtia ei tunneta

TILASTOLLISEN KVANTTIMEKANIIKAN PERUSTEITA (AH ) Mikrotilat (kertausta Kvanttimekaniikan kurssilta)

FYSA2031 Potentiaalikuoppa

FYSA234 Potentiaalikuoppa, selkkarityö

6. Yhteenvetoa kurssista

Lakkautetut vastavat opintojaksot: Mat Matematiikan peruskurssi P2-IV (5 op) Mat Sovellettu todennäköisyyslaskenta B (5 op)

Numeeriset menetelmät TIEA381. Luento 6. Kirsi Valjus. Jyväskylän yliopisto. Luento 6 () Numeeriset menetelmät / 33

FYSA234 Potentiaalikuoppa, selkkarityö

Markov-kustannusmallit ja kulkuajat

Esimerkki: Tietoliikennekytkin

3.6 Feynman s formulation of quantum mechanics

Kuva 3.1: Näyte Gaussisesta valkoisest kohinasta ε t N(0, 1) Aika t

Signaalimallit: sisältö

Dynaamisten systeemien teoriaa. Systeemianalyysilaboratorio II

STOKASTISET PROSESSIT Peruskäsitteitä

805324A (805679S) Aikasarja-analyysi Harjoitus 4 (2016)

Y (z) = z-muunnos on lineaarinen kuten Laplace-muunnoskin

Numeeriset menetelmät TIEA381. Luento 5. Kirsi Valjus. Jyväskylän yliopisto. Luento 5 () Numeeriset menetelmät / 28

1 WKB-approksimaatio. Yleisiä ohjeita. S Harjoitus

Shorin algoritmin matematiikkaa Edvard Fagerholm

FYSA242 Statistinen fysiikka, Harjoitustentti

[4A] DIFFERENTIAALIYHTÄLÖT 1. Alkuarvotehtävät

Varatun hiukkasen liike

Mikrotila Makrotila Statistinen paino Ω(n) 3 Ω(3) = 4 2 Ω(2) = 6 4 Ω(4) = 1

8. Klassinen ideaalikaasu

Kon Simuloinnin Rakentaminen Janne Ojala

S Fysiikka III (EST) Tentti ja välikoeuusinta

Probabilistiset mallit (osa 2) Matemaattisen mallinnuksen kurssi Kevät 2002, luento 10, osa 2 Jorma Merikoski Tampereen yliopisto

ẋ(t) = s x (t) + f x y(t) u x x(t) ẏ(t) = s y (t) + f y x(t) u y y(t),

Kevät Kirsi Valjus. Jyväskylän yliopisto Tietotekniikan laitos

FUNKTIONAALIANALYYSIN PERUSKURSSI Johdanto

Varatun hiukkasen liike

Markov-ketjut pitkällä aikavälillä

Aineaaltodynamiikkaa

Dynaamisten systeemien identifiointi 1/2

TEKNILLINEN KORKEAKOULU Systeemianalyysin laboratorio. Mat Systeemien Identifiointi. 4. harjoitus

Vapaan hiukkasen Schrödingerin yhtälö (yksiulotteinen)

S Laskennallisen tieteen erikoiskurssi. Antti Kuronen Teknillinen korkeakoulu Laskennallisen tekniikan laboratorio PL TKK

x = ( θ θ ia y = ( ) x.

Numeeriset menetelmät

T Rinnakkaiset ja hajautetut digitaaliset järjestelmät Stokastinen analyysi

MATLAB harjoituksia RST-säädöstä (5h)

T Rinnakkaiset ja hajautetut digitaaliset järjestelmät Stokastinen analyysi

Lukujonot Z-muunnos Z-muunnoksen ominaisuuksia Z-käänteismuunnos Differenssiyhtälöt. Z-muunnos. 5. joulukuuta Z-muunnos

Markov-ketjut pitkällä aikavälillä

FYSA241/K1. Juha Merikoski ja Sami Kähkönen (1999,2005) Janne Juntunen (2006) ja Vesa Apaja (2006-)

Statistinen fysiikka, osa A (FYSA241)

6. Differentiaaliyhtälösysteemien laadullista teoriaa.

Harjoitustyö 3. Heiluri-vaunusysteemin parametrien estimointi

infoa tavoitteet E = p2 2m kr2 Klassisesti värähtelyn amplitudi määrää kokonaisenergian Klassisesti E = 1 2 mω2 A 2 E = 1 2 ka2 = 1 2 mω2 A 2

Ch7 Kvanttimekaniikan alkeita. Tässä luvussa esitellään NMR:n kannalta keskeiset kvanttimekaniikan tulokset.

Missä mennään. systeemi. identifiointi. mallikandidaatti. validointi. malli. (fysikaalinen) mallintaminen. mallin mallin käyttötarkoitus, reunaehdot

Korkeammat derivaatat

Suurkanoninen joukko

8. Muita stokastisia malleja 8.1 Epölineaariset mallit ARCH ja GARCH

KJR-C1001 Statiikka ja dynamiikka. Luento Susanna Hurme

Vuorovaikutukset ja kappaleet

J 2 = J 2 x + J 2 y + J 2 z.

Juha Merikoski. Jyväskylän yliopiston Fysiikan laitos Kevät 2009

Mekaniikan jatkokurssi Fys102

Numeeriset menetelmät TIEA381. Luento 11. Kirsi Valjus. Jyväskylän yliopisto. Luento 11 () Numeeriset menetelmät / 37

SaSun VK1-tenttikysymyksiä 2019 Enso Ikonen, Älykkäät koneet ja järjestelmät (IMS),

Paulin spinorit ja spinorioperaattorit

Tilat ja observaabelit

Statistinen fysiikka I

Vastaavasti voidaan määritellä korkeamman kertaluvun autoregressiiviset prosessit.

1. Johdanto. FYSA241, kevät Tuomas Lappi kl Huone: FL249. Ei kiinteitä vastaanottoaikoja.

Satunnaislukujen generointi

Osa IX. Z muunnos. Johdanto Diskreetit funktiot

(1) (2) Normalisointiehdoksi saadaan nytkin yhtälö (2). Ratkaisemalla (2)+(3) saamme

Luento 6: Liikemäärä ja impulssi

1. (a) (2p.) Systeemin infinitesimaalista siirtoa matkan ɛ verran esittää operaattori

PHYS-C0220 Termodynamiikka ja statistinen fysiikka Kevät 2017

53714 Klassinen mekaniikka syyslukukausi 2010

MS-A0004/A0006 Matriisilaskenta

Mat Dynaaminen optimointi, mallivastaukset, kierros Vaimennetun heilurin tilanyhtälöt on esitetty luennolla: θ = g sin θ r θ

Lukujonot Z-muunnos Z-muunnoksen ominaisuuksia Z-käänteismuunnos Differenssiyhtälöt. Z-muunnos. 1. joulukuuta Z-muunnos

763306A JOHDATUS SUHTEELLISUUSTEORIAAN 2 Ratkaisut 3 Kevät E 1 + c 2 m 2 = E (1) p 1 = P (2) E 2 1

OPETUSSUUNNITELMALOMAKE

ABHELSINKI UNIVERSITY OF TECHNOLOGY

Numeeriset menetelmät TIEA381. Luento 7. Kirsi Valjus. Jyväskylän yliopisto. Luento 7 () Numeeriset menetelmät / 43

2v 1 = v 2, 2v 1 + 3v 2 = 4v 2.. Vastaavasti ominaisarvoa λ 2 = 4 vastaavat ominaisvektorit toteuttavat. v 2 =

Ensimmäisen kertaluvun yhtälön numeerinen ratkaiseminen

Kvanttifysiikan perusteet 2017

Sovellettu todennäköisyyslaskenta B

Maxwell-Boltzmannin jakauma

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

Yhtälöryhmä matriisimuodossa. MS-A0004/A0006 Matriisilaskenta. Tarkastellaan esimerkkinä lineaarista yhtälöparia. 2x1 x 2 = 1 x 1 + x 2 = 5.

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

Markov-ketjuja suurilla tila-avaruuksilla

Korkeammat derivaatat

Matemaattisesta mallintamisesta

Varatun hiukkasen liike

Tilayhtälötekniikasta

Transkriptio:

[5B] TIETOKONESIMULAATIOISTA Luennolla esiteltiin fysiikan alan tietokonesimulaatiomenetelmiä. Esimerkkien puitteissa koodejakin katsellen tarkastelimme samalla joitakin vähemmälle huomiolle jääneitä aiheita kuten mallin fysiikan tuntemuksen hyödyntäminen raskaan numeriikan optimoinnissa sekä talletusrakenteet. Matlabissa on lisäosana tarjolla Simulink-ympäristö (eri lisenssin takana) ja matlabia hyödyntää Comsol-paketti (ei kaikissa koneissa asennettuna). 1. Deterministiset simulaatiot Molekyylidynamiikka (MD): liikeyhtälöiden numeerinen ratkaisu Klassinen MD: atomijoukon (semi)klassinen kuvaus Kvantti-MD: elektronitiheys Schrödingerin yhtälöstä jne Esim: biomolekyylit liuoksessa (useita kuvailun tasoja) Vrt: tähti- ja galaksijoukkojen dynamiikka Pohjimmiltaan: kytketyt differentiaaliyhtälöt simulaatiomallina. 61 2. Stokastiset simulaatiot Monte Carlo -menetelmät (MC) Soveltuu: diskreetit mallit ja jatkumomallit Esim: Stokastinen rajapintamalli Esim: Ferromagneetin tasapainotilan simulaatio Esim: Hiukkasprosessien simulaatiot laitesuunnittelussa Kvantti-MC: optimoidaan aaltofunktion kehitelmäkertoimia Langevin yhtälö ym. osittain deterministiset -menetelmät Hiukkanen lämpökylvyssä Vrt. stokastinen termostaatti MD:ssa 3. Simulaatioiden statistiikka ja data-analyysi Mikrotasolta makrotasolle: nm <λ<m tai fs <τ<s Näytteenotto ja statistiikka suhteessa aikaskaaloihin! Äärellisen koon ja ajan ilmiöt sekä niiden analysointi Esim: FYSA240-simulaatiolabra ja matlabin simulink-esimerkit. Huom: Kokeile which ja type matlabin komentojen toteutus. 62

[5C] MIKROSKOOPPISET SIMULAATIOT 1. Molekyylidynaamiset simulaatiot Klassisen molekyylidynamiikan (MD) lähtökohta on joko puhtaasti klassinen, kvanttimekaniikasta parametrisoitu tai semiempiirinen H. Simuloimalla liikeyhtälöitä saamme hiukkasille (N kpl) diskretoidut trajektorit (r(t 0 ), p(t 0 )) (r(t 0 +Δt), p(t 0 +Δt)) (r(t 0 +2Δt), p(t 0 +2Δt)) (r(t 0 + τ), p(t 0 + τ)), missä r =(r 1,..., r N ) ja p =(p 1,..., p N ), jolloin voimme laskea termodynaamiset suureet φ aikakeskiarvona φ τ 1 M Δtφ(r(t 0 + mδt), p(t 0 + mδt)), τ m=1 missä τ = mδt on simulaation kokonaisaika. 63 Yksinkertaisimmillaan liikeyhtälöt voidaan vuorovaikutuspotentiaalille U = U({r j }) diskretoida Eulerin menetelmällä (kun on ensin pudotettu yhtälöiden kertalukua) tai vaikka seuraavasti: r i (t +Δt) 2r i (t)+r i (t Δt) Δt2 m i i U({r j }). Tästä voimme aika-askel aika-askeleelta ratkaista koordinaatit r j, kun edellisten aika-askelten koordinaatit ovat tallessa: r i (t +Δt) r i (t Δt)+2r i (t)+ Δt2 m i i U({r j }). Oikein toteutettuna tulos on mikrokanoninen MD, jossa energia säilyy. Jokainen MD-simulointi on lähtökohtaisesti epästabiili eli samasta alkutilasta eri Δt:n arvoilla lähtevien simulaatioiden tuottamat trajektorit erkanevat toisistaan testattava! Tarkkuuden parantamiseksi lyhentämättä kohtuuttomasti aika-askelta Δt käytetään korkeamman kertaluvun algoritmeja, joissa mm. hyödynnetään hiukkasten nopeuksia edellisillä askelilla tai ennusta-korjaa-tekniikkaa [4A]. 64

Käytännössä on oltava Δt τ micr, missä τ micr on systeemille luonteenomainen mikroskooppinen aikaskaala. Toisaalta luotettavien termodynaamisten aikakeskiarvojen laskemiseksi tarvitaan pitkiä simulaatioita eli τ τ micr. Simulaation vaatimat laskennalliset resurssit ovat verrannolliset aika-askelten lukumäärään M = τ/δt, joten simulaatio on käytännössä aina kompromissi numeerisen tarkkuuden ja keskiarvoistuksen statistiikan välillä. Jälkimmäisessä on otettava huomioon ergodisuusnäkökohdat eli simulaation on käytävä läpi faasiavaruutta riittävän kattavasti. Toinen tapa tehdä MD-simulointeja on kanoninen MD, johon saamme lämpötilan energian ekvipartitiosta (Fysiikka III): T = 2 N p 2 i 3Nk B i=1 2m. 65 Kytkentä lämpökylpyyn eli termostaatti voidaan toteuttaa skaalaamalla nopeuksia joka aika-askeleella alas- tai ylöspäin hetkellisistä liikemääristä lasketun T :n pitämiseksi vakiona. Yksi tapa tuottaa kanonisia keskiarvoja on Brownin dynamiikka, jossa kytkentää lämpökylpyyn mallinnetaan dissipaatiolla (kitka) ja valkoisella kohinalla, jotka lisätään liikeyhtälöihin. Lämpötilaa säädetään tällöin dissipaation ja kohinan suhteella. MD-simuloinnin etu MC-menetelmään verrattuna on, että se tuottaa periaatteessa oikean dynamiikan (kvantti-md:ssa ja kvantti-mc:ssa dynaamisina muuttujina ovat esim. aaltofunktion Fourier-komponentit mutta niihin emme mene tässä). Suuri osa simulaatioajasta menee monesti termalisointiin eli tasapainotilan saavuttamiseen/hakemiseen (alkuarvaukset keskeisiä). 66

2. Monte Carlo -simulaatiot Ollaanpa ovelia: Konstruoimme stokastisen prosessin, joka käy faasiavaruuden (kts. Mekaniikan kurssi) tilavuuselementissä d 3N r d 3N p sen tasapainotodennäköisyyteen (kts. Fysiikka VI) verrannollisella todennäköisyydellä. Tuloksena olkoon tilat (r(t 0, p(t 0 )) (r(t 1, p(t 1 )) (r(t 2, p(t 2 )) (r(t M, p(t M )), jolloin suureen φ keskiarvo on simulaatiosta laskettuna φ τ 1 M φ(r(t m ), p(t m )). M m=1 Nyt Hamiltoniset liikeyhtälöt eivät rajoita meitä, joten voimme kenties rakentaa stokastisen prosessimme siten, että sen tuottamat peräkkäiset konfiguraatiot ovat faasiavaruudessa hyvinkin kaukana toisistaan, mikä nopeuttaa keskiarvoistumista. 67 Merkintöjen yksinkertaistamiseksi olkoon järjestelmän mikrotila kuvattavissa muuttujalla x. Nyt se on ajasta t jollain tavalla riippuva satunnaismuuttuja. Olkoon x diskreetti ja ajan funktiona paloittain vakio siten, että yrityksissä muuttaa järjestelmän tilaa jotakin tapahtuu (tai on tapahtumatta) tasavälein eli hetkillä t = t 1,t 2,..., t M (t k = kδt) jax(k) =x(t k t<t k+1 ). Markovin ketju (MC) on jono (ajassa) yrityksiä, joissa seuraavan yrityksen tulos riippuu vain järjestelmän senhetkisestä tilasta. Määritellään sille stokastinen siirtymämatriisi: W r s (k) =P (x(k +1)=s x(k)=r). Tietyin edellytyksin (matemaattisen stokastiikan kurssit) ketjulla on yksikäsitteinen stationaarinen jakauma, johon pitkän ajan rajalla päädytään mielivaltaisesta alkutilajakaumasta. 68

Tämän jälkeen on helppo rakentaa haluttuun stationaariseen jakaumaan P eq johtava ketju eli siirtymätodennäköisyydet W r s. Stationaarisessa tilanteessa on tilaan r ja siitä pois vievän vuon kumottava toisensa, mikä toteutuu esimerkiksi vaatimalla Pr eq W r s = Ps eq W s r kaikilla r, s. Tasapainojakauman muoto Pr eq e E r/k B T (kts. Fysiikka VI) on varsin kiitollinen tätä ajatellen. Tällaisen algoritmin esittivät ja sitä numeerisesti käyttivät Nicolas Metropolis kumppaneineen: W r s = 1 min{1,e (E s E r )/k B T }, τ m missä parametri τ m määrää (ei-fysikaalisen) ajan yksikön. Tähän perustuu myös aiemmin esitetty jäähdytysoptimointimenetelmä. Esim: Luennolla katselimme Statistisen fysiikan kurssin labrassa käytettävää matlabilla tehtyä Monte Carlo -simulointiohjelmaa (kommentointi, parametrisointi, tehostaminen, näytteenotto). Esim: Kirjoitimme pienen simulaation (esim000.m). 69 Raskaalla numeerisella laskennalla on fysiikassa pitkät perinteet. Tämän prujun voimme päättää lehtileikkeeseen: 70