Schätzung des Parameters einer gleichmäßigen Verteilung: falsch vor?

10

Wir haben N Proben, , aus einer gleichmäßigen Verteilung wobei unbekannt ist. Schätzen Sie aus den Daten.Xi[0,θ]θθ

Also, Bayes 'Regel ...

f(θ|Xi)=f(Xi|θ)f(θ)f(Xi)

und die Wahrscheinlichkeit ist:

f(Xi|θ)=i=1N1θ (bearbeiten: wenn für alle und 0 sonst - danke whuber)0Xiθi

aber ohne andere Informationen über scheint es, dass der Prior proportional zu (dh einheitlich) oder zu (Jeffreys Prior?) auf aber dann ziehen sich meine Integrale an Ich konvergiere nicht und bin mir nicht sicher, wie ich vorgehen soll. Irgendwelche Ideen?θ11L[0,]

Wille
quelle
2
Ihre Wahrscheinlichkeit ist falsch: Sie ist Null, wenn kleiner als das größte . X iθXi
whuber
Können Sie zeigen, welche Integrale Sie nehmen?
Ja, ich glaube, ich weiß einfach nicht, wie ich mit dem unangemessenen Vorgänger umgehen soll. ZB möchte ich schreibenf[Xi]=Θf(Xi|θ)f(θ)dθ
Will
1
Für den unpassenden Prior ist = = und für das vorherige Sie auf ähnliche WeiseDa fast sicher ist, ist es sicher, dass die Integrale konvergieren. f[Xi]=Θf(Xi|θ)f(θ)dθmax ( X i ) , 1 - N / ( N - 1 ) f ( θ ) 1 / θ max ( X i ) -max(Xi)θNdθmax(Xi)1N/(N1)f(θ)1/θmax X i >0max(Xi)N/N.maxXi>0
whuber
1
Die Bernardo-Referenz posterior ist Pareto - siehe Katalog der nicht informativen Priors .
Stéphane Laurent

Antworten:

4

Dies hat einige interessante Debatten ausgelöst, aber beachten Sie, dass es für die Frage des Interesses keinen großen Unterschied macht. Persönlich denke ich, dass das Argument der Transformationsgruppe angemessen ist , da ein Skalierungsparameter ist, was zu einem Prior von führtθ

p(θ|I)=θ1log(UL)θ1L<θ<U

Diese Verteilung hat bei der Neuskalierung des Problems dieselbe Form (die Wahrscheinlichkeit bleibt auch bei der Neuskalierung "invariant"). Der Kern dieses Prior, kann durch Lösen der Funktionsgleichung . Die Werte hängen vom Problem ab und sind wirklich nur wichtig, wenn die Stichprobengröße sehr klein ist (wie 1 oder 2). Der hintere Teil ist ein abgeschnittenes Pareto, gegeben durch:f(y)=y1af(ay)=f(y)L,U

p(θ|DI)=NθN1(L)NUNL<θ<UwhereL=max(L,X(N))
X(N)E(θ|DI)=N((L)1-N-U1-N) Wobei das N-te ist Bestellstatistik oder der Maximalwert der Probe. Wir erhalten den hinteren Mittelwert von Wenn wir setze und , um die einfachere Ausprägung zu erhalten. .X(N)
E(θ|DI)=N((L)1NU1N)(N1)((L)NUN)=NN1L(1[LU]N11[LU]N)
UL0E(θ|DI)=NN1X(N)

Nehmen wir nun an, wir verwenden einen allgemeineren Prior, der durch (beachten Sie, dass wir die Grenzen um sicherzustellen, dass alles korrekt ist - dann keine singuläre Mathematik ). Der hintere Teil ist dann derselbe wie oben, jedoch wird durch - vorausgesetzt, . Wenn wir die obigen Berechnungen wiederholen, erhalten wir den vereinfachten hinteren Mittelwert vonp(θ|cI)θc1L,UNc+Nc+N0

E(θ|DI)=N+cN+c1X(N)

Der einheitliche Prior ( ) ergibt also eine Schätzung von vorausgesetzt, (Mittelwert ist unendlich für ). Dies zeigt, dass die Debatte hier ein bisschen so ist, ob oder als Divisor in der Varianzschätzung verwendet werden soll oder nicht .c=1N1N2X(N)N2N=2NN1

Ein Argument gegen die Verwendung der falschen Uniform vor diesem Fall ist, dass der hintere Teil unpassend ist, wenn , da er proportional zu . Dies ist jedoch nur wichtig, wenn oder sehr klein ist.N=1θ1N=1

Wahrscheinlichkeitslogik
quelle
1

