In this note, we exploit polynomial preconditioners for the conjugate gradient method to solve large symmetric positive definite linear systems in a parallel environment. We put in connection a specialized Newton method to solve the matrix equation X−1 = A and the Chebyshev polynomials for preconditioning. We propose a simple modification of one parameter which avoids clustering of extremal eigenvalues in order to speed-up convergence. We provide results on very large matrices (up to 8.6 billion unknowns) in a parallel environment showing the efficiency of the proposed class of preconditioners.
{"title":"Parallel Newton–Chebyshev polynomial preconditioners for the conjugate gradient method","authors":"Luca Bergamaschi, Angeles Martinez Calomardo","doi":"10.1002/cmm4.1153","DOIUrl":"10.1002/cmm4.1153","url":null,"abstract":"<p>In this note, we exploit polynomial preconditioners for the conjugate gradient method to solve large symmetric positive definite linear systems in a parallel environment. We put in connection a specialized Newton method to solve the matrix equation <i>X</i><sup>−1</sup> = <i>A</i> and the Chebyshev polynomials for preconditioning. We propose a simple modification of one parameter which avoids clustering of extremal eigenvalues in order to speed-up convergence. We provide results on very large matrices (up to 8.6 billion unknowns) in a parallel environment showing the efficiency of the proposed class of preconditioners.</p>","PeriodicalId":100308,"journal":{"name":"Computational and Mathematical Methods","volume":"3 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1002/cmm4.1153","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81803108","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Stochastic symmetric matrices with a dominant eigenvalue, α,can be written as the sum of λααt (where λ is the first eigenvalue), with a symmetric error matrix E. The information in the stochastic matrix will be condensed in its structured vectors, λα, and the sum of square of residues, V. When the matrices of a family correspond to the treatments of a base design, we say the family is structured. The action of the factors, which are considered in the base design, on the structure vectors of the family matrices will be analyzed. We use ANOVA (Analysis of Variance) and related techniques, to study the action under linear combinations of the components of structure vectors of the m matrices of the model. Orthogonal models with m treatments are associated to orthogonal partitions. The hypothesis to be tested, on the action of the factors in the base design, will be associated to the spaces in the orthogonal partitions. We will show how to carry out transversal and longitudinal analysis for families of stochastic symmetric matrices with dominant eigenvalue associated to orthogonal models.
{"title":"Isolated and structured families of models for stochastic symmetric matrices","authors":"Cristina Dias, Carla Santos, João Tiago Mexia","doi":"10.1002/cmm4.1152","DOIUrl":"10.1002/cmm4.1152","url":null,"abstract":"<p>Stochastic symmetric matrices with a dominant eigenvalue, <b><i>α,</i></b>can be written as the sum of <i>λ</i><b><i>αα</i></b><sup><i>t</i></sup> (where <i>λ</i> is the first eigenvalue), with a symmetric error matrix <b><i>E</i></b>. The information in the stochastic matrix will be condensed in its structured vectors, <i>λ</i><b><i>α</i></b>, and the sum of square of residues, <i>V</i>. When the matrices of a family correspond to the treatments of a base design, we say the family is structured. The action of the factors, which are considered in the base design, on the structure vectors of the family matrices will be analyzed. We use ANOVA (Analysis of Variance) and related techniques, to study the action under linear combinations of the components of structure vectors of the <i>m</i> matrices of the model. Orthogonal models with <i>m</i> treatments are associated to orthogonal partitions. The hypothesis to be tested, on the action of the factors in the base design, will be associated to the spaces in the orthogonal partitions. We will show how to carry out transversal and longitudinal analysis for families of stochastic symmetric matrices with dominant eigenvalue associated to orthogonal models.</p>","PeriodicalId":100308,"journal":{"name":"Computational and Mathematical Methods","volume":"3 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1002/cmm4.1152","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83780844","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
María Teresa Capilla Romá, Angel Balaguer-Beser, Beatriz Nácher-Rodríguez, Francisco J. Vallés-Morán
This article describes a high-order well-balanced central finite volume scheme for solving the coupled Exner−shallow water equations in one dimensional channels with rectangular section and variable width. Such numerical method may solve the proposed bedload sediment transport problem without the need to diagonalize the Jacobian matrix of flow. The numerical scheme uses a Runge–Kutta method with a fourth-order continuous natural extension for time discretization. The source term approximation is designed to verify the exact conservation property. Comparison of the numerical results for two accuracy tests have proved the stability and accuracy of the scheme. The results of the laboratory tests have also been used to calibrate different expressions of the solid transport discharge in the computer code. Two experimental tests have been carried out to study the erosive phenomenon and the consequent sediment transport: one test consisting of a triangular dune, and other caused by the effect of channel contraction.
{"title":"A high-order numerical method for sediment transport problems simulation and its comparison with laboratory experiments","authors":"María Teresa Capilla Romá, Angel Balaguer-Beser, Beatriz Nácher-Rodríguez, Francisco J. Vallés-Morán","doi":"10.1002/cmm4.1151","DOIUrl":"10.1002/cmm4.1151","url":null,"abstract":"<p>This article describes a high-order well-balanced central finite volume scheme for solving the coupled Exner−shallow water equations in one dimensional channels with rectangular section and variable width. Such numerical method may solve the proposed bedload sediment transport problem without the need to diagonalize the Jacobian matrix of flow. The numerical scheme uses a Runge–Kutta method with a fourth-order continuous natural extension for time discretization. The source term approximation is designed to verify the exact conservation property. Comparison of the numerical results for two accuracy tests have proved the stability and accuracy of the scheme. The results of the laboratory tests have also been used to calibrate different expressions of the solid transport discharge in the computer code. Two experimental tests have been carried out to study the erosive phenomenon and the consequent sediment transport: one test consisting of a triangular dune, and other caused by the effect of channel contraction.</p>","PeriodicalId":100308,"journal":{"name":"Computational and Mathematical Methods","volume":"3 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1002/cmm4.1151","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73120447","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Miguel A. Hernández-Verón, Eulalia Martínez, Sukhjit Singh
This study is devoted to solve the Chandrasekhar integral equation that it is used for modeling problems in theory of radiative transfer in a plane-parallel atmosphere, and others research areas like the kinetic theory of gases, neutron transport, traffic model, the queuing theory among others. First of all, we transform the Chandrasekhar integral equation into a nonlinear Hammerstein-type integral equation with the corresponding Nemystkii operator and the proper nonseparable kernel. Them, we approximate the kernel in order to apply an iterative scheme. This procedure it is solved in two different ways. First one, we solve a nonlinear equation with separable kernel and define an adequate nonlinear operator between Banach spaces that approximates the first problem. Second one, we introduce an approximation for the inverse of the Fréchet derivative that appears in the Newton's iterative scheme for solving nonlinear equations. Finally, we perform a numerical experiment in order to compare our results with previous ones published showing that are competitive.
{"title":"On the Chandrasekhar integral equation","authors":"Miguel A. Hernández-Verón, Eulalia Martínez, Sukhjit Singh","doi":"10.1002/cmm4.1150","DOIUrl":"10.1002/cmm4.1150","url":null,"abstract":"<p>This study is devoted to solve the Chandrasekhar integral equation that it is used for modeling problems in theory of radiative transfer in a plane-parallel atmosphere, and others research areas like the kinetic theory of gases, neutron transport, traffic model, the queuing theory among others. First of all, we transform the Chandrasekhar integral equation into a nonlinear Hammerstein-type integral equation with the corresponding Nemystkii operator and the proper nonseparable kernel. Them, we approximate the kernel in order to apply an iterative scheme. This procedure it is solved in two different ways. First one, we solve a nonlinear equation with separable kernel and define an adequate nonlinear operator between Banach spaces that approximates the first problem. Second one, we introduce an approximation for the inverse of the Fréchet derivative that appears in the Newton's iterative scheme for solving nonlinear equations. Finally, we perform a numerical experiment in order to compare our results with previous ones published showing that are competitive.</p>","PeriodicalId":100308,"journal":{"name":"Computational and Mathematical Methods","volume":"3 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1002/cmm4.1150","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75780449","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Augusto C. Albuquerque-Ferreira, Miguel Ureña, Higinio Ramos
In this paper, we solve linear boundary value problems of second-order in ordinary differential equations with the generalized finite difference method and compare the numerical accuracy for different orders of approximations. We develop a strategy for dealing with ill-conditioned stars based on the condition number of the matrix of derivatives. In addition, we consider a scheme implemented with parallel processing for the formation of the stars and the calculation of the derivatives. We present some examples with high gradients in irregular discretizations exaggerated on purpose, to highlight the efficiency of the proposed strategy.
{"title":"A strategy to avoid ill-conditioned stars in the generalized finite difference method for solving one-dimensional problems","authors":"Augusto C. Albuquerque-Ferreira, Miguel Ureña, Higinio Ramos","doi":"10.1002/cmm4.1149","DOIUrl":"10.1002/cmm4.1149","url":null,"abstract":"<p>In this paper, we solve linear boundary value problems of second-order in ordinary differential equations with the generalized finite difference method and compare the numerical accuracy for different orders of approximations. We develop a strategy for dealing with ill-conditioned stars based on the condition number of the matrix of derivatives. In addition, we consider a scheme implemented with parallel processing for the formation of the stars and the calculation of the derivatives. We present some examples with high gradients in irregular discretizations exaggerated on purpose, to highlight the efficiency of the proposed strategy.</p>","PeriodicalId":100308,"journal":{"name":"Computational and Mathematical Methods","volume":"3 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1002/cmm4.1149","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88436265","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dataflow computing allows to start computations as soon as all their dependencies are satisfied. This is particularly useful in applications with irregular or complex patterns of dependencies which would otherwise involve either coarse grain synchronizations which would degrade performance, or high programming costs. A recent proposal for the easy development of performant dataflow algorithms in hybrid shared/distributed memory systems is UPC++ DepSpawn. Among the many techniques it applies to provide good performance is a software cache that minimizes the communications among the processes involved. In this article we provide the details of the implementation and operation of this cache and we present an autotuning strategy that simplifies its usage by freeing the user from having to estimate an adequate size for this cache. Rather, the runtime is now able to define reasonably sized caches that provide near optimal behavior.
{"title":"A software cache autotuning strategy for dataflow computing with UPC++ DepSpawn","authors":"Basilio B. Fraguela, Diego Andrade","doi":"10.1002/cmm4.1148","DOIUrl":"10.1002/cmm4.1148","url":null,"abstract":"<p>Dataflow computing allows to start computations as soon as all their dependencies are satisfied. This is particularly useful in applications with irregular or complex patterns of dependencies which would otherwise involve either coarse grain synchronizations which would degrade performance, or high programming costs. A recent proposal for the easy development of performant dataflow algorithms in hybrid shared/distributed memory systems is UPC++ DepSpawn. Among the many techniques it applies to provide good performance is a software cache that minimizes the communications among the processes involved. In this article we provide the details of the implementation and operation of this cache and we present an autotuning strategy that simplifies its usage by freeing the user from having to estimate an adequate size for this cache. Rather, the runtime is now able to define reasonably sized caches that provide near optimal behavior.</p>","PeriodicalId":100308,"journal":{"name":"Computational and Mathematical Methods","volume":"3 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1002/cmm4.1148","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73512061","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this article, we present the convergence analysis of an upwind finite difference scheme for singularly perturbed system of parabolic convection-diffusion initial-boundary-value problems with discontinuous convection coefficient and source term. The proposed numerical scheme is constructed by using the implicit-Euler scheme for the time derivative on the uniform mesh, and the upwind finite difference scheme for the spatial derivatives on a layer-resolving piecewise-uniform Shishkin mesh. It is shown that the numerical solution obtained by the proposed scheme converges uniformly with respect to the perturbation parameter. The proposed numerical scheme is of almost first-order (up to a logarithmic factor) in space and first-order in time. Numerical examples are carried out to verify the theoretical results.
{"title":"Robust computational method for singularly perturbed system of parabolic convection-diffusion problems with interior layers","authors":"Srinivasan Natesan, Maneesh K. Singh","doi":"10.1002/cmm4.1146","DOIUrl":"10.1002/cmm4.1146","url":null,"abstract":"<p>In this article, we present the convergence analysis of an upwind finite difference scheme for singularly perturbed system of parabolic convection-diffusion initial-boundary-value problems with discontinuous convection coefficient and source term. The proposed numerical scheme is constructed by using the implicit-Euler scheme for the time derivative on the uniform mesh, and the upwind finite difference scheme for the spatial derivatives on a layer-resolving piecewise-uniform Shishkin mesh. It is shown that the numerical solution obtained by the proposed scheme converges uniformly with respect to the perturbation parameter. The proposed numerical scheme is of almost first-order (up to a logarithmic factor) in space and first-order in time. Numerical examples are carried out to verify the theoretical results.</p>","PeriodicalId":100308,"journal":{"name":"Computational and Mathematical Methods","volume":"3 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1002/cmm4.1146","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82989273","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We focus on Partial Differential Equation (PDE)-based Data Assimilation problems (DA) solved by means of variational approaches and Kalman filter algorithm. Recently, we presented a Domain Decomposition framework (we call it DD-DA, for short) performing a decomposition of the whole physical domain along space and time directions, and joining the idea of Schwarz's methods and parallel in time approaches. For effective parallelization of DD-DA algorithms, the computational load assigned to subdomains must be equally distributed. Usually computational cost is proportional to the amount of data entities assigned to partitions. Good quality partitioning also requires the volume of communication during calculation to be kept at its minimum. In order to deal with DD-DA problems where the observations are nonuniformly distributed and general sparse, in the present work we employ a parallel load balancing algorithm based on adaptive and dynamic defining of boundaries of DD—which is aimed to balance workload according to data location. We call it DyDD. As the numerical model underlying DA problems arising from the so-called discretize-then-optimize approach is the constrained least square model (CLS), we will use CLS as a reference state estimation problem and we validate DyDD on different scenarios.
{"title":"Parallel framework for dynamic domain decomposition of data assimilation problems: a case study on Kalman Filter algorithm","authors":"Luisa D'Amore, Rosalba Cacciapuoti","doi":"10.1002/cmm4.1145","DOIUrl":"10.1002/cmm4.1145","url":null,"abstract":"<p>We focus on Partial Differential Equation (PDE)-based Data Assimilation problems (DA) solved by means of variational approaches and Kalman filter algorithm. Recently, we presented a Domain Decomposition framework (we call it DD-DA, for short) performing a decomposition of the whole physical domain along space and time directions, and joining the idea of Schwarz's methods and parallel in time approaches. For effective parallelization of DD-DA algorithms, the computational load assigned to subdomains must be equally distributed. Usually computational cost is proportional to the amount of data entities assigned to partitions. Good quality partitioning also requires the volume of communication during calculation to be kept at its minimum. In order to deal with DD-DA problems where the observations are nonuniformly distributed and general sparse, in the present work we employ a parallel load balancing algorithm based on adaptive and dynamic defining of boundaries of DD—which is aimed to balance workload according to data location. We call it DyDD. As the numerical model underlying DA problems arising from the so-called discretize-then-optimize approach is the constrained least square model (CLS), we will use CLS as a reference state estimation problem and we validate DyDD on different scenarios.</p>","PeriodicalId":100308,"journal":{"name":"Computational and Mathematical Methods","volume":"3 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-01-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1002/cmm4.1145","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86525828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Every random variable (rv) X (or random vector) with finite moments generates a set of orthogonal polynomials, which can be used to obtain properties related to the distribution of X. This technique has been used in statistical inference, mainly connected to the exponential family of distributions. In this paper a review of some of its more relevant uses is provided. The first one deals with properties of expansions in terms of orthogonal polynomials for the Uniformly Minimum Variance Unbiased Estimator of a given parametric function, when sampling from a distribution in the Natural Exponential Family of distributions with Quadratic Variance Function. The second one compares two relevant methods, based on expansions in Laguerre polynomials, existing in the literature to approximate the distribution of linear combinations of independent chi-square variables.
{"title":"Some uses of orthogonal polynomials in statistical inference","authors":"Inmaculada Barranco-Chamorro, Christos Grentzelos","doi":"10.1002/cmm4.1144","DOIUrl":"10.1002/cmm4.1144","url":null,"abstract":"<p>Every random variable (rv) <i>X</i> (or random vector) with finite moments generates a set of orthogonal polynomials, which can be used to obtain properties related to the distribution of <i>X</i>. This technique has been used in statistical inference, mainly connected to the exponential family of distributions. In this paper a review of some of its more relevant uses is provided. The first one deals with properties of expansions in terms of orthogonal polynomials for the Uniformly Minimum Variance Unbiased Estimator of a given parametric function, when sampling from a distribution in the Natural Exponential Family of distributions with Quadratic Variance Function. The second one compares two relevant methods, based on expansions in Laguerre polynomials, existing in the literature to approximate the distribution of linear combinations of independent chi-square variables.</p>","PeriodicalId":100308,"journal":{"name":"Computational and Mathematical Methods","volume":"3 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-01-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1002/cmm4.1144","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90787137","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}