跳到主要内容

京都大学 情報学研究科 システム科学専攻 2022年8月実施 専門科目 確率統計

Author​

AKIRA (小红书:94184092292), 祭音Myyura

Description​

大学公表の原題 以下の問題において,log⁡x\log x は xx の自然対数を表し,P(A)P(A) は事象 AA の確率を表す。 また,N(μ,σ2)N(\mu,\sigma^2) は平均 μ\mu、分散 σ2\sigma^2 の正規分布を表し,X∼N(0,1)X \sim N(0,1) の累積分布関数 P(X≤x)P(X \le x) を Φ(x)\Phi(x) で表す。 正規分布に関する次の性質を解答に用いてよい。 確率変数 Z1,…,ZnZ_1,\dots,Z_n が独立に正規分布 Zi∼N(μi,σi2),i=1,…,nZ_i \sim N(\mu_i,\sigma_i^2), i=1,\dots,n にしたがうとき,Z1+⋯+ZnZ_1 + \dots + Z_n は正規分布にしたがう。また,定数 a,ba,b に対して,aZ1+ba Z_1 + b は正規分布にしたがう。

問題1​

確率変数 X1,…,Xm,Y1,…,YnX_1, \dots, X_m, Y_1, \dots, Y_n は独立に正規分布にしたがい, Xi∼N(μ,1), i=1,…,mX_i \sim N(\mu,1),\ i = 1,\dots,m, Yj∼N(η,1), j=1,…,nY_j \sim N(\eta,1),\ j = 1,\dots,n とする。 実数 μ,η\mu,\eta は未知のパラメータである。 X1,…,XmX_1, \dots, X_m の標本平均を X‾\overline{X}, Y1,…,YnY_1, \dots, Y_n の標本平均を Y‾\overline{Y} とおく。 このとき、以下の設問に答えよ。ただし、Φ(x)\Phi(x) および p=Φ(x)p = \Phi(x) の逆関数を x=Φ−1(p)x = \Phi^{-1}(p) とする。

(1) X‾\overline{X} のしたがう確率分布を求めよ。

(2) 帰無仮説 H0:μ=0H_0: \mu = 0、対立仮説 H1:μ=μ1,μ1>0H_1: \mu = \mu_1, \mu_1 > 0 の仮説検定を有意水準 α\alpha (0<α<10<\alpha<1) で行いたい。そのために定数 cc を定めておき、X‾>c\overline{X} > c のとき H0H_0 を棄却する。定数 cc を m,αm, \alpha を用いて表せ。

(3) 設問 (2) における検出力 β\beta を求め、μ1,m,α\mu_1, m, \alpha を用いて表せ。ここで検出力とは、対立仮説のもとで帰無仮説を棄却する確率である。

(4) 帰無仮説 H0:μ=η=0H_0: \mu = \eta = 0、対立仮説 H1:μ=μ1,η=η1,μ1>0,η1>0H_1: \mu = \mu_1, \eta = \eta_1, \mu_1 > 0, \eta_1 > 0 の仮説検定を有意水準 α\alpha (0<α<10<\alpha<1) で行いたい。定数 dd を定めておき、検定統計量 T=(mcos⁡θ)X‾+(nsin⁡θ)Y‾T = (\sqrt{m}\cos\theta)\overline{X} + (\sqrt{n}\sin\theta) \overline{Y} が T>dT > d のとき H0H_0 を棄却する。ただし、θ∈[0,π/2]\theta \in [0,\pi/2] は事前に定めておく定数とする。定数 dd を求めよ。

(5) 設問 (4) における検出力 β\beta を求め、μ1,η1,m,n,α,θ\mu_1, \eta_1, m, n, \alpha, \theta を用いて表せ。また、β\beta を最大にするように θ\theta を定めたい。β\beta の最大値と、そのときの cos⁡θ\cos\theta を求めよ。

問題2​

以下の設問に答えよ。

(1) 任意の確率変数 X,YX, Y に対する累積分布関数 FX,Y(x,y)=P(X≤x,Y≤y)F_{X,Y}(x,y) = P(X \le x, Y \le y) は、x1<x2,y1<y2x_1 < x_2, y_1 < y_2 を満たす任意の x1,x2,y1,y2x_1, x_2, y_1, y_2 に対して

