1: \begin{definition}

2: Let $\omega_p,\omega_o$ be moduli of continuity, let $\rho\in(0,\infty]$ and let $\LimTh{T}$ be the name of a limit theorem for discrete-time random processes (e.g. $\mathrm{LIL}$ for the Law of Iterated Logarithm, $\mathrm{CLT}$ for the Central Limit Theorem, or $\mathrm{ASIP}$ for the Almost Sure Invariance Principle, see Definition \ref{defi:stat}). We shall say that $T$ \emph{has unique equilibrium states for potentials in $\Hol_{\omega_p}(X)$ of norm less than $\rho$, with limit theorem $\LimTh{T}$ for observables in $\Hol_{\omega_o}(X)$} (in short, that $T$ satisfies $\UE(\omega_p[\rho];\LimTh{T},\omega_o)$) whenever:

3: \begin{enumerate}

4: \item for all potentials $\varphi\in\Hol_{\omega_p}(X)$ such that $\lVert \varphi\rVert_{\omega_p}<\rho$, there exist a unique \emph{equilibrium state} $\mu_\varphi$, i.e. a maximizer of the free energy $\FreeE(\mu) = \entKS(T,\mu)+\mu(\varphi)$ over all $\mu\in\proba_T(X)$ (where $\entKS$ denotes Kolmogorov-Sinai entropy), and

5: \item for all $f\in \Hol_{\omega_o}(X)$, the random process $(f\circ T^k(Z))_{k\in\mathbb{N}}$, where $Z$ is a random variable with law $\mu_\varphi$, satisfies the limit theorem $\LimTh{T}$ (see Definition \ref{defi:stat} for more precisions).

6: \end{enumerate}

7: When there is no bound on the norm of potential, i.e. $\rho=\infty$, we may shorten $\UE(\omega_p[\infty];\LimTh{T},\omega_o)$ into $\UE(\omega_p;\LimTh{T},\omega_o)$. When this property is satisfied for all H\"older-continuous potentials or observables, whatever the H\"older exponent, we write $\hol{*}$ in place of $\omega_p$ or $\omega_o$.  When we only want to state existence and  uniqueness of equilibrium state, we agree to take $\LimTh{T}=\varnothing$ and we can simplify the notation into $\UE(\omega_p;\varnothing)$ as there is no need to specify the observables.

8: \end{definition}

9: