Abstract:In a universal framework that expresses any market system in terms of state transition rules, we prove that every DeFi market system has an invariant function and is thus by definition a CFMM; indeed, all automated market makers (AMMs) are CFMMs. Invariants connect directly to arbitrage and to completeness, according to two fundamental equivalences. First, a DeFi market system is, we prove, arbitrage-free if and only if it has a strictly increasing invariant, where arbitrage-free means that no state can be transformed into a dominated state by any sequence of transactions. Second, the invariant is, we prove, unique if and only if the market system is complete, meaning that it allows transitions between all pairs of states in the state space, in at least one direction. Thus a necessary and sufficient condition for no-arbitrage (respectively, for completeness) is the existence of the increasing (respectively, the uniqueness of the) invariant, which, therefore, fulfills in nonlinear DeFi theory the foundational role parallel to the existence (respectively, uniqueness) of the pricing measure in the Fundamental Theorem of Asset Pricing for linear markets. Moreover, a market system is recoverable by its invariant if and only if it is complete; and in all cases, complete or incomplete, every market system has, and is recoverable by, a multi-invariant. A market system is arbitrage-free if and only if its multi-invariant is increasing. Our examples illustrate (non)existence of various specific types of arbitrage in the context of various specific types of market systems -- with or without fees, with or without liquidity operations, and with or without coordination among multiple pools -- but the fundamental theorems have full generality, applicable to any DeFi market system and to any notion of arbitrage expressible as a strict partial order.

Criteria for the absence of arbitrage in general diffusion markets

No arbitrage and the existence of ACLMMs in general diffusion models

On the Existence of Martingale Measures in Jump Diffusion Market Models

Arbitrage with Fractional Gaussian Processes

Arbitrage theory in a market of stochastic dimension

Diversity and no arbitrage

Weak and strong no-arbitrage conditions for continuous financial markets

Asymptotic arbitrage and numéraire portfolios in large financial markets

No-arbitrage conditions and pricing from discrete-time to continuous-time strategies

Gauge Invariance, Geometry and Arbitrage

Universal Arbitrage Aggregator in Discrete Time Markets under Uncertainty

On optimal arbitrage

No Arbitrage Conditions For Simple Trading Strategies

The Black-Scholes Equation in Presence of Arbitrage

Robust Arbitrage Conditions for Financial Markets

All AMMs are CFMMs. All DeFi markets have invariants. A DeFi market is arbitrage-free if and only if it has an increasing invariant

Arbitrage theory without a numéraire

Market models with optimal arbitrage

No-arbitrage of second kind in countable markets with proportional transaction costs

Optimal investment under behavioural criteria in incomplete diffusion market models

Arbitrage and deflators in illiquid markets