-
Navier-Stokes Modelling of Non-Newtonian Blood Flow in Cerebral Arterial Circulation and its Dynamic Impact on Electrical Conductivity in a Realistic Multi-Compartment Head Model
Authors:
Maryam Samavaki,
Arash Zarrin Nia,
Santtu Söderholm,
Sampsa Pursiainen
Abstract:
Background and Objective: This study aims to evaluate the dynamic effect of non-Newtonian cerebral arterial circulation on electrical conductivity distribution (ECD) in a realistic multi-compartment head model. It addresses the importance and challenges associated with electrophysiological modalities, such as transcranial electrical stimulation, electro-magnetoencephalography, and electrical imped…
▽ More
Background and Objective: This study aims to evaluate the dynamic effect of non-Newtonian cerebral arterial circulation on electrical conductivity distribution (ECD) in a realistic multi-compartment head model. It addresses the importance and challenges associated with electrophysiological modalities, such as transcranial electrical stimulation, electro-magnetoencephalography, and electrical impedance tomography. Factors such as electrical conductivity's impact on forward modeling accuracy, complex vessel networks, data acquisition limitations (especially in MRI), and blood flow phenomena are considered. Methods: The Navier-Stokes equations (NSEs) govern the non-Newtonian flow model used in this study. The solver comprises two stages: the first solves the pressure field using a dynamical pressure-Poisson equation derived from NSEs, and the second updates the velocity field using Leray regularization and the pressure distribution from the first stage. The Carreau-Yasuda model establishes the connection between blood velocity and viscosity. Blood concentration in microvessels is approximated using Fick's law of diffusion, and conductivity map** is obtained via Archie's law. The head model used corresponds to an open 7 Tesla MRI dataset, differentiating arterial vessels from other structures. Results: The results suggest the establishment of a dynamic model of cerebral blood flow for arterial and microcirculation. Blood pressure and conductivity distributions are obtained through numerically simulated pulse sequences, enabling approximation of blood concentration and conductivity within the brain. Conclusions: This model provides an approximation of dynamic blood flow and corresponding ECD in different brain regions. The advantage lies in its applicability with limited a priori information about blood flow and compatibility with arbitrary head models that distinguish arteries.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
Pressure-Poisson Equation in Numerical Simulation of Cerebral Arterial Circulation and Its Effect on the Electrical Conductivity of the Brain
Authors:
Maryam Samavaki,
Yusuf Oluwatoki Yusuf,
Arash Zarrin nia,
Santtu Söderholm,
Joonas Lahtinen,
Fernando Galaz Prieto,
Sampsa Pursiainen
Abstract:
This study considers dynamic modelling of the cerebral arterial circulation and reconstructing an atlas for the electrical conductivity of the brain. While high-resolution 7-Tesla (T) Magnetic Resonance Imaging (MRI) data allow for reconstructing the cerebral arteries with a cross-sectional diameter larger than the voxel size, electrical conductivity cannot be directly inferred from MRI data. Brai…
▽ More
This study considers dynamic modelling of the cerebral arterial circulation and reconstructing an atlas for the electrical conductivity of the brain. While high-resolution 7-Tesla (T) Magnetic Resonance Imaging (MRI) data allow for reconstructing the cerebral arteries with a cross-sectional diameter larger than the voxel size, electrical conductivity cannot be directly inferred from MRI data. Brain models of electrophysiology typically associate each brain tissue compartment with a constant electrical conductivity, omitting any dynamic effects of cerebral blood circulation. Incorporating those effects poses the challenge of solving a system of incompressible Navier-Stokes equations in a realistic multi-compartment head model. We postulate that circulation in the distinguishable arteries can be estimated via the pressure-Poisson equation, which is coupled with Fick's law of diffusion for microcirculation. To establish a fluid exchange model between arteries and microarteries, a boundary condition derived from the Hagen-Poisseuille model is applied. The relationship between the estimated volumetric blood concentration and the electrical conductivity of the brain tissue is approximated through Archie's law for fluid flow in porous media. Through the formulation of the PPE and a set of boundary conditions based on the Hagen-Poisseuille model, we obtained an equivalent formulation of the incompressible Stokes equation. Thus, allowing effective blood pressure estimation in cerebral arteries segmented from open 7T MRI data. As a result of this research, we developed and built a useful modelling framework that accounts for the effects of dynamic blood flow on a novel MRI-based electrical conductivity atlas. The electrical conductivity perturbation obtained in numerical experiments has an appropriate overall match with previous studies on this subject.
△ Less
Submitted 3 October, 2023; v1 submitted 9 February, 2023;
originally announced February 2023.
-
Generating Optimally Focal and Intense Current Patterns in tES via Metaheuristic L1-L1 Search: Interior-Point vs. Simplex Algorithms
Authors:
F. Galaz Prieto,
M. Samavaki,
S. Pursiainen
Abstract:
This numerical simulation study investigates solving the L1-norm fitted and regularized (L1-L1) linear programming (LP) problem to find a well-localized volumetric current density in transcranial electrical stimulation (tES), where a current pattern is attached through contact electrodes attached to the skin to create a stimulus in a targeted brain region. We consider a metaheuristic optimization…
▽ More
This numerical simulation study investigates solving the L1-norm fitted and regularized (L1-L1) linear programming (LP) problem to find a well-localized volumetric current density in transcranial electrical stimulation (tES), where a current pattern is attached through contact electrodes attached to the skin to create a stimulus in a targeted brain region. We consider a metaheuristic optimization process where the problem parameters are selected so that the final solution found is optimal with respect to given metacriteria, e.g., the intensity and focality of the volumetric current density in the brain. We focus on the effect of the LP algorithm on the solution. We examine interior-point and simplex algorithms, which constitute two major alternative ways to solve an LP task; the interior-point algorithms are based on determining a feasible solution set to allow finding an optimizer via Newton's method, while the simplex methods take steps along the edges of a polytope, subdividing the set of candidate solutions into simplicial polygons. Interior-point methods stand out among them for their complexity and predictability in terms of convergence properties at the same time. To find the current pattern, we apply five alternative optimization toolboxes: Matlab, MOSEK, Gurobi, SDPT3, and SeDuMi. We suggest that the mutual differences between these vary based on the placement of the target as well as the resolution of the two-parameter lattice. In the numerical experiments, we investigate maximizing the focality and intensity of the L1-L1 optimized stimulation current and, in the latter regard, examine its relationship to the reciprocal current pattern, maximizing the focused current density.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
L1-norm vs. L2-norm fitting in optimizing focal multi-channel tES stimulation: linear and semidefinite programming vs. weighted least squares
Authors:
Fernando Galaz Prieto,
Atena Rezaei,
Maryam Samavaki,
Sampsa Pursiainen
Abstract:
This study focuses on Multi-Channel Transcranial Electrical Stimulation, a non-invasive brain method for stimulating neuronal activity under the influence of low-intensity currents. We introduce mathematical formulation for finding a current pattern which optimizes a L1-norm fit between a given focal target distribution and volume current density inside the brain. L1-norm is well-known to favor we…
▽ More
This study focuses on Multi-Channel Transcranial Electrical Stimulation, a non-invasive brain method for stimulating neuronal activity under the influence of low-intensity currents. We introduce mathematical formulation for finding a current pattern which optimizes a L1-norm fit between a given focal target distribution and volume current density inside the brain. L1-norm is well-known to favor well-localized or sparse distributions compared to L2-norm (least-squares) fitted estimates. We present a linear programming approach which performs L1-norm fitting and penalization of the current pattern (L1L1) to control the number of non-zero currents. The optimizer filters a large set of candidate solutions using a two-stage metaheuristic search in from a pre-filtered set of candidates. The numerical simulation results, obtained with both a 8- and 20-channel electrode montages, suggest that our hypothesis on the benefits of L1-norm data fitting is valid. As compared to L1-norm regularized L2-norm fitting (L1L2) via semidefinite programming and weighted Tikhonov least-squares method, the L1L1 results were overall preferable with respect to maximizing the focused current density at the target position and the ratio between focused and nuisance current magnitudes. We propose the metaheuristic L1L1 optimization approach as a potential technique to obtain a well-localized stimulus with a controllable magnitude at a given target position. L1L1 finds a current pattern with a steep contrast between the anodal and cathodal electrodes meanwhile suppressing the nuisance currents in the brain, hence, providing a potential alternative to modulate the effects of the stimulation, e.g., the sensation experienced by the subject.
△ Less
Submitted 3 June, 2022;
originally announced June 2022.
-
Multi-compartment human head modeling: generating adaptive tetrahedral mesh with GPU acceleration
Authors:
Fernando Galaz Prieto,
Joonas Lahtinen,
Maryam Samavaki,
Sampsa Pursiainen
Abstract:
This paper introduces a highly adaptive and automated approach for generating Finite Element (FE) discretization for a given realistic multi-compartment human head model obtained through magnetic resonance imaging (MRI) dataset. We aim at obtaining accurate tetrahedral FE meshes for electroencephalographic source localization. We present recursive solid angle labeling for the surface segmentation…
▽ More
This paper introduces a highly adaptive and automated approach for generating Finite Element (FE) discretization for a given realistic multi-compartment human head model obtained through magnetic resonance imaging (MRI) dataset. We aim at obtaining accurate tetrahedral FE meshes for electroencephalographic source localization. We present recursive solid angle labeling for the surface segmentation of the model and then adapt it with a set of smoothing, inflation, and optimization routines to further enhance the quality of the FE mesh. The results show that our methodology can produce FE mesh with an accuracy greater than 1 millimeter, significant with respect to both their 3D structure discretization outcome and electroencephalographic source localization estimates. FE meshes can be achieved for the human head including complex deep brain structures. Our algorithm has been implemented using the open Matlab-based Zeffiro Interface toolbox with it effective time-effective parallel computing system.
△ Less
Submitted 14 July, 2023; v1 submitted 18 March, 2022;
originally announced March 2022.
-
On some classes of Riemannian manifolds
Authors:
Maryam Samavaki,
Jukka Tuomela
Abstract:
We study several classes of Riemannian manifolds which are defined by imposing a certain condition on the Ricci tensor. We consider the following cases: Ricci recurrent, Cotton, quasi Einstein and pseudo Ricci symmetric condition. Such conditions can be interpreted as overdetermined PDE systems whose unknowns are the components of the Riemannian metric, and perhaps in addition some auxiliary funct…
▽ More
We study several classes of Riemannian manifolds which are defined by imposing a certain condition on the Ricci tensor. We consider the following cases: Ricci recurrent, Cotton, quasi Einstein and pseudo Ricci symmetric condition. Such conditions can be interpreted as overdetermined PDE systems whose unknowns are the components of the Riemannian metric, and perhaps in addition some auxiliary functions. Hence even if the dimension of the manifold is small it is not easy to compute interesting examples by hand, and indeed very few examples appear in the literature. We will present large families of nontrivial examples of such manifolds. The relevant PDE systems are first transformed to an involutive form. After that in many cases one can actually solve the resulting system explicitly. However, the involutive form itself already gives a lot of information about the possible solutions to the given problem. We will also discuss some relationships between the relevant classes.
△ Less
Submitted 9 December, 2019;
originally announced December 2019.
-
On the numerical computation of Killing and conformally Killing vector fields on compact Riemannian manifolds
Authors:
Gaëlle Brunet,
Maryam Samavaki,
Jukka Tuomela
Abstract:
The defining equations for Killing vector fields and conformal Killing vector fields are overdetermined systems of PDE. This makes it difficult to solve the systems numerically. We propose an approach which reduces the computation to the solution of a symmetric eigenvalue problem. The eigenvalue problem is then solved by finite element techniques. The formulation itself is valid in any dimension a…
▽ More
The defining equations for Killing vector fields and conformal Killing vector fields are overdetermined systems of PDE. This makes it difficult to solve the systems numerically. We propose an approach which reduces the computation to the solution of a symmetric eigenvalue problem. The eigenvalue problem is then solved by finite element techniques. The formulation itself is valid in any dimension and for arbitrary compact Riemannian manifolds. The numerical results which validate the method are given in two dimensional case.
△ Less
Submitted 21 February, 2020; v1 submitted 7 March, 2019;
originally announced March 2019.
-
Navier-Stokes equations on Riemannian manifolds
Authors:
Maryam Samavaki,
Jukka Tuomela
Abstract:
We study properties of the solutions to Navier-Stokes system on compact Riemannian manifolds. The motivation for such a formulation comes from atmospheric models as well as some thin film flows on curved surfaces. There are different choices of the diffusion operator which have been used in previous studies, and we make a few comments why the choice adopted below seems to us the correct one. This…
▽ More
We study properties of the solutions to Navier-Stokes system on compact Riemannian manifolds. The motivation for such a formulation comes from atmospheric models as well as some thin film flows on curved surfaces. There are different choices of the diffusion operator which have been used in previous studies, and we make a few comments why the choice adopted below seems to us the correct one. This choice leads to the conclusion that Killing vector fields are essential in analyzing the qualitative properties of the flow. We give several results illustrating this and analyze also the linearized version of Navier-Stokes system which is interesting in numerical applications. Finally we consider the 2 dimensional case which has specific characteristics, and treat also the Coriolis effect which is essential in atmospheric flows.
△ Less
Submitted 5 March, 2019; v1 submitted 21 December, 2018;
originally announced December 2018.