Valor esperado da mediana da amostra, dada a média da amostra


16

Seja denotado a mediana e denotado a média, de uma amostra aleatória de tamanho de uma distribuição que é . Como posso calcular ?Y Yˉ XX¯ n = 2 k + 1 n=2k+1N ( μ , σ 2 ) N(μ,σ2)E ( Y | ˉ X = ˉ x )E(Y|X¯=x¯)

Intuitivamente, devido à suposição de normalidade, faz sentido afirmar que e, de fato, essa é a resposta correta. Isso pode ser mostrado rigorosamente?E ( Y | ˉ X = ˉ x ) = ˉ xE(Y|X¯=x¯)=x¯

Meu pensamento inicial foi abordar esse problema usando a distribuição normal condicional, que geralmente é um resultado conhecido. O problema é que, como eu não conheço o valor esperado e, consequentemente, a variação da mediana, precisaria calcular aqueles que usam a estatística ordem. Mas isso é muito complicado e eu prefiro não ir a menos que seja absolutamente necessário. k + 1k+1


2
Acredito que isso seja uma consequência imediata da generalização que acabei de publicar em stats.stackexchange.com/a/83887 . A distribuição dos resíduos é claramente simétrica em torno de , onde sua mediana tem uma distribuição simétrica, portanto sua média é zero. Portanto, a expectativa da mediana em si (não apenas dos resíduos) é igual a , QED. x i - ˉ xxi−x¯ 0 00 + E ( ˉ X | ˉ X = ˉ x ) = ˉ x  0+E(X¯ | X¯=x¯)=x¯
— whuber

@whuber Desculpe, resíduos?
— JohnK

Eu os defini no meu comentário: são as diferenças entre cada x ixi e sua média.
— whuber

@whuber Não, eu entendo, mas ainda estou trabalhando para entender como sua outra resposta está relacionada à minha pergunta e como exatamente a expectativa que você usou funciona.
— JohnK

2
@whuber Ok, então por favor me corrija Se eu estiver errado, E agora o segundo termo é zero porque a mediana é simétrica em torno de . Portanto, a expectativa reduz aE ( Y | ˉ X ) = E ( ˉ X | ˉ X ) + E ( Y - ˉ X | ˉ X ) E(Y|X¯)=E(X¯|X¯)+E(Y−X¯|X¯)ˉ x x¯ˉ xx¯
— JohnK

Respostas:


7

Deixe denotam a amostra original e o vector aleatório com entradas . Então é centralizado normalmente (mas suas entradas não são independentes, como pode ser visto pelo fato de que sua soma é zero com probabilidade total). Como funcional linear de , o vector de é normal, portanto, o cálculo das suas sufixos matriz covariância para mostrar que é independente de .XXZZZk=Xk−ˉXZk=Xk−X¯ZZXX(Z,ˉX)(Z,X¯)ZZˉXX¯

Passando para , vê-se que , onde é a mediana de . Em particular, depende de somente, portanto, é independente de , e a distribuição de é simétrica, portanto, é centralizada.YYY=ˉX+TY=X¯+TTTZZTTZZTTˉXX¯ZZTT

Finalmente,E(Y∣ˉX)=ˉX+E(T∣ˉX)=ˉX+E(T)=ˉX.

E(Y∣X¯)=X¯+E(T∣X¯)=X¯+E(T)=X¯.

Obrigado, isso foi solicitado há quase um ano e estou muito feliz que alguém finalmente tenha esclarecido.
— JohnK

7

A mediana da amostra é uma estatística de ordem e tem uma distribuição não normal; portanto, a distribuição de amostra finita conjunta da mediana da amostra e da média da amostra (que tem uma distribuição normal) não seria normal bivariada. Recorrendo a aproximações, assintoticamente o seguinte vale (veja minha resposta aqui ):

√n[(ˉXnYn)−(μv)]→LN[(00),Σ]

n−−√[(X¯nYn)−(μv)]→LN[(00),Σ]

com

Σ=(σ2E(|X−v|)[2f(v)]−1E(|X−v|)[2f(v)]−1[2f(v)]−2)

Σ=(σ2E(|X−v|)[2f(v)]−1E(|X−v|)[2f(v)]−1[2f(v)]−2)

onde é a média da amostra e a média da população, é a mediana da amostra e a mediana da população, é a densidade de probabilidade das variáveis ​​aleatórias envolvidas e é a variância. ˉXnX¯nμμYnYnvvf()f()σ2σ2

Então, aproximadamente, para amostras grandes, sua distribuição conjunta é normal bivariada, então temos que

E(Yn∣ˉXn=ˉx)=v+ρσvσˉX(ˉx−μ)

E(Yn∣X¯n=x¯)=v+ρσvσX¯(x¯−μ)

onde é o coeficiente de correlação.ρρ

Manipulando a distribuição assintótica para se tornar a distribuição conjunta de amostra grande aproximada da média e mediana da amostra (e não das quantidades padronizadas), temos ρ=1nE(|X−v|)[2f(v)]−11nσ[2f(v)]−1=E(|X−v|)σ

ρ=1nE(|X−v|)[2f(v)]−11nσ[2f(v)]−1=E(|X−v|)σ

Então, E(Yn∣ˉXn=ˉx)=v+E(|X−v|)σ[2f(v)]−1σ(ˉx−μ)

E(Yn∣X¯n=x¯)=v+E(|X−v|)σ[2f(v)]−1σ(x¯−μ)

