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.

Balance for positive and negative outcomes

Definition

Let Σ and B be nonempty finite sets, and let t∈{1,2} index two groups. In group t, feature type σ has proportion atσ≥0, where ∑σatσ=1, and total mass Nt>0. The positive binary outcome Y=1 has probability pσ∈[0,1] for feature type σ, with the same pσ in both groups. A common randomized assignment sends feature type σ to bin b∈B with probability Xσb≥0, where ∑bXσb=1, independently of group and outcome; bin b has score vb∈[0,1]. Set ρt=∑σatσpσ and μt=Ntρt. Assume 0<μt<Nt for each group, so both outcome classes have positive mass. Define the mean score among positive outcomes and among negative outcomes in group t by

αt=∑σ∈Σ∑b∈BatσpσXσbvbρt,βt=∑σ∈Σ∑b∈Batσ(1−pσ)Xσbvb1−ρt,

where the finite group law is Pr⁡t(Σ=σ,Y=1,B=b)=atσpσXσb and Pr⁡t(Σ=σ,Y=0,B=b)=atσ(1−pσ)Xσb. The assignment is balanced for positive outcomes if α1=α2, and balanced for negative outcomes if β1=β2. These are class-conditioned mean-score criteria; they do not assert equal mean scores over whole groups or equal thresholded error rates.

Definition references

KMR's finite group-conditioned risk-score assignment and calibration: fixes the finite joint law, the [0,1] score, and the group base rate ρt. The nondegeneracy condition 0<μt<Nt is imposed here.

Kleinberg, Mullainathan, and Raghavan, complete 23-page paper: §1.1 defines balance for the negative and positive classes as equality of the corresponding groupwise mean assigned scores.

Applied Statistics: From Data to Decisions, full chapter: the section “The impossibility: you cannot satisfy them all” states both score-balance criteria and distinguishes them from the binary-classifier theorem.

Depends on

Used by

Dependency tree · two levels

2 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