Let $X$ and $Y$ be two $\rho$ correlated Gaussian vectors, such that $X,Y\sim N(0,1)^n$ and $E[X_iY_i]=\rho$. Let $M_X = f(X)$ and $M_Y = f(Y)$ be $k$-bit functions of $X$ and $Y$, that is $H(X)=H(Y)=k$.
We then have that $M_X - X - Y - M_Y$ is a Markov Chain.
By the standard Strong Data Processing Inequality (SDPI), we get $I(M_X; Y) \le \rho^2 I(M_X; X) \le \rho^2 k$ and likewise $I(M_Y; X) \le \rho^2 k$.
I would like to show that $$I(M_X ; M_Y) \le \rho^2 k / 2.$$
This is motivated by the fact that when $M_X$ and $M_Y$ are seen as approximations to $X$ and $Y$, then one will need twice as good approximations when both $X$ and $Y$ are approximated, rather than if only one of them is (the case $I(X ; M_Y)$.)
I'm aware of the general result by Yury Polyanskiy and Yihong Wu, which lets one compute an end-to-end SDPI for a Markov Chain (or graph). However, in that case, it is assumed that each link loses some constant factor, wherein my case the two links $M_X - X$ and $Y - M_Y$ are rate capped rather than noisy.
Do you know any information-theoretical tricks, or known relations, that I'm unaware of which might be useful?