Parallel Implementations of Random Time Algorithm for Chemical Network Stochastic Simulations

Total Page:16

File Type:pdf, Size:1020Kb

Parallel Implementations of Random Time Algorithm for Chemical Network Stochastic Simulations Parallel implementations of random time algorithm for chemical network stochastic simulations Chuanbo Liua, Jin Wanga,b,∗ aState Key Laboratory of Electroanalytical Chemistry, Changchun Institute of Applied Chemistry, Chinese Academy of Sciences, Jilin, People’s Republic of China bDepartment of Chemistry, Physics and Applied Mathematics, State University of New York at Stony Brook, Stony Brook, USA Abstract In this study, we have developed a parallel version of the random time simulation algorithm. Firstly, we gave a rigorous basis of the random time description of the stochastic process of chemical reaction network time evolution. And then we reviewed the random time simulation algorithm and gave the implementations for the parallel version of next reaction random time algorithm. The discussion of computational complexity suggested a factor of M (which is the connection number of the network) folds time consuming reduction for random time simulation algorithm as compared to other exact stochastic simulation algorithms, such as the Gillespie algorithm. For large-scale system, such like the protein- protein interaction network, M is on order of 108. We further demonstrate the power of random time simulation with a GPGPU parallel implementation which achieved roughly 100 folds acceleration as compared with CPU implementations. Therefore the stochastic simulation method we developed here can be of great application value for simulating time evolution process of large-scale network. Keywords: Random time, Stochastic simulations, Parallel algorithm, GPGPU 1. Introduction such like StochKit. We here demonstrated a new imple- mentation of random time algorithm with GPGPU for Chemical reaction network time evolution is intrinsi- stochastic simulations. By carefully arranging the data cally stochastic. Starting by Gillespie [1], a lot of algo- distribution on global and local memories we can acceler- rithms had been developed for stochastic simulation of ate the stochastic simulation with a data parallel manner the time evolution of chemical reaction network, such like for roughly 100 folds. In this paper, we first briefly re- the First Reaction Method (FRM), Direct Method (DM). viewed the methods of random time simulation, then dis- Some improved methods had also been developed to ac- cussed the relative computational complexity. At last, we celerate the simulation processes. Such like the Opti- P demonstrated the methods with an oscillation predator- mized Direct Method (ODM), computes aj incremen- prey model. tally. The Next Reaction Method (NRM), use one single random number for each simulation step. Others like Sort- 2. A brief introduction to the random time ap- ing Direct Method (SDM), Logarithmic Direct Method proach (LDM), Partial-propensity Stochastic Simulation Algo- rithm (PSSA), PSSA-composition rejection (PSSA-CR), In this part, we follow [2]. But we are trying to give a and Sorting Partial-propensity Direct Method (SPDM). rigorous generalized approach. Focused on different aspects of the simulation steps. Consider N > 1 chemical species in a well-mixed system. arXiv:2103.00405v1 [q-bio.MN] 28 Feb 2021 Development of hardware, especially for the General Also consider M > 1 reactions, labeled with k, the stoi- Purpose Graphics Processing Units (GPGPU), give the chiometric number of j-th chemical species in k-th reaction opportunity for developing parallel algorithm that can take is σjk. The simplest stochastic models for describing the advantage of the large number of thread blocks (TBs). system is a continuous time Markov chain. The state is Various data structure and implementations were also represented by the molecule number of chemical species been developed for acceleration of the stochastic simula- X(t) = {X1,X2,...,XN } and reactions modeled as possi- tion on fine-grid or coarse-grid level. These implemen- ble transitions of the chain. It was shown by Gillespie [6, 1] tations can achieve about 10 folds of simulation accelera- that in a well mixed system, the probability for a specific tion as compared to mature CPU based simulation toolkit, reaction takes place is governed by the propensity func- tion ak(X(t), t) when consider time-inhomogeneous chem- ical reaction networks. The propensity function is ∗To whom correspondence should be addressed. Email: [email protected] ak(X(t), t) = ck(t)hk(X(t)) (1) Preprint submitted to arxiv March 2, 2021 where the time interval (t, t + ∆t] is P{R(t + ∆t) − R(t) = k|Ft} Y Xk(t) Y Xk(t)! hk(X(t)) = = (2) Z t+∆t σjk σjk!(Xk(t) − σjk)! j j = P{ dG(λ(s), s) = k|Ft} t = P{G(λ(t), t + ∆t) − G(λ(t), t) = k|Ft} when considering the time evolution , and the state vector (λ(t)∆t)k for k-th jump is vk. With Markov property, the conditional = e−λ(t)∆t probability can be expressed as: k! R t+∆t k λ s ds t+∆t t ( ) − R λ(s)ds = e t P{k-th reaction fired once in (t, t+∆t)|Ft} = ak(X(t), t)∆t k! (3) ( Z t+∆t ! Z t ) where Ft is the σ-algebra representing the information = P Y λ(s)ds − Y λ(s)ds = k|Ft about the system that is available at time t [7]. The conse- t 0 quence of Eq. 3 is the possibility of two reactions occurred (8) at the same is on the order of (∆t)2, which means it is very where Y is unit rate Poisson process. The trick here is λ unlikely to happen. This can be shown by simply calculate is not changed in the infinitesimal time interval (t, t + ∆t]. the joint probability as Also it can be noticed Z t+∆t P{R t t − R t } lim λ(s)ds = lim λ(t)∆t (9) k( + ∆ ) k( ) > 2 ∆t→0 t ∆t→0 2 = P{Rk(t + ∆t) − Rk(t)} With Eq. 7, the result is obvious. Eq. 8 suggests ∼ P{Rk(t + ∆t) − Rk(t) > 1,Rj(t + ∆t) − Rj(t) > 1} Z t P{R t t − R t }· P{R t t − R t } = k( + ∆ ) k( ) j( + ∆ ) j( ) R(t) = Y λ(s)ds (10) ∼ O((∆t)2) 0 (4) Next we can establish the relationship between λ and The system evolution can be described equivalently as a the propensity function ak. We can now rewrite the left counting process by replacing the random variables from side of Eq. 3 as chemical species molecule number to number of times that P {Rk(t + ∆t) − Rk(t) = 1|Ft} a specific reaction fired. If Rk(t) is the number of times that the k-th reaction has fired up to time t, then the state Z t+∆t ! −(λk(s)ds) at t that originated from X(0) is given by = λk(s)ds e t (11) Z t+∆t ! M 2 X = λk(s)ds + O((∆t) ) X(t) = X(0) + Rk(t)vk (5) t k=1 Compared to the right side of Eq. 3, we can have This counting process is a generalized Poisson process Z t+∆t G(λ(t), t) in the sense that the arrival rate λ is a function λk(s)ds = ak(X(t), t)∆t (12) of time t. The total arrival times for generalized Poisson t process G can be calculated as which means, λk(s) = ak(X(t), t) (13) Z t Therefore, from Eq. 5, Eq. 10 and Eq. 13, the system R(t) = dG(λ(s), s) (6) 0 evolution equation is, M Z t λ X The Poisson distribution with parameter in the time in- X(t) = X(0) + Yk ak(X(s), s)ds vk (14) terval (s, t] describe the arrival times of events of a Poisson k=1 0 process N in this time interval. So we have represented the chemical reaction network evolution process as an increment counting process. Ev- (λ(s − t))k P{N(λ, s) − N(λ, t) = k} = e−λ(s−t) (7) ery infinitesimal time frame of this stochastic process can k! be further decomposed to M independence unit rate Pois- son processes. Eq. 14 can be rewritten to have the same Therefore the probability of k times events happened in formula with Eq. 5 by introducing the “internal time” for 2 each chemical reaction channel. The internal time Tk(t) is Eq. 21 tells us if a random number r is uniformly dis- defined as tributed on [0, 1], then the time interval is Z t Tk(t) = ak(X(s), s)ds (15) 0 ∆t = ln(1/r) (22) And Eq. 5 is becoming In the random time representation of the stochastic model M of chemical reaction network, for every infinitesimal time X X(t) = X(0) + Yk (Tk(t)) vk (16) frame the stochastic process can be described by a count- k=1 ing process and further be decomposed into unit rate Pois- son processes. All these unit rate Poisson processes are in- This is where the random time notion comes from. dependent and remain stationary until some chemical re- action channel is fired. For k-th channel, follow the same 3. Random time simulation algorithm argument from Eq. 17 to Eq. 20, the internal time has the same distribution formula as Eq. 22. In order to perform a complete stochastic simulation, two things must be cleared firstly, ∆Tk(t) = ln (1/rk) (23) 1. how much time passed before one of the stochastic where rk is a random number uniformly distributed processes, Yk, fires; on [0, 1]. So if a set of random number is given 2. which Yk fires at that later time; {r1, r2, . , rM }, the corresponding real time for k-th If we view the state of chemical reaction network as points chemical channel can be calculated from Eq.
Recommended publications
  • A Politico-Social History of Algolt (With a Chronology in the Form of a Log Book)
    A Politico-Social History of Algolt (With a Chronology in the Form of a Log Book) R. w. BEMER Introduction This is an admittedly fragmentary chronicle of events in the develop­ ment of the algorithmic language ALGOL. Nevertheless, it seems perti­ nent, while we await the advent of a technical and conceptual history, to outline the matrix of forces which shaped that history in a political and social sense. Perhaps the author's role is only that of recorder of visible events, rather than the complex interplay of ideas which have made ALGOL the force it is in the computational world. It is true, as Professor Ershov stated in his review of a draft of the present work, that "the reading of this history, rich in curious details, nevertheless does not enable the beginner to understand why ALGOL, with a history that would seem more disappointing than triumphant, changed the face of current programming". I can only state that the time scale and my own lesser competence do not allow the tracing of conceptual development in requisite detail. Books are sure to follow in this area, particularly one by Knuth. A further defect in the present work is the relatively lesser availability of European input to the log, although I could claim better access than many in the U.S.A. This is regrettable in view of the relatively stronger support given to ALGOL in Europe. Perhaps this calmer acceptance had the effect of reducing the number of significant entries for a log such as this. Following a brief view of the pattern of events come the entries of the chronology, or log, numbered for reference in the text.
    [Show full text]
  • Security Applications of Formal Language Theory
    Dartmouth College Dartmouth Digital Commons Computer Science Technical Reports Computer Science 11-25-2011 Security Applications of Formal Language Theory Len Sassaman Dartmouth College Meredith L. Patterson Dartmouth College Sergey Bratus Dartmouth College Michael E. Locasto Dartmouth College Anna Shubina Dartmouth College Follow this and additional works at: https://digitalcommons.dartmouth.edu/cs_tr Part of the Computer Sciences Commons Dartmouth Digital Commons Citation Sassaman, Len; Patterson, Meredith L.; Bratus, Sergey; Locasto, Michael E.; and Shubina, Anna, "Security Applications of Formal Language Theory" (2011). Computer Science Technical Report TR2011-709. https://digitalcommons.dartmouth.edu/cs_tr/335 This Technical Report is brought to you for free and open access by the Computer Science at Dartmouth Digital Commons. It has been accepted for inclusion in Computer Science Technical Reports by an authorized administrator of Dartmouth Digital Commons. For more information, please contact [email protected]. Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina November 25, 2011 Abstract We present an approach to improving the security of complex, composed systems based on formal language theory, and show how this approach leads to advances in input validation, security modeling, attack surface reduction, and ultimately, software design and programming methodology. We cite examples based on real-world security flaws in common protocols representing different classes of protocol complexity. We also introduce a formalization of an exploit development technique, the parse tree differential attack, made possible by our conception of the role of formal grammars in security. These insights make possible future advances in software auditing techniques applicable to static and dynamic binary analysis, fuzzing, and general reverse-engineering and exploit development.
    [Show full text]
  • On Sampling from the Multivariate T Distribution by Marius Hofert
    CONTRIBUTED RESEARCH ARTICLES 129 On Sampling from the Multivariate t Distribution by Marius Hofert Abstract The multivariate normal and the multivariate t distributions belong to the most widely used multivariate distributions in statistics, quantitative risk management, and insurance. In contrast to the multivariate normal distribution, the parameterization of the multivariate t distribution does not correspond to its moments. This, paired with a non-standard implementation in the R package mvtnorm, provides traps for working with the multivariate t distribution. In this paper, common traps are clarified and corresponding recent changes to mvtnorm are presented. Introduction A supposedly simple task in statistics courses and related applications is to generate random variates from a multivariate t distribution in R. When teaching such courses, we found several fallacies one might encounter when sampling multivariate t distributions with the well-known R package mvtnorm; see Genz et al.(2013). These fallacies have recently led to improvements of the package ( ≥ 0.9-9996) which we present in this paper1. To put them in the correct context, we first address the multivariate normal distribution. The multivariate normal distribution The multivariate normal distribution can be defined in various ways, one is with its stochastic represen- tation X = m + AZ, (1) where Z = (Z1, ... , Zk) is a k-dimensional random vector with Zi, i 2 f1, ... , kg, being independent standard normal random variables, A 2 Rd×k is an (d, k)-matrix, and m 2 Rd is the mean vector. The covariance matrix of X is S = AA> and the distribution of X (that is, the d-dimensional multivariate normal distribution) is determined solely by the mean vector m and the covariance matrix S; we can thus write X ∼ Nd(m, S).
    [Show full text]
  • EFFICIENT ESTIMATION and SIMULATION of the TRUNCATED MULTIVARIATE STUDENT-T DISTRIBUTION
    Efficient estimation and simulation of the truncated multivariate student-t distribution Zdravko I. Botev, Pierre l’Ecuyer To cite this version: Zdravko I. Botev, Pierre l’Ecuyer. Efficient estimation and simulation of the truncated multivariate student-t distribution. 2015 Winter Simulation Conference, Dec 2015, Huntington Beach, United States. hal-01240154 HAL Id: hal-01240154 https://hal.inria.fr/hal-01240154 Submitted on 8 Dec 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Proceedings of the 2015 Winter Simulation Conference L. Yilmaz, W. K V. Chan, I. Moon, T. M. K. Roeder, C. Macal, and M. Rosetti, eds. EFFICIENT ESTIMATION AND SIMULATION OF THE TRUNCATED MULTIVARIATE STUDENT-t DISTRIBUTION Zdravko I. Botev Pierre L’Ecuyer School of Mathematics and Statistics DIRO, Universite´ de Montreal The University of New South Wales C.P. 6128, Succ. Centre-Ville Sydney, NSW 2052, AUSTRALIA Montreal´ (Quebec),´ H3C 3J7, CANADA ABSTRACT We propose an exponential tilting method for exact simulation from the truncated multivariate student-t distribution in high dimensions as an alternative to approximate Markov Chain Monte Carlo sampling. The method also allows us to accurately estimate the probability that a random vector with multivariate student-t distribution falls in a convex polytope.
    [Show full text]
  • Stochastic Simulation APPM 7400
    Stochastic Simulation APPM 7400 Lesson 1: Random Number Generators August 27, 2018 Lesson 1: Random Number Generators Stochastic Simulation August27,2018 1/29 Random Numbers What is a random number? Lesson 1: Random Number Generators Stochastic Simulation August27,2018 2/29 Random Numbers What is a random number? “You mean like... 5?” Lesson 1: Random Number Generators Stochastic Simulation August27,2018 2/29 Random Numbers What is a random number? “You mean like... 5?” Formal definition from probability: A random number is a number uniformly distributed between 0 and 1. Lesson 1: Random Number Generators Stochastic Simulation August27,2018 2/29 Random Numbers What is a random number? “You mean like... 5?” Formal definition from probability: A random number is a number uniformly distributed between 0 and 1. (It is a realization of a uniform(0,1) random variable.) Lesson 1: Random Number Generators Stochastic Simulation August27,2018 2/29 Random Numbers Here are some realizations: 0.8763857 0.2607807 0.7060687 0.0826960 Density 0.7569021 . 0 2 4 6 8 10 0.0 0.2 0.4 0.6 0.8 1.0 sample Lesson 1: Random Number Generators Stochastic Simulation August27,2018 3/29 Random Numbers Here are some realizations: 0.8763857 0.2607807 0.7060687 0.0826960 Density 0.7569021 . 0 2 4 6 8 10 0.0 0.2 0.4 0.6 0.8 1.0 sample Lesson 1: Random Number Generators Stochastic Simulation August27,2018 3/29 Random Numbers Here are some realizations: 0.8763857 0.2607807 0.7060687 0.0826960 Density 0.7569021 .
    [Show full text]
  • Multivariate Stochastic Simulation with Subjective Multivariate Normal
    MULTIVARIATE STOCHASTIC SIMULATION WITH SUBJECTIVE MULTIVARIATE NORMAL DISTRIBUTIONS1 Peter J. Ince2 and Joseph Buongiorno3 Abstract.-In many applications of Monte Carlo simulation in forestry or forest products, it may be known that some variables are correlated. However, for simplicity, in most simulations it has been assumed that random variables are independently distributed. This report describes an alternative Monte Carlo simulation technique for subjectivelyassessed multivariate normal distributions. The method requires subjective estimates of the 99-percent confidence interval for the expected value of each random variable and of the partial correlations among the variables. The technique can be used to generate pseudorandom data corresponding to the specified distribution. If the subjective parameters do not yield a positive definite covariance matrix, the technique determines minimal adjustments in variance assumptions needed to restore positive definiteness. The method is validated and then applied to a capital investment simulation for a new papermaking technology.In that example, with ten correlated random variables, no significant difference was detected between multivariate stochastic simulation results and results that ignored the correlation. In general, however, data correlation could affect results of stochastic simulation, as shown by the validation results. INTRODUCTION MONTE CARLO TECHNIQUE Generally, a mathematical model is used in stochastic The Monte Carlo simulation technique utilizes three simulation studies. In addition to randomness, correlation may essential elements: (1) a mathematical model to calculate a exist among the variables or parameters of such models.In the discrete numerical result or outcome as a function of one or case of forest ecosystems, for example, growth can be more discrete variables, (2) a sequence of random (or influenced by correlated variables, such as temperatures and pseudorandom) numbers to represent random probabilities, and precipitations.
    [Show full text]
  • Data General Extended Algol 60 Compiler
    DATA GENERAL EXTENDED ALGOL 60 COMPILER, Data General's Extended ALGOL is a powerful language tial I/O with optional formatting. These extensions comple­ which allows systems programmers to develop programs ment the basic structure of ALGOL and significantly in­ on mini computers that would otherwise require the use of crease the convenience of ALGOL programming without much larger, more expensive computers. No other mini making the language unwieldy. computer offers a language with the programming features and general applicability of Data General's Extended FEATURES OF DATA GENERAL'S EXTENDED ALGOL Character strings are implemented as an extended data ALGOL. type to allow easy manipulation of character data. The ALGOL 60 is the most widely used language for describ­ program may, for example, read in character strings, search ing programming algorithms. It has a flexible, generalized, for substrings, replace characters, and maintain character arithmetic organization and a modular, "building block" string tables efficiently. structure that provides clear, easily readable documentation. Multi-precision arithmetic allows up to 60 decimal digits The language is powerful and concise, allowing the systems of precision in integer or floating point calculations. programmer to state algorithms without resorting to "tricks" Device-independent I/O provides for reading and writ­ to bypass the language. ing in line mode, sequential mode, or random mode.' Free These characteristics of ALGOL are especially important form reading and writing is permitted for all data types, or in the development of working prototype systems. The output can be formatted according to a "picture" of the clear documentation makes it easy for the programmer to output line or lines.
    [Show full text]
  • Stochastic Simulation
    Agribusiness Analysis and Forecasting Stochastic Simulation Henry Bryant Texas A&M University Henry Bryant (Texas A&M University) Agribusiness Analysis and Forecasting 1 / 19 Stochastic Simulation In economics we use simulation because we can not experiment on live subjects, a business, or the economy without injury. In other fields they can create an experiment Health sciences they feed (or treat) lots of lab rats on different chemicals to see the results. Animal science researchers feed multiple pens of steers, chickens, cows, etc. on different rations. Engineers run a motor under different controlled situations (temp, RPMs, lubricants, fuel mixes). Vets treat different pens of animals with different meds. Agronomists set up randomized block treatments for a particular seed variety with different fertilizer levels. Henry Bryant (Texas A&M University) Agribusiness Analysis and Forecasting 2 / 19 Probability Distributions Parametric and Non-Parametric Distributions Parametric Dist. have known and well defined parameters that force their shapes to known patterns. Normal Distribution - Mean and Standard Deviation. Uniform - Minimum and Maximum Bernoulli - Probability of true Beta - Alpha, Beta, Minimum, Maximum Non-Parametric Distributions do not have pre-set shapes based on known parameters. The parameters are estimated each time to make the shape of the distribution fit the data. Empirical { Actual Observations and their Probabilities. Henry Bryant (Texas A&M University) Agribusiness Analysis and Forecasting 3 / 19 Typical Problem for Risk Analysis We have a stochastic variable that needs to be included in a business model. For example: Price forecast has residuals we could not explain and they are the stochastic component we need to simulate.
    [Show full text]
  • Enhancing Reliability of RTL Controller-Datapath Circuits Via Invariant-Based Concurrent Test Yiorgos Makris, Ismet Bayraktaroglu, and Alex Orailoglu
    IEEE TRANSACTIONS ON RELIABILITY, VOL. 53, NO. 2, JUNE 2004 269 Enhancing Reliability of RTL Controller-Datapath Circuits via Invariant-Based Concurrent Test Yiorgos Makris, Ismet Bayraktaroglu, and Alex Orailoglu Abstract—We present a low-cost concurrent test methodology controller states for enhancing the reliability of RTL controller-datapath circuits, , , control signals based on the notion of path invariance. The fundamental obser- , environment signals vation supporting the proposed methodology is that the inherent transparency behavior of RTL components, typically utilized for hierarchical off-line test, renders rich sources of invariance I. INTRODUCTION within a circuit. Furthermore, additional sources of invariance are obtained by examining the algorithmic interaction between the HE ability to test the functionality of a circuit during usual controller, and the datapath of the circuit. A judicious selection T operation is becoming an increasingly desirable property & combination of modular transparency functions, based on the of modern designs. Identifying & discarding faulty results be- algorithm implemented by the controller-datapath pair, yields a powerful set of invariant paths in a design. Compliance to the in- fore they are further used constitutes a powerful design attribute variant behavior is checked whenever the latter is activated. Thus, of ASIC performing critical computations, such as DSP, and such paths enable a simple, yet very efficient concurrent test capa- ALU. While this capability can be provided by hardware dupli- bility, achieving fault security in excess of 90% while keeping the cation schemes, such methods incur considerable cost in terms hardware overhead below 40% on complicated, difficult-to-test, sequential benchmark circuits. By exploiting fine-grained design of area overhead, and possible performance degradation.
    [Show full text]
  • Stochastic Vs. Deterministic Modeling of Intracellular Viral Kinetics R
    J. theor. Biol. (2002) 218, 309–321 doi:10.1006/yjtbi.3078, available online at http://www.idealibrary.com on Stochastic vs. Deterministic Modeling of Intracellular Viral Kinetics R. Srivastavawz,L.Youw,J.Summersy and J.Yinnw wDepartment of Chemical Engineering, University of Wisconsin, 3633 Engineering Hall, 1415 Engineering Drive, Madison, WI 53706, U.S.A., zMcArdle Laboratory for Cancer Research, University of Wisconsin Medical School, Madison, WI 53706, U.S.A. and yDepartment of Molecular Genetics and Microbiology, University of New Mexico School of Medicine, Albuquerque, NM 87131, U.S.A. (Received on 5 February 2002, Accepted in revised form on 3 May 2002) Within its host cell, a complex coupling of transcription, translation, genome replication, assembly, and virus release processes determines the growth rate of a virus. Mathematical models that account for these processes can provide insights into the understanding as to how the overall growth cycle depends on its constituent reactions. Deterministic models based on ordinary differential equations can capture essential relationships among virus constituents. However, an infection may be initiated by a single virus particle that delivers its genome, a single molecule of DNA or RNA, to its host cell. Under such conditions, a stochastic model that allows for inherent fluctuations in the levels of viral constituents may yield qualitatively different behavior. To compare modeling approaches, we developed a simple model of the intracellular kinetics of a generic virus, which could be implemented deterministically or stochastically. The model accounted for reactions that synthesized and depleted viral nucleic acids and structural proteins. Linear stability analysis of the deterministic model showed the existence of two nodes, one stable and one unstable.
    [Show full text]
  • Random Numbers and Stochastic Simulation
    Stochastic Simulation and Randomness Random Number Generators Quasi-Random Sequences Scientific Computing: An Introductory Survey Chapter 13 – Random Numbers and Stochastic Simulation Prof. Michael T. Heath Department of Computer Science University of Illinois at Urbana-Champaign Copyright c 2002. Reproduction permitted for noncommercial, educational use only. Michael T. Heath Scientific Computing 1 / 17 Stochastic Simulation and Randomness Random Number Generators Quasi-Random Sequences Stochastic Simulation Stochastic simulation mimics or replicates behavior of system by exploiting randomness to obtain statistical sample of possible outcomes Because of randomness involved, simulation methods are also known as Monte Carlo methods Such methods are useful for studying Nondeterministic (stochastic) processes Deterministic systems that are too complicated to model analytically Deterministic problems whose high dimensionality makes standard discretizations infeasible (e.g., Monte Carlo integration) < interactive example > < interactive example > Michael T. Heath Scientific Computing 2 / 17 Stochastic Simulation and Randomness Random Number Generators Quasi-Random Sequences Stochastic Simulation, continued Two main requirements for using stochastic simulation methods are Knowledge of relevant probability distributions Supply of random numbers for making random choices Knowledge of relevant probability distributions depends on theoretical or empirical information about physical system being simulated By simulating large number of trials, probability
    [Show full text]
  • Arxiv:2008.11456V2 [Physics.Optics]
    Efficient stochastic simulation of rate equations and photon statistics of nanolasers Emil C. Andr´e,1 Jesper Mørk,1, 2 and Martijn Wubs1,2, ∗ 1Department of Photonics Engineering, Technical University of Denmark, Ørsteds Plads 345A, DK-2800 Kgs. Lyngby, Denmark 2NanoPhoton - Center for Nanophotonics, Technical University of Denmark, Ørsteds Plads 345A, DK-2800 Kgs. Lyngby, Denmark Based on a rate equation model for single-mode two-level lasers, two algorithms for stochastically simulating the dynamics and steady-state behaviour of micro- and nanolasers are described in detail. Both methods lead to steady-state photon numbers and statistics characteristic of lasers, but one of the algorithms is shown to be significantly more efficient. This algorithm, known as Gillespie’s First Reaction Method (FRM), gives up to a thousandfold reduction in computation time compared to earlier algorithms, while also circumventing numerical issues regarding time-increment size and ordering of events. The FRM is used to examine intra-cavity photon distributions, and it is found that the numerical results follow the analytics exactly. Finally, the FRM is applied to a set of slightly altered rate equations, and it is shown that both the analytical and numerical results exhibit features that are typically associated with the presence of strong inter-emitter correlations in nanolasers. I. INTRODUCTION transitions from thermal to coherent emission, and we will investigate the prospects of introducing effectively Optical cavities on the micro- and nanometer scale can altered rates of emission in the rate equations as a way reduce the number of available modes for light emission to qualitatively describe the effects of collective inter- and increase the coupling of spontaneously emitted light emitter correlations.
    [Show full text]