4.3

Байесовский подход с единственным априорным распределением

[12/0%]
Показать
LaTeX
Задача 4.3.1

Для ситуации Примера 3.1:

?
(a)

Проверьте, что байесовская оценка зависит от данных только через Y=max⁡iXiY=\max_{i} X_{i}.

(b)

Покажите, что E(Θ∣y,a,b)E(\Theta \mid y, a, b) можно выразить как

E(Θ∣y,a,b)=1b(n+a−1)P(χ2(n+a−1)2<2/by)P(χ2(n+a)2<2/by) E(\Theta \mid y, a, b)=\frac{1}{b(n+a-1)} \frac{P\left(\chi _{2(n+a-1)}^{2}<2 / b y\right)}{P\left(\chi _{2(n+a)}^{2}<2 / b y\right)}

где χv2\chi_{v}^{2} — случайная величина, имеющая распределение хи-квадрат с vv степенями свободы. (В таком виде оценку особенно легко вычислить, поскольку многие компьютерные пакеты имеют встроенное распределение хи-квадрат.)

Задача 4.3.2

Пусть X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые из Gamma⁡(a,b)\operatorname {Gamma}(a, b), где aa известно.

?
(a)

Проверьте, что сопряжённое априорное распределение для естественного параметра η=−1/b\eta =-1 / b эквивалентно обратному гамма-распределению для bb.

(b)

Используя априорное распределение из пункта (a), найдите байесовскую оценку при функциях потерь (i) L(b,δ)=(b−δ)2L(b, \delta )= (b-\delta )^{2} и (ii) L(b,δ)=(1−δ/b)2L(b, \delta )=(1-\delta / b)^{2}.

(c)

Выразите оценку из пункта (b)(i) в виде (3.3.9). Можно ли сделать то же самое для оценки из пункта (b)(ii)?

Задача 4.3.3

Следствие 3.3 утверждает: если X=(X1,…,Xp)X=(X_{1}, \ldots , X_{p}) имеет плотность pη(x)=e∑i=1pηixi−A(η)h(x)p_{\eta }(x)=e^{\sum_{i=1}^{p} \eta_{i} x_{i}-A(\eta )} h(x), а η\eta имеет априорную плотность π(η)\pi (\eta ), то байесовская оценка η\eta при функции потерь L(η,δ)=∑(ηi−δi)2L(\eta , \delta )=\sum (\eta_{i}-\delta_{i})^{2} задаётся формулой

E(ηi∣x)=∂∂xilog⁡m(x)−∂∂xilog⁡h(x). E(\eta _{i} \mid x)=\frac{\partial }{\partial x_{i}} \log m(x)-\frac{\partial }{\partial x_{i}} \log h(x).
?
(a)

Докажите Следствие 3.3.

(b)

Проверьте вычисление байесовской оценки в Примере 3.4.

Задача 4.3.4

Используя тождество Стейна (Лемма 1.5.15), покажите, что если Xi∼pηi(x)X_{i} \sim p_{\eta_{i}}(x) из (3.3.7), то

Eη(−∇log⁡h(X))=η,R(η,−∇log⁡h(X))=∑i=1pEη[−∂2∂Xi2log⁡h(X)]. \begin{align} E_{\eta }(-\nabla \log h(\mathbf{X})) & =\boldsymbol {\eta }, \\ R(\boldsymbol {\eta },-\nabla \log h(\mathbf{X})) & =\sum _{i=1}^{p} E_{\eta }\left[-\frac{\partial ^{2}}{\partial X_{i}^{2}} \log h(\mathbf{X})\right]. \end{align}
?
Задача 4.3.5
?
(a)

Если Xi∼Gamma⁡(a,b),i=1,…,pX_{i} \sim \operatorname {Gamma}(a, b), i=1, \ldots , p, независимы, с известным aa, вычислите −∇log⁡h(x)-\nabla \log h(\mathbf{x}) и его математическое ожидание.

(b)

Примените результаты пункта (a) к ситуации, когда Xi∼N(0,σi2),i=1,…,pX_{i} \sim N\left(0, \sigma_{i}^{2}\right), i=1, \ldots , p, независимы. Приводит ли это к несмещённой оценке σi2\sigma_{i}^{2}? [Замечание: Для пункта (b) квадратичная функция потерь для естественного параметра 1/σ21 / \sigma^{2} приводит к функции потерь L(σ2,δ)=(σ2δ−1)2/σ4L\left(\sigma^{2}, \delta \right)=\left(\sigma^{2} \delta -1\right)^{2} / \sigma^{4} для оценивания σ2\sigma^{2}.]

(c)

Если

Xi∼tan⁡(aiπ)πxai(1−x)−1,0<x<1,i=1,…,p, независимы,  X_{i} \sim \frac{\tan \left(a_{i} \pi \right)}{\pi } x^{a_{i}}(1-x)^{-1}, 0<x<1, \quad i=1, \ldots , p, \text{ независимы, }

вычислите −∇log⁡h(X)-\nabla \log h(\mathbf{X}) и покажите, что это несмещённая оценка a=(a1,…,ap)\mathbf{a}=\left(a_{1}, \ldots , a_{p}\right).

Задача 4.3.6

Для ситуации Примера 3.6:

?
(a)

Покажите, что если δ\delta — байесовская оценка θ\theta, то δ′=δ/σ2\delta^{\prime }=\delta / \sigma^{2} является байесовской оценкой η\eta, и, следовательно, R(θ,δ)=σ4R(η,δ′)R(\theta , \delta )=\sigma^{4} R\left(\eta , \delta^{\prime }\right).

