Duality in stochastic processes from the viewpoint of basis expansions
Jun Ohkubo, Yuuki Arai

TL;DR
This paper introduces a novel basis expansion approach to derive duality relations in stochastic processes, particularly between stochastic differential equations and birth-death processes, simplifying the derivation process.
Contribution
It presents a new derivation method based on basis expansions, expanding the types of dual stochastic processes that can be obtained.
Findings
Derived dual processes based on Taylor-type polynomials
Derived dual processes based on Hermite polynomials
Simplified derivation method using integration by parts
Abstract
A new derivation method of duality relations in stochastic processes is proposed. The current focus is on the duality between stochastic differential equations and birth-death processes. Although previous derivation methods have been based on the viewpoint of time-evolution operators, the current derivation is based on basis expansions. In addition, only the tool needed for the derivation is the integration by parts, which is rather simple and understandable. The viewpoint of basis expansions enables us to obtain various dual stochastic processes. As a demonstration, dual processes based on Taylor-type and Hermite polynomials are derived.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Duality in stochastic processes from the viewpoint of basis expansions
Jun Ohkubo1,2, Yuuki Arai1
1 Graduate School of Science and Engineering, Saitama University,
255 Shimo-Okubo, Sakura-ku, Saitama, 338-8570, Japan
2 JST, PRESTO, 4-1-8 Honcho, Kawaguchi, Saitama, 332-0012, Japan
Abstract
A new derivation method of duality relations in stochastic processes is proposed. The current focus is on the duality between stochastic differential equations and birth-death processes. Although previous derivation methods have been based on the viewpoint of time-evolution operators, the current derivation is based on basis expansions. In addition, only the tool needed for the derivation is the integration by parts, which is rather simple and understandable. The viewpoint of basis expansions enables us to obtain various dual stochastic processes. As a demonstration, dual processes based on Taylor-type and Hermite polynomials are derived.
1 Introduction
Duality is a widely used concept in various research areas; for example, the Fourier transformation is an example of duality concepts, which connects an original space and a frequency domain. In stochastic processes, the duality concept has been used in order to investigate interacting particle systems (for example, see [1]). For example, a stochastic differential equation, which has a continuous-state space, is connected to a birth-death process with a discrete-state space. Sometimes statistics for stochastic differential equations is evaluated from the corresponding tractable birth-death processes, so that the duality concept has been much investigated in various contexts such as population genetics [2, 3, 4], non-equilibrium heat-conduction problems [5, 6], and simple exclusion processes [7, 8, 9].
Recently, some mathematical discussions for the derivation of dual functions and dual processes have been done; in [10], recent developments have been reviewed. Although there are discussions focusing on duality functions [11], the derivations have been mainly performed by using mathematical properties of time-evolution operators (generators); the symmetry of the generators has been used to derive dual functions [12]. In [13, 14], the discussion based on the second-quantization method (the Doi-Peliti formalism) for the time-evolution operators has also been given.
In the present paper, a new viewpoint of basis expansions is proposed in order to derive dual stochastic processes from stochastic differential equations. By focusing on the basis, it is possible to view the duality concept more flexibly. That is, we can use various types of basis expansions, and each expansion has its own dual stochastic process; consequently we can easily derive various types of dual stochastic processes. In the present paper, as an example, we focus on a simple stochastic differential equation, which is called as the stochastic logistic Ito equation in [15]. Using the stochastic logistic Ito equation, we demonstrate derivation of three different dual stochastic processes; one is the conventional dual process; one is based on the Taylor-type expansion and it gives a slightly different process from the conventional one; the final one is based on the Hermite polynomials and a completely different dual process is derived. Here, we have a comment for the usage of the orthogonal polynomials. As shown later, various orthogonal polynomials could be used to derive dual processes. Although there are a few works about the connections between the duality and orthogonality relations [21, 22], the proposition in the present paper is different from these works; the usage of the orthogonal polynomials as the basis expansions is the main theme here.
The structure of the present paper is as follows. In section 2, the brief review of the conventional duality concept is given. Section 3 focuses on the mathematical structure of duality concept; in order to understand the duality, it is enough to use the integration by parts and basis expansions. In section 4, the derivations of dual stochastic processes based on the basis expansions are demonstrated using the concrete example.
2 Brief summary of duality concept
2.1 Definition of the duality
In the present paper, we focus on the duality relation between stochastic differential equations and birth-death processes. The stochastic differential equation has a continuous-state and continuous-time; the state vector at time is given by , where is the dimension of the state vector. The birth-death process, whose state vector at time is , has a discrete-state and continuous-time. Note that these two processes do not need to have the same dimensions.
The process is said to be dual to with respect to a duality function if for all , and we have
[TABLE]
where and are the expectations in the processes starting from and starting from , respectively.
2.2 Problem settings
Here, we focus on the stochastic logistic Ito equation in [15] as an example. As denoted in [15], the stochastic logistic Ito equation is related to the stochastic Fisher and Kolmogorov-Petrovsky-Piscounov (sFKPP) equation, which plays an important role in the study of the front-propagation problems [16, 17, 18, 19] and QCD context [20]. The spatial part in the sFKPP equation is neglected in the stochastic logistic Ito equation, and the dual stochastic process has also been known. Here, we employ the notation in [14].
The target stochastic differential equation is expressed as the following Ito-type stochastic differential equation
[TABLE]
for , where and are parameters, and expresses a Wiener process. Note that a variable transformation recovers the previous discussions in [15].
The corresponding partial differential equation (the Fokker-Planck equation) is as follows:
[TABLE]
where is the probability density function at time .
2.3 Conventional duality
There are some discussions for the derivation of the dual stochastic process; for example, see [12]. If focusing on the stochastic differential equations, the so-called Doi-Peliti method [23, 24, 25] achieves a systematic derivation [14]; the Doi-Peliti method is based on the second-quantization in quantum mechanics, and creation and annihilation operators play important roles in the derivation. Note that the details are not written here because the new derivation method proposed in the present paper does not need the knowledge of the Doi-Peliti method. We give only the final consequences of the discussion; finally, for the system in (2), we obtain the following dual stochastic process denoted as a birth-coagulation process for particles :
[TABLE]
i.e.,
[TABLE]
where is the number of particles . The master equation for the birth-coagulation process is written as follows:
[TABLE]
where is the probability distribution for the state with particles at time .
Through the dual function , the original stochastic differential equation in (2) is connected with the birth-coagulation process in (10) as follows:
[TABLE]
where the initial condition for the birth-coagulation process should be
[TABLE]
and the initial condition for the stochastic differential equation should be
[TABLE]
where is the initial position, and is the Dirac delta function. That is, once we solve the dual stochastic process in (10), we can immediately obtain the -th moment in the stochastic differential equation for arbitrary initial conditions; it is not necessary to perform simulations with different initial conditions for the stochastic differential equation. This property has been exploited in statistical physics [12], and there is also a numerical application of this property in nonlinear Kalman filtering [26].
In [14], further discussions for slightly different stochastic differential equations were given; some extensions of the duality concept are needed in order to recover probabilistic property and to deal with negative transition rates; for details, see [14]. Although these extensions have been done via some techniques for the time-evolution operators written in the creation and annihilation operators, in the following discussions in the present paper, simple ways for the same extensions will be shown.
3 Rewriting the duality concept from the viewpoint of basis expansions
This section gives one of the main contributions of the present paper. From the viewpoint of basis expansions, it is straightforward to understand the derivation of the duality relations between stochastic differential equations and birth-death processes. For readability, we here restrict our discussion to one variable cases. It is straightforward to extend the discussion to multivariate cases.
Here, as denoted above, we interest in the -th moment of the stochastic differential equation. Suppose that is the probability density distribution for the stochastic differential equation and the time-evolution for the corresponding Fokker-Planck equation is given as a time evolution operator , a formal solution of the Fokker-Planck equation is written as
[TABLE]
where we suppose that the initial position of the stochastic differential equation is . Hence, the calculation of the -th moment is rewritten as follows:
[TABLE]
where is the adjoint operator of , and is obtained as a result of the time-evolution using the adjoint operator . Note that is not a probability density distribution in general.
The adjoint operator is easily derived from the integration by parts; for a pedagogical purpose, we here describe more details. Firstly, consider the following conventional stochastic differential equation:
[TABLE]
Then, the time-evolution operator for the corresponding Fokker-Planck equation is given as follows [27]:
[TABLE]
where
[TABLE]
Here focusing on the first term in (17), we have
[TABLE]
where we used the integration by parts and the fact that the probability density function goes to [math] when . After employing the same calculation for the second term in (17), we have the adjoint time-evolution operator as follows:
[TABLE]
From (15), it is clear that it is enough to perform a time-evolution with and the initial condition instead of the time-evolutions for the original system with various initial conditions (, i.e., the particle starts from the position ); once we obtain , the -th moment of the original stochastic differential equation for various initial conditions is evaluated. However, note that does not correspond to a birth-death process; is a continuous variable. In order to recover the discrete characteristics of the dual stochastic process, we need a basis expansion as follows:
[TABLE]
where are basis functions and are expansion coefficients. By using an adequate basis , we can obtain the time-evolution equations for the coefficients from the adjoint time-evolution operator .
Of course, in general, is not a probability distribution, and some techniques are needed to interpret the time-evolution equations for as a dual stochastic process (birth-death processes) with discrete characteristics. We will demonstrate the techniques for the interpretation in the next section.
4 Demonstration and some techniques to recover probabilistic properties
4.1 Restatement of the problem
For readers convenient, here a concise statement of the problem is denoted again.
The main aim is to evaluate the -th moment of the stochastic differential equation in (2) at time . In order to perform the evaluation, it is enough to solve the following partial differential equation:
[TABLE]
where the initial condition for should be
[TABLE]
Solving (22), the -th moment with an arbitrary initial condition is immediately given as .
4.2 Conventional duality
As reviewed in section 2, the conventional viewpoint of the time-evolution operator gives the dual stochastic process (the birth-death process or the birth-coagulation process) in (9). We here show that a simple power-expansion recovers the dual stochastic process immediately.
Employing the basis function
[TABLE]
we obtain
[TABLE]
Inserting (25) into (22), we have
[TABLE]
and hence, by comparing the coefficients with the same degree in , we recover the time-evolution equation in (10) for .
4.3 Taylor-type basis functions
Here, the following Taylor-type basis expansion is employed:
[TABLE]
so that,
[TABLE]
where are coefficients for the Taylor-type case.
Using the same discussion with section 4.2, we have the following time-evolution equation for the coefficients :
[TABLE]
Although this equation does not satisfy the probability conservation law, as discussed in [14], it is possible to recover the probabilistic characteristics and we can use Monte Carlo simulations (for example, the Gillespie algorithm [28]) in order to obtain the coefficients . We briefly review the procedures to use the Monte Carlo simulations. The basic principle for the rewriting of the time-evolution equation is as follows:
Separate the terms into the following two parts:
- (A)
Terms in which the state is changed; 2. (B)
Terms in which the state is not changed. 2. 2.
Make the part (A) satisfy the probability conservation law by subtracting some terms. For the compensation, the corresponding terms are added to the part (B).
Using (29), we demonstrate the procedures. Note that the first and third terms in the r.h.s in (29) have and , and hence the states are changed as and respectively. In contrast, the second and fourth terms only have , which means that these terms do not change the states. Hence, we have
[TABLE]
Focusing on terms in the first curly bracket, we need to subtract two terms in order to satisfy the probability conservation law for this part, and the subtracted terms are added to the second curly bracket;
[TABLE]
The first term in the r.h.s. in (31) satisfies the probability conservation law, and it corresponds to the following birth-death process:
[TABLE]
Of course, the second term in the r.h.s. in (31) should be dealt with adequately; making sample paths via the Monte Carlo simulations and denoting -th path as , we have
[TABLE]
where
[TABLE]
and is the Kronecker delta function; is determined by the initial condition, which will be explained later. This is because the second term in the r.h.s. in (31) does not change the state ; this term plays a role only as a weighting factor. Such splitting of the time-evolution equation has been discussed in [14], and the term is called the Feynman-Kac term [1].
As for the initial condition, should be satisfied, and then the initial particle number should be set as in the Monte Carlo simulation, and we take
[TABLE]
In short, it is enough to make sample paths using the birth-death process in (34) and to evaluate (35); the coefficients in (28) are calculated numerically via the Monte Carlo simulations.
Note that the birth-death process in (34) cannot be interpreted as a chemical reaction system. It has been known that the Doi-Peliti formalism, which has been used to derive the dual process in [14], is deeply related to stochastic processes for chemical reactions [29]; in this sense, the viewpoint of the basis expansion gives a new dual process (28) naturally, and it would be difficult to find the dual process via the Doi-Peliti formalism. In addition, because of the factorial in (28), becomes considerably large compared with in the conventional dual process (10); although this is different from importance sampling methods, this could be useful to perform the Monte Carlo simulations because takes very small value in general for large , and rare event sampling usually needs some numerical techniques.
4.4 Hermite-type basis functions
As a final example, a dual stochastic process based on Hermite polynomials is derived. That is, the following basis expansion is employed here:
[TABLE]
where is the Hermite polynomials obtained from
[TABLE]
That is,
[TABLE]
The Hermite polynomials satisfy the following three-term recurrence relation [30]:
[TABLE]
and hence, we have
[TABLE]
In addition, the derivative of w.r.t. gives [30]
[TABLE]
Using (42) and (43), the time-evolution equation for is obtained as
[TABLE]
Note that the time-evolution equation in (44) does not satisfy the probability conservation law. In addition, it is not enough to employ the technique used in the Taylor case in order to recover the probabilistic characteristics; for example, the final term in (44) changes the state , but the sign of the term is minus and hence it should correspond to a negative transition rate.
The negative transition rate problem has also appeared in the Doi-Peliti formalism [14], and it is possible to avoid the problem as below.
A new particle is added to the system, and the following rules are employed:
Change the sign of the term related to the state change when we have the negative transition rate. (Note that when the state is not changed, the term can be considered as a weighting (Feynman-Kac) term, and there is no need to change the sign.) 2. 2.
Change the number of particle (add one particle) for the terms which had the negative transition rate.
In order to understand the above rule, it would be easy to compare the following equation with (44);
[TABLE]
Then, using the same discussion with the Taylor case, we have the following birth-death process after some calculations:
[TABLE]
and
[TABLE]
In short, making sample paths from (51), the coefficients in (40) are obtained by
[TABLE]
where and correspond to the particle number of and of -th path at time , respectively. The initial weights for -th path should be chosen carefully, as denoted later. The factor means that the state change, which is caused by the negative transition rate, gives a contribution of a factor and hence the virtual particle number plays a role as the change of the sign; note that at the initial time. In addition, the initial condition should be chosen so that
[TABLE]
and, as discussed in the Taylor case, the Monte Carlo results should be adequately scaled via . For example, when , we start from particle system in the Monte Carlo simulations, and for all because . In order to evaluate the second order moment, the initial condition and the weights become a little complicated. Since and , we have . Hence, we could employ the following initial settings:
- •
Choose the initial particle number as or randomly (i.e., with probability respectively).
- •
If we choose , set ; if , set . Note that the factor is needed in order to include the probability for the initial choice.
5 Concluding remarks
In the present paper, we give a new viewpoint for the duality between stochastic differential equations and birth-death processes. The viewpoint is based on the basis expansion, which enables us to obtain various dual stochastic processes naturally. As far as we know, the birth-death processes in (34) and (51) have not been derived yet as the dual stochastic processes for (2). Additionally, the derivation is rather simple compared with the previous one [14]; the knowledge of the creation and annihilation operators are not needed, and only the elemental calculus and the integration by parts are enough to obtain the time-evolution operator for the dual process. It was also shown that the negative transition rate problem is adequately avoided using the similar technique in the previous work [14].
In statistical physics, the duality relation has been used for calculating physical quantities such as moments; in some cases, it is possible to obtain analytical solutions for dual birth-death processes, and the analytical solutions enable us to give the time-dependent or stationary solutions for the original processes. Note that the merit of the dual processes is not restricted to the cases with analytically solvable systems. We can see the important point in (1); once the time-evolution of the dual birth-death process is evaluated, the time-evolution of the original stochastic differential equation with arbitrary initial conditions is obtained. As explained in section 2.3, this merit is used to construct the nonlinear Kalman filter [26]. In this sense, the numerical solutions for a little complicated dual processes are enough for practical purposes. In addition, we reformulated the time-evolution equation so as to be suitable for the Monte Carlo simulations, which will avoid the curse of dimensionality for multivariate cases. As shown in the present paper, the non-uniqueness of the dual stochastic process is explicitly clarified. It would be beneficial to find useful basis expansions for each original stochastic process in future. We expect that these extensions will open up a way to seek practical and numerical studies of the usage of the duality concepts in stochastic processes.
This work was supported by JST, PRESTO Grant Number JPMJPR18M4, Japan.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Liggett T M 2005 Interacting Particle Systems (Classics in Mathematics) (Berlin: Springer) Reprint of the 1985 edition
- 2[2] Shiga T and Uchiyama K 1986 Probab. Th. Rel. Fields 73 87
- 3[3] Möhle M 1999 Bernoulli 5 761
- 4[4] Carinci G, Giardinà C, Giberti C and Redig F 2015 Stochastic Processes and their Applications 125 941
- 5[5] Giardinà C, Kurchan J and Redig F 2007 J. Math. Phys. 48 033301
- 6[6] Carinci G, Giardiná C, Giberti C and Redig F 2013 J. Stat. Phys. 152 657
- 7[7] Schütz G M 1997 J. Stat. Phys. 86 1265
- 8[8] Imamura T and Sasamoto T 2011 J. Stat. Phys. 142 919
