Asesmen kumulatif CA02

Asesmen ini bernilai 100 poin. Sepuluh masalah masing-masing bernilai 10 poin. Semua peluang, harapan, dan risiko harus menyebut hukum pengambilan sampel yang dipakai. Nama teorema tanpa asumsi pokoknya tidak memperoleh poin yang dialokasikan untuk asumsi. Jawaban numerik tanpa derivasi tidak memperoleh poin derivasi, dan aproksimasi harus dibedakan dari identitas sampel berhingga.

Masalah 1 — pengambilan sampel tanpa pengembalian dan indikator (10 poin)

Dari populasi berlabel \(1,2,3,4,5,6\), dipilih tepat tiga label secara acak seragam tanpa pengembalian. Tuliskan \(I_j=\mathbf1\{j\text{ terpilih}\}\), \(Y=\sum_{j=1}^6jI_j\), dan \(B=\{\text{sedikitnya satu dari label 5 dan 6 terpilih}\}\).

  1. Hitung \(P(B)\) dan \(P(I_1=1\mid B)\) dengan menghitung himpunan bagian.
  2. Turunkan \(E(I_j)\), \(\operatorname{Var}(I_j)\), dan \(\operatorname{Cov}(I_i,I_j)\) untuk \(i\ne j\).
  3. Gunakan indikator untuk menghitung \(E(Y)\) dan \(\operatorname{Var}(Y)\).
  4. Hitung \(E(Y\mid B)\), dengan membedakan label \(1,\ldots,4\) dari label \(5,6\).

Petunjuk 1

Ada \(\binom63=20\) himpunan bagian yang sama peluangnya. Komplemen \(B\) memilih ketiga label hanya dari \(\{1,2,3,4\}\).

Petunjuk 2

Untuk \(i\ne j\), gunakan \(P(I_i=I_j=1)=(3/6)(2/5)\). Untuk varians \(Y\), jangan hilangkan \(2\sum_{i<j}ij\operatorname{Cov}(I_i,I_j)\).

Jawaban singkat

\[P(B)=\frac45,\qquad P(I_1=1\mid B)=\frac7{16}.\]

Untuk setiap \(j\), \(E(I_j)=1/2\) dan \(\operatorname{Var}(I_j)=1/4\), sedangkan untuk \(i\ne j\), \(\operatorname{Cov}(I_i,I_j)=-1/20\). Maka

\[E(Y)=\frac{21}{2},\qquad \operatorname{Var}(Y)=\frac{21}{4}, \qquad E(Y\mid B)=\frac{45}{4}.\]

Solusi lengkap

Ruang sampel terdiri atas 20 himpunan bagian berukuran tiga, semuanya berpeluang \(1/20\). Kejadian \(B^c\) mempunyai \(\binom43=4\) himpunan bagian, sehingga

\[P(B)=1-\frac4{20}=\frac45.\]

Jika label 1 sudah dipilih, dua label lain dipilih dari lima label tersisa. Agar \(B\) terjadi, tidak boleh keduanya berasal dari \(\{2,3,4\}\). Jadi ada \(\binom52-\binom32=7\) himpunan bagian yang termasuk dalam \(\{I_1=1\}\cap B\), dan

\[P(I_1=1\mid B)=\frac{7/20}{16/20}=\frac7{16}.\]

Simetri pengambilan sampel memberi \(P(I_j=1)=3/6=1/2\), sehingga peubah indikator Bernoulli tersebut mempunyai varians \(1/4\). Untuk dua label berbeda,

\[P(I_i=I_j=1)=\frac36\frac25=\frac15, \qquad \operatorname{Cov}(I_i,I_j)=\frac15-\frac14=-\frac1{20}.\]

Kovarians negatif muncul akibat kendala ukuran sampel tetap, bukan independensi. Perhitungan indikator dan kovarians ini menerapkan teknik umum dari Solusi lengkap dan Solusi lengkap.

Linearitas harapan tidak memerlukan independensi, sehingga

\[E(Y)=\sum_{j=1}^6jE(I_j)=\frac12\sum_{j=1}^6j=\frac{21}{2}.\]

Karena \(\sum j^2=91\) dan \(\sum_{i<j}ij=\{(\sum j)^2-\sum j^2\}/2=175\),

\[\begin{aligned} \operatorname{Var}(Y) &=\frac14\sum_{j=1}^6j^2 +2\left(-\frac1{20}\right)\sum_{i<j}ij\\ &=\frac{91}{4}-\frac{35}{2}=\frac{21}{4}. \end{aligned}\]

Untuk setiap \(j\le4\), hitungan yang sama seperti untuk label 1 memberi \(P(I_j=1\mid B)=7/16\). Untuk \(j=5,6\), kejadian \(I_j=1\) sudah menyiratkan \(B\), sehingga

\[P(I_j=1\mid B)=\frac{P(I_j=1)}{P(B)} =\frac{1/2}{4/5}=\frac58.\]

Oleh karena itu

\[E(Y\mid B) =\frac7{16}(1+2+3+4)+\frac58(5+6) =\frac{70+110}{16}=\frac{45}{4}.\]

Masalah 2 — transformasi dan hukum minimum–maksimum (10 poin)

Misalkan \(X_1,X_2,X_3\) iid dengan densitas

\[f(x)=2x\mathbf1\{0<x<1\}.\]

Tuliskan \(L=X_{(1)}\), \(M=X_{(3)}\), dan \(R=L/M\).

  1. Tunjukkan bahwa \(Y_i=X_i^2\) iid Seragam\((0,1)\), lalu turunkan densitas bersama minimum dan maksimum \((Y_{(1)},Y_{(3)})\).
  2. Ubah kembali ke \((L,M)\) dan turunkan densitas bersamanya beserta kedua densitas marginal.
  3. Transformasikan \((L,M)\) menjadi \((R,M)\). Putuskan apakah \(R\) dan \(M\) independen.
  4. Hitung \(P(R\le1/2)\) dan \(E(M^2)\).

Petunjuk 1

Untuk \(0<y<1\), \(P(X_i^2\le y)=P(X_i\le\sqrt y)\). Untuk tiga peubah Seragam, satu titik menjadi minimum, satu menjadi maksimum, dan satu berada di antaranya.

Petunjuk 2

Pada transformasi \(a=l^2,b=m^2\), Jacobian mutlaknya \(4lm\). Pada transformasi \(l=rm\), Jacobian mutlaknya \(m\).

Jawaban singkat

\[f_{L,M}(l,m)=24lm(m^2-l^2)\mathbf1\{0<l<m<1\}.\]

Marginalnya adalah

\[f_L(l)=6l(1-l^2)^2,\qquad f_M(m)=6m^5.\]

Selanjutnya

\[f_{R,M}(r,m)=24r(1-r^2)m^5 =\{4r(1-r^2)\}\{6m^5\},\]

pada \(0<r,m<1\), sehingga \(R\) dan \(M\) independen. Akhirnya

\[P(R\le1/2)=\frac7{16},\qquad E(M^2)=\frac34.\]

Solusi lengkap

CDF satu pengamatan adalah \(F_X(x)=x^2\) pada \((0,1)\). Karena transformasi kuadrat monoton naik di domain itu,

