Search

In recent years, mathematical models have become an indispensable tool in the planning, evaluation, and implementation of public health interventions. Models must often provide detailed information for many levels of population stratification. Such detail comes at a price: in addition to the computational costs, the number of considered input parameters can be large, making effective study design difficult. To address these difficulties, we propose a novel technique to reduce the dimension of the model input space to simplify model-informed intervention planning. The method works by first applying a dimension reduction technique on the model output space. We then develop a method which allows us to map each reduced output to a corresponding vector in the input space, thereby reducing its dimension. We apply the method to the HIV Optimization and Prevention Economics (HOPE) model, to validate the approach and establish proof of concept.

Partial differential equation (PDE) models for infectious disease have received renewed interest in recent years. Most models of this type extend classical compartmental formulations with additional terms accounting for spatial dynamics, with Fickian diffusion being the most common such term. However, while diffusion may be appropriate for modeling vector-borne diseases, or diseases among plants or wildlife, the spatial propagation of airborne diseases in human populations is heavily dependent on human contact and mobility patterns, which are not necessarily well-described by diffusion. By including an additional chemotaxis-inspired term, in which the infection is propagated along the positive gradient of the susceptible population (from regions of low- to high-density of susceptibles), one may provide a more suitable description of these dynamics. This article introduces and analyzes a mathematical model of infectious disease incorporating a modified chemotaxis-type term. The model is analyzed mathematically and the well-posedness of the resulting PDE system is demonstrated. A series of numerical simulations are provided, demonstrating the ability of the model to naturally capture important phenomena not easily observed in standard diffusion models, including propagation over long spatial distances over short time scales and the emergence of localized infection hotspots

The OraQuick In-Home HIV self-test represents a fast, inexpensive, and convenient method for users to assess their HIV status. If integrated thoughtfully into existing testing practices, accompanied by efficient pathways to formal diagnosis, self-testing could both enhance HIV awareness and reduce HIV incidence. However, currently available self-tests are less sensitive, particularly for recent infection, than gold-standard laboratory tests. It is important to understand the impact if some portion of standard testing is replaced by self-tests. We introduced a novel compartmental model to evaluate the effects of self-testing among gay, bisexual and other men who have sex with men (MSM) in the United States for the period 2020 to 2030. We varied the model for different screening rates, self-test proportions, and delays to diagnosis for those identified through self-tests to determine the potential impact on HIV incidence and awareness of status. When HIV self-tests are strictly supplemental, self-testing can decrease HIV incidence among MSM in the US by up to 10% and increase awareness of status among MSM from 85% to 91% over a 10-year period, provided linkage to care and formal diagnosis occur promptly following a positive self-test (90 days or less). As self-tests replace a higher percentage laboratory-based testing algorithms, increases in overall testing rates were necessary to ensure reductions in HIV incidence. However, such increases were small (under 10% for prompt engagement in care and moderate levels of replacement). Improvements in self-test sensitivity and/or decreases in the detection period may further reduce any necessary increases in overall testing. Our study suggests that, if properly utilized, self-testing can provide significant long-term reductions to HIV incidence and improve awareness of HIV status.

The outbreak of COVID-19, beginning in 2019 and continuing through the time of writing, has led to renewed interest in the mathematical modeling of infectious disease. Recent works have focused on partial differential equation (PDE) models, particularly reaction-diffusion models, able to describe the progression of an epidemic in both space and time. These studies have shown generally promising results in describing and predicting COVID-19 progression. However, people often travel long distances in short periods of time, leading to nonlocal transmission of the disease. Such contagion dynamics are not well-represented by diffusion alone. In contrast, ordinary differential equation (ODE) models may easily account for this behavior by considering disparate regions as nodes in a network, with the edges defining nonlocal transmission. In this work, we attempt to combine these modeling paradigms via the introduction of a network structure within a reaction-diffusion PDE system. This is achieved through the definition of a population-transfer operator, which couples disjoint and potentially distant geographic regions, facilitating nonlocal population movement between them. We provide analytical results demonstrating that this operator does not disrupt the physical consistency or mathematical well-posedness of the system, and verify these results through numerical experiments. We then use this technique to simulate the COVID-19 epidemic in the Brazilian region of Rio de Janeiro, showcasing its ability to capture important nonlocal behaviors, while maintaining the advantages of a reaction-diffusion model for describing local dynamics.

