-
Two new calibration techniques of lumped-parameter mathematical models for the cardiovascular system
Authors:
Andrea Tonini,
Francesco Regazzoni,
Matteo Salvador,
Luca Dede',
Roberto Scrofani,
Laura Fusini,
Chiara Cogliati,
Gianluca Pontone,
Christian Vergara,
Alfio Quarteroni
Abstract:
Cardiocirculatory mathematical models serve as valuable tools for investigating physiological and pathological conditions of the circulatory system. To investigate the clinical condition of an individual, cardiocirculatory models need to be personalized by means of calibration methods. In this study we propose a new calibration method for a lumped-parameter cardiocirculatory model. This calibratio…
▽ More
Cardiocirculatory mathematical models serve as valuable tools for investigating physiological and pathological conditions of the circulatory system. To investigate the clinical condition of an individual, cardiocirculatory models need to be personalized by means of calibration methods. In this study we propose a new calibration method for a lumped-parameter cardiocirculatory model. This calibration method utilizes the correlation matrix between parameters and model outputs to calibrate the latter according to data. We test this calibration method and its combination with L-BFGS-B (Limited memory Broyden - Fletcher - Goldfarb - Shanno with Bound constraints) comparing them with the performances of L-BFGS-B alone. We show that the correlation matrix calibration method and the combined one effectively reduce the loss function of the associated optimization problem. In the case of in silico generated data, we show that the two new calibration methods are robust with respect to the initial guess of parameters and to the presence of noise in the data. Notably, the correlation matrix calibration method achieves the best results in estimating the parameters in the case of noisy data and it is faster than the combined calibration method and L-BFGS-B. Finally, we present real test case where the two new calibration methods yield results comparable to those obtained using L-BFGS-B in terms of minimizing the loss function and estimating the clinical data. This highlights the effectiveness of the new calibration methods for clinical applications.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Robust radial basis function interpolation based on geodesic distance for the numerical coupling of multiphysics problems
Authors:
Michele Bucelli,
Francesco Regazzoni,
Luca Dede',
Alfio Quarteroni
Abstract:
Multiphysics simulations frequently require transferring solution fields between subproblems with non-matching spatial discretizations, typically using interpolation techniques. Standard methods are usually based on measuring the closeness between points by means of the Euclidean distance, which does not account for curvature, cuts, cavities or other non-trivial geometrical or topological features…
▽ More
Multiphysics simulations frequently require transferring solution fields between subproblems with non-matching spatial discretizations, typically using interpolation techniques. Standard methods are usually based on measuring the closeness between points by means of the Euclidean distance, which does not account for curvature, cuts, cavities or other non-trivial geometrical or topological features of the domain. This may lead to spurious oscillations in the interpolant in proximity to these features. To overcome this issue, we propose a modification to rescaled localized radial basis function (RL-RBF) interpolation to account for the geometry of the interpolation domain, by yielding conformity and fidelity to geometrical and topological features. The proposed method, referred to as RL-RBF-G, relies on measuring the geodesic distance between data points. RL-RBF-G removes spurious oscillations appearing in the RL-RBF interpolant, resulting in increased accuracy in domains with complex geometries. We demonstrate the effectiveness of RL-RBF-G interpolation through a convergence study in an idealized setting. Furthermore, we discuss the algorithmic aspects and the implementation of RL-RBF-G interpolation in a distributed-memory parallel framework, and present the results of a strong scalability test yielding nearly ideal results. Finally, we show the effectiveness of RL-RBF-G interpolation in multiphysics simulations by considering an application to a whole-heart cardiac electromecanics model.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
An integrated heart-torso electromechanical model for the simulation of electrophysiogical outputs accounting for myocardial deformation
Authors:
Elena Zappon,
Matteo Salvador,
Roberto Piersanti,
Francesco Regazzoni,
Luca Dede',
Alfio Quarteroni
Abstract:
When generating in-silico clinical electrophysiological outputs, such as electrocardiograms (ECGs) and body surface potential maps (BSPMs), mathematical models have relied on single physics, i.e. of the cardiac electrophysiology (EP), neglecting the role of the heart motion. Since the heart is the most powerful source of electrical activity in the human body, its motion dynamically shifts the posi…
▽ More
When generating in-silico clinical electrophysiological outputs, such as electrocardiograms (ECGs) and body surface potential maps (BSPMs), mathematical models have relied on single physics, i.e. of the cardiac electrophysiology (EP), neglecting the role of the heart motion. Since the heart is the most powerful source of electrical activity in the human body, its motion dynamically shifts the position of the principal electrical sources in the torso, influencing electrical potential distribution and potentially altering the EP outputs. In this work, we propose a computational model for the simulation of ECGs and BSPMs by coupling a cardiac electromechanical model with a model that simulates the propagation of the EP signal in the torso, thanks to a flexible numerical approach, that simulates the torso domain deformation induced by the myocardial displacement. Our model accounts for the major mechano-electrical feedbacks, along with unidirectional displacement and potential couplings from the heart to the surrounding body. For the numerical discretization, we employ a versatile intergrid transfer operator that allows for the use of different Finite Element spaces to be used in the cardiac and torso domains. Our numerical results are obtained on a realistic 3D biventricular-torso geometry, and cover both cases of sinus rhythm and ventricular tachycardia (VT), solving both the electromechanical-torso model in dynamical domains, and the classical electrophysiology-torso model in static domains. By comparing standard 12-lead ECG and BSPMs, we highlight the non-negligible effects of the myocardial contraction on the EP-outputs, especially in pathological conditions, such as the VT.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Physics-informed Neural Network Estimation of Material Properties in Soft Tissue Nonlinear Biomechanical Models
Authors:
Federica Caforio,
Francesco Regazzoni,
Stefano Pagani,
Elias Karabelas,
Christoph Augustin,
Gundolf Haase,
Gernot Plank,
Alfio Quarteroni
Abstract:
The development of biophysical models for clinical applications is rapidly advancing in the research community, thanks to their predictive nature and their ability to assist the interpretation of clinical data. However, high-resolution and accurate multi-physics computational models are computationally expensive and their personalisation involves fine calibration of a large number of parameters, w…
▽ More
The development of biophysical models for clinical applications is rapidly advancing in the research community, thanks to their predictive nature and their ability to assist the interpretation of clinical data. However, high-resolution and accurate multi-physics computational models are computationally expensive and their personalisation involves fine calibration of a large number of parameters, which may be space-dependent, challenging their clinical translation. In this work, we propose a new approach which relies on the combination of physics-informed neural networks (PINNs) with three-dimensional soft tissue nonlinear biomechanical models, capable of reconstructing displacement fields and estimating heterogeneous patient-specific biophysical properties. The proposed learning algorithm encodes information from a limited amount of displacement and, in some cases, strain data, that can be routinely acquired in the clinical setting, and combines it with the physics of the problem, represented by a mathematical model based on partial differential equations, to regularise the problem and improve its convergence properties. Several benchmarks are presented to show the accuracy and robustness of the proposed method and its great potential to enable the robust and effective identification of patient-specific, heterogeneous physical properties, s.a. tissue stiffness properties. In particular, we demonstrate the capability of the PINN to detect the presence, location and severity of scar tissue, which is beneficial to develop personalised simulation models for disease diagnosis, especially for cardiac applications.
△ Less
Submitted 17 June, 2024; v1 submitted 15 December, 2023;
originally announced December 2023.
-
A staggered-in-time and non-conforming-in-space numerical framework for realistic cardiac electrophysiology outputs
Authors:
Elena Zappon,
Andrea Manzoni,
Alfio Quarteroni
Abstract:
Computer-based simulations of non-invasive cardiac electrical outputs, such as electrocardiograms and body surface potential maps, usually entail severe computational costs due to the need of capturing fine-scale processes and to the complexity of the heart-torso morphology. In this work, we model cardiac electrical outputs by employing a coupled model consisting of a reaction-diffusion model - ei…
▽ More
Computer-based simulations of non-invasive cardiac electrical outputs, such as electrocardiograms and body surface potential maps, usually entail severe computational costs due to the need of capturing fine-scale processes and to the complexity of the heart-torso morphology. In this work, we model cardiac electrical outputs by employing a coupled model consisting of a reaction-diffusion model - either the bidomain model or the most efficient pseudo-bidomain model - on the heart, and an elliptic model in the torso. We then solve the coupled problem with a segregated and staggered in-time numerical scheme, that allows for independent and infrequent solution in the torso region. To further reduce the computational load, main novelty of this work is in introduction of an interpolation method at the interface between the heart and torso domains, enabling the use of non-conforming meshes, and the numerical framework application to realistic cardiac and torso geometries. The reliability and efficiency of the proposed scheme is tested against the corresponding state-of-the-art bidomain-torso model. Furthermore, we explore the impact of torso spatial discretization and geometrical non-conformity on the model solution and the corresponding clinical outputs. The investigation of the interface interpolation method provides insights into the influence of torso spatial discretization and of the geometrical non-conformity on the simulation results and their clinical relevance.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
lifex-ep: a robust and efficient software for cardiac electrophysiology simulations
Authors:
Pasquale C. Africa,
Roberto Piersanti,
Francesco Regazzoni,
Michele Bucelli,
Matteo Salvador,
Marco Fedele,
Stefano Pagani,
Luca Dede',
Alfio Quarteroni
Abstract:
Simulating the cardiac function requires the numerical solution of multi-physics and multi-scale mathematical models. This underscores the need for streamlined, accurate, and high-performance computational tools. Despite the dedicated endeavors of various research teams, comprehensive and user-friendly software programs for cardiac simulations are still in the process of achieving full maturity wi…
▽ More
Simulating the cardiac function requires the numerical solution of multi-physics and multi-scale mathematical models. This underscores the need for streamlined, accurate, and high-performance computational tools. Despite the dedicated endeavors of various research teams, comprehensive and user-friendly software programs for cardiac simulations are still in the process of achieving full maturity within the scientific community. This work introduces lifex-ep, a publicly available software for numerical simulations of the electrophysiology activity of the cardiac muscle, under both physiological and pathological conditions. lifex-ep employs the monodomain equation to model the heart's electrical activity. It incorporates both phenomenological and second-generation ionic models. These models are discretized using the Finite Element method on tetrahedral or hexahedral meshes. Additionally, lifex-ep integrates the generation of myocardial fibers based on Laplace-Dirichlet Rule-Based Methods, previously released in Africa et al., 2023, within lifex-fiber. This paper provides a concise overview of the mathematical models and numerical methods underlying lifex-ep, along with comprehensive implementation details and instructions for users. lifex-ep features exceptional parallel speedup, scaling efficiently when using up to thousands of cores, and its implementation has been verified against an established benchmark problem for computational electrophysiology. We showcase the key features of lifex-ep through various idealized and realistic simulations. lifex-ep offers a user-friendly and flexible interface. lifex-ep provides easy access to cardiac electrophysiology simulations for a wide user community. It offers a computational tool that integrates models and accurate methods for simulating cardiac electrophysiology within a high-performance framework, while maintaining a user-friendly interface.
△ Less
Submitted 3 August, 2023;
originally announced August 2023.
-
Real-time whole-heart electromechanical simulations using Latent Neural Ordinary Differential Equations
Authors:
Matteo Salvador,
Marina Strocchi,
Francesco Regazzoni,
Luca Dede',
Steven Niederer,
Alfio Quarteroni
Abstract:
Cardiac digital twins provide a physics and physiology informed framework to deliver predictive and personalized medicine. However, high-fidelity multi-scale cardiac models remain a barrier to adoption due to their extensive computational costs and the high number of model evaluations needed for patient-specific personalization. Artificial Intelligence-based methods can make the creation of fast a…
▽ More
Cardiac digital twins provide a physics and physiology informed framework to deliver predictive and personalized medicine. However, high-fidelity multi-scale cardiac models remain a barrier to adoption due to their extensive computational costs and the high number of model evaluations needed for patient-specific personalization. Artificial Intelligence-based methods can make the creation of fast and accurate whole-heart digital twins feasible. In this work, we use Latent Neural Ordinary Differential Equations (LNODEs) to learn the temporal pressure-volume dynamics of a heart failure patient. Our surrogate model based on LNODEs is trained from 400 3D-0D whole-heart closed-loop electromechanical simulations while accounting for 43 model parameters, describing single cell through to whole organ and cardiovascular hemodynamics. The trained LNODEs provides a compact and efficient representation of the 3D-0D model in a latent space by means of a feedforward fully-connected Artificial Neural Network that retains 3 hidden layers with 13 neurons per layer and allows for 300x real-time numerical simulations of the cardiac function on a single processor of a standard laptop. This surrogate model is employed to perform global sensitivity analysis and robust parameter estimation with uncertainty quantification in 3 hours of computations, still on a single processor. We match pressure and volume time traces unseen by the LNODEs during the training phase and we calibrate 4 to 11 model parameters while also providing their posterior distribution. This paper introduces the most advanced surrogate model of cardiac function available in the literature and opens new important venues for parameter calibration in cardiac digital twins.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
Preserving the positivity of the deformation gradient determinant in intergrid interpolation by combining RBFs and SVD: application to cardiac electromechanics
Authors:
Michele Bucelli,
Francesco Regazzoni,
Luca Dede',
Alfio Quarteroni
Abstract:
The accurate robust and efficient transfer of the deformation gradient tensor between meshes of different resolution is crucial in cardiac electromechanics simulations. We present a novel method that combines rescaled localized Radial Basis Function (RBF) interpolation with Singular Value Decomposition (SVD) to preserve the positivity of the determinant of the deformation gradient tensor. The meth…
▽ More
The accurate robust and efficient transfer of the deformation gradient tensor between meshes of different resolution is crucial in cardiac electromechanics simulations. We present a novel method that combines rescaled localized Radial Basis Function (RBF) interpolation with Singular Value Decomposition (SVD) to preserve the positivity of the determinant of the deformation gradient tensor. The method involves decomposing the evaluations of the tensor at the quadrature nodes of the source mesh into rotation matrices and diagonal matrices of singular values; computing the RBF interpolation of the quaternion representation of rotation matrices and the singular value logarithms; reassembling the deformation gradient tensors at quadrature nodes of the destination mesh, to be used in the assembly of the electrophysiology model equations. The proposed method overcomes limitations of existing interpolation methods, including nested intergrid interpolation and RBF interpolation of the displacement field, that may lead to the loss of physical meaningfulness of the mathematical formulation and then to solver failures at the algebraic level, due to negative determinant values. The proposed method enables the transfer of solution variables between finite element spaces of different degrees and shapes and without stringent conformity requirements between different meshes, enhancing the flexibility and accuracy of electromechanical simulations. Numerical results confirm that the proposed method enables the transfer of the deformation gradient tensor, allowing to successfully run simulations in cases where existing methods fail. This work provides an efficient and robust method for the intergrid transfer of the deformation gradient tensor, enabling independent tailoring of mesh discretizations to the particular characteristics of the physical components concurring to the of the multiphysics model.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
A mathematical model to assess the effects of COVID-19 on the cardiocirculatory system
Authors:
Andrea Tonini,
Christian Vergara,
Francesco Regazzoni,
Luca Dede',
Roberto Scrofani,
Chiara Cogliati,
Alfio Quarteroni
Abstract:
Impaired cardiac function has been described as a frequent complication of COVID-19-related pneumonia. To investigate possible underlying mechanisms, we represented the cardiovascular system by means of a lumped-parameter 0D mathematical model. The model was calibrated using clinical data, recorded in 58 patients hospitalized for COVID-19-related pneumonia, to make it patient-specific and to compu…
▽ More
Impaired cardiac function has been described as a frequent complication of COVID-19-related pneumonia. To investigate possible underlying mechanisms, we represented the cardiovascular system by means of a lumped-parameter 0D mathematical model. The model was calibrated using clinical data, recorded in 58 patients hospitalized for COVID-19-related pneumonia, to make it patient-specific and to compute model outputs of clinical interest related to the cardiocirculatory system. We assessed, for each patient with a successful calibration, the statistical reliability of model outputs estimating the uncertainty intervals. Then, we performed a statistical analysis to compare healthy ranges and mean values (over patients) of reliable model outputs to determine which were significantly altered in COVID-19-related pneumonia. Our results showed significant increases in right ventricular systolic pressure, diastolic and mean pulmonary arterial pressure, and capillary wedge pressure. Instead, physical quantities related to the systemic circulation were not significantly altered. Remarkably, statistical analyses made on raw clinical data, without the support of a mathematical model, were unable to detect the effects of COVID-19-related pneumonia, thus suggesting that the use of a calibrated 0D mathematical model to describe the cardiocirculatory system is an effective tool to investigate the impairments of the cardiocirculatory system associated with COVID-19.
△ Less
Submitted 11 May, 2023;
originally announced May 2023.
-
Uncertainty Quantification for Fisher-Kolmogorov Equation on Graphs with Application to Patient-Specific Alzheimer Disease
Authors:
Mattia Corti,
Francesca Bonizzoni,
Paola F. Antonietti,
Alfio M. Quarteroni
Abstract:
The Fisher-Kolmogorov equation is a diffusion-reaction PDE that is used to model the accumulation of prionic proteins, which are responsible for many different neurological disorders. Likely, the most important and studied misfolded protein in literature is the Amyloid-$β$, responsible for the onset of Alzheimer disease. Starting from medical images we construct a reduced-order model based on a gr…
▽ More
The Fisher-Kolmogorov equation is a diffusion-reaction PDE that is used to model the accumulation of prionic proteins, which are responsible for many different neurological disorders. Likely, the most important and studied misfolded protein in literature is the Amyloid-$β$, responsible for the onset of Alzheimer disease. Starting from medical images we construct a reduced-order model based on a graph brain connectome. The reaction coefficient of the proteins is modelled as a stochastic random field, taking into account all the many different underlying physical processes, which can hardly be measured. Its probability distribution is inferred by means of the Monte Carlo Markov Chain method applied to clinical data. The resulting model is patient-specific and can be employed for predicting the disease's future development. Forward uncertainty quantification techniques (Monte Carlo and sparse grid stochastic collocation) are applied with the aim of quantifying the impact of the variability of the reaction coefficient on the progression of protein accumulation within the next 20 years.
△ Less
Submitted 2 November, 2023; v1 submitted 5 May, 2023;
originally announced May 2023.
-
Latent Dynamics Networks (LDNets): learning the intrinsic dynamics of spatio-temporal processes
Authors:
Francesco Regazzoni,
Stefano Pagani,
Matteo Salvador,
Luca Dede',
Alfio Quarteroni
Abstract:
Predicting the evolution of systems that exhibit spatio-temporal dynamics in response to external stimuli is a key enabling technology fostering scientific innovation. Traditional equations-based approaches leverage first principles to yield predictions through the numerical approximation of high-dimensional systems of differential equations, thus calling for large-scale parallel computing platfor…
▽ More
Predicting the evolution of systems that exhibit spatio-temporal dynamics in response to external stimuli is a key enabling technology fostering scientific innovation. Traditional equations-based approaches leverage first principles to yield predictions through the numerical approximation of high-dimensional systems of differential equations, thus calling for large-scale parallel computing platforms and requiring large computational costs. Data-driven approaches, instead, enable the description of systems evolution in low-dimensional latent spaces, by leveraging dimensionality reduction and deep learning algorithms. We propose a novel architecture, named Latent Dynamics Network (LDNet), which is able to discover low-dimensional intrinsic dynamics of possibly non-Markovian dynamical systems, thus predicting the time evolution of space-dependent fields in response to external inputs. Unlike popular approaches, in which the latent representation of the solution manifold is learned by means of auto-encoders that map a high-dimensional discretization of the system state into itself, LDNets automatically discover a low-dimensional manifold while learning the latent dynamics, without ever operating in the high-dimensional space. Furthermore, LDNets are meshless algorithms that do not reconstruct the output on a predetermined grid of points, but rather at any point of the domain, thus enabling weight-sharing across query-points. These features make LDNets lightweight and easy-to-train, with excellent accuracy and generalization properties, even in time-extrapolation regimes. We validate our method on several test cases and we show that, for a challenging highly-nonlinear problem, LDNets outperform state-of-the-art methods in terms of accuracy (normalized error 5 times smaller), by employing a dramatically smaller number of trainable parameters (more than 10 times fewer).
△ Less
Submitted 28 April, 2023;
originally announced May 2023.
-
lifex-cfd: an open-source computational fluid dynamics solver for cardiovascular applications
Authors:
Pasquale Claudio Africa,
Ivan Fumagalli,
Michele Bucelli,
Alberto Zingaro,
Marco Fedele,
Luca Dede',
Alfio Quarteroni
Abstract:
Computational fluid dynamics (CFD) is an important tool for the simulation of the cardiovascular function and dysfunction. Due to the complexity of the anatomy, the transitional regime of blood flow in the heart, and the strong mutual influence between the flow and the physical processes involved in the heart function, the development of accurate and efficient CFD solvers for cardiovascular flows…
▽ More
Computational fluid dynamics (CFD) is an important tool for the simulation of the cardiovascular function and dysfunction. Due to the complexity of the anatomy, the transitional regime of blood flow in the heart, and the strong mutual influence between the flow and the physical processes involved in the heart function, the development of accurate and efficient CFD solvers for cardiovascular flows is still a challenging task. In this paper we present lifex-cfd, an open-source CFD solver for cardiovascular simulations based on the lifex finite element library, written in modern C++ and exploiting distributed memory parallelism. We model blood flow in both physiological and pathological conditions via the incompressible Navier-Stokes equations, accounting for moving cardiac valves, moving domains, and transition-to-turbulence regimes. In this paper, we provide an overview of the underlying mathematical formulation, numerical discretization, implementation details and examples on how to use lifex-cfd. We verify the code through rigorous convergence analyses, and we show its almost ideal parallel speedup. We demonstrate the accuracy and reliability of the numerical methods implemented through a series of idealized and patient-specific vascular and cardiac simulations, in different physiological flow regimes. The lifex-cfd source code is available under the LGPLv3 license, to ensure its accessibility and transparency to the scientific community, and to facilitate collaboration and further developments.
△ Less
Submitted 20 November, 2023; v1 submitted 24 April, 2023;
originally announced April 2023.
-
A comprehensive mathematical model for cardiac perfusion
Authors:
Alberto Zingaro,
Christian Vergara,
Luca Dede',
Francesco Regazzoni,
Alfio Quarteroni
Abstract:
We present a novel mathematical model that simulates myocardial blood perfusion by embedding multiscale and multiphysics features. Our model incorporates cardiac electrophysiology, active and passive mechanics, hemodynamics, reduced valve modeling, and a multicompartment Darcy model of perfusion. We consider a fully coupled electromechanical model of the left heart that provides input for a fully…
▽ More
We present a novel mathematical model that simulates myocardial blood perfusion by embedding multiscale and multiphysics features. Our model incorporates cardiac electrophysiology, active and passive mechanics, hemodynamics, reduced valve modeling, and a multicompartment Darcy model of perfusion. We consider a fully coupled electromechanical model of the left heart that provides input for a fully coupled Navier-Stokes - Darcy Model for myocardial perfusion. The fluid dynamics problem is modeled in a left heart geometry that includes large epicardial coronaries, while the multicompartment Darcy model is set in a biventricular domain. Using a realistic and detailed cardiac geometry, our simulations demonstrate the accuracy of our model in describing cardiac perfusion, including myocardial blood flow maps. Additionally, we investigate the impact of a regurgitant aortic valve on myocardial perfusion, and our results indicate a reduction in myocardial perfusion due to blood flow taken away by the left ventricle during diastole. To the best of our knowledge, our work represents the first instance where electromechanics, hemodynamics, and perfusion are integrated into a single computational framework.
△ Less
Submitted 24 March, 2023;
originally announced March 2023.
-
Discontinuous Galerkin Methods for Fisher-Kolmogorov Equation with Application to $α$-Synuclein Spreading in Parkinson's Disease
Authors:
Mattia Corti,
Francesca Bonizzoni,
Luca Dede',
Alfio Quarteroni,
Paola F. Antonietti
Abstract:
This spreading of prion proteins is at the basis of brain neurodegeneration. This paper deals with the numerical modelling of the misfolding process of $α$-synuclein in Parkinson's disease. We introduce and analyze a discontinuous Galerkin method for the semi-discrete approximation of the Fisher-Kolmogorov (FK) equation that can be employed to model the process. We employ a discontinuous Galerkin…
▽ More
This spreading of prion proteins is at the basis of brain neurodegeneration. This paper deals with the numerical modelling of the misfolding process of $α$-synuclein in Parkinson's disease. We introduce and analyze a discontinuous Galerkin method for the semi-discrete approximation of the Fisher-Kolmogorov (FK) equation that can be employed to model the process. We employ a discontinuous Galerkin method on polygonal and polyhedral grids (PolyDG) for space discretization, to accurately simulate the wavefronts typically observed in the prionic spreading and we prove stability and a priori error estimates. Next, we use a Crank-Nicolson scheme to advance in time. For the numerical verification of our numerical model, we first consider a manufactured solution, and then we consider a case with wavefront propagation in two-dimensional polygonal grids. Next, we carry out a simulation of $α$-synuclein spreading in a two-dimensional brain slice in the sagittal plane with a polygonal agglomerated grid that takes full advantage of the flexibility of PolyDG approximation. Finally, we present a simulation in a three-dimensional geometry reconstructed from magnetic resonance images of a patient's brain.
△ Less
Submitted 2 November, 2023; v1 submitted 14 February, 2023;
originally announced February 2023.
-
An electromechanics-driven fluid dynamics model for the simulation of the whole human heart
Authors:
Alberto Zingaro,
Michele Bucelli,
Roberto Piersanti,
Francesco Regazzoni,
Luca Dede',
Alfio Quarteroni
Abstract:
We introduce a multiphysics and geometric multiscale computational model, suitable to describe the hemodynamics of the whole human heart, driven by a four-chamber electromechanical model. We first present a study on the calibration of the biophysically detailed RDQ20 activation model (Regazzoni et al., 2020) that is able to reproduce the physiological range of hemodynamic biomarkers. Then, we demo…
▽ More
We introduce a multiphysics and geometric multiscale computational model, suitable to describe the hemodynamics of the whole human heart, driven by a four-chamber electromechanical model. We first present a study on the calibration of the biophysically detailed RDQ20 activation model (Regazzoni et al., 2020) that is able to reproduce the physiological range of hemodynamic biomarkers. Then, we demonstrate that the ability of the force generation model to reproduce certain microscale mechanisms, such as the dependence of force on fiber shortening velocity, is crucial to capture the overall physiological mechanical and fluid dynamics macroscale behavior. This motivates the need for using multiscale models with high biophysical fidelity, even when the outputs of interest are relative to the macroscale. We show that the use of a high-fidelity electromechanical model, combined with a detailed calibration process, allows us to achieve remarkable biophysical fidelity in terms of both mechanical and hemodynamic quantities. Indeed, our electromechanical-driven CFD simulations - carried out on an anatomically accurate geometry of the whole heart - provide results that match the cardiac physiology both qualitatively (in terms of flow patterns) and quantitatively (when comparing in silico results with biomarkers acquired in vivo). We consider the pathological case of left bundle branch block, and we investigate the consequences that an electrical abnormality has on cardiac hemodynamics thanks to our multiphysics integrated model. The computational model that we propose can faithfully predict a delay and an increasing wall shear stress in the left ventricle in the pathological condition. The interaction of different physical processes in an integrated framework allows us to faithfully describe and model this pathology, by capturing and reproducing the intrinsic multiphysics nature of the human heart.
△ Less
Submitted 5 March, 2024; v1 submitted 5 January, 2023;
originally announced January 2023.
-
Optimized numerical solutions of SIRDVW multiage model controlling SARS-CoV-2 vaccine roll out: an application to the Italian scenario
Authors:
Giovanni Ziarelli,
Luca Dede',
Nicola Parolini,
Marco Verani,
Alfio Quarteroni
Abstract:
In the context of SARS-CoV-2 pandemic, mathematical modelling has played a fundamental role for making forecasts, simulating scenarios and evaluating the impact of preventive political, social and pharmaceutical measures. Optimal control theory can be a useful tool based on solid mathematical bases to plan the vaccination campaign in the direction of eradicating the pandemic as fast as possible. T…
▽ More
In the context of SARS-CoV-2 pandemic, mathematical modelling has played a fundamental role for making forecasts, simulating scenarios and evaluating the impact of preventive political, social and pharmaceutical measures. Optimal control theory can be a useful tool based on solid mathematical bases to plan the vaccination campaign in the direction of eradicating the pandemic as fast as possible. The aim of this work is to explore the optimal prioritisation order for planning vaccination campaigns able to achieve specific goals, as the reduction of the amount of infected, deceased and hospitalized in a fixed time frame, among age classes. For this purpose, we introduce an age stratified SIR-like epidemic compartmental model settled in an abstract framework for modelling two-doses vaccination campaigns and conceived with the description of COVID19 disease. Overall, we formalize an optimal control framework adopting the model as state problem by acting on the administrations of vaccine-doses. An extensive campaign of numerical tests, featured in the Italian scenario and calibrated on available data from Dipartimento di Protezione Civile Italiana, shows that the presented framework can be a valuable tool to support the planning of vaccination campaigns minimizing specific goals.
△ Less
Submitted 31 October, 2022;
originally announced October 2022.
-
Fast and robust parameter estimation with uncertainty quantification for the cardiac function
Authors:
Matteo Salvador,
Francesco Regazzoni,
Luca Dede',
Alfio Quarteroni
Abstract:
Parameter estimation and uncertainty quantification are crucial in computational cardiology, as they enable the construction of digital twins that faithfully replicate the behavior of physical patients. Robust and efficient mathematical methods must be designed to fit many model parameters starting from a few, possibly non-invasive, noisy observations. Moreover, the effective clinical translation…
▽ More
Parameter estimation and uncertainty quantification are crucial in computational cardiology, as they enable the construction of digital twins that faithfully replicate the behavior of physical patients. Robust and efficient mathematical methods must be designed to fit many model parameters starting from a few, possibly non-invasive, noisy observations. Moreover, the effective clinical translation requires short execution times and a small amount of computational resources. In the framework of Bayesian statistics, we combine Maximum a Posteriori estimation and Hamiltonian Monte Carlo to find an approximation of model parameters and their posterior distributions. To reduce the computational effort, we employ an accurate Artificial Neural Network surrogate of 3D cardiac electromechanics model coupled with a 0D cardiocirculatory model. Fast simulations and minimal memory requirements are achieved by using matrix-free methods, automatic differentiation and automatic vectorization. Furthermore, we account for the surrogate modeling error and measurement error. We perform three different in silico test cases, ranging from the ventricular function to the entire cardiovascular system, involving whole-heart mechanics, arterial and venous circulation. The proposed method is robust when high levels of signal-to-noise ratio are present in the quantities of interest in combination with a random initialization of the model parameters in suitable intervals. As a matter of fact, by employing a single central processing unit on a standard laptop and a few hours of computations, we attain small relative errors for all model parameters and we estimate posterior distributions that contain the true values inside the 90% credibility regions. With these benefits, our approach meets the requirements for clinical exploitation, while being compliant with Green Computing practices.
△ Less
Submitted 6 October, 2022;
originally announced October 2022.
-
Numerical Modelling of the Brain Poromechanics by High-Order Discontinuous Galerkin Methods
Authors:
Mattia Corti,
Paola F. Antonietti,
Luca Dede',
Alfio Maria Quarteroni
Abstract:
We introduce and analyze a discontinuous Galerkin method for the numerical modelling of the equations of Multiple-Network Poroelastic Theory (MPET) in the dynamic formulation. The MPET model can comprehensively describe functional changes in the brain considering multiple scales of fluids. Concerning the spatial discretization, we employ a high-order discontinuous Galerkin method on polygonal and…
▽ More
We introduce and analyze a discontinuous Galerkin method for the numerical modelling of the equations of Multiple-Network Poroelastic Theory (MPET) in the dynamic formulation. The MPET model can comprehensively describe functional changes in the brain considering multiple scales of fluids. Concerning the spatial discretization, we employ a high-order discontinuous Galerkin method on polygonal and polyhedral grids and we derive stability and a priori error estimates. The temporal discretization is based on a coupling between a Newmark $β$-method for the momentum equation and a $θ$-method for the pressure equations. After the presentation of some verification numerical tests, we perform a convergence analysis using an agglomerated mesh of a geometry of a brain slice. Finally we present a simulation in a three dimensional patient-specific brain reconstructed from magnetic resonance images. The model presented in this paper can be regarded as a preliminary attempt to model the perfusion in the brain.
△ Less
Submitted 17 March, 2023; v1 submitted 5 October, 2022;
originally announced October 2022.
-
A stable loosely-coupled scheme for cardiac electro-fluid-structure interaction
Authors:
Michele Bucelli,
Martin Geraint Gabriel,
Giacomo Gigante,
Alfio Quarteroni,
Christian Vergara
Abstract:
We present a loosely coupled scheme for the numerical simulation of the cardiac electro-fluid-structure interaction problem, whose solution is typically computationally intensive due to the need to suitably treat the coupling of the different submodels. Our scheme relies on a segregated treatment of the subproblems, in particular on an explicit Robin-Neumann algorithm for the fluid-structure inter…
▽ More
We present a loosely coupled scheme for the numerical simulation of the cardiac electro-fluid-structure interaction problem, whose solution is typically computationally intensive due to the need to suitably treat the coupling of the different submodels. Our scheme relies on a segregated treatment of the subproblems, in particular on an explicit Robin-Neumann algorithm for the fluid-structure interaction, aiming at reducing the computational burden of numerical simulations. The results, both in an ideal and a realistic cardiac setting, show that the proposed scheme is stable at the regimes typical of cardiac simulations. From a comparison with a scheme with implicit fluid-structure interaction, it emerges that, while conservation properties are not fully preserved, computational times significantly benefit from the explicit scheme. Overall, the explicit discretization represents a good trade-off between accuracy and cost, and is a valuable alternative to implicit schemes for fast large-scale simulations.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
Modeling isovolumetric phases in cardiac flows by an Augmented Resistive Immersed Implicit Surface Method
Authors:
Alberto Zingaro,
Michele Bucelli,
Ivan Fumagalli,
Luca Dede',
Alfio Quarteroni
Abstract:
A major challenge in the computational fluid dynamics modeling of the heart function is the simulation of isovolumetric phases when the hemodynamics problem is driven by a prescribed boundary displacement. During such phases, both atrioventricular and semilunar valves are closed: consequently, the ventricular pressure may not be uniquely defined, and spurious oscillations may arise in numerical si…
▽ More
A major challenge in the computational fluid dynamics modeling of the heart function is the simulation of isovolumetric phases when the hemodynamics problem is driven by a prescribed boundary displacement. During such phases, both atrioventricular and semilunar valves are closed: consequently, the ventricular pressure may not be uniquely defined, and spurious oscillations may arise in numerical simulations. In this paper, we propose a suitable modification of the Resistive Immersed Implicit Surface (RIIS) method (Fedele et al., 2017) by introducing a reaction term to correctly capture the pressure transients during isovolumetric phases. The method, that we call Augmented RIIS (ARIIS) method, extends the previously proposed ARIS method (This et al., 2020) to the case of a mesh which is not body-fitted to the valves. We test the proposed method on two different benchmark problems, including a new simplified problem that retains all the characteristics of a heart cycle. We apply the ARIIS method to a fluid dynamics simulation of a realistic left heart geometry, and we show that ARIIS allows to correctly simulate isovolumetric phases, differently from standard RIIS method.
△ Less
Submitted 24 August, 2022; v1 submitted 19 August, 2022;
originally announced August 2022.
-
A mathematical model that integrates cardiac electrophysiology, mechanics and fluid dynamics: application to the human left heart
Authors:
Michele Bucelli,
Alberto Zingaro,
Pasquale Claudio Africa,
Ivan Fumagalli,
Luca Dede',
Alfio Quarteroni
Abstract:
We propose a mathematical and numerical model for the simulation of the heart function that couples cardiac electrophysiology, active and passive mechanics and hemodynamics, and includes reduced models for cardiac valves and the circulatory system. Our model accounts for the major feedback effects among the different processes that characterize the heart function, including electro-mechanical and…
▽ More
We propose a mathematical and numerical model for the simulation of the heart function that couples cardiac electrophysiology, active and passive mechanics and hemodynamics, and includes reduced models for cardiac valves and the circulatory system. Our model accounts for the major feedback effects among the different processes that characterize the heart function, including electro-mechanical and mechano-electrical feedback as well as force-strain and force-velocity relationships. Moreover, it provides a three-dimensional representation of both the cardiac muscle and the hemodynamics, coupled in a fluid-structure interaction (FSI) model. By leveraging the multiphysics nature of the problem, we discretize it in time with a segregated electrophysiology-force generation-FSI approach, allowing for efficiency and flexibility in the numerical solution. We employ a monolithic approach for the numerical discretization of the FSI problem. We use finite elements for the spatial discretization of those partial differential equations that contribute to the model. We carry out a numerical simulation on a realistic human left heart model, obtaining results that are qualitatively and quantitatively in agreement with physiological ranges and medical images.
△ Less
Submitted 10 August, 2022;
originally announced August 2022.
-
A comprehensive and biophysically detailed computational model of the whole human heart electromechanics
Authors:
Marco Fedele,
Roberto Piersanti,
Francesco Regazzoni,
Matteo Salvador,
Pasquale Claudio Africa,
Michele Bucelli,
Alberto Zingaro,
Luca Dede',
Alfio Quarteroni
Abstract:
While ventricular electromechanics is extensively studied, four-chamber heart models have only been addressed recently; most of these works however neglect atrial contraction. Indeed, as atria are characterized by a complex physiology influenced by the ventricular function, develo** computational models able to capture the physiological atrial function and atrioventricular interaction is very ch…
▽ More
While ventricular electromechanics is extensively studied, four-chamber heart models have only been addressed recently; most of these works however neglect atrial contraction. Indeed, as atria are characterized by a complex physiology influenced by the ventricular function, develo** computational models able to capture the physiological atrial function and atrioventricular interaction is very challenging. In this paper, we propose a biophysically detailed electromechanical model of the whole human heart that considers both atrial and ventricular contraction. Our model includes: i) an anatomically accurate whole-heart geometry; ii) a comprehensive myocardial fiber architecture; iii) a biophysically detailed microscale model for the active force generation; iv) a 0D closed-loop model of the circulatory system; v) the fundamental interactions among the different core models; vi) specific constitutive laws and model parameters for each cardiac region. Concerning the numerical discretization, we propose an efficient segregated-intergrid-staggered scheme and we employ recently developed stabilization techniques that are crucial to obtain a stable formulation in a four-chamber scenario. We are able to reproduce the healthy cardiac function for all the heart chambers, in terms of pressure-volume loops, time evolution of pressures, volumes and fluxes, and three-dimensional cardiac deformation, with unprecedented matching (to the best of our knowledge) with the expected physiology. We also show the importance of considering atrial contraction, fibers-stretch-rate feedback and suitable stabilization techniques, by comparing the results obtained with and without these features in the model. The proposed model represents the state-of-the-art electromechanical model of the iHEART ERC project and is a fundamental step toward the building of physics-based digital twins of the human heart.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Let the paintings play
Authors:
Paola Gervasio,
Alfio Quarteroni,
Daniele Cassani
Abstract:
In this paper, we introduce a mathematical method to extract similarities between paintings and musical tracks. Our approach is based on the digitalization of both paintings and musical tracks by means of finite expansions in terms of orthogonal basis functions (with both Fourier and wavelet bases). The best fit between a specific painting and a sample of musical tracks from a given composer is ac…
▽ More
In this paper, we introduce a mathematical method to extract similarities between paintings and musical tracks. Our approach is based on the digitalization of both paintings and musical tracks by means of finite expansions in terms of orthogonal basis functions (with both Fourier and wavelet bases). The best fit between a specific painting and a sample of musical tracks from a given composer is achieved via an $L^2$ projection upon a finite-dimensional subspace. Several examples are provided for the analysis of a collection of works of art by the Italian artist Marcello Morandini. Finally, we have developed an original applet that implements the process above and which can be freely downloaded from the site https://github.com/pgerva/playing-paintings.git
△ Less
Submitted 3 January, 2023; v1 submitted 26 May, 2022;
originally announced June 2022.
-
A reduced order model for domain decompositions with non-conforming interfaces
Authors:
Elena Zappon,
Andrea Manzoni,
Paola Gervasio,
Alfio Quarteroni
Abstract:
In this paper, we propose a reduced-order modeling strategy for two-way Dirichlet-Neumann parametric coupled problems solved with domain-decomposition (DD) sub-structuring methods. We split the original coupled differential problem into two sub-problems with Dirichlet and Neumann interface conditions, respectively. After discretization by, e.g., the finite element method, the full-order model (FOM…
▽ More
In this paper, we propose a reduced-order modeling strategy for two-way Dirichlet-Neumann parametric coupled problems solved with domain-decomposition (DD) sub-structuring methods. We split the original coupled differential problem into two sub-problems with Dirichlet and Neumann interface conditions, respectively. After discretization by, e.g., the finite element method, the full-order model (FOM) is solved by Dirichlet-Neumann iterations between the two sub-problems until interface convergence is reached. We then apply the reduced basis (RB) method to obtain a low-dimensional representation of the solution of each sub-problem. Furthermore, we apply the discrete empirical interpolation method (DEIM) at the interface level to achieve a fully reduced-order representation of the DD techniques implemented. To deal with non-conforming FE interface discretizations, we employ the INTERNODES method combined with the interface DEIM reduction. The reduced-order model (ROM) is then solved by sub-iterating between the two reduced-order sub-problems until the convergence of the approximated high-fidelity interface solutions. The ROM scheme is numerically verified on both steady and unsteady coupled problems, in the case of non-conforming FE interfaces.
△ Less
Submitted 6 March, 2024; v1 submitted 20 June, 2022;
originally announced June 2022.
-
A matrix-free high-order solver for the numerical solution of cardiac electrophysiology
Authors:
Pasquale Claudio Africa,
Matteo Salvador,
Paola Gervasio,
Luca Dede',
Alfio Quarteroni
Abstract:
We propose a matrix-free solver for the numerical solution of the cardiac electrophysiology model consisting of the monodomain nonlinear reaction-diffusion equation coupled with a system of ordinary differential equations for the ionic species. Our numerical approximation is based on the high-order Spectral Element Method (SEM) to achieve accurate numerical discretization while employing a much sm…
▽ More
We propose a matrix-free solver for the numerical solution of the cardiac electrophysiology model consisting of the monodomain nonlinear reaction-diffusion equation coupled with a system of ordinary differential equations for the ionic species. Our numerical approximation is based on the high-order Spectral Element Method (SEM) to achieve accurate numerical discretization while employing a much smaller number of Degrees of Freedom than first-order Finite Elements. We combine vectorization with sum-factorization, thus allowing for a very efficient use of high-order polynomials in a high performance computing framework. We validate the effectiveness of our matrix-free solver in a variety of applications and perform different electrophysiological simulations ranging from a simple slab of cardiac tissue to a realistic four-chamber heart geometry. We compare SEM to SEM with Numerical Integration (SEM-NI), showing that they provide comparable results in terms of accuracy and efficiency. In both cases, increasing the local polynomial degree $p$ leads to better numerical results and smaller computational times than reducing the mesh size $h$. We also implement a matrix-free Geometric Multigrid preconditioner that results in a comparable number of linear solver iterations with respect to a state-of-the-art matrix-based Algebraic Multigrid preconditioner. As a matter of fact, the matrix-free solver proposed here yields up to 45$\times$ speed-up with respect to a conventional matrix-based solver.
△ Less
Submitted 31 January, 2023; v1 submitted 10 May, 2022;
originally announced May 2022.
-
Universal Solution Manifold Networks (USM-Nets): non-intrusive mesh-free surrogate models for problems in variable domains
Authors:
Francesco Regazzoni,
Stefano Pagani,
Alfio Quarteroni
Abstract:
We introduce Universal Solution Manifold Network (USM-Net), a novel surrogate model, based on Artificial Neural Networks (ANNs), which applies to differential problems whose solution depends on physical and geometrical parameters. Our method employs a mesh-less architecture, thus overcoming the limitations associated with image segmentation and mesh generation required by traditional discretizatio…
▽ More
We introduce Universal Solution Manifold Network (USM-Net), a novel surrogate model, based on Artificial Neural Networks (ANNs), which applies to differential problems whose solution depends on physical and geometrical parameters. Our method employs a mesh-less architecture, thus overcoming the limitations associated with image segmentation and mesh generation required by traditional discretization methods. Indeed, we encode geometrical variability through scalar landmarks, such as coordinates of points of interest. In biomedical applications, these landmarks can be inexpensively processed from clinical images. Our approach is non-intrusive and modular, as we select a data-driven loss function. The latter can also be modified by considering additional constraints, thus leveraging available physical knowledge. Our approach can also accommodate a universal coordinate system, which supports the USM-Net in learning the correspondence between points belonging to different geometries, boosting prediction accuracy on unobserved geometries. Finally, we present two numerical test cases in computational fluid dynamics involving variable Reynolds numbers as well as computational domains of variable shape. The results show that our method allows for inexpensive but accurate approximations of velocity and pressure, avoiding computationally expensive image segmentation, mesh generation, or re-training for every new instance of physical parameters and shape of the domain.
△ Less
Submitted 16 April, 2022;
originally announced April 2022.
-
Efficient and certified solution of parametrized one-way coupled problems through DEIM-based data projection across non-conforming interfaces
Authors:
Elena Zappon,
Andrea Manzoni,
Alfio Quarteroni
Abstract:
One of the major challenges of coupled problems is to manage nonconforming meshes at the interface between two models and/or domains, due to different numerical schemes or domains discretizations employed. Moreover, very often complex submodels depend on (e.g., physical or geometrical) parameters. Understanding how outputs of interest are affected by parameter variations thus plays a key role to g…
▽ More
One of the major challenges of coupled problems is to manage nonconforming meshes at the interface between two models and/or domains, due to different numerical schemes or domains discretizations employed. Moreover, very often complex submodels depend on (e.g., physical or geometrical) parameters. Understanding how outputs of interest are affected by parameter variations thus plays a key role to gain useful insights on the problem's physics; however, expensive repeated solutions of the problem using high-fidelity, full-order models are often unaffordable. In this paper, we propose a parametric reduced order modeling (ROM) technique for parametrized one-way coupled problems made by a first independent model, the master model, and a second model, the slave model, that depends on the master model through Dirichlet interface conditions. We combine a reduced basis (RB) method, applied to each subproblems, with the discretized empirical interpolation method (DEIM) to efficiently interpolate or project Dirichlet data across conforming and non-conforming meshes at the domains interface, building a low-dimensional representation of the overall coupled problem. The proposed technique is then numerically verified by considering a series of test cases involving both steady and unsteady problems, and deriving a-posteriori error estimates on the solution of the coupled problem in both cases. This work arises from the need to solve staggered cardiac electrophysiological models and represents the first step towards the setting of ROM techniques for the more general two-way Dirichlet-Neumann coupled problems solved with domain decomposition sub-structuring methods, when interface non-conformity is involved.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
Impact of Atrial Fibrillation on Left Atrium Haemodynamics: A Computational Fluid Dynamics Study
Authors:
Mattia Corti,
Alberto Zingaro,
Luca Dede',
Alfio Maria Quarteroni
Abstract:
We analyze left atrium haemodynamics, highlighting differences among healthy individuals and patients affected by atrial fibrillation. The computational study is based on patient-specific geometries of the left atria to simulate blood flow dynamics. We devise a novel procedure aimed at recovering the boundary conditions for the 3D haemodynamics simulations, particularly useful in absence of specif…
▽ More
We analyze left atrium haemodynamics, highlighting differences among healthy individuals and patients affected by atrial fibrillation. The computational study is based on patient-specific geometries of the left atria to simulate blood flow dynamics. We devise a novel procedure aimed at recovering the boundary conditions for the 3D haemodynamics simulations, particularly useful in absence of specific ones provided by clinical measurements. With this aim, we introduce a parametric definition of the atria displacement, and we employ a closed-loop lumped parameter model of the whole cardiocirculatory system conveniently tuned on the basis of the patient characteristics. We evaluate a number of fluid dynamics indicators for the atrial haemodynamics, validating our numerical results in terms of several clinical measurements; we investigate the impact of geometrical and clinical features on the risk of thrombosis. To analyse the correlation of thrombus formation with atrial fibrillation, coherently with the medical evidence, we propose a novel indicator, which we call age stasis and that arises from the combination of Eulerian and Lagrangian quantities. This indicator identifies regions where the slow flow cannot rinse the chamber properly, accumulating stale blood particles and creating optimal conditions for clot formation.
△ Less
Submitted 4 October, 2022; v1 submitted 22 February, 2022;
originally announced February 2022.
-
Efficient approximation of cardiac mechanics through reduced order modeling with deep learning-based operator approximation
Authors:
Ludovica Cicci,
Stefania Fresca,
Andrea Manzoni,
Alfio Quarteroni
Abstract:
Reducing the computational time required by high-fidelity, full order models (FOMs) for the solution of problems in cardiac mechanics is crucial to allow the translation of patient-specific simulations into clinical practice. While FOMs, such as those based on the finite element method, provide valuable information of the cardiac mechanical function, up to hundreds of thousands degrees of freedom…
▽ More
Reducing the computational time required by high-fidelity, full order models (FOMs) for the solution of problems in cardiac mechanics is crucial to allow the translation of patient-specific simulations into clinical practice. While FOMs, such as those based on the finite element method, provide valuable information of the cardiac mechanical function, up to hundreds of thousands degrees of freedom may be needed to obtain accurate numerical results. As a matter of fact, simulating even just a few heartbeats can require hours to days of CPU time even on powerful supercomputers. In addition, cardiac models depend on a set of input parameters that we could let vary in order to explore multiple virtual scenarios. To compute reliable solutions at a greatly reduced computational cost, we rely on a reduced basis method empowered with a new deep-learning based operator approximation, which we refer to as Deep-HyROMnet technique. Our strategy combines a projection-based POD-Galerkin method with deep neural networks for the approximation of (reduced) nonlinear operators, overcoming the typical computational bottleneck associated with standard hyper-reduction techniques. This method is shown to provide reliable approximations to cardiac mechanics problems outperforming classical projection-based ROMs in terms of computational speed-up of orders of magnitude, and enhancing forward uncertainty quantification analysis otherwise unaffordable.
△ Less
Submitted 8 February, 2022;
originally announced February 2022.
-
An open tool based on lifex for myofibers generation in cardiac computational models
Authors:
Pasquale C. Africa,
Roberto Piersanti,
Marco Fedele,
Luca Dede',
Alfio Quarteroni
Abstract:
Modeling the whole cardiac function involves the solution of several complex multi-physics and multi-scale models that are highly computationally demanding, which call for simpler yet accurate, high-performance computational tools. Despite the efforts made by several research groups, no software for whole-heart fully-coupled cardiac simulations in the scientific community has reached full maturity…
▽ More
Modeling the whole cardiac function involves the solution of several complex multi-physics and multi-scale models that are highly computationally demanding, which call for simpler yet accurate, high-performance computational tools. Despite the efforts made by several research groups, no software for whole-heart fully-coupled cardiac simulations in the scientific community has reached full maturity yet. In this work we present the first publicly released package of lifex, a high-performance Finite Element solver for multi-physics and multi-scale problems developed in the framework of the iHEART project. The goal of lifex is twofold. On the one side, it aims at making in silico experiments easily reproducible and accessible to a wide community of users, including those with a background in medicine or bio-engineering. On the other hand, as an academic research library lifex can be exploited by scientific computing experts to explore new mathematical models and numerical methods within a robust development framework. lifex has been developed with a modular structure and will be released bundled in different modules. The tool presented here proposes an innovative generator for myocardial fibers based on Laplace-Dirichlet Rule-Based Methods, which are the essential building blocks for modeling the electrophysiological, mechanical and electromechanical cardiac function, from single-chamber to whole-heart simulations. This report comes with an extensive technical and mathematical documentation to welcome new users to the core structure of a prototypical lifex application and to provide them with a possible approach to include the generated cardiac fibers into more sophisticated computational pipelines.
△ Less
Submitted 7 October, 2022; v1 submitted 10 January, 2022;
originally announced January 2022.
-
Modelling the COVID-19 epidemic and the vaccination campaign in Italy by the SUIHTER model
Authors:
Nicola Parolini,
Luca Dede',
Giovanni Ardenghi,
Alfio Quarteroni
Abstract:
Several epidemiological models have been proposed to study the evolution of COVID-19 pandemic. In this paper, we propose an extension of the SUIHTER model, first introduced in [Parolini et al, Proc R. Soc. A., 2021] to analyse the COVID-19 spreading in Italy, which accounts for the vaccination campaign and the presence of new variants when they become dominant. In particular, the specific features…
▽ More
Several epidemiological models have been proposed to study the evolution of COVID-19 pandemic. In this paper, we propose an extension of the SUIHTER model, first introduced in [Parolini et al, Proc R. Soc. A., 2021] to analyse the COVID-19 spreading in Italy, which accounts for the vaccination campaign and the presence of new variants when they become dominant. In particular, the specific features of the variants (e.g. their increased transmission rate) and vaccines (e.g. their efficacy to prevent transmission, hospitalization and death) are modeled, based on clinical evidence. The new model is validated comparing its near-future forecast capabilities with other epidemiological models and exploring different scenario analyses.
△ Less
Submitted 22 December, 2021;
originally announced December 2021.
-
Some evaluations of the fractional $p$-Laplace operator on radial functions
Authors:
F. Colasuonno,
F. Ferrari,
P. Gervasio,
A. Quarteroni
Abstract:
We face a rigidity problem for the fractional $p$-Laplace operator to extend to this new framework some tools useful for the linear case. It is known that $(-Δ)^s(1-|x|^{2})^s_+$ and $-Δ_p(1-|x|^{\frac{p}{p-1}})$ are constant functions in $(-1,1)$ for fixed $p$ and $s$. We evaluated $(-Δ_p)^s(1-|x|^{\frac{p}{p-1}})^s_+$ proving that it is not constant in $(-1,1)$ for some $p\in (1,+\infty)$ and…
▽ More
We face a rigidity problem for the fractional $p$-Laplace operator to extend to this new framework some tools useful for the linear case. It is known that $(-Δ)^s(1-|x|^{2})^s_+$ and $-Δ_p(1-|x|^{\frac{p}{p-1}})$ are constant functions in $(-1,1)$ for fixed $p$ and $s$. We evaluated $(-Δ_p)^s(1-|x|^{\frac{p}{p-1}})^s_+$ proving that it is not constant in $(-1,1)$ for some $p\in (1,+\infty)$ and $s\in (0,1)$. This conclusion is obtained numerically thanks to the use of very accurate Gaussian numerical quadrature formulas.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
The role of mechano-electric feedbacks and hemodynamic coupling in scar-related ventricular tachycardia
Authors:
Matteo Salvador,
Francesco Regazzoni,
Stefano Pagani,
Luca Dede',
Natalia Trayanova,
Alfio Quarteroni
Abstract:
Mechano-electric feedbacks (MEFs), which model how mechanical stimuli are transduced into electrical signals, have received sparse investigation by considering electromechanical simulations in simplified scenarios. In this paper, we study the effects of different MEFs modeling choices for myocardial deformation and nonselective stretch-activated channels (SACs) in the monodomain equation. We perfo…
▽ More
Mechano-electric feedbacks (MEFs), which model how mechanical stimuli are transduced into electrical signals, have received sparse investigation by considering electromechanical simulations in simplified scenarios. In this paper, we study the effects of different MEFs modeling choices for myocardial deformation and nonselective stretch-activated channels (SACs) in the monodomain equation. We perform numerical simulations during ventricular tachycardia (VT) by employing a biophysically detailed and anatomically accurate 3D electromechanical model for the left ventricle (LV) coupled with a 0D closed-loop model of the cardiocirculatory system. We model the electromechanical substrate responsible for scar-related VT with a distribution of infarct and peri-infarct zones. Our mathematical framework takes into account the hemodynamic effects of VT due to myocardial impairment and allows for the classification of their hemodynamic nature, which can be either stable or unstable. By combining electrophysiological, mechanical and hemodynamic models, we observe that all MEFs may alter the propagation of the action potential and the morphology of the VT. In particular, we notice that the presence of myocardial deformation in the monodomain equation may change the VT basis cycle length and the conduction velocity but do not affect the hemodynamic nature of the VT. Finally, nonselective SACs may affect wavefront stability, by possibly turning a hemodynamically stable VT into a hemodynamically unstable one and vice versa.
△ Less
Submitted 28 October, 2021;
originally announced October 2021.
-
A machine learning method for real-time numerical simulations of cardiac electromechanics
Authors:
Francesco Regazzoni,
Matteo Salvador,
Luca Dedè,
Alfio Quarteroni
Abstract:
We propose a machine learning-based method to build a system of differential equations that approximates the dynamics of 3D electromechanical models for the human heart, accounting for the dependence on a set of parameters. Specifically, our method permits to create a reduced-order model (ROM), written as a system of Ordinary Differential Equations (ODEs) wherein the forcing term, given by the rig…
▽ More
We propose a machine learning-based method to build a system of differential equations that approximates the dynamics of 3D electromechanical models for the human heart, accounting for the dependence on a set of parameters. Specifically, our method permits to create a reduced-order model (ROM), written as a system of Ordinary Differential Equations (ODEs) wherein the forcing term, given by the right-hand side, consists of an Artificial Neural Network (ANN), that possibly depends on a set of parameters associated with the electromechanical model to be surrogated. This method is non-intrusive, as it only requires a collection of pressure and volume transients obtained from the full-order model (FOM) of cardiac electromechanics. Once trained, the ANN-based ROM can be coupled with hemodynamic models for the blood circulation external to the heart, in the same manner as the original electromechanical model, but at a dramatically lower computational cost. Indeed, our method allows for real-time numerical simulations of the cardiac function. We demonstrate the effectiveness of the proposed method on two relevant contexts in cardiac modeling. First, we employ the ANN-based ROM to perform a global sensitivity analysis on both the electromechanical and hemodynamic models. Second, we perform a Bayesian estimation of two parameters starting from noisy measurements of two scalar outputs. In both these cases, replacing the FOM of cardiac electromechanics with the ANN-based ROM makes it possible to perform in a few hours of computational time all the numerical simulations that would be otherwise unaffordable, because of their overwhelming computational cost, if carried out with the FOM. As a matter of fact, our ANN-based ROM is able to speedup the numerical simulations by more than three orders of magnitude.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
A geometric multiscale model for the numerical simulation of blood flow in the human left heart
Authors:
Alberto Zingaro,
Ivan Fumagalli,
Luca Dede',
Marco Fedele,
Pasquale Claudio Africa,
Antonio Francesco Corno,
Alfio Quarteroni
Abstract:
We present a new computational model for the numerical simulation of blood flow in the human left heart. To this aim, we use the Navier-Stokes equations in an Arbitrary Lagrangian Eulerian formulation to account for the endocardium motion and we model the cardiac valves by means of the Resistive Immersed Implicit Surface method. To impose a physiological displacement of the domain boundary, we use…
▽ More
We present a new computational model for the numerical simulation of blood flow in the human left heart. To this aim, we use the Navier-Stokes equations in an Arbitrary Lagrangian Eulerian formulation to account for the endocardium motion and we model the cardiac valves by means of the Resistive Immersed Implicit Surface method. To impose a physiological displacement of the domain boundary, we use a 3D cardiac electromechanical model of the left ventricle coupled to a lumped-parameter (0D) closed-loop model of the remaining circulation. We thus obtain a one-way coupled electromechanics-fluid dynamics model in the left ventricle. To extend the left ventricle motion to the endocardium of the left atrium and to that of the ascending aorta, we introduce a preprocessing procedure according to which an harmonic extension of the left ventricle displacement is combined with the motion of the left atrium based on the 0D model. To better match the 3D cardiac fluid flow with the external blood circulation, we couple the 3D Navier-Stokes equations to the 0D circulation model, obtaining a multiscale coupled 3D-0D fluid dynamics model that we solve via a segregated numerical scheme. We carry out numerical simulations for a healthy left heart and we validate our model by showing that meaningful hemodynamic indicators are correctly reproduced.
△ Less
Submitted 7 July, 2022; v1 submitted 5 October, 2021;
originally announced October 2021.
-
3D-0D closed-loop model for the simulation of cardiac biventricular electromechanics
Authors:
Roberto Piersanti,
Francesco Regazzoni,
Matteo Salvador,
Antonio F. Corno,
Luca Dede',
Christian Vergara,
Alfio Quarteroni
Abstract:
Two crucial factors for accurate numerical simulations of cardiac electromechanics, which are also essential to reproduce the synchronous activity of the heart, are: i) accounting for the interaction between the heart and the circulatory system that determines pressures and volumes loads in the heart chambers; ii) reconstructing the muscular fiber architecture that drives the electrophysiology sig…
▽ More
Two crucial factors for accurate numerical simulations of cardiac electromechanics, which are also essential to reproduce the synchronous activity of the heart, are: i) accounting for the interaction between the heart and the circulatory system that determines pressures and volumes loads in the heart chambers; ii) reconstructing the muscular fiber architecture that drives the electrophysiology signal and the myocardium contraction. In this work, we present a 3D biventricular electromechanical model coupled with a 0D closed-loop model of the whole cardiovascular system that addresses the two former crucial factors. With this aim, we introduce a boundary condition for the mechanical problem that accounts for the neglected part of the domain located on top of the biventricular basal plane and that is consistent with the principles of momentum and energy conservation. We also discuss in detail the coupling conditions that stand behind the 3D and the 0D models. We perform electromechanical simulations in physiological conditions using the 3D-0D model and we show that our results match the experimental data of relevant mechanical biomarkers available in literature. Furthermore, we investigate different arrangements in cross-fibers active contraction. We prove that an active tension along the sheet direction counteracts the myofiber contraction, while the one along the sheet-normal direction enhances the cardiac work. Finally, several myofiber architectures are analysed. We show that a different fiber field in the septal area and in the transmural wall effect the pum** functionality of the left ventricle.
△ Less
Submitted 4 August, 2021;
originally announced August 2021.
-
Hemodynamics of the heart's left atrium based on a Variational Multiscale-LES numerical method
Authors:
Alberto Zingaro,
Luca Dede',
Filippo Menghini,
Alfio Quarteroni
Abstract:
In this paper, we investigate the hemodynamics of a left atrium (LA) by proposing a computational model suitable to provide physically meaningful fluid dynamics indications and detailed blood flow characterization. In particular, we consider the incompressible Navier-Stokes equations in Arbitrary Lagrangian Eulerian (ALE) formulation to deal with the LA domain under prescribed motion. A Variationa…
▽ More
In this paper, we investigate the hemodynamics of a left atrium (LA) by proposing a computational model suitable to provide physically meaningful fluid dynamics indications and detailed blood flow characterization. In particular, we consider the incompressible Navier-Stokes equations in Arbitrary Lagrangian Eulerian (ALE) formulation to deal with the LA domain under prescribed motion. A Variational Multiscale (VMS) method is adopted to obtain a stable formulation of the Navier-Stokes equations discretized by means of the Finite Element method and to account for turbulence modeling based on Large Eddy Simulation (LES). The aim of this paper is twofold: on one hand to improve the general understanding of blood flow in the human LA in normal conditions; on the other, to analyse the effects of the turbulence VMS-LES method on a situation of blood flow which is neither laminar, nor fully turbulent, but rather transitional as in LA. Our results suggest that if relatively coarse meshes are adopted, the additional stabilization terms introduced by the VMS-LES method allow to better predict transitional effects and cycle-to-cycle blood flow variations than the standard SUPG stabilization method.
△ Less
Submitted 7 July, 2022; v1 submitted 30 June, 2021;
originally announced June 2021.
-
Electromechanical modeling of human ventricles with ischemic cardiomyopathy: numerical simulations in sinus rhythm and under arrhythmia
Authors:
Matteo Salvador,
Marco Fedele,
Pasquale Claudio Africa,
Eric Sung,
Luca Dede',
Adityo Prakosa,
Jonathan Chrispin,
Natalia Trayanova,
Alfio Quarteroni
Abstract:
We developed a novel patient-specific computational model for the numerical simulation of ventricular electromechanics in patients with ischemic cardiomyopathy (ICM). This model reproduces the activity both in sinus rhythm (SR) and in ventricular tachycardia (VT). The presence of scars, grey zones and non-remodeled regions of the myocardium is accounted for by the introduction of a spatially heter…
▽ More
We developed a novel patient-specific computational model for the numerical simulation of ventricular electromechanics in patients with ischemic cardiomyopathy (ICM). This model reproduces the activity both in sinus rhythm (SR) and in ventricular tachycardia (VT). The presence of scars, grey zones and non-remodeled regions of the myocardium is accounted for by the introduction of a spatially heterogeneous coefficient in the 3D electromechanics model. This 3D electromechanics model is firstly coupled with a 2-element Windkessel afterload model to fit the pressure-volume (PV) loop of a patient-specific left ventricle (LV) with ICM in SR. Then, we employ the coupling with a 0D closed-loop circulation model to analyze a VT circuit over multiple heartbeats on the same LV. We highlight similarities and differences on the solutions obtained by the electrophysiology model and those of the electromechanics model, while considering different scenarios for the circulatory system. We observe that very different parametrizations of the circulation model induce the same hemodynamical considerations for the patient at hand. Specifically, we classify this VT as unstable. We conclude by stressing the importance of combining electrophysiological, mechanical and hemodynamical models to provide relevant clinical indicators in how arrhythmias evolve and can potentially lead to sudden cardiac death.
△ Less
Submitted 24 June, 2021;
originally announced June 2021.
-
Integration of activation maps of epicardial veins in computational cardiac electrophysiology
Authors:
Simone Stella,
Christian Vergara,
Massimiliano Maines,
Domenico Catanzariti,
Pasquale C. Africa,
Cristina Demattè,
Maurizio Centonze,
Fabio Nobile,
Maurizio Del Greco,
Alfio Quarteroni
Abstract:
In this work we address the issue of validating the monodomain equation used in combination with the Bueno-Orovio ionic model for the prediction of the activation times in cardiac electro-physiology of the left ventricle. To this aim, we consider our patients who suffered from Left Bundle Branch Block (LBBB). We use activation maps performed at the septum as input data for the model and maps at th…
▽ More
In this work we address the issue of validating the monodomain equation used in combination with the Bueno-Orovio ionic model for the prediction of the activation times in cardiac electro-physiology of the left ventricle. To this aim, we consider our patients who suffered from Left Bundle Branch Block (LBBB). We use activation maps performed at the septum as input data for the model and maps at the epicardial veins for the validation. In particular, a first set (half) of the latter are used to estimate the conductivities of the patient and a second set (the remaining half) to compute the errors of the numerical simulations. We find an excellent agreement between measures and numerical results. Our validated computational tool could be used to accurately predict activation times at the epicardial veins with a short map**, i.e. by using only a part (the most proximal) of the standard acquisition points, thus reducing the invasive procedure and exposure to radiation.
△ Less
Submitted 31 January, 2021;
originally announced February 2021.
-
Modeling cardiac muscle fibers in ventricular and atrial electrophysiology simulations
Authors:
Roberto Piersanti,
Pasquale C. Africa,
Marco Fedele,
Christian Vergara,
Luca Dedè,
Antonio F. Corno,
Alfio Quarteroni
Abstract:
Since myocardial fibers drive the electric signal propagation throughout the myocardium, accurately modeling their arrangement is essential for simulating heart electrophysiology (EP). Rule-Based-Methods (RBMs) represent a commonly used strategy to include cardiac fibers in computational models. A particular class of such methods is known as Laplace-Dirichlet-Rule-Based-Methods (LDRBMs) since they…
▽ More
Since myocardial fibers drive the electric signal propagation throughout the myocardium, accurately modeling their arrangement is essential for simulating heart electrophysiology (EP). Rule-Based-Methods (RBMs) represent a commonly used strategy to include cardiac fibers in computational models. A particular class of such methods is known as Laplace-Dirichlet-Rule-Based-Methods (LDRBMs) since they rely on the solution of Laplace problems. In this work we provide a unified framework, based on LDRBMs, for generating full heart muscle fibers. First, we review existing ventricular LDRBMs providing a communal mathematical description and introducing also some modeling improvements with respect to the existing literature. We then carry out a systematic comparison of LDRBMs based on meaningful biomarkers produced by numerical EP simulations. Next we propose, for the first time, a LDRBM to be used for generating atrial fibers. The new method, tested both on idealized and realistic atrial models, can be applied to any arbitrary geometries. Finally, we present numerical results obtained in a realistic whole heart where fibers are included for all the four chambers using the discussed LDRBMs.
△ Less
Submitted 26 January, 2021;
originally announced January 2021.
-
SUIHTER: A new mathematical model for COVID-19. Application to the analysis of the second epidemic outbreak in Italy
Authors:
Nicola Parolini,
Luca Dede',
Paola F. Antonietti,
Giovanni Ardenghi,
Andrea Manzoni,
Edie Miglio,
Andrea Pugliese,
Marco Verani,
Alfio Quarteroni
Abstract:
The COVID-19 epidemic is the last of a long list of pandemics that have affected humankind in the last century. In this paper, we propose a novel mathematical epidemiological model named SUIHTER from the names of the seven compartments that it comprises: susceptible uninfected individuals (S), undetected (both asymptomatic and symptomatic) infected (U), isolated (I), hospitalized (H), threatened (…
▽ More
The COVID-19 epidemic is the last of a long list of pandemics that have affected humankind in the last century. In this paper, we propose a novel mathematical epidemiological model named SUIHTER from the names of the seven compartments that it comprises: susceptible uninfected individuals (S), undetected (both asymptomatic and symptomatic) infected (U), isolated (I), hospitalized (H), threatened (T), extinct (E), and recovered (R). A suitable parameter calibration that is based on the combined use of least squares method and Markov Chain Monte Carlo (MCMC) method is proposed with the aim of reproducing the past history of the epidemic in Italy, surfaced in late February and still ongoing to date, and of validating SUIHTER in terms of its predicting capabilities. A distinctive feature of the new model is that it allows a one-to-one calibration strategy between the model compartments and the data that are daily made available from the Italian Civil Protection. The new model is then applied to the analysis of the Italian epidemic with emphasis on the second outbreak emerged in Fall 2020. In particular, we show that the epidemiological model SUIHTER can be suitably used in a predictive manner to perform scenario analysis at national level.
△ Less
Submitted 26 April, 2021; v1 submitted 9 January, 2021;
originally announced January 2021.
-
A cardiac electromechanics model coupled with a lumped parameters model for closed-loop blood circulation. Part II: numerical approximation
Authors:
Francesco Regazzoni,
Matteo Salvador,
Pasquale Claudio Africa,
Marco Fedele,
Luca Dede',
Alfio Quarteroni
Abstract:
In the framework of accurate and efficient segregated schemes for 3D cardiac electromechanics and 0D cardiovascular models, we propose here a novel numerical approach to address the coupled 3D-0D problem introduced in Part I of this two-part series of papers. We combine implicit-explicit schemes to solve the different cardiac models in a multiphysics setting. We properly separate and manage the di…
▽ More
In the framework of accurate and efficient segregated schemes for 3D cardiac electromechanics and 0D cardiovascular models, we propose here a novel numerical approach to address the coupled 3D-0D problem introduced in Part I of this two-part series of papers. We combine implicit-explicit schemes to solve the different cardiac models in a multiphysics setting. We properly separate and manage the different time and space scales related to cardiac electromechanics and blood circulation. We employ a flexible and scalable intergrid transfer operator that enables to interpolate Finite Element functions among different meshes and, possibly, among different Finite Element spaces. We propose a numerical method to couple the 3D electromechanical model and the 0D circulation model in a numerically stable manner within a fully segregated fashion. No adaptations are required through the different phases of the heartbeat. We also propose a robust algorithm to reconstruct the stress-free reference configuration. Due to the computational cost associated with the numerical solution of this inverse problem, the reference configuration recovery algorithm comes along with a novel projection technique to precisely recover the unloaded geometry from a coarser representation of the computational domain. We show the convergence property of our numerical schemes by performing an accuracy study through grid refinement. To prove the biophysical accuracy of our computational model, we also address different scenarios of clinical interest in our numerical simulations by varying preload, afterload and contractility. Indeed, we simulate physiologically relevant behaviors and we reproduce meaningful results in the context of cardiac function.
△ Less
Submitted 30 November, 2020;
originally announced November 2020.
-
A cardiac electromechanics model coupled with a lumped parameters model for closed-loop blood circulation. Part I: model derivation
Authors:
Francesco Regazzoni,
Matteo Salvador,
Pasquale Claudio Africa,
Marco Fedele,
Luca Dede',
Alfio Quarteroni
Abstract:
We propose an integrated electromechanical model of the human heart, with focus on the left ventricle, wherein biophysically detailed models describe the different physical phenomena concurring to the cardiac function. We model the subcellular generation of active force by means of an Artificial Neural Network, which is trained by a suitable Machine Learning algorithm from a collection of pre-comp…
▽ More
We propose an integrated electromechanical model of the human heart, with focus on the left ventricle, wherein biophysically detailed models describe the different physical phenomena concurring to the cardiac function. We model the subcellular generation of active force by means of an Artificial Neural Network, which is trained by a suitable Machine Learning algorithm from a collection of pre-computed numerical simulations of a biophysically detailed, yet computational demanding, high-fidelity model. To provide physiologically meaningful results, we couple the 3D electromechanical model with a closed-loop 0D (lumped parameters) model describing the blood circulation in the whole cardiovascular network. We prove that the 3D-0D coupling of the two models is compliant with the principle of energy conservation, which is achieved in virtue of energy-consistent boundary conditions that account for the interaction among cardiac chambers within the computational domain, pericardium and surrounding tissue. We thus derive an overall balance of mechanical energy for the 3D-0D model. This provides a quantitative insight into the energy utilization, dissipation and transfer among the different compartments of the cardiovascular network and during different stages of the heartbeat. In virtue of this new model and the energy balance, we propose a new validation tool of heart energy usage against relationships used in the daily clinical practice. Finally, we provide a mathematical formulation of an inverse problem aimed at recovering the reference configuration of one or multiple cardiac chambers, starting from the stressed configuration acquired from medical imaging. This is fundamental to correctly initialize electromechanical simulations. Numerical methods and simulations of the 3D-0D model will be detailed in Part II.
△ Less
Submitted 30 November, 2020;
originally announced November 2020.
-
Iterative splitting schemes for a soft material poromechanics model
Authors:
Jakub W. Both,
Nicolas A. Barnafi,
Florin A. Radu,
Paolo Zunino,
Alfio Quarteroni
Abstract:
We address numerical solvers for a poromechanics model particularly adapted for soft materials, as it generally respects thermodynamics principles and energy balance. Considering the multi-physics nature of the problem, which involves solid and fluid species, interacting on the basis of mass balance and momentum conservation, we decide to adopt a solution strategy of the discrete problem based on…
▽ More
We address numerical solvers for a poromechanics model particularly adapted for soft materials, as it generally respects thermodynamics principles and energy balance. Considering the multi-physics nature of the problem, which involves solid and fluid species, interacting on the basis of mass balance and momentum conservation, we decide to adopt a solution strategy of the discrete problem based on iterative splitting schemes. As the model is similar (but not equivalent to) the Biot poromechanics problem, we follow the abundant literature for solvers of the latter equations, develo** two approaches that resemble the well known undrained and fixed-stress splits for the Biot model. A thorough convergence analysis of the proposed schemes is performed. In particular, the undrained-like split is developed and analyzed in the framework of generalized gradient flows, whereas the fixed-stress-like split is understood as block-diagonal $L^2$-type stabilization and analyzed by means of a relative stability analysis. In addition, the application of Anderson acceleration is suggested, improving the robustness of the split schemes. Finally, we test these methods on different benchmark tests, and we also compare their performance with respect to a monolithic approach. Together with the theoretical analysis, the numerical examples provide guidelines to appropriately choose what split scheme shall be used to address realistic applications of the soft material poromechanics model.
△ Less
Submitted 26 November, 2020;
originally announced November 2020.
-
A Mathematical Dashboard for the Analysis of Italian COVID-19 Epidemic Data
Authors:
Nicola Parolini,
Giovanni Ardenghi,
Luca Dede',
Alfio Quarteroni
Abstract:
An analysis of the COVID-19 epidemic is proposed on the basis of the epiMOX dashboard (publicly accessible at https://www.epimox.polimi.it) that deals with data of the epidemic trends and outbreaks in Italy from late February 2020. Our analysis provides an immediate appreciation of the past epidemic development, together with its current trends by fostering a deeper interpretation of available dat…
▽ More
An analysis of the COVID-19 epidemic is proposed on the basis of the epiMOX dashboard (publicly accessible at https://www.epimox.polimi.it) that deals with data of the epidemic trends and outbreaks in Italy from late February 2020. Our analysis provides an immediate appreciation of the past epidemic development, together with its current trends by fostering a deeper interpretation of available data through several critical epidemic indicators. In addition, we complement the epiMOX dashboard with a predictive tool based on an epidemiological compartmental model, named SUIHTER, for the forecast on the near future epidemic evolution.
△ Less
Submitted 24 May, 2021; v1 submitted 22 November, 2020;
originally announced November 2020.
-
Morphomechanical model of the torsional c-loo** in the embryonic heart
Authors:
Giulia Bevilacqua,
Pasquale Ciarletta,
Alfio Quarteroni
Abstract:
Before septation processes shape its four chambers, the embryonic heart is a straight tube that spontaneously bends and twists breaking the left-right symmetry. In particular, the heart tube is subjected to a cell remodelling inducing ventral bending and dextral torsion during the c-loo** phase. In this work we propose a morphomechanical model for the torsion of the heart tube, that behaves as a…
▽ More
Before septation processes shape its four chambers, the embryonic heart is a straight tube that spontaneously bends and twists breaking the left-right symmetry. In particular, the heart tube is subjected to a cell remodelling inducing ventral bending and dextral torsion during the c-loo** phase. In this work we propose a morphomechanical model for the torsion of the heart tube, that behaves as a nonlinear elastic body. We hypothesize that this spontaneous loo** can be modeled as a mechanical instability due to accumulation of residual stresses induced by the geometrical frustration of tissue remodelling, which mimics the cellular rearrangement within the heart tube. Thus, we perform a linear stability analysis of the resulting nonlinear elastic boundary value problem to determine the onset of c-loo** as a function of the aspect ratios of the tube and of the internal remodelling rate. We perform numerical simulations to study the fully nonlinear morphological transition, showing that the soft tube develops a realistic self-contacting looped shape in the physiological range of geometrical parameters.
△ Less
Submitted 2 October, 2020;
originally announced October 2020.
-
An oscillation-free fully partitioned scheme for the numerical modeling of cardiac active mechanics
Authors:
Francesco Regazzoni,
Alfio Quarteroni
Abstract:
In silico models of cardiac electromechanics couple together mathematical models describing different physics. One instance is represented by the model describing the generation of active force, coupled with the one of tissue mechanics. For the numerical solution of the coupled model, partitioned schemes, that foresee the sequential solution of the two subproblems, are often used. However, this ap…
▽ More
In silico models of cardiac electromechanics couple together mathematical models describing different physics. One instance is represented by the model describing the generation of active force, coupled with the one of tissue mechanics. For the numerical solution of the coupled model, partitioned schemes, that foresee the sequential solution of the two subproblems, are often used. However, this approach may be unstable. For this reason, the coupled model is commonly solved as a unique system using Newton type algorithms, at the price, however, of high computational costs. In light of this motivation, in this paper we propose a new numerical scheme, that is numerically stable and accurate, yet within a fully partitioned (i.e. segregated) framework. Specifically, we introduce, with respect to standard segregated scheme, a numerically consistent stabilization term, capable of removing the nonphysical oscillations otherwise present in the numerical solution of the commonly used segregated scheme. Our new method is derived moving from a physics-based analysis on the microscale energetics of the force generation dynamics. By considering a model problem of active mechanics we prove that the proposed scheme is unconditionally absolutely stable (i.e. it is stable for any time step size), unlike the standard segregated scheme, and we also provide an interpretation of the scheme as a fractional step method. We show, by means of several numerical tests, that the proposed stabilization term successfully removes the nonphysical numerical oscillations characterizing the non stabilized segregated scheme solution. Our numerical tests are carried out for several force generation models available in the literature, namely the Niederer-Hunter-Smith model, the model by Land and coworkers, and the mean-field force generation model that we have recently proposed. Finally, we apply the proposed scheme [...]
△ Less
Submitted 30 July, 2020;
originally announced July 2020.
-
Deep learning-based reduced order models in cardiac electrophysiology
Authors:
Stefania Fresca,
Andrea Manzoni,
Luca Dedè,
Alfio Quarteroni
Abstract:
Predicting the electrical behavior of the heart, from the cellular scale to the tissue level, relies on the formulation and numerical approximation of coupled nonlinear dynamical systems. These systems describe the cardiac action potential, that is the polarization/depolarization cycle occurring at every heart beat that models the time evolution of the electrical potential across the cell membrane…
▽ More
Predicting the electrical behavior of the heart, from the cellular scale to the tissue level, relies on the formulation and numerical approximation of coupled nonlinear dynamical systems. These systems describe the cardiac action potential, that is the polarization/depolarization cycle occurring at every heart beat that models the time evolution of the electrical potential across the cell membrane, as well as a set of ionic variables. Multiple solutions of these systems, corresponding to different model inputs, are required to evaluate outputs of clinical interest, such as activation maps and action potential duration. More importantly, these models feature coherent structures that propagate over time, such as wavefronts. These systems can hardly be reduced to lower dimensional problems by conventional reduced order models (ROMs) such as, e.g., the reduced basis (RB) method. This is primarily due to the low regularity of the solution manifold (with respect to the problem parameters) as well as to the nonlinear nature of the input-output maps that we intend to reconstruct numerically. To overcome this difficulty, in this paper we propose a new, nonlinear approach which exploits deep learning (DL) algorithms to obtain accurate and efficient ROMs, whose dimensionality matches the number of system parameters. Our DL approach combines deep feedforward neural networks (NNs) and convolutional autoencoders (AEs). We show that the proposed DL-ROM framework can efficiently provide solutions to parametrized electrophysiology problems, thus enabling multi-scenario analysis in pathological cases. We investigate three challenging test cases in cardiac electrophysiology and prove that DL-ROM outperforms classical projection-based ROMs.
△ Less
Submitted 2 June, 2020;
originally announced June 2020.
-
Biophysically detailed mathematical models of multiscale cardiac active mechanics
Authors:
Francesco Regazzoni,
Luca Dedè,
Alfio Quarteroni
Abstract:
We propose four novel mathematical models, describing the microscopic mechanisms of force generation in the cardiac muscle tissue, which are suitable for multiscale numerical simulations of cardiac electromechanics. Such models are based on a biophysically accurate representation of the regulatory and contractile proteins in the sarcomeres. Our models, unlike most of the sarcomere dynamics models…
▽ More
We propose four novel mathematical models, describing the microscopic mechanisms of force generation in the cardiac muscle tissue, which are suitable for multiscale numerical simulations of cardiac electromechanics. Such models are based on a biophysically accurate representation of the regulatory and contractile proteins in the sarcomeres. Our models, unlike most of the sarcomere dynamics models that are available in the literature and that feature a comparable richness of detail, do not require the time-consuming Monte Carlo method for their numerical approximation. Conversely, the models that we propose only require the solution of a system of PDEs and/or ODEs (the most reduced of the four only involving 20 ODEs), thus entailing a significant computational efficiency. By focusing on the two models that feature the best trade-off between detail of description and identifiability of parameters, we propose a pipeline to calibrate such parameters starting from experimental measurements available in literature. Thanks to this pipeline, we calibrate these models for room-temperature rat and for body-temperature human cells. We show, by means of numerical simulations, that the proposed models correctly predict the main features of force generation, including the steady-state force-calcium and force-length relationships, the length-dependent prolongation of twitches and increase of peak force, the force-velocity relationship. Moreover, they correctly reproduce the Frank-Starling effect, when employed in multiscale 3D numerical simulation of cardiac electromechanics.
△ Less
Submitted 21 August, 2020; v1 submitted 16 April, 2020;
originally announced April 2020.
-
Stability Analysis for Discontinuous Galerkin approximations of the elastodynamics problem
Authors:
Paola F. Antonietti,
Blanca Ayuso de Dios,
Ilario Mazzieri,
Alfio Quarteroni
Abstract:
We consider semi-discrete discontinuous Galerkin approximations of a general elastodynamics problem, in both {\it displacement} and {\it displacement-stress} formulations. We present the stability analysis of all the methods in the natural energy norm and derive optimal a-priori error estimates. For the displacement-stress formulation, schemes preserving the total energy of the system are introduc…
▽ More
We consider semi-discrete discontinuous Galerkin approximations of a general elastodynamics problem, in both {\it displacement} and {\it displacement-stress} formulations. We present the stability analysis of all the methods in the natural energy norm and derive optimal a-priori error estimates. For the displacement-stress formulation, schemes preserving the total energy of the system are introduced and discussed. We include some numerical experiments in three dimensions to verify the theory.
△ Less
Submitted 30 October, 2013;
originally announced October 2013.