\[P(Y_i\le y)=P(X_i\le\sqrt y)=F_X(\sqrt y)=y, \qquad 0<y<1.\]

Jadi \(Y_i\) iid Seragam\((0,1)\). Kontinuitas membuat peluang terjadinya nilai kembar sama dengan nol. Untuk \(A=Y_{(1)}\) dan \(C=Y_{(3)}\), ada \(3\cdot2\) cara memilih label minimum dan maksimum, sedangkan observasi ketiga jatuh di antara \(a\) dan \(c\). Maka, seperti langkah umum pada Solusi lengkap,

\[f_{A,C}(a,c)=6(c-a)\mathbf1\{0<a<c<1\}.\]

Karena \(a=l^2,c=m^2\) dan Jacobian mutlaknya \(4lm\),

\[f_{L,M}(l,m)=6(m^2-l^2)4lm =24lm(m^2-l^2),\qquad 0<l<m<1.\]

Integrasi pada dukungan segitiga memberi

\[\begin{aligned} f_M(m) &=\int_0^m24lm(m^2-l^2)\,dl=6m^5,\\ f_L(l) &=\int_l^124lm(m^2-l^2)\,dm=6l(1-l^2)^2. \end{aligned}\]

Kedua integral bernilai satu pada domain masing-masing, yang juga mengaudit faktor Jacobian.

Untuk \(R=L/M\), inversnya \(l=rm\) dan Jacobian mutlaknya \(m\). Jadi

\[f_{R,M}(r,m) =24(rm)m\{m^2-r^2m^2\}m =24r(1-r^2)m^5,\]

pada domain hasil kali \((0,1)^2\). Bentuk tersebut dapat difaktorkan menjadi densitas \(f_R(r)=4r(1-r^2)\) dan \(f_M(m)=6m^5\); integral keduanya sama dengan satu, sehingga independensi benar-benar terbukti. Hasil ini tidak bertentangan dengan ketergantungan \(L,M\): normalisasi melalui rasio telah menghilangkan skala yang ditentukan oleh maksimum. Terakhir,

\[P(R\le1/2)=\int_0^{1/2}4r(1-r^2)\,dr =\left[2r^2-r^4\right]_0^{1/2}=\frac7{16},\]

dan

\[E(M^2)=\int_0^1m^2(6m^5)\,dm=\frac68=\frac34.\]

Masalah 3 — kuantil, titik ujung, dan audit himpunan dukungan (10 poin)

Delapan observasi iid kontinu mempunyai statistik urutan teramati \(x_{(2)}=1{,}1\), \(x_{(7)}=3{,}4\), dan \(x_{(8)}=4{,}0\).

  1. Tanpa mengasumsikan keluarga parametrik, misalkan \(q\) adalah median populasi unik. Hitung cakupan eksak selang \([X_{(2)},X_{(7)}]\) dan laporkan selang teramatinya.
  2. Sekarang tambahkan model \(X_i\sim\operatorname{Uniform}(0,\theta)\), \(\theta>0\). Bentuk selang kepercayaan eksak 95% untuk titik ujung \(\theta\) dari \(M=X_{(8)}\), lalu hitung nilainya.
  3. Transformasikan selang titik ujung itu menjadi selang 95% untuk median parametrik \(q=\theta/2\).
  4. Audit mengapa argumen Wald reguler tidak sah untuk titik ujung ini dan bandingkan asumsi dua selang median yang diperoleh.

Petunjuk 1

