Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tranquilli, Julius, Gupta, Naman
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Mathematical Finance
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Backtesting Framework for Concentrated Liquidity Market Makers on Uniswap V3 Decentralized Exchange
di: Urusov, Andrey, et al.
Pubblicazione: (2024)

Risk-Neutral Pricing Model of Uniswap Liquidity Providing Position: A Stopping Time Approach
di: Hou, Liang, et al.
Pubblicazione: (2024)

Dynamic Liquidity Provision in Decentralized Markets: Strategy Optimization and Performance Evaluation in Concentrated Liquidity AMMs
di: Urusov, Andrey, et al.
Pubblicazione: (2025)

Optimal execution on Uniswap v2/v3 under transient price impact
di: Baude, Bastien, et al.
Pubblicazione: (2026)

Robust No-Arbitrage under Projective Determinacy
di: Boistard, Alexandre, et al.
Pubblicazione: (2025)

Optimal Rebalancing in Dynamic AMMs
di: Willetts, Matthew, et al.
Pubblicazione: (2024)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
di: Kapytka, Maryia
Pubblicazione: (2026)

Historical Developments in Probability Measures for Asset Pricing: From State Prices to Modern Pricing Kernels
di: Chen, Zhang, et al.
Pubblicazione: (2026)

CLVR Ordering of Transactions on AMMs
di: McLaughlin, Robert, et al.
Pubblicazione: (2024)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
di: Carette, Titouan, et al.
Pubblicazione: (2025)

Machine Learning Methods for Pricing Financial Derivatives
di: Fan, Lei, et al.
Pubblicazione: (2024)

DeFi's Concentrated Liquidity From Scratch
di: Richardson, Mark B., et al.
Pubblicazione: (2024)

The Price of Liquidity: Implied Volatility of Automated Market Maker Fees
di: Bichuch, Maxim, et al.
Pubblicazione: (2025)

Transducing Linear Decompositions of Tournaments
di: Geniet, Colin, et al.
Pubblicazione: (2026)

Stochastic Path-Dependent Volatility Models for Price-Storage Dynamics in Natural Gas Markets and Discrete-Time Swing Option Pricing
di: Qiu, Jinniao, et al.
Pubblicazione: (2024)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
di: Mannucci, Mirco A., et al.
Pubblicazione: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
di: Mannucci, Mirco A., et al.
Pubblicazione: (2026)

Mathematics of Differential Machine Learning in Derivative Pricing and Hedging
di: Gomes, Pedro Duarte
Pubblicazione: (2024)

Robust Pricing and Hedging of American Options in Continuous Time
di: Guo, Ivan, et al.
Pubblicazione: (2025)

Quantifying Bounded Rationality: Formal Verification of Simon's Satisficing Through Flexible Stochastic Dominance
di: Li, Jingyuan, et al.
Pubblicazione: (2025)

Formal model theory and higher topology
di: Ivan Di Liberti
Pubblicazione: (2024)

Long Time Behavior of Optimal Liquidation Problems
di: Cheng, Xinman, et al.
Pubblicazione: (2024)

Bounding LVR in AMMs via Secant-Tangent Divergence and Collateralized Liquidity Scaling
di: Kim, Hyoungsung, et al.
Pubblicazione: (2026)

Edit Distance of Finite State Transducers
di: Aiswarya, C., et al.
Pubblicazione: (2024)

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

Optimal Decisions for Liquid Staking: Allocation and Exit Timing
di: Ma, Ruofei, et al.
Pubblicazione: (2025)

Modeling Stock Return Distributions and Pricing Options
di: Jiang, Xinxin
Pubblicazione: (2025)

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

Semiclassical CEV Option Pricing Model: an Analytical Approach
di: Capitán, Jose A., et al.
Pubblicazione: (2024)

ESG as Priced Crash Insurance: State-Dependent Tail Risk and Deconfounding Evidence
di: Yi, Jiayu, et al.
Pubblicazione: (2026)

A Path Integral Approach for Time-Dependent Hamiltonians with Applications to Derivatives Pricing
di: Stedman, Mark, et al.
Pubblicazione: (2024)

Pricing American Options Time-Capped by a Drawdown Event
di: Palmowski, Zbigniew, et al.
Pubblicazione: (2025)

Pricing Options on Forwards in Function-Valued Affine Stochastic Volatility Models
di: He, Jian, 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)

Benchmark-Neutral Pricing
di: Platen, Eckhard
Pubblicazione: (2024)

Marginal Price Optimization
di: Loesch, Stefan, et al.
Pubblicazione: (2025)

Joint Pricing in SPX and VIX Derivative Markets with Composite Change of Time Models
di: Cheng, Liexin, et al.
Pubblicazione: (2024)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
di: Altuntas, Alper, et al.
Pubblicazione: (2025)

The Relative Entropy of Expectation and Price
di: McCloud, Paul
Pubblicazione: (2025)

The Risk-Neutral Equivalent Pricing of Model-Uncertainty
di: Wren, Ken Kangda
Pubblicazione: (2025)