User's Guide: Beta count-parameter prior does not match the cited BDA prior
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 2/5
- Tempo stimato
- 1-3 ore
- Idoneità per principianti
- 72/100
- Tipo di issue
- Documentazione
- Chiarezza
- Specificata chiaramente
- Stato di attività
- Attiva
- Stack tecnologico
- markdown
- Ambito
- documentation
Direzione di ricerca
Leggi la sezione “Beta and Dirichlet priors” in src/stan-users-guide/reparameterization.qmd e confronta l’affermazione sul prior e il codice con la sezione 5.3 di BDA3 citata. Decidi quale delle due correzioni proposte mantiene la coerenza matematica della guida, quindi aggiorna il testo e il codice se necessario. Il lavoro è completato quando il prior corrisponde alla spiegazione e la citazione di BDA è corretta.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
In src/stan-users-guide/reparameterization.qmd, section "Beta and Dirichlet priors", the text says: "Following @[GelmanEtAl:2013, Chapter 5] the mean gets a uniform prior and the count parameter a Pareto prior with $p(\lambda) \propto \lambda^{-2.5}$." The code has lambda ~ pareto(0.1, 1.5);, which gives this density for $\lambda > 0.1$.
This is not the BDA prior. BDA3 Section 5.3 uses $p(\alpha, \beta) \propto (\alpha + \beta)^{-5/2}$. This density is on $(\alpha, \beta)$, not on $\lambda$. BDA3 gets it from a uniform prior on $(\alpha / (\alpha + \beta), (\alpha + \beta)^{-1/2})$.
The Jacobian of $(\phi, \lambda) \mapsto (\alpha, \beta) = (\lambda \phi, \lambda (1 - \phi))$ is $\lambda$. Thus:
- The BDA prior on $(\phi, \lambda)$ is $p(\phi, \lambda) \propto \lambda \cdot \lambda^{-5/2} = \lambda^{-3/2}$.
- The User's Guide prior on $(\alpha, \beta)$ is $p(\alpha, \beta) \propto \lambda^{-5/2} / \lambda = (\alpha + \beta)^{-7/2}$.
The exponent $-5/2$ of the $(\alpha, \beta)$ density seems to have been used for $\lambda$ without the Jacobian.
The difference changes the behavior of the prior. Let $u = \lambda^{-1/2}$. For large $\lambda$, $u$ is approximately $\mathrm{sd}(\theta) / \sqrt{\phi (1 - \phi)}$, and $u = 0$ means no variation between groups. The BDA prior is uniform on $u$. The User's Guide prior has density $\propto u^2$ on $u$, which is zero at $u = 0$.
Suggested fix (one of):
- Change the code to
lambda ~ pareto(0.1, 0.5);and the text to $p(\lambda) \propto \lambda^{-3/2}$. Also say that the lower bound 0.1 makes the improper BDA prior proper. - Keep the code and remove the statement that the prior follows BDA.
A proper alternative with the same $\lambda^{-3/2}$ tail is an exponential prior with rate $r$ on $\lambda^{-1/2}$, that is lambda ~ frechet(0.5, square(r)). It approximates a penalized complexity prior with the base model $\lambda = \infty$. Context: https://discourse.mc-stan.org/t/how-to-choose-a-prior-for-the-count-parameter/41653
- Lingua principale
- TeX
- Stelle
- 43
- Fork
- 132
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Ha un modello di pull request
- Nessuna guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di stan-dev/docs
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
bug
Difficoltà 1/5 1-3 ore Idoneità per principianti 78/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
Tutte le issue di stan-dev/docs
Issue simili
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
-
untriaged
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
ubuntu/ubuntu-project-docs#850 ·
I maintainer di solito rispondono entro 1 giorno
-
feedback simulation workshop
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
githubnext/gh-aw-workshop#4755 ·
I maintainer di solito rispondono entro 1 giorno
-
fix
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
idean3885/claude-ops-agent#728 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 67/100