Jika \(K=\#\{i:X_i\le q\}\), kontinuitas dan keunikan median memberi \(K\sim\operatorname{Binomial}(8,1/2)\). Selang mencakup \(q\) tepat ketika \(2\le K\le6\).

Petunjuk 2

Dalam model Seragam, \(P_\theta(M/\theta\le u)=u^8\). Gunakan \(P(M/\theta\ge0{,}05^{1/8})=0{,}95\) dan ingat bahwa \(M\le\theta\) hampir pasti.

Jawaban singkat

Selang bebas distribusi \([1{,}1,3{,}4]\) mempunyai cakupan

\[P(2\le K\le6)=\frac{119}{128}\approx0{,}92969.\]

Selang titik ujung eksak adalah

\[[M,M(0{,}05)^{-1/8}] \approx[4{,}0000,5{,}8169].\]

Karena \(q=\theta/2\), selang median parametriknya kira-kira \([2{,}0000,2{,}9084]\). Dukungan yang bergantung pada parameter dan MLE yang berada di batas membuat prosedur Wald reguler tidak sah.

Solusi lengkap

Untuk populasi kontinu dengan median unik \(q\), indikator \(\mathbf1\{X_i\le q\}\) iid Bernoulli\((1/2)\). Jadi \(K\sim\operatorname{Binomial}(8,1/2)\). Peristiwa \(X_{(2)}\le q\le X_{(7)}\) setara dengan \(2\le K\le6\), karena nilai yang persis sama dengan \(q\) berpeluang nol. Maka

\[\begin{aligned} P(X_{(2)}\le q\le X_{(7)}) &=1-P(K\in\{0,1,7,8\})\\ &=1-2\frac{\binom80+\binom81}{2^8} =1-\frac{18}{256}=\frac{119}{128}. \end{aligned}\]

Cakupan ini sekitar \(0{,}92969\), bukan otomatis 0,95; sifat diskret peringkat menentukan nilainya, sebagaimana pada Solusi lengkap. Selang teramati adalah \([1{,}1,3{,}4]\).

Di bawah model Seragam,

\[P_\theta(M\le m)=\left(\frac m\theta\right)^8, \qquad 0<m<\theta.\]

Dengan \(c=0{,}05^{1/8}\),

\[P_\theta(M/\theta\ge c)=1-c^8=0{,}95.\]

Peristiwa ini setara dengan \(M\le\theta\le M/c\). Jadi

\[C_\theta=[M,M(0{,}05)^{-1/8}].\]

Untuk \(M=4\), faktor \((0{,}05)^{-1/8}\approx1{,}4542154\), sehingga \(C_\theta\approx[4{,}0000,5{,}8169]\). Karena transformasi \(q=\theta/2\) monoton dan satu-ke-satu, invariansi cakupan memberi

\[C_q=C_\theta/2\approx[2{,}0000,2{,}9084].\]

Fungsi kemungkinan untuk titik ujung adalah \(L(\theta;x)=\theta^{-8}\mathbf1\{\theta\ge M\}\). Himpunan dukungan data bergantung pada \(\theta\), MLE \(M\) berada pada batas acak, dan galatnya berorde \(1/n\), bukan \(1/\sqrt n\); asumsi himpunan dukungan bersama, titik interior, identitas skor, dan normalitas akar-\(n\) yang diperlukan Wald gagal. Pivot eksak tetap sah karena diturunkan langsung dari CDF maksimum; lihat Solusi lengkap. Selang peringkat pertama hanya memerlukan iid, kontinuitas, dan median unik, tetapi cakupannya \(119/128\). Selang kedua benar-benar 95% hanya bila model Seragam dengan titik ujung benar. Nilai kembar, median tidak unik, atau bentuk distribusi yang bukan Seragam mengubah argumen yang relevan.

Masalah 4 — konsistensi tanpa konvergensi momen kedua (10 poin)

Misalkan \(X_1,X_2,\ldots\) iid dengan \(E(X_i)=\mu\) dan \(\operatorname{Var}(X_i)=\sigma^2<\infty\). Secara independen dari sampel, definisikan \(R_n=n\) dengan peluang \(1/n^2\) dan \(R_n=0\) selainnya. Bandingkan

\[T_n=\bar X_n, \qquad U_n=\bar X_n+R_n\]

untuk menduga \(\mu\) di bawah kerugian kuadratik.

  1. Hitung bias, varians, MSE, dan risiko kuadratik kedua penduga.
  2. Buktikan bahwa \(U_n\to_P\mu\).
  3. Tentukan limit \(E(U_n)\) dan \(E(U_n^2)\). Apakah \(U_n\to\mu\) dalam \(L^2\)?
  4. Nyatakan syarat ekor tambahan yang dapat menghubungkan konvergensi probabilitas dengan konvergensi momen.

Petunjuk 1

Gunakan \(E(R_n)=1/n\), \(E(R_n^2)=1\), dan independensi \(R_n\) dari \(\bar X_n\).

Petunjuk 2

Meskipun nilai tak nol \(R_n\) membesar, peluangnya \(1/n^2\) menuju nol. Untuk momen kedua, peristiwa langka itu tetap menyumbang satu satuan.

Jawaban singkat

\[R(\mu,T_n)=\operatorname{MSE}(T_n)=\frac{\sigma^2}{n},\]

sedangkan

\[\operatorname{Bias}(U_n)=\frac1n,\qquad \operatorname{Var}(U_n)=\frac{\sigma^2}{n}+1-\frac1{n^2},\qquad R(\mu,U_n)=\operatorname{MSE}(U_n)=1+\frac{\sigma^2}{n}.\]

Walaupun \(U_n\to_P\mu\) dan \(E(U_n)\to\mu\),

\[E(U_n^2)\to\mu^2+1,\]

sehingga tidak ada konvergensi \(L^2\). Kontrol integrabilitas seragam (uniform integrability) pada kuadrat diperlukan untuk menukar limit dan momen kedua.

Solusi lengkap

Penduga \(T_n\) tak bias, mempunyai varians \(\sigma^2/n\), dan karena kerugiannya \((t-\mu)^2\), risikonya pada nilai parameter \(\mu\) sama dengan MSE:

\[R(\mu,T_n)=E_\mu(T_n-\mu)^2=\frac{\sigma^2}{n}.\]

Untuk gangguan langka,

\[E(R_n)=n\frac1{n^2}=\frac1n,\qquad E(R_n^2)=n^2\frac1{n^2}=1,\]

sehingga \(\operatorname{Var}(R_n)=1-1/n^2\). Independensi memberi

\[\operatorname{Bias}(U_n)=\frac1n,\qquad \operatorname{Var}(U_n)=\frac{\sigma^2}{n}+1-\frac1{n^2}.\]

Dekomposisi bias–varians menghasilkan

\[R(\mu,U_n)=\operatorname{MSE}(U_n) =\frac{\sigma^2}{n}+1-\frac1{n^2}+\frac1{n^2} =1+\frac{\sigma^2}{n}.\]

LLN memberi \(\bar X_n\to_P\mu\), sedangkan untuk setiap \(\varepsilon>0\) dan \(n>\varepsilon\),

\[P(|R_n|>\varepsilon)=\frac1{n^2}\to0.\]

Jadi \(R_n\to_P0\), dan Slutsky memberi \(U_n\to_P\mu\). Secara eksplisit, peluang penyimpangan dapat dibatasi oleh jumlah peluang penyimpangan \(\bar X_n\) dan peluang \(R_n\ne0\).

Momen pertama memang konvergen: \(E(U_n)=\mu+1/n\to\mu\). Namun

\[\begin{aligned} E(U_n^2) &=\operatorname{Var}(U_n)+\{E(U_n)\}^2\\ &=\frac{\sigma^2}{n}+1-\frac1{n^2} +\left(\mu+\frac1n\right)^2\\ &=\mu^2+1+\frac{\sigma^2+2\mu}{n} \longrightarrow\mu^2+1. \end{aligned}\]

Karena \(E(U_n-\mu)^2\to1\), konvergensi \(L^2\) gagal. Contoh ini memperkuat peringatan kontrol ekor pada Solusi lengkap: konvergensi probabilitas ditambah integrabilitas seragam dari barisan \(U_n^2\), misalnya batas seragam momen \(E|U_n|^{2+\delta}\) untuk suatu \(\delta>0\), akan memungkinkan konvergensi momen kedua. Syarat itu justru gagal karena peristiwa ekor yang langka menghasilkan nilai sebesar \(n\).

Masalah 5 — kecukupan, minimalitas, kelengkapan, statistik aksesori, dan Basu (10 poin)

Misalkan \(X_1,X_2\) iid eksponensial dengan laju \(\lambda>0\), dan definisikan

\[T=X_1+X_2,\qquad A=\frac{X_1}{X_1+X_2}.\]
  1. Nyatakan ukuran dominan dan himpunan dukungan bersama, lalu gunakan teorema faktorisasi untuk membuktikan bahwa \(T\) cukup bagi \(\lambda\).
  2. Gunakan kriteria rasio fungsi kemungkinan untuk membuktikan bahwa \(T\) minimal cukup.
  3. Buktikan kelengkapan \(T\) melalui keunikan transformasi Laplace.
  4. Turunkan hukum bersama \((T,A)\), buktikan bahwa \(A\) aksesori dan independen dari \(T\), lalu jelaskan tepat bagaimana Basu berlaku.

Petunjuk 1

Fungsi kemungkinan gabungan adalah \(\lambda^2e^{-\lambda(x_1+x_2)}\) pada kuadran positif. Untuk minimalitas, bandingkan fungsi kemungkinan pada dua titik data.

Petunjuk 2

Gunakan invers \(x_1=at\), \(x_2=(1-a)t\), dengan Jacobian mutlak \(t\). Distribusi \(T\) adalah Gamma dengan parameter bentuk 2 dan parameter laju \(\lambda\).

Jawaban singkat

Model didominasi oleh ukuran Lebesgue pada himpunan dukungan bersama \((0,\infty)^2\). Statistik \(T\) cukup dan minimal cukup, serta lengkap karena transformasi Laplace \(E_\lambda h(T)=0\) untuk semua \(\lambda>0\) memaksa \(h=0\) hampir di mana-mana. Transformasi memberi

\[f_{T,A}(t,a)=\lambda^2te^{-\lambda t} =f_T(t)\,\mathbf1\{0<a<1\},\]

jadi \(A\sim\operatorname{Uniform}(0,1)\), bersifat aksesori, dan independen dari \(T\). Semua asumsi teorema Basu terpenuhi.

Solusi lengkap

Ukuran dominannya adalah ukuran Lebesgue dua dimensi dan himpunan dukungan esensial \((0,\infty)^2\) sama untuk setiap \(\lambda>0\). Densitas gabungan dapat difaktorkan sebagai

\[f_\lambda(x_1,x_2) =\lambda^2e^{-\lambda T(x)} \mathbf1\{x_1>0,x_2>0\} =g_\lambda(T(x))h(x),\]

dengan \(h\) bebas parameter. Asumsi dominasi dan himpunan dukungan bersama untuk faktorisasi telah diperiksa, sehingga \(T\) cukup.

Untuk dua titik \(x,y\) pada himpunan dukungan,

\[\frac{f_\lambda(x)}{f_\lambda(y)} =\exp[-\lambda\{T(x)-T(y)\}].\]

Rasio ini konstan terhadap \(\lambda\in(0,\infty)\) tepat ketika \(T(x)=T(y)\). Karena densitas positif pada himpunan dukungan bersama, kriteria rasio yang dipakai pada Solusi lengkap berlaku dan membuktikan kecukupan minimal, bukan sekadar kecukupan.

Selanjutnya \(T\sim\operatorname{Gamma}(2,\text{laju }\lambda)\), dengan densitas \(f_T(t)=\lambda^2te^{-\lambda t}\) untuk \(t>0\). Andaikan \(E_\lambda|h(T)|<\infty\) dan \(E_\lambda h(T)=0\) untuk setiap \(\lambda>0\). Maka

\[0=\lambda^2\int_0^\infty h(t)t e^{-\lambda t}\,dt \quad\text{untuk semua }\lambda>0.\]

Keunikan transformasi Laplace, di bawah integrabilitas yang baru dinyatakan, memaksa \(h(t)t=0\) hampir di mana-mana. Karena \(t>0\), \(h(t)=0\) hampir di mana-mana, sehingga \(T\) lengkap.

Transformasi \((x_1,x_2)\mapsto(t,a)\) mempunyai invers \(x_1=at,x_2=(1-a)t\), Jacobian mutlak \(t\), dan domain \(t>0,0<a<1\). Jadi

\[f_{T,A}(t,a)=\lambda^2te^{-\lambda t} \mathbf1\{t>0,0<a<1\} =f_T(t)f_A(a),\]

dengan \(f_A(a)=1\) pada \((0,1)\). Hukum \(A\) tidak memuat \(\lambda\), jadi \(A\) aksesori; faktorisasi densitas bersama juga membuktikan independensi secara langsung. Teorema Basu berlaku karena \(T\) telah dibuktikan cukup dan lengkap bagi keluarga yang sama dan \(A\) telah dibuktikan aksesori. Tanpa kelengkapan, sifat aksesori dan kecukupan saja tidak menjamin independensi; bandingkan pemeriksaan asumsi pada Solusi lengkap.

Masalah 6 — metode momen, MLE global, dan batas parameter Pareto (10 poin)

Pertimbangkan model Pareto

\[f_\alpha(x)=\alpha x^{-(\alpha+1)}\mathbf1\{x\ge1\}, \qquad \alpha>0,\]

dan data \((2,2,4,4)\).

  1. Verifikasi normalisasi dan tentukan kapan \(E_\alpha X\) hingga. Bahas apakah metode momen berbasis rataan terdefinisi pada seluruh model, lalu hitung solusi formalnya pada submodel \(\alpha>1\).
  2. Turunkan MLE pada model penuh \(\alpha>0\) dan buktikan bahwa ia maksimum global.
  3. Ulangi optimisasi pada submodel terbuka \(\alpha>1\) dan submodel tertutup \(\alpha\ge1\). Bedakan maksimum, supremum, dan titik ujung.
  4. Gunakan invariansi untuk parameter \(\psi=1/\alpha\), termasuk pada dua submodel tersebut.

Petunjuk 1

Gunakan \(E_\alpha X=\alpha/(\alpha-1)\) hanya ketika \(\alpha>1\). Untuk data, \(\bar x=3\) dan \(S=\sum_i\log x_i=6\log2\).

Petunjuk 2

Hingga konstanta data, \(\ell(\alpha)=4\log\alpha-\alpha S\). Periksa kelengkungan dan kedua batas, bukan hanya akar skor.

Jawaban singkat

Momen pertama hanya hingga untuk \(\alpha>1\); pada submodel itu solusi MM adalah \(\widehat\alpha_{\rm MM}=3/2\). Pada model penuh,

\[\widehat\alpha_{\rm MLE}=\frac4{6\log2} =\frac2{3\log2}\approx0{,}9618\]

adalah maksimum global. Pada \(\alpha>1\), supremum didekati ketika \(\alpha\downarrow1\) tetapi tidak dicapai, jadi MLE tidak ada; pada \(\alpha\ge1\), MLE berada di batas \(\alpha=1\). Untuk \(\psi=1/\alpha\), MLE penuh adalah \(3\log2/2\), sedangkan kasus terbuka tetap tidak mempunyai MLE dan kasus tertutup memberi \(\widehat\psi=1\).

Solusi lengkap

Normalisasi mengikuti

\[\int_1^\infty\alpha x^{-(\alpha+1)}\,dx=1.\]

Momen pertama adalah

\[E_\alpha X=\alpha\int_1^\infty x^{-\alpha}\,dx =\frac{\alpha}{\alpha-1}\]

hanya untuk \(\alpha>1\); integral divergen untuk \(0<\alpha\le1\). Karena itu MM berbasis momen pertama bukan prosedur yang terdefinisi pada seluruh model \(\alpha>0\). Jika model terlebih dahulu dibatasi ke \(\alpha>1\), persamaan \(3=\alpha/(\alpha-1)\) memberi \(\widehat\alpha_{\rm MM}=3/2\).

Untuk data yang diberikan,

\[S=2\log2+2\log4=6\log2.\]

Fungsi log-kemungkinan, termasuk suku data yang tidak memengaruhi optimisasi, adalah

\[\ell(\alpha)=4\log\alpha-(\alpha+1)S.\]

Skor dan kelengkungan adalah

\[\ell'(\alpha)=\frac4\alpha-S, \qquad \ell''(\alpha)=-\frac4{\alpha^2}<0.\]

Akar tunggal persamaan skor adalah \(4/S=2/(3\log2)\approx0{,}9618\). Karena \(\ell\) cekung tegas, \(\ell(\alpha)\to-\infty\) ketika \(\alpha\downarrow0\) dan ketika \(\alpha\to\infty\), sebab \(S>0\). Jadi akar itu maksimum global pada model penuh.

Pada submodel \(\alpha>1\), maksimum tak berkendala berada di luar ruang. Lebih konkret, \(S=6\log2>4\), sehingga \(\ell'(1)=4-S<0\), dan skor makin kecil untuk \(\alpha>1\). Fungsi kemungkinan menurun pada seluruh submodel: supremumnya didekati ketika \(\alpha\downarrow1\), tetapi 1 tidak termasuk ruang, sehingga MLE tidak ada. Jika ruang ditutup menjadi \(\alpha\ge1\), titik ujung \(\widehat\alpha=1\) menjadi maksimum berkendala. Mengganti akar yang berada di luar ruang dengan 1 tanpa menyebut penutupan ruang akan mengubah model.

Peta \(\psi=1/\alpha\) satu-ke-satu pada model penuh, sehingga invariansi MLE memberi

\[\widehat\psi=\frac1{\widehat\alpha}=\frac S4 =\frac{3\log2}{2}\approx1{,}0397.\]

Submodel \(\alpha>1\) bersesuaian dengan \(0<\psi<1\): supremum didekati saat \(\psi\uparrow1\), tetap tidak tercapai. Submodel tertutup bersesuaian dengan \(0<\psi\le1\) dan memberi MLE 1. Invariansi mentransformasi maksimum yang ada; ia tidak mengubah supremum tak tercapai menjadi penduga. Audit global ini sejalan dengan pemisahan akar skor dan maksimum pada Solusi lengkap serta kegagalan momen pada Solusi lengkap.

Masalah 7 — informasi, batas bawah Cramér–Rao, pivot eksak, dan Wald (10 poin)

Misalkan \(X_1,\ldots,X_n\) iid eksponensial dengan parameter skala \(\mu>0\):

\[f_\mu(x)=\mu^{-1}e^{-x/\mu}\mathbf1\{x\ge0\}.\]
  1. Turunkan skor, informasi Fisher sampel, dan batas bawah Cramér–Rao (CRLB) bagi penduga tak bias untuk \(\mu\). Nyatakan asumsi teorema yang dipakai.
  2. Tunjukkan bahwa \(\bar X\) mencapai CRLB.
  3. Untuk \(n=3\) dan \(S=\sum_iX_i=6\), bentuk selang kepercayaan eksak 95% bagi \(\mu\) dari pivot \(2S/\mu\sim\chi^2_{2n}\). Gunakan \(\chi^2_{6,0.025}\approx1{,}237344\) dan \(\chi^2_{6,0.975}\approx14{,}449375\).
  4. Bentuk selang Wald 95% dengan \(z_{0.975}\approx1{,}96\), lalu audit perbedaannya dari selang eksak.

Petunjuk 1

Skor satu observasi adalah \((X-\mu)/\mu^2\). Himpunan dukungan data tetap, tetapi CRLB juga memerlukan ketakbiasan target dan pertukaran diferensiasi–integral.

Petunjuk 2

Selesaikan \(\chi^2_{6,0.025}\le2S/\mu\le\chi^2_{6,0.975}\) dengan hati-hati karena \(\mu>0\). Galat baku Wald substitusi adalah \(\bar X/\sqrt n\).

Jawaban singkat

\[I_n(\mu)=\frac n{\mu^2},\qquad \operatorname{Var}_\mu(T)\ge\frac{\mu^2}{n}.\]

Rataan sampel tak bias dan variansnya \(\mu^2/n\), jadi mencapai batas. Untuk data, \(\widehat\mu=2\). Selang eksak adalah

\[\left[\frac{12}{\chi^2_{6,0.975}}, \frac{12}{\chi^2_{6,0.025}}\right] \approx[0{,}8305,9{,}6982],\]

sedangkan selang Wald kira-kira \([-0{,}2632,4{,}2632]\), yang bahkan keluar dari ruang parameter.

Solusi lengkap

Logaritma densitas satu observasi adalah \(\ell(\mu;X)=-\log\mu-X/\mu\). Maka

\[s_\mu(X)=-\frac1\mu+\frac X{\mu^2} =\frac{X-\mu}{\mu^2}.\]

Karena \(E_\mu X=\mu\) dan \(\operatorname{Var}_\mu(X)=\mu^2\), skor berharapan nol dan

\[I_1(\mu)=E_\mu s_\mu(X)^2=\frac1{\mu^2}, \qquad I_n(\mu)=\frac n{\mu^2}.\]

CRLB untuk target \(g(\mu)=\mu\) memberi \(\operatorname{Var}_\mu(T)\ge[g'(\mu)]^2/I_n(\mu)=\mu^2/n\). Asumsi pokoknya adalah dominasi Lebesgue dengan himpunan dukungan bersama \([0,\infty)\), \(\mu\) titik interior \((0,\infty)\), diferensiabilitas dan dominasi yang membolehkan pertukaran turunan–integral, informasi hingga dan positif, serta penduga \(T\) tak bias dengan momen yang diperlukan. Tanpa syarat itu, nama CRLB tidak cukup.

Rataan sampel memenuhi

\[E_\mu\bar X=\mu, \qquad \operatorname{Var}_\mu(\bar X)=\frac{\mu^2}{n},\]

sehingga mencapai batas dalam kelas tak bias yang dicakup teorema. Ini tidak menyiratkan keunggulan terhadap semua penduga bias di bawah semua fungsi kerugian, sesuai pembatasan pada Solusi lengkap.

Jumlah \(S\) berdistribusi Gamma dengan parameter bentuk \(n\) dan parameter skala \(\mu\), sehingga \(Q=2S/\mu\sim\chi^2_{2n}\) secara eksak. Untuk \(n=3,S=6\),

\[P\left(\chi^2_{6,0.025}\le\frac{12}{\mu} \le\chi^2_{6,0.975}\right)=0{,}95.\]

Membalik ketaksamaan positif memberi

\[C_{\rm eksak} =\left[\frac{12}{\chi^2_{6,0.975}}, \frac{12}{\chi^2_{6,0.025}}\right] \approx[0{,}8305,9{,}6982].\]

Cakupan 0,95 berasal dari hukum Gamma eksak dan memerlukan model iid eksponensial yang benar, tetapi tidak memerlukan \(n\) besar.

MLE skala adalah \(\widehat\mu=\bar X=S/n=2\). Wald memakai normalitas akar-\(n\) dan galat baku berbasis taksiran \(2/\sqrt3\), sehingga

\[C_{\rm Wald}=2\pm1{,}96\frac2{\sqrt3} \approx[-0{,}2632,4{,}2632].\]

Selang ini hanya aproksimatif; perhitungan informasi Fisher yang eksak tidak menjadikan aproksimasi Normal eksak. Titik ujung negatif memperlihatkan pelanggaran domain pada sampel kecil. Pivot menjaga positivitas dan cakupan eksak, meskipun selangnya lebar karena hanya tiga observasi. Perbedaan ini merupakan gejala sampel berhingga, bukan kontradiksi dengan ekuivalensi asimtotik.

Masalah 8 — delta, bootstrap, cakupan, dan kasus nonreguler (10 poin)

Misalkan \(X_i\sim N(\mu,1)\) iid, \(n=100\), dan \(\bar x=0{,}4\). Parameter sasarannya \(\psi=e^\mu\), dengan penduga \(\widehat\psi=e^{\bar X}\). Sebuah bootstrap nonparametrik yang sudah dijalankan memberi kuantil \(q^*_{0.025}=1{,}21\) dan \(q^*_{0.975}=1{,}82\) bagi \(\widehat\psi^*\).

  1. Turunkan galat baku delta substitusi dan selang Wald berbasis delta 95%.
  2. Hitung selang bootstrap persentil dan dasar, lalu jelaskan distribusi yang didekati bootstrap.
  3. Pada audit cakupan dengan 40.000 kumpulan data independen, cakupan teramati adalah \(0{,}943\) untuk cakupan nominal \(0{,}95\). Hitung MCSE substitusi, skor selisih, dan selang Monte Carlo kira-kira 95%.
  4. Jelaskan mengapa metode delta dan bootstrap biasa tersebut tidak dapat diterapkan secara mekanis pada parameter sasaran \(h(\mu)=|\mu|\) ketika \(\mu=0\).

Petunjuk 1

Turunan \(g'(\mu)=e^\mu\), sedangkan \(\operatorname{Var}(\bar X)=1/n\). Selang dasar memantulkan kuantil: \([2\widehat\psi-q^*_{0.975},2\widehat\psi-q^*_{0.025}]\).

Petunjuk 2

Gunakan \(\sqrt{0{,}943(0{,}057)/40000}\) untuk MCSE substitusi. Pada target absolut di nol, \(\sqrt n|\bar X|=|Z|\), tetapi \(|\cdot|\) tidak dapat didiferensiasikan di nol.

Jawaban singkat

\(\widehat\psi=e^{0{,}4}\approx1{,}4918\), galat baku delta \(0{,}14918\), dan selang Wald berbasis delta kira-kira \([1{,}1994,1{,}7842]\). Selang persentil adalah \([1{,}21,1{,}82]\), sedangkan selang dasar kira-kira \([1{,}1636,1{,}7736]\). MCSE cakupan adalah \(0{,}001159\), selisihnya sekitar \(-6{,}04\) MCSE, dan selang Monte Carlo sekitar \([0{,}9407,0{,}9453]\). Pada \(h(\mu)=|\mu|\) di nol, distribusi limitnya adalah Normal terlipat dan bootstrap terpusat biasa mempunyai limit kondisional yang bergantung pada data, sehingga syarat keteraturan gagal.

Solusi lengkap

CLT (bahkan kenormalan eksak bagi \(\bar X\)) dan metode delta dengan \(g'(\mu)=e^\mu\ne0\) memberi

\[\sqrt n(\widehat\psi-\psi)\Rightarrow N(0,e^{2\mu}).\]

Dengan substitusi,

\[\widehat\psi=e^{0{,}4}\approx1{,}4918247, \qquad \widehat{\operatorname{se}}_\Delta =\frac{e^{0{,}4}}{10}\approx0{,}1491825.\]

Jadi

\[C_\Delta=1{,}4918247\pm1{,}96(0{,}1491825) \approx[1{,}1994,1{,}7842].\]

Selang ini menggunakan aproksimasi linear pada fungsi halus; kenormalan \(\bar X\) tidak menjadikan \(e^{\bar X}\) Normal tepat.

Selang persentil langsung memakai kuantil bootstrap:

\[C_{\rm perc}=[1{,}21,1{,}82].\]

Selang dasar adalah

\[\begin{aligned} C_{\rm basic} &=[2(1{,}4918247)-1{,}82,\ 2(1{,}4918247)-1{,}21]\\ &\approx[1{,}1636,1{,}7736]. \end{aligned}\]

Bootstrap mengganti distribusi populasi dengan distribusi empiris dan mendekati distribusi pengambilan sampel dari galat penduga, secara kondisional pada data; kuantilnya bukan probabilitas posterior bagi parameter. Konstruksi kedua selang mengikuti Solusi lengkap.

Jika indikator cakupan dari 40.000 kumpulan data independen diperlakukan sebagai Bernoulli, MCSE berbasis taksiran adalah

\[\widehat{\operatorname{MCSE}} =\sqrt{\frac{0{,}943(1-0{,}943)}{40000}} \approx0{,}0011592.\]

Skor selisih terhadap cakupan nominal adalah

\[\frac{0{,}943-0{,}95}{0{,}0011592}\approx-6{,}04,\]

dan selang Monte Carlo sederhana

\[0{,}943\pm1{,}96(0{,}0011592) \approx[0{,}9407,0{,}9453].\]

Di bawah asumsi replikasi independen, implementasi yang benar, serta model dan nilai parameter audit yang ditetapkan sebelum simulasi, selisih ini terlalu besar untuk dijelaskan sebagai galat acak Monte Carlo biasa dan menunjukkan cakupan di bawah nominal pada titik audit tersebut. Hasil ini belum membuktikan kekurangan cakupan seragam pada semua parameter; MCSE mengukur ketidakpastian Monte Carlo akibat replikasi, bukan bias prosedur, sesuai pemisahan pada Solusi lengkap.

Untuk \(h(\mu)=|\mu|\) di \(\mu=0\), fungsi tidak dapat didiferensiasikan. Karena \(Z_n=\sqrt n\bar X\sim N(0,1)\),

\[\sqrt n\{|\bar X|-0\}=|Z_n|\Rightarrow|Z|,\]

bukan limit Normal linear. Dalam bootstrap biasa, jika \(Z^*=\sqrt n(\bar X^*-\bar X)\) mendekati Normal baku secara kondisional, maka galat terpusat berbentuk

\[\sqrt n\{|\bar X^*|-|\bar X|\} =|Z_n+Z^*|-|Z_n|.\]

Hukum kondisionalnya bergantung pada nilai acak \(Z_n\) dan tidak konvergen ke satu hukum tetap yang sama dengan \(|Z|\). Jadi hipotesis diferensiabilitas delta dan syarat keteraturan bootstrap \(n\)-dari-\(n\) gagal; selang persentil/dasar tidak memperoleh jaminan cakupan dari argumen reguler tadi. Kegagalan ini disebabkan nondiferensiabilitas, bukan contoh turunan pertama nol.

Masalah 9 — ukuran uji, nilai-p, daya, ukuran sampel, dan inversi (10 poin)

Misalkan \(X_1,\ldots,X_n\) iid \(N(\mu,4)\), dengan varians diketahui. Uji dua sisi \(H_0:\mu=0\) melawan \(H_1:\mu\ne0\) memakai \(Z=\sqrt n\bar X/2\) dan nilai kritis eksak \(z_{0.975}=1{,}9599639845\ldots\approx1{,}96\).

  1. Buktikan bahwa ukuran uji tepat 0,05. Untuk \(n=25\) dan \(\bar x=0{,}9\), hitung statistik dan nilai-p.
  2. Turunkan fungsi daya dua sisi. Hitung daya pada \(\mu=1\) ketika \(n=25\).
  3. Cari ukuran sampel bulat terkecil yang memberi daya sedikitnya 0,90 pada \(|\mu|=1\). Gunakan \(z_{0.90}\approx1{,}282\) dan verifikasi kandidat di sekitar pembulatan.
  4. Inversikan keluarga uji beraras 0,05 untuk membentuk selang kepercayaan 95% dan hitung selang data tersebut.

Petunjuk 1

Di bawah \(\mu\), \(Z\sim N(\delta,1)\) dengan \(\delta=\sqrt n\mu/2\). Daya adalah jumlah peluang pada dua ekor terhadap ambang \(\pm z_{0.975}\); gunakan 1,96 hanya untuk perhitungan numerik dengan pembulatan.

Petunjuk 2

Untuk perencanaan, syarat ekor dominan adalah \(\sqrt n/2\gtrsim z_{0.975}+z_{0.90}\); gunakan 1,96 dan 1,282 sebagai pendekatan numerik. Setelah membulatkan, hitung daya dua ekor pada \(n=42\) dan \(n=43\).

Jawaban singkat

Dengan nilai kritis eksak \(z_{0.975}\), ukuran uji tepat 0,05; angka 1,96 yang dicetak sendiri akan memberi ukuran uji \(0{,}0499958\). Pada data, \(Z_{\rm obs}=2{,}25\) dan \(p\approx0{,}02445\). Fungsi daya adalah

\[\beta_n(\mu)=\Phi(-z_{0.975}-\delta)+1-\Phi(z_{0.975}-\delta), \qquad \delta=\frac{\sqrt n\mu}{2}.\]

Pada \(n=25,\mu=1\), daya sekitar \(0{,}7054\). Ukuran sampel minimum adalah 43: daya pada 42 sekitar \(0{,}89980\), sedangkan pada 43 sekitar \(0{,}90637\). Selang hasil inversi adalah \([0{,}116,1{,}684]\).

Solusi lengkap

Di bawah \(H_0\), varians diketahui dan kenormalan tepat memberi \(Z\sim N(0,1)\). Karena distribusi kontinu dan \(z_{0.975}\) adalah kuantil Normal baku eksak,

\[P_0(|Z|>z_{0.975})=2\{1-\Phi(z_{0.975})\}=0{,}05,\]

jadi ukuran uji tepat, bukan asimtotik. Jika 1,96 dipakai sebagai nilai kritis literal, ukuran ujinya \(2\{1-\Phi(1{,}96)\}\approx0{,}0499958\); sepanjang solusi ini 1,96 hanya pendekatan numerik untuk kuantil eksak. Untuk \(n=25\),

\[Z_{\rm obs}=\frac{5(0{,}9)}2=2{,}25, \qquad p=2\{1-\Phi(2{,}25)\}\approx0{,}02445.\]

Nilai-p adalah peluang ekor di bawah hipotesis nol bagi statistik yang setidaknya sama ekstremnya dengan data, bukan peluang hipotesis nol benar dan bukan daya.

Di bawah parameter \(\mu\), \(Z\sim N(\delta,1)\) dengan \(\delta=\sqrt n\mu/2\). Karena itu

\[\begin{aligned} \beta_n(\mu) &=P_\mu(Z<-z_{0.975})+P_\mu(Z>z_{0.975})\\ &=\Phi(-z_{0.975}-\delta)+1-\Phi(z_{0.975}-\delta). \end{aligned}\]

Untuk \(n=25,\mu=1\), \(\delta=2{,}5\), sehingga

\[\beta_{25}(1)\approx\Phi(-4{,}46)+1-\Phi(-0{,}54) \approx0{,}7054.\]

Untuk target daya 0,90 pada efek positif 1, ekor atas dominan. Syarat konservatif yang hampir eksak adalah

\[\frac{\sqrt n}{2}-z_{0.975}\gtrsim z_{0.90},\]

atau

\[n\gtrsim\{2(1{,}959964+1{,}281552)\}^2\approx42{,}03.\]

Kandidat bulat adalah 43. Pemeriksaan dengan rumus dua ekor penuh memberi \(\beta_{42}(1)\approx0{,}89980<0{,}90\) dan \(\beta_{43}(1)\approx0{,}90637\), sehingga 43 memang minimum. Simetri Normal memberi daya sama pada \(\mu=-1\). Pembulatan tanpa pemeriksaan dapat memilih ukuran yang gagal tipis, seperti 42.

Nilai \(\mu_0\) tidak ditolak tepat ketika

\[\left|\frac{\sqrt n(\bar X-\mu_0)}2\right|\le z_{0.975}.\]

Menyelesaikan terhadap \(\mu_0\) memberi selang yang dual terhadap uji,

\[C(X)=\left[\bar X-z_{0.975}\frac2{\sqrt n}, \bar X+z_{0.975}\frac2{\sqrt n}\right].\]

Pada data, dengan \(z_{0.975}\approx1{,}96\),

\[C=[0{,}9-0{,}784,0{,}9+0{,}784]=[0{,}116,1{,}684].\]

Nol tidak berada di selang, selaras dengan nilai-p di bawah 0,05. Ukuran uji, daya, dan dualitas ini eksak karena sampel Normal, varians 4 diketahui, dan ukuran sampel ditetapkan; mengganti varians dengan estimasi memerlukan pivot \(t\), seperti dibedakan pada Solusi lengkap.

Masalah 10 — audit terpadu model geometrik (10 poin)

Misalkan \(X_1,\ldots,X_5\) iid geometrik dengan

\[P_p(X=x)=p(1-p)^{x-1},\qquad x=1,2,\ldots,\quad 0<p<1.\]

Data teramati adalah \((1,1,2,3,3)\), sehingga \(S=\sum_iX_i=10\). Sebuah laporan menyatakan:

  1. “Akar skor \(\widehat p=1/2\) otomatis maksimum global dan tak bias.”
  2. \(S\) cukup; banyaknya observasi bernilai satu, \(A=\sum_i\mathbf1\{X_i=1\}\), bersifat aksesori dan karena itu independen dari \(S\).”
  3. “Informasi Fisher membuat selang Wald 95% eksak.”
  4. “Untuk \(H_0:p=0{,}4\) melawan \(p>0{,}4\), nilai-p adalah peluang ekor \(P_{0.4}(S\ge10)\).”

Audit keempat klaim. Turunkan fungsi kemungkinan dan tentukan maksimum global, termasuk kasus batas \(S=5\). Untuk membahas bias pada seluruh ruang sampel, definisikan penduga perluasan pada penutupan ruang parameter, \(\widetilde p=5/S\), yang bernilai 1 saat \(S=5\), dan bedakan ia dari MLE model terbuka. Buktikan kecukupan dan kecukupan minimal; periksa sifat aksesori; hitung selang Wald; hitung nilai-p eksak yang benar; dan inversikan uji satu sisi untuk memberi batas bawah kepercayaan 95%.

Petunjuk 1

Fungsi kemungkinan umum adalah \(p^5(1-p)^{S-5}\). Untuk bias penduga perluasan, gunakan kekonveksan tegas \(s\mapsto1/s\) dan \(E_pS=5/p\); jangan menyebut nilai batasnya sebagai MLE pada model terbuka.

Petunjuk 2

Nilai \(p\) besar menghasilkan waktu tunggu kecil. Peristiwa \(S\le10\) setara dengan memperoleh sedikitnya lima sukses dalam sepuluh percobaan Bernoulli.

Jawaban singkat

Untuk data, \(\widehat p=5/10=1/2\) adalah maksimum global. Pada model terbuka, MLE hanya ada ketika \(S>5\); jika \(S=5\), supremum berada di \(p\uparrow1\) dan tidak dicapai. Penduga perluasan \(\widetilde p=5/S\) terdefinisi pada semua sampel dan berbias ke atas karena \(E_p(\widetilde p)>p\). Statistik \(S\) cukup dan minimal cukup. Namun \(A\sim\operatorname{Binomial}(5,p)\), sehingga bukan statistik aksesori. Informasi Fisher pada \(\widehat p\) adalah 40 dan selang Wald kira-kira \([0{,}1901,0{,}8099]\), hanya aproksimatif. Nilai-p eksak yang benar ialah

\[P_{0.4}(S\le10)=P\{\operatorname{Binomial}(10,0{,}4)\ge5\} \approx0{,}366897.\]

Batas bawah eksak menyelesaikan \(P_L\{\operatorname{Binomial}(10,L)\ge5\}=0{,}05\), yaitu \(L\approx0{,}22244\), sehingga selangnya \([L,1)\).

Solusi lengkap

Terhadap ukuran hitung pada \(\{1,2,\ldots\}^5\), himpunan dukungan bersama tidak bergantung pada \(p\). Fungsi kemungkinan adalah

\[L(p;x)=p^5(1-p)^{S-5},\]

dan untuk \(S>5\),

\[\ell'(p)=\frac5p-\frac{S-5}{1-p} =\frac{5-pS}{p(1-p)}, \qquad \ell''(p)=-\frac5{p^2}-\frac{S-5}{(1-p)^2}<0.\]

Jadi titik stasioner \(\widehat p=5/S\) unik. Ketika \(S>5\), fungsi log-kemungkinan menuju \(-\infty\) pada \(p\downarrow0\) dan \(p\uparrow1\), sehingga titik tersebut maksimum global. Untuk data, \(S=10\) memberi \(\widehat p=1/2\). Jika \(S=5\), semua waktu tunggu bernilai satu dan \(L(p)=p^5\) meningkat; supremum didekati saat \(p\uparrow1\), tetapi tidak dicapai dalam \((0,1)\). Jadi laporan harus membedakan kasus interior \(S>5\) dari ketiadaan MLE pada ruang parameter terbuka. Karena peristiwa \(S=5\) berpeluang \(p^5>0\), tidak ada peubah acak MLE yang terdefinisi pada seluruh ruang sampel model terbuka.

Agar bias tetap merupakan pertanyaan yang terdefinisi, tetapkan penduga perluasan pada penutupan ruang parameter, \(\widetilde p=5/S\). Ia sama dengan MLE model terbuka pada \(S>5\), tetapi mengambil nilai batas 1—bukan MLE—pada \(S=5\). Karena \(S\) tak degenerat untuk \(0<p<1\), fungsi \(1/s\) konveks tegas dan Jensen memberi

\[E_p\widetilde p=5E_p(1/S)>\frac5{E_pS} =\frac5{5/p}=p.\]

Jadi penduga perluasan \(\widetilde p\) berbias ke atas pada sampel berhingga; tidak sah menyebut ini bias MLE model terbuka karena MLE itu tidak ada pada \(S=5\). Kecekungan fungsi kemungkinan dan ketakbiasan adalah pertanyaan yang berbeda.

Faktorisasi \(p^5(1-p)^{S-5}\) pada himpunan dukungan bersama membuktikan bahwa \(S\) cukup. Untuk dua titik data \(x,y\),

\[\frac{f_p(x)}{f_p(y)}=(1-p)^{S(x)-S(y)}.\]

Rasio konstan terhadap \(p\in(0,1)\) tepat ketika \(S(x)=S(y)\), jadi kriteria rasio membuktikan kecukupan minimal. Sebaliknya, setiap indikator \(\mathbf1\{X_i=1\}\) adalah Bernoulli\((p)\), sehingga

\[A\sim\operatorname{Binomial}(5,p).\]

Hukumnya bergantung pada \(p\); \(A\) bukan statistik aksesori. Distribusi kondisional konfigurasi data dengan syarat \(S\) memang bebas parameter, tetapi sifat kondisional itu tidak mengubah hukum marginal \(A\) menjadi bebas parameter. Karena sifat aksesori gagal, tidak ada dasar memakai Basu untuk menyatakan independensi.

Skor satu observasi adalah

\[s_p(X)=\frac1p-\frac{X-1}{1-p} =\frac{1-pX}{p(1-p)}.\]

Dengan \(\operatorname{Var}_p(X)=(1-p)/p^2\),

\[I_1(p)=\frac1{p^2(1-p)}, \qquad I_5(p)=\frac5{p^2(1-p)}.\]

Pada \(\widehat p=1/2\), \(I_5(\widehat p)=40\), jadi galat baku Wald \(1/\sqrt{40}\approx0{,}15811\) dan

\[C_{\rm Wald}=0{,}5\pm1{,}96(0{,}15811) \approx[0{,}1901,0{,}8099].\]

Ini selang asimtotik. Perhitungan informasi Fisher yang eksak tidak menjadikan MLE tepat berdistribusi Normal; untuk sampel berukuran lima, penduga perluasan diskret dan miring, sedangkan logitnya tak hingga ketika semua waktu tunggu satu—tepat pada sampel tempat MLE model terbuka tidak ada.

Untuk alternatif \(p>0{,}4\), waktu tunggu cenderung lebih pendek, sehingga nilai \(S\) yang kecil—bukan yang besar—lebih ekstrem. Peristiwa keberhasilan kelima terjadi paling lambat pada percobaan ke-10, \(S\le10\), tepat ketika sedikitnya lima sukses muncul dalam sepuluh percobaan Bernoulli. Maka

\[\begin{aligned} \text{nilai-}p &=P_{0.4}(S\le10)\\ &=\sum_{k=5}^{10}\binom{10}{k}(0{,}4)^k(0{,}6)^{10-k}\\ &\approx0{,}3668967424. \end{aligned}\]

Hipotesis nol tidak ditolak pada taraf 5%. Menginversi seluruh keluarga uji berekor bawah memberi batas \(L\) yang memenuhi

\[\sum_{k=5}^{10}\binom{10}{k}L^k(1-L)^{10-k}=0{,}05.\]

Solusi numeriknya \(L\approx0{,}222441\), sehingga selang satu sisi adalah \([0{,}222441,1)\) untuk ruang parameter terbuka. Karena distribusinya diskret, prosedur hasil inversi mempunyai cakupan sedikitnya 95% dan umumnya konservatif, sejalan dengan mekanisme pada Solusi lengkap. Audit terpadu ini memisahkan himpunan dukungan, optimisasi global, bias pengambilan sampel, reduksi melalui statistik cukup, sifat aksesori, aproksimasi Wald, dan ekor eksak alih-alih menyimpulkan semuanya dari satu akar skor.

Rubrik penilaian — total 100 poin

Setiap masalah bernilai 10 poin. Nilai penuh mensyaratkan derivasi yang dapat diperiksa, asumsi pokok teorema, dan diagnosis mekanisme kegagalan. Jawaban numerik tanpa alur penalaran tidak memperoleh poin derivasi. Menyebut hasil bootstrap atau aproksimasi tanpa hukum pengambilan sampel dan domain tidak memperoleh poin validitas.

Rubrik Masalah 1 (10 poin)

Rubrik Masalah 2 (10 poin)

Rubrik Masalah 3 (10 poin)

Rubrik Masalah 4 (10 poin)

Rubrik Masalah 5 (10 poin)

Rubrik Masalah 6 (10 poin)

Rubrik Masalah 7 (10 poin)

Rubrik Masalah 8 (10 poin)

Rubrik Masalah 9 (10 poin)

Rubrik Masalah 10 (10 poin)