-
Combinatorial and Recurrent Approaches for Efficient Matrix Inversion: Sub-cubic algorithms leveraging Fast Matrix products
Authors:
Mohamed Kamel Riahi
Abstract:
In this paper, we introduce novel fast matrix inversion algorithms that leverage triangular decomposition and recurrent formalism, incorporating Strassen's fast matrix multiplication. Our research places particular emphasis on triangular matrices, where we propose a novel computational approach based on combinatorial techniques for finding the inverse of a general non-singular triangular matrix. U…
▽ More
In this paper, we introduce novel fast matrix inversion algorithms that leverage triangular decomposition and recurrent formalism, incorporating Strassen's fast matrix multiplication. Our research places particular emphasis on triangular matrices, where we propose a novel computational approach based on combinatorial techniques for finding the inverse of a general non-singular triangular matrix. Unlike iterative methods, our combinatorial approach for (block) triangular-type matrices enables direct computation of the matrix inverse through a nonlinear combination of carefully selected combinatorial entries from the initial matrix. This unique characteristic makes our proposed method fully parallelizable, offering significant potential for efficient implementation on parallel computing architectures. Our approach demonstrates intriguing features that allow the derivation of recurrent relations for constructing the matrix inverse. By combining the (block) combinatorial approach, with a recursive triangular split method for inverting triangular matrices, we develop potentially competitive algorithms that strike a balance between efficiency and accuracy. We provide rigorous mathematical proofs of the newly presented method. Additionally, we conduct extensive numerical tests to showcase its applicability and efficiency. The comprehensive evaluation and experimental results presented in this paper confirm the practical utility of our proposed algorithms, demonstrating their superiority over classical approaches in terms of computational efficiency.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
Numerical Fréchet derivatives of the displacement tensor for 2.5-D frequency-domain seismic full-waveform inversion in viscoelastic TTI media
Authors:
Qingjie Yang,
Bing Zhou,
Marcus Engsig,
Mohamed Kamel Riahi,
Mohammad Al-khaleel,
Stewart Greenhalgh
Abstract:
Derivatives of the displacement tensor with respect to the independent model parameters of the subsurface, also called Fréchet derivatives (or sensitivity kernels), are a key ingredient for seismic full-waveform inversion with a local-search optimization algorithm. They provide a quantitative measure of the expected changes in the seismograms due to perturbations of the subsurface model parameters…
▽ More
Derivatives of the displacement tensor with respect to the independent model parameters of the subsurface, also called Fréchet derivatives (or sensitivity kernels), are a key ingredient for seismic full-waveform inversion with a local-search optimization algorithm. They provide a quantitative measure of the expected changes in the seismograms due to perturbations of the subsurface model parameters for a given survey geometry. Since 2.5-D wavefield modeling involves a real point source in a 2-D geological model with 3D (spherical) wave properties, it yields synthetic data much closer to the actual practical field data than the commonly used 2-D wave simulation does, which uses an unrealistic line source in which the waves spread cylindrically. Based on our recently developed general 2.5-D wavefield modeling scheme, we apply the perturbation method to obtain explicit analytic expressions for the derivatives of the displacement tensor for 2.5-D/2-D frequency-domain seismic full-waveform inversion in general viscoelastic anisotropic media. We then demonstrate the numerical calculations of all these derivatives in two common cases: (i) viscoelastic isotropic and (ii) viscoelastic tilted transversely isotropic (TTI) solids. Examples of the differing sensitivity patterns for the various derivatives are investigated and compared for four different homogeneous models involving 2-D and 2.5-D modeling.
△ Less
Submitted 15 December, 2022; v1 submitted 8 December, 2022;
originally announced December 2022.
-
PiTSBiCG: Parallel in Time Stable Bi-Conjugate Gradient Algorithm
Authors:
Mohamed Kamel Riahi
Abstract:
This paper presents a new algorithm for the parallel in time (PiT) numerical simulation of time dependent partial/ordinary differential equations. We propose a reliable alternative to the well know parareal in time algorithm, by formulating the parallel in time problem algebraically and solve it using an adapted Bi-Conjugate gradient stabilized method. The proposed Parallel in time Stable Bi-Conju…
▽ More
This paper presents a new algorithm for the parallel in time (PiT) numerical simulation of time dependent partial/ordinary differential equations. We propose a reliable alternative to the well know parareal in time algorithm, by formulating the parallel in time problem algebraically and solve it using an adapted Bi-Conjugate gradient stabilized method. The proposed Parallel in time Stable Bi-Conjugate algorithm (PiTSBiCG) has a great potential in stabilizing the parallel resolution for a variety of problems. In this work, we describe the mathematical approach to the new algorithm and provide numerical evidences that show its superiority to the standard parareal method.
△ Less
Submitted 18 March, 2022;
originally announced March 2022.
-
Near-Field Linear Sampling Method forAxisymmetric Eddy Current Tomography
Authors:
H. Haddar,
M. K. Riahi
Abstract:
This paper is concerned with Eddy-Current (EC) nondestructive testing of conductive materials and focuses, in particular, on extending the well-known LinearSampling Method (LSM) to the case of EC equations. We first present the theoretical foundation of the LSM in the present context and in the case of point sources. We then explain how this method can be adapted to a realistic setting of EC probe…
▽ More
This paper is concerned with Eddy-Current (EC) nondestructive testing of conductive materials and focuses, in particular, on extending the well-known LinearSampling Method (LSM) to the case of EC equations. We first present the theoretical foundation of the LSM in the present context and in the case of point sources. We then explain how this method can be adapted to a realistic setting of EC probes. In the case of identifying the shape of external deposits from impedance measurements taken from inside of the tube (steam generator), we show how the method can be applied to measurements obtained from a swee** set of coils. Numerical experiments suggest that good results can be achieved using only a few coils and even in the limiting case of backscattering data.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
Combined Newton-Raphson and Streamlines-Upwind Petrov-Galerkin iterations for nano-particles transport in buoyancy driven flow
Authors:
M. K. Riahi,
M. Ali,
Y. Addad,
E. Abu-Nada
Abstract:
The present study deals with the finite element discretization of nanofluid convective transport in an enclosure with variable properties. We study the Buongiorno model, which couples the Navier-Stokes equations for the base fluid, an advective-diffusion equation for the heat transfer, and an advection dominated nanoparticle fraction concentration subject to thermophoresis and Brownian motion forc…
▽ More
The present study deals with the finite element discretization of nanofluid convective transport in an enclosure with variable properties. We study the Buongiorno model, which couples the Navier-Stokes equations for the base fluid, an advective-diffusion equation for the heat transfer, and an advection dominated nanoparticle fraction concentration subject to thermophoresis and Brownian motion forces. We develop an iterative numerical scheme that combines Newton's method (dedicated to the resolution of the momentum and energy equations) with the transport equation that governs the nanoparticles concentration in the enclosure. We show that Stream Upwind Petrov-Galerkin regularization approach is required to solve properly the ill-posed Buongiorno transport model being tackled as a variational problem under mean value constraint. Non-trivial numerical computations are reported to show the effectiveness of our proposed numerical approach in its ability to provide reasonably good agreement with the experimental results available in the literature. The numerical experiments demonstrate that by accounting for only the thermophoresis and Brownian motion forces in the concentration transport equation, the model is not able to reproduce the heat transfer impairment due to the presence of suspended nanoparticles in the base fluid. It reveals, however, the significant role that these two terms play in the vicinity of the hot and cold walls.
△ Less
Submitted 19 January, 2021;
originally announced January 2021.
-
Linearly convergent nonlinear conjugate gradient methods for a parameter identification problems
Authors:
Mohamed Kamel Riahi,
Issam Al Qattan
Abstract:
This paper presents a general description of a parameter estimation inverse problem for systems governed by nonlinear differential equations. The inverse problem is presented using optimal control tools with state constraints, where the minimization process is based on a first-order optimization technique such as adaptive monotony-backtracking steepest descent technique and nonlinear conjugate gra…
▽ More
This paper presents a general description of a parameter estimation inverse problem for systems governed by nonlinear differential equations. The inverse problem is presented using optimal control tools with state constraints, where the minimization process is based on a first-order optimization technique such as adaptive monotony-backtracking steepest descent technique and nonlinear conjugate gradient methods satisfying strong Wolfe conditions. Global convergence theory of both methods is rigorously established where new linear convergence rates have been reported. Indeed, for the nonlinear non-convex optimization we show that under the Lipschitz-continuous condition of the gradient of the objective function we have a linear convergence rate toward a stationary point. Furthermore, nonlinear conjugate gradient method has also been shown to be linearly convergent toward stationary points where the second derivative of the objective function is bounded. The convergence analysis in this work has been established in a general nonlinear non-convex optimization under constraints framework where the considered time-dependent model could whether be a system of coupled ordinary differential equations or partial differential equations. Numerical evidence on a selection of popular nonlinear models is presented to support the theoretical results. Nonlinear Conjugate gradient methods, Nonlinear Optimal control and Convergence analysis and Dynamical systems and Parameter estimation and Inverse problem
△ Less
Submitted 26 June, 2018;
originally announced June 2018.
-
Well-conditioned boundary integral equation formulations and Nyström discretizations for the solution of Helmholtz problems with impedance boundary conditions in two-dimensional Lipschitz domains
Authors:
Catalin Turc,
Yassine Boubendir,
Mohamed Kamel Riahi
Abstract:
We present a regularization strategy that leads to well-conditioned boundary integral equation formulations of Helmholtz equations with impedance boundary conditions in two-dimensional Lipschitz domains. We consider both the case of classical impedance boundary conditions, as well as the case of transmission impedance conditions wherein the impedances are certain coercive operators. The latter typ…
▽ More
We present a regularization strategy that leads to well-conditioned boundary integral equation formulations of Helmholtz equations with impedance boundary conditions in two-dimensional Lipschitz domains. We consider both the case of classical impedance boundary conditions, as well as the case of transmission impedance conditions wherein the impedances are certain coercive operators. The latter type of problems is instrumental in the speed up of the convergence of Domain Decomposition Methods for Helmholtz problems. Our regularized formulations use as unknowns the Dirichlet traces of the solution on the boundary of the domain. Taking advantage of the increased regularity of the unknowns in our formulations, we show through a variety of numerical results that a graded-mesh based Nyström discretization of these regularized formulations leads to efficient and accurate solutions of interior and exterior Helmholtz problems with impedance boundary conditions.
△ Less
Submitted 4 July, 2016;
originally announced July 2016.
-
A fully efficient time-parallelized quantum optimal control algorithm
Authors:
Mohamed-Kamel Riahi,
Julien Salomon,
S. J. Glaser,
D Sugny
Abstract:
We present a time-parallelization method that enables to accelerate the computation of quantum optimal control algorithms. We show that this approach is approximately fully efficient when based on a gradient method as optimization solver: the computational time is approximately divided by the number of available processors. The control of spin systems, molecular orientation and Bose-Einstein conde…
▽ More
We present a time-parallelization method that enables to accelerate the computation of quantum optimal control algorithms. We show that this approach is approximately fully efficient when based on a gradient method as optimization solver: the computational time is approximately divided by the number of available processors. The control of spin systems, molecular orientation and Bose-Einstein condensates are used as illustrative examples to highlight the wide range of application of this numerical scheme.
△ Less
Submitted 3 March, 2016;
originally announced March 2016.
-
A Fast Eddy-current Non Destructive Testing Finite Element Solver in Steam Generator
Authors:
Mohamed Kamel Riahi
Abstract:
In this paper we present an advanced numerical method to simulate a real life challenging industrial problem that consists of the non-destructive testing in steam generators. We develop a finite element technique that handles the big data numerical set of systems arising when a discretization of the eddy-current equation in three dimensional space is made. Using a high performance technique, our m…
▽ More
In this paper we present an advanced numerical method to simulate a real life challenging industrial problem that consists of the non-destructive testing in steam generators. We develop a finite element technique that handles the big data numerical set of systems arising when a discretization of the eddy-current equation in three dimensional space is made. Using a high performance technique, our method becomes fully efficient. We provide numerical simulations using the software Freefem++ which has a powerful tool to handle finite element method and parallel computing. We show that our technique speeds up the simulation with a good efficiency factor.
△ Less
Submitted 9 February, 2016;
originally announced February 2016.
-
Improved non-overlap** domain decomposition algorithms for the eddy current problem
Authors:
Y. Boubendir,
H. Haddar,
M. K. Riahi
Abstract:
A domain decomposition method is proposed based on carefully chosen impedance transmission operators for a hybrid formulation of the eddy current problem. Preliminary analysis and numerical results are provided in the spherical case showing the potential of these conditions in accelerating the convergence rate
A domain decomposition method is proposed based on carefully chosen impedance transmission operators for a hybrid formulation of the eddy current problem. Preliminary analysis and numerical results are provided in the spherical case showing the potential of these conditions in accelerating the convergence rate
△ Less
Submitted 31 January, 2016;
originally announced February 2016.
-
A robust inversion method for quantitative 3D shape reconstruction from coaxial eddy-current measurements
Authors:
Houssem Haddar,
Mohamed Kamel Riahi,
Zixian Jiang
Abstract:
This work is motivated by the monitoring of conductive clogging deposits in steam generator at the level of support plates. One would like to use monoaxial coils measurements to obtain estimates on the clogging volume. We propose a 3D shape optimization technique based on simplified parametrization of the geometry adapted to the measurement nature and resolution. The direct problem is modeled by t…
▽ More
This work is motivated by the monitoring of conductive clogging deposits in steam generator at the level of support plates. One would like to use monoaxial coils measurements to obtain estimates on the clogging volume. We propose a 3D shape optimization technique based on simplified parametrization of the geometry adapted to the measurement nature and resolution. The direct problem is modeled by the eddy current approximation of time-harmonic Maxwell's equations in the low frequency regime. A potential formulation is adopted in order to easily handle the complex topology of the industrial problem setting. We first characterize the shape derivatives of the deposit impedance signal using an adjoint field technique. For the inversion procedure, the direct and adjoint problems have to be solved for each coil vertical position which is excessively time and memory consuming. To overcome this difficulty, we propose and discuss a steepest descent method based on a fixed and invariant triangulation. Numerical experiments are presented to illustrate the convergence and the efficiency of the method.
△ Less
Submitted 24 February, 2015;
originally announced February 2015.
-
3D direct and inverse solvers for eddy current testing of deposits in steam generator
Authors:
Houssem Haddar,
Mohamed Kamel Riahi
Abstract:
We consider the inverse problem of estimating the shape profile of an unknown deposit from a set of eddy current impedance measurements. The measurements are acquired with an axial probe, which is modeled by a set of coils that generate a magnetic field inside the tube. For the direct problem, we validate the method that takes into account the tube support plates, highly conductive part, by a surf…
▽ More
We consider the inverse problem of estimating the shape profile of an unknown deposit from a set of eddy current impedance measurements. The measurements are acquired with an axial probe, which is modeled by a set of coils that generate a magnetic field inside the tube. For the direct problem, we validate the method that takes into account the tube support plates, highly conductive part, by a surface impedance condition. For the inverse problem, finite element and shape sensitivity analysis related to the eddy current problem are provided in order to determine the explicit formula of the gradient of a least square misfit functional. A geometrical-parametric shape inversion algorithm based on cylindrical coordinates is designed to improve the robustness and the quality of the reconstruction. Several numerical results are given in the experimental part. Numerical experiments on synthetic deposits, nearby or far away from the tube, with different shapes are considered in the axisymmetric configuration.
△ Less
Submitted 22 July, 2014;
originally announced July 2014.
-
A new approach to improve ill-conditioned parabolic optimal control problem via time domain decomposition
Authors:
Mohamed Kamel Riahi
Abstract:
In this paper we present a new steepest-descent type algorithm for convex optimization problems. Our algorithm pieces the unknown into sub-blocs of unknowns and considers a partial optimization over each sub-bloc. In quadratic optimization, our method involves Newton technique to compute the step-lengths for the sub-blocs resulting descent directions. Our optimization method is fully parallel and…
▽ More
In this paper we present a new steepest-descent type algorithm for convex optimization problems. Our algorithm pieces the unknown into sub-blocs of unknowns and considers a partial optimization over each sub-bloc. In quadratic optimization, our method involves Newton technique to compute the step-lengths for the sub-blocs resulting descent directions. Our optimization method is fully parallel and easily implementable, we first presents it in a general linear algebra setting, then we highlight its applicability to a parabolic optimal control problem, where we consider the blocs of unknowns with respect to the time dependency of the control variable. The parallel tasks, in the last problem, turn "on" the control during a specific time-window and turn it "off" elsewhere. We show that our algorithm significantly improves the computational time compared with recognized methods. Convergence analysis of the new optimal control algorithm is provided for an arbitrary choice of partition. Numerical experiments are presented to illustrate the efficiency and the rapid convergence of the method.
△ Less
Submitted 14 January, 2015; v1 submitted 27 March, 2014;
originally announced March 2014.
-
Parareal in time 3D numerical solver for the LWR Benchmark neutron diffusion transient model
Authors:
Anne-Marie A. -M. Baudron,
Jean-Jacques Lautard,
Yvon Maday,
Mohamed Kamel Riahi,
Julien Salomon
Abstract:
We present a parareal in time algorithm for the simulation of neutron diffusion transient model. The method is made efficient by means of a coarse solver defined with large time steps and steady control rods model. Using finite element for the space discretization, our implementation provides a good scalability of the algorithm. Numerical results show the efficiency of the parareal method on large…
▽ More
We present a parareal in time algorithm for the simulation of neutron diffusion transient model. The method is made efficient by means of a coarse solver defined with large time steps and steady control rods model. Using finite element for the space discretization, our implementation provides a good scalability of the algorithm. Numerical results show the efficiency of the parareal method on large light water reactor transient model corresponding to the Langenbuch-Maurer-Werner (LMW) benchmark [1].
△ Less
Submitted 7 March, 2014;
originally announced March 2014.
-
Parareal in time intermediate targets methods for optimal control problem
Authors:
Yvon Maday,
Mohamed-Kamel Riahi,
Julien Salomon
Abstract:
In this paper, we present a method that enables solving in parallel the Euler-Lagrange system associated with the optimal control of a parabolic equation. Our approach is based on an iterative update of a sequence of intermediate targets that gives rise to independent sub-problems that can be solved in parallel. This method can be coupled with the parareal in time algorithm. Numerical experiments…
▽ More
In this paper, we present a method that enables solving in parallel the Euler-Lagrange system associated with the optimal control of a parabolic equation. Our approach is based on an iterative update of a sequence of intermediate targets that gives rise to independent sub-problems that can be solved in parallel. This method can be coupled with the parareal in time algorithm. Numerical experiments show the efficiency of our method.
△ Less
Submitted 11 March, 2012;
originally announced March 2012.