Data processing inequality for f-divergences (source code)

= Data processing inequality for f-divergences

For a <measurable function> $T$, every f-divergence contracts under <pushforward measure>[pushforward]:
$$
D_f(T_*P\Vert T_*Q)\leq D_f(P\Vert Q).
$$
This follows from conditional <Jensen inequality> applied to the jointly convex perspective $(a,b)\mapsto bf(a/b)$.