Para un proceso bivariado $(\textbf{X},\textbf{Y})=( (X_t, Y_t)^\top, t\in\mathbb{Z})$, decimos que el proceso $\textbf{X}$ causa a Sims el proceso $\textbf{Y}$ (notación $\textbf{X}\overset{Sims}{\to}\textbf{Y}$), si $$ (Y_{t+s}, s\geq 1)\not\perp X_t \mid X_{past(t-1)}, Y_{past(t)}, Z_{past(t)}, \text{ para todo }t\in\mathbb{Z}, $$ donde $past(t) = (t, t-1, \dots)$, $\perp$ significa independencia y $Z$ son todas las variables relevantes (causalmente suficientes).
Considera mi nueva definición: decimos que el proceso $\textbf{X}$ N-causa al proceso $\textbf{Y}$ (notación $\textbf{X}\overset{N}{\to}\textbf{Y}$), si $$ (Y_{t+s}, s\geq 1)\not\perp X_t \mid Y_{past(t)}, Z_{past(t)}, \text{ para todo }t\in\mathbb{Z}. $$
La diferencia es que omitimos $\textbf{X}$ en el conjunto de condicionantes.
¿Puedes darme un ejemplo cuando $\textbf{X}\overset{N}{\to}\textbf{Y}$ pero $\textbf{X}\overset{Sims}{\not\to}\textbf{Y}$? ¿O viceversa? Siento que en la gran mayoría de procesos aleatorios, estas definiciones deberían ser equivalentes. ¿Puedes encontrar una condición bajo la cual las definiciones son equivalentes?