The Fundamental Theorem of Asset Pricing: Missing Link of the Dutch Book Arguments

https://www.lesswrong.com/posts/YZeZXF6LwZn5vqFo9/the-fundamental-theorem-of-asset-pricing-missing-link-of-the

Assumed background: Acyclic preferences, Dutch Book theorems There are fairly elementary arguments that, in the absence of uncertainty, any preferences not described by a utility function are problematic—this is the circular preferences argument. There are also fairly elementary arguments that, if we handle uncertainty by taking weighted sums of utilities of different outcomes, then the weights should follow the usual rules of probability—these are the Dutch Book arguments. But in the middle there’s a jump: we need to assume that taking weighted sums of utilities makes sense for some reason. There are some high-powered theorems which make that jump (specifically the complete class theorem), but they’re not very mathematically accessible. (If any of that sounds new, you should read Yudkowsky’s excellent intro to this stuff before reading this post.) It turns out that there is a relatively simple theorem which bridges the gap between deterministic utility and Dutch Book arguments. But rather than hanging out in decision theory textbooks, it’s been living it up in finance. It’s called the Fundamental Theorem of Asset Pricing (FTAP). Here’s the setup. Just like the Dutch Book arguments, we have a bunch of tradable assets—i.e. betting contracts, like stock options or horse race bets. We have a bunch of possible outcomes—i.e. possible prices of an underlying stock at expiry, or possible winners of the horse race. Each asset’s final value will depend on the outcome. Then the FTAP states that either:

Comment

https://www.lesswrong.com/posts/YZeZXF6LwZn5vqFo9/the-fundamental-theorem-of-asset-pricing-missing-link-of-the?commentId=Kw3fh5Spz7bZKrB9L

There are fairly elementary arguments that, in the absence of uncertainty, any preferences not described by a utility function are problematic—this is the circular preferences argument.

No, it is not the circular preferences argument!

Arguments against circularity of preferences—that is, against violations of the axiom of transitivity—are all well and good. But (in the VNM formalism) preferences cannot be described by a utility function if they violate any of the axioms—not just transitivity! Transitive preferences can fail to be describable by a utility function!

I wrote a comment about this on the post of Eliezer’s which you linked. It would really be very nice if we did not perpetuate misconceptions after they’ve been pointed out.

Comment

https://www.lesswrong.com/posts/YZeZXF6LwZn5vqFo9/the-fundamental-theorem-of-asset-pricing-missing-link-of-the?commentId=Gk8ceLS8wLEyfQYxw

We’re not actually talking about the VNM formalism here. That’s why the "in the absence of uncertainty" part is important. We have a finite set of world-states and preferences over those world-states. We do not care about preferences over random mixtures of world-states, we don’t even have a notion of random mixtures, just the deterministic states themselves. We want a utility function which encodes our preferences over those deterministic world-states. In the absence of uncertainty, we don’t actually need the continuity assumption or the independence assumption for anything. They don’t even make sense; we need a notion of random mixtures just to state those assumptions. VNM utility needs those because it’s trying to get expected utility maximization right out the door. But we’re not starting from VNM utility, we’re starting from deterministic utility. Whether we need completeness or not is more debatable. It depends on how we’re interpreting missing preferences. If we interpret missing preferences as "I don’t know", then it seems natural to allow the utility function to give any possible preference for that pair. In that case, lack of completeness may mean our utility function isn’t unique, but it won’t prevent a utility function from existing. It’s exactly the same in Eliezer’s post. His circular preferences argument comes before random outcomes are even introduced. There’s no notion of randomness at that point, no notion of lotteries, so he’s not talking about VNM utility. The circular preferences argument is not the VNM utility theorem, it is a separate thing which makes a different claim under weaker assumptions. That does not make it incorrect.

https://www.lesswrong.com/posts/YZeZXF6LwZn5vqFo9/the-fundamental-theorem-of-asset-pricing-missing-link-of-the?commentId=e2y5K7BTtKnfvBEbu

I’ve tried to minimize the technical prerequisites for this post, but it’s still very abstract and mathy. If you understand it and can write well, please consider writing up a more human-readable version which builds around a concrete example or two rather than keeping everything abstract. Alternatively, if you are Eliezer Yudkowsky, consider integrating the FTAP into that great intro I linked above. I’ll probably get around to writing a more concrete version of this post eventually, but I wanted to get the idea out there, since hardly anyone seems to know about it.

https://www.lesswrong.com/posts/YZeZXF6LwZn5vqFo9/the-fundamental-theorem-of-asset-pricing-missing-link-of-the?commentId=6xaDBEF4iT2KK84ss

How does this interact with time preference ? As stated, an elementary consequence of this theorem is that either lending (and pretty much every other capitalist activity) is unprofitable, or arbitrage is possible.

Comment

https://www.lesswrong.com/posts/YZeZXF6LwZn5vqFo9/the-fundamental-theorem-of-asset-pricing-missing-link-of-the?commentId=axZqnn7CyBDLZnP2J

Great question. The setup here assumes zero interest rates—in particular, I’m implicitly allowing borrowing without interest via short sales (real-world short sales charge interest). Once we allow for nonzero interest, there’s a rate charged to borrow, and the price of each asset is its discounted expected value rather than just expected value. That’s one of several modifications needed in order to use this theorem in real-world finance. (The same applies to the usual presentation of the Dutch Book arguments, and the same modification is possible.)