Além da família exponencial, de onde mais podem vir os conjugados anteriores?

8

Não todos os priores conjugadas tem que vir da família exponencial? Caso contrário, que outras famílias são conhecidas por possuírem / produzirem conjugados anteriores?

Josh
fonte

Respostas:

9

Como explicado, por exemplo, na Seção 3.3.3 do livro "A escolha bayesiana" de Christian Robert, existe de fato uma conexão estreita entre famílias exponenciais e anteriores conjugados, mas existem anteriores conjugados disponíveis para certas famílias não exponenciais. Ele chama isso de "quase exponencial", no entanto, porque são famílias para as quais existem estatísticas suficientes de dimensão finita que não aumentam com o tamanho da amostra.

Aqui está um exemplo para a distribuição uniforme, cujo suporte depende do parâmetro da distribuição e, portanto, não pode ser uma família exponencial (como é bem conhecido):

Aqui, a distribuição de Pareto é um conjugado anterior ao parâmetro da distribuição uniforme em .[ 0 , b ]b[0,b]

A densidade da distribuição de Pareto com os parâmetros e é para e pessoa.α > 0 f ( x ) = α c α x - α - 1 x c f ( x ) = 0c>0α>0

f(x)=αcαxα1
xcf(x)=0

O anterior do parâmetro de uma distribuição uniforme em é uma distribuição de Pareto com e , A probabilidade dos dados , dados , é [ 0 , b ] c 0 α 0 π ( b )b[0,b]c0α0y1,,ynbf(y|b)={ n i = 1 1

π(b)={α0c0α0bα01if bc00else.{bα01if bc00else.
y1,,ynbπ ( b | y )
f(y|b)={i=1n1b=bnif 0yib for all i=1,,n0else.
O produto de probabilidade e anterior é o posterior não normalizado α1
π(b|y)π(b)f(y|b)={α0c0α0bα01bnif bc0 and 0yib for all i=1,,n0else.{bα0n1if bc0 and 0yib for all i=1,,n0else.{bα11if bc10else.
com
α1=α0+nc1=max(maxiyi,c0).
Portanto, o posterior é distribuído por Pareto.
Christoph Hanck
fonte
2
(+1) Então, se existe uma estatística suficiente de dimensão constante, existe um conjugado anterior?
Scortchi - Restabelece Monica
2
Pergunta muito interessante - eu não sei! Minha resposta fornece apenas um exemplo de que pertencer a uma família exponencial não é uma condição necessária para a existência de um conjugado anterior. Eu ficaria muito interessado na resposta, então faça isso como uma pergunta separada!
Christoph Hanck
1
Tenho a sensação de que deve ser assim para atualizar para o trabalho. Certamente farei uma pergunta se não encontrar uma resposta para o livro.
Scortchi - Restabelece Monica
1
@ Scortchi: sim, de fato, porque se existe uma estatística suficiente de dimensão fixa , estamos em uma família exponencial, conforme estabelecido pelo lema Pitman-Koopman-Darmois .
Xi'an
1
Isso não omite o qualificador: "entre todas as famílias cujo apoio não depende do parâmetro", veja também o exemplo acima?
Christoph Hanck 12/03