Showing 1–50 of 76 results for author: Kyprianou, A E

Stability of (sub)critical non-local spatial branching processes with and without immigration

Authors: Emma Horton, Andreas E. Kyprianou, Pedro Martín-Chávez, Ellen Powell, Victor Rivero

Abstract: We consider the setting of either a general non-local branching particle process or a general non-local superprocess, in both cases, with and without immigration. Under the assumption that the mean semigroup has a Perron-Frobenious type behaviour for the immigrated mass, as well as the existence of second moments, we consider necessary and sufficient conditions that ensure limiting distributional… ▽ More We consider the setting of either a general non-local branching particle process or a general non-local superprocess, in both cases, with and without immigration. Under the assumption that the mean semigroup has a Perron-Frobenious type behaviour for the immigrated mass, as well as the existence of second moments, we consider necessary and sufficient conditions that ensure limiting distributional stability. More precisely, our first main contribution pertains to proving the asymptotic Kolmogorov survival probability and Yaglom limit for critical non-local branching particle systems and superprocesses under a second moment assumption on the offspring distribution. Our results improve on existing literature by removing the requirement of bounded offspring in the particle setting [21] and generalising [43] to allow for non-local branching mechanisms. Our second main contribution pertains to the stability of both critical and sub-critical non-local branching particle systems and superprocesses with immigration. At criticality, we show that the scaled process converges to a Gamma distribution under a necessary and sufficient integral test. At subcriticality we show stability of the process, also subject to an integral test. In these cases, our results complement classical results for (continuous-time) Galton-Watson processes with immigration and continuous-state branching processes with immigration; see [22,40,42,48,51], among others. In the setting of superprocesses, the only work we know of at this level of generality is summarised in [34]. The proofs of our results, both with and without immigration, appeal to similar technical approaches and accordingly, we include the results together in this paper. △ Less

Submitted 7 July, 2024; originally announced July 2024.

Comments: 35 pages

MSC Class: 60J80; 60J25

Limit theorems for the neutron transport equation

Authors: Eric Dumonteil, Emma Horton, Andreas E. Kyprianou, Andrea Zola

Abstract: Over the last decade, ingenuous developments in Monte Carlo methods have enabled the unbiased estimation of adjoint-weighted reactor parameters expressed as bilinear forms, such as kinetics parameters and sensitivity coefficients. A prominent example is the Iterated Fission Probability method, which relies on the simulation of the fission chains descending from an ancestor neutron: the neutron pop… ▽ More Over the last decade, ingenuous developments in Monte Carlo methods have enabled the unbiased estimation of adjoint-weighted reactor parameters expressed as bilinear forms, such as kinetics parameters and sensitivity coefficients. A prominent example is the Iterated Fission Probability method, which relies on the simulation of the fission chains descending from an ancestor neutron: the neutron population at an asymptotic fission generation yields an estimate of the importance function (and hence of the adjoint fundamental eigenmode) at the phase-space coordinates of the ancestor neutron. In this paper we first establish rigorous results concerning the moments of the asymptotic neutron population stemming from a single initial particle, with special focus on the average and the variance. Then, we propose a simple benchmark configuration where exact solutions are derived for these moments, which can be used for the verification of new functionalities of production Monte Carlo codes involving the Iterated Fission Probability method. △ Less

Submitted 5 July, 2024; originally announced July 2024.

A Bayesian Inverse Approach to Proton Therapy Dose Delivery Verification

Authors: Alexander M. G. Cox, Laura Hattam, Andreas E. Kyprianou, Tristan Pryer

Abstract: This study presents a proof-of-concept for a novel Bayesian inverse method in a one-dimensional setting, aimed at proton beam therapy treatment verification. Our methodology is predicated on a hypothetical scenario wherein strategically positioned sensors detect prompt-γ's emitted from a proton beam when it interacts with defined layers of tissue. Using this data, we employ a Bayesian framework to… ▽ More This study presents a proof-of-concept for a novel Bayesian inverse method in a one-dimensional setting, aimed at proton beam therapy treatment verification. Our methodology is predicated on a hypothetical scenario wherein strategically positioned sensors detect prompt-γ's emitted from a proton beam when it interacts with defined layers of tissue. Using this data, we employ a Bayesian framework to estimate the proton beam's energy deposition profile. We validate our Bayesian inverse estimations against a closed-form approximation of the Bragg Peak in a uniform medium and a layered lung tumour. △ Less

Submitted 15 November, 2023; originally announced November 2023.

Comments: 22 pages, 12 figures

Many-to-few for non-local branching Markov process

Authors: Simon C. Harris, Emma Horton, Ellen Powell, Andreas E. Kyprianou

Abstract: We provide a many-to-few formula in the general setting of non-local branching Markov processes. This formula allows one to compute expectations of k-fold sums over functions of the population at k different times. The result generalises [14] to the non-local setting, as introduced in [11] and [8]. As an application, we consider the case when the branching process is critical, and conditioned to s… ▽ More We provide a many-to-few formula in the general setting of non-local branching Markov processes. This formula allows one to compute expectations of k-fold sums over functions of the population at k different times. The result generalises [14] to the non-local setting, as introduced in [11] and [8]. As an application, we consider the case when the branching process is critical, and conditioned to survive for a large time. In this setting, we prove a general formula for the limiting law of the death time of the most recent common ancestor of two particles selected uniformly from the population at two different times, as t tends to infinity. Moreover, we describe the limiting law of the population sizes at two different times, in the same asymptotic regime. △ Less

Submitted 15 November, 2022; originally announced November 2022.

Comments: 29 pages, 3 figures

The replicator coalescent

Authors: A. E. Kyprianou, L. Peñaloza, T. Rogers

Abstract: We consider a stochastic model, called the replicator coalescent, describing a system of blocks of $k$ different types which undergo pairwise mergers at rates depending on the block types: with rate $C_{i,j}$ blocks of type $i$ and $j$ merge, resulting in a single block of type $i$. The replicator coalescent can be seen as generalisation of Kingman's coalescent death chain in a multi-type setting,… ▽ More We consider a stochastic model, called the replicator coalescent, describing a system of blocks of $k$ different types which undergo pairwise mergers at rates depending on the block types: with rate $C_{i,j}$ blocks of type $i$ and $j$ merge, resulting in a single block of type $i$. The replicator coalescent can be seen as generalisation of Kingman's coalescent death chain in a multi-type setting, although without an underpinning exchangeable partition structure. The name is derived from a remarkable connection we uncover between the instantaneous dynamics of this multi-type coalescent when issued from an arbitrarily large number of blocks, and the so-called replicator equations from evolutionary game theory. By dilating time arbitrarily close to zero, we see that initially, on coming down from infinity, the replicator coalescent behaves like the solution to a certain replicator equation. Thereafter, stochastic effects are felt and the process evolves more in the spirit of a multi-type death chain. △ Less

Submitted 27 November, 2023; v1 submitted 3 July, 2022; originally announced July 2022.

Comments: 1 figure

MSC Class: 60J80; 60E10

Multitype $Λ$-coalescents

Authors: Samuel G. G. Johnston, Andreas E. Kyprianou, Tim Rogers

Abstract: Consider a multitype coalescent process in which each block has a colour in $\{1,\ldots,d\}$. Individual blocks may change colour, and some number of blocks of various colours may merge to form a new block of some colour. We show that if the law of a multitype coalescent process is invariant under permutations of blocks of the same colour, has consistent Markovian projections, and has asychronous… ▽ More Consider a multitype coalescent process in which each block has a colour in $\{1,\ldots,d\}$. Individual blocks may change colour, and some number of blocks of various colours may merge to form a new block of some colour. We show that if the law of a multitype coalescent process is invariant under permutations of blocks of the same colour, has consistent Markovian projections, and has asychronous mergers, then it is a multitype $Λ$-coalescent: a process in which single blocks may change colour, two blocks of like colour may merge to form a single block of that colour, or large mergers across various colours happen at rates governed by a $d$-tuple of measures on the unit cube $[0,1]^d$. We go on to identify when such processes come down from infinity. Our framework generalises Pitman's celebrated classification theorem for singletype coalescent processes, and provides a unifying setting for numerous examples that have appeared in the literature including the seed-bank model, the island model and the coalescent structure of continuous-state branching processes. △ Less

Submitted 6 March, 2022; v1 submitted 26 March, 2021; originally announced March 2021.

Comments: 22 pages

MSC Class: Primary 60G09; Secondary 60J99

The Doob-McKean identity for stable Lévy processes

Authors: Andreas E. Kyprianou, Neil O'Connell

Abstract: We re-examine the celebrated Doob--McKean identity that identifies a conditioned one-dimensional Brownian motion as the radial part of a 3-dimensional Brownian motion or, equivalently, a Bessel-3 process, albeit now in the analogous setting of isotropic $α$-stable processes. We find a natural analogue that matches the Brownian setting, with the role of the Brownian motion replaced by that of the i… ▽ More We re-examine the celebrated Doob--McKean identity that identifies a conditioned one-dimensional Brownian motion as the radial part of a 3-dimensional Brownian motion or, equivalently, a Bessel-3 process, albeit now in the analogous setting of isotropic $α$-stable processes. We find a natural analogue that matches the Brownian setting, with the role of the Brownian motion replaced by that of the isotropic $α$-stable process, providing one interprets the components of the original identity in the right way. △ Less

