1.3 Fisher-informasjon, MLE-asymptotikk, Wald-KI og Cramér–Rao
Fisher-informasjonen I(θ), MLE-ens tilnærmede normalfordeling N(θ,1/(nI(θ))), Wald-konfidensintervallet og Cramér–Raos nedre grense — det som skiller A-besvarelsen.
- Sjanger C (Fisher-info + ML-estimatorens fordeling) og sjanger D (Wald-konfidensintervall) hører sammen — de utgjør ofte de siste, tyngst tellende deloppgavene i Oppgave 1. Sjanger = oppgavetype.
- Dette er stoffet som skiller A-besvarelsen: åpningsdelene (definer modell, finn ML-estimator) tar deg til bestått, men Fisher → Wald → Cramér–Rao tar deg til topps.
Sensorens krav (§4.4): når du bruker normaltilnærming, nevn eksplisitt at det er ML-estimatorens asymptotikk (sentralgrenseteoremet) som ligger bak, og koble variansen til . Prioritet: kunne — mot perfekt for topp karakter.
Normaltilnærmingen hviler på sentralgrenseteoremet og de CLT-baserte konfidensintervallene fra STK1100 kap. 6.2 CLT-tilnærmet konfidensintervall (→ stk1100-6-2), og ML-grunnlaget fra STK1100 kap. 5.2 Maximum likelihood og momentmetoden (→ stk1100-5-2) (klartekst — STK1100 er ikke bygget ennå). Trenger du å friske opp derivasjon og forventning som integral, se R2 2.4 Bestemt integral og R1 4.1 Derivasjonsregler.
Du deriverte log-likelihood to ganger for å bekrefte maksimum. Den samme andrederiverte er byggesteinen i dette kapitlet: tar du forventningen av og snur fortegnet, får du Fisher-informasjonen. ML-estimatoren (f.eks. for Poisson, for eksponential) er punktet vi nå skal sette usikkerhet på.
ML-estimatoren gir deg et tall. Men eksamen — og virkeligheten — spør: hvor sikkert er det tallet? Svaret ligger i hvor skarp toppen på log-likelihood-kurven er. En spiss topp betyr at dataene peker tydelig på én verdi (liten usikkerhet); en flat topp betyr stor usikkerhet.
Fisher-informasjonen måler nettopp denne skarpheten — den forventede krumningen i toppen. Jo mer informasjon, jo mindre varians, jo smalere konfidensintervall. Dette kapitlet knytter sammen fire ting som henger uløselig sammen: informasjonen , ML-estimatorens tilnærmede normalfordeling, Wald-konfidensintervallet og Cramér–Raos teoretiske grense for hvor godt det i det hele tatt går an å estimere.
Kapitlet går i seks løkker: Fisher-info → asymptotisk fordeling → standardfeil → Wald-KI → asymmetrisk pivot → Cramér–Rao og invarians. Hver løkke: teori → gjennomregnet eksempel → øvingsoppgave.
Løkke 1 — Fisher-informasjonen (~12 min)
Stor = skarp topp = presis estimering. Merk store : vi tar forventning over den stokastiske variabelen, så blir et tall som avhenger bare av , ikke av de konkrete dataene.
1. Toppen av ligger der scoren er null. Nær toppen buer kurven nedover, så den andrederiverte er negativ.
Intuisjon: en spiss topp (sterkt negativ ) betyr at log-likelihood faller raskt når du beveger deg vekk fra ML-verdien — dataene «insisterer» på verdien.
2. For én observasjon er krumningen selv stokastisk (den avhenger av ). Vi tar forventningen for å få et fast mål og snur fortegnet så tallet blir positivt:
Intuisjon: gjennomsnittlig hvor spiss toppen er, målt som en positiv informasjonsmengde.
3. Det finnes en ekvivalent form via variansen av scoren (neste definisjon), som ofte er lettere å regne.
De to formlene gir alltid samme svar (under regularitetsbetingelsene), fordi scoren har forventning null. Velg den som er lettest å regne for din tetthet — andrederivert-formen er vanligst på eksamen.
Dette er nøkkelen til hvorfor mer data gir mindre usikkerhet — informasjonen vokser lineært med , og variansen til ML-estimatoren (neste løkke) er nettopp . Bland aldri (én observasjon) med (hele utvalget) — en klassisk trekkbelastning.
Antall skader per forsikringsavtale er Poisson med punktsannsynlighet . Finn Fisher-informasjonen i én observasjon og for observasjoner.
Førstederivert (score): .
Andrederivert: .
Ta forventning og snu fortegn (bruk ):
For hele utvalget: . Merk: stor (mye spredning) gir lavere informasjon per observasjon.
Levetider er eksponentialfordelte med rate , , (husk ). Finn Fisher-informasjonen i én observasjon og .
Løkke 2 — ML-estimatorens asymptotiske fordeling (~10 min)
Dette er grunnlaget for Wald-konfidensintervallet. Bruker du normaltilnærmingen, må du nevne at det er denne ML-asymptotikken (sentralgrenseteoremet) som gjelder (sensorkrav §4.4). Andre argument i er variansen, aldri standardavviket.
For Poisson er ML-estimatoren (kap. 1.2) og (eksempel 1). Angi den tilnærmede fordelingen til for stor .
Her stemmer tilnærmingen med det eksakte: og nøyaktig. Poeng til sensor: si eksplisitt at normalformen følger av ML-asymptotikken/sentralgrenseteoremet — ikke bare « er normal».
Data er eksponentialfordelte med rate og (oppgave 1), med ML-estimator . Angi den tilnærmede fordelingen til for stor , og skriv variansen ut.
Løkke 3 — Standardfeil og Wald-konfidensintervall (~12 min)
Dette er , men med erstattet av estimatet fordi den sanne er ukjent. Standardfeilen er byggesteinen i Wald-intervallet.
er øvre -kvantil i standardnormalen ( for 95 %). Koble alltid variansen eksplisitt til — det er det sensor ser etter (§4.4).
1. Start med pivoten .
Intuisjon: standardiser ML-estimatoren — trekk fra forventningen, del på standardfeilen.
2. En standardnormal ligger mellom og med sannsynlighet :
Intuisjon: kutter av i hver hale.
3. Løs ulikheten for (med behandlet som en fast størrelse): .
Intuisjon: det gir det symmetriske Wald-intervallet.
Antall skader per avtale er Poisson. Du observerer avtaler med gjennomsnitt skader. Konstruer et 95 % Wald-konfidensintervall for .
Med :
Prosedyren fanger den sanne raten i 95 % av gjentatte utvalg; her gir den skader per avtale. Nevn at normalformen bak intervallet er ML-asymptotikken.
I et utvalg på enheter er andelen defekte . For Bernoulli er . Konstruer et 95 % Wald-intervall for .
Løkke 4 — Asymmetrisk pivot-form (~10 min)
Dette er asymmetrisk om — og det er et trekk, ikke en feil (§4.7). Den symmetriske Wald-formen er en grovere tilnærming, og kan gi negative grenser for en positiv parameter.
1. Behold sann i nevneren: .
Intuisjon: vi standardiserer med den ekte usikkerheten, ikke den estimerte.
2. Venstre ulikhet: .
3. Høyre ulikhet: .
Intuisjon: de to grensene deler ikke likt — nedre og øvre ende skyves ulikt.
Sammen: . (Den eksakte -pivoten for samme modell kommer i kap. 2.5.)
Ventetider (minutter) er eksponentialfordelte med forventning , , og . Du har observasjoner med . Gi (a) det symmetriske og (b) det asymmetriske 95 % Wald-intervallet for , og kommentér forskjellen.
ML: . . .
a) Symmetrisk: .
b) Asymmetrisk pivot: .
Forskjell: det asymmetriske intervallet strekker seg lenger oppover (mot store ) og mindre nedover — riktig, siden usikkerheten vokser med . Det symmetriske er en grovere approksimasjon. Begge er 95 %-intervall; det asymmetriske foretrekkes når avhenger av parameteren.
Bruk samme eksponentialmodell () med observasjoner og timer.
a) Gi det symmetriske 95 % Wald-intervallet for .
b) Gi det asymmetriske pivot-intervallet.
c) Hvilket er å foretrekke, og hvorfor?
Løkke 5 — Cramér–Rao og effisiens (~10 min)
Ingen forventningsrett estimator kan slå denne grensen. Den er nøyaktig den variansen ML-estimatoren oppnår asymptotisk — derfor kan ingen gjøre det vesentlig bedre enn maximum likelihood i store utvalg.
For Poisson er forventningsrett med , og . Vis at oppnår Cramér–Rao-grensen, og forklar hva det betyr.
Cramér–Rao-grensen er . Dette er nøyaktig . Altså oppnår grensen — den er en effisient estimator (ikke bare asymptotisk): ingen forventningsrett estimator for kan ha mindre varians. Derfor er det umulig å forbedre i Poisson-modellen.
For eksponentialmodellen med forventning er forventningsrett med , og .
a) Finn Cramér–Rao-grensen.
b) Oppnår den?
c) Hva forteller det deg?
Løkke 6 — Invarians: transformer Wald-intervallet (~8 min)
et -intervall for — dekningsgraden bevares fordi er én-til-én. Er avtakende, bytter endepunktene plass: . Punktestimatet transformeres samtidig ved invariansprinsippet (kap. 1.2): . Ingen ny ML- eller Fisher-regning trengs.
For eksponentialmodellen (forventning ) fant du 95 %-intervallet for (eksempel 4a), med . Raten er . Finn ML-estimatet og et 95 %-intervall for .
Altså for raten . Vi gjorde verken ny ML eller ny Fisher-regning — bare transformerte intervallet.
Fra samme modell har du 95 %-intervallet for forventet ventetid (oppgave 4a), .
a) Finn ML-estimatet og et 95 %-intervall for .
b) Finn tilsvarende for raten .
- Glemme minustegnet eller forventningen i . Uten forventningen får du en tilfeldig størrelse (observert informasjon), ikke Fisher-informasjonen; uten minus får du feil fortegn.
- Forveksle (én observasjon) med (hele utvalget). Variansen til ML-estimatoren er , ikke .
- Ikke nevne ML-asymptotikken når du bruker normaltilnærming. Sensor vil se at du vet hvorfor er tilnærmet normal (§4.4).
- Hoppe rett til symmetrisk Wald der standardavviket avhenger av parameteren — da er en asymmetrisk/eksakt pivot riktigere (og et symmetrisk intervall kan gi negative grenser for en positiv parameter).
- Bruke der det skulle vært : Wald-intervall for en ML-estimator bruker (normaltilnærming), men et intervall for et normalgjennomsnitt med estimert bruker (kap. 2.1). Velg riktig.
- Estimator mot estimat: er en stokastisk variabel (stor bokstav) når du regner varians/fordeling; estimatet er tallet du setter inn i .
Blandet drill (sjanger C + D, stigende)
Data er med kjent . Vis at Fisher-informasjonen om i én observasjon er , og angi .
Vindstyrker er Rayleigh-fordelte, , med og ML-estimator (kap. 1.2).
a) Vis at .
b) Med og , gi et 95 % Wald-intervall for .
(Krevende.) For Poisson er . En kollega foreslår å estimere med bare den første observasjonen, .
a) Er forventningsrett? Finn .
b) Sammenlign med Cramér–Rao-grensen for observasjoner og med .
c) Hva er den relative effisiensen til mot ?
(Kald oppgave — momentliste som fasit.) Data er eksponentialfordelte med rate , , . Med og : sett opp den tilnærmede fordelingen til , regn standardfeilen, gi et 95 % Wald-intervall for , og transformer det til et intervall for forventet levetid .
Begrepsbank
Den negative andrederiverte evaluert i estimatet, — et datavhengig mål på krumningen. Tar du forventningen (over ) i stedet, får du Fisher-informasjonen . Observert informasjon brukes ofte i praksis som anslag på .
Vilkår (glatt tetthet, felles støtte uavhengig av , parameter i det indre, mulig å bytte derivasjon og integrasjon) som gjør at Fisher-teorien og ML-asymptotikken holder. Brytes de (som for uniform på ), gjelder ikke . (Prioritet: kjenne til.)
For Poisson er , så og ML-variansen er — lik .
For eksponential med rate er ; for samme fordeling parametrisert ved forventning er også . ML-variansen for er .
For Bernoulli er , så — grunnlaget for andels-konfidensintervallet.
For med kjent er , så og . Her er eksakt normalfordelt, ikke bare tilnærmet.
For Rayleigh er , så . Standardeksempel på en «eksotisk» fordeling i estimeringsoppgaven.
Øvre -kvantil i standardnormalen: . For 95 % er ; for 90 % er ; for 99 % er . Tosidige intervall bruker i hver hale.
Et 95 %-intervall betyr at metoden fanger i 95 % av gjentatte utvalg — ikke at det er 95 % sannsynlig at ligger i akkurat dette intervallet. er ikke stokastisk; intervallgrensene er det.
En funksjon av data og parameter hvis fordeling ikke avhenger av parameteren — for eksempel . Man snur ulikheten for pivoten om til et intervall for .
Wald er en normaltilnærming som er symmetrisk om . Når avhenger av , gir en asymmetrisk pivot (eller den eksakte -pivoten i kap. 2.5) et mer presist, asymmetrisk intervall. Asymmetri er da riktig, ikke feil.
En estimator er asymptotisk forventningsrett hvis når . ML-estimatorer kan være skjeve for lite (som i normalmodellen), men blir forventningsrette i grensen.
Forholdet mellom variansene til to forventningsrette estimatorer, . Den med minst varians (nærmest Cramér–Rao-grensen) er mest effisient.
Siden ML-variansen er og ML-estimatoren er asymptotisk forventningsrett, gir Tsjebysjeff (kap. 1.1) at . Mer informasjon () tvinger estimatoren mot sannheten.
Bredden på Wald-intervallet er . Mer informasjon (større eller ) gir smalere intervall — presisjonen vokser som .
I variansen står den sanne ; i standardfeilen plugger vi inn estimatet fordi er ukjent. Skillet er kilden til forskjellen mellom symmetrisk (plugg inn) og asymmetrisk (behold sann ) Wald.
Fisher-informasjonen er forventet krumning av log-likelihood: . Skarp topp (stor krumning) = mye informasjon = liten varians. Dette er den geometriske tolkningen av hele kapitlet.
Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.
Skolesaga er en uavhengig læringsressurs og er ikke tilknyttet eller godkjent av Universitetet i Oslo. Dette er ikke offisielt studiemateriell. Les mer.