Intuisi grafis statistik pada bermacam-macam

Pada posting ini , Anda dapat membaca pernyataan:

Model biasanya diwakili oleh titik $\theta$ pada manifold dimensi terbatas.

Pada Diferensial Geometri dan Statistik oleh Michael K Murray dan John W Rice konsep-konsep ini dijelaskan dalam prosa dapat dibaca bahkan mengabaikan ekspresi matematika. Sayangnya, hanya ada sedikit ilustrasi. Hal yang sama berlaku untuk posting ini di MathOverflow.

Saya ingin meminta bantuan dengan representasi visual untuk dijadikan sebagai peta atau motivasi menuju pemahaman yang lebih formal tentang topik tersebut.

Apa poin di manifold? Kutipan dari pencarian online ini , tampaknya mengindikasikan bahwa itu bisa berupa titik data, atau parameter distribusi:

Statistik pada manifold dan geometri informasi adalah dua cara berbeda di mana geometri diferensial memenuhi statistik. Sementara dalam statistik manifold, itu adalah data yang terletak pada manifold, dalam geometri informasi data berada di $R^n$ , tetapi keluarga parameter dari fungsi kepadatan probabilitas yang diminati diperlakukan sebagai manifold. Manifold semacam itu dikenal sebagai manifold statistik.

Saya telah menggambar diagram ini yang terinspirasi oleh penjelasan ruang singgung di sini :

$C^\infty$ $(\mathcal M)$ $p\in \mathcal M$ $(\psi: \mathbb R \to \mathcal M)$ $p.$ $p,$ $C^\infty (t)\to \mathbb R,$ $\left(f \circ \psi \right )'(t)$ $\psi$ $\mathcal M$ $p,$ $f,$ $f$ $p$

Kesetaraan (atau salah satu dari kesetaraan yang diterapkan pada statistik) dibahas di sini , dan akan berkaitan dengan kutipan berikut :

$s$

$\mathcal R^s$ $s.$

$\mathbb R$ $\psi: \mathbb R \to \mathcal M$ $f$ $\left(f \circ \psi \right)'(t).$ $f: \mathbb M \to \mathbb R$ $\psi$ $f$

LATAR BELAKANG STUFF:

Dari catatan saya percaya konsep-konsep ini tidak langsung berkaitan dengan pengurangan dimensi non-linear dalam ML. Mereka tampak lebih mirip dengan geometri informasi . Berikut ini kutipannya:

$R^n$ $n$

Informasi berikut dari Statistik pada Manifol dengan Aplikasi ke Pemodelan Bentuk Deformasi oleh Oren Freifeld :

$M$ $TpM$ $p \in M$ $TpM$ $M$ $TpM$ $p$ $M$ $TpM$ $M$ $p$ $M$ terletak sepenuhnya di salah satu sisinya. Elemen TpM disebut vektor singgung.

[...] Pada bermacam-macam, model statistik sering dinyatakan dalam ruang singgung.

[...]

$M$

$D_L = \{p_1, \cdots , p_{NL}\} \subset M$

$D_S = \{q_1, \cdots , q_{NS}\} \subset M$

Let dan mewakili dua, mungkin tidak diketahui, poin di . Diasumsikan bahwa kedua dataset memenuhi aturan statistik berikut: $µ_L$ $µ_S$ $M$

$\{\log_{\mu L} (p_1), \cdots , \log_{\mu L}(p_{NL})\} \subset T_{\mu L}M, \quad \log_{\mu L}(p_i) \overset{\text{i.i.d}}{\sim} \mathscr N(0, \Sigma_L)$ $\{\log_{\mu S} (q_1), \cdots , \log_{\mu S}(q_{NS})\} \subset T_{\mu S}M, \quad \log_{\mu S}(q_i) \overset{\text{i.i.d}}{\sim} \mathscr N(0, \Sigma_S)$

[...]

Dengan kata lain, ketika diekspresikan (sebagai vektor garis singgung) di ruang tangen (ke ) di , itu dapat dilihat sebagai satu set sampel iid dari Gaussian mean-nol dengan kovarians . Demikian juga, ketika diekspresikan dalam ruang singgung di dapat dilihat sebagai satu set sampel iid dari Gaussian mean-nol dengan kovarians . Ini menggeneralisasi kasus Euclidean. $D_L$ $M$ $\mu_L$ $\Sigma_L$ $D_S$ $\mu_S$ $\Sigma_S$

Pada referensi yang sama, saya menemukan contoh online terdekat (dan hanya praktis) dari konsep grafis ini yang saya tanyakan:

