-
High-order parallel-in-time method for the monodomain equation in cardiac electrophysiology
Authors:
Giacomo Rosilho de Souza,
Simone Pezzuto,
Rolf Krause
Abstract:
Simulation of the monodomain equation, crucial for modeling the heart's electrical activity, faces scalability limits when traditional numerical methods only parallelize in space. To optimize the use of large multi-processor computers by distributing the computational load more effectively, time parallelization is essential. We introduce a high-order parallel-in-time method addressing the substant…
▽ More
Simulation of the monodomain equation, crucial for modeling the heart's electrical activity, faces scalability limits when traditional numerical methods only parallelize in space. To optimize the use of large multi-processor computers by distributing the computational load more effectively, time parallelization is essential. We introduce a high-order parallel-in-time method addressing the substantial computational challenges posed by the stiff, multiscale, and nonlinear nature of cardiac dynamics. Our method combines the semi-implicit and exponential spectral deferred correction methods, yielding a hybrid method that is extended to parallel-in-time employing the PFASST framework. We thoroughly evaluate the stability, accuracy, and robustness of the proposed parallel-in-time method through extensive numerical experiments, using practical ionic models such as the ten-Tusscher-Panfilov. The results underscore the method's potential to significantly enhance real-time and high-fidelity simulations in biomedical research and clinical applications.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Explicit stabilized multirate methods for the monodomain model in cardiac electrophysiology
Authors:
Giacomo Rosilho de Souza,
Marcus J. Grote,
Simone Pezzuto,
Rolf Krause
Abstract:
Fully explicit stabilized multirate (mRKC) methods are well-suited for the numerical solution of large multiscale systems of stiff ordinary differential equations thanks to their improved stability properties. To demonstrate their efficiency for the numerical solution of stiff, multiscale, nonlinear parabolic PDE's, we apply mRKC methods to the monodomain equation from cardiac electrophysiology. I…
▽ More
Fully explicit stabilized multirate (mRKC) methods are well-suited for the numerical solution of large multiscale systems of stiff ordinary differential equations thanks to their improved stability properties. To demonstrate their efficiency for the numerical solution of stiff, multiscale, nonlinear parabolic PDE's, we apply mRKC methods to the monodomain equation from cardiac electrophysiology. In doing so, we propose an improved version, specifically tailored to the monodomain model, which leads to the explicit exponential multirate stabilized (emRKC) method. Several numerical experiments are conducted to evaluate the efficiency of both mRKC and emRKC, while taking into account different finite element meshes (structured and unstructured) and realistic ionic models. The new emRKC method typically outperforms a standard implicit-explicit baseline method for cardiac electrophysiology. Code profiling and strong scalability results further demonstrate that emRKC is faster and inherently parallel without sacrificing accuracy.
△ Less
Submitted 24 June, 2024; v1 submitted 3 January, 2024;
originally announced January 2024.
-
Boundary Integral Formulation of the Cell-by-Cell Model of Cardiac Electrophysiology
Authors:
Giacomo Rosilho de Souza,
Rolf Krause,
Simone Pezzuto
Abstract:
We propose a boundary element method for the accurate solution of the cell-by-cell bidomain model of electrophysiology. The cell-by-cell model, also called Extracellular-Membrane-Intracellular (EMI) model, is a system of reaction-diffusion equations describing the evolution of the electric potential within each domain: intra- and extra-cellular space and the cellular membrane. The system is parabo…
▽ More
We propose a boundary element method for the accurate solution of the cell-by-cell bidomain model of electrophysiology. The cell-by-cell model, also called Extracellular-Membrane-Intracellular (EMI) model, is a system of reaction-diffusion equations describing the evolution of the electric potential within each domain: intra- and extra-cellular space and the cellular membrane. The system is parabolic but degenerate because the time derivative is only in the membrane domain. In this work, we adopt a boundary-integral formulation for removing the degeneracy in the system and recast it to a parabolic equation on the membrane. The formulation is also numerically advantageous since the number of degrees of freedom is sensibly reduced compared to the original model. Specifically, we prove that the boundary-element discretization of the EMI model is equivalent to a system of ordinary differential equations, and we consider a time discretization based on the multirate explicit stabilized Runge-Kutta method. We numerically show that our scheme convergences exponentially in space for the single-cell case. We finally provide several numerical experiments of biological interest.
△ Less
Submitted 10 February, 2023;
originally announced February 2023.
-
Application of Stabilized Explicit Runge-Kutta Methods to the Incompressible Navier-Stokes Equations by means of a Projection Method and a Differential Algebraic Approach
Authors:
Giacomo Rosilho de Souza
Abstract:
In this master thesis we have compared different second order stabilized explicit Runge-Kutta methods when applied to the incompressible Navier-Stokes equations by means of a projection method and a differential algebraic approach. We explored the stability and accuracy properties of the RKC, ROCK2 and PIROCK schemes when coupled with the projection and the differential algebraic approach. PIROCK…
▽ More
In this master thesis we have compared different second order stabilized explicit Runge-Kutta methods when applied to the incompressible Navier-Stokes equations by means of a projection method and a differential algebraic approach. We explored the stability and accuracy properties of the RKC, ROCK2 and PIROCK schemes when coupled with the projection and the differential algebraic approach. PIROCK has shown unexpected instabilities, ROCK2 resulted to be the most efficient and versatile Runge-Kutta method taken into account. The differential algebraic approach sounds computationally costly but it exhibits better accuracy and a larger stability region. These properties make it more efficient than the projection method. The theory presented in the first chapters is supported by numerical experiments.
△ Less
Submitted 28 March, 2022;
originally announced March 2022.
-
Mixed-precision explicit stabilized Runge-Kutta methods for single- and multi-scale differential equations
Authors:
Matteo Croci,
Giacomo Rosilho de Souza
Abstract:
Mixed-precision algorithms combine low- and high-precision computations in order to benefit from the performance gains of reduced-precision without sacrificing accuracy. In this work, we design mixed-precision Runge-Kutta-Chebyshev (RKC) methods, where high precision is used for accuracy, and low precision for stability. Generally speaking, RKC methods are low-order explicit schemes with a stabili…
▽ More
Mixed-precision algorithms combine low- and high-precision computations in order to benefit from the performance gains of reduced-precision without sacrificing accuracy. In this work, we design mixed-precision Runge-Kutta-Chebyshev (RKC) methods, where high precision is used for accuracy, and low precision for stability. Generally speaking, RKC methods are low-order explicit schemes with a stability domain growing quadratically with the number of function evaluations. For this reason, most of the computational effort is spent on stability rather than accuracy purposes. In this paper, we show that a naïve mixed-precision implementation of any Runge-Kutta scheme can harm the convergence order of the method and limit its accuracy, and we introduce a new class of mixed-precision RKC schemes that are instead unaffected by this limiting behaviour. We present three mixed-precision schemes: a first- and a second-order RKC method, and a first-order multirate RKC scheme for multiscale problems. These schemes perform only the few function evaluations needed for accuracy (1 or 2 for first- and second-order methods respectively) in high precision, while the rest are performed in low precision. We prove that while these methods are essentially as cheap as their fully low-precision equivalent, they retain the stability and convergence order of their high-precision counterpart. Indeed, numerical experiments confirm that these schemes are as accurate as the corresponding high-precision method.
△ Less
Submitted 6 April, 2022; v1 submitted 24 September, 2021;
originally announced September 2021.
-
Optimal explicit stabilized postprocessed $τ$-leap method for the simulation of chemical kinetics
Authors:
Assyr Abdulle,
Lia Gander,
Giacomo Rosilho de Souza
Abstract:
The simulation of chemical kinetics involving multiple scales constitutes a modeling challenge (from ordinary differential equations to Markov chain) and a computational challenge (multiple scales, large dynamical systems, time step restrictions). In this paper we propose a new discrete stochastic simulation algorithm: the postprocessed second kind stabilized orthogonal $τ$-leap Runge-Kutta method…
▽ More
The simulation of chemical kinetics involving multiple scales constitutes a modeling challenge (from ordinary differential equations to Markov chain) and a computational challenge (multiple scales, large dynamical systems, time step restrictions). In this paper we propose a new discrete stochastic simulation algorithm: the postprocessed second kind stabilized orthogonal $τ$-leap Runge-Kutta method (PSK-$τ$-ROCK). In the context of chemical kinetics this method can be seen as a stabilization of Gillespie's explicit $τ$-leap combined with a postprocessor. The stabilized procedure allows to simulate problems with multiple scales (stiff), while the postprocessing procedure allows to approximate the invariant measure (e.g. mean and variance) of ergodic stochastic dynamical systems. We prove stability and accuracy of the PSK-$τ$-ROCK. Numerical experiments illustrate the high reliability and efficiency of the scheme when compared to other $τ$-leap methods.
△ Less
Submitted 17 June, 2021;
originally announced June 2021.
-
Analytic characterization of high dimension weighted special atom spaces
Authors:
Eddy Kwessi,
Geraldo de Souza
Abstract:
Special atom spaces have been around for quite awhile since the introduction of atoms by R. Coifman in his seminal paper who led to another proof that the dual of the Hardy space $H^1$ is in fact the space of functions of bounded means oscillations (BMO). Special atom spaces enjoy quite a few attributes of their own, among which the fact that they have an analytic extension to the unit disc. Recen…
▽ More
Special atom spaces have been around for quite awhile since the introduction of atoms by R. Coifman in his seminal paper who led to another proof that the dual of the Hardy space $H^1$ is in fact the space of functions of bounded means oscillations (BMO). Special atom spaces enjoy quite a few attributes of their own, among which the fact that they have an analytic extension to the unit disc. Recently, an extension of special atom spaces to higher dimensions was proposed, making ripe the possible exploration of the above extension in higher dimensions. In this paper we propose an analytic characterization of special atom spaces in higher dimensions.
△ Less
Submitted 4 February, 2021;
originally announced February 2021.
-
Explicit stabilized multirate method for stiff stochastic differential equations
Authors:
Assyr Abdulle,
Giacomo Rosilho de Souza
Abstract:
Stabilized explicit methods are particularly efficient for large systems of stiff stochastic differential equations (SDEs) due to their extended stability domain. However, they loose their efficiency when a severe stiffness is induced by very few "fast" degrees of freedom, as the stiff and nonstiff terms are evaluated concurrently. Therefore, inspired by [A. Abdulle, M. J. Grote, and G. Rosilho de…
▽ More
Stabilized explicit methods are particularly efficient for large systems of stiff stochastic differential equations (SDEs) due to their extended stability domain. However, they loose their efficiency when a severe stiffness is induced by very few "fast" degrees of freedom, as the stiff and nonstiff terms are evaluated concurrently. Therefore, inspired by [A. Abdulle, M. J. Grote, and G. Rosilho de Souza, Preprint (2020), arXiv:2006.00744] we introduce a stochastic modified equation whose stiffness depends solely on the "slow" terms. By integrating this modified equation with a stabilized explicit scheme we devise a multirate method which overcomes the bottleneck caused by a few severely stiff terms and recovers the efficiency of stabilized schemes for large systems of nonlinear SDEs. The scheme is not based on any scale separation assumption of the SDE and therefore it is employable for problems stemming from the spatial discretization of stochastic parabolic partial differential equations on locally refined grids. The multirate scheme has strong order 1/2, weak order 1 and its stability is proved on a model problem. Numerical experiments confirm the efficiency and accuracy of the scheme.
△ Less
Submitted 12 August, 2021; v1 submitted 28 October, 2020;
originally announced October 2020.
-
Explicit stabilized multirate method for stiff differential equations
Authors:
Assyr Abdulle,
Marcus J. Grote,
Giacomo Rosilho de Souza
Abstract:
Stabilized Runge-Kutta methods are especially efficient for the numerical solution of large systems of stiff nonlinear differential equations because they are fully explicit. For semi-discrete parabolic problems, for instance, stabilized Runge-Kutta methods overcome the stringent stability condition of standard methods without sacrificing explicitness. However, when stiffness is only induced by a…
▽ More
Stabilized Runge-Kutta methods are especially efficient for the numerical solution of large systems of stiff nonlinear differential equations because they are fully explicit. For semi-discrete parabolic problems, for instance, stabilized Runge-Kutta methods overcome the stringent stability condition of standard methods without sacrificing explicitness. However, when stiffness is only induced by a few components, as in the presence of spatially local mesh refinement, their efficiency deteriorates. To remove the crippling effect of a few severely stiff components on the entire system of differential equations, we derive a modified equation, whose stiffness solely depend on the remaining mildly stiff components. By applying stabilized Runge-Kutta methods to this modified equation, we then devise an explicit multirate Runge-Kutta-Chebyshev (mRKC) method whose stability conditions are independent of a few severely stiff components. Stability of the mRKC method is proved for a model problem, whereas its efficiency and usefulness are demonstrated through a series of numerical experiments.
△ Less
Submitted 4 April, 2022; v1 submitted 1 June, 2020;
originally announced June 2020.
-
Paraconsistentization and many-valued logics
Authors:
Edelcio G. de Souza,
Alexandre Costa-Leite,
Diogo H. B. Dias
Abstract:
This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate especially the case of three-valued systems showing how paraconsistent three-valued logics can be obtained from them.
This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate especially the case of three-valued systems showing how paraconsistent three-valued logics can be obtained from them.
△ Less
Submitted 11 July, 2022; v1 submitted 28 April, 2020;
originally announced April 2020.
-
A posteriori error analysis of a local adaptive discontinuous Galerkin method for convection-diffusion-reaction equations
Authors:
Assyr Abdulle,
Giacomo Rosilho de Souza
Abstract:
We introduce a local adaptive discontinuous Galerkin method for convection-diffusion-reaction equations. The proposed method is based on a coarse grid and iteratively improves the solution's accuracy by solving local elliptic problems in refined subdomains. For purely diffusion problems, we already proved that this scheme converges under minimal regularity assumptions [A. Abdulle and G.Rosilho de…
▽ More
We introduce a local adaptive discontinuous Galerkin method for convection-diffusion-reaction equations. The proposed method is based on a coarse grid and iteratively improves the solution's accuracy by solving local elliptic problems in refined subdomains. For purely diffusion problems, we already proved that this scheme converges under minimal regularity assumptions [A. Abdulle and G.Rosilho de Souza, ESAIM: M2AN, 53(4):1269--1303, 2019]. In this paper, we provide an algorithm for the automatic identification of the local elliptic problems' subdomains employing a flux reconstruction strategy. Reliable error estimators are derived for the local adaptive method. Numerical comparisons with a classical nonlocal adaptive algorithm illustrate the efficiency of the method.
△ Less
Submitted 10 December, 2021; v1 submitted 15 April, 2020;
originally announced April 2020.
-
Instabilities and order reduction phenomenon of an interpolation based multirate Runge-Kutta-Chebyshev method
Authors:
Assyr Abdulle,
Giacomo Rosilho de Souza
Abstract:
An explicit stabilized additive Runge-Kutta scheme is proposed. The method is based on a splitting of the problem in severely stiff and mildly stiff subproblems, which are then independently solved using a Runge-Kutta-Chebyshev scheme. The number of stages is adapted according to the subproblem's stiffness and leads to asynchronous integration needing ghost values. Whenever ghost values are needed…
▽ More
An explicit stabilized additive Runge-Kutta scheme is proposed. The method is based on a splitting of the problem in severely stiff and mildly stiff subproblems, which are then independently solved using a Runge-Kutta-Chebyshev scheme. The number of stages is adapted according to the subproblem's stiffness and leads to asynchronous integration needing ghost values. Whenever ghost values are needed, linear interpolation in time between stages is employed. One important application of the scheme is for parabolic partial differential equations discretized on a nonuniform grid. The goal of this paper is to introduce the scheme and prove on a model problem that linear interpolations trigger instabilities into the method. Furthermore, we show that it suffers from an order reduction phenomenon. The theoretical results are confirmed numerically.
△ Less
Submitted 6 March, 2020;
originally announced March 2020.
-
Extremal solutions for a broad spectrum of nonlinear elliptic systems
Authors:
Felipe Costa,
Gil F. de Souza,
Marcos Montenegro
Abstract:
In this work, we study the existence and nonexistence of solution for strongly coupled elliptic systems to m-parameters.
In this work, we study the existence and nonexistence of solution for strongly coupled elliptic systems to m-parameters.
△ Less
Submitted 2 January, 2021; v1 submitted 20 January, 2020;
originally announced January 2020.
-
A local discontinuous Galerkin gradient discretization method for linear and quasilinear elliptic equations
Authors:
Assyr Abdulle,
Giacomo Rosilho de Souza
Abstract:
A local weighted discontinuous Galerkin gradient discretization method for solving elliptic equations is introduced. The local scheme is based on a coarse grid and successively improves the solution solving a sequence of local elliptic problems in high gradient regions. Using the gradient discretization framework we prove convergence of the scheme for linear and quasilinear equations under minimal…
▽ More
A local weighted discontinuous Galerkin gradient discretization method for solving elliptic equations is introduced. The local scheme is based on a coarse grid and successively improves the solution solving a sequence of local elliptic problems in high gradient regions. Using the gradient discretization framework we prove convergence of the scheme for linear and quasilinear equations under minimal regularity assumptions. The error due to artificial boundary conditions is also analyzed, shown to be of higher order and shown to depend only locally on the regularity of the solution. Numerical experiments illustrate our theoretical findings and the local method's accuracy is compared against the non local approach
△ Less
Submitted 27 July, 2018;
originally announced July 2018.
-
Paradeduction in Axiomatic Formal Systems
Authors:
Edelcio G. de Souza,
Alexandre Costa-Leite,
Diogo H. B. Dias
Abstract:
The concept of paradeduction is presented in order to justify that we can overlook contradictory information taking into account only what is consistent. Besides that, paradeduction is used to show that there is a way to transform any logic, introduced as an axiomatic formal system, into a paraconsistent one.
The concept of paradeduction is presented in order to justify that we can overlook contradictory information taking into account only what is consistent. Besides that, paradeduction is used to show that there is a way to transform any logic, introduced as an axiomatic formal system, into a paraconsistent one.
△ Less
Submitted 12 July, 2022; v1 submitted 3 October, 2017;
originally announced October 2017.
-
On a paraconsistentization functor in the category of consequence structures
Authors:
Edelcio G. de Souza,
Alexandre Costa-Leite,
Diogo H. B. Dias
Abstract:
This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which \emph{ex falso quodlibet} holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic…
▽ More
This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which \emph{ex falso quodlibet} holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, we study the case of paraconsistentization of propositional classical logic.
△ Less
Submitted 9 June, 2016; v1 submitted 14 April, 2016;
originally announced April 2016.
-
The Square of the Dirac and spin-Dirac Operators on a Riemann-Cartan Space(time)
Authors:
E. A. Notte-Cuello,
W. A. Rodrigues Jr.,
Q. A. G. de Souza
Abstract:
In this paper we introduce the Dirac and spin-Dirac operators associated to a connection on Riemann-Cartan space(time) and standard Dirac and spin-Dirac operators associated with a Levi-Civita connection on a Riemannian (Lorentzian) space(time) and calculate the square of these operators, which play an important role in several topics of modern Mathematics, in particular in the study of the geom…
▽ More
In this paper we introduce the Dirac and spin-Dirac operators associated to a connection on Riemann-Cartan space(time) and standard Dirac and spin-Dirac operators associated with a Levi-Civita connection on a Riemannian (Lorentzian) space(time) and calculate the square of these operators, which play an important role in several topics of modern Mathematics, in particular in the study of the geometry of moduli spaces of a class of black holes, the geometry of NS-5 brane solutions of type II supergravity theories and BPS solitons in some string theories. We obtain a generalized Lichnerowicz formula, decompositions of the Dirac and spin-Dirac operators and their squares in terms of the standard Dirac and spin-Dirac operators and using the fact that spinor fields (sections of a spin-Clifford bundle) have representatives in the Clifford bundle we present also a noticeable relation involving the spin-Dirac and the Dirac operators.
△ Less
Submitted 29 November, 2007; v1 submitted 18 March, 2007;
originally announced March 2007.
