# 13.10: Bold Play

- Page ID
- 10264

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)## Basic Theory

### Preliminaries

Recall that with the strategy of bold play in red and black, the gambler on each game bets either her entire fortune or the amount needed to reach the target fortune, whichever is smaller. As usual, we are interested in the probability that the player reaches the target and the expected number of trials. The first interesting fact is that only the ratio of the initial fortune to the target fortune matters, quite in contrast to timid play.

Suppose that the gambler plays boldly with initial fortune \(x\) and target fortune \(a\). As usual, let \(\bs{X} = (X_1, X_2, \ldots)\) denote the fortune process for the gambler. For any \(c \gt 0\), the random process \(c \bs{X} = (c X_0, c X_1, \ldots)\) is the fortune process for bold play with initial fortune \(c x\) and target fortune \(c a\).

Because of this result, it is convenient to use the target fortune as the monetary unit and to allow irrational, as well as rational, initial fortunes. Thus, the fortune space is \([0, 1]\). Sometimes in our analysis we will ignore the states 0 or 1; clearly there is no harm in this because in these states, the game is over.

Recall that the betting function \(S\) is the function that gives the amount bet as a function of the current fortune. For bold play, the betting function is \[ S(x) = \min\{x, 1 - x\} = \begin{cases} x, & 0 \le x \le \frac{1}{2} \\ 1 - x, & \frac{1}{2} \le x \le 1 \end{cases} \]

### The Probability of Winning

We will denote the probability that the bold gambler reaches the target \(a = 1\) starting from the initial fortune \(x \in [0, 1]\) by \(F(x)\). By the scaling property, the probability that the bold gambler reaches some other target value \(a \gt 0\), starting from \(x \in [0, a]\) is \(F(x / a)\).

The function \(F\) satisfies the following functional equation and boundary conditions:

- \(F(x) = \begin{cases} p F(2 x), & 0 \le x \le \frac{1}{2}\\ p + q F(2 x - 1), & \frac{1}{2} \le x \le 1 \end{cases}\)
- \(F(0) = 0\), \(F(1) = 1\)

From the previous result, and a little thought, it should be clear that an important role is played by the following function:

Let \(d\) be the function defined on \([0, 1)\) by \[ d(x) = 2 x - \lfloor 2 x \rfloor = \begin{cases} 2 x, & 0 \le x \lt \frac{1}{2} \\ 2 x - 1, & \frac{1}{2} \le x \lt 1 \end{cases} \] The function \(d\) is called the doubling function, mod 1, since \(d(x)\) gives the fractional part of \(2 x\).

Note that until the last bet that ends the game (with the player ruined or victorious), the successive fortunes of the player follow iterates of the map \(d\). Thus, bold play is intimately connected with the dynamical system associated with \(d\).

### Binary Expansions

One of the keys to our analysis is to represent the initial fortune in binary form.

The binary expansion of \(x \in [0, 1)\) is \[ x = \sum_{i=1}^\infty \frac{x_i}{2^i} \] where \(x_i \in \{0, 1\}\) for each \(i \in \N_+\). This representation is unique except when \(x\) is a binary rational (sometimes also called a dyadic rational), that is, a number of the form \(k / 2^n\) where \(n \in \N_+\) and \(k \in \{1, 3, \ldots, 2^n - 1\}\); the positive integer \(n\) is called the rank of \(x\). Binary rationals are discussed in more detail in the chapter on Foundations.

For a binary rational \(x\) of rank \(n\), we will use the standard terminating representation where \(x_n = 1\) and \(x_i = 0\) for \(i \gt n\). Rank can be extended to all numbers in [0, 1) by defining the rank of 0 to be 0 (0 is also considered a binary rational) and by defining the rank of a binary irrational to be \(\infty\). We will denote the rank of \(x\) by \(r(x)\).

Applied to the binary sequences, the doubling function \(d\) is the shift operator:

For \(x \in [0, 1)\), \( [d(x)]_i = x_{i+1} \).

Bold play in red and black can be elegantly described by comparing the bits of the initial fortune with the game bits.

