Electrical reactance

In statistics, a statistic is sufficient with respect to a statistical model and its associated unknown parameter if "no other statistic that can be calculated from the same sample provides any additional information as to the value of the parameter". In particular, a statistic is sufficient for a family of probability distributions if the sample from which it is calculated gives no additional information than does the statistic, as to which of those probability distributions is that of the population from which the sample was taken.

Roughly, given a set $\mathbf{X}$ of independent identically distributed data conditioned on an unknown parameter $\theta$, a sufficient statistic is a function $T(\mathbf{X})$ whose value contains all the information needed to compute any estimate of the parameter (e.g. a maximum likelihood estimate). Due to the factorization theorem (see below), for a sufficient statistic $T(\mathbf{X})$, the joint distribution can be written as $p(\mathbf{X})=h(\mathbf{X})g(\theta ,T(\mathbf{X}))$. From this factorization, it can easily be seen that the maximum likelihood estimate of $\theta$ will interact with $\mathbf{X}$ only through $T(\mathbf{X})$. Typically, the sufficient statistic is a simple function of the data, e.g. the sum of all the data points.

More generally, the "unknown parameter" may represent a vector of unknown quantities or may represent everything about the model that is unknown or not fully specified. In such a case, the sufficient statistic may be a set of functions, called a jointly sufficient statistic. Typically, there are as many functions as there are parameters. For example, for a Gaussian distribution with unknown mean and variance, the jointly sufficient statistic, from which maximum likelihood estimates of both parameters can be estimated, consists of two functions, the sum of all data points and the sum of all squared data points (or equivalently, the sample mean and sample variance).

The concept, due to Ronald Fisher, is equivalent to the statement that, conditional on the value of a sufficient statistic for a parameter, the joint probability distribution of the data does not depend on that parameter. Both the statistic and the underlying parameter can be vectors.

A related concept is that of linear sufficiency, which is weaker than sufficiency but can be applied in some cases where there is no sufficient statistic, although it is restricted to linear estimators. The Kolmogorov structure function deals with individual finite data, the related notion there is the algorithmic sufficient statistic.

The concept of sufficiency has fallen out of favor in descriptive statistics because of the strong dependence on an assumption of the distributional form (see Pitman–Koopman–Darmois theorem below), but remains very important in theoretical work.

Mathematical definition

A statistic T(X) is sufficient for underlying parameter θ precisely if the conditional probability distribution of the data X, given the statistic T(X), does not depend on the parameter θ, i.e.

$\mathrm{Pr}(X=x|T(X)=t,\theta )=\mathrm{Pr}(X=x|T(X)=t),$

or in shorthand

$\mathrm{Pr}(x|t,\theta )=\mathrm{Pr}(x|t).$

Instead of this last expression, the definition still holds if one uses either of the equivalent expressions:

$\mathrm{Pr}(\theta |t,x)=\mathrm{Pr}(\theta |t),$ or

$\mathrm{Pr}(\theta ,x|t)=\mathrm{Pr}(\theta |t)\mathrm{Pr}(x|t),$

which indicate, respectively, that the conditional probability of the parameter θ, given the sufficient statistic t, does not depend on the data x; and that the conditional probability of the parameter θ given the sufficient statistic t and the conditional probability of the data x given the sufficient statistic t are statistically independent.

Example

As an example, the sample mean is sufficient for the mean (μ) of a normal distribution with known variance. Once the sample mean is known, no further information about μ can be obtained from the sample itself. On the other hand, the median is not sufficient for the mean: even if the median of the sample is known, knowing the sample itself would provide further information about the population mean. For example, if the observations that are less than the median are only slightly less, but observations exceeding the median exceed it by a large amount, then this would have a bearing on one's inference about the population mean.

Fisher–Neyman factorization theorem

Fisher's factorization theorem or factorization criterion provides a convenient characterization of a sufficient statistic. If the probability density function is ƒ_θ(x), then T is sufficient for θ if and only if nonnegative functions g and h can be found such that

$f_{\theta }(x)=h(x)g_{\theta }(T(x)),$

i.e. the density ƒ can be factored into a product such that one factor, h, does not depend on θ and the other factor, which does depend on θ, depends on x only through T(x).

Likelihood principle interpretation

