Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedprecheck pass
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.

A mean-matched count law can be overdispersed relative to Poisson

Example

Let a count response Y have mass 1/2 at 0 and mass 1/2 at 20. This law has the same mean as a Poisson response with mean 10, but a much larger variance.

Facts & Assumptions

Given: The two-point count law in the Example and a comparison Poisson GLM with a(ϕ)=1, b(θ)=eθ, and θ=log⁡10.

[F1]

Generalized linear model with explicit conditioning: a GLM pairs a response family with a link g(μi)=ηi=xiTβ and a natural parameter map satisfying b′(θi)=μi.

[F2]

Mean and variance from the cumulant function: for the stated family, mean is b′(θ) and variance is a(ϕ)b′′(θ).

[F3]

For the comparison Poisson response, the support is N0, the base measure is counting measure, and f(k;θ)=e−eθekθ/k!. The exponential series and addition formula normalize these masses. Its first two parameter derivatives are ∂θf(k;θ)=f(k;θ) (k−eθ) and ∂θ2f(k;θ)=f(k;θ) {(k−eθ)2−eθ}. On any compact interval [u,v] they are dominated by the summable sequence evk{1+(k+ev)2+ev}/k!; the ratio test gives summability. Reindexing the same exponential series gives E[Y2]=λ2+λ<∞ for λ=eθ, so the family satisfies the fixed-support, moment, and derivative-envelope hypotheses. (The real exponential function and the number e by a power series, The exponential addition formula exp⁡(x+y)=exp⁡(x)exp⁡(y), The factorial n! and the falling factorial nk‾, defined by recursion in N, The exponential function is smooth and (exp⁡)′=exp⁡)

Verification

1.1givenalgebra

For the two-point law, E[Y]=(0+20)/2=10 and E[Y2]=(02+202)/2=200, so Var⁡(Y)=200−102=100.

2.1F1F2F3step 1.1algebra∎

For the comparison Poisson model, θ=log⁡10 gives b′(θ)=b′′(θ)=10, so [F2] gives mean and variance both equal to 10. Since the constructed law has the same mean and variance 100>10, it is overdispersed relative to this Poisson variance specification and is not a Poisson response law.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

43 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.