Das Kefk Network Wiki befindet sich im Testbetrieb.


Maximum-Likelihood-Methode

Aus Kefk.

(Weitergeleitet von Maximum Likelihood)
Wechseln zu: Navigation, Suche

Die Maximum-Likelihood-Methode (von engl. maximale Wahrscheinlichkeit) bezeichnet in der Statistik ein Schätzverfahren.

Inhaltsverzeichnis

Motivation

Einfach gesprochen bedeutet die Maximum-Likelihood-Methode folgendes: Wenn man statistische Untersuchungen durchführt, untersucht man in der Regel eine Stichprobe mit einer bestimmten Anzahl von Objekten einer Population. Da die Untersuchung der gesamten Population in den meisten Fällen natürlich hinsichtlich der Kosten und des Aufwandes unmöglich ist, sind die wichtigen Kennwerte der Population unbekannt. Solche Kennwerte sind z.B. der Erwartungswert oder die Standardabweichung. Da man diese Kennwerte jedoch zu den statistischen Rechnungen, die man durchführen möchte, benötigt, muss man die unbekannten Kennwerte der gesamten Population aufgrund der bekannten Stichprobe schätzen. Die Maximum-Likelihood-Methode ist nun ein besonderes Verfahren zur möglichst genauen Schätzung der Populationskennwerte auf Grundlage der Stichprobenwerte. Man versucht, seine Schätzer so zu definieren, dass die Wahrscheinlichkeit, dass eben dieser geschätzte Kennwert die beobachteten Ergebnisse in der Stichprobe verursacht hat, maximiert wird.

Eine heuristische Herleitung

Stellen wir uns folgendes Beispiel vor: Wir haben vor uns eine Urne mit einer riesigen Anzahl von Kugeln, die entweder schwarz oder rot sind. Da die Untersuchung aller Kugeln praktisch unmöglich erscheint, ziehen wir eine Stichprobe von zehn Kugeln. In dieser Stichprobe erhalten wir eine rote und neun schwarze Kugeln. Wir wollen nun ausgehend von unserer Stichprobe die wahre Wahrscheinlichkeit, eine rote Kugel in der Gesamtpopulation (Urne) zu ziehen, schätzen.

Bild:M-L-S Beispielkurve.gif
Verlauf der Kurve für f(p)=B(10;1,p)

Die Maximum-Likelihood-Methode versucht diese Schätzung nun so zu erstellen, dass das Ergebnis unserer Stichprobe damit am wahrscheinlichsten wird. Dazu könnte man "herumprobieren", bei welchem Schätzer die Wahrscheinlichkeit für unser Stichprobenergebnis maximal wird.

Wir "probieren" beispielsweise mal 0.2 als Schätzer für die Wahrscheinlichkeit einer roten Kugel. Mit Hilfe der Binomialverteilung B(10|1, 0.2) können wir die Wahrscheinlichkeit des beobachteten Ergebnisses (eine rote Kugel) berechnen - das Ergebnis ist 0.2684. Jetzt "probieren" wir mal 0.1 als Schätzer - rechnen also B(10|1, 0.1) für den Fall, dass wir eine rote Kugel ziehen, aus. Das Ergebnis ist 0.3874. Die Wahrscheinlichkeit, dass das beobachtete Ergebnis in unserer Stichprobe durch eine Populationswahrscheinlichkeit für rote Kugeln von 0.1 verursacht wurde, ist also größer als bei 0.2 als geschätzte Wahrscheinlichkeit. Damit wäre nach der M-L-Methode 0.1 ein besserer Schätzer für den Anteil roter Kugeln in der Population.

Definition

Die Maximum-Likelihood-Methode ist aufgrund ihrer Vorteile gegenüber anderen Schätzverfahren (beispielsweise OLS- und Momentenmethode) das wichtigste Prinzip zur Gewinnung von Schätzfunktionen für die Parameter einer Verteilung. Bei dieser Methode wird von einer Zufallsvariablen X\; ausgegangen, deren Dichte- bzw. Wahrscheinlichkeitsfunktion f(x) \; von einem Parameter q\; abhängt. Liegt eine einfache Zufallsstichprobe mit n\; unabhängigen und identisch verteilten Realisationen vor, so lässt sich die Dichtefunktion bzw. Wahrscheinlichkeitsfunktion wie folgt faktorisieren:


f(x_1,x_2,...,x_n;q)=\prod_{i=1}^n {f_X}_i(x_i;q)

Statt nun für einen festen Parameter q\; die Dichte für beliebige Werte x_1,\ldots,x_n auszuwerten, kann umgekehrt für beobachtete und somit feste Realisationen x_1,\ldots,x_n die Dichte als Funktion von q\; betrachtet werden. Dies führt zur Likelihood-Funktion


