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.
Score and Fisher information
Definition
Let be a statistical experiment dominated by a fixed sigma-finite positive measure , and let be selected finite-valued measurable Radon–Nikodym density representatives as in Likelihood densities. The simultaneous selection of this arbitrary-index family uses the Axiom of Choice. No measurability of or common exceptional null set for an arbitrary uncountable is implied.
Let be open in , and fix a parameter at which the selected family is differentiable for -almost every , with measurable coordinate derivatives. On , define the log-likelihood and the score Set where , which is -null. For , this is .
For , the scalar Fisher information is When and is square-integrable, the Fisher information matrix is ; its entry is . No scalar information is defined here for a vector parameter. The information matrix is a second-moment matrix by definition; it equals the score covariance matrix when the score has mean zero.
The derivatives, score and information are defined relative to the specified differentiable representative family. The Radon–Nikodym definition alone does not supply parameter differentiability or a canonical score version.
Depends on
- The Axiom of Choice
- Dominated statistical experiments
- Likelihood densities
- Random elements and real random variables
- Expectation of a nonnegative or integrable random variable
- Moments, variance, and covariance on a probability space
- The derivative $f'(c) = \lim_{x \to c} \frac{f(x) - f(c)}{x - c}$ of $f : A \to \mathbb{R}$ at a point $c \in A$ that is a limit point of $A$, and differentiability on a set
- Higher derivatives and the classes $C^k$ and $C^\infty$
- The natural logarithm as the inverse of the exponential function
- The chain rule, in one line from Carathéodory: if $g$ is differentiable at $c$ and $f$ is differentiable at $g(c)$, then $f \circ g$ is differentiable at $c$ with $(f \circ g)'(c) = f'(g(c))\,g'(c)$
- The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t
- Real and complex inner product spaces, with the inner product linear in the first argument
Used by
- Uniform moving support invalidates the naive score bound Counterexample
- Efficient score and efficient information Definition
- Wald, score, and likelihood-ratio statistics for regular nulls Definition
- A finite nuisance-score projection Example
- A moving uniform support contributes a missing score boundary term Example
- Bernoulli score, information, and attainment of the scalar bound Example
- Gaussian reparameterization gives two gradient estimators Example
- Normal location score, information, and attainment Example
- Mean-zero score and the information identity Theorem
- Multivariate Cramér–Rao bound Theorem
- Scalar Cramér–Rao lower bound Theorem
- The likelihood-ratio score gradient is unbiased on fixed support Theorem
Dependency tree · two levels
48 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, SB2.1 Foundations of Statistical Inference, §3.1–3.2, PDF pp. 21–24 (standard reference, not scraped)
- Peter Kempthorne, MIT 18.655 Lecture 13: Unbiased Estimation and Risk Inequalities, PDF pp. 6–8, 16–17 (standard reference, not scraped)