Image de couverture de livre

Formal State-Machine Models for Uniswap v3 Concentrated-Liquidity AMMs: Priced Timed Automata, Finite-State Transducers, and Provable Rounding Bounds

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tranquilli, Julius, Gupta, Naman
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Mathematical Finance
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Backtesting Framework for Concentrated Liquidity Market Makers on Uniswap V3 Decentralized Exchange
par: Urusov, Andrey, et autres
Publié: (2024)

Risk-Neutral Pricing Model of Uniswap Liquidity Providing Position: A Stopping Time Approach
par: Hou, Liang, et autres
Publié: (2024)

Dynamic Liquidity Provision in Decentralized Markets: Strategy Optimization and Performance Evaluation in Concentrated Liquidity AMMs
par: Urusov, Andrey, et autres
Publié: (2025)

Optimal execution on Uniswap v2/v3 under transient price impact
par: Baude, Bastien, et autres
Publié: (2026)

Robust No-Arbitrage under Projective Determinacy
par: Boistard, Alexandre, et autres
Publié: (2025)

Optimal Rebalancing in Dynamic AMMs
par: Willetts, Matthew, et autres
Publié: (2024)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
par: Kapytka, Maryia
Publié: (2026)

Historical Developments in Probability Measures for Asset Pricing: From State Prices to Modern Pricing Kernels
par: Chen, Zhang, et autres
Publié: (2026)

CLVR Ordering of Transactions on AMMs
par: McLaughlin, Robert, et autres
Publié: (2024)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
par: Carette, Titouan, et autres
Publié: (2025)

Machine Learning Methods for Pricing Financial Derivatives
par: Fan, Lei, et autres
Publié: (2024)

DeFi's Concentrated Liquidity From Scratch
par: Richardson, Mark B., et autres
Publié: (2024)

The Price of Liquidity: Implied Volatility of Automated Market Maker Fees
par: Bichuch, Maxim, et autres
Publié: (2025)

Transducing Linear Decompositions of Tournaments
par: Geniet, Colin, et autres
Publié: (2026)

Stochastic Path-Dependent Volatility Models for Price-Storage Dynamics in Natural Gas Markets and Discrete-Time Swing Option Pricing
par: Qiu, Jinniao, et autres
Publié: (2024)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
par: Mannucci, Mirco A., et autres
Publié: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
par: Mannucci, Mirco A., et autres
Publié: (2026)

Mathematics of Differential Machine Learning in Derivative Pricing and Hedging
par: Gomes, Pedro Duarte
Publié: (2024)

Robust Pricing and Hedging of American Options in Continuous Time
par: Guo, Ivan, et autres
Publié: (2025)

Quantifying Bounded Rationality: Formal Verification of Simon's Satisficing Through Flexible Stochastic Dominance
par: Li, Jingyuan, et autres
Publié: (2025)

Formal model theory and higher topology
par: Ivan Di Liberti
Publié: (2024)

Long Time Behavior of Optimal Liquidation Problems
par: Cheng, Xinman, et autres
Publié: (2024)

Bounding LVR in AMMs via Secant-Tangent Divergence and Collateralized Liquidity Scaling
par: Kim, Hyoungsung, et autres
Publié: (2026)

Edit Distance of Finite State Transducers
par: Aiswarya, C., et autres
Publié: (2024)

Coherence Theory in Higher Identity Types Analytical Formalization of the Gnomonic Computation Model
par: Lombardi, Roberto
Publié: (2026)

Optimal Decisions for Liquid Staking: Allocation and Exit Timing
par: Ma, Ruofei, et autres
Publié: (2025)

Modeling Stock Return Distributions and Pricing Options
par: Jiang, Xinxin
Publié: (2025)

Automated Market Makers: A Stochastic Optimization Approach for Profitable Liquidity Concentration
par: Zeller, Simon Caspar, et autres
Publié: (2025)

Semiclassical CEV Option Pricing Model: an Analytical Approach
par: Capitán, Jose A., et autres
Publié: (2024)

ESG as Priced Crash Insurance: State-Dependent Tail Risk and Deconfounding Evidence
par: Yi, Jiayu, et autres
Publié: (2026)

A Path Integral Approach for Time-Dependent Hamiltonians with Applications to Derivatives Pricing
par: Stedman, Mark, et autres
Publié: (2024)

Pricing American Options Time-Capped by a Drawdown Event
par: Palmowski, Zbigniew, et autres
Publié: (2025)

Pricing Options on Forwards in Function-Valued Affine Stochastic Volatility Models
par: He, Jian, et autres
Publié: (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
par: Lee, Roger
Publié: (2023)

Benchmark-Neutral Pricing
par: Platen, Eckhard
Publié: (2024)

Marginal Price Optimization
par: Loesch, Stefan, et autres
Publié: (2025)

Joint Pricing in SPX and VIX Derivative Markets with Composite Change of Time Models
par: Cheng, Liexin, et autres
Publié: (2024)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
par: Altuntas, Alper, et autres
Publié: (2025)

The Relative Entropy of Expectation and Price
par: McCloud, Paul
Publié: (2025)

The Risk-Neutral Equivalent Pricing of Model-Uncertainty
par: Wren, Ken Kangda
Publié: (2025)