English
Related papers

Related papers: Evaluating geometric queries using few arithmetic …

200 papers

Given a sequence of polynomials $(p_n)_n$, an algebra of operators $\mathcal A$ acting in the linear space of polynomials and an operator $D_p\in \mathcal A$ with $D_p(p_n)=\theta_np_n$, where $\theta_n$ is any arbitrary eigenvalue, we…

Classical Analysis and ODEs · Mathematics 2014-07-30 Antonio J. Durán , Manuel D. de la Iglesia

Polynomial meshes (called sometimes "norming sets") allow us to estimate the supremum norm of polynomials on a fixed compact set by the norm on its discrete subset. We give a general construction of polynomial weakly admissible meshes on…

Numerical Analysis · Mathematics 2025-01-22 Leokadia Bialas-Ciez , Agnieszka Kowalska , Alvise Sommariva

Consider an algorithm computing in a differential field with several commuting derivations such that the only operations it performs with the elements of the field are arithmetic operations, differentiation, and zero testing. We show that,…

Commutative Algebra · Mathematics 2021-08-31 Wei Li , Alexey Ovchinnikov , Gleb Pogudin , Thomas Scanlon

Classical results of Brent, Kuck and Maruyama (IEEE Trans. Computers 1973) and Brent (JACM 1974) show that any algebraic formula of size s can be converted to one of depth O(log s) with only a polynomial blow-up in size. In this paper, we…

Computational Complexity · Computer Science 2023-02-15 Hervé Fournier , Nutan Limaye , Guillaume Malod , Srikanth Srinivasan , Sébastien Tavenas

Testing whether a set $\mathbf{f}$ of polynomials has an algebraic dependence is a basic problem with several applications. The polynomials are given as algebraic circuits. Algebraic independence testing question is wide open over finite…

Computational Complexity · Computer Science 2018-01-30 Zeyu Guo , Nitin Saxena , Amit Sinhababu

Correspondence is a ubiquitous problem in computer vision and graph matching has been a natural way to formalize correspondence as an optimization problem. Recently, graph matching solvers have included higher-order terms representing…

Computer Vision and Pattern Recognition · Computer Science 2014-05-27 Mayank Bansal , Kostas Daniilidis

Given a sequence of polynomials $(p_n)_n$, an algebra of operators $\mathcal{A}$ acting in the linear space of polynomials and an operator $D_p\in \mathcal{A}$ with $D_p(p_n)=np_n$, we form a new sequence of polynomials $(q_n)_n$ by…

Classical Analysis and ODEs · Mathematics 2013-07-05 Antonio J. Durán , Manuel D. de la Iglesia

Let $G$ be a connected undirected graph on $n$ vertices with no loops but possibly multiedges. Given an arithmetical structure $(\textbf{r}, \textbf{d})$ on $G$, we describe a construction which associates to it a graph $G'$ on $n-1$…

Combinatorics · Mathematics 2021-06-10 Christopher Keyes , Tomer Reiter

The computation of the topology of a real algebraic plane curve is greatly simplified if there are no more than one critical point in each vertical line: the general position condition. When this condition is not satisfied, then a finite…

Algebraic Geometry · Mathematics 2023-03-07 Jorge Caravantes , Gema M. Diaz-Toca , Laureano Gonzalez-Vega

We count algebraic points of bounded height and degree on the graphs of certain functions analytic on the unit disk, obtaining a bound which is polynomial in the degree and in the logarithm of the multiplicative height. We combine this work…

Number Theory · Mathematics 2019-02-12 Gareth Boxall , Gareth Jones , Harry Schmidt

We are concerned with the arithmetic of solutions to ordinary or partial nonlinear differential equations which are algebraic in the indeterminates and their derivatives. We call these solutions D-algebraic functions, and their equations…

Symbolic Computation · Computer Science 2024-06-18 Bertrand Teguia Tabuguia

One question that we investigate in this paper is, how can we build log-concave polynomials using sparse polynomials as building blocks? More precisely, let $f = \sum\_{i = 0}^d a\_i X^i \in \mathbb{R}^+[X]$ be a polynomial satisfying the…

Computational Complexity · Computer Science 2017-01-17 Ignacio García-Marco , Pascal Koiran , Sébastien Tavenas

In this article, we propose a geometric programming method in order to compute lower bounds for real polynomials. We provide new sufficient conditions for polynomials to be nonnegative as well as to have a sum of binomial squares…

Optimization and Control · Mathematics 2016-02-26 Sadik Iliman , Timo de Wolff

Using the interplay between topological, combinatorial, and geometric properties of polynomials and analytic results (primarily the covering structure and distortion estimates), we analyze a path-lifting method for finding approximate…

Numerical Analysis · Mathematics 2018-01-08 Myong-Hi Kim , Marco Martens , Scott Sutherland

A polynomial $f$ of degree $d$ and coefficients in an algebraically closed field $k$ defines a morphism $f:\mathbb{P}^1_k\longrightarrow\mathbb{P}^1_k$ which, if char$(k)\nmid d$, is unramified outside a finite set of points in the image:…

Number Theory · Mathematics 2025-02-20 Francesco Naccarato

The roots of any polynomial of degree m with integer coefficients, can be computed by manipulation of sequences made from 2m distinct symbols and counting the different symbols in the sequences. This method requires only 'primitive'…

General Mathematics · Mathematics 2007-05-23 Ashok Kumar Mittal , Ashok Kumar Gupta

We present and analyze two algorithms for computing the Hilbert class polynomial $H_D$ . The first is a p-adic lifting algorithm for inert primes p in the order of discriminant D < 0. The second is an improved Chinese remainder algorithm…

Number Theory · Mathematics 2008-02-08 Juliana Belding , Reinier Bröker , Andreas Enge , Kristin Lauter

Nonclassical symmetries and reductions of polynomial equations and systems of polynomial equations are considered. It is shown that specific polynomial equations having "hidden" symmetries can be reduced to classical symmetric systems of…

Numerical Analysis · Mathematics 2026-01-22 Inna K. Shingareva , Andrei D. Polyanin

We consider several families of combinatorial polytopes associated with the following NP-complete problems: maximum cut, Boolean quadratic programming, quadratic linear ordering, quadratic assignment, set partition, set packing, stable set,…

Computational Complexity · Computer Science 2018-04-18 Aleksandr Maksimenko

We study Schur Q-polynomials evaluated on a geometric progression, or equivalently q-enumeration of marked shifted tableaux, seeking explicit formulas that remain regular at q=1. We obtain several such expressions as multiple basic…

Combinatorics · Mathematics 2008-04-08 Hjalmar Rosengren