IDEAS home Printed from https://ideas.repec.org/p/arx/papers/2310.09782.html
   My bibliography  Save this paper

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

Author

Listed:
  • Roger Lee

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.

Suggested Citation

  • Roger Lee, 2023. "All AMMs are CFMMs. All DeFi markets have invariants. A DeFi market is arbitrage-free if and only if it has an increasing invariant," Papers 2310.09782, arXiv.org, revised Dec 2023.
    • Handle: RePEc:arx:papers:2310.09782
    as

    Download full text from publisher

    File URL: http://arxiv.org/pdf/2310.09782
    File Function: Latest version
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. 'Alvaro Cartea & Fayc{c}al Drissi & Marcello Monga, 2023. "Decentralised Finance and Automated Market Making: Predictable Loss and Optimal Liquidity Provision," Papers 2309.08431, arXiv.org, revised Jun 2024.
    2. Maxim Bichuch & Zachary Feinstein, 2022. "Axioms for Automated Market Makers: A Mathematical Framework in FinTech and Decentralized Finance," Papers 2210.01227, arXiv.org, revised Feb 2025.
    3. Harrison, J. Michael & Pliska, Stanley R., 1981. "Martingales and stochastic integrals in the theory of continuous trading," Stochastic Processes and their Applications, Elsevier, vol. 11(3), pages 215-260, August.
    4. Sondermann, Dieter, 1980. "Utility representations for partial orders," Journal of Economic Theory, Elsevier, vol. 23(2), pages 183-188, October.
    5. 'Alvaro Cartea & Fayc{c}al Drissi & Marcello Monga, 2023. "Decentralised Finance and Automated Market Making: Execution and Speculation," Papers 2307.03499, arXiv.org, revised Jun 2025.
    6. Agostino Capponi & Ruizhe Jia, 2021. "The Adoption of Blockchain-based Decentralized Exchanges," Papers 2103.08842, arXiv.org, revised Jul 2021.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Alif Aqsha & Philippe Bergault & Leandro S'anchez-Betancourt, 2025. "Equilibrium Reward for Liquidity Providers in Automated Market Makers," Papers 2503.22502, arXiv.org.
    2. Jason Milionis & Ciamac C. Moallemi & Tim Roughgarden, 2023. "Complexity-Approximation Trade-offs in Exchange Mechanisms: AMMs vs. LOBs," Papers 2302.11652, arXiv.org, revised Apr 2023.
    3. Philippe Bergault & S'ebastien Bieber & Leandro S'anchez-Betancourt, 2025. "Optimal Exit Time for Liquidity Providers in Automated Market Makers," Papers 2509.06510, arXiv.org, revised Oct 2025.
    4. Hamed Amini & Maxim Bichuch & Zachary Feinstein, 2023. "Decentralized Prediction Markets and Sports Books," Papers 2307.08768, arXiv.org, revised Jan 2025.
    5. Jimmy Risk & Shen-Ning Tung & Tai-Ho Wang, 2025. "Dynamics of Liquidity Surfaces in Uniswap v3," Papers 2509.05013, arXiv.org.
    6. Damir Filipovi'c & Martin Larsson, 2017. "Polynomial Jump-Diffusion Models," Papers 1711.08043, arXiv.org, revised Jul 2019.
    7. Yeap, Claudia & Kwok, Simon S. & Choy, S. T. Boris, 2016. "A Flexible Generalised Hyperbolic Option Pricing Model and its Special Cases," Working Papers 2016-14, University of Sydney, School of Economics.
    8. Bjork, Tomas, 2009. "Arbitrage Theory in Continuous Time," OUP Catalogue, Oxford University Press, edition 3, number 9780199574742.
    9. Karl Friedrich Mina & Gerald H. L. Cheang & Carl Chiarella, 2015. "Approximate Hedging Of Options Under Jump-Diffusion Processes," International Journal of Theoretical and Applied Finance (IJTAF), World Scientific Publishing Co. Pte. Ltd., vol. 18(04), pages 1-26.
    10. Anlong Li, 1992. "Binomial approximation in financial models: computational simplicity and convergence," Working Papers (Old Series) 9201, Federal Reserve Bank of Cleveland.
    11. Annetta Ho & Cosmin Cazan & Andrew Schrumm, 2024. "The Ecology of Automated Market Makers," Discussion Papers 2024-12, Bank of Canada.
    12. Pascal Franc{c}ois & Genevi`eve Gauthier & Fr'ed'eric Godin & Carlos Octavio P'erez Mendoza, 2024. "Enhancing Deep Hedging of Options with Implied Volatility Surface Feedback Information," Papers 2407.21138, arXiv.org, revised Aug 2025.
    13. Tak Siu & John Lau & Hailiang Yang, 2007. "On Valuing Participating Life Insurance Contracts with Conditional Heteroscedasticity," Asia-Pacific Financial Markets, Springer;Japanese Association of Financial Economics and Engineering, vol. 14(3), pages 255-275, September.
    14. Siu, Tak Kuen & Yang, Hailiang & Lau, John W., 2008. "Pricing currency options under two-factor Markov-modulated stochastic volatility models," Insurance: Mathematics and Economics, Elsevier, vol. 43(3), pages 295-302, December.
    15. Georg Menz & Moritz Vo{ss}, 2023. "Aggregation of financial markets," Papers 2309.04116, arXiv.org, revised Sep 2024.
    16. Björn Lutz, 2010. "Pricing of Derivatives on Mean-Reverting Assets," Lecture Notes in Economics and Mathematical Systems, Springer, number 978-3-642-02909-7, December.
    17. Gabriel Frahm, 0. "Arbitrage Pricing Theory In Ergodic Markets," International Journal of Theoretical and Applied Finance (IJTAF), World Scientific Publishing Co. Pte. Ltd., vol. 21(05), pages 1-28.
    18. Clarence Simard & Bruno Rémillard, 2019. "Pricing European Options in a Discrete Time Model for the Limit Order Book," Methodology and Computing in Applied Probability, Springer, vol. 21(3), pages 985-1005, September.
    19. Keppo, Jussi & Moscarini, Giuseppe & Smith, Lones, 2008. "The demand for information: More heat than light," Journal of Economic Theory, Elsevier, vol. 138(1), pages 21-50, January.
    20. Robert Elliott & Tak Siu, 2015. "Asset Pricing Using Trading Volumes in a Hidden Regime-Switching Environment," Asia-Pacific Financial Markets, Springer;Japanese Association of Financial Economics and Engineering, vol. 22(2), pages 133-149, May.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:arx:papers:2310.09782. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: arXiv administrators (email available below). General contact details of provider: http://arxiv.org/ .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.