English
Related papers

Related papers: Polynomial Interpolation and Identity Testing from…

200 papers

Using a lemma of Davis on Gram matrices applied to the classical Orthogonal Polynomials to generate reproducing kernel interpolation over the classical domains for polynomials. These kernels have terms which are exact over the rational…

Numerical Analysis · Mathematics 2024-02-21 John Spitzer

In this paper we revisit the classical problem of polynomial interpolation, with a slight twist; namely, polynomial evaluations are available up to a group action of the unit circle on the complex plane. It turns out that this new setting…

Numerical Analysis · Mathematics 2020-03-11 Michal R. Przybylek , Pawel Siedlecki

A new interpolation-based decoding principle for interleaved Gabidulin codes is presented. The approach consists of two steps: First, a multi-variate linearized polynomial is constructed which interpolates the coefficients of the received…

Information Theory · Computer Science 2014-04-25 Antonia Wachter-Zeh , Alexander Zeh

In this paper, we propose a trigonometric-interpolation approach for solutions of second order nonlinear ODEs with mixed boundary conditions. The method interpolates secondary derivative $y''$ of a target solution $y$ by a trigonometric…

Numerical Analysis · Mathematics 2025-04-29 Xiaorong Zou

In this paper, we consider the particular case of the general rational Hermite interpolation problem where only the value of the function is interpolated at some points, and where the function and its first derivatives agree at the origin.…

Numerical Analysis · Mathematics 2012-09-25 Claude Brezinski , Michela Redivo-Zaglia

Let $F$ be a compact set of a Banach space $\mathcal{X}$. This paper analyses the "Generalized Empirical Interpolation Method" (GEIM) which, given a function $f\in F$, builds an interpolant $\mathcal{J}_n[f]$ in an $n$-dimensional subspace…

Numerical Analysis · Mathematics 2017-05-09 Y. Maday , O. Mula , G. Turinici

Motivated by certain applications from physics, biochemistry, economics, and computer science, in which the objects under investigation are not accessible because of various limitations, we propose a trial-and-error model to examine…

Computational Complexity · Computer Science 2013-04-19 Xiaohui Bei , Ning Chen , Shengyu Zhang

We give a deterministic polynomial-time algorithm to check whether the Galois group $\Gal{f}$ of an input polynomial $f(X) \in \Q[X]$ is nilpotent: the running time is polynomial in $\size{f}$. Also, we generalize the Landau-Miller…

Computational Complexity · Computer Science 2007-05-23 V. Arvind , Piyush P Kurur

A powerful statistical interpolating concept, which we call \emph{fully lifted} (fl), is introduced and presented while establishing a connection between bilinearly indexed random processes and their corresponding fully decoupled (linearly…

Probability · Mathematics 2023-12-01 Mihailo Stojnic

A new alternative numerical procedure to the Szeg\H{o} quadrature formulas for the estimation of integrals with respect to a positive Borel measure $\mu$ supported on the unit circle is presented. As in many practical situations, we assume…

Numerical Analysis · Mathematics 2026-01-27 Ruymán Cruz-Barroso , Lidia Fernández , Francisco Marcellán

We present a new algorithm to decide isomorphism between finite graded algebras. For a broad class of nilpotent Lie algebras, we demonstrate that it runs in time polynomial in the order of the input algebras. We introduce heuristics that…

Rings and Algebras · Mathematics 2019-05-06 Peter A. Brooksbank , E. A. O'Brien , James B. Wilson

A nonstandard application of bivariate polynomial interpolation is discussed: the implicitization of a rational algebraic curve given by its parametric equations. Three different approaches using the same interpolation space are considered,…

Numerical Analysis · Mathematics 2007-05-23 Ana Marco , Jose-Javier Martinez

In sharp contrast to classical proof complexity we are currently short of lower bound techniques for QBF proof systems. In this paper we establish the feasible interpolation technique for all resolution-based QBF systems, whether modelling…

Computational Complexity · Computer Science 2023-06-22 Olaf Beyersdorff , Leroy Chew , Meena Mahajan , Anil Shukla

We present algorithms for computing the reduced Gr\"{o}bner basis of the vanishing ideal of a finite set of points in a frame of ideal interpolation. Ideal interpolation is defined by a linear projector whose kernel is a polynomial ideal.…

Commutative Algebra · Mathematics 2024-01-17 Xue Jiang , Yihe Gong

The interpolation-regression approximation is a powerful tool in numerical analysis for reconstructing functions defined on square or triangular domains from their evaluations at a regular set of nodes. The importance of this technique lies…

Numerical Analysis · Mathematics 2025-08-12 Francesco Dell'Accio , Francisco Marcellán , Federico Nudo

The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the input-output behavior of an experiment? How many of the…

Optimization and Control · Mathematics 2025-10-20 Alexandre Sedoglavic

According to V.P.Potapov, a classical interpolation problem can be reformulated in terms of a so-called Fundamental Matrix Inequality (FMI). To show that every solution of the FMI satisfies the interpolation problem, we usualy have to…

Classical Analysis and ODEs · Mathematics 2007-06-14 Victor Katsnelson

A polynomial identity testing algorithm must determine whether a given input polynomial is identically equal to 0. We give a deterministic black-box identity testing algorithm for univariate polynomials of the form $\sum_{j=0}^t c_j…

Computational Complexity · Computer Science 2009-12-08 Pascal Koiran

A trigonometric interpolation algorithm for non-periodic functions has been recently proposed and applied to study general ordinary differential equation (ODE). This paper enhances the algorithm to approximate functions in $2$-dim space.…

Numerical Analysis · Mathematics 2025-08-14 Xiaorong Zou

Motivated by practical applications in the design of optimization compilers for neural networks, we initiated the study of identity testing problems for arithmetic circuits augmented with \emph{exponentiation gates} that compute the real…

Computational Complexity · Computer Science 2025-06-06 Jiatu Li , Mengdi Wu