Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generated
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.

KMR's finite group-conditioned risk-score assignment and calibration

Definition

Let Σ and B be nonempty finite sets of feature types and score bins. For each group t∈{1,2}, let Nt>0 be its total mass and let atσ≥0 satisfy ∑σ∈Σatσ=1. Let pσ∈[0,1] be the probability of the positive binary outcome Y=1 for feature type σ, with the same pσ in both groups. A randomized risk assignment consists of scores vb∈[0,1] for b∈B and a single matrix Xσb≥0 with ∑b∈BXσb=1 for each σ; conditional on feature type σ, the assignment chooses bin b with probability Xσb, independently of group and outcome. Thus, for a group-t individual chosen according to its feature distribution, Pr⁡t(Σ=σ,Y=1,B=b)=atσpσXσb and Pr⁡t(Σ=σ,Y=0,B=b)=atσ(1−pσ)Xσb, and the assigned score is S=vB. The expected positive mass is μt=Nt∑σatσpσ, and the group base rate is ρt=μt/Nt.

The assignment is calibrated within group t if for every b∈B,

∑σ∈ΣatσpσXσb=vb∑σ∈ΣatσXσb.

This cross-multiplied condition also covers bins with zero assigned mass. The instance permits perfect prediction when pσ∈{0,1} for every feature type with a1σ+a2σ>0, with the bin set and scores allowed to be chosen for this existence question. Assign the occupied types with pσ=0 to a score-0 bin and those with pσ=1 to a score-1 bin, omitting an unused outcome bin. For a prescribed B, at least two bins are needed when both deterministic outcomes occur among occupied types; one bin suffices when only one occurs. A score assignment is perfectly predictive when S=Y almost surely in each group.

Definition references

Probability calibration and calibration error: within each group, full reliability of the binary forecast (1−S,S) gives the calibration identity for each distinct score value. This is the per-bin identity above when every score value occurs in only one bin; if distinct bins share a score, full reliability gives only the aggregate identity across those bins.

Kleinberg, Mullainathan, and Raghavan, complete 23-page paper: §§1.1–1.2 define the finite feature-type, group, randomized-bin model and calibration within each group.

Applied Statistics: From Data to Decisions, full chapter: the section “The impossibility: you cannot satisfy them all” treats calibration within groups for real-valued scores and distinguishes the score theorem from its binary-classifier companion.

Depends on

Used by

Dependency tree · two levels

5 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