OK yeah, that thing I was talking to @raginrayguns about is way simpler than I thought
The Kelly criterion maximizes the rate of exponential growth, which is just
log(final / initial)
up to a constant.
Like if you have w(t) = exp(rate * t) , and you end at t=T, then
rate = 1/T log(w(T) / w(0))
and T is a constant.
So the Kelly criterion really is nothing but maximizing log wealth, only phrased equivalently as “maximizing exponential growth rate.”
And this phrasing is confusing, because “maximizing exponential growth rate” sounds sort of generically good. Like why wouldn’t you want that?
But the equivalence goes both ways: it’s the same thing as maximizing log wealth, and it’s easy to see you may not want that.
—-
I made a mistake in my original post about geometric averages – I linked to a twitter thread about the Kelly criterion, and a blog post by the same person, as if they were making the same point.
The thread was how I found the post. But in fact, the thread is both wrong and not really about geometric averages being confusing. The post, however, is mostly good and doesn’t mention Kelly at all.
Why did the thread link back to the post, then? The author is conflating several things.
Here are some things you can compute:
- The expected growth in wealth from n sequential bets, E[ w_n / w_0 ]. This is what you want to maximize if you have linear utility.
- The expected arithmetic average over the growth in wealth from the individual bets.
This is E[ (w_1 / w_0) + (w_2 / w_1) + … + (w_n / w_{n-1}) ] / n.
This is meaningless, there’s no reason to do this. However, this gets reported in financial news all the time, I’ve seen in the WSJ for example. - The expected geometric average over the growth in wealth from the individual bets.
This is E[ ((w_1 / w_0) * (w_2 / w_1) * … )^1/n ], or after cancelling, E[ (w_n / w_0)^1/n ]. So this is (1.), but with a power of 1/n inside the E[]. - Like (3.), but with a logarithm inside the E[]: E[ log((w_n / w_0)^1/n) ]. This is the exponential growth rate.
Everything except (1.) has dubious importance at best, IMO.
(1.) is for linear utility, but you have nonlinear utility U, you would just maximize a variant of #1, E[ U(w_n / w_0) ] instead.
In the blog post, Hollerbach is essentially talking about the confusing relationship between (1.) and terms like (w_1 / w_0). You have to multiply these terms to get (1.), and multiplication is confusing.
However, in the post he conflates this product (1.) with the geometric average (3.). They’re not equivalent because the power doesn’t commute with expectation. But I guess they both involve multiplication, and multiplication is confusing.
In the twitter thread, he sort of conflates the geometric average (3.) with the exponential growth rate (4.). Then he pits these against the arithmetic average (2.), which is bad, but is not what SBF was advocating.
Then, since the blog post has already conflated the geometric average with the expected wealth growth, he ends up conflating together everything except the bad one, (2.). In fact, all four are different. And only (1.), or a nonlinear-utility variant of it, is what matters.



