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.
Normal location fitted under the wrong variance
Example
Assume the Axiom of Choice (The Axiom of Choice). Fix with . Let the data law be , but fit the location model over . Since every fitted law has variance while has variance , differs from every fitted law. The pseudo-true parameter is , and the MLE is asymptotically normal with variance ; the fitted model's score second moment at is .
Facts & Assumptions
Given: The data law and fitted model in the Example.
AC is assumed for the scalar normal-law convention and the theorem's multivariate central limit step (The Axiom of Choice).
The pseudo-true parameter maximizes the actual-data expected log-likelihood (Pseudo-true parameter under misspecification).
The normal law is the affine image of , whose density is (Standard normal and normal laws).
IID means mutually independent observations with one common law (Identical distribution and IID families).
The misspecified sandwich theorem applies under a separated interior population optimum, uniform criterion and Hessian laws, finite score second moment, and an approximate score root (Misspecified M-estimator sandwich limit).
For a nonnegative random variable and , (Markov's inequality for random variables).
Expectation and variance are the integrals and centered second moments under the indicated probability law (Expectation of a nonnegative or integrable random variable, Moments, variance, and covariance on a probability space).
means for every (Convergence in probability).
Expectations of products of independent integrable variables factor (Expectations factor over finite products of independent random variables).
The Lebesgue integral is linear on : integrable real functions and their finite linear combinations are integrable, and their integrals are linear; by [F6], this applies to expectation under .
Verification
Given: iid with , , and the fitted family for .
Let , so . Direct integration gives , so symmetry gives . Since and at both tails, integration by parts gives and . Hence , , and . The fitted log-density is . The functions , , and are integrable by the finite absolute first and second moments just established. Thus the expanded log-density is a finite linear combination of integrable functions, and [F9] gives . Therefore , so is the unique separated maximizer, and .
The uniform criterion error is bounded by . Put and . All terms of the following single-variable expansions are integrable by the finite first, second, and fourth moments in step 1.1. Linearity [F9] therefore gives , , and . Moreover and , so [F8] applies to these variables. By independence and [F8], all cross expectations and vanish for . For either centered family or , makes every mixed product integrable. Thus [F9] permits termwise expectation of each finite square expansion and gives and . Applying [F5] to these squared deviations gives and by [F7], proving the required uniform law.
The exact constrained MLE is , the projection of the sample mean onto . step 2.1 and [F7] give , hence and the separated-criterion consistency condition holds. On the score equation is exact: . The complementary event has probability tending to zero, so . The score is , its second moment at under is , and the sample Hessian is identically , so the Hessian law holds with .
All hypotheses of [F4] now hold. It gives . The fitted model's score second moment at is , so the sandwich variance differs from the inverse fitted-model information because .
Depends on
- Pseudo-true parameter under misspecification
- Misspecified M-estimator sandwich limit
- Identical distribution and IID families
- Standard normal and normal laws
- The Axiom of Choice
- Expectation of a nonnegative or integrable random variable
- Moments, variance, and covariance on a probability space
- Convergence in probability
- Markov's inequality for random variables
- Expectations factor over finite products of independent random variables
- The Lebesgue integral is linear on $L^1(\mu)$
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
42 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
- Yen-Chi Chen, UW STAT 581 Chapter 3: M-estimation and the maximum likelihood estimator (standard reference, not scraped)
- Aad W. van der Vaart, Semiparametric Statistics, extended St Flour lecture notes, Lecture 6 §6.5 (standard reference, not scraped)