As the outbreak of COVID-19 enters its third year, we have now enough data to analyse the behavior of the pandemic with mathematical models over a long period of time. The pandemic alternates periods of high and low infections, in a way that sheds a light on the nature of mathematical model that can be used for reliable predictions. The main hypothesis of the model presented here is that the oscillatory behavior is a structural feature of the outbreak, even without postulating a time-dependence of the coefficients. As such, it should be reflected by the presence of limit cycles as asymptotic solutions. This stems from the introduction of (i) a non-linear waning immunity based on the concept of immunity booster (already used for other pathologies); (ii) a fine description of the compartments with a discrimination between individuals infected/vaccinated for the first time, and individuals already infected/vaccinated, undergoing to new infections/doses. We provide a proof-of-concept that our novel model is capable of reproducing long-term oscillatory behavior of many infectious diseases, and, in particular, the periodic nature of the waves of infection. Periodic solutions are inherent to the model, and achieved without changing parameter values in time. This may represent an important step in the long-term modeling of COVID-19 and similar diseases, as the natural, unforced behavior of the solution shows the qualitative characteristics observed during the COVID-19 pandemic.

The computer simulation of organ-scale biomechanistic models of cancer personalized via routinely collected clinical and imaging data enables to obtain patient-specific predictions of tumor growth and treatment response over the anatomy of the patient's affected organ. These patient-specific computational forecasts have been regarded as a promising approach to personalize the clinical management of cancer and derive optimal treatment plans for individual patients, which constitute timely and critical needs in clinical oncology. However, the computer simulation of the underlying spatiotemporal models can entail a prohibitive computational cost, which constitutes a barrier to the successful development of clinically-actionable computational technologies for personalized tumor forecasting. To address this issue, here we propose to utilize Dynamic-Mode Decomposition (DMD) to construct a low-dimensional representation of cancer models and accelerate their simulation. DMD is an unsupervised machine learning method based on the singular value decomposition that has proven useful in many applications as both a predictive and a diagnostic tool. We show that DMD may be applied to Fisher-Kolmogorov models, which constitute an established formulation to represent untreated solid tumor growth that can further accommodate other relevant cancer phenomena. Our results show that a DMD implementation of this model over a clinically-relevant parameter space can yield impressive predictions, with short to medium-term errors remaining under 1% and long-term errors remaining under 20%, despite very short training periods. We posit that this data-driven approach has the potential to greatly reduce the computational overhead of personalized simulations of cancer models, thereby facilitating tumor forecasting, parameter identification, uncertainty quantification, and treatment optimization.

Numerical simulations of a complete laser powder bed fusion (LPBF) additive manufacturing (AM) process are extremely challenging or even impossible to achieve without a radical model reduction of the complex physical phenomena occurring during the process. However, even when we adopt reduced model with simplified physics, the complex geometries of parts usually produced by LPBF AM processes make this kind of analysis computationally expensive. In fact, small geometrical features - which might be generated when the part is design following the principal of the so-called design for AM, for instance, by means of topology optimization procedures - often require complex conformal meshes. Immersed boundary methods seem to offer a valid alternative to deal with this kind of complexity. The two-level method lies within this family of numerical methods and presents a very flexible tool to deal with multi-scale problems. In this contribution, we apply the recently introduced two-level method to part-scale thermal analysis of LPBF manufactured components, first validating the proposed part-scale model with respect to experimental measurements from the literature and then applying the presented numerical framework to simulate a complete LPBF process of a topologically optimized structure, showing the capability of the method to easily deal with complex geometrical features.

COVID-19 data released by public health authorities features the presence of notable time-delays, corresponding to the difference between actual time of infection and identification of infection. These delays have several causes, including the natural incubation period of the virus, availability and speed of testing facilities, population demographics, and testing center capacity, among others. Such delays have important ramifications for both the mathematical modeling of COVID-19 contagion and the design and evaluation of intervention strategies. In the present work, we introduce a novel optimization technique for the identification of time delays in COVID-19 data, making use of a delay-differential equation model. The proposed method is general in nature and may be applied not only to COVID-19, but for generic dynamical systems in which time delays may be present.

