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 Apr 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 Aug 2023.
    3. Sondermann, Dieter, 1980. "Utility representations for partial orders," Journal of Economic Theory, Elsevier, vol. 23(2), pages 183-188, October.
    4. 'Alvaro Cartea & Fayc{c}al Drissi & Marcello Monga, 2023. "Decentralised Finance and Automated Market Making: Execution and Speculation," Papers 2307.03499, arXiv.org.
    5. 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. Hamed Amini & Maxim Bichuch & Zachary Feinstein, 2023. "Decentralized Prediction Markets and Sports Books," Papers 2307.08768, arXiv.org, revised Aug 2023.
    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. Georg Menz & Moritz Vo{ss}, 2023. "Aggregation of financial markets," Papers 2309.04116, arXiv.org.
    4. Robin Fritsch & Andrea Canidio, 2024. "Measuring Arbitrage Losses and Profitability of AMM Liquidity," Papers 2404.05803, arXiv.org, revised Apr 2024.
    5. Raphael Auer & Bernhard Haslhofer & Stefan Kitzler & Pietro Saggese & Friedhelm Victor, 2023. "The Technology of Decentralized Finance (DeFi)," BIS Working Papers 1066, Bank for International Settlements.
    6. Bosi, Gianni & Herden, Gerhard, 2012. "Continuous multi-utility representations of preorders," Journal of Mathematical Economics, Elsevier, vol. 48(4), pages 212-218.
    7. Maxim Bichuch & Zachary Feinstein, 2022. "Axioms for Automated Market Makers: A Mathematical Framework in FinTech and Decentralized Finance," Papers 2210.01227, arXiv.org, revised Aug 2023.
    8. Alfred Lehar & Christine Parlour & Marius Zoican, 2023. "Fragmentation and optimal liquidity supply on decentralized exchanges," Papers 2307.13772, arXiv.org, revised Feb 2024.
    9. Kenan Wood & Maurice Herlihy & Hammurabi Mendes & Jonad Pulaj, 2024. "Expiring Assets in Automated Market Makers," Papers 2401.04289, arXiv.org.
    10. Jonathan Chiu & Charles M. Kahn & Thorsten V. Koeppl, 2022. "Grasping decentralized finance through the lens of economic theory," Canadian Journal of Economics/Revue canadienne d'économique, John Wiley & Sons, vol. 55(4), pages 1702-1728, November.
    11. Pivato, Marcus, 2009. "Social choice with approximate interpersonal comparisons of well-being," MPRA Paper 17060, University Library of Munich, Germany.
    12. Philippe Bergault & Louis Bertucci & David Bouba & Olivier Gu'eant, 2022. "Automated Market Makers: Mean-Variance Analysis of LPs Payoffs and Design of Pricing Functions," Papers 2212.00336, arXiv.org, revised Nov 2023.
    13. Brolley, Michael & Zoican, Marius, 2023. "On-demand fast trading on decentralized exchanges," Finance Research Letters, Elsevier, vol. 51(C).
    14. Peplluis R. Esteva & Andrés El-Fakdi & Alberto Ballesteros-Rodríguez, 2023. "Invoice Discounting Using Kelly Criterion by Automated Market Makers-like Implementations," Mathematics, MDPI, vol. 11(7), pages 1-37, March.
    15. Andrea Canidio, 2023. "Auctions with Tokens: Monetary Policy as a Mechanism Design Choice," Papers 2301.13794, arXiv.org, revised Aug 2023.
    16. YIlmaz, Özgür, 2008. "Utility representation of lower separable preferences," Mathematical Social Sciences, Elsevier, vol. 56(3), pages 389-394, November.
    17. Ariah Klages-Mundt & Steffen Schuldenzucker, 2022. "Designing Autonomous Markets for Stablecoin Monetary Policy," Papers 2212.12398, arXiv.org.
    18. Basile Caparros & Amit Chaudhary & Olga Klein, 2023. "Blockchain scaling and liquidity concentration on decentralized exchanges," Papers 2306.17742, arXiv.org, revised Mar 2024.
    19. Nishimura, Hiroki & Ok, Efe A., 2016. "Utility representation of an incomplete and nontransitive preference relation," Journal of Economic Theory, Elsevier, vol. 166(C), pages 164-185.
    20. Andrea Barbon & Angelo Ranaldo, 2021. "On The Quality Of Cryptocurrency Markets: Centralized Versus Decentralized Exchanges," Papers 2112.07386, arXiv.org, revised Jul 2023.

    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.