An implication of the theorem is that when using likelihood-based inference, two sets of data yielding the same value for the sufficient statistic T(X) will always yield the same inferences about θ. By the factorization criterion, the likelihood's dependence on θ is only in conjunction with T(X). As this is the same in both cases, the dependence on θ will be the same as well, leading to identical inferences.

Proof

Due to Hogg and Craig. Let $X_1,X_2,\dots ,X_n$, denote a random sample from a distribution having the pdf f(x, θ) for ι < θ < δ. Let Y₁ = u₁(X₁, X₂, ..., X_n) be a statistic whose pdf is g₁(y₁; θ). Then Y₁ = u₁(X₁, X₂, ..., X_n) is a sufficient statistic for θ if and only if, for some function H,

$\prod _{i=1}^{n}f(x_i;\theta )=g_1[u_1(x_1,x_2,\dots ,x_n);\theta ]H(x_1,x_2,\dots ,x_n).$

First, suppose that

$\prod _{i=1}^{n}f(x_i;\theta )=g_1[u_1(x_1,x_2,\dots ,x_n);\theta ]H(x_1,x_2,\dots ,x_n).$

We shall make the transformation y_i = u_i(x₁, x₂, ..., x_n), for i = 1, ..., n, having inverse functions x_i = w_i(y₁, y₂, ..., y_n), for i = 1, ..., n, and Jacobian $J=[w_i/y_j]$. Thus,

$\prod _{i=1}^{n}f[w_i(y_1,y_2,\dots ,y_n);\theta ]=\left|J\right|g_1(y_1;\theta )H[w_1(y_1,y_2,\dots ,y_n),\dots ,w_n(y_1,y_2,\dots ,y_n)].$

The left-hand member is the joint pdf g(y₁, y₂, ..., y_n; θ) of Y₁ = u₁(X₁, ..., X_n), ..., Y_n = u_n(X₁, ..., X_n). In the right-hand member, $g_1(y_1;\theta )$ is the pdf of $Y_1$, so that $H[w_1,\dots ,w_n]\left|J\right|$ is the quotient of $g(y_1,\dots ,y_n;\theta )$ and $g_1(y_1;\theta )$; that is, it is the conditional pdf $h(y_2,\dots ,y_n|y_1;\theta )$ of $Y_2,\dots ,Y_n$ given $Y_1=y_1$.

But $H(x_1,x_2,\dots ,x_n)$, and thus $H[w_1(y_1,\dots ,y_n),\dots ,w_n(y_1,\dots ,y_n))]$, was given not to depend upon $\theta$. Since $\theta$ was not introduced in the transformation and accordingly not in the Jacobian $J$, it follows that $h(y_2,\dots ,y_n|y_1;\theta )$ does not depend upon $\theta$ and that $Y_1$ is a sufficient statistics for $\theta$.

The converse is proven by taking:

$g(y_1,\dots ,y_n;\theta )=g_1(y_1;\theta )h(y_2,\dots ,y_n|y_1),$

where $h(y_2,\dots ,y_n|y_1)$ does not depend upon $\theta$ because $Y_2...Y_n$ depend only upon $X_1...X_n$, which are independent on $\mathrm{\Theta }$ when conditioned by $Y_1$, a sufficient statistics by hypothesis. Now divide both members by the absolute value of the non-vanishing Jacobian $J$, and replace $y_1,\dots ,y_n$ by the functions $u_1(x_1,\dots ,x_n),\dots ,u_n(x_1,\dots ,x_n)$ in $x_1,\dots ,x_n$. This yields

$\frac{g[u_1(x_1,\dots ,x_n),\dots ,u_n(x_1,\dots ,x_n);\theta ]}{|J*|}=g_1[u_1(x_1,\dots ,x_n);\theta ]\frac{h(u_2,\dots ,u_n|u_1)}{|J*|}$

where $J*$ is the Jacobian with $y_1,\dots ,y_n$ replaced by their value in terms $x_1,\dots ,x_n$. The left-hand member is necessarily the joint pdf $f(x_1;\theta )\cdots f(x_n;\theta )$ of $X_1,\dots ,X_n$. Since $h(y_2,\dots ,y_n|y_1)$, and thus $h(u_2,\dots ,u_n|u_1)$, does not depend upon $\theta$, then

$H(x_1,\dots ,x_2)=\frac{h(u_2,\dots ,u_n|u_1)}{|J*|}$