FX,Y(x2,y2)+FX,Y(x1,y1)−FX,Y(x1,y2)−FX,Y(x2,y1)≥0F_{X,Y}(x_2,y_2) + F_{X,Y}(x_1,y_1) - F_{X,Y}(x_1,y_2) - F_{X,Y}(x_2,y_1) \geq 0

を満たす。その理由を述べよ。

(2) X1X_1 と X2X_2 を (0,1)(0,1) 上の一様分布にしたがう独立な確率変数とする。

Y1=−2log⁡X1cos⁡(2πX2),Y2=−2log⁡X1sin⁡(2πX2)Y_1 = \sqrt{-2 \log X_1} \cos(2\pi X_2), \quad Y_2 = \sqrt{-2 \log X_1} \sin (2\pi X_2)

によって定義される確率変数 Y1,Y2Y_1, Y_2 の確率密度関数 fY1,Y2(y1,y2)f_{Y_1,Y_2}(y_1,y_2) を求めよ。

(3) YY は 0,10,1 を値にとる確率変数で、P(Y=0)=P(Y=1)=1/2P(Y=0) = P(Y=1) = 1/2 とする。 また、XX を Y=1Y=1 のとき N(0,1)N(0,1)、Y=0Y=0 のとき N(μ,1)N(\mu,1) にしたがう確率変数とする。 fX∣Y(x∣y)f_{X|Y}(x|y) を Y=yY=y で条件付けられた XX の条件付き確率密度関数、 fX(x)f_X(x) を XX の確率密度関数とする。

(3-1) fX∣Y(x∣y)f_{X|Y}(x|y) および fX(x)f_X(x) を求めよ。

(3-2) YY は観測できず、fXf_X からの独立な確率変数 X1,…,XnX_1,\dots,X_n のみが観測されるとする。 このとき、μ\mu の最尤推定量 μ^\hat{\mu} の満たすべき方程式(μ\mu の陰関数表示)を次の形

μ^=∑i=1nXipi(μ^,X)\hat{\mu} = \sum_{i=1}^n X_i p_i(\hat{\mu}, \mathbf{X})

で表現したときの pi(μ^,X)p_i(\hat{\mu},X) を求めよ。 ただし X=(X1,…,Xn)\mathbf{X} = (X_1,\dots,X_n) であり、また ∑i=1npi(μ^,X)=1\sum_{i=1}^n p_i(\hat{\mu},X) = 1, pi(μ^,X)≥0p_i(\hat{\mu},X) \ge 0 を満たすものとする。

(3-3) n=1n=1 のとき、設問 (3-2) の μ^\hat{\mu} を求めよ。また、この μ^\hat{\mu} が μ\mu の不偏推定量であるか否かを理由を付して答えよ。ただし μ≠0\mu \ne 0 とする。

题目描述​

以下 log⁡x\log x 表示自然对数,P(A)P(A) 表示事件 AA 的概率,N(μ,σ2)N(\mu,\sigma^2) 表示均值为 μ\mu、方差为 σ2\sigma^2 的正态分布。标准正态分布函数记为

Φ(x)=P(X≤x),X∼N(0,1).\Phi(x)=P(X\leq x),\qquad X\sim N(0,1).

可以使用如下性质:若 Z1,…,ZnZ_1,\ldots,Z_n 相互独立且 Zi∼N(μi,σi2)Z_i\sim N(\mu_i,\sigma_i^2),则 Z1+⋯+ZnZ_1+\cdots+Z_n 服从正态分布;对常数 a,ba,b,aZ1+baZ_1+b 也服从正态分布。

  1. 随机变量 X1,…,Xm,Y1,…,YnX_1,\ldots,X_m,Y_1,\ldots,Y_n 相互独立,并满足
Xi∼N(μ,1)(i=1,…,m),Yj∼N(η,1)(j=1,…,n),X_i\sim N(\mu,1)\quad(i=1,\ldots,m),\qquad Y_j\sim N(\eta,1)\quad(j=1,\ldots,n),

其中 μ,η\mu,\eta 为未知实参数。两组样本均值分别记为 Xˉ,Yˉ\bar X,\bar Y;Φ−1(p)\Phi^{-1}(p) 表示 Φ(x)=p\Phi(x)=p 的反函数。