Suppose that gambler starts with initial fortune \(x \in (0, 1)\). The gambler eventually reaches the target 1 if and only if there exists a positive integer \(k\) such that \(I_j = 1 - x_j\) for \(j \in \{1, 2, \ldots, k - 1\}\) and \(I_k = x_k\). That is, the gambler wins if and only if when the game bit agrees with the corresponding fortune bit for the first time, that bit is 1.

The random variable whose bits are the complements of the fortune bits will play an important role in our analysis. Thus, let

\[ W = \sum_{j=1}^\infty \frac{1 - I_j}{2^j} \]

Note that \(W\) is a well defined random variable taking values in \([0, 1]\).

Suppose that the gambler starts with initial fortune \(x \in (0, 1)\). Then the gambler reaches the target 1 if and only if \(W \lt x\).

## Proof

This follows from the previous result.

\(W\) has a continuous distribution. That is, \(\P(W = x) = 0\) for any \(x \in [0, 1]\).

From the previous two results, it follows that \(F\) is simply the distribution function of \(W\). In particular, \(F\) is an increasing function, and since \(W\) has a continuous distribution, \(F\) is a continuous function.

The success function \(F\) is the unique continuous solution of the functional equation above.

## Proof

Induction on the rank shows that any two solutions must agree at the binary rationals. But then any two continuous solutions must agree for all \(x \in [0, 1]\).

If we introduce a bit more notation, we can give nice expression for \(F(x)\), and later for the expected number of games \(G(x)\). Let \(p_0 = p\) and \(p_1 = q = 1 - p\).

The win probability function \(F\) can be expressed as follows: \[ F(x) = \sum_{n=1}^\infty p_{x_1} \cdots p_{x_{n-1}} p x_n \]

Note that \( p \cdot x_n \) in the last expression is correct; it's not a misprint of \( p_{x_n} \). Thus, only terms with \( x_n = 1 \) are included in the sum.

\(F\) is strictly increasing on \([0, 1]\). This means that the distribution of \(W\) has support \([0, 1]\); that is, there are no subintervals of \([0, 1]\) that have positive length, but 0 probability.

In particular,

- \(F\left(\frac{1}{8}\right) = p^3\)
- \(F\left(\frac{2}{8}\right) = p^2\)
- \(F\left(\frac{3}{8}\right) = p^2 + p^2 q\)
- \(F\left(\frac{4}{8}\right) = p\)
- \(F\left(\frac{5}{8}\right) = p + p^2 q\)
- \(F\left(\frac{6}{8}\right) = p + p q\)
- \(F\left(\frac{7}{8}\right) = p + p q + p q^2\)

If \(p = \frac{1}{2}\) then \(F(x) = x\) for \(x \in [0, 1]\)

## Proof

There are two proofs. The simplest proof is to note that \(x \mapsto x\) is continuous and satisfies the functional equation in functional equation. Another proof can be constructed by using the representation of \( F \) as a sum.

Thus, for \(p = \frac{1}{2}\) (fair trials), the probability that the bold gambler reaches the target fortune \(a\) starting from the initial fortune \(x\) is \(x / a\), just as it is for the timid gambler. Note also that the random variable \(W\) has the uniform distribution on \([0, 1]\). When \(p \ne \frac{1}{2}\), the distribution of \(W\) is quite strange. To state the result succinctly, we will indicate the dependence of the of the probability measure \(\P\) on the parameter \(p \in (0, 1)\). First we define \[ C_p = \left\{ x \in [0, 1]: \frac{1}{n} \sum_{i=1}^n (1 - x_i) \to p \text{ as } n \to \infty \right\} \] Thus, \(C_p\) is the set of \(x \in [0, 1]\) for which the relative frequency of 0's in the binary expansion is \(p\).

For distinct \(p, \, t \in (0, 1)\)

- \(\P_p(W \in C_p) = 1\)
- \(\P_p(W \in C_t) = 0\)

## Proof

Part (a) follows from the strong law of large numbers. Part (b) follows from part (a) since \(C_p \cap C_t = \emptyset\).

When \(p \ne \frac{1}{2}\), \(W\) does not have a probability density function (with respect to Lebesgue measure on [0, 1]), even though \(W\) has a continuous distribution.

## Proof

