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

Randomization lowers worst-case risk under zero-one loss

Example

Let Θ={0,1}, let the data space contain one point with the same sampling law at both parameters, and let the action space be {0,1}. Under zero-one loss L(θ,a)=1{a≠θ}, the deterministic rule that always chooses 0 has risks 0 and 1, hence worst-case risk 1. The randomized rule that chooses each action with probability 1/2 has risk 1/2 at both parameters and is minimax with value 1/2.

Facts & Assumptions

Given: The finite two-parameter decision problem and loss in the Example.

[F1]

A probability measure has total mass one (Probability measures and probability spaces).

[F2]

A randomized decision rule is a probability kernel from data to actions (Randomized procedures as probability kernels).

[F3]

Risk is expected loss; worst-case risk and minimax value use a supremum and infimum over rules (Loss functions and risk, Bayes risk and minimax risk).

[F4]

Finite expectations are probability-weighted sums (Expectation agrees with the published finite weighted sum).

Verification

technique · direct finite verification
1.1givenF1F2

The one-point data law assigns mass one to its only point under either parameter, so it is a probability measure by [F1]. For each q∈[0,1], define δq(∗,B)=q1{1∈B}+(1−q)1{0∈B} for B⊆{0,1}; its two singleton masses are nonnegative and sum to one, hence it is a probability measure. Evaluations are measurable on the one-point data space, so δq is a probability kernel by [F2]. Deterministic rules are the cases q=0 and q=1.

1.2F3F4algebra

By the finite expectation formula [F4] and the loss-risk definition [F3], the rule with probability q of action 1 has risks R(0)=q and R(1)=1−q. Its worst-case risk is therefore max⁡(q,1−q)≥(q+1−q)/2=1/2, with equality at q=1/2.

2.1step 1.2algebra∎

The two deterministic rules have q=0 or q=1, so each has worst-case risk 1. The fair randomized rule has worst-case risk 1/2, and step 1.2 shows no rule can do better. Thus the minimax value is 1/2 and randomization strictly improves worst-case risk over every deterministic rule.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

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