(1)求 Xˉ\bar X 的概率分布。

(2)希望在显著性水平 α\alpha(0<α<10<\alpha<1)下检验

H0:μ=0,H1:μ=μ1,μ1>0.H_0:\mu=0,\qquad H_1:\mu=\mu_1,\quad\mu_1>0.

预先取常数 cc,当 Xˉ>c\bar X>c 时拒绝 H0H_0。用 m,αm,\alpha 表示 cc。

(3)求第(2)问检验的功效 β\beta,并用 μ1,m,α\mu_1,m,\alpha 表示。这里功效是备择假设成立时拒绝原假设的概率。

(4)希望在显著性水平 α\alpha 下检验

H0:μ=η=0,H1:μ=μ1, η=η1,μ1>0, η1>0.H_0:\mu=\eta=0,\qquad H_1:\mu=\mu_1,\ \eta=\eta_1,\quad \mu_1>0,\ \eta_1>0.

对预先选定的 θ∈[0,π/2]\theta\in[0,\pi/2],定义

T=(mcos⁡θ)Xˉ+(nsin⁡θ)Yˉ.T=(\sqrt m\cos\theta)\bar X +(\sqrt n\sin\theta)\bar Y.

预先取常数 dd,当 T>dT>d 时拒绝 H0H_0。求 dd。

(5)求第(4)问检验的功效 β\beta,并用 μ1,η1,m,n,α,θ\mu_1,\eta_1,m,n,\alpha,\theta 表示。再选择使 β\beta 最大的 θ\theta,求 β\beta 的最大值以及此时的 cos⁡θ\cos\theta。

  1. 回答下列问题。

    (1)任意随机变量 X,YX,Y 的联合分布函数

FX,Y(x,y)=P(X≤x,Y≤y)F_{X,Y}(x,y)=P(X\leq x,Y\leq y)

对任意 x1<x2x_1<x_2、y1<y2y_1<y_2 都满足

FX,Y(x2,y2)+FX,Y(x1,y1)−FX,Y(x1,y2)−FX,Y(x2,y1)≥0.F_{X,Y}(x_2,y_2)+F_{X,Y}(x_1,y_1) -F_{X,Y}(x_1,y_2)-F_{X,Y}(x_2,y_1)\geq0.

说明原因。

(2)设 X1,X2X_1,X_2 相互独立且均服从区间 (0,1)(0,1) 上的均匀分布。定义

Y1=−2log⁡X1cos⁡(2πX2),Y2=−2log⁡X1sin⁡(2πX2).Y_1=\sqrt{-2\log X_1}\cos(2\pi X_2),\qquad Y_2=\sqrt{-2\log X_1}\sin(2\pi X_2).

求联合密度 fY1,Y2(y1,y2)f_{Y_1,Y_2}(y_1,y_2)。

(3)随机变量 YY 只取 0、1,且

P(Y=0)=P(Y=1)=12.P(Y=0)=P(Y=1)=\frac12.

给定 Y=1Y=1 时 X∼N(0,1)X\sim N(0,1),给定 Y=0Y=0 时 X∼N(μ,1)X\sim N(\mu,1)。记 fX∣Y(x∣y)f_{X\mid Y}(x\mid y) 为给定 Y=yY=y 时 XX 的条件密度,fX(x)f_X(x) 为 XX 的边缘密度。

  1. 求 fX∣Y(x∣y)f_{X\mid Y}(x\mid y) 与 fX(x)f_X(x)。
  2. 假设 YY 不可观测,只观测到来自 fXf_X 的独立样本 X1,…,XnX_1,\ldots,X_n。把 μ\mu 的最大似然估计量所满足的隐式方程写成
μ^=∑i=1nXi pi(μ^,X),\hat\mu =\sum_{i=1}^nX_i\,p_i(\hat\mu,\mathbf X),
  其中 $\mathbf X=(X_1,\ldots,X_n)$,且
∑i=1npi(μ^,X)=1,pi(μ^,X)≥0.\sum_{i=1}^np_i(\hat\mu,\mathbf X)=1,\qquad p_i(\hat\mu,\mathbf X)\geq0.
  求 $p_i(\hat\mu,\mathbf X)$。

3. 当 n=1n=1 且 μ≠0\mu\ne0 时,求第 2 小问中的 μ^\hat\mu;说明该估计量是否为 μ\mu 的无偏估计量,并给出理由。

Kai​

問題1​

(1)​

X‾∼N(μ,1m)\overline{X} \sim N(\mu, \frac{1}{m})

(2)​

P(X‾>c∣H0)=αP(\overline{X} > c \mid H_0) = \alpha, S∼N(0,1)S \sim N(0,1) とおくと、

P(X‾>c∣H0)=P(1mS>c)=P(S>mc)=1−Φ(mc)=αP(\overline{X} > c \mid H_0) = P(\frac{1}{\sqrt{m}}S > c) = P(S > \sqrt{m}c) = 1 - \Phi(\sqrt{m}c) = \alpha
⇒mc=Φ−1(1−α)⇒c=1mΦ−1(1−α)\Rightarrow \sqrt{m}c = \Phi^{-1}(1-\alpha) \Rightarrow c = \frac{1}{\sqrt{m}} \Phi^{-1}(1-\alpha)

(3)​

β=P(X‾>c∣H1)=P(μ1+1mS>c)=P(S>Φ−1(1−α)−μ1m)=1−Φ(Φ−1(1−α)−μ1m)\begin{aligned} \beta &= P(\overline{X} > c \mid H_1) = P(\mu_1 + \frac{1}{\sqrt{m}}S > c) \\ &= P(S > \Phi^{-1}(1-\alpha) - \mu_1 \sqrt{m}) \\ &= 1 - \Phi(\Phi^{-1}(1-\alpha) - \mu_1 \sqrt{m}) \end{aligned}

(4)​

Y‾∼N(η,1n)\overline{Y} \sim N(\eta, \frac{1}{n})、再生性より、

T∼N(μmcos⁡θ+ηnsin⁡θ,cos⁡2θ+sin⁡2θ)=N(μmcos⁡θ+ηnsin⁡θ,1)T \sim N(\mu \sqrt{m} \cos \theta + \eta \sqrt{n} \sin \theta, \cos^2 \theta + \sin^2 \theta) = N(\mu \sqrt{m} \cos \theta + \eta \sqrt{n} \sin \theta, 1)

μ=η=0\mu = \eta = 0 のとき、

T∼N(0,1)T \sim N(0, 1)

よって、

P(T>d∣H0)=P(S>d)=1−Φ(d)=α⇒d=Φ−1(1−α)P(T > d \mid H_0) = P(S > d) = 1 - \Phi(d) = \alpha \Rightarrow d = \Phi^{-1}(1-\alpha)

(5)​

β=P(T>d∣H1)=P(μ1mcos⁡θ+η1nsin⁡θ+S>Φ−1(1−α))=P(S>Φ−1(1−α)−μ1mcos⁡θ−η1nsin⁡θ)=Φ(μ1mcos⁡θ+η1nsin⁡θ−Φ−1(1−α))\begin{aligned} \beta &= P(T > d \mid H_1) = P(\mu_1 \sqrt{m} \cos \theta + \eta_1 \sqrt{n} \sin \theta + S > \Phi^{-1}(1-\alpha)) \\ &= P(S > \Phi^{-1}(1-\alpha) - \mu_1 \sqrt{m} \cos \theta - \eta_1 \sqrt{n} \sin \theta) \\ &= \Phi(\mu_1 \sqrt{m} \cos \theta + \eta_1 \sqrt{n} \sin \theta - \Phi^{-1}(1-\alpha)) \end{aligned}
∂β∂θ=ϕ(μ1mcos⁡θ+η1nsin⁡θ−Φ−1(1−α))(−μ1msin⁡θ+η1ncos⁡θ)\frac{\partial \beta}{\partial \theta} = \phi(\mu_1 \sqrt{m} \cos \theta + \eta_1 \sqrt{n} \sin \theta - \Phi^{-1}(1-\alpha))(-\mu_1 \sqrt{m} \sin \theta + \eta_1 \sqrt{n} \cos \theta)
∂β∂θ=0⇒tan⁡θ=η1nμ1m\frac{\partial \beta}{\partial \theta} = 0 \Rightarrow \tan \theta = \frac{\eta_1 \sqrt{n}}{\mu_1 \sqrt{m}}

