Section: New Results

Parallel numerical algorithms

High Performance Scientific Computing

Participant : Bernard Philippe.

This work was done in collaboration with several authors, from US, Greece, etc.

A book will appear on this subject in 2012 [39] and a chapter of this book is devoted to a historical perspective [38] .

This comprehensive text/reference, inspired by the visionary work of Prof. Ahmed H. Sameh, represents the state of the art in parallel numerical algorithms, applications, architectures, and system software. Articles in this collection address solutions to various challenges arising from concurrency, scale, energy efficiency, and programmability. These solutions are discussed in the context of diverse applications, ranging from scientific simulations to large-scale data analysis and mining.  

As exascale computing is looming on the horizon while multicore and GPU’s are routinely used, we survey the achievements of Ahmed H. Sameh, a pioneer in parallel matrix algorithms [38] . Studying his contributions since the days of Illiac IV as well as the work that he directed and inspired in the building of the Cedar multiprocessor and his recent research, unfolds a useful historical perspective in the field of parallel scientific computing.

Updating the Diagonalization of a Symmetric Matrix

Participant : Bernard Philippe.

This work is done in the context of the DIAMS project.

Two methods are compared : Jacobi method and first order correction of the spectral projectors [25] ,[26] .

Counting eigenvalues in domains of the complex field

Participant : Bernard Philippe.

This work is done in collaboration with E. Kamgnia, from the University of Yaounde 1, Cameroon, in the context of the MOMAPLI project at LIRIMA.

It has been submitted to a journal [43] .

A procedure for counting the number of eigenvalues of a matrix in a region surrounded by a closed curve is presented. It is based on the application of the residual theorem. The quadrature is performed by evaluating the principal argument of the logarithm of a function. A strategy is proposed for selecting a path length that insures that the same branch of the logarithm is followed during the integration. Numerical tests are reported for matrices obtained from conventional matrix test sets.

Rescaling for time integration

Participant : Jocelyne Erhel.

This work is done in collaboration with N. Makhoul and N. Nassif, from the American University of Beirut, Lebanon.

It is published in a journal [17] .

This paper considers the mathematical framework of a sliced-time computation method for explosive solutions to systems of ordinary differential equations: Y(t) k :dY dt=F(Y),0<t,Y(0)=Y 0 , that have finite or infinite explosion time. The method used generates automatically a sequence of non uniform slices {[T n-1 ,T n ]|n1} determined by an end-of-slice condition that controls the growth of the solution within each slice. It also uses rescaling of the variables, whereas: t=T n-1 +β n s and Y(t)=Y(T n-1 )+D n Z n (s), D n k×k and β n being respectively an invertible diagonal matrix and a rescaling time factor. Thus, the original system is transformed into a sequence of slices-dependent initial-value shooting problems: dZ n ds=G n (Z n ),0<ss n ,Z n (0)=0. A suitable selection of β n and D n leads the rescaled systems to verify a concept of uniform similarity, allowing to disable the extreme stiffness of the original ODE problem. Then, on each time slice, the uniformly rescaled systems are locally solved using a 4th order explicit Runge-Kutta scheme, within a computational tolerance of ϵ loc . After sequentially implementing the local solver on a total of N slices, a global tolerance ϵ glob would result in approximating the solution Y(t) of the original system.

The proper definition of Uniform Similarity leads to deriving, under a stability assumption, a relationship between ϵ loc , ϵ glob and N. Numerical experiments are conducted for infinite and finite times explosive discrete reaction diffusion problems. These experiments validate the theoretical results and attest for the efficiency of the method in terms of stability and high accuracy.