pm-AMM: A Uniform AMM for Prediction Markets

11.05.2024|Ciamac MoallemiDan Robinson

Introduction

In this post, we introduce a new automated market maker (AMM) customized for prediction markets: the pm-AMM.

AMMs and their predecessors, such as market scoring rules, were originally invented as a way to provide liquidity for prediction markets. They now dominate most decentralized exchange volume in crypto.

But ironically, despite prediction market volumes taking off in crypto, most of it uses orderbooks, not AMMs.

One possible reason is that existing automated market makers are a poor fit for outcome tokens (tokens that resolve to $1 if an event occurs and $0 if it does not occur). The volatility of outcome tokens is dependent on the current probability of the event and the time until the prediction market expires, meaning that the pool provides inconsistent liquidity. Liquidity providers (LPs) are also essentially guaranteed to lose all of their value once the prediction market expires.

We present a new AMM optimized around these considerations. This required addressing a longstanding question in AMM research: what does it mean for an AMM to be optimized for a particular type of asset? In other words, given a model for some asset (such as an option, a bond, a stablecoin, or an outcome token), how should that affect what AMM we use for it? We present a possible answer to this question, based on the concept of loss-vs-rebalancing (LVR).

Contributions

We develop a model for the price processes of some outcome tokens, which we call Gaussian score dynamics. This model is a potential fit for prediction markets on whether some underlying random walk (such as the score difference of a basketball game, the vote margin in an election, or the price of some asset) will be above some value at a particular future expiration time.

We use this model to derive a new invariant-based AMM for those tokens, the static pm-AMM invariant:

(yx)Φ(yxL)+Lϕ(yxL)y=0,(y - x) \Phi\left( \frac{y - x}{L} \right) + L \phi\left( \frac{y - x}{L} \right) - y = 0,

where

xx
is the AMM's reserves of one outcome token,
yy
is its reserves of the opposite, complementary outcome token,
LL
is an overall liquidity or scaling factor, and
ϕ\phi
and
Φ\Phi
are the probability density function and cumulative distribution function of the normal distribution, respectively.

To derive this, we make use of the powerful concept of loss-vs-rebalancing (LVR), which can be thought of as the rate at which an AMM loses money due to arbitrage. Loss-vs-rebalancing depends on both the shape of the AMM and the price process for the underlying assets traded on it.

We define a uniform AMM for an asset as the AMM which, if used for that asset, has LVR that is proportional to its portfolio value at an instant of time, regardless of the current price. Milionis, et al. establish that constant geometric mean market makers (like Uniswap and Balancer) are the unique uniform AMMs for assets whose prices follow geometric Brownian motion (a popular model for the price process of ordinary assets like stocks and cryptocurrencies). The static pm-AMM is a uniform AMM for assets that behave under our model of Gaussian score dynamics for outcome tokens.

While the static pm-AMM has uniform LVR (as a fraction of portfolio value) for all prices, LVR will still increase as the expiration of the prediction market approaches. This is because prediction markets can be very volatile near expiry. We show how the pm-AMM can be tweaked to reduce its liquidity over time, so that the AMM’s expected LVR at all moments over the remaining time to expiration is constant. This gives us the dynamic pm-AMM invariant, which is dependent on the time to expiration

TtT - t
:

(yx)Φ(yxLTt)+LTtϕ(yxLTt)y=0. (y - x) \Phi\left( \frac{y - x}{L\sqrt{T - t}} \right) + L\sqrt{T - t} \phi\left( \frac{y - x}{L\sqrt{T-t}} \right) - y = 0.

The dynamic pm-AMM isn't magic—it prevents LVR from increasing as expiration approaches by providing a decreasing amount of liquidity. This may not necessarily be desirable on a real pool, particularly because non-arbitrage trading activity (and thus fees) may increase over time as well. But the pm-AMM provides a framework for liquidity providers to adjust their liquidity over time based on expected fees and how they want to allocate their exposure to arbitrage.

