Statistics Bayesian inference Counterexample
Lindley's paradox
Builds on Bayes factorP-valueNormal distribution
Counterexample
Let be i.i.d. normal , so that . Test against . Suppose the data give with , for every . The two-sided p-value is then for , whatever is. So a test of level is at the edge of rejecting for every . For the Bayesian comparison, give the prior under , with fixed. Under the density of is that of , and under it is that of . A direct computation gives the Bayes factor of against : As with fixed, . So for any prior probability , the posterior probability of tends to , while the p-value stays at .
Remarks
The p-value and the posterior probability answer different questions, and for large samples they can point in opposite directions. For large , a fixed means that is very close to . Such a value is much better explained by than by a spread over a range of width about . The conflict also depends on the prior: as with fixed, as well, so a vague prior under favours .
Reading path
To understand this page from the ground up, read these 75 pages in order. The foundations come first.
- Construction of the reals from Cauchy sequences concept
- Element definition
- Integers object
- Ordered field definition
- Proposition concept
- Random experiment concept
- Rational numbers object
- Real numbers object
- Set definition
- Ring of integers statement
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Union definition
- Sample space definition
- The rationals form a field statement
- Existential quantifier definition
- Universal quantifier definition
- Disjoint sets definition
- Cartesian product definition
- Subset definition
- Union of a family of sets definition
- The rationals form an ordered field statement
- Uniqueness quantifier definition
- Universal set definition
- Binary relation definition
- Partition of a set definition
- Order on the reals definition
- Power set definition
- Complement definition
- Function definition
- Interval definition
- Injective function definition
- Indicator function definition
- Preimage of a set definition
- Sigma-algebra definition
- Countable set definition
- Event definition
- Borel sigma-algebra definition
- Probability axioms concept
- Probability measure definition
- Probability distribution definition
- Dirac measure definition
- Probability space definition
- Conditional probability definition
- Random variable definition
- Cumulative distribution function definition
- Discrete random variable definition
- Law of a random variable definition
- Independence of two events definition
- Law of total probability statement
- Random variable with a density definition
- Probability mass function definition
- Bayes' theorem statement
- Identically distributed random variables definition
- Mutual independence of events definition
- Probability density function definition
- Prior probability concept
- Continuous uniform distribution definition
- Independent sigma-algebras definition
- Density of the normal distribution definition
- Independence of random variables definition
- Normal distribution definition
- Independent and identically distributed random variables definition
- Statistic definition
- Likelihood function definition
- Statistical hypothesis test concept
- Bayes factor definition
- P-value definition
- Lindley's paradox counterexample
Further reading
About this page
| Tag | 75P3EJPH81 |
|---|---|
| URI | m2://75P3EJPH81 |
| Kind | counterexample |
| Writing | W0 stub |
| MSC | 62F15, 62F03 |
| Uses | Bayes factor, P-value, Normal distribution |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
- edge refutes or not_instance_of out (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.