Poängprocess - Point process
I statistik och sannolikhetsteori är en poängprocess eller ett punktfält en samling matematiska punkter som slumpmässigt ligger på ett matematiskt utrymme som den verkliga linjen eller det euklidiska utrymmet. Punktprocesser kan användas som matematiska modeller av fenomen eller objekt som kan representeras som punkter i någon typ av utrymme.
Det finns olika matematiska tolkningar av en punktprocess, såsom ett slumpmässigt räknemått eller en slumpmässig uppsättning. Vissa författare betraktar en punktprocess och en stokastisk process som två olika objekt, så att en punktprocess är ett slumpmässigt objekt som härrör från eller associeras med en stokastisk process, även om det har påpekats att skillnaden mellan punktprocesser och stokastiska processer inte är tydlig. . Andra betraktar en punktprocess som en stokastisk process, där processen indexeras av uppsättningar av det underliggande utrymmet som den definieras på, såsom den verkliga linjen eller det dimensionella euklidiska utrymmet. Andra stokastiska processer såsom förnyelse och räkningsprocesser studeras i teorin om poängprocesser. Ibland föredras inte ordet "punktprocess", eftersom ordet "process" historiskt betecknade en utveckling av något system i tid, så punktprocess kallas också ett slumpmässigt punktfält.
Punktprocesser är väl studerade objekt i sannolikhetsteorin och föremål för kraftfulla verktyg i statistik för modellering och analys av rumslig data , vilket är av intresse för så olika discipliner som skogsbruk, växtekologi, epidemiologi, geografi, seismologi, materialvetenskap, astronomi, telekommunikation , beräkningsneurovetenskap, ekonomi och andra.
Punktprocesser på den verkliga linjen bildar ett viktigt specialfall som är särskilt mottagligt att studera, eftersom punkterna ordnas på ett naturligt sätt, och hela punktprocessen kan beskrivas fullständigt med (slumpmässiga) intervall mellan punkterna. Dessa poängprocesser används ofta som modeller för slumpmässiga händelser i tid, såsom ankomsten av kunder i en kö ( köteori ), impulser i ett neuron ( beräkningsneurovetenskap ), partiklar i en Geiger-räknare , lokalisering av radiostationer i en telekommunikationsnätverk eller av sökningar på internet .
Allmän poängprocessteori
I matematik, är en punkt process ett slumpmässigt element vars värden är "punktmönster" på en uppsättning S . Medan i den exakta matematiska definitionen ett punktmönster specificeras som ett lokalt ändligt räknemått , är det tillräckligt för mer tillämpade ändamål att tänka på ett punktmönster som en räknbar delmängd av S som inte har några gränspunkter .
Definition
För att definiera allmänna punktprocesser börjar vi med ett sannolikhetsutrymme och ett mätbart utrymme där är ett lokalt kompakt andra räknbart Hausdorff-utrymme och är dess Borel σ-algebra . Tänk nu på ett heltal värderat lokalt ändlig kärna från in i , det vill säga en kartläggning så att:
- För varje , är en lokalt begränsad åtgärd på .
- För varje , är en slumpvariabel över .
Den här kärnan definierar ett slumpmässigt mått på följande sätt. Vi skulle vilja tänka på att definiera en kartläggning som mappar till ett mått (nämligen ), var är uppsättningen av alla lokalt begränsade åtgärder på . För att göra denna kartläggning mätbar måste vi definiera ett fält över . Detta fält är konstruerat som minimal algebra så att alla utvärderingskartor av formen , där de är relativt kompakta , är mätbara. Utrustad med detta -fält, är då ett slumpmässigt element, där för varje , är ett lokalt begränsat mått över .
Nu, genom en punkt process på menar vi helt enkelt ett heltal värderad slumpmässig åtgärd (eller ekvivalent, heltalsvärderad kärnan) konstruerad enligt ovan. Det vanligaste exemplet för tillståndsutrymmet S är den euklidiska rymden R n eller en undergrupp därav, där en särskilt intressant specialfall ges av den verkliga halv-line [0, ∞). Emellertid punktprocesser inte begränsad till dessa exempel och kan bland annat också användas om punkterna själva kompakta undergrupper av R n , i vilket fall ξ vanligen hänvisas till som en partikelprocess .
Det har noterats att termen punktprocess inte är särskilt bra om S inte är en delmängd av den verkliga linjen, eftersom det kan föreslå att ξ är en stokastisk process . Termen är emellertid väl etablerad och obestridd även i allmänhet.
Representation
Varje förekomst (eller händelse) av en punktprocess ξ kan representeras som
där betecknar diracmått , n är ett heltal värderad slumpvariabel och är slumpmässiga element i S . Om det är nästan säkert distinkt (eller motsvarande, nästan säkert för alla ), är poängprocessen känd som enkel .
Annan annorlunda men användbar representation av en händelse (en händelse i händelse rymden, dvs en serie punkter) är den räkning notation, där varje instans representeras som en funktion, en kontinuerlig funktion som tar heltal värden: :
vilket är antalet händelser i observationsintervallet . Det betecknas ibland med och eller betyder .
Förväntningsåtgärd
Den förväntningen åtgärd Eξ (även känd som genomsnittlig åtgärd ) för en punkt process ξ är ett mått på S som tilldelar varje Borel delmängd B av S det förväntade antalet platser av ξ i B . Det är,
Laplace funktionell
Den Laplace funktionell för en punkt process N är en karta från uppsättningen av alla positiva värda funktioner f om läget utrymmet av N , till definieras enligt följande:
De spelar en liknande roll som de karakteristiska funktionerna för slumpmässig variabel . En viktig sats säger att: tvåpunktsprocesser har samma lag om deras Laplace-funktionalitet är lika.
Momentmått
Den kraft som en punktprocess definierar definieras i produktutrymmet enligt följande:
Med monoton klass teorem , detta unikt definierar åtgärd på Förväntningen kallas th ögonblick åtgärden . Det första ögonblicket är det genomsnittliga måttet.
Låt . De gemensamma intensiteterna för en poängprocess mot Lebesgue-åtgärden är sådana funktioner att för alla ojämna avgränsade Borel-underuppsättningar
Gemensamma intensiteter finns inte alltid för punktprocesser. Med tanke på att stunder av en slumpmässig variabel bestämmer den slumpmässiga variabeln i många fall, kan ett liknande resultat förväntas för gemensamma intensiteter. Detta har faktiskt visats i många fall.
Stationaritet
En punktprocess sägs vara stationär om den har samma fördelning som för alla. För en stationär punktprocess är medelvärdet för en konstant och var står för Lebesgue-måttet. Detta kallas poängprocessens intensitet . En stationär punktprocess har nästan antingen 0 eller ett oändligt antal poäng totalt. För mer information om stationära punktprocesser och slumpmässiga mått, se kapitel 12 i Daley & Vere-Jones. Stationaritet har definierats och studerats för punktprocesser i mer allmänna utrymmen än .
Exempel på punktprocesser
Vi kommer att se några exempel på punktprocesser i
Poisson-punktprocess
Det enklaste och mest allestädes närvarande exemplet på en punktprocess är Poisson-punktprocessen , som är en rumslig generalisering av Poisson-processen . En Poisson (räkna) process på linjen kan karakteriseras av två egenskaper: antalet punkter (eller händelser) i ojämna intervall är oberoende och har en Poisson-fördelning . En Poisson-punktprocess kan också definieras med hjälp av dessa två egenskaper. Vi säger nämligen att en punktprocess är en Poisson-punktprocess om följande två villkor gäller
1) är oberoende för ojämna underuppsättningar
2) För en begränsad delmängd , har en Poisson-fördelning med parameter där betecknar Lebesgue-måttet .
De två villkoren kan kombineras tillsammans och skrivas enligt följande: För alla ojämna avgränsade delmängder och icke-negativa heltal har vi det
Konstanten kallas intensiteten i Poisson-punktprocessen. Observera att Poisson-punktprocessen kännetecknas av den enda parametern. Det är en enkel, stationär punktprocess. För att vara mer specifik kallar man ovanstående punktprocess en homogen Poisson-punktprocess. En inhomogen Poisson-process definieras som ovan men genom att ersätta med där är en icke-negativ funktion på
Cox-punktprocess
En Cox-process (uppkallad efter Sir David Cox ) är en generalisering av Poisson-poängprocessen genom att vi använder slumpmässiga mått i stället för . Mer formellt, låt vara ett slumpmässigt mått . En Cox-punktprocess som drivs av det slumpmässiga måttet är punktprocessen med följande två egenskaper:
- Givet , distribueras Poisson med parameter för alla begränsade delmängder
- För alla begränsade samlingar av ojämna underuppsättningar och villkor som vi har som är oberoende.
Det är lätt att se att Poisson-punktprocessen (homogen och inhomogen) följer som speciella fall av Cox-punktprocesser. Det genomsnittliga måttet på en Cox-punktprocess är och därför är det i det speciella fallet med en Poisson-punktprocess
För en Cox-punktprocess kallas intensitetsmåttet . Vidare, om har en (slumpmässig) densitet ( Radon-Nikodym-derivat ) dvs.
då kallas intensitetsfältet för Cox-punktprocessen. Stationäritet för intensitetsmått eller intensitetsfält innebär stationäriteten för motsvarande Cox-punktprocesser.
Det har funnits många specifika klasser av Cox-punktprocesser som har studerats i detalj såsom:
- Logga Gaussian Cox-punktprocesser: för ett Gaussiskt slumpmässigt fält
- Shot noise Cox point-processer :, för en Poisson-point-process och kärna
- Allmänt skottbrus Cox-punktprocesser: för en punktprocess och kärna
- Lévy-baserade Cox-punktprocesser: för en Lévy-bas och kärna , och
- Permanental Cox punkt processer: för k oberoende gaussiska slump fält 's
- Sigmoidal Gaussian Cox-punktprocesser: för ett Gaussiskt slumpmässigt fält och slumpmässigt
Genom Jensens ojämlikhet kan man verifiera att Cox-punktprocesser uppfyller följande ojämlikhet: för alla avgränsade Borel-underuppsättningar ,
där står för en Poisson-poängprocess med intensitetsmått Således fördelas punkter med större variation i en Cox-punktprocess jämfört med en Poisson-punktprocess. Detta kallas ibland kluster eller attraktiv egenskap för Cox-punktprocessen.
Avgörande punktprocesser
En viktig klass av poängprocesser, med tillämpningar på fysik , slumpmässig matristeori och kombinatorik , är den avgörande punktprocesser .
Hawkes (självspännande) processer
En Hawkes-process , även känd som en självspännande räkneprocess, är en enkel punktprocess vars villkorliga intensitet kan uttryckas som
var är en kärnfunktion som uttrycker det positiva inflytandet från tidigare händelser på det aktuella värdet av intensitetsprocessen , är en möjligen icke-stationär funktion som representerar den förväntade, förutsägbara eller deterministiska delen av intensiteten, och är tidpunkten för förekomsten av i-händelsen av processen.
Geometriska processer
Givet en sekvens av icke-negativa slumpmässiga variabler: om de är oberoende och cdf av ges av för , där är en positiv konstant, kallas det en geometrisk process (GP).
Den geometriska processen har flera förlängningar, inklusive α-serieprocessen och den dubbelt geometriska processen .
Peka processer på den verkliga halvlinjen
Historiskt hade de första poängprocesserna som studerades den verkliga halvlinjen R + = [0, ∞) som tillståndsutrymme, vilket i detta sammanhang vanligtvis tolkas som tid. Dessa studier motiverades av önskan att modellera telekommunikationssystem, där punkterna representerade händelser i tid, såsom samtal till en telefonväxel.
Punkt processer på R + är typiskt beskrivna genom att ge sekvensen av sina (slumpmässiga) inter-händelsetider ( T 1 , T 2 , ...), från vilken den faktiska sekvensen ( X 1 , X 2 , ...) av evenemangstider kan erhållas som
Om tiderna mellan händelserna är oberoende och identiskt fördelade kallas den erhållna poängprocessen förnyelseprocess .
Intensiteten i en punktprocess
Den intensitet λ ( t | H t ) för en punkt process på den reala halv-linje med avseende på en filtrerings H t definieras som
H t kan beteckna historia av händelse-punkttider föregående tid t , men kan även motsvara andra filtreringar (till exempel i fallet med en Cox-processen).
I -notation kan detta skrivas i en mer kompakt form: .
Den kompensator för en punkt process, även känd som den dubbla förutsägbara projektion , är den integrerade villkorade intensitetsfunktion som definieras av
Relaterade funktioner
Papangelou intensitetsfunktion
Den Papangelou intensitetsfunktionen för en punkt process i -dimensionella euklidiska rymden definieras som
var är bollen centrerad vid en radie och anger informationen om punktprocessen utanför .
Sannolikhetsfunktion
Den logaritmiska sannolikheten för en parametrerad enkelpunktsprocess under förutsättning att vissa observerade data skrivs som
Punktprocesser i rumslig statistik
Analysen av punktmönster data i en kompakt delmängd S av R n är ett stort föremål för studien inom spatial statistik . Sådana uppgifter finns i ett brett spektrum av discipliner, bland annat
- skogsbruk och växtekologi (placering av träd eller växter i allmänhet)
- epidemiologi (hemma hos infekterade patienter)
- zoologi (hålor eller bon hos djur)
- geografi (positioner för mänskliga bosättningar, städer eller städer)
- seismologi (epicentrar av jordbävningar)
- materialvetenskap (positioner av defekter i industriella material)
- astronomi (platser för stjärnor eller galaxer)
- beräkningsneurovetenskap (spikar av neuroner).
Behovet av att använda punktprocesser för att modellera denna typ av data ligger i deras inneboende rumsliga struktur. Följaktligen är en första fråga av intresse ofta huruvida de givna uppgifterna uppvisar fullständig rumslig slumpmässighet (dvs. är en förverkligande av en rumslig Poisson-process ) i motsats till att antingen uppvisa rumslig aggregering eller rumslig hämning.
Däremot består många datamängder som beaktas i klassisk multivariat statistik av oberoende genererade datapunkter som kan styras av en eller flera kovariater (vanligtvis icke-rumsliga).
Bortsett från tillämpningarna i rumslig statistik är punktprocesser ett av de grundläggande objekten i stokastisk geometri . Forskning har också fokuserat i stor utsträckning på olika modeller byggda på punktprocesser som Voronoi-tessellationer, slumpmässiga geometriska grafer, boolesk modell etc.
Se även
- Empiriskt mått
- Slumpmässigt mått
- Point process notation
- Punktprocessoperation
- Poisson-process
- Förnyelseteori
- Invariant mått
- Överföringsoperatör
- Koopman-operatör
- Skiftoperatör