These AMMs may be useful for bootstrapping passive liquidity on onchain prediction markets. The concept of uniform AMMs, and the methodology for finding them, may also be more widely applicable for decentralized exchange designers looking to customize AMMs for other types of assets whose behavior does not follow geometric Brownian motion, such as stablecoins, bonds, options, or other derivatives.

Figure 1 shows the invariant curves for the static and dynamic pm-AMMs, compared with other well-known invariant curves, namely for the constant product market maker (CPMM) and logarithmic market scoring rule (LMSR). Note that the reserves curve for the dynamic pm-AMM provides less liquidity over time.

Figure 2 shows the liquidity fingerprint of the static pm-AMM, showing what it would look like if the invariant was implemented on a Uniswap v3 concentrated liquidity AMM, as compared to the CPMM and LMSR. The horizontal axis corresponds to ticks in relative price (the price of the

xx
token divided by the price of the
yy
token) on a logarithmic scale, while the vertical axis corresponds to how much liquidity each AMM places at that price level. Notice that relative to both alternatives, the pm-AMM concentrates more liquidity around a relative price of 1 (a probability of 50%, where the tokens' prices are equal at 0.50), and less liquidity at extreme relative prices (either very low or very high).

Background

Prediction markets

Prediction markets are an increasingly popular application in crypto. Polymarket saw over $2 billion in volume in just October 2024.

However, most crypto prediction market liquidity is available on orderbooks, rather than AMMs, despite AMMs being dominant for most other decentralized exchange volume across crypto.

One possible reason is that outcome tokens don’t behave like ordinary assets, so AMMs designed for them don’t work very consistently.

For example, imagine a prediction market on the result of a game in which someone flips a coin 1,001 times. There are two tokens corresponding to each outcome of this game:

xx
tokens resolve to $1 if there are more heads than tails, and $0 if there are more tails than heads; vice versa for
yy
tokens.

The volatility of these outcome tokens is highly dependent on both the number of flips remaining and the current score. The closer the current score is to even, and the fewer flips remain, the more volatile these tokens will be. This means that the losses of a constant product market maker, which as discussed below are dependent on volatility, will vary wildly over time.

Figure 3 shows the volatility of the outcome token price process under Gaussian score dynamics—where the event is determined by whether a certain random walk ends up above zero—as a function of the token price and the remaining time.

Many popular prediction markets could loosely be thought of as similar to this coin-flipping example—a bet on whether some random walk ends above or below 0 at some future expiration time. For example:

  • A prediction market on the result of a live basketball game, expiring once the remaining game time hits 0. In this example, the random walk is the score difference between the teams.
  • A prediction market on the result of a Presidential election, expiring on Election Day. In this example, the random walk could be thought of as the difference in the number of voters who intend to vote for the candidate.
  • A prediction market on whether the price of an asset like Bitcoin is above a certain strike price on a future date. In this example, the random walk could be the logarithm of the current Bitcoin price minus some strike price.

In this post, we define a model for the price evolution of outcome tokens—the Gaussian score dynamics model—inspired by examples like these. The model assumes that the prediction market price matches the probability that some underlying Brownian motion ends above 0.

This model resembles the Black-Scholes model for a binary option (an instrument that pays out a fixed dollar amount if an asset's price is above some strike price, and $0 if it is not). However, in our model, there is no requirement that the underlying process corresponds to the price of a tradeable asset.

We do make the simplifying assumption that the price of the outcome token matches the probability that it resolves to $1. This assumes away important features of the market, including risk and time preferences—examining how those affect this model is a subject for future study.

We should also that not all prediction markets are a good fit for the Gaussian score dynamics model, which assumes that the rate at which new information comes out is predictable. For example, basketball games are likely a better fit than soccer games, since scoring is much more frequent, so the evolution of the score differential is more consistent over time. And some types of prediction markets won’t resemble this model at all, such as prediction markets on whether some one-time surprising occurrence (like an earthquake) will occur before a particular date. But this model may be a useful starting place for deriving models for those other dynamics, and can serve as a demonstration of the methodology for deriving uniform AMMs for any model.

Loss-vs-rebalancing and uniformity

After specifying this model, we derive an automated market maker that may be better optimized for these tokens than existing AMMs like the constant product market maker or LMSR. The metric we use as a guide is the rate of expected losses for liquidity providers, which can be characterized as “loss-vs-rebalancing,” or LVR.

LVR captures the main adverse selection costs of an AMM: prices on an AMM are static in the absence of trade, and become stale as new information becomes known. LVR captures the costs that AMM liquidity providers suffer as these stale prices are picked off by better informed arbitrageurs who trade against the AMM at prices which are disavantageous for the AMM. Thus, LVR can be viewed as how much the AMM pays to arbitrageurs in order to have its prices corrected.

Furthermore, absent trading fees, LVR is also the loss incurred by a liquidity provider who delta-hedges their LP position by separately holding a short position in the exact same quantity of the tokens owned as part of the pool reserves. In this way, LVR builds on the main insight of the famous Black-Scholes model for option pricing: just as an option is valued by delta-hedging with the underlying asset to remove market risk, LVR values an LP position in an AMM once the market risk is removed. That is, LVR isolates what is special about being a liquidity provider in an AMM, versus simply taking the market risk of holding the same tokens as the AMM reserves.

We consider simple invariant-based AMMs, with no fees or MEV-recapturing mechanisms. In this context, the AMM is guaranteed to lose money due to arbitrage—no AMM invariant can eliminate LVR (other than one that results in no trading at all). Even “minimizing” LVR doesn’t really make sense here: reducing LVR would just mean reducing the liquidity provided.

But we can make LVR more consistent, so that the percentage of the pool value that is lost does not depend on the current price of the asset. We call this property uniformity.

One way to motivate the value of uniformity is to imagine a sponsor who is willing to provide liquidity on some zero-fee prediction market in order to learn the market's prediction about the outcome. This to lose money, but would naturally prefer to spread out their losses evenly, rather than concentrating their losses at a particular time or at particular prices. In this case, the current portfolio value of the pool can be thought of as the sponsor’s “budget.” On a uniform AMM, if the sponsor puts in $1 of liquidity at some time, their expected losses in the next timestep are independent of the current state of the pool.

But uniformity is potentially relevant for profit-seeking liquidity providers as well. Even if an AMM is able to capture some of its loss-vs-rebalancing or even turn a profit (from non-zero swap fees, or through auction mechanisms like MEV taxes), it still needs some strategy for how to allocate its liquidity at different prices and different times. We might think of expected losses for the zero-fee pool as one way to measure how much liquidity the strategy is allocating at a particular time, in a way that takes into account the price process of the asset.

We define a uniform AMM for a particular asset as an AMM whose expected LVR is a constant fraction of the value of the current value of the pool, regardless of the current price of the asset.

Note that whether an AMM has uniform LVR depends on the price process of the asset itself. As shown in Appendix B.2 of Milionis, et al., if the price of an asset follows geometric Brownian motion, then the essentially unique uniform AMM between that asset and the numéraire is the weighted geometric mean market maker with invariant

xθy1θ=Lx^{\theta} y^{1 - \theta} = L
, for
θ(0,1)\theta \in (0,1)
. This is the formula used in Balancer, and the constant product market maker used in Uniswap v2 is a special case of it.

But constant-geometric-mean AMMs do not have uniform LVR for tokens that follow Gaussian score dynamics. Nor does the logarithmic market score rule (LMSR), an AMM that was originally developed for prediction markets.

Figure 4 shows the LVR experienced by the CPMM and LMSR when used for outcome tokens with Gaussian score dynamics at time

Tt=1T - t = 1
, compared to the uniform LVR of the static pm-AMM:

Motivated by these concerns, we develop two AMMs that are designed for prediction markets under Gaussian score dynamics—one that has uniform LVR at any given time but increasing LVR as the prediction market's expiration approaches, and one that has uniform LVR and constant expected LVR over the remaining time horizon.

As can be seen in Figure 4, the CPMM and LMSR suffer large LVR (as a fraction of pool value) when the outcome token price is at an extreme, close to zero or one. This is because, while price volatility is low around those points (cf. Figure 3), the pool value decays even faster at extreme prices. Hence, a uniform AMM should provide less liquidity at extreme prices, which is what the pm-AMM design does (cf. Figure 2).

Prior work

AMMs have their origin in the world of prediction markets and market scoring rules, such as the logarithmic market scoring rule (LMSR). These rules motivated the discovery of constant function market makers (CFMMs), such as Uniswap v2, which are often characterized by an invariant relationship between the AMM's reserves of each asset. AMMs based on this design have emerged in recent years as the dominant market mechanism for decentralized exchange on blockchains.

More recently, ideas from financial economics have been applied to understand the costs of automated market making, in the form of loss-versus-rebalancing, or LVR, as discussed in Milionis, et al. LVR captures the losses incurred by an AMM to arbitrageurs due to stale prices. That paper considers assets whose dynamics follow diffusion processes, primarily focusing on geometric Brownian motion.

Prediction markets, on the other hand, have very different price dynamics because of their bounded payoffs and finite horizons. Taleb proposes dynamics based on an underlying and observable polling process, while we develop an alternative form of dynamics, based on an underlying and observable Gaussian score process.

There has been some prior applied work on designing automated market makers for non-GBM assets. One example is StableSwap, an AMM designed for stablecoin pairs, which is based on the intuitive premise that AMMs between correlated and mean-reverting assets should involve concentrating liquidity closely at a single price, but its derivation does not involve modeling the assets' price processes. Another is YieldSpace, an AMM designed for zero-coupon bonds. While the derivation of YieldSpace does involve a simple model for the pricing of zero-coupon bonds as a function of interest rates, it does not include a full model for the price process (since it does not model the evolution of interest rates), and the paper makes a largely arbitrary choice for how the interest rate should be inferred from the current reserves.

There has also been some academic work on designing AMMs based around beliefs about how asset prices will behave. One example is Goyal et al. Their framework is designed around maximizing the amount of liquidity that is expected to be active, rather than making expected losses uniform, and as a result sometimes reaches opposite implications from ours. For example, their paper suggests that LMSR (which, relative to the CPMM, concentrates liquidity around the price of 1) is a good fit if liquidity providers expect relative asset prices to remain around 1, whereas our framework suggests that there are reasons to concentrate liquidity around 1 if you expect prices to diverge (as with outcome tokens).

Model

Automated market making. We consider a prediction market on a single event of interest, and an AMM which trades two assets against each other: a risky asset (denoted by

xx
) that pays one dollar if the event occurs and nothing otherwise, and another risky asset (denoted by
yy
) with opposite payments. The AMM maintains an invariant
f(x,y)=Lf(x,y) = L
, where
f(,)f(\cdot,\cdot)
is the invariant function of the reserves
(x,y)(x,y)
, and
LL
is a constant. Given a price
PP
for the
xx
asset (in terms of dollars), define the pool value function to be

V(P)minimize(x,y)R+2Px+(1P)ysubject tof(x,y)=L.(1)\begin{array}{lll} V (P) \triangleq & \underset{(x,y)\in \mathbb{R}_{+}^{2}}{\text{minimize}} & Px+(1-P)y \\ & \text{subject to} & f(x,y)=L. \end{array} \quad\quad \tag{1}

This is the value of the pool when the

xx
price is
PP
. Since holding one unit of the
xx
and
yy
assets each is equivalent to holding cash, we must have the price of the
yy
be
1P1 - P
.

We assume that there is a population of arbitrageurs who, at each time

tt
, can observe the price
PtP_t
of the
xx
asset (and also the price
1Pt1 - P_t
of the
yy
asset). Assuming there are no trading fees or other frictions, these arbitrageurs continuously monitor the AMM and seek to extract value from any mispricing of the AMM. When maximizing their own profits, they trade against the AMM to minimize the value of the AMM reserves. If we denote by
VtV_t
the value of the reserves at time
tt
(when the price is
PtP_t
), then we must have
Vt=V(Pt)V_t = V(P_t)
.

Example 1 (Constant Product Market Maker). In the case of a constant product market maker (CPMM), where the invariant function is given by
f(x,y)xyf(x,y) ≜ \sqrt{xy}
, the pool value function is given by

V(P)=2LP(1P).V(P) = 2L \sqrt{P(1-P)}.

Example 2 (Logarithmic Market Scoring Rule). The logarithmic market scoring rule (LMSR) created by Robin Hanson can be viewed as an AMM satisfying the invariant

f(x,y)2x/L+2y/L=1f(x,y) ≜ 2^{-x/L} + 2^{-y/L} = 1
, in which case the pool value function is given by

V(P)=L{Plog2P+(1P)log2(1P)},V(P) = -L \left\{ P \log_2 P + (1 - P) \log_2 (1 - P) \right\},

which is proportional to the binary entropy of the event implied by the price.


Denote by

x(P)x^*(P)
and
y(P)y^*(P)
to be the optimal solution to the optimization problem (1), we assume that these exist, are unique, and are sufficiently smooth functions of the price
PP
. The following is analogous to Lemma 1 of Milionis, et al., but adapted to the present setting:

Lemma 1. For all prices

P0P ≥ 0
, the pool value function satisfies:

1.
V(P)=x(P)y(P).V'(P)=x^{*}(P) - y^*(P).

2.
V(P)=x(P)y(P)0.V''(P)=x^{*\prime}(P) - y^{*\prime}(P)\leq0.

Gaussian score dynamics. We now describe how the risky asset prices evolve over time according to what we call Gaussian score dynamics. In particular, we assume there exists a stochastic process

{Zt}\{ Z_t\}
over the time interval
t[0,T]t \in [0,T]
, where the event is determined by the sign of
ZtZ_t
at the end time of the horizon
t=Tt=T
: if
ZT0Z_T \geq 0
, the
xx
asset pays off, otherwise if
ZT<0Z_T < 0
the
yy
asset pays off. We can interpret
ZtZ_t
as the score differential between two teams in a bilateral competition. Hence, we will call
ZtZ_t
the score process. Note that while our model assumes the existence of this score process, the score process does not need to be directly observable by the AMM. As discussed below, the AMM can infer the current value of the score from the marginal price (after being arbitraged) and the time to maturity.

We assume that
ZtZ_t
follows a random walk. Specifically, we assume that
ZtZ_t
is a Brownian motion with volatity
σ>0\sigma > 0
, i.e.,

dZt=σdBt,dZ_t = \sigma \, dB_t,

where

BtB_t
is a standard Brownian motion. Then, it is easy to see that the price
PtP_t
of the
xx
asset at time
tt
must be given by

Pt=E[I{ZT>0}  Zt]=Φ(ZtσTt),P_t = \mathbb{E}\left[\left. \mathbb{I}_{\{Z_T > 0\}} \ \right| \ Z_t \right] = \Phi\left( \frac{Z_t}{\sigma \sqrt{T-t}} \right),

where

Φ()\Phi(\cdot)
is the standard normal cumulative distribution function (CDF). Applying Itô's lemma,
PtP_t
must satisfy

dPt=ϕ(ZtσTt)dZtσTt=ϕ(Φ1(Pt))TtdBt, dP_t = \phi\left( \frac{Z_t}{\sigma\sqrt{T-t}} \right) \frac{dZ_t}{\sigma\sqrt{T-t}} = \frac{ \phi\left( \Phi^{-1}\left( P_t \right) \right) }{\sqrt{T-t}} \, dB_t,

where

ϕ()\phi(\cdot)
is the standard normal probability density function, and
Φ1()\Phi^{-1}(\cdot)
is the inverse CDF. Observe that, while the score dynamics and the conversion of a score to price or versa depend on
σ\sigma
, the dynamics of price process
PtP_t
in isolation do not depend on
σ\sigma
. The volatility of these dynamics, as a function of price and remaining time, can be seen in Figure 3.

Uniform AMMs

Loss-versus-rebalancing. From the discussion above, if we denote by

VtV_t
the value of the reserves at time
tt
(when the price is
PtP_t
), then we must have
Vt=V(Pt)V_t = V(P_t)
. Applying Itô’s lemma, we have that the pool value evolves according to:

dVt=12V(Pt)(dPt)2+V(Pt)dPt=12ϕ(Φ1(Pt))2TtV(Pt)dt+(x(Pt)y(Pt))dPt.(2)\begin{array}{ll} dV_t & = \tfrac{1}{2} V''(P_t) \, (dP_t)^2 + V'(P_t) \, dP_t \\ & = \displaystyle \tfrac{1}{2} \frac{ \phi\left( \Phi^{-1}\left( P_t \right) \right)^2 }{T-t} V''(P_t) \, dt + \big(x^{*}(P_t) - y^{*}(P_t) \big) \, dP_t. \end{array} \quad\quad \tag{2}

Since the price

PtP_t
is a martingale, the second term of (2) is also a martingale, and could be increasing or decreasing. However, from the concavity of
V()V(\cdot)
(cf. Lemma 1), the first term corresponds to a negative drift and hence to a decreasing process. This is the loss-versus-rebalancing process (LVR) of Milionis, et al., and it captures the value the pool loses to arbitrageurs who trade against it at disadvantageous prices. We define the instantaneous rate of this loss by

LVRt12ϕ(Φ1(Pt))2TtV(Pt)0.(3)\mathsf{LVR}_t ≜- \tfrac{1}{2} \frac{ \phi\left( \Phi^{-1}\left( P_t \right) \right)^2 }{T-t} V''(P_t) \geq 0. \quad\quad \tag{3}

Uniform AMM. A uniform AMM is a pool which loses money at a constant rate proportional to it’s value, i.e.,

LVRt=αVt\text{LVR}_t = \alpha V_t
, for some constant
α>0\alpha > 0
. For example, Milionis, et al. establish that, for assets following geometric Brownian motion, essentially the only uniform AMMs are geometric mean market makers. In the case of a prediction market under Gaussian score dynamics, examining (3), a uniform LVR pool must solve the ordinary differential equation

12ϕ(Φ1(P))2TtV(P)=αV(P). - \tfrac{1}{2} \frac{ \phi\left( \Phi^{-1}\left( P \right) \right)^2 }{T-t} V''(P) = \alpha V(P).

This is not possible, since the left side depends on

tt
, while the right side does not. The core issue here is that, unlike geometric Brownian motion, whose dynamics are invariant across time, Gaussian score dynamics are highly time dependent.


To circumvent this issue, we allow

α\alpha
to be time dependent, i.e., we set
α=β/(Tt)\alpha = \beta / (T -t)
, for some
β>0\beta > 0
, and now consider a setting where

LVRt=βVtTt\mathsf{LVR}_t = \beta \frac{V_t}{T- t}

This is equivalent to the ODE

ϕ(Φ1(P))2V(P)+2βV(P)=0,(4)\phi\left(\Phi^{-1}(P)\right)^2 V''(P) + 2 \beta V(P) = 0, \quad\quad \tag{4}

for

P0P \geq 0
. In addition, there are are additional requirements on
V()V(\cdot)
such that it is a valid pool value function, for example that
V(P)0V''(P) \leq 0
(cf. Lemma 1).

Static pm-AMM

Pool definition. The above ODE can be simplified through the change of variables

u=Φ1(P)u=\Phi^{-1}(P)
. When
β=1/2\beta = 1/2
, there is a solution satisfying both the ODE and the additional concavity requirements, and it is given by

V(P)=Lϕ(Φ1(P)),V(P) = L \phi\left( \Phi^{-1}(P) \right),

with reserves given by

x(P)=L{Φ1(P)P+ϕ(Φ1(P))Φ1(P)},(5) x^*(P) = L \left\{ \Phi^{-1}(P) P + \phi\left( \Phi^{-1}(P) \right) - \Phi^{-1}(P) \right\}, \quad\quad \tag{5}
y(P)=L{Φ1(P)P+ϕ(Φ1(P))}.(6) y^*(P) = L \left\{ \Phi^{-1}(P) P + \phi\left( \Phi^{-1}(P) \right) \right\}. \quad\quad \tag{6}

Here,

L0L \geq 0
is a liquidity parameter that determines the scaling of the pool size. Observing that
y(P)x(P)=LΦ1(P)y^*(P) - x^*(P) = L \Phi^{-1}(P)
and substituting that into (5), the pool reserves
(x,y)(x,y)
must satisfy the invariant

(yx)Φ(yxL)+Lϕ(yxL)y=0. (y - x) \Phi\left( \frac{y - x}{L} \right) + L \phi\left( \frac{y - x}{L} \right) - y = 0.

This defines the static pm-AMM. (This name alludes to the time varying, dynamic variation of the pm-AMM we will discuss shortly.) By design, this AMM satisfies the relationship

LVRt=Vt2(Tt).\mathsf{LVR}_t = \frac{V_t}{2 (T - t)}.

Defining

Vˉt=E[Vt]\bar{V}_t = \mathbb{E}[V_t]
to be the expected pool value, from (2) we have that

dVˉtdt=Vˉt2(Tt).\frac{d\bar{V}_t}{dt} = - \frac{\bar{V}_t}{2(T - t)}.

Solving this ODE,

Vˉt=V0TtT.\bar{V}_t = V_0 \sqrt{\frac{T-t}{T}}.

In other words, in expectation, the static pm-AMM pool value decays according to the square root of the remaining time horizon.

Dynamic pm-AMM

One downside of the static pm-AMM is that, while its LVR per dollar of value is uniform over all possible prices, it changes over time. In particular, loss per dollar of value is inversely proportional to the time to maturity, so it will increase over time until losing all of its value by maturity

Dynamic liquidity. We imagine now a dynamic, time-varying variation of the static pm-AMM design where the AMM LPs withdraw liquidity over time to mitigate their losses. In particular, assume that the pool value is given by

V(P,t)=Ltϕ(Φ1(P)),V(P,t) = L_t \phi\left( \Phi^{-1}(P) \right),

where

LtL_t
is a deterministic, smooth function that determines how much liquidity is removed (or possibly added) over time. Applying Itô's lemma to the pool value process
VtV(Pt,t)V_t ≜ V(P_t,t)
,

dVt=tV(Pt,t)+12PPV(Pt,t)(dPt)2+PV(Pt,t)dPt=(L˙tϕ(Φ1(P))Lt2(Tt)ϕ(Φ1(P)))dt+(x(Pt)y(Pt))dPt=(L˙tLt12(Tt))Vtdt+(x(Pt)y(Pt))dPt.(7)\begin{array}{ll} dV_t & = \partial_t V(P_t, t) + \tfrac{1}{2} \partial_{PP} V(P_t, t) \, (dP_t)^2 + \partial_P V(P_t, t) \, dP_t \\ & \displaystyle = \left( \dot{L}_t \phi\left( \Phi^{-1}(P) \right) - \frac{L_t}{2(T-t)} \phi\left( \Phi^{-1}(P) \right) \right) \, dt \\ & \quad + \big(x^{*}(P_t) - y^{*}(P_t) \big) \, dP_t \\ & \displaystyle = \left( \frac{\dot{L}_t}{L_t} - \frac{1}{2(T-t)} \right) V_t \, dt + \big(x^{*}(P_t) - y^{*}(P_t) \big) \, dP_t. \end{array} \quad\quad \tag{7}

Denote by

CtC_t
the cumulative dollar value of liquidity withdrawn. Then, since the pool value is linear in the liquidity
LtL_t
, the dollar value of a change in
LtL_t
is proportional to
Vt/LTV_t/L_T
. Then, we have that

dCt=L˙tLtVtdt.dC_t = - \frac{\dot L_t}{L_t} V_t \, dt.

The AMM LPs’ total wealth

WtW_t
t consists of the value of the pool reserves plus the cumulative value of the liquidity withdrawn, so that
Wt=Vt+CtW_t = V_t + C_t
, and this satisfies

dWt=dVt+dCt=12(Tt)Vtdt+(x(Pt)y(Pt))dPt.dW_t = dV_t + dC_t = -\frac{1}{2(T-t)} V_t \, dt + \big(x^{*}(P_t) - y^{*}(P_t) \big) \, dP_t.

This implies that the expected LP wealth

WˉtE[Wt]\bar{W}_t ≜ \mathbb{E}[W_t]
satisfies

Wˉt=W00tVˉs2(Ts)ds,(8)\bar{W}_t = W_0 - \int_0^t \frac{\bar{V}_s}{2(T-s)} \, ds, \quad\quad \tag{8}

where

VˉtE[VT].\bar{V}_t ≜ {E}[V_T].

Constant LVR. Now, consider the specific choice of liquidity curve given

Lt=L0Tt.L_t = L_0 \sqrt{T - t}.

We call the the dynamic pm-AMM. Then, from (7), the expected pool value

Vˉt=E[Vt]\bar{V}_t = E[V_t]
satisfies

dVˉtdt=(L˙tLt12(Tt))Vˉt=VˉtTt.\frac{d \bar{V}_t}{dt} = \left( \frac{\dot{L}_t}{L_t} - \frac{1}{2(T-t)} \right) \bar{V}_t = - \frac{\bar{V}_t}{T - t}.

Solving this ODE, we have

Vˉt=V0TtT.\bar{V}_t = V_0 \, \frac{T-t}{T}.

In other words, net of withdrawals, the expected pool value decreases linearly in the dynamic pm-AMM. Further, because it inherits the static pm-AMM value function, the rate of LVR loss per unit time is given by

LVRt=12(Tt)Vt.\mathsf{LVR}_t = \frac{1}{2(T-t)} V_t.

Then, the expected rate of loss is

E[LVRt]=12(Tt)Vˉt=V02T,\mathbb{E}[\mathsf{LVR}_t] = \frac{1}{2(T-t)} \bar{V}_t = \frac{V_0}{2T},

which is constant over

tt
. That is, the dynamic pm-AMM loses money to arbitrageurs at a constant rate (in expectation) over time.

Finally, following (8), this results in an expected wealth process

WˉT=W00TV02Tdt=W0V02=W02,\bar{W}_T = W_0 - \int_0^T \frac{V_0}{2T} \, dt = W_0 - \frac{V_0}{2} = \frac{W_0}{2},

so that half the initial wealth is lost by the end.

Conclusion

The pm-AMM may be useful for prediction markets driven by dynamics that resemble the Gaussian score dynamics model.

Beyond this, our work suggests that uniform AMMs may be derivable for other kinds of assets, like bonds, options, and other derivatives.

Acknowledgements

The authors wish to thank Benedict Brady, Leo Lau, Allan Niemerg, Storm Slivkoff, Shouqiao Wang, Dave White, and Bill Zhang for helpful comments.

Written by

Biography

Ciamac Moallemi is William von Mueffling Professor of Business in the Decision, Risk, & Operations Division of the Graduate School of Business at Columbia University, and the Director of the Briger Family Digital Finance Lab. In his work with Paradigm, he focuses on applied research in mechanism and market design, with a particular focus on decentralized finance.

Biography

Dan Robinson is a General Partner at Paradigm, focused on crypto investments and research into open-source protocols. Previously, Dan was a protocol researcher at Interstellar. Before Interstellar, Dan practiced as a litigation attorney at Paul, Weiss, Rifkind, Wharton & Garrison LLP. He earned a J.D. from Harvard Law School and an A.B. from Harvard University.

Disclaimer: This post is for general information purposes only. It does not constitute investment advice or a recommendation or solicitation to buy or sell any investment and should not be used in the evaluation of the merits of making any investment decision. It should not be relied upon for accounting, legal or tax advice or investment recommendations. This post reflects the current opinions of the authors and is not made on behalf of Paradigm or its affiliates and does not necessarily reflect the opinions of Paradigm, its affiliates or individuals associated with Paradigm. The opinions reflected herein are subject to change without being updated.

Copyright © 2024 Paradigm Operations LP All rights reserved. “Paradigm” is a trademark, and the triangular mobius symbol is a registered trademark of Paradigm Operations LP