Buchumschlag

A Formal Approach to AMM Fee Mechanisms with Lean 4

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dessalvi, Marco, Bartoletti, Massimo, Lluch-Lafuente, Alberto
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Mathematical Finance Computational Engineering, Finance, and Science Cryptography and Security Trading and Market Microstructure
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SoK: Market Microstructure for Decentralized Prediction Markets (DePMs)
von: Rahman, Nahid, et al.
Veröffentlicht: (2025)

Closed-form solutions for generic N-token AMM arbitrage
von: Willetts, Matthew, et al.
Veröffentlicht: (2024)

Optimal Dynamic Fees in Automated Market Makers
von: Baggiani, Leonardo, et al.
Veröffentlicht: (2025)

Bitcoin Gold, Litecoin Silver:An Introduction to Cryptocurrency's Valuation and Trading Strategy
von: Yu, Haoyang, et al.
Veröffentlicht: (2023)

ForesightFlow: An Information Leakage Score Framework for Prediction Markets
von: Nechepurenko, Maksym
Veröffentlicht: (2026)

Automated Market Makers: A Stochastic Optimization Approach for Profitable Liquidity Concentration
von: Zeller, Simon Caspar, et al.
Veröffentlicht: (2025)

An Empirical Analysis on Financial Markets: Insights from the Application of Statistical Physics
von: Li, Haochen, et al.
Veröffentlicht: (2023)

Modeling Loss-Versus-Rebalancing in Automated Market Makers via Continuous-Installment Options
von: Singh, Srisht Fateh, et al.
Veröffentlicht: (2025)

Machine Spirits: Speculation and Adaptation of LLM Agents in Asset Markets
von: Saxena, Maxime, et al.
Veröffentlicht: (2026)

A Microstructure Analysis of Coupling in CFMMs
von: Sterrett, Althea, et al.
Veröffentlicht: (2025)

Stochastic Price Dynamics in Response to Order Flow Imbalance: Evidence from CSI 300 Index Futures
von: Hu, Chen, et al.
Veröffentlicht: (2025)

What Happens When Institutional Liquidity Enters Prediction Markets: Identification, Measurement, and a Synthetic Proof of Concept
von: Dalen, Shaw
Veröffentlicht: (2026)

No Tick-Size Too Small: A General Method for Modelling Small Tick Limit Order Books
von: Jain, Konark, et al.
Veröffentlicht: (2024)

Competition between DEXs through Dynamic Fees
von: Baggiani, Leonardo, et al.
Veröffentlicht: (2026)

No Questions Asked: Effects of Transparency on Stablecoin Liquidity During the Collapse of Silicon Valley Bank
von: Cruz, Walter Hernandez, et al.
Veröffentlicht: (2024)

Trading with the Devil: Risk and Return in Foundation Model Strategies
von: Zhang, Jinrui
Veröffentlicht: (2025)

Controllable Financial Market Generation with Diffusion Guided Meta Agent
von: Huang, Yu-Hao, et al.
Veröffentlicht: (2024)

am-AMM: An Auction-Managed Automated Market Maker
von: Adams, Austin, et al.
Veröffentlicht: (2024)

Approaching multifractal complexity in decentralized cryptocurrency trading
von: Wątorek, Marcin, et al.
Veröffentlicht: (2024)

Predicting Stock Price Movement as an Image Classification Problem
von: Steinbacher, Matej
Veröffentlicht: (2023)

Liquidity provision in CLMMs: evidence from transactions data
von: Urusov, Andrey, et al.
Veröffentlicht: (2026)

Market Making and Transient Impact in Spot FX
von: Barzykin, Alexander
Veröffentlicht: (2026)

Pricing and Hedging Financial Derivatives in Merger\&Acquisition Deals with Price Impact
von: Barucci, Emilio, et al.
Veröffentlicht: (2026)

Mandatory Disclosure in Oligopolistic Market Making
von: Kim, Seongjin, et al.
Veröffentlicht: (2026)

Entropy-Regularized Certainty-Equivalent Bellman Policies for Risk-Sensitive Market Making
von: Zhong, Tenghan
Veröffentlicht: (2026)

Macroscopic Market Making
von: Guo, Ivan, et al.
Veröffentlicht: (2023)

Continuous-time Equilibrium Returns in Markets with Price Impact and Transaction Costs
von: Anthropelos, Michail, et al.
Veröffentlicht: (2024)

Optimal Exit Time for Liquidity Providers in Automated Market Makers
von: Bergault, Philippe, et al.
Veröffentlicht: (2025)

Follow the Leader: Enhancing Systematic Trend-Following Using Network Momentum
von: Li, Linze, et al.
Veröffentlicht: (2025)

All AMMs are CFMMs. All DeFi markets have invariants. A DeFi market is arbitrage-free if and only if it has an increasing invariant
von: Lee, Roger
Veröffentlicht: (2023)

Axioms for Automated Market Makers: A Mathematical Framework in FinTech and Decentralized Finance
von: Bichuch, Maxim, et al.
Veröffentlicht: (2022)

Decentralized Prediction Markets and Sports Books
von: Amini, Hamed, et al.
Veröffentlicht: (2023)

Optimal Execution under Incomplete Information
von: Chevalier, Etienne, et al.
Veröffentlicht: (2024)

Performative Market Making
von: Kleitsikas, Charalampos, et al.
Veröffentlicht: (2025)

Arbitrage on Decentralized Exchanges
von: He, Xue Dong, et al.
Veröffentlicht: (2025)

Wasserstein Robust Market Making via Entropy Regularization
von: Fang, Zhou, et al.
Veröffentlicht: (2025)

Decentralised Finance and Automated Market Making: Execution and Speculation
von: Cartea, Álvaro, et al.
Veröffentlicht: (2023)

Arbitrage with bounded Liquidity
von: Schlegel, Christoph, et al.
Veröffentlicht: (2025)

QubitSwap: The Informational Edge in Decentralised Exchanges
von: Scott-Simons, Oliver Tronn, et al.
Veröffentlicht: (2025)

Risk aversion of insider and dynamic asymmetric information
von: Danilova, Albina, et al.
Veröffentlicht: (2025)