Contraction principle

How a large deviation principle transfers through a continuous mapping.
Contraction principle

Contraction principle: Let (μn)(\mu_n) be on a space XX that satisfy a with speed ana_n\to\infty and I ⁣:X[0,]I\colon X\to[0,\infty]. Let f ⁣:XYf\colon X\to Y be continuous, and let νn=μnf1\nu_n=\mu_n\circ f^{-1} be the pushforward measures on YY. Then (νn)(\nu_n) satisfies an LDP on YY with the same speed ana_n and rate function

J(y)=inf{I(x):xX, f(x)=y}, J(y)=\inf\bigl\{ I(x)\,:\, x\in X,\ f(x)=y\bigr\},

with the convention inf=+\inf\varnothing=+\infty.

In terms of , if ZnZ_n satisfies an LDP on XX and Yn=f(Zn)Y_n=f(Z_n) with ff continuous, then (Yn)(Y_n) satisfies an LDP with rate obtained by minimizing II over the fiber {x:f(x)=y}\{x:f(x)=y\}. This principle is routinely combined with and to derive LDPs for many statistics.