Stan

16

Je parcourais la documentation de Stan qui peut être téléchargée ici . J'étais particulièrement intéressé par leur implémentation du diagnostic Gelman-Rubin. Le document original Gelman & Rubin (1992) définit le facteur de réduction d'échelle potentiel (PSRF) comme suit:

Soit Xi,1,,Xi,N la i ème chaîne de Markov échantillonnée, et qu'il y ait globalement M chaînes indépendantes échantillonnées. Soit X¯i la moyenne de la i ème chaîne, et X¯ la moyenne globale. Définissez,

W=1Mm=1Msm2,
sm2=1N1t=1N(X¯mtX¯m)2.
Et définissezB
B=NM1m=1M(X¯mX¯)2.

Définir V = ( N - 1 Le PSRF est estimé avec

V^=(N1N)W+(M+1MN)B.
R= VR^ d f = 2 V / V a r ( V ) .
R^=V^Wdf+3df+1,
df=2V^/Var(V^)

La documentation de Stan à la page 349 ignore le terme avec et supprime également le terme multiplicatif ( M + 1 ) / M. Voici leur formule,df(M+1)/M

L'estimateur de variance est Enfin, la statistique potentiel de réduction d'échelle est définie par R =

var^+(θ|y)=N1NW+1NB.
R^=var^+(θ|y)W.

D'après ce que j'ai pu voir, ils ne fournissent pas de référence pour ce changement de formule, et ils n'en discutent pas non plus. Habituellement, n'est pas trop grand et peut souvent être aussi bas que 2 , donc ( M + 1 ) / M ne doit pas être ignoré, même si le terme d f peut être approximé par 1.M2(M+1)/Mdf

D'où vient donc cette formule?


EDIT: J'ai trouvé une réponse partielle à la question "d' où vient cette formule? ", Dans la mesure où le livre Bayesian Data Analysis de Gelman, Carlin, Stern et Rubin (deuxième édition) a exactement la même formule. Cependant, le livre n'explique pas comment / pourquoi il est justifié d'ignorer ces termes?

Greenparker
la source
Il n'y a pas encore de document publié à ce sujet, et la formule changera probablement dans les prochains mois de toute façon.
Ben Goodrich
@BenGoodrich Merci pour le commentaire. Pouvez-vous nous en dire plus sur la motivation de l'utilisation de cette formule? Et pourquoi exactement la formule va-t-elle changer?
Greenparker
1
La formule actuelle du R-hat split est la façon dont il s'agit principalement de l'appliquer au cas où il n'y a qu'une seule chaîne. Les changements à venir concernent principalement le fait que la distribution postérieure marginale sous-jacente peut ne pas être normale ou avoir une moyenne et / ou une variance.
Ben Goodrich
1
@BenGoodrich Oui, je comprends pourquoi STAN divise Rhat. Mais même dans ce cas, , et donc la constante ( MM=2 qui est non ignorable. (M+1)/M=3/2
Greenparker

Réponses:

4

J'ai suivi le lien spécifique donné pour Gelman et Rubin (1992) et il a σ = n - 1 comme dans les versions ultérieures, bien que σ remplacé par σ

σ^=n1nW+1nB
σ^ Brooks & Gelman (1998) et ^ v un r + dans BDA2 (Gelman et al, 2003) et BDA3 (Gelman et al, 2013).σ^+var^+

BDA2 et BDA3 (impossible de vérifier maintenant BDA1) ont un exercice avec des indices pour montrer que est une estimation non biaisée de la quantité souhaitée.var^+

Gelman & Brooks (1998) a pour équation 1.1 R = m + 1 qui peut être réarrangée comme R

R^=m+1mσ^+Wn1mn,
Nous pouvons voir que les effets des deuxième et troisième termes sont négligeables pour la prise de décision lorsquenest grand. Voir également la discussion dans le paragraphe précédant la section 3.1 dans Brooks & Gelman (1998).
R^=σ^+W+σ^+Wmn1mn.
n

Gelman et Rubin (1992) avaient également le terme avec df comme df / (df-2). Brooks et Gelman (1998) ont une section décrivant pourquoi cette correction de df est incorrecte et définissent (df + 3) / (df + 1). Le paragraphe précédant la section 3.1 de Brooks & Gelman (1998) explique pourquoi (d + 3) / (d + 1) peuvent être supprimés.

Il semble que votre source pour les équations soit postérieure à Brooks & Gelman (1998) comme vous en aviez (d + 3) / (d + 1) et Gelman & Rubin (1992) avaient df / df (-2). Sinon, Gelman et Rubin (1992) et Brooks et Gelman (1998) ont des équations équivalentes (avec des notations légèrement différentes et certains termes sont disposés différemment). BDA2 (Gelman, et al., 2003) n'a plus de termesσ^+Wmn1mn

R^nm

Habituellement, M n'est pas trop grand et peut souvent être aussi bas que 2

J'espère vraiment que ce n'est pas souvent le cas. Dans les cas où vous souhaitez utiliser split-R^

Référence supplémentaire:

  • Brooks et Gelman (1998). Journal of Computational and Graphical Statistics, 7 (4) 434-455.
Aki Vehtari
la source
σ^2R^(σ^2+B/mn)/Wdfterm(m+1)/m
Greenparker
Je suis confus. L'article via le lien que vous avez fourni et l'article des pages Web de Stat Science ne contiennent que les pages 457-472.Je n'ai pas vérifié maintenant, mais il y a des années et l'année dernière lorsque j'ai vérifié la coda, il n'avait pas la version actuelle recommandée.
Aki Vehtari
Notez que j'ai modifié ma réponse. Gelman et Brooks (1998) ont ce terme (m + 1) / m plus clairement, et il semble que vous ayez manqué le dernier terme qui annule principalement l'effet de (m + 1) / m terme pour la prise de décision. Voir ce paragraphe avant la section 3.1.
Aki Vehtari
Désolé, c'était une faute de frappe. C'est la page 465, et Gelman et Rubin ont la même définition exacte que Brooks et Gelman (que vous indiquez ci-dessus). L'équation 1.1 de Brooks et Gelman est exactement ce que j'ai également écrit (lorsque vous réorganisez certains termes).
Greenparker
"Nous pouvons voir que l'effet des deuxième et troisième termes est négligeable pour la prise de décision lorsque n est grand", donc ce que vous dites est que l'expression dans BDA et donc STAN vient essentiellement d'ignorer ces termes pour grand n?
Greenparker