東京工業大学 情報理工学院 数理・計算科学系 2016年8月実施 午前 問6
Author
GPT-5
Description
The daily customer counts X X X and Y Y Y at stores A and B independently follow Po ( λ ) \operatorname{Po}(\lambda) Po ( λ ) and Po ( ν ) \operatorname{Po}(\nu) Po ( ν ) . For n n n days, observations ( x i , y i ) i = 1 n (x_i,y_i)_{i=1}^n ( x i , y i ) i = 1 n are given. The Poisson mass function is
P ( X = k ; λ ) = λ k k ! e − λ ( k = 0 , 1 , 2 , … ) . P(X=k;\lambda)=\frac{\lambda^k}{k!}e^{-\lambda}
\quad(k=0,1,2,\ldots). P ( X = k ; λ ) = k ! λ k e − λ ( k = 0 , 1 , 2 , … ) .
(1) Show that this is a probability distribution.
(2) Assuming ∑ i x i ≠ 0 \sum_i x_i\neq0 ∑ i x i = 0 and ∑ i y i ≠ 0 \sum_i y_i\neq0 ∑ i y i = 0 , derive the maximum likelihood estimators of λ \lambda λ and ν \nu ν .
(3) Given the total N = X + Y N=X+Y N = X + Y , derive the conditional distribution of X X X .
(4) Instead suppose that the conditional distribution of Y Y Y given X X X is
P ( Y = ℓ ∣ X = k ; a ) = f a ( k ) ℓ ℓ ! e − f a ( k ) , f a ( k ) = a ( 1 + k ) , P(Y=\ell\mid X=k;a)=\frac{f_a(k)^\ell}{\ell!}e^{-f_a(k)},
\qquad f_a(k)=a(1+k), P ( Y = ℓ ∣ X = k ; a ) = ℓ ! f a ( k ) ℓ e − f a ( k ) , f a ( k ) = a ( 1 + k ) ,
where a > 0 a>0 a > 0 is unknown. Assuming ∑ i y i ≠ 0 \sum_i y_i\neq0 ∑ i y i = 0 , derive the maximum likelihood estimator of a a a .
题目描述
商店 A、B 的每日顾客数 X X X 、Y Y Y 相互独立,且分别服从 Po ( λ ) \operatorname{Po}(\lambda) Po ( λ ) 与 Po ( ν ) \operatorname{Po}(\nu) Po ( ν ) 。现给出连续 n n n 天的观测值 ( x i , y i ) i = 1 n (x_i,y_i)_{i=1}^n ( x i , y i ) i = 1 n 。Poisson 分布的概率质量函数为
P ( X = k ; λ ) = λ k k ! e − λ , k = 0 , 1 , 2 , … . P(X=k;\lambda)=\frac{\lambda^k}{k!}e^{-\lambda},
\qquad k=0,1,2,\ldots. P ( X = k ; λ ) = k ! λ k e − λ , k = 0 , 1 , 2 , … .
证明上述函数确实定义了一个概率分布。
在 ∑ i x i ≠ 0 \sum_i x_i\neq0 ∑ i x i = 0 且 ∑ i y i ≠ 0 \sum_i y_i\neq0 ∑ i y i = 0 的条件下,推导 λ \lambda λ 和 ν \nu ν 的最大似然估计量。
已知总顾客数 N = X + Y N=X+Y N = X + Y ,推导 X X X 的条件分布。
改设在给定 X X X 时,Y Y Y 的条件分布为
P ( Y = ℓ ∣ X = k ; a ) = f a ( k ) ℓ ℓ ! e − f a ( k ) , f a ( k ) = a ( 1 + k ) , P(Y=\ell\mid X=k;a)=\frac{f_a(k)^\ell}{\ell!}e^{-f_a(k)},
\qquad f_a(k)=a(1+k), P ( Y = ℓ ∣ X = k ; a ) = ℓ ! f a ( k ) ℓ e − f a ( k ) , f a ( k ) = a ( 1 + k ) ,
其中未知参数 a > 0 a>0 a > 0 。在 ∑ i y i ≠ 0 \sum_i y_i\neq0 ∑ i y i = 0 的条件下,推导 a a a 的最大似然估计量。
Poisson 分布的归一化:利用指数级数验证给定概率质量函数的非负性与总和为 1 1 1 。
最大似然估计:分别构造独立 Poisson 样本及条件 Poisson 模型的似然函数,通过对数似然求 λ , ν , a \lambda,\nu,a λ , ν , a 的估计量。
条件概率分布:由两个独立 Poisson 变量的联合分布和总和,推导给定 X + Y X+Y X + Y 时 X X X 的二项型条件分布。
Kai
(1)
各確率は非負であり、指数関数の級数展開から
∑ k = 0 ∞ P ( X = k ; λ ) = e − λ ∑ k = 0 ∞ λ k k ! = e − λ e λ = 1. \sum_{k=0}^{\infty}P(X=k;\lambda)
=e^{-\lambda}\sum_{k=0}^{\infty}\frac{\lambda^k}{k!}
=e^{-\lambda}e^{\lambda}=1. k = 0 ∑ ∞ P ( X = k ; λ ) = e − λ k = 0 ∑ ∞ k ! λ k = e − λ e λ = 1.
したがって確率分布を定める。
(2)
独立性より対数尤度のパラメータに依存する部分は
ℓ ( λ , ν ) = ( ∑ i x i ) log λ − n λ + ( ∑ i y i ) log ν − n ν + const. \ell(\lambda,\nu)
=\left(\sum_i x_i\right)\log\lambda-n\lambda
+\left(\sum_i y_i\right)\log\nu-n\nu+\text{const.} ℓ ( λ , ν ) = ( i ∑ x i ) log λ − nλ + ( i ∑ y i ) log ν − n ν + const.
である。偏微分を 0 とおくと
λ ^ = 1 n ∑ i = 1 n x i , ν ^ = 1 n ∑ i = 1 n y i . \boxed{\widehat\lambda=\frac1n\sum_{i=1}^n x_i,
\qquad
\widehat\nu=\frac1n\sum_{i=1}^n y_i}. λ = n 1 i = 1 ∑ n x i , ν = n 1 i = 1 ∑ n y i .
仮定により両者は正であり、各パラメータについて二階微分が負なので一意な最尤推定値である。
(3)
N = m N=m N = m とする。独立な Poisson 分布の和は Po ( λ + ν ) \operatorname{Po}(\lambda+\nu) Po ( λ + ν ) なので、k = 0 , … , m k=0,\ldots,m k = 0 , … , m に対して
P ( X = k ∣ N = m ) = P ( X = k ) P ( Y = m − k ) P ( N = m ) = ( m k ) ( λ λ + ν ) k ( ν λ + ν ) m − k . \begin{aligned}
P(X=k\mid N=m)
&=\frac{P(X=k)P(Y=m-k)}{P(N=m)}\\
&=\binom{m}{k}
\left(\frac{\lambda}{\lambda+\nu}\right)^k
\left(\frac{\nu}{\lambda+\nu}\right)^{m-k}.
\end{aligned} P ( X = k ∣ N = m ) = P ( N = m ) P ( X = k ) P ( Y = m − k ) = ( k m ) ( λ + ν λ ) k ( λ + ν ν ) m − k .
したがって
X ∣ ( N = m ) ∼ Bin ( m , λ λ + ν ) . \boxed{X\mid(N=m)\sim
\operatorname{Bin}\left(m,\frac{\lambda}{\lambda+\nu}\right)}. X ∣ ( N = m ) ∼ Bin ( m , λ + ν λ ) .
(4)
x i x_i x i を条件として得られる a a a の対数尤度は
ℓ ( a ) = ( ∑ i y i ) log a − a ∑ i ( 1 + x i ) + const. \ell(a)
=\left(\sum_i y_i\right)\log a
-a\sum_i(1+x_i)+\text{const.} ℓ ( a ) = ( i ∑ y i ) log a − a i ∑ ( 1 + x i ) + const.
である。したがって
ℓ ′ ( a ) = ∑ i y i a − ∑ i ( 1 + x i ) = 0 \ell'(a)=\frac{\sum_i y_i}{a}-\sum_i(1+x_i)=0 ℓ ′ ( a ) = a ∑ i y i − i ∑ ( 1 + x i ) = 0
を解き、
a ^ = ∑ i = 1 n y i ∑ i = 1 n ( 1 + x i ) = ∑ i = 1 n y i n + ∑ i = 1 n x i . \boxed{\widehat a
=\frac{\sum_{i=1}^n y_i}{\sum_{i=1}^n(1+x_i)}
=\frac{\sum_{i=1}^n y_i}{n+\sum_{i=1}^n x_i}}. a = ∑ i = 1 n ( 1 + x i ) ∑ i = 1 n y i = n + ∑ i = 1 n x i ∑ i = 1 n y i .
ℓ ′ ′ ( a ) = − ( ∑ i y i ) / a 2 < 0 \ell''(a)=-(\sum_i y_i)/a^2<0 ℓ ′′ ( a ) = − ( ∑ i y i ) / a 2 < 0 なので一意な最大値である。