English
Related papers

Related papers: Multivariate Interpolation Formula over Finite Fie…

200 papers

An algorithm for generating interpolants for formulas which are conjunctions of quadratic polynomial inequalities (both strict and nonstrict) is proposed. The algorithm is based on a key observation that quadratic polynomial inequalities…

Logic in Computer Science · Computer Science 2016-11-14 Ting Gan , Liyun Dai , Bican Xia , Naijun Zhan , Deepak Kapur , Mingshuai Chen

A novel two-phase molecule inference framework, mol-infer, has recently been developed to infer chemical graphs with prescribed abstract structures and desired property values through mixed integer linear programming (MILP) under the…

Quantitative Methods · Quantitative Biology 2026-05-29 Jianshen Zhu , Raveena Rai , Taiyo Sohkawa , Naveed Ahmed Azam , Kazuya Haraguchi , Liang Zhao , Tatsuya Akutsu

The Hermite-Birkhoff interpolation problem of a function given on arbitrarily distributed points on the sphere and other manifolds is considered. Each proposed interpolant is expressed as a linear combination of basis functions, the…

Numerical Analysis · Mathematics 2017-05-03 Giampietro Allasia , Roberto Cavoretto , Alessandra De Rossi

In this paper, we give new sparse interpolation algorithms for black box polynomial f whose coefficients are from a finite set. In the univariate case, we recover f from one evaluation of f(a) for a sufficiently large number a. In the…

Symbolic Computation · Computer Science 2017-06-23 Qiao-Long Huang , Xiao-Shan Gao

We present new techniques for reducing a multivariate sparse polynomial to a univariate polynomial. The reduction works similarly to the classical and widely-used Kronecker substitution, except that we choose the degrees randomly based on…

Symbolic Computation · Computer Science 2014-05-05 Andrew Arnold , Daniel S. Roche

Using linear functional-based duality of modules, we generalize the syndrome decoding algorithm of linear codes over finite fields to those over finite commutative rings. Moreover, If the ring is local the algorithm is simplified by…

Information Theory · Computer Science 2014-10-14 Asmae Drhima , Mustapha Najmeddine

We consider the problem of uniform interpolation of functions with values in a complex inner product space of finite dimension. This problem can be casted within a modified weighted pluripotential theoretic framework. Indeed, in the…

Complex Variables · Mathematics 2025-04-10 Ludovico Bruni Bruno , Federico Piazzon

Given a straight-line program whose output is a polynomial function of the inputs, we present a new algorithm to compute a concise representation of that unknown function. Our algorithm can handle any case where the unknown function is a…

Symbolic Computation · Computer Science 2014-12-16 Andrew Arnold , Mark Giesbrecht , Daniel S. Roche

In this paper, a new reduction based interpolation algorithm for black-box multivariate polynomials over finite fields is given. The method is based on two main ingredients. A new Monte Carlo method is given to reduce black-box multivariate…

Symbolic Computation · Computer Science 2018-07-18 Qiao-Long Huang , Xiao-Shan Gao

A method is described which allows to evaluate efficiently a polynomial in a (possibly trivial) extension of the finite field of its coefficients. Its complexity is shown to be lower than that of standard techniques when the degree of the…

Information Theory · Computer Science 2011-02-24 Davide Schipani , Michele Elia , Joachim Rosenthal

We consider the problem of interpolating a function given on scattered points using Hermite-Birkhoff formulas on the sphere and other manifolds. We express each proposed interpolant as a linear combination of basis functions, the…

Numerical Analysis · Mathematics 2016-11-23 Giampietro Allasia , Roberto Cavoretto , Alessandra De Rossi

Mean value interpolation is a method for fitting a smooth function to piecewise-linear data prescribed on the boundary of a polygon of arbitrary shape, and has applications in computer graphics and curve and surface modelling. The method…

Numerical Analysis · Mathematics 2019-06-21 Michael S. Floater , Francesco Patrizi

Explicit formulas to calculate MV functions in a basis-free representation are presented for an arbitrary Clifford geometric algebra Cl(p,q). The formulas are based on analysis of the roots of minimal MV polynomial and covers defective MVs,…

Mathematical Physics · Physics 2025-04-14 A. Acus , A. Dargys

We consider the problem of recovering (that is, interpolating) and identity testing of a "hidden" monic polynomial $f$, given an oracle access to $f(x)^e$ for $x\in{\mathbb F_q}$ (extension fields access is not permitted). The naive…

Number Theory · Mathematics 2015-02-25 Gabor Ivanyos , Marek Karpinski , Miklos Santha , Nitin Saxena , Igor Shparlinski

We present novel algorithms to factor polynomials over a finite field $\F_q$ of odd characteristic using rank $2$ Drinfeld modules with complex multiplication. The main idea is to compute a lift of the Hasse invariant (modulo the polynomial…

Number Theory · Mathematics 2016-06-06 Anand Kumar Narayanan

We consider the problem of interpolating an unknown multivariate polynomial with coefficients taken from a finite field or as numerical approximations of complex numbers. Building on the recent work of Garg and Schost, we improve on the…

Symbolic Computation · Computer Science 2011-04-05 Mark Giesbrecht , Daniel S. Roche

Video frame interpolation methodologies endeavor to create novel frames betwixt extant ones, with the intent of augmenting the video's frame frequency. However, current methods are prone to image blurring and spurious artifacts in…

Computer Vision and Pattern Recognition · Computer Science 2024-02-06 Pengfei Han , Fuhua Zhang , Bin Zhao , Xuelong Li

A representation of finite fields that has proved useful when implementing finite field arithmetic in hardware is based on an isomorphism between subrings and fields. In this paper, we present an unified formulation for multiplication in…

Discrete Mathematics · Computer Science 2008-07-24 Francisco Arguello

Multilinear interpolation is a powerful tool used in obtaining strong type boundedness for a variety of operators assuming only a finite set of restricted weak-type estimates. A typical situation occurs when one knows that a multilinear…

Functional Analysis · Mathematics 2007-05-23 Loukas Grafakos , Terence Tao

In this paper, we propose two new deterministic interpolation algorithms for a sparse multivariate polynomial given as a standard black-box by introducing new Kronecker type substitutions. Let $f\in \RB[x_1,\dots,x_n]$ be a sparse black-box…

Symbolic Computation · Computer Science 2018-08-09 Qiao-Long Huang , Xiao-Shan Gao
‹ Prev 1 2 3 10 Next ›