English
Related papers

Related papers: On the Complexity of Solving Generic Over-determin…

200 papers

We consider regular polynomial interpolation algorithms on recursively defined sets of interpolation points which approximate global solutions of arbitrary well-posed systems of linear partial differential equations. Convergence of the…

Numerical Analysis · Mathematics 2008-07-10 Joerg Kampen

This paper describes an approximate method for global optimization of polynomial programming problems with bounded variables. The method uses a reformulation and linearization technique to transform the original polynomial optimization…

Optimization and Control · Mathematics 2012-05-30 Joseph W. Norman

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 address univariate root isolation when the polynomial's coefficients are in a multiple field extension. We consider a polynomial $F \in L[Y]$, where $L$ is a multiple algebraic extension of $\mathbb{Q}$. We provide aggregate bounds for…

Symbolic Computation · Computer Science 2023-06-08 Christina Katsamaki , Fabrice Rouillier

In this paper we develop an optimisation based approach to multivariate Chebyshev approximation on a finite grid. We consider two models: multivariate polynomial approximation and multivariate generalised rational approximation. In the…

Optimization and Control · Mathematics 2025-01-30 R. Díaz Millán , V. Peiris , N. Sukhorukova , J. Ugon

In this paper, an original reduction algorithm for solving simultaneous multivariate polynomial equations is presented. The algorithm is exponential in complexity, but the well-known algorithms, such as the extended Euclidean algorithm and…

General Mathematics · Mathematics 2021-06-01 Duggirala Meher Krishna , Duggirala Ravi

Two models were recently proposed to explore the robust hardness of Gr\"obner basis computation. Given a polynomial system, both models allow an algorithm to selectively ignore some of the polynomials: the algorithm is only responsible for…

Symbolic Computation · Computer Science 2018-07-18 Gwen Spencer

We show how binary classification methods developed to work on i.i.d. data can be used for solving statistical problems that are seemingly unrelated to classification and concern highly-dependent time series. Specifically, the problems of…

Machine Learning · Computer Science 2013-06-10 Daniil Ryabko , Jérémie Mary

We develop several efficient algorithms for the classical \emph{Matrix Scaling} problem, which is used in many diverse areas, from preconditioning linear systems to approximation of the permanent. On an input $n\times n$ matrix $A$, this…

Data Structures and Algorithms · Computer Science 2017-04-10 Zeyuan Allen-Zhu , Yuanzhi Li , Rafael Oliveira , Avi Wigderson

In this article we mainly consider the positively Z-graded polynomial ring R=F[X,Y] over an arbitrary field F and Hilbert series of finitely generated graded R-modules. The central result is an arithmetic criterion for such a series to be…

Commutative Algebra · Mathematics 2012-08-02 Julio José Moyano-Fernández , Jan Uliczka

The formal derivatives of the Yang-Baxter equation with respect to its spectral parameters, evaluated at some fixed point of these parameters, provide us with two systems of differential equations. The derivatives of the $R$ matrix…

Exactly Solvable and Integrable Systems · Physics 2018-10-19 R. S. Vieira

Algebraic cryptanalysis usually requires to recover the secret key by solving polynomial equations. Grobner bases algorithm is a well-known method to solve this problem. However, a serious drawback exists in the Grobner bases based…

Cryptography and Security · Computer Science 2015-07-19 Wansu Bao , Heliang Huang

We consider the semiring of abstract finite dynamical systems up to isomorphism, with the operations of alternative and synchronous execution. We continue searching for efficient algorithms for solving polynomial equations of the form $P(X)…

Discrete Mathematics · Computer Science 2026-04-10 Antonio E. Porreca , Marius Rolland

The most common procedure to solve a linear bilevel problem in the PES community is, by far, to transform it into an equivalent single-level problem by replacing the lower level with its KKT optimality conditions. Then, the complementarity…

Optimization and Control · Mathematics 2018-09-28 Salvador Pineda , Juan Miguel Morales

We propose new linear combinations of compositions of a basic second-order scheme with appropriately chosen coefficients to construct higher order numerical integrators for differential equations. They can be considered as a generalization…

Numerical Analysis · Mathematics 2024-04-25 Sergio Blanes , Fernando Casas , Luke Shaw

We prove that the binary complexity of solving ordinary polynomial differential equations in terms of Puiseux series is single exponential in the number of terms in the series. Such a bound was given by Grigoriev [10] for Riccatti…

General Mathematics · Mathematics 2007-05-23 Ali Ayad

We present a general algorithm for solving all two-variable polynomial Diophantine equations consisting of three monomials. Before this work, even the existence of an algorithm for solving the one-parameter family of equations…

Number Theory · Mathematics 2023-07-07 Bogdan Grechuk , Tetiana Grechuk , Ashleigh Wilcox

Suppose $\mathbb{K}$ is a large enough field and $\mathcal{P} \subset \mathbb{K}^2$ is a fixed, generic set of points which is available for precomputation. We introduce a technique called \emph{reshaping} which allows us to design…

Symbolic Computation · Computer Science 2020-06-05 Vincent Neiger , Johan Rosenkilde , Grigory Solomatov

In this work we relate the deterministic complexity of factoring polynomials (over finite fields) to certain combinatorial objects we call m-schemes. We extend the known conditional deterministic subexponential time polynomial factoring…

Computational Complexity · Computer Science 2008-04-15 Gábor Ivanyos , Marek Karpinski , Nitin Saxena

This paper is concerned with certifying that a given point is near an exact root of an overdetermined or singular polynomial system with rational coefficients. The difficulty lies in the fact that consistency of overdetermined systems is…

Symbolic Computation · Computer Science 2014-08-13 Tulay Ayyildiz Akoglu , Jonathan D. Hauenstein , Agnes Szanto
‹ Prev 1 8 9 10 Next ›