is a function that does not depend upon $\theta$.

Another proof

A simpler more illustrative proof is as follows, although it applies only in the discrete case.

We use the shorthand notation to denote the joint probability of $(X,T(X))$ by $f_{\theta }(x,t)$. Since $T$ is a function of $X$, we have $f_{\theta }(x,t)=f_{\theta }(x)$ (only when $t=T(x)$ and zero otherwise) and thus:

$f_{\theta }(x)=f_{\theta }(x,t)=f_{\theta |t}(x)f_{\theta }(t)$

with the last equality being true by the definition of conditional probability distributions. Thus $f_{\theta }(x)=a(x)b_{\theta }(t)$ with $a(x)=f_{\theta |t}(x)$ and $b_{\theta }(t)=f_{\theta }(t)$.

Reciprocally, if $f_{\theta }(x)=a(x)b_{\theta }(t)$, we have

$\begin{array}{rl}{f}_{\theta }(t)& =\sum _{x:T(x)=t}{f}_{\theta }(x,t)\\ & =\sum _{x:T(x)=t}{f}_{\theta }(x)\\ & =\sum _{x:T(x)=t}a(x)b_{\theta }(t)\\ & =(\sum _{x:T(x)=t}a(x))b_{\theta }(t).\end{array}$

With the first equality by the definition of pdf for multiple variables, the second by the remark above, the third by hypothesis, and the fourth because the summation is not over $t$.

Thus, the conditional probability distribution is:

$\begin{array}{rl}{f}_{\theta |t}(x)& =\frac{f_{\theta }(x,t)}{f_{\theta }(t)}\\ & =\frac{f_{\theta }(x)}{f_{\theta }(t)}\\ & =\frac{a(x)b_{\theta }(t)}{(\sum _{x:T(x)=t}a(x))b_{\theta }(t)}\\ & =\frac{a(x)}{\sum _{x:T(x)=t}a(x)}.\end{array}$

With the first equality by definition of conditional probability density, the second by the remark above, the third by the equality proven above, and the fourth by simplification. This expression does not depend on $\theta$ and thus $T$ is a sufficient statistic.

Minimal sufficiency

A sufficient statistic is minimal sufficient if it can be represented as a function of any other sufficient statistic. In other words, S(X) is minimal sufficient if and only if

1. S(X) is sufficient, and
2. if T(X) is sufficient, then there exists a function f such that S(X) = f(T(X)).

Intuitively, a minimal sufficient statistic most efficiently captures all possible information about the parameter θ.

A useful characterization of minimal sufficiency is that when the density f_θ exists, S(X) is minimal sufficient if and only if

$\frac{f_{\theta }(x)}{f_{\theta }(y)}$ is independent of θ :$⟺$ S(x) = S(y)

This follows as a direct consequence from Fisher's factorization theorem stated above.

A case in which there is no minimal sufficient statistic was shown by Bahadur, 1954. However, under mild conditions, a minimal sufficient statistic does always exist. In particular, in Euclidean space, these conditions always hold if the random variables (associated with $P_{\theta }$ ) are all discrete or are all continuous.

If there exists a minimal sufficient statistic, and this is usually the case, then every complete sufficient statistic is necessarily minimal sufficient(note that this statement does not exclude the option of a pathological case in which a complete sufficient exists while there is no minimal sufficient statistic). While it is hard to find cases in which a minimal sufficient statistic does not exist, it is not so hard to find cases in which there is no complete statistic.

The collection of likelihood ratios $\left\{\frac{L({\theta }_1|X)}{L({\theta }_2|X)}\right\}$ is a minimal sufficient statistic if $P(X|\theta )$ is discrete or has a density function.

Examples

Bernoulli distribution

If X₁, ...., X_n are independent Bernoulli-distributed random variables with expected value p, then the sum T(X) = X₁ + ... + X_n is a sufficient statistic for p (here 'success' corresponds to X_i = 1 and 'failure' to X_i = 0; so T is the total number of successes)

This is seen by considering the joint probability distribution:

$\mathrm{Pr}\{X=x\}=\mathrm{Pr}\{X_1=x_1,X_2=x_2,\dots ,X_n=x_n\}.$

Because the observations are independent, this can be written as

