Optimal Decisions for Liquid Staking: Allocation and Exit Timing

2025-12-09T18:39:01Z

In this paper, we study an investor's optimal entry and exit decisions in a liquid staking protocol (LSP) and an automated market maker (AMM), primarily from the standpoint of the investor. Our analysis focuses on two key investor actions: the initial allocation decision at time $t=0$, and the optimal timing of exit. First, we derive an optimal allocation strategy that enables the investor to distribute risk across the LSP, AMM, and direct holding. Our results also offer insights for LSP and AMM designers, identifying the necessary and sufficient conditions under which the investor is incentivized to stake through an LSP, and further, to provide liquidity in addition to staking. These conditions include a lower bound on the transaction fee, for which we propose a fee mechanism that attains the bound. Second, given a fixed protocol design, we model the optimal exit timing of an individual investor using Laplace transforms and free-boundary techniques. We analyze scenarios with and without transaction fees. In the absence of fees, we decompose the investor's payoff into impermanent loss and opportunity cost, and provide theoretical results characterizing the investor's payoff and the optimal exit threshold. With transaction fees, we conduct numerical analyses to examine how fee accumulation influences exit strategies. Our results reveal that in both settings, a stop-loss strategy often maximizes the investor's expected payoff, driven by opportunity gains and the accumulation of fees where fees are present. Our analyses rely on various tools from stochastic processes and control theory, as well as convex optimization and analysis. We further support our theoretical insights with numerical experiments and explore additional properties of the investor's value function and optimal behavior.

On the structure of increasing profits in a 1D general diffusion market with interest rates

2025-12-08T13:42:43Z

In this paper, we investigate a financial market model consisting of a risky asset, modeled as a general diffusion parameterized by a scale function and a speed measure, and a bank account process with a constant interest rate. This flexible class of financial market models allows for features such as reflecting boundaries, skewness effects, sticky points, and slowdowns on fractal sets. For this market model, we study the structure of a strong form of arbitrage opportunity called increasing profits. Our main contributions are threefold. First, we characterize the existence of increasing profits in terms of an auxiliary deterministic signed measure $ν$ and a canonical trading strategy $θ$, both of which depend only on the deterministic parametric characteristics of our model, namely the scale function, the speed measure, and the interest rate. More precisely, we show that an increasing profit exists if and only if $ν$ is nontrivial, and that this is equivalent to $θ$ itself generating an increasing profit. Second, we provide a precise characterization of the entire set of increasing profits in terms of $ν$ and $θ$, and moreover characterize the value processes associated with increasing profits. Finally, we establish novel connections between no-arbitrage theory and the general theory of stochastic processes. Specifically, we relate the failure of the representation property for general diffusions to the existence of certain types of increasing profits whose value processes are dominated by the quadratic variation measure of a space-transformed version of the asset price process.

Long memory score-driven models as approximations for rough Ornstein-Uhlenbeck processes

2025-12-08T12:12:24Z

This paper investigates the continuous-time limit of score-driven models with long memory. By extending score-driven models to incorporate infinite-lag structures with coefficients exhibiting heavy-tailed decay, we establish their weak convergence, under appropriate scaling, to fractional Ornstein-Uhlenbeck processes with Hurst parameter $H < 1/2$. When score-driven models are used to characterize the dynamics of volatility, they serve as discrete-time approximations for rough volatility. We present several examples, including EGARCH($\infty$) whose limits give rise to a new class of rough volatility models. Building on this framework, we carry out numerical simulations and option pricing analyses, offering new tools for rough volatility modeling and simulation.

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

2025-12-05T22:55:36Z

Concentrated-liquidity automated market makers (CLAMMs), as exemplified by Uniswap v3, are now a common primitive in decentralized finance frameworks. Their design combines continuous trading on constant-function curves with discrete tick boundaries at which liquidity positions change and rounding effects accumulate. While there is a body of economic and game-theoretic analysis of CLAMMs, there is negligible work that treats Uniswap v3 at the level of formal state machines amenable to model checking or theorem proving. In this paper we propose a formal modeling approach for Uniswap v3-style CLAMMs using (i) networks of priced timed automata (PTA), and (ii) finite-state transducers (FST) over discrete ticks. Positions are treated as stateful objects that transition only when the pool price crosses the ticks that bound their active range. We show how to encode the piecewise constant-product invariant, fee-growth variables, and tick-crossing rules in a PTA suitable for tools such as UPPAAL, and how to derive a tick-level FST abstraction for specification in TLA+. We define an explicit tick-wise invariant for a discretized, single-tick CLAMM model and prove that it is preserved up to a tight additive rounding bound under fee-free swaps. This provides a formal justification for the "$ε$-slack" used in invariance properties and shows how rounding enters as a controlled perturbation. We then instantiate these models in TLA+ and use TLC to exhaustively check the resulting invariants on structurally faithful instances, including a three-tick concentrated-liquidity configuration and a bounded no-rounding-only-arbitrage property in a bidirectional single-tick model. We discuss how these constructions lift to the tick-wise structure of Uniswap v3 via virtual reserves, and how the resulting properties can be phrased as PTA/TLA+ invariants about cross-tick behaviour and rounding safety.

