key: cord-0149945-l4fom3ei authors: Cacciapaglia, Giacomo; Cot, Corentin; Morte, Michele Della; Hohenegger, Stefan; Sannino, Francesco; Vatani, Shahram title: The field theoretical ABC of epidemic dynamics date: 2021-01-25 journal: nan DOI: nan sha: 0d73336d7d897f54bff9ca1a5c2bbd4e6c6f7074 doc_id: 149945 cord_uid: l4fom3ei Infectious diseases are a threat for human health with tremendous impact on our society at large. The recent COVID-19 pandemic, caused by the SARS-CoV-2, is the latest example of a highly infectious disease ravaging the world, since late 2019. It is therefore imperative to develop efficient mathematical models, able to substantially curb the damages of a pandemic by unveiling disease spreading dynamics and symmetries. This will help inform (non)-pharmaceutical prevention strategies. For the reasons above we wrote this report that goes at the heart of mathematical modelling of infectious disease diffusion by simultaneously investigating the underlying microscopic dynamics in terms of percolation models, effective description via compartmental models and the employment of temporal symmetries naturally encoded in the mathematical language of critical phenomena. Our report reviews these approaches and determines their common denominators, relevant for theoretical epidemiology and its link to important concepts in theoretical physics. We show that the different frameworks exhibit common features such as criticality and self-similarity under time rescaling. These features are naturally encoded within the unifying field theoretical approach. The latter leads to an efficient description of the time evolution of the disease via a framework in which (near) time-dilation invariance is explicitly realised. As important test of the relevance of symmetries we show how to mathematically account for observed phenomena such as multi-wave dynamics. The models presented here are of immediate relevance for different realms of scientific enquiry from medical applications to the understanding of human behaviour. Our review offers novel perspectives on how to model, capture, organise and understand epidemiological data and disease dynamics for modelling real-world phenomena. Infectious diseases that can efficiently spread across the human population and cause a pandemic have always been a threat to humanity. This menace has been growing with the increase in the population and the progressive destruction of the wild environment with its impact on wildlife. The last century has been affected by, at least, three major worldwide pandemics: the 1918 "Spanish" influenza of 1918-1920 [1] , HIV/AIDS [2, 3] and the most recent COVID-19 that started at the end of 2019. Understanding in a mathematically consistent way the diffusion of a pandemic is of paramount importance in designing effective policies apt at curbing and limiting its diffusion and the impact on the life loss and economic damage. In this report we will review some crucial aspects of the mathematical modelling, ranging from the microscopic mechanisms encoded in diffusion models, to approaches based on symmetries. In this discussion, the application of field theory and other concepts borrowed from theoretical physics will play a crucial role. The dynamics of physical phenomena, from the fundamental laws of nature to quantum and ordinary matter phase transitions, even including protein behaviour, is well captured by effective descriptions in terms of fields and their interactions. Given the enormous success of the field theoretical interpretation of physical phenomena, it is highly interesting to review several main mathematical models employed to describe the diffusion of infectious diseases and show how the different approaches are related within the field theoretical framework. We will show that the models exhibit common features, such as criticality and self-similarity under time rescaling. These features are naturally encoded within the unifying field theoretical approach. The latter yields an efficient description of the time evolution of the disease via a framework in which (near) time-dilation invariance is explicitly realised. The models are extended to account for observed phenomena such as multi-wave dynamics. Because of the immediacy of the COVID-19 pandemic and the high quality data available, we use it as an explicit and relevant phenomenological test of the models and their effectiveness. It should be clear, however, that the methodologies presented here are relevant for any infectious disease, and can be extended to different realms of scientific enquiry, from medical applications to the understanding of human behaviour. We will complete this introduction with a historical overview of the mathematical modelling applied to infectious diseases, the contemporary applications and the role of field theory concepts, before offering a summary of the main body of the review. The first application of mathematical modelling to an epidemiological process is the work of Daniel Bernoulli [4] on the effectiveness of an inoculation against smallpox in 1760. A more systematic application of mathematical methods to study the spread of infectious diseases occurred after the work of Robert Koch and Louis Pasteur, which showed that such diseases are caused by living organisms, triggering the question on how they are passed on from one individual to another. A related point in this regards is how (and why) outbreaks and epidemics end. As outlined in [5] , there are two prevalent hypotheses: • Farr's hypothesis (mostly based on the work of W. Farr in 1866 [6] ): epidemics stop because the potency of the microorganisms decreases with every new individual that is infected. • Snow's hypothesis (mostly based on the work of J. Snow in 1853 [7] ): epidemics end due to a lack of sufficient available new individuals to infect (the disease runs out of "fuel"). In view of closer studies of actual data stemming from outbreaks of communicable diseases, Farr's hypothesis was gradually dropped from the scientific discussion. Moreover, the focus of research shifted towards explaining regularities of observed epidemic curves. A first discovery along these lines can be found in the work of W.H. Hamer [8, 9, 10, 11] , who described the biennial period of measles outbreaks in London and implicitly [5] introduced the concept of mass-action law into epidemiology. The latter was firmly established in the pioneering works of Sir R. Ross [12, 13, 14, 15] and A.G. McKendrick [16, 17, 18] . Specifically, in a model of discretised time (with time steps δt) such as in [12] , the mass action law can be formulated as follows: number of cases at t + δt ∝ (number of cases at t) × (susceptibles at t) . In models with a continuous time variable (as in later works of Ross and notably McKendrick), the model can be formulated in terms of differential equations, including additional contributions capturing the population dynamics due to recovery from the disease, birth, death, migration, etc.. Credit for the so-called SIR model, still widely used today (and which we review in Section 3.1), is given to the work by W.O. Kermack and A.G. McKendrick in 1927 [19] . The basic idea behind models of this type is that the disease is passed on among individuals in the form of happenings or collisions, in analogy to how reactions work in chemistry. This led to numerous more refined models, see for example the reviews [20, 21, 22, 23, 24, 25, 26, 27, 28] , including the historical overview in [29] . In the second half of the 20th century, progress in different disciplines influenced epidemiological investigations. It was understood that, to describe (and combat) large scale outbreaks such as HIV/AIDS, human behaviour plays a crucial role in modulating the spreading of the virus (e.g. [30, 31] ). Thereby, mathematical modelling started going beyond models inspired by basic chemical reactions. The appearance of a large number of reviews and books on epidemiological modelling is testimony to the depth and complexity of the analysis as well as the interdisciplinary attention this topic has received, e.g. [32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57] . Besides influences and contributions from pure mathematics, chemistry and social sciences, certain features and symmetries of epidemic curves are similar to those found in particular physical systems. This has lead to novel approaches rooted in the physics of critical phenomena and phase transitions, such as percolation models [58, 59] and their relation to (scale invariant) field theories. As we shall review in Section 2.1, there are various types of percolation models. Here we shall define them simply as collections of points in a given space, where some of which can be linked pairwise. The sets of points that are linked to each other are termed clusters and the spread of such clusters (following certain pre-determined rules) can be used to model the spread of a disease within a given population. In particular, the transition from finite sized clusters to the percolation phase (where all points are linked together) is a phase transition. This important feature allows percolation models to be organised in terms of universality classes and even to put them in correspondence to other physical systems. This property is useful to determine important physical quantities. The first attempts appeared in [60] and their relation to phase transitions was pointed out in [61] , while excellent reviews on more complicated models can be found in [62, 63, 64, 65, 66, 67, 68, 69, 70, 71] . Direct formulations of percolation models in terms of field theories follow the approach of M. Doi and L. Peliti [72, 73, 74] , which have been reviewed, for example, in [75] . Further work in this direction (notably the work by J. Cardy and P. Grassberger [76] and its relation to models in particle physics [77, 78] ) shall be reviewed in Section 2.1. The aim of our work is to summarise, review and connect various current approaches to understand and model the time evolution of pandemics. From the brief historical analysis of the previous subsection it is clear that, over the course of almost a century, many different approaches have been developed. Classifying them is often difficult. From a mathematical perspective one can distinguish stochastic and deterministic approaches, based on how the basic fundamental (microscopic) processes of the transmission and development of the disease are modelled: all epidemiological models generally assume that new infected individuals can appear when an uninfected one (usually called a susceptible individual) comes in contact with an infectious individual such that the disease is passed on. After some time, infected individuals may turn non-infectious (at least temporarily) via recovering or dying from the disease or by some other means of removal from the actively involved population. Mathematically speaking, these processes can be modelled in two different fashions: • Stochastic approach: all (microscopic) processes between individuals are of a probabilistic nature. For instance, the contact between a susceptible and an infectious individual has a certain probability to lead to an infection of the former; infected individuals have a certain probability of removal after a certain time; etc. In these approaches, time is understood as a discrete variable and time-evolution is typically described in the form of differential-difference equations (called master equations). The solutions depend on a set of probabilities (e.g. the probability of a contact among individuals leading to an infection), geometric parameters (such as the number of 'neighbouring' individuals that a single infectious individual can potentially infect) as well as the initial conditions. Furthermore, in order to make predictions or to compare with deterministic approaches, some sort of averaging process is required. • Deterministic approach: the time evolution of the number of susceptible, infectious and removed individuals is understood as a fully predictable process and is typically described through systems of coupled, ordinary differential equations in time (the latter is understood as a continuous variable). Solutions of these systems are therefore determined by certain parameters (such as infection and recovery rates) as well as initial conditions (e.g. the number of infectious individuals at the outbreak of the disease). In this review, we prefer to think of this classification in a somewhat different (but equivalent) fashion, which (as we shall explain) is closer to the concept of (energy) scale in particle physics. Indeed, we prefer to think of models as ranging from microscopic models, in which fundamental interactions (i.e. at the level of individuals) are explicitly modelled, to more and more macroscopic approaches, in which the microscopic interactions have been (at least partially) included into the interactions of new, effective degrees of freedom. A basic overview, with concrete models, is given in Figure 1 : models in the left part of the diagram (red box) incorporate many details of how the disease spreads at a microscopic level, i.e. between single individuals. These models are mostly of a stochastic nature, using probabilistic means to simulate the spread of the disease. As we shall explain, many of them are inspired by chemical models, in which a random movement of molecules is considered, with collisions leading with a certain probability to a chemical reaction (and the creation of new molecules). The models further to the right of the diagram (blue box) are more macroscopic, in the sense that they no longer model individual interactions (i.e. the spread from one person to the next), but rather describe the time evolution of the disease in a larger population (e.g. an entire country). While, historically, the oldest models that have been developed to describe the spread of an infectious disease are in this category, many of them can be obtained from more microscopic approaches (e.g. percolation models) through a 'replacement' of the degrees of freedom of the latter by more macroscopic ones. This can happen, for example, via a mean field approximation or via certain averaging procedures or by describing the spread of the disease through suitable flow equations. The resulting models are mostly of a deterministic nature, but can retain stochastic elements. Besides the explicit models and approaches listed in Figure 1 (some of which we shall review in the main part of this article), there are also data-and computer-driven approaches [79, 80] . These generally use machine learning (also called statistical learning) tools to analyse existing data with the goal of finding patterns and predicting the future development of pandemics. On the one hand, these approaches use the large advances in computer technology (in particular the development of artificial intelligence). On the other hand, they are made viable in recent years due to the dramatical increase in the volume and quality of available data on the spread and development (e.g. its genetic mutations) of diseases in a large population. This allows data-driven approaches to be applied at any level, ranging from analysing microscopic interactions (see e.g. [81] ) to more effective descriptions that only aim at predicting 'global' key statistics of epidemics [82, 83] . Since the current review is aimed at studying field theoretic tools in epidemiology, we shall not discuss these methods here. However, we point out a number of excellent review articles [84] in the literature. Another class of models we will not discuss utilises complex networks to include the effect of human behaviour [85] . Microscopic approaches on the left spectrum of Figure 1 generally utilise first principles, however at the expense of a lack of symmetries (usually also entailing a large computational cost). Effective theories on the right side of the graph are, usually, less intuitive (since basic interactions of the disease enter into a less obvious manner). However, they incorporate basic symmetries that appear in the solutions of the microscopic models -in the sense of making them manifest -typically also leading to more streamlined and less expensive computations. Here is an incomplete list of the symmetries at the base of these approaches: to a much larger total number of infected. Which of these two classes of solutions is realised is usually governed by a single ordering parameter (e.g. the average number of susceptible individuals infected by a single infectious, also known as reproduction number R 0 ), and the transition from one type to the other can be very sharp. (ii) Self-similarity and waves: depending on the disease in question, solutions of microscopic models may exhibit distinct phases in their time evolution in the form of a wave pattern, where phases of exponential growth of the number of infected individuals are followed by intermediate periods of slow, approximately linear, growth. Each wave typically looks similar to the previous and following ones. Furthermore, certain classes of solutions may also exhibit spatial self-similarities, i.e. the solutions describing the temporal spread of the disease among individuals follow similar patterns as the spread among larger clusters (e.g. cities, countries etc.). (iii) Time-scale invariance: several microscopic models exhibit a (nearly) time-scale invariant behaviour, which is a symmetry under rescaling of the time variable and of the rates (infection, removal, etc.). If the solution exhibits a wave-structure, these near-symmetric regions can appear in specific regimes, e.g. in between two periods of exponential growth. These properties are familiar from field theoretical models in physics, e.g. in solid state and high energy physics, which exhibit phase transitions. Indeed, over the years, it has been demonstrated that the various approaches mentioned above can be reformulated (or at least related to) field theoretical descriptions. The latter are typically no longer sensitive to microscopic details of the spread of the disease at the level of individuals, but instead capture universal properties of their solutions. They are therefore an ideal arena to study properties of the dynamics of diseases and the mechanisms to counter their spread. The dynamics of physical phenomena, ranging from the fundamental laws of nature to quantum and ordinary matter phase transitions including protein behaviour, is well captured by effective descriptions in terms of fields and their interactions. These fields are meant to capture the overall features of the phenomenon in question, describe the interaction between (elementary) constituents and even predict the evolution of the system. Once the field theoretical dynamics is married to underlying approximate or exact symmetries, it becomes an extremely powerful tool that, in a given range of energy, provides a faithful representation of the microscopic physics underlying many phenomena. Zooming in or out of the relevant physical scales involved in the dynamics of a given process generically requires a modification of the degrees of freedom needed to describe that specific process. This property is captured by the renormalisation group (RG) framework [86, 87] . Within this approach, in order to take into account the change in degrees of freedom, one modifies (renormalises) the interaction strengths and rescales the fields. In fact, the idea of scale transformations and scale invariance is ancient, dating back to the Pythagorean school. The concept was used in the work by Euclid and much later by Galileo. The idea received renewed popularity towards the end of the 19th century with the idea of enhanced viscosity of O. Reynolds to address turbulence in fluids [88, 89] . However, the seed-idea of the RG initially started in 1953 with the work of Ernst Stueckelberg and André Petermann [90] . They noted that the renormalisation procedure in quantum field theory exhibits a group of transformations, which acts on parameters that govern basic interactions of the system, e.g. changing the bare couplings in the Lagrangian by including (counter) terms needed to correct the theory. For example, the application to quantum electro-dynamics (QED) was elucidated by Murray Gell-Mann and Francis E. Low in 1954 [91] : this led to the renown determination of the variation of the electromagnetic coupling in QED with the energy of the physical processes. Hence, the basic idea at the heart of the RG approach stems from the property that, as the scale of the physical process varies, the theory displays a self-similar behaviour and any scale can be described by the same physics. In mathematical terms, this properties is reproduced by a group transformation acting on the interaction strengths of the theory. Thanks to Gell-Mann and Low a computational method based on a mathematical flow function of the interaction strength parameter was introduced. This function determines the differential change of the interaction strength with respect to a small change in the energy of the process through a differential equation known as the renormalisation group equation (RGE). Although mainly devised for particle physics, nowadays its applications extend to solid-state physics, fluid mechanics, physical cosmology, and even nanotechnology. In certain cases, such as in particle physics, the field theoretical description can be elevated to the ultimate description of fundamental interactions if short distance scale invariance occurs. Once scale invariance is married to relativity the group of invariance generically enlarges to the conformal group. In the following we shall start by presenting examples of microscopic and effective (respectively deterministic and stochastic) approaches and show how they can be related to field theoretical models. We start in Section 2 with analysing the direct percolation approach, which is based on a microscopic stochastic description of the diffusion processes. We shall see that the approach, in the mean field approximation, naturally leads to compartmental models. The latter (as well as generalisations thereof) are reviewed in Section 3: we commence this investigation with a basic review of the SIR model and then investigate how to incorporate multi-wave epidemic dynamics paying particular attention to the inter-wave period. After highlighting further possible extensions of compartmental models, we finally provide a formulation of the SIR model in terms of flow equations, which resembles the β-function familiar from the RG approach to particle and high-energy physics. We use this last result to motivate the most recent approach to epidemic dynamics, i.e. the epidemiological renormalisation group (eRG) [92, 93] in Section 4. The latter is inspired by the Wilsonian renormalisation group approach [86, 87] and uses the approximate short and long time dilation invariance of the system to organise its description. For the COVID-19, the eRG has been shown to be very efficient when describing the epidemic and pandemic time evolution across the world [94] and in particular when predicting the emergence of new waves and the interplay across different regions of the world [95, 96] . The discussion in Sections 2, 3 and 4 is general in the sense that the methods apply to generic infectious diseases and populations. In Section 5 we consider particular features of the current ongoing COVID-19 pandemic, and discuss how the different approaches can be adapted to it. Several excellent reviews already exist in the literature [97, 85, 98, 32] . Our work complements and integrates them, adds to the literature on the field theoretical side and further incorporates more recent approaches. 7 Executive Summary • We introduce percolation and lattice models as stochastic approaches to directly simulate microscopic interactions down to the individual level. • The models are characterised through a set of probabilities (related for example to the infection and recovery rates of individuals) and the geometry of the system. Time is assumed to be a quantised variable. • The approach naturally models the spatial as well as the temporal evolution of a disease. • The models feature a (sharp) phase transition in terms of the asymptotic infected fraction of the population. The latter is the order parameter of the system. • Compartmental models (see next Section) emerge as a mean field description of percolation models. Arguably the most direct way to (theoretically) study the spread of a communicable disease is via systems that simulate the process of infection at a microscopic level, i.e. at the level of individuals in a (finite) population. The most immediate such models are lattice simulations, in which the individuals are represented by the lattice sites on a spatial grid, some of which may be infected by the disease. These lattice sites can spread the disease with a certain probability to neighbouring sites, following an established set of rules. Lattice models, therefore, allow to track the spread of the disease in discretised time steps and, after taking the average of several simulations, allow to make statements about the time evolution (and asymptotic values) of the number of infected individuals. As we shall see in the following, even simple models of this type show particular time-scaling symmetries, as well as criticality (i.e. the fact that the asymptotic number of infected individuals changes rapidly, when a certain parameter of the model approaches a specific critical value). A larger class of models that work with a discrete number of individuals (as well as discretised time) consists of percolation models, which broadly speaking consist of points (sites) scattered in space that can be connected by links. Depending on the specific details, one distinguishes [71] : • Bond percolation models: in this case the points are fixed and the links between them are created randomly. Examples of this type are (regular) lattices in various spatial dimensions with nearest neighbour sites being linked. • Site percolation models: in this case the position of the points is random, while the links between different points are created based on rules that depend on the positions of the points. More complex models can also incorporate both aspects. An important quantity to compute in any percolation model is the so-called pair connectedness, i.e. the probability that two points are connected to each other (through a chain of links with other points). Assuming the system to extend infinitely (i.e. there are infinitely many sites), we can importantly distinguish whether it is made of only local clusters (in which finitely many sites are connected) or whether it is in a percolating state (where infinitely many sites are connected). The probability of occurrence of these two situations usually depends on the value of a single parameter (typically related to the probability p that a link exists between two 'neighbouring' sites), in such a way that the transition from local connectedness to percolation can be described as a phase transition (see e.g. [61] ). The system close to this critical value p c lies in the same universality class of several other models in molecular physics, solid state physics and epidemiology: this implies that the behaviour of certain 8 quantities follows a characteristic power law behaviour that is the same for all the theories in the same universality class. For example, the probability P (p) for a system to be in the percolating state (as a function of p) takes the form where ν is called critical exponent. Models within the same universality class share the same critical exponents despite the fact that the concrete details of the theory, in particular the concrete meaning of the quantity P in Eq. (2.1), may be very different. This connection makes percolation models very versatile and many of them have been studied extensively (see [71] and references therein). In the following, we shall first present a simple lattice simulation model, which allows us to reveal important properties of the time evolution of the infection (notably criticality and time-rescaling symmetry). Furthermore, we shall discuss a percolation model that, near criticality, is in the same universality class as time-honoured epidemiological models, along with some of its extensions and generalisations. Lattice simulations of reaction-diffusion processes are a well established tool to study the epidemic spreading of a disease since the original work by P. Grassberger in [99] . In specific realisations the models have been studied to very high precision and the critical values of the parameters are known with an accuracy reaching the six digits, see for example Ref. [100] and references therein. Different geometries have been considered as well as different ranges of interactions, including random long-range couplings among sites, see [101, 102] for recent discussions. All of these follow a Markov decision process [103, 104] , i.e. the population is represented by a discrete lattice and the time evolution of the disease is organised in discretised time steps (so-called Markov iterations) between each of which the state of the lattice is changed based on a set of stochastic decisions. Here we consider a synchronous algorithm (i.e., we update all the lattice sites in each Markov iteration), and isotropic interactions of range r (in lattice units). For our purposes, the simplest and most direct way to study percolation models is to simulate the time evolution of the spread of a disease via stochastic processes on a finite dimensional lattice. The individuals, represented by each lattice site, can be in one and only one of the three given states: susceptible, infectious or removed. They are defined as follows: • Susceptible: these are individuals that are currently not infectious, but can contract the disease. We do not distinguish between individuals who have never been infected and those who have recovered from a previous infection, but are no longer immune. • Infectious: these are individuals who are currently infected by the disease and can actively transmit it to a susceptible individual. • Removed (recovered): these are individuals who currently can neither be infected themselves, nor can infect susceptible individuals. This comprises individuals who have (temporary) immunity (either natural, or because they have recovered from a recent infection), but also all deceased individuals. The time evolution of the lattice configurations follows a set of rules, which implements the following two basic mechanisms into an algorithm that models the spread of the disease within a finite and isolated population in discretised time steps: i) the infection of susceptible individuals in the vicinity of an infectious one; ii) the removal (recovery) of an infectious individual (so that it can no longer infect other individuals). The infection process depends on the reach of an infectious site over potential nearby susceptible ones. This reach depends on the geometry of the lattice (here we always use square lattices) and on the range r. The removal instead depends on the site itself and on an intrinsic removal probability. Starting from the two principles above, there are two ways to let the lattice evolve and to define the elementary time steps, starting from a given initial spatial distribution of infectious and susceptible sites. On the one hand, we can randomly choose an infectious site and begin the infection process within its surrounding sites (i.e. determine how many susceptible neighbouring sites are turned infectious). Once the process is over, another infectious site is chosen randomly, defining the next time step. Such a sequence forbids multiple infections, as only one infected site is considered at each step of time. On the other hand, we could take into account all the possible infections at the same time and consider the susceptible sites that may become infected by them, according to the rules of the algorithm. The lattice is then updated with the new infected and thus the next time step begins. This process allows multiple infections to be considered, as susceptible sites can have multiple infected neighbours infecting them at a single time step. The first method is called "asynchronous" as opposed to the second "synchronous" algorithm. Having discussed the temporal structure of the simulation, we can turn now to the specific mechanism of the spread, which, in our setup, depends on three parameters: • The coordination radius r ∈ R + , which is a measure for the distance (on the lattice) over which direct infections between individuals can take place, i.e. only sites within a distance r from the infectious one can be infected. We illustrate r in Fig. 2 within a 2-dimensional squared lattice. . . . · · · · · · e 1 e 2 r Figure 2 : Two-dimensional cubic lattice generated by the lattice vectors (e 1 , e 2 ). The blue circle of coordination radius r (r = 2 in the current example) contains all susceptible sites (blue) that may become infected by a single infectious one (red) at its centre. • The infection probability g ∈ [0, 1] for an infectious individual to infect a neighbour site. In practice, the probability of a single individual in the neighbourhood (defined in terms of the coordination radius) to be infected is equal to g divided by the number of sites within a radius r from the infectious one. This choice, as we shall see in Section 3.3, allows us to draw a more direct relation between g and the infection rate parameter defined in other approaches. • The removal probability e ∈ [0, 1] for an infectious individual to become removed. In the following we shall highlight some of the key-features of this approach and study their dependence on the three parameters above. To do so, we consider a 2-dimensional lattice with periodic boundary conditions. We follow the "synchronous" algorithm with a slightly different path compared to the common approach in the literature [105] . Usually, in order to determine the time-evolution of the lattice configuration, one needs to go through all infectious sites and individually apply the infection algorithm to all susceptible sites within their coordination radius: each contact is simulated by the call of a randomly generated number x, between 0 and 1. If x ≤ g, an infection occurs and the considered susceptible site will become infectious at the next time step. Else, nothing happens -the site will stay susceptible and the whole process is repeated for each of the sites surrounding a given infectious one. Instead of this infectious-site-centred procedure, we will consider an algorithm centred on the susceptible sites: for each susceptible site, we count the number n of infectious sites within the coordination radius and calculate the cumulated probability of infection. One can show that, on average, the probability P (n) for this site to become infectious in the next Markov iteration is given by P (n) = 1 − (1 − g) n . We use this probability to determine the fate of each susceptible site. This improved procedure speeds-up the algorithm and reduces stochastic fluctuations, as it is equivalent to performing a local average at each time step. We turn now to the presentation of our results. A plot of the evolution of the cumulative number of infected sites as a function of the discretised time-steps is shown in Fig. 3 for a sample choice of the parameters g = 0.7, e = 0.1 and r = 1 and for a square lattice with 201 sites on each side (i.e. 40401 sites in total). At large t, the cumulated number of infected approaches an asymptotic value, which, averaged over a sufficient number of simulations, is a function of the probabilities (g, e) as well as of the coordination radius r. Varying these parameters leads to substantially different asymptotic values, as is shown in Fig. 4 : in the four panels, we plot the asymptotic values as a function of the infection probability g. We use the same lattice as before and fix e = 0.1. For each point, we repeat the process 50 times to compute the shown mean and standard deviation. As expected, the larger g, the higher the number of infected sites at the end of the process. The plots also show the critical behaviour of the system, as the asymptotic value jumps from a very small value at small g to a value of the same order of the total population (i.e. the number of sites in the lattice). For each value of r, one can define a critical value g c (r): increasing r reduces the value of g c . In the simulations of Fig. 4 we use the same initial condition, where all the sites within a radius 5 (in lattice units) from the centre of the lattice are set to the infectious state, thus having initially 81 cases. Due to the stochastic nature of the process, the final number of infected cases does depend non-trivially on the initial state, especially for small coordination radius r. For r = 1 and e = 0.1, this dependence on the initial infected N I is shown in the left panel of Fig. 5 , where we plot the asymptotic value of infected as a function of N I , randomly distributed on the lattice. We plot the results for three different values of g = 0.4, 0.5 and 0.7, where g = 0.5 is close to the critical g c . The critical behaviour described above seems to be also sensitive to N I . This could be due to finite volume effects, as the evolution of the infection is expected to depend crucially on the density (rather than on the actual number) of initial infectious cases on the lattice as well as on their spatial distribution. The dependence on the initial state is consistent with the result obtained for the SIR compartmental models discussed in Sec. 3.2. This effect should disappear in the infinite volume limit. Especially near the critical value, we observe a large spread of results for the asymptotic numbers. This is particularly evident for small densities of initial infections, where stochastic effects become relevant. As an example, we show a bundle of 50 solutions near the critical value in the right panel of Fig. 5 . Here we briefly summarise the percolation approach and the derivation via field theory of the reaction diffusion processes. We follow G. Pruessner's lectures [75] and borrow part of his notation. The overarching goal is to reproduce and extend the action given in the seminal work of J.L. Cardy and P. Grassberger [76] . Initial infected Asymptotic number of infected 3): a single walker moving to a neighbouring lattice site (with n W y ≥ 1 and n P y , n W y+e , n P y+e ≥ 0). We, therefore, consider a model of random walkers described by a field W that diffuse through a lattice, reproduce themselves and drop some poison P as they stroll around. The poison field P does not diffuse but kills walkers if they hit a poisoned location. Interpreting the positions of the walkers as infected sites and those of the poison as simultaneously representing either the immune or removed individuals, the model effectively describes a disease diffusion process featuring infection and immunisation dynamics. The microscopic processes considered in [76] (see also [106, 107] ) can be schematically summarised as follows: The first branching process corresponds to infection, while the last two processes describe immunisation. In addition we will consider a process of spontaneous creation, by which infected can appear at one site independently from the presence of other infected at neighbouring sites, with a rate ξ. The field theory is derived from a discretised version of the model, eventually taking the continuum limit. The starting point is a Master Equation that directly leads to the action through a process of second-quantisation. Let Γ ⊂ Z d be a d-dimensional hypercubic lattice with coordination number q, which is generated by a set of vectors e. We denote by {n W x , n P x } a state with site x occupied by n W x and n P x particles of type W and P ∀x ∈ Γ (for a schematic representation see Fig. 6 ). The probability that such state is realised at time t is denoted by P ({n W x , n P x }; t). Configurations can change via the different mechanisms described above. The probability thus satisfies the first order differential equation (Master Equation) : 3) The first line describes diffusion of walkers from one lattice site to one of its q nearest neighbours with frequency H/q. This process is schematically shown in Fig. 7 . There {n W y − 1, n W y−e + 1, n P x } denotes the state differing from {n W x , n P x } by having a walker less at y and a walker more at y − e. The second and n W y − 1, n P y σ n W y , n P y Figure 8 : Schematic representation of the branching process leading to the second line of (2.3): a single walker creating a copy of itself at the the site y (with n W y ≥ 2 and n P y ≥ 0). Figure 9 : Schematic representation of the branching process leading to the third line of (2.3): a walker 'drops' poison at the lattice site y (with n P y ≥ 1 and n W y ≥ 0). third lines produce the first two branching processes in Eq. (2.2) respectively and are schematically shown in Figs 8 and 9. The fourth line accounts for the third process there and is graphically represented in Fig. 10 . Finally, the last line gives the spontaneous creation of one walker at site y and is schematically shown in Fig. 11 . In view of a second quantisation, following the Doi-Peliti approach [72, 73, 74] , it is natural to interpret the state {n W x , n P x } as obtained by the action of creation operators a † (x) (for W ) and b † (x) (for P ) on a vacuum state. One introduces also the corresponding annihilation operators, a(x) and b(x), such that with all other possible commutators between (a, a † ) and (b, b † ) vanishing. The field theory is realised by considering the time-evolution of the state which can be derived from the Master Equation (2.3). Upon mapping each operator to conjugate fields where the tilded operators are known as Doi-shifted operators, one finds that the evolution is controlled by exp{− d d xdt S(W + , W, P + , P )}, with the action density S given by whereD = lim a→0 Ha 2 /q is the hopping rate in the continuum (a is the lattice spacing). The action in Eq.(2.9) corresponds to the result in [76] augmented here by the last source term due to spontaneous generation. This produces a background of infected and it is responsible in this approach for a 'strolling' dynamics, as we motivate in Section 3.5.2. The renormalisation group equations stemming from the action in Eq.(2.9), which follow closely those of other theories such as directed percolation models or reggeon field theory [77, 78] , have been analysed in [76] . In particular, the Fourier transform of the correlation function of a field W and a field W + was computed and shown to satisfy the following scaling law near criticality n W y + 1, n P y β n W y , n P y Figure 10 : Schematic representation of the branching process leading to the fourth line of (2.3): a single walker 'dying' from poison at the lattice site y (with n P y , n W y ≥ 0). Figure 11 : Schematic representation of the branching process leading to the fifth line of (2.3): a single walker is spontaneously created at the lattice site y (with n W y ≥ 1 and n P y ≥ 0). for some function Φ. Here ∆ is a measure for the proximity to criticality (i.e. it is proportional to p − p c of Eq. (2.1) in the context of the percolation model) and (η, ν t , ν) are critical exponents determining the universality class of the model. 1 The quantity above is a measure for the probability of finding a walker at some generic time and position ( x, t) ∈ R 6 if there was one at the origin, where d = 6 corresponds to the critical dimension of the system [76] . As mentioned before, the model described by the action in Eq.(2.9) is in the same universality class as numerous other models that are directly relevant for the study of epidemic processes. As shown in [76] the particular choice ξ = 0, in fact, includes the SIR model, which is the most prominent representative of compartmental models. To make the connection more concrete, we return to studying the time evolution of a disease on a lattice Γ and divide the individuals that are present at a given lattice site x ∈ Γ into three classes or compartments [99] , as defined in Section 2.2.1. We shall denote n S x , n I x , n R x the number of susceptible, infectious and removed individuals at x, respectively. 2 Concretely, for ξ = 0, the model in [99] is very suitable for numerical Markovian simulations and can be connected to the SIR model. The processes of the model in [99] are where x and x are nearest neighbour sites on Γ (i.e. x = x + e for some basis vector e ∈ e). As discussed in [99] , treating the process as deterministic (in particular, interpreting (n S x , n I x , n R x ) as continuous functions of time) one obtains the following equations of motion In a dimensional regularisation scheme, they were found to be [76] where = 6 − d. 2 The occupation numbers (n S x , n I x , n R x ) are denoted (X(x), Y (x), Z(x)) respectively in [99] . where the sums on the right hand side extend over the nearest neighbours of x. Since the sum of all three equations in (2.13) implies d dt (n S x + n I x + n R x )(t) = 0, the total number of individuals is conserved and we denote its value by (2.14) Furthermore, we introduce the relative number of susceptible, infectious and removed individuals respectively which satisfy Finally, by taking a mean-field approximation for the infected field in Eq.(2.13) (i.e. replacing n I x by I(t) ∀x ∈ Γ, such that the sums e∈e n I x+e in Eq.(2.13) are replaced by q N x∈Γ n I x = qI(t)) and summing over all x ∈ Γ, one obtains the following coupled first order differential equations: where q is the coordination number, i.e., the number of nearest neighbours for each site (4 in a twodimensional rectangular lattice). As we shall discuss in the next section, this system of differential equations, which has to be solved under the constraint in Eq.(2.16) and with suitable initial conditions, is structurally of the same form as the SIR model [19] , one of the oldest deterministic models to describe the spread of a communicable disease. Spontaneous generation can be included in Eq.(2.17) as an additional process In the deterministic and mean-field equations, this amounts to a term −ξS(t) in the first equation of (2.17), and the corresponding one with opposite sign in the second equation, as we shall discuss in the context of the SIR model in Section 3.5.2. Executive Summary • We introduce compartmental models as deterministic approaches that describe the diffusion of infectious diseases through coupled differential equations in time. • These models are characterised through a set of diffusion rates and initial conditions. Time is assumed to be a continuous variable. • We discuss mathematical aspects of different models capturing the asymptotic behaviour of their dynamics. • We show how to extract several epidemiologically relevant phenomena from compartmental models, including the endemic behaviour of diseases, the impact of superspreaders, the possibility of re-infection and multi wave patterns. • We show that compartmental models can be naturally related to the renormalisation group framework. Independently of percolation models and epidemic field theory descriptions, the differential equations (2.17) have been proposed as early as 1927 to describe the dynamic spread of infectious diseases in an isolated population of total size N 1. As reviewed in the Historical Overview (Section 1.1), a major breakthrough in the systematic study of the time evolution of infectious diseases was the application of the mass-action law [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19] , stating roughly that the rate at which individuals of two different types meet is proportional to the product of their total numbers. 3 This law underlies many chemical reactions, in which different agents mix. In the context of epidemiology, it leads to a class of deterministic approaches that are called compartmental models, whose hallmark is to divide the population into several distinct classes. Each class or compartment is comprised of individuals that have peculiar behaviour in the context of the disease. The simplest of this class of models is called SIR and, as the name indicates, it includes three compartments, as already described in detail in Section 2.4: • Susceptible: the total number of susceptible individuals at time t shall be denoted N S(t). • Infectious: the total number of infectious individuals at time t shall be denoted N I(t). • Removed (recovered): the total number of removed individuals at time t shall be denoted N R(t). Depending on the type of disease under consideration, other compartments can be included to make the model more realistic, e.g. [98, 32] • Passively immune (M ): infants that have been born with (temporary) passive immunity (M stands for maternally-derived immunity). • Exposed (E): individuals in the latent period, who are infected but not yet infectious. • Deceased (D): individuals who have died from the disease (in some models D is considered to be part of R). • Carrier (C): individuals in a state where they have not completely recovered and still carry the disease, but do not suffer from it (examples of diseases for which this compartment is of relevance are tuberculosis and typhoid fever, see e.g. [108] ). • Quarantine (Q): individuals who have been put under quarantine or lockdown measures (see e.g. [109] ). • Vaccinated (V ): individuals who are vaccinated against the disease, thus acquiring partial or total immunity. Models are usually named/classified according to the compartments they contain, e.g. SIR, MESIR, etc. Repetition of labels indicates that individuals may return into a given compartment several times, e.g. SIS denotes a model in which infectious individuals may become susceptible again after an infection. Furthermore, each compartment can be generalised to include dependences on biological (e.g. age, gender, etc.) and/or geometric parameters (e.g. parameters measuring geographic mobility, etc.). To better model social and behavioural particularities among the population (but also to simulate different variants of a given disease), models can include multiple copies of a compartment with slightly different properties (see e.g. [48] , which includes several different classes of susceptible, each of which with a different infection rate, to model the spread of gonorrhoea). Finally, depending on the duration of the epidemic, the birth and death dynamic needs to be taken into account [110, 111] . That is, into each class, new individuals may be born, or individuals of each compartment can die from causes other than the disease. In the following, for simplicity, we shall only consider models including the compartments S, I and R. We assume that the total size of the population remains constant, i.e. we impose the algebraic relation where, without restriction of generality, we assume that the outbreak of the epidemic starts at t = 0. We shall also refer to S, I and R as the relative number of susceptible, infectious and removed individuals, respectively. Furthermore, we assume that N is sufficiently large such that we can treat S, I and R as continuous functions of time: S , I , R : While in Section 2.4 the differential equations (2.17) were a consequence of the basic microscopic processes in Eq.(2.12) on the lattice Γ, within compartmental models they are independently argued on the basis of dynamical mechanisms that change (S, I, R) as functions of time: • Infectious individuals can infect susceptible individuals, turning the latter into infectious individuals themselves. We call an 'infectious contact' any type of contact that results in the transmission of the disease between an infectious and a susceptible and we denote the average number of such contacts per infectious individual per unit of time by γ. In the original SIR model [19] , γ is considered to be constant (i.e. it does not change over time), however, in the following sections we shall not always limit ourselves to this restriction. The total number of susceptible individuals that are infected per unit of time (and thus become infectious themselves) is thus γ N S I. • Infectious individuals can be removed by recovering (and thus gaining temporary immunity) or by being given immunity (e.g via vaccinations), by death or via any other form of removal. We shall denote the rate at which infected individuals become removed. As before, we consider as a function that may change with time. • Removed individuals may become susceptible again after some time or, conversely, susceptible individuals may become directly removed. In both cases we shall denote the respective rate by ζ, which may be positive or negative. If removed individuals are only temporarily immune against the disease, they can become susceptible again. In this case ζ > 0, which corresponds to the rate at which removed individuals become susceptible again. Susceptible individuals may become immunised against the disease (e.g. through vaccinations). In this case ζ < 0. We remark that this is not the only way to implement vaccinations to compartmental models, as the most direct way is to add a specific compartment. The flow among susceptible, infectious and removed is schematically shown in Fig. 12 . The dynamics of the system is also crucially determined by the initial conditions in each compartment. As already mentioned, we consider t = 0 as the start of the epidemic diffusion, where a non-zero number of infectious individuals is needed for the diffusion to start. Without loss of generality, we start with zero removed at the initial time. Hence, the initial conditions are given by where S 0 , I 0 ∈ [0, 1] are constants that satisfy S 0 + I 0 = 1. With this notation, the time dependence of S, I and R is described by the following set of coupled first order differential equations 4 together with the initial conditions (3.3). Notice that For ζ = 0, the system of equations (3.4) is indeed the same model as described in Section 2.4, which is called the SIR-model [19] . For ζ > 0, this model is sometimes referred to as the SIRS model, since it holds the possibility that recovered individuals may become susceptible again. The Eqs (3.4) can be solved analytically for ζ = 0, as we will discuss in the next subsection. First, we shall present some qualitative remarks that can be deduced by considering numerical solutions, which we obtained by using a simple forward Euler method (see e.g. [112, 113] ). We first consider ζ = 0, for which the temporal evolution of (S, I, R) is illustrated in Fig. 13 in two qualitatively different scenarios, depending on the value of the initial effective reproduction number R e,0 , that we define as [114] (see also [115, 116, 117, 118, 119, 120] for further discussion of the effective reproduction number) The quantity σ, often called basic reproduction number (R 0 ), can be interpreted as the average number of infectious contacts of a single infectious individual during the entire period they remain infectious. In other words, σ is the average number of susceptible individuals infected by a single infectious one. In the left panel of Fig. 13 , (γ, , S 0 ) have been chosen such that R e,0 < 1: in this case, even though at initial time a significant fraction of the population (8%) is infectious, the function I(t) decreases continuously, leading to a relatively quick eradication of the disease. This is also visible directly from Eqs (3.4): since (for ζ = 0) S(t) is a monotonically decreasing function (i.e. S(t) ≤ S 0 ∀t > 0), then dI dt (t) < 0 ∀t > 0 such that the number of infectious individuals is continuously decreasing. In the right panel of Fig. 13 , we chose R e,0 > 1: the number of infectious cases grows to a maximum and starts decreasing once only a small number of susceptible individuals remain available. This maximum is reached once S(t) = 1 σ such that dI dt = 0. This behaviour is more clearly visible in the asymptotic number of susceptible (i.e. S(∞) = lim t→∞ S(t)) or (equivalently) the cumulative number of individuals that have become infected throughout the entire epidemic. Both quantities are a measure of how far the disease has spread among the population. For ζ = 0, we also have that lim t→∞ I(t) → 0, thus we find the following relations at infinite time: The limit S(∞) can be computed analytically, by realising that is conserved, i.e. dG dt (t) = 0 ∀t ∈ R. This implies With lim t→∞ I(t) = 0, this equation can be solved for the asymptotic number of susceptible in the limit t → ∞, giving where W is the Lambert function. The limiting values S(∞) and I c (∞)/N are shown in Fig. 14 as functions of R e,0 for the initial conditions of S 0 = 1 − 10 −6 , i.e. a starting configuration with one infectious individual per million. A kink seems to appear for R e,0 = 1, however both functions are smooth (continuous and differentiable) for S 0 < 1, as highlighted in the subplots. In the limit S 0 → 1, the solutions discontinuously jump to constants, as the absence of initial infectious individuals prevents the spread of the disease. Qualitatively, this plot shows that for R e,0 < 1, the disease becomes eradicated before a significant fraction of the population can be infected. However for R e,0 > 1 the cumulative number of infected grows rapidly. For ζ = 0, we can distinguish two different cases, depending on the sign: • Re-infection ζ > 0: a positive ζ implies that removed individuals become susceptible again after some time. This can be interpreted to mean that recovery from the disease only grants temporary immunity, such that a re-infection at some later time is possible. At large times t → ∞, the system enters into an equilibrium state, such that (S(t) , I(t) , R(t)) approach constant values (S(∞) , I(∞) , R(∞)). To find the latter, we impose the equilibrium conditions which have as solution Here we have used that 0 ≤ (S(t) , I(t) , R(t)) ≤ 1 (in particular that (S(t) , I(t) , R(t)) cannot become negative) as well as the fact that the equilibrium point (1, 0, 0) cannot be reached for S 0 < 1 and γ > : indeed, this would require which are not compatible with Eqs (3.4). 5 The two qualitatively different solutions of Eqs (3.4) that lead to the asymptotic equilibria (3.13) are plotted in Fig. 15 : for σ < 1 (left panel), the disease is eradicated and the individuals that have been infected eventually move back to be susceptible; for σ > 1 (right panel), after some oscillations, an equilibrium is reached between the infections and the end of immunity and the number of infectious individuals tends to the non-zero constant given in Eq.(3.13) (this corresponds to an endemic state of the disease). The distinction between eradication of the disease and the endemic phase does not depend on S 0 (except for the trivial initial condition S 0 = 1) but only on the basic reproduction number σ. This fact can be intuitively understood as the rate ζ dynamically increases the number of susceptible individuals, thus the regime becomes independent of the initial condition. • Direct immunisation ζ < 0: a negative ζ implies the possibility that over time susceptible individuals can become removed and thus immune to the disease, proportionally to the number of removed individuals. Schematically, different solutions are shown in Fig. 16 . For ζ < 0 the dynamics always leads to the asymptotic values (S(∞) , I(∞) , R(∞)) = (0, 0, 1) at large t → ∞. The relation between Compartmental Models and Percolation Field Theory has already been established in Section 2.4. However it is also possible to link the numerical simulations to the SIR model directly, as the microscopic processes in the lattice simulations are in one-to-one correspondence with the transfer mechanisms among compartments in the SIR model. To visualise this we used the results in Fig. 4 , where the lattice is of size 201 × 201 (i.e. a population of 40401) and the recovery probability is fixed to 0.1. Once the recovery rate and the initial number of susceptible individuals S 0 is fixed, in the SIR model the value of the infection rate completely determines the asymptotic number of total infected via Eq.(3.11). For each coordination radius, we look for the best rescaling of the infection probability that could reproduce the behaviour in Fig. 4 , i.e. we compute the optimal ρ such that changing g −→ ρg gives the best fit of the numerical results. We show the solution in Fig. 17 . The results clearly show that increasing the coordination radius improves the match between the lattice and the SIR model results. The reason for this is simple: for maximal coordination radius, the mean-field approximation applied to Eq. (2.13) leads directly to the SIR equations. The reason is that any infectious site can infect any susceptible site on the lattice with equal probability. Numerical lattice simulations of compartmental models, and in particular of the SIR type, have been widely used in the literature (see e.g. [121, 122, 123, 124] ). Apart from the numerical solutions, we can also gain insight into analytical aspects by discussing a parametric solution of the classical SIR model [30] . For simplicity, we assume ζ = 0, such that the system in Eqs Since the constraint in Eq.(3.1) allows to remove one function, e.g. R(t) = 1 − S(t) − I(t), it is sufficient to consider the differential equations for S and I. Dividing the latter by the former, we obtain a differential equation for I as a function of S which can be integrated to The parameter σ is defined in Eq. for different initial conditions and σ = 0.9 (left) and σ = 3 (right) is shown in Fig. 18 . These plots once more highlight the qualitatively different solutions: the solution I(S) in Eq.(3.18) has a maximum at I max = 1 − 1 σ (1 + ln(σS 0 )), which lies inside of P only if the initial effective reproduction number defined in Eq. (3.5) is R e,0 ≡ σS 0 ≥ 1. Since S(t) is a monotonically decreasing function of time, as demonstrated in [30] , this implies that: • If R e,0 ≤ 1, then I(t) tends to 0 monotonically for t → ∞, as already established before. • If R e,0 > 1, I(t) first increases to a maximum equal to 1 − 1 σ (1 + ln(σS 0 )) and then decreases to zero for t → ∞. The limit S(∞) = lim t→∞ S(t) is the unique root of in the interval [0, 1 σ ], which is explicitly given in terms of the Lambert function in Eq.(3.11). Furthermore, inserting the solution (3.18) into Eq.(3.15), we obtain the following non-linear, first order differential equation for S (as a function of time) The latter can be solved numerically using various methods. The SIR model, with 3 compartments (S, I, R) and constant rates γ, and ζ, provides a simple, but rather crude, description of the time evolution of an epidemic in an isolated population. This description can be refined and extended in various fashions. The most common way consists in adding more compartments, with more refined properties, giving birth to models like SIRD (including Deceased separately), SEIR (including Exposed individuals, in presence of a substantial incubation period), SIRV [125, 126] (see also [127] ) (including vaccinated individuals), an so on [32] . Here, as an illustration, we shall discuss some generalisations of the SIR model that do not introduce fundamentally new compartments: in Section 3.5.1 we shall allow for time-dependent infection and recovery rates, in Section 3.5.2 we shall include new terms in the differential equations (3.4) that simulate the spontaneous appearance of new infectious (e.g. from outside of the population), while in Section 3.5.3 we allow for multiple different types of infectious individuals in an attempt to model inhomogeneous spreading of the disease among the population. While these variations add new compartments to the system, these are not of a completely new nature but simply copy an already existing compartment. In all cases we shall motivate how these modifications can be used to describe specific features of certain diseases. For more general compartmental models (notably with the addition of completely new compartments) we refer the reader to the above mentioned literature (see e.g. [32] for an overview). Another generalisation is the inclusion of the spatial evolution of the disease. This generally leads to coupled differential equations which are of first order in the time variable and of second order in the spatial variable. We shall not discuss these approaches in any detail in this review. In the SIR model of Eqs (3.4), the rates (γ, , ζ) are considered to be constant in time. This assumption is difficult to justify, in particular for epidemics that last over an extended period of time: many diseases show (natural) seasonal effects [128, 129] related to the weather dependence of the effectiveness of transmission vectors or the behaviour of hosts (e.g. it can be argued that the rate of child infections is linked to the cycle of school holidays [130] ). Furthermore, even in the absence of an effective vaccine, populations may take measures to prevent the spread of the disease by imposing social distancing rules or quarantine procedures, thus changing the (effective) infection rate γ. Pathogen mutations and various forms of immunisations (including vaccines) can also increase or reduce the value of γ over time. With a prolonged duration of an epidemic, more data about the disease can be collected, leading to better ways to fight it on a biological and medical level, thus changing the recovery rate . Similarly, the disease may mutate and bypass previous immunisation strategies, thus changing the rate ζ at which removed individuals may become susceptible again. Modelling such effects and gauging their impact on the time evolution of an epidemics requires (γ, , ζ) to change over time. In practice, this can be achieved by either interpreting them as explicit functions of t ∈ R, i.e. (γ(t), (t), ζ(t)), or by considering them to be functions of the relative number of susceptible and/or infectious individuals, i.e. (γ(S, I), (S, I), ζ(S, I)). Since (S, I) themselves are functions of time, the latter possibility induces an implicit dependence on t. For example, periodic and seasonal models in which these rates are assumed to be smoothly varying functions in t have been developed for HIV [131] , tuberculosis [132] or cutaneous leishmaniasis [133] , while models for pulse-vaccinations have been proposed in [134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144] (a model which in addition takes into account seasonal effects was presented in [145] ). The functional dependence can furthermore be used, for example, to model population-wide lockdowns, i.e. quarantine measures that are imposed if the relative number of infectious individuals exceeds a certain value. In the following we shall provide a simple (numerical) example of how the time dependence of different parameters affects the time-evolution of the pandemic. We start by a simple model that can be used to qualitatively assess the efficiency of lockdown measures. To this end, we assume a 'base' infection rate γ 0 =const., but assume that the population takes measures (social distancing, lockdowns, etc.) to ensure that the actual infection rate γ(t) is reduced by a percentage w if the number of (active) infectious individuals exceeds a certain value ∆I. To model such social distancing measures in a very simplistic fashion, we introduce the following implicit time-dependence: where θ is the Heaviside theta-function. 6 We hasten to add that Eq.(3.22) offers a very crude depiction of lockdown and quarantine measures taken by societies in the real-world: indeed, decisions on whether or not to impose a lockdown (or other social distancing measures) are usually based on numerous indicators which would (at least) require a more complicated dependence of γ on I (e.g. its derivatives or averages of I over a certain period of time prior to t). Furthermore, the conditions when a lockdown is lifted are typically independent of those when it is imposed. An exemplary numerical solution of Eqs (3.4) for the particular γ in Eq.(3.22) is shown in Fig. 19 . For better comparison we have also plotted I no-q (t), which is the solution for I(t) in the case of constant γ = γ 0 = const. (i.e. with no reduction of the infection rate) and all remaining parameters chosen the same. Despite its simplicity and shortcomings, the model allows to make a few basic observations: the plot shows that the time-dependent infection rate leads to a reduction of the maximum of infectious individuals ('flattening of the curve'). Moreover, this simple model allows to compare the effectiveness of the quarantine measures as a function of w and ∆I. To gauge this effectiveness, we consider the cumulative number of infected individuals, which is plotted for different values of w and ∆I in Fig. 20 . These plots confirm the intuitive expectation that lockdown measures are the more effective the stronger the reduction of the infection rate is and the earlier they are introduced. However, due to its simplicity, the model also misses certain aspects compared to the time evolution of real-world communicable diseases in the presence of measures to prevent its spread: for example, possibly due to non-zero incubation time of most infectious diseases, the effect of quarantine measures on the number of infectious individuals can be detected only a certain time after the measures have been imposed (see [146, 147, 148, 149] where this has been established for the COVID-19 pandemic). To include the latter would require a refinement of the model. In Section 2.3, in the context of percolation models, we have discussed microscopic processes that correspond to the spontaneous creation of infected individuals. Such processes can simulate, for example, the infection of individuals through external sources (e.g. pathogen sources, contaminated food sources, wildlife, etc.), but may also be used to model the infection of susceptible individuals through asymptomatic infectious individuals or the appearance of infectious individuals from outside of the population through travel. How to introduce this process in SIR-type models has been discussed at the end of Section 2.4. Mathematically, the SIR equations (3.4) can be extended to This is schematically shown in Fig. 21 , where we show the solutions for ξ = 0 (left panel) compared to where the rate ξ =ξ of Section 2.4. The system still needs to be solved with the initial conditions (3.3). Here ξ ∈ R + is a constant that governs the rate at which new infectious individuals appear in the population, corresponding to a qualitative change in the basic infection mechanism: since susceptible individuals can contract the disease even if there are no infectious individuals present in the population, the epidemic can not be stopped before the entire population becomes infected. As a consequence, the cumulative number of infected tends to N for t → ∞. the solution for ξ = 0 (right panel). In the former case, the number of cumulative infected tends to a finite value, while in the latter case, lim t→∞ S(t) → 0. Following the discussion in Section 3.5.1, we can also analyse the effect of a time-dependent rate ξ(t). This can be used to model a time-dependent rate of the spontaneous creation of new infectious individuals, e.g. induced by quarantine measures or geographical restrictions of the population. As a simple example, we have plotted the numerical solution for a periodic function ξ in Fig. 22 . Since ξ does not remain zero after finite time, the relative number of susceptible tends to 0 (indicating that the entire population is infected for t → ∞). Moreover, the solution features oscillations in time, which could be interpreted as different waves of the epidemic spreading in the population. As another generalisation of compartmental models, we consider adding multiple versions of the compartments S, I, R [150, 151] to model the heterogeneity of social interactions and their impact on the spread of a disease: indeed, indications for superspreaders (i.e. individuals who transmit the disease with a significantly higher rate than average) have been found in many diseases (e.g. influenza [152, 153] , rubella [154] ) and for certain diseases it has in fact been suggested that only a small fraction of the population is responsible for most infections (see e.g. [155, 156] for a study of . Similarly, the gender of individuals plays an important role in the modelling of sexually transmitted diseases (see e.g. [157, 158, 159, 160] for the study of gonorrhoea, which also suggests the necessity of an extended range of contact rates [150] ). To account for these modified contact rates, modifications of the SIR model (as described above) have been suggested, which consist in adding multiple compartments of infectious individuals, i.e. new subgroups that allow to refine the study of the disease spread in a not-so-uniform population. These additional compartments can, therefore, distinguish individuals based on biological/medical indicators (e.g. gender, age, preexistent medical conditions, etc.), geographic distribution, social behaviour and/or may be used to introduce additional stages in the progression of the disease, such as latency periods or different stages of symptoms. Inclusion of more compartments naturally renders the relevant set of differential equations more complicated and is more demanding in terms of computational costs (see [161] as an example). Furthermore, the increase in the number of parameters (rates) leads to a loss of predictive power compared to simpler models. In the following we shall present one simple example that includes one additional class of infectious individuals. This model is useful in characterising different (social) behaviours among individuals. Indeed, in general, the infection rate γ is not homogeneous throughout the entire population, since it depends on various factors such as geographical mobility, social behaviour etc., which may vary considerably. A particular effect in this regard is the existence of so-called superspreaders. These are individuals who are capable of transmitting the disease to susceptible individuals at a rate that significantly exceeds the average. The presence of superspreaders can be described by introducing two groups of infectious individuals I 1,2 , with different infection rates γ 1,2 and appearing with a relative ratio β ∈ [0, 1]. Extending Fig. 12 , the new flow among compartments is shown in Fig. 23 (for ζ = 0) , and can be described by the following differential equations [150] : together with the initial conditions In [150] the parameters β, γ 1,2 , and were assumed to be constant in time. By defining an effective infectious population J = (γ 1 I 1 + γ 2 I 2 )/λ, we can extract the following differential equations for (S, J) 7 Thus, for S and J we obtain the same equations as in the classical SIR model, which can be solved along the lines of Section 3.4: we extract the following non-linear first-order equation for S: As was pointed out in [150] , the SIR model with superspreaders leads to the same dynamics as the classical SIR models, albeit with a larger-than-average infection rate λ, due to the contribution of superspreaders. With constant infection and recovery rates and monotonically diminishing number of susceptible (i.e. for ζ = 0), the impact of superspreaders is conceptually not detectable. Nevertheless, from the perspective of the total number of infected, superspreaders may have a significant impact in driving the epidemics. In Fig. 24 (left) we have plotted the time evolution of a typical solution, which indeed follows the same pattern as the usual SIR model. However, as visible from Fig. 24 (right) , even the presence of a relatively small number of superspreaders can have a strong impact on the cumulative number of infected. Finally, it was argued in [150] that in situations in which the number of susceptible individuals is no longer a monotonical function (which can for example be achieved by allowing for a non-trivial ζ), the time evolution of the SIR model looks qualitatively different in the presence of superspreaders. As we have seen from simple numerical studies in Section 3.2, solutions (S(t), I(t), R(t)) of the classical SIR equations (3.4) exhibit interesting properties as functions of time, which structurally remain valid for many of the generalisations discussed in Section 3.5. In particular, the solutions show a qualitatively different behaviour when a key parameter (in the classical SIR model, the initial effective reproduction number R e,0 = S 0 σ) exceeds a critical value. This seems to play a similar role to an ordering parameter in physical systems undergoing a phase transition. A further related observation is the fact that Eqs (3.4) are invariant under a re-scaling of the time-variable, if simultaneously all the rates are also re-scaled: This rescaling of the time-variable is structurally not unlike the change of the energy scale in quantum field theories that is used to describe the Wilsonian renormalisation of the couplings among elementary particles [86, 87] . The renormalisation flow can also feature similar symmetries to the ones of the solutions of the SIR equations. Compartmental models can be formulated in a way that is structurally similar to Renormalisation Group Equations (RGEs) [92, 162] , and this analogy lead to the formulation of an effective description called epidemiological Renormalisation Group [92, 93] , which we will introduce in the next section. To understand the analogy, we recall that most (perturbative) quantum field theories are effective models: they are typically based on an action that encodes fundamental interactions of certain 'bare' fundamental fields, whose strength is described by a set of coupling constants {λ i } (where i takes values in a suitable set {S}). Each effective description, however, is generally well adapted only at a certain energy scale, beyond which new degrees of freedom are more appropriate and new interactions may become important. In practice, one introduces a cut-off parameter (or some other regularisation form), beyond which the effective description is no longer valid. The effective theory can thus be interpreted as encoding all effective interactions, after having integrated out all interactions at energy scales higher than the cut-off. From this perspective it is clear that changing the energy scale (and thus the cut-off) will lead to different interactions being integrated out and thus has a strong impact on the theory, along with the fundamental degrees of freedom and the couplings used to describe it. The process of arriving at the new effective theory is called renormalisation. To describe it, we study universal quantities that are invariant under the renormalisation, first and foremost the partition function Z({λ i }), which encodes the statistical properties of the quantum system and depends on the set of coupling constants mentioned before. For the purpose of this review, we can think of Z as a mathematical function that encodes all the physical properties of the system and its symmetries, independently on its explicit definition. One of the symmetries is, as already mentioned, the invariance under renormalisation, i.e. the change in the energy scale of the physical interactions. If {λ a } (with a taking values in a new set {S }) is the new set of renormalised couplings and Z the partition function of the renormalised theory, invariance of the partition function implies (3.31) Hence, by continuously changing the energy scale, the theory sweeps out a trajectory in the space of all possible effective theories, called the renormalisation group flow, which is governed by the invariance Eq.(3.31) . From the perspective of the interactions, the theory sweeps out a trajectory in the space of all couplings λ i . This is governed by the beta-functions β i (λ k ), defined as the derivatives of the couplings λ i with respect to the logarithm of the cut-off parameter, and are functions of the couplings λ i themselves. The flow is thus described in terms of a system of differential equations, like the SIR model does, whose fixed points (i.e. zeros of the beta functions) denote critical (i.e. scale invariant) points of the theory. Before making the connection to epidemiology, we remark that physical theories in general allow for field redefinitions, which means that they can be equivalently formulated using different bare fields. This implies that the coupling set {λ i } is not uniquely determined, but should rather be thought of as a (local) choice of basis in the space of couplings. A specific choice of a set of {λ i } is called a renormalisation scheme. While a priori the specific form of the beta-functions depend on the scheme (in particular their perturbative expansions as functions of the {λ i }), a change of scheme can be understood as an analytic transformation in the space of couplings. In [92] , and subsequent works [93, 94, 163] , it was suggested to interpret the time evolution of the spread of a disease (specifically COVID-19) within the framework of the Wilsonian renormalisation group equation. We shall explain this description in more detail in Section 4. In the following, however, we shall show how such a description can at least qualitatively be obtained from the SIR equations by allowing time-dependent infection and removal rates, as first pointed out in [93] . In preparation to Section 4, we notice that the SIR model (with ζ = 0, but time-dependent infection and recovery rates γ(t) and (t)) can be written in a form which is strongly reminiscent of a RGE. To this end, we return to Eqs (3.15) and repeat the same steps as in Section 3.4, except for allowing σ : [0, 1] → R + to be a priori a function of S. Thus, we can integrate Eq. . Next, generalising what was proposed in [92, 163] , we define an epidemic coupling α(t) as a function of the cumulative number of infected individuals: where φ : [0, N ] → R is a strictly monotonically growing, continuously differentiable function with nonvanishing first derivative. A priori, φ could also explicitly depend on t (not only through I c (t)), but in the following we shall not explore this possibility. In [92] , in the context of the COVID-19 pandemic, φ was chosen to be the natural logarithm, while in [163, 164] φ(x) = x was chosen. For the moment, we shall leave φ arbitrary, which mimics the liberty to choose different renormalisation schemes in the framework of the Wilsonian approach. Upon defining formally the β-function as Eq. (3.34) can be re-formulated as . (3.37) An explicit example that is designed to make contact with the work in [163] is discussed in Section 3.6.2. Eq.(3.37), at least structurally, resembles a RGE and has several intriguing properties to support this interpretation. Note that with Eq.(3.6), we can also write which vanishes when: • the infection rate vanishes γ(t) = 0, • or there are no susceptible individuals left S(t) = 0, • or the number of active infected vanishes I(t) = 0 and the disease is eradicated. Further (structural) evidence can be given by considering concrete solutions: an example for the interplay between the beta-function and σ is provided in the following Section 3.6.2. Furthermore, independently of its connection to compartmental models, a renormalisation group approach can be used to model and describe the dynamics of an epidemic, as we discuss in Section 4. We now discuss via a concrete example how to formulate a SIR model (with time-dependent σ(t)) in a way that reproduces the eRG framework, which will be discussed in more detail in the next section. This relation has been first discussed in [93, 94] . Following the logic outlined above, we will highlight the similarities between the SIR equations and RGEs. In particular, we show how a particular beta-function can be obtained from a time-dependent σ, starting from Eq. (3.37). Concretely, we shall make contact with the following: where φ(I c ) = I c , and p, δ, A are constant. The form of the beta-function (3.39) will be motivated and discussed in more detail in Section 4.2 and is used to study a single wave followed by an endemic period characterised by a quasi linear growth, which can be precursor to a next wave. We shall return on this linear period in Section 3.7. As a starting point, we shall consider a SIR model where, for simplicity, is constant, i.e. the rate of recovery remains constant throughout the pandemic 8 , while γ and σ = γ are continuous functions of S. Finally, to make contact with Eq.(3.39), we shall consider the asymptotic limit S 0 → 1. Identifying the function β(t) in Eq.(3.38) with β 0 leads to an integral equation that, for constant , can be turned into a differential equation for σ(t) (recall that S = 1 − Ic N ): (3.40) The equation above can be brought into the form (3.41) In the above and following equations, the prime indicates a derivative with respect to the argument of the function. The general solution of this first order, non-linear differential equation is Here σ 0 is an integration constant, which can be determined by comparing the first derivative of β 0 and β at S = S 0 → 1 (i.e. at I c = N (1 − S 0 ) = 0). In fact, β 0 (0) = β (0) implies With β 0 given in Eq.(3.39), the integral over g 1 can be performed analytically (involving an Appell hypergeometric function). However, using this result to insert D(S) into the first expression in Eq.(3.42), the integral in the denominator is more involved and we could only find analytic solutions for generic 9 λ, for (p = 1 4 , δ = 0) and (p = 1 2 , δ = 0), whose limit S 0 → 1 is However, the integration can be performed numerically, and for different values of (p, δ), σ as a function of I c is shown in Fig. 25 . We note that for p ≤ 1/2, Im(σ) = 0 for I c > A, thus indicating that the solution does not extend beyond the maximal number of cumulative infected I c = A (see Fig. 26 ). Similar plots for δ = 0 are shown in Fig. 27 . Finally, we also remark that the numerical integration allows us to include δ < 0 and can even be generalised to more general classes of β-functions proposed in [163] as shown in Fig. 27 . In the case ζ > 0 we remark that Im(σ) = 0 for I c > ζ −1 , indicating as above the breakdown of the assumptions. Many epidemics generated by an infectious disease feature a multi-wave pattern, with periods in between waves where an approximately linear growth of the number of infected is observed. As an example, COVID-19 data show this period very clearly in most of the countries, thanks to the large amount of data collected (see Section 5) . This phase of the epidemic, which links two consecutive waves, has found a natural explanation in the eRG framework [163, 164] , which we will review in Section 4.2. Here we attempt to describe this linear phase from the perspective of compartmental models. In fact, we have seen from the explicit solutions in Section 2 that such a behaviour is not found in simple percolation models in which, notably, the probability or rate of infection remains constant throughout the entire pandemic. Similarly, this type of solutions is absent in compartmental models. However, more general approaches and extensions of these simple models might exhibit such linear growth phases. Since the phenomenon is seen in the cumulative number of infected (which is a 'global' key figure pertaining to the entire population), we shall in the following analyse it from the perspective of a SIR model, with time-dependent infection and recovery rates. We consider a SIR model described by the equations (3.4) and the initial conditions (3.3) with timedependent γ, and ζ (see Section 3.5.1). We define a linear growth regime as a period in time [t 1 , t 2 ] during which the cumulative number of infected I c , defined in Eq.(3.6) as is a linear function of time. In other words, while 0 ≤ S(t), I(t), R(t) ≤ 1, with f ∈ R + . This implies The condition above allows to analytically solve the SIR equations (3.4) ∀t ∈ [t 1 , t 2 ] with the initial conditions at the beginning of the linear growth To see this, we define which have the properties Next, we insert the constraint in Eq.(3.48) into Eqs (3.4) to obtain This differential equation only contains I (hence, it is decoupled from S and R). Multiplying by D (t), we find dI dt which can be directly integrated, with the initial conditions (3.49), as: For the relative number of recovered, R, we can integrate the last equation of (3.4) where, inserting the solution for I(t) in Eq.(3.54), the right hand side can be understood as an inhomogeneity. Multiplying by D ζ we obtain, as before, which can be directly integrated, with the initial conditions (3.49), to give To simplify the solutions found above, we can adapt the functions ζ and to reflect more closely the COVID-19 pandemic: since currently only very few cases of patients contracting COVID-19 twice within a short time, i.e. a single epidemic wave, are known in the medical literature [165] we can set ζ(t) = 0 to simplify the solutions (3.54) and (3.57) . Since ζ = 0 also implies D ζ (t) = 1, we find for these solutions We have explicitly verified that this is indeed a solution of Eqs (3.4) that satisfies the correct initial conditions. Furthermore, since the recovery rate in most cases depends on the disease in question and/or the state of medical advancement to cure it, is difficult to change throughout a pandemic without significant effort. For simplicity, we therefore consider it in the following to be constant, i.e. = const. (in addition to ζ = 0), such that D (t) = e (t−t1) . In this case, we can perform the integrations in Eq.(3.58) to obtain as well as the relative number of removed One can directly verify that these expressions satisfy Eqs (3.4) along with During the linear growth periods, the COVID-19 data also shows that the number of active infectious individuals remains constant. Intriguingly, this feature is also observed in the solutions in the left panel of Fig. 28 . In this section, we will seek a solution of the SIR model with this property, i.e. for some f ∈ [0, 1], which in particular implies and thus for ζ = 0 For ζ = 0 we obtain the following constraint for the infection and recovery rate For the classical SIR model (for which and γ are time-independent ∀t and ζ = 0), assuming that γ = 0, the constraint (3.66) implies that either • f = 0, which however is excluded since I = 0; • or = 0, in which case dR dt = 0 ∀t (i.e. not just t ∈ [t 1 , t 2 ]). However, with the initial conditions (3.3) this implies R(t) = 0 and thus d dt Thus, within the classical SIR model, the only solution with I(t) = f = 0 constant is = 0 (i.e. instead of the SIR model we only consider the SI model) and I = 1. This corresponds to the late phase of the SI model, where the entire population is infected. We, therefore, see that the traditional SIR model cannot account for the linear growth of the cumulative number of infected related to Eq.(3.63) and observed in the COVID-19 data. Executive Summary • We introduce the epidemic renormalisation group approach that efficiently captures asymptotic time symmetries of the diffusion process. • The framework is based on flow equations characterised by fixed point dynamics. • We show the power of the approach by studying single wave epidemics, which can be naturally generalised to describe multi wave patterns via complex fixed points • We demonstrate how the spreading of diseases across different regions of the world can be efficiently described and predicted As anticipated in the previous section, it has been proposed in [92, 94] to study the spread of a communicable infectious disease within the framework of the Wilsonian renormalisation group [86, 87] . We have already pointed out in Section 3 that the SIR model, defined by the differential equations (3.4), can be formulated in a fashion that is structurally similar to a set of RGEs (see [162] ). In this section we review the new framework, first proposed in [92, 94] , dubbed epidemic Renormalisation Group (eRG). The eRG framework consists, effectively, in a single differential equation that captures the time evolution of the disease diffusion, after the microscopic degrees of freedom and interactions have been 'integrated out' and all the detailed effects (virulence of the disease, social measures, etc.) are taken into account by the few parameters in the equation. This leads to a much more economical description in terms of calculation complexity as compared to microscopic or compartmental models. At this stage, the main relation with the renormalisation group is the fact that symmetries can be explicitly included in the formalism. In the case of the eRG, the symmetries are related to time scale invariance, i.e. the presence of phases where the disease diffusion is (nearly) stable in time. In the Wilsonian renormalisation group, which describes the energy dependence of physical charges (for instance, the interaction strength among fundamental particles), the symmetries involved are related to scale invariance of distances and energies. A RGE, therefore, describes the energy flow of a charge from the Ultra-Violet (UV) regime at high energies to the Infra-Red (IR) regime at low energies. The eRG also describes a flow, however in time instead of in energy, as we will see shortly. The physical charge is replaced by an epidemiological charge, which is defined as a monotonic, differentiable function of the cumulative number of individuals infected by the disease as a function of time. This discussion has already been anticipated in Section 3.6.1. The economy of this approach in terms of free parameters and computing time needed to solve the flow of the disease makes it an ideal tool to study the diffusion of an infectious disease at different scales, from small regions to a global level. The eRG framework has been first used to characterise a single epidemic wave, i.e. a single episode of exponential increase in the number of infections followed by an attenuation [92] , and extended to study the inter-region propagation of the disease [94] , with validation on the COVID-19 data in Europe [95] and in the US states [96] . Mobility data have also been used to study the effect of non-pharmaceutical interventions [149] as well as the role played by passenger flights in the US [96] . As we also review in this section, the framework can be extended to include the multi-wave pattern [163, 164] that emerges in many communicable diseases, like the 1918 influenza pandemic, the seasonal flu and the COVID-19 pandemic of 2019. Finally, preliminary work on the inclusion of vaccinations [96] and virus mutations [166, 167] are present in the literature, however we will not cover them in this review. The main motivation behind the eRG approach to epidemiology stems from the observation that a single epidemic wave starts with a very small number of infected individuals and ends when the cumulative number of infections reaches a constant, hence no new infections are detected. This dynamics is characteristic of a system that flows from a fixed point at t = −∞, when no infections are present, to a new fixed point at t = ∞, when the number of cumulative infections reaches a constant value again. The dynamical flow between the two fixed points can be described by the following differential equation: where α is a function of the number of infected, hence a function of time. The precise form of this equation is an ansatz, for now, and we will establish the precise relation between α and the number of infections later. The main feature to stress is the presence of two zeros, corresponding to the fixed points of the system: if α(t 0 ) = 0 or α(t 0 ) = A at any time t 0 , the system will remain in this state at all times. The zeros can be characterised through the so-called scaling exponents: where α * is the epidemic coupling constant at the fixed point. A negative (positive) scaling exponent corresponds to a repulsive (attractive) fixed point. Thus, a system in the repulsive fixed point at α * = 0, once perturbed (by a small initial number of infected individuals) will flow towards the attractive fixed point at α * = A. As such, A is a function of the cumulative number of individuals infected during the epidemic wave. The solution of Eq.(4.1) is a logistic function (sigmoid) of the form: where A, B, λ ∈ R + \ {0}. This function shows a characteristic 'S'-shape (see Fig. 29 for a schematic representation) and has the following asymptotic values corresponding to the zeros of the derivative dα dt = 0. As already mentioned, the parameter A corresponds to (a function of) the asymptotic number of infected cases during the epidemic wave. The second parameter in Eq.(4.1), λ, which has dimension of a rate, measures how fast the number of infections increases, while B is an integration constant that corresponds to a shift of the entire curve in time and determines the beginning of the infection increase. More details about the properties of this function and its epidemiological interpretation can be found in [92] and will not be repeated here. It is, however, important to notice that the parameters λ and A can be removed from the differential equation by a simple rescaling of the function and of the time variable: Thus, while A is a mere normalisation, λ can be thought of as a 'time dilation' parameter. Once the normalised solutions are shown in the 'local time' τ , therefore, all epidemic waves should reveal the same universal temporal shape. This universality property has been first pointed out in [92] from data of the Hong Kong (HK) Sars-2003 outbreak as well as the COVID-19 pandemic during the spring of 2020. It has been shown that the time dependence of the cumulative total number of infected cases in various regions of the world shows the same characteristic behaviour. In [92] , the epidemic coupling has been defined as the logarithm of the cumulative infected, α(t) = ln I c (t), however other choices, like α(t) = I c (t), can also reproduce the data. The same framework can also be applied to the number of hospitalisations or the number of deceased individuals. This feature of the epidemiological data shows that the dynamics encoded in Eq.(4.1) provides an accurate description of the diffusion of an infectious diseases in terms of a flow equation. In [92, 94, 163] the following dictionary between the spread of an epidemic and the Wilsonian renormalisation group was proposed: • The time variable is identified with the (negative) logarithm of the energy scale µ where t 0 /µ 0 set the scale for the time and energy (for simplicity, and without loss of generality, we will fix t 0 = 1). With this identification, Eq.(4.1) is similar to the RGE for the gauge coupling in a theory that features a Banks-Zaks type fixed point [168] , i.e. an interactive fixed point at low energies (in the Infra-Red). • The solution can be associated to a coupling constant in the high energy physics RGEs, α. The epidemic coupling strength is defined as a monotonic, differentiable and bijective, function φ of the cumulative number of infected cases In [92, 163] φ was chosen as the natural logarithm φ(x) = ln(x), while in [163, 164] it was chosen φ(x) = x. The choice was justified by a better fit to the actual data of the COVID-19 pandemic, while from the perspective of the Wilsonian renormalisation group, the difference corresponds to a different choice of scheme. • The beta function is defined as the (negative) time-derivative of the epidemic coupling strength In order to better model the respective data of various countries during the COVID-19 pandemic, it was furthermore proposed in [163, 164] to consider the more general beta-function for p ∈ [1/2, ∞] and λ, A ∈ R + . The role of the exponent p is to smoothen the 'S'-shape of the solution when it approaches the attractive fixed point at α * = A. The approach discussed so far assumes an isolated population of sufficient size. However, the simplicity of the eRG approach allows for a simple generalisation to study the interaction between various regions of the world [94] via the mobility of individuals. For M separated populations (labelled by i = 1, . . . , M ) of size N i whose cumulative number of infected is denoted by I c,i , it was proposed in [94] that infections can be transmitted between these populations by travellers. Hence, the epidemic diffusion can be described by M coupled differential equations, in the form of Eq.(4.9) for each population, with the addition of an interaction term: where k ij ∈ R is a measure for the number of travellers between populations i and j. The contribution to the beta function can be obtained by replacing I c,i → φ −1 (α i ), where α i is the epidemic coupling in each population. For more details, see Ref. [94] . These coupled differential equations can be thought of flow equations, in the spirit of the Wilsonian renormalisation, with the second term representing a coupling between the different regions. A graphical representation of the coupled β-functions in Eq.(4.10) can be given in the form of flow in an M -dimensional space. In Fig. 30 , we provide a numerical (fictitious) example for M = 2: choosing the scheme α i (I c,i ) = ln(I c,i ) for i = 1, 2, the arrows indicate the vector field −β(α 1 ) −β(α 2 ) with the colour representing the length β(α 1 ) 2 + β(α 2 ) 2 at any point in the (I c,1 , I c,2 )-plane. The black dots are the actual trajectory of the system calculated as the numerical solution of the coupled differential equations (4.10). As it can be seen, the former flows along the arrows from a repulsive fixed point at (I c,1 , I c,2 ) = (0, 0) (all arrows point away from it), which represents the absence of the disease in both countries, to an attractive fixed point (all arrows point towards it) which corresponds to the eradication of the disease. The coupled eRG framework in Eq.(4.10) has been used to explain the diffusion of the COVID-19 pandemic across different regions of the world. This is one of the main mechanisms that can generate multiple waves across a geographic region, while a second one will be discussed in the next section. The method has been used to predict the arrival of a second COVID-19 wave, which has hit Europe in the fall of 2020 [95] : the new infections originate from a seed region, which can be interpreted as inflow from outside Europe or the effect of hotspots and clusters, while the number of travellers, i.e. the entries of k ij , were generated randomly. In Ref. [96] , the same framework was used to explain the geographical wave patterns observed in the United States, with the aid of open-source flight data to estimate the couplings. Although the beta-function in Eq.(4.1) is relatively simple and contains only two parameters, it describes the time evolution of short-time epidemics (such as HK SARS-2003 and each wave of COVID-19) quite efficiently, as the flow from a repulsive to an attractive fixed point (or from an UV to an IR fixed point in the language of high-energy physics). However, this beta-function is too simple to describe correctly longer lasting pandemics with a more intricate time-evolution, such as subsequent waves of COVID-19: the attractive fixed point at t → ∞ corresponds to a complete eradication of the disease and Eq. outbreaks that follow a single wave. We have already discussed the role of passenger mobility in generating further epidemiological waves. However, data from COVID-19 has unveiled a second potential mechanism that may be at the origin of multiple-waves: in fact, after the end of each wave, a period of linear growth has been observed in all regions of the world (except those where the virus has been locally eradicated thanks to aggressive isolation policies). This is characterised by a nearly-constant number of new infected cases, and it can be seen as an endemic phase of the pandemic, where the virus circulates within the local population, without an exponential increase. In [163] it was proposed that this linear phase is evidence for a near time-scale invariance symmetry in the dynamics governing the diffusion of the virus. In practice, the system does not reach the second fixed point of Eq.(4.1), instead it hits an instability that drives the system to a new exponential phase after a given amount of time. The time-evolution of pandemics can still be described within the framework of a RGE, however with a more complicated beta-function that features a richer structure of (complex) fixed points. The new framework was called the Complex epidemic Renormalisation Group (CeRG). In the CeRG approach, the beta function of Eq.(4.9) is modified as follows: where the additional parameter δ ∈ R − , i.e. δ = −|δ|. While this equation can be written for any epidemic coupling α, here we commit to the case α(t) = I c (t) for reasons that will be clear in the next Section. The eRG equation (4.9) can be recovered for δ → 0. For non-vanishing δ, instead of only two asymptotic fixed points, this functions has three fixed points with complex I c,± ∈ C. Besides the repulsive fixed point at I * c = 0, which remains, the attractive fixed point splits into two complex fixed points. Since the (cumulative) number of infected individuals is a strictly real number, the system cannot actually reach the complex fixed points and thus cannot exactly enter into a time-scale invariant regime at infinite time. Instead, for small |δ|, when the solution approaches the wouldbe fixed point at I c ≈ A, the time evolution will be strongly slowed down due to the effect of the nearby complex fixed points. This results in a near-linear behaviour of the solution, as shown in the left panel of Fig. 31 . Thus, the new beta function (4.11) realises an approximate time-scale symmetry in the solution. Concretely, the precise form of the flow in the vicinity of these complex fixed points depends on |δ|: • For |δ| < δ max = p 2 1+2p , the beta-function has a local maximum and I c enters into a regime of near linear growth characterised by In the context of epidemics, the linear growth phase can be associated to an endemic phase of the disease, when the virus keeps diffusing within the population without an exponential growth in the number of new infected (this corresponds to a situation with reproduction number R 0 = 1, which keeps the number of infectious cases constant). A connection of this regime with compartmental models of the SIR type has been presented in Section 3.7. • In the CeRG, the linear growth is only an intermediate phase, which preludes to a new exponential increase in the number of infections. The duration depends on |δ|, and can can be estimated as [163] ∆t endemic = −2 ∞ A dI c β(I c ) . (4.14) This time is plotted for different values of p as a function of δ in the right panel of Fig. 31 . • For |δ| ≥ δ max the beta-function no longer has a local maximum and I c keeps growing exponentially, without a linear growing phase. In Fig. 32 we represent the dynamics encoded in Eq.(4.11) as a flow in the complex space of I c . We clearly see that the system starts from the unstable fixed point at I c = 0, and moves towards the approximate one at ReI c ≈ A, where the evolution slows down. This is represented by the closeness of the data-points, which are calculated at equal intervals of time. We also show flows in the complex plane, which are unrealistic as I c remains a real number when describing a pandemic. Anyhow, all the solutions feature a slowing down of the infection growth near the complex fixed points, which reproduced the endemic phase of linear growth. The endemic linear-growing phase, therefore, is the prelude of a new wave of the epidemic diffusion. The CeRG approach can describe this endemic phase and the beginning of the next wave, however the number of infections would continue to grow indefinitely. In the following section we will further extend the approach to take into account the multi-wave pattern. Pandemics like the 1918 Spanish flu [1] and COVID-19 have shown the appearance of multiple consecutive waves of exponential increase in the number of infections. In the case of COVID-19, the data support the fact that an endemic linearly-growing phase is always present in between two consecutive waves [163] . The CeRG model can be extended to take into account this structure, in a way that reproduces nicely the current data [164] . The multi-wave beta function, for an epidemic with w consecutive waves, can be written as: with ζ ρ ≤ 1, |δ ρ | 1 and p ρ > 0 for ρ ∈ {1, . . . , w}. The normalisation A can be fixed to match the first wave, so that 0 < ζ w < · · · < ζ 2 < ζ 1 = 1 . Besides the repulsive fixed point at I * c = 0, the equation has a series of complex fixed points ruled by the parameters δ ρ . Without loss of generality, we can fix δ w = 0 so that the disease is extinguished after the last wave, and the total number of infections during the whole epidemic is given by lim t→∞ I c (t) = A/ζ w . This description, however, only works for α(t) ∝ I c (t), for which the value of the various fixed points are well separated [164] , but not for α(t) ∝ ln I c (t). In Fig. 33 we show the flow in the complex plane for Eq.(4.15) with two waves (ω = 2). After leaving the unstable fixed point at I c = 0, the system slows down near the complex fixed points, hence generating the linear endemic phase like in the CeRG approach, before entering a second wave. The latter ends at the final attractive fixed point. In the right panel we show the time evolution of I c (t) for this fictitious example, clearly showing two exponential episodes. As for the CeRG, the time delay between the two waves is controlled by the number of new cases in the endemic phase, i.e. by the parameter δ in Eq. (4.15) . Hence, this model highlights the importance of imposing some measures to limit the circulation of the virus after the end of an epidemic wave in order to tame and control the emergence of the next one. Note, finally, that this formalism can also be used for studying the diffusion in between different regions, by adding a coupling term like the second term in Eq.(4.10). The approaches that we have discussed in the previous sections are applicable to a large variety of infectious diseases. The main differences are in certain key parameters, such as the method of transmission of the pathogen, the incubation time, the infection and removal (mortality) rate, etc.. They influence the resulting time evolution of the epidemic and lead, for example, to a different total duration of the epidemic, total number of infected and fatalities, etc. In this section, as a study case, we present data for the cumulative number of infected individuals in various countries during the COVID-19 pandemic, which started at the end of 2019 and is still ravaging the world. Since large scale testing is at the heart of many countries strategies to combat this pandemic, there is a large amount of publicly available data documenting the spread of the SARS-CoV-2 across the globe. Here we use data from public repositories [169] for the time period of 15/02/2020 until 17/08/2021. We use these data to highlight peculiarities of the time evolution of the spread of the disease, namely the previously mentioned distinct multi-wave structure of repeated phases of exponential growth in the number of infected individuals interspersed with phases of (quasi-)linear growth: Figure 34 shows examples of the first of such waves in countries taken from all around the globe. The plots show the cumulative number of infected individuals as well as the cumulative number of deaths. These plots provide examples of the epidemiological dynamics under very different conditions not only with regards to geographical (e.g. size of the population, population density, level of urbanisation), climatic, economical (e.g. the gross national product of each country), socio-cultural and political factors (e.g. the level of medical care the population has access to), but also different strategies the countries have deployed to combat the epidemic. While this has lead to a different dynamics in each country (with regards for example to the total number of cases or the duration of the wave), the infection numbers all follow a similar shape. Indeed, as the solid lines in Fig. 34 shows, in each case the data can be fitted with a a logistic function of the form of Eq.(4.3) and the differences only lie with the different numerical parameters, as reported in Table 1 . Furthermore, Fig. 34 also shows the cumulative number of deaths in each country, which can also be fitted with a logistic function of the same form. As discussed in Section 4, the fact that epidemiological curves in very different regions of the world, under very different circumstances, can be fitted with a single class of functions is due to a self-similarity structure of the corresponding dynamics. Indeed, the underlying symmetry principle that organises the spread of the disease around (near) fixed points of flow equations is at the heart of the eRG approach. After the first wave of COVID-19, most countries have entered into an endemic phase, where the cumulative number of infected individuals has grown linearly, followed by further waves. As an example, show the infection numbers in 48 European countries for the entire duration of the pandemic so far. We have highlighted in each of them individual waves and have fitted them with a logistic function as a solution of the eRG approach that we have reviewed in Section 4. 10 As can be seen from the quality of the fit, although these functions only have three parameters (A, B, λ), they capture correctly the cumulative number of cases despite the fact that the data (even for different waves within the same country) represent very different epidemiological situations: • the countries show large geographical, climatic as well as socio-cultural differences; • the waves occur during different seasons under different meteorological conditions; • during each wave the governments of these countries have imposed different non-pharmaceutical interventions to reduce the spread of the virus; • since the beginning of 2021 all countries have started vaccination campaigns which have lead to a rate of roughly 60% of all adults across Europe being fully vaccinated by summer 2021; • since the beginning of the pandemic, the SARS-CoV-2 virus has mutated multiple times and several different variants (with different infection and mortality rates as well as different efficacy for the vaccines) have dominated certain periods of the epidemiological dynamics. As it is visible from the plots in Figs 35-38, despite all of these differences, the cumulative number of infected can still be organised by a self-similarity principle, which is characterised by logistic functions. Finally, in Figs 35-38 we have restricted ourselves to fit waves that occurred before the summer of 2021. Many countries, however, show in late summer/early fall of 2021 once more a tendency of growing infection numbers, which (despite the vaccination efforts), may indicate the onset of new waves. The study of the time evolution of infectious diseases is a long standing subject: the impact of pandemics on human society cannot be overstated (as the recent devastating case of COVID-19 has highlighted). Consequently, over the course of more than a century, numerous approaches and mathematical models have been proposed with the aim to predict the spread of diseases among a population, devise tools to estimate their biological, social and economical impact and develop strategies to mitigate the harm done to society as a whole. In this report we give a review of this endeavour that is inspired by theoretical physics, in particular the study of phase transitions and critical phenomena, encompassed by the framework of field theory. Indeed, we organise mathematical models ranging from 'microscopic' models, in which the spread of the disease is modelled at the individual level, to 'effective' models, in which these microscopic interactions have been 'summed up' and replaced by the description of the time evolution of suitable macroscopic degrees of freedom. We give concrete examples in each case and show how they are related to one another. We also show how to extend the models to account for observed phenomena, like multi-wave dynamics and the emergence of time-dependent symmetries such as approximate time-dilation invariance. We start with lattice and percolation models in Section 2. These are among the most 'microscopic' models and allow to simulate the spread of a disease at the level of individuals, therefore permitting to easily incorporate biological and social peculiarities related to the transfer of the disease from an infected individual to a susceptible one. Typically at great computational cost, these models provide insight into how these details influence the time evolution of the disease at larger scales and can highlight emerging patterns and symmetries. Indeed, via numerical analyses of simple models, we show in Section 2 the emergence of critical behaviour: as a function of some key parameters, the system undergoes a phase transition from a state where only a small fraction of the population gets infected over time to a state where a significant portion of individuals is affected. Near the critical point, this behaviour can be cast into a field theoretical description for which we review an action formalism. We next argue that mean field and averaging procedures of percolation models naturally lead to compartmental models. The latter are among the oldest descriptions of epidemiological processes (the SIR-model dating back almost a century) and are ubiquitous in the modern study of infectious diseases. As we review in Section 3, following our classification of approaches, compartmental models are effective descriptions: rather than describing the spread of a disease among individuals of the population, they comprise (first order) differential equations that yield (among others) the total number of infectious individuals in the population. The microscopic details of the spread of the disease have been 'averaged' and enter into the details of the equations. The seeming loss of control over the microscopic details of the infectious dynamics comes at the benefit of a more 'global' description of the disease (and typically a reduced computational cost). In Section 3, we provide an in-depth review of SIR-like compartmental models that, from a theoretical vantage point, elucidates their mechanics and dynamics. We analyse, review and extend the models to take into account single-wave dynamics, multi-wave patterns and even superspreaders, thus highlighting the flexibility of the approach as a whole. Finally, we also discuss that these models can be re-organised in a fashion to make efficient use of time-scaling symmetries of the epidemiological dynamics and which emphasises the role of fixed points. In Section 4 we develop these ideas further and discuss the epidemic Renormalisation Group framework, which is in fact organised around the symmetry principle of time-scale invariance of the diffusion solutions. Using intuition from particle physics, the epidemiological process is described through flow equations (called beta-functions), which govern the trajectories of the system that connect different fixed points. The latter correspond to stationary solutions of the dynamics, in which either no disease is present in the first place or it has been completely eliminated. By invoking an even richer structure of fixed points, an extended eRG approach allows to model multi-wave pandemics. The approaches and models outlined in this review can be adapted to a large range of different situations and cases: in Section 5 we have presented results related to the COVID-19 pandemic. We highlight how the multi-wave dynamics, as well as the impact of non-pharmaceutical interventions, vaccines and the geographical mobility of the (a portion of the) population can be modelled by the approaches outlined in the previous sections. In order to keep the discussion as simple as possible and to focus on the underlying 'physics', we have illustrated the ideas in this review by rather simple models. The latter can be much more refined and, for example, take into account other aspects and phenomena related to the spread of diseases. These range, for example, from developing strategies for protecting the population by implementing efficient vaccination campaigns and concrete strategies on the use of non-pharmaceutical interventions (such as lockdowns, social distancing measures and travel restrictions), to gauging the impact of mutations and adaptation mechanisms of pathogens [170, 171] . We have refrained from working out the latter in detail, but instead refer the reader to more specialised literature. Furthermore, due to their obvious applications, the tools developed in this review have been exclusively focused on the description of infectious diseases among a human population. While many of them have in fact been inspired by other systems (notably chemical reactions), they can be applied to other fields as well with equal ease and success: apart from the immediate applicability to other species (e.g. the spread of diseases among livestock), the ideas underlying the concrete models discussed here can be applied to a much larger range of problems. In fact, similar problems to the ones tackled here can be found in other complex systems as well, ranging from applications in network systems (e.g. the spread of computer malware in a decentralised system) to human behaviour [172, 173] as well as social engineering and media science (i.e. the spread of ideas and information in a network/society). influenza: The mother of all pandemics How does hiv cause aids? Emerging concepts in the immunopathogenesis of aids Essai d'une nouvelle analyse de la mortalité causée par la petite vtrole et des avantages de l'inoculation pour la prévenir, Mémoires de Mathématiques et de Physique The law of mass-action in epidemiology: a historical perspective On the cattle plague On Continuous Molecular Changes, More Particularly in Their Relation to Epidemic Diseases Age-incidence in relation with cycles of disease prevalence Epidemic disease in England: The evidence of variability and of persistency of type Epidemic disease in England: The evidence of variability and of persistency of type Epidemic disease in England: The evidence of variability and of persistency of type The Prevention of Malaria An application of the theory of probabilities to the study of a priori pathometry: Part I An application of the theory of probabilities to the study of a priori pathometry: Part II An application of the theory of probabilities to the study of a priori pathometry: Part III The rise and fall of epidemics, Paludism (Transactions of the Committee for the Study of Studies on the theory of continuous probabilities, with special reference to its bearing on natural phenomena of a progressive nature Applications of mathematics to medical problems A contribution to the mathematical theory of epidemics The Mathematical Theory of Infectious Diseases The use of epidemic models Epidemics and rumours: A survey Density dependence in parasite transmission dynamics A thousand and one epidemic models, in Frontiers in Theoretical Biology Periodicity in epidemiological models Periodicity and stability in epidemic models: A survey Mathematical models for the control of pests and infectious diseases: A survey Mathematical models for infectious disease statistics Qualitative analyses of communicable disease models Infectious Diseases of Humans: Dynamics and Control The mathematics of infectious diseases Population of Infectious Diseases Population biology of infectious diseases I The Biomathematics of Malaria Stochastic Population Models in Ecology and Epidemiology Analysis of Infectious Disease Data Vertically Transmitted Diseases Mathematical Structures of Epidemic Systems Atlas of Disease Distributions: Analytic Approaches to Epidemiological Data Epidemic Modelling: An Introduction Mathematical Modelling in Epidemiology Stochastic Processes in Epidemic Theory Ecology of Infectious Diseases in Natural Populations Ark, Modeling HIV Transmission and AIDS in the United States Gonorrhea Transmission Dynamics and Control Models for Infectious Human Diseases Epidemics of Plant Diseases: Mathematical Analysis and Modelling Mathematical Models of Epidemics SIMS Utah Conference Proceedings Epidemic Models: Their Structure and Relation to Data Hybrid Models of Tropical Infections Parasitic and Infectious Diseases Plant Diseases: Epidemics and Control Deterministic Threshold Models in the Theory of Epidemics Molecular size distribution in three dimensional polymers i. gelation Theory of molecular size distribution and gel formation in branched polymers ii. general cross linking Percolation Processes Fluctuation phenomena and stochastic processes Percolation Processes and Related Topics Graph theory and statistical physics An introduction to percolation theory The nature of percolation 'channels Percolation and Conduction Percolation and Related Topics Studies in Foundations and Combinatorics Scaling theory of percolation clusters Percolation theory Second quantization representation for classical many-particle system Stochastic theory of diffusion-controlled reaction Path integral approach to birth-death processes on a lattice Field theory notes, chapter 6, wwwf.imperial.ac.uk/∼pruess/publications/Gunnar Pruessner field theory notes Epidemic models and percolation Structure of the pomeranchuk singularity in reggeon field theory Directed percolation and reggeon field theory Statistical Modeling: The Two Cultures (with comments and a rejoinder by the author) Machine learning in population health: Opportunities and threats Using cluster analysis of cytokines to identify patterns of inflammation in hospitalized patients with community-acquired pneumonia: a pilot study Comparison of approaches for machine-learning optimization of neural networks for detecting gene-gene interactions in genetic epidemiology High-throughput discovery of targeted, minimally complex peptide surfaces for human pluripotent stem cell culture Machine learning in epidemiology and health outcomes research Coupled disease-behavior dynamics on complex networks: A review Renormalization group and critical phenomena. 1. Renormalization group and the Kadanoff scaling picture Renormalization group and critical phenomena. 2. Phase space cell analysis of critical behavior An experimental investigation of the circumstances which determine whether the motion of water shall be direct or sinuous, and of the law of resistance in parallel channels On the dynamical theory of incompressible viscous fluids and the determination of the criterion La renormalisation des constants dans la theorie de quanta Quantum electrodynamics at small distances Renormalization Group Approach to Pandemics: The COVID-19 Case Renormalisation Group approach to pandemics as a time-dependent SIR model Interplay of social distancing and border restrictions for pandemics (COVID-19) via the epidemic Renormalisation Group framework Second wave covid-19 pandemics in europe: A temporal playbook Impact of us vaccination strategy on covid-19 wave dynamics Statistical physics of human cooperation Statistical physics of vaccination On the critical behavior of the general epidemic process and dynamical percolation Critical behavior of the susceptible-infected-recovered model on a square lattice Epidemic outbreaks on two-dimensional quasiperiodic lattices Social distancing and epidemic resurgence in agent-based susceptible-infectious-recovered models A markovian decision process Dynamic Programming and Markov Processes The threshold of coexistence and critical behaviour of a predator-prey cellular automaton Spatial contact models for ecological and epidemic spread The mathematical theory of infectious diseases Modelling and simulation of covid-19 propagation in a large population with specific reference to indiadoi Modelling the situation of covid-19 and effects of different containment strategies in china with dynamic differential equations and parameters estimation The epidemiological transition: A theory of the epidemiology of population change The development and experience of epidemiological transition theory over four decades: a systematic review Numerical Recipes in FORTRAN: The Art of Scientific Computing Numerical Methods for Ordinary Differential Equations Complexity of the Basic Reproduction Number (R0) The concept of ro in epidemic theory Individual-based perspectives on r0 A brief history of r 0 and a recipe for its calculation Perspectives on the basic reproductive ratio The pluses and minuses of r0 Reproduction numbers for epidemic models with households and other social structures. i. definition and calculation of r0 Stochastic lattice gas model describing the dynamics of the sirs epidemic process Critical behavior of the susceptible-infected-recovered model on a square lattice Epidemic outbreaks on two-dimensional quasiperiodic lattices Epidemic outbreaks on random delaunay triangulations An extended seir model with vaccination for forecasting the covid-19 pandemic in saudi arabia using an ensemble kalman filter Vaccination strategy analysis with SIRV epidemic model based on scale-free networks with tunable clustering Analysis of an SIR epidemic model with pulse vaccination and distributed time delay Seasonal infectious disease epidemiology Seasonal variation in host susceptibility and cycles of certain infectious diseases Modeling infectious diseases in humans and animals Mathematical modeling and dynamics of hiv progression and treatment A tuberculosis model with seasonality The epidemic threshold of vector-borne diseases with seasonality: The case of cutaneous leishmaniasis in chichaoua, morocco Pulse mass measles vaccination across age cohorts Theoretical examination of the pulse vaccination policy in the sir epidemic model Pulse vaccination strategy in the sir epidemic model Analysis of a delayed epidemic model with pulse vaccination and saturation incidence Pulse vaccination of an seir epidemic model with time delay Three kinds of tvs in a sir epidemic model with saturated infectious force and vertical transmission Infectious disease models with time-varying parameters and general nonlinear incidence rate The dynamics of a new sir epidemic model concerning pulse vaccination strategy Pulse vaccination strategy in the sir epidemic model: Global asymptotic stable eradication in presence of vaccine failures A delayed epidemic model with pulse vaccination, Discrete Dynamics in Nature and Society Stability of periodic solutions for an sis model with pulse vaccination An sir epidemic model with time-varying pulse control schemes and saturated infectious force Effect of non-pharmaceutical interventions for containing the covid-19 outbreak in china Fever and mobility data indicate social distancing has reduced incidence of communicable disease in the united The characteristics of multi-source mobility datasets and how they reveal the luxury nature of social distancing in the u.s. during the covid-19 pandemic Mining google and apple mobility data: temporal anatomy for covid-19 social distancing On the identification of superspreaders for infectious disease Heterogeneity in sir epidemics modeling: superspreaders Epidemiology of influenza -summary of influenza workshop iv An influenza simulation model for immunisation studies Rubella is an immunised island population Clustering and superspreading potential of severe acute respiratory syndrome coronavirus 2 (sars-cov-2) infections in hong Public health response to the initiation and spread of pandemic covid-19 in the united states The essence of gonorrhea control i The essence of gonorrhea control ii The essence of gonorrhea control iii The essence of gonorrhea control iv Dynamics and control of the transmission of gonorrhea Pandemic modeling and the renormalization group equations: Effect of contact matrices Evidence for complex fixed points in pandemic data Multiwave pandemic dynamics explained: How to tame the next wave of infectious diseases What we know about covid-19 reinfection so far Epidemiological theory of virus variants Variant-driven multi-wave pattern of covid-19 via machine learning clustering of spike protein mutations On the Phase Structure of Vector-Like Gauge Theories with Massless Fermions Nussenzweig, mrna vaccine-elicited antibodies to sars-cov-2 and circulating variants N-terminal domain antigenic mapping reveals a site of vulnerability for sars-cov-2 The psychological distress and coping styles in the early stages of the 2019 coronavirus disease (covid-19) epidemic in the general mainland chinese population: A web-based survey The role of basic psychological needs in well-being during the covid-19 outbreak: A self-determination theory perspective