Copertina

A Formal Approach to AMM Fee Mechanisms with Lean 4

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dessalvi, Marco, Bartoletti, Massimo, Lluch-Lafuente, Alberto
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Mathematical Finance Computational Engineering, Finance, and Science Cryptography and Security Trading and Market Microstructure
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SoK: Market Microstructure for Decentralized Prediction Markets (DePMs)
di: Rahman, Nahid, et al.
Pubblicazione: (2025)

Closed-form solutions for generic N-token AMM arbitrage
di: Willetts, Matthew, et al.
Pubblicazione: (2024)

Optimal Dynamic Fees in Automated Market Makers
di: Baggiani, Leonardo, et al.
Pubblicazione: (2025)

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

ForesightFlow: An Information Leakage Score Framework for Prediction Markets
di: Nechepurenko, Maksym
Pubblicazione: (2026)

Automated Market Makers: A Stochastic Optimization Approach for Profitable Liquidity Concentration
di: Zeller, Simon Caspar, et al.
Pubblicazione: (2025)

An Empirical Analysis on Financial Markets: Insights from the Application of Statistical Physics
di: Li, Haochen, et al.
Pubblicazione: (2023)

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

Machine Spirits: Speculation and Adaptation of LLM Agents in Asset Markets
di: Saxena, Maxime, et al.
Pubblicazione: (2026)

A Microstructure Analysis of Coupling in CFMMs
di: Sterrett, Althea, et al.
Pubblicazione: (2025)

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

What Happens When Institutional Liquidity Enters Prediction Markets: Identification, Measurement, and a Synthetic Proof of Concept
di: Dalen, Shaw
Pubblicazione: (2026)

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

Competition between DEXs through Dynamic Fees
di: Baggiani, Leonardo, et al.
Pubblicazione: (2026)

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

Trading with the Devil: Risk and Return in Foundation Model Strategies
di: Zhang, Jinrui
Pubblicazione: (2025)

Controllable Financial Market Generation with Diffusion Guided Meta Agent
di: Huang, Yu-Hao, et al.
Pubblicazione: (2024)

am-AMM: An Auction-Managed Automated Market Maker
di: Adams, Austin, et al.
Pubblicazione: (2024)

Approaching multifractal complexity in decentralized cryptocurrency trading
di: Wątorek, Marcin, et al.
Pubblicazione: (2024)

Predicting Stock Price Movement as an Image Classification Problem
di: Steinbacher, Matej
Pubblicazione: (2023)

Liquidity provision in CLMMs: evidence from transactions data
di: Urusov, Andrey, et al.
Pubblicazione: (2026)

Market Making and Transient Impact in Spot FX
di: Barzykin, Alexander
Pubblicazione: (2026)

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

Mandatory Disclosure in Oligopolistic Market Making
di: Kim, Seongjin, et al.
Pubblicazione: (2026)

Entropy-Regularized Certainty-Equivalent Bellman Policies for Risk-Sensitive Market Making
di: Zhong, Tenghan
Pubblicazione: (2026)

Macroscopic Market Making
di: Guo, Ivan, et al.
Pubblicazione: (2023)

Continuous-time Equilibrium Returns in Markets with Price Impact and Transaction Costs
di: Anthropelos, Michail, et al.
Pubblicazione: (2024)

Optimal Exit Time for Liquidity Providers in Automated Market Makers
di: Bergault, Philippe, et al.
Pubblicazione: (2025)

Follow the Leader: Enhancing Systematic Trend-Following Using Network Momentum
di: Li, Linze, et al.
Pubblicazione: (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
di: Lee, Roger
Pubblicazione: (2023)

Axioms for Automated Market Makers: A Mathematical Framework in FinTech and Decentralized Finance
di: Bichuch, Maxim, et al.
Pubblicazione: (2022)

Decentralized Prediction Markets and Sports Books
di: Amini, Hamed, et al.
Pubblicazione: (2023)

Optimal Execution under Incomplete Information
di: Chevalier, Etienne, et al.
Pubblicazione: (2024)

Performative Market Making
di: Kleitsikas, Charalampos, et al.
Pubblicazione: (2025)

Arbitrage on Decentralized Exchanges
di: He, Xue Dong, et al.
Pubblicazione: (2025)

Wasserstein Robust Market Making via Entropy Regularization
di: Fang, Zhou, et al.
Pubblicazione: (2025)

Decentralised Finance and Automated Market Making: Execution and Speculation
di: Cartea, Álvaro, et al.
Pubblicazione: (2023)

Arbitrage with bounded Liquidity
di: Schlegel, Christoph, et al.
Pubblicazione: (2025)

QubitSwap: The Informational Edge in Decentralised Exchanges
di: Scott-Simons, Oliver Tronn, et al.
Pubblicazione: (2025)

Risk aversion of insider and dynamic asymmetric information
di: Danilova, Albina, et al.
Pubblicazione: (2025)