Part of a series on
Bayesian statistics
Posterior =Likelihood ×Prior ÷Evidence
Background
Bayesian inference Bayesian probability Bayes' theorem Bernstein–von Mises theorem Coherence Cox's theorem Cromwell's rule Likelihood principle Principle of indifference Principle of maximum entropy
Model building
Conjugate prior Linear regression Empirical Bayes Hierarchical model
Posterior approximation
Markov chain Monte Carlo Laplace's approximation Integrated nested Laplace approximations Variational inference Approximate Bayesian computation
Estimators
Bayesian estimator Credible interval Maximum a posteriori estimation
Evidence approximation
Evidence lower bound Nested sampling
Model evaluation
Bayes factor (Schwarz criterion) Model averaging Posterior predictive
Mathematics portal
v t e

Instatistical decision theory, anadmissible decision rule is arule for making a decision such that there is no other rule that is always "better" than it^[1] (or at least sometimes better and never worse), in the precise sense of "better" defined below. This concept is analogous toPareto efficiency.

Definesets${\displaystyle \mathrm{\Theta }}$,${\displaystyle \mathcal{X}}$ and${\displaystyle \mathcal{A}}$, where${\displaystyle \mathrm{\Theta }}$ are the states of nature,${\displaystyle \mathcal{X}}$ the possible observations, and${\displaystyle \mathcal{A}}$ the actions that may be taken. An observation of${\displaystyle x\in \mathcal{X}}$ is distributed as${\displaystyle F(x\mid \theta )}$ and therefore provides evidence about the state of nature${\displaystyle \theta \in \mathrm{\Theta }}$. Adecision rule is afunction${\displaystyle \delta :\mathcal{X}\to \mathcal{A}}$, where upon observing${\displaystyle x\in \mathcal{X}}$, we choose to take action${\displaystyle \delta (x)\in \mathcal{A}}$.

Also define aloss function${\displaystyle L:\mathrm{\Theta }\times \mathcal{A}\to \mathbb{R}}$, which specifies the loss we would incur by taking action${\displaystyle a\in \mathcal{A}}$ when the true state of nature is${\displaystyle \theta \in \mathrm{\Theta }}$. Usually we will take this action after observing data${\displaystyle x\in \mathcal{X}}$, so that the loss will be${\displaystyle L(\theta ,\delta (x))}$. (It is possible though unconventional to recast the following definitions in terms of autility function, which is the negative of the loss.)

Define therisk function as theexpectation

${\displaystyle R(\theta ,\delta )={\mathrm{E}}_{F(x\mid \theta )}[L(\theta ,\delta (x))].}$

Whether a decision rule${\displaystyle \delta }$ has low risk depends on the true state of nature${\displaystyle \theta }$. A decision rule${\displaystyle {\delta }^{\ast }}$dominates a decision rule${\displaystyle \delta }$ if and only if${\displaystyle R(\theta ,{\delta }^{\ast })\le R(\theta ,\delta )}$ for all${\displaystyle \theta }$,and the inequality isstrict for some${\displaystyle \theta }$.

A decision rule isadmissible (with respect to the loss function) if and only if no other rule dominates it; otherwise it isinadmissible. Thus an admissible decision rule is amaximal element with respect to the above partial order.An inadmissible rule is not preferred (except for reasons of simplicity or computational efficiency), since by definition there is some other rule that will achieve equal or lower risk forall${\displaystyle \theta }$. But just because a rule${\displaystyle \delta }$ is admissible does not mean it is a good rule to use. Being admissible means there is no other single rule that isalways as good or better – but other admissible rules might achieve lower risk for most${\displaystyle \theta }$ that occur in practice. (The Bayes risk discussed below is a way of explicitly considering which${\displaystyle \theta }$ occur in practice.)

Let${\displaystyle \pi (\theta )}$ be a probability distribution on the states of nature. From aBayesian point of view, we would regard it as aprior distribution. That is, it is our believed probability distribution on the states of nature, prior to observing data. For afrequentist, it is merely a function on${\displaystyle \mathrm{\Theta }}$ with no such special interpretation. TheBayes risk of the decision rule${\displaystyle \delta }$ with respect to${\displaystyle \pi (\theta )}$ is the expectation

${\displaystyle r(\pi ,\delta )={\mathrm{E}}_{\pi (\theta )}[R(\theta ,\delta )].}$

A decision rule${\displaystyle \delta }$ that minimizes${\displaystyle r(\pi ,\delta )}$ is called aBayes rule with respect to${\displaystyle \pi (\theta )}$. There may be more than one such Bayes rule. If the Bayes risk is infinite for all${\displaystyle \delta }$, then no Bayes rule is defined.