$p^{x_1}(1-p{)}^{1-x_1}{p}^{x_2}(1-p{)}^{1-x_2}\cdots p^{x_n}(1-p{)}^{1-x_n}$

and, collecting powers of p and 1 − p, gives

$p^{\sum x_i}(1-p{)}^{n-\sum x_i}=p^{T(x)}(1-p{)}^{n-T(x)}$

which satisfies the factorization criterion, with h(x) = 1 being just a constant.

Note the crucial feature: the unknown parameter p interacts with the data x only via the statistic T(x) = Σ x_i.

Uniform distribution

DTZ's public sale group in Singapore auctions all forms of residential, workplace and retail properties, outlets, homes, lodges, boarding homes, industrial buildings and development websites. Auctions are at present held as soon as a month.

We will not only get you a property at a rock-backside price but also in an space that you've got longed for. You simply must chill out back after giving us the accountability. We will assure you 100% satisfaction. Since we now have been working in the Singapore actual property market for a very long time, we know the place you may get the best property at the right price. You will also be extremely benefited by choosing us, as we may even let you know about the precise time to invest in the Singapore actual property market.

The Hexacube is offering new ec launch singapore business property for sale Singapore investors want to contemplate. Residents of the realm will likely appreciate that they'll customize the business area that they wish to purchase as properly. This venture represents one of the crucial expansive buildings offered in Singapore up to now. Many investors will possible want to try how they will customise the property that they do determine to buy by means of here. This location has offered folks the prospect that they should understand extra about how this course of can work as well.

Singapore has been beckoning to traders ever since the value of properties in Singapore started sky rocketing just a few years again. Many businesses have their places of work in Singapore and prefer to own their own workplace area within the country once they decide to have a everlasting office. Rentals in Singapore in the corporate sector can make sense for some time until a business has discovered a agency footing. Finding Commercial Property Singapore takes a variety of time and effort but might be very rewarding in the long term.

is changing into a rising pattern among Singaporeans as the standard of living is increasing over time and more Singaporeans have abundance of capital to invest on properties. Investing in the personal properties in Singapore I would like to applaud you for arising with such a book which covers the secrets and techniques and tips of among the profitable Singapore property buyers. I believe many novice investors will profit quite a bit from studying and making use of some of the tips shared by the gurus." – Woo Chee Hoe Special bonus for consumers of Secrets of Singapore Property Gurus Actually, I can't consider one other resource on the market that teaches you all the points above about Singapore property at such a low value. Can you? Condominium For Sale (D09) – Yong An Park For Lease

In 12 months 2013, c ommercial retails, shoebox residences and mass market properties continued to be the celebrities of the property market. Models are snapped up in report time and at document breaking prices. Builders are having fun with overwhelming demand and patrons need more. We feel that these segments of the property market are booming is a repercussion of the property cooling measures no.6 and no. 7. With additional buyer's stamp responsibility imposed on residential properties, buyers change their focus to commercial and industrial properties. I imagine every property purchasers need their property funding to understand in value. If X₁, ...., X_n are independent and uniformly distributed on the interval [0,θ], then T(X) = max(X₁, ..., X_n) is sufficient for θ — the sample maximum is a sufficient statistic for the population maximum.

To see this, consider the joint probability density function of X=(X₁,...,X_n). Because the observations are independent, the pdf can be written as a product of individual densities

$\begin{array}{rl}{f}_X(x_1,\dots ,x_n)& =\frac{1}{\theta }{\mathbf{1}}_{\{0\le x_1\le \theta \}}\cdots \frac{1}{\theta }{\mathbf{1}}_{\{0\le x_n\le \theta \}}\\ & =\frac{1}{{\theta }^n}{\mathbf{1}}_{\{0\le \min \{x_i\}\}}{\mathbf{1}}_{\{\max \{x_i\}\le \theta \}}\end{array}$

where 1_{...} is the indicator function. Thus the density takes form required by the Fisher–Neyman factorization theorem, where h(x) = 1_{{min{xi}≥0}}, and the rest of the expression is a function of only θ and T(x) = max{x_i}.

In fact, the minimum-variance unbiased estimator (MVUE) for θ is

$\frac{n+1}{n}T(X).$

This is the sample maximum, scaled to correct for the bias, and is MVUE by the Lehmann–Scheffé theorem. Unscaled sample maximum T(X) is the maximum likelihood estimator for θ.