Market Reactions to Material Cybersecurity Incident Disclosures

2025-12-05T20:53:48Z

This study examines short-term market responses to material cybersecurity incidents disclosed under Item 1.05 of Form 8-K. Drawing on a sample of disclosures made between 2023 and 2025, daily stock price movements were evaluated over a standardized event window surrounding each filing. On average, companies experienced negative price reactions following the disclosure of a material cybersecurity incident. Comparisons across company characteristics indicate that smaller companies tended to incur more pronounced declines, while differences by sector and beta were not evident. These findings offer empirical insight into how public markets interpret cybersecurity risks when they are formally reported and suggest that firm size may influence the degree of sensitivity to such events.

Risk aversion of insider and dynamic asymmetric information

2025-12-04T17:21:52Z

This paper studies a Kyle-Back model with a risk-averse insider possessing exponential utility and a dynamic stochastic signal about the asset's terminal fundamental value. While the existing literature considers either risk-neutral insiders with dynamic signals or risk-averse insiders with static signals, we establish equilibrium when both features are present. Our approach imposes no restrictions on the magnitude of the risk aversion parameter, extending beyond previous work that requires sufficiently small risk aversion. We employ a weak conditioning methodology to construct a Schrödinger bridge between the insider's signal and the asset price process, an approach that naturally accommodates stochastic signal evolution and removes risk aversion constraints. We derive necessary conditions for equilibrium, showing that the optimal insider strategy must be continuous with bounded variation. Under these conditions, we characterize the market-maker pricing rule and insider strategy that achieve equilibrium. We obtain explicit closed-form solutions for important cases including deterministic and quadratic signal volatilities, demonstrating the tractability of our framework.

Coordinated Mean-Field Control for Systemic Risk

2025-12-04T11:52:51Z

We develop a robust linear-quadratic mean-field control framework for systemic risk under model uncertainty, in which a central bank jointly optimizes interest rate policy and supervisory monitoring intensity against adversarial distortions. Our model features multiple policy instruments with interactive dynamics, implemented via a variance weight that depends on the policy rate, generating coupling effects absent in single-instrument models. We establish viscosity solutions for the associated HJB--Isaacs equation, prove uniqueness via comparison principles, and provide verification theorems. The linear-quadratic structure yields explicit feedback controls derived from a coupled Riccati system, preserving analytical tractability despite adversarial uncertainty. Simulations reveal distinct loss-of-control regimes driven by robustness-breakdown and control saturation, alongside a pronounced asymmetry in sensitivity between the mean and variance channels. These findings demonstrate the importance of instrument complementarity in systemic risk modeling and control.

Risk premium and rough volatility

2025-12-04T10:59:41Z

One the one hand, rough volatility has been shown to provide a consistent framework to capture the properties of stock price dynamics both under the historical measure and for pricing purposes. On the other hand, market price of volatility risk is a well-studied object in Financial Economics, and empirical estimates show it to be stochastic rather than deterministic. Starting from a rough volatility model under the historical measure, we take up this challenge and provide an analysis of the impact of such a non-deterministic risk for pricing purposes.

De Finetti's problem with fixed transaction costs and regime switching

2025-12-04T08:23:33Z

In this paper, we examine a modified version of de Finetti's optimal dividend problem, incorporating fixed transaction costs and altering the surplus process by introducing two-valued drift and two-valued volatility coefficients. This modification aims to capture the transitions or adjustments in the company's financial status. We identify the optimal dividend strategy, which maximizes the expected total net dividend payments (after accounting for transaction costs) until ruin, as a two-barrier impulsive dividend strategy. Notably, the optimal strategy can be explicitly determined for almost all scenarios involving different drifts and volatility coefficients. Our primary focus is on exploring how changes in drift and volatility coefficients influence the optimal dividend strategy.

Asset-liability management with Epstein-Zin utility under stochastic interest rate and unknown market price of risk

2025-12-03T07:18:51Z

This paper solves a consumption-investment choice problem with Epstein-Zin recursive utility under partial information--unobservable market price of risk. The main novelty is the introduction of a terminal liability constraint, a feature directly motivated by practical portfolio management and insurance applications but absent from the recursive utility literature. Such constraint gives rise to a coupled forward-backward stochastic differential equation (FBSDE) whose well-posedness has not been addressed in earlier work. We provide an explicit solution to this FBSDE system--contrasting with the typical existence and uniqueness results with no closed-form expressions in the literature. Under mild additional assumptions, we also establish the Malliavin differentiability of the solution allowing the optimal investment strategy to be expressed as a conditional expectation of random variables that can be efficiently simulated. These results allows us to obtain the explicit expressions of the optimal controls and the value function. Finally, we quantify the utility loss from ignoring learning about the market price of risk, highlighting the economic significance of partial information.

