Stan versus Gelman-Rubin Definition

15

Ich habe die Stan-Dokumentation durchgesehen, die hier heruntergeladen werden kann . Besonders interessiert hat mich die Implementierung der Gelman-Rubin-Diagnostik. Das Originalpapier Gelman & Rubin (1992) definiert den potenziellen Skalenreduktionsfaktor (PSRF) wie folgt:

Sei die te Markov-Kette, und es seien insgesamt unabhängige Ketten abgetastet. Sei der Mittelwert aus der ten Kette und der Gesamtmittelwert. Definiere, wobei Und definiere i M ˉ X i i ˉ X W = 1Xi,1,,Xi,NiMX¯iiX¯s 2 m =1

W=1Mm=1Msm2,
B B = N
sm2=1N1t=1N(X¯mtX¯m)2.
B
B=NM-1m=1M(X¯m-X¯)2.

Definiere Die PSRF wird mit geschätzt, wobei \ hat {R} = \ dfrac {\ hat {V}} {W} \ cdot \ dfrac {df + 3} {df + 1} \ ,, wobei df = 2 \ hat {V} / Var (\ hat {V}) .

V^=(N-1N)W+(M+1MN)B.
R= VR^D f = 2 V / V a r ( V )
R^=V^Wdf+3df+1,
df=2V^/Veinr(V^)

In der Stan-Dokumentation auf Seite 349 wird der Term mit df ignoriert dfund der multiplikative Term (M+1)/M . Das ist ihre Formel,

Der Varianzschätzer ist

var^+(θ|y)=N1NW+1NB.
Schließlich wird die Statistik zur möglichen Größenreduzierung durch
R^=var^+(θ|y)W.

Soweit ich weiß, geben sie keinen Hinweis auf diese Änderung der Formel und diskutieren sie auch nicht. Normalerweise ist M nicht zu groß und kann oft so niedrig wie 2 , so dass (M+1)/M nicht ignoriert werden sollte, auch wenn der df Term mit 1 angenähert werden kann.

Woher kommt diese Formel?


EDIT: Ich habe eine teilweise Antwort auf die Frage " Woher kommt diese Formel? " Gefunden , in der das Bayesian Data Analysis-Buch von Gelman, Carlin, Stern und Rubin (zweite Ausgabe) genau dieselbe Formel hat. Das Buch erklärt jedoch nicht, wie / warum es gerechtfertigt ist, diese Ausdrücke zu ignorieren?

Greenparker
quelle
Es gibt noch keine veröffentlichten Artikel, und die Formel wird sich wahrscheinlich in den nächsten Monaten ändern.
Ben Goodrich
@BenGoodrich Danke für den Kommentar. Können Sie noch etwas zur Motivation sagen, diese Formel anzuwenden? Und warum genau ändert sich die Formel?
Greenparker
1
Die derzeitige R-Hat-Formel ist so, wie sie meistens für den Fall gilt, dass es nur eine Kette gibt. Die kommenden Änderungen betreffen hauptsächlich die Tatsache, dass die zugrunde liegende marginale posteriore Verteilung möglicherweise nicht normal ist oder einen Mittelwert und / oder eine Varianz aufweist.
Ben Goodrich
1
@BenGoodrich Ja, ich verstehe, warum STAN Rhat aufteilt. Aber auch in diesem Fall ist , und daher ist die Konstante nicht zu ignorieren. ( M + 1 ) / M = 3 / 2M=2(M+1)/M=3/2
Greenparker

Antworten:

4

Ich folgte dem spezifischen Link, der für Gelman & Rubin (1992) angegeben wurde, und es hat jedoch wie in den späteren Versionen ersetzt durch bei Brooks & Gelman (1998) und durch bei BDA2 (Gelman et al., 2003) und BDA3 (Gelman et al., 2003). 2013).

σ^=n1nW+1nB
σ^σ^+var^+

BDA2 und BDA3 (konnten jetzt BDA1 nicht überprüfen) haben eine Übung mit Hinweisen, die zeigen, dass eine unvoreingenommene Schätzung der gewünschten Menge ist.var^+

Gelman & Brooks (1998) hat die Gleichung 1.1 die geändert werden kann als Wir können sehen, dass der Effekt des zweiten und dritten Terms für die Entscheidungsfindung vernachlässigbar ist, wenn groß ist. Siehe auch die Diskussion in dem Absatz vor Abschnitt 3.1 in Brooks & Gelman (1998).