In the Bayesian approach to decision theory, the observed${\displaystyle x}$ is consideredfixed. Whereas the frequentist approach (i.e., risk) averages over possible samples${\displaystyle x\in \mathcal{X}}$, the Bayesian would fix the observed sample${\displaystyle x}$ and average over hypotheses${\displaystyle \theta \in \mathrm{\Theta }}$. Thus, the Bayesian approach is to consider for our observed${\displaystyle x}$ theexpected loss

${\displaystyle \rho (\pi ,\delta \mid x)={\mathrm{E}}_{\pi (\theta \mid x)}[L(\theta ,\delta (x))].}$

where the expectation is over theposterior of${\displaystyle \theta }$ given${\displaystyle x}$ (obtained from${\displaystyle \pi (\theta )}$ and${\displaystyle F(x\mid \theta )}$ usingBayes' theorem).

Having made explicit the expected loss for each given${\displaystyle x}$ separately, we can define a decision rule${\displaystyle \delta }$ by specifying for each${\displaystyle x}$ an action${\displaystyle \delta (x)}$ that minimizes the expected loss. This is known as ageneralized Bayes rule with respect to${\displaystyle \pi (\theta )}$. There may be more than one generalized Bayes rule, since there may be multiple choices of${\displaystyle \delta (x)}$ that achieve the same expected loss.

At first, this may appear rather different from the Bayes rule approach of the previous section, not a generalization. However, notice that the Bayes risk already averages over${\displaystyle \mathrm{\Theta }}$ in Bayesian fashion, and the Bayes risk may be recovered as the expectation over${\displaystyle \mathcal{X}}$ of the expected loss (where${\displaystyle x\sim \theta }$ and${\displaystyle \theta \sim \pi }$). Roughly speaking,${\displaystyle \delta }$ minimizes this expectation of expected loss (i.e., is a Bayes rule) if and only if it minimizes the expected loss for each${\displaystyle x\in \mathcal{X}}$ separately (i.e., is a generalized Bayes rule).

Then why is the notion of generalized Bayes rule an improvement? It is indeed equivalent to the notion of Bayes rule when a Bayes rule exists and all${\displaystyle x}$ have positive probability. However, no Bayes rule exists if the Bayes risk is infinite (for all${\displaystyle \delta }$). In this case it is still useful to define a generalized Bayes rule${\displaystyle \delta }$, which at least chooses a minimum-expected-loss action${\displaystyle \delta (x)}$ for those${\displaystyle x}$ for which a finite-expected-loss action does exist. In addition, a generalized Bayes rule may be desirable because it must choose a minimum-expected-loss action${\displaystyle \delta (x)}$ forevery${\displaystyle x}$, whereas a Bayes rule would be allowed to deviate from this policy on a set${\displaystyle X\subseteq \mathcal{X}}$ of measure 0 without affecting the Bayes risk.

More important, it is sometimes convenient to use an improper prior${\displaystyle \pi (\theta )}$. In this case, the Bayes risk is not even well-defined, nor is there any well-defined distribution over${\displaystyle x}$. However, the posterior${\displaystyle \pi (\theta \mid x)}$—and hence the expected loss—may be well-defined for each${\displaystyle x}$, so that it is still possible to define a generalized Bayes rule.

According to the complete class theorems, under mild conditions every admissible rule is a (generalized) Bayes rule (with respect to some prior${\displaystyle \pi (\theta )}$—possibly an improper one—that favors distributions${\displaystyle \theta }$ where that rule achieves low risk). Thus, infrequentistdecision theory it is sufficient to consider only (generalized) Bayes rules.

Conversely, while Bayes rules with respect to proper priors are virtually always admissible, generalized Bayes rules corresponding toimproper priors need not yield admissible procedures.Stein's example is one such famous situation.

TheJames–Stein estimator is a nonlinear estimator of the mean of Gaussian random vectors and can be shown to dominate theordinary least squares technique with respect to a mean-squared-error loss function.^[2] Thus least squares estimation is not an admissible estimation procedure in this context. Some others of the standard estimates associated with thenormal distribution are also inadmissible: for example, thesample estimate of the variance when the population mean and variance are unknown.^[3]

• Cox, D. R.; Hinkley, D. V. (1974).Theoretical Statistics. Wiley.ISBN 0-412-12420-3.
• Berger, James O. (1980).Statistical Decision Theory and Bayesian Analysis (2nd ed.). Springer-Verlag.ISBN 0-387-96098-8.
• DeGroot, Morris (2004) [1st. pub. 1970].Optimal Statistical Decisions. Wiley Classics Library.ISBN 0-471-68029-X.
• Robert, Christian P. (1994).The Bayesian Choice. Springer-Verlag.ISBN 3-540-94296-3.

• Bayesian statistics
• Optimal decisions

• Articles with short description
• Short description is different from Wikidata