在可能简单到具有解析形式的情况下,找出后验分布的步骤?


12

计算科学也曾过这个问题

我试图计算一些系数的自回归的贝叶斯估计,11个的数据样本: 其中 ε 是高斯均值为0,方差 σ 2 ë 于载体上的先验分布μ α 是高斯均值0 0 ,并与对角项等于一个对角协方差矩阵到 σ 2 p

Yi=μ+αYi1+ϵi
ϵiσe2(μ,α)t(0,0)σp2

基于自回归式,这意味着,数据点(分布)是正常的均值μ + α ·&Yi和方差 σ 2 ë。因此,所有数据点Y 的密度共同(假设独立性,这对我正在编写的程序很好)将为: p Yμ+αYi1σe2(Y)

p(Y|(μ,α)t)=i=21112πσe2exp(YiμαYi1)22σe2.

根据贝叶斯定理,我们可以将上述密度与先验密度相乘,然后只需要归一化常数即可。我的直觉是,这应该算是高斯分布,因此我们可以担心最后的归一化常数,而不用用α上的积分来显式地计算它。μα

这是我遇到的麻烦。如何计算先验密度(即多元变量)与单变量数据密度乘积的乘积?后验纯粹是α的密度,但是我看不到如何从这样的乘积中得到。μα

即使您只是将我指向正确的方向,然后我需要去做一些杂乱的代数(这是我已经尝试过几次),任何指针才真正有用。

首先,这是贝叶斯规则中分子的形式:

1(2πσe2)52πσp2exp[12σe2i=211(YiμαYi1)2μ22σp2α22σp2].

问题是如何看到这降低到的高斯密度。(μ,α)t

添加

最终,这归结为以下普遍问题。如果给出一些二次表达式如你怎么它放入一个二次形式μ - μα - αQ μ - μα - α一段2×2矩阵Q

Aμ2+Bμα+Cα2+Jμ+Kα+L
(μμ^,αα^)Q(μμ^,αα^)tQ?它在容易的情况下,很简单,但什么样的过程,你使用获得的平均估计αμ^α^

注意,我尝试了扩展矩阵公式的直接选择,然后尝试如上所述使系数相等。在我的情况下,问题是常数为零,然后我最终在两个未知数中得到了三个方程,因此,它被确定为仅与系数匹配(即使我假设对称的二次形式矩阵也是如此)。L


我对[这个问题](stats.stackexchange.com/questions/22852/…)的回答可能会有所帮助。请注意,您的第一次观察需要先验-迭代在此停止。
概率

我不明白为什么在这种情况下需要它。考虑到观察,我应该将时间间隔视为有条件独立。注意,关节密度的乘积仅来自。我不认为我应该在这里得到一个顺序更新的公式,只是后验p μ α t的一个公式i=2..11p((μ,α)t|Y)
2012年

先验的“多元” 与数据密度中的“单变量”并不矛盾,因为它们是y i中的密度。p(α,μ)yi
西安

Answers:


7

我对上一个答案的回答的线索是看我如何对参数进行积分-因为您将在此处进行完全相同的积分。您的问题假设方差参数已知,因此它们是常量。您只需要查看对分子的依赖性。要看到这一点,请注意我们可以编写:α,μ

= 1

p(μ,α|Y)=p(μ,α)p(Y|μ,α)p(μ,α)p(Y|μ,α)dμdα
=1(2πσe2)52πσp2exp[12σe2i=211(YiμαYi1)2μ22σp2α22σp2]1(2πσe2)52πσp2exp[12σe2i=211(YiμαYi1)2μ22σp2α22σp2]dμdα

注意我们如何拉第一个因素列于分母二重积分的,并将其与分子取消。我们也可以得出平方和exp [11(2πσe2)52πσp2和它也将取消。现在剩下的积分是(扩展平方项后的):exp[12σe2i=211Yi2]

=exp[10μ2+α2i=110Yi22μi=211Yi2αi=211YiYi1+2μαi=110Yi2σe2μ22σp2α22σp2]exp[10μ2+α2i=110Yi22μi=211Yi2αi=211YiYi1+2μαi=110Yi2σe2μ22σp2α22σp2]dμdα

现在,我们可以使用普通pdf的常规结果。

这是由于在az2+bz上完成平方并注意到c不依赖于z所致。请注意,μ的内部积分形式为a=10

exp(az2+bzc)dz=πaexp(b24ac)
az2+bzczμb=Σ 11 = 2 ÿ-αΣ 10 = 1 ÿa=102σe2+12σp2c ^=α2Σ 10 = 1 Ÿ 2 -2αΣ 11 = 2 ÿÿ-1b=i=211Yiαi=110Yiσe2。在完成该积分之后,您会发现在α上的剩余积分也是这种形式,因此您可以再次使用此公式,但要使用不同的abc。然后,您应该能够以1的形式编写后验c=α2i=110Yi22αi=211YiYi12σe2+α22σp2αa,b,c其中V是一个2×212π|V|12exp[12(μμ^,αα^)V1(μμ^,αα^)T]V2×2矩阵

让我知道您是否需要更多线索。

更新

(注:正确的公式,应该是,而不是μ 210μ2μ2

如果我们看一下您在更新中编写的二次形式,我们会注意到有系数(L与后验无关,因为我们总是可以添加将在分母中抵消的任何常数)。我们也有5个未知数μαQ 11Q 12 = Q 21Q 22。因此,只要方程是线性独立的,这就是一个“恰当的”问题。如果扩大二次μ - μα - αQ5L5μ^,α^,Q11,Q12=Q21,Q22,我们得到:(μμ^,αα^)Q(μμ^,αα^)t

= Q 11 μ 2 + 2 Q 21 μ α + Q 22 α 2 - 2 Q 11 μ + 2

Q11(μμ^)2+Q22(αα^)2+2Q12(μμ^)(αα^)
=Q11μ2+2Q21μα+Q22α2(2Q11μ^+2Q12α^)μ(2Q22α^+2Q12μ^)α+
+Q11μ^2+Q22α^2+2Q12μ^α^

A=Q11,B=2Q12,C=Q22α^,μ^Q

(2ABB2C)(μ^α^)=(JK)

因此,估算值由下式给出:

(μ^α^)=(2ABB2C)1(JK)=14ACB2(BK2JCBJ2KA)

4ACB2

A=102σe2+12σp2B=i=110Yiσe2C=i=110Yi22σe2+12σp2J=i=211Yiσe2K=i=211YiYi1σe2

Xi=Yi1i=2,,11σp2μ,αα^=i=211(YiY¯)(XiX¯)i=211(XiX¯)2μ^=Y¯α^X¯Y¯=110i=211YiX¯=110i=211Xi=110i=110Yi(0,0)


这并不是特别有用,因为我特别提到过,这里的分母不是最重要的。分母只是一个标准化常数,一旦将分子简化为高斯形式,这将很明显。因此,在数学上评估分母中的积分的技巧确实很酷,但我的应用程序并不需要。我需要解决的唯一问题是操纵分子。
2012年

(α,μ)

@ems-通过计算归一化常数,您将构造所需的二次形式。它将包含完成正方形所需的条件
概率

(μ^,α^)t

非常感谢您的详细补充。在尝试代数计算二次形式时,我犯了一些愚蠢的错误。您对与OLS估算器的关系的评论也非常有趣并且很受赞赏。我认为这将加快我的代码的速度,因为我将能够从具有内置,优化方法的分析形式中抽取样本。我最初的计划是使用Metropolis-Hastings对此进行采样,但速度非常慢。谢谢!
2012年
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.