Formal State-Machine Models for Uniswap v3 Concentrated-Liquidity AMMs: Priced Timed Automata, Finite-State Transducers, and Provable Rounding Bounds
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Tranquilli, Julius, Gupta, Naman |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| 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)
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)
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)
par: Urusov, Andrey, et autres
Publié: (2025)
Optimal execution on Uniswap v2/v3 under transient price impact
par: Baude, Bastien, et autres
Publié: (2026)
par: Baude, Bastien, et autres
Publié: (2026)
Robust No-Arbitrage under Projective Determinacy
par: Boistard, Alexandre, et autres
Publié: (2025)
par: Boistard, Alexandre, et autres
Publié: (2025)
Optimal Rebalancing in Dynamic AMMs
par: Willetts, Matthew, et autres
Publié: (2024)
par: Willetts, Matthew, et autres
Publié: (2024)
Lower Bounds on Inverse Cellular Automata via Proof Complexity
par: Kapytka, Maryia
Publié: (2026)
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)
par: Chen, Zhang, et autres
Publié: (2026)
CLVR Ordering of Transactions on AMMs
par: McLaughlin, Robert, et autres
Publié: (2024)
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)
par: Carette, Titouan, et autres
Publié: (2025)
Machine Learning Methods for Pricing Financial Derivatives
par: Fan, Lei, et autres
Publié: (2024)
par: Fan, Lei, et autres
Publié: (2024)
DeFi's Concentrated Liquidity From Scratch
par: Richardson, Mark B., et autres
Publié: (2024)
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)
par: Bichuch, Maxim, et autres
Publié: (2025)
Transducing Linear Decompositions of Tournaments
par: Geniet, Colin, et autres
Publié: (2026)
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)
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)
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)
par: Mannucci, Mirco A., et autres
Publié: (2026)
Mathematics of Differential Machine Learning in Derivative Pricing and Hedging
par: Gomes, Pedro Duarte
Publié: (2024)
par: Gomes, Pedro Duarte
Publié: (2024)
Robust Pricing and Hedging of American Options in Continuous Time
par: Guo, Ivan, et autres
Publié: (2025)
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)
par: Li, Jingyuan, et autres
Publié: (2025)
Formal model theory and higher topology
par: Ivan Di Liberti
Publié: (2024)
par: Ivan Di Liberti
Publié: (2024)
Long Time Behavior of Optimal Liquidation Problems
par: Cheng, Xinman, et autres
Publié: (2024)
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)
par: Kim, Hyoungsung, et autres
Publié: (2026)
Edit Distance of Finite State Transducers
par: Aiswarya, C., et autres
Publié: (2024)
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)
par: Lombardi, Roberto
Publié: (2026)
Optimal Decisions for Liquid Staking: Allocation and Exit Timing
par: Ma, Ruofei, et autres
Publié: (2025)
par: Ma, Ruofei, et autres
Publié: (2025)
Modeling Stock Return Distributions and Pricing Options
par: Jiang, Xinxin
Publié: (2025)
par: Jiang, Xinxin
Publié: (2025)
Automated Market Makers: A Stochastic Optimization Approach for Profitable Liquidity Concentration
par: Zeller, Simon Caspar, et autres
Publié: (2025)
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)
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)
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)
par: Stedman, Mark, et autres
Publié: (2024)
Pricing American Options Time-Capped by a Drawdown Event
par: Palmowski, Zbigniew, et autres
Publié: (2025)
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)
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)
par: Lee, Roger
Publié: (2023)
Benchmark-Neutral Pricing
par: Platen, Eckhard
Publié: (2024)
par: Platen, Eckhard
Publié: (2024)
Marginal Price Optimization
par: Loesch, Stefan, et autres
Publié: (2025)
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)
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)
par: Altuntas, Alper, et autres
Publié: (2025)
The Relative Entropy of Expectation and Price
par: McCloud, Paul
Publié: (2025)
par: McCloud, Paul
Publié: (2025)
The Risk-Neutral Equivalent Pricing of Model-Uncertainty
par: Wren, Ken Kangda
Publié: (2025)
par: Wren, Ken Kangda
Publié: (2025)
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)