θ∈[0,π2]\theta \in [0, \frac{\pi}{2}] より、

sin⁡θ=η1nnη12+mμ12,cos⁡θ=μ1mnη12+mμ12\sin \theta = \frac{\eta_1 \sqrt{n}}{\sqrt{n \eta_1^2 + m \mu_1^2}}, \cos \theta = \frac{\mu_1 \sqrt{m}}{\sqrt{n \eta_1^2 + m \mu_1^2}}
βmax⁡=Φ(nη12+mμ12−Φ−1(1−α))\beta_{\max} = \Phi(\sqrt{n \eta_1^2 + m \mu_1^2} - \Phi^{-1} (1-\alpha))

問題2​

(1)​

左辺は包除原理によって P(x1<X≤x2, y1<Y≤y2)P(x_1<X\le x_2,\ y_1<Y\le y_2) に等しく、非負である。

(2)​

極座標 R=−2log⁡X1R=\sqrt{-2\log X_1}、Θ=2πX2\Theta=2\pi X_2 を用いる。R,ΘR,\Theta は独立であり、

fR(r)=re−r2/2(r>0),fΘ(θ)=12π(0<θ<2π).f_R(r)=r e^{-r^2/2}\quad(r>0),\qquad f_\Theta(\theta)=\frac1{2\pi}\quad(0<\theta<2\pi).

変換 (r,θ)↦(y1,y2)=(rcos⁡θ,rsin⁡θ)(r,\theta)\mapsto(y_1,y_2)=(r\cos\theta,r\sin\theta) のヤコビアンの絶対値は rr である。従って、平面上のほとんどすべての点で

fY1,Y2(y1,y2)=12πe−(y12+y22)/2.\boxed{f_{Y_1,Y_2}(y_1,y_2) =\frac1{2\pi}e^{-(y_1^2+y_2^2)/2}}.

(3-1)​

ϕ(x)=(2π)−1/2e−x2/2\phi(x)=(2\pi)^{-1/2}e^{-x^2/2} とおくと、

fX∣Y(x∣y)=ϕ(x−(1−y)μ),fX(x)=ϕ(x)+ϕ(x−μ)2.f_{X\mid Y}(x\mid y)=\phi(x-(1-y)\mu),\qquad f_X(x)=\frac{\phi(x)+\phi(x-\mu)}2.

(3-2)​

対数尤度と、各観測値が平均 μ\mu の成分から生じた条件付き確率を

ℓ(μ)=∑i=1nlog⁡ϕ(Xi)+ϕ(Xi−μ)2,ri(μ)=ϕ(Xi−μ)ϕ(Xi)+ϕ(Xi−μ)\ell(\mu)=\sum_{i=1}^n\log\frac{\phi(X_i)+\phi(X_i-\mu)}2, \qquad r_i(\mu)=\frac{\phi(X_i-\mu)}{\phi(X_i)+\phi(X_i-\mu)}

とおく。微分すると

ℓ′(μ)=∑i=1nri(μ)(Xi−μ).\ell'(\mu)=\sum_{i=1}^n r_i(\mu)(X_i-\mu).

従って最尤推定量は

pi(μ^,X)=ri(μ^)∑j=1nrj(μ^)\boxed{p_i(\hat\mu,\mathbf X)= \frac{r_i(\hat\mu)}{\sum_{j=1}^nr_j(\hat\mu)}}

を用いた所定の方程式を満たす。各重みは正で、総和は 11 である。停留点が複数ある場合は、そのうち尤度を最大にするものを選ぶ。

(3-3)​

n=1n=1 では ϕ(X1)+ϕ(X1−μ)\phi(X_1)+\phi(X_1-\mu) は μ=X1\mu=X_1 のとき最大になるから、μ^=X1\hat\mu=X_1 である。一方、

E[μ^]=E[X1]=12⋅0+12μ=μ2≠μ(μ≠0).E[\hat\mu]=E[X_1]=\tfrac12\cdot0+\tfrac12\mu=\frac\mu2\ne\mu \qquad(\mu\ne0).

従って不偏推定量ではない。