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.
Hedge
Definition
Let be integers, let be the expert set, and let . At each round , a finite loss vector is revealed after the learner's choice. Initialize for every . At round , set Let be the pre-round history sigma-algebra generated by the previously played choices and all previously revealed loss vectors (any random loss vector is assumed measurable on the protocol's probability space). The weights and are -measurable. Draw a measurable expert choice with conditional distribution and play . After observing the whole vector , update The output is the distributions , the sampled choices , and the final weights. The protocol assumes a probability space carrying the stated measurable draws; no probability-space construction is claimed.
Definition references
Online decision protocol: the learner chooses before current-round feedback and its randomized choices are measurable.
Adversary and feedback models: full-information feedback reveals the entire expert-loss vector after the learner's choice.
Random elements and real random variables: each sampled expert is a measurable finite-valued random element.
The real exponential function and the number by a power series: the update uses the real exponential function.
Hedge's second-order and static-regret bounds ↗: proof step 2.1 establishes positive finite weights and normalizers by induction for every finite nonnegative loss sequence, independently of the fixed-loss assumption used later for expected regret.
Depends on
Used by
- Exp3 with importance-weighted loss feedback Algorithm
- Exp4 with unbiased estimated rewards Algorithm
- Exp3 and full-information Hedge update differently Example
- Hedge with two experts over two rounds Example
- Negative entropy gives normalized multiplicative weights Example
- Hedge's second-order and static-regret bounds Theorem
Dependency tree · two levels
14 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
- Elad Hazan, Introduction to Online Convex Optimization, second edition (standard reference, not scraped)
- Tengyu Ma, Lecture Notes for Machine Learning Theory, Chapter 11 (standard reference, not scraped)