Uniform distribution (with two parameters)

If $X_1,...,X_n$ are independent and uniformly distributed on the interval $[\alpha ,\beta ]$ (where $\alpha$ and $\beta$ are unknown parameters), then $T(X_1^n)=({\min }_{1\le i\le n}{X}_i,{\max }_{1\le i\le n}{X}_i)$ is a two-dimensional sufficient statistic for $(\alpha ,\beta )$.

To see this, consider the joint probability density function of $X_1^n=(X_1,\dots ,X_n)$. Because the observations are independent, the pdf can be written as a product of individual densities, i.e.

$\begin{array}{rl}{f}_{X_1^n}(x_1^n)& =\prod _{i=1}^n\left(\frac{1}{\beta -\alpha }\right){\mathbf{1}}_{\{\alpha \le x_i\le \beta \}}={\left(\frac{1}{\beta -\alpha }\right)}^n{\mathbf{1}}_{\{\alpha \le x_i\le \beta ,\mathrm{\forall }i=1,\dots ,n\}}\\ & ={\left(\frac{1}{\beta -\alpha }\right)}^n{\mathbf{1}}_{\{\alpha \le {\min }_{1\le i\le n}{X}_i\}}{\mathbf{1}}_{\{{\max }_{1\le i\le n}{X}_i\le \beta \}}.\end{array}$

The joint density of the sample takes the form required by the Fisher–Neyman factorization theorem, by letting

$\begin{array}{r}h(x_1^n)=1,g_{(\alpha ,\beta )}(x_1^n)={\left(\frac{1}{\beta -\alpha }\right)}^n{\mathbf{1}}_{\{\alpha \le {\min }_{1\le i\le n}{X}_i\}}{\mathbf{1}}_{\{{\max }_{1\le i\le n}{X}_i\le \beta \}}.\end{array}$

Since $h(x_1^n)$ does not depend on the parameter $(\alpha ,\beta )$ and $g_{(\alpha ,\beta )}(x_1^n)$ depends only on $x_1^n$ through the function $T(X_1^n)=({\min }_{1\le i\le n}{X}_i,{\max }_{1\le i\le n}{X}_i),$

the Fisher–Neyman factorization theorem implies $T(X_1^n)=({\min }_{1\le i\le n}{X}_i,{\max }_{1\le i\le n}{X}_i)$ is a sufficient statistic for $(\alpha ,\beta )$.

Poisson distribution

If X₁, ...., X_n are independent and have a Poisson distribution with parameter λ, then the sum T(X) = X₁ + ... + X_n is a sufficient statistic for λ.

To see this, consider the joint probability distribution:

$\mathrm{Pr}(X=x)=P(X_1=x_1,X_2=x_2,\dots ,X_n=x_n).$

Because the observations are independent, this can be written as

$\frac{e^{-\lambda }{\lambda }^{x_1}}{x_1!}\cdot \frac{e^{-\lambda }{\lambda }^{x_2}}{x_2!}\cdots \frac{e^{-\lambda }{\lambda }^{x_n}}{x_n!}$

which may be written as

$e^{-n\lambda }{\lambda }^{(x_1+x_2+\cdots +x_n)}\cdot \frac{1}{x_1!x_2!\cdots x_n!}$

which shows that the factorization criterion is satisfied, where h(x) is the reciprocal of the product of the factorials. Note the parameter λ interacts with the data only through its sum T(X).

Normal distribution

If $X_1,\dots ,X_n$ are independent and normally distributed with expected value θ (a parameter) and known finite variance ${\sigma }^2$, then $T(X_1^n)=\bar{X}=\frac{1}{n}\sum _{i=1}^n{X}_i$ is a sufficient statistic for θ.

To see this, consider the joint probability density function of $X_1^n=(X_1,\dots ,X_n)$. Because the observations are independent, the pdf can be written as a product of individual densities, i.e. -

