Náhodná procházka je matematický objekt známý jako stochastický nebo náhodný proces , který popisuje cestu sestávající ze sekvence náhodných kroků v nějakém matematickém prostoru (například na množině celých čísel ).
Nejjednodušším příkladem náhodné procházky je náhodná procházka po číselné řadě celých čísel , , která začíná v bodě 0 a posouvá se o +1 nebo -1 v každém kroku se stejnou pravděpodobností . Dalšími příklady jsou trajektorie molekuly v kapalině nebo plynu ( Brownův pohyb ), hledání cesty u zvířat během hledání potravy , kolísání cen akcií na akciovém trhu , finanční situace hráče : všechny popsané případy lze aproximovat náhodnou procházkou. modely, i když v reálném životě nemusí být zcela náhodné.
Jak můžete vidět z příkladů, model náhodné procházky se používá ve strojírenství a mnoha vědeckých oborech, včetně ekologie, psychologie, informatiky, fyziky, chemie, biologie, ekonomie a sociologie. Náhodná procházka vysvětluje pozorované chování mnoha procesů v těchto oblastech a slouží tak jako základní model pro zaznamenanou stochastickou aktivitu. Takže v matematice lze hodnotu π aproximovat pomocí náhodné procházky a modelování založeného na agentech. [1] [2] Koncept náhodné procházky poprvé představil Karl Pearson v roce 1905. [3]
Typy náhodných procházek mohou být zajímavé. Samotný termín nejčastěji označuje zvláštní kategorii Markovových řetězců nebo Markovových procesů a mnoho časově závislých procesů se označuje jako náhodné procházky s modifikátorem označujícím jejich speciální vlastnosti. Náhodné procházky (Markov nebo ne) mohou také nastat v paletě polí: ty běžně studované zahrnují grafy , číselnou řadu celých nebo reálných čísel , vektorové prostory , zakřivené povrchy, multidimenzionální Riemannovy variety a konečné , finitely generované grupy, Lieovy grupy . Časový parametr může být také odlišný. V nejjednodušším případě se procházka odehrává v diskrétním čase a je posloupností náhodných proměnných ( X
t) = ( X
jeden, X
2, ...) , indexované přirozenými čísly. Existují však také náhodné procházky, ve kterých se kroky vyskytují v libovolném časovém okamžiku, a v tomto případě pozice X
tmusí být definováno pro všechny časy t ∈ [0,+∞) . Speciálními případy náhodné procházky jsou Levyho letové a difúzní modely , jako je Brownův pohyb .
Náhodná procházka je základním tématem diskusí o Markovově procesu a jeho matematické studium je velmi rozsáhlé.
Známým modelem náhodné procházky je chůze po pravidelné mříži, kde se při každém kroku místo přesune do jiného bodu v souladu s určitým rozdělením pravděpodobnosti.
Při jednoduché náhodné procházce se může umístění přesunout pouze k sousedním bodům mřížky a vytvořit tak dráhu mřížky. V jednoduché symetrické náhodné procházce po lokálně ohraničené mřížce jsou pravděpodobnosti, že bod míří ke každému z jeho bezprostředních sousedů, stejné. Nejlépe prozkoumaným příkladem je náhodná procházka po d - rozměrné mřížce celých čísel (někdy nazývané hyperkubická mřížka) . [čtyři]
Pokud je stavový prostor omezen na konečný počet dimenzí, pak se takový model náhodné procházky nazývá jednoduchá ohraničená symetrická náhodná procházka a pravděpodobnosti přechodu závisí na umístění bodu, protože pohyb je omezen na hraničních a rohových bodech. . [5]
Nejjednodušším příkladem náhodné procházky je náhodná procházka po číselné ose celých čísel , , která začíná v bodě 0 a pohybuje se +1 nebo −1 se stejnou pravděpodobností v každém kroku.
Toto putování lze znázornit následovně. Značka se umístí na nulu číselné řady a vhodí se „spravedlivá“ mince. Pokud se dostane nahoru, štítek se posune o jednu jednotku doprava, a pokud se dostane nahoru, posune se o jednotku doleva. Po pěti hodech může být známka na -5, -3, -1, 1, 3, 5. Pro pět hodů, včetně tří hlav a dvou ocasů, v libovolném pořadí, bude známka na 1. Existuje 10 způsobů jak se dostat do bodu 1 (hozením tří hlav a dvou ocasů), 10 způsobů, jak se dostat do bodu −1 (tři ocasy a dvě hlavy), 5 způsobů, jak se dostat do bodu 3 (čtyři hlavy) a jeden „ocásky“), 5 způsoby, jak se dostat do bodu -3 (čtyři "ocasy" a jeden "orel"), 1 způsob, jak se dostat do bodu 5 (pět "hlav") a 1 způsob, jak se dostat do bodu -5 (pět "ocasů"). ") . Možné výsledky pěti hodů jsou uvedeny níže.
Abychom tuto procházku formálně definovali, vezmeme nezávislé náhodné proměnné , kde každá proměnná je buď 1 nebo −1, s pravděpodobností rovnou 50 % pro každou hodnotu, množina a Série se nazývají jednoduchá náhodná procházka na . Tato řada (součet posloupnosti −1 a 1) znamená ujetou vzdálenost, pokud má každá část chůze délku rovnou jedné. Matematické očekávání řady je nulové. To znamená, že průměrná hodnota všech hodů mincí má s rostoucím počtem hodů tendenci k nule. To vyplývá z konečné aditivní vlastnosti očekávání:
Argumentujeme podobně, používáme nezávislost náhodných proměnných a skutečnost , že vidíme:
To objasňuje , že očekávaná vzdálenost po přesunutí n kroků by měla být řádu . Ve skutečnosti [6]
Kolikrát náhodná procházka překročí hranici, pokud je možné bloudit donekonečna? Nejjednodušší náhodná procházka protne každý bod nekonečněkrát. Výsledný efekt má mnoho názvů: fenomén překročení úrovně , opakování nebo problém se zničením hráče . Důvod pro pojmenování posledního případu je tento: hráč s konečným množstvím peněz dříve nebo později prohraje, pokud hraje férovou hru proti banku s neomezeným množstvím peněz. Peníze hráče jsou náhodnou procházkou a v určitém okamžiku dosáhnou nuly a hra bude u konce.
Nechť aab jsou kladná celá čísla, pak očekávaný počet kroků , když jednoduchá jednorozměrná náhodná procházka začínající na 0 nejprve dosáhne b nebo −a je ab . Pravděpodobnost, že daná procházka dosáhne b dříve, než dosáhne −a , je , což vyplývá ze skutečnosti, že jednoduchá náhodná procházka je martingal .
Některé z výše uvedených výsledků lze odvodit z vlastností Pascalova trojúhelníku . Počet všech zřetelných procházek přes n
kroky, kde každý krok je buď +1 nebo -1 se rovná 2 n . Pro jednoduchou náhodnou procházku je každý z těchto kroků stejně pravděpodobný. Abychom se rovnali číslu k , je nutné a postačující, aby počet kroků o +1 v chůzi převýšil počet kroků o −1 o číslo k . Proto musí nastat krok na +1 (n + k)/2 krát mezi n procházkami, proto se počet procházek, které splňují podmínku, rovná počtu způsobů výběru (n + k)/2 prvků z n -prvková sada. [7] Označuje se jako . Aby tento výraz dával smysl, je nutné, aby součet n + k byl sudé číslo, což znamená, že čísla n a k musí být buď sudá, nebo lichá zároveň. Pravděpodobnost, která se tedy bude rovnat . Reprezentací vstupů Pascalova trojúhelníku z hlediska faktoriálů a pomocí Stirlingova vzorce lze získat dobré odhady těchto pravděpodobností pro velké hodnoty .
Pokud je prostor kvůli stručnosti omezen na +, pak počet způsobů, jak se náhodná procházka zastaví na nějakém čísle po pěti krocích, může být zobrazen jako {0,5,0,4,0,1}.
Ukažme tuto shodu s Pascalovým trojúhelníkem pro malé hodnoty n . U nulového kroku je jedinou možností zůstat na nule. Již při prvním tahu však existuje možnost skončit buď na -1 nebo na 1. Při druhém tahu z 1 se můžete přesunout do bodu 2 nebo zpět na nulu. Můžete se pohybovat od -1 do -2 nebo zpět na nulu. Existuje tedy jeden případ, kdy jsme v bodě -2, dva případy, kdy jsme na nule, a jeden případ, kdy jsme v bodě 2.
k | −5 | −4 | −3 | −2 | −1 | 0 | jeden | 2 | 3 | čtyři | 5 |
---|---|---|---|---|---|---|---|---|---|---|---|
jeden | |||||||||||
jeden | jeden | ||||||||||
jeden | 2 | jeden | |||||||||
jeden | 3 | 3 | jeden | ||||||||
jeden | čtyři | 6 | čtyři | jeden | |||||||
jeden | 5 | deset | deset | 5 | jeden |
Centrální limitní teorém a zákon iterovaného logaritmu popisují důležité aspekty chování jednoduché náhodné procházky po . Zejména, jak se n zvyšuje, pravděpodobnosti (v poměru k číslům v každém řádku) mají tendenci k normálnímu rozdělení .
Náhodné procházky po krystalových mřížkách (nekonečně mnohonásobné abelovské krycí grafy konečných grafů) lze považovat za přímé zobecnění. Ve skutečnosti je za takových podmínek dokonce možné prosadit centrální limitní větu a větu o velké odchylce. [8] [9]
Jako Markovův řetězJednorozměrná diskrétní náhodná procházka je celočíselný Markovův řetězec , jehož počáteční rozdělení je dáno funkcí pravděpodobnosti náhodné proměnné a matice pravděpodobnosti přechodu je
,to znamená
Ve vyšších dimenzích má množina bodů náhodné procházky poměrně zajímavé geometrické vlastnosti. Ve skutečnosti získáme diskrétní fraktál , tedy sadu, která při přiblížení ukazuje stochastickou sebepodobnost . V malém měřítku můžete pozorovat "zubatost" na mřížce, na které se provádí chůze. Dvě citované Lawlerovy knihy jsou dobrým zdrojem materiálu na toto téma. Trajektorie náhodné procházky je sbírka navštívených bodů, které jsou považovány za soubor až do okamžiku, kdy procházka dosáhla bodu. V jednom rozměru jsou trajektorií jednoduše všechny body mezi minimální výškou a maximální výškou, které vandr dosáhl (oba v průměru řádově ).
Pro vizualizaci dvourozměrného případu si lze představit osobu, která náhodně chodí po městě. Toto město je prakticky nekonečné a je rozloženo do čtvercové sítě chodníků. Na každé křižovatce si člověk náhodně vybere jednu ze čtyř možných tras (včetně té, ze které přišel). Formálně se jedná o náhodnou procházku po množině všech bodů v rovině s celočíselnými souřadnicemi .
Vrátí se tato osoba někdy na výchozí bod putování? Tento případ je 2D ekvivalentem problému úrovňového přejezdu diskutovaného výše. V roce 1921 György Pólya dokázal, že v případě dvojrozměrné náhodné procházky by se člověk téměř jistě vrátil, ale pro tři nebo více dimenzí pravděpodobnost návratu klesá s rostoucím počtem dimenzí. V trojrozměrném případě pravděpodobnost klesá na cca 34 %. [10] Matematik Shizuo Kakutani je známý svým citátem týkajícím se tohoto výsledku: "Opilec dříve nebo později najde cestu domů, ale opilý pták může být navždy ztracen." [jedenáct]
Další verze této otázky, kterou si položil i Poya, zní: pokud dva lidé odejdou ze stejného výchozího bodu, setkají se někdy? [12] Dá se předpokládat, že rozdíl mezi jejich umístěními (dvě nezávislé náhodné procházky) je také jednoduchá náhodná procházka, takže se téměř jistě setkají ve dvourozměrné procházce, ale pro tři nebo více rozměrů je pravděpodobnost návratu stejně jako v předchozím případě klesá s rostoucím počtem měření. Pal Erdős a Samuel James Taylor také v roce 1960 ukázali, že pro rozměry menší nebo rovné 4 mají dvě nezávislé náhodné procházky, začínající v libovolných dvou daných bodech, téměř jistě nekonečně mnoho průsečíků, ale pro rozměry větší než 5 téměř jistě protínají pouze konečný počet časů. [13]
Asymptotická funkce pro 2D náhodnou procházku s rostoucím počtem kroků je dána Rayleighovým rozdělením . Rozdělení pravděpodobnosti je funkcí poloměru od počátku a pro každý krok je délka kroku konstantní.
Wienerův proces je stochastický proces, který se svým chováním podobá Brownovu pohybu , fyzikálnímu jevu difúze malých částic v kapalině. (Někdy se Wienerův proces nazývá Brownův pohyb, ačkoli přísně vzato je Wienerův proces model a Brownův pohyb je modelovaný jev.)
Wienerův proces je škálovatelný limit jednorozměrné náhodné procházky. To znamená, že pokud uděláte náhodnou procházku s velmi malými kroky, můžete získat aproximaci Wienerova procesu (a s menší přesností Brownova pohybu). Přesněji, je-li délka kroku ε, je třeba provést procházku délky L /ε 2 , aby se aproximovala Wienerova cesta L . Jak se délka kroku blíží nule (a počet kroků se úměrně zvyšuje), náhodná procházka pokrývá Wienerův proces ve vhodném smyslu. Formálně, jestliže B je prostor všech cest délky L s maximální topologií a jestliže M je prostor mír nad B s normální topologií, pak je konvergence v prostoru M . Analogicky je Wienerův proces ve více dimenzích škálovatelným limitem náhodné procházky ve stejném počtu dimenzí.
Náhodná procházka je diskrétní fraktál (funkce s celočíselným počtem dimenzí; 1, 2, ...), zatímco trajektorie Wienerova procesu je skutečný fraktál a mezi nimi existuje určitá souvislost. Udělejme například náhodnou procházku a budeme „chodit“, dokud neprojdeme kružnicí o poloměru r krát délka kroku. Pak se průměrný počet kroků potřebných k dokončení chůze bude rovnat r 2 . Tato skutečnost je diskrétní verzí skutečnosti, že procházka Wienerovým procesem je fraktálem Hausdorffovy dimenze 2.
Ve dvourozměrném prostoru je průměrný počet bodů, které náhodná procházka projde na hranici své trajektorie, r 4/3 . To je v souladu se skutečností, že hranice trajektorie Wienerova procesu je 4/3 fraktál, který navrhl Mandelbrot pomocí simulací, ale byl prokázán až v roce 2000 Lawlerem, Schrammem a Wernerem . [čtrnáct]
Wienerův proces má na rozdíl od náhodné procházky mnoho symetrií . Například procházka Wienerovým procesem je rotačně invariantní, ale náhodná procházka není, protože její mřížka není rotačně invariantní (náhodná procházka je rotačně invariantní o 90 stupňů, zatímco Wienerovy procesy jsou rotačně invariantní například o dalších 17 stupňů). ). To znamená, že v mnoha případech se problémy zadané na náhodné procházce snáze řeší následujícím způsobem: přeneste problém do Wienerova procesu, vyřešte problém tam a pak jej přeneste zpět. Na druhou stranu se některé problémy dají snáze vyřešit na náhodné procházce kvůli její diskrétnosti.
Konvergence náhodné procházky k Wienerově procesu se provádí pomocí centrální limitní věty a Donskerovy věty. Pro částici ve známé pevné poloze v t = 0 nám centrální limitní teorém říká, že po velkém počtu nezávislých náhodných kroků bude pozice tuláka rozdělena podle normálního rozložení rozptylu :
kde t je čas, který uplynul od začátku náhodné procházky, je velikost kroku procházky a je čas, který uplynul mezi dvěma po sobě jdoucími kroky.
Tento případ odpovídá Greenově funkci difúzní rovnice , která popisuje Wienerův proces, což naznačuje, že po dostatečně velkém počtu kroků náhodná procházka konverguje k Wienerově procesu.
V 3D případě je rozptyl odpovídající Greenově funkci difúzní rovnice:
Vyrovnáním této hodnoty s rozptylem spojeným s polohou náhodného chodce lze získat ekvivalentní difúzní koeficient uvažovaný pro asymptotický Wienerův proces, ke kterému náhodná procházka konverguje po dostatečně velkém počtu kroků:
(má smysl pouze v případě tří rozměrů).Poznámka: Výše uvedené dva výrazy rozptylu odpovídají rozdělení spojenému s vektorem , který spojuje dva konce náhodné procházky ve třech rozměrech. Rozdíl spojený s každou komponentou nebo , je pouze jedna třetina celkové hodnoty (stále 3D).
Pro 2D: [15]
Pro 1D: [16]
Zvažte náhodnou procházku , kde .
Centrální limitní teorém říká, že rozdělením na .
U náhodných procházek však lze toto tvrzení výrazně posílit.
Sestrojíme náhodný proces s ohledem na , definujeme jej takto: a pro zbytek definujeme proces lineárním pokračováním:
Z centrální limitní věty o rozdělení pro
To znamená konvergenci jednorozměrných distribucí procesu k jednorozměrným distribucím Wienerova procesu . Donskerův teorém, nazývaný také princip invariance, říká, že existuje slabá konvergence procesů,
Slabá konvergence procesů znamená konvergenci funkcionálů, které jsou spojité s ohledem na Wienerovu míru, to znamená, že umožňuje vypočítat hodnoty funkcionálů z Brownova pohybu (například maximum, minimum, poslední nula, okamžik prvního dosažení úroveň a další) přechodem na limit z jednoduché náhodné procházky.
Náhodná procházka s délkou kroku, která se mění s normálním rozdělením , se používá jako data časových řad v reálném světě, jako jsou finanční trhy. Vzorec Black-Schools například používá jako základní předpoklad Gaussovu náhodnou procházku.
V tomto případě je velikost kroku inverzní kumulativní normální rozdělení , kde 0 ≤ z ≤ 1 a je rovnoměrně rozdělené náhodné číslo, a μ a σ jsou střední a standardní odchylka normálního rozdělení.
Pokud je μ nenulové, náhodná procházka bude sledovat lineární trend. Je-li v s počáteční hodnota náhodné procházky, pak očekávaná hodnota po n krocích je v s + n μ.
Pro speciální případ, kdy μ je nula, je po n krocích definováno rozdělení pravděpodobnosti ujeté vzdálenosti jako N (0, n σ 2 ), kde N () je označení pro normální rozdělení, n je počet kroků , a σ je převzato z výše uvedeného inverzního kumulativního normálního rozdělení.
Důkaz: Gaussovu náhodnou procházku lze reprezentovat jako součet posloupnosti nezávislých a shodně rozdělených náhodných veličin, X i z inverzního kumulativního normálního rozdělení, kde průměr je nula a σ je převzato z původního inverzního kumulativního normálního rozdělení:
Z = ,ale máme rozdělení pro součet dvou nezávislých normálně rozdělených náhodných veličin, Z = X + Y, získaných díky
(μ X + μ Y , σ 2 X + σ 2 Y )V našem případě μ X = μ Y = 0 a σ 2 X = σ 2 Y = σ 2 dávají:
(0, 2σ 2 )Indukcí pro n kroků máme:
Z ~ (0, nσ2 ) .Pro kroky rozdělené podle libovolného rozdělení s nulovým průměrem a konečným rozptylem (ne nutně jen normálním rozdělením) je střední kvadrát ujeté vzdálenosti po n krocích dán vztahem:
Ale pro Gaussovu náhodnou procházku je to pouze standardní odchylka distribuce ujeté vzdálenosti po n krocích. Pokud je tedy μ nula a pokud je překonaná rms vzdálenost jedna standardní odchylka, existuje 68,27% šance, že rms vzdálenost ujetá po n krocích bude mezi ± σ . Existuje také 50% pravděpodobnost, že vzdálenost ujetá po n krocích bude mezi ± 0,6745σ .
V neuspořádaných systémech, jako jsou porézní média a fraktály, může být úměrná nikoli , ale . Exponent se nazývá exponent anomální difúze a může být větší nebo menší než 2. [17] Anomální difuzi lze také vyjádřit jako σ r 2 ~ Dt α , kde α je parametr anomálie. Některé difúze v náhodném prostředí jsou dokonce úměrné síle logaritmu času, jako je Sinajova chůze nebo Broxova difúze.
Počet různých míst navštívených jedním náhodným chodcem byl rozsáhle studován pro čtvercové a kubické mřížky a fraktály. [18] [19] Tato hodnota je užitečná pro analýzu problémů uváznutí (anglicky trapping ) a kinetických reakcí. Souvisí také s vibrační hustotou stavů, [20] [21] difúzními reakcemi procesů [22] , a rozložením populací v ekologii. [23] [24] Zobecnění tohoto problému na počet různých míst navštěvovaných náhodnými chodci, označované jako , bylo nedávno studováno pro d -rozměrné euklidovské mřížky. [25] Počet různých míst navštívených N chodci nesouvisí pouze s počtem různých míst navštívených každým chodcem.
Odhad informačního množství Gaussovy náhodné procházky s ohledem na druhou mocninu chybové vzdálenosti, tj. její funkci kvadratického zkreslení, danou parametricky: [26]
kde . Proto není možné binárně kódovat s menším počtem bitů a poté dekódovat s očekávanou chybou RMS menší než . Na druhou stranu pro jakýkoli , existuje dostatečně velký a binární kód s ne více než prvky, takže očekávaná střední kvadratická chyba při obnově z tohoto kódu není větší než .
Jak již bylo zmíněno, rozsah přírodních jevů, které se některé variety náhodných procházek snažily popsat, je významný. Zejména ve fyzice, [27] [28] chemii, [29] nauce o materiálech [ 30] [31] biologii [32] a dalších různých vědách. [33] [34] Zde jsou některé aplikace náhodné procházky:
Ve všech těchto případech je náhodná procházka často nahrazena Brownovým pohybem:
Bylo zjištěno, že několik druhů náhodných procesů je podobných čistě náhodným procházkám, ale ve kterých lze jednoduchou strukturu více zobecnit. Čistá struktura může být charakterizována kroky definovanými nezávislými a shodně rozdělenými náhodnými proměnnými .
Náhodná procházka délky k na možná nekonečném grafu G s kořenem 0 je stochastický proces s náhodnými proměnnými takovými, že , a to je vrchol rovnoměrně náhodně vybraný mezi sousedy . Potom číslo je pravděpodobnost, že náhodná procházka délky k začíná na v a končí na w . Konkrétně, pokud G je graf s kořenem 0 , je pravděpodobnost, že se postupná náhodná procházka vrátí na 0 .
Analogicky k výše popsané části (zvětšení rozměrů) předpokládejme, že nyní naše město již není dokonalou čtvercovou sítí. Když se náš člověk dostane na určitou křižovatku, vybírá se stejnou pravděpodobností mezi různými dostupnými cestami. Pokud je tedy na křižovatce sedm sjezdů, na každý pojede člověk s pravděpodobností jedné sedminy. Dostaneme tedy náhodnou procházku po grafu. Dostane se náš muž do svého domu? Ukazuje se, že za celkem dobrých podmínek zůstává odpověď ano, [45] ale v závislosti na grafu u další otázky („Sejdou se dva lidé?“) již nemusí být odpověď „nekonečně často“ téměř určitá událost. [46]
Příklad, kdy člověk téměř jistě dosáhne domu, je, když jsou délky všech bloků v rozsahu od a do b ( kde aab jsou dvě konečná kladná čísla). Důležité: nepředpokládáme, že graf je rovinný , to znamená, že ve městě mohou existovat tunely a mosty. Jedním ze způsobů, jak dokázat tento výsledek, je připojení k elektrické síti . Vezměte mapu města a umístěte na každý blok 1 ohmový odpor . Nyní změřme „odpor mezi bodem a nekonečnem“. Jinými slovy, zvolme nějaké číslo R a vezměme všechny body v elektrické síti se vzdáleností mezi nimi a naším bodem větší než R a spojíme je dohromady. Získáme konečnou elektrickou síť, ve které můžeme měřit odpor mezi naším bodem a ostatními body v síti. Nechť R směřuje k nekonečnu. Výsledná mez se nazývá odpor mezi bodem a nekonečnem .
Ukazuje se, že následující domněnka je pravdivá (elementární důkaz lze nalézt v knize Doyla a Snella):
Věta : Graf je přechodný právě tehdy, když je odpor mezi bodem a nekonečnem konečný. Navíc je výběr bodu nedůležitý, pokud je graf souvislý.
Jinými slovy, v přechodném systému stačí překonat konečný odpor, aby se z jakéhokoli bodu dostalo do nekonečna. V rekurentním systému je odpor mezi libovolným bodem a nekonečnem nekonečný.
Náhodná procházka po grafu je speciální případ Markovova řetězce . Na rozdíl od obecného Markovova řetězce má náhodná procházka po grafu vlastnost zvanou časová symetrie nebo reverzibilita . Zhruba řečeno, tato vlastnost, nazývaná také principem detailní rovnováhy , znamená, že pravděpodobnosti protnutí dané cesty jedním nebo druhým směrem mají mezi sebou velmi jednoduchý vztah (pokud je graf pravidelný , pak jsou stejné). Tato vlastnost má důležité důsledky.
Od 80. let 20. století bylo provedeno mnoho výzkumů zaměřených na vztah vlastností grafu k náhodným procházkám. Kromě výše popsané elektrické sítě existují také souvislosti s izoperimetrickými nerovnostmi, funkčními nerovnostmi, jako jsou Sobolevovy a Poincarého nerovnosti a vlastnostmi řešení Laplaceovy rovnice . Velká část tohoto výzkumu se zaměřila na Cayleyovy grafy finitně generovaných skupin. V mnoha případech se tyto jednotlivé výsledky přenášejí do variet a Lieových grup nebo jsou z nich odvozeny .
Pokud jde o náhodné grafy , zejména o Erdős-Rényiho model , byly získány analytické výsledky pro některé vlastnosti náhodných chodců. Zahrnují rozložení prvního [47] a posledního [48] zásahu (angl. hitting time) chodce, kde první zásah je první krok, kdy chodec poprvé vkročí na dříve navštívené místo, a poslední se shoduje s případ, kdy chodec nemá kam jít, kromě dříve navštíveného místa.
Dobrou referencí pro náhodnou procházku po grafu je tato online kniha. Pro studium skupin jsou vhodné Wössovy knihy. Pokud je samotné přechodové jádro náhodné (na základě prostředí ), pak se náhodná procházka nazývá „náhodná procházka v náhodném prostředí“. Když zákon náhodné procházky zahrnuje náhodnost , zákon se nazývá annealed (eng. annealed ); na druhé straně, je-li zákon považován za pevný, nazývá se temperovaný (eng. quenched ).
Můžeme zvolit každou možnou hranu grafu se stejnou pravděpodobností jako lokální maximum nejistoty (entropie). Můžeme to udělat i globálně - v maximální entropické náhodné procházce (angl. maximum entropy random walk, MERW ) je nutné, aby všechny cesty byly stejně pravděpodobné nebo jinými slovy, pro libovolné dva vrcholy byla každá cesta dané délky stejně pravděpodobné. [49] Taková chůze má mnohem silnější lokalizační vlastnosti.
Existuje samostatný druh náhodné procházky, ve které každý krok závisí na předchozím nějakým komplexním způsobem. Analyticky se řeší obtížněji než běžné náhodné procházky; chování jakéhokoli modelu náhodného chodce však lze získat pomocí počítačů. Například:
Sebevyhýbající se procházka délky n je náhodná cesta o délce n kroků, začínající v počátku, která prochází pouze sousedními body a nikdy neprochází stejným bodem dvakrát. Ve dvourozměrném případě je taková cesta obvykle velmi krátká [51] , zatímco ve zvýšené dimenzi roste bez omezení. Tento model se často používá ve fyzice polymerů (od 60. let).
Dlouhodobé korelované časové řady se nacházejí v mnoha biologických, klimatologických a ekonomických systémech:
Náhodné procházky, při kterých směr pohybu v jednom časovém okamžiku koreluje se směrem pohybu v dalším časovém okamžiku. Používá se k simulaci pohybu zvířat. [60] [61]
![]() | |
---|---|
V bibliografických katalozích |
|