A Suspicious Pattern
There is a pattern that shows up in many of the toys we like to play with around here: the pattern of maximizing the expected logarithm.
Nash bargaining is a method for aggregating preferences without a means to directly compare them. When Nash bargaining, you are maximizing the expected logarithm of utility, where the expectation is over uncertainty about which person you are.
Kelly betting is an extremely useful tool for not putting all your future wealth in one basket. When Kelly betting, you are maximizing the expected logarithm of your wealth.
The log scoring rule is a very natural way to extract beliefs. When maximizing your log score, you are maximizing the expectation of the logarithm of the probability you assign to the right answer. This is one example of a general pattern. Maximizations of expected logarithms show up all over information theory, often phrased as minimizing the negative of the expected logarithm.
Why does maximization of the expected logarithm keep showing up?
One answer is that all of the instances of it showing up are actually related. In my previous two posts, I made some connections between Nash bargaining and Kelly betting. The fact that Kelly betting can be used to model Bayesian updating illustrates its relationship with the information theory applications. To a certain extent, there is really only one instance of this pattern.
However, I think that there is another argument for why you should expect this pattern to show up a lot, which is that the pattern is very simple. More simple than it looks on the surface. It only looks complicated because mathematicians have failed us.
The Geometric Integral
One of the most underrated concepts in mathematics is the geometric integral, given by . (The fact that I couldn't easily get a latex symbol that looks like an elongated P is a testament to its underratedness.) The geometric integral is just like the standard integral, but everywhere you would add, you multiply instead. Defining it in terms of the standard (arithmetic) integral with logs and exponents is insulting to its nature, and I don't recommend thinking of it that way. (You wouldn't define as .) Instead, you should just think of it as the multiplicative version of the integral. However, using logs and exponentiation, it is the fastest way to get the definition across.
I think people don't practice thinking multiplicatively enough, which causes them to throw inherently multiplicative things into logarithms, so they can think about them additively.
I will use the phrase geometric expectation when I take a geometric integral over a probability distribution, and I will use the symbol . Thus, we will write .
Discrete Geometric Expectations
Luckily, most of the time, we will want to talk about discrete geometric expectations, where we can use (possibly infinite) sums rather than integrals and (possibly infinite) products rather than geometric integrals.
Let us gain some intuition for discrete geometric expectations by going though some simple cases. We will start with a uniform distribution on a finite set.
Let be a finite set with elements. Let be a function that assigns a nonnegative value to each . Let be the uniform probability distribution on that assigns probability to each element of .
We have that . This is just the average, or arithmetic mean of the values.
We can compute using the above formula . Here, we get
Thus, the geometric expectation of the uniform distribution is just the geometric mean of the values. Hence the name.
The infinite non-uniform discrete case is not much more difficult. If is a finite or countably infinite set, assigns a nonnegative value to each , and is a probability distribution on , then , and
These two values can be thought of as a weighted arithmetic mean and weighted geometric mean respectively.
When taking the geometric expectation of with respect to , you just take the product over all of . You are multiplying together all the values, but the exponent is saying that values with less probability get less weight (or less "power").
Maximizing the Geometric Expectation
Maximization is invariant under applying a monotonic function. Thus .
So every time we maximize an expectation of a logarithm, this was equivalent to just maximizing the geometric expectation.
Rather than saying "maximize the geometric expectation", I will just say "geometrically maximize". For example, when Kelly betting, we are just geometrically maximizing wealth. Note that the unit on the geometric expectation of wealth is dollars. The unit on the expected logarithm of dollars is... confusing? It is log dollars, but like, you add it instead of multiplying? I don't know how it works. What even is a log dollar?
The geometric expectation just makes more sense than the expected logarithm. It is a real thing with a real meaning. However, when we put the geometric expectation inside of a maximization, and we don't naturally think in terms of geometric expectations, we are tempted to take a logarithm of the whole thing, (which we can do because the maximization eats the monotonic function), and end up with maximizing the expected logarithm.
When Kelly betting, you are really just geometrically maximizing wealth.
When Nash Bargaining, you are really just geometrically maximizing expected utility with respect to your uncertainty about your identity. In defense of Nash bargaining, It is normally presented as maximizing the product of the utilities. However, if you don't already have the concept of geometric expectation, it is tempting to convert it to an expected logarithm so you can handle the weighted case and think of it as being about uncertainty behind the veil of ignorance. (Also, it is more like the square root of the product of the utilities rather than the product of the utilities.)
When maximizing log score, you are really just geometrically maximizing the probability you assign your observation.
I will informally use the phrase "geometric rationality" to refer to techniques that tend to geometrically maximize natural features (of the world or the self). I want to raise to attention the hypothesis that humans are evolved to be naturally inclined towards geometric rationality over arithmetic rationality, and that around here, the local memes have moved us too far off this path.
A video on the geometric derivative by the ever excellent Michael Penn:
The geometric derivative is the instantaneous exponential growth rate i.e. f∗(x)=exp[f′(x)/f(x)] where f∗(x) is the geometric derivative.
Which is equivalent to f∗(x)=exp[ddxln(f(x))]
This entire series and especially this post are excellent, thanks :)
Thanks for the post -- I've been having thoughts in this general direction and found this post helpful. I'm somewhat drawn to geometric rationality because it gives more intuitive answers in thoughts experiments involving low probabilities of extreme outcomes, such as Pascal's mugging. I also agree with your claim that "humans are evolved to be naturally inclined towards geometric rationality over arithmetic rationality."
On the other hand, it seems like geometric rationality only makes sense in the context of natural features that cannot take on negative values. Most of the things I might want to maximize (e.g. utility) can be negative. Do you have thoughts on the extent to which we can salvage geometric rationality from this problem?
But if your utility function is bounded, as it apparently should be then you're one affine transform away from being able to use geometric rationality, no?
How much should you shift things by? The geometric argmax will depend on the additive constant.
I don't think so, primarily since geometric rationality isn't VNM rational, so we can include infinite utility functions.
Some results related to logarithmic utility and stock market leverage (I derived these after reading your previous post, but I think it fits better here):
Tl;dr: We can derive the optimal stock market leverage for an agent with utility logarithmic in money. We can also back-derive a utility function from any constant leverage, giving us a nice class of utility functions with different levels of risk-aversion. Logarithmic utility is recovered a special case, and has additional nice properties which the others may or may not have.
For an agent investing in a stock whose "instantaneous" price movements are i.i.d. with finite moments:
[Disclaimer: This is not investment advice.]
1. This assumption of constant leverage is pretty arbitrary, so there's no normative or descriptive force to the class of utility functions we derive from it
2. We have to make an unrealistic assumption that the utility function is over $$ at the next timestep, rather than further in the future. In the log case, these kind of assumptions tend to not change anything, but I'm not sure whether the general case is as clean.
i.e. in dollars, not percents
it's not intuitive to me when it's reasonable to apply geometric rationality in an arbitrary context.
e.g. if i offered you a coin flip where i give you $0.01 with p=50%, and $100 with q=50%, i get G = √.01√100 = $1, which like, obviously you would go bankrupt really fast valuing things this way.
in kelly logic, i'm instead supposed to take the geometric average of my entire wealth in each scenario, so if i start with $1000, I'm supposed to take √1000.01√1100 = $1048.81, which does the nice, intuitive thing of penalizing me a little vs. linear expectation for the added volatility.
but... what's the actual rule for knowing the first approach is wrong?
Another way of looking at this question: Arithmetic rationality is shift invariant, so you don't have to know your total balance to calculate expected values of bets. Whereas for geometric rationality, you need to know where the zero point is, since it's not shift invariant.
I think the rule is "you maximize your bank account, not the addition to it". I.e. your value of deals depends on how many you already have.
Very minor, but shouldn't this read "P is a probability distribution on X" not Y?