$\begin{array}{rl}{f}_{X_1^n}(x_1^n)& =\prod _{i=1}^n\frac{1}{\sqrt{2\pi {\sigma }^2}}{e}^{-(x_i-\theta {)}^2/(2{\sigma }^2)}=(2\pi {\sigma }^2{)}^{-n/2}{e}^{-\sum _{i=1}^n(x_i-\theta {)}^2/(2{\sigma }^2)}\\ & =(2\pi {\sigma }^2{)}^{-n/2}{e}^{-\sum _{i=1}^n((x_i-\bar{x})-(\theta -\bar{x}){)}^2/(2{\sigma }^2)}\\ & =(2\pi {\sigma }^2{)}^{-n/2}\exp \left(\frac{-1}{2{\sigma }^2}(\sum _{i=1}^n(x_i-\bar{x}{)}^2+\sum _{i=1}^n(\theta -\bar{x}{)}^2-2\sum _{i=1}^n(x_i-\bar{x})(\theta -\bar{x}))\right).\end{array}$

Then, since $\sum _{i=1}^n(x_i-\bar{x})(\theta -\bar{x})=0$, which can be shown simply by expanding this term,

$\begin{array}{rlr}{f}_{X_1^n}(x_1^n)& =(2\pi {\sigma }^2{)}^{\frac{-n}{2}}{e}^{\frac{-1}{2{\sigma }^2}(\sum _{i=1}^n(x_i-\bar{x}{)}^2+n(\theta -\bar{x}{)}^2)}& =(2\pi {\sigma }^2{)}^{\frac{-n}{2}}{e}^{\frac{-1}{2{\sigma }^2}\sum _{i=1}^n(x_i-\bar{x}{)}^2}{e}^{\frac{-n}{2{\sigma }^2}(\theta -\bar{x}{)}^2}.\end{array}$

The joint density of the sample takes the form required by the Fisher–Neyman factorization theorem, by letting

$\begin{array}{r}h(x_1^n)=(2\pi {\sigma }^2{)}^{\frac{-n}{2}}{e}^{\frac{-1}{2{\sigma }^2}\sum _{i=1}^n(x_i-\bar{x}{)}^2},g_{\theta }(x_1^n)=e^{\frac{-n}{2{\sigma }^2}(\theta -\bar{x}{)}^2}.\end{array}$

Since $h(x_1^n)$ does not depend on the parameter $\theta$ and $g_{\theta }(x_1^n)$ depends only on $x_1^n$ through the function $T(X_1^n)=\bar{X}=\frac{1}{n}\sum _{i=1}^n{X}_i,$

the Fisher–Neyman factorization theorem implies $T(X_1^n)=\bar{X}=\frac{1}{n}\sum _{i=1}^n{X}_i$ is a sufficient statistic for $\theta$.

Exponential distribution

If $X_1,\dots ,X_n$ are independent and exponentially distributed with expected value θ (an unknown real-valued positive parameter), then $T(X_1^n)=\sum _{i=1}^n{X}_i$ is a sufficient statistic for θ.

To see this, consider the joint probability density function of $X_1^n=(X_1,\dots ,X_n)$. Because the observations are independent, the pdf can be written as a product of individual densities, i.e. -

$\begin{array}{rl}{f}_{X_1^n}(x_1^n)& =\prod _{i=1}^n\frac{1}{\theta }{e}^{\frac{-1}{\theta }{x}_i}=\frac{1}{{\theta }^n}{e}^{\frac{-1}{\theta }\sum _{i=1}^n{x}_i}.\end{array}$

The joint density of the sample takes the form required by the Fisher–Neyman factorization theorem, by letting

$\begin{array}{r}h(x_1^n)=1,g_{\theta }(x_1^n)=\frac{1}{{\theta }^n}{e}^{\frac{-1}{\theta }\sum _{i=1}^n{x}_i}.\end{array}$

Since $h(x_1^n)$ does not depend on the parameter $\theta$ and $g_{\theta }(x_1^n)$ depends only on $x_1^n$ through the function $T(X_1^n)=\sum _{i=1}^n{X}_i$

the Fisher–Neyman factorization theorem implies $T(X_1^n)=\sum _{i=1}^n{X}_i$ is a sufficient statistic for $\theta$.

Gamma distribution

If $X_1,\dots ,X_n$ are independent and distributed as a $\mathrm{\Gamma }(\alpha ,\beta )$, where $\alpha$ and $\beta$ are unknown parameters of a Gamma distribution, then $T(X_1^n)=(\prod _{i=1}^n{x}_i,\sum _{i=1}^n{x}_i)$ is a two-dimensional sufficient statistic for $(\alpha ,\beta )$.