Temos que devido à simetria da densidade normal, então chegamos a2f(v)=2/σ√2π2f(v)=2/σ2π−−√

E(Yn∣ˉXn=ˉx)=v+√π2E(|X−μσ|)(ˉx−μ)

E(Yn∣X¯n=x¯)=v+π2−−√E(∣∣∣X−μσ∣∣∣)(x¯−μ)

onde usamos . Agora, a variável padronizada é um normal padrão, portanto, seu valor absoluto é uma distribuição semi-normal com valor esperado igual a (uma vez que a variação subjacente é unidade). entãov=μv=μ√2/π2/π−−−√

E(Yn∣ˉXn=ˉx)=v+√π2√2π(ˉx−μ)=v+ˉx−μ=ˉx

E(Yn∣X¯n=x¯)=v+π2−−√2π−−√(x¯−μ)=v+x¯−μ=x¯

2
Como sempre, boa resposta +1. No entanto, como não temos informações sobre o tamanho da amostra, a distribuição assintótica pode não ser válida. Se não há como obter a distribuição exata, suponho que terei que me contentar. Muito obrigado.
— JohnK

6

A resposta é .ˉxx¯

Deixe ter uma distribuição multivariada para a qual todos os marginais são simétricos em relação a um valor comum . (Não importa se são independentes ou mesmo se são distribuídos de forma idêntica.) Defina como a média aritmética de escreva para o vetor de resíduos. A suposição de simetria em implica que a distribuição de é simétrica em torno de ; isto é, quando for qualquer evento,x=(x1,x2,…,xn)x=(x1,x2,…,xn)FFμμˉxx¯xi,xi, ˉx=(x1+x2+⋯+xn)/nx¯=(x1+x2+⋯+xn)/nx−ˉx=(x1−ˉx,x2−ˉx,…,xn−ˉx)x−x¯=(x1−x¯,x2−x¯,…,xn−x¯)FFx−ˉxx−x¯00E⊂RnE⊂Rn

PrF(x−ˉx∈E)=PrF(x−ˉx∈−E).

PrF(x−x¯∈E)=PrF(x−x¯∈−E).

A aplicação do resultado generalizado em /stats//a/83887 mostra que a mediana de tem uma distribuição simétrica em torno de . Supondo que sua expectativa exista (o que certamente ocorre quando as distribuições marginais de são normais), essa expectativa deve ser (porque a simetria implica que ela é igual a seu próprio negativo).x−ˉxx−x¯00xixi00

Agora, como subtrair o mesmo valor de cada conjunto de valores não muda sua ordem, (a mediana do ) é igual a mais a mediana de . Consequentemente, sua expectativa condicional em é igual à expectativa de condicional em , mais . O último obviamente é enquanto o primeiro é porque a expectativa incondicional é . A soma deles é QED.ˉxx¯YYxiˉxx−ˉxˉxx−ˉxˉxE(ˉx | ˉx)ˉx00ˉx,


Obrigado por publicá-lo como resposta completa. Agora eu entendo a essência do seu argumento, mas posso fazer o ping se algo ainda não estiver claro.
— JohnK

5
JohnK, preciso alertá-lo para ser cauteloso. Um contra-exemplo a esse argumento foi trazido à minha atenção. Incentivei seu autor a publicá-lo aqui para uma discussão mais aprofundada, mas, brevemente, diz respeito a uma distribuição bivariada discreta com marginais simétricos, mas marginais condicionais assimétricos. Sua existência aponta para uma dedução defeituosa no início do meu argumento. Atualmente, espero que o argumento seja resgatado impondo condições mais fortes ao , mas minha atenção está atualmente focada em outro lugar e talvez eu não consiga pensar nisso por um tempo. xi
— whuber

4
Enquanto isso, gostaria de encorajá-lo a aceitar esta resposta. Normalmente, eu excluí qualquer resposta minha que esteja incorreta, mas (como você pode saber) eu gosto de soluções baseadas em princípios básicos e não em cálculos detalhados, por isso espero que esse argumento possa ser resgatado. Portanto, pretendo deixá-lo aberto a críticas e melhorias (e, portanto, tornei-o CW); deixe os votos caírem como puderem.
— whuber

Claro, obrigado por me informar. Discutiremos mais quando tiver tempo. Enquanto isso, vou me contentar com o argumento assintótico proposto por @Alecos Papadopoulos.
— JohnK

6

Isso é mais simples do que as respostas acima. A média da amostra é uma estatística completa e suficiente (quando a variação é conhecida, mas nossos resultados não dependem da variação, portanto, também será válido na situação em que a variação for desconhecida). Então o Rao-Blackwell, juntamente com os teoremas de Lehmann-Scheffe (ver wikipedia ...), implicará que a expectativa condicional da mediana, dada a média aritmética, é o estimador imparcial da variação mínima única da expectativa . Mas sabemos que essa é a média aritmética, daí o resultado segue. μ

Também usamos que a mediana é um estimador imparcial, que segue da simetria.


1
Por simetria, , de fato. Então, a partir desses dois teoremas, sabemos que é o estimador imparcial de variância mínima exclusiva para que já sabemos ser igual a . Esta é uma resposta brilhante, muito obrigado. Eu o teria marcado como o correto, se ainda não tivesse feito isso por outra resposta. E[Y]=μE[Y|ˉX]μˉX
— JohnK
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.