This post is something of a sequel to a post from two years ago where I used commutative diagrams to understand finance. A few people wanted me to write a followup and I dragged my feet for a long time. Then it randomly appeared on Reddit, and then my ego kicked in, and I always listen to my ego now days because I’m tired of being controlled by the Buddha.
backstory
Three hundred years ago, Thomas Newcomen invented an early version of the steam engine using the Rankine cycle. This notion of exploiting something while returning to where you started to exploit again was generalized by Carnot who jotted down his ideas for exploiting the relationship between pressure, volume, temperature, and entropy to literally move mountains. The carnot cycle is representing in psuedocode as:
Light a furnace
while True:
trade pressure for volume
Extract work during a cooling phase
Trade volume for pressure (at constant temperature)
Heat things up again from your furnace
This loop is diagramed on wikipedia like this
Then steam powered locomotives, sewing machines, children working in factories, machine guns, the internal combustion engine, World War I, assembly lines, World War II, Bikini Atoll, Hiroshima, USSR, the transistor, soda fountains, television, betamax, the Apple II, and then I was sitting in a class on biomechanics and the teacher (Michael Dickenson), drew this diagram like this on the whiteboard
The diagram explains the extraction of work from a muscle. This could not be a coincidence, it was a conspiracy.
They control everything and they can be anywhere
The airlines are also involved. Lift in irrotational flows is derived by integrating over a loop^{1}. At this point it was no surprise that my advisors at Caltech, Mathieu Desbrun and Jerry Marsden were in on it too. The evidence of this can be seen in their (seemingly innocuous) work on computer graphics. That’s just a cover, this goes deep.
They are all in on it. The industrialists, the Russian, and even the suits on wall street. Years later, I jotted down this commutative diagram to understand stock trading.
The top arrow represents the interest rate on a loan. The p’s refer to trading dollars for shares of stock, and so refers to the process of selling a share of stock. If there is an arbitrage opportunity, then this diagram does not commute. You can take out a loan, buy a stock, wait, and then sell the stock. This the map . It’s an arbitrage in your favor if the return on investment is greater than the interest rate of the loan, .
Diagramatically, capturing arbitrage involves traversing this triangle
If you take the dual diagram, and find/replace dollars
/present shares of stock
/future shares
with slaves
/sugar
/rum
you get the original triangle trade. The ubiquity of this phenomena is eerie until you go down the rabbit hole and find the common culprit.
The puppet master
It’s unclear who to target, but Elie Cartan certainly had the final word. All these phenomena involve the calculation of the area on the interior of a bounded region to a line integral over a boundary, which can be seen as a special case of the Stokes theorem. Elie Cartan is credited with inventing exterior calculus, and discovering the modern characterization of Stokes theorem.
Stokes theorem and the exterior derivative
Recall, given any differential form , the integral of over the boundary of some region is given by \begin{align} \int_{\partial \Omega} \omega = \int_\Omega d\omega. \end{align} In fact this theorem can be used as an alternative definition of the exterior derivative. That is, we can define as the unique form, such that Stokes theorem hold for arbitrary submanifolds with boundary. Such a definition would be consistent with defining forms as
Alternative Definition of form: A form, , is a map from oriented^{2} submanifolds of to the reals, such that , where denotes disjoint union. The vector space of forms on is denoted by .^{3}
Typically, people denote by , and I will do that here. This is an alternative to the definition in most textbooks where we:
 describe dualvectors
 tensors on vector spaces
 linear kforms as antisymmetrized tensors
 bundle it all on
 define forms as sections.
 attempt to define the integral of a form
 fail
 Refer to an appendix on partitions of unity (and pray nobody reads it)
