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 , let the data space contain one point with the same sampling law at both parameters, and let the action space be . Under zero-one loss , the deterministic rule that always chooses has risks and , hence worst-case risk . The randomized rule that chooses each action with probability has risk at both parameters and is minimax with value .
Facts & Assumptions
Given: The finite two-parameter decision problem and loss in the Example.
A probability measure has total mass one (Probability measures and probability spaces).
A randomized decision rule is a probability kernel from data to actions (Randomized procedures as probability kernels).
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).
Finite expectations are probability-weighted sums (Expectation agrees with the published finite weighted sum).
Verification
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 , define for ; 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 is a probability kernel by [F2]. Deterministic rules are the cases and .
By the finite expectation formula [F4] and the loss-risk definition [F3], the rule with probability of action has risks and . Its worst-case risk is therefore , with equality at .
The two deterministic rules have or , so each has worst-case risk . The fair randomized rule has worst-case risk , and step 1.2 shows no rule can do better. Thus the minimax value is 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.