English
Related papers

Related papers: Numerical computation of H-bases

200 papers

Given an approximation to a multiple isolated solution of a polynomial system of equations, we have provided a symbolic-numeric deflation algorithm to restore the quadratic convergence of Newton's method. Using first-order derivatives of…

Numerical Analysis · Mathematics 2007-05-23 Anton Leykin , Jan Verschelde , Ailing Zhao

A method is presented for using the consistent part of inconsistent axiomatic systems.

General Mathematics · Mathematics 2009-02-09 Elemer E Rosinger

A two-dimensional, fully numerical approach to the solution of four-component Dirac-Fock equation using the moderately long Hermitian basis of B-splines is applied to H, H2+ and H2 in a strong magnetic field. The geometric parameters,…

Astrophysics · Physics 2007-05-23 G. B. Deineka

In this paper, we will consider an $hp$-finite elements discretization of a highly indefinite Helmholtz problem by some dG formulation which is based on the ultra-weak variational formulation by Cessenat and Depr\'{e}s. We will introduce an…

Numerical Analysis · Mathematics 2015-03-17 Stefan Sauter , Jakob Zech

The signatures of polynomials were originally introduced by Faug\`{e}re for the efficient computation of Gr\"obner bases [Fau02], and redefined by Arri-Perry [AP11] as the standard monomials modulo the module of syzygies. Since it is…

Commutative Algebra · Mathematics 2023-07-21 Yuta Kambe

We construct valuatively independent bases for the space of sections of an ample line bundle on a log Calabi--Yau pair over a discretely valued field and the space of regular functions on an affine CY pair with maximal boundary. While the…

Algebraic Geometry · Mathematics 2026-05-01 Harold Blum , Yuchen Liu

Motivated by problems on Brownian motion, we introduce a recursive scheme for a basis construction in the Hilbert space L^2(0,1) which is analogous to that of Haar and Walsh. More generally, we find a new decomposition theory for the…

Classical Analysis and ODEs · Mathematics 2007-05-23 Palle E. T. Jorgensen , Anilesh Mohari

In this paper, we conduct a numerical analysis of the strong stabilization and polynomial decay of solutions for the initial boundary value problem associated with a system that models the dynamics of a mixture of two rigid solids with…

Numerical Analysis · Mathematics 2026-03-24 Kais Ammari , Vilmos Komornik , Mauricio Sepúlveda , Octavio Vera

We establish the Hyers-Ulam stability of a second-order linear Hill-type $h$-difference equation with a periodic coefficient. Using results from first-order $h$-difference equations with periodic coefficient of arbitrary order, both…

Classical Analysis and ODEs · Mathematics 2023-03-20 Douglas R. Anderson , Masakazu Onitsuka

In this paper, a class of high order numerical schemes is proposed for solving Hamilton-Jacobi (H-J) equations. This work is regarded as an extension of our previous work for nonlinear degenerate parabolic equations, see Christlieb et al.…

Numerical Analysis · Mathematics 2019-01-30 Andrew Christlieb , Wei Guo , Yan Jiang

We obtain simple quadratic recurrence formulas counting bipartite maps on surfaces with prescribed degrees (in particular, $2k$-angulations), and constellations. These formulas are the fastest known way of computing these numbers. Our work…

Combinatorics · Mathematics 2020-12-11 Baptiste Louf

We study polynomial deformations of the fuzzy sphere, specifically given by the cubic or the Higgs algebra. We derive the Higgs algebra by quantizing the Poisson structure on a surface in $\mathbb{R}^3$. We find that several surfaces,…

High Energy Physics - Theory · Physics 2010-04-30 T. R. Govindarajan , Pramod Padmanabhan , T. Shreecharan

We show that the stable module $\infty$-category of a finite group $G$ decomposes in three different ways as a limit of the stable module $\infty$-categories of certain subgroups of $G$. Analogously to Dwyer's terminology for homology…

Representation Theory · Mathematics 2020-09-25 Joshua Hunt

We devise and evaluate numerically Hybrid High-Order (HHO) methods for hyperelastic materials undergoing finite deformations. The HHO methods use as discrete unknowns piecewise polynomials of order $k\ge1$ on the mesh skeleton, together…

Computational Engineering, Finance, and Science · Computer Science 2018-09-25 Mickaël Abbas , Alexandre Ern , Nicolas Pignet

We study the problem of computing minimal distinguishing formulas for non-bisimilar states in finite LTSs. We show that this is NP-hard if the size of the formula must be minimal. Similarly, the existence of a short distinguishing trace is…

Logic in Computer Science · Computer Science 2023-07-12 Jan Martens , Jan Friso Groote

We study extensions of piecewise polynomial data prescribed on faces and possibly in elements of a patch of simplices sharing a vertex. In the $H^1$ setting, we look for functions whose jumps across the faces are prescribed, whereas in the…

Numerical Analysis · Mathematics 2019-10-07 Alexandre Ern , Martin Vohralík

The Galois representations associated to weight $1$ newforms over $\bar{\mathbb{F}}_p$ are remarkable in that they are unramified at $p$, but the computation of weight $1$ modular forms has proven to be difficult. One complication in this…

Number Theory · Mathematics 2014-06-09 George J. Schaeffer

The aim of this note is to present an easy proof of Hilbert's Nullstellensatz using Groebner basis. I believe, that the proof has some methodical advantage in a course on Groebner bases. Key words: Hilbert's Nullstellensatz, Groebner bases.

Commutative Algebra · Mathematics 2012-06-29 Lev Glebsky

Several bases of the Garsia-Haiman modules for hook shapes are given, as well as combinatorial decomposition rules for these modules. These bases and rules extend the classical ones for the coinvariant algebra of type $A$. We also give a…

Representation Theory · Mathematics 2007-05-23 Ron M. Adin , Jeffrey B. Remmel , Yuval Roichman

Let $\pi:(X,L)\rightarrow \mathbb D^*$ be the Fermat family of cubic curves in $\mathbb P^2$. For each $k\geq 1$, we construct a valuatively independent basis for $H^0(X,L^k)$. The construction uses a canonical cost function determined by a…

Algebraic Geometry · Mathematics 2026-04-20 Jakob Hultgren , Sohaib Khalid