Problems with localized nonhomogeneous material properties present well-known challenges for numerical simulations. In particular, such problems may feature large differences in length scales, causing difficulties with meshing and preconditioning. These difficulties are increased if the region of localized dynamics changes in time. Overlapping domain decomposition methods, which split the problem at the continuous level, show promise due to their ease of implementation and computational efficiency. Accordingly, the present work aims to further develop the mathematical theory of such methods at both the continuous and discrete levels. For the continuous formulation of the problem, we provide a full convergence analysis. For the discrete problem, we show how the described method may be interpreted as a Gauss-Seidel scheme or as a Neumann series approximation, establishing a convergence criterion in terms of the spectral radius of the system. We then provide a spectral scaling argument and provide numerical evidence for its justification.

Numerical simulation of the laser powder bed fusion (LPBF) procedure for additive manufacturing (AM) is difficult due to the presence of multiple scales in both time and space, ranging from the part scale (order of millimeters/seconds) to the powder scale (order of microns/milliseconds). This difficulty is compounded by the fact that the regions of small-scale behavior are not fixed, but change in time as the geometry is produced. While much work in recent years has been focused on resolving the problem of multiple scales in space, there has been less work done on multiscale approaches for the temporal discretization of LPBF problems. In the present contribution, we extend on a previously introduced two-level method in space by combining it with a multiscale time integration method. The unique transfer of information through the transmission conditions allows for interaction between the space and time scales while reducing computational costs. At the same time, all of the advantages of the two-level method in space (namely its geometrical flexibility and the ease in which one may deploy structured, uniform meshes) remain intact. Adopting the proposed multiscale time integration scheme, we observe a computational speed-up by a factor $\times 2.44$ compared to the same two-level approach with uniform time integration, when simulating a laser source traveling on a bare plate of nickel-based superalloy material following an alternating scan path of fifty laser tracks.

Dynamic Mode Decomposition (DMD) is an unsupervised machine learning method that has attracted considerable attention in recent years owing to its equation-free structure, ability to easily identify coherent spatio-temporal structures in data, and effectiveness in providing reasonably accurate predictions for certain problems. Despite these successes, the application of DMD to certain problems featuring highly nonlinear transient dynamics remains challenging. In such cases, DMD may not only fail to provide acceptable predictions but may indeed fail to recreate the data in which it was trained, restricting its application to diagnostic purposes. For many problems in the biological and physical sciences, the structure of the system obeys a compartmental framework, in which the transfer of mass within the system moves within states. In these cases, the behavior of the system may not be accurately recreated by applying DMD to a single quantity within the system, as proper knowledge of the system dynamics, even for a single compartment, requires that the behavior of other compartments is taken into account in the DMD process. In this work, we demonstrate, theoretically and numerically, that, when performing DMD on a fully coupled PDE system with compartmental structure, one may recover useful predictive behavior, even when DMD performs poorly when acting compartment-wise. We also establish that important physical quantities, as mass conservation, are maintained in the coupled-DMD extrapolation. The mathematical and numerical analysis suggests that DMD may be a powerful tool when applied to this common class of problems. In particular, we show interesting numerical applications to a continuous delayed-SIRD model for Covid-19, and to a problem from additive manufacturing considering a nonlinear temperature field and the resulting change of material phase from powder, liquid, and solid states.

Dynamic Mode Decomposition (DMD) is a powerful data-driven method used to extract spatio-temporal coherent structures that dictate a given dynamical system. The method consists of stacking collected temporal snapshots into a matrix and mapping the nonlinear dynamics using a linear operator. The standard procedure considers that snapshots possess the same dimensionality for all the observable data. However, this often does not occur in numerical simulations with adaptive mesh refinement/coarsening schemes (AMR/C). This paper proposes a strategy to enable DMD to extract features from observations with different mesh topologies and dimensions, such as those found in AMR/C simulations. For this purpose, the adaptive snapshots are projected onto the same reference function space, enabling the use of snapshot-based methods such as DMD. The present strategy is applied to challenging AMR/C simulations: a continuous diffusion-reaction epidemiological model for COVID-19, a density-driven gravity current simulation, and a bubble rising problem. We also evaluate the DMD efficiency to reconstruct the dynamics and some relevant quantities of interest. In particular, for the SEIRD model and the bubble rising problem, we evaluate DMD's ability to extrapolate in time (short-time future estimates).

