Gaußsche Wahrscheinlichkeit + welcher Prior = Gaußscher Rand?

8

Bei gegebener Gaußscher Wahrscheinlichkeit für eine Stichprobe wie wobei der Parameterraum und , beliebige Parametrisierungen des mittleren Vektors und der Kovarianzmatrix.p ( y | θ ) = N ( y ; μ ( θ ) , Σ ( θ ) ) Θ μ ( θ ) Σ ( θ )y

p(y|θ)=N(y;μ(θ),Σ(θ))
Θμ(θ)Σ(θ)

Ist es möglich, eine vorherige Dichte und eine Parametrisierung des mittleren Vektors und der Kovarianzmatrix so anzugeben, dass die Grenzwahrscheinlichkeit p (y) = \ int _ {\ Theta ist \ in \ Theta} N (y; \ mu (\ theta), \ Sigma (\ theta)) p (\ theta) d \ theta ist eine Gaußsche Wahrscheinlichkeit?μ ( θ )p(θ)μ(θ)Σ(θ)

p(y)=θΘN(y;μ(θ),Σ(θ))p(θ)dθ

Ich denke, ohne die triviale Lösung, dass die Kovarianz bekannt ist, Σ(θ)=Σ , wobei Σ eine willkürliche feste Kovarianzmatrix ist, ist dies nicht möglich.

Für den Sonderfall μ(σ2)=μ und Σ(σ2)=σ2 ist y eindimensional und p(σ2)=U(σ2;a,b) , wobei U(σ2;a,b) die einheitliche Dichte bezeichnet, die ich zeigen kann:

p(y)=0N(y;μ,σ2)U(σ2;a,b)dσ2=1baabN(y;μ,σ2)not a Gaussian density

Die akzeptierte Antwort enthält einen formellen oder informellen Beweis oder Hinweise darauf.

Julian Karls
quelle

Antworten:

2

Ihre Vermutung scheint zu stimmen: Nur eine konstante Varianz kann zu einem normalen Spielraum führen. Mein Beweis beschränkt sich auf den Fall, dass die Erwartung bekannt ist und daher als Null angenommen werden kann. Für den allgemeinen Fall scheinen differenziertere Argumente aus der Funktionsanalyse erforderlich zu sein.μ

Beachten Sie, dass es sich bei der Frage tatsächlich um eine kontinuierliche Mischung von Normalen sowie um Bayes handelt. Die Aussage hat hier bewiesen, dass eine (kontinuierliche) Mischung von Normalen nur für eine triviale Mischung normal sein kann.