Da der Zweck hier vermutlich darin besteht, eine gültige und nützliche Schätzung von , sollte die vorherige Verteilung mit der Spezifikation der Verteilung der Population übereinstimmen, aus der die Stichprobe stammt. Dies bedeutet in keiner Weise, dass wir den Prior anhand der Stichprobe selbst "berechnen" - dies würde die Gültigkeit des gesamten Verfahrens zunichte machen. Wir wissen, dass die Population, aus der die Stichprobe stammt, eine Population von einheitlichen Zufallsvariablen ist, die jeweils in . Dies ist eine aufrechterhaltene Annahme und Teil der vorherigen Informationen, die wir besitzen (und sie hat nichts mit der Stichprobe zu tun , dh mit einer spezifischen Realisierung einer Teilmenge dieser Zufallsvariablen).[ 0 , θ ]θ[0,θ]

Nehmen wir nun an, dass diese Population aus Zufallsvariablen besteht (während unsere Stichprobe aus Realisierungen von Zufallsvariablen besteht). Die beibehaltene Annahme besagt, dass n < m n max i = 1 , . . . , n { X i } max j = 1 , . . . , m { X j } θmn<mn

maxi=1,...,n{Xi}maxj=1,...,m{Xj}θ

Bezeichnen Sie für Kompaktheit . Dann haben wir das auch geschrieben werden kann θ X * θ = C X *maxi=1,...,n{Xi}XθX

θ=cXc1

Die Dichtefunktion des von iid Uniform rvs im Bereich von ist N [ 0 , θ ] f X ( x ) = N ( x ) N - 1maxN[0,θ]

fX(x)=N(x)N1θN

für die Unterstützung und Null an anderer Stelle. Dann erhalten wir durch Verwendung von und Anwenden der Formel zur Änderung der Variablen eine vorherige Verteilung für , die mit der beibehaltenen Annahme : [0,θ]θ=cXθ

fp(θ)=N(θc)N1θN1c=NcNθ1θ[x,]

Dies kann unangemessen sein, wenn wir die Konstante angemessen angeben . Unser Interesse liegt jedoch darin, einen geeigneten posterioren Wert für , und wir möchten auch die möglichen Werte von nicht einschränken (über die Einschränkung hinaus, die durch die beibehaltene Annahme impliziert wird). Also lassen wir unbestimmt. Dann schreibe der hintere istcθθc
X={x1,..,xn}

f(θX)θNNcNθ1f(θX)=ANcNθ(N+1)

für eine Normalisierungskonstante A. Wir wollen

Sθf(θX)dθ=1xANcNθ(N+1)dθ=1

ANcN1NθN|x=1A=(cx)N

Einfügen in das hintere

f(θX)=(cx)NNcNθ(N+1)=N(x)Nθ(N+1)

Es ist zu beachten, dass die unbestimmte Konstante der vorherigen Verteilung zweckmäßigerweise aufgehoben wurde.c

Der hintere Teil fasst alle Informationen zusammen, die uns die spezifische Probe bezüglich des Wertes von . Wenn wir einen bestimmten Wert für wollen, können wir leicht den erwarteten Wert des posterioren berechnen θθ

E(θX)=xθN(x)Nθ(N+1)dθ=NN1(x)NθN+1|x=NN1x

Gibt es eine Intuition in diesem Ergebnis? Nun, wenn die Anzahl der zunimmt, ist es wahrscheinlicher, dass die maximale Verwirklichung unter ihnen näher und näher an ihrer Obergrenze - was genau der hintere Mittelwert von widerspiegelt: wenn zum Beispiel , , aber wenn . Dies zeigt , dass unsere Taktik in Bezug auf der Auswahl des Standes war angemessen und im Einklang mit dem Problem auf der Hand, aber nicht unbedingt „optimal“ in gewissem Sinne.XθθN=2E(θX)=2xN=10E(θX)=109x

