TIL #2 - The AMM Design Trilemma

0x829C

August 31st, 2022

Recently I have been on a quest to understand AMM’s from a historical context (pre-DeFi). This 2013 paper by Othman et al titled “A Practical Liquidity-Sensitive Automated Market Maker” takes an axiomatic approach to unify AMM designs by characterizing AMMs by three properties - path independence, translation invariance, and liquidity sensitivity.

Path independence means that market state transitions remain the same for trader costs and payments in aggregate. From a trader's point of view, it does not matter whether the trader makes one large trade or executes smaller sequential trades. From a probabilistic point of view, this ensures that the conditional probability of outcomes throughout time remains independent.

Path independence was formulated initially from a probabilistic point of view to design more efficient prediction markets. Hanson's logarithmic market scoring rule (LMSR) is the literature's earliest path independent AMM design.

Translation invariance refers to the cost of a payout to an LP for market making. Translation invariance guarantees that the spreads shrink to zero, leaving no upside for the LP to capture from greater spreads.

Thus a translation invariant pricing rule means that the LP will take a loss as long as the ﬁnal market prices diverge from initial market prices.

**How this is related to the concept of impermanent loss in CFMMs?** I couldn’t find a direct bridge to any literature. The closest thing I could find was Angeris et al describing the CFMM LP “portfolio value function” (payoff to LPs) as concave in this paper. Angeris et al also talk about arbitrage earnings. Aribtrageurs and LPs seem to be at odds with each other - either the arbitrageur profits or the LP profits. **Is there a world where this can exist as a non-zero sum outcome?**

The first thing I think about for translation invariance are the parallels to translation vectors in an affine space (or invariant curves in an affine variety). Intuitively this suggests to me that the space of CFMM liquidity curves can be characterized as invariant curves in a reproducing kernel hilbert space (RKHS).

The price of an asset changes based on market activity volume. An AMM is liquidity insensitive if the asset price is not dependent on volatility. Uni v2 and Uni v3 designs are liquidity insensitive at the base layer, but liquidity sensitivity can be built at a higher level by active liquidity management solutions. In contrast, Curve v2 has a dynamic fee based on volatility so it is liquidity sensitive.

THEOREM 2.9. No pricing rule is translation invariant, path independent, and liquidity sensitive. - Othman et al (2013)

The argument is roughly as follows. First construct Hanson’s AMM, the LMSR. Then verify that it is path independent, translation invariant and show that it is not liquidity sensitive.

The authors use an axiomatic approach to construct a liquidity sensitive AMM, a modified LMSR that trades the translation invariance property in favor of liquidity sensitivity. However, they do this by relaxing the translation invariance property, not removing it. This implies to me that the AMM trilema is not binary - it is a spectrum of choice.

**Is the existence of impermanent loss based on the path independent nature of CFMMs?** But wait are CFMMs even path independent? In the absence of fees, CFMMs are path independent. This is why the Loss vs Rebalancing (LVR) and LP CFMM returns papers assume no fees to derive their results.

A question left open by this paper concerns fees. In practice, most G3Ms charge fees that introduce path dependencies in LP share payoffs. As fees may alter both the frequency and the cost of CFMM rebalancing, it may be instructive to consider the corresponding constant-mix portfolio under rebalancing restrictions and transaction costs. - Alex Evans, LP CFMM Returns paper

Authors Tarun and Guillermo also talk about path independence/dependence of CFMMs with fees in the Improved Price Oracles paper as a “path deficiency”.

Perhaps a more accurate way to characterize the path of a CFMM is that there are **two components - a path independent and a path dependent part (scalar constant when the fee is fixed)**.

Subscribe to 0xEvan

Receive new entries directly to your inbox.

Collectors

View

#1

#2

#3

View collectors

This entry has been permanently stored on-chain and signed by its creator.

Arweave Transaction

1d_2rHeqbPesnC7…CZUKYCJbfet3y64

Author Address

0x829Ceb00fC74b…ec628a90894cD52

Content Digest

SVp-wan8A0VtZVf…Ka4CPXNVKqW_d5o

More from 0xEvan