How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Families with a monotone likelihood ratio
Definition
Assume AC. Let be a statistical experiment with , dominated by a fixed sigma-finite positive measure . Let be a statistic. Choose the simultaneous finite-valued nonnegative density representatives from Likelihood densities.
For , define the extended likelihood ratio on by The family has a monotone likelihood ratio (MLR) in when, for each ordered pair , there is a nondecreasing Borel function such that for -almost every . The set where both densities vanish is irrelevant. No common exceptional null set for all parameter pairs is asserted. This definition concerns the likelihood ratio of the full data; need not be sufficient.
Remarks
Because the ratio is nondecreasing in , increasing the parameter favors larger values of . The convention where the lower-parameter density vanishes records any alternative-only mass and keeps the direction of the upper-tail rule explicit.
Depends on
Used by
Dependency tree · two levels
19 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- George Deligiannidis, Foundations of Statistical Inference, Definition 13.4 and Theorem 13.5, PDF pp. 77–78 (standard reference, not scraped)
- Jun Shao, Stat 610 Mathematical Statistics, Lecture 11, Definition 8.3.16, PDF pp. 6–7 (standard reference, not scraped)
- Karl B. Gregory, STAT 713 Lecture 11, slides 9–12, annotated PDF pp. 13–22 (standard reference, not scraped)