Rao–Blackwell theorem

Rao–Blackwell theorem This article needs additional citations for verification. Ajude a melhorar este artigo adicionando citações a fontes confiáveis. O material sem fonte pode ser contestado e removido. Encontrar fontes: "Rao–Blackwell theorem" – notícias · jornais · livros · acadêmico · JSTOR (Poderia 2014) (Saiba como e quando remover esta mensagem de modelo) In statistics, the Rao–Blackwell theorem, sometimes referred to as the Rao–Blackwell–Kolmogorov theorem, is a result which characterizes the transformation of an arbitrarily crude estimator into an estimator that is optimal by the mean-squared-error criterion or any of a variety of similar criteria.

The Rao–Blackwell theorem states that if g(X) is any kind of estimator of a parameter θ, then the conditional expectation of g(X) given T(X), where T is a sufficient statistic, is typically 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.

The theorem is named after Calyampudi Radhakrishna Rao and David Blackwell. The process of transforming an estimator using the Rao–Blackwell theorem is sometimes called Rao–Blackwellization. The transformed estimator is called the Rao–Blackwell estimator.[1][2][3] Conteúdo 1 Definições 2 O teorema 2.1 Mean-squared-error version 2.2 Convex loss generalization 3 Propriedades 4 Exemplo 5 Idempotence 6 Completeness and Lehmann–Scheffé minimum variance 7 Veja também 8 Referências 9 External links Definitions An estimator δ(X) is an observable random variable (ou seja. a statistic) used for estimating some unobservable quantity. Por exemplo, one may be unable to observe the average height of all male students at the University of X, but one may observe the heights of a random sample of 40 of them. The average height of those 40—the "sample average"—may be used as an estimator of the unobservable "population average". A sufficient statistic T(X) is a statistic calculated from data X to estimate some parameter θ for which no other statistic which can be calculated from data X provides any additional information about θ. It is defined as an observable random variable such that the conditional probability distribution of all observable data X given T(X) does not depend on the unobservable parameter θ, such as the mean or standard deviation of the whole population from which the data X was taken. In the most frequently cited examples, a "unobservable" quantities are parameters that parametrize a known family of probability distributions according to which the data are distributed. Em outras palavras, a sufficient statistic T(X) for a parameter θ is a statistic such that the conditional distribution of the data X, given T(X), does not depend on the parameter θ. A Rao–Blackwell estimator δ1(X) of an unobservable quantity θ is the conditional expected value E(δ(X) | T(X)) of some estimator δ(X) given a sufficient statistic T(X). Call δ(X) a "original estimator" and δ1(X) a "improved estimator". It is important that the improved estimator be observable, ou seja. that it does not depend on θ. Geralmente, the conditional expected value of one function of these data given another function of these data does depend on θ, but the very definition of sufficiency given above entails that this one does not. The mean squared error of an estimator is the expected value of the square of its deviation from the unobservable quantity being estimated of θ. The theorem Mean-squared-error version One case of Rao–Blackwell theorem states: The mean squared error of the Rao–Blackwell estimator does not exceed that of the original estimator.

Em outras palavras, {nome do operador de estilo de exibição {E} ((delta _{1}(X)-teta )^{2})leq operatorname {E} ((delta (X)-teta )^{2}).} The essential tools of the proof besides the definition above are the law of total expectation and the fact that for any random variable Y, E(Y2) cannot be less than [E(S)]2. That inequality is a case of Jensen's inequality, although it may also be shown to follow instantly from the frequently mentioned fact that {displaystyle 0leq operatorname {Era} (S)=nome do operador {E} ((Y-operatorname {E} (S))^{2})=nome do operador {E} (S^{2})-(nome do operador {E} (S))^{2}.} Mais precisamente, the mean square error of the Rao-Blackwell estimator has the following decomposition[4] {nome do operador de estilo de exibição {E} [(delta _{1}(X)-teta )^{2}]=nome do operador {E} [(delta (X)-teta )^{2}]-nome do operador {E} [nome do operador {Era} (delta (X)mid T(X))]} Desde {nome do operador de estilo de exibição {E} [nome do operador {Era} (delta (X)mid T(X))]geq 0} , the Rao-Blackwell theorem immediately follows.

Convex loss generalization The more general version of the Rao–Blackwell theorem speaks of the "expected loss" or risk function: {nome do operador de estilo de exibição {E} (eu(delta _{1}(X)))leq operatorname {E} (eu(delta (X)))} onde o "loss function" L may be any convex function. If the loss function is twice-differentiable, as in the case for mean-squared-error, then we have the sharper inequality[4] {nome do operador de estilo de exibição {E} (eu(delta (X)))-nome do operador {E} (eu(delta _{1}(X)))geq {fratura {1}{2}}nome do operador {E} _{T}deixei[inf _{x}L''(x)nome do operador {Era} (delta (X)mid T)certo].} Properties The improved estimator is unbiased if and only if the original estimator is unbiased, as may be seen at once by using the law of total expectation. The theorem holds regardless of whether biased or unbiased estimators are used.

