Rate function

From Wikipedia, the free encyclopedia

In mathematics — specifically, in large deviations theory — a rate function is a function used to quantify the probabilities of rare events. It is required to have several "nice" properties which assist in the formulation of the large deviation principle. In some sense, the large deviation principle is an analogue of weak convergence of probability measures, but one which takes account of how well the rare events behave.

Contents

[edit] Definitions

An extended real-valued function I : X → [0, +∞] defined on a Hausdorff topological space X is said to be a rate function if it is not identically +∞ and is lower semi-continuous, i.e. all the sub-level sets

\{ x \in X | I(x) \leq c \} \mbox{ for } c \geq 0

are closed in X. If, furthermore, they are compact, then I is said to be a good rate function.

A family of probability measures (μδ)δ>0 on X is said to satisfy the large deviation principle with rate function I : X → [0, +∞] (and rate 1 ⁄ δ) if, for every closed set F ⊆ X and every open set G ⊆ X,

\limsup_{\delta \downarrow 0} \delta \log \mu_{\delta} (F) \leq - \inf_{x \in F} I(x), \quad \mbox{(U)}
\liminf_{\delta \downarrow 0} \delta \log \mu_{\delta} (G) \geq - \inf_{x \in G} I(x). \quad \mbox{(L)}

If the upper bound (U) holds only for compact (not just closed) sets F, then (μδ)δ>0 is said to satisfy the weak large deviation principle (with rate 1 ⁄ δ and weak rate function I).

[edit] Remarks

The rôle of the open and closed sets in the large deviation principle is similar to their rôle in the weak convergence of probability measures: recall that (μδ)δ>0 is said to converge weakly to μ if, for every closed set F ⊆ X and every open set G ⊆ X,

\limsup_{\delta \downarrow 0} \mu_{\delta} (F) \leq \mu(F),
\liminf_{\delta \downarrow 0} \mu_{\delta} (G) \geq \mu(G).

It should be noted that there is some variation in the nomenclature used in the literature: for example, den Hollander (2000) uses simply "rate function" where this article — following Dembo & Zeitouni (1998) — uses "good rate function", and "weak rate function" where this article uses "rate function". Fortunately, regardless of the nomenclature used for rate functions, examination of whether the upper bound inequality (U) is supposed to hold for closed or compact sets tells one whether the large deviation principle in use is strong or weak.

[edit] Properties

[edit] Uniqueness

A natural question to ask, given the somewhat abstract setting of the general framework above, is whether the rate function is unique. This turns out to be the case: given a sequence of probability measures (μδ)δ>0 on X satisfying the large deviation principle for two rate functions I and J, it follows that I(x) = J(x) for all x ∈ X.

[edit] Exponential tightness

It is possible to convert a weak large deviation principle into a strong one if the measures converge sufficiently quickly. If the upper bound holds for compact sets F and the sequence of measures (μδ)δ>0 is exponentially tight, then the upper bound also holds for closed sets F. In other words, exponential tightness enables one to convert a weak large deviation principle into a strong one.

[edit] Continuity

Naïvely, one might try to replace the two inequalities (U) and (L) by the single requirement that, for all Borel sets S ⊆ X,

\lim_{\delta \downarrow 0} \delta \log \mu_{\delta} (S) = - \inf_{x \in S} I(x). \quad \mbox{(E)}

Unfortunately, the equality (E) is far too restrictive, since many interesting examples satisfy (U) and (L) but not (E). For example, the measure μδ might be non-atomic for all δ, so the equality (E) could hold for S = {x} only if I were identically +∞, which is not permitted in the definition. However, the inequalities (U) and (L) do imply the equality (E) for so-called I-continuous sets S ⊆ X, those for which

I \big( \stackrel{\circ}{S} \big) = I \big( \bar{S} \big),

where \stackrel{\circ}{S} and \bar{S} denote the interior and closure of S in X respectively. In many examples, many sets/events of interest are I-continuous. For example, if I is a continuous function, then all sets S such that

S \subseteq \bar{\stackrel{\circ}{S}}

are I-continuous; all open sets, for example, satisfy this containment.

[edit] Transformation of large deviation principles

Given a large deviation principle on one space, it is often of interest to be able to construct a large deviation principle on another space. There are several results in this area:

[edit] References