Related papers: Code Verification for Practically Singular Equatio…
We present a numerical method which accurately computes the discrete spectrum and associated bound states of Hamiltonians which model electronic "edge" states localized at boundaries of one and two-dimensional crystalline materials. The…
We develop a new symbolic-numeric algorithm for the certification of singular isolated points, using their associated local ring structure and certified numerical computations. An improvement of an existing method to compute inverse systems…
This paper builds on the algebraic theory in the companion paper [Algebraic Error Analysis for Mixed-Precision Multigrid Solvers] to obtain discretization-error-accurate solutions for linear elliptic partial differential equations (PDEs) by…
We study the problem of numerical differentiation of functions from weighted Wiener classes. We construct and analyze a truncation Legendre method to recover arbitrary order derivatives. The main focus is on obtaining error estimates in…
The combinatorial integral approximation (CIA) is a solution technique for integer optimal control problems. In order to regularize the solutions produced by CIA, one can minimize switching costs in one of its algorithmic steps. This leads…
We revisit the volume Green's function integral equation for modelling light scattering with discretization strategies as well as numerical integration recipes borrowed from finite element method. The merits of introducing finite element…
Error Detection and Correction Codes (ECCs) are often used in digital designs to protect data integrity. Especially in safety-critical systems such as automotive electronics, ECCs are widely used and the verification of such complex logic…
In this paper, we reveal a mechanism behind a false accuracy verification encountered with unstructured-grid schemes based on solution reconstruction such as UMUSCL. Third- (or higher-) order of accuracy has been reported for the Euler…
Efficient high order numerical methods for evolving the solution of an ordinary differential equation are widely used. The popular Runge--Kutta methods, linear multi-step methods, and more broadly general linear methods, all have a global…
Most existing literature focuses on pointwise convergence (i.e., convergence at a fixed time point) of numerical solutions for Stochastic functional differential equations (SFDEs). In contrast, this paper investigates the strong segment…
Interior-point methods for linear programming problems require the repeated solution of a linear system of equations. Solving these linear systems is non-trivial due to the severe ill-conditioning of the matrices towards convergence. This…
In this paper, we develop a new deflation technique for refining or verifying the isolated singular zeros of polynomial systems. Starting from a polynomial system with an isolated singular zero, by computing the derivatives of the input…
Conventional classical solvers are commonly used for solving matrix equation systems resulting from the discretization of SIEs in computational electromagnetics (CEM). However, the memory requirement would become a bottleneck for classical…
The center of gravity $x_{g}= \sum_{i}E_{i} x_{i}/\sum_{i} E_{i}$ as an algorithm for position measurements is carefully analyzed. Many mathematical consequences of discretization are extracted. The origin of the systematic error of the…
Particle-in-cell methods with stochastic collision models are commonly used to simulate collisional plasma dynamics, with applications ranging from hypersonic flight to semiconductor manufacturing. Code verification of such methods is…
Advanced embedded algorithms are growing in complexity and they are an essential contributor to the growth of autonomy in many areas. However, the promise held by these algorithms cannot be kept without proper attention to the considerably…
In this work, we introduce new integral formulations based on the convolution quadrature method for the time-domain modeling of perfectly electrically conducting scatterers that overcome some of the most critical issues of the standard…
Hamiltonian Truncation Effective Theory is a framework that aims to improve the results of Hamiltonian truncation in a systematic, order-by-order fashion using Effective Field Theory methodology. The result is a truncated effective…
This paper is the second in a series of works on weak convergence of one-step schemes for solving stochastic differential equations (SDEs) with one-sided Lipschitz conditions. It is known that the super-linear coefficients may lead to a…
We present exact mixed-integer linear programming formulations for verifying the performance of first-order methods for parametric quadratic optimization. We formulate the verification problem as a mixed-integer linear program where the…