In the wake of the 2020 COVID-19 epidemic, much work has been performed on the development of mathematical models for the simulation of the epidemic, and of disease models generally. Most works follow the susceptible-infected-removed (SIR) compartmental framework, modeling the epidemic with a system of ordinary differential equations. Alternative formulations using a partial differential equation (PDE) to incorporate both spatial and temporal resolution have also been introduced, with their numerical results showing potentially powerful descriptive and predictive capacity. In the present work, we introduce a new variation to such models by using delay differential equations (DDEs). The dynamics of many infectious diseases, including COVID-19, exhibit delays due to incubation periods and related phenomena. Accordingly, DDE models allow for a natural representation of the problem dynamics, in addition to offering advantages in terms of computational time and modeling, as they eliminate the need for additional, difficult-to-estimate, compartments (such as exposed individuals) to incorporate time delays. Here, we introduce a DDE epidemic model in both an ordinary- and partial differential equation framework. We present a series of mathematical results assessing the stability of the formulation. We then perform several numerical experiments, validating both the mathematical results and establishing model's ability to reproduce measured data on realistic problems.

The outbreak of COVID-19 in 2020 has led to a surge in interest in the mathematical modeling of infectious diseases. Such models are usually defined as compartmental models, in which the population under study is divided into compartments based on qualitative characteristics, with different assumptions about the nature and rate of transfer across compartments. Though most commonly formulated as ordinary differential equation (ODE) models, in which the compartments depend only on time, recent works have also focused on partial differential equation (PDE) models, incorporating the variation of an epidemic in space. Such research on PDE models within a Susceptible, Infected, Exposed, Recovered, and Deceased (SEIRD) framework has led to promising results in reproducing COVID-19 contagion dynamics. In this paper, we assess the robustness of this modeling framework by considering different geometries over more extended periods than in other similar studies. We first validate our code by reproducing previously shown results for Lombardy, Italy. We then focus on the U.S. state of Georgia and on the Brazilian state of Rio de Janeiro, one of the most impacted areas in the world. Our results show good agreement with real-world epidemiological data in both time and space for all regions across major areas and across three different continents, suggesting that the modeling approach is both valid and robust., Comment: 23 pages, 19 figures

We present an early version of a Susceptible-Exposed-Infected-Recovered-Deceased (SEIRD) mathematical model based on partial differential equations coupled with a heterogeneous diffusion model. The model describes the spatio-temporal spread of the COVID-19 pandemic, and aims to capture dynamics also based on human habits and geographical features. To test the model, we compare the outputs generated by a finite-element solver with measured data over the Italian region of Lombardy, which has been heavily impacted by this crisis between February and April 2020. Our results show a strong qualitative agreement between the simulated forecast of the spatio-temporal COVID-19 spread in Lombardy and epidemiological data collected at the municipality level. Additional simulations exploring alternative scenarios for the relaxation of lockdown restrictions suggest that reopening strategies should account for local population densities and the specific dynamics of the contagion. Thus, we argue that data-driven simulations of our model could ultimately inform health authorities to design effective pandemic-arresting measures and anticipate the geographical allocation of crucial medical resources., Comment: 7 pages, 3 figures

Problems with localized nonhomogeneous material properties arise frequently in many applications and are a well-known source of difficulty in numerical simulations. In certain applications (including additive manufacturing), the physics of the problem may be considerably more complicated in relatively small portions of the domain, requiring a significantly finer local mesh compared to elsewhere in the domain. This can make the use of a uniform mesh numerically unfeasible. While nonuniform meshes can be employed, they may be challenging to generate (particularly for regions with complex boundaries) and more difficult to precondition. The problem becomes even more prohibitive when the region requiring a finer-level mesh changes in time, requiring the introduction of refinement and derefinement techniques. To address the aforementioned challenges, we employ a technique related to the Fat boundary method as a possible alternative. We analyze the proposed methodology, from a mathematical point of view and validate our findings on two-dimensional numerical tests.