Monday, September 10, 2007

Market Makers for Multi Outcome Markets

Previous articles in this series have discussed market makers and how they differ from book order markets, how to improve Liquidity in multi-Outcome claims, and how to integrate a Market Maker into Book order systems. But none of those talked in any detail about how a multi-outcome market maker coordinates prices and probabilities. Those details turn out to be important for an upcoming article on Combinatorial Markets, so I'll go through them carefully here.

Researchers use scoring rules as a laboratory tool to convince people to reveal their true expectations about some set of outcomes. Participants are asked to give estimates of the likelihood for a set of outcomes, their scores are some function of the value they gave for the actual outcome. Scoring Rules are called "Proper" if they are designed so the participant's best strategy is to honestly reveal the probabilities that seem most likely. The Logarithmic Scoring Rule (one of the Proper rules) provides a reward that equals the logarithm of whichever estimate turns out to correspond to the actual value. Since the total of all the estimates must be 1, the participant can only increase some probabilities by decreasing others.

Robin Hanson described how an Automated Market Maker (AMM) that adjusts its prices based on a scoring rule can support unlimited liquidity in a prediction market. If each successive participant in the market pays the difference between the payoff for her probability estimate and that due to the previous participant, the AMM effectively only pays the final participant. If the AMM's scoring rule is logarithmic, participants who only update some probabilities don't effect the relative probabilities of others they haven't modified. (This last effect is only valuable for Combinatorial Markets, which I'll talk about in a later post.)

The change in the user's payoff is log(newP) - log(oldP) (or equivalently log(newP/oldP)) for each state. For a binary question, the possible gain will be log(newP/oldP), and the cost will be log((1-oldP) / (1-newP)). For the rest of this article, I'll use gain and cost rather than the log(...) expressions, since there are only these two, and I'll be using them a lot.

In multi-outcome markets, the most common approach is to let the user specify a single outcome to be increased or decreased, and to adjust all the other outcomes equally, but this isn't the only possibility. This design choice has the useful property that the probabilities of other outcomes will be unchanged relative to one another. Since the other outcomes are treated uniformly, they can be lumped together, which results in the same arithmetic as a binary market. Since those other cases sum to 1-P, the price is cost. It is also reasonable to allow the user to specify either a complete set of probabilities, or particular cases to increase and decrease and how much to change them. Whatever the case, the LMSR adjusts the reward for each outcome to be log(newPi/oldPi). I'll describe more possibilities in this vein when I cover the Combinatorial Market.

I hope you found all this interesting in an intellectual sort of way, but you may have noticed that this description isn't applicable to markets in which the traders hold cash and securities. The whole thing is couched in terms of participants who will receive a variable payoff, but they don't pay for the assets, they merely rearrange their predictions in order to improve their reward.

In order to turn this into an AMM that accepts cash for conditional securities, we have to pay careful attention to the effects of the MSR on people's wealth. The effects are easiest to describe in the binary case, and every other case is directly analogous, so I'll start there. In a binary market, the participant raises one probability estimate (call it A) from oldP to newP and lowers the probability of the opposite outcome (not A) from 1-oldP to 1-newP. If the trader had no prior investment in this market, the reward will increase by gain.

In order to reproduce that effect in cash and securities, the AMM charges cost in exchange for gain + loss in conditional securities. Why does the trader get securities equal to the cost plus the potential gain? The effect of this is that if A occurs, the participant has paid cost, and received gain + cost, for a net increase of gain over the original position. If A is judged false, the participant has paid cost with no return, which is the effect we hoped to match.

When an AMM supports a multi-outcome market using the approach I described above, one outcome is singled out to increase (or decrease), while all other outcomes move a uniform distance in the opposite direction. If the single outcome is increasing, the exchange is trivial to describe: we charge the trader cost for gain + cost in securities. The effect looks just like the binary case. The user has spent some money and owns a security that will pay off in a situation the trader thought was more likely than its price indicated.

If the trader singles out one outcome to sell (and thus reduce its probability), the difference among the alternatives I described in the first article in this series on Basic Prediction Markets Formats becomes evident. The trader is betting against something, and the market can represent this using short selling, complementary assets, or baskets of goods. The market might allow short selling (like InTrade), a complementary asset (like NewsFutures and Foresight Exchange), or a basket of securities representing all the other outcomes (like IEM). Since there are distinctly different points of view on this question, different markets will make different choices.

In order to support the short sales model, the trader needs to receive the payment first along with a conditional liability. In our model, the trader would receive gain in cash immediately, and securities that required repayment of gain + cost if the outcome (which the trader bet against) occurs. The platform would presumably require the trader to hold reserves to ensure the repayment.

With baskets of goods, the trader would get the appropriate number of shares of each of the other outcomes. The charge would be cost, and that would purchase gain + cost of conditional assets in all other outcomes.

The complementary assets model would charge cost in currency, and provide gain + cost of an asset that paid off if the identified outcome didn't occur. The complicated part of this representation is that traders can hold both positive and negative assets. In a 4 outcome market, a trader holding 3 units of A and 2 units of B who sold 4 units of C could be shown equivalent portfolios of either A: 3, B: 2, C: -4 or A: 7, B: 6, D: 4. I think either choice is defensible. The first resembles the transactions the user has made, and so is probably more recognizable; the second provides a more consistent view of possible outcomes. (And looks the same as baskets.) If both positive and negative numbers are shown, the trader has to realize that the negative holdings pay off in all other cases. On the other hand, displaying a portfolio in a 7-outcome market as A: 3, B: 3, C: 3, E: 5, F: 3, G: 3 doesn't seem as clear as D: -3, E: 2.

I doubt this detail will be of much interest to most users of Prediction Markets. Luckily for them, the trade-off the logarithmic rule makes between cost and reward just happens to produce prices that match probabilities. But if you are implementing Hanson's LMSR, you should understand the alternatives well enough to verify that your market maker correctly implements the design.Zocalo Prediction Markets support binary and multi-outcome markets with a Market Maker based on the Logarithmic Market Scoring Rule. The design takes advantage of the parallels between the different markets by only implementing the logarithmic rule in one place.

This article is cross-posted to Midas Oracle.
(There's a good discussion on that site.)

Other Articles in this series

1 comment:

Mike Giberson said...

I'm getting a file not found on the link to Hanson's paper. (Here and on Midas Oracle.)

Scanning Hanson's site, it looks like the link you want is: