Optimal Gambling Systems
Optimal Gambling Systems
Until recently, the mathematics of optimal gambling has been primarily con-
cerned with the formulation and proof of variants of the following fact. The
expected terminal fortune of a gambler, whose fortune is always nonnegative,
engaged in any succession of gambles that are fair or unfair to him cannot be larger
than his initial fortune.
These results, though important, do not say how well the gambler can do in
given unfair gambling situations, nor do they suggest, what gambling strategy is
best in his bad situation. These latter problems h'ave their own mathematical
interest, and the underlying ideas used in attacking. them can be applied to establish
various inequalities for wide classes of stochastic prdcesses of theoretical, and
perhaps practical, interest.
Some illustrations of our results in this area, to'be published elsewhere, are
here stated without proof in language that, for brevity, is somewhat informal.
Let r and w be two numbers less than 1. Suppose a gambler whose initial
fortune is positive can make a sequence of bets, on any one of which he can stake
any amount then in his possession. Each bet results in either a gain or a loss,
where the ratio of the possible gain to the possible loss is as i - r to r, the gain
occurs with probability w, and the loss occurs with probability 1 - w.
THEOREM 1. If w > r, there exists k, 0 < k < 1, such that a gambler who stakes
cy wheneverhis fortune is y will have his fortune convergealmost certainly to -+ o or 0,
according as 0 < c < k or c > k. If c = k, the lim sup and lim inf of Ihisfortunes
will almost certainly be + o and 0, respectively.
Let a certain positive G be a gambler's goal. Roughly speaking, a betting
strategy is optimal if it maximizes the probability that the gambler's fortune ever
attains the goal. A gambler plays boldly if he always stakes as much as possible
consistent with the condition that his fortune;never exceed G or become negative.
THEOREM 2. If w < r, bold play is optimal. Bold play is not the only optimal
strategy.
Let g be a random variable bounded below by -1 and of expectation 0-a fair
lottery, so to speak-and let gn, n = 1, 2, ..., be independent, each with the same
distribution as g. For any x, 0 < x < 1, consider any stochastic process f, n = 0,
1, 2, .. .the fortune of a gambler at time n--such that: (i) fo = x; (ii) f, > 0
for all n; (iii) fn+l = fn + Sn+lgn+l,where s--the stake at time n-is nonnegative
and may depend upon fo, ..., fn. Then o- = 'S, s,, ... is a strategy and p(o, x) is
the probability that for some n, fn > 1. Before stating a main result, we note
that well-known theorems easily imply: (iv) For all o-, p(a, x) < x; (v) if g is
bounded above and if its upper bound is attained with positive probability, then
there is a aosuch that p(a, x) = x; (vi) if g is bounded above but its upper bound
is not attained with positive probability, then for all aoand x, p(ac, x) < x but the
sup of p(u, x) over all aois x.
Suppose now that g is unbounded above. It is relatively easy to exhibit a g
1597
such that U(x), the supremum of p(r,x) over all a, is x. It is much more difficult
to see, as Donald Ornstein was the first to do, that there exist g for which U(x) < x.
We now know more:
THEOREM 3. Suppose that g has mean 0 and that Ig has positive mean. Then
in order that U(x) = x it is necessary and sufficient that the following condition hold:
The limit inferior, as z approaches o, of (-z f g)( f g')-~ is 0.
9<z g<z
This research owes much to many, both for ideas and for financial support, as
will be explained in the full publication.
PRINCETON UNIVERSITY
October
Communicated 14, 1960
1. A previous paper' deals with the tangent vectors to the minimal geodesics of
the four-space of general relativity V4,which, according to Einstein, are the paths of
light.2 This means that the tensor gij in the fundamental equation
ds2 = gijdxidxj (1)
is not positive definite. The right-hand member of this equation stands for the
sum of terms as i and j take the values 1 to 4.
This convention is used throughout this paper, namely, that when within a term
the same letter enters as a superscript and subscript, the term stands for the sum
of terms as the index takes the values 1 to 4.
The present paper deals with unit vectors in the V4, that is,
Xl;"Xl;i = 1, a2;iX2;i = 1, X3;iX;i = 1, (2)