You’re free to pick your poison, since these definitions are roughly equivalent.^{4}
In any case, using our definition, we can define . In other words
Definition: The exterior derivative is the precomposition operation on by the boundary operator.
Stoke’s theorem is now a tautology.
It’s also intuitively clear that the boundary of the boundary is an empty set.^{5}.Thus we see that .
Poincare Lemma
Realizing that for all raises the question, if , then does there exist an such that ? The definitive and unambiguous answer is “sort of”. At each point in the manifold there exists a neighborhood, and a differential form over such that .^{6}
Discrete exterior calculus (DEC)
There is a discrete analog of this notion. We can discretize a manifold as a simplicial complex like this
Then discretized functions are maps from the vertices to the reals. The discrete notion of a submanifold is a subcomplex, which looks like the highlighted red part in this picture.
The definition of a discrete form (and a perhaps all of discrete exterior calculus) can be a obtained by using your favorite text editor (mine is VIM) and doing a find/replace to substitute the word “manifold” with “simplicial complex” and the word “sub manifold” with “sub complex”. By drawing arrows on edges we get oriented simplicies, and thus oriented simplicial complexes. We then obtain
Definition of discrete differential forms: A discrete form, , over is a map from oriented subcomplexes of to the reals, such that , where denotes disjoint union.
Again, we will use the notation to denote . We denote the set of discrete forms on by
Discrete Stokes Theorem
In the discrete case, the Stokes theorem is not really a theorem but a definition. Let denote the boundary of a simplicial complex, . For a given , we say is the unique form such that \begin{align} \int_{K} d\alpha = \int_{\partial K} \alpha \end{align} for arbitrary subcomplexes .
Discrete Poincare Lemma
Just as in the smooth case, and therefore, we have that . We can again ask, if for some , then does there exists an such that ? Again, the answer is sortof. At each vertex, , there exists a subcomplex which contains , and a form on such that .^{7}
DEC for finance
We can represent the tradenetwork of the economy as a massive simplicial complex. The vertices represent commodities, and the edges represent trades.
At any given moment, apples might be trade for oranges at a rate of 1:2. Bitcoin might trade with respect to US dollars at a rate of 1:6,599.0. There are a lot of trades, and the most natural way to represent them all is using a discrete oneform, . Take any directed edge (trade) in the network, and tells you the logexchange rate between the two vertices (commodities).
Recall, the no arbitrage principle says that if we execute a circular sequence of trades, , then the total result is no gain or loss. So . Since the trade network is fully connected, can be seen as the boundary of a diskshaped subcomplex , and we can use stokes theorem to write . Now note that is arbitrary (or arbitrary enough), so that we conclude . This gives us yet another description of the noarbitrage principle
The DEC noarbitrage principle: Let represent the contracts in an economy. In a noarbitrage economy, .
By a discrete analog of the poincare lemma this mean for some function . What is this ? Is it even worth knowing?
is for Value
Specifically, I think, , is value. If , and , then intuitively, is more valuable than , and we find ^{8}. However, is only well defined up to a constant function. also satisfies . This is because is really the logarithm of value, and value itself is not an absolute quantity. I don’t believe that intrinsic value makes a lot of sense, because there is no such thing as a “value util”. People speak about value in concrete units like big macs^{9}, or dollars (which are only valuable because you can exchange them for things like big macs). Because we really only define the relative value of things we should view value as a probability distribution over all the commodities. Probability distributions need only be defined up to a normalization constant, and so the log of a probability distribution need only be specified up to a constant. The function has this very property, and thus my suspicion that the value of a commodity is given by (defined modulo an immaterial multiplier).
Arbitrage economy
How about when there is arbitrage? What can be said in such cases? We’ll firstly, if , then there is no such that . In other words, there is no collectively agreed upon value for the commodities in an economy that has arbitrage opportunities.
That’s not quite the end. While we can’t find a price, there is something positive I can still say. We know that , does this translate to anything familiar?
Flux in in the economy
To make things familiar, let’s make things more elementary. In fact, lets make them preschool. I think we should literally be playing with my sons toys to understand this. Don’t worry, he lets me take his toys. He just cries.
The minimal manifestation of an arbitrage opportunity requires three entities, let’s say they are currencies: Bitcoin, the Euro, and the Yuan. An arbitrage opportunity means executing a cycling sequence of trades as depicted below
will result in a profit going clockwise, and a loss if you execute the trades counterclockwise. Don’t forget, that in any trade it takes two to tango. Each edge of the triangle is a trade with two sides, and thus another triangle. In particular, there are most likely three other individuals out there, executing there own trade cycles.
Perhaps these individuals reside in the US, and so all the trades are cycles that start and end in US dollars.
Let’s say is the oneform which represents the trades along the edges. Then is a twoform, and it lives inside each of the triangles. In particular, represents the profit/loss from traversing the cycles depicted above.
How do we think about ? Recall, the last time we applied the exterior derivative, , we turned something that lived on edges (a discrete 1form, ) into something that lived on triangles (a discrete 2form, ). So it seems natural to suspect that is something that lives on tetrahedron.
Note that US dollars appears 3 times in the last image (they are the outermost vertices). A graphical lie! These points should be identified with one another. That means we just fold those triangles so that the USdollar vertices all meet, and the whole complex just becomes a tetrahedron (a.k.a. a 3simplex).
The formula for boils down to summing the profit/loss for each face and storing it inside this tetrahedron. That’s our 3form in a nutshell. is just DEC speak for the fact that trading is a zero sum game.
I’d like to show this tetrahedron from another perspective, just to make another point. the conspiracy deepens… Okay, toddler is shouting at me, time to return his creepy blocks.
Gripes and underdeveloped musings
I’m like this formalism, but there are major issues
 Typically the economy is growing or shrinking. It’s not really zerosum.
 Typically there are multiple contracts floating around for some trades, and zero contracts floating around for others.