L(q)=\prod_{i=1}^n {f_X}_i(x_i;q)

Wird diese Funktion in Abhängigkeit von q\; maximiert, so erhält man die Maximum-Likelihood-Schätzung für q\;. Es wird also der Wert von q\; gesucht, bei dem die Stichprobenwerte x_1,\ldots,x_n die größte Dichte- bzw. Wahrscheinlichkeitsfunktion haben. Der Maximum-Likelihood-Schätzer ist in diesem Sinne der plausibelste Parameterwert für die Realisierungen x_1,\ldots,x_n der Zufallsvariablen X\;. Die Maximierung dieser Funktion erfolgt, indem man die erste Ableitung nach q\; bildet und diese dann Null setzt. Da dieses bei Dichtefunktionen mit komplizierten Exponentenausdrücken sehr aufwändig werden kann, wird häufig die logarithmierte Likelihood-Funktion verwendet, da sie an derselben Stelle wie die nicht-logarithmierte Dichtefunktion ein Maximum besitzt, jedoch einfacher zu berechnen ist:


l(q)=\sum_{i=1}^n \ln f_{X_i}(x_i;q)

Beispiel

Diskrete Verteilung, endlicher Parameterraum

Eine Urne enthält N=8\; Kugeln, die entweder rot oder schwarz sind. Die genaue Anzahl M\; der roten Kugeln ist nicht bekannt. Es werden n=4\; Kugeln nacheinander gezogen und jeweils wieder zurück in die Urne gelegt. Beobachtet werden x_1=1\; (erste Kugel ist rot), x_2=1\; (zweite Kugel ist rot), x_3=0\; (dritte Kugel ist schwarz) und x_4=1\; (vierte Kugel ist rot).

Gesucht ist nun die nach dem Maximum-Likelihood-Prinzip plausibelste Zusammensetzung der Kugeln in der Urne.

Die möglichen Parameter der Wahrscheinlichkeitsfunktion p=\frac{M}{N} sind 0,\frac{1}{8},\frac{2}{8},\dots,\frac{7}{8},1. Hier entspricht die Erfolgswahrscheinlichkeit p\; einer Ziehung gerade dem Parameter q\; der Likelihood-Funktion.

Die zugehörige Likelihood-Funktion ist


L(p)= p^3\, (1-p)

Nun können wir die Funktionswerte berechnen:


  p \frac{0}{8}=0 \frac{1}{8} \frac{2}{8} \frac{3}{8} \frac{4}{8} \frac{5}{8} \frac{6}{8} \frac{7}{8} \frac{8}{8}=1
L(p) 0 0,002 0,012 0,033 0,063 0,092 0,105 0,084 0


Damit ist p=\frac{6}{8}=0,75 der plausibelste (größte) Parameterwert für die Realisation drei roter Kugeln bei vier Ziehungen und somit der Schätzwert für p\; nach der Maximum-Likelihood-Methode, d.h. 0,75\cdot8=6 rote Kugeln sind die wahrscheinlichste Anzahl.


Dies kann auch direkt über die Ableitung nach p der Likelihoodfunktion 
L'(p)= 3p^2\, -4p^3
berechnet werden:
Die Nullstellen der Ableitung sind bei p=\frac{3}{4} und 0; überprüfen zeigt, dass das Maximum nicht an den Randpunkten sondern für p=\frac{3}{4} angenommen wird. Wir haben damit das gewünschte Ergebnis.

Stetige Verteilung, kontinuierlicher Parameterraum

Zu der Normalverteilung \mathcal{N}(\mu, \sigma^2), die die Wahrscheinlichkeitsdichte

f(x\mid \mu,\sigma^2) = \frac{1}{\sqrt{2\pi\sigma^2}}\ 
                               \exp{\left(-\frac {(x-\mu)^2}{2\sigma^2} \right)},

hat, ist die Likelihoodfunktion

f(x_1,\ldots,x_n \mid m,s^2) = \prod_{i=1}^{n} f( x_{i}\mid  m, s^2) = \left( \frac{1}{2\pi s^2} \right)^{n/2} \exp\left( -\frac{ \sum_{i=1}^{n}(x_i-m)^2}{2 s^2}\right),

oder umgeschrieben

f(x_1,\ldots,x_n \mid m,s^2) = \left( \frac{1}{2\pi s^2} \right)^{n/2} \exp\left(-\frac{ \sum_{i=1}^{n}(x_i-\bar{x})^2+n(\bar{x}- m)^2}{2 s^2}\right),

