We explore and relate two notions of monotonicity, stochastic and realizable, for a system of probability measures on a common finite partially ordered set (poset) S when the measures are indexed by another poset A. We give counterexamples to show that the two notions are not always equivalent, but for various large classes of S we also present conditions on the poset A that are necessary and sufficient for equivalence. When A = S, the condition that the cover graph of S have no cycles is necessary and sufficient for equivalence. This case arises in comparing applicability of the perfect sampling algorithms of Propp and Wilson and the first author of the present paper.
We formalize and analyze the notions of stochastic monotonicity and realizable mono-tonicity for Markov Chains in continuous-time, taking values in a finite partially ordered set. Similarly to what happens in discrete-time, the two notions are not equivalent. However, we show that there are partially ordered sets for which stochastic monotonicity and realizable monotonicity coincide in continuous-time but not in discrete-time.
Realizable monotonicity and inverse probability transform
系统（P_a：在由另一个指标集A所索引的公共状态空间S上的概率测度的（A中的a）可以由在某个概率空间上的S值随机变量系统（X_a：A中的a）以这样的方式"实现“，即每个X_a被分布为P_a。假设A和S都是偏序的，我们可能会问，系统（P_a：a in A）何时可以由系统（X_a：a in A）实现，而系统（X_a：a in A）具有单调性，即当a <= b时，几乎必然X_a <= X_b。当这样的实现是可能的，我们称系统（P_a：a in A）为可实现单调的。这样的系统必然是随机单调的，即当a <= b时，满足随机序P_a <= P_b。一般来说，随机单调性对于可实现单调性是不够的。然而，对于有限状态下某些特定的偏序选择，这两个单调性概念是等价的。本文对一类广义偏序集S提出了一个逆概率变换，并利用它显式地构造了一个系统（X_a：a in A），当两个单调性概念等价时，该系统实现了随机单调系统的单调性.
We study stochastic monotonicity and propagation of order for Markov processes with respect to stochastic integral orders characterized by cones of functions satisfying $Φf \geq 0$ for some linear operator $Φ$. We introduce a new functional analytic technique based on the generator $A$ of a Markov process and its resolvent. We show that the existence of an operator $B$ with positive resolvent such that $ΦA - B Φ$ is a positive operator for a large enough class of functions implies stochastic monotonicity. This establishes a technique for proving stochastic monotonicity and propagation of order…
The theory of monotonicity and duality is developed for general one-dimensional Feller processes. Moreover it is shown that local monotonicity conditions (conditions on the Lévy kernel) are sufficient to prove the well-posedness of the corresponding Markov semigroup and process, including unbounded coefficients and processes on the half-line.
Given two random variables $X$ and $Y$, stochastic monotonicity describes a monotone influence of $X$ on $Y$. We prove two different characterizations of stochastically monotone $2$-copulas using the isomorphism between $2$-copulas and Markov operators. The first approach establishes a one-to-one correspondence between stochastically monotone copulas and monotonicity-preserving Markov operators. The second approach characterizes stochastically monotone copulas by their monotonicity property with respect to the Markov product. Applying the latter result, we identify all idempotent stochasticall…
We study invariance and monotonicity properties of Kunita-type stochastic differential equations in $\RR^d$ with delay. Our first result provides sufficient conditions for the invariance of closed subsets of $\RR^d$. Then we present a comparison principle and show that under appropriate conditions the stochastic delay system considered generates a monotone (order-preserving) random dynamical system. Several applications are considered.
Stochastic monotonicity is a well known partial order relation between probability measures defined on the same partially ordered set. Strassen Theorem establishes equivalence between stochastic monotonicity and the existence of a coupling compatible with respect to the partial order. We consider the case of a countable set and introduce the class of \emph{finitely decomposable flows} on a directed acyclic graph associated to the partial order. We show that a probability measure stochastically dominates another probability measure if and only if there exists a finitely decomposable flow having…
This paper establishes an existence and uniqueness result for the adapted solution of a general time interval multidimensional backward stochastic differential equation (BSDE), where the generator $g$ satisfies a weak stochastic-monotonicity condition and a general growth condition in the state variable $y$, and a stochastic-Lipschitz condition in the state variable $z$. This unifies and strengthens some known works. In order to prove this result, we develop some ideas and techniques employed in \citet{XiaoFan2017Stochastics} and \citet{LiuLiFan2019CAM}. In particular, we put forward and prove…
In this note we establish several inequalities and monotonicity properties for the free energy of directed polymers under certain stochastic orders: the usual stochastic order, the Laplace transform order and the convex order. For the latter our results cover also many classical disordered systems.
We show that the order on probability measures, inherited from the dominance order on the Young diagrams, is preserved under natural maps reducing the number of boxes in a diagram by $1$. As a corollary we give a new proof of the Thoma theorem on the structure of characters of the infinite symmetric group. We present several conjectures generalizing our result. One of them (if it is true) would imply the Kerov's conjecture on the classification of all homomorphisms from the algebra of symmetric functions into $\mathbb R$ which are non-negative on Hall--Littlewood polynomials.
This paper establishes a Freidlin-Wentzell large deviation principle for stochastic differential equations(SDEs) under locally weak monotonicity conditions and Lyapunov conditions. We illustrate the main result of the paper by showing that it can be applied to SDEs with non-Lipschitzian coefficients, which can not be covered in the existing literature. These include the interesting biological models like stochastic Duffing-van der Pol oscillator model, stochastic SIR model, etc.
We consider the problem of viscosity solution of integro-partial differential equation(IPDE in short) with one obstacle via the solution of reflected backward stochastic differential equations(RBSDE in short) with jumps. We show existence and uniqueness of a continuous viscosity solution of equation with non local terms, in case the generator is not monotonous and Levy's measure is infinite.
In a recent paper, Soner, Touzi and Zhang [20] have introduced a notion of second order backward stochastic differential equations (2BSDEs for short), which are naturally linked to a class of fully non-linear PDEs. They proved existence and uniqueness for a generator which is uniformly Lipschitz in the variables $y$ and $z$. The aim of this paper is to extend these results to the case of a generator satisfying a monotonicity condition in $y$. More precisely, we prove existence and uniqueness for 2BSDEs with a generator which is Lipschitz in $z$ and uniformly continuous with linear growth in $y…
We introduce a notion of $k$th order stochastic monotonicity and duality that allows one to unify the notion used in insurance mathematics (sometimes refereed to as Siegmund's duality) for the study of ruin probability and the duality responsible for the so-called put - call symmetries in option pricing. Our general $k$th order duality can be financially interpreted as put - call symmetry for powered options. The main objective of the present paper is to develop an effective analytic approach to the analysis of duality leading to the full characterization of $k$th order duality of Markov proce…
Multi-class queueing networks (McQNs) extend the classical concept of Jackson network by allowing jobs of different classes to visit the same server. While such a generalization seems rather natural, from a structural perspective there is a significant gap between the two concepts. Nice analytical features of Jackson networks, such as stability conditions, product-form equilibrium distributions, and stochastic monotonicity do not immediately carry over to the multi-class framework. The aim of this paper is to shed some light on this structural gap, focusing on monotonicity properties. To this …
By using the Picard iteration scheme, this article establishes the existence and uniqueness theory for solutions to stochastic functional differential equations driven by G-Browniain motion. Assuming the monotonicity conditions, the boundedness and existence-uniqueness results of solutions have been derived. The error estimation between Picard approximate solution $y^k(t)$ and exact solution $y(t)$ has been determined. The $L^2_G$ and exponential estimates have been obtained. The theory has been further generalized to weak monotonicity conditions. The existence, uniqueness and exponential esti…
We study stochastic particle systems that conserve the particle density and exhibit a condensation transition due to particle interactions. We restrict our analysis to spatially homogeneous systems on finite lattices with stationary product measures, which includes previously studied zero-range or misanthrope processes. All known examples of such condensing processes are non-monotone, i.e. the dynamics do not preserve a partial ordering of the state space and the canonical measures (with a fixed number of particles) are not monotonically ordered. For our main result we prove that condensing ho…
Zhongtai Securities Institute for Financial Studies, Shandong University（山东大学中泰金融研究院）；Department of Mathematics, National University of Defense Technology（国防科技大学数学系）
Higher order moment estimates for solutions to nonlinear SPDEs governed by locally-monotone operators are obtained under appropriate coercivity condition. These are then used to extend known existence and uniqueness results for nonlinear SPDEs under local monotonicity conditions to allow derivatives in the operator acting on the solution under the stochastic integral.
We prove existence and uniqueness of L^p solutions of reflected backward stochastic differential equations with p-integrable data and generators satisfying the monotonicity condition. We also show that the solution may be approximated by the penalization method. Our results are new even in the classical case p=2.
In this paper, we first establish the existence and uniqueness of $L^p\ (p>1)$ solutions for multidimensional backward stochastic differential equations (BSDEs) under a weak monotonicity condition together with a general growth condition in $y$ for the generator $g$. Then, we overview several conditions related closely to the weak monotonicity condition and compare them in an effective way. Finally, we put forward and prove a stability theorem and a comparison theorem of $L^p\ (p>1)$ solutions for this kind of BSDEs.
In this paper we show the existence and uniqueness of strong solutions for a large class of backward SPDE where the coefficients satisfy a specific type Lyapunov condition instead of the classical coercivity condition. Moreover, based on the generalized variational framework, we also use the local monotonicity condition to replace the standard monotonicity condition, which is applicable to various quasilinear and semilinear BSPDE models.
We provide a nonasymptotic analysis of convergence to stationarity for a collection of Markov chains on multivariate state spaces, from arbitrary starting points, thereby generalizing results in [Khare and Zhou Ann. Appl. Probab. 19 (2009) 737-777]. Our examples include the multi-allele Moran model in population genetics and its variants in community ecology, a generalized Ehrenfest urn model and variants of the Polya urn model. It is shown that all these Markov chains are stochastically monotone with respect to an appropriate partial ordering. Then, using a generalization of the results in [D…
In the present paper we prove that the probabilities of the Pólya urn distribution (with negative replacement) satisfy a monotonicity property similar to that of the binomial distribution (Pólya urn distribution with no replacement). As a consequence, we show that the random variables with Pólya urn distribution (with negative replacement) are stochastically ordered with respect to the parameter giving the initial distribution of the urn. An equivalent formulation of this result shows that the new Bernstein operator recently introduced in [3] is a monotone operator. The proofs are probabilisti…
An existence and uniqueness theorem for a class of stochastic delay differential equations is presented, and the convergence of Euler approximations for these equations is proved under general conditions. Moreover, the rate of almost sure convergence is obtained under local Lipschitz and also under monotonicity conditions.
We consider a pair $(X,Y)$ of stochastic processes satisfying the equation $dX=a(X)Y\,dB$ driven by a Brownian motion and study the monotonicity and continuity in $y$ of the value function $v(x,y)=\sup_τE_{x,y}[e^{-qτ}g(X_τ)]$, where the supremum is taken over stopping times with respect to the filtration generated by $(X,Y)$. Our results can successfully be applied to pricing American options where $X$ is the discounted price of an asset while $Y$ is given by a stochastic volatility model such as those proposed by Heston or Hull and White. The main method of proof is based on time-change and …
In this paper, we consider Mean Field Games in the presence of common noise relaxing the usual independence assumption of individual random noise. We assume a simple linear model with terminal cost satisfying a convexity and a weak monotonicity property. Our main result is showing existence and uniqueness of a Mean Field Game solution using the Stochastic Maximum Principle. The uniqueness is a result of a monotonicity property similar to that of Lasry and Lions. We use the Banach Fixed Point Theorem to establish an existence over small time duration and show that it can be extended over an arb…
We derive sufficient conditions for the convex and monotonic g-stochastic ordering of diffusion processes under nonlinear g-expectations and g-evaluations. Our approach relies on comparison results for forward-backward stochastic differential equations and on several extensions of convexity, monotonicity and continuous dependence properties for the solutions of associated semilinear parabolic partial differential equations. Applications to contingent claim price comparison under different hedging portfolio constraints are provided.
We develop a necessary stochastic maximum principle for a finite-dimensional stochastic control problem in infinite horizon under a polynomial growth and joint monotonicity assumption on the coefficients. The second assumption generalizes the usual one in the sense that it is formulated as a joint condition for the drift and the diffusion term. The main difficulties concern the construction of the first and second order adjoint processes by solving backward equations on an unbounded time interval. The first adjoint process is characterized as a solution to a backward SDE, which is well-posed t…
In 1993 van den Berg and Kesten proved a strict monotonicity theorem for first passage percolation on $\mathbb{Z}^d$, $d \ge 2$: given two probability measures $ν$ and $\tildeν$ with finite mean, if $\tildeν$ is strictly more variable than $ν$ and $ν$ is subcritical in an appropriate sense, the time constant associated to $\tildeν$ is strictly smaller than the time constant associated to $ν$. In this paper, an analogous result is proven for (not necessarily almost-transitive) graphs of strict polynomial growth and for bounded degree graphs quasi-isometric to trees which satisfy a certain geome…
We study a one-dimensional stochastic differential equation driven by a stable Lévy process of order $α$ with drift and diffusion coefficients $b,σ$. When $α\in (1,2)$, we investigate pathwise uniqueness for this equation. When $α\in (0,1)$, we study another stochastic differential equation, which is equivalent in law, but for which pathwise uniqueness holds under much weaker conditions. We obtain various results, depending on whether $α\in (0,1)$ or $α\in (1,2)$ and on whether the driving stable process is symmetric or not. Our assumptions involve the regularity and monotonicity of $b$ and $σ…
Viscosity solution of systems of integral-partial differential equations with interconnected obstacles without Monotonicity Conditions and infinite L{é}vy measure
Le Mans Université（勒芒大学）；University of Tunis El Manar（突尼斯艾曼大学）
In this paper we study the existence and uniqueness of the random periodic solution for a stochastic differential equation with a one-sided Lipschitz condition (also known as monotonicity condition) and the convergence of its numerical approximation via the backward Euler-Maruyama method. The existence of the random periodic solution is shown as the limits of the pull-back flows of the SDE and discretized SDE respectively. We establish a convergence rate of the strong error for the backward Euler-Maruyama method and obtain the weak convergence result for the approximation of the periodic measu…
The aim of this paper is to investigate strong convergence of modified truncated Euler-Maruyama method for neutral stochastic differential delay equations introduced in Lan (2018). Strong convergence rates of the given numerical scheme to the exact solutions at fixed time $T$ are obtained under local Lipschitz and Khasminskii-type conditions. Moreover, convergence rates over a time interval $[0,T]$ are also obtained under additional polynomial growth condition on $g$ without the weak monotonicity condition (which is usually the standard assumption to obtain the convergence rate). Two examples …
In this paper, we present a general framework for solving stochastic functional differential equations in infinite dimensions in the sense of martingale solutions, which can be applied to a large class of SPDE with finite delays, e.g. $d$-dimensional stochastic fractional Navier-Stokes equations with delays, $d$-dimensional stochastic reaction-diffusion equations with delays, $d$-dimensional stochastic porous media equations with delays. Moreover, under local monotonicity conditions for the nonlinear term we obtain the existence and uniqueness of strong solutions to SPDE with delays.
In this work we first present the existence, uniqueness and regularity of the strong solution of the tidal dynamics model perturbed by Lévy noise. Monotonicity arguments have been exploited in the proofs. We then formulate a martingale problem of Stroock and Varadhan associated to an initial value control problem and establish existence of optimal controls.
In this work, we demonstrate the Wong-Zakai approximation results for two and three dimensional stochastic convective Brinkman-Forchheimer (SCBF) equations forced by Hilbert space valued Wiener noise on bounded domains. Even though the existence and uniqueness of a pathwise strong solution to SCBF equations is known, the existence of a unique solution to the approximating system is not immediate from the solvability results of SCBF equations, and we prove it by using Faedo-Galerkin approximation technique and monotonicity arguments. Moreover, as an application of the Wong-Zakai approximation, …
We provide sufficient conditions on the coefficients of a stochastic functional differential equation with bounded memory driven by Brownian motion which guarantee existence and uniqueness of a maximal local and global strong solution for each initial condition. Our results extend those of previous works. For local existence and uniqueness, we only require the coefficients to be continuous and to satisfy a one-sided local Lipschitz (or monotonicity) condition. In an appendix we formulate and prove four lemmas which may be of independent interest: three of them can be viewed as rather general s…
In this paper, we first prove existence and uniqueness of the solution of a backward doubly stochastic differential equation (BDSDE) and of the related stochastic partial differential equation (SPDE) under monotonicity assumption on the generator. Then we study the case where the terminal data is singular, in the sense that it can be equal to +$\infty$ on a set of positive measure. In this setting we show that there exists a minimal solution, both for the BDSDE and for the SPDE. Note that solution of the SPDE means weak solution in the Sobolev sense.