The proof is by contradiction. Suppose that \(W\) has probability density function \(f\). Then \( 1 = \P_p(W \in C_p) = \int_{C_p} f(x) \, dx \). But if \( p \ne \frac{1}{2} \), \( \int_{C_p} 1 \, dx = \P_{1/2}(W \in C_p) = 0 \). That is, \(C_p\) has Lebesgue measure 0. But then \(\int_{C_p} f(x) \, dx = 0\), a contradiction.

When \(p \ne \frac{1}{2}\), \(F\) has derivative 0 at almost every point in \([0, 1]\), even though it is strictly increasing.

In the red and black experiment, select *Bold Play*. Vary the initial fortune, target fortune, and game win probability with the scroll bars and note how the probability of winning the game changes. In particular, note that this probability depends only on \(x / a\). Now for various values of the parameters, run the experiment 1000 times and compare the relative frequency function to the probability density function.

### The Expected Number of Trials

Let \(G(x) = \E(N \mid X_0 = x)\) for \(x \in [0, 1]\), the expected number of trials starting at \(x\). For any other target fortune \(a \gt 0\), the expected number of trials starting at \(x \in [0, a]\) is just \(G(x / a)\).

\(G\) satisfies the following functional equation and boundary conditions:

- \(G(x) = \begin{cases} 1 + p G(2 x), & 0 \lt x \le \frac{1}{2} \\ 1 + q G(2 x - 1), & \frac{1}{2} \le x \lt 1 \end{cases}\)
- \(G(0) = 0\), \(G(1) = 0\)

## Proof

The functional equation follows from conditioning on the result of the first game.

Note, interestingly, that the functional equation is not satisfied at \(x = 0\) or \(x = 1\). As before, we can give an alternate analysis using the binary representation of an initial fortune \(x \in (0, 1)\).

Suppose that the initial fortune of the gambler is \(x \in (0, 1)\). Then \(N = \min\{k \in \N_+: I_k = x_k \text{ or } k = r(x)\}\).

## Proof

If \(x\) is a binary rational then \(N\) takes values in the set \(\{1, 2, \ldots, r(x)\}\). Play continues until the game number agrees with the rank of the fortune or a game bit agrees with the corresponding fortune bit, whichever is smaller. In the first case, the penultimate fortune is \(\frac{1}{2}\), the only fortune for which the next game is always final. If \(x\) is a binary irrational then \(N\) takes values in \(\N_+\). Play continues until a game bit agrees with a corresponding fortune bit.

We can give an explicit formula for the expected number of trials \(G(x)\) in terms of the binary representation of \(x\). Recall our special notation: \(p_0 = p\), \(p_1 = q = 1 - p\)

Suppose that \(x \in (0, 1)\). Then \[ G(x) = \sum_{n=0}^{r(x) - 1} p_{x_1} \ldots p_{x_n} \]

Note that the \(n = 0\) term is 1, since the product is empty. The sum has a finite number of terms if \(x\) is a binary rational, and the sum has an infinite number of terms if \(x\) is a binary irrational.

In particular,

- \(G\left(\frac{1}{8}\right) = 1 + p + p^2\)
- \(G\left(\frac{2}{8}\right) = 1 + p\)
- \(G\left(\frac{3}{8}\right) = 1 + p + p q\)
- \(G\left(\frac{4}{8}\right) = 1\)
- \(G\left(\frac{5}{8}\right) = 1 + q + p q\)
- \(G\left(\frac{6}{8}\right) = 1 + q\)
- \(G\left(\frac{7}{8}\right) = 1 + q + q^2\)

If \(p = \frac{1}{2}\) then

\[ G(x) = \begin{cases} 2 - \frac{1}{2^{r(x) - 1}}, & x \text{ is a binary rational} \\ 2, & x \text{ is a binary irrational} \end{cases} \]In the red and black experiment, select *Bold Play*. Vary \(x\), \(a\), and \(p\) with the scroll bars and note how the expected number of trials changes. In particular, note that the mean depends only on the ratio \(x / a\). For selected values of the parameters, run the experiment 1000 times and compare the sample mean to the distribution mean.

For fixed \(x\), \(G\) is continuous as a function of \(p\).

However, as a function of the initial fortune \(x\), for fixed \(p\), the function \(G\) is very irregular.

\(G\) is discontinuous at the binary rationals in \([0, 1]\) and continuous at the binary irrationals.