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.
The uniform endpoint MLE has rate n, not square-root n
Statement refuted
For an integer , iid with fixed have an endpoint MLE with a nonzero root- fluctuation: does not converge in probability to zero.
Facts & Assumptions
Given: , IID observations with density , and .
IID means a common law and mutual independence (Identical distribution and IID families); a probability law has total mass one (Probability measures and probability spaces).
QMD at an interior point requires a square-root-density score remainder with squared norm (Quadratic-mean differentiability at a parameter).
For real random variables, means convergence of CDFs at every continuity point of the limiting CDF (Convergence in distribution for real random variables).
means for every (Convergence in probability).
Counterexample
The parameter space is and the common dominating measure is Lebesgue measure. The MLE is understood almost surely; on the null event , assign any fixed positive value.
Given: The Uniform model and IID sample in the Statement.
On the probability-one event , the likelihood at a candidate is . It is zero for , while for it equals , with strict inequality if . Thus maximizes the likelihood almost surely; on the null event , use the arbitrary positive assignment specified above.
For , independence and the uniform CDF give . For fixed this formula applies for all sufficiently large , and its limit is .
For every small enough that , the gained support interval has and . If the model were QMD at , the score term in [F2] would vanish on this interval and the squared remainder integral would be at least . But , contradicting the required remainder. Thus the model is not QMD at .
Therefore the nonnegative variable converges in distribution to the exponential law with rate , whose CDF is for and for . The limiting CDF is continuous, so [F3] applies at every real .
For any and all , the exact maximum formula gives . Thus by [F4], refuting the stated nonzero root- fluctuation and confirming the faster rate in step 2.1.
Depends on
Used by
Dependency tree · two levels
16 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
- Peter Bartlett, Theoretical Statistics, Stat 210B Lecture 15 (standard reference, not scraped)
- Peter Bartlett, Theoretical Statistics, Stat 210B Lecture 22 (standard reference, not scraped)
- Yen-Chi Chen, UW STAT 581 Chapter 3: M-estimation and the maximum likelihood estimator (standard reference, not scraped)