Searcharxiv⌕ Search

arXiv subjects

Sören Christensen

Publications and source records attributed to Sören Christensen.

At least 19 recordsLinked to original sources

Optimal long-run control of endemic infections: bang-bang threshold policies in a stochastic SIS model

We study long-run optimal intervention strategies for endemic infections in a stochastic susceptible-infected-susceptible (SIS) model. The proportion of infected individuals evolves as a diffusion process with random fluctuations, while a control variable $ζ_t\in[0,\tildeζ_{max}]$ represents the intensity of public health interventions that reduce transmission for some intervention threshold $\tildeζ_{max}\in (0,1]$. The objective is to minimize the long-run average societal cost, balancing the burden of infection against the costs of interventions. Under a concave intervention cost structure the problem can be formulated as an ergodic stochastic control problem, whose structure implies (under certain additional conditions) that optimal interventions are of bang-bang type, switching between no intervention and the maximal admissible intervention at a single switching threshold in the infection level. We construct candidate value functions, rigorously verify optimality in this single-threshold case, and relate the results to extinction and persistence properties of the underlying SIS dynamics in the absence of control. In our framework, the analysis provides a rigorous justification for the threshold-based intervention rules commonly used in epidemic management.

q-bio.PE↗

Beyond Fixed Horizons: A Theoretical Framework for Adaptive Denoising Diffusions

We introduce a new class of generative diffusion models that, unlike conventional denoising diffusion models, achieve a time-homogeneous structure for both the noising and denoising processes, allowing the number of steps to adaptively adjust based on the noise level. This is accomplished by conditioning the forward process using Doob's $h$-transform, which terminates the process at a suitable sampling distribution at a random time. The model is particularly well suited for generating data with lower intrinsic dimensions, as the termination criterion simplifies to a first-hitting rule. A key feature of the model is its adaptability to the target data, enabling a variety of downstream tasks using a pre-trained unconditional generative model. These tasks include natural conditioning through appropriate initialisation of the denoising process and classification of noisy data.

stat.ML↗

Model-free filtering in high dimensions via projection and score-based diffusions

We consider the problem of recovering a latent signal $X$ from its noisy observation $Y$. The unknown law $\mathbb{P}^X$ of $X$, and in particular its support $\mathscr{M}$, are accessible only through a large sample of i.i.d.\ observations. We further assume $\mathscr{M}$ to be a low-dimensional submanifold of a high-dimensional Euclidean space $\mathbb{R}^d$. As a filter or denoiser $\widehat X$, we suggest an estimator of the metric projection $π_{\mathscr{M}}(Y)$ of $Y$ onto the manifold $\mathscr{M}$. To compute this estimator, we study an auxiliary semiparametric model in which $Y$ is obtained by adding isotropic Laplace noise to $X$. Using score matching within a corresponding diffusion model, we obtain an estimator of the Bayesian posterior $\mathbb{P}^{X \mid Y}$ in this setup. Our main theoretical results show that, in the limit of high dimension $d$, this posterior $\mathbb{P}^{X\mid Y}$ is concentrated near the desired metric projection $π_{\mathscr{M}}(Y)$.

math.ST↗

Markovian randomized equilibria for general Markovian Dynkin games in discrete time

We study a general formulation of the classical two-player Dynkin game in a discrete time Markovian setting. We identify an appropriate class of mixed strategies -- \textit{Markovian randomized stopping times} -- in which players stop at any given state with a state-dependent probability. One main result is an explicit characterization of Wald-Bellman-type for Nash equilibria based on this notion of randomization. In particular, we derive a novel characterization of randomized equilibria in zero-sum Dynkin games, which we use to (i) establish the existence and explicit construction of Markovian randomized equilibria, (ii) provide necessary and sufficient conditions for the non-existence of pure strategy equilibria, and (iii) construct an example that admits a unique randomized equilibrium but no pure one. We also provide existence and characterization results in the symmetric version of our game. Finally, we establish existence of a characterizable equilibrium in Markovian randomized stopping times for the general game formulation under the assumption that the state space is countable.

math.PR↗

General Markovian randomized equilibrium existence and construction in zero-sum Dynkin games for diffusions

One of the most classical games for stochastic processes is the zero-sum Dynkin (stopping) game. We present a complete equilibrium solution to a general formulation of this game with an underlying one-dimensional diffusion. A key result is the construction of a characterizable global $ε$-Nash equilibrium in Markovian randomized stopping times for every $ε> 0$. This is achieved by leveraging the well-known equilibrium structure under a restrictive ordering condition on the payoff functions, leading to a novel approach based on an appropriate notion of randomization that allows for solving the general game without any ordering condition. Additionally, we provide conditions for the existence of pure and randomized Nash equilibria (with $ε=0$). Our results enable explicit identification of equilibrium stopping times and their corresponding values in many cases, illustrated by several examples.

math.PR↗

Learning to steer with Brownian noise