To see this, consider the joint probability density function of $X_1^n=(X_1,\dots ,X_n)$. Because the observations are independent, the pdf can be written as a product of individual densities, i.e. -

$\begin{array}{rlr}{f}_{X_1^n}(x_1^n)& =\prod _{i=1}^n\left(\frac{1}{\mathrm{\Gamma }(\alpha ){\beta }^{\alpha }}\right)x_i^{\alpha -1}{e}^{\frac{-1}{\beta }{x}_i}& ={\left(\frac{1}{\mathrm{\Gamma }(\alpha ){\beta }^{\alpha }}\right)}^n{\left(\prod _{i=1}^n{x}_i\right)}^{\alpha -1}{e}^{\frac{-1}{\beta }\sum _{i=1}^n{x}_i}.\end{array}$

The joint density of the sample takes the form required by the Fisher–Neyman factorization theorem, by letting

$\begin{array}{r}h(x_1^n)=1,g_{(\alpha ,\beta )}(x_1^n)={\left(\frac{1}{\mathrm{\Gamma }(\alpha ){\beta }^{\alpha }}\right)}^n{\left(\prod _{i=1}^n{x}_i\right)}^{\alpha -1}{e}^{\frac{-1}{\beta }\sum _{i=1}^n{x}_i}.\end{array}$

Since $h(x_1^n)$ does not depend on the parameter $(\alpha ,\beta )$ and $g_{(\alpha ,\beta )}(x_1^n)$ depends only on $x_1^n$ through the function $T(X_1^n)=(\prod _{i=1}^n{x}_i,\sum _{i=1}^n{x}_i),$

the Fisher–Neyman factorization theorem implies $T(X_1^n)=(\prod _{i=1}^n{x}_i,\sum _{i=1}^n{x}_i)$ is a sufficient statistic for $(\alpha ,\beta ).$

Rao–Blackwell theorem

Sufficiency finds a useful application in the Rao–Blackwell theorem, which states that if g(X) is any kind of estimator of θ, then typically the conditional expectation of g(X) given sufficient statistic T(X) is a better estimator of θ, and is never worse. Sometimes one can very easily construct a very crude estimator g(X), and then evaluate that conditional expected value to get an estimator that is in various senses optimal.

Exponential family

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. According to the Pitman–Koopman–Darmois theorem, among families of probability distributions whose domain does not vary with the parameter being estimated, only in exponential families is there a sufficient statistic whose dimension remains bounded as sample size increases. Less tersely, suppose $X_n,n=1,2,3,\dots$ are independent identically distributed random variables whose distribution is known to be in some family of probability distributions. Only if that family is an exponential family is there a (possibly vector-valued) sufficient statistic $T(X_1,\dots ,X_n)$ whose number of scalar components does not increase as the sample size n increases.

This theorem shows that sufficiency (or rather, the existence of a scalar or vector-valued of bounded dimension sufficient statistic) sharply restricts the possible forms of the distribution.

Other types of sufficiency

Bayesian sufficiency

An alternative formulation of the condition that a statistic be sufficient, set in a Bayesian context, involves the posterior distributions obtained by using the full data-set and by using only a statistic. Thus the requirement is that, for almost every x,

$\mathrm{Pr}(\theta |X=x)=\mathrm{Pr}(\theta |T(X)=t(x)).$

It turns out that this "Bayesian sufficiency" is a consequence of the formulation above, however they are not directly equivalent in the infinite-dimensional case. A range of theoretical results for sufficiency in a Bayesian context is available.

Linear sufficiency

A concept called "linear sufficiency" can be formulated in a Bayesian context, and more generally. First define the best linear predictor of a vector Y based on X as $\hat{E}[Y|X]$. Then a linear statistic T(x) is linear sufficient if

$\hat{E}[\theta |X]=\hat{E}[\theta |T(X)].$

See also

• Completeness of a statistic
• Basu's theorem on independence of complete sufficient and ancillary statistics
• Lehmann–Scheffé theorem: a complete sufficient estimator is the best estimator of its expectation
• Rao–Blackwell theorem
• Sufficient dimension reduction
• Ancillary statistic

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

• Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.
  
  my web-site http://himerka.com/
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• Dodge, Y. (2003) The Oxford Dictionary of Statistical Terms, OUP. ISBN 0-19-920613-9