Apakah ini menunjukkan bahwa data terletak pada permukaan manifold yang dinyatakan sebagai vektor singgung, dan parameter akan dipetakan pada bidang Cartesian?

distributions manifold-learning information-geometry topologies Antoni Parellada
sumber

Apa yang kamu coba lakukan di sini? Gambar manifold? Kebanyakan dari mereka terlalu membosankan untuk menggambar. Misalnya, coba distribusi Gaussian.

Aksakal

Saya biasanya menganggap spasi parameter sebagai ruang vektor, misalnya . Jika saya berpikir tentang "manifold" parametrik, hal pertama yang terlintas dalam pikiran adalah "sistem kendala" misalnya . Kalau tidak, mengapa ruangnya tidak "lengkap"? (Apa yang mendefinisikan subset yang merupakan "manifold"?)

θ \in R^{n}

$\theta\in\mathbb{R}^n$

f (θ) = 0

$f(\theta)=0$

GeoMatt22

Semoga @whuber akan datang dan menguraikan komentar yang dia buat dalam obrolan.

gung - Reinstate Monica

Jawaban singkat untuk pertanyaan Anda yang diedit adalah "tidak." Ruang singgung menggambarkan kecepatan semua jalur halus di manifold. Peran utamanya dalam statistik adalah dalam memaksimalkan kemungkinan, di mana manifold menggambarkan keluarga parameter yang halus. Dalam "manifold learning," manifold digunakan sebagai pendekatan lokal terhadap data - ini adalah versi melengkung dari "ruang kolom" dalam regresi linier. Di sana, ruang singgung tertanam di dalam ruang Euclide ambient. Secara lokal, ini menggambarkan "arah" data dan bundel normalnya memberikan arah "kesalahan".

whuber

Ya: ruang cotangent at dapat didefinisikan sebagai turunan dari kuman fungsi di sekitar . Ruang singgung pada (karena itu!) Hanyalah dualnya. dan memperoleh topologi - yaitu, mengakui gagasan dua ruang tangen dan menjadi "dekat" - dengan cara koordinat grafik di . Ini mengurangi definisi (dan masalah visualisasi) untuk mendefinisikan ruang tangen . Ini adalah himpunan semua vektor yang berasal dari . Spivak, dalam Calculus on Manifolds

T_{p}^{*} M

$T_p^{*}M$

p

$p$

p

$p$

p

$p$

T^{*} M

$T^{*}M$

T M

$TM$

T_{p} M

$T_pM$

T_{q} M

$T_qM$

M

$M$

T_{x} R^{n}

$T_x\mathbb{R}^n$

x

$x$ , memberikan definisi dasar yang jelas dan semacam ini.

whuber

Jawaban:

Keluarga distribusi probabilitas dapat dianalisis sebagai titik pada manifold dengan koordinat intrinsik yang sesuai dengan parameter dari distribusi. Idenya adalah untuk menghindari representasi dengan metrik yang salah: Univariat Gaussians dapat diplot sebagai titik dalam manifold Euclidean seperti di sisi kanan plot di bawah ini dengan rata-rata di sumbu dan SD di dalam sumbu (setengah positif dalam kasus merencanakan varian): $(\Theta)$ $\mathcal N(\mu,\sigma^2),$ $\mathbb R^2$ $x$ $y$

Namun, matriks identitas (jarak Euclidean) akan gagal mengukur tingkat (dis-) kesamaan antara individu 's: pada kurva normal di sebelah kiri plot di atas, diberikan interval dalam domain, area tanpa tumpang tindih (berwarna biru gelap) lebih besar untuk kurva Gaussian dengan varian yang lebih rendah, bahkan jika rata-rata dijaga tetap. Faktanya, satu-satunya metrik Riemannian yang “masuk akal” untuk manifold statistik adalah metrik informasi Fisher . $\mathrm{pdf}$

Dalam jarak informasi Fisher: pembacaan geometris , Costa SI, Santos SA dan Strapasson JE memanfaatkan kesamaan antara matriks informasi Fisher dari distribusi Gaussian dan metrik dalam model disk Beltrami-Pointcaré untuk mendapatkan formula tertutup.

Kerucut "utara" hiperboloid menjadi manifold non-Euclidean, di mana setiap titik sesuai dengan mean dan standar deviasi (ruang parameter), dan jarak terpendek antara misalnya dan dalam diagram di bawah ini, adalah kurva geodesik, diproyeksikan (peta bagan) ke bidang khatulistiwa sebagai garis lurus hyperparabolic, dan memungkinkan pengukuran jarak antara melalui tensor metrik - metrik informasi Fisher : $x^2 + y^2 - x^2 = -1$ $\mathrm {pdf's,}$ $P$ $Q,$ $\mathrm{pdf's}$ $g_{\mu\nu}\;(\Theta)\;\mathbf e^\mu\otimes \mathbf e^\nu$

