TL;DR
This paper introduces a class of non-Markovian continuous stochastic processes with non-local memory, connecting them to higher-order autoregressive sequences, and provides methods for their simulation and analysis.
Contribution
It develops a framework for non-Markovian processes with memory, linking them to autoregressive models and offering a way to generate processes with specific correlation functions.
Findings
Derived an equation linking memory kernel and correlation function
Established conditions for process stationarity
Presented numerical simulations of processes with non-local memory
Abstract
We study the non-Markovian random continuous processes described by the Mori-Zwanzig equation. As a starting point, we use the Markovian Gaussian Ornstein-Uhlenbeck process and introduce an integral memory term depending on the past of the process into expression for the higher-order transition probability function and stochastic differential equation. We show that the proposed processes can be considered as continuous-time interpolations of discrete-time higher-order autoregressive sequences. An equation connecting the memory function (the kernel of integral term) and the two-point correlation function is obtained. A condition for stationarity of the process is established. We suggest a method to generate stationary continuous stochastic processes with prescribed pair correlation function. As illustration, some examples of numerical simulation of the processes with non-local memory are…
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.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Continuous stochastic processes with non-local memory
S. S. Melnyk
A. Ya. Usikov Institute for Radiophysics and Electronics NASU, 61085 Kharkiv, Ukraine
V. A. Yampol’skii
A. Ya. Usikov Institute for Radiophysics and Electronics NASU, 61085 Kharkov, Ukraine
V. N. Karazin Kharkov National University, 61077 Kharkov, Ukraine
O. V. Usatenko
A. Ya. Usikov Institute for Radiophysics and Electronics NASU, 61085 Kharkov, Ukraine
V. N. Karazin Kharkov National University, 61077 Kharkov, Ukraine
Abstract
We study the non-Markovian random continuous processes described by the Mori-Zwanzig equation. As a starting point, we use the Markovian Gaussian Ornstein-Uhlenbeck process and introduce an integral memory term depending on the past of the process into expression for the higher-order transition probability function and stochastic differential equation. We show that the proposed processes can be considered as continuous-time interpolations of discrete-time higher-order auto-regressive sequences. An equation connecting the memory function (the kernel of integral term) and the two-point correlation function is obtained. A condition for stationarity of the process is established. We suggest a method to generate stationary continuous stochastic processes with prescribed pair correlation function. As illustration, some examples of numerical simulation of the processes with non-local memory are presented.
pacs:
02.50.Ey, 05.40.-a
I Introduction
Nature offers us a large number of examples of random processes. They occur in the science just so often as deterministic ones. A systematic understanding of these processes is necessary to describe a vast range of complex phenomena. However, no such general construction currently exists. The Markov processes are the simplest and the most popular examples for describing the random phenomena (see, e.g., Kampen ; gar ; Horsthemke ). The two Gaussian Markov processes, Brownian motion and Ornstein-Uhlenbeck (OU) process Uhlen , have been used extensively in various applications from financial mathematics to natural sciences. It is important to note that these processes use the local memory of the past known event in their history. Indeed, in the Ornstein-Uhlenbeck model, the transition probability density for the random variable to take on the value at the moment of time depends on the last known point only,
[TABLE]
Here and are two independent parameters of the model.
For any , the conditional probability distribution function (CPDF) (I) provides the stationarity of the OU process with the Gaussian one-point distribution function . The limiting case corresponds to the non-stationary Brownian motion. The correlation function of the OU process is proportional to ,
[TABLE]
where the symbol denotes a statistical average.
Equation (I) defines the Markovian process because it contains the local “memory” of its past at only one temporal point .
The Ornstein-Uhlenbeck process can be described by the Langevin equation or, more correctly from the mathematical point, by the stochastic differential equation (SDE) gar ,
[TABLE]
Here is the standard white noise, i.e., is the continuous centered Wiener process with independent increments with variances , or, equivalently, . The term in Eq. (3) describes a local one-point feature of the process. The positive value of the constant provides an anti-persistent character of the process with attraction of to the point . As seen from Eq. (3), the Ornstein-Uhlenbeck process simulates the Brownian motion of a microscopic particle in a liquid viscous suspension subjected to a random force with intensity .
According to the Doob theorem (see, e.g., Ref. Kampen and references therein), the OU process is the unique continuous Markovian stationary Gaussian process.
The classical books on probability and stochastics hardly mention the non-Markov processes despite they are most general in nature. A lot of systems in the real world are more complex than the Markovian ones, they have non-Markovian character of the memory (see, e.g., mok ; bre ; sie ; ros ; sta ). Therefore, it is necessary to go beyond the simple Markovian model based on Brownian motion and Ornstein-Uhlenbeck process. There is a huge literature on various kinds of non-Markovian processes. To begin with, the so-called semi-Markovian processes provide a very broad and popular class (see, e.g., Refs. Schlesinger ; Scher ; Hughes ; Bouchaud ; Metzler2 ; Goychuk4 ; Goychuk6 ). Note that, in recent years, a lot of attention has been paid to the study of non-Markov processes due to their role in decoherence phenomena in open quantum systems (see, e.g., Refs lam ; bre ; kan ). Namely, non-Markovianity can serve as a source for suppressing the exponential decay of coherence in the interaction of a quantum system with a classical thermal bath bel ; chi ; byl .
As has been mentioned by many authors (see, e.g., Refs. Hanggi1 ; Cox ; Kampen ), all non-Markovian processes are “history”-dependent. In this paper, we take into account this history in the explicit form introducing an integral non-local memory term into Eq. (3),
[TABLE]
where is the so-called memory function.
Such a generalization of SDE has been discussed by many authors Adelman ; Hanggi_Thomas ; Hynes ; Wang ; Goychuk1 . In most cases, the so-called internal noise was considered, when, according to the fluctuation-dissipation theorem Kubo , the function is uniquely determined by the correlator of the stochastic perturbation . Then the memory kernel describes the so-called viscoelastic friction Goychuk1 . However, in the case of external noise, the fluctuation and dissipation come from different sources, and the frictional kernel and the correlation function of the noise are independent (see, e.g., Ref. Wang ). In the present paper, we consider an arbitrary memory kernel and the Gaussian external noise independent of . Equation (I) could be a good physical model for the systems where the external noise is much more intensive than the thermal one.
After introducing the integral memory term, Eq. (3) becomes the stochastic integro-differential Mori-Zwanzig equation (I), see Refs. Mori ; Zwanzig1 ; Nordholm ; Kawasaki ; Grabert . Note that it is also a particular case of the generalized Langevin equation (GLE) without deterministic external force. The GLE describes various very important physical processes, from fractional Brownian motion to stochastic hydrodynamic memory effects resulting in algebraic tails of velocity autocorrelation functions (see, e.g., Refs. Bogolyubov ; Ford ; Kubo1 ; Zwanzig1 ; Kubo ; Zwanzig ; Weiss ).
For the infinitesimal time intervals , SIDE (I) engenders the higher-order transition probability function of the form,
[TABLE]
This formulae cannot be considered as a generalization of the Ornstein-Uhlenbeck one because Eq. (I) is valid for any , not only infinitesimal. For the OU process, CPDF (I) describes the transition from the last known point of the past to the current time whereas the transition probability (5) takes into account the whole past history of the process. Just by this reason, stochastic Eq. (I) becomes integro-differential, and the process with memory is non-Markovian by definition.
It is important to note that the left-hand side of expression (5) is not the conditional probability distribution density of for known at fixed point . Actually, it describes the dependence of the distribution on the whole history of the process at times , which ensures non-Markov properties of the process. In other words, the higher-order distribution function (5) is a functional of the history with .
In principle, using Eq. (I), one can derive the two-time conditional probability density for arbitrary . However, this conditional probability, contrary to Eq. (5), is not suitable for definition of the process under consideration.
Emphasize that both Eqs. (I) and (5) equally allow us to construct a sample of the process. Indeed, the right-hand side of Eq. (5) represents the Gaussian function with the characteristic width and centered at the point . At infinitesimal , this imposes for the differential , occurring during time , to consist of two terms, deterministic and stochastic ones. The deterministic history-dependent term is that coincides with the first two terms in the right-hand side of stochastic integro-differential equation (SIDE) (I). Thus, Eq. (5) can be rewritten in the form,
[TABLE]
where the numerator of the exponent contains explicitly the deterministic part of SIDE (I).
Further our analytical study is based on Eq. (I). We give Eqs. (5) and (6) only for the clarification of the relation between the model under consideration and the Ornstein-Uhlenbeck model. In addition, it clarifies the method of numerical modeling for such systems. When constructing a concrete realization of the process, we can use equally Eq. (I) or Eq. (5). In the first case, we calculate the deterministic term on the base of the already occurred history of the process and then add the random term. When using Eq. (5), we straight away generate a random term in the vicinity of deterministic one. An example of program code that solves this problem of numerical construction of random processes is given by Ref. Program .
There exists a direct analogy between the processes considered here and well-known discrete high-order auto-regressive sequences (see, e.g., Ref. Arratia ; Yule ; Walker ). Such sequences are also characterized by non-local memory. We pay a special attention to the existence of important relation between the memory function and two-point correlation function, which is valid for auto-regressive sequences Yule ; Walker . Below we derive the similar relation for the continuous-time process, Eqs. (I) and (5), with non-local memory. This relation allows one to construct a continuous Gaussian process with any prescribed two-point correlation function. We demonstrate this ability by numerical simulations using two simple model examples of the memory functions presenting different kinds of correlations. In conclusion we discuss some possible generalizations of the considered construction.
II Correlation function
In this section, we show that the process (I), (5) can be considered as a continuous-time interpolation of the known discrete-time higher-order auto-regressive (AR) sequence with similar statistical properties. The transition to continuous regime will allow us to generalize the Yule-Walker relation between the correlation and memory functions valid for AR sequences to the case of continuous processes with non-local memory.
The auto-regressive -th order model, describing a random discrete-time sequence with the memory extended to previously realized terms, is
[TABLE]
where is the discrete memory function, is the discrete white noise with -independent variances . It is suitable to put the sequence (7) onto the temporal axis with the time interval between -th and -th events, i.e., . Then we present the local and non-local memory terms, and , in the form
[TABLE]
In the limit , , Eq. (7) transforms into Eq. (I).
The memory coefficients for the auto-regressive sequences are closely related to the correlation function by the Yule-Walker equation Yule ; Walker ,
[TABLE]
The continuous Yule-Walker relation, following from Eqs. (8) and (9), is
[TABLE]
This equation can be obtained not only by the limiting transition , but also by means of SIDE (I). Multiplying Eq. (I) by and averaging it over the statistical ensemble, we have
[TABLE]
Dividing this equation by , we get Eq. (10).
The continuous Yule-Walker equation defines the correlation function up to unknown normalization factor . The normalization condition can be derived with the use of the time-independence of the one-point variance . Taking into account this condition in the form with , neglecting the terms proportional to in and using Eqs. (I) and (10), after some simple algebraic operations, we get the following relation:
[TABLE]
Here the subscript “” shows that the derivative is taken at positive close to zero. Note that this equation is valid to describe not only processes with non-local memory, but also with the local one, see Eq. (2).
Thus, Eqs. (10) and (12) being supplemented by equation
[TABLE]
form the complete set of equations. They allow one finding the correlation function if the parameters and are known, or to find , and for known .
Equations (10), (12) and (13) represent a very useful tool for studying the statistical properties of random processes with non-local memory. These properties are governed by the constants and and the memory function . To avoid some complications, we will suppose that this function, , has good properties at . More exactly, we assume that the function has either a finite characteristic scale of decrease, or it abruptly decreases to zero at , .
Equations (10), (12) and (13) enable one to solve two kinds of problems. First, for given , , and , solving integro-differential equation (10) with respect to , one can find the correlation function of the process, even without numerical construction of the process. The inverse problem of finding , , and for given is much more important and interesting. We are able to construct a continuous Gaussian process with any prescribed two-point correlation function, satisfying natural restrictions . Using Eqs. (10) and (12), we can find numerically the parameters , and the memory function that provide the desired correlator . This means that we can determine these characteristics for any natural continuous non-Markovian process.
III Stationarity
In this section, we analyze the conditions imposed on and function necessary for stationarity of the considered here process with non-local memory.
The condition of the stationarity can be examined by an analysis of asymptotical properties of the correlation function. We carry out this analysis for processes with finite depth of the memory function, when = 0. In this case, the correlation function can be presented as a sum of exponential terms of the form,
[TABLE]
for . Equation (10) yields the following characteristic algebraic equation for the complex damping coefficients :
[TABLE]
For the process to be stationary, all roots of this equation should obviously have real positive parts, . Consider Eq. (15) for . In this case, the stationarity of the process can be provided by the positive memory function, . However, contrary to the local memory in the OU process, where any provides the stationarity, the non-local positive memory cannot always do this. To demonstrate this, we consider two simple models of the memory functions.
First example is the local, but remote from the instant time moment , memory function,
[TABLE]
where denotes Dirac’s delta. In this case, and at , Eq. (15) gives
[TABLE]
We are interested in the root of this equation with the lowest real part because the exponential function in Eq. (14) with this exponent defines behavior of the correlation function at .
In the interval , there exists an infinite set of the pairs of complex-conjugated roots of Eq. (17). In addition, there exist two real positive roots, one of which is less than the real parts of all other roots. This means that the asymptotic behavior of the correlation function in Eq. (14) is exponential. Within the interval , the real roots do not exist, i.e., all roots have nonzero imaginary parts. Therefore, the exponential decrease of the correlation function is accompanied by oscillations. At last, for high enough values of , at , the roots of Eq. (17) with negative real parts appear. This means that the process becomes non-stationary even for positive memory functions.
The second example is the step-wise memory function UYa ; RewUAMM ,
[TABLE]
where is the Heaviside theta-function. In this case, Eq. (15) gives
[TABLE]
For , the root of Eq. (19) with minimal real part does not have imaginary part, that corresponds to exponential decay of the correlation function. In the interval , all roots of Eq. (19) are complex with positive real parts and nonzero imaginary parts, i.e., the damping of the correlation function is accompanied by oscillations. At , the roots of Eq. (19) with negative real parts appear. This means that the process with the step-wise memory function becomes also non-stationary at high values of .
Thus, we have come to a quite unexpected result. Contrary to the OU process with local memory, where the only one limiting point separates the stationary and non-stationary regimes, there exist two separating values of for the process with non-local memory. This means that the stationary regime can be realized for within some finite interval of the memory amplitude. At bottom limiting point, , we transit to the case of trivial Brownian motion while at upper limiting point, , we have the correlated Brownian motion with an oscillating correlation function.
IV Numerical simulations
In this section, we demonstrate our ability to numerically generate the random process with given parameters , and memory function , and to solve the direct problem of finding the correlation function. We can also solve the inverse problem of generating the random process with prescribed correlation function . Solving the inverse problem implies finding the parameters , and memory function for generation of this process.
When generating the process numerically, one can arbitrarily specify the values of the initial part of sequence, at , since a stationary process after a sufficiently long time becomes independent of them.
Note that the stationarity of a Gaussian process together with a decay of correlations, i.e. , leads, according to Ref. pap , to the ergodicity in correlations. This property is very useful for numerical calculations since the averaging procedure can be done over the time of the process, and the ensemble averaging can be avoided. Therefore, we always apply averaging over in our numerical calculations.
In the numerical solution of the direct and inverse problems, we always deal with discrete time. The time step is chosen to be much smaller than all other characteristic time scales of the model, i.e., , . After selection of the parameters , and function , generation of the process by Eqs. (7) and (8) can be performed (the direct problem).
As mentioned above, both Eqs. (I) and (5) equally allow us to construct a sample of the process. In fact, we use expression (I) for the generation of random process.
Similarly, knowing the prescribed correlation function , using the discrete representation , we can solve the Yule-Walker set of linear equations (9) by the convenient numerical methods (Cramer’s, Gaussian elimination, iterative, or others) for the unknown parameters (the inverse problem) and then to construct a process.
The course of numerical solution of both problems, direct and inverse, is described in more detail in the Appendix.
In Fig. 1, we present the results of numerical generation of the process with given parameters , and memory function , as well as the correlation function for the constructed process. We choose the step-wise memory function, Eq. (18), with and and constructed numerically the correlated sequence using the higher-order conditional probability (5), see Ref. Program . The first value of is chosen within the interval where the correlation function has the exponential asymptotics with positive value of ,
[TABLE]
see the red solid curve. The second value of is within the interval where the damping of is accompanied by the oscillations,
[TABLE]
see the blue solid curve. The damping constants and frequency in Eqs. (20) and (21) are the numerically obtained solutions of Eq. (19) with minimal real parts for the parameters indicated above. It is noteworthy that analytical asymptotics Eqs. (20) and (21), which contain only one exponential term, approximate well the results of numerical analysis even for small values of .
In Fig. 2, we demonstrate our ability to solve the inverse problem. The red solid line in the main panel shows the prescribed correlation function . The inset (a) presents the calculated memory function which is close to the exponential function , and the inset (b) is the fragment of the generated process with this and . At last, the black filled circles in the main panel show the numerically calculated correlation function for the generated process.
V Conclusion
Using the Markovian OU random process as the starting point and introducing an integral memory term depending on the past of the process into the expression for the higher-order transition probability function and stochastic differential equation, we study a class of continuous random processes with non-local memory. We show that these processes can be considered as continuous-time interpolations of discrete-time higher-order auto-regressive sequences. An equation, analogous to the Yule-Walker one, connecting the memory function (the kernel of integral term) and the two-point correlation function is obtained. This equation enables us to solve two kinds of problems – the direct and inverse ones. We demonstrate an ability to numerically generate the random process with given parameters , and memory function . We also examine the inverse problem of generating the random process with prescribed correlation function . Solving this problem implies finding the parameters , and memory function for generation of this process. A condition for stationarity of the process is established. This condition is examined by an analysis of asymptotical properties of the correlation function. We give two examples of numerical simulation of the processes with non-local memory, demonstrating our ability to solve the direct and inverse problems.
We see several ways for generalization of the considered here model of processes with non-local memory: (i) to consider the processes with non-Gaussian (e.g., Levy-like) noise and/or with multiplicative noise; (ii) to study the processes with nonlinear and/or non-additive memory functions; (iii) to investigate the non-stationary Brownian motion with non-local memory; (iv) to consider the discontinuous processes (of the telegraph-like kind) with non-local memory. The particular attention should be paid to the application of the considered model for studying the non-local in time interaction of quantum systems with a heat bath (see, e.g., Ref. Breuer ).
Appendix A
We start the description of numerical procedure from the solution of the inverse problem, i.e., the construction of a discrete sample of a stochastic process with a given correlation function for . The accuracy of the solution of the problem is determined by the discrete time step . The sequence of operation is as follows:
Calculate the correlation function in the discrete set of points ; 2. 2.
Rewrite Eq. (9) for the difference with summation limited by terms,
[TABLE]
here, instead of the parameter , we introduce the zero-term ; 3. 3.
Solve the set of linear equations (22) with respect to unknown by one of the standard numerical methods; 4. 4.
In accordance with relation (12), find the value ; 5. 5.
Set the first values of to zero, ; 6. 6.
Using the calculated parameters of the process, construct iteratively the following values of . For every , the value of is generated with Gaussian probability density distribution with variance and centered in the point
[TABLE] 7. 7.
Continue the procedure until the required number of values has been constructed.
The direct problem begins with the discretization of a given memory function, , then we go to step 5 and perform the same follow-up actions. If the problem involves obtaining the specified standard deviation , then, after construction, all values of should be proportionally normalized.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) C. W. Gardiner: Handbook of Stochastic Methods for Physics, Chemistry, and the Natural Sciences , (Springer Series in Synergetics, Vol. 13) Springer-Verlag, 1985).
- 2(2) N. G. van Kampen, Stochastic Processes in Physics and Chemistry (North-Holland, Amsterdam 1981, 1992).
- 3(3) W. Horsthemke, R. Lefever, Noise-Induced Transitions. Theory and Applications in Physics, Chemistry and Biology (Springer Verlag, Berlin 1984).
- 4(4) G. E. Uhlenbeck, L. S. Ornstein, Phys. Rev. 36 , 823 (1930).
- 5(5) A. V. Mokshin, R. M. Yulmetyev, and P. H a ¨ ¨ 𝑎 \ddot{a} nggi, Phys. Rev. Lett. 95 , 200601 (2005).
- 6(6) H.-P. Breuer and B. Vacchini, Phys. Rev. Lett. 101 , 140402 (2008).
- 7(7) P. Siegle, I. Goychuk, and P. H a ¨ ¨ 𝑎 \ddot{a} nggi, Phys. Rev. Lett. 105 , 100602 (2010).
- 8(8) M. Rosvall, A. V. Esquivel, A. Lancichinetti, J. D. West, and R. Lambiotte, Nature Communications 5 , 4630 (2014).
