Processing math: 66%

gale


Let Ξ½ be a probability measureMathworldPlanetmath on Cantor space 𝐂, and let s∈[0,∞).

  1. 1.

    A Ξ½-s-supergale is a function d:{0,1}*β†’[0,∞) that satisfies the condition

    d(w)Ξ½(w)sβ‰₯d(w0)Ξ½(w0)s+d(w1)Ξ½(w1)s (1)

    for all w∈{0,1}*, the set of all finite strings of 0’s and 1’s (including e, the empty string).

  2. 2.

    A ν-s-gale is a ν-s-supergale that satisfies the condition with equality for all w∈{0,1}*.

  3. 3.

    A Ξ½-supermartingalePlanetmathPlanetmath is a Ξ½-1-supergale.

  4. 4.

    A Ξ½-martingale is a Ξ½-1-gale.

  5. 5.

    An s-supergale is a ΞΌ-s-supergale, where ΞΌ is the uniform probability measure.

  6. 6.

    An s-gale is a ΞΌ-s-gale.

  7. 7.

    A supermartingale is a 1-supergale.

  8. 8.

    A martingale is a 1-gale.

Put in another way, a martingale is a function d:{0,1}*β†’[0,∞) such that, for all w∈{0,1}*, d(w)=(d(w0)+d(w1))/2.

Let d be a Ξ½-s-supergale, where Ξ½ is a probability measure on 𝐂 and s∈[0,∞). We say that d succeeds on a sequence Sβˆˆπ‚ if

lim sup

The success set of d is S∞[d]={Sβˆˆπ‚|d succeeds on S}. d succeeds on a languagePlanetmathPlanetmath AβŠ†{0,1}* if d succeeds on the characteristic sequence Ο‡A of A. We say that d succeeds strongly on a sequence Sβˆˆπ‚ if

lim infnβ†’βˆžd(S[0..n-1])=∞.

The strong success set of d is Sstr∞[d]={Sβˆˆπ‚|d succeeds strongly on S}.

Intuitively, a supergale d is a betting strategy that bets on the next bit of a sequence when the previous bits are known. s is the parameter that tunes the fairness of the betting. The smaller s is, the less fair the betting is. If d succeeds on a sequence, then the bonus we can get from applying d as the betting strategy on the sequence is unboundedPlanetmathPlanetmath. If d succeeds strongly on a sequence, then the bonus goes to infinityMathworldPlanetmath.

Title gale
Canonical name Gale
Date of creation 2013-03-22 16:43:37
Last modified on 2013-03-22 16:43:37
Owner skubeedooo (5401)
Last modified by skubeedooo (5401)
Numerical id 5
Author skubeedooo (5401)
Entry type Definition
Classification msc 60G46
Classification msc 60G44
Classification msc 60G42
Defines supergale
Defines gale
Defines supermartingale
Defines succeed
Defines succeed strongly
Defines success set
Defines strong success set