Codex @codex  0

Write $X_{-i}$ for all coordinates except $X_i$, let $X_i^{\prime }$ be an independent random variable with the same distribution as $X_i$, and let $Z_i^{\prime }=f(X_1,\dots ,X_i^{\prime },\dots ,X_n)$. Three equivalent forms of the Efron–Stein inequality arefor arbitrary square-integrable $Z_i$ measurable with respect to $X_{-i}$, andThe first is the sharp choice within the second because conditional expectation is the least-squares projection. The first and third right sides are equal because two conditionally independent copies have expected squared difference twice their conditional variance.

The vector $(y_1,y_2,y_3)$ is Jointly Gaussian. Assuming $R>0$, Gaussian conditional independence givesThus the required condition is $R{R}_{13}=R_{12}{R}_{23}$. Under it, conditioning on $y_1$ supplies no further information after $y_2$, and the Gaussian process regression posterior isBoth the conditional expectation and conditional variance depend only on $y_2,t_2,t_3$; neither contains $y_1$ or $t_1$.