This paper considers an ergodic version of the bounded velocity follower problem, assuming that the decision maker lacks knowledge of the underlying system parameters and must learn them while simultaneously controlling. We propose algorithms based on moving empirical averages and develop a framework for integrating statistical methods with stochastic control theory. Our primary result is a logarithmic expected regret rate. To achieve this, we conduct a rigorous analysis of the ergodic convergence rates of the underlying processes and the risks of the considered estimators.

stat.ML↗

On the existence of Markovian randomized equilibria in Dynkin games of war-of-attrition-type

In optimal stopping problems, a Markov structure guarantees Markovian optimal stopping times (first exit times). Surprisingly, there is no analogous result for Markovian stopping games once randomization is required. This paper addresses this gap by proving the existence of Markov-perfect equilibria in a specific type of stopping game - a general nonzero-sum Dynkin games of the war-of-attrition type with underlying linear diffusions. Our main mathematical contribution lies in the development of appropriate topologies for Markovian randomized stopping times. This allows us to establish the existence of equilibria within a tractable and interpretable class of stopping times, paving the way for further analysis of Markovian stopping games.

math.PR↗

On the time consistent solution to optimal stopping problems with expectation constraint

We study the (weak) equilibrium problem arising from the problem of optimally stopping a one-dimensional diffusion subject to an expectation constraint on the time until stopping. The weak equilibrium problem is realized with a set of randomized but purely state dependent stopping times as admissible strategies. We derive a verification theorem and necessary conditions for equilibria, which together basically characterize all equilibria. Furthermore, additional structural properties of equilibria are obtained to feed a possible guess-and-verify approach, which is then illustrated by an example.

math.PR↗

Two sided ergodic singular control and mean field game for diffusions

In a probabilistic mean-field game driven by a linear diffusion an individual player aims to minimize an ergodic long-run cost by controlling the diffusion through a pair of -- increasing and decreasing -- càdlàg processes, while he is interacting with an aggregate of players through the expectation of a similar diffusion controlled by another pair of càdlàg processes. In order to find equilibrium points in this game, we first consider the control problem, in which the individual player has no interaction with the aggregate of players. In this case, we prove that the best policy is to reflect the diffusion process within two thresholds. Based on these results, we obtain criteria for the existence of equilibrium points in the mean-field game in the case when the controls of the aggregate of players are of reflection type, and give a pair of nonlinear equations to find these equilibrium points. In addition, we present an approximation result for Nash equilibria of erdogic games with finitely many players to the mean-field game equilibria considered above when the number of players tends to infinity. These results are illustrated by several examples where the existence and uniqueness of the equilibrium points depend on the coefficients of the underlying diffusion.

math.OC↗

On first passage time problems of Brownian motion -- The inverse method of images revisited

Let $W$ be a standard Brownian motion with $W_0 = 0$ and let $b\colon[0,\infty) \to \mathbb{R}$ be a continuous function with $b(0) > 0$. In this article, we look at the classical First Passage Time (FPT) problem, i.e., the question of determining the distribution of $τ:= \inf \{ t\in [0,\infty)\colon W_t \geq b(t) \}.$ More specifically, we revisit the method of images, which we feel has received less attention than it deserves. The main observation of this approach is that the FPT problem is fully solved if a measure $μ$ exists such that \begin{align*} \int_{(0,\infty)} \exp\left(-\frac{θ^2}{2t}+\frac{θb(t)}{t}\right)μ(dθ)=1, \qquad t\in(0,\infty). \end{align*} The goal of this article is to lay the foundation for answering the still open question of the existence and characterisation of such a measure $μ$ for a given curve $b$. We present a new duality approach that allows us to give sufficient conditions for the existence. Moreover, we introduce a very efficient algorithm for approximating the representing measure $μ$ and provide a rigorous theoretical foundation.

math.PR↗

Is Learning in Biological Neural Networks based on Stochastic Gradient Descent? An analysis using stochastic processes

In recent years, there has been an intense debate about how learning in biological neural networks (BNNs) differs from learning in artificial neural networks. It is often argued that the updating of connections in the brain relies only on local information, and therefore a stochastic gradient-descent type optimization method cannot be used. In this paper, we study a stochastic model for supervised learning in BNNs. We show that a (continuous) gradient step occurs approximately when each learning opportunity is processed by many local updates. This result suggests that stochastic gradient descent may indeed play a role in optimizing BNNs.

q-bio.NC↗

Data-driven optimal stopping: A pure exploration analysis

The standard theory of optimal stopping is based on the idealised assumption that the underlying process is essentially known. In this paper, we drop this restriction and study data-driven optimal stopping for a general diffusion process, focusing on investigating the statistical performance of the proposed estimator of the optimal stopping barrier. More specifically, we derive non-asymptotic upper bounds on the simple regret, along with uniform and non-asymptotic PAC bounds. Minimax optimality is verified by completing the upper bound results with matching lower bounds on the simple regret. All results are shown both under general conditions on the payoff functions and under more refined assumptions that mimic the margin condition used in binary classification, leading to an improved rate of convergence. Additionally, we investigate how our results on the simple regret transfer to the cumulative regret for a specific exploration-exploitation strategy, both with respect to lower bounds and upper bounds.