Nonzero sum?
By construction, , and this equation jives with a zerogrowth economy. However, the economy is typically not zerogrowth. It’s almost always growing or shrinking. Moreover, the presence of twoforms for representing profits/loss tickles the physicist in me, and makes me think about fluxes and divergence. Perhaps the way to think about growing/shrinking economies is to think about breaking some nodivergence criterion. Not sure if this is the right track, and I’d rather just open the floor for discussion. If you’ve got an idea, I’d love to hear it. Jot it in the comments section.
Weighted networks and electronic trading
I think the links in the network should not be oneforms, but more like a distribution of oneforms. Prices are not fixed, and many quantitative theories of finance view them as random variables. I just complete a three part post where probability theory was given a category, and the morphisms were posteriors. Can that machinery be imported here?… Sort of… I think. I jotted some stuff down and found that Bayes theorem actually manifests as . Thus, we end up in a noarbitrage economy if we force our posteriors to follow Bayes theorem (which we should if we want to be selfconsistent). Making money off this entails watching price fluctuations, and noting discrepancies between the contracts issued and the contracts you’d expect issued from your posteriors. My guess is that this is roughly what electronic trading at medium length timescales involves.
Conclusion: the quest for monopoles
In this formalism I have been assuming the economy is fully connected. Geometrically speaking, this means the economy is a an dimensional simplex for some large . This is the simplest possible shape we could expect. However, trade barriers will remove some of the links in the network, and the resulting trade network might take on a more interesting shape, perhaps one with holes. Once you have a hole, the poincare lemma is only local. It is then possible to have an economy where , but where there exists a loop that posses an arbitrage opportunity. Getting rid of such an arbitrage might be impossible due to topological obstructions (the trade barriers).
An analogous question arose in the physics community back in 1931, when Dirac wrote a quantum theory of magnetic charge. There is a geometric way of writing down Maxwell’s equations using (modest generalizations of) differential forms and one of the equations takes the form . Dirac found that if there exists a magnetic monopole in the universe, then the charge of all particles would become quantized. Such a magnetic monopole would correspond to a hole of sorts, and the charge would manifest by integration of a differential form around this hole. To date, magnetic monopoles have eluded us, but the theory is consistent with reality (charge is quantized). To the best of our knowledge, magnetic monopoles are out there.
Finding an arbitrage is analogous (and mathematically identical) to finding a magnetic monopole somewhere in the universe.
Such a loop would make one person massively wealthy until the trade barriers are removed, and the market is able to clamp down on this exploit. Nonetheless, I’ve never heard of such a tactic.
I don’t imagine a Ready Player One type of global quest to search for such a thing.
However, virtually all transaction are of the form “[SOMETHING]
in exchange for [A CURRENCY]
”, and typically the currency is US dollars. You can’t form a loop if you only do trades of this form.
So perhaps there are holes in the network, fortunes just sitting under our noses, but we are blinded by our trust in the dollar.
Shoutouts
I always found DEC beautiful, and I think it’s an underappreciated topic. If you’re a grad student looking for a topic, you could do worse than DEC. I learned about DEC and its applications from a lot of people, starting with my advisor Mathieu Desbrun at Caltech. I learned the foundations by studying Anil Hirani’s and Melvin Leok’s thesis, as well as numerous conversations with Melvin. In terms of applications, Keenan Crane is a heavy user of DEC and he has always impressed me. His ideas that are ostensibly for computer graphics, but I think anybody with enough creativity can see that they are useful elsewhere. On the more theoretical end, Ari Stern introduced me to idea of geometrically discretizing physics, and used DEC to discretize Maxwell’s equations. I also know Ari worked a bit with Eitan Grinspun who is another DEC user. There are a lot of other people in this community and I would encourage any curious young researcher to start traversing this network. The people I mention here are merely the ones whom were in proximity to me at the time (2010ish), and it was the first community that came to my aide when my first advisor, Jerry Marsden (also a DEC geek), died in 2010.
Footnotes

See the KuttaJoukowski theorem. ↩

Sometimes, one learns that a manifold is oriented if there exists a nonvanishing volume form on it (this is how I learned of it). However, you can define orientation prior to defining differential forms. A manifold is oriented if there exists an atlas where the transition maps are all orientation preserving (i.e the determinant of the Jacobian is positive). ↩

What’s missing in this definition is analysis. I’m not exactly sure how best to address this. My gut tells me that Peter Michor and his students know best. It’s somewhere in this book, either explicitly or implicitly. Perhaps it’s as simple as looking at the space of smooth embeddings, as an infinite dimensional manifold. We’d say is if is a endomorphism on for any of class and any manifold . ↩

Actually these definitions are not equivalent. The traditional definition is a special case of the more general definition given here, analogous to the relationship between measures on a manifold, and volume forms. However, when I learned differential forms, I found it really difficult to discern the motivation (which was integration, but that’s not until Chapter 10 or somthing crazy). Why not just introduce integration off the bat? ↩

Rigorously proving took me a bit of effort actually. I proved it in a brute force way. Let denote the half space of dimension . Consider an arbitrary chart on you manifold with boundary . Note that the sets form an open cover of , and . Therefore is just an open subset of for all and the maps restricted to form a chart for . This chart is apparently a chart for a manifold without boundary. QED. ↩

We generally can’t paste all these neighborhoods together to form a global over all of . The reason for this is typically an entry point to algebraic topology. ↩

Mathieu Desbrun, Melvin Leok, Jerrold Marsden, “Discrete Poincare Lemma”, Volume 53, Issues 2–4, (2205) ↩

possible sign errors here, but the idea holds. ↩

See the big mac index ↩