Efecto causal por ajustes de puerta trasera y puerta delantera

Si quisiéramos calcular el efecto causal de sobre en el gráfico causal a continuación, podemos usar los teoremas de ajuste de puerta trasera y de puerta delantera, es decir, $X$ $Y$

P (y | do (X = x)) = \sum_{u} P (y | x, u) P (u)

$P(y | \textit{do}(X = x)) = \sum_u P(y | x, u) P(u)$

P (y | do (X = x)) = \sum_{z} P (z | x) \sum_{x^{'}} P (y | x^{'}, z) P (x^{'}) .

$P(y | \textit{do}(X = x)) = \sum_z P(z | x) \sum_{x'} P(y|x', z)P(x').$

¿Es tarea fácil demostrar que los dos ajustes conducen al mismo efecto causal de en ? $X$ $Y$

— Jae
fuente

¿Es esta una verdadera tarea? Luego, agregue la etiqueta de autoestudio. Entonces la gente puede darte pistas, dejándote pensar (y aprender). Cuéntanos qué intentaste y dónde estás atrapado. Recuerde que el CV no es para subcontratar tareas ...

— Knarpie

Hola Knarpie, es parte del autoestudio y no una tarea. Actualmente estoy leyendo "Inferencia causal en estadística" por Pearl et al. y pasa aproximadamente 1 hora reflexionando sobre la pregunta que hice anteriormente, ya que es una pregunta natural, pero no puede mostrar la igualdad. O me falta algo aquí, o las dos expresiones no son iguales.

— Jae

$do(x)$ $X$ $x$ $X$ $X$ $X$

$P$ $P^*$ $P^*$ $P$ $P^*$ $U \perp X$ $P^*(U) = P(U)$ $P^*(Y|X, U) = P(Y|X, U)$

\begin{aligned} P (Y | d o (X)) & := P^{*} (Y | X) \\ = \sum_{U} P^{*} (Y | X, U) P^{*} (U | X) \\ = \sum_{U} P^{*} (Y | X, U) P^{*} (U) \\ = \sum_{U} P (Y | X, U) P (U) \end{aligned}

$\begin{aligned} P(Y|do(X)) &:= P^*(Y|X) \\ &=\sum_{U}P^*(Y|X, U)P^*(U|X)\\ &=\sum_{U}P^*(Y|X, U)P^*(U)\\ &=\sum_{U}P(Y|X, U)P(U) \end{aligned}$

$X$ $Z$

P (Z | d o (X)) = P (Z | X)

$P(Z|do(X)) = P(Z|X)$

$P(Y|do(X))$ $X$ $Z$ $Y$

P (Y | d o (Z)) = \sum_{X^{'}} P (Y | X^{'}, Z) P (X^{'})

$P(Y|do(Z)) = \sum_{X'}P(Y|X', Z) P(X')$

Donde estoy usando el primo por conveniencia de notación para la siguiente expresión. Entonces, estas dos expresiones ya están en términos de la distribución previa a la intervención, y simplemente usamos el razonamiento de puerta trasera anterior para derivarlas.

$X$ $Y$ $Z$ $Y$ $X$ $Z$ $P(Y|Z, do(X)) = P(Y|do(Z), do(X)) = P(Y|do(Z))$ $X$ $Y$ $Z$ $Z$ $Y$ $X$

\begin{aligned} P (Y | d o (X)) & = \sum_{Z} P (Y | Z, d o (X)) P (Z | d o (X)) \\ = \sum_{Z} P (Y | d o (Z)) P (Z | d o (X)) \\ = \sum_{Z} \sum_{X^{'}} P (Y | X^{'}, Z) P (X^{'}) P (Z | X) \\ = \sum_{Z} P (Z | X) \sum_{X^{'}} P (Y | X^{'}, Z) P (X^{'}) \end{aligned}

$\begin{aligned} P(Y|do(X)) &= \sum_{Z} P(Y|Z, do(X))P(Z|do(X))\\ &= \sum_{Z} P(Y|do(Z))P(Z|do(X))\\ &= \sum_{Z} \sum_{X'}P(Y|X', Z) P(X')P(Z|X)\\ &= \sum_{Z}P(Z|X) \sum_{X'}P(Y|X', Z) P(X') \end{aligned}$

$\sum_{Z} P(Y|do(Z))P(Z|do(X))$ $Z$ $Y$ $P(Y|do(Z))$ $X$ $Z$ $X$ $P(Z|do(X))$

Por lo tanto, los dos ajustes le dan la misma distribución posterior a la intervención en este gráfico, como hemos mostrado.

Al volver a leer su pregunta, se me ocurrió que podría estar interesado en mostrar directamente que el lado derecho de las dos ecuaciones es igual en la distribución pre-intervencionista (que deben ser, dada nuestra derivación previa). Eso tampoco es difícil de mostrar directamente. Es suficiente mostrar eso en su DAG:

\sum_{X^{'}} P (Y | Z, X^{'}) P (X^{'}) = \sum_{U} P (Y | Z, U) P (U)

$\sum_{X'}P(Y|Z, X') P(X') = \sum_{U}P(Y|Z, U) P(U)$

$Y \perp X|U, Z$ $U \perp Z|X$

\begin{aligned} \sum_{X^{'}} P (Y | Z, X^{'}) P (X^{'}) & = \sum_{X^{'}} (\sum_{U} P (Y | Z, X^{'}, U) P (U | Z, X^{'})) P (X^{'}) \\ = \sum_{X^{'}} (\sum_{U} P (Y | Z, U) P (U | X^{'})) P (X^{'}) \\ = \sum_{U} P (Y | Z, U) \sum_{X^{'}} P (U | X^{'}) P (X^{'}) \\ = \sum_{U} P (Y | Z, U) P (U) \end{aligned}

$\begin{aligned} \sum_{X'}P(Y|Z, X') P(X') &= \sum_{X'}\left(\sum_{U}P(Y|Z, X', U)P(U|Z, X') \right)P(X') \\ &= \sum_{X'}\left(\sum_{U}P(Y|Z, U)P(U| X') \right)P(X') \\ &= \sum_{U}P(Y|Z, U) \sum_{X'}P(U| X')P(X') \\ &= \sum_{U}P(Y|Z, U) P(U) \\ \end{aligned}$

Por lo tanto:

\begin{aligned} \sum_{Z} P (Z | X) \sum_{X^{'}} P (Y | X^{'}, Z) P (X^{'}) & = \sum_{Z} P (Z | X) \sum_{U} P (Y | Z, U) P (U) \\ = \sum_{U} P (U) \sum_{Z} P (Y | Z, U) P (Z | X) \\ = \sum_{U} P (U) \sum_{Z} P (Y | Z, X, U) P (Z | X, U) \\ = \sum_{U} P (Y | X, U) P (U) \end{aligned}

$\begin{aligned} \sum_{Z}P(Z|X) \sum_{X'}P(Y|X', Z) P(X') &= \sum_{Z}P(Z|X)\sum_{U}P(Y|Z, U) P(U)\\ &= \sum_{U}P(U)\sum_{Z}P(Y|Z, U)P(Z|X) \\ &= \sum_{U}P(U)\sum_{Z}P(Y|Z, X, U)P(Z|X, U) \\ &= \sum_{U}P(Y| X, U) P(U)\\ \end{aligned}$

— Carlos Cinelli
fuente

P (Y | d o (X))

$P(Y|do(X))$

\sum_{Z} P (Y | d o (Z)) P (Z | d o (X)

$\sum_{Z}P(Y|do(Z))P(Z|do(X)$

\sum_{Z} P (Y | Z, d o (X)) P (Z | d o (X))

$\sum_{Z}P(Y|Z, do(X))P(Z|do(X))$

@JulianSchuessler es por eso que escribí "se puede pensar como", como una forma de ayudar a la comprensión, pero no literalmente diciendo que sí. Con respecto a la derivación de la puerta principal, no estaba claro si el OP sabía cómo obtenerla, por eso lo puse allí.

— Carlos Cinelli

Gran respuesta. Gracias carlos. La segunda parte de su respuesta fue exactamente lo que pedí. Tengo dos preguntas de seguimiento aquí. 1) ¿Qué estrategia de búsqueda usaste para manipular algebraicamente las expresiones en tu segunda respuesta? (¿Entornando los ojos las expresiones lo suficiente?) Dado que el espacio de búsqueda es grande, me pregunto cómo se puede escribir un algoritmo para poder llegar automáticamente a la misma conclusión.

— Jae

\sum_{z} P (Y | do (Z) P (Z | do (X))

$\sum_z P(Y|\textit{do}(Z)P(Z|\textit{do}(X))$

do (Z)

$\textit{do}(Z)$

Z

$Z$

Z

$Z$

P (X, U)

$P(X, U)$

P (Y | X, U)

$P(Y|X, U)$

M

$M$

M^{*}

$M^*$

P

$P$

P^{*}

$P^*$

Y

$Y$

X

$X$

U

$U$