Markovin verkko

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 2. helmikuuta 2018 tarkistetusta versiosta . tarkastukset vaativat 8 muokkausta .

Markovin verkko , Markovin satunnaiskenttä tai suuntaamaton graafimalli  on graafimalli, jossa satunnaismuuttujien joukolla on suuntaamattoman graafin kuvaama Markov -ominaisuus . Markovin verkko eroaa toisesta graafimallista, Bayesin verkosta , siinä, että se esittää satunnaismuuttujien välisiä riippuvuuksia. Se voi ilmaista joitain riippuvuuksia, joita Bayesin verkko ei voi ilmaista (esimerkiksi sykliset riippuvuudet); toisaalta hän ei voi ilmaista joitain muita. Markovin verkon prototyyppi oli Isingin malli materiaalin magnetisoinnista tilastollinen fysiikka : Markovin verkko on esitetty tämän mallin yleistyksenä . [yksi]

Määritelmä

Kun suuntaamaton graafi G = ( V , E ), niin V :llä indeksoitu satunnaismuuttujien joukko ( X v ) v  ∈  V muodostaa Markovin satunnaiskentän G :n suhteen, jos ne täyttävät seuraavat vastaavat Markovin ominaisuudet:

Parin ominaisuus : Mikä tahansa kaksi ei-viereistä muuttujaa ovat ehdollisesti riippumattomia, kun otetaan huomioon kaikki muut muuttujat: Paikallinen ominaisuus : muuttuja on ehdollisesti riippumaton kaikista muista arvoista, kun otetaan huomioon sen naapurit: missä ne( v ) on V :n naapureiden joukko ja cl( v ) = { v } ∪ ne( v ) on v: n suljettu naapuri . Yleinen ominaisuus : Mikä tahansa kaksi muuttujien osajoukkoa ovat ehdollisesti riippumattomia erottavan osajoukon perusteella: jossa jokainen polku A :n solmusta B :n solmuun kulkee S :n kautta .

Toisin sanoen graafin G sanotaan olevan Markovin satunnaiskenttä suhteessa yhteishajautuneisiin todennäköisyyksiin P ( X = x ) satunnaismuuttujien joukossa X silloin ja vain, jos graafin G jakaminen edellyttää ehdollista riippumattomuutta: Jos kaksi solmua ja ovat jaettu G :ssä sen jälkeen, kun se on poistettu G :stä solmujen Z joukosta , niin P ( x = x ) on vakuutettava, että ja ovat ehdollisesti riippumattomia Z : tä vastaavien satunnaismuuttujien perusteella . Jos tämä ehto täyttyy, G :n sanotaan olevan riippumaton kartta (tai I-kartta) todennäköisyysjakaumasta .

Monet määritelmät edellyttävät myös, että G on minimaalinen I-kartta, eli I-kartta, josta yksi reuna poistetaan, se lakkaa olemasta I-kartta. (Tämä on kohtuullinen vaatimus, koska se johtaa kompakteimpaan esitykseen, joka sisältää mahdollisimman vähän riippuvuuksia. Huomaa, että täydellinen graafi on triviaali I-kartta.) Siinä tapauksessa, että G ei ole vain I-kartta (että on, ei edusta riippumattomuuksia, joita ei ole määritelty P :ssä ( X = x )), mutta ei myöskään edusta riippuvuuksia, joita ei ole määritelty P :ssä ( X = x ), G : tä kutsutaan täydelliseksi kartaksi (täydellinen kartta) P ( X = x ). Se edustaa P :n määrittelemää riippumattomuuksien joukkoa ( X = x ).

Klikkien faktorointi

Koska mielivaltaisen todennäköisyysjakauman Markovin ominaisuuksia on vaikea määrittää, on olemassa laajalti käytetty Markovin satunnaiskenttien luokka, joka voidaan jakaa graafin klikkausten mukaan. Satunnaismuuttujien joukko X = ( X v ) v  ∈  V , joiden liitostiheys voidaan kertoa klikeillä G :

muodostaa Markovin satunnaiskentän G :n suhteen , missä cl( G ) on G :n klikkien joukko (määritelmä on ekvivalentti, jos käytetään vain maksimaalisia klikkeja). Funktioita φ C kutsutaan usein tekijäpotentiaaliksi tai klikkipotentiaaliksi. Vaikka on MRF:itä, jotka eivät hajoa (yksinkertainen esimerkki voidaan rakentaa 4 solmun silmukalle [2] ), joissakin tapauksissa niiden voidaan osoittaa olevan vastaavissa tiloissa:

Kun tällainen hajautus on olemassa, verkolle voidaan rakentaa tekijägraafi.

Esimerkki

Logistinen malli

Markovin satunnaiskentän logistinen malli, joka käyttää funktiota täydellisen yhteisjakauman funktiona, voidaan kirjoittaa muodossa

jakelutoiminnolla

missä on joukko kaikkien verkkojen satunnaismuuttujien arvojen mahdollisia jakaumia.

Gaussin Markovin satunnaiskenttä

Markovin satunnaiskentän monimuuttujaisen normaalijakauman muodot graafin G = ( V , E ) suhteen, jos puuttuvat reunat vastaavat nollia tarkkuusmatriisissa (käänteinen kovarianssimatriisi ):

[3]

Muistiinpanot

  1. Kindermann, Ross; Snell, J. Laurie. Markovin satunnaiset kentät ja niiden  sovellukset . - American Mathematical Society, 1980. - ISBN 0-8218-5001-6 .
  2. Moussouris, John. Gibbsin ja Markovin satunnaisjärjestelmät rajoituksilla  //  Journal of Statistical Physics : päiväkirja. - 1974. - Voi. 10 , ei. 1 . - s. 11-33 . - doi : 10.1007/BF01011714 .
  3. Rue, Havard; Pidetty, Leonhard. Gaussin Markovin satunnaiskentät : teoria ja sovellukset  . - CRC Press , 2005. - ISBN 1584884320 .