math.ST↗

Data-driven rules for multidimensional reflection problems

Over the recent past data-driven algorithms for solving stochastic optimal control problems in face of model uncertainty have become an increasingly active area of research. However, for singular controls and underlying diffusion dynamics the analysis has so far been restricted to the scalar case. In this paper we fill this gap by studying a multivariate singular control problem for reversible diffusions with controls of reflection type. Our contributions are threefold. We first explicitly determine the long-run average costs as a domain-dependent functional, showing that the control problem can be equivalently characterized as a shape optimization problem. For given diffusion dynamics, assuming the optimal domain to be strongly star-shaped, we then propose a gradient descent algorithm based on polytope approximations to numerically determine a cost-minimizing domain. Finally, we investigate data-driven solutions when the diffusion dynamics are unknown to the controller. Using techniques from nonparametric statistics for stochastic processes, we construct an optimal domain estimator, whose static regret is bounded by the minimax optimal estimation rate of the unreflected process' invariant density. In the most challenging situation, when the dynamics must be learned simultaneously to controlling the process, we develop an episodic learning algorithm to overcome the emerging exploration-exploitation dilemma and show that given the static regret as a baseline, the loss in its sublinear regret per time unit is of natural order compared to the one-dimensional case.

math.OC↗

A new integral equation for Brownian stopping problems with finite time horizon

For classical finite time horizon stopping problems driven by a Brownian motion \[V(t,x) = \sup_{t\leqτ\leq0}E_{(t,x)}[g(τ,W_τ)],\] we derive a new class of Fredholm type integral equations for the stopping set. For large problem classes of interest, we show by analytical arguments that the equation uniquely characterizes the stopping boundary of the problem. Regardless of the uniqueness, we use the representation to rigorously find the limit behavior of the stopping boundary close to the terminal time. Interestingly, it turns out that the leading-order coefficient is universal for wide classes of problems. We also discuss how the representation can be used for numerical purposes.

math.PR↗

Uniqueness of First Passage Time Distributions via Fredholm Integral Equations

Let $W$ be a standard Brownian motion with $W_0 = 0$ and let $b: \mathbb{R}_+ \to \mathbb{R}$ be a continuous function with $b(0) > 0$. The first passage time (from below) is then defined as \begin{align*} τ:= \inf \{ t \geq 0 \vert W_t \geq b(t) \}. \end{align*} It is well-known that the distribution $F$ of $τ$ satisfies a set of Fredholm equations of the first kind, which is used, for example, as a starting point for numerical approaches. For this, it is fundamental that the Fredholm equations have a unique solution. In this article, we prove this in a general setting using analytical methods.

math.PR↗

Local time pushed mixed stopping and smooth fit for time-inconsistent stopping problems

We consider the game-theoretic approach to time-inconsistent stopping of a one-dimensional diffusion where the time-inconsistency is due to the presence of a non-exponential (weighted) discount function. In particular, we study (weak) equilibria for this problem in a novel class of mixed (i.e., randomized) stopping times based on a local time construction of the stopping intensity. For a general formulation of the problem we provide a verification theorem giving sufficient conditions for mixed (and pure) equilibria in terms of a set of variational inequalities, including a smooth fit condition. We apply the theory to prove the existence of (mixed) equilibria in a recently studied real options problem in which no pure equilibria exist.

math.PR↗

Nonparametric learning for impulse control problems

One of the fundamental assumptions in stochastic control of continuous time processes is that the dynamics of the underlying (diffusion) process is known. This is, however, usually obviously not fulfilled in practice. On the other hand, over the last decades, a rich theory for nonparametric estimation of the drift (and volatility) for continuous time processes has been developed. The aim of this paper is bringing together techniques from stochastic control with methods from statistics for stochastic processes to find a way to both learn the dynamics of the underlying process and control in a reasonable way at the same time. More precisely, we study a long-term average impulse control problem, a stochastic version of the classical Faustmann timber harvesting problem. One of the problems that immediately arises is an exploration-exploitation dilemma as is well known for problems in machine learning. We propose a way to deal with this issue by combining exploration and exploitation periods in a suitable way. Our main finding is that this construction can be based on the rates of convergence of estimators for the invariant density. Using this, we obtain that the average cumulated regret is of uniform order $O({T^{-1/3}})$.

math.OC↗

Flexible forward improvement iteration for infinite time horizon Markovian optimal stopping problems

In this paper, we propose an extension of the forward improvement iteration algorithm, originally introduced in Irle (2006) and recently reconsidered in Miclo and Villeneuve (2021). The main new ingredient is a flexible window parameter describing the look-ahead distance in the improvement step. We consider the framework of a Markovian optimal stopping problem in discrete time with random discounting and infinite time horizon. We prove convergence and show that the additional flexibility may significantly reduce the runtime.

math.PR↗