wobei  \bar{x} der Mittelwert ist.

Diese Familie von Verteilungen hat zwei Paramter: q=( m, s), wir maximieren die Likelihoodfunktion  L(m,s) = f(x_1,\ldots,x_n \mid m, s) nach diesen beiden Parametern.

Da der Logarithmus eine streng monoton wachsende Funktion ist, können wir auch den Logarithmus der Likelihoodfunktion maximieren.

Wir bilden die partiellen Ableitungen


\frac{\partial}{\partial m} \log \left( \left( \frac{1}{2\pi s^2} \right)^{n/2} \exp\left(-\frac{ \sum_{i=1}^{n}(x_i-\bar{x})^2+n(\bar{x}-m)^2}{2 s^2}\right) \right)


 = \frac{\partial}{\partial m} \left( \log\left( \frac{1}{2\pi s^2} \right)^{n/2} - \frac{ \sum_{i=1}^{n}(x_i-\bar{x})^2+n(\bar{x}-m)^2}{2 s^2} \right)


 = 0 - \frac{-2n(\bar{x}-m)}{2 s^2}

und

  \frac{\partial}{\partial s} \log \left( \left( \frac{1}{2\pi s^2} \right)^{n/2} 
\exp\left(-\frac{ \sum_{i=1}^{n}(x_i-m)^2} {2 s^2}\right)\right)


 = \frac{\partial}{\partial s} \left( \frac{n}{2}\log\left( \frac{1}{2\pi s^2} \right) - \frac{ \sum_{i=1}^{n}(x_i-m)^2}{2 s^2} \right)


 = -\frac{n}{s} + \frac{ \sum_{i=1}^{n}(x_i-m)^2}{s^3} .

Wir setzen beide Gleichungen gleich null und erhalten

m= \bar{x} = \sum^{n}_{i=1}x_i/n

und

s^2 = \sum_{i=1}^n(x_i-m)^2/n.

Tatsächlich hat die Funktion L an dieser Stelle ihr Maximum.

Wir berechnen noch die Erwartungswerte von m und s:

 E \left[ m \right] = \mu,

das heisst der Maximum-Likelihood-Schätzer m ist erwartungstreu.

Aber

E \left[ s^2  \right]= \frac{n-1}{n}\sigma^2, denn
E \left[ s^2  \right]= E \left(\frac {1}{n}\sum_{i=1}^n  x_i^2-\frac{1}{n^2}\left(\sum_{i=1}^n x_i\right)^2\right)

=E \left(\frac{1}{n } \sum_{i=1}^n  x_i^2-\frac {1}{n^2}\sum_{i=1}^n x_i^2 -\frac {1}{n^2}\sum_{i=1}^n \sum_{j \neq i} x_i x_j\right)

=E \left(\frac{n-1}{n^2 } \sum_{i=1}^n  x_i^2-\frac {1}{n^2}\sum_{i=1}^n \sum_{j \neq i} x_i x_j\right)

=\left(\frac{n-1}{n^2 } \sum_{i=1}^n  E(x_i^2)-\frac {1}{n^2}\sum_{i=1}^n \sum_{j \neq i} E(x_i) E(x_j)\right)

=\frac{n-1}{n^2 } \sum_{i=1}^n  E(x_i^2)-\frac {n-1}{n}\mu^2

=\frac{n-1}{n^2 } \sum_{i=1}^n  E(x_i^2-\mu^2)

=\frac{n-1}{n^2 } \sum_{i=1}^n  E(x_i-\mu)^2+2 \mu E x_i-2 \mu^2

=\frac{n-1}{n^2 } \sum_{i=1}^n  E(x_i-\mu)^2

=\frac{n-1}{n} \sigma^2

Der Schätzer s ist also nicht erwartungstreu.

Maximum-Likelihood-Schätzung

Als Maximum-Likelihood-Schätzung bezeichnet man in der Statistik eine Parameterschätzung, die nach der Maximum-Likelihood-Methode berechnet wurde. In der englischen Fachliteratur ist die Abkürzung MLE (maximum likelihood estimate) dafür sehr verbreitet. Eine Schätzung, bei der Vorwissen in Form einer a priori-Wahrscheinlichkeit einfließt, wird Maximum-A-Posteriori-Schätzung (MAP) genannt.

Existenz und asymptotische Eigenschaften von Maximum-Likelihood-Schätzern

Die besondere Qualität von Maximum-Likelihood-Schätzern äußert sich darin, dass sie in der Regel die effizienteste Methode zur Schätzung bestimmter Parameter darstellt.