The theorem seems very weak: it says only that the Rao–Blackwell estimator is no worse than the original estimator. In practice, Contudo, the improvement is often enormous.[5] Example Phone calls arrive at a switchboard according to a Poisson process at an average rate of λ per minute. This rate is not observable, but the numbers X1, ..., Xn of phone calls that arrived during n successive one-minute periods are observed. It is desired to estimate the probability e−λ that the next one-minute period passes with no phone calls.

An extremely crude estimator of the desired probability is {displaystyle delta _{0}= esquerda{{começar{matriz}1&{texto{E se}} X_{1}=0,\0&{texto{por outro lado,}}fim{matriz}}right.} ou seja, it estimates this probability to be 1 if no phone calls arrived in the first minute and zero otherwise. Despite the apparent limitations of this estimator, the result given by its Rao–Blackwellization is a very good estimator.

The sum {estilo de exibição S_{n}=soma _{i=1}^{n}X_{eu}=X_{1}+cdots +X_{n}} can be readily shown to be a sufficient statistic for λ, ou seja, the conditional distribution of the data X1, ..., Xn, depends on λ only through this sum. Portanto, we find the Rao–Blackwell estimator {displaystyle delta _{1}=nome do operador {E} (delta _{0}mid S_{n}=s_{n}).} After doing some algebra we have {estilo de exibição {começar{alinhado}delta _{1}&=operatorname {E} deixei(mathbf {1} _{{X_{1}=0}}{Bigg |}soma _{i=1}^{n}X_{eu}=s_{n}certo)\&=Pleft(X_{1}=0{Bigg |}soma _{i=1}^{n}X_{eu}=s_{n}certo)\&=Pleft(X_{1}=0,sum _{i=2}^{n}X_{eu}=s_{n}certo)times Pleft(soma _{i=1}^{n}X_{eu}=s_{n}certo)^{-1}\&=e^{-lambda }{fratura {deixei((n-1)lambda certo)^{s_{n}}e^{-(n-1)lambda }}{s_{n}!}}times left({fratura {(nlambda )^{s_{n}}e^{-nlambda }}{s_{n}!}}certo)^{-1}\&={fratura {deixei((n-1)lambda certo)^{s_{n}}e^{-nlambda }}{s_{n}!}}vezes {fratura {s_{n}!}{(nlambda )^{s_{n}}e^{-nlambda }}}\&=left(1-{fratura {1}{n}}certo)^{s_{n}}fim{alinhado}}} Since the average number of calls arriving during the first n minutes is nλ, one might not be surprised if this estimator has a fairly high probability (if n is big) of being close to {estilo de exibição à esquerda(1-{1 over n}certo)^{nlambda }approx e^{-lambda }.} So δ1 is clearly a very much improved estimator of that last quantity. Na verdade, since Sn is complete and δ0 is unbiased, δ1 is the unique minimum variance unbiased estimator by the Lehmann–Scheffé theorem.

Idempotence Rao–Blackwellization is an idempotent operation. Using it to improve the already improved estimator does not obtain a further improvement, but merely returns as its output the same improved estimator.

Completeness and Lehmann–Scheffé minimum variance If the conditioning statistic is both complete and sufficient, and the starting estimator is unbiased, then the Rao–Blackwell estimator is the unique "best unbiased estimator": see Lehmann–Scheffé theorem.

An example of an improvable Rao–Blackwell improvement, when using a minimal sufficient statistic that is not complete, was provided by Galili and Meilijson in 2016.[6] Deixar {estilo de exibição X_{1},ldots ,X_{n}} be a random sample from a scale-uniform distribution {displaystyle Xsim Uleft((1-k)teta ,(1+k)theta right),} with unknown mean {estilo de exibição E[X]=theta } and known design parameter {parentes de estilo de exibição (0,1)} . In the search for "best" possible unbiased estimators for {estilo de exibição teta ,} it is natural to consider {estilo de exibição X_{1}} as an initial (crude) unbiased estimator for {estilo de exibição teta } and then try to improve it. Desde {estilo de exibição X_{1}} is not a function of {displaystyle T=left(X_{(1)},X_{(n)}certo)} , the minimal sufficient statistic for {estilo de exibição teta } (Onde {estilo de exibição X_{(1)}=min(X_{eu})} e {estilo de exibição X_{(n)}=max(X_{eu})} ), it may be improved using the Rao–Blackwell theorem as follows: {estilo de exibição {chapéu {teta }}_{RB}=E_{teta }deixei[X_{1}|X_{(1)},X_{(n)}certo]={fratura {X_{(1)}+X_{(n)}}{2}}.} No entanto, the following unbiased estimator can be shown to have lower variance: {estilo de exibição {chapéu {teta }}_{LV}={fratura {1}{2deixei(k^{2}{fratura {n-1}{n+1}}+1certo)}}deixei[(1-k){{X}_{(1)}}+(1+k){{X}_{(n)}}certo].} And in fact, it could be even further improved when using the following estimator: {estilo de exibição {chapéu {teta }}_{BAYES}={fratura {n+1}{n}}deixei[1-{fratura {{fratura {deixei({fratura {{X}_{(1)}}{1-k}}certo)}{deixei({fratura {{X}_{(n)}}{1+k}}certo)}}-1}{{{deixei[{fratura {deixei({fratura {{X}_{(1)}}{1-k}}certo)}{deixei({fratura {{X}_{(n)}}{1+k}}certo)}}certo]}^{n+1}}-1}}certo]{fratura {X_{(n)}}{1+k}}} The model is a scale model. Optimal equivariant estimators can then be derived for loss functions that are invariant.[7] See also Basu's theorem — Another result on complete sufficient and ancillary statistics References ^ Blackwell, D. (1947). "Conditional expectation and unbiased sequential estimation". Annals of Mathematical Statistics. 18 (1): 105-110. doi:10.1214/aoms/1177730497. SENHOR 0019903. Zbl 0033.07603. ^ Kolmogorov, UMA. N. (1950). "Unbiased estimates". Izvestiya Akad. Nauk SSSR. Ser. Esteira. 14: 303-326. SENHOR 0036479. ^ Rao, C. Radhakrishna (1945). "Information and accuracy attainable in the estimation of statistical parameters". Bulletin of the Calcutta Mathematical Society. 37 (3): 81–91. ^ Saltar para: a b J. G. Liao & A. Berg (22 Junho 2018). "Sharpening Jensen's Inequality". The American Statistician: 1-4. arXiv:1707.08644. doi:10.1080/00031305.2017.1419145. ^ Carpenter, Prumo (Janeiro 20, 2020). "Rao-Blackwellization and discrete parameters in Stan". Statistical Modeling, Causal Inference, and Social Science. Retrieved September 13, 2021. The Rao-Blackwell theorem states that the marginalization approach has variance less than or equal to the direct approach. In practice, this difference can be enormous. ^ Tal Galili & Isaac Meilijson (31 Mar 2016). "An Example of an Improvable Rao–Blackwell Improvement, Inefficient Maximum Likelihood Estimator, and Unbiased Generalized Bayes Estimator". The American Statistician. 70 (1): 108-113. doi:10.1080/00031305.2015.1100683. PMC 4960505. PMID 27499547. ^ Taraldsen, Gunnar (2020). "Micha Mandel (2020), "The Scaled Uniform Model Revisited," The American Statistician, 74:1, 98–100: Comente". The American Statistician. 74 (3): 315–315. doi:10.1080/00031305.2020.1769727. ISSN 0003-1305. External links Nikulin, M.S. (2001) [1994], "Rao–Blackwell–Kolmogorov theorem", Enciclopédia de Matemática, EMS Press hide vte Statistics OutlineIndex show Descriptive statistics show Data collection hide Statistical inference Statistical theory PopulationStatisticProbability distributionSampling distribution Order statisticEmpirical distribution Density estimationStatistical model Model specificationLp spaceParameter locationscaleshapeParametric family Likelihood (monotone)Location–scale familyExponential familyCompletenessSufficiencyStatistical functional BootstrapUVOptimal decision loss functionEfficiencyStatistical distance divergenceAsymptoticsRobustness Frequentist inference Point estimation Estimating equations Maximum likelihoodMethod of momentsM-estimatorMinimum distanceUnbiased estimators Mean-unbiased minimum-variance Rao–BlackwellizationLehmann–Scheffé theoremMedian unbiasedPlug-in Interval estimation Confidence intervalPivotLikelihood intervalPrediction intervalTolerance intervalResampling BootstrapJackknife Testing hypotheses 1- & 2-tailsPower Uniformly most powerful testPermutation test Randomization testMultiple comparisons Parametric tests Likelihood-ratioScore/Lagrange multiplierWald Specific tests Z-test (normal)Student's t-testF-test Goodness of fit Chi-squaredG-testKolmogorov–SmirnovAnderson–DarlingLillieforsJarque–BeraNormality (Shapiro–Wilk)Likelihood-ratio testModel selection Cross validationAICBIC Rank statistics Sign Sample medianSigned rank (Wilcoxon) Hodges–Lehmann estimatorRank sum (Mann–Whitney)Nonparametric anova 1-way (Kruskal–Wallis)2-caminho (Friedman)Ordered alternative (Jonckheere–Terpstra)Van der Waerden test Bayesian inference Bayesian probability priorposteriorCredible intervalBayes factorBayesian estimator Maximum posterior estimator show CorrelationRegression analysis show Categorical / Multivariate / Time-series / Survival analysis show Applications Category Mathematics portalCommons WikiProject Categories: Theorems in statisticsEstimation theory