Alecos Papadopoulos
quelle
1
Den Prior auf die Daten zu stützen, klingt für mich faul. Wie rechtfertigen Sie diesen Ansatz?
whuber
2
Ich habe nichts gegen die Tatsache, dass Ihr Prior nicht "der Beste" ist. Wo habe ich so etwas gesagt? Ich versuche nur, Ihren Ansatz zu verstehen. Ich verstehe diese Gleichheit noch nicht. Wenn in der Gleichheit konstant ist , bedeutet das, dass sowohl als auch nicht zufällig sind? Durch die Art und Weise müssen Sie nicht verwenden , die Tatsache , dass bei der Ableitung des Standes, nicht wahr? (cc @whuber)cθ=cXXθc1
Stéphane Laurent
1
Und die Unterstützung Ihres Prior hängt von den Daten ab? ( )θ[x,[
Stéphane Laurent
3
Eine vorherige Abhängigkeit (auch wenn dies nur durch die Unterstützung erfolgt) von den Daten klingt falsch: Sie können das Maximum der Probe nicht kennen, bevor die Probe generiert wurde . Darüber hinaus behaupten Sie, dass eine fast sichere Gleichheit ist, wobei sowohl als auch zufällig sind (daher gibt es Korrelation ). Dies impliziert jedoch, dass die hintere Verteilung von (die die bedingte Verteilung von gegebener Probe ist) die Dirac-Masse bei . Und dies widerspricht Ihrer Ableitung der posterioren Verteilung. ... (keine Zeichen mehr ...)θ=cXθX1θθcx
Stéphane Laurent
1
Die Verteilung von posterior ist Dirac bei bedeutet , dass IS . Der Bayes-Satz ist nicht die Ursache. Sie zerstören alles, indem Sie annehmen . Dies impliziert , daher ist die bedingte Verteilung von bei die Dirac-Masse bei , während die ursprüngliche Annahme ist, dass diese Verteilung die gleichmäßige Verteilung auf . c x θ c x θ = c X θcxθ cxθ=cXX=θ/cXθθ/c(0,θ)
Stéphane Laurent
0

Einheitlicher Satz der vorherigen Verteilung (Intervallfall):

"Wenn die Gesamtheit Ihrer Informationen über außerhalb der Daten durch den einzelnen Satz dann Ihre einzige mögliche logisch-intern konsistente vorherige Spezifikation ist θD

B={{Possible values for θ}={the interval (a,b)},a<b}
f(θ)=Uniform(a,b)

Daher sollte Ihre vorherige Spezifikation der vorherigen von Jeffrey entsprechen, wenn Sie wirklich an den obigen Satz glauben. "

Nicht Teil des einheitlichen Vorverteilungssatzes:

Alternativ können Sie Ihre vorherige Verteilung als Pareto-Verteilung angeben , bei der es sich um die konjugierte Verteilung für die Uniform handelt, wobei Sie wissen, dass Ihre hintere Verteilung durch Konjugation eine andere gleichmäßige Verteilung sein muss. Wenn Sie jedoch die Pareto-Verteilung verwenden, müssen Sie die Parameter der Pareto-Verteilung auf irgendeine Weise angeben.f(θ)


quelle
4
Zuerst sagen Sie, die "nur mögliche logisch intern konsistente" Antwort sei eine gleichmäßige Verteilung, und dann schlagen Sie eine Alternative vor. Das klingt für mich unlogisch und widersprüchlich :-).
whuber
2
Ich kann nicht zustimmen. Zum Beispiel ist auch die MengeWenn die PDF von ist für . Aber nach dem "Theorem" dessen PDF in diesem Intervall . Kurz gesagt, obwohl der Satz nicht davon abhängt, wie das Problem parametrisiert wird, hängt die Schlussfolgerung des "Theorems" von der Parametrisierung ab, aus der er nicht eindeutig ist. { θ | θ 3( a 3 , b 3 ) } . Θ Uniform ( aB{θ|θ3(a3,b3)}.ΘUniform(a,b),Ψ=Θ31/(3ψ2/3(ba))a3<ψ<b3ΨUniform(a3,b3)1/(b3a3)
whuber
2
BabakP: Wie könnte man sagen, dass dies ein Satz ist ? Ein Satz ist eine mathematische Behauptung mit einem mathematischen Beweis. Dieser "Satz" würde angemessener als "Prinzip" bezeichnet, ist aber nicht sinnvoll, weil er widersprüchlich ist, wie @whuber zeigt.
Stéphane Laurent
2
Danke für den Hinweis BabakP. Ich möchte darauf hinweisen, dass die "Beweisskizze" falsch ist. Draper unterteilt das Intervall in eine endliche Anzahl von Werten mit gleichem Abstand und "geht an die Grenze". Jeder kann das Intervall in Werte unterteilen, die so angeordnet sind, dass sie sich jeder gewünschten Dichte annähern und in ähnlicher Weise an die Grenze gehen, wodurch vollkommen willkürliche "nur mögliche logisch-intern konsistente vorherige Spezifikationen" erzeugt werden. Diese Art von Dingen - nämlich die Verwendung schlechter Mathematik, um zu zeigen, dass Nicht-Bayesianer unlogisch sind - gibt der Bayes'schen Analyse einen (unverdienten) schlechten Ruf. (cc @ Stéphane.)
whuber
1
@ Stéphane Bitte verzeihen Sie meine Unempfindlichkeit ( insensibilité ) - ich interagieren hier in einer zweiten Sprache Ihre Fähigkeiten bewundern und benutzen wissentlich keine obskuren Bedingungen! Bogus ist ein Adjektiv, das aus einem 200 Jahre alten US-Slang-Begriff stammt, der sich auf eine Maschine zur Geldfälschung bezieht. In diesem Fall handelt es sich um eine mathematische Maschine zur Fälschung von Theoremen :-).
whuber