A Stochastic Thermodynamics Approach to Price Impact and Round-Trip Arbitrage: Theory and Empirical Implications

2025-12-02T17:07:08Z

This paper develops a comprehensive theoretical framework that imports concepts from stochastic thermodynamics to model price impact and characterize the feasibility of round-trip arbitrage in financial markets. A trading cycle is treated as a non-equilibrium thermodynamic process, where price impact represents dissipative work and market noise plays the role of thermal fluctuations. The paper proves a Financial Second Law: under general convex impact functionals, any round-trip trading strategy yields non-positive expected profit. This structural constraint is complemented by a fluctuation theorem that bounds the probability of profitable cycles in terms of dissipated work and market volatility. The framework introduces a statistical ensemble of trading strategies governed by a Gibbs measure, leading to a free energy decomposition that connects expected cost, strategy entropy, and a market temperature parameter. The framework provides rigorous, testable inequalities linking microstructural impact to macroscopic no-arbitrage conditions, offering a novel physics-inspired perspective on market efficiency. The paper derives explicit analytical results for prototypical trading strategies and discusses empirical validation protocols.

Arbitrage with bounded Liquidity

2025-12-02T12:35:05Z

We derive the arbitrage gains or, equivalently, Loss Versus Rebalancing (LVR) for arbitrage between \textit{two imperfectly liquid} markets, extending prior work that assumes the existence of an infinitely liquid reference market. Our result highlights that the LVR depends on the relative liquidity and relative trading volume of the two markets between which arbitrage gains are extracted. Our model assumes that trading costs on at least one of the markets is quadratic. This assumption holds well in practice, with the exception of highly liquid major pairs on centralized exchanges, for which we discuss extensions to other cost functions.

Global universal approximation of functional input maps on weighted spaces

2025-12-02T10:47:37Z

We introduce so-called functional input neural networks defined on a possibly infinite dimensional weighted space with values also in a possibly infinite dimensional output space. To this end, we use an additive family to map the input weighted space to the hidden layer, on which a non-linear scalar activation function is applied to each neuron, and finally return the output via some linear readouts. Relying on Stone-Weierstrass theorems on weighted spaces, we can prove a global universal approximation result on weighted spaces for continuous functions going beyond the usual approximation on compact sets. This then applies in particular to approximation of (non-anticipative) path space functionals via functional input neural networks. As a further application of the weighted Stone-Weierstrass theorem we prove a global universal approximation result for linear functions of the signature. We also introduce the viewpoint of Gaussian process regression in this setting and emphasize that the reproducing kernel Hilbert space of the signature kernels are Cameron-Martin spaces of certain Gaussian processes. This paves a way towards uncertainty quantification for signature kernel regression.

Rough Heston model as the scaling limit of bivariate cumulative heavy-tailed INAR processes: Weak-error bounds and option pricing

2025-12-02T02:52:54Z

This paper links nearly unstable, heavy-tailed \emph{bivariate cumulative} INAR($\infty$) processes to the rough Heston model via a discrete scaling limit, extending scaling-limit techniques beyond Hawkes processes and providing a microstructural mechanism for rough volatility and leverage effect. Computationally, we simulate the \emph{approximating INAR($\infty$)} sequence rather than discretizing the Volterra SDE, and implement the long-memory convolution with a \emph{divide-and-conquer FFT} (CDQ) that reuses past transforms, yielding an efficient Monte Carlo engine for \emph{European options} and \emph{path-dependent options} (Asian, lookback, barrier). We further derive finite-horizon \emph{weak-error bounds} for option pricing under our microstructural approximation. Numerical experiments show tight confidence intervals with improved efficiency; as $α\to 1$, results align with the classical Heston benchmark, where $α$ is the roughness specification. Using the simulator, we also study the \emph{implied-volatility surface}: the roughness specification ($α<1$) reproduces key empirical features -- most notably the steep short-maturity ATM skew with power-law decay -- whereas the classical model produces a much flatter skew.

The Three-Dimensional Decomposition of Volatility Memory

2025-12-01T20:03:09Z

This paper develops a three-dimensional decomposition of volatility memory into orthogonal components of level, shape, and tempo. The framework unifies regime-switching, fractional-integration, and business-time approaches within a single canonical representation that identifies how each dimension governs persistence strength, long-memory form, and temporal speed. We establish conditions for existence, uniqueness, and ergodicity of this decomposition and show that all GARCH-type processes arise as special cases. Empirically, applications to SPY and EURUSD (2005--2024) reveal that volatility memory is state-dependent: regime and tempo gates dominate in equities, while fractional-memory gates prevail in foreign exchange. The unified tri-gate model jointly captures these effects. By formalizing volatility dynamics through a level--shape--tempo structure, the paper provides a coherent link between information flow, market activity, and the evolving memory of financial volatility.