arXiv subjects

Alessandro Veneziani

Publications and source records attributed to Alessandro Veneziani.

11 recordsLinked to original sources

arXiv2026

Digital Twins in Coronary Artery Disease: A Mathematical Roadmap

The combination of data and models, enhanced by AI methodologies, leads to the paradigm called Digital Twins. This concept is expected to bring unprecedented support to personalized medicine. The combination of mathematical and numerical models with diagnostic devices that provide patient-specific knowledge in a bidirectional framework can be a formidable decision support for clinicians. In this paper, we consider some mathematical aspects of constructing a Digital Twin to prevent and treat Coronary Artery Disease. The keywords for the bidirectional communication between twins in our system are (i) Data Assimilation and (ii) Probabilistic Graphic Models. In particular, a quantity of paramount interest in the evaluation and prognosis of Coronary Artery Disease is the Wall Shear Stress, i.e., the tangential component of normal stress on the arterial wall. By considering steps for the personalization and the synthesis of Wall Shear Stress estimation, we propose a mathematical roadmap for constructing a Digital Twin system that could help prevent infarcts, one of the most lethal diseases in the world.

math.NA↗

arXiv2026

Chemotaxis-inspired PDE models of airborne infectious disease transmission: epidemiologically-motivated mathematical and numerical analyses

Partial differential equation (PDE) models for infectious diseases, while less common than their ordinary differential equation (ODE) counterparts, have found successful applications for many years. Such models are typically of reaction-diffusion type, and model spatial propagation as a diffusive process. However, given the complex nature of human mobility, such models are limited in their ability to describe airborne infectious diseases in human populations. Recent work has advocated for the inclusion of an additional chemotaxis-type term as an alternative; spatial propagation of infection fronts is assumed additionally to flow from low-to-high concentrations of susceptible populations. The present work extends the study of such models by providing an epidemiologically interpretable analysis, directly connecting model behavior to information readily available to policymakers. In particular, we derive a spatially-aware basic reproduction number, which accounts for spatial heterogeneity in population density. Furthermore, we discuss several important aspects concerning the numerical solution of the model, including the introduction of a stabilization scheme. Finally, we perform a series of simulation studies in the Italian region of Lombardy (severely affected by the COVID-19 outbreak in 2020) and in the US state of Georgia, in which we demonstrate the model's potential to better capture important spatiotemporal dynamics observed in real-world data compared to pure reaction-diffusion models.

q-bio.PE↗

arXiv2024

Bridging Large Eddy Simulation and Reduced Order Modeling of Convection-Dominated Flows through Spatial Filtering: Review and Perspectives

Reduced order models (ROMs) have achieved a lot of success in reducing the computational cost of traditional numerical methods across many disciplines. For convection-dominated (e.g., turbulent) flows, however, standard ROMs generally yield inaccurate results, usually affected by spurious oscillations. Thus, ROMs are usually equipped with numerical stabilization or closure models to account for the effect of the discarded modes. The literature on ROM closures and stabilizations is large and growing fast. In this paper, we focus on one particular type of ROM closures and stabilizations that are inspired by Large Eddy Simulation (LES). These ROMs, which we call LES-ROMs, are extremely easy to implement, very efficient, and accurate. Carefully tuned LES-ROMs can accurately capture the average physical quantities of interest in challenging convection-dominated flows in many applications. LES-ROM are constructed by leveraging spatial filtering, i.e., the same principle used to build classical LES models. This ensures a modeling consistency between LES-ROMs and the approaches that generated the data used to train them. It also ``bridges'' two distinct research fields (LES and ROMs), disconnected until now. This paper is a review of LES-ROMs. It starts with a description of a versatile LES strategy called evolve-filter-relax (EFR) that has been successfully used as a full order method. We then show how the EFR strategy, and spatial filtering in general, can be leveraged to construct LES-ROMs. Several applications of LES-ROMs are presented. Finally, we draw conclusions and outline several research directions and open questions in the LES-ROM development. While we do not claim this review to be comprehensive, we certainly hope it serves as a brief and friendly introduction to this exciting research area, which has a lot of potential in practical numerical simulation of convection-dominated flows.

physics.flu-dyn↗

arXiv2022

Physics Guided Machine Learning for Variational Multiscale Reduced Order Modeling

We propose a new physics guided machine learning (PGML) paradigm that leverages the variational multiscale (VMS) framework and available data to dramatically increase the accuracy of reduced order models (ROMs) at a modest computational cost. The hierarchical structure of the ROM basis and the VMS framework enable a natural separation of the resolved and unresolved ROM spatial scales. Modern PGML algorithms are used to construct novel models for the interaction among the resolved and unresolved ROM scales. Specifically, the new framework builds ROM operators that are closest to the true interaction terms in the VMS framework. Finally, machine learning is used to reduce the projection error and further increase the ROM accuracy. Our numerical experiments for a two-dimensional vorticity transport problem show that the novel PGML-VMS-ROM paradigm maintains the low computational cost of current ROMs, while significantly increasing the ROM accuracy.

physics.flu-dyn↗

arXiv2022

Modeling of Asymptotically Periodic Outbreaks: a long-term SIRW2 description of COVID-19?

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.