Betrachten Sie zunächst den Fall einer eindimensionalen Normalen mit dem bekannten Mittelwert und dem Präzisionsparameter . Ohne Verlust der Allgemeinheit können wir annehmen, dass der Parameter die Genauigkeit selbst ist. Wenn die Randverteilung von normal ist, dann ist eine normale Dichte bis zu einer multiplikativen Konstante. Diese Dichte, die eine gerade Funktion von muss die Form für einige und einige konstante annehmen . Da dies für jedesω : = 1 / Σ > 0 θ ω y exp { - y 2 ω / 2 }μ=0ω:=1/Σ>0θωyy c exp { - y 2 ω 0 / 2 } ω 0 > 0 c > 0 y e : = y 2 0 exp { - s ωexp{y2ω/2}ω1/2p(ω)dωycexp{y2ω0/2}ω0>0c>0ywir erhalten mit für alle , was zeigt, dass das endliche Maß mit der Dichtefunktion ist proportional zur Dirac-Masse bei da diese beiden Maße dieselbe Laplace-Transformation bis zu einer multiplikativen Konstante haben. Somit ist fast sicher (as) gleich . s:=y2 s 0 ω ω 1 / 2 p ( ω )

0exp{sω/2}ω1/2p(ω)dω=cexp{sω0/2}
s0ωω1/2p(ω) ω ω 0ω0ωω0

Dieser Beweis erstreckt sich auf die dimensionale Normale mit der mittleren Null und der Präzisionsmatrix . Der Rand schreibt dann als wobei sich das Integral auf der Menge des positiven bestimmten symmetrischen Matrizen. Wenn dieses Integral mit identisch ist, nehmen Sie für einen Skalar und einen beliebigen VektorΩ : = Σ -dexp{- y ΩΩ:=Σ1P d × d c exp { - yΩ 0 y / 2 } y : = exp{yΩy/2}|Ω|1/2p(Ω)dΩPd×dcexp{yΩ0y/2}s 0 u u Ωy:=sus0u , wir finden wie oben, dass gleich , was zeigt, dass gleich . Der Beweis funktioniert auch dann, wenn das Maß, das zweckmäßigerweise mit der Dichte sich auf eine Teilmenge von mit dem Lebesgue-Maß Null konzentriert. weil das Laplace-Transformationsargument weiterhin gilt. Der Beweis funktioniert also für eine allgemeine Parametrisierung der Präzisionsmatrix (oder Varianzmatrix).uΩ 0 u Ω Ω 0 | Ω | 1 / 2 p ( Ω )uΩuuΩ0uΩΩ0|Ω|1/2p(Ω)P

Yves
quelle
Ich habe Ihren Beweis noch nicht vollständig verstanden. Im Vergleich zu Jacky1s Antwort scheint es relativ komplex zu sein. Was denkst du über seinen Beweis?
Julian Karls
Nun, ich konnte nicht verstehen, wie der Prior in Jackys Antwort von abhängen kann . Seine Aussage, wie ich sie verstehe, ist jedoch falsch - ich habe zuerst den gleichen Fehler gemacht :) In der Tat ist nicht unbedingt konstant, und wenn die Varianz konstant ist, kann immer noch normal sein, was leicht durch Ausfüllen eines Quadrats überprüft werden kann. Ich habe jetzt einen Beweis für den unabhängigen vorherigen Fall (der Einfachheit halber eindimensional) und hoffe, ihn bald aufzuschreiben, vielleicht als neue Antwort. Die Varianz muss konstant sein und muss normal sein (möglicherweise entartet). μ μ Σ μyμμΣμ
Yves
Könnten Sie Ihre Argumentation in dem Absatz erweitern, der mit "Da dies für jedes und mit" (as) gleich " ? Vielleicht mit Zeigern auf die Sätze, die Sie verwenden?yω0
Julian Karls
1

Angenommen, und sind a priori unabhängig und hat einen normalen Spielraum mit dem Mittelwert und der Varianz . Ich werde beweisen, dass dann die Varianz konstant sein muss und der Mittelwert einen normalen Prior haben muss (möglicherweise entartet).Σ y μ 0 Σ 0 Σ μμΣyμ0Σ0Σμ

Ich werde mich der Einfachheit halber an den eindimensionalen Fall halten und die charakteristische Funktion (vgl.) Von , dh . Wir wissen, dass } und eine ähnliche Formel für die Verteilung von , die von und abhängig ist , was unter der Annahme normal ist. Also für jedes echte und indem wir das Integral neu anordnen, müssen wir haben φ y ( t ) : = E [ e y i t ] φ y ( t ) = exp { μ 0 i t - Σ 0 t 2 / 2 y μ Σ t E [ e y i t ]yϕy(t):=E[eyit]ϕy(t)=exp{μ0itΣ0t2/2yμΣt exp { μ 0 i t - Σ 0 t 2 / 2 } = [ exp {

E[eyit]=E[eyit|μ,Σ]p(μ)p(Σ)dμdΣ=exp{μitΣt2/2}p(μ)p(Σ)dμdΣ,
exp{μ0itΣ0t2/2}=[exp{μit}p(μ)dμ][exp{Σt2/2}p(Σ)dΣ].
Die für eine solche Umlagerung erforderlichen Annahmen lassen sich leicht überprüfen.

Das erste Integral auf der rechten Seite, sagen wir , ist das cf von . Da als real befunden wird, sehen wir, dass die Verteilung von symmetrisch zu ist und daher , wie es erwartet worden sein könnte.μ ϕ 1 ( t ) e - μ 0 i t μ μ 0 E [ μϕ1(t)μϕ1(t)eμ0itμμ0E[μ]=μ0

Nun stellt sich heraus, dass das zweite Integral auf der rechten Seite, beispielsweise , ebenfalls ein cf ist. Um dies zu sehen, müssen wir überprüfen, ob , dass bei stetig ist und auch, dass die Funktion positiv definit ist (pd). Die erste Anforderung ist offensichtlich, die zweite wird durch dominierte Konvergenz bewiesen. Wenden wir uns nun der pd-Anforderung zu: Wenn die vorherige Verteilung, die als eine Dirac-Masse ist, dann ist pd, weil dann das cf einer Normalverteilung ist. Wenn der Prior eine diskrete Mischung von Dirac-Massen ist, gilt dies auch seitϕ2(t)ϕ2(0)=1ϕ2t=0ϕ2p(Σ)dΣϕ2ϕ2ϕ2dann ist das cf einer Mischung von Normalen. Durch ein Kontinuitätsargument sehen wir, dass pd istϕ2

Verwenden wir nun den mächtigen Lévy-Cramér-Satz, der besagt, dass beide Funktionen für , die Form mit real und . Also muss normal (möglicherweise entartet) mit dem Mittelwert . Durch einfache Algebra haben wir dann das für jedes echte . Da jedes nicht negative reelle als 2/2 schreibt , sehen wir, dass die Laplace-Transformation des Prior von j = 1 2 exp { a jϕjj=12exp{ajitbjt2/2}ajbj0μa1=μ0t t 2 / 2 Σ Σ 0 -

exp{(Σ0b1)t2/2}=0exp{Σt2/2}p(Σ)dΣ
tt2/2Σmuss gleich der Dirac-Masse bei und wir sind fertig.Σ0b1
Yves
quelle
Danke für deinen Einsatz. Ich werde einige Zeit brauchen, um das zu verstehen.
Julian Karls
0

Ich habe einen Beweisvorschlag für Sie, aber Sie müssen ihn überprüfen.

Angenommen, die marginale Wahrscheinlichkeit ist Gaußsch:

p(y)=N(y,m,Γ)

dann kann die vorherige Dichte definiert werden durch

p(θ)=N(y,μ(θ),Σ(θ))1N(y,m,Γ)f(θ)

wobei und auf prüft . ( ist ).fθΘf(θ)dθ=1f(θ)0θΘf(θ)p(θ|y)

Um eine Dichte zu sein, muss das Integral der vorherigen Dichte auf gleich 1 sein. Mit anderen Worten,p(θ)Θ

θΘN(y,μ(θ),Σ(θ))1N(y,m,Γ)f(θ)dθ=1 .

Es führt zu

θΘN(y,μ(θ),Σ(θ))1N(y,m,Γ)f(θ)dθ=θΘf(θ)dθ

Diese Gleichheit ist genau dann wahr, wenn und .μ(θ)=mΣ(θ)=Γ

Jacky1
quelle
2
Ich mag die Beweisidee. Ich bin mir ziemlich sicher, dass alle Schritte bis auf den letzten gültig sind. Sicherlich ist das Integral zweier Funktionen gleich, wenn die Funktionen gleich sind, aber dies ist keine notwendige Bedingung. Verwenden Sie dort einen anderen Satz?
Julian Karls
Wenn Sie durch Bayes in Ihrer ersten Formel für durch seine Definition ersetzen , wird . Aus dieser Ungleichung folgt sicherlich nichts. p ( θ ) p ( θ ) = p ( θ )p(θ|y)p(θ)p(θ)=p(θ)
Julian Karls