D (P (x; θ_{1}), Q (x; θ_{2})) = min_{θ (t) | θ (0) = θ_{1}, θ (1) = θ_{2}} \int_{0}^{1} \sqrt{{(\frac{d θ}{d t})}^{⊤} I (θ) \frac{d θ}{d t} d t}

$D\,\left ( P(x;\theta_1)\,,\,Q(x;\theta_2) \right)=\min_{\theta(t)\,|\,\theta(0)=\theta_1\;,\;\theta(1)=\theta_2}\;\int_0^1 \; \sqrt{\left(\frac{\mathrm d\theta}{\mathrm dt} \right)^\top\;I(\theta)\frac{\mathrm d \theta}{\mathrm dt}dt}$

dengan

I (θ) = \frac{1}{σ^{2}} [\begin{matrix} 1 & 0 \\ 0 & 2 \end{matrix}]

$I(\theta) = \frac{1}{\sigma^2}\begin{bmatrix}1&0\\0&2 \end{bmatrix}$

The Kullback-Leibler divergence berkaitan erat, meskipun kurang geometri dan terkait metrik.

Dan menarik untuk dicatat bahwa Matriks informasi Fisher dapat diartikan sebagai Hessian dari entropi Shannon :

g_{i j} (θ) = - E [\frac{\partial^{2} \log p (x; θ)}{\partial θ_{i} \partial θ_{j}}] = \frac{\partial^{2} H (p)}{\partial θ_{i} \partial θ_{j}}

$g_{ij}(\theta)=-E\left[ \frac{\partial^2\log p(x;\theta)}{\partial \theta_i \partial\theta_j} \right]=\frac{\partial^2 H(p)}{\partial \theta_i \partial \theta_j}$

dengan

H (p) = - \int p (x; θ) \log p (x; θ) d x .

$H(p) = -\int p(x;\theta)\,\log p(x;\theta) \mathrm dx.$

Contoh ini mirip dalam konsepnya dengan peta Bumi stereografi yang lebih umum .

Pembelajaran multidimensi ML atau manifold ML tidak dibahas di sini.

Antoni Parellada
sumber

Ada lebih dari satu cara untuk menghubungkan probabilitas dengan geometri. Saya yakin Anda pernah mendengar tentang distribusi elips (mis. Gaussian). Istilah itu sendiri menyiratkan tautan geometri dan jelas ketika Anda menggambar matriks kovariannya. Dengan manifold, itu hanya menempatkan setiap nilai parameter yang mungkin dalam sistem koordinat. Misalnya, Manifold Gaussian akan berada dalam dua dimensi: . Anda dapat memiliki nilai tetapi hanya varians positif . Oleh karena itu, manifold Gaussian akan menjadi setengah dari seluruh ruang . Tidak terlalu menarik $\mu,\sigma^2$ $\mu\in R$ $\sigma^2>0$ $R^2$

Aksakal
sumber

Saya kira saya berpikir bahwa "manifold" seharusnya memiliki dimensi yang lebih rendah daripada ruang embeddingnya? Jadi setengah ruang tidak akan dihitung?

GeoMatt22

Dengan Gaussian itu bahkan tidak banyak, benar. Anda perlu kendala, jadi itu menjadi semacam pesawat atau garis

Aksakal

Saya mencoba untuk memahami implikasi dari jawaban Anda ... Apakah Anda berarti " sebuah geometri link"? Juga, saya baru saja menemukan posting terkait ini di MathOverflow .

Antoni Parellada

Menjadi lebih menarik dengan metrik yang sesuai ... seperti yang Fisher-Rao, dan kemudian menjadi setengah-tempat hiperbolik Poincare en.wikipedia.org/wiki/Poincar%C3%A9_half-plane_model

mic

Untuk semua: (1) manifold yang menggambarkan keluarga parametrik adalah manifold intrinsik : mereka tidak perlu tertanam dalam ruang vektor apa pun. (2) Mereka lebih dari sekadar manifold yang dapat dibedakan: Informasi Fisher memberi mereka metrik Riemann - jarak lokal - yang memungkinkan mereka dipelajari secara geometris. Ini membuat "setengah dari seluruh ruang" menjadi permukaan melengkung.

R^{2}

$\mathbb{R}^2$

whuber