q-bio.PE↗

arXiv2021

A theoretical and numerical analysis of a Dirichlet-Neumann domain decomposition method for diffusion problems in heterogeneous media

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.

math.NA↗

arXiv2020

Simulating the spread of COVID-19 via spatially-resolved susceptible-exposed-infected-recovered-deceased (SEIRD) model with heterogeneous diffusion

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.

q-bio.PE↗

arXiv2018

Patient-Specific 3D Volumetric Reconstruction of Bioresorbable Stents: A Method to Generate 3D Geometries for Computational Analysis of Coronaries Treated with Bioresorbable Stents

As experts continue to debate the optimal surgery practice for coronary disease - percutaneous coronary intervention (PCI) or coronary aortic bypass graft (CABG) - computational tools may provide a quantitative assessment of each option. Computational fluid dynamics (CFD) has been used to assess the interplay between hemodynamics and stent struts; it is of particular interest in Bioresorbable Vascular Stents (BVS), since their thicker struts may result in impacted flow patterns and possible pathological consequences. Many proofs of concept are presented in the literature; however, a practical method for extracting patient-specific stented coronary artery geometries from images over a large number of patients remains an open problem. This work provides a possible pipeline for the reconstruction of the BVS. Using Optical Coherence Tomographies (OCT) and Invasive Coronary Angiographies (ICA), we can reconstruct the 3D geometry of deployed BVS in vivo. We illustrate the stent reconstruction process: (i) automatic strut detection, (ii) identification of stent components, (iii) 3D registration of stent curvature, and (iv) final stent volume reconstruction. The methodology is designed for use on clinical OCT images, as opposed to approaches that relied on a small number of virtually deployed stents. The proposed reconstruction process is validated with a virtual phantom stent, providing quantitative assessment of the methodology, and with selected clinical cases, confirming feasibility. Using multimodality image analysis, we obtain reliable reconstructions within a reasonable timeframe. This work is the first step toward a fully automated reconstruction and simulation procedure aiming at an extensive quantitative analysis of the impact of BVS struts on hemodynamics via CFD in clinical trials, going beyond the proof-of-concept stage.

cs.CV↗

arXiv2018

Computational methods in cardiovascular mechanics

The introduction of computational models in cardiovascular sciences has been progressively bringing new and unique tools for the investigation of the physiopathology. Together with the dramatic improvement of imaging and measuring devices on one side, and of computational architectures on the other one, mathematical and numerical models have provided a new, clearly noninvasive, approach for understanding not only basic mechanisms but also patient-specific conditions, and for supporting the design and the development of new therapeutic options. The terminology in silico is, nowadays, commonly accepted for indicating this new source of knowledge added to traditional in vitro and in vivo investigations. The advantages of in silico methodologies are basically the low cost in terms of infrastructures and facilities, the reduced invasiveness and, in general, the intrinsic predictive capabilities based on the use of mathematical models. The disadvantages are generally identified in the distance between the real cases and their virtual counterpart required by the conceptual modeling that can be detrimental for the reliability of numerical simulations.

physics.comp-ph↗

arXiv2017

The LifeV library: engineering mathematics beyond the proof of concept

LifeV is a library for the finite element (FE) solution of partial differential equations in one, two, and three dimensions. It is written in C++ and designed to run on diverse parallel architectures, including cloud and high performance computing facilities. In spite of its academic research nature, meaning a library for the development and testing of new methods, one distinguishing feature of LifeV is its use on real world problems and it is intended to provide a tool for many engineering applications. It has been actually used in computational hemodynamics, including cardiac mechanics and fluid-structure interaction problems, in porous media, ice sheets dynamics for both forward and inverse problems. In this paper we give a short overview of the features of LifeV and its coding paradigms on simple problems. The main focus is on the parallel environment which is mainly driven by domain decomposition methods and based on external libraries such as MPI, the Trilinos project, HDF5 and ParMetis. Dedicated to the memory of Fausto Saleri.

math.NA↗

arXiv2016

Efficient Estimation of Cardiac Conductivities via POD-DEIM Model Order Reduction

Clinical oriented applications of computational electrocardiology require efficient and reliable identification of patient-specific parameters of mathematical models based on available measures. In particular, the estimation of cardiac conductivities in models of potential propagation is crucial, since they have major quantitative impact on the solution. Available estimates of cardiac conductivities are significantly diverse in the literature and the definition of experimental/mathematical estimation techniques is an open problem with important practical implications in clinics. We have recently proposed a methodology based on a variational procedure, where the reliability is confirmed by numerical experiments. In this paper we explore model-order-reduction techniques to fit the estimation procedure into timelines of clinical interest. Specifically we consider the Monodomain model and resort to Proper Orthogonal Decomposition (POD) techniques to take advantage of an off-line step when solving iteratively the electrocardiological forward model online. In addition, we perform the Discrete Empirical Interpolation Method (DEIM) to tackle the nonlinearity of the model. While standard POD techniques usually fail in this kind of problems, due to the wave-front propagation dynamics, an educated novel sampling of the parameter space based on the concept of Domain of Effectiveness introduced here dramatically reduces the computational cost of the inverse solver by at least 95%.

math.NA↗