Alphabeta Math
AlgorithmAlgorithm: 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.

Hedge

Definition

Let N,T≥1 be integers, let [N]={1,…,N} be the expert set, and let ϵ>0. At each round t=1,…,T, a finite loss vector ℓt=(ℓt(1),…,ℓt(N))∈[0,∞)N is revealed after the learner's choice. Initialize W1(i)=1 for every i∈[N]. At round t, set xt(i):=Wt(i)∑j=1NWt(j),i∈[N], Let Ht−1 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 xt are Ht−1-measurable. Draw a measurable expert choice It∈[N] with conditional distribution P(It=i∣Ht−1)=xt(i)almost surely,i∈[N], and play It. After observing the whole vector ℓt, update Wt+1(i):=Wt(i)exp⁡(−ϵℓt(i)),i∈[N]. The output is the distributions x1,…,xT, the sampled choices I1,…,IT, 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 e 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

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