-
Reduced Krylov Basis Methods for Parametric Partial Differential Equations
Authors:
Yuwen Li,
Ludmil T. Zikatanov,
Cheng Zuo
Abstract:
This work is on a user-friendly reduced basis method for solving a family of parametric PDEs by preconditioned Krylov subspace methods including the conjugate gradient method, generalized minimum residual method, and bi-conjugate gradient method. The proposed methods use a preconditioned Krylov subspace method for a high-fidelity discretization of one parameter instance to generate orthogonal basi…
▽ More
This work is on a user-friendly reduced basis method for solving a family of parametric PDEs by preconditioned Krylov subspace methods including the conjugate gradient method, generalized minimum residual method, and bi-conjugate gradient method. The proposed methods use a preconditioned Krylov subspace method for a high-fidelity discretization of one parameter instance to generate orthogonal basis vectors of the reduced basis subspace. Then large-scale discrete parameter-dependent problems are approximately solved in the low-dimensional Krylov subspace. As shown in the theory and experiments, only a small number of Krylov subspace iterations are needed to simultaneously generate approximate solutions of a family of high-fidelity and large-scale systems in the reduced basis subspace. This reduces the computational cost dramatically because (1) to construct the reduced basis vectors, we only solve one large-scale problem in the high-fidelity level; and (2) the family of large-scale problems restricted to the reduced basis subspace have much smaller sizes.
△ Less
Submitted 11 May, 2024;
originally announced May 2024.
-
Weakly coupled systems of eikonal equations for autonomous vehicles
Authors:
Maria Teresa Chiri,
Kenneth D Czuprynski,
Ludmil T Zikatanov
Abstract:
In this paper, we study solutions for a weakly coupled system of eikonal equations arising in an optimal path-planning problem with random breakdown. The model considered takes into account two types of breakdown for the vehicle, partial and total, which happen at a known, spatially inhomogeneous rate. In particular, we analyze the complications due to the delicate degenerate coupling condition by…
▽ More
In this paper, we study solutions for a weakly coupled system of eikonal equations arising in an optimal path-planning problem with random breakdown. The model considered takes into account two types of breakdown for the vehicle, partial and total, which happen at a known, spatially inhomogeneous rate. In particular, we analyze the complications due to the delicate degenerate coupling condition by using existing results on weakly coupled systems of Hamilton-Jacobi equations. Then we consider finite element method schemes built for convection-diffusion problems to construct approximate solutions for this system and produce some numerical simulations.
△ Less
Submitted 20 May, 2024; v1 submitted 4 October, 2023;
originally announced October 2023.
-
A reduced conjugate gradient basis method for fractional diffusion
Authors:
Yuwen Li,
Ludmil T. Zikatanov,
Cheng Zuo
Abstract:
This work is on a fast and accurate reduced basis method for solving discretized fractional elliptic partial differential equations (PDEs) of the form $\mathcal{A}^su=f$ by rational approximation. A direct computation of the action of such an approximation would require solving multiple (20$\sim$30) large-scale sparse linear systems. Our method constructs the reduced basis using the first few dire…
▽ More
This work is on a fast and accurate reduced basis method for solving discretized fractional elliptic partial differential equations (PDEs) of the form $\mathcal{A}^su=f$ by rational approximation. A direct computation of the action of such an approximation would require solving multiple (20$\sim$30) large-scale sparse linear systems. Our method constructs the reduced basis using the first few directions obtained from the preconditioned conjugate gradient method applied to one of the linear systems. As shown in the theory and experiments, only a small number of directions (5$\sim$10) are needed to approximately solve all large-scale systems on the reduced basis subspace. This reduces the computational cost dramatically because: (1) We only use one of the large-scale problems to construct the basis; and (2) all large-scale problems restricted to the subspace have much smaller sizes. We test our algorithms for fractional PDEs on a 3d Euclidean domain, a 2d surface, and random combinatorial graphs. We also use a novel approach to construct the rational approximation for the fractional power function by the orthogonal greedy algorithm (OGA).
△ Less
Submitted 29 May, 2023;
originally announced May 2023.
-
Algebraic multigrid methods for metric-perturbed coupled problems
Authors:
Ana Budisa,
Xiaozhe Hu,
Miroslav Kuchta,
Kent-Andre Mardal,
Ludmil Tomov Zikatanov
Abstract:
We develop multilevel methods for interface-driven multiphysics problems that can be coupled across dimensions and where complexity and strength of the interface coupling deteriorates the performance of standard methods. We focus on solvers based on aggregation-based algebraic multigrid methods with custom smoothers that preserve the coupling information on each coarse level. We prove that with th…
▽ More
We develop multilevel methods for interface-driven multiphysics problems that can be coupled across dimensions and where complexity and strength of the interface coupling deteriorates the performance of standard methods. We focus on solvers based on aggregation-based algebraic multigrid methods with custom smoothers that preserve the coupling information on each coarse level. We prove that with the proper choice of subspace splitting we obtain uniform convergence in discretization and physical parameters in the two-level setting. Additionally, we show parameter robustness and scalability with regards to number of the degrees of freedom of the system on several numerical examples related to the biophysical processes in the brain, namely the electric signalling in excitable tissue modeled by bidomain, EMI and reduced EMI equations.
△ Less
Submitted 10 May, 2023;
originally announced May 2023.
-
Parameter-free preconditioning for nearly-incompressible linear elasticity
Authors:
James H Adler,
Xiaozhe Hu,
Yuwen Li,
Ludmil T. Zikatanov
Abstract:
It is well known that via the augmented Lagrangian method, one can solve Stokes' system by solving the nearly incompressible linear elasticity equation. In this paper, we show that the converse holds, and approximate the inverse of the linear elasticity operator with a convex linear combination of parameter-free operators. In such a way, we construct a uniform preconditioner for linear elasticity…
▽ More
It is well known that via the augmented Lagrangian method, one can solve Stokes' system by solving the nearly incompressible linear elasticity equation. In this paper, we show that the converse holds, and approximate the inverse of the linear elasticity operator with a convex linear combination of parameter-free operators. In such a way, we construct a uniform preconditioner for linear elasticity for all values of the Lamé parameter $λ\in [0,\infty)$. Numerical results confirm that by using inf-sup stable finite-element spaces for the solution of Stokes' equations, the proposed preconditioner is robust in $λ$.
△ Less
Submitted 31 March, 2023;
originally announced April 2023.
-
A finite-element framework for a mimetic finite-difference discretization of Maxwell's equations
Authors:
James H. Adler,
Casey Cavanaugh,
Xiaozhe Hu,
Ludmil T. Zikatanov
Abstract:
Maxwell's equations are a system of partial differential equations that govern the laws of electromagnetic induction. We study a mimetic finite-difference (MFD) discretization of the equations which preserves important underlying physical properties. We show that, after mass-lumping and appropriate scaling, the MFD discretization is equivalent to a structure-preserving finite-element (FE) scheme.…
▽ More
Maxwell's equations are a system of partial differential equations that govern the laws of electromagnetic induction. We study a mimetic finite-difference (MFD) discretization of the equations which preserves important underlying physical properties. We show that, after mass-lumping and appropriate scaling, the MFD discretization is equivalent to a structure-preserving finite-element (FE) scheme. This allows for a transparent analysis of the MFD method using the FE framework, and provides an avenue for the construction of efficient and robust linear solvers for the discretized system. In particular, block preconditioners designed for FE formulations can be applied to the MFD system in a straightforward fashion. We present numerical tests which verify the accuracy of the MFD scheme and confirm the robustness of the preconditioners.
△ Less
Submitted 26 May, 2021; v1 submitted 5 December, 2020;
originally announced December 2020.
-
Nodal auxiliary a posteriori error estimates
Authors:
Yuwen Li,
Ludmil T. Zikatanov
Abstract:
We introduce and explain key relations between a posteriori error estimates and subspace correction methods viewed as preconditioners for problems in infinite dimensional Hilbert spaces. We set the stage using the Finite Element Exterior Calculus and Nodal Auxiliary Space Preconditioning. This framework provides a systematic way to derive explicit residual estimators and estimators based on local…
▽ More
We introduce and explain key relations between a posteriori error estimates and subspace correction methods viewed as preconditioners for problems in infinite dimensional Hilbert spaces. We set the stage using the Finite Element Exterior Calculus and Nodal Auxiliary Space Preconditioning. This framework provides a systematic way to derive explicit residual estimators and estimators based on local problems which are upper and lower bounds of the true error. We show the applications to discretizations of $δd$, curl-curl, grad-div, Hodge Laplacian problems, and linear elasticity with weak symmetry. We also provide a new regular decomposition for singularly perturbed H(d) norms and parameter-independent error estimators. The only ingredients needed are: well-posedness of the problem and the existence of regular decomposition on continuous level.
△ Less
Submitted 15 April, 2025; v1 submitted 13 October, 2020;
originally announced October 2020.
-
A Posteriori Error Estimates for Solving Graph Laplacians
Authors:
Xiaozhe Hu,
Kaiyi Wu,
Ludmil T. Zikatanov
Abstract:
In this paper, we study a posteriori error estimators which aid multilevel iterative solvers for linear systems with graph Laplacians. In earlier works such estimates were computed by solving global optimization problems, which could be computationally expensive. We propose a novel strategy to compute these estimates by constructing a Helmholtz decomposition on the graph based on a spanning tree a…
▽ More
In this paper, we study a posteriori error estimators which aid multilevel iterative solvers for linear systems with graph Laplacians. In earlier works such estimates were computed by solving global optimization problems, which could be computationally expensive. We propose a novel strategy to compute these estimates by constructing a Helmholtz decomposition on the graph based on a spanning tree and the corresponding cycle space. To compute the error estimator, we solve efficiently the linear system on the spanning tree, and then we solve approximately a least-squares problem on the cycle space. As we show, such an estimator has a nearly-linear computational complexity for sparse graphs under certain assumptions. Numerical experiments are presented to demonstrate the efficacy of the proposed method.
△ Less
Submitted 18 June, 2021; v1 submitted 30 June, 2020;
originally announced July 2020.
-
On the unisolvence for the quasi-polynomial spaces of differential forms
Authors:
Shuonan Wu,
Ludmil T. Zikatanov
Abstract:
We consider quasi-polynomial spaces of differential forms defined as weighted (with a positive weight) spaces of differential forms with polynomial coefficients. We show that the unisolvent set of functionals for such spaces on a simplex in any spatial dimension is the same as the set of such functionals used for the polynomial spaces. The analysis in the quasi-polynomial spaces, however, is not s…
▽ More
We consider quasi-polynomial spaces of differential forms defined as weighted (with a positive weight) spaces of differential forms with polynomial coefficients. We show that the unisolvent set of functionals for such spaces on a simplex in any spatial dimension is the same as the set of such functionals used for the polynomial spaces. The analysis in the quasi-polynomial spaces, however, is not standard and requires a novel approach. We are able to prove our results without the use of Stokes' Theorem, which is the standard tool in showing the unisolvence of functionals in polynomial spaces of differential forms. These new results provide tools for studying exponentially-fitted discretizations stable for general convection-diffusion problems in Hilbert differential complexes.
△ Less
Submitted 31 March, 2020;
originally announced March 2020.
-
Discrete Trace Theorems and Energy Minimizing Spring Embeddings of Planar Graphs
Authors:
John C. Urschel,
Ludmil T. Zikatanov
Abstract:
Tutte's spring embedding theorem states that, for a three-connected planar graph, if the outer face of the graph is fixed as the complement of some convex region in the plane, and all other vertices are placed at the mass center of their neighbors, then this results in a unique embedding, and this embedding is planar. It also follows fairly quickly that this embedding minimizes the sum of squared…
▽ More
Tutte's spring embedding theorem states that, for a three-connected planar graph, if the outer face of the graph is fixed as the complement of some convex region in the plane, and all other vertices are placed at the mass center of their neighbors, then this results in a unique embedding, and this embedding is planar. It also follows fairly quickly that this embedding minimizes the sum of squared edge lengths, conditional on the embedding of the outer face. However, it is not at all clear how to embed this outer face. We consider the minimization problem of embedding this outer face, up to some normalization, so that the sum of squared edge lengths is minimized. In this work, we show the connection between this optimization problem and the Schur complement of the graph Laplacian with respect to the interior vertices. We prove a number of discrete trace theorems, and, using these new results, show the spectral equivalence of this Schur complement with the boundary Laplacian to the one-half power for a large class of graphs. Using this result, we give theoretical guarantees for this optimization problem, which motivates an algorithm to embed the outer face of a spring embedding.
△ Less
Submitted 8 July, 2020; v1 submitted 29 January, 2020;
originally announced January 2020.
-
Residual-based a posteriori error estimates of mixed methods for a three-field Biot's consolidation model
Authors:
Yuwen Li,
Ludmil T. Zikatanov
Abstract:
We present residual-based a posteriori error estimates of mixed finite element methods for the three-field formulation of Biot's consolidation model. The error estimator is an upper and lower bound of the space time discretization error up to data oscillation. As a by-product, we also obtain new a posteriori error estimate of mixed finite element methods for the heat equation.
We present residual-based a posteriori error estimates of mixed finite element methods for the three-field formulation of Biot's consolidation model. The error estimator is an upper and lower bound of the space time discretization error up to data oscillation. As a by-product, we also obtain new a posteriori error estimate of mixed finite element methods for the heat equation.
△ Less
Submitted 27 August, 2020; v1 submitted 19 November, 2019;
originally announced November 2019.
-
Robust preconditioners for a new stabilized discretization of the poroelastic equations
Authors:
James H. Adler,
Francisco J. Gaspar,
Xiaozhe Hu,
Peter Ohm,
Carmen Rodrigo,
Ludmil T. Zikatanov
Abstract:
In this paper, we present block preconditioners for a stabilized discretization of the poroelastic equations developed in [45]. The discretization is proved to be well-posed with respect to the physical and discretization parameters, and thus provides a framework to develop preconditioners that are robust with respect to such parameters as well. We construct both norm-equivalent (diagonal) and fie…
▽ More
In this paper, we present block preconditioners for a stabilized discretization of the poroelastic equations developed in [45]. The discretization is proved to be well-posed with respect to the physical and discretization parameters, and thus provides a framework to develop preconditioners that are robust with respect to such parameters as well. We construct both norm-equivalent (diagonal) and field-of-value-equivalent (triangular) preconditioners for both the stabilized discretization and a perturbation of the stabilized discretization that leads to a smaller overall problem after static condensation. Numerical tests for both two- and three-dimensional problems confirm the robustness of the block preconditioners with respect to the physical and discretization parameters.
△ Less
Submitted 3 January, 2020; v1 submitted 24 May, 2019;
originally announced May 2019.
-
Optimal spatial-dynamic management to minimize the damages caused by aquatic invasive species
Authors:
Katherine Y. Zipp,
Yangqingxiang Wu,
Kaiyi Wu,
Ludmil T. Zikatanov
Abstract:
Invasive species have been recognized as a leading threat to biodiversity. In particular, lakes are especially affected by species invasions because they are closed systems sensitive to disruption. Accurately controlling the spread of invasive species requires solving a complex spatial-dynamic optimization problem. In this work we propose a novel framework for determining the optimal management st…
▽ More
Invasive species have been recognized as a leading threat to biodiversity. In particular, lakes are especially affected by species invasions because they are closed systems sensitive to disruption. Accurately controlling the spread of invasive species requires solving a complex spatial-dynamic optimization problem. In this work we propose a novel framework for determining the optimal management strategy to maximize the value of a lake system net of damages from invasive species, including an endogenous diffusion mechanism for the spread of invasive species through boaters' trips between lakes. The proposed method includes a combined global iterative process which determines the optimal number of trips to each lake in each season and the spatial-dynamic optimal boat ramp fee.
△ Less
Submitted 14 September, 2018;
originally announced September 2018.
-
An Adaptive Multigrid Method Based on Path Cover
Authors:
Xiaozhe Hu,
Junyuan Lin,
Ludmil T. Zikatanov
Abstract:
We propose a path cover adaptive algebraic multigrid (PC-$α$AMG) method for solving linear systems of weighted graph Laplacians and can also be applied to discretized second order elliptic partial differential equations. The PC-$α$AMG is based on unsmoothed aggregation AMG (UA-AMG). To preserve the structure of smooth error down to the coarse levels, we approximate the level sets of the smooth err…
▽ More
We propose a path cover adaptive algebraic multigrid (PC-$α$AMG) method for solving linear systems of weighted graph Laplacians and can also be applied to discretized second order elliptic partial differential equations. The PC-$α$AMG is based on unsmoothed aggregation AMG (UA-AMG). To preserve the structure of smooth error down to the coarse levels, we approximate the level sets of the smooth error by first forming vertex-disjoint path cover with paths following the level sets. The aggregations are then formed by matching along the paths in the path cover. In such manner, we are able to build a multilevel structure at a low computational cost. The proposed PC-$α$AMG provides a mechanism to efficiently re-build the multilevel hierarchy during the iterations and leads to a fast nonlinear multilevel algorithm. Traditionally, UA-AMG requires more sophisticated cycling techniques, such as AMLI-cycle or K-cycle, but as our numerical results show, the PC-$α$AMG proposed here leads to nearly optimal standard V-cycle algorithm for solving linear systems with weighted graph Laplacians. Numerical experiments for some real world graph problems also demonstrate PC-$α$AMG's effectiveness and robustness, especially for ill-conditioned graphs.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
On the validity of the local Fourier analysis
Authors:
Carmen Rodrigo,
Francisco J. Gaspar,
Ludmil T. Zikatanov
Abstract:
Local Fourier analysis (LFA) is a useful tool in predicting the convergence factors of geometric multigrid methods (GMG). As is well known, on rectangular domains with periodic boundary conditions this analysis gives the exact convergence factors of such methods. In this work, using the Fourier method, we extend these results by proving that such analysis yields the exact convergence factors for a…
▽ More
Local Fourier analysis (LFA) is a useful tool in predicting the convergence factors of geometric multigrid methods (GMG). As is well known, on rectangular domains with periodic boundary conditions this analysis gives the exact convergence factors of such methods. In this work, using the Fourier method, we extend these results by proving that such analysis yields the exact convergence factors for a wider class of problems.
△ Less
Submitted 7 October, 2017; v1 submitted 1 October, 2017;
originally announced October 2017.
-
Fourier Method for Approximating Eigenvalues of Indefinite Stekloff Operator
Authors:
Yangqingxiang Wu,
Ludmil T Zikatanov
Abstract:
We introduce an efficient method for computing the Stekloff eigenvalues associated with the Helmholtz equation. In general, this eigenvalue problem requires solving the Helmholtz equation with Dirichlet and/or Neumann boundary condition repeatedly. We propose solving the related constant coefficient Helmholtz equation with Fast Fourier Transform (FFT) based on carefully designed extensions and res…
▽ More
We introduce an efficient method for computing the Stekloff eigenvalues associated with the Helmholtz equation. In general, this eigenvalue problem requires solving the Helmholtz equation with Dirichlet and/or Neumann boundary condition repeatedly. We propose solving the related constant coefficient Helmholtz equation with Fast Fourier Transform (FFT) based on carefully designed extensions and restrictions of the equation. The proposed Fourier method, combined with proper eigensolver, results in an efficient and clear approach for computing the Stekloff eigenvalues.
△ Less
Submitted 16 November, 2017; v1 submitted 7 September, 2017;
originally announced September 2017.
-
Discrete Energy Laws for the First-Order System Least-Squares Finite-Element Approach
Authors:
J. H. Adler,
I. Lashuk,
S. P. MacLachlan,
L. T. Zikatanov
Abstract:
This paper analyzes the discrete energy laws associated with first-order system least-squares (FOSLS) discretizations of time-dependent partial differential equations. Using the heat equation and the time-dependent Stokes' equation as examples, we discuss how accurately a FOSLS finite-element formulation adheres to the underlying energy law associated with the physical system. Using regularity arg…
▽ More
This paper analyzes the discrete energy laws associated with first-order system least-squares (FOSLS) discretizations of time-dependent partial differential equations. Using the heat equation and the time-dependent Stokes' equation as examples, we discuss how accurately a FOSLS finite-element formulation adheres to the underlying energy law associated with the physical system. Using regularity arguments involving the initial condition of the system, we are able to give bounds on the convergence of the discrete energy law to its expected value (zero in the examples presented here). Numerical experiments are performed, showing that the discrete energy laws hold with order $\mathcal O\left(h^{2p}\right)$, where $h$ is the mesh spacing and $p$ is the order of the finite-element space. Thus, the energy law conformance is held with a higher order than the expected, $\mathcal{O}\left(h^p\right)$, convergence of the finite-element approximation. Finally, we introduce an abstract framework for analyzing the energy laws of general FOSLS discretizations.
△ Less
Submitted 21 September, 2017; v1 submitted 1 September, 2017;
originally announced September 2017.
-
Robust Block Preconditioners for Biot's Model
Authors:
James H. Adler,
Francisco J. Gaspar,
Xiaozhe Hu,
Carmen Rodrigo,
Ludmil T. Zikatanov
Abstract:
In this paper, we design robust and efficient block preconditioners for the two-field formulation of Biot's consolidation model, where stabilized finite-element discretizations are used. The proposed block preconditioners are based on the well-posedness of the discrete linear systems. Block diagonal (norm-equivalent) and block triangular preconditioners are developed, and we prove that these metho…
▽ More
In this paper, we design robust and efficient block preconditioners for the two-field formulation of Biot's consolidation model, where stabilized finite-element discretizations are used. The proposed block preconditioners are based on the well-posedness of the discrete linear systems. Block diagonal (norm-equivalent) and block triangular preconditioners are developed, and we prove that these methods are robust with respect to both physical and discretization parameters. Numerical results are presented to support the theoretical results.
△ Less
Submitted 24 May, 2017;
originally announced May 2017.
-
Adaptive aggregation on graphs
Authors:
Wenfang Xu,
Ludmil T. Zikatanov
Abstract:
We generalize some of the functional (hyper-circle) a posteriori estimates from finite element settings to general graphs or Hilbert space settings. We provide several theoretical results in regard to the generalized a posteriori error estimators. We use these estimates to construct aggregation based coarse spaces for graph Laplacians. The estimator is used to assess the quality of an aggregation…
▽ More
We generalize some of the functional (hyper-circle) a posteriori estimates from finite element settings to general graphs or Hilbert space settings. We provide several theoretical results in regard to the generalized a posteriori error estimators. We use these estimates to construct aggregation based coarse spaces for graph Laplacians. The estimator is used to assess the quality of an aggregation adaptively. Furthermore, a reshaping algorithm based is tested on several numerical examples.
△ Less
Submitted 16 November, 2017; v1 submitted 28 April, 2017;
originally announced May 2017.
-
Algebraic Multigrid Methods
Authors:
Jinchao Xu,
Ludmil T Zikatanov
Abstract:
This paper is to give an overview of AMG methods for solving large scale systems of equations such as those from the discretization of partial differential equations. AMG is often understood as the acronym of "Algebraic Multi-Grid", but it can also be understood as "Abstract Muti-Grid". Indeed, as it demonstrates in this paper, how and why an algebraic multigrid method can be better understood in…
▽ More
This paper is to give an overview of AMG methods for solving large scale systems of equations such as those from the discretization of partial differential equations. AMG is often understood as the acronym of "Algebraic Multi-Grid", but it can also be understood as "Abstract Muti-Grid". Indeed, as it demonstrates in this paper, how and why an algebraic multigrid method can be better understood in a more abstract level. In the literature, there are a variety of different algebraic multigrid methods that have been developed from different perspectives. In this paper, we try to develop a unified framework and theory that can be used to derive and analyze different algebraic multigrid methods in a coherent manner. Given a smoother $R$ for a matrix $A$, such as Gauss-Seidel or Jacobi, we prove that the optimal coarse space of dimension $n_c$ is the span of the eigen-vectors corresponding to the first $n_c$ eigenvalues of $\bar RA$ (with $\bar R=R+R^T-R^TAR$). We also prove that this optimal coarse space can be obtained by a constrained trace-minimization problem for a matrix associated with $\bar RA$ and demonstrate that coarse spaces of most of existing AMG methods can be viewed some approximate solution of this trace-minimization problem. Furthermore, we provide a general approach to the construction of a quasi-optimal coarse space and we prove that under appropriate assumptions the resulting two-level AMG method for the underlying linear system converges uniformly with respect to the size of the problem, the coefficient variation, and the anisotropy. Our theory applies to most existing multigrid methods, including the standard geometric multigrid method, the classic AMG, energy-minimization AMG, unsmoothed and smoothed aggregation AMG, and spectral AMGe.
△ Less
Submitted 10 November, 2016; v1 submitted 7 November, 2016;
originally announced November 2016.
-
Constructing Frequency Domains on Graphs in Near-Linear Time
Authors:
John C. Urschel,
Wenfang Xu,
Ludmil T. Zikatanov
Abstract:
Analysis of big data has become an increasingly relevant area of research, with data often represented on discrete networks both constructed and organic. While for structured domains, there exist intuitive definitions of signals and frequencies, the definitions are much less obvious for data sets associated with a given network. Often, the eigenvectors of an induced graph Laplacian are used to con…
▽ More
Analysis of big data has become an increasingly relevant area of research, with data often represented on discrete networks both constructed and organic. While for structured domains, there exist intuitive definitions of signals and frequencies, the definitions are much less obvious for data sets associated with a given network. Often, the eigenvectors of an induced graph Laplacian are used to construct an orthogonal set of low-frequency vectors. For larger graphs, however, the computational cost of creating such structures becomes untenable, and the quality of the approximation is adequate only for signals near the span of the set. We propose a construction of a full basis of frequencies with computational complexity that is near-linear in time and linear in storage. Using this frequency domain, we can compress data sets on unstructured graphs more robustly and accurately than spectral-based constructions.
△ Less
Submitted 5 April, 2018; v1 submitted 13 September, 2016;
originally announced September 2016.
-
On the Approximation of Laplacian Eigenvalues in Graph Disaggregation
Authors:
Xiaozhe Hu,
John C. Urschel,
Ludmil T. Zikatanov
Abstract:
Graph disaggregation is a technique used to address the high cost of computation for power law graphs on parallel processors. The few high-degree vertices are broken into multiple small-degree vertices, in order to allow for more efficient computation in parallel. In particular, we consider computations involving the graph Laplacian, which has significant applications, including diffusion mapping…
▽ More
Graph disaggregation is a technique used to address the high cost of computation for power law graphs on parallel processors. The few high-degree vertices are broken into multiple small-degree vertices, in order to allow for more efficient computation in parallel. In particular, we consider computations involving the graph Laplacian, which has significant applications, including diffusion mapping and graph partitioning, among others. We prove results regarding the spectral approximation of the Laplacian of the original graph by the Laplacian of the disaggregated graph. In addition, we construct an alternate disaggregation operator whose eigenvalues interlace those of the original Laplacian. Using this alternate operator, we construct a uniform preconditioner for the original graph Laplacian.
△ Less
Submitted 2 May, 2016;
originally announced May 2016.
-
Robust Solvers for Maxwell's Equations with Dissipative Boundary Conditions
Authors:
James H. Adler,
Xiaozhe Hu,
Ludmil T. Zikatanov
Abstract:
In this paper, we design robust and efficient linear solvers for the numerical approximation of solutions to Maxwell's equations with dissipative boundary conditions. We consider a structure-preserving finite-element approximation with standard Nedelec--Raviart--Thomas elements in space and a Crank--Nicolson scheme in time to approximate the electric and magnetic fields.
We focus on two types of…
▽ More
In this paper, we design robust and efficient linear solvers for the numerical approximation of solutions to Maxwell's equations with dissipative boundary conditions. We consider a structure-preserving finite-element approximation with standard Nedelec--Raviart--Thomas elements in space and a Crank--Nicolson scheme in time to approximate the electric and magnetic fields.
We focus on two types of block preconditioners. The first type is based on the well-posedness results of the discrete problem. The second uses an exact block factorization of the linear system, for which the structure-preserving discretization yields sparse Schur complements. We prove robustness and optimality of these block preconditioners, and provide supporting numerical tests.
△ Less
Submitted 30 April, 2016;
originally announced May 2016.
-
A Nonconforming Finite Element Method for the Biot's Consolidation Model in Poroelasticity
Authors:
Xiaozhe Hu,
Carmen Rodrigo,
Francisco J. Gaspar,
Ludmil T. Zikatanov
Abstract:
A stable finite element scheme that avoids pressure oscillations for a three-field Biot's model in poroelasticity is considered. The involved variables are the displacements, fluid flux (Darcy velocity), and the pore pressure, and they are discretized by using the lowest possible approximation order: Crouzeix-Raviart finite elements for the displacements, lowest order Raviart-Thomas-Nedelec elemen…
▽ More
A stable finite element scheme that avoids pressure oscillations for a three-field Biot's model in poroelasticity is considered. The involved variables are the displacements, fluid flux (Darcy velocity), and the pore pressure, and they are discretized by using the lowest possible approximation order: Crouzeix-Raviart finite elements for the displacements, lowest order Raviart-Thomas-Nedelec elements for the Darcy velocity, and piecewise constant approximation for the pressure. Mass lumping technique is introduced for the Raviart-Thomas-Nedelec elements in order to eliminate the Darcy velocity and, therefore, reduce the computational cost. We show convergence of the discrete scheme which is implicit in time and use these types of elements in space with and without mass lumping. Finally, numerical experiments illustrate the convergence of the method and show its effectiveness to avoid spurious pressure oscillations when mass lumping for the Raviart-Thomas-Nedelec elements is used.
△ Less
Submitted 1 May, 2016; v1 submitted 9 February, 2016;
originally announced February 2016.
-
Arbitrary Dimension Convection-Diffusion Schemes for Space-Time Discretizations
Authors:
Randolph E. Bank,
Panayot S. Vassilevski,
Ludmil T. Zikatanov
Abstract:
This note proposes embedding a time dependent PDE into a convection-diffusion type PDE (in one space dimension higher) with singularity, for which two discretization schemes, the classical streamline-diffusion and the EAFE (edge average finite element) one, are investigated in terms of stability and error analysis. The EAFE scheme, in particular, is extended to be arbitrary order which is of inter…
▽ More
This note proposes embedding a time dependent PDE into a convection-diffusion type PDE (in one space dimension higher) with singularity, for which two discretization schemes, the classical streamline-diffusion and the EAFE (edge average finite element) one, are investigated in terms of stability and error analysis. The EAFE scheme, in particular, is extended to be arbitrary order which is of interest on its own. Numerical results, in combined space-time domain demonstrate the feasibility of the proposed approach.
△ Less
Submitted 4 April, 2016; v1 submitted 24 January, 2016;
originally announced January 2016.
-
On the Maximal Error of Spectral Approximation of Graph Bisection
Authors:
John C. Urschel,
Ludmil T. Zikatanov
Abstract:
Spectral graph bisections are a popular heuristic aimed at approximating the solution of the NP-complete graph bisection problem. This technique, however, does not always provide a robust tool for graph partitioning. Using a special class of graphs, we prove that the standard spectral graph bisection can produce bisections that are far from optimal. In particular, we show that the maximum error in…
▽ More
Spectral graph bisections are a popular heuristic aimed at approximating the solution of the NP-complete graph bisection problem. This technique, however, does not always provide a robust tool for graph partitioning. Using a special class of graphs, we prove that the standard spectral graph bisection can produce bisections that are far from optimal. In particular, we show that the maximum error in the spectral approximation of the optimal bisection (partition sizes exactly equal) cut for such graphs is bounded below by a constant multiple of the order of the graph squared.
△ Less
Submitted 20 December, 2015;
originally announced December 2015.
-
A uniform additive Schwarz preconditioner for the $hp$-version of Discontinuous Galerkin approximations of elliptic problems
Authors:
Paola F. Antonietti,
Marco Sarti,
Marco Verani,
Ludmil T. Zikatanov
Abstract:
In this paper we design and analyze a uniform preconditioner for a class of high order Discontinuous Galerkin schemes. The preconditioner is based on a space splitting involving the high order conforming subspace and results from the interpretation of the problem as a nearly-singular problem. We show that the proposed preconditioner exhibits spectral bounds that are uniform with respect to the dis…
▽ More
In this paper we design and analyze a uniform preconditioner for a class of high order Discontinuous Galerkin schemes. The preconditioner is based on a space splitting involving the high order conforming subspace and results from the interpretation of the problem as a nearly-singular problem. We show that the proposed preconditioner exhibits spectral bounds that are uniform with respect to the discretization parameters, i.e., the mesh size, the polynomial degree and the penalization coefficient. The theoretical estimates obtained are supported by several numerical simulations.
△ Less
Submitted 2 December, 2014;
originally announced December 2014.
-
A Cascadic Multigrid Algorithm for Computing the Fiedler Vector of Graph Laplacians
Authors:
John C. Urschel,
Xiaozhe Hu,
Jinchao Xu,
Ludmil T. Zikatanov
Abstract:
In this paper, we develop a cascadic multigrid algorithm for fast computation of the Fiedler vector of a graph Laplacian, namely, the eigenvector corresponding to the second smallest eigenvalue. This vector has been found to have applications in fields such as graph partitioning and graph drawing. The algorithm is a purely algebraic approach based on a heavy edge coarsening scheme and pointwise sm…
▽ More
In this paper, we develop a cascadic multigrid algorithm for fast computation of the Fiedler vector of a graph Laplacian, namely, the eigenvector corresponding to the second smallest eigenvalue. This vector has been found to have applications in fields such as graph partitioning and graph drawing. The algorithm is a purely algebraic approach based on a heavy edge coarsening scheme and pointwise smoothing for refinement. To gain theoretical insight, we also consider the related cascadic multigrid method in the geometric setting for elliptic eigenvalue problems and show its uniform convergence under certain assumptions. Numerical tests are presented for computing the Fiedler vector of several practical graphs, and numerical results show the efficiency and optimality of our proposed cascadic multigrid algorithm.
△ Less
Submitted 1 December, 2014;
originally announced December 2014.
-
An exponential fitting scheme for general convection-diffusion equations on tetrahedral meshes
Authors:
Raytcho D. Lazarov,
Ludmil T. Zikatanov
Abstract:
This paper contains construction and analysis a finite element approximation for convection dominated diffusion problems with full coefficient matrix on general simplicial partitions in $R^d$, $d=2,3$. This construction is quite close to the scheme of Xu and Zikatanov (Math. Comp. 1999) where a diagonal coefficient matrix has been considered. The scheme is of the class of exponentially fitted meth…
▽ More
This paper contains construction and analysis a finite element approximation for convection dominated diffusion problems with full coefficient matrix on general simplicial partitions in $R^d$, $d=2,3$. This construction is quite close to the scheme of Xu and Zikatanov (Math. Comp. 1999) where a diagonal coefficient matrix has been considered. The scheme is of the class of exponentially fitted methods that does not use upwind or checking the flow direction. It is stable for sufficiently small discretization step-size assuming that the boundary value problem for the convection-diffusion equation is uniquely solvable. Further, it is shown that, under certain conditions on the mesh the scheme is monotone. Convergence of first order is derived under minimal smoothness of the solution.
△ Less
Submitted 6 November, 2012; v1 submitted 5 November, 2012;
originally announced November 2012.
-
Numerical Approximation of Asymptotically Disappearing Solutions of Maxwell's Equations
Authors:
James H. Adler,
Vesselin Petkov,
Ludmil T. Zikatanov
Abstract:
This work is on the numerical approximation of incoming solutions to Maxwell's equations with dissipative boundary conditions whose energy decays exponentially with time. Such solutions are called asymptotically disappearing (ADS) and they play an importarnt role in inverse back-scatering problems. The existence of ADS is a difficult mathematical problem. For the exterior of a sphere, such solutio…
▽ More
This work is on the numerical approximation of incoming solutions to Maxwell's equations with dissipative boundary conditions whose energy decays exponentially with time. Such solutions are called asymptotically disappearing (ADS) and they play an importarnt role in inverse back-scatering problems. The existence of ADS is a difficult mathematical problem. For the exterior of a sphere, such solutions have been constructed analytically by Colombini, Petkov and Rauch [7] by specifying appropriate initial conditions. However, for general domains of practical interest (such as Lipschitz polyhedra), the existence of such solutions is not evident.
This paper considers a finite-element approximation of Maxwell's equations in the exterior of a polyhedron, whose boundary approximates the sphere. Standard Nedelec-Raviart-Thomas elements are used with a Crank-Nicholson scheme to approximate the electric and magnetic fields. Discrete initial conditions interpolating the ones chosen in [7] are modified so that they are (weakly) divergence-free. We prove that with such initial conditions, the approximation to the electric field is weakly divergence-free for all time. Finally, we show numerically that the finite-element approximations of the ADS also decay exponentially with time when the mesh size and the time step become small.
△ Less
Submitted 22 July, 2013; v1 submitted 31 May, 2012;
originally announced May 2012.
-
Polynomial of best uniform approximation to $x^{-1}$ and smoothing in two-level methods
Authors:
Johannes K. Kraus,
Panayot S. Vassilevski,
Ludmil T. Zikatanov
Abstract:
We derive a three-term recurrence relation for computing the polynomial of best approximation in the uniform norm to $x^{-1}$ on a finite interval with positive endpoints. As application, we consider two-level methods for scalar elliptic partial differential equation (PDE), where the relaxation on the fine grid uses the aforementioned polynomial of best approximation. Based on a new smoothing prop…
▽ More
We derive a three-term recurrence relation for computing the polynomial of best approximation in the uniform norm to $x^{-1}$ on a finite interval with positive endpoints. As application, we consider two-level methods for scalar elliptic partial differential equation (PDE), where the relaxation on the fine grid uses the aforementioned polynomial of best approximation. Based on a new smoothing property of this polynomial smoother that we prove, combined with a proper choice of the coarse space, we obtain as a corollary, that the convergence rate of the resulting two-level method is uniform with respect to the mesh parameters, coarsening ratio and PDE coefficient variation.
△ Less
Submitted 23 May, 2012; v1 submitted 9 February, 2010;
originally announced February 2010.
