En slumpmässig vandring är ett matematiskt objekt som kallas en stokastisk eller slumpmässig process som beskriver en bana som består av en sekvens av slumpmässiga steg i något matematiskt utrymme (till exempel på uppsättningen heltal ).
Det enklaste exemplet på en slumpmässig vandring är en slumpmässig vandring längs tallinjen med heltal, , som börjar vid punkt 0 och skiftar med +1 eller −1 vid varje steg med lika sannolikhet . Andra exempel är en molekyls bana i en vätska eller gas ( Brownsk rörelse ), sökväg hos djur under födosök , fluktuationer i aktiekurser på aktiemarknaden , en aktörs ekonomiska situation : alla de beskrivna fallen kan approximeras genom slumpmässig promenad modeller, även om de kanske inte är helt slumpmässiga i verkligheten.
Som du kan se från exemplen används random walk-modellen inom teknik och många vetenskapliga områden, inklusive ekologi, psykologi, datavetenskap, fysik, kemi, biologi, ekonomi och sociologi. Den slumpmässiga vandringen förklarar det observerade beteendet hos många processer i dessa regioner, och fungerar således som en grundläggande modell för den registrerade stokastiska aktiviteten. Så i matematik kan värdet på π approximeras med hjälp av en slumpmässig promenad och agentbaserad modellering. [1] [2] Konceptet med en slumpmässig promenad introducerades först av Karl Pearson 1905. [3]
Typer av slumpmässiga promenader kan vara av olika slag. Termen i sig syftar oftast på en speciell kategori av Markov-kedjor eller Markov-processer, och många tidsberoende processer kallas slumpmässiga promenader med en modifierare som indikerar deras speciella egenskaper. Slumpmässiga vandringar (Markov eller inte) kan också förekomma inom en mängd olika områden: de som vanligtvis studeras inkluderar grafer , tallinjen av heltal eller reella , vektorrum , krökta ytor, flerdimensionella Riemannska grenrör och finita , ändligt genererade grupper, Lie-grupper . Tidsparametern kan också vara annorlunda. I det enklaste fallet sker vandringen i diskret tid och är en sekvens av slumpvariabler ( X
t) = ( X
ett, X
2, ...) , indexerad med naturliga tal. Men det finns också slumpmässiga vandringar där stegen sker vid ett godtyckligt ögonblick, och i detta fall positionen X
tmåste definieras för alla tider t ∈ [0,+∞) . Speciella fall av slumpmässig promenad är Levy-flygning och diffusionsmodeller som Brownsk rörelse .
Random walk är ett grundläggande ämne i diskussioner om Markovprocessen, och dess matematiska studier är mycket omfattande.
En välkänd modell av en slumpmässig promenad är en promenad på ett vanligt galler, där platsen vid varje steg flyttar sig till en annan punkt i enlighet med en viss sannolikhetsfördelning.
I en enkel slumpmässig vandring kan en plats bara flytta till angränsande rutnätspunkter och bilda en rutnätsbana. I en enkel symmetrisk slumpmässig vandring på ett lokalt begränsat gitter är sannolikheten för att en punkt går till var och en av dess omedelbara grannar lika. Det bäst studerade exemplet är den slumpmässiga vandringen på ett d - dimensionellt gitter av heltal (kallas ibland ett hyperkubiskt gitter) . [fyra]
Om tillståndsutrymmet är begränsat till ett ändligt antal dimensioner, kallas en sådan slumpmässig vandringsmodell en enkel avgränsad symmetrisk slumpgång , och övergångssannolikheterna beror på punktens placering, eftersom rörelsen är begränsad vid gräns- och hörnpunkterna . [5]
Det enklaste exemplet på en slumpmässig vandring är en slumpmässig vandring längs tallinjen med heltal , , som börjar vid punkt 0 och flyttar +1 eller −1 med lika stor sannolikhet vid varje steg.
Denna vandring kan illustreras på följande sätt. Märket sätts på nollan på tallinjen, och ett "rättvist" mynt kastas. Om det kommer upp huvuden, flyttar etiketten en enhet till höger, och om den kommer upp svansar, flyttar den en enhet till vänster. Efter fem kast kan märket vara på -5, -3, -1, 1, 3, 5. För fem kast, inklusive tre huvuden och två svansar, i valfri sekvens kommer märket att vara på 1. Det finns 10 sätt att komma till punkt 1 (genom att rulla tre huvuden och två svansar), 10 sätt att komma till punkt −1 (tre svansar och två huvuden), 5 sätt att komma till punkt 3 (fyra huvuden) och en "svans"), 5 sätt att komma till punkt -3 (fyra "svansar" och en "örn"), ett sätt att komma till punkt 5 (fem "huvuden") och ett sätt att komma till punkt -5 (fem "svansar"). ") . De möjliga resultaten av de fem rullarna illustreras nedan.
För att definiera denna promenad formellt tar vi oberoende slumpvariabler , där varje variabel är antingen 1 eller −1, med en sannolikhet lika med 50 % för varje värde, mängden och Serien kallas en enkel slumpmässig vandring på . Denna serie (summan av sekvensen −1 och 1) betyder tillryggalagd sträcka om varje del av promenaden har en längd lika med en. Seriens matematiska förväntan är noll. Det vill säga att medelvärdet av alla myntkast tenderar att bli noll när antalet kast ökar. Detta följer av förväntans finita additivitetsegenskap:
På liknande sätt använder vi oberoendet av slumpvariabler och det faktum att vi ser:
Detta gör det klart att , det förväntade avståndet efter att ha flyttat n steg, bör vara i storleksordningen . Faktum är att [6]
Hur många gånger kommer den slumpmässiga promenaden att passera gränsen om det är möjligt att vandra på obestämd tid? Den enklaste slumpmässiga promenaden kommer att skära varje punkt ett oändligt antal gånger. Den resulterande effekten har många namn: plankorsningsfenomenet , återfall eller spelarförstöringsproblemet . Anledningen till att ge det sista fallet namnet är detta: en spelare med en ändlig summa pengar kommer att förlora förr eller senare om han spelar ett rättvist spel mot en pott med en obegränsad summa pengar. Spelarens pengar är en slumpmässig promenad, och någon gång i tiden kommer de att nå noll och spelet kommer att vara över.
Låt a och b vara positiva heltal , då är det förväntade antalet steg när en enkel endimensionell slumpmässig gång som börjar vid 0 först når b eller −a ab . Sannolikheten att en given promenad når b innan den når −a är , vilket följer av att en enkel slumpmässig promenad är en martingal .
Några av resultaten som nämns ovan kan härledas från egenskaperna hos Pascals triangel . Antalet alla distinkta promenader över n
steg, där varje steg är antingen +1 eller −1 är lika med 2 n . För en enkel slumpmässig promenad är vart och ett av dessa steg likvärdigt. För att vara lika med talet k är det nödvändigt och tillräckligt att antalet steg med +1 i promenaden överstiger de med −1 med talet k . Därför måste ett steg på +1 ske (n + k)/2 gånger bland n promenader, därför är antalet promenader som uppfyller villkoret lika med antalet sätt att välja (n + k)/2 element från en n -elementuppsättning. [7] Detta betecknas som . För att detta uttryck ska vara meningsfullt är det nödvändigt att summan n + k är ett jämnt tal, vilket betyder att talen n och k måste vara antingen jämna eller udda samtidigt. Därför är sannolikheten som kommer att vara lika med . Genom att representera posterna i Pascals triangel i termer av faktorialer och använda Stirlings formel kan man få bra uppskattningar av dessa sannolikheter för stora värden på .
Om utrymmet är begränsat till + för korthetens skull kan antalet sätt på vilka den slumpmässiga promenaden stannar vid något nummer efter fem steg visas som {0,5,0,4,0,1}.
Låt oss demonstrera denna överensstämmelse med Pascals triangel för små värden på n . Vid nollsteget är enda möjligheten att stanna på noll. Men redan vid första draget finns det en möjlighet att hamna antingen på -1 eller på 1. Vid det andra draget, från 1, kan du gå till punkt 2, eller tillbaka till noll. Du kan flytta från -1 till -2 eller tillbaka till noll. Därför finns det ett fall när vi är i punkt −2, två fall när vi är på noll och ett fall när vi är i punkt 2.
k | −5 | −4 | −3 | −2 | −1 | 0 | ett | 2 | 3 | fyra | 5 |
---|---|---|---|---|---|---|---|---|---|---|---|
ett | |||||||||||
ett | ett | ||||||||||
ett | 2 | ett | |||||||||
ett | 3 | 3 | ett | ||||||||
ett | fyra | 6 | fyra | ett | |||||||
ett | 5 | tio | tio | 5 | ett |
Den centrala gränssatsen och lagen för den itererade logaritmen beskriver viktiga aspekter av beteendet hos en enkel slumpmässig promenad på . I synnerhet när n ökar, tenderar sannolikheterna (i proportion till siffrorna i varje rad) mot en normalfördelning .
Slumpmässiga vandringar på kristallgitter (oändligt många Abeliska täckande grafer av ändliga grafer) kan betraktas som en direkt generalisering. I själva verket är det under sådana förhållanden till och med möjligt att hävda den centrala gränssatsen och den stora avvikelsesatsen. [8] [9]
Som en Markov-kedjaEn endimensionell diskret slumpmässig gång är en Markov-kedja i heltalstillstånd vars initiala fördelning ges av sannolikhetsfunktionen för den slumpmässiga variabeln , och övergångssannolikhetsmatrisen är
,det är
I högre dimensioner har uppsättningen av slumpmässiga gångpunkter ganska intressanta geometriska egenskaper. Faktum är att vi får en diskret fraktal , det vill säga en uppsättning som visar stokastisk självlikhet när den zoomas in. I liten skala kan du observera "jaggedness" på rutnätet som promenaden genomförs på. Lawlers två citerade böcker är bra källor till material i ämnet. Banan för en slumpmässig promenad är en samling av besökta punkter, betraktad som en uppsättning fram till den tidpunkt då vandringen nådde punkten. I en dimension är banan helt enkelt alla punkter mellan den lägsta höjden och den maximala höjden som vandringen har nått (båda, i genomsnitt, i storleksordningen ).
För att visualisera ett tvådimensionellt fall kan man föreställa sig en person som slumpmässigt går runt i staden. Denna stad är praktiskt taget oändlig och är anlagd i ett fyrkantigt rutnät av trottoarer. Vid varje korsning väljer en person slumpmässigt en av fyra möjliga vägar (inklusive den han kom ifrån). Formellt är detta en slumpmässig vandring över uppsättningen av alla punkter på planet med heltalskoordinater .
Kommer den här personen någonsin att återvända till utgångspunkten för vandringen? Detta fall är 2D-motsvarigheten till plankorsningsproblemet som diskuterats ovan. 1921 bevisade György Pólya att en person nästan säkert skulle återvända vid en tvådimensionell slumpmässig promenad, men för tre dimensioner eller mer minskar sannolikheten att återvända när antalet dimensioner ökar. I det tredimensionella fallet minskar sannolikheten till cirka 34 %. [10] Matematikern Shizuo Kakutani är känd för sitt citat om detta resultat: "En fyllare kommer förr eller senare att hitta hem, men en berusad fågel kan gå förlorad för alltid." [elva]
En annan version av denna fråga, som också ställdes av Poya, är: om två personer lämnar samma utgångspunkt, kommer de någonsin att träffas? [12] Man kan resonera att skillnaden mellan deras platser (två oberoende slumpmässiga promenader) också är en enkel slumpmässig promenad, så de kommer nästan säkert att mötas i en tvådimensionell promenad, men för tre dimensioner eller mer är sannolikheten för att återvända samma som i föregående fall, minskar med ökande antal mätningar. Pal Erdős och Samuel James Taylor visade också 1960 att, för dimensioner mindre än eller lika med 4, två oberoende slumpmässiga promenader, som börjar vid två givna punkter, nästan säkert har oändligt många skärningspunkter, men för dimensioner större än 5 är de nästan säkert skär endast ett ändligt antal gånger. [13]
Den asymptotiska funktionen för en slumpmässig 2D-vandring när antalet steg ökar ges av Rayleigh-fördelningen . Sannolikhetsfördelningen är en funktion av radien från origo, och för varje steg är steglängden konstant.
Wienerprocessen är en stokastisk process som i sitt beteende liknar Brownsk rörelse , ett fysiskt fenomen med diffusion av små partiklar i en vätska. (Ibland kallas en Wienerprocess för en Brownsk rörelse, även om en Wienerprocess strikt sett är en modell, och en Brownsk rörelse är ett modellerat fenomen.)
Wienerprocessen är den skalbara gränsen för en endimensionell slumpmässig promenad. Det betyder att om du tar en slumpmässig promenad med mycket små steg, så kan du få en approximation till Wienerprocessen (och, med mindre noggrannhet, till Brownsk rörelse). Mer exakt, om steglängden är ε, måste man ta en promenad med längden L /ε 2 för att approximera Wienerbanan L . När steglängden närmar sig noll (och antalet steg ökar proportionellt) täcker den slumpmässiga promenaden Wiener-processen på lämpligt sätt. Formellt, om B är rymden av alla banor av längd L med den maximala topologin, och om M är rymden av mått över B med normal topologi, så är konvergensen i rummet M . I analogi är en Wiener-process i flera dimensioner den skalbara gränsen för en slumpmässig promenad i samma antal dimensioner.
En random walk är en diskret fraktal (en funktion med ett heltal av dimensioner; 1, 2, ...), medan Wienerprocessens bana är en riktig fraktal, och det finns ett visst samband mellan de två. Låt oss till exempel ta en slumpmässig promenad och vi kommer att "gå" tills vi passerar en cirkel med radien r gånger stegets längd. Då kommer det genomsnittliga antalet steg som krävs för att slutföra promenaden att vara lika med r 2 . Detta faktum är en diskret version av det faktum att Wiener process walk är en fraktal av Hausdorff dimension 2.
I tvådimensionell rymd är det genomsnittliga antalet punkter som en slumpmässig promenad passerar på gränsen för sin bana r 4/3 . Detta överensstämmer med det faktum att banans gräns för en Wienerprocess är en 4/3 fraktal, vilket föreslogs av Mandelbrot genom användning av simuleringar, men bevisades först 2000 av Lawler, Schramm och Werner . [fjorton]
Wienerprocessen har många symmetrier till skillnad från random walk. Till exempel, en Wiener-processgång är rotationsinvariant, men en slumpmässig gång är det inte, eftersom dess rutnät inte är rotationsinvariant (slumpmässig gång är rotationsinvariant med 90 grader, medan Wienerprocesser är rotationsinvariant med, säg, ytterligare 17 grader). ). Detta innebär att problem som ges på en slumpmässig promenad i många fall är lättare att lösa på följande sätt: överför problemet till Wiener-processen, lös problemet där och överför det sedan tillbaka. Å andra sidan är vissa problem lättare att lösa på en slumpmässig promenad på grund av dess diskreta karaktär.
Konvergensen av en slumpmässig promenad till en Wiener-process görs med hjälp av den centrala gränssatsen och Donskers sats. För en partikel vid en känd fast position vid t = 0, säger centralgränssatsen att efter ett stort antal oberoende slumpmässiga vandringssteg kommer vandrarens position att fördelas enligt normalvariansfördelningen :
där t är tiden som förflutit sedan starten av den slumpmässiga promenaden, är stegstorleken för promenaden och är tiden som förflutit mellan två på varandra följande steg.
Detta fall motsvarar Greens funktion av diffusionsekvationen , som beskriver Wienerprocessen, vilket antyder att efter ett tillräckligt stort antal steg konvergerar den slumpmässiga vandringen till Wienerprocessen.
I 3D-fallet är variansen som motsvarar Greenens funktion av diffusionsekvationen:
Genom att utjämna detta värde med variansen som är förknippad med positionen för den slumpmässiga vandraren, kan man få den ekvivalenta diffusionskoefficienten, övervägd för en asymptotisk wienerprocess till vilken den slumpmässiga promenaden konvergerar efter ett tillräckligt stort antal steg:
(förnuftigt endast i fallet med tre dimensioner).Obs: Ovanstående två variansuttryck motsvarar en fördelning associerad med en vektor som förbinder de två ändarna av en slumpmässig promenad i tre dimensioner. Skillnaden associerad med varje komponent, eller , är bara en tredjedel av det totala värdet (fortfarande 3D).
För 2D: [15]
För 1D: [16]
Överväg en slumpmässig promenad , där .
Den centrala gränssatsen säger att genom fördelning vid .
Men för slumpmässiga promenader kan detta påstående stärkas avsevärt.
Vi konstruerar en slumpmässig process med avseende på , definierar den enligt följande: , och för resten definierar vi processen med en linjär fortsättning:
Från centrala gränssatsen om distribution för
Detta innebär konvergensen av de endimensionella fördelningarna av processen till de endimensionella fördelningarna av Wienerprocessen . Donskers teorem, även kallad invariansprincipen, säger att det finns en svag konvergens av processer,
Svag konvergens av processer betyder konvergensen av funktionaler som är kontinuerliga med avseende på Wienermåttet, det vill säga det tillåter beräkning av värdena för funktionaler från Brownsk rörelse (till exempel maximum, minimum, sista nollan, ögonblicket för första nådd nivån och andra) genom att passera till gränsen från en enkel slumpmässig promenad.
En slumpmässig promenad med en steglängd som varierar med en normalfördelning används som tidsseriedata i verkliga världen, såsom finansmarknader. Black-Schools-formeln använder till exempel en Gaussisk slumpmässig promenad som sitt underliggande antagande.
I detta fall är stegstorleken den inversa kumulativa normalfördelningen där 0 ≤ z ≤ 1 och är ett enhetligt fördelat slumptal, och μ och σ är medelvärdet respektive standardavvikelsen för normalfördelningen.
Om μ inte är noll kommer den slumpmässiga vandringen att följa en linjär trend. Om v s är startvärdet för den slumpmässiga promenaden, är det förväntade värdet efter n steg v s + n μ.
För det speciella fallet där μ är noll, efter n steg, definieras sannolikhetsfördelningen av tillryggalagd sträcka som N (0, n σ 2 ), där N () är notationen för normalfördelningen, n är antalet steg och σ är hämtat från ovanstående inversa kumulativa normalfördelning.
Bevis: En Gaussisk slumpgång kan representeras som summan av en sekvens av oberoende och identiskt fördelade slumpvariabler, X i från en invers kumulativ normalfördelning, där medelvärdet är noll och σ är hämtat från den ursprungliga inversa kumulativa normalfördelningen:
Z = ,men vi har en fördelning för summan av två oberoende normalfördelade stokastiska variabler, Z = X + Y, erhållen tack vare
(μ X + μ Y , σ 2 X + σ 2 Y )I vårt fall ger μ X = μ Y = 0 och σ 2 X = σ 2 Y = σ 2 :
(0, 2σ 2 )Genom induktion har vi för n steg:
Z~ (O, n o2 ) .För steg fördelade enligt någon fördelning med noll medelvärde och ändlig varians (inte nödvändigtvis bara en normalfördelning), ges rotmedelvärdet för avståndet tillryggalagt efter n steg av:
Men för en Gaussisk slumpmässig promenad är detta bara standardavvikelsen för fördelningen av tillryggalagd sträcka efter n steg. Därför, om μ är noll, och om det tillryggalagda effektiva avståndet är en standardavvikelse, finns det en 68,27 % chans att det effektiva avståndet som tillryggaläggs efter n steg kommer att vara mellan ± σ . Det finns också en 50% chans att avståndet tillryggalagt efter n steg kommer att vara mellan ± 0,6745σ .
I oordnade system, såsom porösa medier och fraktaler, kan det vara proportionellt inte mot , utan . Exponenten kallas den anomala diffusionsexponenten och kan vara större eller mindre än 2. [17] Den anomala diffusionen kan också uttryckas som σ r 2 ~ Dt α där α är anomaliparametern. Vissa diffusioner i en slumpmässig miljö är till och med proportionella mot kraften i tidens logaritm, som Sinais vandring eller Brox diffusion.
Antalet distinkta platser som besöks av en enda slumpmässig vandrare har studerats omfattande för kvadratiska och kubiska gitter och fraktaler. [18] [19] Detta värde är användbart för att analysera problem med dödläge (engelsk fällning ) och kinetiska reaktioner. Det är också relaterat till tillståndens vibrationstäthet, [20] [21] diffusionsreaktioner av processer [22] och fördelningen av populationer i ekologi. [23] [24] En generalisering av detta problem till antalet distinkta platser som besöks av slumpmässiga vandrare, betecknade som , har nyligen studerats för d -dimensionella euklidiska gitter. [25] Antalet olika platser som besöks av N vandrare är inte bara relaterat till antalet olika platser som varje vandrare besöker.
Uppskattning av informationsmängden för en Gaussisk slumpmässig gång med avseende på kvadraten på felavståndet, dvs dess kvadratiska distorsionsfunktion, given parametriskt: [26]
var . Därför är det inte möjligt att binärkoda med mindre än antalet bitar och sedan avkoda med ett förväntat RMS-fel mindre än . Å andra sidan, för alla , finns det en tillräckligt stor och binär kod med högst element, så att det förväntade medelkvadratfelet vid återställning från denna kod inte är mer än .
Som redan nämnts är den mängd naturfenomen som vissa varianter av slumpmässiga promenader har försökt beskriva betydande. I synnerhet inom fysik, [27] [28] kemi, [29] materialvetenskap , [30] [31] biologi [32] och andra olika vetenskaper. [33] [34] Här är några tillämpningar av random walk:
I alla dessa fall ersätts den slumpmässiga promenaden ofta av Brownsk rörelse:
Flera sorters slumpmässiga processer har visat sig likna rena random walks, men där den enkla strukturen kan generaliseras mer. En ren struktur kan karakteriseras av steg som definieras av oberoende och identiskt fördelade slumpvariabler .
En slumpmässig promenad av längden k på en möjligen oändlig graf G med roten 0 är en stokastisk process med slumpmässiga variabler sådana att , och detta är en vertex likformigt slumpmässigt vald bland grannar . Då är tal sannolikheten att en slumpmässig promenad av längden k börjar på v och slutar på w . I synnerhet, om G är en graf med rötter på 0 , är sannolikheten att den stegvisa slumpmässiga vandringen återgår till 0 .
I analogi med det tidigare beskrivna avsnittet (ökade dimensioner), anta att nu är vår stad inte längre ett perfekt kvadratiskt rutnät. När vår person når en viss korsning väljer han med lika stor sannolikhet mellan olika tillgängliga vägar. Således, om det finns sju utgångar vid korsningen, kommer en person att gå till var och en med en sannolikhet på en sjundedel. Därmed får vi en slumpmässig promenad på grafen. Kommer vår man att ta sig till sitt hem? Det visar sig att, under ganska goda förhållanden, svaret förblir ja, [45] men, beroende på grafen, för nästa fråga ('Kommer två personer att mötas?') kanske svaret "oändligt ofta" inte längre är ett nästan viss händelse. [46]
Ett exempel där en person nästan säkert kommer att nå huset är när längden på alla block ligger i intervallet från a till b (där a och b är två ändliga positiva tal). Viktigt: vi antar inte att grafen är plan , det vill säga tunnlar och broar kan finnas i staden. Ett sätt att bevisa detta resultat är genom att ansluta till elektriska nätverk . Ta en stadskarta och placera ett 1 ohm motstånd på varje block. Låt oss nu mäta "motståndet mellan punkt och oändlighet". Med andra ord, låt oss välja något nummer R och ta alla punkter i det elektriska nätverket med ett avstånd mellan dem och vår punkt större än R, och koppla ihop dem. Vi får ett ändligt elektriskt nätverk där vi kan mäta resistansen mellan vår punkt och andra punkter i nätverket. Låt R tendera mot oändligheten. Den resulterande gränsen kallas motståndet mellan punkt och oändlighet .
Det visar sig att följande gissningar är sanna (ett elementärt bevis finns i Doyle och Snells bok):
Sats : En graf är transient om och endast om motståndet mellan punkt och oändlighet är ändligt. Dessutom är valet av en punkt oviktigt om grafen är kopplad.
Med andra ord, i ett transient system behöver man bara övervinna ändligt motstånd för att nå oändligheten från vilken punkt som helst. I ett återkommande system är motståndet mellan valfri punkt och oändlighet oändligt.
En slumpmässig promenad på en graf är ett specialfall av en Markov-kedja . Till skillnad från en allmän Markov-kedja har en slumpmässig gång på en graf en egenskap som kallas tidssymmetri eller reversibilitet . Grovt sett betyder denna egenskap, även kallad principen för detaljerad jämvikt , att sannolikheterna för att korsa en given väg i den ena eller andra riktningen har ett mycket enkelt förhållande mellan dem (om grafen är regelbunden , då är de lika). Denna egenskap har viktiga konsekvenser.
Sedan 1980-talet har det gjorts mycket forskning för att relatera grafegenskaper till slumpmässiga promenader. Utöver det elektriska nätverket som beskrivits ovan finns det också kopplingar till isoperimetriska ojämlikheter, funktionella ojämlikheter som Sobolev- och Poincaré- ojämlikheterna och till egenskaper hos lösningar till Laplace-ekvationen . Mycket av denna forskning har fokuserat på Cayley-graferna för ändligt genererade grupper. I många fall överförs dessa diskreta resultat till eller härleds från grenrör och Lie-grupper .
På tal om slumpmässiga grafer , särskilt om Erdős-Rényi-modellen , har analytiska resultat erhållits för vissa egenskaper hos slumpmässiga vandrare. De inkluderar fördelningen av rullatorns första [47] och sista [48] träffar (eng. träfftid) där den första träffen är första gången rullatorn först kliver på en tidigare besökt plats, och den sista sammanfaller med fallet när vandraren inte har någon annanstans att ta vägen, förutom den tidigare besökta platsen.
En bra referens för en slumpmässig promenad på en graf är den här onlineboken. För studiet av grupper är Wöss böcker lämpliga. Om själva övergångskärnan är slumpmässig (baserat på miljön ), kallas den slumpmässiga promenaden en "slumpmässig promenad i en slumpmässig miljö". När slumpgångslagen inkluderar slumpmässighet kallas lagen annealed (eng. annealed ); å andra sidan, om den anses som fast, kallas lagen tempererad (eng. quenched ).
Vi kan välja alla möjliga kanter på grafen med samma sannolikhet som det lokala osäkerhetsmaximum (entropi). Vi kan också göra detta globalt - i en maximal entropy random walk (eng. maximum entropy random walk, MERW ) är det nödvändigt att alla banor är lika sannolika eller, med andra ord, för vilka två hörn som helst, varje väg av en given längd är lika troligt. [49] En sådan promenad har mycket starkare lokaliserande egenskaper.
Det finns en separat typ av slumpmässig vandring där varje steg beror på det föregående på något komplext sätt. De är svårare att lösa analytiskt än vanliga random walks; dock kan beteendet hos alla slumpmässiga rollatormodeller erhållas med hjälp av datorer. Till exempel:
En självundvikande promenad med längd n är en slumpmässig bana med längd n steg, som börjar vid utgångspunkten, som bara passerar genom angränsande punkter i och aldrig passerar genom samma punkt två gånger. I det tvådimensionella fallet är en sådan väg vanligtvis mycket kort [51] , medan den i den förhöjda dimensionen växer utan gräns. Denna modell används ofta inom polymerfysik (sedan 1960-talet).
Långtidskorrelerade tidsserier finns i många biologiska, klimatologiska och ekonomiska system:
Slumpmässiga promenader där rörelseriktningen vid en tidpunkt korrelerar med rörelseriktningen vid nästa tidpunkt. Används för att simulera djurs rörelse. [60] [61]
Ordböcker och uppslagsverk | |
---|---|
I bibliografiska kataloger |
|