Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Multiclass margins, ramp loss, and empirical margin loss

Definition

Let K≥2, let D be a Borel probability measure on Rd×{1,…,K}, and let F:Rd→RK be a continuous score map. At (x,y) its multiclass margin is mF(x,y):=F(x)y−max⁡j≠yF(x)j. The predicted label is y^F(x):=min⁡{j∈{1,…,K}:F(x)j=max⁡1≤l≤KF(x)l}. Its population zero-one error is L0(F):=D({(x,y):y^F(x)≠y}). For γ>0, the ramp loss is ℓγ(r):={0,r<−γ,1+r/γ,−γ≤r≤0,1,r>0. The population ramp risk is Rγ(F):=∫ℓγ(−mF(x,y)) D(d(x,y)). For a sample S=((x1,y1),…,(xn,yn)) of length n≥1, the empirical ramp risk and empirical margin loss are R^γ,S(F):=1n∑i=1nℓγ(−mF(xi,yi)),L^γ,S(F):=1n∑i=1n1{mF(xi,yi)≤γ}. The score coordinates are continuous, and finite maxima, comparisons, and the piecewise-linear ramp preserve Borel measurability. Thus the classification event and ramp loss in the displayed integrals are Borel sets or functions, so the risks are well-defined for D.

Definition references

The Borel sigma-algebra of a topological space: Borel subsets are members of the sigma-algebra generated by open sets.

Probability measures and probability spaces: a probability measure is a measure of total mass one.

Supervised prediction problems: fixes measurable instance and label spaces, a joint law, predictors, and measurable losses.

Population and empirical risk: defines population risk as an extended nonnegative integral and empirical risk as a finite sample average.

Bartlett, Foster, and Telgarsky, §3.1 and Appendix A.2: gives the multiclass margin operator and the ramp convention.

Mohri, Lecture 4, pp. 28–31: treats confidence margin, empirical margin loss, and margin-based risk bounds for binary scores.

Depends on

Used by

Dependency tree · two levels

16 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