Submitted 22 March, 2021; originally announced March 2021.

Comments: 1 figure

MSC Class: 60J80; 60E10

Journal ref: In: Chaumont L., Kyprianou A.E. (eds) A Lifetime of Excursions Through Random Walks and Lévy Processes. Progress in Probability, vol 78. Birkhäuser, Cham, 2021

Yaglom limit for critical neutron transport

Authors: Simon C. Harris, Emma Horton, Andreas E. Kyprianou, Minmin Wang

Abstract: We consider the classical Yaglom limit theorem for a branching Markov process $X = (X_t, t \ge 0)$, with non-local branching mechanism in the setting that the mean semigroup is critical, i.e. its leading eigenvalue is zero. In particular, we show that there exists a constant $c(f)$ such that \[ {\rm Law}\left(\frac{\langle f, X_t\rangle}{t} \bigg| \langle 1, X_t\rangle > 0 \right) \to {\mathbf e… ▽ More We consider the classical Yaglom limit theorem for a branching Markov process $X = (X_t, t \ge 0)$, with non-local branching mechanism in the setting that the mean semigroup is critical, i.e. its leading eigenvalue is zero. In particular, we show that there exists a constant $c(f)$ such that \[ {\rm Law}\left(\frac{\langle f, X_t\rangle}{t} \bigg| \langle 1, X_t\rangle > 0 \right) \to {\mathbf e}_{c(f)}, \qquad t \to \infty, \] where ${\mathbf e}_{c(f)}$ is an exponential random variable with rate $c(f)$ and the convergence is in distribution. As part of the proof, we also show that the probability of survival decays inversely proportionally to time. Although Yaglom limit theorems have recently been handled in the setting of branching Brownian motion in a bounded domain and superprocesses, \cite{Ellen, Yanxia}, these results do not allow for non-local branching, which complicates the analysis. Our approach and the main novelty of this work is based around a precise result for the scaled asymptotics for the $k$-th martingale moments of $X$ (rather than the Yaglom limit itself). We then illustrate our results in the setting of neutron transport, for which the non-locality is essential, complementing recent developments in this domain \cite{SNTE, SNTEII, SNTEIII, MCNTE, MultiNTE}. △ Less

Submitted 3 February, 2022; v1 submitted 3 March, 2021; originally announced March 2021.

Comments: 2 figures

MSC Class: Primary 82D75; 60J80; 60J75. Secondary 60J99

Monte-Carlo Methods for the Neutron Transport Equation

Authors: Alexander M. G. Cox, Simon C. Harris, Andreas E. Kyprianou, Minmin Wang

Abstract: This paper continues our treatment of the Neutron Transport Equation (NTE) building on the work in [arXiv:1809.00827v2], [arXiv:1810.01779v4] and [arXiv:1901.00220v3], which describes the flux of neutrons through inhomogeneous fissile medium. Our aim is to analyse existing and novel Monte Carlo (MC) algorithms, aimed at simulating the lead eigenvalue associated with the underlying model. This quan… ▽ More This paper continues our treatment of the Neutron Transport Equation (NTE) building on the work in [arXiv:1809.00827v2], [arXiv:1810.01779v4] and [arXiv:1901.00220v3], which describes the flux of neutrons through inhomogeneous fissile medium. Our aim is to analyse existing and novel Monte Carlo (MC) algorithms, aimed at simulating the lead eigenvalue associated with the underlying model. This quantity is of principal importance in the nuclear regulatory industry for which the NTE must be solved on complicated inhomogenous domains corresponding to nuclear reactor cores, irradiative hospital equipment, food irradiation equipment and so on. We include a complexity analysis of such MC algorithms, noting that no such undertaking has previously appeared in the literature. The new MC algorithms offer a variety of advantages and disadvantages of accuracy vs cost, as well as the possibility of more convenient computational parallelisation. △ Less

Submitted 7 October, 2021; v1 submitted 4 December, 2020; originally announced December 2020.

MSC Class: 82D75; 60J80; 60J75; 60J99

Oscillatory attraction and repulsion from a subset of the unit sphere or hyperplane for isotropic stable Lévy processes

Authors: Mateusz Kwaśniki, Andreas E. Kyprianou, Sandra Palau, Tsogzolmaa Saizmaa

Abstract: Suppose that $\mathsf{S}$ is a closed set of the unit sphere $\mathbb{S}^{d-1} = \{x\in \mathbb{R}^d: |x| =1\}$ in dimension $d\geq2$, which has positive surface measure. We construct the law of absorption of an isotropic stable Lévy process in dimension $d\geq2$ conditioned to approach $\mathsf{S}$ continuously, allowing for the interior and exterior of $\mathbb{S}^{d-1}$ to be visited infinitely… ▽ More Suppose that $\mathsf{S}$ is a closed set of the unit sphere $\mathbb{S}^{d-1} = \{x\in \mathbb{R}^d: |x| =1\}$ in dimension $d\geq2$, which has positive surface measure. We construct the law of absorption of an isotropic stable Lévy process in dimension $d\geq2$ conditioned to approach $\mathsf{S}$ continuously, allowing for the interior and exterior of $\mathbb{S}^{d-1}$ to be visited infinitely often. Additionally, we show that this process is in duality with the underlying stable Lévy process. We can replicate the aforementioned results by similar ones in the setting that $\mathsf{S}$ is replaced by $\mathsf{D}$, a closed bounded subset of the hyperplane $\{x\in\mathbb{R}^d : (x, v) = 0\}$ with positive surface measure, where $v$ is the unit orthogonal vector and where $(\cdot,\cdot )$ is the usual Euclidean inner product. Our results complement similar results of the authors Kyprianou, Palau and Saizmaa (2020) in which the stable process was further constrained to attract to and repel from $\mathsf{S}$ from either the exterior or the interior of the unit sphere. △ Less

Submitted 14 November, 2020; originally announced November 2020.

MSC Class: 60J80; 60E10

An optimal stop** problem for spectrally negative Markov additive processes

Authors: Mine Caglar, Andreas E. Kyprianou, Ceren Vardar-Acar

Abstract: Previous authors have considered optimal stop** problems driven by the running maximum of a spectrally negative Lévy process $X$, as well as of a one-dimensional diffusion. Many of the aforementioned results are either implicitly or explicitly dependent on Peskir's maximality principle. In this article, we are interested in understanding how some of the main ideas from these previous works can b… ▽ More Previous authors have considered optimal stop** problems driven by the running maximum of a spectrally negative Lévy process $X$, as well as of a one-dimensional diffusion. Many of the aforementioned results are either implicitly or explicitly dependent on Peskir's maximality principle. In this article, we are interested in understanding how some of the main ideas from these previous works can be brought into the setting of problems driven by the maximum of a class of Markov additive processes (more precisely Markov modulated Lévy processes). Similarly to previous works in the Lévy setting, the optimal stop** boundary is characterised by a system of ordinary first-order differential equations, one for each state of the modulating component of the Markov additive process. Moreover, whereas scale functions played an important role in the previously mentioned work, we work instead with scale matrices for Markov additive processes here. We exemplify our calculations in the setting of the Shepp-Shiryaev optimal stop** problem, as well as a family of capped maximum optimal stop** problems. △ Less

Submitted 24 June, 2021; v1 submitted 20 December, 2019; originally announced December 2019.

Comments: 31 pages

Attraction to and repulsion from a subset of the unit sphere for isotropic stable Lévy processes

Authors: Andreas E. Kyprianou, Sandra Palau, Tsogzolmaa Saizmaa

Abstract: Taking account of recent developments in the representation of $d$-dimensional isotropic stable Lévy processes as self-similar Markov processes, we consider a number of new ways to condition its path. Suppose that $Ω$ is a region of the unit sphere $\mathbb{S}^{d-1} = \{x\in \mathbb{R}^d: |x| =1\}$. We construct the aforesaid stable Lévy process conditioned to approach $\mathsf{S}$ continuously fr… ▽ More Taking account of recent developments in the representation of $d$-dimensional isotropic stable Lévy processes as self-similar Markov processes, we consider a number of new ways to condition its path. Suppose that $Ω$ is a region of the unit sphere $\mathbb{S}^{d-1} = \{x\in \mathbb{R}^d: |x| =1\}$. We construct the aforesaid stable Lévy process conditioned to approach $\mathsf{S}$ continuously from either inside or outside of the sphere. Additionally, we show that %this these processes are in duality with the stable process conditioned to remain inside the sphere and absorb continuously at the origin and to remain outside of the sphere, respectively. Our results extend the recent contributions of Döring and Weissman (2018),, where similar conditioning is considered, albeit in one dimension. As is the case there, we appeal to recent fluctuation identities related to the deep factorisation of stable processes. △ Less

Submitted 7 April, 2021; v1 submitted 13 November, 2019; originally announced November 2019.

MSC Class: 60J80; 60E10

Stochastic Methods for Neutron Transport Equation III: Generational many-to-one and $k_\texttt{eff}$

Authors: A. M. G. Cox, E. L. Horton, A. E. Kyprianou, D. Villemonais

Abstract: The Neutron Transport Equation (NTE) describes the flux of neutrons over time through an inhomogeneous fissile medium. In the recent articles [5, 10], a probabilistic solution of the NTE is considered in order to demonstrate a Perron-Frobenius type growth of the solution via its projection onto an associated leading eigenfunction. In [9, 4], further analysis is performed to understand the implicat… ▽ More The Neutron Transport Equation (NTE) describes the flux of neutrons over time through an inhomogeneous fissile medium. In the recent articles [5, 10], a probabilistic solution of the NTE is considered in order to demonstrate a Perron-Frobenius type growth of the solution via its projection onto an associated leading eigenfunction. In [9, 4], further analysis is performed to understand the implications of this growth both in the stochastic sense, as well as from the perspective of Monte-Carlo simulation. Such Monte-Carlo simulations are prevalent in industrial applications, in particular where regulatory checks are needed in the process of reactor core design. In that setting, however, it turns out that a different notion of growth takes centre stage, which is otherwise characterised by another eigenvalue problem. In that setting, the eigenvalue, sometimes called k-effective (written $k_\texttt{eff}$), has the physical interpretation as being the ratio of neutrons produced (during fission events) to the number lost (due to absorption in the reactor or leakage at the boundary) per typical fission event. In this article, we aim to supplement [5, 10, 9, 4], by develo** the stochastic analysis of the NTE further to the setting where a rigorous probabilistic interpretation of keff is given, both in terms of a Perron-Frobenius type analysis as well as via classical operator analysis. To our knowledge, despite the fact that an extensive engineering literature and industrial Monte-Carlo software is concentrated around the estimation of keff and its associated eigenfunction, we believe that our work is the first rigorous treatment in the probabilistic sense (which underpins some of the aforesaid Monte-Carlo simulations). △ Less

Submitted 2 September, 2019; originally announced September 2019.

MSC Class: 82D75; 60J80; 60J75; 60J99

Double hypergeometric Lévy processes and self-similarity

Authors: Andreas E. Kyprianou, Juan Carlos Pardo, Matija Vidmar

Abstract: Motivated by a recent paper of Budd, where a new family of positive self-similar Markov processes associated to stable processes appears, we introduce a new family of Lévy processes, called the double hypergeometric class, whose Wiener-Hopf factorisation is explicit, and as a result many functionals can be determined in closed form. Motivated by a recent paper of Budd, where a new family of positive self-similar Markov processes associated to stable processes appears, we introduce a new family of Lévy processes, called the double hypergeometric class, whose Wiener-Hopf factorisation is explicit, and as a result many functionals can be determined in closed form. △ Less

Submitted 20 July, 2020; v1 submitted 12 April, 2019; originally announced April 2019.

Skeletal stochastic differential equations for superprocesses

Authors: Dorottya Fekete, Joaquin Fontbona, Andreas E. Kyprianou

Abstract: It is well understood that a supercritical superprocess is equal in law to a discrete Markov branching process whose genealogy is dressed in a Poissonian way with immigration which initiates subcritial superprocesses. The Markov branching process corresponds to the genealogical description of prolific individuals, that is individuals who produce eternal genealogical lines of decent, and is often r… ▽ More It is well understood that a supercritical superprocess is equal in law to a discrete Markov branching process whose genealogy is dressed in a Poissonian way with immigration which initiates subcritial superprocesses. The Markov branching process corresponds to the genealogical description of prolific individuals, that is individuals who produce eternal genealogical lines of decent, and is often referred to as the skeleton or backbone of the original superprocess. The Poissonian dressing along the skeleton may be considered to be the remaining non-prolific genealogical mass in the superprocess. Such skeletal decompositions are equally well understood for continuous-state branching processes (CSBP). In a previous article, [16], we developed an SDE approach to study the skeletal representation of CSBPs, which provided a common framework for the skeletal decompositions of supercritical and (sub)critical CSBPs. It also helped us to understand how the skeleton thins down onto one infinite line of descent when conditioning on survival until larger and larger times, and eventually forever. Here our main motivation is to show the robustness of the SDE approach by expanding it to the spatial setting of superprocesses. The current article only considers supercritical superprocesses, leaving the subcritical case open. △ Less

Submitted 17 April, 2020; v1 submitted 11 April, 2019; originally announced April 2019.

Journal ref: J. Appl. Probab. 57 (2020) 1111-1134

Stochastic Methods for the Neutron Transport Equation II: Almost sure growth

Authors: Simon C. Harris, Emma Horton, Andreas E. Kyprianou

Abstract: The neutron transport equation (NTE) describes the flux of neutrons across a planar cross-section in an inhomogeneous fissile medium when the process of nuclear fission is active. Classical work on the NTE emerges from the applied mathematics literature in the 1950s through the work of R. Dautray and collaborators, [7, 8, 19]. The NTE also has a probabilistic representation through the semigroup o… ▽ More The neutron transport equation (NTE) describes the flux of neutrons across a planar cross-section in an inhomogeneous fissile medium when the process of nuclear fission is active. Classical work on the NTE emerges from the applied mathematics literature in the 1950s through the work of R. Dautray and collaborators, [7, 8, 19]. The NTE also has a probabilistic representation through the semigroup of the underlying physical process when envisaged as a stochastic process; cf. [7, 17, 18, 20]. More recently, [6] and [16] have continued the probabilistic analysis of the NTE, introducing more recent ideas from the theory of spatial branching processes and quasi-stationary distributions. In this paper, we continue in the same vein and look at a fundamental description of stochastic growth in the supercritical regime. Our main result provides a significant improvement on the last known contribution to growth properties of the physical process in [20], bringing neutron transport theory in line with modern branching process theory such as [14, 12]. △ Less

Submitted 17 March, 2020; v1 submitted 1 January, 2019; originally announced January 2019.

Comments: one figure

MSC Class: 82D75; 60J80; 60J75; 60J99

Entrance laws at the origin of self-similar Markov processes in high dimensions

Authors: Andreas E. Kyprianou, Victor Rivero, Bati Şengül, Ting Yang

Abstract: In this paper we consider the problem of finding entrance laws at the origin for self-similar Markov processes in $\mathbb{R}^d$, killed upon hitting the origin. Under mild assumptions, we show the existence of an entrance law and the convergence to this law when the process is started close to the origin. We obtain an explicit description of the process started from the origin as the time reversa… ▽ More In this paper we consider the problem of finding entrance laws at the origin for self-similar Markov processes in $\mathbb{R}^d$, killed upon hitting the origin. Under mild assumptions, we show the existence of an entrance law and the convergence to this law when the process is started close to the origin. We obtain an explicit description of the process started from the origin as the time reversal of the original self-similar Markov process conditioned to hit the origin. △ Less

Submitted 21 December, 2019; v1 submitted 5 December, 2018; originally announced December 2018.

Stochastic Methods for the Neutron Transport Equation I: Linear Semigroup asymptotics

Authors: Emma Horton, Andreas E. Kyprianou, Denis Villemonais

Abstract: The Neutron Transport Equation (NTE) describes the flux of neutrons through an inhomogeneous fissile medium. In this paper, we reconnect the NTE to the physical model of the spatial Markov branching process which describes the process of nuclear fission, transport, scattering, and absorption. By reformulating the NTE in its mild form and identifying its solution as an expectation semigroup, we use… ▽ More The Neutron Transport Equation (NTE) describes the flux of neutrons through an inhomogeneous fissile medium. In this paper, we reconnect the NTE to the physical model of the spatial Markov branching process which describes the process of nuclear fission, transport, scattering, and absorption. By reformulating the NTE in its mild form and identifying its solution as an expectation semigroup, we use modern techniques to develop a Perron-Frobenius (PF) type decomposition, showing that growth is dominated by a leading eigenfunction and its associated left and right eigenfunctions. In the spirit of results for spatial branching and fragmentation processes, we use our PF decomposition to show the existence of an intrinsic martingale and associated spine decomposition. Moreover, we show how criticality in the PF decomposition dictates the convergence of the intrinsic martingale. The mathematical difficulties in this context come about through unusual piecewise linear motion of particles coupled with an infinite type-space which is taken as neutron velocity. The fundamental nature of our PF decomposition also plays out in accompanying work [20, 9]. △ Less

Submitted 17 March, 2020; v1 submitted 3 October, 2018; originally announced October 2018.

Comments: five figures

MSC Class: 82D75; 60J80; 60J75; 60J99

Multi-species neutron transport equation

Authors: Alex M. G. Cox, Simon C. Harris, Emma Horton, Andreas E. Kyprianou

Abstract: The Neutron Transport Equation (NTE) describes the flux of neutrons through inhomogeneous fissile medium. Whilst well treated in the nuclear physics literature (cf. [9, 27]), the NTE has had a somewhat scattered treatment in mathematical literature with a variety of different approaches (cf. [8, 25]). Within a probabilistic framework it has somewhat undeservingly received little attention in recen… ▽ More The Neutron Transport Equation (NTE) describes the flux of neutrons through inhomogeneous fissile medium. Whilst well treated in the nuclear physics literature (cf. [9, 27]), the NTE has had a somewhat scattered treatment in mathematical literature with a variety of different approaches (cf. [8, 25]). Within a probabilistic framework it has somewhat undeservingly received little attention in recent years; nonetheless, probabilistic treatments can be found see for example [19, 26, 24, 29, 4, 3]. In this article our aim is threefold. First we want to introduce a slightly more general setting for the NTE, which gives a more complete picture of the different species of particle and radioactive fluxes that are involved in fission. Second we consolidate the classical c0-semigroup approach to solving the NTE with the method of stochastic representation which involves expectation semigroups. Third we provide the leading asymptotic of our multi-species NTE, which will turn out to be crucial for further stochastic analysis of the NTE in forthcoming work [6, 5]. The methodology used in this paper harmonises the culture of expectation semigroup analysis from the theory of stochastic processes against c0-semigroup theory from functional analysis. In this respect, our presentation is thus part review of existing theory and part presentation of new research results based on generalisation of existing results. △ Less

Submitted 3 January, 2019; v1 submitted 4 September, 2018; originally announced September 2018.

Comments: 2 figures

Stable Lévy processes in a cone

Authors: Andreas E. Kyprianou, Victor Rivero, Weerapat Satitkanitkul

Abstract: Bañuelos and Bogdan (2004) and Bogdan, Palmowski and Wang (2016) analyse the asymptotic tail distribution of the first time a stable (Lévy) process in dimension $d\geq 2$ exists a cone. We use these results to develop the notion of a stable process conditioned to remain in a cone as well as the the notion of a stable process conditioned to absorb continuously at the apex of a cone (without leaving… ▽ More Bañuelos and Bogdan (2004) and Bogdan, Palmowski and Wang (2016) analyse the asymptotic tail distribution of the first time a stable (Lévy) process in dimension $d\geq 2$ exists a cone. We use these results to develop the notion of a stable process conditioned to remain in a cone as well as the the notion of a stable process conditioned to absorb continuously at the apex of a cone (without leaving the cone). As self-similar Markov processes we examine some of their fundamental properties through the lens of its Lamperti-Kiu decomposition. In particular we are interested to understand the underlying structure of the Markov additive process that drives such processes. As a consequence of our interrogation of the underlying MAP, we are able to provide an answer by example to the open question: If the modulator of a MAP has a stationary distribution, under what conditions does its ascending ladder MAP have a stationary distribution? We show how the two forms of conditioning are dual to one another. Moreover, we construct the recurrent extension of the stable process killed on exiting a cone, showing that it again remains in the class of self-similar Markov processes. In the spirit of several very recent works, the results presented here show that many previously unknown results of stable processes, which have long since been understood for Brownian motion, or are easily proved for Brownian motion, become accessible by appealing to the notion of the stable process as a self-similar Markov process, in addition to its special status as a Lévy processes with a semi-tractable potential analysis. △ Less

Submitted 20 June, 2020; v1 submitted 23 April, 2018; originally announced April 2018.

Stable processes conditioned to avoid an interval

Authors: Leif Doering, Andreas E Kyprianou, Philip Weissmann

Abstract: Conditioning Markov processes to avoid a domain is a classical problem that has been studied in many settings. Ingredients for standard arguments involve the leading order tail asymptotics of the distribution of the first hitting time of the domain of interest and its relation to an underlying harmonic function. In the present article we condition stable processes to avoid intervals. The require… ▽ More Conditioning Markov processes to avoid a domain is a classical problem that has been studied in many settings. Ingredients for standard arguments involve the leading order tail asymptotics of the distribution of the first hitting time of the domain of interest and its relation to an underlying harmonic function. In the present article we condition stable processes to avoid intervals. The required tail asymptotics in the stable setting for $α\geq 1$ go back to classical work of Blumenthal et al. and Port from the 1960s. For $α<1$, we appeal to recent results centred around the so-called deep factorisation of the stable process to compute hitting probabilities and, moreover, to identify the associated harmonic functions for all $α\in (0,2)$. With these in hand, we thus prove that conditioning to avoid an interval is possible in the classical sense and that the resulting process is a Doob $h$-transform of the stable process killed on entering the aforesaid interval. Appealing to the representation of the conditioned process as a Doob $h$-transform, we verify that the conditioned process is transient. △ Less

Submitted 21 February, 2018; v1 submitted 20 February, 2018; originally announced February 2018.

Entrance and exit at infinity for stable jump diffusions

Authors: Leif Doering, Andreas E. Kyprianou

Abstract: In his seminal work from the 1950s, William Feller classified all one-dimensional diffusions on $-\infty\leq a<b\leq \infty$ in terms of their ability to access the boundary (Feller's test for explosions) and to enter the interior from the boundary. Feller's technique is restricted to diffusion processes as the corresponding differential generators allow explicit computations and the use of Hille-… ▽ More In his seminal work from the 1950s, William Feller classified all one-dimensional diffusions on $-\infty\leq a<b\leq \infty$ in terms of their ability to access the boundary (Feller's test for explosions) and to enter the interior from the boundary. Feller's technique is restricted to diffusion processes as the corresponding differential generators allow explicit computations and the use of Hille-Yosida theory. In the present article we study exit and entrance from infinity for the most natural generalization, that is, jump diffusions of the form \[ dZ_t=σ(Z_{t-})\,dX_t, \] driven by stable Lévy processes for $α\in (0,2)$. Many results have been proved for jump diffusions, employing a variety of techniques developed after Feller's work but exit and entrance from infinite boundaries has long remained open. We show that the presence of jumps implies features not seen in the diffusive setting without drift. Finite time explosion is possible for $α\in (0,1)$, whereas entrance from different kinds of infinity is possible for $α\in [1,2)$. We derive necessary and sufficient conditions on $σ$ so that (i) non-exploding solutions exist and (ii) the corresponding transition semigroup extends to an entrance point at `infinity'. Our proofs are based on very recent developments for path transformations of stable processes via the Lamperti-Kiu representation and new Wiener-Hopf factorisations for Lévy processes that lie therein. The arguments draw together original and intricate applications of results using the Riesz-Bogdan--Żak transformation, entrance laws for self-similar Markov processes, perpetual integrals of Lévy processes and fluctuation theory, which have not been used before in the SDE setting, thereby allowing us to employ classical theory such as Hunt-Nagasawa duality and Getoor's characterisation of transience and recurrence. △ Less

Submitted 20 January, 2020; v1 submitted 5 February, 2018; originally announced February 2018.

Almost sure growth of supercritical multi-type continuous state branching process

Authors: Andreas E. Kyprianou, Sandra Palau, Yan-Xia Ren

Abstract: In Li (2011), Example 2.2, the notion of a multi-type continuous-state branching process (MCSBP) was introduced with a finite number of types, with the countably infinite case being proposed in Kyprianou and Palau (2017). One may consider such processes as a super-Markov chain on a countable state-space of types, which undertakes both local and non-local branching. In Kyprianou and Palau (2017) it… ▽ More In Li (2011), Example 2.2, the notion of a multi-type continuous-state branching process (MCSBP) was introduced with a finite number of types, with the countably infinite case being proposed in Kyprianou and Palau (2017). One may consider such processes as a super-Markov chain on a countable state-space of types, which undertakes both local and non-local branching. In Kyprianou and Palau (2017) it was shown that, for MCSBPs, under mild conditions, there exists a lead eigenvalue which characterises the spectral radius of the linear semigroup associated to the process. Moreover, in a qualitative sense, the sign of this eigenvalue distinguishes between the cases where there is local extinction and exponential growth. In this paper, we continue in this vein and show that, when the number of types is finite, the lead eigenvalue gives the precise almost sure rate of growth of each type. This result matches perfectly classical analogues for multi-type Galton--Watson processes. △ Less

Submitted 21 February, 2018; v1 submitted 16 July, 2017; originally announced July 2017.

Stable processes, self-similarity and the unit ball

Authors: Andreas E. Kyprianou

Abstract: Around the 1960s a celebrated collection of papers emerged offering a number of explicit identities for the class of isotropic stable processes in one and higher dimensions; these include, for example, the lauded works of Blumenthal, Getoor, Ray, Port and Rogozin. Amongst other things, these results nicely exemplify the use of standard Riesz potential theory on the unit open ball… ▽ More Around the 1960s a celebrated collection of papers emerged offering a number of explicit identities for the class of isotropic stable processes in one and higher dimensions; these include, for example, the lauded works of Blumenthal, Getoor, Ray, Port and Rogozin. Amongst other things, these results nicely exemplify the use of standard Riesz potential theory on the unit open ball $\mathbb{B}_d :=\{ x\in \mathbb{R}^d :|x|<1\}$, $\mathbb{R}^d\backslash\mathbb{B}_d$ and $\mathbb{S}_d :=\partial \mathbb{B}_d$ with the, then, modern theory of potential analysis for Markov processes. Following initial observations of Lamperti in 1972, with the occasional sporadic work of Kiu, Vuolle-Apiala and Graversen in the 1980s, an alternative understanding of stable processes through the theory of self-similar Markov processes has prevailed in the last decade or more. This point of view offers deeper probabilistic insights into some of the aforementioned potential analytical relations. In this review article, we will rediscover many of the aforementioned classical identities in relation to the unit ball and recent extensions thereof by combining elements of these two theories, which have otherwise been largely separated by decades in the literature. We present a dialogue that appeals as much as possible to path decompositions. Most notable in this respect is the Lamperti-Kiu decomposition of self-similar Markov processes and the Riesz-Bogdan-Żak transformation. Some of the proofs we give are known, some are known proofs mixed with new methods and some proofs are completely new. We assume that the reader has a degree of familiarity with the bare basics of Lévy processes but nonetheless, we often include reminders of standard material. △ Less

Submitted 5 March, 2018; v1 submitted 13 July, 2017; originally announced July 2017.

Skeletal stochastic differential equations for continuous-state branching process

Authors: Dorottya Fekete, Joaquin Fontbona, Andreas E. Kyprianou

Abstract: It is well understood that a supercritical continuous-state branching process (CSBP) is equal in law to a discrete continuous-time Galton Watson process (the skeleton of prolific individuals) whose edges are dressed in a Poissonian way with immigration which initiates subcritial CSBPs (non-prolific mass). Equally well understood in the setting of CSBPs and super-processes is the notion of a spine… ▽ More It is well understood that a supercritical continuous-state branching process (CSBP) is equal in law to a discrete continuous-time Galton Watson process (the skeleton of prolific individuals) whose edges are dressed in a Poissonian way with immigration which initiates subcritial CSBPs (non-prolific mass). Equally well understood in the setting of CSBPs and super-processes is the notion of a spine or immortal particle dressed in a Poissonian way with immigration which initiates copies of the original CSBP, which emerges when conditioning the process to survive eternally. In this article, we revisit these notions for CSBPs and put them in a common framework using the language of (coupled) SDEs. In this way, we are able to deal simultaneously with all types of CSBPs (supercritical, critical and subcritical) as well as understanding how the backbone representation becomes, in the sense of weak convergence, a spinal decomposition when conditioning on survival. Our principal motivation is to prepare the way to expand the SDE approach to the spatial setting of super-processes, where recent results have increasingly sought the use of skeletal decompositions to transfer results from the branching particle setting to the setting of measure valued processes. △ Less

Submitted 15 April, 2019; v1 submitted 12 February, 2017; originally announced February 2017.

Comments: arXiv admin note: text overlap with arXiv:1106.2123 by other authors

MSC Class: 60J80; 60H30; 60G99

Unbiased `walk-on-spheres' Monte Carlo methods for the fractional Laplacian

Authors: Andreas E. Kyprianou, Ana Osojnik, Tony Shardlow

Abstract: We consider Monte Carlo methods for simulating solutions to the analogue of the Dirichlet boundary-value problem in which the Laplacian is replaced by the fractional Laplacian and boundary conditions are replaced by conditions on the exterior of the domain. Specifically, we consider the analogue of the so-called `walk-on-spheres` algorithm. In the diffusive setting, this entails sampling the path… ▽ More We consider Monte Carlo methods for simulating solutions to the analogue of the Dirichlet boundary-value problem in which the Laplacian is replaced by the fractional Laplacian and boundary conditions are replaced by conditions on the exterior of the domain. Specifically, we consider the analogue of the so-called `walk-on-spheres` algorithm. In the diffusive setting, this entails sampling the path of Brownian motion as it uniformly exits a sequence of spheres maximally inscribed in the domain. As this algorithm would otherwise never end, it is truncated when the `walk-on-spheres` comes within epsilon > 0 of the boundary. In the setting of the fractional Laplacian, the role of Brownian motion is replaced by an isotropic alpha-stable process with alpha in (0, 2). A significant difference to the Brownian setting is that the stable processes will exit spheres by a jump rather than hitting their boundary. This difference ensures that disconnected domains may be considered and that, unlike the diffusive setting, the algorithm ends after an almost surely finite number of steps. △ Less

Submitted 24 June, 2017; v1 submitted 11 September, 2016; originally announced September 2016.

Stable windings at the origin

Authors: A. E. Kyprianou, S. Vakeroudis

Abstract: In 1996, Bertoin and Werner [5] demonstrated a functional limit theorem, characterising the windings of pla- nar isotropic stable processes around the origin for large times, thereby complementing known results for planar Brownian mo- tion. The question of windings at small times can be handled us- ing scaling. Nonetheless we examine the case of windings at the the origin using new techniques from… ▽ More In 1996, Bertoin and Werner [5] demonstrated a functional limit theorem, characterising the windings of pla- nar isotropic stable processes around the origin for large times, thereby complementing known results for planar Brownian mo- tion. The question of windings at small times can be handled us- ing scaling. Nonetheless we examine the case of windings at the the origin using new techniques from the theory of self-similar Markov processes. This allows us to understand upcrossings of (not necessarily symmetric) stable processes over the origin for large and small times in the one-dimensional setting. △ Less

Submitted 31 January, 2018; v1 submitted 22 May, 2016; originally announced May 2016.

MSC Class: 60J30; 60G18; 60J15

A phase transition in excursions from infinity of the "fast" fragmentation-coalescence process

Authors: Andreas E. Kyprianou, Steven Pagett, Tim Rogers, Jason Schweinsberg

Abstract: An important property of Kingman's coalescent is that, starting from a state with an infinite number of blocks, over any positive time horizon, it transitions into an almost surely finite number of blocks. This is known as `coming down from infinity'. Moreover, of the many different (exchangeable) stochastic coalescent models, Kingman's coalescent is the `fastest' to come down from infinity. In th… ▽ More An important property of Kingman's coalescent is that, starting from a state with an infinite number of blocks, over any positive time horizon, it transitions into an almost surely finite number of blocks. This is known as `coming down from infinity'. Moreover, of the many different (exchangeable) stochastic coalescent models, Kingman's coalescent is the `fastest' to come down from infinity. In this article we study what happens when we counteract this `fastest' coalescent with the action of an extreme form of fragmentation. We augment Kingman's coalescent, where any two blocks merge at rate $c>0$, with a fragmentation mechanism where each block fragments at constant rate, $λ>0$, into it's constituent elements. We prove that there exists a phase transition at $λ=c/2$, between regimes where the resulting `fast' fragmentation-coalescence process is able to come down from infinity or not. In the case that $λ<c/2$ we develop an excursion theory for the fast fragmentation-coalescence process out of which a number of interesting quantities can be computed explicitly. △ Less

Submitted 17 January, 2017; v1 submitted 16 February, 2016; originally announced February 2016.

Comments: 1 figure

MSC Class: 60J25; 60G09

Deep factorisation of the stable process II; potentials and applications

Authors: Andreas E. Kyprianou, Victor Rivero, Bati Sengul

Abstract: Here we propose a different perspective of the deep factorisation in Kyprianou (2015) based on determining potentials. Indeed, we factorise the inverse of the MAP-exponent associated to a stable process via the Lamperti-Kiu transform. Here our factorisation is completely independent from the derivation in Kyprianou (2015) , moreover there is no clear way to invert the factors in Kyprianou (2015) t… ▽ More Here we propose a different perspective of the deep factorisation in Kyprianou (2015) based on determining potentials. Indeed, we factorise the inverse of the MAP-exponent associated to a stable process via the Lamperti-Kiu transform. Here our factorisation is completely independent from the derivation in Kyprianou (2015) , moreover there is no clear way to invert the factors in Kyprianou (2015) to derive our results. Our method gives direct access to the potential densities of the ascending and descending ladder MAP of the Lamperti-stable MAP in closed form. In the spirit of the interplay between the classical Wiener-Hopf factorisation and fluctuation theory of the underlying Levy process, our analysis will produce a collection of of new results for stable processes. We give an identity for the point of closest reach to the origin for a stable process with index $α\in (0,1)$ as well as and identity for the point of furthest reach before absorption at the origin for a stable process with index $α\in (1,2)$. Moreover, we show how the deep factorisation allows us to compute explicitly the stationary distribution of stable processes multiplicatively reflected in such a way that it remains in the strip [-1,1]. △ Less

Submitted 23 February, 2017; v1 submitted 19 November, 2015; originally announced November 2015.

Comments: 24 pages, 8 figures

Conditioned real self-similar Markov processes

Authors: Andreas E. Kyprianou, Víctor M. Rivero, Weerapat Satitkanitkul

Abstract: In recent work, Chaumont et al. [9] showed that is possible to condition a stable process with index $α \in (1,2)$ to avoid the origin. Specifically, they describe a new Markov process which is the Doob h-transform of a stable process and which arises from a limiting procedure in which the stable process is conditioned to have avoided the origin at later and later times. A stable process is a part… ▽ More In recent work, Chaumont et al. [9] showed that is possible to condition a stable process with index $α \in (1,2)$ to avoid the origin. Specifically, they describe a new Markov process which is the Doob h-transform of a stable process and which arises from a limiting procedure in which the stable process is conditioned to have avoided the origin at later and later times. A stable process is a particular example of a real self-similar Markov process (rssMp) and we develop the idea of such conditionings further to the class of rssMp. Under appropriate conditions, we show that the specific case of conditioning to avoid the origin corresponds to a classical Cramér-Esscher-type transform to the Markov Additive Process (MAP) that underlies the Lamperti-Kiu representation of a rssMp. In the same spirit, we show that the notion of conditioning a rssMp to continuously absorb at the origin also fits the same mathematical framework. In particular, we characterise the stable process conditioned to continuously absorb at the origin when $α \in(0,1)$. Our results also complement related work for positive self-similar Markov processes in [10]. △ Less

Submitted 6 October, 2015; originally announced October 2015.

MSC Class: 60G18; 60G17

More on hypergeometric Levy processes

Authors: Emma L. Horton, Andreas E. Kyprianou

Abstract: Kuznetsov et al. (2011) and Kuznetsov and Pardo (2013) introduced the family of Hypergeometric Lévy processes. They appear naturally in the study of fluctuations of stable processes when one analyses stable processes through the theory of positive self-similar Markov processes. Hypergeometric Lévy processes are defined through their characteristic exponent, which, as a complex-valued function, has… ▽ More Kuznetsov et al. (2011) and Kuznetsov and Pardo (2013) introduced the family of Hypergeometric Lévy processes. They appear naturally in the study of fluctuations of stable processes when one analyses stable processes through the theory of positive self-similar Markov processes. Hypergeometric Lévy processes are defined through their characteristic exponent, which, as a complex-valued function, has four independent parameters. Kyprianou et al. (2014) showed that the definition of a Hypergeometric Lévy process could be taken to include a greater range of the aforesaid parameters than originally specified. In this short article, we push the parameter range even further. In particular, we calculate the underlying Lévy measure and potential measures of the Wiener--Hopf factors. △ Less

Submitted 8 September, 2015; originally announced September 2015.

The Seneta-Heyde scaling for homogeneous fragmentations

Authors: Andreas E. Kyprianou, Thomas Madaule

Abstract: Homogeneous mass fragmentation processes describe the evolution of a unit mass that breaks down randomly into pieces as time. Mathematically speaking, they can be thought of as continuous-time analogues of branching random walks with non-negative displacements. Following recent developments in the theory of branching random walks, in particular the work of \cite{AShi10}, we consider the problem of… ▽ More Homogeneous mass fragmentation processes describe the evolution of a unit mass that breaks down randomly into pieces as time. Mathematically speaking, they can be thought of as continuous-time analogues of branching random walks with non-negative displacements. Following recent developments in the theory of branching random walks, in particular the work of \cite{AShi10}, we consider the problem of the Seneta-Heyde norming of the so-called additive martingale at criticality. Aside from replicating results for branching random walks in the new setting of fragmentation processes, our main goal is to present a style of reasoning, based on $L^p$ estimates, which works for a whole host of different branching-type processes. We show that our methods apply equally to the setting of branching random walks, branching Brownian motion as well as Gaussian multiplicative chaos. △ Less

Submitted 6 July, 2015; originally announced July 2015.

Conditioning subordinators embedded in Markov processes

Authors: Andreas E. Kyprianou, Victor Rivero, Bati Sengul

Abstract: The running infimum of a Levy process relative to its point of issue is know to have the same range that of the negative of a certain subordinator. Conditioning a Levy process issued from a strictly positive value to stay positive may therefore be seen as implicitly conditioning its descending ladder heigh subordinator to remain in a strip. Motivated by this observation, we consider the general pr… ▽ More The running infimum of a Levy process relative to its point of issue is know to have the same range that of the negative of a certain subordinator. Conditioning a Levy process issued from a strictly positive value to stay positive may therefore be seen as implicitly conditioning its descending ladder heigh subordinator to remain in a strip. Motivated by this observation, we consider the general problem of conditioning a subordinator to remain in a strip. Thereafter we consider more general contexts in which subordinators embedded in the path decompositions of Markov processes are conditioned to remain in a strip. △ Less

Submitted 23 June, 2016; v1 submitted 25 June, 2015; originally announced June 2015.

Comments: 24 pages

Universality in a class of fragmentation-coalescence processes

Authors: Andreas E. Kyprianou, Steven W. Pagett, Tim Rogers

Abstract: We introduce and analyse a class of fragmentation-coalescence processes defined on finite systems of particles organised into clusters. Coalescent events merge multiple clusters simultaneously to form a single larger cluster, while fragmentation breaks up a cluster into a collection of singletons. Under mild conditions on the coalescence rates, we show that the distribution of cluster sizes become… ▽ More We introduce and analyse a class of fragmentation-coalescence processes defined on finite systems of particles organised into clusters. Coalescent events merge multiple clusters simultaneously to form a single larger cluster, while fragmentation breaks up a cluster into a collection of singletons. Under mild conditions on the coalescence rates, we show that the distribution of cluster sizes becomes non- random in the thermodynamic limit. Moreover, we discover that in the limit of small fragmentation rate these processes exhibit self-organised criticality in the cluster size distribution, with universal exponent 3/2. △ Less

Submitted 30 January, 2017; v1 submitted 13 April, 2015; originally announced April 2015.

Comments: 17 pages, 1 figure

MSC Class: 60K35

Deep factorisation of the stable process

Authors: Andreas E. Kyprianou

Abstract: The Lamperti--Kiu transformation for real-valued self-similar Markov processes (rssMp) states that, associated to each rssMp via a space-time transformation, there is a Markov additive process (MAP). In the case that the rssMp is taken to be an $α$-stable process with $α\in(0,2)$, Chaumont et al. (2013) and Kuznetsov et al. (2014) have computed explicitly the characteristics of the matrix exponent… ▽ More The Lamperti--Kiu transformation for real-valued self-similar Markov processes (rssMp) states that, associated to each rssMp via a space-time transformation, there is a Markov additive process (MAP). In the case that the rssMp is taken to be an $α$-stable process with $α\in(0,2)$, Chaumont et al. (2013) and Kuznetsov et al. (2014) have computed explicitly the characteristics of the matrix exponent of the semi-group of the embedded MAP, which we henceforth refer to as the {\it Lamperti-stable MAP}. Specifically, the matrix exponent of the Lamperti-stable MAP's transition semi-group can be written in a compact form using only gamma functions. Just as with Lévy processes, there exists a factorisation of the (matrix) exponents of MAPs, with each of the two factors uniquely characterising the ascending and descending ladder processes, which themselves are again MAPs. To the author's knowledge, not a single example of such a factorisation currently exists in the literature. In this article we provide a completely explicit Wiener--Hopf factorisation for the Lamperti-stable MAP. As a consequence of our methodology, we also get additional new results concerning space-time invariance properties of stable processes. Accordingly we develop some new fluctuation identities therewith. △ Less

Submitted 24 August, 2015; v1 submitted 25 February, 2015; originally announced February 2015.

Real Self-Similar Processes Started from the Origin

Authors: Steffen Dereich, Leif Doering, Andreas E. Kyprianou

Abstract: Since the seminal work of Lamperti there is a lot of interest in the understanding of the general structure of self-similar Markov processes. Lamperti gave a representation of positive self-similar Markov processes with initial condition strictly larger than 0 which subsequently was extended to zero initial condition. For real self-similar Markov processes (rssMps) there is a generalization of Lam… ▽ More Since the seminal work of Lamperti there is a lot of interest in the understanding of the general structure of self-similar Markov processes. Lamperti gave a representation of positive self-similar Markov processes with initial condition strictly larger than 0 which subsequently was extended to zero initial condition. For real self-similar Markov processes (rssMps) there is a generalization of Lamperti's representation giving a one-to-one correspondence between Markov additive processes and rssMps with initial condition different from the origin. We develop fluctuation theory for Markov additive processes and use Kuznetsov measures to construct the law of transient real self-similar Markov processes issued from the origin. The construction gives a pathwise representation through two-sided Markov additive processes extending the Lamperti-Kiu representation to the origin. △ Less

Submitted 4 January, 2015; originally announced January 2015.

Comments: 38 pages

Perpetual Integrals for Levy Processes

Authors: Leif Doering, Andreas E. Kyprianou

Abstract: We ask for necessary and sufficient conditions for almost sure finiteness of the perpetual integrals of a Levy process. Zero-one laws are already known for Brownian motion with drift and spectrally one-sided Levy processes. Under the assumption that local times exist, we use fluctuation theory and Jeulin's lemma to prove the zero-one law. We ask for necessary and sufficient conditions for almost sure finiteness of the perpetual integrals of a Levy process. Zero-one laws are already known for Brownian motion with drift and spectrally one-sided Levy processes. Under the assumption that local times exist, we use fluctuation theory and Jeulin's lemma to prove the zero-one law. △ Less

Submitted 4 January, 2015; originally announced January 2015.

Comments: 5 pages

The UK financial mathematics M.Sc

Authors: A. E. Kyprianou

Abstract: Postgraduate taught degrees in financial mathematics have been booming in popularity in the UK for the last 20 years. The fees for these courses are considerably higher than other comparable masters-level courses. Why? Vendors stipulate that they offer high-demand, high-level vocational training for future employees of the financial services industry, delivered by academics with an internationally… ▽ More Postgraduate taught degrees in financial mathematics have been booming in popularity in the UK for the last 20 years. The fees for these courses are considerably higher than other comparable masters-level courses. Why? Vendors stipulate that they offer high-demand, high-level vocational training for future employees of the financial services industry, delivered by academics with an internationally recognised research reputation at world-class universities. We argue here that, as the UK higher education system moves towards a more commercial environment, the widespread availability of the M.Sc. in financial mathematics exemplifies a practice of following market demand for the sake of income, without due consideration for the broader consequences. Indeed, we claim that, as excellent as such courses can be in intellectual content and delivery, they are mismatching needs and expectations for such education and confusing the true value of what is taught. The story of the Mathematical Finance MSc serves as a serious case study, highlighting some of the incongruities and future dangers of free-market education. △ Less

Submitted 29 May, 2014; v1 submitted 26 May, 2014; originally announced May 2014.

Potentials of stable processes

Authors: A. E. Kyprianou, A. R. Watson

Abstract: For a stable process, we give an explicit formula for the potential measure of the process killed outside a bounded interval and the joint law of the overshoot, undershoot and undershoot from the maximum at exit from a bounded interval. We obtain the equivalent quantities for a stable process reflected in its infimum. The results are obtained by exploiting a simple connection with the Lamperti rep… ▽ More For a stable process, we give an explicit formula for the potential measure of the process killed outside a bounded interval and the joint law of the overshoot, undershoot and undershoot from the maximum at exit from a bounded interval. We obtain the equivalent quantities for a stable process reflected in its infimum. The results are obtained by exploiting a simple connection with the Lamperti representation and exit problems of stable processes. △ Less

Submitted 4 December, 2013; originally announced December 2013.

Comments: 10 pages

MSC Class: 60G52; 60G18; 60G51

The extended hypergeometric class of Lévy processes

Authors: A. E. Kyprianou, J. C. Pardo, A. R. Watson

Abstract: With a view to computing fluctuation identities related to stable processes, we review and extend the class of hypergeometric Lévy processes explored in Kuznetsov and Pardo (arXiv:1012.0817). We give the Wiener-Hopf factorisation of a process in the extended class, and characterise its exponential functional. Finally, we give three concrete examples arising from transformations of stable processes… ▽ More With a view to computing fluctuation identities related to stable processes, we review and extend the class of hypergeometric Lévy processes explored in Kuznetsov and Pardo (arXiv:1012.0817). We give the Wiener-Hopf factorisation of a process in the extended class, and characterise its exponential functional. Finally, we give three concrete examples arising from transformations of stable processes. △ Less

Submitted 9 May, 2014; v1 submitted 3 October, 2013; originally announced October 2013.

Comments: 22 pages

MSC Class: 60G51; 60G18; 60G52

Spines, skeletons and the Strong Law of Large Numbers for superdiffusions

Authors: Maren Eckhoff, Andreas E. Kyprianou, Matthias Winkel

Abstract: Consider a supercritical superdiffusion (X_t) on a domain D subset R^d with branching mechanism -β(x) z+α(x) z^2 + int_{(0,infty)} (e^{-yz}-1+yz) Pi(x,dy). The skeleton decomposition provides a pathwise description of the process in terms of immigration along a branching particle diffusion. We use this decomposition to derive the Strong Law of Large Numbers (SLLN) for a wide class of superdiff… ▽ More Consider a supercritical superdiffusion (X_t) on a domain D subset R^d with branching mechanism -β(x) z+α(x) z^2 + int_{(0,infty)} (e^{-yz}-1+yz) Pi(x,dy). The skeleton decomposition provides a pathwise description of the process in terms of immigration along a branching particle diffusion. We use this decomposition to derive the Strong Law of Large Numbers (SLLN) for a wide class of superdiffusions from the corresponding result for branching particle diffusions. That is, we show that for suitable test functions f and starting measures mu, < f,X_t>/P_{mu}[< f,X_t>] -> W_{infty}, P_{mu}-almost surely as t->infty, where W_{infty} is a finite, non-deterministic random variable characterised as a martingale limit. Our method is based on skeleton and spine techniques and offers structural insights into the driving force behind the SLLN for superdiffusions. The result covers many of the key examples of interest and, in particular, proves a conjecture by Fleischmann and Swart for the super-Wright-Fisher diffusion. △ Less

Submitted 24 September, 2013; originally announced September 2013.

Comments: 45 pages, 1 figure

MSC Class: Primary 60J68; Secondary 60J80; 60F15

An Euler-Poisson Scheme for Lévy driven SDEs

Authors: Albert Ferreiro-Castilla, Andreas E Kyprianou, Robert Scheichl

Abstract: We describe an Euler scheme to approximate solutions of Lévy driven Stochastic Differential Equations (SDE) where the grid points are random and given by the arrival times of a Poisson process. This result extends a previous work of the authors in Ferreiro-Castilla et al. (2012). We provide a complete numerical analysis of the algorithm to approximate the terminal value of the SDE and proof that t… ▽ More We describe an Euler scheme to approximate solutions of Lévy driven Stochastic Differential Equations (SDE) where the grid points are random and given by the arrival times of a Poisson process. This result extends a previous work of the authors in Ferreiro-Castilla et al. (2012). We provide a complete numerical analysis of the algorithm to approximate the terminal value of the SDE and proof that the approximation converges in mean square error with rate $\mathcal{O}(n^{-1/2})$. The only requirement of the methodology is to have exact samples from the resolvent of the Lévy process driving the SDE; classic examples such as stable processes, subclasses of spectrally one sided Lévy processes and new families such as meromorphic Lévy processes (cf. Kuznetsov et al. (2011)) are some examples for which the implementation of our algorithm is straightforward. △ Less

Submitted 7 September, 2013; originally announced September 2013.

The total mass of super-Brownian motion upon exiting balls and Sheu's compact support condition

Authors: Marion Hesse, Andreas E. Kyprianou

Abstract: We study the total mass of a d-dimensional super-Brownian motion as it first exits an increasing sequence of balls. The process of the total mass is a time-inhomogeneous continuous-state branching process, where the increasing radii of the balls are taken as the time parameter. We are able to characterise its time-dependent branching mechanism and show that it converges, as time goes to infinity,… ▽ More We study the total mass of a d-dimensional super-Brownian motion as it first exits an increasing sequence of balls. The process of the total mass is a time-inhomogeneous continuous-state branching process, where the increasing radii of the balls are taken as the time parameter. We are able to characterise its time-dependent branching mechanism and show that it converges, as time goes to infinity, towards the branching mechanism of the total mass of a one-dimensional super-Brownian motion as it first crosses above an increasing sequence of levels. Our results allow us to identify the compact support criterion given in Sheu (1994) as a classical Grey condition (1974) for the aforementioned limiting branching mechanism. △ Less

Submitted 7 August, 2013; originally announced August 2013.

Comments: 28 pages, 2 figures

MSC Class: 60J68; 60J80

The backbone decomposition for spatially dependent supercritical superprocesses

Authors: A. E. Kyprianou, J-L. Perez, Y-X. Ren

Abstract: Consider any supercritical Galton-Watson process which may become extinct with positive probability. It is a well-understood and intuitively obvious phenomenon that, on the survival set, the process may be pathwise decomposed into a stochastically `thinner' Galton-Watson process, which almost surely survives and which is decorated with immigrants, at every time step, initiating independent copies… ▽ More Consider any supercritical Galton-Watson process which may become extinct with positive probability. It is a well-understood and intuitively obvious phenomenon that, on the survival set, the process may be pathwise decomposed into a stochastically `thinner' Galton-Watson process, which almost surely survives and which is decorated with immigrants, at every time step, initiating independent copies of the original Galton-Watson process conditioned to become extinct. The thinner process is known as the backbone and characterizes the genealogical lines of descent of prolific individuals in the original process. Here, prolific means individuals who have at least one descendant in every subsequent generation to their own. Starting with Evans and O'Connell, there exists a cluster of literature describing the analogue of this decomposition (the so-called backbone decomposition) for a variety of different classes of superprocesses and continuous-state branching processes. Note that the latter family of stochastic processes may be seen as the total mass process of superprocesses with non-spatially dependent branching mechanism. In this article we consolidate the aforementioned collection of results concerning backbone decompositions and describe a result for a general class of supercritical superprocesses with spatially dependent branching mechanisms. Our approach exposes the commonality and robustness of many of the existing arguments in the literature. △ Less

Submitted 7 April, 2013; originally announced April 2013.

The hitting time of zero for a stable process

Authors: Alexey Kuznetsov, Andreas E. Kyprianou, Juan Carlos Pardo, Alexander R. Watson

Abstract: For any two-sided jum** $α$-stable process, where $1 < α< 2$, we find an explicit identity for the law of the first hitting time of the origin. This complements existing work in the symmetric case and the spectrally one-sided case; cf. Yano-Yano-Yor (2009) and Cordero (2010), and Peskir (2008) respectively. We appeal to the Lamperti-Kiu representation of Chaumont-Pantí-Rivero (2011) for real-val… ▽ More For any two-sided jum** $α$-stable process, where $1 < α< 2$, we find an explicit identity for the law of the first hitting time of the origin. This complements existing work in the symmetric case and the spectrally one-sided case; cf. Yano-Yano-Yor (2009) and Cordero (2010), and Peskir (2008) respectively. We appeal to the Lamperti-Kiu representation of Chaumont-Pantí-Rivero (2011) for real-valued self-similar Markov processes. Our main result follows by considering a vector-valued functional equation for the Mellin transform of the integrated exponential Markov additive process in the Lamperti-Kiu representation. We conclude our presentation with some applications. △ Less

Submitted 10 March, 2014; v1 submitted 20 December, 2012; originally announced December 2012.

MSC Class: 60G52; 60G18; 60G51

Journal ref: Electron. J. Probab. 19 (2014), no. 30, 1-26

Branching Brownian motion in strip: survival near criticality

Authors: Simon Harris, Marion Hesse, Andreas E. Kyprianou

Abstract: We consider a branching Brownian motion with linear drift in which particles are killed on exiting the interval (0,K) and study the evolution of the process on the event of survival as the width of the interval shrinks to the critical value at which survival is no longer possible. We combine spine techniques and a backbone decomposition to obtain exact asymptotics for the near-critical survival pr… ▽ More We consider a branching Brownian motion with linear drift in which particles are killed on exiting the interval (0,K) and study the evolution of the process on the event of survival as the width of the interval shrinks to the critical value at which survival is no longer possible. We combine spine techniques and a backbone decomposition to obtain exact asymptotics for the near-critical survival probability. This allows us to deduce the existence of a quasi-stationary limit result for the process conditioned on survival which reveals that the backbone thins down to a spine as we approach criticality. This paper is motivated by recent work on survival of near critical branching Brownian motion with absorption at the origin by Aidekon and Harris as well as the work of Berestycki, Berestycki and Schweinsberg. △ Less

Submitted 6 December, 2012; originally announced December 2012.

Multilevel Monte Carlo simulation for Levy processes based on the Wiener-Hopf factorisation

Authors: Albert Ferreiro-Castilla, Andreas E. Kyprianou, Robert Scheichl, Gowri Suryanarayana

Abstract: In Kuznetsov et al. (2011) a new Monte Carlo simulation technique was introduced for a large family of Levy processes that is based on the Wiener-Hopf decomposition. We pursue this idea further by combining their technique with the recently introduced multilevel Monte Carlo methodology. Moreover, we provide here for the first time a theoretical analysis of the new Monte Carlo simulation technique… ▽ More In Kuznetsov et al. (2011) a new Monte Carlo simulation technique was introduced for a large family of Levy processes that is based on the Wiener-Hopf decomposition. We pursue this idea further by combining their technique with the recently introduced multilevel Monte Carlo methodology. Moreover, we provide here for the first time a theoretical analysis of the new Monte Carlo simulation technique in Kuznetsov et al. (2011) and of its multilevel variant for computing expectations of functions depending on the historical trajectory of a Levy process. We derive rates of convergence for both methods and show that they are uniform with respect to the "jump activity" (e.g. characterised by the Blumenthal-Getoor index). We also present a modified version of the algorithm in Kuznetsov et al. (2011) which combined with the multilevel methodology obtains the optimal rate of convergence for general Levy processes and Lipschitz functionals. This final result is only a theoretical one at present, since it requires independent sampling from a triple of distributions which is currently only possible for a limited number of processes. △ Less

Submitted 12 April, 2013; v1 submitted 22 October, 2012; originally announced October 2012.

Occupation times of refracted Lévy processes

Authors: Andreas E. Kyprianou, J. C. Pardo, J. L. Pérez

Abstract: A refracted Lévy process is a Lévy process whose dynamics change by subtracting off a fixed linear drift (of suitable size) whenever the aggregate process is above a pre-specified level. More precisely, whenever it exists, a refracted Lévy process is described by the unique strong solution to the stochastic differential equation \[ \ud U_t=-δ\mathbf{1}_{\{U_t>b\}}\ud t +\ud X_t, \] where… ▽ More A refracted Lévy process is a Lévy process whose dynamics change by subtracting off a fixed linear drift (of suitable size) whenever the aggregate process is above a pre-specified level. More precisely, whenever it exists, a refracted Lévy process is described by the unique strong solution to the stochastic differential equation \[ \ud U_t=-δ\mathbf{1}_{\{U_t>b\}}\ud t +\ud X_t, \] where $X=(X_t, t\ge 0)$ is a Lévy process with law $\p$ and $b,δ\in \R$ such that the resulting process $U$ may visit the half line $(b,\infty)$ with positive probability. In this paper, we consider the case that $X$ is spectrally negative and establish a number of identities for the following functionals \[ \int_0^\infty\mathbf{1}_{\{U_t<b\}}\ud t, \quad\int_0^{ρ_a^+}\mathbf{1}_{\{U_t<b\}}\ud t, \quad\int_0^{ρ^-_c}\mathbf{1}_{\{U_t<b\}}\ud t, \quad\int_0^{ρ_a^+\landρ^-_c}\mathbf{1}_{\{U_t<b\}}\ud t, \] where $ρ^+_a=\inf\{t\ge 0: U_t> a\}$ and $ρ^-_c=\inf\{t\ge 0: U_t< c\}$ for $c<b<a$. Our identities extend recent results of Landriault et al. \cite{LRZ} and bear relevance to Parisian-type financial instruments and insurance scenarios. △ Less

Submitted 3 May, 2012; originally announced May 2012.

MSC Class: 60J99

A capped optimal stop** problem for the maximum process

Authors: Andreas E. Kyprianou, Curdin Ott

Abstract: This paper concerns an optimal stop** problem driven by the running maximum of a spectrally negative Levy process X. More precisely, we are interested in capped versions of the American lookback optimal stop** problem, which has its origins in mathematical finance, and provide semi-explicit solutions in terms of scale functions. The optimal stop** boundary is characterised by an ordinary fir… ▽ More This paper concerns an optimal stop** problem driven by the running maximum of a spectrally negative Levy process X. More precisely, we are interested in capped versions of the American lookback optimal stop** problem, which has its origins in mathematical finance, and provide semi-explicit solutions in terms of scale functions. The optimal stop** boundary is characterised by an ordinary first-order differential equation involving scale functions and, in particular, changes according to the path variation of X. Furthermore, we will link these capped problems to Peskir's maximality principle. △ Less

Submitted 13 April, 2012; originally announced April 2012.

Spectrally negative Levy processes perturbed by functionals of their running supremum

Authors: Andreas E. Kyprianou, Curdin Ott

Abstract: In the setting of the classical Cramer-Lundberg risk insurance model, Albrecher and Hipp (2007) introduced the idea of tax payments. More precisely, if $X = \{X_t : t\geq 0\}$ represents the Cramer-Lundberg process and, for all $t\geq 0$, $S_t = \sup_{s\leq t}X_s$, then Albrecher and Hipp (2007) study $X_t - γS_t$, $t\geq 0$, where $γ\in(0,1)$ is the rate at which tax is paid. This model has been… ▽ More In the setting of the classical Cramer-Lundberg risk insurance model, Albrecher and Hipp (2007) introduced the idea of tax payments. More precisely, if $X = \{X_t : t\geq 0\}$ represents the Cramer-Lundberg process and, for all $t\geq 0$, $S_t = \sup_{s\leq t}X_s$, then Albrecher and Hipp (2007) study $X_t - γS_t$, $t\geq 0$, where $γ\in(0,1)$ is the rate at which tax is paid. This model has been generalised to the setting that $X$ is a spectrally negative Lévy process by Albrecher et al. \cite{albr_ren_zhou}. Finally Kyprianou and Zhou (2009) extend this model further by allowing the rate at which tax is paid with respect to the process $S = \{S_t : t\geq 0\}$ to vary as a function of the current value of $S$. Specifically, they consider the so-called perturbed spectrally negative Levy process, \[ U_t=X_t-\int_{(0,t]}γ(S_u)\,{\rm d} S_u,\qquad t\geq 0, \] under the assumptions $γ:[0,\infty)\rightarrow [0,1)$ and $\int_0^\infty (1-γ(s)){\rm d}s =\infty$. In this article we show that a number of the identities in Kyprianou and Zhou (2009) are still valid for a much more general class of rate functions $γ:[0,\infty)\rightarrow \mathbb{R}$. Moreover, we show that, with appropriately chosen $γ$, the perturbed process can pass continuously (ie. creep) into $(-\infty, 0)$ in two different ways. △ Less

Submitted 7 April, 2012; originally announced April 2012.