Stan

16

Estaba revisando la documentación de Stan que se puede descargar desde aquí . Estaba particularmente interesado en su implementación del diagnóstico Gelman-Rubin. El artículo original Gelman y Rubin (1992) define el factor de reducción de escala potencial (PSRF) de la siguiente manera:

Deje que sea ​​la ésima cadena de Markov muestreada, y que haya cadenas independientes independientes muestreadas. Sea la media de la ésima cadena, y sea ​​la media general. Definir, donde Y defina B B = \ dfrac {N} {M-1} \ sum_ {m = 1} ^ {M} (\ bar {X} _ {m \ cdot} - \ bar {X} _ {\ cdot \ cdot }) ^ 2 \ ,. 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=NM1m=1M(X¯mX¯)2.

Defina

V^=(N1N)W+(M+1MN)B.
El PSRF se estima con R^ donde
R^=V^Wdf+3df+1,
donde df=2V^/Var(V^) .

La documentación de Stan en la página 349 ignora el término con df y también elimina el término multiplicativo (M+1)/MEsta es su fórmula,

El estimador de varianza es

var^+(θ|y)=N1NW+1NB.
Finalmente, la estadística de reducción de escala potencial se define por
R^=var^+(θ|y)W.

Por lo que pude ver, no proporcionan una referencia para este cambio de fórmula, y tampoco lo discuten. Por lo general, M no es demasiado grande, y a menudo puede ser tan bajo como 2 , por lo que (M+1)/M no debe ignorarse, incluso si el término df se puede aproximar a 1.

Entonces, ¿de dónde viene esta fórmula?


EDITAR: He encontrado una respuesta parcial a la pregunta "¿de dónde viene esta fórmula? ", En que el libro Bayesian Data Analysis de Gelman, Carlin, Stern y Rubin (Segunda edición) tiene exactamente la misma fórmula. Sin embargo, el libro no explica cómo / por qué es justificable ignorar esos términos.

Greenparker
fuente
Todavía no hay un documento publicado al respecto, y la fórmula probablemente cambiará en los próximos meses de todos modos.
Ben Goodrich
@BenGoodrich Gracias por el comentario. ¿Puedes decir algo más sobre la motivación de usar esta fórmula? ¿Y por qué cambiará exactamente la fórmula?
Greenparker
1
La fórmula actual de R-hat dividido es la forma en que se aplica principalmente al caso en el que solo hay una cadena. Los cambios que vienen son principalmente para tratar con el hecho de que la distribución posterior marginal subyacente puede no ser normal o tener una media y / o varianza.
Ben Goodrich
1
@BenGoodrich Sí, entiendo por qué STAN divide a Rhat. Pero incluso en ese caso , entonces la constante que no es ignorable. ( M + 1 ) / M = 3 / 2M=2(M+1)/M=3/2
Greenparker

Respuestas:

4

Seguí el enlace específico dado para Gelman y Rubin (1992) y tiene como en las versiones posteriores, aunque reemplazado con en Brooks & Gelman (1998) y con en BDA2 (Gelman et al, 2003) y BDA3 (Gelman et al, 2013). sigma sigma + ^ v un r +

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

BDA2 y BDA3 (no se pudo verificar ahora BDA1) tienen un ejercicio con sugerencias para mostrar que es una estimación imparcial de la cantidad deseada.var^+

Gelman & Brooks (1998) tiene la ecuación 1.1 que se puede reorganizar como Podemos ver que el efecto del segundo y tercer término es insignificante para la toma de decisiones cuando es grande. Véase también la discusión en el párrafo anterior a la Sección 3.1 en Brooks y Gelman (1998).

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

Gelman y Rubin (1992) también tenían el término con df como df / (df-2). Brooks y Gelman (1998) tienen una sección que describe por qué esta corrección de df es incorrecta y definen (df + 3) / (df + 1). El párrafo anterior a la Sección 3.1 en Brooks y Gelman (1998) explica por qué (d + 3) / (d + 1) puede descartarse.

Parece que su fuente para las ecuaciones fue algo posterior a Brooks y Gelman (1998), ya que tenía (d + 3) / (d + 1) allí y Gelman y Rubin (1992) tenían df / df (-2). De lo contrario, Gelman y Rubin (1992) y Brooks y Gelman (1998) tienen ecuaciones equivalentes (con notaciones ligeramente diferentes y algunos términos están organizados de manera diferente). BDA2 (Gelman, et al., 2003) ya no tiene términosσ^+Wmn1mn . BDA3 (Gelman et al., 2003) y Stan introdujeron la versión de cadenas divididas.

Mi interpretación de los documentos y experiencias usando diferentes versiones de es que los términos que finalmente se han eliminado pueden ignorarse cuando es grande, incluso cuando no lo es. También recuerdo vagamente haber discutido esto con Andrew Gelman hace años, pero si quieres estar seguro de la historia, debes preguntarle.R^nm

Por lo general, M no es demasiado grande y a menudo puede ser tan bajo como 2

Realmente espero que este no sea el caso a menudo. En los casos en que desee utilizar el diagnóstico de convergencia split- , debe usar al menos 4 cadenas divididas y, por lo tanto, tener M = 8. Puede usar menos cadenas, si ya sabe que en sus casos específicos la convergencia y la mezcla son rápidas.R^

Referencia adicional:

  • Brooks y Gelman (1998). Journal of Computational and Graphical Statistics, 7 (4) 434-455.
Aki Vehtari
fuente
Sí, tiene el mismo como usted menciona, pero su estadística es (mire la ecuación en la parte superior de la página 495 en la versión oficial de Stat Science), que introduce el término que estaba hablando. Además, mire el código y la descripción en el paquete R coda, que ha tenido el diagnóstico GR desde 1999.σ^2R^(σ^2+B/mn)/Wdfterm(m+1)/m
Greenparker
Estoy confundido. El artículo a través del enlace que proporcionó y el artículo de las páginas web de Stat Science tiene solo las páginas 457-472. No lo revisé ahora, pero hace años y el año pasado cuando revisé Coda, no tenía la versión recomendada actual.
Aki Vehtari
Tenga en cuenta que edité mi respuesta. Gelman & Brooks (1998) tiene ese término (m + 1) / m más claramente, y parece que se perdió el último término que cancela principalmente el efecto del término (m + 1) / m para la toma de decisiones. Ver ese párrafo antes de la sección 3.1.
Aki Vehtari
Lo siento, eso fue un error tipográfico. Es la página 465, y Gelman y Rubin tienen la misma definición exacta que Brooks y Gelman (que usted menciona anteriormente). La ecuación 1.1 en Brooks y Gelman es exactamente lo que escribí también (cuando reorganiza algunos términos).
Greenparker
"Podemos ver que el efecto del segundo y tercer término es insignificante para la toma de decisiones cuando n es grande", entonces, ¿qué está diciendo es que la expresión en BDA y, por lo tanto, STAN proviene de ignorar esencialmente estos términos para n grande?
Greenparker