(b)

Покажите, что риск байесовской оценки η\eta задаётся формулой

pτ4σ2(σ2+τ2)2+(σ2σ2+τ2)2∑ai2 \frac{p \tau ^{4}}{\sigma ^{2}\left(\sigma ^{2}+\tau ^{2}\right)^{2}}+\left(\frac{\sigma ^{2}}{\sigma ^{2}+\tau ^{2}}\right)^{2} \sum a_{i}^{2}

где ai=ηi−μ/σ2a_{i}=\eta_{i}-\mu / \sigma^{2}.

(c)

Если Σai2=k\Sigma a_{i}^{2}=k — фиксированная константа, то минимальный риск достигается при ηi=μ/σ2+k/p\eta_{i}=\mu / \sigma^{2}+\sqrt{k / p}.

Задача 4.3.7

Если X\mathbf{X} имеет распределение pθ(x)p_{\theta }(\mathbf{x}) из (1.5.1), покажите, что, аналогично Теореме 3.2, E(Tη(θ))=∇log⁡mπ(x)−∇log⁡h(x)E(\mathcal{T} \boldsymbol {\eta }(\theta ))= \nabla \log m_{\pi }(\mathbf{x})-\nabla \log h(\mathbf{x}).

?
Задача 4.3.8
?
(a)

Используя тождество Стейна (Лемма 1.5.15), покажите, что если Xi∼pηi(x)X_{i} \sim p_{\eta_{i}}(x) из (3.3.18), то

Eη(−∇log⁡h(X))=∑iηiEη∂∂XjTi(X). E_{\eta }(-\nabla \log h(\mathbf{X}))=\sum _{i} \eta _{i} E_{\eta } \frac{\partial }{\partial X_{j}} T_{i}(\mathbf{X}).
(b)

Если XiX_{i} — независимые одинаково распределённые из гамма-распределения Gamma⁡(a,b)\operatorname {Gamma}(a, b), где параметр формы aa известен, используя пункт (a), найдите несмещённую оценку 1/b1 / b.

(c)

Если XiX_{i} — независимые одинаково распределённые из бета-распределения (a,b)(a, b), можно ли использовать тождество из пункта (a) для получения несмещённой оценки aa, когда bb известно, или несмещённой оценки bb, когда aa известно?

Задача 4.3.9

Для естественного экспоненциального семейства pη(x)p_{\eta }(x) из (3.3.7) и сопряжённого априорного распределения π(η∣k,μ)\pi (\eta \mid k, \mu ) из (3.3.19) докажите, что:

?
(a)

E(X)=A′(η)E(X)=A^{\prime }(\eta ) и var X=A′′(η)X=A^{\prime \prime }(\eta ), где математическое ожидание берётся относительно выборочной плотности pη(x)p_{\eta }(x).

(b)

EA′(η)=μE A^{\prime }(\eta )=\mu и var⁡[A(η)]=(1/k)EA′′(η)\operatorname {var}[A(\eta )]=(1 / k) E A^{\prime \prime }(\eta ), где математическое ожидание берётся относительно априорного распределения.

[Результаты пункта (b) позволяют рассматривать μ\mu как априорное среднее, а kk — как объём априорной выборки.]

Задача 4.3.10

Для каждой из следующих ситуаций запишите плотность в виде (3.7) и укажите естественный параметр. Найдите байесовскую оценку A′(η)A^{\prime }(\eta ) при квадратичной функции потерь и сопряжённом априорном распределении. Выразите ответ через исходные параметры.

?
(a)

X∼X \sim биномиальное (p,n)(p, n),

(b)

X∼X \sim Пуассона(λ)(\lambda ), и

(c)

X∼Gamma⁡(a,b)X \sim \operatorname {Gamma}(a, b), aa известно.

Задача 4.3.11

Для ситуации задачи 3.9, если X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые как pη(x)p_{\eta }(x), а априорное распределение — сопряжённое π(η∣k,μ)\pi (\eta \mid k, \mu ), то апостериорное распределение равно π(η∣k+n,kμ+nxˉk+n)\pi \left(\eta \mid k+n, \frac{k \mu +n \bar{x}}{k+n}\right).

?
Задача 4.3.12

Если X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые из однопараметрического экспоненциального семейства, то байесовская оценка среднего при квадратичной функции потерь с использованием сопряжённого априорного распределения имеет вид aXˉ+ba \bar{X}+b для некоторых констант aa и bb.

?
(a)

Если EXi=μE X_{i}=\mu и var Xi=σ2X_{i}=\sigma^{2}, то независимо от распределения XiX_{i} среднеквадратичная ошибка равна

E[(aXˉ+b)−μ]2=a2 var Xˉ+[(a−1)μ+b]2. E[(a \bar{X}+b)-\mu ]^{2}=a^{2} \text{ var } \bar{X}+[(a-1) \mu +b]^{2}.
(b)

Если μ\mu не ограничено, то никакая оценка вида aXˉ+ba \bar{X}+b не может иметь конечную среднеквадратичную ошибку при a≠1a \neq 1.

(c)

Может ли байесовская оценка с сопряжённым априорным распределением в экспоненциальном семействе иметь конечную среднеквадратичную ошибку?

Примечание.
?

Эта задача показывает, почему байесовские оценки с сопряжённым априорным распределением считаются «неробастными».