R^=m+1mσ^+Wn1mn,
R^=σ^+W+σ^+Wmn1mn.
n

Gelman & Rubin (1992) hatten auch den Ausdruck mit df als df / (df-2). Brooks & Gelman (1998) haben einen Abschnitt, der beschreibt, warum diese df-Korrelation falsch ist, und definieren (df + 3) / (df + 1). Der Absatz vor Abschnitt 3.1 in Brooks & Gelman (1998) erklärt, warum (d + 3) / (d + 1) fallengelassen werden kann.

Es scheint, dass Ihre Quelle für die Gleichungen etwas nach Brooks & Gelman (1998) war, wie Sie dort (d + 3) / (d + 1) und Gelman & Rubin (1992) df / df (-2) hatten. Ansonsten haben Gelman & Rubin (1992) und Brooks & Gelman (1998) äquivalente Gleichungen (mit leicht unterschiedlichen Notationen und einigen Begriffen, die unterschiedlich angeordnet sind). BDA2 (Gelman et al., 2003) enthält keine Begriffe mehr . BDA3 (Gelman et al., 2003) und Stan führten die Split-Chain-Version ein.σ^+Wmn1mn

Meine Interpretation der Arbeiten und Erfahrungen mit verschiedenen Versionen von ist, dass die Terme, die schließlich fallengelassen wurden, ignoriert werden können, wenn groß ist, selbst wenn nicht groß ist. Ich erinnere mich auch vage daran, wie ich vor Jahren mit Andrew Gelman darüber gesprochen habe, aber wenn Sie sicher sein wollen, dass die Geschichte bekannt ist, sollten Sie ihn fragen.R^nm

Normalerweise ist M nicht zu groß und kann oft so niedrig wie 2 sein

Ich hoffe wirklich, dass dies nicht oft der Fall ist. In Fällen, in denen Sie die Split- -Konvergenzdiagnose verwenden möchten , sollten Sie mindestens 4 geteilte Ketten verwenden und daher M = 8 haben. Sie können weniger Ketten verwenden, wenn Sie bereits wissen, dass die Konvergenz und das Mischen in Ihren speziellen Fällen schnell sind.R^

Zusätzlicher Verweis:

  • Brooks und Gelman (1998). Journal of Computational and Graphical Statistics, 7 (4) 434-455.
Aki Vehtari
quelle
Ja, es hat die gleiche wie Sie erwähnt haben, aber ihre Statistik ist (siehe die Gleichung oben auf Seite 495 in der offiziellen Version von Stat Science), die den Term einführt, über den ich gesprochen habe. Schauen Sie sich außerdem den Code und die Beschreibung im R-Paket coda an, das seit 1999 die GR-Diagnose hat.σ^2R^(σ^2+B/mn)/Wdfterm(m+1)/m
Greenparker,
Ich bin verwirrt. Der Artikel über den Link, den Sie bereitgestellt haben, und der Artikel von Stat Science-Webseiten haben nur die Seiten 457-472. Ich habe es jetzt nicht überprüft, aber vor Jahren und im letzten Jahr, als ich die Coda überprüfte, hatte er nicht die aktuell empfohlene Version.
Aki Vehtari
Beachten Sie, dass ich meine Antwort bearbeitet habe. Gelman & Brooks (1998) hat diesen (m + 1) / m-Ausdruck deutlicher, und es scheint, dass Sie den letzten Ausdruck verpasst haben, der die Auswirkung von (m + 1) / m-Ausdruck für die Entscheidungsfindung größtenteils aufhebt. Siehe diesen Absatz vor Abschnitt 3.1.
Aki Vehtari
Tut mir leid, das war ein Tippfehler. Es ist Seite 465, und Gelman und Rubin haben die gleiche exakte Definition wie Brooks und Gelman (die Sie oben angeben). Gleichung 1.1 in Brooks und Gelman ist genau das, was ich auch aufgeschrieben habe (wenn Sie einige Begriffe neu ordnen).
Greenparker
"Wir können sehen, dass die Auswirkungen des zweiten und dritten Terms für die Entscheidungsfindung vernachlässigbar sind, wenn n groß ist". Sie sagen also, dass der Ausdruck in BDA und damit in STAN davon herrührt, dass diese Terme für großes n im Wesentlichen ignoriert werden.
Greenparker