Search arXivSearch

arXiv · 2507.14810

Optimal Decisions for Liquid Staking: Allocation and Exit Timing

Abstract

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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ruofei Ma, Zhebiao Cai, Wenpin Tang, David Yao. 2025-12-09. Optimal Decisions for Liquid Staking: Allocation and Exit Timing. https://arxiv.org/abs/2507.14810

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Optimal credit portfolio and consumption with regime switching and default contagion

We study an optimal portfolio and consumption problem in a regime-switching multi-name credit market with default contagion. Default events not only generate direct portfolio losses but also alter the default intensities of surviving securities. Under a Cobb-Douglas utility, the homogeneity property reduces the associated Hamilton-Jacobi-Bellman (HJB) equation to a recursive system of ordinary differential equations indexed by the default states. Solving this system backward from the all-default state, we establish existence and uniqueness of a positive classical solution, characterize the optimal feedback controls, and provide a verification theorem. Finally, numerical experiments present sensitivity analyses and comparisons across contagion settings, regimes, utilities, as well as before and after default.

q-fin.MF

Exact calibration of structural models via time-change

In this note, we propose a general structural approach to model a default time $τ$ as the first-passage time (FPT) of a (``firm-value'') process $S$ below a (``debt'') barrier $K$ that comply with a pre-specified survival probability curve $G(t)=\Pr(τ>t)$. Following an idea of Mbaye and Vrins (Mathematical Finance, 2022) applied to reduced-form models, our approach consists in two steps: choose a latent FPT model driven by a barrier $\tilde{K}$ and process $\tilde{S}$, and time-change those using a deterministic clock $Θ$ to get $K_t=\tilde{K}_{Θ(t)}$ and $S_t:=\tilde{S}_{Θ(t)}$, leading to the final FTP model $(K,S,Θ)$. As the market curve $G$ and the latent model $(\tilde{K},\tilde{S})$ are assumed to be given, the calibration step simply consists in finding the clock $Θ$ such that the distribution of the FPT of $S$ below $K$ coincides with the survival curve $G$. We show that this is achievable for a broad class of specified curves $G$ and latent FTP models. The calibration amounts to a simple inversion of a function, which is almost immediate provided that the latent model is tractable enough. In particular, we show that the AT1P model of Brigo, Morini and Tarenghi - which is able to reproduce a broad range of CDS term-structures - can be regarded as the FPT of a time-changed drifted Brownian motion to a constant barrier: $\tilde{V}_t=μt+W_t$ and $\tilde{K}_t=k<0$. This connection offers an elegant interpretation for the instantaneous volatility function featured in AT1P and yields an immediate calibration of the latter to perfectly match a target survival curve.

q-fin.MF

Stochastic Mortality Model with Fractional Lévy Dynamics

A substantial body of empirical evidence suggests that stochastic mortality models ignoring long range dependence tend to underestimate life expectancy, which may lead to profound implications for pension schemes and funding arrangements. This paper addresses the modelling of stochastic mortality via a mixture of a fractional Lévy process and standard Brownian motion. Our stochastic mortality model exhibits nice analytical tractability in actuarial valuations and flexibility in the choice of underlying Lévy specifications. The long range dependence feature embedded in our stochastic mortality model is well reflected in our empirical studies on the mortality shocks during World War II and COVID-19. For efficient numerical pricing of longevity derivatives, we construct an effective singular value decomposition approximation scheme to overcome the computational challenges arising from the non-Markovian nature of the fractional Lévy process. Truncation errors in singular value decomposition approximation can be reduced by an effective residual correction scheme.

q-fin.MF