Es lässt sich zum einen unter bestimmten Regularitätsannahmen beweisen, dass Maximimum-Likelihood-Schätzer existieren, was aufgrund ihrer impliziten Definition als eindeutiger Maximalstelle einer nicht näher bestimmten Wahrscheinlichkeitsfunktion nicht offensichtlich ist. Die für diesen Beweis benötigten Voraussetzungen bestehen im Prinzip ausschließlich aus Annahmen zur Vertauschbarkeit von Integration und Differentiation, was in den meisten betrachteten Modellen erfüllt ist.

Zum anderen sind Maximum-Likelihood-Schätzer, sofern sie unter den oben angesprochenen Bedingungen existieren, asymptotisch effizient, d. h. sie konvergieren in Verteilung gegen eine normalverteilte Zufallsvariable, deren Varianz das Inverse der Fisher-Information ist. Formal gesprochen sei \hat{\vartheta} der Maximum-Likelihood-Schätzer für einen Parameter \vartheta und I_{1}(\vartheta) die Matrix der Fisher-Information von f_{\vartheta}(x). Dann gilt die folgende Konvergenzaussage \sqrt n (\hat{\vartheta} - \vartheta) \rightarrow \mathcal N (0, I_{1}(\vartheta)^{-1}).

Dieser Grenzwertsatz ist speziell deswegen von Bedeutung, weil als Konsequenz aus der Cramer-Rao-Ungleichung das Inverse der Fisher-Information die bestmögliche Varianz für die Schätzung eines unbekannten Parameters darstellt. In dieser Hinsicht ist die Maximum-Likelihood-Methode bezüglich asymptotischer Betrachtungen optimal.

Nachteil

Diese wünschenswerten Eigenschaften des Maximum-Likelihood-Ansatzes beruhen jedoch auf der entscheidenden Annahme über den datenerzeugenden Prozess, das heißt auf der unterstellten Dichtefunktion der untersuchten Zufallsvariable. Der Nachteil von Maximum-Likelihood ist deshalb, dass eine konkrete Annahme über die gesamte Verteilung der Zufallsvariable getroffen werden muss. Wenn diese jedoch verletzt ist, kann es sein, dass die Maximum-Likelihood-Schätzer inkonsistent sind. Nur in einigen Fällen ist es unerheblich, ob die Zufallsvariable tatsächlich der unterstellten Verteilung gehorcht, allerdings gilt dies nicht im Allgemeinen. Per Maximum-Likelihood gewonnene Schätzer, die konsistent sind, auch wenn die zu Grunde gelegte Verteilungsannahme verletzt wird, sind sogenannte Pseudo-Maximum-Likelihood-Schätzer. Jedoch können diese Schätzer Effizienzprobleme in kleinen Stichproben aufweisen.

Anwendungsbeispiel: Maximum-Likelihood in der molekularen Phylogenie

Das Maximum-Likelihood-Kriterium gilt als eine der Standardmethoden zur Berechnung von phylogenetischen Bäumen, um Verwandtschaftsbeziehungen zwischen Organismen – meist anhand von DNA- oder Proteinsequenzen – zu erforschen. Als explizite Methode ermöglicht Maximum-Likelihood die Anwendung verschiedener Evolutionsmodelle, die in Form von Substitutionsmatrizen in die Stammbaumberechnungen einfließen. Entweder es werden empirische Modelle verwendet (Proteinsequenzen) oder die Wahrscheinlichkeiten für Punktmutationen zwischen den verschiedenen Nucleotiden werden anhand des Datensatzes geschätzt und hinsichtlich des Likelihood-Wertes (-lnL) optimiert (DNA-Sequenzen). Allgemein gilt ML als die zuverlässigste und am wenigsten Artefakt-anfällige Methode unter den phylogenetischen Baumkonstruktionsmethoden. Dies erfordert jedoch ein sorgfältiges Taxon-"Sampling" und meist ein komplexes Evolutionsmodell.

Literatur

  • Schwarze, Jochen: Grundlagen der Statistik – Band 2: Wahrscheinlichkeitsrechnung und induktive Statistik, 6. Auflage, Berlin; Herne: Verlag Neue Wirtschaftsbriefe, 1997
  • Blobel, Volker und Lohrmann Erich: Statistische und numerische Methoden der Datenanalyse, Stuttgart; Leipzig: Teubner Studienbücher, 1998
  • Felsenstein, Joseph: Inferring Phylogenies. Sinauer Associates, 2003
  • Internet-Lexikon der Methoden der empirischen Sozialforschung: Maximum Likelihood-Schätzung ILMES
Wikipedia
Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Maximum-Likelihood-Methode, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.
Persönliche Werkzeuge