Bagaimana cara mendapatkan sampel Gibbs?

11

Saya sebenarnya ragu untuk menanyakan hal ini, karena saya khawatir saya akan dirujuk ke pertanyaan lain atau Wikipedia di Gibbs sampling, tetapi saya tidak merasa mereka menggambarkan apa yang ada di tangan.

Diberikan probabilitas bersyarat : p ( x | y ) y = y 0 y = y 1 x = x 0 1p(x|y)

p(x|y)y=y0y=y1x=x01426x=x13446

Dan probabilitas bersyarat : p ( y | x ) y = y 0 y = y 1 x = x 0 1p(y|x)

p(y|x)y=y0y=y1x=x01323x=x13747

Kita dapat secara unik menghasilkan probabilitas gabungan :funique=p(x,y)

p(x,y)y=y0y=y1p(x)x=x0a0a1c0x=x1a2a3c1p(y)b0b1

Karena, walaupun kami memiliki tidak diketahui, kami memiliki lebih banyak ( ) persamaan linear:842+3

a0+a1+a2+a3=1b0+b1=1c0+c1=1

Sebaik:

14b0=a034b0=a226(1b0)=a146(1b0)=a313c0=a023c0=a137(1c0)=a247(1c0)=a3

Ini dengan cepat diselesaikan oleh , . Yaitu dengan menyamakan dengan . Ini menghasilkan dan sisanya mengikuti.c0=34b023c0=a124b0=a126(1b0)=a1b0=25

p(x,y)y=y0y=y1p(x)x=x0110210310x=x1310410710p(y)410610

Jadi, sekarang kita pergi ke kasing kontinu. Bisa dibayangkan untuk pergi ke interval dan menjaga struktur di atas bijaksana (dengan lebih banyak persamaan daripada tidak diketahui). Namun, apa yang terjadi ketika kita pergi ke (titik) contoh variabel acak? Bagaimana cara pengambilan sampel

xap(x|y=yb)ybp(y|x=xa)

iteratif, mengarah ke ? Setara dengan kendala , bagaimana cara memastikan misalnya? Demikian juga dengan . Bisakah kita menuliskan batasan dan mengambil sampel Gibbs dari prinsip pertama?p(x,y)a0+a1+a2+a3=1XYp(x,y)dydx=1Yp(y|x)dy=1

Jadi, saya tidak tertarik pada cara melakukan pengambilan sampel Gibbs, yang sederhana, tapi saya tertarik pada cara menurunkannya, dan lebih baik bagaimana membuktikannya bekerja (mungkin dalam kondisi tertentu).

Anne van Rossum
sumber

Jawaban:

9

Menghitung distribusi bersama dari distribusi bersyarat secara umum sangat sulit. Jika distribusi bersyarat dipilih secara sewenang-wenang, distribusi bersama yang sama bahkan mungkin tidak ada. Dalam hal ini, bahkan menunjukkan bahwa distribusi bersyarat konsisten umumnya sulit. Salah satu hasil yang dapat digunakan untuk memperoleh distribusi bersama adalah lemma Brook , dengan memilih status tetap , meskipun saya belum pernah berhasil menggunakannya sendiri untuk tujuan itu. Untuk lebih lanjut tentang topik itu, saya akan melihat karya Julian Besag.

p(x)p(x)=ip(xix<i,x>i)p(xix<i,x>i),
x

Untuk membuktikan bahwa pengambilan sampel Gibbs berhasil, lebih baik mengambil rute yang berbeda. Jika rantai Markov diimplementasikan oleh algoritma sampling memiliki distribusi sebagai distribusi invarian, dan tidak dapat direduksi dan aperiodik , maka rantai Markov akan bertemu dengan distribusi tersebut (Tierney, 1994) .p

Pengambilan sampel Gibbs akan selalu meninggalkan invarian distribusi gabungan dari mana distribusi bersyarat diturunkan: Secara kasar, jika dan kami mengambil sampel , kemudian(x0,y0)p(x0,y0)x1p(x1y0)

(x1,y0)p(x0,y0)p(x1y0)dx0=p(x1y0)p(y0)=p(x1,y0).

Yaitu, memperbarui dengan pengambilan sampel bersyarat tidak mengubah distribusi sampel.x

Namun, pengambilan sampel Gibbs tidak selalu dapat direduksi . Meskipun kita selalu dapat menerapkannya tanpa merusak barang-barang (dalam arti bahwa jika kita sudah memiliki sampel dari distribusi yang diinginkan itu tidak akan mengubah distribusi), itu tergantung pada distribusi gabungan apakah sampling Gibbs benar-benar akan menyatu dengannya (cukup sederhana syarat untuk irreducibilitas adalah bahwa densitasnya positif di mana-mana, ).p(x)>0

Lucas
sumber
Masalah menarik tentang kompatibilitas. Saya sekarang sedang memeriksa "Kompatibilitas Distribusi Bersyarat Hingga Terbatas" (Song et al.) Yang menggunakan "rasio matriks" untuk membangun kompatibilitas dan keunikan. Jadi, Gibbs tidak dapat diturunkan dari kendala ini karena mereka tidak ditegakkan untuk memulainya. Saya dapat membayangkan bahwa itu mungkin mengembalikan beberapa distribusi bersama yang tidak tepat (jumlah> 1) jika distribusi bersyarat misalnya tidak cocok. Entah bagaimana, bagaimanapun saya merasa bahwa apa yang saya lakukan adalah sesuatu yang deterministik, sesuatu yang mirip dengan transformasi Radon. Pengambilan sampel Gibbs terlihat sangat ... kotor.
Anne van Rossum