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 Bernoulli identity-link boundary leaves the regular family
Example
For one Bernoulli response take , identity link , and . The admissible interior parameter is . The boundary value is a valid degenerate Bernoulli law in the closure, but it is not represented by a finite natural parameter.
Facts & Assumptions
Given: The Bernoulli cumulant , , identity link , and the closure boundary .
Generalized linear model with explicit conditioning: and , where satisfies .
One minimum-norm IRLS step: the scoring step requires finite positive weights and a finite nonzero link derivative at the current iterate.
In this Bernoulli GLM, and ; relative to counting measure the mass is . It is normalized by summing over . Writing the natural-parameter derivatives as and , the first two derivatives have constant integrable bounds on the two-point support, and . Thus the fixed-support, finite-moment, derivative-envelope, and score-moment hypotheses used above hold. (Bernoulli random variables and binomial random variables as sums of independent Bernoulli trials, The exponential function is smooth and , The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t)
Verification
For Bernoulli, , so the finite natural parameter corresponding to is . Under the identity link, ; as , , so is outside the finite-natural-parameter interior.
On the interior, and . Hence [F2] gives as . The boundary therefore violates the finite-weight admissibility in [F3], even though the limiting Bernoulli law itself is a probability measure.
Depends on
- Generalized linear model with explicit conditioning
- General-link score and Fisher information
- One minimum-norm IRLS step
- Bernoulli random variables and binomial random variables as sums of independent Bernoulli trials
- The exponential function is smooth and $(\exp)'=\exp$
- The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
30 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.